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_SSUBL_2D_TRACE_A64_H_
     35 #define VIXL_SIM_SSUBL_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_ssubl_2D[] = {
     38   0x0000000000000000, 0x0000000000000000,
     39   0xffffffffffffff00, 0xffffffffff808200,
     40   0xffffffffff808100, 0x0000000000007f00,
     41   0x0000000000007e00, 0x0000000000007eff,
     42   0x0000000000007dff, 0x0000000000007efe,
     43   0x0000000000007dfe, 0x0000000000007ee0,
     44   0x0000000000007de0, 0x0000000000007e83,
     45   0x0000000000007d83, 0x0000000000007e82,
     46   0x0000000000007d82, 0x0000000000007e81,
     47   0x0000000000007d81, 0xffffffffffffff03,
     48   0xfffffffffffffe03, 0xffffffffffffff02,
     49   0xfffffffffffffe02, 0xffffffffffffff01,
     50   0xfffffffffffffe01, 0xffffffffcccd4bcd,
     51   0xffffffffcccd4acd, 0xffffffffaaab29ab,
     52   0xffffffffaaab28ab, 0xffffffff80007f03,
     53   0xffffffff80007e03, 0xffffffff80007f02,
     54   0xffffffff80007e02, 0xffffffff80007f01,
     55   0xffffffff80007e01, 0x0000000080007f00,
     56   0x0000000080007e00, 0x0000000080007eff,
     57   0x0000000080007dff, 0x000000005555d456,
     58   0x000000005555d356, 0x000000003333b234,
     59   0x000000003333b134, 0x000000000000ff00,
     60   0x000000000000fe00, 0x000000000000feff,
     61   0x000000000000fdff, 0x000000000000fefe,
     62   0x000000000000fdfe, 0x000000000000fefd,
     63   0x000000000000fdfd, 0x0000000000007f80,
     64   0x0000000000007e80, 0x0000000000007f7f,
     65   0x0000000000007e7f, 0x0000000000007f7e,
     66   0x0000000000007e7e, 0x0000000000007f7d,
     67   0x0000000000007e7d, 0x0000000000007f20,
     68   0x0000000000007e20, 0x0000000000007f03,
     69   0x0000000000007f03, 0x00000000007ffd02,
     70   0x0000000000007f02, 0x00000000007ffd01,
     71   0x0000000000007f01, 0x00000000007ffd00,
     72   0x0000000000007f00, 0x00000000007ffcff,
     73   0x0000000000007eff, 0x00000000007ffcfe,
     74   0x0000000000007efe, 0x00000000007ffce0,
     75   0x0000000000007ee0, 0x00000000007ffc83,
     76   0x0000000000007e83, 0x00000000007ffc82,
     77   0x0000000000007e82, 0x00000000007ffc81,
     78   0x0000000000007e81, 0x00000000007f7d03,
     79   0xffffffffffffff03, 0x00000000007f7d02,
     80   0xffffffffffffff02, 0x00000000007f7d01,
     81   0xffffffffffffff01, 0xffffffffcd4cc9cd,
     82   0xffffffffcccd4bcd, 0xffffffffab2aa7ab,
     83   0xffffffffaaab29ab, 0xffffffff807ffd03,
     84   0xffffffff80007f03, 0xffffffff807ffd02,
     85   0xffffffff80007f02, 0xffffffff807ffd01,
     86   0xffffffff80007f01, 0x00000000807ffd00,
     87   0x0000000080007f00, 0x00000000807ffcff,
     88   0x0000000080007eff, 0x0000000055d55256,
     89   0x000000005555d456, 0x0000000033b33034,
     90   0x000000003333b234, 0x0000000000807d00,
     91   0x000000000000ff00, 0x0000000000807cff,
     92   0x000000000000feff, 0x0000000000807cfe,
     93   0x000000000000fefe, 0x0000000000807cfd,
     94   0x000000000000fefd, 0x00000000007ffd80,
     95   0x0000000000007f80, 0x00000000007ffd7f,
     96   0x0000000000007f7f, 0x00000000007ffd7e,
     97   0x0000000000007f7e, 0x00000000007ffd7d,
     98   0x0000000000007f7d, 0x00000000007ffd20,
     99   0x0000000000007f20, 0x00000000007ffd03,
    100   0x00000000007ffd03, 0x0000000000000002,
    101   0x00000000007ffd02, 0x0000000000000001,
    102   0x00000000007ffd01, 0x0000000000000000,
    103   0x00000000007ffd00, 0xffffffffffffffff,
    104   0x00000000007ffcff, 0xfffffffffffffffe,
    105   0x00000000007ffcfe, 0xffffffffffffffe0,
    106   0x00000000007ffce0, 0xffffffffffffff83,
    107   0x00000000007ffc83, 0xffffffffffffff82,
    108   0x00000000007ffc82, 0xffffffffffffff81,
    109   0x00000000007ffc81, 0xffffffffffff8003,
    110   0x00000000007f7d03, 0xffffffffffff8002,
    111   0x00000000007f7d02, 0xffffffffffff8001,
    112   0x00000000007f7d01, 0xffffffffcccccccd,
    113   0xffffffffcd4cc9cd, 0xffffffffaaaaaaab,
    114   0xffffffffab2aa7ab, 0xffffffff80000003,
    115   0xffffffff807ffd03, 0xffffffff80000002,
    116   0xffffffff807ffd02, 0xffffffff80000001,
    117   0xffffffff807ffd01, 0x0000000080000000,
    118   0x00000000807ffd00, 0x000000007fffffff,
    119   0x00000000807ffcff, 0x0000000055555556,
    120   0x0000000055d55256, 0x0000000033333334,
    121   0x0000000033b33034, 0x0000000000008000,
    122   0x0000000000807d00, 0x0000000000007fff,
    123   0x0000000000807cff, 0x0000000000007ffe,
    124   0x0000000000807cfe, 0x0000000000007ffd,
    125   0x0000000000807cfd, 0x0000000000000080,
    126   0x00000000007ffd80, 0x000000000000007f,
    127   0x00000000007ffd7f, 0x000000000000007e,
    128   0x00000000007ffd7e, 0x000000000000007d,
    129   0x00000000007ffd7d, 0x0000000000000020,
    130   0x00000000007ffd20, 0x0000000000000003,
    131   0x0000000000000003, 0x0000000000000003,
    132   0x0000000000000002, 0x0000000000000002,
    133   0x0000000000000001, 0x0000000000000001,
    134   0x0000000000000000, 0x0000000000000000,
    135   0xffffffffffffffff, 0xffffffffffffffff,
    136   0xfffffffffffffffe, 0xffffffffffffffe1,
    137   0xffffffffffffffe0, 0xffffffffffffff84,
    138   0xffffffffffffff83, 0xffffffffffffff83,
    139   0xffffffffffffff82, 0xffffffffffffff82,
    140   0xffffffffffffff81, 0xffffffffffff8004,
    141   0xffffffffffff8003, 0xffffffffffff8003,
    142   0xffffffffffff8002, 0xffffffffffff8002,
    143   0xffffffffffff8001, 0xffffffffccccccce,
    144   0xffffffffcccccccd, 0xffffffffaaaaaaac,
    145   0xffffffffaaaaaaab, 0xffffffff80000004,
    146   0xffffffff80000003, 0xffffffff80000003,
    147   0xffffffff80000002, 0xffffffff80000002,
    148   0xffffffff80000001, 0x0000000080000001,
    149   0x0000000080000000, 0x0000000080000000,
    150   0x000000007fffffff, 0x0000000055555557,
    151   0x0000000055555556, 0x0000000033333335,
    152   0x0000000033333334, 0x0000000000008001,
    153   0x0000000000008000, 0x0000000000008000,
    154   0x0000000000007fff, 0x0000000000007fff,
    155   0x0000000000007ffe, 0x0000000000007ffe,
    156   0x0000000000007ffd, 0x0000000000000081,
    157   0x0000000000000080, 0x0000000000000080,
    158   0x000000000000007f, 0x000000000000007f,
    159   0x000000000000007e, 0x000000000000007e,
    160   0x000000000000007d, 0x0000000000000021,
    161   0x0000000000000020, 0x0000000000000004,
    162   0x0000000000000004, 0x0000000000000004,
    163   0x0000000000000003, 0x0000000000000003,
    164   0x0000000000000002, 0x0000000000000002,
    165   0x0000000000000001, 0x0000000000000001,
    166   0x0000000000000000, 0x0000000000000000,
    167   0xffffffffffffffff, 0xffffffffffffffe2,
    168   0xffffffffffffffe1, 0xffffffffffffff85,
    169   0xffffffffffffff84, 0xffffffffffffff84,
    170   0xffffffffffffff83, 0xffffffffffffff83,
    171   0xffffffffffffff82, 0xffffffffffff8005,
    172   0xffffffffffff8004, 0xffffffffffff8004,
    173   0xffffffffffff8003, 0xffffffffffff8003,
    174   0xffffffffffff8002, 0xffffffffcccccccf,
    175   0xffffffffccccccce, 0xffffffffaaaaaaad,
    176   0xffffffffaaaaaaac, 0xffffffff80000005,
    177   0xffffffff80000004, 0xffffffff80000004,
    178   0xffffffff80000003, 0xffffffff80000003,
    179   0xffffffff80000002, 0x0000000080000002,
    180   0x0000000080000001, 0x0000000080000001,
    181   0x0000000080000000, 0x0000000055555558,
    182   0x0000000055555557, 0x0000000033333336,
    183   0x0000000033333335, 0x0000000000008002,
    184   0x0000000000008001, 0x0000000000008001,
    185   0x0000000000008000, 0x0000000000008000,
    186   0x0000000000007fff, 0x0000000000007fff,
    187   0x0000000000007ffe, 0x0000000000000082,
    188   0x0000000000000081, 0x0000000000000081,
    189   0x0000000000000080, 0x0000000000000080,
    190   0x000000000000007f, 0x000000000000007f,
    191   0x000000000000007e, 0x0000000000000022,
    192   0x0000000000000021, 0x0000000000000005,
    193   0x0000000000000005, 0x0000000000000022,
    194   0x0000000000000004, 0x0000000000000021,
    195   0x0000000000000003, 0x0000000000000020,
    196   0x0000000000000002, 0x000000000000001f,
    197   0x0000000000000001, 0x000000000000001e,
    198   0x0000000000000000, 0x0000000000000000,
    199   0xffffffffffffffe2, 0xffffffffffffffa3,
    200   0xffffffffffffff85, 0xffffffffffffffa2,
    201   0xffffffffffffff84, 0xffffffffffffffa1,
    202   0xffffffffffffff83, 0xffffffffffff8023,
    203   0xffffffffffff8005, 0xffffffffffff8022,
    204   0xffffffffffff8004, 0xffffffffffff8021,
    205   0xffffffffffff8003, 0xffffffffcccccced,
    206   0xffffffffcccccccf, 0xffffffffaaaaaacb,
    207   0xffffffffaaaaaaad, 0xffffffff80000023,
    208   0xffffffff80000005, 0xffffffff80000022,
    209   0xffffffff80000004, 0xffffffff80000021,
    210   0xffffffff80000003, 0x0000000080000020,
    211   0x0000000080000002, 0x000000008000001f,
    212   0x0000000080000001, 0x0000000055555576,
    213   0x0000000055555558, 0x0000000033333354,
    214   0x0000000033333336, 0x0000000000008020,
    215   0x0000000000008002, 0x000000000000801f,
    216   0x0000000000008001, 0x000000000000801e,
    217   0x0000000000008000, 0x000000000000801d,
    218   0x0000000000007fff, 0x00000000000000a0,
    219   0x0000000000000082, 0x000000000000009f,
    220   0x0000000000000081, 0x000000000000009e,
    221   0x0000000000000080, 0x000000000000009d,
    222   0x000000000000007f, 0x0000000000000040,
    223   0x0000000000000022, 0x0000000000000023,
    224   0x0000000000000023, 0x000000000000007f,
    225   0x0000000000000022, 0x000000000000007e,
    226   0x0000000000000021, 0x000000000000007d,
    227   0x0000000000000020, 0x000000000000007c,
    228   0x000000000000001f, 0x000000000000007b,
    229   0x000000000000001e, 0x000000000000005d,
    230   0x0000000000000000, 0x0000000000000000,
    231   0xffffffffffffffa3, 0xffffffffffffffff,
    232   0xffffffffffffffa2, 0xfffffffffffffffe,
    233   0xffffffffffffffa1, 0xffffffffffff8080,
    234   0xffffffffffff8023, 0xffffffffffff807f,
    235   0xffffffffffff8022, 0xffffffffffff807e,
    236   0xffffffffffff8021, 0xffffffffcccccd4a,
    237   0xffffffffcccccced, 0xffffffffaaaaab28,
    238   0xffffffffaaaaaacb, 0xffffffff80000080,
    239   0xffffffff80000023, 0xffffffff8000007f,
    240   0xffffffff80000022, 0xffffffff8000007e,
    241   0xffffffff80000021, 0x000000008000007d,
    242   0x0000000080000020, 0x000000008000007c,
    243   0x000000008000001f, 0x00000000555555d3,
    244   0x0000000055555576, 0x00000000333333b1,
    245   0x0000000033333354, 0x000000000000807d,
    246   0x0000000000008020, 0x000000000000807c,
    247   0x000000000000801f, 0x000000000000807b,
    248   0x000000000000801e, 0x000000000000807a,
    249   0x000000000000801d, 0x00000000000000fd,
    250   0x00000000000000a0, 0x00000000000000fc,
    251   0x000000000000009f, 0x00000000000000fb,
    252   0x000000000000009e, 0x00000000000000fa,
    253   0x000000000000009d, 0x000000000000009d,
    254   0x0000000000000040, 0x0000000000000080,
    255   0x0000000000000080, 0x0000000000000080,
    256   0x000000000000007f, 0x000000000000007f,
    257   0x000000000000007e, 0x000000000000007e,
    258   0x000000000000007d, 0x000000000000007d,
    259   0x000000000000007c, 0x000000000000007c,
    260   0x000000000000007b, 0x000000000000005e,
    261   0x000000000000005d, 0x0000000000000001,
    262   0x0000000000000000, 0x0000000000000000,
    263   0xffffffffffffffff, 0xffffffffffffffff,
    264   0xfffffffffffffffe, 0xffffffffffff8081,
    265   0xffffffffffff8080, 0xffffffffffff8080,
    266   0xffffffffffff807f, 0xffffffffffff807f,
    267   0xffffffffffff807e, 0xffffffffcccccd4b,
    268   0xffffffffcccccd4a, 0xffffffffaaaaab29,
    269   0xffffffffaaaaab28, 0xffffffff80000081,
    270   0xffffffff80000080, 0xffffffff80000080,
    271   0xffffffff8000007f, 0xffffffff8000007f,
    272   0xffffffff8000007e, 0x000000008000007e,
    273   0x000000008000007d, 0x000000008000007d,
    274   0x000000008000007c, 0x00000000555555d4,
    275   0x00000000555555d3, 0x00000000333333b2,
    276   0x00000000333333b1, 0x000000000000807e,
    277   0x000000000000807d, 0x000000000000807d,
    278   0x000000000000807c, 0x000000000000807c,
    279   0x000000000000807b, 0x000000000000807b,
    280   0x000000000000807a, 0x00000000000000fe,
    281   0x00000000000000fd, 0x00000000000000fd,
    282   0x00000000000000fc, 0x00000000000000fc,
    283   0x00000000000000fb, 0x00000000000000fb,
    284   0x00000000000000fa, 0x000000000000009e,
    285   0x000000000000009d, 0x0000000000000081,
    286   0x0000000000000081, 0x0000000000000081,
    287   0x0000000000000080, 0x0000000000000080,
    288   0x000000000000007f, 0x000000000000007f,
    289   0x000000000000007e, 0x000000000000007e,
    290   0x000000000000007d, 0x000000000000007d,
    291   0x000000000000007c, 0x000000000000005f,
    292   0x000000000000005e, 0x0000000000000002,
    293   0x0000000000000001, 0x0000000000000001,
    294   0x0000000000000000, 0x0000000000000000,
    295   0xffffffffffffffff, 0xffffffffffff8082,
    296   0xffffffffffff8081, 0xffffffffffff8081,
    297   0xffffffffffff8080, 0xffffffffffff8080,
    298   0xffffffffffff807f, 0xffffffffcccccd4c,
    299   0xffffffffcccccd4b, 0xffffffffaaaaab2a,
    300   0xffffffffaaaaab29, 0xffffffff80000082,
    301   0xffffffff80000081, 0xffffffff80000081,
    302   0xffffffff80000080, 0xffffffff80000080,
    303   0xffffffff8000007f, 0x000000008000007f,
    304   0x000000008000007e, 0x000000008000007e,
    305   0x000000008000007d, 0x00000000555555d5,
    306   0x00000000555555d4, 0x00000000333333b3,
    307   0x00000000333333b2, 0x000000000000807f,
    308   0x000000000000807e, 0x000000000000807e,
    309   0x000000000000807d, 0x000000000000807d,
    310   0x000000000000807c, 0x000000000000807c,
    311   0x000000000000807b, 0x00000000000000ff,
    312   0x00000000000000fe, 0x00000000000000fe,
    313   0x00000000000000fd, 0x00000000000000fd,
    314   0x00000000000000fc, 0x00000000000000fc,
    315   0x00000000000000fb, 0x000000000000009f,
    316   0x000000000000009e, 0x0000000000000082,
    317   0x0000000000000082, 0x0000000000007fff,
    318   0x0000000000000081, 0x0000000000007ffe,
    319   0x0000000000000080, 0x0000000000007ffd,
    320   0x000000000000007f, 0x0000000000007ffc,
    321   0x000000000000007e, 0x0000000000007ffb,
    322   0x000000000000007d, 0x0000000000007fdd,
    323   0x000000000000005f, 0x0000000000007f80,
    324   0x0000000000000002, 0x0000000000007f7f,
    325   0x0000000000000001, 0x0000000000007f7e,
    326   0x0000000000000000, 0x0000000000000000,
    327   0xffffffffffff8082, 0xffffffffffffffff,
    328   0xffffffffffff8081, 0xfffffffffffffffe,
    329   0xffffffffffff8080, 0xffffffffcccd4cca,
    330   0xffffffffcccccd4c, 0xffffffffaaab2aa8,
    331   0xffffffffaaaaab2a, 0xffffffff80008000,
    332   0xffffffff80000082, 0xffffffff80007fff,
    333   0xffffffff80000081, 0xffffffff80007ffe,
    334   0xffffffff80000080, 0x0000000080007ffd,
    335   0x000000008000007f, 0x0000000080007ffc,
    336   0x000000008000007e, 0x000000005555d553,
    337   0x00000000555555d5, 0x000000003333b331,
    338   0x00000000333333b3, 0x000000000000fffd,
    339   0x000000000000807f, 0x000000000000fffc,
    340   0x000000000000807e, 0x000000000000fffb,
    341   0x000000000000807d, 0x000000000000fffa,
    342   0x000000000000807c, 0x000000000000807d,
    343   0x00000000000000ff, 0x000000000000807c,
    344   0x00000000000000fe, 0x000000000000807b,
    345   0x00000000000000fd, 0x000000000000807a,
    346   0x00000000000000fc, 0x000000000000801d,
    347   0x000000000000009f, 0x0000000000008000,
    348   0x0000000000008000, 0x0000000000008000,
    349   0x0000000000007fff, 0x0000000000007fff,
    350   0x0000000000007ffe, 0x0000000000007ffe,
    351   0x0000000000007ffd, 0x0000000000007ffd,
    352   0x0000000000007ffc, 0x0000000000007ffc,
    353   0x0000000000007ffb, 0x0000000000007fde,
    354   0x0000000000007fdd, 0x0000000000007f81,
    355   0x0000000000007f80, 0x0000000000007f80,
    356   0x0000000000007f7f, 0x0000000000007f7f,
    357   0x0000000000007f7e, 0x0000000000000001,
    358   0x0000000000000000, 0x0000000000000000,
    359   0xffffffffffffffff, 0xffffffffffffffff,
    360   0xfffffffffffffffe, 0xffffffffcccd4ccb,
    361   0xffffffffcccd4cca, 0xffffffffaaab2aa9,
    362   0xffffffffaaab2aa8, 0xffffffff80008001,
    363   0xffffffff80008000, 0xffffffff80008000,
    364   0xffffffff80007fff, 0xffffffff80007fff,
    365   0xffffffff80007ffe, 0x0000000080007ffe,
    366   0x0000000080007ffd, 0x0000000080007ffd,
    367   0x0000000080007ffc, 0x000000005555d554,
    368   0x000000005555d553, 0x000000003333b332,
    369   0x000000003333b331, 0x000000000000fffe,
    370   0x000000000000fffd, 0x000000000000fffd,
    371   0x000000000000fffc, 0x000000000000fffc,
    372   0x000000000000fffb, 0x000000000000fffb,
    373   0x000000000000fffa, 0x000000000000807e,
    374   0x000000000000807d, 0x000000000000807d,
    375   0x000000000000807c, 0x000000000000807c,
    376   0x000000000000807b, 0x000000000000807b,
    377   0x000000000000807a, 0x000000000000801e,
    378   0x000000000000801d, 0x0000000000008001,
    379   0x0000000000008001, 0x0000000000008001,
    380   0x0000000000008000, 0x0000000000008000,
    381   0x0000000000007fff, 0x0000000000007fff,
    382   0x0000000000007ffe, 0x0000000000007ffe,
    383   0x0000000000007ffd, 0x0000000000007ffd,
    384   0x0000000000007ffc, 0x0000000000007fdf,
    385   0x0000000000007fde, 0x0000000000007f82,
    386   0x0000000000007f81, 0x0000000000007f81,
    387   0x0000000000007f80, 0x0000000000007f80,
    388   0x0000000000007f7f, 0x0000000000000002,
    389   0x0000000000000001, 0x0000000000000001,
    390   0x0000000000000000, 0x0000000000000000,
    391   0xffffffffffffffff, 0xffffffffcccd4ccc,
    392   0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
    393   0xffffffffaaab2aa9, 0xffffffff80008002,
    394   0xffffffff80008001, 0xffffffff80008001,
    395   0xffffffff80008000, 0xffffffff80008000,
    396   0xffffffff80007fff, 0x0000000080007fff,
    397   0x0000000080007ffe, 0x0000000080007ffe,
    398   0x0000000080007ffd, 0x000000005555d555,
    399   0x000000005555d554, 0x000000003333b333,
    400   0x000000003333b332, 0x000000000000ffff,
    401   0x000000000000fffe, 0x000000000000fffe,
    402   0x000000000000fffd, 0x000000000000fffd,
    403   0x000000000000fffc, 0x000000000000fffc,
    404   0x000000000000fffb, 0x000000000000807f,
    405   0x000000000000807e, 0x000000000000807e,
    406   0x000000000000807d, 0x000000000000807d,
    407   0x000000000000807c, 0x000000000000807c,
    408   0x000000000000807b, 0x000000000000801f,
    409   0x000000000000801e, 0x0000000000008002,
    410   0x0000000000008002, 0x0000000033333335,
    411   0x0000000000008001, 0x0000000033333334,
    412   0x0000000000008000, 0x0000000033333333,
    413   0x0000000000007fff, 0x0000000033333332,
    414   0x0000000000007ffe, 0x0000000033333331,
    415   0x0000000000007ffd, 0x0000000033333313,
    416   0x0000000000007fdf, 0x00000000333332b6,
    417   0x0000000000007f82, 0x00000000333332b5,
    418   0x0000000000007f81, 0x00000000333332b4,
    419   0x0000000000007f80, 0x000000003332b336,
    420   0x0000000000000002, 0x000000003332b335,
    421   0x0000000000000001, 0x000000003332b334,
    422   0x0000000000000000, 0x0000000000000000,
    423   0xffffffffcccd4ccc, 0xffffffffddddddde,
    424   0xffffffffaaab2aaa, 0xffffffffb3333336,
    425   0xffffffff80008002, 0xffffffffb3333335,
    426   0xffffffff80008001, 0xffffffffb3333334,
    427   0xffffffff80008000, 0x00000000b3333333,
    428   0x0000000080007fff, 0x00000000b3333332,
    429   0x0000000080007ffe, 0x0000000088888889,
    430   0x000000005555d555, 0x0000000066666667,
    431   0x000000003333b333, 0x000000003333b333,
    432   0x000000000000ffff, 0x000000003333b332,
    433   0x000000000000fffe, 0x000000003333b331,
    434   0x000000000000fffd, 0x000000003333b330,
    435   0x000000000000fffc, 0x00000000333333b3,
    436   0x000000000000807f, 0x00000000333333b2,
    437   0x000000000000807e, 0x00000000333333b1,
    438   0x000000000000807d, 0x00000000333333b0,
    439   0x000000000000807c, 0x0000000033333353,
    440   0x000000000000801f, 0x0000000033333336,
    441   0x0000000033333336, 0x0000000055555557,
    442   0x0000000033333335, 0x0000000055555556,
    443   0x0000000033333334, 0x0000000055555555,
    444   0x0000000033333333, 0x0000000055555554,
    445   0x0000000033333332, 0x0000000055555553,
    446   0x0000000033333331, 0x0000000055555535,
    447   0x0000000033333313, 0x00000000555554d8,
    448   0x00000000333332b6, 0x00000000555554d7,
    449   0x00000000333332b5, 0x00000000555554d6,
    450   0x00000000333332b4, 0x000000005554d558,
    451   0x000000003332b336, 0x000000005554d557,
    452   0x000000003332b335, 0x000000005554d556,
    453   0x000000003332b334, 0x0000000022222222,
    454   0x0000000000000000, 0x0000000000000000,
    455   0xffffffffddddddde, 0xffffffffd5555558,
    456   0xffffffffb3333336, 0xffffffffd5555557,
    457   0xffffffffb3333335, 0xffffffffd5555556,
    458   0xffffffffb3333334, 0x00000000d5555555,
    459   0x00000000b3333333, 0x00000000d5555554,
    460   0x00000000b3333332, 0x00000000aaaaaaab,
    461   0x0000000088888889, 0x0000000088888889,
    462   0x0000000066666667, 0x000000005555d555,
    463   0x000000003333b333, 0x000000005555d554,
    464   0x000000003333b332, 0x000000005555d553,
    465   0x000000003333b331, 0x000000005555d552,
    466   0x000000003333b330, 0x00000000555555d5,
    467   0x00000000333333b3, 0x00000000555555d4,
    468   0x00000000333333b2, 0x00000000555555d3,
    469   0x00000000333333b1, 0x00000000555555d2,
    470   0x00000000333333b0, 0x0000000055555575,
    471   0x0000000033333353, 0x0000000055555558,
    472   0x0000000055555558, 0x000000007fffffff,
    473   0x0000000055555557, 0x000000007ffffffe,
    474   0x0000000055555556, 0x000000007ffffffd,
    475   0x0000000055555555, 0x000000007ffffffc,
    476   0x0000000055555554, 0x000000007ffffffb,
    477   0x0000000055555553, 0x000000007fffffdd,
    478   0x0000000055555535, 0x000000007fffff80,
    479   0x00000000555554d8, 0x000000007fffff7f,
    480   0x00000000555554d7, 0x000000007fffff7e,
    481   0x00000000555554d6, 0x000000007fff8000,
    482   0x000000005554d558, 0x000000007fff7fff,
    483   0x000000005554d557, 0x000000007fff7ffe,
    484   0x000000005554d556, 0x000000004cccccca,
    485   0x0000000022222222, 0x000000002aaaaaa8,
    486   0x0000000000000000, 0x0000000000000000,
    487   0xffffffffd5555558, 0xffffffffffffffff,
    488   0xffffffffd5555557, 0xfffffffffffffffe,
    489   0xffffffffd5555556, 0x00000000fffffffd,
    490   0x00000000d5555555, 0x00000000fffffffc,
    491   0x00000000d5555554, 0x00000000d5555553,
    492   0x00000000aaaaaaab, 0x00000000b3333331,
    493   0x0000000088888889, 0x0000000080007ffd,
    494   0x000000005555d555, 0x0000000080007ffc,
    495   0x000000005555d554, 0x0000000080007ffb,
    496   0x000000005555d553, 0x0000000080007ffa,
    497   0x000000005555d552, 0x000000008000007d,
    498   0x00000000555555d5, 0x000000008000007c,
    499   0x00000000555555d4, 0x000000008000007b,
    500   0x00000000555555d3, 0x000000008000007a,
    501   0x00000000555555d2, 0x000000008000001d,
    502   0x0000000055555575, 0x0000000080000000,
    503   0x0000000080000000, 0x0000000080000000,
    504   0x000000007fffffff, 0x000000007fffffff,
    505   0x000000007ffffffe, 0x000000007ffffffe,
    506   0x000000007ffffffd, 0x000000007ffffffd,
    507   0x000000007ffffffc, 0x000000007ffffffc,
    508   0x000000007ffffffb, 0x000000007fffffde,
    509   0x000000007fffffdd, 0x000000007fffff81,
    510   0x000000007fffff80, 0x000000007fffff80,
    511   0x000000007fffff7f, 0x000000007fffff7f,
    512   0x000000007fffff7e, 0x000000007fff8001,
    513   0x000000007fff8000, 0x000000007fff8000,
    514   0x000000007fff7fff, 0x000000007fff7fff,
    515   0x000000007fff7ffe, 0x000000004ccccccb,
    516   0x000000004cccccca, 0x000000002aaaaaa9,
    517   0x000000002aaaaaa8, 0x0000000000000001,
    518   0x0000000000000000, 0x0000000000000000,
    519   0xffffffffffffffff, 0xffffffffffffffff,
    520   0xfffffffffffffffe, 0x00000000fffffffe,
    521   0x00000000fffffffd, 0x00000000fffffffd,
    522   0x00000000fffffffc, 0x00000000d5555554,
    523   0x00000000d5555553, 0x00000000b3333332,
    524   0x00000000b3333331, 0x0000000080007ffe,
    525   0x0000000080007ffd, 0x0000000080007ffd,
    526   0x0000000080007ffc, 0x0000000080007ffc,
    527   0x0000000080007ffb, 0x0000000080007ffb,
    528   0x0000000080007ffa, 0x000000008000007e,
    529   0x000000008000007d, 0x000000008000007d,
    530   0x000000008000007c, 0x000000008000007c,
    531   0x000000008000007b, 0x000000008000007b,
    532   0x000000008000007a, 0x000000008000001e,
    533   0x000000008000001d, 0x0000000080000001,
    534   0x0000000080000001, 0x0000000080000001,
    535   0x0000000080000000, 0x0000000080000000,
    536   0x000000007fffffff, 0x000000007fffffff,
    537   0x000000007ffffffe, 0x000000007ffffffe,
    538   0x000000007ffffffd, 0x000000007ffffffd,
    539   0x000000007ffffffc, 0x000000007fffffdf,
    540   0x000000007fffffde, 0x000000007fffff82,
    541   0x000000007fffff81, 0x000000007fffff81,
    542   0x000000007fffff80, 0x000000007fffff80,
    543   0x000000007fffff7f, 0x000000007fff8002,
    544   0x000000007fff8001, 0x000000007fff8001,
    545   0x000000007fff8000, 0x000000007fff8000,
    546   0x000000007fff7fff, 0x000000004ccccccc,
    547   0x000000004ccccccb, 0x000000002aaaaaaa,
    548   0x000000002aaaaaa9, 0x0000000000000002,
    549   0x0000000000000001, 0x0000000000000001,
    550   0x0000000000000000, 0x0000000000000000,
    551   0xffffffffffffffff, 0x00000000ffffffff,
    552   0x00000000fffffffe, 0x00000000fffffffe,
    553   0x00000000fffffffd, 0x00000000d5555555,
    554   0x00000000d5555554, 0x00000000b3333333,
    555   0x00000000b3333332, 0x0000000080007fff,
    556   0x0000000080007ffe, 0x0000000080007ffe,
    557   0x0000000080007ffd, 0x0000000080007ffd,
    558   0x0000000080007ffc, 0x0000000080007ffc,
    559   0x0000000080007ffb, 0x000000008000007f,
    560   0x000000008000007e, 0x000000008000007e,
    561   0x000000008000007d, 0x000000008000007d,
    562   0x000000008000007c, 0x000000008000007c,
    563   0x000000008000007b, 0x000000008000001f,
    564   0x000000008000001e, 0x0000000080000002,
    565   0x0000000080000002, 0xffffffff80000002,
    566   0x0000000080000001, 0xffffffff80000001,
    567   0x0000000080000000, 0xffffffff80000000,
    568   0x000000007fffffff, 0xffffffff7fffffff,
    569   0x000000007ffffffe, 0xffffffff7ffffffe,
    570   0x000000007ffffffd, 0xffffffff7fffffe0,
    571   0x000000007fffffdf, 0xffffffff7fffff83,
    572   0x000000007fffff82, 0xffffffff7fffff82,
    573   0x000000007fffff81, 0xffffffff7fffff81,
    574   0x000000007fffff80, 0xffffffff7fff8003,
    575   0x000000007fff8002, 0xffffffff7fff8002,
    576   0x000000007fff8001, 0xffffffff7fff8001,
    577   0x000000007fff8000, 0xffffffff4ccccccd,
    578   0x000000004ccccccc, 0xffffffff2aaaaaab,
    579   0x000000002aaaaaaa, 0xffffffff00000003,
    580   0x0000000000000002, 0xffffffff00000002,
    581   0x0000000000000001, 0xffffffff00000001,
    582   0x0000000000000000, 0x0000000000000000,
    583   0x00000000ffffffff, 0xffffffffffffffff,
    584   0x00000000fffffffe, 0xffffffffd5555556,
    585   0x00000000d5555555, 0xffffffffb3333334,
    586   0x00000000b3333333, 0xffffffff80008000,
    587   0x0000000080007fff, 0xffffffff80007fff,
    588   0x0000000080007ffe, 0xffffffff80007ffe,
    589   0x0000000080007ffd, 0xffffffff80007ffd,
    590   0x0000000080007ffc, 0xffffffff80000080,
    591   0x000000008000007f, 0xffffffff8000007f,
    592   0x000000008000007e, 0xffffffff8000007e,
    593   0x000000008000007d, 0xffffffff8000007d,
    594   0x000000008000007c, 0xffffffff80000020,
    595   0x000000008000001f, 0xffffffff80000003,
    596   0xffffffff80000003, 0xffffffff80000003,
    597   0xffffffff80000002, 0xffffffff80000002,
    598   0xffffffff80000001, 0xffffffff80000001,
    599   0xffffffff80000000, 0xffffffff80000000,
    600   0xffffffff7fffffff, 0xffffffff7fffffff,
    601   0xffffffff7ffffffe, 0xffffffff7fffffe1,
    602   0xffffffff7fffffe0, 0xffffffff7fffff84,
    603   0xffffffff7fffff83, 0xffffffff7fffff83,
    604   0xffffffff7fffff82, 0xffffffff7fffff82,
    605   0xffffffff7fffff81, 0xffffffff7fff8004,
    606   0xffffffff7fff8003, 0xffffffff7fff8003,
    607   0xffffffff7fff8002, 0xffffffff7fff8002,
    608   0xffffffff7fff8001, 0xffffffff4cccccce,
    609   0xffffffff4ccccccd, 0xffffffff2aaaaaac,
    610   0xffffffff2aaaaaab, 0xffffffff00000004,
    611   0xffffffff00000003, 0xffffffff00000003,
    612   0xffffffff00000002, 0xffffffff00000002,
    613   0xffffffff00000001, 0x0000000000000001,
    614   0x0000000000000000, 0x0000000000000000,
    615   0xffffffffffffffff, 0xffffffffd5555557,
    616   0xffffffffd5555556, 0xffffffffb3333335,
    617   0xffffffffb3333334, 0xffffffff80008001,
    618   0xffffffff80008000, 0xffffffff80008000,
    619   0xffffffff80007fff, 0xffffffff80007fff,
    620   0xffffffff80007ffe, 0xffffffff80007ffe,
    621   0xffffffff80007ffd, 0xffffffff80000081,
    622   0xffffffff80000080, 0xffffffff80000080,
    623   0xffffffff8000007f, 0xffffffff8000007f,
    624   0xffffffff8000007e, 0xffffffff8000007e,
    625   0xffffffff8000007d, 0xffffffff80000021,
    626   0xffffffff80000020, 0xffffffff80000004,
    627   0xffffffff80000004, 0xffffffffaaaaaaac,
    628   0xffffffff80000003, 0xffffffffaaaaaaab,
    629   0xffffffff80000002, 0xffffffffaaaaaaaa,
    630   0xffffffff80000001, 0xffffffffaaaaaaa9,
    631   0xffffffff80000000, 0xffffffffaaaaaaa8,
    632   0xffffffff7fffffff, 0xffffffffaaaaaa8a,
    633   0xffffffff7fffffe1, 0xffffffffaaaaaa2d,
    634   0xffffffff7fffff84, 0xffffffffaaaaaa2c,
    635   0xffffffff7fffff83, 0xffffffffaaaaaa2b,
    636   0xffffffff7fffff82, 0xffffffffaaaa2aad,
    637   0xffffffff7fff8004, 0xffffffffaaaa2aac,
    638   0xffffffff7fff8003, 0xffffffffaaaa2aab,
    639   0xffffffff7fff8002, 0xffffffff77777777,
    640   0xffffffff4cccccce, 0xffffffff55555555,
    641   0xffffffff2aaaaaac, 0xffffffff2aaaaaad,
    642   0xffffffff00000004, 0xffffffff2aaaaaac,
    643   0xffffffff00000003, 0xffffffff2aaaaaab,
    644   0xffffffff00000002, 0x000000002aaaaaaa,
    645   0x0000000000000001, 0x000000002aaaaaa9,
    646   0x0000000000000000, 0x0000000000000000,
    647   0xffffffffd5555557, 0xffffffffddddddde,
    648   0xffffffffb3333335, 0xffffffffaaab2aaa,
    649   0xffffffff80008001, 0xffffffffaaab2aa9,
    650   0xffffffff80008000, 0xffffffffaaab2aa8,
    651   0xffffffff80007fff, 0xffffffffaaab2aa7,
    652   0xffffffff80007ffe, 0xffffffffaaaaab2a,
    653   0xffffffff80000081, 0xffffffffaaaaab29,
    654   0xffffffff80000080, 0xffffffffaaaaab28,
    655   0xffffffff8000007f, 0xffffffffaaaaab27,
    656   0xffffffff8000007e, 0xffffffffaaaaaaca,
    657   0xffffffff80000021, 0xffffffffaaaaaaad,
    658   0xffffffffaaaaaaad, 0xffffffffccccccce,
    659   0xffffffffaaaaaaac, 0xffffffffcccccccd,
    660   0xffffffffaaaaaaab, 0xffffffffcccccccc,
    661   0xffffffffaaaaaaaa, 0xffffffffcccccccb,
    662   0xffffffffaaaaaaa9, 0xffffffffccccccca,
    663   0xffffffffaaaaaaa8, 0xffffffffccccccac,
    664   0xffffffffaaaaaa8a, 0xffffffffcccccc4f,
    665   0xffffffffaaaaaa2d, 0xffffffffcccccc4e,
    666   0xffffffffaaaaaa2c, 0xffffffffcccccc4d,
    667   0xffffffffaaaaaa2b, 0xffffffffcccc4ccf,
    668   0xffffffffaaaa2aad, 0xffffffffcccc4cce,
    669   0xffffffffaaaa2aac, 0xffffffffcccc4ccd,
    670   0xffffffffaaaa2aab, 0xffffffff99999999,
    671   0xffffffff77777777, 0xffffffff77777777,
    672   0xffffffff55555555, 0xffffffff4ccccccf,
    673   0xffffffff2aaaaaad, 0xffffffff4cccccce,
    674   0xffffffff2aaaaaac, 0xffffffff4ccccccd,
    675   0xffffffff2aaaaaab, 0x000000004ccccccc,
    676   0x000000002aaaaaaa, 0x000000004ccccccb,
    677   0x000000002aaaaaa9, 0x0000000022222222,
    678   0x0000000000000000, 0x0000000000000000,
    679   0xffffffffddddddde, 0xffffffffcccd4ccc,
    680   0xffffffffaaab2aaa, 0xffffffffcccd4ccb,
    681   0xffffffffaaab2aa9, 0xffffffffcccd4cca,
    682   0xffffffffaaab2aa8, 0xffffffffcccd4cc9,
    683   0xffffffffaaab2aa7, 0xffffffffcccccd4c,
    684   0xffffffffaaaaab2a, 0xffffffffcccccd4b,
    685   0xffffffffaaaaab29, 0xffffffffcccccd4a,
    686   0xffffffffaaaaab28, 0xffffffffcccccd49,
    687   0xffffffffaaaaab27, 0xffffffffccccccec,
    688   0xffffffffaaaaaaca, 0xffffffffcccccccf,
    689   0xffffffffcccccccf, 0xffffffffffff8002,
    690   0xffffffffccccccce, 0xffffffffffff8001,
    691   0xffffffffcccccccd, 0xffffffffffff8000,
    692   0xffffffffcccccccc, 0xffffffffffff7fff,
    693   0xffffffffcccccccb, 0xffffffffffff7ffe,
    694   0xffffffffccccccca, 0xffffffffffff7fe0,
    695   0xffffffffccccccac, 0xffffffffffff7f83,
    696   0xffffffffcccccc4f, 0xffffffffffff7f82,
    697   0xffffffffcccccc4e, 0xffffffffffff7f81,
    698   0xffffffffcccccc4d, 0xffffffffffff0003,
    699   0xffffffffcccc4ccf, 0xffffffffffff0002,
    700   0xffffffffcccc4cce, 0xffffffffffff0001,
    701   0xffffffffcccc4ccd, 0xffffffffcccc4ccd,
    702   0xffffffff99999999, 0xffffffffaaaa2aab,
    703   0xffffffff77777777, 0xffffffff7fff8003,
    704   0xffffffff4ccccccf, 0xffffffff7fff8002,
    705   0xffffffff4cccccce, 0xffffffff7fff8001,
    706   0xffffffff4ccccccd, 0x000000007fff8000,
    707   0x000000004ccccccc, 0x000000007fff7fff,
    708   0x000000004ccccccb, 0x000000005554d556,
    709   0x0000000022222222, 0x000000003332b334,
    710   0x0000000000000000, 0x0000000000000000,
    711   0xffffffffcccd4ccc, 0xffffffffffffffff,
    712   0xffffffffcccd4ccb, 0xfffffffffffffffe,
    713   0xffffffffcccd4cca, 0xfffffffffffffffd,
    714   0xffffffffcccd4cc9, 0xffffffffffff8080,
    715   0xffffffffcccccd4c, 0xffffffffffff807f,
    716   0xffffffffcccccd4b, 0xffffffffffff807e,
    717   0xffffffffcccccd4a, 0xffffffffffff807d,
    718   0xffffffffcccccd49, 0xffffffffffff8020,
    719   0xffffffffccccccec, 0xffffffffffff8003,
    720   0xffffffffffff8003, 0xffffffffffff8003,
    721   0xffffffffffff8002, 0xffffffffffff8002,
    722   0xffffffffffff8001, 0xffffffffffff8001,
    723   0xffffffffffff8000, 0xffffffffffff8000,
    724   0xffffffffffff7fff, 0xffffffffffff7fff,
    725   0xffffffffffff7ffe, 0xffffffffffff7fe1,
    726   0xffffffffffff7fe0, 0xffffffffffff7f84,
    727   0xffffffffffff7f83, 0xffffffffffff7f83,
    728   0xffffffffffff7f82, 0xffffffffffff7f82,
    729   0xffffffffffff7f81, 0xffffffffffff0004,
    730   0xffffffffffff0003, 0xffffffffffff0003,
    731   0xffffffffffff0002, 0xffffffffffff0002,
    732   0xffffffffffff0001, 0xffffffffcccc4cce,
    733   0xffffffffcccc4ccd, 0xffffffffaaaa2aac,
    734   0xffffffffaaaa2aab, 0xffffffff7fff8004,
    735   0xffffffff7fff8003, 0xffffffff7fff8003,
    736   0xffffffff7fff8002, 0xffffffff7fff8002,
    737   0xffffffff7fff8001, 0x000000007fff8001,
    738   0x000000007fff8000, 0x000000007fff8000,
    739   0x000000007fff7fff, 0x000000005554d557,
    740   0x000000005554d556, 0x000000003332b335,
    741   0x000000003332b334, 0x0000000000000001,
    742   0x0000000000000000, 0x0000000000000000,
    743   0xffffffffffffffff, 0xffffffffffffffff,
    744   0xfffffffffffffffe, 0xfffffffffffffffe,
    745   0xfffffffffffffffd, 0xffffffffffff8081,
    746   0xffffffffffff8080, 0xffffffffffff8080,
    747   0xffffffffffff807f, 0xffffffffffff807f,
    748   0xffffffffffff807e, 0xffffffffffff807e,
    749   0xffffffffffff807d, 0xffffffffffff8021,
    750   0xffffffffffff8020, 0xffffffffffff8004,
    751   0xffffffffffff8004, 0xffffffffffff8004,
    752   0xffffffffffff8003, 0xffffffffffff8003,
    753   0xffffffffffff8002, 0xffffffffffff8002,
    754   0xffffffffffff8001, 0xffffffffffff8001,
    755   0xffffffffffff8000, 0xffffffffffff8000,
    756   0xffffffffffff7fff, 0xffffffffffff7fe2,
    757   0xffffffffffff7fe1, 0xffffffffffff7f85,
    758   0xffffffffffff7f84, 0xffffffffffff7f84,
    759   0xffffffffffff7f83, 0xffffffffffff7f83,
    760   0xffffffffffff7f82, 0xffffffffffff0005,
    761   0xffffffffffff0004, 0xffffffffffff0004,
    762   0xffffffffffff0003, 0xffffffffffff0003,
    763   0xffffffffffff0002, 0xffffffffcccc4ccf,
    764   0xffffffffcccc4cce, 0xffffffffaaaa2aad,
    765   0xffffffffaaaa2aac, 0xffffffff7fff8005,
    766   0xffffffff7fff8004, 0xffffffff7fff8004,
    767   0xffffffff7fff8003, 0xffffffff7fff8003,
    768   0xffffffff7fff8002, 0x000000007fff8002,
    769   0x000000007fff8001, 0x000000007fff8001,
    770   0x000000007fff8000, 0x000000005554d558,
    771   0x000000005554d557, 0x000000003332b336,
    772   0x000000003332b335, 0x0000000000000002,
    773   0x0000000000000001, 0x0000000000000001,
    774   0x0000000000000000, 0x0000000000000000,
    775   0xffffffffffffffff, 0xffffffffffffffff,
    776   0xfffffffffffffffe, 0xffffffffffff8082,
    777   0xffffffffffff8081, 0xffffffffffff8081,
    778   0xffffffffffff8080, 0xffffffffffff8080,
    779   0xffffffffffff807f, 0xffffffffffff807f,
    780   0xffffffffffff807e, 0xffffffffffff8022,
    781   0xffffffffffff8021, 0xffffffffffff8005,
    782   0xffffffffffff8005, 0xffffffffffff8005,
    783   0xffffffffffff8004, 0xffffffffffff8004,
    784   0xffffffffffff8003, 0xffffffffffff8003,
    785   0xffffffffffff8002, 0xffffffffffff8002,
    786   0xffffffffffff8001, 0xffffffffffff8001,
    787   0xffffffffffff8000, 0xffffffffffff7fe3,
    788   0xffffffffffff7fe2, 0xffffffffffff7f86,
    789   0xffffffffffff7f85, 0xffffffffffff7f85,
    790   0xffffffffffff7f84, 0xffffffffffff7f84,
    791   0xffffffffffff7f83, 0xffffffffffff0006,
    792   0xffffffffffff0005, 0xffffffffffff0005,
    793   0xffffffffffff0004, 0xffffffffffff0004,
    794   0xffffffffffff0003, 0xffffffffcccc4cd0,
    795   0xffffffffcccc4ccf, 0xffffffffaaaa2aae,
    796   0xffffffffaaaa2aad, 0xffffffff7fff8006,
    797   0xffffffff7fff8005, 0xffffffff7fff8005,
    798   0xffffffff7fff8004, 0xffffffff7fff8004,
    799   0xffffffff7fff8003, 0x000000007fff8003,
    800   0x000000007fff8002, 0x000000007fff8002,
    801   0x000000007fff8001, 0x000000005554d559,
    802   0x000000005554d558, 0x000000003332b337,
    803   0x000000003332b336, 0x0000000000000003,
    804   0x0000000000000002, 0x0000000000000002,
    805   0x0000000000000001, 0x0000000000000001,
    806   0x0000000000000000, 0x0000000000000000,
    807   0xffffffffffffffff, 0xffffffffffff8083,
    808   0xffffffffffff8082, 0xffffffffffff8082,
    809   0xffffffffffff8081, 0xffffffffffff8081,
    810   0xffffffffffff8080, 0xffffffffffff8080,
    811   0xffffffffffff807f, 0xffffffffffff8023,
    812   0xffffffffffff8022, 0xffffffffffff8006,
    813   0xffffffffffff8006, 0xffffffffffffff82,
    814   0xffffffffffff8005, 0xffffffffffffff81,
    815   0xffffffffffff8004, 0xffffffffffffff80,
    816   0xffffffffffff8003, 0xffffffffffffff7f,
    817   0xffffffffffff8002, 0xffffffffffffff7e,
    818   0xffffffffffff8001, 0xffffffffffffff60,
    819   0xffffffffffff7fe3, 0xffffffffffffff03,
    820   0xffffffffffff7f86, 0xffffffffffffff02,
    821   0xffffffffffff7f85, 0xffffffffffffff01,
    822   0xffffffffffff7f84, 0xffffffffffff7f83,
    823   0xffffffffffff0006, 0xffffffffffff7f82,
    824   0xffffffffffff0005, 0xffffffffffff7f81,
    825   0xffffffffffff0004, 0xffffffffcccccc4d,
    826   0xffffffffcccc4cd0, 0xffffffffaaaaaa2b,
    827   0xffffffffaaaa2aae, 0xffffffff7fffff83,
    828   0xffffffff7fff8006, 0xffffffff7fffff82,
    829   0xffffffff7fff8005, 0xffffffff7fffff81,
    830   0xffffffff7fff8004, 0x000000007fffff80,
    831   0x000000007fff8003, 0x000000007fffff7f,
    832   0x000000007fff8002, 0x00000000555554d6,
    833   0x000000005554d559, 0x00000000333332b4,
    834   0x000000003332b337, 0x0000000000007f80,
    835   0x0000000000000003, 0x0000000000007f7f,
    836   0x0000000000000002, 0x0000000000007f7e,
    837   0x0000000000000001, 0x0000000000007f7d,
    838   0x0000000000000000, 0x0000000000000000,
    839   0xffffffffffff8083, 0xffffffffffffffff,
    840   0xffffffffffff8082, 0xfffffffffffffffe,
    841   0xffffffffffff8081, 0xfffffffffffffffd,
    842   0xffffffffffff8080, 0xffffffffffffffa0,
    843   0xffffffffffff8023, 0xffffffffffffff83,
    844   0xffffffffffffff83, 0xffffffffffffff83,
    845   0xffffffffffffff82, 0xffffffffffffff82,
    846   0xffffffffffffff81, 0xffffffffffffff81,
    847   0xffffffffffffff80, 0xffffffffffffff80,
    848   0xffffffffffffff7f, 0xffffffffffffff7f,
    849   0xffffffffffffff7e, 0xffffffffffffff61,
    850   0xffffffffffffff60, 0xffffffffffffff04,
    851   0xffffffffffffff03, 0xffffffffffffff03,
    852   0xffffffffffffff02, 0xffffffffffffff02,
    853   0xffffffffffffff01, 0xffffffffffff7f84,
    854   0xffffffffffff7f83, 0xffffffffffff7f83,
    855   0xffffffffffff7f82, 0xffffffffffff7f82,
    856   0xffffffffffff7f81, 0xffffffffcccccc4e,
    857   0xffffffffcccccc4d, 0xffffffffaaaaaa2c,
    858   0xffffffffaaaaaa2b, 0xffffffff7fffff84,
    859   0xffffffff7fffff83, 0xffffffff7fffff83,
    860   0xffffffff7fffff82, 0xffffffff7fffff82,
    861   0xffffffff7fffff81, 0x000000007fffff81,
    862   0x000000007fffff80, 0x000000007fffff80,
    863   0x000000007fffff7f, 0x00000000555554d7,
    864   0x00000000555554d6, 0x00000000333332b5,
    865   0x00000000333332b4, 0x0000000000007f81,
    866   0x0000000000007f80, 0x0000000000007f80,
    867   0x0000000000007f7f, 0x0000000000007f7f,
    868   0x0000000000007f7e, 0x0000000000007f7e,
    869   0x0000000000007f7d, 0x0000000000000001,
    870   0x0000000000000000, 0x0000000000000000,
    871   0xffffffffffffffff, 0xffffffffffffffff,
    872   0xfffffffffffffffe, 0xfffffffffffffffe,
    873   0xfffffffffffffffd, 0xffffffffffffffa1,
    874   0xffffffffffffffa0, 0xffffffffffffff84,
    875   0xffffffffffffff84, 0xffffffffffffff84,
    876   0xffffffffffffff83, 0xffffffffffffff83,
    877   0xffffffffffffff82, 0xffffffffffffff82,
    878   0xffffffffffffff81, 0xffffffffffffff81,
    879   0xffffffffffffff80, 0xffffffffffffff80,
    880   0xffffffffffffff7f, 0xffffffffffffff62,
    881   0xffffffffffffff61, 0xffffffffffffff05,
    882   0xffffffffffffff04, 0xffffffffffffff04,
    883   0xffffffffffffff03, 0xffffffffffffff03,
    884   0xffffffffffffff02, 0xffffffffffff7f85,
    885   0xffffffffffff7f84, 0xffffffffffff7f84,
    886   0xffffffffffff7f83, 0xffffffffffff7f83,
    887   0xffffffffffff7f82, 0xffffffffcccccc4f,
    888   0xffffffffcccccc4e, 0xffffffffaaaaaa2d,
    889   0xffffffffaaaaaa2c, 0xffffffff7fffff85,
    890   0xffffffff7fffff84, 0xffffffff7fffff84,
    891   0xffffffff7fffff83, 0xffffffff7fffff83,
    892   0xffffffff7fffff82, 0x000000007fffff82,
    893   0x000000007fffff81, 0x000000007fffff81,
    894   0x000000007fffff80, 0x00000000555554d8,
    895   0x00000000555554d7, 0x00000000333332b6,
    896   0x00000000333332b5, 0x0000000000007f82,
    897   0x0000000000007f81, 0x0000000000007f81,
    898   0x0000000000007f80, 0x0000000000007f80,
    899   0x0000000000007f7f, 0x0000000000007f7f,
    900   0x0000000000007f7e, 0x0000000000000002,
    901   0x0000000000000001, 0x0000000000000001,
    902   0x0000000000000000, 0x0000000000000000,
    903   0xffffffffffffffff, 0xffffffffffffffff,
    904   0xfffffffffffffffe, 0xffffffffffffffa2,
    905   0xffffffffffffffa1, 0xffffffffffffff85,
    906   0xffffffffffffff85, 0xffffffffffffff85,
    907   0xffffffffffffff84, 0xffffffffffffff84,
    908   0xffffffffffffff83, 0xffffffffffffff83,
    909   0xffffffffffffff82, 0xffffffffffffff82,
    910   0xffffffffffffff81, 0xffffffffffffff81,
    911   0xffffffffffffff80, 0xffffffffffffff63,
    912   0xffffffffffffff62, 0xffffffffffffff06,
    913   0xffffffffffffff05, 0xffffffffffffff05,
    914   0xffffffffffffff04, 0xffffffffffffff04,
    915   0xffffffffffffff03, 0xffffffffffff7f86,
    916   0xffffffffffff7f85, 0xffffffffffff7f85,
    917   0xffffffffffff7f84, 0xffffffffffff7f84,
    918   0xffffffffffff7f83, 0xffffffffcccccc50,
    919   0xffffffffcccccc4f, 0xffffffffaaaaaa2e,
    920   0xffffffffaaaaaa2d, 0xffffffff7fffff86,
    921   0xffffffff7fffff85, 0xffffffff7fffff85,
    922   0xffffffff7fffff84, 0xffffffff7fffff84,
    923   0xffffffff7fffff83, 0x000000007fffff83,
    924   0x000000007fffff82, 0x000000007fffff82,
    925   0x000000007fffff81, 0x00000000555554d9,
    926   0x00000000555554d8, 0x00000000333332b7,
    927   0x00000000333332b6, 0x0000000000007f83,
    928   0x0000000000007f82, 0x0000000000007f82,
    929   0x0000000000007f81, 0x0000000000007f81,
    930   0x0000000000007f80, 0x0000000000007f80,
    931   0x0000000000007f7f, 0x0000000000000003,
    932   0x0000000000000002, 0x0000000000000002,
    933   0x0000000000000001, 0x0000000000000001,
    934   0x0000000000000000, 0x0000000000000000,
    935   0xffffffffffffffff, 0xffffffffffffffa3,
    936   0xffffffffffffffa2, 0xffffffffffffff86,
    937   0xffffffffffffff86, 0xffffffffffffffe2,
    938   0xffffffffffffff85, 0xffffffffffffffe1,
    939   0xffffffffffffff84, 0xffffffffffffffe0,
    940   0xffffffffffffff83, 0xffffffffffffffdf,
    941   0xffffffffffffff82, 0xffffffffffffffde,
    942   0xffffffffffffff81, 0xffffffffffffffc0,
    943   0xffffffffffffff63, 0xffffffffffffff63,
    944   0xffffffffffffff06, 0xffffffffffffff62,
    945   0xffffffffffffff05, 0xffffffffffffff61,
    946   0xffffffffffffff04, 0xffffffffffff7fe3,
    947   0xffffffffffff7f86, 0xffffffffffff7fe2,
    948   0xffffffffffff7f85, 0xffffffffffff7fe1,
    949   0xffffffffffff7f84, 0xffffffffccccccad,
    950   0xffffffffcccccc50, 0xffffffffaaaaaa8b,
    951   0xffffffffaaaaaa2e, 0xffffffff7fffffe3,
    952   0xffffffff7fffff86, 0xffffffff7fffffe2,
    953   0xffffffff7fffff85, 0xffffffff7fffffe1,
    954   0xffffffff7fffff84, 0x000000007fffffe0,
    955   0x000000007fffff83, 0x000000007fffffdf,
    956   0x000000007fffff82, 0x0000000055555536,
    957   0x00000000555554d9, 0x0000000033333314,
    958   0x00000000333332b7, 0x0000000000007fe0,
    959   0x0000000000007f83, 0x0000000000007fdf,
    960   0x0000000000007f82, 0x0000000000007fde,
    961   0x0000000000007f81, 0x0000000000007fdd,
    962   0x0000000000007f80, 0x0000000000000060,
    963   0x0000000000000003, 0x000000000000005f,
    964   0x0000000000000002, 0x000000000000005e,
    965   0x0000000000000001, 0x000000000000005d,
    966   0x0000000000000000, 0x0000000000000000,
    967   0xffffffffffffffa3, 0xffffffffffffffe3,
    968   0xffffffffffffffe3, 0xffffffffffffffff,
    969   0xffffffffffffffe2, 0xfffffffffffffffe,
    970   0xffffffffffffffe1, 0xfffffffffffffffd,
    971   0xffffffffffffffe0, 0xfffffffffffffffc,
    972   0xffffffffffffffdf, 0xfffffffffffffffb,
    973   0xffffffffffffffde, 0xffffffffffffffdd,
    974   0xffffffffffffffc0, 0xffffffffffffff80,
    975   0xffffffffffffff63, 0xffffffffffffff7f,
    976   0xffffffffffffff62, 0xffffffffffffff7e,
    977   0xffffffffffffff61, 0xffffffffffff8000,
    978   0xffffffffffff7fe3, 0xffffffffffff7fff,
    979   0xffffffffffff7fe2, 0xffffffffffff7ffe,
    980   0xffffffffffff7fe1, 0xffffffffccccccca,
    981   0xffffffffccccccad, 0xffffffffaaaaaaa8,
    982   0xffffffffaaaaaa8b, 0xffffffff80000000,
    983   0xffffffff7fffffe3, 0xffffffff7fffffff,
    984   0xffffffff7fffffe2, 0xffffffff7ffffffe,
    985   0xffffffff7fffffe1, 0x000000007ffffffd,
    986   0x000000007fffffe0, 0x000000007ffffffc,
    987   0x000000007fffffdf, 0x0000000055555553,
    988   0x0000000055555536, 0x0000000033333331,
    989   0x0000000033333314, 0x0000000000007ffd,
    990   0x0000000000007fe0, 0x0000000000007ffc,
    991   0x0000000000007fdf, 0x0000000000007ffb,
    992   0x0000000000007fde, 0x0000000000007ffa,
    993   0x0000000000007fdd, 0x000000000000007d,
    994   0x0000000000000060, 0x000000000000007c,
    995   0x000000000000005f, 0x000000000000007b,
    996   0x000000000000005e, 0x000000000000007a,
    997   0x000000000000005d, 0x000000000000001d,
    998   0x0000000000000000, 0x0000000000000000,
    999 };
   1000 const unsigned kExpectedCount_NEON_ssubl_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_SSUBL_2D_TRACE_A64_H_
   1003