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