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_UADDL_2D_TRACE_A64_H_
     35 #define VIXL_SIM_UADDL_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_uaddl_2D[] = {
     38   0x000000000000fc00, 0x000000000000fe00,
     39   0x000000000000fd00, 0x0000000000807c00,
     40   0x0000000000807b00, 0x0000000000007f00,
     41   0x0000000000007e00, 0x0000000000007f01,
     42   0x0000000000007e01, 0x0000000000007f02,
     43   0x0000000000007e02, 0x0000000000007f20,
     44   0x0000000000007e20, 0x0000000000007f7d,
     45   0x0000000000007e7d, 0x0000000000007f7e,
     46   0x0000000000007e7e, 0x0000000000007f7f,
     47   0x0000000000007e7f, 0x000000000000fefd,
     48   0x000000000000fdfd, 0x000000000000fefe,
     49   0x000000000000fdfe, 0x000000000000feff,
     50   0x000000000000fdff, 0x000000003333b233,
     51   0x000000003333b133, 0x000000005555d455,
     52   0x000000005555d355, 0x0000000080007efd,
     53   0x0000000080007dfd, 0x0000000080007efe,
     54   0x0000000080007dfe, 0x0000000080007eff,
     55   0x0000000080007dff, 0x0000000080007f00,
     56   0x0000000080007e00, 0x0000000080007f01,
     57   0x0000000080007e01, 0x00000000aaab29aa,
     58   0x00000000aaab28aa, 0x00000000cccd4bcc,
     59   0x00000000cccd4acc, 0x00000000ffffff00,
     60   0x00000000fffffe00, 0x00000000ffffff01,
     61   0x00000000fffffe01, 0x00000000ffffff02,
     62   0x00000000fffffe02, 0x00000000ffffff03,
     63   0x00000000fffffe03, 0x0000000100007e80,
     64   0x0000000100007d80, 0x0000000100007e81,
     65   0x0000000100007d81, 0x0000000100007e82,
     66   0x0000000100007d82, 0x0000000100007e83,
     67   0x0000000100007d83, 0x0000000100007ee0,
     68   0x0000000100007de0, 0x0000000100007efd,
     69   0x0000000100007efd, 0x00000001007ffcfe,
     70   0x0000000100007efe, 0x00000001007ffcff,
     71   0x0000000100007eff, 0x00000000007ffd00,
     72   0x0000000000007f00, 0x00000000007ffd01,
     73   0x0000000000007f01, 0x00000000007ffd02,
     74   0x0000000000007f02, 0x00000000007ffd20,
     75   0x0000000000007f20, 0x00000000007ffd7d,
     76   0x0000000000007f7d, 0x00000000007ffd7e,
     77   0x0000000000007f7e, 0x00000000007ffd7f,
     78   0x0000000000007f7f, 0x0000000000807cfd,
     79   0x000000000000fefd, 0x0000000000807cfe,
     80   0x000000000000fefe, 0x0000000000807cff,
     81   0x000000000000feff, 0x0000000033b33033,
     82   0x000000003333b233, 0x0000000055d55255,
     83   0x000000005555d455, 0x00000000807ffcfd,
     84   0x0000000080007efd, 0x00000000807ffcfe,
     85   0x0000000080007efe, 0x00000000807ffcff,
     86   0x0000000080007eff, 0x00000000807ffd00,
     87   0x0000000080007f00, 0x00000000807ffd01,
     88   0x0000000080007f01, 0x00000000ab2aa7aa,
     89   0x00000000aaab29aa, 0x00000000cd4cc9cc,
     90   0x00000000cccd4bcc, 0x00000001007f7d00,
     91   0x00000000ffffff00, 0x00000001007f7d01,
     92   0x00000000ffffff01, 0x00000001007f7d02,
     93   0x00000000ffffff02, 0x00000001007f7d03,
     94   0x00000000ffffff03, 0x00000001007ffc80,
     95   0x0000000100007e80, 0x00000001007ffc81,
     96   0x0000000100007e81, 0x00000001007ffc82,
     97   0x0000000100007e82, 0x00000001007ffc83,
     98   0x0000000100007e83, 0x00000001007ffce0,
     99   0x0000000100007ee0, 0x00000001007ffcfd,
    100   0x00000001007ffcfd, 0x00000000fffffffe,
    101   0x00000001007ffcfe, 0x00000000ffffffff,
    102   0x00000001007ffcff, 0x0000000000000000,
    103   0x00000000007ffd00, 0x0000000000000001,
    104   0x00000000007ffd01, 0x0000000000000002,
    105   0x00000000007ffd02, 0x0000000000000020,
    106   0x00000000007ffd20, 0x000000000000007d,
    107   0x00000000007ffd7d, 0x000000000000007e,
    108   0x00000000007ffd7e, 0x000000000000007f,
    109   0x00000000007ffd7f, 0x0000000000007ffd,
    110   0x0000000000807cfd, 0x0000000000007ffe,
    111   0x0000000000807cfe, 0x0000000000007fff,
    112   0x0000000000807cff, 0x0000000033333333,
    113   0x0000000033b33033, 0x0000000055555555,
    114   0x0000000055d55255, 0x000000007ffffffd,
    115   0x00000000807ffcfd, 0x000000007ffffffe,
    116   0x00000000807ffcfe, 0x000000007fffffff,
    117   0x00000000807ffcff, 0x0000000080000000,
    118   0x00000000807ffd00, 0x0000000080000001,
    119   0x00000000807ffd01, 0x00000000aaaaaaaa,
    120   0x00000000ab2aa7aa, 0x00000000cccccccc,
    121   0x00000000cd4cc9cc, 0x00000000ffff8000,
    122   0x00000001007f7d00, 0x00000000ffff8001,
    123   0x00000001007f7d01, 0x00000000ffff8002,
    124   0x00000001007f7d02, 0x00000000ffff8003,
    125   0x00000001007f7d03, 0x00000000ffffff80,
    126   0x00000001007ffc80, 0x00000000ffffff81,
    127   0x00000001007ffc81, 0x00000000ffffff82,
    128   0x00000001007ffc82, 0x00000000ffffff83,
    129   0x00000001007ffc83, 0x00000000ffffffe0,
    130   0x00000001007ffce0, 0x00000000fffffffd,
    131   0x00000000fffffffd, 0x00000000ffffffff,
    132   0x00000000fffffffe, 0x0000000100000000,
    133   0x00000000ffffffff, 0x0000000000000001,
    134   0x0000000000000000, 0x0000000000000002,
    135   0x0000000000000001, 0x0000000000000003,
    136   0x0000000000000002, 0x0000000000000021,
    137   0x0000000000000020, 0x000000000000007e,
    138   0x000000000000007d, 0x000000000000007f,
    139   0x000000000000007e, 0x0000000000000080,
    140   0x000000000000007f, 0x0000000000007ffe,
    141   0x0000000000007ffd, 0x0000000000007fff,
    142   0x0000000000007ffe, 0x0000000000008000,
    143   0x0000000000007fff, 0x0000000033333334,
    144   0x0000000033333333, 0x0000000055555556,
    145   0x0000000055555555, 0x000000007ffffffe,
    146   0x000000007ffffffd, 0x000000007fffffff,
    147   0x000000007ffffffe, 0x0000000080000000,
    148   0x000000007fffffff, 0x0000000080000001,
    149   0x0000000080000000, 0x0000000080000002,
    150   0x0000000080000001, 0x00000000aaaaaaab,
    151   0x00000000aaaaaaaa, 0x00000000cccccccd,
    152   0x00000000cccccccc, 0x00000000ffff8001,
    153   0x00000000ffff8000, 0x00000000ffff8002,
    154   0x00000000ffff8001, 0x00000000ffff8003,
    155   0x00000000ffff8002, 0x00000000ffff8004,
    156   0x00000000ffff8003, 0x00000000ffffff81,
    157   0x00000000ffffff80, 0x00000000ffffff82,
    158   0x00000000ffffff81, 0x00000000ffffff83,
    159   0x00000000ffffff82, 0x00000000ffffff84,
    160   0x00000000ffffff83, 0x00000000ffffffe1,
    161   0x00000000ffffffe0, 0x00000000fffffffe,
    162   0x00000000fffffffe, 0x0000000100000000,
    163   0x00000000ffffffff, 0x0000000100000001,
    164   0x0000000100000000, 0x0000000000000002,
    165   0x0000000000000001, 0x0000000000000003,
    166   0x0000000000000002, 0x0000000000000004,
    167   0x0000000000000003, 0x0000000000000022,
    168   0x0000000000000021, 0x000000000000007f,
    169   0x000000000000007e, 0x0000000000000080,
    170   0x000000000000007f, 0x0000000000000081,
    171   0x0000000000000080, 0x0000000000007fff,
    172   0x0000000000007ffe, 0x0000000000008000,
    173   0x0000000000007fff, 0x0000000000008001,
    174   0x0000000000008000, 0x0000000033333335,
    175   0x0000000033333334, 0x0000000055555557,
    176   0x0000000055555556, 0x000000007fffffff,
    177   0x000000007ffffffe, 0x0000000080000000,
    178   0x000000007fffffff, 0x0000000080000001,
    179   0x0000000080000000, 0x0000000080000002,
    180   0x0000000080000001, 0x0000000080000003,
    181   0x0000000080000002, 0x00000000aaaaaaac,
    182   0x00000000aaaaaaab, 0x00000000ccccccce,
    183   0x00000000cccccccd, 0x00000000ffff8002,
    184   0x00000000ffff8001, 0x00000000ffff8003,
    185   0x00000000ffff8002, 0x00000000ffff8004,
    186   0x00000000ffff8003, 0x00000000ffff8005,
    187   0x00000000ffff8004, 0x00000000ffffff82,
    188   0x00000000ffffff81, 0x00000000ffffff83,
    189   0x00000000ffffff82, 0x00000000ffffff84,
    190   0x00000000ffffff83, 0x00000000ffffff85,
    191   0x00000000ffffff84, 0x00000000ffffffe2,
    192   0x00000000ffffffe1, 0x00000000ffffffff,
    193   0x00000000ffffffff, 0x000000010000001e,
    194   0x0000000100000000, 0x000000010000001f,
    195   0x0000000100000001, 0x0000000000000020,
    196   0x0000000000000002, 0x0000000000000021,
    197   0x0000000000000003, 0x0000000000000022,
    198   0x0000000000000004, 0x0000000000000040,
    199   0x0000000000000022, 0x000000000000009d,
    200   0x000000000000007f, 0x000000000000009e,
    201   0x0000000000000080, 0x000000000000009f,
    202   0x0000000000000081, 0x000000000000801d,
    203   0x0000000000007fff, 0x000000000000801e,
    204   0x0000000000008000, 0x000000000000801f,
    205   0x0000000000008001, 0x0000000033333353,
    206   0x0000000033333335, 0x0000000055555575,
    207   0x0000000055555557, 0x000000008000001d,
    208   0x000000007fffffff, 0x000000008000001e,
    209   0x0000000080000000, 0x000000008000001f,
    210   0x0000000080000001, 0x0000000080000020,
    211   0x0000000080000002, 0x0000000080000021,
    212   0x0000000080000003, 0x00000000aaaaaaca,
    213   0x00000000aaaaaaac, 0x00000000ccccccec,
    214   0x00000000ccccccce, 0x00000000ffff8020,
    215   0x00000000ffff8002, 0x00000000ffff8021,
    216   0x00000000ffff8003, 0x00000000ffff8022,
    217   0x00000000ffff8004, 0x00000000ffff8023,
    218   0x00000000ffff8005, 0x00000000ffffffa0,
    219   0x00000000ffffff82, 0x00000000ffffffa1,
    220   0x00000000ffffff83, 0x00000000ffffffa2,
    221   0x00000000ffffff84, 0x00000000ffffffa3,
    222   0x00000000ffffff85, 0x0000000100000000,
    223   0x00000000ffffffe2, 0x000000010000001d,
    224   0x000000010000001d, 0x000000010000007b,
    225   0x000000010000001e, 0x000000010000007c,
    226   0x000000010000001f, 0x000000000000007d,
    227   0x0000000000000020, 0x000000000000007e,
    228   0x0000000000000021, 0x000000000000007f,
    229   0x0000000000000022, 0x000000000000009d,
    230   0x0000000000000040, 0x00000000000000fa,
    231   0x000000000000009d, 0x00000000000000fb,
    232   0x000000000000009e, 0x00000000000000fc,
    233   0x000000000000009f, 0x000000000000807a,
    234   0x000000000000801d, 0x000000000000807b,
    235   0x000000000000801e, 0x000000000000807c,
    236   0x000000000000801f, 0x00000000333333b0,
    237   0x0000000033333353, 0x00000000555555d2,
    238   0x0000000055555575, 0x000000008000007a,
    239   0x000000008000001d, 0x000000008000007b,
    240   0x000000008000001e, 0x000000008000007c,
    241   0x000000008000001f, 0x000000008000007d,
    242   0x0000000080000020, 0x000000008000007e,
    243   0x0000000080000021, 0x00000000aaaaab27,
    244   0x00000000aaaaaaca, 0x00000000cccccd49,
    245   0x00000000ccccccec, 0x00000000ffff807d,
    246   0x00000000ffff8020, 0x00000000ffff807e,
    247   0x00000000ffff8021, 0x00000000ffff807f,
    248   0x00000000ffff8022, 0x00000000ffff8080,
    249   0x00000000ffff8023, 0x00000000fffffffd,
    250   0x00000000ffffffa0, 0x00000000fffffffe,
    251   0x00000000ffffffa1, 0x00000000ffffffff,
    252   0x00000000ffffffa2, 0x0000000100000000,
    253   0x00000000ffffffa3, 0x000000010000005d,
    254   0x0000000100000000, 0x000000010000007a,
    255   0x000000010000007a, 0x000000010000007c,
    256   0x000000010000007b, 0x000000010000007d,
    257   0x000000010000007c, 0x000000000000007e,
    258   0x000000000000007d, 0x000000000000007f,
    259   0x000000000000007e, 0x0000000000000080,
    260   0x000000000000007f, 0x000000000000009e,
    261   0x000000000000009d, 0x00000000000000fb,
    262   0x00000000000000fa, 0x00000000000000fc,
    263   0x00000000000000fb, 0x00000000000000fd,
    264   0x00000000000000fc, 0x000000000000807b,
    265   0x000000000000807a, 0x000000000000807c,
    266   0x000000000000807b, 0x000000000000807d,
    267   0x000000000000807c, 0x00000000333333b1,
    268   0x00000000333333b0, 0x00000000555555d3,
    269   0x00000000555555d2, 0x000000008000007b,
    270   0x000000008000007a, 0x000000008000007c,
    271   0x000000008000007b, 0x000000008000007d,
    272   0x000000008000007c, 0x000000008000007e,
    273   0x000000008000007d, 0x000000008000007f,
    274   0x000000008000007e, 0x00000000aaaaab28,
    275   0x00000000aaaaab27, 0x00000000cccccd4a,
    276   0x00000000cccccd49, 0x00000000ffff807e,
    277   0x00000000ffff807d, 0x00000000ffff807f,
    278   0x00000000ffff807e, 0x00000000ffff8080,
    279   0x00000000ffff807f, 0x00000000ffff8081,
    280   0x00000000ffff8080, 0x00000000fffffffe,
    281   0x00000000fffffffd, 0x00000000ffffffff,
    282   0x00000000fffffffe, 0x0000000100000000,
    283   0x00000000ffffffff, 0x0000000100000001,
    284   0x0000000100000000, 0x000000010000005e,
    285   0x000000010000005d, 0x000000010000007b,
    286   0x000000010000007b, 0x000000010000007d,
    287   0x000000010000007c, 0x000000010000007e,
    288   0x000000010000007d, 0x000000000000007f,
    289   0x000000000000007e, 0x0000000000000080,
    290   0x000000000000007f, 0x0000000000000081,
    291   0x0000000000000080, 0x000000000000009f,
    292   0x000000000000009e, 0x00000000000000fc,
    293   0x00000000000000fb, 0x00000000000000fd,
    294   0x00000000000000fc, 0x00000000000000fe,
    295   0x00000000000000fd, 0x000000000000807c,
    296   0x000000000000807b, 0x000000000000807d,
    297   0x000000000000807c, 0x000000000000807e,
    298   0x000000000000807d, 0x00000000333333b2,
    299   0x00000000333333b1, 0x00000000555555d4,
    300   0x00000000555555d3, 0x000000008000007c,
    301   0x000000008000007b, 0x000000008000007d,
    302   0x000000008000007c, 0x000000008000007e,
    303   0x000000008000007d, 0x000000008000007f,
    304   0x000000008000007e, 0x0000000080000080,
    305   0x000000008000007f, 0x00000000aaaaab29,
    306   0x00000000aaaaab28, 0x00000000cccccd4b,
    307   0x00000000cccccd4a, 0x00000000ffff807f,
    308   0x00000000ffff807e, 0x00000000ffff8080,
    309   0x00000000ffff807f, 0x00000000ffff8081,
    310   0x00000000ffff8080, 0x00000000ffff8082,
    311   0x00000000ffff8081, 0x00000000ffffffff,
    312   0x00000000fffffffe, 0x0000000100000000,
    313   0x00000000ffffffff, 0x0000000100000001,
    314   0x0000000100000000, 0x0000000100000002,
    315   0x0000000100000001, 0x000000010000005f,
    316   0x000000010000005e, 0x000000010000007c,
    317   0x000000010000007c, 0x0000000100007ffb,
    318   0x000000010000007d, 0x0000000100007ffc,
    319   0x000000010000007e, 0x0000000000007ffd,
    320   0x000000000000007f, 0x0000000000007ffe,
    321   0x0000000000000080, 0x0000000000007fff,
    322   0x0000000000000081, 0x000000000000801d,
    323   0x000000000000009f, 0x000000000000807a,
    324   0x00000000000000fc, 0x000000000000807b,
    325   0x00000000000000fd, 0x000000000000807c,
    326   0x00000000000000fe, 0x000000000000fffa,
    327   0x000000000000807c, 0x000000000000fffb,
    328   0x000000000000807d, 0x000000000000fffc,
    329   0x000000000000807e, 0x000000003333b330,
    330   0x00000000333333b2, 0x000000005555d552,
    331   0x00000000555555d4, 0x0000000080007ffa,
    332   0x000000008000007c, 0x0000000080007ffb,
    333   0x000000008000007d, 0x0000000080007ffc,
    334   0x000000008000007e, 0x0000000080007ffd,
    335   0x000000008000007f, 0x0000000080007ffe,
    336   0x0000000080000080, 0x00000000aaab2aa7,
    337   0x00000000aaaaab29, 0x00000000cccd4cc9,
    338   0x00000000cccccd4b, 0x00000000fffffffd,
    339   0x00000000ffff807f, 0x00000000fffffffe,
    340   0x00000000ffff8080, 0x00000000ffffffff,
    341   0x00000000ffff8081, 0x0000000100000000,
    342   0x00000000ffff8082, 0x0000000100007f7d,
    343   0x00000000ffffffff, 0x0000000100007f7e,
    344   0x0000000100000000, 0x0000000100007f7f,
    345   0x0000000100000001, 0x0000000100007f80,
    346   0x0000000100000002, 0x0000000100007fdd,
    347   0x000000010000005f, 0x0000000100007ffa,
    348   0x0000000100007ffa, 0x0000000100007ffc,
    349   0x0000000100007ffb, 0x0000000100007ffd,
    350   0x0000000100007ffc, 0x0000000000007ffe,
    351   0x0000000000007ffd, 0x0000000000007fff,
    352   0x0000000000007ffe, 0x0000000000008000,
    353   0x0000000000007fff, 0x000000000000801e,
    354   0x000000000000801d, 0x000000000000807b,
    355   0x000000000000807a, 0x000000000000807c,
    356   0x000000000000807b, 0x000000000000807d,
    357   0x000000000000807c, 0x000000000000fffb,
    358   0x000000000000fffa, 0x000000000000fffc,
    359   0x000000000000fffb, 0x000000000000fffd,
    360   0x000000000000fffc, 0x000000003333b331,
    361   0x000000003333b330, 0x000000005555d553,
    362   0x000000005555d552, 0x0000000080007ffb,
    363   0x0000000080007ffa, 0x0000000080007ffc,
    364   0x0000000080007ffb, 0x0000000080007ffd,
    365   0x0000000080007ffc, 0x0000000080007ffe,
    366   0x0000000080007ffd, 0x0000000080007fff,
    367   0x0000000080007ffe, 0x00000000aaab2aa8,
    368   0x00000000aaab2aa7, 0x00000000cccd4cca,
    369   0x00000000cccd4cc9, 0x00000000fffffffe,
    370   0x00000000fffffffd, 0x00000000ffffffff,
    371   0x00000000fffffffe, 0x0000000100000000,
    372   0x00000000ffffffff, 0x0000000100000001,
    373   0x0000000100000000, 0x0000000100007f7e,
    374   0x0000000100007f7d, 0x0000000100007f7f,
    375   0x0000000100007f7e, 0x0000000100007f80,
    376   0x0000000100007f7f, 0x0000000100007f81,
    377   0x0000000100007f80, 0x0000000100007fde,
    378   0x0000000100007fdd, 0x0000000100007ffb,
    379   0x0000000100007ffb, 0x0000000100007ffd,
    380   0x0000000100007ffc, 0x0000000100007ffe,
    381   0x0000000100007ffd, 0x0000000000007fff,
    382   0x0000000000007ffe, 0x0000000000008000,
    383   0x0000000000007fff, 0x0000000000008001,
    384   0x0000000000008000, 0x000000000000801f,
    385   0x000000000000801e, 0x000000000000807c,
    386   0x000000000000807b, 0x000000000000807d,
    387   0x000000000000807c, 0x000000000000807e,
    388   0x000000000000807d, 0x000000000000fffc,
    389   0x000000000000fffb, 0x000000000000fffd,
    390   0x000000000000fffc, 0x000000000000fffe,
    391   0x000000000000fffd, 0x000000003333b332,
    392   0x000000003333b331, 0x000000005555d554,
    393   0x000000005555d553, 0x0000000080007ffc,
    394   0x0000000080007ffb, 0x0000000080007ffd,
    395   0x0000000080007ffc, 0x0000000080007ffe,
    396   0x0000000080007ffd, 0x0000000080007fff,
    397   0x0000000080007ffe, 0x0000000080008000,
    398   0x0000000080007fff, 0x00000000aaab2aa9,
    399   0x00000000aaab2aa8, 0x00000000cccd4ccb,
    400   0x00000000cccd4cca, 0x00000000ffffffff,
    401   0x00000000fffffffe, 0x0000000100000000,
    402   0x00000000ffffffff, 0x0000000100000001,
    403   0x0000000100000000, 0x0000000100000002,
    404   0x0000000100000001, 0x0000000100007f7f,
    405   0x0000000100007f7e, 0x0000000100007f80,
    406   0x0000000100007f7f, 0x0000000100007f81,
    407   0x0000000100007f80, 0x0000000100007f82,
    408   0x0000000100007f81, 0x0000000100007fdf,
    409   0x0000000100007fde, 0x0000000100007ffc,
    410   0x0000000100007ffc, 0x0000000133333331,
    411   0x0000000100007ffd, 0x0000000133333332,
    412   0x0000000100007ffe, 0x0000000033333333,
    413   0x0000000000007fff, 0x0000000033333334,
    414   0x0000000000008000, 0x0000000033333335,
    415   0x0000000000008001, 0x0000000033333353,
    416   0x000000000000801f, 0x00000000333333b0,
    417   0x000000000000807c, 0x00000000333333b1,
    418   0x000000000000807d, 0x00000000333333b2,
    419   0x000000000000807e, 0x000000003333b330,
    420   0x000000000000fffc, 0x000000003333b331,
    421   0x000000000000fffd, 0x000000003333b332,
    422   0x000000000000fffe, 0x0000000066666666,
    423   0x000000003333b332, 0x0000000088888888,
    424   0x000000005555d554, 0x00000000b3333330,
    425   0x0000000080007ffc, 0x00000000b3333331,
    426   0x0000000080007ffd, 0x00000000b3333332,
    427   0x0000000080007ffe, 0x00000000b3333333,
    428   0x0000000080007fff, 0x00000000b3333334,
    429   0x0000000080008000, 0x00000000dddddddd,
    430   0x00000000aaab2aa9, 0x00000000ffffffff,
    431   0x00000000cccd4ccb, 0x000000013332b333,
    432   0x00000000ffffffff, 0x000000013332b334,
    433   0x0000000100000000, 0x000000013332b335,
    434   0x0000000100000001, 0x000000013332b336,
    435   0x0000000100000002, 0x00000001333332b3,
    436   0x0000000100007f7f, 0x00000001333332b4,
    437   0x0000000100007f80, 0x00000001333332b5,
    438   0x0000000100007f81, 0x00000001333332b6,
    439   0x0000000100007f82, 0x0000000133333313,
    440   0x0000000100007fdf, 0x0000000133333330,
    441   0x0000000133333330, 0x0000000155555553,
    442   0x0000000133333331, 0x0000000155555554,
    443   0x0000000133333332, 0x0000000055555555,
    444   0x0000000033333333, 0x0000000055555556,
    445   0x0000000033333334, 0x0000000055555557,
    446   0x0000000033333335, 0x0000000055555575,
    447   0x0000000033333353, 0x00000000555555d2,
    448   0x00000000333333b0, 0x00000000555555d3,
    449   0x00000000333333b1, 0x00000000555555d4,
    450   0x00000000333333b2, 0x000000005555d552,
    451   0x000000003333b330, 0x000000005555d553,
    452   0x000000003333b331, 0x000000005555d554,
    453   0x000000003333b332, 0x0000000088888888,
    454   0x0000000066666666, 0x00000000aaaaaaaa,
    455   0x0000000088888888, 0x00000000d5555552,
    456   0x00000000b3333330, 0x00000000d5555553,
    457   0x00000000b3333331, 0x00000000d5555554,
    458   0x00000000b3333332, 0x00000000d5555555,
    459   0x00000000b3333333, 0x00000000d5555556,
    460   0x00000000b3333334, 0x00000000ffffffff,
    461   0x00000000dddddddd, 0x0000000122222221,
    462   0x00000000ffffffff, 0x000000015554d555,
    463   0x000000013332b333, 0x000000015554d556,
    464   0x000000013332b334, 0x000000015554d557,
    465   0x000000013332b335, 0x000000015554d558,
    466   0x000000013332b336, 0x00000001555554d5,
    467   0x00000001333332b3, 0x00000001555554d6,
    468   0x00000001333332b4, 0x00000001555554d7,
    469   0x00000001333332b5, 0x00000001555554d8,
    470   0x00000001333332b6, 0x0000000155555535,
    471   0x0000000133333313, 0x0000000155555552,
    472   0x0000000155555552, 0x000000017ffffffb,
    473   0x0000000155555553, 0x000000017ffffffc,
    474   0x0000000155555554, 0x000000007ffffffd,
    475   0x0000000055555555, 0x000000007ffffffe,
    476   0x0000000055555556, 0x000000007fffffff,
    477   0x0000000055555557, 0x000000008000001d,
    478   0x0000000055555575, 0x000000008000007a,
    479   0x00000000555555d2, 0x000000008000007b,
    480   0x00000000555555d3, 0x000000008000007c,
    481   0x00000000555555d4, 0x0000000080007ffa,
    482   0x000000005555d552, 0x0000000080007ffb,
    483   0x000000005555d553, 0x0000000080007ffc,
    484   0x000000005555d554, 0x00000000b3333330,
    485   0x0000000088888888, 0x00000000d5555552,
    486   0x00000000aaaaaaaa, 0x00000000fffffffa,
    487   0x00000000d5555552, 0x00000000fffffffb,
    488   0x00000000d5555553, 0x00000000fffffffc,
    489   0x00000000d5555554, 0x00000000fffffffd,
    490   0x00000000d5555555, 0x00000000fffffffe,
    491   0x00000000d5555556, 0x000000012aaaaaa7,
    492   0x00000000ffffffff, 0x000000014cccccc9,
    493   0x0000000122222221, 0x000000017fff7ffd,
    494   0x000000015554d555, 0x000000017fff7ffe,
    495   0x000000015554d556, 0x000000017fff7fff,
    496   0x000000015554d557, 0x000000017fff8000,
    497   0x000000015554d558, 0x000000017fffff7d,
    498   0x00000001555554d5, 0x000000017fffff7e,
    499   0x00000001555554d6, 0x000000017fffff7f,
    500   0x00000001555554d7, 0x000000017fffff80,
    501   0x00000001555554d8, 0x000000017fffffdd,
    502   0x0000000155555535, 0x000000017ffffffa,
    503   0x000000017ffffffa, 0x000000017ffffffc,
    504   0x000000017ffffffb, 0x000000017ffffffd,
    505   0x000000017ffffffc, 0x000000007ffffffe,
    506   0x000000007ffffffd, 0x000000007fffffff,
    507   0x000000007ffffffe, 0x0000000080000000,
    508   0x000000007fffffff, 0x000000008000001e,
    509   0x000000008000001d, 0x000000008000007b,
    510   0x000000008000007a, 0x000000008000007c,
    511   0x000000008000007b, 0x000000008000007d,
    512   0x000000008000007c, 0x0000000080007ffb,
    513   0x0000000080007ffa, 0x0000000080007ffc,
    514   0x0000000080007ffb, 0x0000000080007ffd,
    515   0x0000000080007ffc, 0x00000000b3333331,
    516   0x00000000b3333330, 0x00000000d5555553,
    517   0x00000000d5555552, 0x00000000fffffffb,
    518   0x00000000fffffffa, 0x00000000fffffffc,
    519   0x00000000fffffffb, 0x00000000fffffffd,
    520   0x00000000fffffffc, 0x00000000fffffffe,
    521   0x00000000fffffffd, 0x00000000ffffffff,
    522   0x00000000fffffffe, 0x000000012aaaaaa8,
    523   0x000000012aaaaaa7, 0x000000014cccccca,
    524   0x000000014cccccc9, 0x000000017fff7ffe,
    525   0x000000017fff7ffd, 0x000000017fff7fff,
    526   0x000000017fff7ffe, 0x000000017fff8000,
    527   0x000000017fff7fff, 0x000000017fff8001,
    528   0x000000017fff8000, 0x000000017fffff7e,
    529   0x000000017fffff7d, 0x000000017fffff7f,
    530   0x000000017fffff7e, 0x000000017fffff80,
    531   0x000000017fffff7f, 0x000000017fffff81,
    532   0x000000017fffff80, 0x000000017fffffde,
    533   0x000000017fffffdd, 0x000000017ffffffb,
    534   0x000000017ffffffb, 0x000000017ffffffd,
    535   0x000000017ffffffc, 0x000000017ffffffe,
    536   0x000000017ffffffd, 0x000000007fffffff,
    537   0x000000007ffffffe, 0x0000000080000000,
    538   0x000000007fffffff, 0x0000000080000001,
    539   0x0000000080000000, 0x000000008000001f,
    540   0x000000008000001e, 0x000000008000007c,
    541   0x000000008000007b, 0x000000008000007d,
    542   0x000000008000007c, 0x000000008000007e,
    543   0x000000008000007d, 0x0000000080007ffc,
    544   0x0000000080007ffb, 0x0000000080007ffd,
    545   0x0000000080007ffc, 0x0000000080007ffe,
    546   0x0000000080007ffd, 0x00000000b3333332,
    547   0x00000000b3333331, 0x00000000d5555554,
    548   0x00000000d5555553, 0x00000000fffffffc,
    549   0x00000000fffffffb, 0x00000000fffffffd,
    550   0x00000000fffffffc, 0x00000000fffffffe,
    551   0x00000000fffffffd, 0x00000000ffffffff,
    552   0x00000000fffffffe, 0x0000000100000000,
    553   0x00000000ffffffff, 0x000000012aaaaaa9,
    554   0x000000012aaaaaa8, 0x000000014ccccccb,
    555   0x000000014cccccca, 0x000000017fff7fff,
    556   0x000000017fff7ffe, 0x000000017fff8000,
    557   0x000000017fff7fff, 0x000000017fff8001,
    558   0x000000017fff8000, 0x000000017fff8002,
    559   0x000000017fff8001, 0x000000017fffff7f,
    560   0x000000017fffff7e, 0x000000017fffff80,
    561   0x000000017fffff7f, 0x000000017fffff81,
    562   0x000000017fffff80, 0x000000017fffff82,
    563   0x000000017fffff81, 0x000000017fffffdf,
    564   0x000000017fffffde, 0x000000017ffffffc,
    565   0x000000017ffffffc, 0x000000017ffffffe,
    566   0x000000017ffffffd, 0x000000017fffffff,
    567   0x000000017ffffffe, 0x0000000080000000,
    568   0x000000007fffffff, 0x0000000080000001,
    569   0x0000000080000000, 0x0000000080000002,
    570   0x0000000080000001, 0x0000000080000020,
    571   0x000000008000001f, 0x000000008000007d,
    572   0x000000008000007c, 0x000000008000007e,
    573   0x000000008000007d, 0x000000008000007f,
    574   0x000000008000007e, 0x0000000080007ffd,
    575   0x0000000080007ffc, 0x0000000080007ffe,
    576   0x0000000080007ffd, 0x0000000080007fff,
    577   0x0000000080007ffe, 0x00000000b3333333,
    578   0x00000000b3333332, 0x00000000d5555555,
    579   0x00000000d5555554, 0x00000000fffffffd,
    580   0x00000000fffffffc, 0x00000000fffffffe,
    581   0x00000000fffffffd, 0x00000000ffffffff,
    582   0x00000000fffffffe, 0x0000000100000000,
    583   0x00000000ffffffff, 0x0000000100000001,
    584   0x0000000100000000, 0x000000012aaaaaaa,
    585   0x000000012aaaaaa9, 0x000000014ccccccc,
    586   0x000000014ccccccb, 0x000000017fff8000,
    587   0x000000017fff7fff, 0x000000017fff8001,
    588   0x000000017fff8000, 0x000000017fff8002,
    589   0x000000017fff8001, 0x000000017fff8003,
    590   0x000000017fff8002, 0x000000017fffff80,
    591   0x000000017fffff7f, 0x000000017fffff81,
    592   0x000000017fffff80, 0x000000017fffff82,
    593   0x000000017fffff81, 0x000000017fffff83,
    594   0x000000017fffff82, 0x000000017fffffe0,
    595   0x000000017fffffdf, 0x000000017ffffffd,
    596   0x000000017ffffffd, 0x000000017fffffff,
    597   0x000000017ffffffe, 0x0000000180000000,
    598   0x000000017fffffff, 0x0000000080000001,
    599   0x0000000080000000, 0x0000000080000002,
    600   0x0000000080000001, 0x0000000080000003,
    601   0x0000000080000002, 0x0000000080000021,
    602   0x0000000080000020, 0x000000008000007e,
    603   0x000000008000007d, 0x000000008000007f,
    604   0x000000008000007e, 0x0000000080000080,
    605   0x000000008000007f, 0x0000000080007ffe,
    606   0x0000000080007ffd, 0x0000000080007fff,
    607   0x0000000080007ffe, 0x0000000080008000,
    608   0x0000000080007fff, 0x00000000b3333334,
    609   0x00000000b3333333, 0x00000000d5555556,
    610   0x00000000d5555555, 0x00000000fffffffe,
    611   0x00000000fffffffd, 0x00000000ffffffff,
    612   0x00000000fffffffe, 0x0000000100000000,
    613   0x00000000ffffffff, 0x0000000100000001,
    614   0x0000000100000000, 0x0000000100000002,
    615   0x0000000100000001, 0x000000012aaaaaab,
    616   0x000000012aaaaaaa, 0x000000014ccccccd,
    617   0x000000014ccccccc, 0x000000017fff8001,
    618   0x000000017fff8000, 0x000000017fff8002,
    619   0x000000017fff8001, 0x000000017fff8003,
    620   0x000000017fff8002, 0x000000017fff8004,
    621   0x000000017fff8003, 0x000000017fffff81,
    622   0x000000017fffff80, 0x000000017fffff82,
    623   0x000000017fffff81, 0x000000017fffff83,
    624   0x000000017fffff82, 0x000000017fffff84,
    625   0x000000017fffff83, 0x000000017fffffe1,
    626   0x000000017fffffe0, 0x000000017ffffffe,
    627   0x000000017ffffffe, 0x00000001aaaaaaa8,
    628   0x000000017fffffff, 0x00000001aaaaaaa9,
    629   0x0000000180000000, 0x00000000aaaaaaaa,
    630   0x0000000080000001, 0x00000000aaaaaaab,
    631   0x0000000080000002, 0x00000000aaaaaaac,
    632   0x0000000080000003, 0x00000000aaaaaaca,
    633   0x0000000080000021, 0x00000000aaaaab27,
    634   0x000000008000007e, 0x00000000aaaaab28,
    635   0x000000008000007f, 0x00000000aaaaab29,
    636   0x0000000080000080, 0x00000000aaab2aa7,
    637   0x0000000080007ffe, 0x00000000aaab2aa8,
    638   0x0000000080007fff, 0x00000000aaab2aa9,
    639   0x0000000080008000, 0x00000000dddddddd,
    640   0x00000000b3333334, 0x00000000ffffffff,
    641   0x00000000d5555556, 0x000000012aaaaaa7,
    642   0x00000000fffffffe, 0x000000012aaaaaa8,
    643   0x00000000ffffffff, 0x000000012aaaaaa9,
    644   0x0000000100000000, 0x000000012aaaaaaa,
    645   0x0000000100000001, 0x000000012aaaaaab,
    646   0x0000000100000002, 0x0000000155555554,
    647   0x000000012aaaaaab, 0x0000000177777776,
    648   0x000000014ccccccd, 0x00000001aaaa2aaa,
    649   0x000000017fff8001, 0x00000001aaaa2aab,
    650   0x000000017fff8002, 0x00000001aaaa2aac,
    651   0x000000017fff8003, 0x00000001aaaa2aad,
    652   0x000000017fff8004, 0x00000001aaaaaa2a,
    653   0x000000017fffff81, 0x00000001aaaaaa2b,
    654   0x000000017fffff82, 0x00000001aaaaaa2c,
    655   0x000000017fffff83, 0x00000001aaaaaa2d,
    656   0x000000017fffff84, 0x00000001aaaaaa8a,
    657   0x000000017fffffe1, 0x00000001aaaaaaa7,
    658   0x00000001aaaaaaa7, 0x00000001ccccccca,
    659   0x00000001aaaaaaa8, 0x00000001cccccccb,
    660   0x00000001aaaaaaa9, 0x00000000cccccccc,
    661   0x00000000aaaaaaaa, 0x00000000cccccccd,
    662   0x00000000aaaaaaab, 0x00000000ccccccce,
    663   0x00000000aaaaaaac, 0x00000000ccccccec,
    664   0x00000000aaaaaaca, 0x00000000cccccd49,
    665   0x00000000aaaaab27, 0x00000000cccccd4a,
    666   0x00000000aaaaab28, 0x00000000cccccd4b,
    667   0x00000000aaaaab29, 0x00000000cccd4cc9,
    668   0x00000000aaab2aa7, 0x00000000cccd4cca,
    669   0x00000000aaab2aa8, 0x00000000cccd4ccb,
    670   0x00000000aaab2aa9, 0x00000000ffffffff,
    671   0x00000000dddddddd, 0x0000000122222221,
    672   0x00000000ffffffff, 0x000000014cccccc9,
    673   0x000000012aaaaaa7, 0x000000014cccccca,
    674   0x000000012aaaaaa8, 0x000000014ccccccb,
    675   0x000000012aaaaaa9, 0x000000014ccccccc,
    676   0x000000012aaaaaaa, 0x000000014ccccccd,
    677   0x000000012aaaaaab, 0x0000000177777776,
    678   0x0000000155555554, 0x0000000199999998,
    679   0x0000000177777776, 0x00000001cccc4ccc,
    680   0x00000001aaaa2aaa, 0x00000001cccc4ccd,
    681   0x00000001aaaa2aab, 0x00000001cccc4cce,
    682   0x00000001aaaa2aac, 0x00000001cccc4ccf,
    683   0x00000001aaaa2aad, 0x00000001cccccc4c,
    684   0x00000001aaaaaa2a, 0x00000001cccccc4d,
    685   0x00000001aaaaaa2b, 0x00000001cccccc4e,
    686   0x00000001aaaaaa2c, 0x00000001cccccc4f,
    687   0x00000001aaaaaa2d, 0x00000001ccccccac,
    688   0x00000001aaaaaa8a, 0x00000001ccccccc9,
    689   0x00000001ccccccc9, 0x00000001ffff7ffe,
    690   0x00000001ccccccca, 0x00000001ffff7fff,
    691   0x00000001cccccccb, 0x00000000ffff8000,
    692   0x00000000cccccccc, 0x00000000ffff8001,
    693   0x00000000cccccccd, 0x00000000ffff8002,
    694   0x00000000ccccccce, 0x00000000ffff8020,
    695   0x00000000ccccccec, 0x00000000ffff807d,
    696   0x00000000cccccd49, 0x00000000ffff807e,
    697   0x00000000cccccd4a, 0x00000000ffff807f,
    698   0x00000000cccccd4b, 0x00000000fffffffd,
    699   0x00000000cccd4cc9, 0x00000000fffffffe,
    700   0x00000000cccd4cca, 0x00000000ffffffff,
    701   0x00000000cccd4ccb, 0x000000013332b333,
    702   0x00000000ffffffff, 0x000000015554d555,
    703   0x0000000122222221, 0x000000017fff7ffd,
    704   0x000000014cccccc9, 0x000000017fff7ffe,
    705   0x000000014cccccca, 0x000000017fff7fff,
    706   0x000000014ccccccb, 0x000000017fff8000,
    707   0x000000014ccccccc, 0x000000017fff8001,
    708   0x000000014ccccccd, 0x00000001aaaa2aaa,
    709   0x0000000177777776, 0x00000001cccc4ccc,
    710   0x0000000199999998, 0x00000001ffff0000,
    711   0x00000001cccc4ccc, 0x00000001ffff0001,
    712   0x00000001cccc4ccd, 0x00000001ffff0002,
    713   0x00000001cccc4cce, 0x00000001ffff0003,
    714   0x00000001cccc4ccf, 0x00000001ffff7f80,
    715   0x00000001cccccc4c, 0x00000001ffff7f81,
    716   0x00000001cccccc4d, 0x00000001ffff7f82,
    717   0x00000001cccccc4e, 0x00000001ffff7f83,
    718   0x00000001cccccc4f, 0x00000001ffff7fe0,
    719   0x00000001ccccccac, 0x00000001ffff7ffd,
    720   0x00000001ffff7ffd, 0x00000001ffff7fff,
    721   0x00000001ffff7ffe, 0x00000001ffff8000,
    722   0x00000001ffff7fff, 0x00000000ffff8001,
    723   0x00000000ffff8000, 0x00000000ffff8002,
    724   0x00000000ffff8001, 0x00000000ffff8003,
    725   0x00000000ffff8002, 0x00000000ffff8021,
    726   0x00000000ffff8020, 0x00000000ffff807e,
    727   0x00000000ffff807d, 0x00000000ffff807f,
    728   0x00000000ffff807e, 0x00000000ffff8080,
    729   0x00000000ffff807f, 0x00000000fffffffe,
    730   0x00000000fffffffd, 0x00000000ffffffff,
    731   0x00000000fffffffe, 0x0000000100000000,
    732   0x00000000ffffffff, 0x000000013332b334,
    733   0x000000013332b333, 0x000000015554d556,
    734   0x000000015554d555, 0x000000017fff7ffe,
    735   0x000000017fff7ffd, 0x000000017fff7fff,
    736   0x000000017fff7ffe, 0x000000017fff8000,
    737   0x000000017fff7fff, 0x000000017fff8001,
    738   0x000000017fff8000, 0x000000017fff8002,
    739   0x000000017fff8001, 0x00000001aaaa2aab,
    740   0x00000001aaaa2aaa, 0x00000001cccc4ccd,
    741   0x00000001cccc4ccc, 0x00000001ffff0001,
    742   0x00000001ffff0000, 0x00000001ffff0002,
    743   0x00000001ffff0001, 0x00000001ffff0003,
    744   0x00000001ffff0002, 0x00000001ffff0004,
    745   0x00000001ffff0003, 0x00000001ffff7f81,
    746   0x00000001ffff7f80, 0x00000001ffff7f82,
    747   0x00000001ffff7f81, 0x00000001ffff7f83,
    748   0x00000001ffff7f82, 0x00000001ffff7f84,
    749   0x00000001ffff7f83, 0x00000001ffff7fe1,
    750   0x00000001ffff7fe0, 0x00000001ffff7ffe,
    751   0x00000001ffff7ffe, 0x00000001ffff8000,
    752   0x00000001ffff7fff, 0x00000001ffff8001,
    753   0x00000001ffff8000, 0x00000000ffff8002,
    754   0x00000000ffff8001, 0x00000000ffff8003,
    755   0x00000000ffff8002, 0x00000000ffff8004,
    756   0x00000000ffff8003, 0x00000000ffff8022,
    757   0x00000000ffff8021, 0x00000000ffff807f,
    758   0x00000000ffff807e, 0x00000000ffff8080,
    759   0x00000000ffff807f, 0x00000000ffff8081,
    760   0x00000000ffff8080, 0x00000000ffffffff,
    761   0x00000000fffffffe, 0x0000000100000000,
    762   0x00000000ffffffff, 0x0000000100000001,
    763   0x0000000100000000, 0x000000013332b335,
    764   0x000000013332b334, 0x000000015554d557,
    765   0x000000015554d556, 0x000000017fff7fff,
    766   0x000000017fff7ffe, 0x000000017fff8000,
    767   0x000000017fff7fff, 0x000000017fff8001,
    768   0x000000017fff8000, 0x000000017fff8002,
    769   0x000000017fff8001, 0x000000017fff8003,
    770   0x000000017fff8002, 0x00000001aaaa2aac,
    771   0x00000001aaaa2aab, 0x00000001cccc4cce,
    772   0x00000001cccc4ccd, 0x00000001ffff0002,
    773   0x00000001ffff0001, 0x00000001ffff0003,
    774   0x00000001ffff0002, 0x00000001ffff0004,
    775   0x00000001ffff0003, 0x00000001ffff0005,
    776   0x00000001ffff0004, 0x00000001ffff7f82,
    777   0x00000001ffff7f81, 0x00000001ffff7f83,
    778   0x00000001ffff7f82, 0x00000001ffff7f84,
    779   0x00000001ffff7f83, 0x00000001ffff7f85,
    780   0x00000001ffff7f84, 0x00000001ffff7fe2,
    781   0x00000001ffff7fe1, 0x00000001ffff7fff,
    782   0x00000001ffff7fff, 0x00000001ffff8001,
    783   0x00000001ffff8000, 0x00000001ffff8002,
    784   0x00000001ffff8001, 0x00000000ffff8003,
    785   0x00000000ffff8002, 0x00000000ffff8004,
    786   0x00000000ffff8003, 0x00000000ffff8005,
    787   0x00000000ffff8004, 0x00000000ffff8023,
    788   0x00000000ffff8022, 0x00000000ffff8080,
    789   0x00000000ffff807f, 0x00000000ffff8081,
    790   0x00000000ffff8080, 0x00000000ffff8082,
    791   0x00000000ffff8081, 0x0000000100000000,
    792   0x00000000ffffffff, 0x0000000100000001,
    793   0x0000000100000000, 0x0000000100000002,
    794   0x0000000100000001, 0x000000013332b336,
    795   0x000000013332b335, 0x000000015554d558,
    796   0x000000015554d557, 0x000000017fff8000,
    797   0x000000017fff7fff, 0x000000017fff8001,
    798   0x000000017fff8000, 0x000000017fff8002,
    799   0x000000017fff8001, 0x000000017fff8003,
    800   0x000000017fff8002, 0x000000017fff8004,
    801   0x000000017fff8003, 0x00000001aaaa2aad,
    802   0x00000001aaaa2aac, 0x00000001cccc4ccf,
    803   0x00000001cccc4cce, 0x00000001ffff0003,
    804   0x00000001ffff0002, 0x00000001ffff0004,
    805   0x00000001ffff0003, 0x00000001ffff0005,
    806   0x00000001ffff0004, 0x00000001ffff0006,
    807   0x00000001ffff0005, 0x00000001ffff7f83,
    808   0x00000001ffff7f82, 0x00000001ffff7f84,
    809   0x00000001ffff7f83, 0x00000001ffff7f85,
    810   0x00000001ffff7f84, 0x00000001ffff7f86,
    811   0x00000001ffff7f85, 0x00000001ffff7fe3,
    812   0x00000001ffff7fe2, 0x00000001ffff8000,
    813   0x00000001ffff8000, 0x00000001ffffff7e,
    814   0x00000001ffff8001, 0x00000001ffffff7f,
    815   0x00000001ffff8002, 0x00000000ffffff80,
    816   0x00000000ffff8003, 0x00000000ffffff81,
    817   0x00000000ffff8004, 0x00000000ffffff82,
    818   0x00000000ffff8005, 0x00000000ffffffa0,
    819   0x00000000ffff8023, 0x00000000fffffffd,
    820   0x00000000ffff8080, 0x00000000fffffffe,
    821   0x00000000ffff8081, 0x00000000ffffffff,
    822   0x00000000ffff8082, 0x0000000100007f7d,
    823   0x0000000100000000, 0x0000000100007f7e,
    824   0x0000000100000001, 0x0000000100007f7f,
    825   0x0000000100000002, 0x00000001333332b3,
    826   0x000000013332b336, 0x00000001555554d5,
    827   0x000000015554d558, 0x000000017fffff7d,
    828   0x000000017fff8000, 0x000000017fffff7e,
    829   0x000000017fff8001, 0x000000017fffff7f,
    830   0x000000017fff8002, 0x000000017fffff80,
    831   0x000000017fff8003, 0x000000017fffff81,
    832   0x000000017fff8004, 0x00000001aaaaaa2a,
    833   0x00000001aaaa2aad, 0x00000001cccccc4c,
    834   0x00000001cccc4ccf, 0x00000001ffff7f80,
    835   0x00000001ffff0003, 0x00000001ffff7f81,
    836   0x00000001ffff0004, 0x00000001ffff7f82,
    837   0x00000001ffff0005, 0x00000001ffff7f83,
    838   0x00000001ffff0006, 0x00000001ffffff00,
    839   0x00000001ffff7f83, 0x00000001ffffff01,
    840   0x00000001ffff7f84, 0x00000001ffffff02,
    841   0x00000001ffff7f85, 0x00000001ffffff03,
    842   0x00000001ffff7f86, 0x00000001ffffff60,
    843   0x00000001ffff7fe3, 0x00000001ffffff7d,
    844   0x00000001ffffff7d, 0x00000001ffffff7f,
    845   0x00000001ffffff7e, 0x00000001ffffff80,
    846   0x00000001ffffff7f, 0x00000000ffffff81,
    847   0x00000000ffffff80, 0x00000000ffffff82,
    848   0x00000000ffffff81, 0x00000000ffffff83,
    849   0x00000000ffffff82, 0x00000000ffffffa1,
    850   0x00000000ffffffa0, 0x00000000fffffffe,
    851   0x00000000fffffffd, 0x00000000ffffffff,
    852   0x00000000fffffffe, 0x0000000100000000,
    853   0x00000000ffffffff, 0x0000000100007f7e,
    854   0x0000000100007f7d, 0x0000000100007f7f,
    855   0x0000000100007f7e, 0x0000000100007f80,
    856   0x0000000100007f7f, 0x00000001333332b4,
    857   0x00000001333332b3, 0x00000001555554d6,
    858   0x00000001555554d5, 0x000000017fffff7e,
    859   0x000000017fffff7d, 0x000000017fffff7f,
    860   0x000000017fffff7e, 0x000000017fffff80,
    861   0x000000017fffff7f, 0x000000017fffff81,
    862   0x000000017fffff80, 0x000000017fffff82,
    863   0x000000017fffff81, 0x00000001aaaaaa2b,
    864   0x00000001aaaaaa2a, 0x00000001cccccc4d,
    865   0x00000001cccccc4c, 0x00000001ffff7f81,
    866   0x00000001ffff7f80, 0x00000001ffff7f82,
    867   0x00000001ffff7f81, 0x00000001ffff7f83,
    868   0x00000001ffff7f82, 0x00000001ffff7f84,
    869   0x00000001ffff7f83, 0x00000001ffffff01,
    870   0x00000001ffffff00, 0x00000001ffffff02,
    871   0x00000001ffffff01, 0x00000001ffffff03,
    872   0x00000001ffffff02, 0x00000001ffffff04,
    873   0x00000001ffffff03, 0x00000001ffffff61,
    874   0x00000001ffffff60, 0x00000001ffffff7e,
    875   0x00000001ffffff7e, 0x00000001ffffff80,
    876   0x00000001ffffff7f, 0x00000001ffffff81,
    877   0x00000001ffffff80, 0x00000000ffffff82,
    878   0x00000000ffffff81, 0x00000000ffffff83,
    879   0x00000000ffffff82, 0x00000000ffffff84,
    880   0x00000000ffffff83, 0x00000000ffffffa2,
    881   0x00000000ffffffa1, 0x00000000ffffffff,
    882   0x00000000fffffffe, 0x0000000100000000,
    883   0x00000000ffffffff, 0x0000000100000001,
    884   0x0000000100000000, 0x0000000100007f7f,
    885   0x0000000100007f7e, 0x0000000100007f80,
    886   0x0000000100007f7f, 0x0000000100007f81,
    887   0x0000000100007f80, 0x00000001333332b5,
    888   0x00000001333332b4, 0x00000001555554d7,
    889   0x00000001555554d6, 0x000000017fffff7f,
    890   0x000000017fffff7e, 0x000000017fffff80,
    891   0x000000017fffff7f, 0x000000017fffff81,
    892   0x000000017fffff80, 0x000000017fffff82,
    893   0x000000017fffff81, 0x000000017fffff83,
    894   0x000000017fffff82, 0x00000001aaaaaa2c,
    895   0x00000001aaaaaa2b, 0x00000001cccccc4e,
    896   0x00000001cccccc4d, 0x00000001ffff7f82,
    897   0x00000001ffff7f81, 0x00000001ffff7f83,
    898   0x00000001ffff7f82, 0x00000001ffff7f84,
    899   0x00000001ffff7f83, 0x00000001ffff7f85,
    900   0x00000001ffff7f84, 0x00000001ffffff02,
    901   0x00000001ffffff01, 0x00000001ffffff03,
    902   0x00000001ffffff02, 0x00000001ffffff04,
    903   0x00000001ffffff03, 0x00000001ffffff05,
    904   0x00000001ffffff04, 0x00000001ffffff62,
    905   0x00000001ffffff61, 0x00000001ffffff7f,
    906   0x00000001ffffff7f, 0x00000001ffffff81,
    907   0x00000001ffffff80, 0x00000001ffffff82,
    908   0x00000001ffffff81, 0x00000000ffffff83,
    909   0x00000000ffffff82, 0x00000000ffffff84,
    910   0x00000000ffffff83, 0x00000000ffffff85,
    911   0x00000000ffffff84, 0x00000000ffffffa3,
    912   0x00000000ffffffa2, 0x0000000100000000,
    913   0x00000000ffffffff, 0x0000000100000001,
    914   0x0000000100000000, 0x0000000100000002,
    915   0x0000000100000001, 0x0000000100007f80,
    916   0x0000000100007f7f, 0x0000000100007f81,
    917   0x0000000100007f80, 0x0000000100007f82,
    918   0x0000000100007f81, 0x00000001333332b6,
    919   0x00000001333332b5, 0x00000001555554d8,
    920   0x00000001555554d7, 0x000000017fffff80,
    921   0x000000017fffff7f, 0x000000017fffff81,
    922   0x000000017fffff80, 0x000000017fffff82,
    923   0x000000017fffff81, 0x000000017fffff83,
    924   0x000000017fffff82, 0x000000017fffff84,
    925   0x000000017fffff83, 0x00000001aaaaaa2d,
    926   0x00000001aaaaaa2c, 0x00000001cccccc4f,
    927   0x00000001cccccc4e, 0x00000001ffff7f83,
    928   0x00000001ffff7f82, 0x00000001ffff7f84,
    929   0x00000001ffff7f83, 0x00000001ffff7f85,
    930   0x00000001ffff7f84, 0x00000001ffff7f86,
    931   0x00000001ffff7f85, 0x00000001ffffff03,
    932   0x00000001ffffff02, 0x00000001ffffff04,
    933   0x00000001ffffff03, 0x00000001ffffff05,
    934   0x00000001ffffff04, 0x00000001ffffff06,
    935   0x00000001ffffff05, 0x00000001ffffff63,
    936   0x00000001ffffff62, 0x00000001ffffff80,
    937   0x00000001ffffff80, 0x00000001ffffffde,
    938   0x00000001ffffff81, 0x00000001ffffffdf,
    939   0x00000001ffffff82, 0x00000000ffffffe0,
    940   0x00000000ffffff83, 0x00000000ffffffe1,
    941   0x00000000ffffff84, 0x00000000ffffffe2,
    942   0x00000000ffffff85, 0x0000000100000000,
    943   0x00000000ffffffa3, 0x000000010000005d,
    944   0x0000000100000000, 0x000000010000005e,
    945   0x0000000100000001, 0x000000010000005f,
    946   0x0000000100000002, 0x0000000100007fdd,
    947   0x0000000100007f80, 0x0000000100007fde,
    948   0x0000000100007f81, 0x0000000100007fdf,
    949   0x0000000100007f82, 0x0000000133333313,
    950   0x00000001333332b6, 0x0000000155555535,
    951   0x00000001555554d8, 0x000000017fffffdd,
    952   0x000000017fffff80, 0x000000017fffffde,
    953   0x000000017fffff81, 0x000000017fffffdf,
    954   0x000000017fffff82, 0x000000017fffffe0,
    955   0x000000017fffff83, 0x000000017fffffe1,
    956   0x000000017fffff84, 0x00000001aaaaaa8a,
    957   0x00000001aaaaaa2d, 0x00000001ccccccac,
    958   0x00000001cccccc4f, 0x00000001ffff7fe0,
    959   0x00000001ffff7f83, 0x00000001ffff7fe1,
    960   0x00000001ffff7f84, 0x00000001ffff7fe2,
    961   0x00000001ffff7f85, 0x00000001ffff7fe3,
    962   0x00000001ffff7f86, 0x00000001ffffff60,
    963   0x00000001ffffff03, 0x00000001ffffff61,
    964   0x00000001ffffff04, 0x00000001ffffff62,
    965   0x00000001ffffff05, 0x00000001ffffff63,
    966   0x00000001ffffff06, 0x00000001ffffffc0,
    967   0x00000001ffffff63, 0x00000001ffffffdd,
    968   0x00000001ffffffdd, 0x00000001fffffffb,
    969   0x00000001ffffffde, 0x00000001fffffffc,
    970   0x00000001ffffffdf, 0x00000000fffffffd,
    971   0x00000000ffffffe0, 0x00000000fffffffe,
    972   0x00000000ffffffe1, 0x00000000ffffffff,
    973   0x00000000ffffffe2, 0x000000010000001d,
    974   0x0000000100000000, 0x000000010000007a,
    975   0x000000010000005d, 0x000000010000007b,
    976   0x000000010000005e, 0x000000010000007c,
    977   0x000000010000005f, 0x0000000100007ffa,
    978   0x0000000100007fdd, 0x0000000100007ffb,
    979   0x0000000100007fde, 0x0000000100007ffc,
    980   0x0000000100007fdf, 0x0000000133333330,
    981   0x0000000133333313, 0x0000000155555552,
    982   0x0000000155555535, 0x000000017ffffffa,
    983   0x000000017fffffdd, 0x000000017ffffffb,
    984   0x000000017fffffde, 0x000000017ffffffc,
    985   0x000000017fffffdf, 0x000000017ffffffd,
    986   0x000000017fffffe0, 0x000000017ffffffe,
    987   0x000000017fffffe1, 0x00000001aaaaaaa7,
    988   0x00000001aaaaaa8a, 0x00000001ccccccc9,
    989   0x00000001ccccccac, 0x00000001ffff7ffd,
    990   0x00000001ffff7fe0, 0x00000001ffff7ffe,
    991   0x00000001ffff7fe1, 0x00000001ffff7fff,
    992   0x00000001ffff7fe2, 0x00000001ffff8000,
    993   0x00000001ffff7fe3, 0x00000001ffffff7d,
    994   0x00000001ffffff60, 0x00000001ffffff7e,
    995   0x00000001ffffff61, 0x00000001ffffff7f,
    996   0x00000001ffffff62, 0x00000001ffffff80,
    997   0x00000001ffffff63, 0x00000001ffffffdd,
    998   0x00000001ffffffc0, 0x00000001fffffffa,
    999 };
   1000 const unsigned kExpectedCount_NEON_uaddl_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_UADDL_2D_TRACE_A64_H_
   1003