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_UADDW_2D_TRACE_A64_H_
     35 #define VIXL_SIM_UADDW_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_uaddw_2D[] = {
     38   0x0000000000007e7d, 0x0000000000007f00,
     39   0x0000000000007f7d, 0x00000000007ffd00,
     40   0x00000000007ffd7d, 0x0000000000000000,
     41   0x000000000000007d, 0x0000000000000001,
     42   0x000000000000007e, 0x0000000000000002,
     43   0x000000000000007f, 0x0000000000000020,
     44   0x000000000000009d, 0x000000000000007d,
     45   0x00000000000000fa, 0x000000000000007e,
     46   0x00000000000000fb, 0x000000000000007f,
     47   0x00000000000000fc, 0x0000000000007ffd,
     48   0x000000000000807a, 0x0000000000007ffe,
     49   0x000000000000807b, 0x0000000000007fff,
     50   0x000000000000807c, 0x0000000033333333,
     51   0x00000000333333b0, 0x0000000055555555,
     52   0x00000000555555d2, 0x000000007ffffffd,
     53   0x000000008000007a, 0x000000007ffffffe,
     54   0x000000008000007b, 0x000000007fffffff,
     55   0x000000008000007c, 0x0000000080000000,
     56   0x000000008000007d, 0x0000000080000001,
     57   0x000000008000007e, 0x00000000aaaaaaaa,
     58   0x00000000aaaaab27, 0x00000000cccccccc,
     59   0x00000000cccccd49, 0x00000000ffff8000,
     60   0x00000000ffff807d, 0x00000000ffff8001,
     61   0x00000000ffff807e, 0x00000000ffff8002,
     62   0x00000000ffff807f, 0x00000000ffff8003,
     63   0x00000000ffff8080, 0x00000000ffffff80,
     64   0x00000000fffffffd, 0x00000000ffffff81,
     65   0x00000000fffffffe, 0x00000000ffffff82,
     66   0x00000000ffffffff, 0x00000000ffffff83,
     67   0x0000000100000000, 0x00000000ffffffe0,
     68   0x000000010000005d, 0x00000000fffffffd,
     69   0x00000000fffffffd, 0x00000000ffffffff,
     70   0x00000000fffffffe, 0x0000000100000000,
     71   0x00000000ffffffff, 0x0000000000000001,
     72   0x0000000000000000, 0x0000000000000002,
     73   0x0000000000000001, 0x0000000000000003,
     74   0x0000000000000002, 0x0000000000000021,
     75   0x0000000000000020, 0x000000000000007e,
     76   0x000000000000007d, 0x000000000000007f,
     77   0x000000000000007e, 0x0000000000000080,
     78   0x000000000000007f, 0x0000000000007ffe,
     79   0x0000000000007ffd, 0x0000000000007fff,
     80   0x0000000000007ffe, 0x0000000000008000,
     81   0x0000000000007fff, 0x0000000033333334,
     82   0x0000000033333333, 0x0000000055555556,
     83   0x0000000055555555, 0x000000007ffffffe,
     84   0x000000007ffffffd, 0x000000007fffffff,
     85   0x000000007ffffffe, 0x0000000080000000,
     86   0x000000007fffffff, 0x0000000080000001,
     87   0x0000000080000000, 0x0000000080000002,
     88   0x0000000080000001, 0x00000000aaaaaaab,
     89   0x00000000aaaaaaaa, 0x00000000cccccccd,
     90   0x00000000cccccccc, 0x00000000ffff8001,
     91   0x00000000ffff8000, 0x00000000ffff8002,
     92   0x00000000ffff8001, 0x00000000ffff8003,
     93   0x00000000ffff8002, 0x00000000ffff8004,
     94   0x00000000ffff8003, 0x00000000ffffff81,
     95   0x00000000ffffff80, 0x00000000ffffff82,
     96   0x00000000ffffff81, 0x00000000ffffff83,
     97   0x00000000ffffff82, 0x00000000ffffff84,
     98   0x00000000ffffff83, 0x00000000ffffffe1,
     99   0x00000000ffffffe0, 0x00000000fffffffe,
    100   0x00000000fffffffe, 0x0000000100000000,
    101   0x00000000ffffffff, 0x0000000100000001,
    102   0x0000000100000000, 0x0000000000000002,
    103   0x0000000000000001, 0x0000000000000003,
    104   0x0000000000000002, 0x0000000000000004,
    105   0x0000000000000003, 0x0000000000000022,
    106   0x0000000000000021, 0x000000000000007f,
    107   0x000000000000007e, 0x0000000000000080,
    108   0x000000000000007f, 0x0000000000000081,
    109   0x0000000000000080, 0x0000000000007fff,
    110   0x0000000000007ffe, 0x0000000000008000,
    111   0x0000000000007fff, 0x0000000000008001,
    112   0x0000000000008000, 0x0000000033333335,
    113   0x0000000033333334, 0x0000000055555557,
    114   0x0000000055555556, 0x000000007fffffff,
    115   0x000000007ffffffe, 0x0000000080000000,
    116   0x000000007fffffff, 0x0000000080000001,
    117   0x0000000080000000, 0x0000000080000002,
    118   0x0000000080000001, 0x0000000080000003,
    119   0x0000000080000002, 0x00000000aaaaaaac,
    120   0x00000000aaaaaaab, 0x00000000ccccccce,
    121   0x00000000cccccccd, 0x00000000ffff8002,
    122   0x00000000ffff8001, 0x00000000ffff8003,
    123   0x00000000ffff8002, 0x00000000ffff8004,
    124   0x00000000ffff8003, 0x00000000ffff8005,
    125   0x00000000ffff8004, 0x00000000ffffff82,
    126   0x00000000ffffff81, 0x00000000ffffff83,
    127   0x00000000ffffff82, 0x00000000ffffff84,
    128   0x00000000ffffff83, 0x00000000ffffff85,
    129   0x00000000ffffff84, 0x00000000ffffffe2,
    130   0x00000000ffffffe1, 0x00000000ffffffff,
    131   0x00000000ffffffff, 0x000000010000003e,
    132   0x0000000100000000, 0x000000010000003f,
    133   0x0000000100000001, 0x0000000000000040,
    134   0x0000000000000002, 0x0000000000000041,
    135   0x0000000000000003, 0x0000000000000042,
    136   0x0000000000000004, 0x0000000000000060,
    137   0x0000000000000022, 0x00000000000000bd,
    138   0x000000000000007f, 0x00000000000000be,
    139   0x0000000000000080, 0x00000000000000bf,
    140   0x0000000000000081, 0x000000000000803d,
    141   0x0000000000007fff, 0x000000000000803e,
    142   0x0000000000008000, 0x000000000000803f,
    143   0x0000000000008001, 0x0000000033333373,
    144   0x0000000033333335, 0x0000000055555595,
    145   0x0000000055555557, 0x000000008000003d,
    146   0x000000007fffffff, 0x000000008000003e,
    147   0x0000000080000000, 0x000000008000003f,
    148   0x0000000080000001, 0x0000000080000040,
    149   0x0000000080000002, 0x0000000080000041,
    150   0x0000000080000003, 0x00000000aaaaaaea,
    151   0x00000000aaaaaaac, 0x00000000cccccd0c,
    152   0x00000000ccccccce, 0x00000000ffff8040,
    153   0x00000000ffff8002, 0x00000000ffff8041,
    154   0x00000000ffff8003, 0x00000000ffff8042,
    155   0x00000000ffff8004, 0x00000000ffff8043,
    156   0x00000000ffff8005, 0x00000000ffffffc0,
    157   0x00000000ffffff82, 0x00000000ffffffc1,
    158   0x00000000ffffff83, 0x00000000ffffffc2,
    159   0x00000000ffffff84, 0x00000000ffffffc3,
    160   0x00000000ffffff85, 0x0000000100000020,
    161   0x00000000ffffffe2, 0x000000010000003d,
    162   0x000000010000003d, 0x000000010000007b,
    163   0x000000010000003e, 0x000000010000007c,
    164   0x000000010000003f, 0x000000000000007d,
    165   0x0000000000000040, 0x000000000000007e,
    166   0x0000000000000041, 0x000000000000007f,
    167   0x0000000000000042, 0x000000000000009d,
    168   0x0000000000000060, 0x00000000000000fa,
    169   0x00000000000000bd, 0x00000000000000fb,
    170   0x00000000000000be, 0x00000000000000fc,
    171   0x00000000000000bf, 0x000000000000807a,
    172   0x000000000000803d, 0x000000000000807b,
    173   0x000000000000803e, 0x000000000000807c,
    174   0x000000000000803f, 0x00000000333333b0,
    175   0x0000000033333373, 0x00000000555555d2,
    176   0x0000000055555595, 0x000000008000007a,
    177   0x000000008000003d, 0x000000008000007b,
    178   0x000000008000003e, 0x000000008000007c,
    179   0x000000008000003f, 0x000000008000007d,
    180   0x0000000080000040, 0x000000008000007e,
    181   0x0000000080000041, 0x00000000aaaaab27,
    182   0x00000000aaaaaaea, 0x00000000cccccd49,
    183   0x00000000cccccd0c, 0x00000000ffff807d,
    184   0x00000000ffff8040, 0x00000000ffff807e,
    185   0x00000000ffff8041, 0x00000000ffff807f,
    186   0x00000000ffff8042, 0x00000000ffff8080,
    187   0x00000000ffff8043, 0x00000000fffffffd,
    188   0x00000000ffffffc0, 0x00000000fffffffe,
    189   0x00000000ffffffc1, 0x00000000ffffffff,
    190   0x00000000ffffffc2, 0x0000000100000000,
    191   0x00000000ffffffc3, 0x000000010000005d,
    192   0x0000000100000020, 0x000000010000007a,
    193   0x000000010000007a, 0x000000010000007c,
    194   0x000000010000007b, 0x000000010000007d,
    195   0x000000010000007c, 0x000000000000007e,
    196   0x000000000000007d, 0x000000000000007f,
    197   0x000000000000007e, 0x0000000000000080,
    198   0x000000000000007f, 0x000000000000009e,
    199   0x000000000000009d, 0x00000000000000fb,
    200   0x00000000000000fa, 0x00000000000000fc,
    201   0x00000000000000fb, 0x00000000000000fd,
    202   0x00000000000000fc, 0x000000000000807b,
    203   0x000000000000807a, 0x000000000000807c,
    204   0x000000000000807b, 0x000000000000807d,
    205   0x000000000000807c, 0x00000000333333b1,
    206   0x00000000333333b0, 0x00000000555555d3,
    207   0x00000000555555d2, 0x000000008000007b,
    208   0x000000008000007a, 0x000000008000007c,
    209   0x000000008000007b, 0x000000008000007d,
    210   0x000000008000007c, 0x000000008000007e,
    211   0x000000008000007d, 0x000000008000007f,
    212   0x000000008000007e, 0x00000000aaaaab28,
    213   0x00000000aaaaab27, 0x00000000cccccd4a,
    214   0x00000000cccccd49, 0x00000000ffff807e,
    215   0x00000000ffff807d, 0x00000000ffff807f,
    216   0x00000000ffff807e, 0x00000000ffff8080,
    217   0x00000000ffff807f, 0x00000000ffff8081,
    218   0x00000000ffff8080, 0x00000000fffffffe,
    219   0x00000000fffffffd, 0x00000000ffffffff,
    220   0x00000000fffffffe, 0x0000000100000000,
    221   0x00000000ffffffff, 0x0000000100000001,
    222   0x0000000100000000, 0x000000010000005e,
    223   0x000000010000005d, 0x000000010000007b,
    224   0x000000010000007b, 0x000000010000007d,
    225   0x000000010000007c, 0x000000010000007e,
    226   0x000000010000007d, 0x000000000000007f,
    227   0x000000000000007e, 0x0000000000000080,
    228   0x000000000000007f, 0x0000000000000081,
    229   0x0000000000000080, 0x000000000000009f,
    230   0x000000000000009e, 0x00000000000000fc,
    231   0x00000000000000fb, 0x00000000000000fd,
    232   0x00000000000000fc, 0x00000000000000fe,
    233   0x00000000000000fd, 0x000000000000807c,
    234   0x000000000000807b, 0x000000000000807d,
    235   0x000000000000807c, 0x000000000000807e,
    236   0x000000000000807d, 0x00000000333333b2,
    237   0x00000000333333b1, 0x00000000555555d4,
    238   0x00000000555555d3, 0x000000008000007c,
    239   0x000000008000007b, 0x000000008000007d,
    240   0x000000008000007c, 0x000000008000007e,
    241   0x000000008000007d, 0x000000008000007f,
    242   0x000000008000007e, 0x0000000080000080,
    243   0x000000008000007f, 0x00000000aaaaab29,
    244   0x00000000aaaaab28, 0x00000000cccccd4b,
    245   0x00000000cccccd4a, 0x00000000ffff807f,
    246   0x00000000ffff807e, 0x00000000ffff8080,
    247   0x00000000ffff807f, 0x00000000ffff8081,
    248   0x00000000ffff8080, 0x00000000ffff8082,
    249   0x00000000ffff8081, 0x00000000ffffffff,
    250   0x00000000fffffffe, 0x0000000100000000,
    251   0x00000000ffffffff, 0x0000000100000001,
    252   0x0000000100000000, 0x0000000100000002,
    253   0x0000000100000001, 0x000000010000005f,
    254   0x000000010000005e, 0x000000010000007c,
    255   0x000000010000007c, 0x0000000100007ffb,
    256   0x000000010000007d, 0x0000000100007ffc,
    257   0x000000010000007e, 0x0000000000007ffd,
    258   0x000000000000007f, 0x0000000000007ffe,
    259   0x0000000000000080, 0x0000000000007fff,
    260   0x0000000000000081, 0x000000000000801d,
    261   0x000000000000009f, 0x000000000000807a,
    262   0x00000000000000fc, 0x000000000000807b,
    263   0x00000000000000fd, 0x000000000000807c,
    264   0x00000000000000fe, 0x000000000000fffa,
    265   0x000000000000807c, 0x000000000000fffb,
    266   0x000000000000807d, 0x000000000000fffc,
    267   0x000000000000807e, 0x000000003333b330,
    268   0x00000000333333b2, 0x000000005555d552,
    269   0x00000000555555d4, 0x0000000080007ffa,
    270   0x000000008000007c, 0x0000000080007ffb,
    271   0x000000008000007d, 0x0000000080007ffc,
    272   0x000000008000007e, 0x0000000080007ffd,
    273   0x000000008000007f, 0x0000000080007ffe,
    274   0x0000000080000080, 0x00000000aaab2aa7,
    275   0x00000000aaaaab29, 0x00000000cccd4cc9,
    276   0x00000000cccccd4b, 0x00000000fffffffd,
    277   0x00000000ffff807f, 0x00000000fffffffe,
    278   0x00000000ffff8080, 0x00000000ffffffff,
    279   0x00000000ffff8081, 0x0000000100000000,
    280   0x00000000ffff8082, 0x0000000100007f7d,
    281   0x00000000ffffffff, 0x0000000100007f7e,
    282   0x0000000100000000, 0x0000000100007f7f,
    283   0x0000000100000001, 0x0000000100007f80,
    284   0x0000000100000002, 0x0000000100007fdd,
    285   0x000000010000005f, 0x0000000100007ffa,
    286   0x0000000100007ffa, 0x0000000100007ffc,
    287   0x0000000100007ffb, 0x0000000100007ffd,
    288   0x0000000100007ffc, 0x0000000000007ffe,
    289   0x0000000000007ffd, 0x0000000000007fff,
    290   0x0000000000007ffe, 0x0000000000008000,
    291   0x0000000000007fff, 0x000000000000801e,
    292   0x000000000000801d, 0x000000000000807b,
    293   0x000000000000807a, 0x000000000000807c,
    294   0x000000000000807b, 0x000000000000807d,
    295   0x000000000000807c, 0x000000000000fffb,
    296   0x000000000000fffa, 0x000000000000fffc,
    297   0x000000000000fffb, 0x000000000000fffd,
    298   0x000000000000fffc, 0x000000003333b331,
    299   0x000000003333b330, 0x000000005555d553,
    300   0x000000005555d552, 0x0000000080007ffb,
    301   0x0000000080007ffa, 0x0000000080007ffc,
    302   0x0000000080007ffb, 0x0000000080007ffd,
    303   0x0000000080007ffc, 0x0000000080007ffe,
    304   0x0000000080007ffd, 0x0000000080007fff,
    305   0x0000000080007ffe, 0x00000000aaab2aa8,
    306   0x00000000aaab2aa7, 0x00000000cccd4cca,
    307   0x00000000cccd4cc9, 0x00000000fffffffe,
    308   0x00000000fffffffd, 0x00000000ffffffff,
    309   0x00000000fffffffe, 0x0000000100000000,
    310   0x00000000ffffffff, 0x0000000100000001,
    311   0x0000000100000000, 0x0000000100007f7e,
    312   0x0000000100007f7d, 0x0000000100007f7f,
    313   0x0000000100007f7e, 0x0000000100007f80,
    314   0x0000000100007f7f, 0x0000000100007f81,
    315   0x0000000100007f80, 0x0000000100007fde,
    316   0x0000000100007fdd, 0x0000000100007ffb,
    317   0x0000000100007ffb, 0x0000000100007ffd,
    318   0x0000000100007ffc, 0x0000000100007ffe,
    319   0x0000000100007ffd, 0x0000000000007fff,
    320   0x0000000000007ffe, 0x0000000000008000,
    321   0x0000000000007fff, 0x0000000000008001,
    322   0x0000000000008000, 0x000000000000801f,
    323   0x000000000000801e, 0x000000000000807c,
    324   0x000000000000807b, 0x000000000000807d,
    325   0x000000000000807c, 0x000000000000807e,
    326   0x000000000000807d, 0x000000000000fffc,
    327   0x000000000000fffb, 0x000000000000fffd,
    328   0x000000000000fffc, 0x000000000000fffe,
    329   0x000000000000fffd, 0x000000003333b332,
    330   0x000000003333b331, 0x000000005555d554,
    331   0x000000005555d553, 0x0000000080007ffc,
    332   0x0000000080007ffb, 0x0000000080007ffd,
    333   0x0000000080007ffc, 0x0000000080007ffe,
    334   0x0000000080007ffd, 0x0000000080007fff,
    335   0x0000000080007ffe, 0x0000000080008000,
    336   0x0000000080007fff, 0x00000000aaab2aa9,
    337   0x00000000aaab2aa8, 0x00000000cccd4ccb,
    338   0x00000000cccd4cca, 0x00000000ffffffff,
    339   0x00000000fffffffe, 0x0000000100000000,
    340   0x00000000ffffffff, 0x0000000100000001,
    341   0x0000000100000000, 0x0000000100000002,
    342   0x0000000100000001, 0x0000000100007f7f,
    343   0x0000000100007f7e, 0x0000000100007f80,
    344   0x0000000100007f7f, 0x0000000100007f81,
    345   0x0000000100007f80, 0x0000000100007f82,
    346   0x0000000100007f81, 0x0000000100007fdf,
    347   0x0000000100007fde, 0x0000000100007ffc,
    348   0x0000000100007ffc, 0x000000017ffffffb,
    349   0x0000000100007ffd, 0x000000017ffffffc,
    350   0x0000000100007ffe, 0x000000007ffffffd,
    351   0x0000000000007fff, 0x000000007ffffffe,
    352   0x0000000000008000, 0x000000007fffffff,
    353   0x0000000000008001, 0x000000008000001d,
    354   0x000000000000801f, 0x000000008000007a,
    355   0x000000000000807c, 0x000000008000007b,
    356   0x000000000000807d, 0x000000008000007c,
    357   0x000000000000807e, 0x0000000080007ffa,
    358   0x000000000000fffc, 0x0000000080007ffb,
    359   0x000000000000fffd, 0x0000000080007ffc,
    360   0x000000000000fffe, 0x00000000b3333330,
    361   0x000000003333b332, 0x00000000d5555552,
    362   0x000000005555d554, 0x00000000fffffffa,
    363   0x0000000080007ffc, 0x00000000fffffffb,
    364   0x0000000080007ffd, 0x00000000fffffffc,
    365   0x0000000080007ffe, 0x00000000fffffffd,
    366   0x0000000080007fff, 0x00000000fffffffe,
    367   0x0000000080008000, 0x000000012aaaaaa7,
    368   0x00000000aaab2aa9, 0x000000014cccccc9,
    369   0x00000000cccd4ccb, 0x000000017fff7ffd,
    370   0x00000000ffffffff, 0x000000017fff7ffe,
    371   0x0000000100000000, 0x000000017fff7fff,
    372   0x0000000100000001, 0x000000017fff8000,
    373   0x0000000100000002, 0x000000017fffff7d,
    374   0x0000000100007f7f, 0x000000017fffff7e,
    375   0x0000000100007f80, 0x000000017fffff7f,
    376   0x0000000100007f81, 0x000000017fffff80,
    377   0x0000000100007f82, 0x000000017fffffdd,
    378   0x0000000100007fdf, 0x000000017ffffffa,
    379   0x000000017ffffffa, 0x000000017ffffffc,
    380   0x000000017ffffffb, 0x000000017ffffffd,
    381   0x000000017ffffffc, 0x000000007ffffffe,
    382   0x000000007ffffffd, 0x000000007fffffff,
    383   0x000000007ffffffe, 0x0000000080000000,
    384   0x000000007fffffff, 0x000000008000001e,
    385   0x000000008000001d, 0x000000008000007b,
    386   0x000000008000007a, 0x000000008000007c,
    387   0x000000008000007b, 0x000000008000007d,
    388   0x000000008000007c, 0x0000000080007ffb,
    389   0x0000000080007ffa, 0x0000000080007ffc,
    390   0x0000000080007ffb, 0x0000000080007ffd,
    391   0x0000000080007ffc, 0x00000000b3333331,
    392   0x00000000b3333330, 0x00000000d5555553,
    393   0x00000000d5555552, 0x00000000fffffffb,
    394   0x00000000fffffffa, 0x00000000fffffffc,
    395   0x00000000fffffffb, 0x00000000fffffffd,
    396   0x00000000fffffffc, 0x00000000fffffffe,
    397   0x00000000fffffffd, 0x00000000ffffffff,
    398   0x00000000fffffffe, 0x000000012aaaaaa8,
    399   0x000000012aaaaaa7, 0x000000014cccccca,
    400   0x000000014cccccc9, 0x000000017fff7ffe,
    401   0x000000017fff7ffd, 0x000000017fff7fff,
    402   0x000000017fff7ffe, 0x000000017fff8000,
    403   0x000000017fff7fff, 0x000000017fff8001,
    404   0x000000017fff8000, 0x000000017fffff7e,
    405   0x000000017fffff7d, 0x000000017fffff7f,
    406   0x000000017fffff7e, 0x000000017fffff80,
    407   0x000000017fffff7f, 0x000000017fffff81,
    408   0x000000017fffff80, 0x000000017fffffde,
    409   0x000000017fffffdd, 0x000000017ffffffb,
    410   0x000000017ffffffb, 0x000000017ffffffd,
    411   0x000000017ffffffc, 0x000000017ffffffe,
    412   0x000000017ffffffd, 0x000000007fffffff,
    413   0x000000007ffffffe, 0x0000000080000000,
    414   0x000000007fffffff, 0x0000000080000001,
    415   0x0000000080000000, 0x000000008000001f,
    416   0x000000008000001e, 0x000000008000007c,
    417   0x000000008000007b, 0x000000008000007d,
    418   0x000000008000007c, 0x000000008000007e,
    419   0x000000008000007d, 0x0000000080007ffc,
    420   0x0000000080007ffb, 0x0000000080007ffd,
    421   0x0000000080007ffc, 0x0000000080007ffe,
    422   0x0000000080007ffd, 0x00000000b3333332,
    423   0x00000000b3333331, 0x00000000d5555554,
    424   0x00000000d5555553, 0x00000000fffffffc,
    425   0x00000000fffffffb, 0x00000000fffffffd,
    426   0x00000000fffffffc, 0x00000000fffffffe,
    427   0x00000000fffffffd, 0x00000000ffffffff,
    428   0x00000000fffffffe, 0x0000000100000000,
    429   0x00000000ffffffff, 0x000000012aaaaaa9,
    430   0x000000012aaaaaa8, 0x000000014ccccccb,
    431   0x000000014cccccca, 0x000000017fff7fff,
    432   0x000000017fff7ffe, 0x000000017fff8000,
    433   0x000000017fff7fff, 0x000000017fff8001,
    434   0x000000017fff8000, 0x000000017fff8002,
    435   0x000000017fff8001, 0x000000017fffff7f,
    436   0x000000017fffff7e, 0x000000017fffff80,
    437   0x000000017fffff7f, 0x000000017fffff81,
    438   0x000000017fffff80, 0x000000017fffff82,
    439   0x000000017fffff81, 0x000000017fffffdf,
    440   0x000000017fffffde, 0x000000017ffffffc,
    441   0x000000017ffffffc, 0x3333333433333331,
    442   0x000000017ffffffd, 0x3333333433333332,
    443   0x000000017ffffffe, 0x3333333333333333,
    444   0x000000007fffffff, 0x3333333333333334,
    445   0x0000000080000000, 0x3333333333333335,
    446   0x0000000080000001, 0x3333333333333353,
    447   0x000000008000001f, 0x33333333333333b0,
    448   0x000000008000007c, 0x33333333333333b1,
    449   0x000000008000007d, 0x33333333333333b2,
    450   0x000000008000007e, 0x333333333333b330,
    451   0x0000000080007ffc, 0x333333333333b331,
    452   0x0000000080007ffd, 0x333333333333b332,
    453   0x0000000080007ffe, 0x3333333366666666,
    454   0x00000000b3333332, 0x3333333388888888,
    455   0x00000000d5555554, 0x33333333b3333330,
    456   0x00000000fffffffc, 0x33333333b3333331,
    457   0x00000000fffffffd, 0x33333333b3333332,
    458   0x00000000fffffffe, 0x33333333b3333333,
    459   0x00000000ffffffff, 0x33333333b3333334,
    460   0x0000000100000000, 0x33333333dddddddd,
    461   0x000000012aaaaaa9, 0x33333333ffffffff,
    462   0x000000014ccccccb, 0x333333343332b333,
    463   0x000000017fff7fff, 0x333333343332b334,
    464   0x000000017fff8000, 0x333333343332b335,
    465   0x000000017fff8001, 0x333333343332b336,
    466   0x000000017fff8002, 0x33333334333332b3,
    467   0x000000017fffff7f, 0x33333334333332b4,
    468   0x000000017fffff80, 0x33333334333332b5,
    469   0x000000017fffff81, 0x33333334333332b6,
    470   0x000000017fffff82, 0x3333333433333313,
    471   0x000000017fffffdf, 0x3333333433333330,
    472   0x3333333433333330, 0x5555555655555553,
    473   0x3333333433333331, 0x5555555655555554,
    474   0x3333333433333332, 0x5555555555555555,
    475   0x3333333333333333, 0x5555555555555556,
    476   0x3333333333333334, 0x5555555555555557,
    477   0x3333333333333335, 0x5555555555555575,
    478   0x3333333333333353, 0x55555555555555d2,
    479   0x33333333333333b0, 0x55555555555555d3,
    480   0x33333333333333b1, 0x55555555555555d4,
    481   0x33333333333333b2, 0x555555555555d552,
    482   0x333333333333b330, 0x555555555555d553,
    483   0x333333333333b331, 0x555555555555d554,
    484   0x333333333333b332, 0x5555555588888888,
    485   0x3333333366666666, 0x55555555aaaaaaaa,
    486   0x3333333388888888, 0x55555555d5555552,
    487   0x33333333b3333330, 0x55555555d5555553,
    488   0x33333333b3333331, 0x55555555d5555554,
    489   0x33333333b3333332, 0x55555555d5555555,
    490   0x33333333b3333333, 0x55555555d5555556,
    491   0x33333333b3333334, 0x55555555ffffffff,
    492   0x33333333dddddddd, 0x5555555622222221,
    493   0x33333333ffffffff, 0x555555565554d555,
    494   0x333333343332b333, 0x555555565554d556,
    495   0x333333343332b334, 0x555555565554d557,
    496   0x333333343332b335, 0x555555565554d558,
    497   0x333333343332b336, 0x55555556555554d5,
    498   0x33333334333332b3, 0x55555556555554d6,
    499   0x33333334333332b4, 0x55555556555554d7,
    500   0x33333334333332b5, 0x55555556555554d8,
    501   0x33333334333332b6, 0x5555555655555535,
    502   0x3333333433333313, 0x5555555655555552,
    503   0x5555555655555552, 0x80000000fffffffb,
    504   0x5555555655555553, 0x80000000fffffffc,
    505   0x5555555655555554, 0x7ffffffffffffffd,
    506   0x5555555555555555, 0x7ffffffffffffffe,
    507   0x5555555555555556, 0x7fffffffffffffff,
    508   0x5555555555555557, 0x800000000000001d,
    509   0x5555555555555575, 0x800000000000007a,
    510   0x55555555555555d2, 0x800000000000007b,
    511   0x55555555555555d3, 0x800000000000007c,
    512   0x55555555555555d4, 0x8000000000007ffa,
    513   0x555555555555d552, 0x8000000000007ffb,
    514   0x555555555555d553, 0x8000000000007ffc,
    515   0x555555555555d554, 0x8000000033333330,
    516   0x5555555588888888, 0x8000000055555552,
    517   0x55555555aaaaaaaa, 0x800000007ffffffa,
    518   0x55555555d5555552, 0x800000007ffffffb,
    519   0x55555555d5555553, 0x800000007ffffffc,
    520   0x55555555d5555554, 0x800000007ffffffd,
    521   0x55555555d5555555, 0x800000007ffffffe,
    522   0x55555555d5555556, 0x80000000aaaaaaa7,
    523   0x55555555ffffffff, 0x80000000ccccccc9,
    524   0x5555555622222221, 0x80000000ffff7ffd,
    525   0x555555565554d555, 0x80000000ffff7ffe,
    526   0x555555565554d556, 0x80000000ffff7fff,
    527   0x555555565554d557, 0x80000000ffff8000,
    528   0x555555565554d558, 0x80000000ffffff7d,
    529   0x55555556555554d5, 0x80000000ffffff7e,
    530   0x55555556555554d6, 0x80000000ffffff7f,
    531   0x55555556555554d7, 0x80000000ffffff80,
    532   0x55555556555554d8, 0x80000000ffffffdd,
    533   0x5555555655555535, 0x80000000fffffffa,
    534   0x80000000fffffffa, 0x80000000fffffffc,
    535   0x80000000fffffffb, 0x80000000fffffffd,
    536   0x80000000fffffffc, 0x7ffffffffffffffe,
    537   0x7ffffffffffffffd, 0x7fffffffffffffff,
    538   0x7ffffffffffffffe, 0x8000000000000000,
    539   0x7fffffffffffffff, 0x800000000000001e,
    540   0x800000000000001d, 0x800000000000007b,
    541   0x800000000000007a, 0x800000000000007c,
    542   0x800000000000007b, 0x800000000000007d,
    543   0x800000000000007c, 0x8000000000007ffb,
    544   0x8000000000007ffa, 0x8000000000007ffc,
    545   0x8000000000007ffb, 0x8000000000007ffd,
    546   0x8000000000007ffc, 0x8000000033333331,
    547   0x8000000033333330, 0x8000000055555553,
    548   0x8000000055555552, 0x800000007ffffffb,
    549   0x800000007ffffffa, 0x800000007ffffffc,
    550   0x800000007ffffffb, 0x800000007ffffffd,
    551   0x800000007ffffffc, 0x800000007ffffffe,
    552   0x800000007ffffffd, 0x800000007fffffff,
    553   0x800000007ffffffe, 0x80000000aaaaaaa8,
    554   0x80000000aaaaaaa7, 0x80000000ccccccca,
    555   0x80000000ccccccc9, 0x80000000ffff7ffe,
    556   0x80000000ffff7ffd, 0x80000000ffff7fff,
    557   0x80000000ffff7ffe, 0x80000000ffff8000,
    558   0x80000000ffff7fff, 0x80000000ffff8001,
    559   0x80000000ffff8000, 0x80000000ffffff7e,
    560   0x80000000ffffff7d, 0x80000000ffffff7f,
    561   0x80000000ffffff7e, 0x80000000ffffff80,
    562   0x80000000ffffff7f, 0x80000000ffffff81,
    563   0x80000000ffffff80, 0x80000000ffffffde,
    564   0x80000000ffffffdd, 0x80000000fffffffb,
    565   0x80000000fffffffb, 0x80000000fffffffd,
    566   0x80000000fffffffc, 0x80000000fffffffe,
    567   0x80000000fffffffd, 0x7fffffffffffffff,
    568   0x7ffffffffffffffe, 0x8000000000000000,
    569   0x7fffffffffffffff, 0x8000000000000001,
    570   0x8000000000000000, 0x800000000000001f,
    571   0x800000000000001e, 0x800000000000007c,
    572   0x800000000000007b, 0x800000000000007d,
    573   0x800000000000007c, 0x800000000000007e,
    574   0x800000000000007d, 0x8000000000007ffc,
    575   0x8000000000007ffb, 0x8000000000007ffd,
    576   0x8000000000007ffc, 0x8000000000007ffe,
    577   0x8000000000007ffd, 0x8000000033333332,
    578   0x8000000033333331, 0x8000000055555554,
    579   0x8000000055555553, 0x800000007ffffffc,
    580   0x800000007ffffffb, 0x800000007ffffffd,
    581   0x800000007ffffffc, 0x800000007ffffffe,
    582   0x800000007ffffffd, 0x800000007fffffff,
    583   0x800000007ffffffe, 0x8000000080000000,
    584   0x800000007fffffff, 0x80000000aaaaaaa9,
    585   0x80000000aaaaaaa8, 0x80000000cccccccb,
    586   0x80000000ccccccca, 0x80000000ffff7fff,
    587   0x80000000ffff7ffe, 0x80000000ffff8000,
    588   0x80000000ffff7fff, 0x80000000ffff8001,
    589   0x80000000ffff8000, 0x80000000ffff8002,
    590   0x80000000ffff8001, 0x80000000ffffff7f,
    591   0x80000000ffffff7e, 0x80000000ffffff80,
    592   0x80000000ffffff7f, 0x80000000ffffff81,
    593   0x80000000ffffff80, 0x80000000ffffff82,
    594   0x80000000ffffff81, 0x80000000ffffffdf,
    595   0x80000000ffffffde, 0x80000000fffffffc,
    596   0x80000000fffffffc, 0x80000000fffffffe,
    597   0x80000000fffffffd, 0x80000000ffffffff,
    598   0x80000000fffffffe, 0x8000000000000000,
    599   0x7fffffffffffffff, 0x8000000000000001,
    600   0x8000000000000000, 0x8000000000000002,
    601   0x8000000000000001, 0x8000000000000020,
    602   0x800000000000001f, 0x800000000000007d,
    603   0x800000000000007c, 0x800000000000007e,
    604   0x800000000000007d, 0x800000000000007f,
    605   0x800000000000007e, 0x8000000000007ffd,
    606   0x8000000000007ffc, 0x8000000000007ffe,
    607   0x8000000000007ffd, 0x8000000000007fff,
    608   0x8000000000007ffe, 0x8000000033333333,
    609   0x8000000033333332, 0x8000000055555555,
    610   0x8000000055555554, 0x800000007ffffffd,
    611   0x800000007ffffffc, 0x800000007ffffffe,
    612   0x800000007ffffffd, 0x800000007fffffff,
    613   0x800000007ffffffe, 0x8000000080000000,
    614   0x800000007fffffff, 0x8000000080000001,
    615   0x8000000080000000, 0x80000000aaaaaaaa,
    616   0x80000000aaaaaaa9, 0x80000000cccccccc,
    617   0x80000000cccccccb, 0x80000000ffff8000,
    618   0x80000000ffff7fff, 0x80000000ffff8001,
    619   0x80000000ffff8000, 0x80000000ffff8002,
    620   0x80000000ffff8001, 0x80000000ffff8003,
    621   0x80000000ffff8002, 0x80000000ffffff80,
    622   0x80000000ffffff7f, 0x80000000ffffff81,
    623   0x80000000ffffff80, 0x80000000ffffff82,
    624   0x80000000ffffff81, 0x80000000ffffff83,
    625   0x80000000ffffff82, 0x80000000ffffffe0,
    626   0x80000000ffffffdf, 0x80000000fffffffd,
    627   0x80000000fffffffd, 0x80000000ffffffff,
    628   0x80000000fffffffe, 0x8000000100000000,
    629   0x80000000ffffffff, 0x8000000000000001,
    630   0x8000000000000000, 0x8000000000000002,
    631   0x8000000000000001, 0x8000000000000003,
    632   0x8000000000000002, 0x8000000000000021,
    633   0x8000000000000020, 0x800000000000007e,
    634   0x800000000000007d, 0x800000000000007f,
    635   0x800000000000007e, 0x8000000000000080,
    636   0x800000000000007f, 0x8000000000007ffe,
    637   0x8000000000007ffd, 0x8000000000007fff,
    638   0x8000000000007ffe, 0x8000000000008000,
    639   0x8000000000007fff, 0x8000000033333334,
    640   0x8000000033333333, 0x8000000055555556,
    641   0x8000000055555555, 0x800000007ffffffe,
    642   0x800000007ffffffd, 0x800000007fffffff,
    643   0x800000007ffffffe, 0x8000000080000000,
    644   0x800000007fffffff, 0x8000000080000001,
    645   0x8000000080000000, 0x8000000080000002,
    646   0x8000000080000001, 0x80000000aaaaaaab,
    647   0x80000000aaaaaaaa, 0x80000000cccccccd,
    648   0x80000000cccccccc, 0x80000000ffff8001,
    649   0x80000000ffff8000, 0x80000000ffff8002,
    650   0x80000000ffff8001, 0x80000000ffff8003,
    651   0x80000000ffff8002, 0x80000000ffff8004,
    652   0x80000000ffff8003, 0x80000000ffffff81,
    653   0x80000000ffffff80, 0x80000000ffffff82,
    654   0x80000000ffffff81, 0x80000000ffffff83,
    655   0x80000000ffffff82, 0x80000000ffffff84,
    656   0x80000000ffffff83, 0x80000000ffffffe1,
    657   0x80000000ffffffe0, 0x80000000fffffffe,
    658   0x80000000fffffffe, 0x8000000100000000,
    659   0x80000000ffffffff, 0x8000000100000001,
    660   0x8000000100000000, 0x8000000000000002,
    661   0x8000000000000001, 0x8000000000000003,
    662   0x8000000000000002, 0x8000000000000004,
    663   0x8000000000000003, 0x8000000000000022,
    664   0x8000000000000021, 0x800000000000007f,
    665   0x800000000000007e, 0x8000000000000080,
    666   0x800000000000007f, 0x8000000000000081,
    667   0x8000000000000080, 0x8000000000007fff,
    668   0x8000000000007ffe, 0x8000000000008000,
    669   0x8000000000007fff, 0x8000000000008001,
    670   0x8000000000008000, 0x8000000033333335,
    671   0x8000000033333334, 0x8000000055555557,
    672   0x8000000055555556, 0x800000007fffffff,
    673   0x800000007ffffffe, 0x8000000080000000,
    674   0x800000007fffffff, 0x8000000080000001,
    675   0x8000000080000000, 0x8000000080000002,
    676   0x8000000080000001, 0x8000000080000003,
    677   0x8000000080000002, 0x80000000aaaaaaac,
    678   0x80000000aaaaaaab, 0x80000000ccccccce,
    679   0x80000000cccccccd, 0x80000000ffff8002,
    680   0x80000000ffff8001, 0x80000000ffff8003,
    681   0x80000000ffff8002, 0x80000000ffff8004,
    682   0x80000000ffff8003, 0x80000000ffff8005,
    683   0x80000000ffff8004, 0x80000000ffffff82,
    684   0x80000000ffffff81, 0x80000000ffffff83,
    685   0x80000000ffffff82, 0x80000000ffffff84,
    686   0x80000000ffffff83, 0x80000000ffffff85,
    687   0x80000000ffffff84, 0x80000000ffffffe2,
    688   0x80000000ffffffe1, 0x80000000ffffffff,
    689   0x80000000ffffffff, 0x8000000100000001,
    690   0x8000000100000000, 0x8000000100000002,
    691   0x8000000100000001, 0x8000000000000003,
    692   0x8000000000000002, 0x8000000000000004,
    693   0x8000000000000003, 0x8000000000000005,
    694   0x8000000000000004, 0x8000000000000023,
    695   0x8000000000000022, 0x8000000000000080,
    696   0x800000000000007f, 0x8000000000000081,
    697   0x8000000000000080, 0x8000000000000082,
    698   0x8000000000000081, 0x8000000000008000,
    699   0x8000000000007fff, 0x8000000000008001,
    700   0x8000000000008000, 0x8000000000008002,
    701   0x8000000000008001, 0x8000000033333336,
    702   0x8000000033333335, 0x8000000055555558,
    703   0x8000000055555557, 0x8000000080000000,
    704   0x800000007fffffff, 0x8000000080000001,
    705   0x8000000080000000, 0x8000000080000002,
    706   0x8000000080000001, 0x8000000080000003,
    707   0x8000000080000002, 0x8000000080000004,
    708   0x8000000080000003, 0x80000000aaaaaaad,
    709   0x80000000aaaaaaac, 0x80000000cccccccf,
    710   0x80000000ccccccce, 0x80000000ffff8003,
    711   0x80000000ffff8002, 0x80000000ffff8004,
    712   0x80000000ffff8003, 0x80000000ffff8005,
    713   0x80000000ffff8004, 0x80000000ffff8006,
    714   0x80000000ffff8005, 0x80000000ffffff83,
    715   0x80000000ffffff82, 0x80000000ffffff84,
    716   0x80000000ffffff83, 0x80000000ffffff85,
    717   0x80000000ffffff84, 0x80000000ffffff86,
    718   0x80000000ffffff85, 0x80000000ffffffe3,
    719   0x80000000ffffffe2, 0x8000000100000000,
    720   0x8000000100000000, 0xaaaaaaabaaaaaaa8,
    721   0x8000000100000001, 0xaaaaaaabaaaaaaa9,
    722   0x8000000100000002, 0xaaaaaaaaaaaaaaaa,
    723   0x8000000000000003, 0xaaaaaaaaaaaaaaab,
    724   0x8000000000000004, 0xaaaaaaaaaaaaaaac,
    725   0x8000000000000005, 0xaaaaaaaaaaaaaaca,
    726   0x8000000000000023, 0xaaaaaaaaaaaaab27,
    727   0x8000000000000080, 0xaaaaaaaaaaaaab28,
    728   0x8000000000000081, 0xaaaaaaaaaaaaab29,
    729   0x8000000000000082, 0xaaaaaaaaaaab2aa7,
    730   0x8000000000008000, 0xaaaaaaaaaaab2aa8,
    731   0x8000000000008001, 0xaaaaaaaaaaab2aa9,
    732   0x8000000000008002, 0xaaaaaaaadddddddd,
    733   0x8000000033333336, 0xaaaaaaaaffffffff,
    734   0x8000000055555558, 0xaaaaaaab2aaaaaa7,
    735   0x8000000080000000, 0xaaaaaaab2aaaaaa8,
    736   0x8000000080000001, 0xaaaaaaab2aaaaaa9,
    737   0x8000000080000002, 0xaaaaaaab2aaaaaaa,
    738   0x8000000080000003, 0xaaaaaaab2aaaaaab,
    739   0x8000000080000004, 0xaaaaaaab55555554,
    740   0x80000000aaaaaaad, 0xaaaaaaab77777776,
    741   0x80000000cccccccf, 0xaaaaaaabaaaa2aaa,
    742   0x80000000ffff8003, 0xaaaaaaabaaaa2aab,
    743   0x80000000ffff8004, 0xaaaaaaabaaaa2aac,
    744   0x80000000ffff8005, 0xaaaaaaabaaaa2aad,
    745   0x80000000ffff8006, 0xaaaaaaabaaaaaa2a,
    746   0x80000000ffffff83, 0xaaaaaaabaaaaaa2b,
    747   0x80000000ffffff84, 0xaaaaaaabaaaaaa2c,
    748   0x80000000ffffff85, 0xaaaaaaabaaaaaa2d,
    749   0x80000000ffffff86, 0xaaaaaaabaaaaaa8a,
    750   0x80000000ffffffe3, 0xaaaaaaabaaaaaaa7,
    751   0xaaaaaaabaaaaaaa7, 0xcccccccdccccccca,
    752   0xaaaaaaabaaaaaaa8, 0xcccccccdcccccccb,
    753   0xaaaaaaabaaaaaaa9, 0xcccccccccccccccc,
    754   0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccd,
    755   0xaaaaaaaaaaaaaaab, 0xccccccccccccccce,
    756   0xaaaaaaaaaaaaaaac, 0xccccccccccccccec,
    757   0xaaaaaaaaaaaaaaca, 0xcccccccccccccd49,
    758   0xaaaaaaaaaaaaab27, 0xcccccccccccccd4a,
    759   0xaaaaaaaaaaaaab28, 0xcccccccccccccd4b,
    760   0xaaaaaaaaaaaaab29, 0xcccccccccccd4cc9,
    761   0xaaaaaaaaaaab2aa7, 0xcccccccccccd4cca,
    762   0xaaaaaaaaaaab2aa8, 0xcccccccccccd4ccb,
    763   0xaaaaaaaaaaab2aa9, 0xccccccccffffffff,
    764   0xaaaaaaaadddddddd, 0xcccccccd22222221,
    765   0xaaaaaaaaffffffff, 0xcccccccd4cccccc9,
    766   0xaaaaaaab2aaaaaa7, 0xcccccccd4cccccca,
    767   0xaaaaaaab2aaaaaa8, 0xcccccccd4ccccccb,
    768   0xaaaaaaab2aaaaaa9, 0xcccccccd4ccccccc,
    769   0xaaaaaaab2aaaaaaa, 0xcccccccd4ccccccd,
    770   0xaaaaaaab2aaaaaab, 0xcccccccd77777776,
    771   0xaaaaaaab55555554, 0xcccccccd99999998,
    772   0xaaaaaaab77777776, 0xcccccccdcccc4ccc,
    773   0xaaaaaaabaaaa2aaa, 0xcccccccdcccc4ccd,
    774   0xaaaaaaabaaaa2aab, 0xcccccccdcccc4cce,
    775   0xaaaaaaabaaaa2aac, 0xcccccccdcccc4ccf,
    776   0xaaaaaaabaaaa2aad, 0xcccccccdcccccc4c,
    777   0xaaaaaaabaaaaaa2a, 0xcccccccdcccccc4d,
    778   0xaaaaaaabaaaaaa2b, 0xcccccccdcccccc4e,
    779   0xaaaaaaabaaaaaa2c, 0xcccccccdcccccc4f,
    780   0xaaaaaaabaaaaaa2d, 0xcccccccdccccccac,
    781   0xaaaaaaabaaaaaa8a, 0xcccccccdccccccc9,
    782   0xcccccccdccccccc9, 0x000000007ffffffe,
    783   0xcccccccdccccccca, 0x000000007fffffff,
    784   0xcccccccdcccccccb, 0xffffffff80000000,
    785   0xcccccccccccccccc, 0xffffffff80000001,
    786   0xcccccccccccccccd, 0xffffffff80000002,
    787   0xccccccccccccccce, 0xffffffff80000020,
    788   0xccccccccccccccec, 0xffffffff8000007d,
    789   0xcccccccccccccd49, 0xffffffff8000007e,
    790   0xcccccccccccccd4a, 0xffffffff8000007f,
    791   0xcccccccccccccd4b, 0xffffffff80007ffd,
    792   0xcccccccccccd4cc9, 0xffffffff80007ffe,
    793   0xcccccccccccd4cca, 0xffffffff80007fff,
    794   0xcccccccccccd4ccb, 0xffffffffb3333333,
    795   0xccccccccffffffff, 0xffffffffd5555555,
    796   0xcccccccd22222221, 0xfffffffffffffffd,
    797   0xcccccccd4cccccc9, 0xfffffffffffffffe,
    798   0xcccccccd4cccccca, 0xffffffffffffffff,
    799   0xcccccccd4ccccccb, 0x0000000000000000,
    800   0xcccccccd4ccccccc, 0x0000000000000001,
    801   0xcccccccd4ccccccd, 0x000000002aaaaaaa,
    802   0xcccccccd77777776, 0x000000004ccccccc,
    803   0xcccccccd99999998, 0x000000007fff8000,
    804   0xcccccccdcccc4ccc, 0x000000007fff8001,
    805   0xcccccccdcccc4ccd, 0x000000007fff8002,
    806   0xcccccccdcccc4cce, 0x000000007fff8003,
    807   0xcccccccdcccc4ccf, 0x000000007fffff80,
    808   0xcccccccdcccccc4c, 0x000000007fffff81,
    809   0xcccccccdcccccc4d, 0x000000007fffff82,
    810   0xcccccccdcccccc4e, 0x000000007fffff83,
    811   0xcccccccdcccccc4f, 0x000000007fffffe0,
    812   0xcccccccdccccccac, 0x000000007ffffffd,
    813   0x000000007ffffffd, 0x000000007fffffff,
    814   0x000000007ffffffe, 0x0000000080000000,
    815   0x000000007fffffff, 0xffffffff80000001,
    816   0xffffffff80000000, 0xffffffff80000002,
    817   0xffffffff80000001, 0xffffffff80000003,
    818   0xffffffff80000002, 0xffffffff80000021,
    819   0xffffffff80000020, 0xffffffff8000007e,
    820   0xffffffff8000007d, 0xffffffff8000007f,
    821   0xffffffff8000007e, 0xffffffff80000080,
    822   0xffffffff8000007f, 0xffffffff80007ffe,
    823   0xffffffff80007ffd, 0xffffffff80007fff,
    824   0xffffffff80007ffe, 0xffffffff80008000,
    825   0xffffffff80007fff, 0xffffffffb3333334,
    826   0xffffffffb3333333, 0xffffffffd5555556,
    827   0xffffffffd5555555, 0xfffffffffffffffe,
    828   0xfffffffffffffffd, 0xffffffffffffffff,
    829   0xfffffffffffffffe, 0x0000000000000000,
    830   0xffffffffffffffff, 0x0000000000000001,
    831   0x0000000000000000, 0x0000000000000002,
    832   0x0000000000000001, 0x000000002aaaaaab,
    833   0x000000002aaaaaaa, 0x000000004ccccccd,
    834   0x000000004ccccccc, 0x000000007fff8001,
    835   0x000000007fff8000, 0x000000007fff8002,
    836   0x000000007fff8001, 0x000000007fff8003,
    837   0x000000007fff8002, 0x000000007fff8004,
    838   0x000000007fff8003, 0x000000007fffff81,
    839   0x000000007fffff80, 0x000000007fffff82,
    840   0x000000007fffff81, 0x000000007fffff83,
    841   0x000000007fffff82, 0x000000007fffff84,
    842   0x000000007fffff83, 0x000000007fffffe1,
    843   0x000000007fffffe0, 0x000000007ffffffe,
    844   0x000000007ffffffe, 0x0000000080000000,
    845   0x000000007fffffff, 0x0000000080000001,
    846   0x0000000080000000, 0xffffffff80000002,
    847   0xffffffff80000001, 0xffffffff80000003,
    848   0xffffffff80000002, 0xffffffff80000004,
    849   0xffffffff80000003, 0xffffffff80000022,
    850   0xffffffff80000021, 0xffffffff8000007f,
    851   0xffffffff8000007e, 0xffffffff80000080,
    852   0xffffffff8000007f, 0xffffffff80000081,
    853   0xffffffff80000080, 0xffffffff80007fff,
    854   0xffffffff80007ffe, 0xffffffff80008000,
    855   0xffffffff80007fff, 0xffffffff80008001,
    856   0xffffffff80008000, 0xffffffffb3333335,
    857   0xffffffffb3333334, 0xffffffffd5555557,
    858   0xffffffffd5555556, 0xffffffffffffffff,
    859   0xfffffffffffffffe, 0x0000000000000000,
    860   0xffffffffffffffff, 0x0000000000000001,
    861   0x0000000000000000, 0x0000000000000002,
    862   0x0000000000000001, 0x0000000000000003,
    863   0x0000000000000002, 0x000000002aaaaaac,
    864   0x000000002aaaaaab, 0x000000004cccccce,
    865   0x000000004ccccccd, 0x000000007fff8002,
    866   0x000000007fff8001, 0x000000007fff8003,
    867   0x000000007fff8002, 0x000000007fff8004,
    868   0x000000007fff8003, 0x000000007fff8005,
    869   0x000000007fff8004, 0x000000007fffff82,
    870   0x000000007fffff81, 0x000000007fffff83,
    871   0x000000007fffff82, 0x000000007fffff84,
    872   0x000000007fffff83, 0x000000007fffff85,
    873   0x000000007fffff84, 0x000000007fffffe2,
    874   0x000000007fffffe1, 0x000000007fffffff,
    875   0x000000007fffffff, 0x0000000080000001,
    876   0x0000000080000000, 0x0000000080000002,
    877   0x0000000080000001, 0xffffffff80000003,
    878   0xffffffff80000002, 0xffffffff80000004,
    879   0xffffffff80000003, 0xffffffff80000005,
    880   0xffffffff80000004, 0xffffffff80000023,
    881   0xffffffff80000022, 0xffffffff80000080,
    882   0xffffffff8000007f, 0xffffffff80000081,
    883   0xffffffff80000080, 0xffffffff80000082,
    884   0xffffffff80000081, 0xffffffff80008000,
    885   0xffffffff80007fff, 0xffffffff80008001,
    886   0xffffffff80008000, 0xffffffff80008002,
    887   0xffffffff80008001, 0xffffffffb3333336,
    888   0xffffffffb3333335, 0xffffffffd5555558,
    889   0xffffffffd5555557, 0x0000000000000000,
    890   0xffffffffffffffff, 0x0000000000000001,
    891   0x0000000000000000, 0x0000000000000002,
    892   0x0000000000000001, 0x0000000000000003,
    893   0x0000000000000002, 0x0000000000000004,
    894   0x0000000000000003, 0x000000002aaaaaad,
    895   0x000000002aaaaaac, 0x000000004ccccccf,
    896   0x000000004cccccce, 0x000000007fff8003,
    897   0x000000007fff8002, 0x000000007fff8004,
    898   0x000000007fff8003, 0x000000007fff8005,
    899   0x000000007fff8004, 0x000000007fff8006,
    900   0x000000007fff8005, 0x000000007fffff83,
    901   0x000000007fffff82, 0x000000007fffff84,
    902   0x000000007fffff83, 0x000000007fffff85,
    903   0x000000007fffff84, 0x000000007fffff86,
    904   0x000000007fffff85, 0x000000007fffffe3,
    905   0x000000007fffffe2, 0x0000000080000000,
    906   0x0000000080000000, 0x00000000ffff7ffe,
    907   0x0000000080000001, 0x00000000ffff7fff,
    908   0x0000000080000002, 0xffffffffffff8000,
    909   0xffffffff80000003, 0xffffffffffff8001,
    910   0xffffffff80000004, 0xffffffffffff8002,
    911   0xffffffff80000005, 0xffffffffffff8020,
    912   0xffffffff80000023, 0xffffffffffff807d,
    913   0xffffffff80000080, 0xffffffffffff807e,
    914   0xffffffff80000081, 0xffffffffffff807f,
    915   0xffffffff80000082, 0xfffffffffffffffd,
    916   0xffffffff80008000, 0xfffffffffffffffe,
    917   0xffffffff80008001, 0xffffffffffffffff,
    918   0xffffffff80008002, 0x000000003332b333,
    919   0xffffffffb3333336, 0x000000005554d555,
    920   0xffffffffd5555558, 0x000000007fff7ffd,
    921   0x0000000000000000, 0x000000007fff7ffe,
    922   0x0000000000000001, 0x000000007fff7fff,
    923   0x0000000000000002, 0x000000007fff8000,
    924   0x0000000000000003, 0x000000007fff8001,
    925   0x0000000000000004, 0x00000000aaaa2aaa,
    926   0x000000002aaaaaad, 0x00000000cccc4ccc,
    927   0x000000004ccccccf, 0x00000000ffff0000,
    928   0x000000007fff8003, 0x00000000ffff0001,
    929   0x000000007fff8004, 0x00000000ffff0002,
    930   0x000000007fff8005, 0x00000000ffff0003,
    931   0x000000007fff8006, 0x00000000ffff7f80,
    932   0x000000007fffff83, 0x00000000ffff7f81,
    933   0x000000007fffff84, 0x00000000ffff7f82,
    934   0x000000007fffff85, 0x00000000ffff7f83,
    935   0x000000007fffff86, 0x00000000ffff7fe0,
    936   0x000000007fffffe3, 0x00000000ffff7ffd,
    937   0x00000000ffff7ffd, 0x00000000ffff7fff,
    938   0x00000000ffff7ffe, 0x00000000ffff8000,
    939   0x00000000ffff7fff, 0xffffffffffff8001,
    940   0xffffffffffff8000, 0xffffffffffff8002,
    941   0xffffffffffff8001, 0xffffffffffff8003,
    942   0xffffffffffff8002, 0xffffffffffff8021,
    943   0xffffffffffff8020, 0xffffffffffff807e,
    944   0xffffffffffff807d, 0xffffffffffff807f,
    945   0xffffffffffff807e, 0xffffffffffff8080,
    946   0xffffffffffff807f, 0xfffffffffffffffe,
    947   0xfffffffffffffffd, 0xffffffffffffffff,
    948   0xfffffffffffffffe, 0x0000000000000000,
    949   0xffffffffffffffff, 0x000000003332b334,
    950   0x000000003332b333, 0x000000005554d556,
    951   0x000000005554d555, 0x000000007fff7ffe,
    952   0x000000007fff7ffd, 0x000000007fff7fff,
    953   0x000000007fff7ffe, 0x000000007fff8000,
    954   0x000000007fff7fff, 0x000000007fff8001,
    955   0x000000007fff8000, 0x000000007fff8002,
    956   0x000000007fff8001, 0x00000000aaaa2aab,
    957   0x00000000aaaa2aaa, 0x00000000cccc4ccd,
    958   0x00000000cccc4ccc, 0x00000000ffff0001,
    959   0x00000000ffff0000, 0x00000000ffff0002,
    960   0x00000000ffff0001, 0x00000000ffff0003,
    961   0x00000000ffff0002, 0x00000000ffff0004,
    962   0x00000000ffff0003, 0x00000000ffff7f81,
    963   0x00000000ffff7f80, 0x00000000ffff7f82,
    964   0x00000000ffff7f81, 0x00000000ffff7f83,
    965   0x00000000ffff7f82, 0x00000000ffff7f84,
    966   0x00000000ffff7f83, 0x00000000ffff7fe1,
    967   0x00000000ffff7fe0, 0x00000000ffff7ffe,
    968   0x00000000ffff7ffe, 0x00000000ffff8000,
    969   0x00000000ffff7fff, 0x00000000ffff8001,
    970   0x00000000ffff8000, 0xffffffffffff8002,
    971   0xffffffffffff8001, 0xffffffffffff8003,
    972   0xffffffffffff8002, 0xffffffffffff8004,
    973   0xffffffffffff8003, 0xffffffffffff8022,
    974   0xffffffffffff8021, 0xffffffffffff807f,
    975   0xffffffffffff807e, 0xffffffffffff8080,
    976   0xffffffffffff807f, 0xffffffffffff8081,
    977   0xffffffffffff8080, 0xffffffffffffffff,
    978   0xfffffffffffffffe, 0x0000000000000000,
    979   0xffffffffffffffff, 0x0000000000000001,
    980   0x0000000000000000, 0x000000003332b335,
    981   0x000000003332b334, 0x000000005554d557,
    982   0x000000005554d556, 0x000000007fff7fff,
    983   0x000000007fff7ffe, 0x000000007fff8000,
    984   0x000000007fff7fff, 0x000000007fff8001,
    985   0x000000007fff8000, 0x000000007fff8002,
    986   0x000000007fff8001, 0x000000007fff8003,
    987   0x000000007fff8002, 0x00000000aaaa2aac,
    988   0x00000000aaaa2aab, 0x00000000cccc4cce,
    989   0x00000000cccc4ccd, 0x00000000ffff0002,
    990   0x00000000ffff0001, 0x00000000ffff0003,
    991   0x00000000ffff0002, 0x00000000ffff0004,
    992   0x00000000ffff0003, 0x00000000ffff0005,
    993   0x00000000ffff0004, 0x00000000ffff7f82,
    994   0x00000000ffff7f81, 0x00000000ffff7f83,
    995   0x00000000ffff7f82, 0x00000000ffff7f84,
    996   0x00000000ffff7f83, 0x00000000ffff7f85,
    997   0x00000000ffff7f84, 0x00000000ffff7fe2,
    998   0x00000000ffff7fe1, 0x00000000ffff7fff,
    999   0x00000000ffff7fff, 0x00000000ffff8001,
   1000   0x00000000ffff8000, 0x00000000ffff8002,
   1001   0x00000000ffff8001, 0xffffffffffff8003,
   1002   0xffffffffffff8002, 0xffffffffffff8004,
   1003   0xffffffffffff8003, 0xffffffffffff8005,
   1004   0xffffffffffff8004, 0xffffffffffff8023,
   1005   0xffffffffffff8022, 0xffffffffffff8080,
   1006   0xffffffffffff807f, 0xffffffffffff8081,
   1007   0xffffffffffff8080, 0xffffffffffff8082,
   1008   0xffffffffffff8081, 0x0000000000000000,
   1009   0xffffffffffffffff, 0x0000000000000001,
   1010   0x0000000000000000, 0x0000000000000002,
   1011   0x0000000000000001, 0x000000003332b336,
   1012   0x000000003332b335, 0x000000005554d558,
   1013   0x000000005554d557, 0x000000007fff8000,
   1014   0x000000007fff7fff, 0x000000007fff8001,
   1015   0x000000007fff8000, 0x000000007fff8002,
   1016   0x000000007fff8001, 0x000000007fff8003,
   1017   0x000000007fff8002, 0x000000007fff8004,
   1018   0x000000007fff8003, 0x00000000aaaa2aad,
   1019   0x00000000aaaa2aac, 0x00000000cccc4ccf,
   1020   0x00000000cccc4cce, 0x00000000ffff0003,
   1021   0x00000000ffff0002, 0x00000000ffff0004,
   1022   0x00000000ffff0003, 0x00000000ffff0005,
   1023   0x00000000ffff0004, 0x00000000ffff0006,
   1024   0x00000000ffff0005, 0x00000000ffff7f83,
   1025   0x00000000ffff7f82, 0x00000000ffff7f84,
   1026   0x00000000ffff7f83, 0x00000000ffff7f85,
   1027   0x00000000ffff7f84, 0x00000000ffff7f86,
   1028   0x00000000ffff7f85, 0x00000000ffff7fe3,
   1029   0x00000000ffff7fe2, 0x00000000ffff8000,
   1030   0x00000000ffff8000, 0x00000000ffffff7e,
   1031   0x00000000ffff8001, 0x00000000ffffff7f,
   1032   0x00000000ffff8002, 0xffffffffffffff80,
   1033   0xffffffffffff8003, 0xffffffffffffff81,
   1034   0xffffffffffff8004, 0xffffffffffffff82,
   1035   0xffffffffffff8005, 0xffffffffffffffa0,
   1036   0xffffffffffff8023, 0xfffffffffffffffd,
   1037   0xffffffffffff8080, 0xfffffffffffffffe,
   1038   0xffffffffffff8081, 0xffffffffffffffff,
   1039   0xffffffffffff8082, 0x0000000000007f7d,
   1040   0x0000000000000000, 0x0000000000007f7e,
   1041   0x0000000000000001, 0x0000000000007f7f,
   1042   0x0000000000000002, 0x00000000333332b3,
   1043   0x000000003332b336, 0x00000000555554d5,
   1044   0x000000005554d558, 0x000000007fffff7d,
   1045   0x000000007fff8000, 0x000000007fffff7e,
   1046   0x000000007fff8001, 0x000000007fffff7f,
   1047   0x000000007fff8002, 0x000000007fffff80,
   1048   0x000000007fff8003, 0x000000007fffff81,
   1049   0x000000007fff8004, 0x00000000aaaaaa2a,
   1050   0x00000000aaaa2aad, 0x00000000cccccc4c,
   1051   0x00000000cccc4ccf, 0x00000000ffff7f80,
   1052   0x00000000ffff0003, 0x00000000ffff7f81,
   1053   0x00000000ffff0004, 0x00000000ffff7f82,
   1054   0x00000000ffff0005, 0x00000000ffff7f83,
   1055   0x00000000ffff0006, 0x00000000ffffff00,
   1056   0x00000000ffff7f83, 0x00000000ffffff01,
   1057   0x00000000ffff7f84, 0x00000000ffffff02,
   1058   0x00000000ffff7f85, 0x00000000ffffff03,
   1059   0x00000000ffff7f86, 0x00000000ffffff60,
   1060   0x00000000ffff7fe3, 0x00000000ffffff7d,
   1061   0x00000000ffffff7d, 0x00000000ffffff7f,
   1062   0x00000000ffffff7e, 0x00000000ffffff80,
   1063   0x00000000ffffff7f, 0xffffffffffffff81,
   1064   0xffffffffffffff80, 0xffffffffffffff82,
   1065   0xffffffffffffff81, 0xffffffffffffff83,
   1066   0xffffffffffffff82, 0xffffffffffffffa1,
   1067   0xffffffffffffffa0, 0xfffffffffffffffe,
   1068   0xfffffffffffffffd, 0xffffffffffffffff,
   1069   0xfffffffffffffffe, 0x0000000000000000,
   1070   0xffffffffffffffff, 0x0000000000007f7e,
   1071   0x0000000000007f7d, 0x0000000000007f7f,
   1072   0x0000000000007f7e, 0x0000000000007f80,
   1073   0x0000000000007f7f, 0x00000000333332b4,
   1074   0x00000000333332b3, 0x00000000555554d6,
   1075   0x00000000555554d5, 0x000000007fffff7e,
   1076   0x000000007fffff7d, 0x000000007fffff7f,
   1077   0x000000007fffff7e, 0x000000007fffff80,
   1078   0x000000007fffff7f, 0x000000007fffff81,
   1079   0x000000007fffff80, 0x000000007fffff82,
   1080   0x000000007fffff81, 0x00000000aaaaaa2b,
   1081   0x00000000aaaaaa2a, 0x00000000cccccc4d,
   1082   0x00000000cccccc4c, 0x00000000ffff7f81,
   1083   0x00000000ffff7f80, 0x00000000ffff7f82,
   1084   0x00000000ffff7f81, 0x00000000ffff7f83,
   1085   0x00000000ffff7f82, 0x00000000ffff7f84,
   1086   0x00000000ffff7f83, 0x00000000ffffff01,
   1087   0x00000000ffffff00, 0x00000000ffffff02,
   1088   0x00000000ffffff01, 0x00000000ffffff03,
   1089   0x00000000ffffff02, 0x00000000ffffff04,
   1090   0x00000000ffffff03, 0x00000000ffffff61,
   1091   0x00000000ffffff60, 0x00000000ffffff7e,
   1092   0x00000000ffffff7e, 0x00000000ffffff80,
   1093   0x00000000ffffff7f, 0x00000000ffffff81,
   1094   0x00000000ffffff80, 0xffffffffffffff82,
   1095   0xffffffffffffff81, 0xffffffffffffff83,
   1096   0xffffffffffffff82, 0xffffffffffffff84,
   1097   0xffffffffffffff83, 0xffffffffffffffa2,
   1098   0xffffffffffffffa1, 0xffffffffffffffff,
   1099   0xfffffffffffffffe, 0x0000000000000000,
   1100   0xffffffffffffffff, 0x0000000000000001,
   1101   0x0000000000000000, 0x0000000000007f7f,
   1102   0x0000000000007f7e, 0x0000000000007f80,
   1103   0x0000000000007f7f, 0x0000000000007f81,
   1104   0x0000000000007f80, 0x00000000333332b5,
   1105   0x00000000333332b4, 0x00000000555554d7,
   1106   0x00000000555554d6, 0x000000007fffff7f,
   1107   0x000000007fffff7e, 0x000000007fffff80,
   1108   0x000000007fffff7f, 0x000000007fffff81,
   1109   0x000000007fffff80, 0x000000007fffff82,
   1110   0x000000007fffff81, 0x000000007fffff83,
   1111   0x000000007fffff82, 0x00000000aaaaaa2c,
   1112   0x00000000aaaaaa2b, 0x00000000cccccc4e,
   1113   0x00000000cccccc4d, 0x00000000ffff7f82,
   1114   0x00000000ffff7f81, 0x00000000ffff7f83,
   1115   0x00000000ffff7f82, 0x00000000ffff7f84,
   1116   0x00000000ffff7f83, 0x00000000ffff7f85,
   1117   0x00000000ffff7f84, 0x00000000ffffff02,
   1118   0x00000000ffffff01, 0x00000000ffffff03,
   1119   0x00000000ffffff02, 0x00000000ffffff04,
   1120   0x00000000ffffff03, 0x00000000ffffff05,
   1121   0x00000000ffffff04, 0x00000000ffffff62,
   1122   0x00000000ffffff61, 0x00000000ffffff7f,
   1123   0x00000000ffffff7f, 0x00000000ffffff81,
   1124   0x00000000ffffff80, 0x00000000ffffff82,
   1125   0x00000000ffffff81, 0xffffffffffffff83,
   1126   0xffffffffffffff82, 0xffffffffffffff84,
   1127   0xffffffffffffff83, 0xffffffffffffff85,
   1128   0xffffffffffffff84, 0xffffffffffffffa3,
   1129   0xffffffffffffffa2, 0x0000000000000000,
   1130   0xffffffffffffffff, 0x0000000000000001,
   1131   0x0000000000000000, 0x0000000000000002,
   1132   0x0000000000000001, 0x0000000000007f80,
   1133   0x0000000000007f7f, 0x0000000000007f81,
   1134   0x0000000000007f80, 0x0000000000007f82,
   1135   0x0000000000007f81, 0x00000000333332b6,
   1136   0x00000000333332b5, 0x00000000555554d8,
   1137   0x00000000555554d7, 0x000000007fffff80,
   1138   0x000000007fffff7f, 0x000000007fffff81,
   1139   0x000000007fffff80, 0x000000007fffff82,
   1140   0x000000007fffff81, 0x000000007fffff83,
   1141   0x000000007fffff82, 0x000000007fffff84,
   1142   0x000000007fffff83, 0x00000000aaaaaa2d,
   1143   0x00000000aaaaaa2c, 0x00000000cccccc4f,
   1144   0x00000000cccccc4e, 0x00000000ffff7f83,
   1145   0x00000000ffff7f82, 0x00000000ffff7f84,
   1146   0x00000000ffff7f83, 0x00000000ffff7f85,
   1147   0x00000000ffff7f84, 0x00000000ffff7f86,
   1148   0x00000000ffff7f85, 0x00000000ffffff03,
   1149   0x00000000ffffff02, 0x00000000ffffff04,
   1150   0x00000000ffffff03, 0x00000000ffffff05,
   1151   0x00000000ffffff04, 0x00000000ffffff06,
   1152   0x00000000ffffff05, 0x00000000ffffff63,
   1153   0x00000000ffffff62, 0x00000000ffffff80,
   1154   0x00000000ffffff80, 0x00000000ffffffbe,
   1155   0x00000000ffffff81, 0x00000000ffffffbf,
   1156   0x00000000ffffff82, 0xffffffffffffffc0,
   1157   0xffffffffffffff83, 0xffffffffffffffc1,
   1158   0xffffffffffffff84, 0xffffffffffffffc2,
   1159   0xffffffffffffff85, 0xffffffffffffffe0,
   1160   0xffffffffffffffa3, 0x000000000000003d,
   1161   0x0000000000000000, 0x000000000000003e,
   1162   0x0000000000000001, 0x000000000000003f,
   1163   0x0000000000000002, 0x0000000000007fbd,
   1164   0x0000000000007f80, 0x0000000000007fbe,
   1165   0x0000000000007f81, 0x0000000000007fbf,
   1166   0x0000000000007f82, 0x00000000333332f3,
   1167   0x00000000333332b6, 0x0000000055555515,
   1168   0x00000000555554d8, 0x000000007fffffbd,
   1169   0x000000007fffff80, 0x000000007fffffbe,
   1170   0x000000007fffff81, 0x000000007fffffbf,
   1171   0x000000007fffff82, 0x000000007fffffc0,
   1172   0x000000007fffff83, 0x000000007fffffc1,
   1173   0x000000007fffff84, 0x00000000aaaaaa6a,
   1174   0x00000000aaaaaa2d, 0x00000000cccccc8c,
   1175   0x00000000cccccc4f, 0x00000000ffff7fc0,
   1176   0x00000000ffff7f83, 0x00000000ffff7fc1,
   1177   0x00000000ffff7f84, 0x00000000ffff7fc2,
   1178   0x00000000ffff7f85, 0x00000000ffff7fc3,
   1179   0x00000000ffff7f86, 0x00000000ffffff40,
   1180   0x00000000ffffff03, 0x00000000ffffff41,
   1181   0x00000000ffffff04, 0x00000000ffffff42,
   1182   0x00000000ffffff05, 0x00000000ffffff43,
   1183   0x00000000ffffff06, 0x00000000ffffffa0,
   1184   0x00000000ffffff63, 0x00000000ffffffbd,
   1185   0x00000000ffffffbd, 0x00000000fffffffb,
   1186   0x00000000ffffffbe, 0x00000000fffffffc,
   1187   0x00000000ffffffbf, 0xfffffffffffffffd,
   1188   0xffffffffffffffc0, 0xfffffffffffffffe,
   1189   0xffffffffffffffc1, 0xffffffffffffffff,
   1190   0xffffffffffffffc2, 0x000000000000001d,
   1191   0xffffffffffffffe0, 0x000000000000007a,
   1192   0x000000000000003d, 0x000000000000007b,
   1193   0x000000000000003e, 0x000000000000007c,
   1194   0x000000000000003f, 0x0000000000007ffa,
   1195   0x0000000000007fbd, 0x0000000000007ffb,
   1196   0x0000000000007fbe, 0x0000000000007ffc,
   1197   0x0000000000007fbf, 0x0000000033333330,
   1198   0x00000000333332f3, 0x0000000055555552,
   1199   0x0000000055555515, 0x000000007ffffffa,
   1200   0x000000007fffffbd, 0x000000007ffffffb,
   1201   0x000000007fffffbe, 0x000000007ffffffc,
   1202   0x000000007fffffbf, 0x000000007ffffffd,
   1203   0x000000007fffffc0, 0x000000007ffffffe,
   1204   0x000000007fffffc1, 0x00000000aaaaaaa7,
   1205   0x00000000aaaaaa6a, 0x00000000ccccccc9,
   1206   0x00000000cccccc8c, 0x00000000ffff7ffd,
   1207   0x00000000ffff7fc0, 0x00000000ffff7ffe,
   1208   0x00000000ffff7fc1, 0x00000000ffff7fff,
   1209   0x00000000ffff7fc2, 0x00000000ffff8000,
   1210   0x00000000ffff7fc3, 0x00000000ffffff7d,
   1211   0x00000000ffffff40, 0x00000000ffffff7e,
   1212   0x00000000ffffff41, 0x00000000ffffff7f,
   1213   0x00000000ffffff42, 0x00000000ffffff80,
   1214   0x00000000ffffff43, 0x00000000ffffffdd,
   1215   0x00000000ffffffa0, 0x00000000fffffffa,
   1216   0x00000000fffffffa, 0x00000000fffffffc,
   1217   0x00000000fffffffb, 0x00000000fffffffd,
   1218   0x00000000fffffffc, 0xfffffffffffffffe,
   1219   0xfffffffffffffffd, 0xffffffffffffffff,
   1220   0xfffffffffffffffe, 0x0000000000000000,
   1221   0xffffffffffffffff, 0x000000000000001e,
   1222   0x000000000000001d, 0x000000000000007b,
   1223   0x000000000000007a, 0x000000000000007c,
   1224   0x000000000000007b, 0x000000000000007d,
   1225   0x000000000000007c, 0x0000000000007ffb,
   1226   0x0000000000007ffa, 0x0000000000007ffc,
   1227   0x0000000000007ffb, 0x0000000000007ffd,
   1228   0x0000000000007ffc, 0x0000000033333331,
   1229   0x0000000033333330, 0x0000000055555553,
   1230   0x0000000055555552, 0x000000007ffffffb,
   1231   0x000000007ffffffa, 0x000000007ffffffc,
   1232   0x000000007ffffffb, 0x000000007ffffffd,
   1233   0x000000007ffffffc, 0x000000007ffffffe,
   1234   0x000000007ffffffd, 0x000000007fffffff,
   1235   0x000000007ffffffe, 0x00000000aaaaaaa8,
   1236   0x00000000aaaaaaa7, 0x00000000ccccccca,
   1237   0x00000000ccccccc9, 0x00000000ffff7ffe,
   1238   0x00000000ffff7ffd, 0x00000000ffff7fff,
   1239   0x00000000ffff7ffe, 0x00000000ffff8000,
   1240   0x00000000ffff7fff, 0x00000000ffff8001,
   1241   0x00000000ffff8000, 0x00000000ffffff7e,
   1242   0x00000000ffffff7d, 0x00000000ffffff7f,
   1243   0x00000000ffffff7e, 0x00000000ffffff80,
   1244   0x00000000ffffff7f, 0x00000000ffffff81,
   1245   0x00000000ffffff80, 0x00000000ffffffde,
   1246   0x00000000ffffffdd, 0x00000000fffffffb,
   1247   0x00000000fffffffb, 0x00000000fffffffd,
   1248   0x00000000fffffffc, 0x00000000fffffffe,
   1249   0x00000000fffffffd, 0xffffffffffffffff,
   1250   0xfffffffffffffffe, 0x0000000000000000,
   1251   0xffffffffffffffff, 0x0000000000000001,
   1252   0x0000000000000000, 0x000000000000001f,
   1253   0x000000000000001e, 0x000000000000007c,
   1254   0x000000000000007b, 0x000000000000007d,
   1255   0x000000000000007c, 0x000000000000007e,
   1256   0x000000000000007d, 0x0000000000007ffc,
   1257   0x0000000000007ffb, 0x0000000000007ffd,
   1258   0x0000000000007ffc, 0x0000000000007ffe,
   1259   0x0000000000007ffd, 0x0000000033333332,
   1260   0x0000000033333331, 0x0000000055555554,
   1261   0x0000000055555553, 0x000000007ffffffc,
   1262   0x000000007ffffffb, 0x000000007ffffffd,
   1263   0x000000007ffffffc, 0x000000007ffffffe,
   1264   0x000000007ffffffd, 0x000000007fffffff,
   1265   0x000000007ffffffe, 0x0000000080000000,
   1266   0x000000007fffffff, 0x00000000aaaaaaa9,
   1267   0x00000000aaaaaaa8, 0x00000000cccccccb,
   1268   0x00000000ccccccca, 0x00000000ffff7fff,
   1269   0x00000000ffff7ffe, 0x00000000ffff8000,
   1270   0x00000000ffff7fff, 0x00000000ffff8001,
   1271   0x00000000ffff8000, 0x00000000ffff8002,
   1272   0x00000000ffff8001, 0x00000000ffffff7f,
   1273   0x00000000ffffff7e, 0x00000000ffffff80,
   1274   0x00000000ffffff7f, 0x00000000ffffff81,
   1275   0x00000000ffffff80, 0x00000000ffffff82,
   1276   0x00000000ffffff81, 0x00000000ffffffdf,
   1277   0x00000000ffffffde, 0x00000000fffffffc,
   1278 };
   1279 const unsigned kExpectedCount_NEON_uaddw_2D = 1240;
   1280 
   1281 #endif  // VIXL_SIM_UADDW_2D_TRACE_A64_H_
   1282