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