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_SQDMLAL2_2D_TRACE_A64_H_
     35 #define VIXL_SIM_SQDMLAL2_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_sqdmlal2_2D[] = {
     38   0x00007ffa00120000, 0x0000000000000001,
     39   0x0000000000000000, 0x0000000000000001,
     40   0x0000000000fffa00, 0x0000000000000001,
     41   0x0000000001fff400, 0x0000000000000001,
     42   0x000000001fff4000, 0x0000000000000001,
     43   0x000000007cfd1200, 0x0000000000000001,
     44   0x000000007dfd0c00, 0x0000000000000001,
     45   0x000000007efd0600, 0x0000000000000001,
     46   0x0000007ffa001200, 0x0000000000000001,
     47   0x0000007ffb000c00, 0x0000000000000001,
     48   0x0000007ffc000600, 0x0000000000000001,
     49   0x003331ffffccce00, 0x0000000000000001,
     50   0x0055535555000200, 0x0000000000000001,
     51   0x007ffcfffd001200, 0x0000000000000001,
     52   0x007ffcfffe000c00, 0x0000000000000001,
     53   0x007ffcffff000600, 0x0000000000000001,
     54   0xff80030000000000, 0x0000000000000001,
     55   0xff80030000fffa00, 0x0000000000000001,
     56   0xffaaacaaaa000400, 0x0000000000000001,
     57   0xffcccdffff333800, 0x0000000000000001,
     58   0xffffff8003000000, 0x0000000000000001,
     59   0xffffff8003fffa00, 0x0000000000000001,
     60   0xffffff8004fff400, 0x0000000000000001,
     61   0xffffff8005ffee00, 0x0000000000000001,
     62   0xffffffff80030000, 0x0000000000000001,
     63   0xffffffff8102fa00, 0x0000000000000001,
     64   0xffffffff8202f400, 0x0000000000000001,
     65   0xffffffff8302ee00, 0x0000000000000001,
     66   0xffffffffe000c000, 0x0000000000000001,
     67   0xfffffffffd001200, 0x0000000000000001,
     68   0xfffffffffe000c00, 0x0000000000000001,
     69   0x0000000000000000, 0x0000000000000001,
     70   0x0000000000000000, 0x0000000000000003,
     71   0x0000000000000000, 0x0000000000000005,
     72   0x0000000000000000, 0x0000000000000041,
     73   0x0000000000000000, 0x00000000000000fb,
     74   0x0000000000000000, 0x00000000000000fd,
     75   0x0000000000000000, 0x00000000000000ff,
     76   0x0000000000000000, 0x000000000000fffb,
     77   0x0000000000000000, 0x000000000000fffd,
     78   0x0000000000000000, 0x000000000000ffff,
     79   0x0000000000000000, 0x0000000066666667,
     80   0x0000000000000000, 0x00000000aaaaaaab,
     81   0x0000000000000000, 0x00000000fffffffb,
     82   0x0000000000000000, 0x00000000fffffffd,
     83   0x0000000000000000, 0x00000000ffffffff,
     84   0x0000000000000000, 0xffffffff00000001,
     85   0x0000000000000000, 0xffffffff00000003,
     86   0x0000000000000000, 0xffffffff55555555,
     87   0x0000000000000000, 0xffffffff99999999,
     88   0x0000000000000000, 0xffffffffffff0001,
     89   0x0000000000000000, 0xffffffffffff0003,
     90   0x0000000000000000, 0xffffffffffff0005,
     91   0x0000000000000000, 0xffffffffffff0007,
     92   0x0000000000000000, 0xffffffffffffff01,
     93   0x0000000000000000, 0xffffffffffffff03,
     94   0x0000000000000000, 0xffffffffffffff05,
     95   0x0000000000000000, 0xffffffffffffff07,
     96   0x0000000000000000, 0xffffffffffffffc1,
     97   0x0000000000000000, 0xfffffffffffffffb,
     98   0x0000000000000000, 0xfffffffffffffffd,
     99   0x0000000000000000, 0xffffffffffffffff,
    100   0xfffffffffffffffe, 0x0000000000000001,
    101   0x0000000000000000, 0x0000000000000005,
    102   0x0000000000000002, 0x0000000000000009,
    103   0x0000000000000004, 0x0000000000000081,
    104   0x0000000000000040, 0x00000000000001f5,
    105   0x00000000000000fa, 0x00000000000001f9,
    106   0x00000000000000fc, 0x00000000000001fd,
    107   0x00000000000000fe, 0x000000000001fff5,
    108   0x000000000000fffa, 0x000000000001fff9,
    109   0x000000000000fffc, 0x000000000001fffd,
    110   0x000000000000fffe, 0x00000000cccccccd,
    111   0x0000000066666666, 0x0000000155555555,
    112   0x00000000aaaaaaaa, 0x00000001fffffff5,
    113   0x00000000fffffffa, 0x00000001fffffff9,
    114   0x00000000fffffffc, 0x00000001fffffffd,
    115   0x00000000fffffffe, 0xfffffffe00000001,
    116   0xffffffff00000000, 0xfffffffe00000005,
    117   0xffffffff00000002, 0xfffffffeaaaaaaa9,
    118   0xffffffff55555554, 0xffffffff33333331,
    119   0xffffffff99999998, 0xfffffffffffe0001,
    120   0xffffffffffff0000, 0xfffffffffffe0005,
    121   0xffffffffffff0002, 0xfffffffffffe0009,
    122   0xffffffffffff0004, 0xfffffffffffe000d,
    123   0xffffffffffff0006, 0xfffffffffffffe01,
    124   0xffffffffffffff00, 0xfffffffffffffe05,
    125   0xffffffffffffff02, 0xfffffffffffffe09,
    126   0xffffffffffffff04, 0xfffffffffffffe0d,
    127   0xffffffffffffff06, 0xffffffffffffff81,
    128   0xffffffffffffffc0, 0xfffffffffffffff5,
    129   0xfffffffffffffffa, 0xfffffffffffffff9,
    130   0xfffffffffffffffc, 0xfffffffffffffffd,
    131   0xfffffffffffffffc, 0x0000000000000001,
    132   0x0000000000000000, 0x0000000000000041,
    133   0x0000000000000004, 0x0000000000000081,
    134   0x0000000000000008, 0x0000000000000801,
    135   0x0000000000000080, 0x0000000000001f41,
    136   0x00000000000001f4, 0x0000000000001f81,
    137   0x00000000000001f8, 0x0000000000001fc1,
    138   0x00000000000001fc, 0x00000000001fff41,
    139   0x000000000001fff4, 0x00000000001fff81,
    140   0x000000000001fff8, 0x00000000001fffc1,
    141   0x000000000001fffc, 0x0000000cccccccc1,
    142   0x00000000cccccccc, 0x0000001555555541,
    143   0x0000000155555554, 0x0000001fffffff41,
    144   0x00000001fffffff4, 0x0000001fffffff81,
    145   0x00000001fffffff8, 0x0000001fffffffc1,
    146   0x00000001fffffffc, 0xffffffe000000001,
    147   0xfffffffe00000000, 0xffffffe000000041,
    148   0xfffffffe00000004, 0xffffffeaaaaaaa81,
    149   0xfffffffeaaaaaaa8, 0xfffffff333333301,
    150   0xffffffff33333330, 0xffffffffffe00001,
    151   0xfffffffffffe0000, 0xffffffffffe00041,
    152   0xfffffffffffe0004, 0xffffffffffe00081,
    153   0xfffffffffffe0008, 0xffffffffffe000c1,
    154   0xfffffffffffe000c, 0xffffffffffffe001,
    155   0xfffffffffffffe00, 0xffffffffffffe041,
    156   0xfffffffffffffe04, 0xffffffffffffe081,
    157   0xfffffffffffffe08, 0xffffffffffffe0c1,
    158   0xfffffffffffffe0c, 0xfffffffffffff801,
    159   0xffffffffffffff80, 0xffffffffffffff41,
    160   0xfffffffffffffff4, 0xffffffffffffff81,
    161   0xfffffffffffffff8, 0xffffffffffffffc1,
    162   0xffffffffffffffc0, 0x0000000000000001,
    163   0x0000000000000000, 0x00000000000000fb,
    164   0x0000000000000040, 0x00000000000001f5,
    165   0x0000000000000080, 0x0000000000001f41,
    166   0x0000000000000800, 0x0000000000007a13,
    167   0x0000000000001f40, 0x0000000000007b0d,
    168   0x0000000000001f80, 0x0000000000007c07,
    169   0x0000000000001fc0, 0x00000000007cfd13,
    170   0x00000000001fff40, 0x00000000007cfe0d,
    171   0x00000000001fff80, 0x00000000007cff07,
    172   0x00000000001fffc0, 0x00000031ffffffcf,
    173   0x0000000cccccccc0, 0x0000005355555503,
    174   0x0000001555555540, 0x0000007cfffffd13,
    175   0x0000001fffffff40, 0x0000007cfffffe0d,
    176   0x0000001fffffff80, 0x0000007cffffff07,
    177   0x0000001fffffffc0, 0xffffff8300000001,
    178   0xffffffe000000000, 0xffffff83000000fb,
    179   0xffffffe000000040, 0xffffffacaaaaaa05,
    180   0xffffffeaaaaaaa80, 0xffffffcdffffff39,
    181   0xfffffff333333300, 0xffffffffff830001,
    182   0xffffffffffe00000, 0xffffffffff8300fb,
    183   0xffffffffffe00040, 0xffffffffff8301f5,
    184   0xffffffffffe00080, 0xffffffffff8302ef,
    185   0xffffffffffe000c0, 0xffffffffffff8301,
    186   0xffffffffffffe000, 0xffffffffffff83fb,
    187   0xffffffffffffe040, 0xffffffffffff84f5,
    188   0xffffffffffffe080, 0xffffffffffff85ef,
    189   0xffffffffffffe0c0, 0xffffffffffffe0c1,
    190   0xfffffffffffff800, 0xfffffffffffffd13,
    191   0xffffffffffffff40, 0xfffffffffffffe0d,
    192   0xffffffffffffff80, 0xffffffffffffff07,
    193   0xffffffffffffff06, 0x0000000000000001,
    194   0x0000000000000000, 0x00000000000000fd,
    195   0x00000000000000fa, 0x00000000000001f9,
    196   0x00000000000001f4, 0x0000000000001f81,
    197   0x0000000000001f40, 0x0000000000007b0d,
    198   0x0000000000007a12, 0x0000000000007c09,
    199   0x0000000000007b0c, 0x0000000000007d05,
    200   0x0000000000007c06, 0x00000000007dfd0d,
    201   0x00000000007cfd12, 0x00000000007dfe09,
    202   0x00000000007cfe0c, 0x00000000007dff05,
    203   0x00000000007cff06, 0x0000003266666635,
    204   0x00000031ffffffce, 0x00000053ffffffad,
    205   0x0000005355555502, 0x0000007dfffffd0d,
    206   0x0000007cfffffd12, 0x0000007dfffffe09,
    207   0x0000007cfffffe0c, 0x0000007dffffff05,
    208   0x0000007cffffff06, 0xffffff8200000001,
    209   0xffffff8300000000, 0xffffff82000000fd,
    210   0xffffff83000000fa, 0xffffffabffffff59,
    211   0xffffffacaaaaaa04, 0xffffffcd999998d1,
    212   0xffffffcdffffff38, 0xffffffffff820001,
    213   0xffffffffff830000, 0xffffffffff8200fd,
    214   0xffffffffff8300fa, 0xffffffffff8201f9,
    215   0xffffffffff8301f4, 0xffffffffff8202f5,
    216   0xffffffffff8302ee, 0xffffffffffff8201,
    217   0xffffffffffff8300, 0xffffffffffff82fd,
    218   0xffffffffffff83fa, 0xffffffffffff83f9,
    219   0xffffffffffff84f4, 0xffffffffffff84f5,
    220   0xffffffffffff85ee, 0xffffffffffffe081,
    221   0xffffffffffffe0c0, 0xfffffffffffffd0d,
    222   0xfffffffffffffd12, 0xfffffffffffffe09,
    223   0xfffffffffffffe0c, 0xffffffffffffff05,
    224   0xffffffffffffff04, 0x0000000000000001,
    225   0x0000000000000000, 0x00000000000000ff,
    226   0x00000000000000fc, 0x00000000000001fd,
    227   0x00000000000001f8, 0x0000000000001fc1,
    228   0x0000000000001f80, 0x0000000000007c07,
    229   0x0000000000007b0c, 0x0000000000007d05,
    230   0x0000000000007c08, 0x0000000000007e03,
    231   0x0000000000007d04, 0x00000000007efd07,
    232   0x00000000007dfd0c, 0x00000000007efe05,
    233   0x00000000007dfe08, 0x00000000007eff03,
    234   0x00000000007dff04, 0x00000032cccccc9b,
    235   0x0000003266666634, 0x00000054aaaaaa57,
    236   0x00000053ffffffac, 0x0000007efffffd07,
    237   0x0000007dfffffd0c, 0x0000007efffffe05,
    238   0x0000007dfffffe08, 0x0000007effffff03,
    239   0x0000007dffffff04, 0xffffff8100000001,
    240   0xffffff8200000000, 0xffffff81000000ff,
    241   0xffffff82000000fc, 0xffffffab555554ad,
    242   0xffffffabffffff58, 0xffffffcd33333269,
    243   0xffffffcd999998d0, 0xffffffffff810001,
    244   0xffffffffff820000, 0xffffffffff8100ff,
    245   0xffffffffff8200fc, 0xffffffffff8101fd,
    246   0xffffffffff8201f8, 0xffffffffff8102fb,
    247   0xffffffffff8202f4, 0xffffffffffff8101,
    248   0xffffffffffff8200, 0xffffffffffff81ff,
    249   0xffffffffffff82fc, 0xffffffffffff82fd,
    250   0xffffffffffff83f8, 0xffffffffffff83fb,
    251   0xffffffffffff84f4, 0xffffffffffffe041,
    252   0xffffffffffffe080, 0xfffffffffffffd07,
    253   0xfffffffffffffd0c, 0xfffffffffffffe05,
    254   0xfffffffffffffe08, 0xffffffffffffff03,
    255   0xffffffffffffff02, 0x0000000000000001,
    256   0x0000000000000000, 0x000000000000fffb,
    257   0x00000000000000fe, 0x000000000001fff5,
    258   0x00000000000001fc, 0x00000000001fff41,
    259   0x0000000000001fc0, 0x00000000007cfd13,
    260   0x0000000000007c06, 0x00000000007dfd0d,
    261   0x0000000000007d04, 0x00000000007efd07,
    262   0x0000000000007e02, 0x000000007ffa0013,
    263   0x00000000007efd06, 0x000000007ffb000d,
    264   0x00000000007efe04, 0x000000007ffc0007,
    265   0x00000000007eff02, 0x00003331ffffcccf,
    266   0x00000032cccccc9a, 0x0000555355550003,
    267   0x00000054aaaaaa56, 0x00007ffcfffd0013,
    268   0x0000007efffffd06, 0x00007ffcfffe000d,
    269   0x0000007efffffe04, 0x00007ffcffff0007,
    270   0x0000007effffff02, 0xffff800300000001,
    271   0xffffff8100000000, 0xffff80030000fffb,
    272   0xffffff81000000fe, 0xffffaaacaaaa0005,
    273   0xffffffab555554ac, 0xffffcccdffff3339,
    274   0xffffffcd33333268, 0xffffffff80030001,
    275   0xffffffffff810000, 0xffffffff8003fffb,
    276   0xffffffffff8100fe, 0xffffffff8004fff5,
    277   0xffffffffff8101fc, 0xffffffff8005ffef,
    278   0xffffffffff8102fa, 0xffffffffff800301,
    279   0xffffffffffff8100, 0xffffffffff8102fb,
    280   0xffffffffffff81fe, 0xffffffffff8202f5,
    281   0xffffffffffff82fc, 0xffffffffff8302ef,
    282   0xffffffffffff83fa, 0xffffffffffe000c1,
    283   0xffffffffffffe040, 0xfffffffffffd0013,
    284   0xfffffffffffffd06, 0xfffffffffffe000d,
    285   0xfffffffffffffe04, 0xffffffffffff0007,
    286   0xffffffffffff0006, 0x0000000000000001,
    287   0x0000000000000000, 0x000000000000fffd,
    288   0x000000000000fffa, 0x000000000001fff9,
    289   0x000000000001fff4, 0x00000000001fff81,
    290   0x00000000001fff40, 0x00000000007cfe0d,
    291   0x00000000007cfd12, 0x00000000007dfe09,
    292   0x00000000007dfd0c, 0x00000000007efe05,
    293   0x00000000007efd06, 0x000000007ffb000d,
    294   0x000000007ffa0012, 0x000000007ffc0009,
    295   0x000000007ffb000c, 0x000000007ffd0005,
    296   0x000000007ffc0006, 0x0000333266663335,
    297   0x00003331ffffccce, 0x00005553ffffaaad,
    298   0x0000555355550002, 0x00007ffdfffd000d,
    299   0x00007ffcfffd0012, 0x00007ffdfffe0009,
    300   0x00007ffcfffe000c, 0x00007ffdffff0005,
    301   0x00007ffcffff0006, 0xffff800200000001,
    302   0xffff800300000000, 0xffff80020000fffd,
    303   0xffff80030000fffa, 0xffffaaabffff5559,
    304   0xffffaaacaaaa0004, 0xffffcccd9998ccd1,
    305   0xffffcccdffff3338, 0xffffffff80020001,
    306   0xffffffff80030000, 0xffffffff8002fffd,
    307   0xffffffff8003fffa, 0xffffffff8003fff9,
    308   0xffffffff8004fff4, 0xffffffff8004fff5,
    309   0xffffffff8005ffee, 0xffffffffff800201,
    310   0xffffffffff800300, 0xffffffffff8101fd,
    311   0xffffffffff8102fa, 0xffffffffff8201f9,
    312   0xffffffffff8202f4, 0xffffffffff8301f5,
    313   0xffffffffff8302ee, 0xffffffffffe00081,
    314   0xffffffffffe000c0, 0xfffffffffffd000d,
    315   0xfffffffffffd0012, 0xfffffffffffe0009,
    316   0xfffffffffffe000c, 0xffffffffffff0005,
    317   0xffffffffffff0004, 0x0000000000000001,
    318   0x0000000000000000, 0x000000000000ffff,
    319   0x000000000000fffc, 0x000000000001fffd,
    320   0x000000000001fff8, 0x00000000001fffc1,
    321   0x00000000001fff80, 0x00000000007cff07,
    322   0x00000000007cfe0c, 0x00000000007dff05,
    323   0x00000000007dfe08, 0x00000000007eff03,
    324   0x00000000007efe04, 0x000000007ffc0007,
    325   0x000000007ffb000c, 0x000000007ffd0005,
    326   0x000000007ffc0008, 0x000000007ffe0003,
    327   0x000000007ffd0004, 0x00003332cccc999b,
    328   0x0000333266663334, 0x00005554aaaa5557,
    329   0x00005553ffffaaac, 0x00007ffefffd0007,
    330   0x00007ffdfffd000c, 0x00007ffefffe0005,
    331   0x00007ffdfffe0008, 0x00007ffeffff0003,
    332   0x00007ffdffff0004, 0xffff800100000001,
    333   0xffff800200000000, 0xffff80010000ffff,
    334   0xffff80020000fffc, 0xffffaaab5554aaad,
    335   0xffffaaabffff5558, 0xffffcccd33326669,
    336   0xffffcccd9998ccd0, 0xffffffff80010001,
    337   0xffffffff80020000, 0xffffffff8001ffff,
    338   0xffffffff8002fffc, 0xffffffff8002fffd,
    339   0xffffffff8003fff8, 0xffffffff8003fffb,
    340   0xffffffff8004fff4, 0xffffffffff800101,
    341   0xffffffffff800200, 0xffffffffff8100ff,
    342   0xffffffffff8101fc, 0xffffffffff8200fd,
    343   0xffffffffff8201f8, 0xffffffffff8300fb,
    344   0xffffffffff8301f4, 0xffffffffffe00041,
    345   0xffffffffffe00080, 0xfffffffffffd0007,
    346   0xfffffffffffd000c, 0xfffffffffffe0005,
    347   0xfffffffffffe0008, 0xffffffffffff0003,
    348   0xffffffffffff0002, 0x0000000000000001,
    349   0x0000000000000000, 0x0000000066666667,
    350   0x000000000000fffe, 0x00000000cccccccd,
    351   0x000000000001fffc, 0x0000000cccccccc1,
    352   0x00000000001fffc0, 0x00000031ffffffcf,
    353   0x00000000007cff06, 0x0000003266666635,
    354   0x00000000007dff04, 0x00000032cccccc9b,
    355   0x00000000007eff02, 0x00003331ffffcccf,
    356   0x000000007ffc0006, 0x0000333266663335,
    357   0x000000007ffd0004, 0x00003332cccc999b,
    358   0x000000007ffe0002, 0x147ae147851eb853,
    359   0x00003332cccc999a, 0x22222221dddddddf,
    360   0x00005554aaaa5556, 0x33333331cccccccf,
    361   0x00007ffefffd0006, 0x3333333233333335,
    362   0x00007ffefffe0004, 0x333333329999999b,
    363   0x00007ffeffff0002, 0xcccccccd00000001,
    364   0xffff800100000000, 0xcccccccd66666667,
    365   0xffff80010000fffe, 0xddddddddbbbbbbbd,
    366   0xffffaaab5554aaac, 0xeb851eb8147ae149,
    367   0xffffcccd33326668, 0xffffcccccccd0001,
    368   0xffffffff80010000, 0xffffcccd33336667,
    369   0xffffffff8001fffe, 0xffffcccd9999cccd,
    370   0xffffffff8002fffc, 0xffffccce00003333,
    371   0xffffffff8003fffa, 0xffffffcccccccd01,
    372   0xffffffffff800100, 0xffffffcd33333367,
    373   0xffffffffff8100fe, 0xffffffcd999999cd,
    374   0xffffffffff8200fc, 0xffffffce00000033,
    375   0xffffffffff8300fa, 0xfffffff333333341,
    376   0xffffffffffe00040, 0xfffffffecccccccf,
    377   0xfffffffffffd0006, 0xffffffff33333335,
    378   0xfffffffffffe0004, 0xffffffff9999999b,
    379   0xffffffff9999999a, 0x0000000000000001,
    380   0x0000000000000000, 0x00000000aaaaaaab,
    381   0x0000000066666666, 0x0000000155555555,
    382   0x00000000cccccccc, 0x0000001555555541,
    383   0x0000000cccccccc0, 0x0000005355555503,
    384   0x00000031ffffffce, 0x00000053ffffffad,
    385   0x0000003266666634, 0x00000054aaaaaa57,
    386   0x00000032cccccc9a, 0x0000555355550003,
    387   0x00003331ffffccce, 0x00005553ffffaaad,
    388   0x0000333266663334, 0x00005554aaaa5557,
    389   0x00003332cccc999a, 0x22222221dddddddf,
    390   0x147ae147851eb852, 0x38e38e3871c71c73,
    391   0x22222221ddddddde, 0x5555555300000003,
    392   0x33333331ccccccce, 0x55555553aaaaaaad,
    393   0x3333333233333334, 0x5555555455555557,
    394   0x333333329999999a, 0xaaaaaaab00000001,
    395   0xcccccccd00000000, 0xaaaaaaabaaaaaaab,
    396   0xcccccccd66666666, 0xc71c71c6e38e38e5,
    397   0xddddddddbbbbbbbc, 0xdddddddd77777779,
    398   0xeb851eb8147ae148, 0xffffaaaaaaab0001,
    399   0xffffcccccccd0000, 0xffffaaab5555aaab,
    400   0xffffcccd33336666, 0xffffaaac00005555,
    401   0xffffcccd9999cccc, 0xffffaaacaaaaffff,
    402   0xffffccce00003332, 0xffffffaaaaaaab01,
    403   0xffffffcccccccd00, 0xffffffab555555ab,
    404   0xffffffcd33333366, 0xffffffac00000055,
    405   0xffffffcd999999cc, 0xffffffacaaaaaaff,
    406   0xffffffce00000032, 0xffffffeaaaaaaac1,
    407   0xfffffff333333340, 0xfffffffe00000003,
    408   0xfffffffeccccccce, 0xfffffffeaaaaaaad,
    409   0xffffffff33333334, 0xffffffff55555557,
    410   0xffffffff55555556, 0x0000000000000001,
    411   0x0000000000000000, 0x00000000fffffffb,
    412   0x00000000aaaaaaaa, 0x00000001fffffff5,
    413   0x0000000155555554, 0x0000001fffffff41,
    414   0x0000001555555540, 0x0000007cfffffd13,
    415   0x0000005355555502, 0x0000007dfffffd0d,
    416   0x00000053ffffffac, 0x0000007efffffd07,
    417   0x00000054aaaaaa56, 0x00007ffcfffd0013,
    418   0x0000555355550002, 0x00007ffdfffd000d,
    419   0x00005553ffffaaac, 0x00007ffefffd0007,
    420   0x00005554aaaa5556, 0x33333331cccccccf,
    421   0x22222221ddddddde, 0x5555555300000003,
    422   0x38e38e3871c71c72, 0x7ffffffa00000013,
    423   0x5555555300000002, 0x7ffffffb0000000d,
    424   0x55555553aaaaaaac, 0x7ffffffc00000007,
    425   0x5555555455555556, 0x8000000300000001,
    426   0xaaaaaaab00000000, 0x80000003fffffffb,
    427   0xaaaaaaabaaaaaaaa, 0xaaaaaaac00000005,
    428   0xc71c71c6e38e38e4, 0xcccccccd33333339,
    429   0xdddddddd77777778, 0xffff800000030001,
    430   0xffffaaaaaaab0000, 0xffff80010002fffb,
    431   0xffffaaab5555aaaa, 0xffff80020002fff5,
    432   0xffffaaac00005554, 0xffff80030002ffef,
    433   0xffffaaacaaaafffe, 0xffffff8000000301,
    434   0xffffffaaaaaaab00, 0xffffff81000002fb,
    435   0xffffffab555555aa, 0xffffff82000002f5,
    436   0xffffffac00000054, 0xffffff83000002ef,
    437   0xffffffacaaaaaafe, 0xffffffe0000000c1,
    438   0xffffffeaaaaaaac0, 0xfffffffd00000013,
    439   0xfffffffe00000002, 0xfffffffe0000000d,
    440   0xfffffffeaaaaaaac, 0xffffffff00000007,
    441   0xffffffff00000006, 0x0000000000000001,
    442   0x0000000000000000, 0x00000000fffffffd,
    443   0x00000000fffffffa, 0x00000001fffffff9,
    444   0x00000001fffffff4, 0x0000001fffffff81,
    445   0x0000001fffffff40, 0x0000007cfffffe0d,
    446   0x0000007cfffffd12, 0x0000007dfffffe09,
    447   0x0000007dfffffd0c, 0x0000007efffffe05,
    448   0x0000007efffffd06, 0x00007ffcfffe000d,
    449   0x00007ffcfffd0012, 0x00007ffdfffe0009,
    450   0x00007ffdfffd000c, 0x00007ffefffe0005,
    451   0x00007ffefffd0006, 0x3333333233333335,
    452   0x33333331ccccccce, 0x55555553aaaaaaad,
    453   0x5555555300000002, 0x7ffffffb0000000d,
    454   0x7ffffffa00000012, 0x7ffffffc00000009,
    455   0x7ffffffb0000000c, 0x7ffffffd00000005,
    456   0x7ffffffc00000006, 0x8000000200000001,
    457   0x8000000300000000, 0x80000002fffffffd,
    458   0x80000003fffffffa, 0xaaaaaaab55555559,
    459   0xaaaaaaac00000004, 0xccccccccccccccd1,
    460   0xcccccccd33333338, 0xffff800000020001,
    461   0xffff800000030000, 0xffff80010001fffd,
    462   0xffff80010002fffa, 0xffff80020001fff9,
    463   0xffff80020002fff4, 0xffff80030001fff5,
    464   0xffff80030002ffee, 0xffffff8000000201,
    465   0xffffff8000000300, 0xffffff81000001fd,
    466   0xffffff81000002fa, 0xffffff82000001f9,
    467   0xffffff82000002f4, 0xffffff83000001f5,
    468   0xffffff83000002ee, 0xffffffe000000081,
    469   0xffffffe0000000c0, 0xfffffffd0000000d,
    470   0xfffffffd00000012, 0xfffffffe00000009,
    471   0xfffffffe0000000c, 0xffffffff00000005,
    472   0xffffffff00000004, 0x0000000000000001,
    473   0x0000000000000000, 0x00000000ffffffff,
    474   0x00000000fffffffc, 0x00000001fffffffd,
    475   0x00000001fffffff8, 0x0000001fffffffc1,
    476   0x0000001fffffff80, 0x0000007cffffff07,
    477   0x0000007cfffffe0c, 0x0000007dffffff05,
    478   0x0000007dfffffe08, 0x0000007effffff03,
    479   0x0000007efffffe04, 0x00007ffcffff0007,
    480   0x00007ffcfffe000c, 0x00007ffdffff0005,
    481   0x00007ffdfffe0008, 0x00007ffeffff0003,
    482   0x00007ffefffe0004, 0x333333329999999b,
    483   0x3333333233333334, 0x5555555455555557,
    484   0x55555553aaaaaaac, 0x7ffffffc00000007,
    485   0x7ffffffb0000000c, 0x7ffffffd00000005,
    486   0x7ffffffc00000008, 0x7ffffffe00000003,
    487   0x7ffffffd00000004, 0x8000000100000001,
    488   0x8000000200000000, 0x80000001ffffffff,
    489   0x80000002fffffffc, 0xaaaaaaaaaaaaaaad,
    490   0xaaaaaaab55555558, 0xcccccccc66666669,
    491   0xccccccccccccccd0, 0xffff800000010001,
    492   0xffff800000020000, 0xffff80010000ffff,
    493   0xffff80010001fffc, 0xffff80020000fffd,
    494   0xffff80020001fff8, 0xffff80030000fffb,
    495   0xffff80030001fff4, 0xffffff8000000101,
    496   0xffffff8000000200, 0xffffff81000000ff,
    497   0xffffff81000001fc, 0xffffff82000000fd,
    498   0xffffff82000001f8, 0xffffff83000000fb,
    499   0xffffff83000001f4, 0xffffffe000000041,
    500   0xffffffe000000080, 0xfffffffd00000007,
    501   0xfffffffd0000000c, 0xfffffffe00000005,
    502   0xfffffffe00000008, 0xffffffff00000003,
    503   0xffffffff00000002, 0x0000000000000001,
    504   0x0000000000000000, 0xffffffff00000001,
    505   0x00000000fffffffe, 0xfffffffe00000001,
    506   0x00000001fffffffc, 0xffffffe000000001,
    507   0x0000001fffffffc0, 0xffffff8300000001,
    508   0x0000007cffffff06, 0xffffff8200000001,
    509   0x0000007dffffff04, 0xffffff8100000001,
    510   0x0000007effffff02, 0xffff800300000001,
    511   0x00007ffcffff0006, 0xffff800200000001,
    512   0x00007ffdffff0004, 0xffff800100000001,
    513   0x00007ffeffff0002, 0xcccccccd00000001,
    514   0x333333329999999a, 0xaaaaaaab00000001,
    515   0x5555555455555556, 0x8000000300000001,
    516   0x7ffffffc00000006, 0x8000000200000001,
    517   0x7ffffffd00000004, 0x8000000100000001,
    518   0x7ffffffe00000002, 0x7fffffffffffffff,
    519   0x8000000100000000, 0x7fffffff00000001,
    520   0x80000001fffffffe, 0x5555555600000001,
    521   0xaaaaaaaaaaaaaaac, 0x3333333400000001,
    522   0xcccccccc66666668, 0x0000800000000001,
    523   0xffff800000010000, 0x00007fff00000001,
    524   0xffff80010000fffe, 0x00007ffe00000001,
    525   0xffff80020000fffc, 0x00007ffd00000001,
    526   0xffff80030000fffa, 0x0000008000000001,
    527   0xffffff8000000100, 0x0000007f00000001,
    528   0xffffff81000000fe, 0x0000007e00000001,
    529   0xffffff82000000fc, 0x0000007d00000001,
    530   0xffffff83000000fa, 0x0000002000000001,
    531   0xffffffe000000040, 0x0000000300000001,
    532   0xfffffffd00000006, 0x0000000200000001,
    533   0xfffffffe00000004, 0x0000000100000001,
    534   0x0000000100000000, 0x0000000000000001,
    535   0x0000000000000000, 0xffffffff00000003,
    536   0xffffffff00000000, 0xfffffffe00000005,
    537   0xfffffffe00000000, 0xffffffe000000041,
    538   0xffffffe000000000, 0xffffff83000000fb,
    539   0xffffff8300000000, 0xffffff82000000fd,
    540   0xffffff8200000000, 0xffffff81000000ff,
    541   0xffffff8100000000, 0xffff80030000fffb,
    542   0xffff800300000000, 0xffff80020000fffd,
    543   0xffff800200000000, 0xffff80010000ffff,
    544   0xffff800100000000, 0xcccccccd66666667,
    545   0xcccccccd00000000, 0xaaaaaaabaaaaaaab,
    546   0xaaaaaaab00000000, 0x80000003fffffffb,
    547   0x8000000300000000, 0x80000002fffffffd,
    548   0x8000000200000000, 0x80000001ffffffff,
    549   0x8000000100000000, 0x7fffffff00000001,
    550   0x7fffffffffffffff, 0x7ffffffe00000003,
    551   0x7fffffff00000000, 0x5555555555555555,
    552   0x5555555600000000, 0x3333333399999999,
    553   0x3333333400000000, 0x00007fffffff0001,
    554   0x0000800000000000, 0x00007ffeffff0003,
    555   0x00007fff00000000, 0x00007ffdffff0005,
    556   0x00007ffe00000000, 0x00007ffcffff0007,
    557   0x00007ffd00000000, 0x0000007fffffff01,
    558   0x0000008000000000, 0x0000007effffff03,
    559   0x0000007f00000000, 0x0000007dffffff05,
    560   0x0000007e00000000, 0x0000007cffffff07,
    561   0x0000007d00000000, 0x0000001fffffffc1,
    562   0x0000002000000000, 0x00000002fffffffb,
    563   0x0000000300000000, 0x00000001fffffffd,
    564   0x0000000200000000, 0x00000000ffffffff,
    565   0x00000000fffffffe, 0x0000000000000001,
    566   0x0000000000000000, 0xffffffff55555555,
    567   0xffffffff00000002, 0xfffffffeaaaaaaa9,
    568   0xfffffffe00000004, 0xffffffeaaaaaaa81,
    569   0xffffffe000000040, 0xffffffacaaaaaa05,
    570   0xffffff83000000fa, 0xffffffabffffff59,
    571   0xffffff82000000fc, 0xffffffab555554ad,
    572   0xffffff81000000fe, 0xffffaaacaaaa0005,
    573   0xffff80030000fffa, 0xffffaaabffff5559,
    574   0xffff80020000fffc, 0xffffaaab5554aaad,
    575   0xffff80010000fffe, 0xddddddddbbbbbbbd,
    576   0xcccccccd66666666, 0xc71c71c6e38e38e5,
    577   0xaaaaaaabaaaaaaaa, 0xaaaaaaac00000005,
    578   0x80000003fffffffa, 0xaaaaaaab55555559,
    579   0x80000002fffffffc, 0xaaaaaaaaaaaaaaad,
    580   0x80000001fffffffe, 0x5555555600000001,
    581   0x7fffffff00000000, 0x5555555555555555,
    582   0x7ffffffe00000002, 0x38e38e39c71c71c9,
    583   0x5555555555555554, 0x22222222eeeeeef1,
    584   0x3333333399999998, 0x0000555555560001,
    585   0x00007fffffff0000, 0x00005554aaab5555,
    586   0x00007ffeffff0002, 0x000055540000aaa9,
    587   0x00007ffdffff0004, 0x000055535555fffd,
    588   0x00007ffcffff0006, 0x0000005555555601,
    589   0x0000007fffffff00, 0x00000054aaaaab55,
    590   0x0000007effffff02, 0x00000054000000a9,
    591   0x0000007dffffff04, 0x00000053555555fd,
    592   0x0000007cffffff06, 0x0000001555555581,
    593   0x0000001fffffffc0, 0x0000000200000005,
    594   0x00000002fffffffa, 0x0000000155555559,
    595   0x00000001fffffffc, 0x00000000aaaaaaad,
    596   0x00000000aaaaaaac, 0x0000000000000001,
    597   0x0000000000000000, 0xffffffff99999999,
    598   0xffffffff55555554, 0xffffffff33333331,
    599   0xfffffffeaaaaaaa8, 0xfffffff333333301,
    600   0xffffffeaaaaaaa80, 0xffffffcdffffff39,
    601   0xffffffacaaaaaa04, 0xffffffcd999998d1,
    602   0xffffffabffffff58, 0xffffffcd33333269,
    603   0xffffffab555554ac, 0xffffcccdffff3339,
    604   0xffffaaacaaaa0004, 0xffffcccd9998ccd1,
    605   0xffffaaabffff5558, 0xffffcccd33326669,
    606   0xffffaaab5554aaac, 0xeb851eb8147ae149,
    607   0xddddddddbbbbbbbc, 0xdddddddd77777779,
    608   0xc71c71c6e38e38e4, 0xcccccccd33333339,
    609   0xaaaaaaac00000004, 0xccccccccccccccd1,
    610   0xaaaaaaab55555558, 0xcccccccc66666669,
    611   0xaaaaaaaaaaaaaaac, 0x3333333400000001,
    612   0x5555555600000000, 0x3333333399999999,
    613   0x5555555555555554, 0x22222222eeeeeef1,
    614   0x38e38e39c71c71c8, 0x147ae14851eb8521,
    615   0x22222222eeeeeef0, 0x0000333333340001,
    616   0x0000555555560000, 0x00003332cccd9999,
    617   0x00005554aaab5554, 0x0000333266673331,
    618   0x000055540000aaa8, 0x000033320000ccc9,
    619   0x000055535555fffc, 0x0000003333333401,
    620   0x0000005555555600, 0x00000032cccccd99,
    621   0x00000054aaaaab54, 0x0000003266666731,
    622   0x00000054000000a8, 0x00000032000000c9,
    623   0x00000053555555fc, 0x0000000ccccccd01,
    624   0x0000001555555580, 0x0000000133333339,
    625   0x0000000200000004, 0x00000000ccccccd1,
    626   0x0000000155555558, 0x0000000066666669,
    627   0x0000000066666668, 0x0000000000000001,
    628   0x0000000000000000, 0xffffffffffff0001,
    629   0xffffffff99999998, 0xfffffffffffe0001,
    630   0xffffffff33333330, 0xffffffffffe00001,
    631   0xfffffff333333300, 0xffffffffff830001,
    632   0xffffffcdffffff38, 0xffffffffff820001,
    633   0xffffffcd999998d0, 0xffffffffff810001,
    634   0xffffffcd33333268, 0xffffffff80030001,
    635   0xffffcccdffff3338, 0xffffffff80020001,
    636   0xffffcccd9998ccd0, 0xffffffff80010001,
    637   0xffffcccd33326668, 0xffffcccccccd0001,
    638   0xeb851eb8147ae148, 0xffffaaaaaaab0001,
    639   0xdddddddd77777778, 0xffff800000030001,
    640   0xcccccccd33333338, 0xffff800000020001,
    641   0xccccccccccccccd0, 0xffff800000010001,
    642   0xcccccccc66666668, 0x0000800000000001,
    643   0x3333333400000000, 0x00007fffffff0001,
    644   0x3333333399999998, 0x0000555555560001,
    645   0x22222222eeeeeef0, 0x0000333333340001,
    646   0x147ae14851eb8520, 0x0000000080000001,
    647   0x0000333333340000, 0x000000007fff0001,
    648   0x00003332cccd9998, 0x000000007ffe0001,
    649   0x0000333266673330, 0x000000007ffd0001,
    650   0x000033320000ccc8, 0x0000000000800001,
    651   0x0000003333333400, 0x00000000007f0001,
    652   0x00000032cccccd98, 0x00000000007e0001,
    653   0x0000003266666730, 0x00000000007d0001,
    654   0x00000032000000c8, 0x0000000000200001,
    655   0x0000000ccccccd00, 0x0000000000030001,
    656   0x0000000133333338, 0x0000000000020001,
    657   0x00000000ccccccd0, 0x0000000000010001,
    658   0x0000000000010000, 0x0000000000000001,
    659   0x0000000000000000, 0xffffffffffff0003,
    660   0xffffffffffff0000, 0xfffffffffffe0005,
    661   0xfffffffffffe0000, 0xffffffffffe00041,
    662   0xffffffffffe00000, 0xffffffffff8300fb,
    663   0xffffffffff830000, 0xffffffffff8200fd,
    664   0xffffffffff820000, 0xffffffffff8100ff,
    665   0xffffffffff810000, 0xffffffff8003fffb,
    666   0xffffffff80030000, 0xffffffff8002fffd,
    667   0xffffffff80020000, 0xffffffff8001ffff,
    668   0xffffffff80010000, 0xffffcccd33336667,
    669   0xffffcccccccd0000, 0xffffaaab5555aaab,
    670   0xffffaaaaaaab0000, 0xffff80010002fffb,
    671   0xffff800000030000, 0xffff80010001fffd,
    672   0xffff800000020000, 0xffff80010000ffff,
    673   0xffff800000010000, 0x00007fff00000001,
    674   0x0000800000000000, 0x00007ffeffff0003,
    675   0x00007fffffff0000, 0x00005554aaab5555,
    676   0x0000555555560000, 0x00003332cccd9999,
    677   0x0000333333340000, 0x000000007fff0001,
    678   0x0000000080000000, 0x000000007ffe0003,
    679   0x000000007fff0000, 0x000000007ffd0005,
    680   0x000000007ffe0000, 0x000000007ffc0007,
    681   0x000000007ffd0000, 0x00000000007fff01,
    682   0x0000000000800000, 0x00000000007eff03,
    683   0x00000000007f0000, 0x00000000007dff05,
    684   0x00000000007e0000, 0x00000000007cff07,
    685   0x00000000007d0000, 0x00000000001fffc1,
    686   0x0000000000200000, 0x000000000002fffb,
    687   0x0000000000030000, 0x000000000001fffd,
    688   0x0000000000020000, 0x000000000000ffff,
    689   0x000000000000fffe, 0x0000000000000001,
    690   0x0000000000000000, 0xffffffffffff0005,
    691   0xffffffffffff0002, 0xfffffffffffe0009,
    692   0xfffffffffffe0004, 0xffffffffffe00081,
    693   0xffffffffffe00040, 0xffffffffff8301f5,
    694   0xffffffffff8300fa, 0xffffffffff8201f9,
    695   0xffffffffff8200fc, 0xffffffffff8101fd,
    696   0xffffffffff8100fe, 0xffffffff8004fff5,
    697   0xffffffff8003fffa, 0xffffffff8003fff9,
    698   0xffffffff8002fffc, 0xffffffff8002fffd,
    699   0xffffffff8001fffe, 0xffffcccd9999cccd,
    700   0xffffcccd33336666, 0xffffaaac00005555,
    701   0xffffaaab5555aaaa, 0xffff80020002fff5,
    702   0xffff80010002fffa, 0xffff80020001fff9,
    703   0xffff80010001fffc, 0xffff80020000fffd,
    704   0xffff80010000fffe, 0x00007ffe00000001,
    705   0x00007fff00000000, 0x00007ffdffff0005,
    706   0x00007ffeffff0002, 0x000055540000aaa9,
    707   0x00005554aaab5554, 0x0000333266673331,
    708   0x00003332cccd9998, 0x000000007ffe0001,
    709   0x000000007fff0000, 0x000000007ffd0005,
    710   0x000000007ffe0002, 0x000000007ffc0009,
    711   0x000000007ffd0004, 0x000000007ffb000d,
    712   0x000000007ffc0006, 0x00000000007ffe01,
    713   0x00000000007fff00, 0x00000000007efe05,
    714   0x00000000007eff02, 0x00000000007dfe09,
    715   0x00000000007dff04, 0x00000000007cfe0d,
    716   0x00000000007cff06, 0x00000000001fff81,
    717   0x00000000001fffc0, 0x000000000002fff5,
    718   0x000000000002fffa, 0x000000000001fff9,
    719   0x000000000001fffc, 0x000000000000fffd,
    720   0x000000000000fffc, 0x0000000000000001,
    721   0x0000000000000000, 0xffffffffffff0007,
    722   0xffffffffffff0004, 0xfffffffffffe000d,
    723   0xfffffffffffe0008, 0xffffffffffe000c1,
    724   0xffffffffffe00080, 0xffffffffff8302ef,
    725   0xffffffffff8301f4, 0xffffffffff8202f5,
    726   0xffffffffff8201f8, 0xffffffffff8102fb,
    727   0xffffffffff8101fc, 0xffffffff8005ffef,
    728   0xffffffff8004fff4, 0xffffffff8004fff5,
    729   0xffffffff8003fff8, 0xffffffff8003fffb,
    730   0xffffffff8002fffc, 0xffffccce00003333,
    731   0xffffcccd9999cccc, 0xffffaaacaaaaffff,
    732   0xffffaaac00005554, 0xffff80030002ffef,
    733   0xffff80020002fff4, 0xffff80030001fff5,
    734   0xffff80020001fff8, 0xffff80030000fffb,
    735   0xffff80020000fffc, 0x00007ffd00000001,
    736   0x00007ffe00000000, 0x00007ffcffff0007,
    737   0x00007ffdffff0004, 0x000055535555fffd,
    738   0x000055540000aaa8, 0x000033320000ccc9,
    739   0x0000333266673330, 0x000000007ffd0001,
    740   0x000000007ffe0000, 0x000000007ffc0007,
    741   0x000000007ffd0004, 0x000000007ffb000d,
    742   0x000000007ffc0008, 0x000000007ffa0013,
    743   0x000000007ffb000c, 0x00000000007ffd01,
    744   0x00000000007ffe00, 0x00000000007efd07,
    745   0x00000000007efe04, 0x00000000007dfd0d,
    746   0x00000000007dfe08, 0x00000000007cfd13,
    747   0x00000000007cfe0c, 0x00000000001fff41,
    748   0x00000000001fff80, 0x000000000002ffef,
    749   0x000000000002fff4, 0x000000000001fff5,
    750   0x000000000001fff8, 0x000000000000fffb,
    751   0x000000000000fffa, 0x0000000000000001,
    752   0x0000000000000000, 0xffffffffffffff01,
    753   0xffffffffffff0006, 0xfffffffffffffe01,
    754   0xfffffffffffe000c, 0xffffffffffffe001,
    755   0xffffffffffe000c0, 0xffffffffffff8301,
    756   0xffffffffff8302ee, 0xffffffffffff8201,
    757   0xffffffffff8202f4, 0xffffffffffff8101,
    758   0xffffffffff8102fa, 0xffffffffff800301,
    759   0xffffffff8005ffee, 0xffffffffff800201,
    760   0xffffffff8004fff4, 0xffffffffff800101,
    761   0xffffffff8003fffa, 0xffffffcccccccd01,
    762   0xffffccce00003332, 0xffffffaaaaaaab01,
    763   0xffffaaacaaaafffe, 0xffffff8000000301,
    764   0xffff80030002ffee, 0xffffff8000000201,
    765   0xffff80030001fff4, 0xffffff8000000101,
    766   0xffff80030000fffa, 0x0000008000000001,
    767   0x00007ffd00000000, 0x0000007fffffff01,
    768   0x00007ffcffff0006, 0x0000005555555601,
    769   0x000055535555fffc, 0x0000003333333401,
    770   0x000033320000ccc8, 0x0000000000800001,
    771   0x000000007ffd0000, 0x00000000007fff01,
    772   0x000000007ffc0006, 0x00000000007ffe01,
    773   0x000000007ffb000c, 0x00000000007ffd01,
    774   0x000000007ffa0012, 0x0000000000008001,
    775   0x00000000007ffd00, 0x0000000000007f01,
    776   0x00000000007efd06, 0x0000000000007e01,
    777   0x00000000007dfd0c, 0x0000000000007d01,
    778   0x00000000007cfd12, 0x0000000000002001,
    779   0x00000000001fff40, 0x0000000000000301,
    780   0x000000000002ffee, 0x0000000000000201,
    781   0x000000000001fff4, 0x0000000000000101,
    782   0x0000000000000100, 0x0000000000000001,
    783   0x0000000000000000, 0xffffffffffffff03,
    784   0xffffffffffffff00, 0xfffffffffffffe05,
    785   0xfffffffffffffe00, 0xffffffffffffe041,
    786   0xffffffffffffe000, 0xffffffffffff83fb,
    787   0xffffffffffff8300, 0xffffffffffff82fd,
    788   0xffffffffffff8200, 0xffffffffffff81ff,
    789   0xffffffffffff8100, 0xffffffffff8102fb,
    790   0xffffffffff800300, 0xffffffffff8101fd,
    791   0xffffffffff800200, 0xffffffffff8100ff,
    792   0xffffffffff800100, 0xffffffcd33333367,
    793   0xffffffcccccccd00, 0xffffffab555555ab,
    794   0xffffffaaaaaaab00, 0xffffff81000002fb,
    795   0xffffff8000000300, 0xffffff81000001fd,
    796   0xffffff8000000200, 0xffffff81000000ff,
    797   0xffffff8000000100, 0x0000007f00000001,
    798   0x0000008000000000, 0x0000007effffff03,
    799   0x0000007fffffff00, 0x00000054aaaaab55,
    800   0x0000005555555600, 0x00000032cccccd99,
    801   0x0000003333333400, 0x00000000007f0001,
    802   0x0000000000800000, 0x00000000007eff03,
    803   0x00000000007fff00, 0x00000000007efe05,
    804   0x00000000007ffe00, 0x00000000007efd07,
    805   0x00000000007ffd00, 0x0000000000007f01,
    806   0x0000000000008000, 0x0000000000007e03,
    807   0x0000000000007f00, 0x0000000000007d05,
    808   0x0000000000007e00, 0x0000000000007c07,
    809   0x0000000000007d00, 0x0000000000001fc1,
    810   0x0000000000002000, 0x00000000000002fb,
    811   0x0000000000000300, 0x00000000000001fd,
    812   0x0000000000000200, 0x00000000000000ff,
    813   0x00000000000000fe, 0x0000000000000001,
    814   0x0000000000000000, 0xffffffffffffff05,
    815   0xffffffffffffff02, 0xfffffffffffffe09,
    816   0xfffffffffffffe04, 0xffffffffffffe081,
    817   0xffffffffffffe040, 0xffffffffffff84f5,
    818   0xffffffffffff83fa, 0xffffffffffff83f9,
    819   0xffffffffffff82fc, 0xffffffffffff82fd,
    820   0xffffffffffff81fe, 0xffffffffff8202f5,
    821   0xffffffffff8102fa, 0xffffffffff8201f9,
    822   0xffffffffff8101fc, 0xffffffffff8200fd,
    823   0xffffffffff8100fe, 0xffffffcd999999cd,
    824   0xffffffcd33333366, 0xffffffac00000055,
    825   0xffffffab555555aa, 0xffffff82000002f5,
    826   0xffffff81000002fa, 0xffffff82000001f9,
    827   0xffffff81000001fc, 0xffffff82000000fd,
    828   0xffffff81000000fe, 0x0000007e00000001,
    829   0x0000007f00000000, 0x0000007dffffff05,
    830   0x0000007effffff02, 0x00000054000000a9,
    831   0x00000054aaaaab54, 0x0000003266666731,
    832   0x00000032cccccd98, 0x00000000007e0001,
    833   0x00000000007f0000, 0x00000000007dff05,
    834   0x00000000007eff02, 0x00000000007dfe09,
    835   0x00000000007efe04, 0x00000000007dfd0d,
    836   0x00000000007efd06, 0x0000000000007e01,
    837   0x0000000000007f00, 0x0000000000007d05,
    838   0x0000000000007e02, 0x0000000000007c09,
    839   0x0000000000007d04, 0x0000000000007b0d,
    840   0x0000000000007c06, 0x0000000000001f81,
    841   0x0000000000001fc0, 0x00000000000002f5,
    842   0x00000000000002fa, 0x00000000000001f9,
    843   0x00000000000001fc, 0x00000000000000fd,
    844   0x00000000000000fc, 0x0000000000000001,
    845   0x0000000000000000, 0xffffffffffffff07,
    846   0xffffffffffffff04, 0xfffffffffffffe0d,
    847   0xfffffffffffffe08, 0xffffffffffffe0c1,
    848   0xffffffffffffe080, 0xffffffffffff85ef,
    849   0xffffffffffff84f4, 0xffffffffffff84f5,
    850   0xffffffffffff83f8, 0xffffffffffff83fb,
    851   0xffffffffffff82fc, 0xffffffffff8302ef,
    852   0xffffffffff8202f4, 0xffffffffff8301f5,
    853   0xffffffffff8201f8, 0xffffffffff8300fb,
    854   0xffffffffff8200fc, 0xffffffce00000033,
    855   0xffffffcd999999cc, 0xffffffacaaaaaaff,
    856   0xffffffac00000054, 0xffffff83000002ef,
    857   0xffffff82000002f4, 0xffffff83000001f5,
    858   0xffffff82000001f8, 0xffffff83000000fb,
    859   0xffffff82000000fc, 0x0000007d00000001,
    860   0x0000007e00000000, 0x0000007cffffff07,
    861   0x0000007dffffff04, 0x00000053555555fd,
    862   0x00000054000000a8, 0x00000032000000c9,
    863   0x0000003266666730, 0x00000000007d0001,
    864   0x00000000007e0000, 0x00000000007cff07,
    865   0x00000000007dff04, 0x00000000007cfe0d,
    866   0x00000000007dfe08, 0x00000000007cfd13,
    867   0x00000000007dfd0c, 0x0000000000007d01,
    868   0x0000000000007e00, 0x0000000000007c07,
    869   0x0000000000007d04, 0x0000000000007b0d,
    870   0x0000000000007c08, 0x0000000000007a13,
    871   0x0000000000007b0c, 0x0000000000001f41,
    872   0x0000000000001f80, 0x00000000000002ef,
    873   0x00000000000002f4, 0x00000000000001f5,
    874   0x00000000000001f8, 0x00000000000000fb,
    875   0x00000000000000fa, 0x0000000000000001,
    876   0x0000000000000000, 0xffffffffffffffc1,
    877   0xffffffffffffff06, 0xffffffffffffff81,
    878   0xfffffffffffffe0c, 0xfffffffffffff801,
    879   0xffffffffffffe0c0, 0xffffffffffffe0c1,
    880   0xffffffffffff85ee, 0xffffffffffffe081,
    881   0xffffffffffff84f4, 0xffffffffffffe041,
    882   0xffffffffffff83fa, 0xffffffffffe000c1,
    883   0xffffffffff8302ee, 0xffffffffffe00081,
    884   0xffffffffff8301f4, 0xffffffffffe00041,
    885   0xffffffffff8300fa, 0xfffffff333333341,
    886   0xffffffce00000032, 0xffffffeaaaaaaac1,
    887   0xffffffacaaaaaafe, 0xffffffe0000000c1,
    888   0xffffff83000002ee, 0xffffffe000000081,
    889   0xffffff83000001f4, 0xffffffe000000041,
    890   0xffffff83000000fa, 0x0000002000000001,
    891   0x0000007d00000000, 0x0000001fffffffc1,
    892   0x0000007cffffff06, 0x0000001555555581,
    893   0x00000053555555fc, 0x0000000ccccccd01,
    894   0x00000032000000c8, 0x0000000000200001,
    895   0x00000000007d0000, 0x00000000001fffc1,
    896   0x00000000007cff06, 0x00000000001fff81,
    897   0x00000000007cfe0c, 0x00000000001fff41,
    898   0x00000000007cfd12, 0x0000000000002001,
    899   0x0000000000007d00, 0x0000000000001fc1,
    900   0x0000000000007c06, 0x0000000000001f81,
    901   0x0000000000007b0c, 0x0000000000001f41,
    902   0x0000000000007a12, 0x0000000000000801,
    903   0x0000000000001f40, 0x00000000000000c1,
    904   0x00000000000002ee, 0x0000000000000081,
    905   0x00000000000001f4, 0x0000000000000041,
    906   0x0000000000000040, 0x0000000000000001,
    907   0x0000000000000000, 0xfffffffffffffffb,
    908   0xffffffffffffffc0, 0xfffffffffffffff5,
    909   0xffffffffffffff80, 0xffffffffffffff41,
    910   0xfffffffffffff800, 0xfffffffffffffd13,
    911   0xffffffffffffe0c0, 0xfffffffffffffd0d,
    912   0xffffffffffffe080, 0xfffffffffffffd07,
    913   0xffffffffffffe040, 0xfffffffffffd0013,
    914   0xffffffffffe000c0, 0xfffffffffffd000d,
    915   0xffffffffffe00080, 0xfffffffffffd0007,
    916   0xffffffffffe00040, 0xfffffffecccccccf,
    917   0xfffffff333333340, 0xfffffffe00000003,
    918   0xffffffeaaaaaaac0, 0xfffffffd00000013,
    919   0xffffffe0000000c0, 0xfffffffd0000000d,
    920   0xffffffe000000080, 0xfffffffd00000007,
    921   0xffffffe000000040, 0x0000000300000001,
    922   0x0000002000000000, 0x00000002fffffffb,
    923   0x0000001fffffffc0, 0x0000000200000005,
    924   0x0000001555555580, 0x0000000133333339,
    925   0x0000000ccccccd00, 0x0000000000030001,
    926   0x0000000000200000, 0x000000000002fffb,
    927   0x00000000001fffc0, 0x000000000002fff5,
    928   0x00000000001fff80, 0x000000000002ffef,
    929   0x00000000001fff40, 0x0000000000000301,
    930   0x0000000000002000, 0x00000000000002fb,
    931   0x0000000000001fc0, 0x00000000000002f5,
    932   0x0000000000001f80, 0x00000000000002ef,
    933   0x0000000000001f40, 0x00000000000000c1,
    934   0x0000000000000800, 0x0000000000000013,
    935   0x00000000000000c0, 0x000000000000000d,
    936   0x0000000000000080, 0x0000000000000007,
    937   0x0000000000000006, 0x0000000000000001,
    938   0x0000000000000000, 0xfffffffffffffffd,
    939   0xfffffffffffffffa, 0xfffffffffffffff9,
    940   0xfffffffffffffff4, 0xffffffffffffff81,
    941   0xffffffffffffff40, 0xfffffffffffffe0d,
    942   0xfffffffffffffd12, 0xfffffffffffffe09,
    943   0xfffffffffffffd0c, 0xfffffffffffffe05,
    944   0xfffffffffffffd06, 0xfffffffffffe000d,
    945   0xfffffffffffd0012, 0xfffffffffffe0009,
    946   0xfffffffffffd000c, 0xfffffffffffe0005,
    947   0xfffffffffffd0006, 0xffffffff33333335,
    948   0xfffffffeccccccce, 0xfffffffeaaaaaaad,
    949   0xfffffffe00000002, 0xfffffffe0000000d,
    950   0xfffffffd00000012, 0xfffffffe00000009,
    951   0xfffffffd0000000c, 0xfffffffe00000005,
    952   0xfffffffd00000006, 0x0000000200000001,
    953   0x0000000300000000, 0x00000001fffffffd,
    954   0x00000002fffffffa, 0x0000000155555559,
    955   0x0000000200000004, 0x00000000ccccccd1,
    956   0x0000000133333338, 0x0000000000020001,
    957   0x0000000000030000, 0x000000000001fffd,
    958   0x000000000002fffa, 0x000000000001fff9,
    959   0x000000000002fff4, 0x000000000001fff5,
    960   0x000000000002ffee, 0x0000000000000201,
    961   0x0000000000000300, 0x00000000000001fd,
    962   0x00000000000002fa, 0x00000000000001f9,
    963   0x00000000000002f4, 0x00000000000001f5,
    964   0x00000000000002ee, 0x0000000000000081,
    965   0x00000000000000c0, 0x000000000000000d,
    966   0x0000000000000012, 0x0000000000000009,
    967   0x000000000000000c, 0x0000000000000005,
    968   0x0000000000000004, 0x0000000000000001,
    969   0x0000000000000000, 0xffffffffffffffff,
    970   0xfffffffffffffffc, 0xfffffffffffffffd,
    971   0xfffffffffffffff8, 0xffffffffffffffc1,
    972   0xffffffffffffff80, 0xffffffffffffff07,
    973   0xfffffffffffffe0c, 0xffffffffffffff05,
    974   0xfffffffffffffe08, 0xffffffffffffff03,
    975   0xfffffffffffffe04, 0xffffffffffff0007,
    976   0xfffffffffffe000c, 0xffffffffffff0005,
    977   0xfffffffffffe0008, 0xffffffffffff0003,
    978   0xfffffffffffe0004, 0xffffffff9999999b,
    979   0xffffffff33333334, 0xffffffff55555557,
    980   0xfffffffeaaaaaaac, 0xffffffff00000007,
    981   0xfffffffe0000000c, 0xffffffff00000005,
    982   0xfffffffe00000008, 0xffffffff00000003,
    983   0xfffffffe00000004, 0x0000000100000001,
    984   0x0000000200000000, 0x00000000ffffffff,
    985   0x00000001fffffffc, 0x00000000aaaaaaad,
    986   0x0000000155555558, 0x0000000066666669,
    987   0x00000000ccccccd0, 0x0000000000010001,
    988   0x0000000000020000, 0x000000000000ffff,
    989   0x000000000001fffc, 0x000000000000fffd,
    990   0x000000000001fff8, 0x000000000000fffb,
    991   0x000000000001fff4, 0x0000000000000101,
    992   0x0000000000000200, 0x00000000000000ff,
    993   0x00000000000001fc, 0x00000000000000fd,
    994   0x00000000000001f8, 0x00000000000000fb,
    995   0x00000000000001f4, 0x0000000000000041,
    996   0x0000000000000080, 0x0000000000000007,
    997   0x000000000000000c, 0x0000000000000005,
    998   0x0000000000000008, 0x0000000000000003,
    999 };
   1000 const unsigned kExpectedCount_NEON_sqdmlal2_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_SQDMLAL2_2D_TRACE_A64_H_
   1003