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_USUBL2_2D_TRACE_A64_H_
     35 #define VIXL_SIM_USUBL2_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_usubl2_2D[] = {
     38   0x0000000000000000, 0x0000000000000000,
     39   0x00000000007ffd00, 0xffffffffffffffff,
     40   0x00000000007ffcff, 0xfffffffffffffffe,
     41   0x00000000007ffcfe, 0xffffffffffffffe0,
     42   0x00000000007ffce0, 0xffffffffffffff83,
     43   0x00000000007ffc83, 0xffffffffffffff82,
     44   0x00000000007ffc82, 0xffffffffffffff81,
     45   0x00000000007ffc81, 0xffffffffffff8003,
     46   0x00000000007f7d03, 0xffffffffffff8002,
     47   0x00000000007f7d02, 0xffffffffffff8001,
     48   0x00000000007f7d01, 0xffffffffcccccccd,
     49   0xffffffffcd4cc9cd, 0xffffffffaaaaaaab,
     50   0xffffffffab2aa7ab, 0xffffffff80000003,
     51   0xffffffff807ffd03, 0xffffffff80000002,
     52   0xffffffff807ffd02, 0xffffffff80000001,
     53   0xffffffff807ffd01, 0xffffffff80000000,
     54   0xffffffff807ffd00, 0xffffffff7fffffff,
     55   0xffffffff807ffcff, 0xffffffff55555556,
     56   0xffffffff55d55256, 0xffffffff33333334,
     57   0xffffffff33b33034, 0xffffffff00008000,
     58   0xffffffff00807d00, 0xffffffff00007fff,
     59   0xffffffff00807cff, 0xffffffff00007ffe,
     60   0xffffffff00807cfe, 0xffffffff00007ffd,
     61   0xffffffff00807cfd, 0xffffffff00000080,
     62   0xffffffff007ffd80, 0xffffffff0000007f,
     63   0xffffffff007ffd7f, 0xffffffff0000007e,
     64   0xffffffff007ffd7e, 0xffffffff0000007d,
     65   0xffffffff007ffd7d, 0xffffffff00000020,
     66   0xffffffff007ffd20, 0xffffffff00000003,
     67   0xffffffff007ffd03, 0xffffffff00000002,
     68   0xffffffff007ffd02, 0xffffffff00000001,
     69   0xffffffff00000001, 0x0000000000000001,
     70   0x0000000000000000, 0x0000000000000000,
     71   0xffffffffffffffff, 0xffffffffffffffff,
     72   0xfffffffffffffffe, 0xffffffffffffffe1,
     73   0xffffffffffffffe0, 0xffffffffffffff84,
     74   0xffffffffffffff83, 0xffffffffffffff83,
     75   0xffffffffffffff82, 0xffffffffffffff82,
     76   0xffffffffffffff81, 0xffffffffffff8004,
     77   0xffffffffffff8003, 0xffffffffffff8003,
     78   0xffffffffffff8002, 0xffffffffffff8002,
     79   0xffffffffffff8001, 0xffffffffccccccce,
     80   0xffffffffcccccccd, 0xffffffffaaaaaaac,
     81   0xffffffffaaaaaaab, 0xffffffff80000004,
     82   0xffffffff80000003, 0xffffffff80000003,
     83   0xffffffff80000002, 0xffffffff80000002,
     84   0xffffffff80000001, 0xffffffff80000001,
     85   0xffffffff80000000, 0xffffffff80000000,
     86   0xffffffff7fffffff, 0xffffffff55555557,
     87   0xffffffff55555556, 0xffffffff33333335,
     88   0xffffffff33333334, 0xffffffff00008001,
     89   0xffffffff00008000, 0xffffffff00008000,
     90   0xffffffff00007fff, 0xffffffff00007fff,
     91   0xffffffff00007ffe, 0xffffffff00007ffe,
     92   0xffffffff00007ffd, 0xffffffff00000081,
     93   0xffffffff00000080, 0xffffffff00000080,
     94   0xffffffff0000007f, 0xffffffff0000007f,
     95   0xffffffff0000007e, 0xffffffff0000007e,
     96   0xffffffff0000007d, 0xffffffff00000021,
     97   0xffffffff00000020, 0xffffffff00000004,
     98   0xffffffff00000003, 0xffffffff00000003,
     99   0xffffffff00000002, 0xffffffff00000002,
    100   0xffffffff00000002, 0x0000000000000002,
    101   0x0000000000000001, 0x0000000000000001,
    102   0x0000000000000000, 0x0000000000000000,
    103   0xffffffffffffffff, 0xffffffffffffffe2,
    104   0xffffffffffffffe1, 0xffffffffffffff85,
    105   0xffffffffffffff84, 0xffffffffffffff84,
    106   0xffffffffffffff83, 0xffffffffffffff83,
    107   0xffffffffffffff82, 0xffffffffffff8005,
    108   0xffffffffffff8004, 0xffffffffffff8004,
    109   0xffffffffffff8003, 0xffffffffffff8003,
    110   0xffffffffffff8002, 0xffffffffcccccccf,
    111   0xffffffffccccccce, 0xffffffffaaaaaaad,
    112   0xffffffffaaaaaaac, 0xffffffff80000005,
    113   0xffffffff80000004, 0xffffffff80000004,
    114   0xffffffff80000003, 0xffffffff80000003,
    115   0xffffffff80000002, 0xffffffff80000002,
    116   0xffffffff80000001, 0xffffffff80000001,
    117   0xffffffff80000000, 0xffffffff55555558,
    118   0xffffffff55555557, 0xffffffff33333336,
    119   0xffffffff33333335, 0xffffffff00008002,
    120   0xffffffff00008001, 0xffffffff00008001,
    121   0xffffffff00008000, 0xffffffff00008000,
    122   0xffffffff00007fff, 0xffffffff00007fff,
    123   0xffffffff00007ffe, 0xffffffff00000082,
    124   0xffffffff00000081, 0xffffffff00000081,
    125   0xffffffff00000080, 0xffffffff00000080,
    126   0xffffffff0000007f, 0xffffffff0000007f,
    127   0xffffffff0000007e, 0xffffffff00000022,
    128   0xffffffff00000021, 0xffffffff00000005,
    129   0xffffffff00000004, 0xffffffff00000004,
    130   0xffffffff00000003, 0xffffffff00000003,
    131   0xffffffff00000003, 0x0000000000000020,
    132   0x0000000000000002, 0x000000000000001f,
    133   0x0000000000000001, 0x000000000000001e,
    134   0x0000000000000000, 0x0000000000000000,
    135   0xffffffffffffffe2, 0xffffffffffffffa3,
    136   0xffffffffffffff85, 0xffffffffffffffa2,
    137   0xffffffffffffff84, 0xffffffffffffffa1,
    138   0xffffffffffffff83, 0xffffffffffff8023,
    139   0xffffffffffff8005, 0xffffffffffff8022,
    140   0xffffffffffff8004, 0xffffffffffff8021,
    141   0xffffffffffff8003, 0xffffffffcccccced,
    142   0xffffffffcccccccf, 0xffffffffaaaaaacb,
    143   0xffffffffaaaaaaad, 0xffffffff80000023,
    144   0xffffffff80000005, 0xffffffff80000022,
    145   0xffffffff80000004, 0xffffffff80000021,
    146   0xffffffff80000003, 0xffffffff80000020,
    147   0xffffffff80000002, 0xffffffff8000001f,
    148   0xffffffff80000001, 0xffffffff55555576,
    149   0xffffffff55555558, 0xffffffff33333354,
    150   0xffffffff33333336, 0xffffffff00008020,
    151   0xffffffff00008002, 0xffffffff0000801f,
    152   0xffffffff00008001, 0xffffffff0000801e,
    153   0xffffffff00008000, 0xffffffff0000801d,
    154   0xffffffff00007fff, 0xffffffff000000a0,
    155   0xffffffff00000082, 0xffffffff0000009f,
    156   0xffffffff00000081, 0xffffffff0000009e,
    157   0xffffffff00000080, 0xffffffff0000009d,
    158   0xffffffff0000007f, 0xffffffff00000040,
    159   0xffffffff00000022, 0xffffffff00000023,
    160   0xffffffff00000005, 0xffffffff00000022,
    161   0xffffffff00000004, 0xffffffff00000021,
    162   0xffffffff00000021, 0x000000000000007d,
    163   0x0000000000000020, 0x000000000000007c,
    164   0x000000000000001f, 0x000000000000007b,
    165   0x000000000000001e, 0x000000000000005d,
    166   0x0000000000000000, 0x0000000000000000,
    167   0xffffffffffffffa3, 0xffffffffffffffff,
    168   0xffffffffffffffa2, 0xfffffffffffffffe,
    169   0xffffffffffffffa1, 0xffffffffffff8080,
    170   0xffffffffffff8023, 0xffffffffffff807f,
    171   0xffffffffffff8022, 0xffffffffffff807e,
    172   0xffffffffffff8021, 0xffffffffcccccd4a,
    173   0xffffffffcccccced, 0xffffffffaaaaab28,
    174   0xffffffffaaaaaacb, 0xffffffff80000080,
    175   0xffffffff80000023, 0xffffffff8000007f,
    176   0xffffffff80000022, 0xffffffff8000007e,
    177   0xffffffff80000021, 0xffffffff8000007d,
    178   0xffffffff80000020, 0xffffffff8000007c,
    179   0xffffffff8000001f, 0xffffffff555555d3,
    180   0xffffffff55555576, 0xffffffff333333b1,
    181   0xffffffff33333354, 0xffffffff0000807d,
    182   0xffffffff00008020, 0xffffffff0000807c,
    183   0xffffffff0000801f, 0xffffffff0000807b,
    184   0xffffffff0000801e, 0xffffffff0000807a,
    185   0xffffffff0000801d, 0xffffffff000000fd,
    186   0xffffffff000000a0, 0xffffffff000000fc,
    187   0xffffffff0000009f, 0xffffffff000000fb,
    188   0xffffffff0000009e, 0xffffffff000000fa,
    189   0xffffffff0000009d, 0xffffffff0000009d,
    190   0xffffffff00000040, 0xffffffff00000080,
    191   0xffffffff00000023, 0xffffffff0000007f,
    192   0xffffffff00000022, 0xffffffff0000007e,
    193   0xffffffff0000007e, 0x000000000000007e,
    194   0x000000000000007d, 0x000000000000007d,
    195   0x000000000000007c, 0x000000000000007c,
    196   0x000000000000007b, 0x000000000000005e,
    197   0x000000000000005d, 0x0000000000000001,
    198   0x0000000000000000, 0x0000000000000000,
    199   0xffffffffffffffff, 0xffffffffffffffff,
    200   0xfffffffffffffffe, 0xffffffffffff8081,
    201   0xffffffffffff8080, 0xffffffffffff8080,
    202   0xffffffffffff807f, 0xffffffffffff807f,
    203   0xffffffffffff807e, 0xffffffffcccccd4b,
    204   0xffffffffcccccd4a, 0xffffffffaaaaab29,
    205   0xffffffffaaaaab28, 0xffffffff80000081,
    206   0xffffffff80000080, 0xffffffff80000080,
    207   0xffffffff8000007f, 0xffffffff8000007f,
    208   0xffffffff8000007e, 0xffffffff8000007e,
    209   0xffffffff8000007d, 0xffffffff8000007d,
    210   0xffffffff8000007c, 0xffffffff555555d4,
    211   0xffffffff555555d3, 0xffffffff333333b2,
    212   0xffffffff333333b1, 0xffffffff0000807e,
    213   0xffffffff0000807d, 0xffffffff0000807d,
    214   0xffffffff0000807c, 0xffffffff0000807c,
    215   0xffffffff0000807b, 0xffffffff0000807b,
    216   0xffffffff0000807a, 0xffffffff000000fe,
    217   0xffffffff000000fd, 0xffffffff000000fd,
    218   0xffffffff000000fc, 0xffffffff000000fc,
    219   0xffffffff000000fb, 0xffffffff000000fb,
    220   0xffffffff000000fa, 0xffffffff0000009e,
    221   0xffffffff0000009d, 0xffffffff00000081,
    222   0xffffffff00000080, 0xffffffff00000080,
    223   0xffffffff0000007f, 0xffffffff0000007f,
    224   0xffffffff0000007f, 0x000000000000007f,
    225   0x000000000000007e, 0x000000000000007e,
    226   0x000000000000007d, 0x000000000000007d,
    227   0x000000000000007c, 0x000000000000005f,
    228   0x000000000000005e, 0x0000000000000002,
    229   0x0000000000000001, 0x0000000000000001,
    230   0x0000000000000000, 0x0000000000000000,
    231   0xffffffffffffffff, 0xffffffffffff8082,
    232   0xffffffffffff8081, 0xffffffffffff8081,
    233   0xffffffffffff8080, 0xffffffffffff8080,
    234   0xffffffffffff807f, 0xffffffffcccccd4c,
    235   0xffffffffcccccd4b, 0xffffffffaaaaab2a,
    236   0xffffffffaaaaab29, 0xffffffff80000082,
    237   0xffffffff80000081, 0xffffffff80000081,
    238   0xffffffff80000080, 0xffffffff80000080,
    239   0xffffffff8000007f, 0xffffffff8000007f,
    240   0xffffffff8000007e, 0xffffffff8000007e,
    241   0xffffffff8000007d, 0xffffffff555555d5,
    242   0xffffffff555555d4, 0xffffffff333333b3,
    243   0xffffffff333333b2, 0xffffffff0000807f,
    244   0xffffffff0000807e, 0xffffffff0000807e,
    245   0xffffffff0000807d, 0xffffffff0000807d,
    246   0xffffffff0000807c, 0xffffffff0000807c,
    247   0xffffffff0000807b, 0xffffffff000000ff,
    248   0xffffffff000000fe, 0xffffffff000000fe,
    249   0xffffffff000000fd, 0xffffffff000000fd,
    250   0xffffffff000000fc, 0xffffffff000000fc,
    251   0xffffffff000000fb, 0xffffffff0000009f,
    252   0xffffffff0000009e, 0xffffffff00000082,
    253   0xffffffff00000081, 0xffffffff00000081,
    254   0xffffffff00000080, 0xffffffff00000080,
    255   0xffffffff00000080, 0x0000000000007ffd,
    256   0x000000000000007f, 0x0000000000007ffc,
    257   0x000000000000007e, 0x0000000000007ffb,
    258   0x000000000000007d, 0x0000000000007fdd,
    259   0x000000000000005f, 0x0000000000007f80,
    260   0x0000000000000002, 0x0000000000007f7f,
    261   0x0000000000000001, 0x0000000000007f7e,
    262   0x0000000000000000, 0x0000000000000000,
    263   0xffffffffffff8082, 0xffffffffffffffff,
    264   0xffffffffffff8081, 0xfffffffffffffffe,
    265   0xffffffffffff8080, 0xffffffffcccd4cca,
    266   0xffffffffcccccd4c, 0xffffffffaaab2aa8,
    267   0xffffffffaaaaab2a, 0xffffffff80008000,
    268   0xffffffff80000082, 0xffffffff80007fff,
    269   0xffffffff80000081, 0xffffffff80007ffe,
    270   0xffffffff80000080, 0xffffffff80007ffd,
    271   0xffffffff8000007f, 0xffffffff80007ffc,
    272   0xffffffff8000007e, 0xffffffff5555d553,
    273   0xffffffff555555d5, 0xffffffff3333b331,
    274   0xffffffff333333b3, 0xffffffff0000fffd,
    275   0xffffffff0000807f, 0xffffffff0000fffc,
    276   0xffffffff0000807e, 0xffffffff0000fffb,
    277   0xffffffff0000807d, 0xffffffff0000fffa,
    278   0xffffffff0000807c, 0xffffffff0000807d,
    279   0xffffffff000000ff, 0xffffffff0000807c,
    280   0xffffffff000000fe, 0xffffffff0000807b,
    281   0xffffffff000000fd, 0xffffffff0000807a,
    282   0xffffffff000000fc, 0xffffffff0000801d,
    283   0xffffffff0000009f, 0xffffffff00008000,
    284   0xffffffff00000082, 0xffffffff00007fff,
    285   0xffffffff00000081, 0xffffffff00007ffe,
    286   0xffffffff00007ffe, 0x0000000000007ffe,
    287   0x0000000000007ffd, 0x0000000000007ffd,
    288   0x0000000000007ffc, 0x0000000000007ffc,
    289   0x0000000000007ffb, 0x0000000000007fde,
    290   0x0000000000007fdd, 0x0000000000007f81,
    291   0x0000000000007f80, 0x0000000000007f80,
    292   0x0000000000007f7f, 0x0000000000007f7f,
    293   0x0000000000007f7e, 0x0000000000000001,
    294   0x0000000000000000, 0x0000000000000000,
    295   0xffffffffffffffff, 0xffffffffffffffff,
    296   0xfffffffffffffffe, 0xffffffffcccd4ccb,
    297   0xffffffffcccd4cca, 0xffffffffaaab2aa9,
    298   0xffffffffaaab2aa8, 0xffffffff80008001,
    299   0xffffffff80008000, 0xffffffff80008000,
    300   0xffffffff80007fff, 0xffffffff80007fff,
    301   0xffffffff80007ffe, 0xffffffff80007ffe,
    302   0xffffffff80007ffd, 0xffffffff80007ffd,
    303   0xffffffff80007ffc, 0xffffffff5555d554,
    304   0xffffffff5555d553, 0xffffffff3333b332,
    305   0xffffffff3333b331, 0xffffffff0000fffe,
    306   0xffffffff0000fffd, 0xffffffff0000fffd,
    307   0xffffffff0000fffc, 0xffffffff0000fffc,
    308   0xffffffff0000fffb, 0xffffffff0000fffb,
    309   0xffffffff0000fffa, 0xffffffff0000807e,
    310   0xffffffff0000807d, 0xffffffff0000807d,
    311   0xffffffff0000807c, 0xffffffff0000807c,
    312   0xffffffff0000807b, 0xffffffff0000807b,
    313   0xffffffff0000807a, 0xffffffff0000801e,
    314   0xffffffff0000801d, 0xffffffff00008001,
    315   0xffffffff00008000, 0xffffffff00008000,
    316   0xffffffff00007fff, 0xffffffff00007fff,
    317   0xffffffff00007fff, 0x0000000000007fff,
    318   0x0000000000007ffe, 0x0000000000007ffe,
    319   0x0000000000007ffd, 0x0000000000007ffd,
    320   0x0000000000007ffc, 0x0000000000007fdf,
    321   0x0000000000007fde, 0x0000000000007f82,
    322   0x0000000000007f81, 0x0000000000007f81,
    323   0x0000000000007f80, 0x0000000000007f80,
    324   0x0000000000007f7f, 0x0000000000000002,
    325   0x0000000000000001, 0x0000000000000001,
    326   0x0000000000000000, 0x0000000000000000,
    327   0xffffffffffffffff, 0xffffffffcccd4ccc,
    328   0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
    329   0xffffffffaaab2aa9, 0xffffffff80008002,
    330   0xffffffff80008001, 0xffffffff80008001,
    331   0xffffffff80008000, 0xffffffff80008000,
    332   0xffffffff80007fff, 0xffffffff80007fff,
    333   0xffffffff80007ffe, 0xffffffff80007ffe,
    334   0xffffffff80007ffd, 0xffffffff5555d555,
    335   0xffffffff5555d554, 0xffffffff3333b333,
    336   0xffffffff3333b332, 0xffffffff0000ffff,
    337   0xffffffff0000fffe, 0xffffffff0000fffe,
    338   0xffffffff0000fffd, 0xffffffff0000fffd,
    339   0xffffffff0000fffc, 0xffffffff0000fffc,
    340   0xffffffff0000fffb, 0xffffffff0000807f,
    341   0xffffffff0000807e, 0xffffffff0000807e,
    342   0xffffffff0000807d, 0xffffffff0000807d,
    343   0xffffffff0000807c, 0xffffffff0000807c,
    344   0xffffffff0000807b, 0xffffffff0000801f,
    345   0xffffffff0000801e, 0xffffffff00008002,
    346   0xffffffff00008001, 0xffffffff00008001,
    347   0xffffffff00008000, 0xffffffff00008000,
    348   0xffffffff00008000, 0x0000000033333333,
    349   0x0000000000007fff, 0x0000000033333332,
    350   0x0000000000007ffe, 0x0000000033333331,
    351   0x0000000000007ffd, 0x0000000033333313,
    352   0x0000000000007fdf, 0x00000000333332b6,
    353   0x0000000000007f82, 0x00000000333332b5,
    354   0x0000000000007f81, 0x00000000333332b4,
    355   0x0000000000007f80, 0x000000003332b336,
    356   0x0000000000000002, 0x000000003332b335,
    357   0x0000000000000001, 0x000000003332b334,
    358   0x0000000000000000, 0x0000000000000000,
    359   0xffffffffcccd4ccc, 0xffffffffddddddde,
    360   0xffffffffaaab2aaa, 0xffffffffb3333336,
    361   0xffffffff80008002, 0xffffffffb3333335,
    362   0xffffffff80008001, 0xffffffffb3333334,
    363   0xffffffff80008000, 0xffffffffb3333333,
    364   0xffffffff80007fff, 0xffffffffb3333332,
    365   0xffffffff80007ffe, 0xffffffff88888889,
    366   0xffffffff5555d555, 0xffffffff66666667,
    367   0xffffffff3333b333, 0xffffffff3333b333,
    368   0xffffffff0000ffff, 0xffffffff3333b332,
    369   0xffffffff0000fffe, 0xffffffff3333b331,
    370   0xffffffff0000fffd, 0xffffffff3333b330,
    371   0xffffffff0000fffc, 0xffffffff333333b3,
    372   0xffffffff0000807f, 0xffffffff333333b2,
    373   0xffffffff0000807e, 0xffffffff333333b1,
    374   0xffffffff0000807d, 0xffffffff333333b0,
    375   0xffffffff0000807c, 0xffffffff33333353,
    376   0xffffffff0000801f, 0xffffffff33333336,
    377   0xffffffff00008002, 0xffffffff33333335,
    378   0xffffffff00008001, 0xffffffff33333334,
    379   0xffffffff33333334, 0x0000000055555555,
    380   0x0000000033333333, 0x0000000055555554,
    381   0x0000000033333332, 0x0000000055555553,
    382   0x0000000033333331, 0x0000000055555535,
    383   0x0000000033333313, 0x00000000555554d8,
    384   0x00000000333332b6, 0x00000000555554d7,
    385   0x00000000333332b5, 0x00000000555554d6,
    386   0x00000000333332b4, 0x000000005554d558,
    387   0x000000003332b336, 0x000000005554d557,
    388   0x000000003332b335, 0x000000005554d556,
    389   0x000000003332b334, 0x0000000022222222,
    390   0x0000000000000000, 0x0000000000000000,
    391   0xffffffffddddddde, 0xffffffffd5555558,
    392   0xffffffffb3333336, 0xffffffffd5555557,
    393   0xffffffffb3333335, 0xffffffffd5555556,
    394   0xffffffffb3333334, 0xffffffffd5555555,
    395   0xffffffffb3333333, 0xffffffffd5555554,
    396   0xffffffffb3333332, 0xffffffffaaaaaaab,
    397   0xffffffff88888889, 0xffffffff88888889,
    398   0xffffffff66666667, 0xffffffff5555d555,
    399   0xffffffff3333b333, 0xffffffff5555d554,
    400   0xffffffff3333b332, 0xffffffff5555d553,
    401   0xffffffff3333b331, 0xffffffff5555d552,
    402   0xffffffff3333b330, 0xffffffff555555d5,
    403   0xffffffff333333b3, 0xffffffff555555d4,
    404   0xffffffff333333b2, 0xffffffff555555d3,
    405   0xffffffff333333b1, 0xffffffff555555d2,
    406   0xffffffff333333b0, 0xffffffff55555575,
    407   0xffffffff33333353, 0xffffffff55555558,
    408   0xffffffff33333336, 0xffffffff55555557,
    409   0xffffffff33333335, 0xffffffff55555556,
    410   0xffffffff55555556, 0x000000007ffffffd,
    411   0x0000000055555555, 0x000000007ffffffc,
    412   0x0000000055555554, 0x000000007ffffffb,
    413   0x0000000055555553, 0x000000007fffffdd,
    414   0x0000000055555535, 0x000000007fffff80,
    415   0x00000000555554d8, 0x000000007fffff7f,
    416   0x00000000555554d7, 0x000000007fffff7e,
    417   0x00000000555554d6, 0x000000007fff8000,
    418   0x000000005554d558, 0x000000007fff7fff,
    419   0x000000005554d557, 0x000000007fff7ffe,
    420   0x000000005554d556, 0x000000004cccccca,
    421   0x0000000022222222, 0x000000002aaaaaa8,
    422   0x0000000000000000, 0x0000000000000000,
    423   0xffffffffd5555558, 0xffffffffffffffff,
    424   0xffffffffd5555557, 0xfffffffffffffffe,
    425   0xffffffffd5555556, 0xfffffffffffffffd,
    426   0xffffffffd5555555, 0xfffffffffffffffc,
    427   0xffffffffd5555554, 0xffffffffd5555553,
    428   0xffffffffaaaaaaab, 0xffffffffb3333331,
    429   0xffffffff88888889, 0xffffffff80007ffd,
    430   0xffffffff5555d555, 0xffffffff80007ffc,
    431   0xffffffff5555d554, 0xffffffff80007ffb,
    432   0xffffffff5555d553, 0xffffffff80007ffa,
    433   0xffffffff5555d552, 0xffffffff8000007d,
    434   0xffffffff555555d5, 0xffffffff8000007c,
    435   0xffffffff555555d4, 0xffffffff8000007b,
    436   0xffffffff555555d3, 0xffffffff8000007a,
    437   0xffffffff555555d2, 0xffffffff8000001d,
    438   0xffffffff55555575, 0xffffffff80000000,
    439   0xffffffff55555558, 0xffffffff7fffffff,
    440   0xffffffff55555557, 0xffffffff7ffffffe,
    441   0xffffffff7ffffffe, 0x000000007ffffffe,
    442   0x000000007ffffffd, 0x000000007ffffffd,
    443   0x000000007ffffffc, 0x000000007ffffffc,
    444   0x000000007ffffffb, 0x000000007fffffde,
    445   0x000000007fffffdd, 0x000000007fffff81,
    446   0x000000007fffff80, 0x000000007fffff80,
    447   0x000000007fffff7f, 0x000000007fffff7f,
    448   0x000000007fffff7e, 0x000000007fff8001,
    449   0x000000007fff8000, 0x000000007fff8000,
    450   0x000000007fff7fff, 0x000000007fff7fff,
    451   0x000000007fff7ffe, 0x000000004ccccccb,
    452   0x000000004cccccca, 0x000000002aaaaaa9,
    453   0x000000002aaaaaa8, 0x0000000000000001,
    454   0x0000000000000000, 0x0000000000000000,
    455   0xffffffffffffffff, 0xffffffffffffffff,
    456   0xfffffffffffffffe, 0xfffffffffffffffe,
    457   0xfffffffffffffffd, 0xfffffffffffffffd,
    458   0xfffffffffffffffc, 0xffffffffd5555554,
    459   0xffffffffd5555553, 0xffffffffb3333332,
    460   0xffffffffb3333331, 0xffffffff80007ffe,
    461   0xffffffff80007ffd, 0xffffffff80007ffd,
    462   0xffffffff80007ffc, 0xffffffff80007ffc,
    463   0xffffffff80007ffb, 0xffffffff80007ffb,
    464   0xffffffff80007ffa, 0xffffffff8000007e,
    465   0xffffffff8000007d, 0xffffffff8000007d,
    466   0xffffffff8000007c, 0xffffffff8000007c,
    467   0xffffffff8000007b, 0xffffffff8000007b,
    468   0xffffffff8000007a, 0xffffffff8000001e,
    469   0xffffffff8000001d, 0xffffffff80000001,
    470   0xffffffff80000000, 0xffffffff80000000,
    471   0xffffffff7fffffff, 0xffffffff7fffffff,
    472   0xffffffff7fffffff, 0x000000007fffffff,
    473   0x000000007ffffffe, 0x000000007ffffffe,
    474   0x000000007ffffffd, 0x000000007ffffffd,
    475   0x000000007ffffffc, 0x000000007fffffdf,
    476   0x000000007fffffde, 0x000000007fffff82,
    477   0x000000007fffff81, 0x000000007fffff81,
    478   0x000000007fffff80, 0x000000007fffff80,
    479   0x000000007fffff7f, 0x000000007fff8002,
    480   0x000000007fff8001, 0x000000007fff8001,
    481   0x000000007fff8000, 0x000000007fff8000,
    482   0x000000007fff7fff, 0x000000004ccccccc,
    483   0x000000004ccccccb, 0x000000002aaaaaaa,
    484   0x000000002aaaaaa9, 0x0000000000000002,
    485   0x0000000000000001, 0x0000000000000001,
    486   0x0000000000000000, 0x0000000000000000,
    487   0xffffffffffffffff, 0xffffffffffffffff,
    488   0xfffffffffffffffe, 0xfffffffffffffffe,
    489   0xfffffffffffffffd, 0xffffffffd5555555,
    490   0xffffffffd5555554, 0xffffffffb3333333,
    491   0xffffffffb3333332, 0xffffffff80007fff,
    492   0xffffffff80007ffe, 0xffffffff80007ffe,
    493   0xffffffff80007ffd, 0xffffffff80007ffd,
    494   0xffffffff80007ffc, 0xffffffff80007ffc,
    495   0xffffffff80007ffb, 0xffffffff8000007f,
    496   0xffffffff8000007e, 0xffffffff8000007e,
    497   0xffffffff8000007d, 0xffffffff8000007d,
    498   0xffffffff8000007c, 0xffffffff8000007c,
    499   0xffffffff8000007b, 0xffffffff8000001f,
    500   0xffffffff8000001e, 0xffffffff80000002,
    501   0xffffffff80000001, 0xffffffff80000001,
    502   0xffffffff80000000, 0xffffffff80000000,
    503   0xffffffff80000000, 0x0000000080000000,
    504   0x000000007fffffff, 0x000000007fffffff,
    505   0x000000007ffffffe, 0x000000007ffffffe,
    506   0x000000007ffffffd, 0x000000007fffffe0,
    507   0x000000007fffffdf, 0x000000007fffff83,
    508   0x000000007fffff82, 0x000000007fffff82,
    509   0x000000007fffff81, 0x000000007fffff81,
    510   0x000000007fffff80, 0x000000007fff8003,
    511   0x000000007fff8002, 0x000000007fff8002,
    512   0x000000007fff8001, 0x000000007fff8001,
    513   0x000000007fff8000, 0x000000004ccccccd,
    514   0x000000004ccccccc, 0x000000002aaaaaab,
    515   0x000000002aaaaaaa, 0x0000000000000003,
    516   0x0000000000000002, 0x0000000000000002,
    517   0x0000000000000001, 0x0000000000000001,
    518   0x0000000000000000, 0x0000000000000000,
    519   0xffffffffffffffff, 0xffffffffffffffff,
    520   0xfffffffffffffffe, 0xffffffffd5555556,
    521   0xffffffffd5555555, 0xffffffffb3333334,
    522   0xffffffffb3333333, 0xffffffff80008000,
    523   0xffffffff80007fff, 0xffffffff80007fff,
    524   0xffffffff80007ffe, 0xffffffff80007ffe,
    525   0xffffffff80007ffd, 0xffffffff80007ffd,
    526   0xffffffff80007ffc, 0xffffffff80000080,
    527   0xffffffff8000007f, 0xffffffff8000007f,
    528   0xffffffff8000007e, 0xffffffff8000007e,
    529   0xffffffff8000007d, 0xffffffff8000007d,
    530   0xffffffff8000007c, 0xffffffff80000020,
    531   0xffffffff8000001f, 0xffffffff80000003,
    532   0xffffffff80000002, 0xffffffff80000002,
    533   0xffffffff80000001, 0xffffffff80000001,
    534   0xffffffff80000001, 0x0000000080000001,
    535   0x0000000080000000, 0x0000000080000000,
    536   0x000000007fffffff, 0x000000007fffffff,
    537   0x000000007ffffffe, 0x000000007fffffe1,
    538   0x000000007fffffe0, 0x000000007fffff84,
    539   0x000000007fffff83, 0x000000007fffff83,
    540   0x000000007fffff82, 0x000000007fffff82,
    541   0x000000007fffff81, 0x000000007fff8004,
    542   0x000000007fff8003, 0x000000007fff8003,
    543   0x000000007fff8002, 0x000000007fff8002,
    544   0x000000007fff8001, 0x000000004cccccce,
    545   0x000000004ccccccd, 0x000000002aaaaaac,
    546   0x000000002aaaaaab, 0x0000000000000004,
    547   0x0000000000000003, 0x0000000000000003,
    548   0x0000000000000002, 0x0000000000000002,
    549   0x0000000000000001, 0x0000000000000001,
    550   0x0000000000000000, 0x0000000000000000,
    551   0xffffffffffffffff, 0xffffffffd5555557,
    552   0xffffffffd5555556, 0xffffffffb3333335,
    553   0xffffffffb3333334, 0xffffffff80008001,
    554   0xffffffff80008000, 0xffffffff80008000,
    555   0xffffffff80007fff, 0xffffffff80007fff,
    556   0xffffffff80007ffe, 0xffffffff80007ffe,
    557   0xffffffff80007ffd, 0xffffffff80000081,
    558   0xffffffff80000080, 0xffffffff80000080,
    559   0xffffffff8000007f, 0xffffffff8000007f,
    560   0xffffffff8000007e, 0xffffffff8000007e,
    561   0xffffffff8000007d, 0xffffffff80000021,
    562   0xffffffff80000020, 0xffffffff80000004,
    563   0xffffffff80000003, 0xffffffff80000003,
    564   0xffffffff80000002, 0xffffffff80000002,
    565   0xffffffff80000002, 0x00000000aaaaaaaa,
    566   0x0000000080000001, 0x00000000aaaaaaa9,
    567   0x0000000080000000, 0x00000000aaaaaaa8,
    568   0x000000007fffffff, 0x00000000aaaaaa8a,
    569   0x000000007fffffe1, 0x00000000aaaaaa2d,
    570   0x000000007fffff84, 0x00000000aaaaaa2c,
    571   0x000000007fffff83, 0x00000000aaaaaa2b,
    572   0x000000007fffff82, 0x00000000aaaa2aad,
    573   0x000000007fff8004, 0x00000000aaaa2aac,
    574   0x000000007fff8003, 0x00000000aaaa2aab,
    575   0x000000007fff8002, 0x0000000077777777,
    576   0x000000004cccccce, 0x0000000055555555,
    577   0x000000002aaaaaac, 0x000000002aaaaaad,
    578   0x0000000000000004, 0x000000002aaaaaac,
    579   0x0000000000000003, 0x000000002aaaaaab,
    580   0x0000000000000002, 0x000000002aaaaaaa,
    581   0x0000000000000001, 0x000000002aaaaaa9,
    582   0x0000000000000000, 0x0000000000000000,
    583   0xffffffffd5555557, 0xffffffffddddddde,
    584   0xffffffffb3333335, 0xffffffffaaab2aaa,
    585   0xffffffff80008001, 0xffffffffaaab2aa9,
    586   0xffffffff80008000, 0xffffffffaaab2aa8,
    587   0xffffffff80007fff, 0xffffffffaaab2aa7,
    588   0xffffffff80007ffe, 0xffffffffaaaaab2a,
    589   0xffffffff80000081, 0xffffffffaaaaab29,
    590   0xffffffff80000080, 0xffffffffaaaaab28,
    591   0xffffffff8000007f, 0xffffffffaaaaab27,
    592   0xffffffff8000007e, 0xffffffffaaaaaaca,
    593   0xffffffff80000021, 0xffffffffaaaaaaad,
    594   0xffffffff80000004, 0xffffffffaaaaaaac,
    595   0xffffffff80000003, 0xffffffffaaaaaaab,
    596   0xffffffffaaaaaaab, 0x00000000cccccccc,
    597   0x00000000aaaaaaaa, 0x00000000cccccccb,
    598   0x00000000aaaaaaa9, 0x00000000ccccccca,
    599   0x00000000aaaaaaa8, 0x00000000ccccccac,
    600   0x00000000aaaaaa8a, 0x00000000cccccc4f,
    601   0x00000000aaaaaa2d, 0x00000000cccccc4e,
    602   0x00000000aaaaaa2c, 0x00000000cccccc4d,
    603   0x00000000aaaaaa2b, 0x00000000cccc4ccf,
    604   0x00000000aaaa2aad, 0x00000000cccc4cce,
    605   0x00000000aaaa2aac, 0x00000000cccc4ccd,
    606   0x00000000aaaa2aab, 0x0000000099999999,
    607   0x0000000077777777, 0x0000000077777777,
    608   0x0000000055555555, 0x000000004ccccccf,
    609   0x000000002aaaaaad, 0x000000004cccccce,
    610   0x000000002aaaaaac, 0x000000004ccccccd,
    611   0x000000002aaaaaab, 0x000000004ccccccc,
    612   0x000000002aaaaaaa, 0x000000004ccccccb,
    613   0x000000002aaaaaa9, 0x0000000022222222,
    614   0x0000000000000000, 0x0000000000000000,
    615   0xffffffffddddddde, 0xffffffffcccd4ccc,
    616   0xffffffffaaab2aaa, 0xffffffffcccd4ccb,
    617   0xffffffffaaab2aa9, 0xffffffffcccd4cca,
    618   0xffffffffaaab2aa8, 0xffffffffcccd4cc9,
    619   0xffffffffaaab2aa7, 0xffffffffcccccd4c,
    620   0xffffffffaaaaab2a, 0xffffffffcccccd4b,
    621   0xffffffffaaaaab29, 0xffffffffcccccd4a,
    622   0xffffffffaaaaab28, 0xffffffffcccccd49,
    623   0xffffffffaaaaab27, 0xffffffffccccccec,
    624   0xffffffffaaaaaaca, 0xffffffffcccccccf,
    625   0xffffffffaaaaaaad, 0xffffffffccccccce,
    626   0xffffffffaaaaaaac, 0xffffffffcccccccd,
    627   0xffffffffcccccccd, 0x00000000ffff8000,
    628   0x00000000cccccccc, 0x00000000ffff7fff,
    629   0x00000000cccccccb, 0x00000000ffff7ffe,
    630   0x00000000ccccccca, 0x00000000ffff7fe0,
    631   0x00000000ccccccac, 0x00000000ffff7f83,
    632   0x00000000cccccc4f, 0x00000000ffff7f82,
    633   0x00000000cccccc4e, 0x00000000ffff7f81,
    634   0x00000000cccccc4d, 0x00000000ffff0003,
    635   0x00000000cccc4ccf, 0x00000000ffff0002,
    636   0x00000000cccc4cce, 0x00000000ffff0001,
    637   0x00000000cccc4ccd, 0x00000000cccc4ccd,
    638   0x0000000099999999, 0x00000000aaaa2aab,
    639   0x0000000077777777, 0x000000007fff8003,
    640   0x000000004ccccccf, 0x000000007fff8002,
    641   0x000000004cccccce, 0x000000007fff8001,
    642   0x000000004ccccccd, 0x000000007fff8000,
    643   0x000000004ccccccc, 0x000000007fff7fff,
    644   0x000000004ccccccb, 0x000000005554d556,
    645   0x0000000022222222, 0x000000003332b334,
    646   0x0000000000000000, 0x0000000000000000,
    647   0xffffffffcccd4ccc, 0xffffffffffffffff,
    648   0xffffffffcccd4ccb, 0xfffffffffffffffe,
    649   0xffffffffcccd4cca, 0xfffffffffffffffd,
    650   0xffffffffcccd4cc9, 0xffffffffffff8080,
    651   0xffffffffcccccd4c, 0xffffffffffff807f,
    652   0xffffffffcccccd4b, 0xffffffffffff807e,
    653   0xffffffffcccccd4a, 0xffffffffffff807d,
    654   0xffffffffcccccd49, 0xffffffffffff8020,
    655   0xffffffffccccccec, 0xffffffffffff8003,
    656   0xffffffffcccccccf, 0xffffffffffff8002,
    657   0xffffffffccccccce, 0xffffffffffff8001,
    658   0xffffffffffff8001, 0x00000000ffff8001,
    659   0x00000000ffff8000, 0x00000000ffff8000,
    660   0x00000000ffff7fff, 0x00000000ffff7fff,
    661   0x00000000ffff7ffe, 0x00000000ffff7fe1,
    662   0x00000000ffff7fe0, 0x00000000ffff7f84,
    663   0x00000000ffff7f83, 0x00000000ffff7f83,
    664   0x00000000ffff7f82, 0x00000000ffff7f82,
    665   0x00000000ffff7f81, 0x00000000ffff0004,
    666   0x00000000ffff0003, 0x00000000ffff0003,
    667   0x00000000ffff0002, 0x00000000ffff0002,
    668   0x00000000ffff0001, 0x00000000cccc4cce,
    669   0x00000000cccc4ccd, 0x00000000aaaa2aac,
    670   0x00000000aaaa2aab, 0x000000007fff8004,
    671   0x000000007fff8003, 0x000000007fff8003,
    672   0x000000007fff8002, 0x000000007fff8002,
    673   0x000000007fff8001, 0x000000007fff8001,
    674   0x000000007fff8000, 0x000000007fff8000,
    675   0x000000007fff7fff, 0x000000005554d557,
    676   0x000000005554d556, 0x000000003332b335,
    677   0x000000003332b334, 0x0000000000000001,
    678   0x0000000000000000, 0x0000000000000000,
    679   0xffffffffffffffff, 0xffffffffffffffff,
    680   0xfffffffffffffffe, 0xfffffffffffffffe,
    681   0xfffffffffffffffd, 0xffffffffffff8081,
    682   0xffffffffffff8080, 0xffffffffffff8080,
    683   0xffffffffffff807f, 0xffffffffffff807f,
    684   0xffffffffffff807e, 0xffffffffffff807e,
    685   0xffffffffffff807d, 0xffffffffffff8021,
    686   0xffffffffffff8020, 0xffffffffffff8004,
    687   0xffffffffffff8003, 0xffffffffffff8003,
    688   0xffffffffffff8002, 0xffffffffffff8002,
    689   0xffffffffffff8002, 0x00000000ffff8002,
    690   0x00000000ffff8001, 0x00000000ffff8001,
    691   0x00000000ffff8000, 0x00000000ffff8000,
    692   0x00000000ffff7fff, 0x00000000ffff7fe2,
    693   0x00000000ffff7fe1, 0x00000000ffff7f85,
    694   0x00000000ffff7f84, 0x00000000ffff7f84,
    695   0x00000000ffff7f83, 0x00000000ffff7f83,
    696   0x00000000ffff7f82, 0x00000000ffff0005,
    697   0x00000000ffff0004, 0x00000000ffff0004,
    698   0x00000000ffff0003, 0x00000000ffff0003,
    699   0x00000000ffff0002, 0x00000000cccc4ccf,
    700   0x00000000cccc4cce, 0x00000000aaaa2aad,
    701   0x00000000aaaa2aac, 0x000000007fff8005,
    702   0x000000007fff8004, 0x000000007fff8004,
    703   0x000000007fff8003, 0x000000007fff8003,
    704   0x000000007fff8002, 0x000000007fff8002,
    705   0x000000007fff8001, 0x000000007fff8001,
    706   0x000000007fff8000, 0x000000005554d558,
    707   0x000000005554d557, 0x000000003332b336,
    708   0x000000003332b335, 0x0000000000000002,
    709   0x0000000000000001, 0x0000000000000001,
    710   0x0000000000000000, 0x0000000000000000,
    711   0xffffffffffffffff, 0xffffffffffffffff,
    712   0xfffffffffffffffe, 0xffffffffffff8082,
    713   0xffffffffffff8081, 0xffffffffffff8081,
    714   0xffffffffffff8080, 0xffffffffffff8080,
    715   0xffffffffffff807f, 0xffffffffffff807f,
    716   0xffffffffffff807e, 0xffffffffffff8022,
    717   0xffffffffffff8021, 0xffffffffffff8005,
    718   0xffffffffffff8004, 0xffffffffffff8004,
    719   0xffffffffffff8003, 0xffffffffffff8003,
    720   0xffffffffffff8003, 0x00000000ffff8003,
    721   0x00000000ffff8002, 0x00000000ffff8002,
    722   0x00000000ffff8001, 0x00000000ffff8001,
    723   0x00000000ffff8000, 0x00000000ffff7fe3,
    724   0x00000000ffff7fe2, 0x00000000ffff7f86,
    725   0x00000000ffff7f85, 0x00000000ffff7f85,
    726   0x00000000ffff7f84, 0x00000000ffff7f84,
    727   0x00000000ffff7f83, 0x00000000ffff0006,
    728   0x00000000ffff0005, 0x00000000ffff0005,
    729   0x00000000ffff0004, 0x00000000ffff0004,
    730   0x00000000ffff0003, 0x00000000cccc4cd0,
    731   0x00000000cccc4ccf, 0x00000000aaaa2aae,
    732   0x00000000aaaa2aad, 0x000000007fff8006,
    733   0x000000007fff8005, 0x000000007fff8005,
    734   0x000000007fff8004, 0x000000007fff8004,
    735   0x000000007fff8003, 0x000000007fff8003,
    736   0x000000007fff8002, 0x000000007fff8002,
    737   0x000000007fff8001, 0x000000005554d559,
    738   0x000000005554d558, 0x000000003332b337,
    739   0x000000003332b336, 0x0000000000000003,
    740   0x0000000000000002, 0x0000000000000002,
    741   0x0000000000000001, 0x0000000000000001,
    742   0x0000000000000000, 0x0000000000000000,
    743   0xffffffffffffffff, 0xffffffffffff8083,
    744   0xffffffffffff8082, 0xffffffffffff8082,
    745   0xffffffffffff8081, 0xffffffffffff8081,
    746   0xffffffffffff8080, 0xffffffffffff8080,
    747   0xffffffffffff807f, 0xffffffffffff8023,
    748   0xffffffffffff8022, 0xffffffffffff8006,
    749   0xffffffffffff8005, 0xffffffffffff8005,
    750   0xffffffffffff8004, 0xffffffffffff8004,
    751   0xffffffffffff8004, 0x00000000ffffff80,
    752   0x00000000ffff8003, 0x00000000ffffff7f,
    753   0x00000000ffff8002, 0x00000000ffffff7e,
    754   0x00000000ffff8001, 0x00000000ffffff60,
    755   0x00000000ffff7fe3, 0x00000000ffffff03,
    756   0x00000000ffff7f86, 0x00000000ffffff02,
    757   0x00000000ffff7f85, 0x00000000ffffff01,
    758   0x00000000ffff7f84, 0x00000000ffff7f83,
    759   0x00000000ffff0006, 0x00000000ffff7f82,
    760   0x00000000ffff0005, 0x00000000ffff7f81,
    761   0x00000000ffff0004, 0x00000000cccccc4d,
    762   0x00000000cccc4cd0, 0x00000000aaaaaa2b,
    763   0x00000000aaaa2aae, 0x000000007fffff83,
    764   0x000000007fff8006, 0x000000007fffff82,
    765   0x000000007fff8005, 0x000000007fffff81,
    766   0x000000007fff8004, 0x000000007fffff80,
    767   0x000000007fff8003, 0x000000007fffff7f,
    768   0x000000007fff8002, 0x00000000555554d6,
    769   0x000000005554d559, 0x00000000333332b4,
    770   0x000000003332b337, 0x0000000000007f80,
    771   0x0000000000000003, 0x0000000000007f7f,
    772   0x0000000000000002, 0x0000000000007f7e,
    773   0x0000000000000001, 0x0000000000007f7d,
    774   0x0000000000000000, 0x0000000000000000,
    775   0xffffffffffff8083, 0xffffffffffffffff,
    776   0xffffffffffff8082, 0xfffffffffffffffe,
    777   0xffffffffffff8081, 0xfffffffffffffffd,
    778   0xffffffffffff8080, 0xffffffffffffffa0,
    779   0xffffffffffff8023, 0xffffffffffffff83,
    780   0xffffffffffff8006, 0xffffffffffffff82,
    781   0xffffffffffff8005, 0xffffffffffffff81,
    782   0xffffffffffffff81, 0x00000000ffffff81,
    783   0x00000000ffffff80, 0x00000000ffffff80,
    784   0x00000000ffffff7f, 0x00000000ffffff7f,
    785   0x00000000ffffff7e, 0x00000000ffffff61,
    786   0x00000000ffffff60, 0x00000000ffffff04,
    787   0x00000000ffffff03, 0x00000000ffffff03,
    788   0x00000000ffffff02, 0x00000000ffffff02,
    789   0x00000000ffffff01, 0x00000000ffff7f84,
    790   0x00000000ffff7f83, 0x00000000ffff7f83,
    791   0x00000000ffff7f82, 0x00000000ffff7f82,
    792   0x00000000ffff7f81, 0x00000000cccccc4e,
    793   0x00000000cccccc4d, 0x00000000aaaaaa2c,
    794   0x00000000aaaaaa2b, 0x000000007fffff84,
    795   0x000000007fffff83, 0x000000007fffff83,
    796   0x000000007fffff82, 0x000000007fffff82,
    797   0x000000007fffff81, 0x000000007fffff81,
    798   0x000000007fffff80, 0x000000007fffff80,
    799   0x000000007fffff7f, 0x00000000555554d7,
    800   0x00000000555554d6, 0x00000000333332b5,
    801   0x00000000333332b4, 0x0000000000007f81,
    802   0x0000000000007f80, 0x0000000000007f80,
    803   0x0000000000007f7f, 0x0000000000007f7f,
    804   0x0000000000007f7e, 0x0000000000007f7e,
    805   0x0000000000007f7d, 0x0000000000000001,
    806   0x0000000000000000, 0x0000000000000000,
    807   0xffffffffffffffff, 0xffffffffffffffff,
    808   0xfffffffffffffffe, 0xfffffffffffffffe,
    809   0xfffffffffffffffd, 0xffffffffffffffa1,
    810   0xffffffffffffffa0, 0xffffffffffffff84,
    811   0xffffffffffffff83, 0xffffffffffffff83,
    812   0xffffffffffffff82, 0xffffffffffffff82,
    813   0xffffffffffffff82, 0x00000000ffffff82,
    814   0x00000000ffffff81, 0x00000000ffffff81,
    815   0x00000000ffffff80, 0x00000000ffffff80,
    816   0x00000000ffffff7f, 0x00000000ffffff62,
    817   0x00000000ffffff61, 0x00000000ffffff05,
    818   0x00000000ffffff04, 0x00000000ffffff04,
    819   0x00000000ffffff03, 0x00000000ffffff03,
    820   0x00000000ffffff02, 0x00000000ffff7f85,
    821   0x00000000ffff7f84, 0x00000000ffff7f84,
    822   0x00000000ffff7f83, 0x00000000ffff7f83,
    823   0x00000000ffff7f82, 0x00000000cccccc4f,
    824   0x00000000cccccc4e, 0x00000000aaaaaa2d,
    825   0x00000000aaaaaa2c, 0x000000007fffff85,
    826   0x000000007fffff84, 0x000000007fffff84,
    827   0x000000007fffff83, 0x000000007fffff83,
    828   0x000000007fffff82, 0x000000007fffff82,
    829   0x000000007fffff81, 0x000000007fffff81,
    830   0x000000007fffff80, 0x00000000555554d8,
    831   0x00000000555554d7, 0x00000000333332b6,
    832   0x00000000333332b5, 0x0000000000007f82,
    833   0x0000000000007f81, 0x0000000000007f81,
    834   0x0000000000007f80, 0x0000000000007f80,
    835   0x0000000000007f7f, 0x0000000000007f7f,
    836   0x0000000000007f7e, 0x0000000000000002,
    837   0x0000000000000001, 0x0000000000000001,
    838   0x0000000000000000, 0x0000000000000000,
    839   0xffffffffffffffff, 0xffffffffffffffff,
    840   0xfffffffffffffffe, 0xffffffffffffffa2,
    841   0xffffffffffffffa1, 0xffffffffffffff85,
    842   0xffffffffffffff84, 0xffffffffffffff84,
    843   0xffffffffffffff83, 0xffffffffffffff83,
    844   0xffffffffffffff83, 0x00000000ffffff83,
    845   0x00000000ffffff82, 0x00000000ffffff82,
    846   0x00000000ffffff81, 0x00000000ffffff81,
    847   0x00000000ffffff80, 0x00000000ffffff63,
    848   0x00000000ffffff62, 0x00000000ffffff06,
    849   0x00000000ffffff05, 0x00000000ffffff05,
    850   0x00000000ffffff04, 0x00000000ffffff04,
    851   0x00000000ffffff03, 0x00000000ffff7f86,
    852   0x00000000ffff7f85, 0x00000000ffff7f85,
    853   0x00000000ffff7f84, 0x00000000ffff7f84,
    854   0x00000000ffff7f83, 0x00000000cccccc50,
    855   0x00000000cccccc4f, 0x00000000aaaaaa2e,
    856   0x00000000aaaaaa2d, 0x000000007fffff86,
    857   0x000000007fffff85, 0x000000007fffff85,
    858   0x000000007fffff84, 0x000000007fffff84,
    859   0x000000007fffff83, 0x000000007fffff83,
    860   0x000000007fffff82, 0x000000007fffff82,
    861   0x000000007fffff81, 0x00000000555554d9,
    862   0x00000000555554d8, 0x00000000333332b7,
    863   0x00000000333332b6, 0x0000000000007f83,
    864   0x0000000000007f82, 0x0000000000007f82,
    865   0x0000000000007f81, 0x0000000000007f81,
    866   0x0000000000007f80, 0x0000000000007f80,
    867   0x0000000000007f7f, 0x0000000000000003,
    868   0x0000000000000002, 0x0000000000000002,
    869   0x0000000000000001, 0x0000000000000001,
    870   0x0000000000000000, 0x0000000000000000,
    871   0xffffffffffffffff, 0xffffffffffffffa3,
    872   0xffffffffffffffa2, 0xffffffffffffff86,
    873   0xffffffffffffff85, 0xffffffffffffff85,
    874   0xffffffffffffff84, 0xffffffffffffff84,
    875   0xffffffffffffff84, 0x00000000ffffffe0,
    876   0x00000000ffffff83, 0x00000000ffffffdf,
    877   0x00000000ffffff82, 0x00000000ffffffde,
    878   0x00000000ffffff81, 0x00000000ffffffc0,
    879   0x00000000ffffff63, 0x00000000ffffff63,
    880   0x00000000ffffff06, 0x00000000ffffff62,
    881   0x00000000ffffff05, 0x00000000ffffff61,
    882   0x00000000ffffff04, 0x00000000ffff7fe3,
    883   0x00000000ffff7f86, 0x00000000ffff7fe2,
    884   0x00000000ffff7f85, 0x00000000ffff7fe1,
    885   0x00000000ffff7f84, 0x00000000ccccccad,
    886   0x00000000cccccc50, 0x00000000aaaaaa8b,
    887   0x00000000aaaaaa2e, 0x000000007fffffe3,
    888   0x000000007fffff86, 0x000000007fffffe2,
    889   0x000000007fffff85, 0x000000007fffffe1,
    890   0x000000007fffff84, 0x000000007fffffe0,
    891   0x000000007fffff83, 0x000000007fffffdf,
    892   0x000000007fffff82, 0x0000000055555536,
    893   0x00000000555554d9, 0x0000000033333314,
    894   0x00000000333332b7, 0x0000000000007fe0,
    895   0x0000000000007f83, 0x0000000000007fdf,
    896   0x0000000000007f82, 0x0000000000007fde,
    897   0x0000000000007f81, 0x0000000000007fdd,
    898   0x0000000000007f80, 0x0000000000000060,
    899   0x0000000000000003, 0x000000000000005f,
    900   0x0000000000000002, 0x000000000000005e,
    901   0x0000000000000001, 0x000000000000005d,
    902   0x0000000000000000, 0x0000000000000000,
    903   0xffffffffffffffa3, 0xffffffffffffffe3,
    904   0xffffffffffffff86, 0xffffffffffffffe2,
    905   0xffffffffffffff85, 0xffffffffffffffe1,
    906   0xffffffffffffffe1, 0x00000000fffffffd,
    907   0x00000000ffffffe0, 0x00000000fffffffc,
    908   0x00000000ffffffdf, 0x00000000fffffffb,
    909   0x00000000ffffffde, 0x00000000ffffffdd,
    910   0x00000000ffffffc0, 0x00000000ffffff80,
    911   0x00000000ffffff63, 0x00000000ffffff7f,
    912   0x00000000ffffff62, 0x00000000ffffff7e,
    913   0x00000000ffffff61, 0x00000000ffff8000,
    914   0x00000000ffff7fe3, 0x00000000ffff7fff,
    915   0x00000000ffff7fe2, 0x00000000ffff7ffe,
    916   0x00000000ffff7fe1, 0x00000000ccccccca,
    917   0x00000000ccccccad, 0x00000000aaaaaaa8,
    918   0x00000000aaaaaa8b, 0x0000000080000000,
    919   0x000000007fffffe3, 0x000000007fffffff,
    920   0x000000007fffffe2, 0x000000007ffffffe,
    921   0x000000007fffffe1, 0x000000007ffffffd,
    922   0x000000007fffffe0, 0x000000007ffffffc,
    923   0x000000007fffffdf, 0x0000000055555553,
    924   0x0000000055555536, 0x0000000033333331,
    925   0x0000000033333314, 0x0000000000007ffd,
    926   0x0000000000007fe0, 0x0000000000007ffc,
    927   0x0000000000007fdf, 0x0000000000007ffb,
    928   0x0000000000007fde, 0x0000000000007ffa,
    929   0x0000000000007fdd, 0x000000000000007d,
    930   0x0000000000000060, 0x000000000000007c,
    931   0x000000000000005f, 0x000000000000007b,
    932   0x000000000000005e, 0x000000000000007a,
    933   0x000000000000005d, 0x000000000000001d,
    934   0x0000000000000000, 0x0000000000000000,
    935   0xffffffffffffffe3, 0xffffffffffffffff,
    936   0xffffffffffffffe2, 0xfffffffffffffffe,
    937   0xfffffffffffffffe, 0x00000000fffffffe,
    938   0x00000000fffffffd, 0x00000000fffffffd,
    939   0x00000000fffffffc, 0x00000000fffffffc,
    940   0x00000000fffffffb, 0x00000000ffffffde,
    941   0x00000000ffffffdd, 0x00000000ffffff81,
    942   0x00000000ffffff80, 0x00000000ffffff80,
    943   0x00000000ffffff7f, 0x00000000ffffff7f,
    944   0x00000000ffffff7e, 0x00000000ffff8001,
    945   0x00000000ffff8000, 0x00000000ffff8000,
    946   0x00000000ffff7fff, 0x00000000ffff7fff,
    947   0x00000000ffff7ffe, 0x00000000cccccccb,
    948   0x00000000ccccccca, 0x00000000aaaaaaa9,
    949   0x00000000aaaaaaa8, 0x0000000080000001,
    950   0x0000000080000000, 0x0000000080000000,
    951   0x000000007fffffff, 0x000000007fffffff,
    952   0x000000007ffffffe, 0x000000007ffffffe,
    953   0x000000007ffffffd, 0x000000007ffffffd,
    954   0x000000007ffffffc, 0x0000000055555554,
    955   0x0000000055555553, 0x0000000033333332,
    956   0x0000000033333331, 0x0000000000007ffe,
    957   0x0000000000007ffd, 0x0000000000007ffd,
    958   0x0000000000007ffc, 0x0000000000007ffc,
    959   0x0000000000007ffb, 0x0000000000007ffb,
    960   0x0000000000007ffa, 0x000000000000007e,
    961   0x000000000000007d, 0x000000000000007d,
    962   0x000000000000007c, 0x000000000000007c,
    963   0x000000000000007b, 0x000000000000007b,
    964   0x000000000000007a, 0x000000000000001e,
    965   0x000000000000001d, 0x0000000000000001,
    966   0x0000000000000000, 0x0000000000000000,
    967   0xffffffffffffffff, 0xffffffffffffffff,
    968   0xffffffffffffffff, 0x00000000ffffffff,
    969   0x00000000fffffffe, 0x00000000fffffffe,
    970   0x00000000fffffffd, 0x00000000fffffffd,
    971   0x00000000fffffffc, 0x00000000ffffffdf,
    972   0x00000000ffffffde, 0x00000000ffffff82,
    973   0x00000000ffffff81, 0x00000000ffffff81,
    974   0x00000000ffffff80, 0x00000000ffffff80,
    975   0x00000000ffffff7f, 0x00000000ffff8002,
    976   0x00000000ffff8001, 0x00000000ffff8001,
    977   0x00000000ffff8000, 0x00000000ffff8000,
    978   0x00000000ffff7fff, 0x00000000cccccccc,
    979   0x00000000cccccccb, 0x00000000aaaaaaaa,
    980   0x00000000aaaaaaa9, 0x0000000080000002,
    981   0x0000000080000001, 0x0000000080000001,
    982   0x0000000080000000, 0x0000000080000000,
    983   0x000000007fffffff, 0x000000007fffffff,
    984   0x000000007ffffffe, 0x000000007ffffffe,
    985   0x000000007ffffffd, 0x0000000055555555,
    986   0x0000000055555554, 0x0000000033333333,
    987   0x0000000033333332, 0x0000000000007fff,
    988   0x0000000000007ffe, 0x0000000000007ffe,
    989   0x0000000000007ffd, 0x0000000000007ffd,
    990   0x0000000000007ffc, 0x0000000000007ffc,
    991   0x0000000000007ffb, 0x000000000000007f,
    992   0x000000000000007e, 0x000000000000007e,
    993   0x000000000000007d, 0x000000000000007d,
    994   0x000000000000007c, 0x000000000000007c,
    995   0x000000000000007b, 0x000000000000001f,
    996   0x000000000000001e, 0x0000000000000002,
    997   0x0000000000000001, 0x0000000000000001,
    998   0x0000000000000000, 0x0000000000000000,
    999 };
   1000 const unsigned kExpectedCount_NEON_usubl2_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_USUBL2_2D_TRACE_A64_H_
   1003