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