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