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_USUBL_2D_TRACE_A64_H_
     35 #define VIXL_SIM_USUBL_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_usubl_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, 0xffffffff80007f00,
     56   0xffffffff80007e00, 0xffffffff80007eff,
     57   0xffffffff80007dff, 0xffffffff5555d456,
     58   0xffffffff5555d356, 0xffffffff3333b234,
     59   0xffffffff3333b134, 0xffffffff0000ff00,
     60   0xffffffff0000fe00, 0xffffffff0000feff,
     61   0xffffffff0000fdff, 0xffffffff0000fefe,
     62   0xffffffff0000fdfe, 0xffffffff0000fefd,
     63   0xffffffff0000fdfd, 0xffffffff00007f80,
     64   0xffffffff00007e80, 0xffffffff00007f7f,
     65   0xffffffff00007e7f, 0xffffffff00007f7e,
     66   0xffffffff00007e7e, 0xffffffff00007f7d,
     67   0xffffffff00007e7d, 0xffffffff00007f20,
     68   0xffffffff00007e20, 0xffffffff00007f03,
     69   0xffffffff00007f03, 0xffffffff007ffd02,
     70   0xffffffff00007f02, 0xffffffff007ffd01,
     71   0xffffffff00007f01, 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, 0xffffffff807ffd00,
     87   0xffffffff80007f00, 0xffffffff807ffcff,
     88   0xffffffff80007eff, 0xffffffff55d55256,
     89   0xffffffff5555d456, 0xffffffff33b33034,
     90   0xffffffff3333b234, 0xffffffff00807d00,
     91   0xffffffff0000ff00, 0xffffffff00807cff,
     92   0xffffffff0000feff, 0xffffffff00807cfe,
     93   0xffffffff0000fefe, 0xffffffff00807cfd,
     94   0xffffffff0000fefd, 0xffffffff007ffd80,
     95   0xffffffff00007f80, 0xffffffff007ffd7f,
     96   0xffffffff00007f7f, 0xffffffff007ffd7e,
     97   0xffffffff00007f7e, 0xffffffff007ffd7d,
     98   0xffffffff00007f7d, 0xffffffff007ffd20,
     99   0xffffffff00007f20, 0xffffffff007ffd03,
    100   0xffffffff007ffd03, 0xffffffff00000002,
    101   0xffffffff007ffd02, 0xffffffff00000001,
    102   0xffffffff007ffd01, 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, 0xffffffff80000000,
    118   0xffffffff807ffd00, 0xffffffff7fffffff,
    119   0xffffffff807ffcff, 0xffffffff55555556,
    120   0xffffffff55d55256, 0xffffffff33333334,
    121   0xffffffff33b33034, 0xffffffff00008000,
    122   0xffffffff00807d00, 0xffffffff00007fff,
    123   0xffffffff00807cff, 0xffffffff00007ffe,
    124   0xffffffff00807cfe, 0xffffffff00007ffd,
    125   0xffffffff00807cfd, 0xffffffff00000080,
    126   0xffffffff007ffd80, 0xffffffff0000007f,
    127   0xffffffff007ffd7f, 0xffffffff0000007e,
    128   0xffffffff007ffd7e, 0xffffffff0000007d,
    129   0xffffffff007ffd7d, 0xffffffff00000020,
    130   0xffffffff007ffd20, 0xffffffff00000003,
    131   0xffffffff00000003, 0xffffffff00000003,
    132   0xffffffff00000002, 0xffffffff00000002,
    133   0xffffffff00000001, 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, 0xffffffff80000001,
    149   0xffffffff80000000, 0xffffffff80000000,
    150   0xffffffff7fffffff, 0xffffffff55555557,
    151   0xffffffff55555556, 0xffffffff33333335,
    152   0xffffffff33333334, 0xffffffff00008001,
    153   0xffffffff00008000, 0xffffffff00008000,
    154   0xffffffff00007fff, 0xffffffff00007fff,
    155   0xffffffff00007ffe, 0xffffffff00007ffe,
    156   0xffffffff00007ffd, 0xffffffff00000081,
    157   0xffffffff00000080, 0xffffffff00000080,
    158   0xffffffff0000007f, 0xffffffff0000007f,
    159   0xffffffff0000007e, 0xffffffff0000007e,
    160   0xffffffff0000007d, 0xffffffff00000021,
    161   0xffffffff00000020, 0xffffffff00000004,
    162   0xffffffff00000004, 0xffffffff00000004,
    163   0xffffffff00000003, 0xffffffff00000003,
    164   0xffffffff00000002, 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, 0xffffffff80000002,
    180   0xffffffff80000001, 0xffffffff80000001,
    181   0xffffffff80000000, 0xffffffff55555558,
    182   0xffffffff55555557, 0xffffffff33333336,
    183   0xffffffff33333335, 0xffffffff00008002,
    184   0xffffffff00008001, 0xffffffff00008001,
    185   0xffffffff00008000, 0xffffffff00008000,
    186   0xffffffff00007fff, 0xffffffff00007fff,
    187   0xffffffff00007ffe, 0xffffffff00000082,
    188   0xffffffff00000081, 0xffffffff00000081,
    189   0xffffffff00000080, 0xffffffff00000080,
    190   0xffffffff0000007f, 0xffffffff0000007f,
    191   0xffffffff0000007e, 0xffffffff00000022,
    192   0xffffffff00000021, 0xffffffff00000005,
    193   0xffffffff00000005, 0xffffffff00000022,
    194   0xffffffff00000004, 0xffffffff00000021,
    195   0xffffffff00000003, 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, 0xffffffff80000020,
    211   0xffffffff80000002, 0xffffffff8000001f,
    212   0xffffffff80000001, 0xffffffff55555576,
    213   0xffffffff55555558, 0xffffffff33333354,
    214   0xffffffff33333336, 0xffffffff00008020,
    215   0xffffffff00008002, 0xffffffff0000801f,
    216   0xffffffff00008001, 0xffffffff0000801e,
    217   0xffffffff00008000, 0xffffffff0000801d,
    218   0xffffffff00007fff, 0xffffffff000000a0,
    219   0xffffffff00000082, 0xffffffff0000009f,
    220   0xffffffff00000081, 0xffffffff0000009e,
    221   0xffffffff00000080, 0xffffffff0000009d,
    222   0xffffffff0000007f, 0xffffffff00000040,
    223   0xffffffff00000022, 0xffffffff00000023,
    224   0xffffffff00000023, 0xffffffff0000007f,
    225   0xffffffff00000022, 0xffffffff0000007e,
    226   0xffffffff00000021, 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, 0xffffffff8000007d,
    242   0xffffffff80000020, 0xffffffff8000007c,
    243   0xffffffff8000001f, 0xffffffff555555d3,
    244   0xffffffff55555576, 0xffffffff333333b1,
    245   0xffffffff33333354, 0xffffffff0000807d,
    246   0xffffffff00008020, 0xffffffff0000807c,
    247   0xffffffff0000801f, 0xffffffff0000807b,
    248   0xffffffff0000801e, 0xffffffff0000807a,
    249   0xffffffff0000801d, 0xffffffff000000fd,
    250   0xffffffff000000a0, 0xffffffff000000fc,
    251   0xffffffff0000009f, 0xffffffff000000fb,
    252   0xffffffff0000009e, 0xffffffff000000fa,
    253   0xffffffff0000009d, 0xffffffff0000009d,
    254   0xffffffff00000040, 0xffffffff00000080,
    255   0xffffffff00000080, 0xffffffff00000080,
    256   0xffffffff0000007f, 0xffffffff0000007f,
    257   0xffffffff0000007e, 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, 0xffffffff8000007e,
    273   0xffffffff8000007d, 0xffffffff8000007d,
    274   0xffffffff8000007c, 0xffffffff555555d4,
    275   0xffffffff555555d3, 0xffffffff333333b2,
    276   0xffffffff333333b1, 0xffffffff0000807e,
    277   0xffffffff0000807d, 0xffffffff0000807d,
    278   0xffffffff0000807c, 0xffffffff0000807c,
    279   0xffffffff0000807b, 0xffffffff0000807b,
    280   0xffffffff0000807a, 0xffffffff000000fe,
    281   0xffffffff000000fd, 0xffffffff000000fd,
    282   0xffffffff000000fc, 0xffffffff000000fc,
    283   0xffffffff000000fb, 0xffffffff000000fb,
    284   0xffffffff000000fa, 0xffffffff0000009e,
    285   0xffffffff0000009d, 0xffffffff00000081,
    286   0xffffffff00000081, 0xffffffff00000081,
    287   0xffffffff00000080, 0xffffffff00000080,
    288   0xffffffff0000007f, 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, 0xffffffff8000007f,
    304   0xffffffff8000007e, 0xffffffff8000007e,
    305   0xffffffff8000007d, 0xffffffff555555d5,
    306   0xffffffff555555d4, 0xffffffff333333b3,
    307   0xffffffff333333b2, 0xffffffff0000807f,
    308   0xffffffff0000807e, 0xffffffff0000807e,
    309   0xffffffff0000807d, 0xffffffff0000807d,
    310   0xffffffff0000807c, 0xffffffff0000807c,
    311   0xffffffff0000807b, 0xffffffff000000ff,
    312   0xffffffff000000fe, 0xffffffff000000fe,
    313   0xffffffff000000fd, 0xffffffff000000fd,
    314   0xffffffff000000fc, 0xffffffff000000fc,
    315   0xffffffff000000fb, 0xffffffff0000009f,
    316   0xffffffff0000009e, 0xffffffff00000082,
    317   0xffffffff00000082, 0xffffffff00007fff,
    318   0xffffffff00000081, 0xffffffff00007ffe,
    319   0xffffffff00000080, 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, 0xffffffff80007ffd,
    335   0xffffffff8000007f, 0xffffffff80007ffc,
    336   0xffffffff8000007e, 0xffffffff5555d553,
    337   0xffffffff555555d5, 0xffffffff3333b331,
    338   0xffffffff333333b3, 0xffffffff0000fffd,
    339   0xffffffff0000807f, 0xffffffff0000fffc,
    340   0xffffffff0000807e, 0xffffffff0000fffb,
    341   0xffffffff0000807d, 0xffffffff0000fffa,
    342   0xffffffff0000807c, 0xffffffff0000807d,
    343   0xffffffff000000ff, 0xffffffff0000807c,
    344   0xffffffff000000fe, 0xffffffff0000807b,
    345   0xffffffff000000fd, 0xffffffff0000807a,
    346   0xffffffff000000fc, 0xffffffff0000801d,
    347   0xffffffff0000009f, 0xffffffff00008000,
    348   0xffffffff00008000, 0xffffffff00008000,
    349   0xffffffff00007fff, 0xffffffff00007fff,
    350   0xffffffff00007ffe, 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, 0xffffffff80007ffe,
    366   0xffffffff80007ffd, 0xffffffff80007ffd,
    367   0xffffffff80007ffc, 0xffffffff5555d554,
    368   0xffffffff5555d553, 0xffffffff3333b332,
    369   0xffffffff3333b331, 0xffffffff0000fffe,
    370   0xffffffff0000fffd, 0xffffffff0000fffd,
    371   0xffffffff0000fffc, 0xffffffff0000fffc,
    372   0xffffffff0000fffb, 0xffffffff0000fffb,
    373   0xffffffff0000fffa, 0xffffffff0000807e,
    374   0xffffffff0000807d, 0xffffffff0000807d,
    375   0xffffffff0000807c, 0xffffffff0000807c,
    376   0xffffffff0000807b, 0xffffffff0000807b,
    377   0xffffffff0000807a, 0xffffffff0000801e,
    378   0xffffffff0000801d, 0xffffffff00008001,
    379   0xffffffff00008001, 0xffffffff00008001,
    380   0xffffffff00008000, 0xffffffff00008000,
    381   0xffffffff00007fff, 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, 0xffffffff80007fff,
    397   0xffffffff80007ffe, 0xffffffff80007ffe,
    398   0xffffffff80007ffd, 0xffffffff5555d555,
    399   0xffffffff5555d554, 0xffffffff3333b333,
    400   0xffffffff3333b332, 0xffffffff0000ffff,
    401   0xffffffff0000fffe, 0xffffffff0000fffe,
    402   0xffffffff0000fffd, 0xffffffff0000fffd,
    403   0xffffffff0000fffc, 0xffffffff0000fffc,
    404   0xffffffff0000fffb, 0xffffffff0000807f,
    405   0xffffffff0000807e, 0xffffffff0000807e,
    406   0xffffffff0000807d, 0xffffffff0000807d,
    407   0xffffffff0000807c, 0xffffffff0000807c,
    408   0xffffffff0000807b, 0xffffffff0000801f,
    409   0xffffffff0000801e, 0xffffffff00008002,
    410   0xffffffff00008002, 0xffffffff33333335,
    411   0xffffffff00008001, 0xffffffff33333334,
    412   0xffffffff00008000, 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, 0xffffffffb3333333,
    428   0xffffffff80007fff, 0xffffffffb3333332,
    429   0xffffffff80007ffe, 0xffffffff88888889,
    430   0xffffffff5555d555, 0xffffffff66666667,
    431   0xffffffff3333b333, 0xffffffff3333b333,
    432   0xffffffff0000ffff, 0xffffffff3333b332,
    433   0xffffffff0000fffe, 0xffffffff3333b331,
    434   0xffffffff0000fffd, 0xffffffff3333b330,
    435   0xffffffff0000fffc, 0xffffffff333333b3,
    436   0xffffffff0000807f, 0xffffffff333333b2,
    437   0xffffffff0000807e, 0xffffffff333333b1,
    438   0xffffffff0000807d, 0xffffffff333333b0,
    439   0xffffffff0000807c, 0xffffffff33333353,
    440   0xffffffff0000801f, 0xffffffff33333336,
    441   0xffffffff33333336, 0xffffffff55555557,
    442   0xffffffff33333335, 0xffffffff55555556,
    443   0xffffffff33333334, 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, 0xffffffffd5555555,
    459   0xffffffffb3333333, 0xffffffffd5555554,
    460   0xffffffffb3333332, 0xffffffffaaaaaaab,
    461   0xffffffff88888889, 0xffffffff88888889,
    462   0xffffffff66666667, 0xffffffff5555d555,
    463   0xffffffff3333b333, 0xffffffff5555d554,
    464   0xffffffff3333b332, 0xffffffff5555d553,
    465   0xffffffff3333b331, 0xffffffff5555d552,
    466   0xffffffff3333b330, 0xffffffff555555d5,
    467   0xffffffff333333b3, 0xffffffff555555d4,
    468   0xffffffff333333b2, 0xffffffff555555d3,
    469   0xffffffff333333b1, 0xffffffff555555d2,
    470   0xffffffff333333b0, 0xffffffff55555575,
    471   0xffffffff33333353, 0xffffffff55555558,
    472   0xffffffff55555558, 0xffffffff7fffffff,
    473   0xffffffff55555557, 0xffffffff7ffffffe,
    474   0xffffffff55555556, 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, 0xfffffffffffffffd,
    490   0xffffffffd5555555, 0xfffffffffffffffc,
    491   0xffffffffd5555554, 0xffffffffd5555553,
    492   0xffffffffaaaaaaab, 0xffffffffb3333331,
    493   0xffffffff88888889, 0xffffffff80007ffd,
    494   0xffffffff5555d555, 0xffffffff80007ffc,
    495   0xffffffff5555d554, 0xffffffff80007ffb,
    496   0xffffffff5555d553, 0xffffffff80007ffa,
    497   0xffffffff5555d552, 0xffffffff8000007d,
    498   0xffffffff555555d5, 0xffffffff8000007c,
    499   0xffffffff555555d4, 0xffffffff8000007b,
    500   0xffffffff555555d3, 0xffffffff8000007a,
    501   0xffffffff555555d2, 0xffffffff8000001d,
    502   0xffffffff55555575, 0xffffffff80000000,
    503   0xffffffff80000000, 0xffffffff80000000,
    504   0xffffffff7fffffff, 0xffffffff7fffffff,
    505   0xffffffff7ffffffe, 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, 0xfffffffffffffffe,
    521   0xfffffffffffffffd, 0xfffffffffffffffd,
    522   0xfffffffffffffffc, 0xffffffffd5555554,
    523   0xffffffffd5555553, 0xffffffffb3333332,
    524   0xffffffffb3333331, 0xffffffff80007ffe,
    525   0xffffffff80007ffd, 0xffffffff80007ffd,
    526   0xffffffff80007ffc, 0xffffffff80007ffc,
    527   0xffffffff80007ffb, 0xffffffff80007ffb,
    528   0xffffffff80007ffa, 0xffffffff8000007e,
    529   0xffffffff8000007d, 0xffffffff8000007d,
    530   0xffffffff8000007c, 0xffffffff8000007c,
    531   0xffffffff8000007b, 0xffffffff8000007b,
    532   0xffffffff8000007a, 0xffffffff8000001e,
    533   0xffffffff8000001d, 0xffffffff80000001,
    534   0xffffffff80000001, 0xffffffff80000001,
    535   0xffffffff80000000, 0xffffffff80000000,
    536   0xffffffff7fffffff, 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, 0xffffffffffffffff,
    552   0xfffffffffffffffe, 0xfffffffffffffffe,
    553   0xfffffffffffffffd, 0xffffffffd5555555,
    554   0xffffffffd5555554, 0xffffffffb3333333,
    555   0xffffffffb3333332, 0xffffffff80007fff,
    556   0xffffffff80007ffe, 0xffffffff80007ffe,
    557   0xffffffff80007ffd, 0xffffffff80007ffd,
    558   0xffffffff80007ffc, 0xffffffff80007ffc,
    559   0xffffffff80007ffb, 0xffffffff8000007f,
    560   0xffffffff8000007e, 0xffffffff8000007e,
    561   0xffffffff8000007d, 0xffffffff8000007d,
    562   0xffffffff8000007c, 0xffffffff8000007c,
    563   0xffffffff8000007b, 0xffffffff8000001f,
    564   0xffffffff8000001e, 0xffffffff80000002,
    565   0xffffffff80000002, 0xffffffff80000002,
    566   0xffffffff80000001, 0xffffffff80000001,
    567   0xffffffff80000000, 0x0000000080000000,
    568   0x000000007fffffff, 0x000000007fffffff,
    569   0x000000007ffffffe, 0x000000007ffffffe,
    570   0x000000007ffffffd, 0x000000007fffffe0,
    571   0x000000007fffffdf, 0x000000007fffff83,
    572   0x000000007fffff82, 0x000000007fffff82,
    573   0x000000007fffff81, 0x000000007fffff81,
    574   0x000000007fffff80, 0x000000007fff8003,
    575   0x000000007fff8002, 0x000000007fff8002,
    576   0x000000007fff8001, 0x000000007fff8001,
    577   0x000000007fff8000, 0x000000004ccccccd,
    578   0x000000004ccccccc, 0x000000002aaaaaab,
    579   0x000000002aaaaaaa, 0x0000000000000003,
    580   0x0000000000000002, 0x0000000000000002,
    581   0x0000000000000001, 0x0000000000000001,
    582   0x0000000000000000, 0x0000000000000000,
    583   0xffffffffffffffff, 0xffffffffffffffff,
    584   0xfffffffffffffffe, 0xffffffffd5555556,
    585   0xffffffffd5555555, 0xffffffffb3333334,
    586   0xffffffffb3333333, 0xffffffff80008000,
    587   0xffffffff80007fff, 0xffffffff80007fff,
    588   0xffffffff80007ffe, 0xffffffff80007ffe,
    589   0xffffffff80007ffd, 0xffffffff80007ffd,
    590   0xffffffff80007ffc, 0xffffffff80000080,
    591   0xffffffff8000007f, 0xffffffff8000007f,
    592   0xffffffff8000007e, 0xffffffff8000007e,
    593   0xffffffff8000007d, 0xffffffff8000007d,
    594   0xffffffff8000007c, 0xffffffff80000020,
    595   0xffffffff8000001f, 0xffffffff80000003,
    596   0xffffffff80000003, 0xffffffff80000003,
    597   0xffffffff80000002, 0xffffffff80000002,
    598   0xffffffff80000001, 0x0000000080000001,
    599   0x0000000080000000, 0x0000000080000000,
    600   0x000000007fffffff, 0x000000007fffffff,
    601   0x000000007ffffffe, 0x000000007fffffe1,
    602   0x000000007fffffe0, 0x000000007fffff84,
    603   0x000000007fffff83, 0x000000007fffff83,
    604   0x000000007fffff82, 0x000000007fffff82,
    605   0x000000007fffff81, 0x000000007fff8004,
    606   0x000000007fff8003, 0x000000007fff8003,
    607   0x000000007fff8002, 0x000000007fff8002,
    608   0x000000007fff8001, 0x000000004cccccce,
    609   0x000000004ccccccd, 0x000000002aaaaaac,
    610   0x000000002aaaaaab, 0x0000000000000004,
    611   0x0000000000000003, 0x0000000000000003,
    612   0x0000000000000002, 0x0000000000000002,
    613   0x0000000000000001, 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, 0x00000000aaaaaaaa,
    630   0x0000000080000001, 0x00000000aaaaaaa9,
    631   0x0000000080000000, 0x00000000aaaaaaa8,
    632   0x000000007fffffff, 0x00000000aaaaaa8a,
    633   0x000000007fffffe1, 0x00000000aaaaaa2d,
    634   0x000000007fffff84, 0x00000000aaaaaa2c,
    635   0x000000007fffff83, 0x00000000aaaaaa2b,
    636   0x000000007fffff82, 0x00000000aaaa2aad,
    637   0x000000007fff8004, 0x00000000aaaa2aac,
    638   0x000000007fff8003, 0x00000000aaaa2aab,
    639   0x000000007fff8002, 0x0000000077777777,
    640   0x000000004cccccce, 0x0000000055555555,
    641   0x000000002aaaaaac, 0x000000002aaaaaad,
    642   0x0000000000000004, 0x000000002aaaaaac,
    643   0x0000000000000003, 0x000000002aaaaaab,
    644   0x0000000000000002, 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, 0x00000000cccccccc,
    661   0x00000000aaaaaaaa, 0x00000000cccccccb,
    662   0x00000000aaaaaaa9, 0x00000000ccccccca,
    663   0x00000000aaaaaaa8, 0x00000000ccccccac,
    664   0x00000000aaaaaa8a, 0x00000000cccccc4f,
    665   0x00000000aaaaaa2d, 0x00000000cccccc4e,
    666   0x00000000aaaaaa2c, 0x00000000cccccc4d,
    667   0x00000000aaaaaa2b, 0x00000000cccc4ccf,
    668   0x00000000aaaa2aad, 0x00000000cccc4cce,
    669   0x00000000aaaa2aac, 0x00000000cccc4ccd,
    670   0x00000000aaaa2aab, 0x0000000099999999,
    671   0x0000000077777777, 0x0000000077777777,
    672   0x0000000055555555, 0x000000004ccccccf,
    673   0x000000002aaaaaad, 0x000000004cccccce,
    674   0x000000002aaaaaac, 0x000000004ccccccd,
    675   0x000000002aaaaaab, 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, 0x00000000ffff8000,
    692   0x00000000cccccccc, 0x00000000ffff7fff,
    693   0x00000000cccccccb, 0x00000000ffff7ffe,
    694   0x00000000ccccccca, 0x00000000ffff7fe0,
    695   0x00000000ccccccac, 0x00000000ffff7f83,
    696   0x00000000cccccc4f, 0x00000000ffff7f82,
    697   0x00000000cccccc4e, 0x00000000ffff7f81,
    698   0x00000000cccccc4d, 0x00000000ffff0003,
    699   0x00000000cccc4ccf, 0x00000000ffff0002,
    700   0x00000000cccc4cce, 0x00000000ffff0001,
    701   0x00000000cccc4ccd, 0x00000000cccc4ccd,
    702   0x0000000099999999, 0x00000000aaaa2aab,
    703   0x0000000077777777, 0x000000007fff8003,
    704   0x000000004ccccccf, 0x000000007fff8002,
    705   0x000000004cccccce, 0x000000007fff8001,
    706   0x000000004ccccccd, 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, 0x00000000ffff8001,
    723   0x00000000ffff8000, 0x00000000ffff8000,
    724   0x00000000ffff7fff, 0x00000000ffff7fff,
    725   0x00000000ffff7ffe, 0x00000000ffff7fe1,
    726   0x00000000ffff7fe0, 0x00000000ffff7f84,
    727   0x00000000ffff7f83, 0x00000000ffff7f83,
    728   0x00000000ffff7f82, 0x00000000ffff7f82,
    729   0x00000000ffff7f81, 0x00000000ffff0004,
    730   0x00000000ffff0003, 0x00000000ffff0003,
    731   0x00000000ffff0002, 0x00000000ffff0002,
    732   0x00000000ffff0001, 0x00000000cccc4cce,
    733   0x00000000cccc4ccd, 0x00000000aaaa2aac,
    734   0x00000000aaaa2aab, 0x000000007fff8004,
    735   0x000000007fff8003, 0x000000007fff8003,
    736   0x000000007fff8002, 0x000000007fff8002,
    737   0x000000007fff8001, 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, 0x00000000ffff8002,
    754   0x00000000ffff8001, 0x00000000ffff8001,
    755   0x00000000ffff8000, 0x00000000ffff8000,
    756   0x00000000ffff7fff, 0x00000000ffff7fe2,
    757   0x00000000ffff7fe1, 0x00000000ffff7f85,
    758   0x00000000ffff7f84, 0x00000000ffff7f84,
    759   0x00000000ffff7f83, 0x00000000ffff7f83,
    760   0x00000000ffff7f82, 0x00000000ffff0005,
    761   0x00000000ffff0004, 0x00000000ffff0004,
    762   0x00000000ffff0003, 0x00000000ffff0003,
    763   0x00000000ffff0002, 0x00000000cccc4ccf,
    764   0x00000000cccc4cce, 0x00000000aaaa2aad,
    765   0x00000000aaaa2aac, 0x000000007fff8005,
    766   0x000000007fff8004, 0x000000007fff8004,
    767   0x000000007fff8003, 0x000000007fff8003,
    768   0x000000007fff8002, 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, 0x00000000ffff8003,
    785   0x00000000ffff8002, 0x00000000ffff8002,
    786   0x00000000ffff8001, 0x00000000ffff8001,
    787   0x00000000ffff8000, 0x00000000ffff7fe3,
    788   0x00000000ffff7fe2, 0x00000000ffff7f86,
    789   0x00000000ffff7f85, 0x00000000ffff7f85,
    790   0x00000000ffff7f84, 0x00000000ffff7f84,
    791   0x00000000ffff7f83, 0x00000000ffff0006,
    792   0x00000000ffff0005, 0x00000000ffff0005,
    793   0x00000000ffff0004, 0x00000000ffff0004,
    794   0x00000000ffff0003, 0x00000000cccc4cd0,
    795   0x00000000cccc4ccf, 0x00000000aaaa2aae,
    796   0x00000000aaaa2aad, 0x000000007fff8006,
    797   0x000000007fff8005, 0x000000007fff8005,
    798   0x000000007fff8004, 0x000000007fff8004,
    799   0x000000007fff8003, 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, 0x00000000ffffff80,
    816   0x00000000ffff8003, 0x00000000ffffff7f,
    817   0x00000000ffff8002, 0x00000000ffffff7e,
    818   0x00000000ffff8001, 0x00000000ffffff60,
    819   0x00000000ffff7fe3, 0x00000000ffffff03,
    820   0x00000000ffff7f86, 0x00000000ffffff02,
    821   0x00000000ffff7f85, 0x00000000ffffff01,
    822   0x00000000ffff7f84, 0x00000000ffff7f83,
    823   0x00000000ffff0006, 0x00000000ffff7f82,
    824   0x00000000ffff0005, 0x00000000ffff7f81,
    825   0x00000000ffff0004, 0x00000000cccccc4d,
    826   0x00000000cccc4cd0, 0x00000000aaaaaa2b,
    827   0x00000000aaaa2aae, 0x000000007fffff83,
    828   0x000000007fff8006, 0x000000007fffff82,
    829   0x000000007fff8005, 0x000000007fffff81,
    830   0x000000007fff8004, 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, 0x00000000ffffff81,
    847   0x00000000ffffff80, 0x00000000ffffff80,
    848   0x00000000ffffff7f, 0x00000000ffffff7f,
    849   0x00000000ffffff7e, 0x00000000ffffff61,
    850   0x00000000ffffff60, 0x00000000ffffff04,
    851   0x00000000ffffff03, 0x00000000ffffff03,
    852   0x00000000ffffff02, 0x00000000ffffff02,
    853   0x00000000ffffff01, 0x00000000ffff7f84,
    854   0x00000000ffff7f83, 0x00000000ffff7f83,
    855   0x00000000ffff7f82, 0x00000000ffff7f82,
    856   0x00000000ffff7f81, 0x00000000cccccc4e,
    857   0x00000000cccccc4d, 0x00000000aaaaaa2c,
    858   0x00000000aaaaaa2b, 0x000000007fffff84,
    859   0x000000007fffff83, 0x000000007fffff83,
    860   0x000000007fffff82, 0x000000007fffff82,
    861   0x000000007fffff81, 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, 0x00000000ffffff82,
    878   0x00000000ffffff81, 0x00000000ffffff81,
    879   0x00000000ffffff80, 0x00000000ffffff80,
    880   0x00000000ffffff7f, 0x00000000ffffff62,
    881   0x00000000ffffff61, 0x00000000ffffff05,
    882   0x00000000ffffff04, 0x00000000ffffff04,
    883   0x00000000ffffff03, 0x00000000ffffff03,
    884   0x00000000ffffff02, 0x00000000ffff7f85,
    885   0x00000000ffff7f84, 0x00000000ffff7f84,
    886   0x00000000ffff7f83, 0x00000000ffff7f83,
    887   0x00000000ffff7f82, 0x00000000cccccc4f,
    888   0x00000000cccccc4e, 0x00000000aaaaaa2d,
    889   0x00000000aaaaaa2c, 0x000000007fffff85,
    890   0x000000007fffff84, 0x000000007fffff84,
    891   0x000000007fffff83, 0x000000007fffff83,
    892   0x000000007fffff82, 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, 0x00000000ffffff83,
    909   0x00000000ffffff82, 0x00000000ffffff82,
    910   0x00000000ffffff81, 0x00000000ffffff81,
    911   0x00000000ffffff80, 0x00000000ffffff63,
    912   0x00000000ffffff62, 0x00000000ffffff06,
    913   0x00000000ffffff05, 0x00000000ffffff05,
    914   0x00000000ffffff04, 0x00000000ffffff04,
    915   0x00000000ffffff03, 0x00000000ffff7f86,
    916   0x00000000ffff7f85, 0x00000000ffff7f85,
    917   0x00000000ffff7f84, 0x00000000ffff7f84,
    918   0x00000000ffff7f83, 0x00000000cccccc50,
    919   0x00000000cccccc4f, 0x00000000aaaaaa2e,
    920   0x00000000aaaaaa2d, 0x000000007fffff86,
    921   0x000000007fffff85, 0x000000007fffff85,
    922   0x000000007fffff84, 0x000000007fffff84,
    923   0x000000007fffff83, 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, 0x00000000ffffffe0,
    940   0x00000000ffffff83, 0x00000000ffffffdf,
    941   0x00000000ffffff82, 0x00000000ffffffde,
    942   0x00000000ffffff81, 0x00000000ffffffc0,
    943   0x00000000ffffff63, 0x00000000ffffff63,
    944   0x00000000ffffff06, 0x00000000ffffff62,
    945   0x00000000ffffff05, 0x00000000ffffff61,
    946   0x00000000ffffff04, 0x00000000ffff7fe3,
    947   0x00000000ffff7f86, 0x00000000ffff7fe2,
    948   0x00000000ffff7f85, 0x00000000ffff7fe1,
    949   0x00000000ffff7f84, 0x00000000ccccccad,
    950   0x00000000cccccc50, 0x00000000aaaaaa8b,
    951   0x00000000aaaaaa2e, 0x000000007fffffe3,
    952   0x000000007fffff86, 0x000000007fffffe2,
    953   0x000000007fffff85, 0x000000007fffffe1,
    954   0x000000007fffff84, 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, 0x00000000fffffffd,
    971   0x00000000ffffffe0, 0x00000000fffffffc,
    972   0x00000000ffffffdf, 0x00000000fffffffb,
    973   0x00000000ffffffde, 0x00000000ffffffdd,
    974   0x00000000ffffffc0, 0x00000000ffffff80,
    975   0x00000000ffffff63, 0x00000000ffffff7f,
    976   0x00000000ffffff62, 0x00000000ffffff7e,
    977   0x00000000ffffff61, 0x00000000ffff8000,
    978   0x00000000ffff7fe3, 0x00000000ffff7fff,
    979   0x00000000ffff7fe2, 0x00000000ffff7ffe,
    980   0x00000000ffff7fe1, 0x00000000ccccccca,
    981   0x00000000ccccccad, 0x00000000aaaaaaa8,
    982   0x00000000aaaaaa8b, 0x0000000080000000,
    983   0x000000007fffffe3, 0x000000007fffffff,
    984   0x000000007fffffe2, 0x000000007ffffffe,
    985   0x000000007fffffe1, 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_usubl_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_USUBL_2D_TRACE_A64_H_
   1003