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_SADDW_2D_TRACE_A64_H_
     35 #define VIXL_SIM_SADDW_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_saddw_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, 0xffffffff80000000,
     56   0xffffffff8000007d, 0xffffffff80000001,
     57   0xffffffff8000007e, 0xffffffffaaaaaaaa,
     58   0xffffffffaaaaab27, 0xffffffffcccccccc,
     59   0xffffffffcccccd49, 0xffffffffffff8000,
     60   0xffffffffffff807d, 0xffffffffffff8001,
     61   0xffffffffffff807e, 0xffffffffffff8002,
     62   0xffffffffffff807f, 0xffffffffffff8003,
     63   0xffffffffffff8080, 0xffffffffffffff80,
     64   0xfffffffffffffffd, 0xffffffffffffff81,
     65   0xfffffffffffffffe, 0xffffffffffffff82,
     66   0xffffffffffffffff, 0xffffffffffffff83,
     67   0x0000000000000000, 0xffffffffffffffe0,
     68   0x000000000000005d, 0xfffffffffffffffd,
     69   0xfffffffffffffffd, 0xffffffffffffffff,
     70   0xfffffffffffffffe, 0x0000000000000000,
     71   0xffffffffffffffff, 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, 0xffffffff80000001,
     87   0xffffffff80000000, 0xffffffff80000002,
     88   0xffffffff80000001, 0xffffffffaaaaaaab,
     89   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
     90   0xffffffffcccccccc, 0xffffffffffff8001,
     91   0xffffffffffff8000, 0xffffffffffff8002,
     92   0xffffffffffff8001, 0xffffffffffff8003,
     93   0xffffffffffff8002, 0xffffffffffff8004,
     94   0xffffffffffff8003, 0xffffffffffffff81,
     95   0xffffffffffffff80, 0xffffffffffffff82,
     96   0xffffffffffffff81, 0xffffffffffffff83,
     97   0xffffffffffffff82, 0xffffffffffffff84,
     98   0xffffffffffffff83, 0xffffffffffffffe1,
     99   0xffffffffffffffe0, 0xfffffffffffffffe,
    100   0xfffffffffffffffe, 0x0000000000000000,
    101   0xffffffffffffffff, 0x0000000000000001,
    102   0x0000000000000000, 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, 0xffffffff80000002,
    118   0xffffffff80000001, 0xffffffff80000003,
    119   0xffffffff80000002, 0xffffffffaaaaaaac,
    120   0xffffffffaaaaaaab, 0xffffffffccccccce,
    121   0xffffffffcccccccd, 0xffffffffffff8002,
    122   0xffffffffffff8001, 0xffffffffffff8003,
    123   0xffffffffffff8002, 0xffffffffffff8004,
    124   0xffffffffffff8003, 0xffffffffffff8005,
    125   0xffffffffffff8004, 0xffffffffffffff82,
    126   0xffffffffffffff81, 0xffffffffffffff83,
    127   0xffffffffffffff82, 0xffffffffffffff84,
    128   0xffffffffffffff83, 0xffffffffffffff85,
    129   0xffffffffffffff84, 0xffffffffffffffe2,
    130   0xffffffffffffffe1, 0xffffffffffffffff,
    131   0xffffffffffffffff, 0x000000000000003e,
    132   0x0000000000000000, 0x000000000000003f,
    133   0x0000000000000001, 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, 0xffffffff80000040,
    149   0xffffffff80000002, 0xffffffff80000041,
    150   0xffffffff80000003, 0xffffffffaaaaaaea,
    151   0xffffffffaaaaaaac, 0xffffffffcccccd0c,
    152   0xffffffffccccccce, 0xffffffffffff8040,
    153   0xffffffffffff8002, 0xffffffffffff8041,
    154   0xffffffffffff8003, 0xffffffffffff8042,
    155   0xffffffffffff8004, 0xffffffffffff8043,
    156   0xffffffffffff8005, 0xffffffffffffffc0,
    157   0xffffffffffffff82, 0xffffffffffffffc1,
    158   0xffffffffffffff83, 0xffffffffffffffc2,
    159   0xffffffffffffff84, 0xffffffffffffffc3,
    160   0xffffffffffffff85, 0x0000000000000020,
    161   0xffffffffffffffe2, 0x000000000000003d,
    162   0x000000000000003d, 0x000000000000007b,
    163   0x000000000000003e, 0x000000000000007c,
    164   0x000000000000003f, 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, 0xffffffff8000007d,
    180   0xffffffff80000040, 0xffffffff8000007e,
    181   0xffffffff80000041, 0xffffffffaaaaab27,
    182   0xffffffffaaaaaaea, 0xffffffffcccccd49,
    183   0xffffffffcccccd0c, 0xffffffffffff807d,
    184   0xffffffffffff8040, 0xffffffffffff807e,
    185   0xffffffffffff8041, 0xffffffffffff807f,
    186   0xffffffffffff8042, 0xffffffffffff8080,
    187   0xffffffffffff8043, 0xfffffffffffffffd,
    188   0xffffffffffffffc0, 0xfffffffffffffffe,
    189   0xffffffffffffffc1, 0xffffffffffffffff,
    190   0xffffffffffffffc2, 0x0000000000000000,
    191   0xffffffffffffffc3, 0x000000000000005d,
    192   0x0000000000000020, 0x000000000000007a,
    193   0x000000000000007a, 0x000000000000007c,
    194   0x000000000000007b, 0x000000000000007d,
    195   0x000000000000007c, 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, 0xffffffff8000007e,
    211   0xffffffff8000007d, 0xffffffff8000007f,
    212   0xffffffff8000007e, 0xffffffffaaaaab28,
    213   0xffffffffaaaaab27, 0xffffffffcccccd4a,
    214   0xffffffffcccccd49, 0xffffffffffff807e,
    215   0xffffffffffff807d, 0xffffffffffff807f,
    216   0xffffffffffff807e, 0xffffffffffff8080,
    217   0xffffffffffff807f, 0xffffffffffff8081,
    218   0xffffffffffff8080, 0xfffffffffffffffe,
    219   0xfffffffffffffffd, 0xffffffffffffffff,
    220   0xfffffffffffffffe, 0x0000000000000000,
    221   0xffffffffffffffff, 0x0000000000000001,
    222   0x0000000000000000, 0x000000000000005e,
    223   0x000000000000005d, 0x000000000000007b,
    224   0x000000000000007b, 0x000000000000007d,
    225   0x000000000000007c, 0x000000000000007e,
    226   0x000000000000007d, 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, 0xffffffff8000007f,
    242   0xffffffff8000007e, 0xffffffff80000080,
    243   0xffffffff8000007f, 0xffffffffaaaaab29,
    244   0xffffffffaaaaab28, 0xffffffffcccccd4b,
    245   0xffffffffcccccd4a, 0xffffffffffff807f,
    246   0xffffffffffff807e, 0xffffffffffff8080,
    247   0xffffffffffff807f, 0xffffffffffff8081,
    248   0xffffffffffff8080, 0xffffffffffff8082,
    249   0xffffffffffff8081, 0xffffffffffffffff,
    250   0xfffffffffffffffe, 0x0000000000000000,
    251   0xffffffffffffffff, 0x0000000000000001,
    252   0x0000000000000000, 0x0000000000000002,
    253   0x0000000000000001, 0x000000000000005f,
    254   0x000000000000005e, 0x000000000000007c,
    255   0x000000000000007c, 0x0000000000007ffb,
    256   0x000000000000007d, 0x0000000000007ffc,
    257   0x000000000000007e, 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, 0xffffffff80007ffd,
    273   0xffffffff8000007f, 0xffffffff80007ffe,
    274   0xffffffff80000080, 0xffffffffaaab2aa7,
    275   0xffffffffaaaaab29, 0xffffffffcccd4cc9,
    276   0xffffffffcccccd4b, 0xfffffffffffffffd,
    277   0xffffffffffff807f, 0xfffffffffffffffe,
    278   0xffffffffffff8080, 0xffffffffffffffff,
    279   0xffffffffffff8081, 0x0000000000000000,
    280   0xffffffffffff8082, 0x0000000000007f7d,
    281   0xffffffffffffffff, 0x0000000000007f7e,
    282   0x0000000000000000, 0x0000000000007f7f,
    283   0x0000000000000001, 0x0000000000007f80,
    284   0x0000000000000002, 0x0000000000007fdd,
    285   0x000000000000005f, 0x0000000000007ffa,
    286   0x0000000000007ffa, 0x0000000000007ffc,
    287   0x0000000000007ffb, 0x0000000000007ffd,
    288   0x0000000000007ffc, 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, 0xffffffff80007ffe,
    304   0xffffffff80007ffd, 0xffffffff80007fff,
    305   0xffffffff80007ffe, 0xffffffffaaab2aa8,
    306   0xffffffffaaab2aa7, 0xffffffffcccd4cca,
    307   0xffffffffcccd4cc9, 0xfffffffffffffffe,
    308   0xfffffffffffffffd, 0xffffffffffffffff,
    309   0xfffffffffffffffe, 0x0000000000000000,
    310   0xffffffffffffffff, 0x0000000000000001,
    311   0x0000000000000000, 0x0000000000007f7e,
    312   0x0000000000007f7d, 0x0000000000007f7f,
    313   0x0000000000007f7e, 0x0000000000007f80,
    314   0x0000000000007f7f, 0x0000000000007f81,
    315   0x0000000000007f80, 0x0000000000007fde,
    316   0x0000000000007fdd, 0x0000000000007ffb,
    317   0x0000000000007ffb, 0x0000000000007ffd,
    318   0x0000000000007ffc, 0x0000000000007ffe,
    319   0x0000000000007ffd, 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, 0xffffffff80007fff,
    335   0xffffffff80007ffe, 0xffffffff80008000,
    336   0xffffffff80007fff, 0xffffffffaaab2aa9,
    337   0xffffffffaaab2aa8, 0xffffffffcccd4ccb,
    338   0xffffffffcccd4cca, 0xffffffffffffffff,
    339   0xfffffffffffffffe, 0x0000000000000000,
    340   0xffffffffffffffff, 0x0000000000000001,
    341   0x0000000000000000, 0x0000000000000002,
    342   0x0000000000000001, 0x0000000000007f7f,
    343   0x0000000000007f7e, 0x0000000000007f80,
    344   0x0000000000007f7f, 0x0000000000007f81,
    345   0x0000000000007f80, 0x0000000000007f82,
    346   0x0000000000007f81, 0x0000000000007fdf,
    347   0x0000000000007fde, 0x0000000000007ffc,
    348   0x0000000000007ffc, 0x000000007ffffffb,
    349   0x0000000000007ffd, 0x000000007ffffffc,
    350   0x0000000000007ffe, 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, 0xfffffffffffffffd,
    366   0xffffffff80007fff, 0xfffffffffffffffe,
    367   0xffffffff80008000, 0x000000002aaaaaa7,
    368   0xffffffffaaab2aa9, 0x000000004cccccc9,
    369   0xffffffffcccd4ccb, 0x000000007fff7ffd,
    370   0xffffffffffffffff, 0x000000007fff7ffe,
    371   0x0000000000000000, 0x000000007fff7fff,
    372   0x0000000000000001, 0x000000007fff8000,
    373   0x0000000000000002, 0x000000007fffff7d,
    374   0x0000000000007f7f, 0x000000007fffff7e,
    375   0x0000000000007f80, 0x000000007fffff7f,
    376   0x0000000000007f81, 0x000000007fffff80,
    377   0x0000000000007f82, 0x000000007fffffdd,
    378   0x0000000000007fdf, 0x000000007ffffffa,
    379   0x000000007ffffffa, 0x000000007ffffffc,
    380   0x000000007ffffffb, 0x000000007ffffffd,
    381   0x000000007ffffffc, 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, 0xfffffffffffffffe,
    397   0xfffffffffffffffd, 0xffffffffffffffff,
    398   0xfffffffffffffffe, 0x000000002aaaaaa8,
    399   0x000000002aaaaaa7, 0x000000004cccccca,
    400   0x000000004cccccc9, 0x000000007fff7ffe,
    401   0x000000007fff7ffd, 0x000000007fff7fff,
    402   0x000000007fff7ffe, 0x000000007fff8000,
    403   0x000000007fff7fff, 0x000000007fff8001,
    404   0x000000007fff8000, 0x000000007fffff7e,
    405   0x000000007fffff7d, 0x000000007fffff7f,
    406   0x000000007fffff7e, 0x000000007fffff80,
    407   0x000000007fffff7f, 0x000000007fffff81,
    408   0x000000007fffff80, 0x000000007fffffde,
    409   0x000000007fffffdd, 0x000000007ffffffb,
    410   0x000000007ffffffb, 0x000000007ffffffd,
    411   0x000000007ffffffc, 0x000000007ffffffe,
    412   0x000000007ffffffd, 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, 0xffffffffffffffff,
    428   0xfffffffffffffffe, 0x0000000000000000,
    429   0xffffffffffffffff, 0x000000002aaaaaa9,
    430   0x000000002aaaaaa8, 0x000000004ccccccb,
    431   0x000000004cccccca, 0x000000007fff7fff,
    432   0x000000007fff7ffe, 0x000000007fff8000,
    433   0x000000007fff7fff, 0x000000007fff8001,
    434   0x000000007fff8000, 0x000000007fff8002,
    435   0x000000007fff8001, 0x000000007fffff7f,
    436   0x000000007fffff7e, 0x000000007fffff80,
    437   0x000000007fffff7f, 0x000000007fffff81,
    438   0x000000007fffff80, 0x000000007fffff82,
    439   0x000000007fffff81, 0x000000007fffffdf,
    440   0x000000007fffffde, 0x000000007ffffffc,
    441   0x000000007ffffffc, 0x3333333333333331,
    442   0x000000007ffffffd, 0x3333333333333332,
    443   0x000000007ffffffe, 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, 0x33333332b3333333,
    459   0xffffffffffffffff, 0x33333332b3333334,
    460   0x0000000000000000, 0x33333332dddddddd,
    461   0x000000002aaaaaa9, 0x33333332ffffffff,
    462   0x000000004ccccccb, 0x333333333332b333,
    463   0x000000007fff7fff, 0x333333333332b334,
    464   0x000000007fff8000, 0x333333333332b335,
    465   0x000000007fff8001, 0x333333333332b336,
    466   0x000000007fff8002, 0x33333333333332b3,
    467   0x000000007fffff7f, 0x33333333333332b4,
    468   0x000000007fffff80, 0x33333333333332b5,
    469   0x000000007fffff81, 0x33333333333332b6,
    470   0x000000007fffff82, 0x3333333333333313,
    471   0x000000007fffffdf, 0x3333333333333330,
    472   0x3333333333333330, 0x5555555555555553,
    473   0x3333333333333331, 0x5555555555555554,
    474   0x3333333333333332, 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, 0x55555554d5555555,
    490   0x33333332b3333333, 0x55555554d5555556,
    491   0x33333332b3333334, 0x55555554ffffffff,
    492   0x33333332dddddddd, 0x5555555522222221,
    493   0x33333332ffffffff, 0x555555555554d555,
    494   0x333333333332b333, 0x555555555554d556,
    495   0x333333333332b334, 0x555555555554d557,
    496   0x333333333332b335, 0x555555555554d558,
    497   0x333333333332b336, 0x55555555555554d5,
    498   0x33333333333332b3, 0x55555555555554d6,
    499   0x33333333333332b4, 0x55555555555554d7,
    500   0x33333333333332b5, 0x55555555555554d8,
    501   0x33333333333332b6, 0x5555555555555535,
    502   0x3333333333333313, 0x5555555555555552,
    503   0x5555555555555552, 0x7ffffffffffffffb,
    504   0x5555555555555553, 0x7ffffffffffffffc,
    505   0x5555555555555554, 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, 0x7fffffff7ffffffd,
    521   0x55555554d5555555, 0x7fffffff7ffffffe,
    522   0x55555554d5555556, 0x7fffffffaaaaaaa7,
    523   0x55555554ffffffff, 0x7fffffffccccccc9,
    524   0x5555555522222221, 0x7fffffffffff7ffd,
    525   0x555555555554d555, 0x7fffffffffff7ffe,
    526   0x555555555554d556, 0x7fffffffffff7fff,
    527   0x555555555554d557, 0x7fffffffffff8000,
    528   0x555555555554d558, 0x7fffffffffffff7d,
    529   0x55555555555554d5, 0x7fffffffffffff7e,
    530   0x55555555555554d6, 0x7fffffffffffff7f,
    531   0x55555555555554d7, 0x7fffffffffffff80,
    532   0x55555555555554d8, 0x7fffffffffffffdd,
    533   0x5555555555555535, 0x7ffffffffffffffa,
    534   0x7ffffffffffffffa, 0x7ffffffffffffffc,
    535   0x7ffffffffffffffb, 0x7ffffffffffffffd,
    536   0x7ffffffffffffffc, 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, 0x7fffffff7ffffffe,
    552   0x7fffffff7ffffffd, 0x7fffffff7fffffff,
    553   0x7fffffff7ffffffe, 0x7fffffffaaaaaaa8,
    554   0x7fffffffaaaaaaa7, 0x7fffffffccccccca,
    555   0x7fffffffccccccc9, 0x7fffffffffff7ffe,
    556   0x7fffffffffff7ffd, 0x7fffffffffff7fff,
    557   0x7fffffffffff7ffe, 0x7fffffffffff8000,
    558   0x7fffffffffff7fff, 0x7fffffffffff8001,
    559   0x7fffffffffff8000, 0x7fffffffffffff7e,
    560   0x7fffffffffffff7d, 0x7fffffffffffff7f,
    561   0x7fffffffffffff7e, 0x7fffffffffffff80,
    562   0x7fffffffffffff7f, 0x7fffffffffffff81,
    563   0x7fffffffffffff80, 0x7fffffffffffffde,
    564   0x7fffffffffffffdd, 0x7ffffffffffffffb,
    565   0x7ffffffffffffffb, 0x7ffffffffffffffd,
    566   0x7ffffffffffffffc, 0x7ffffffffffffffe,
    567   0x7ffffffffffffffd, 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, 0x7fffffff7fffffff,
    583   0x7fffffff7ffffffe, 0x7fffffff80000000,
    584   0x7fffffff7fffffff, 0x7fffffffaaaaaaa9,
    585   0x7fffffffaaaaaaa8, 0x7fffffffcccccccb,
    586   0x7fffffffccccccca, 0x7fffffffffff7fff,
    587   0x7fffffffffff7ffe, 0x7fffffffffff8000,
    588   0x7fffffffffff7fff, 0x7fffffffffff8001,
    589   0x7fffffffffff8000, 0x7fffffffffff8002,
    590   0x7fffffffffff8001, 0x7fffffffffffff7f,
    591   0x7fffffffffffff7e, 0x7fffffffffffff80,
    592   0x7fffffffffffff7f, 0x7fffffffffffff81,
    593   0x7fffffffffffff80, 0x7fffffffffffff82,
    594   0x7fffffffffffff81, 0x7fffffffffffffdf,
    595   0x7fffffffffffffde, 0x7ffffffffffffffc,
    596   0x7ffffffffffffffc, 0x7ffffffffffffffe,
    597   0x7ffffffffffffffd, 0x7fffffffffffffff,
    598   0x7ffffffffffffffe, 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, 0x7fffffff80000000,
    614   0x7fffffff7fffffff, 0x7fffffff80000001,
    615   0x7fffffff80000000, 0x7fffffffaaaaaaaa,
    616   0x7fffffffaaaaaaa9, 0x7fffffffcccccccc,
    617   0x7fffffffcccccccb, 0x7fffffffffff8000,
    618   0x7fffffffffff7fff, 0x7fffffffffff8001,
    619   0x7fffffffffff8000, 0x7fffffffffff8002,
    620   0x7fffffffffff8001, 0x7fffffffffff8003,
    621   0x7fffffffffff8002, 0x7fffffffffffff80,
    622   0x7fffffffffffff7f, 0x7fffffffffffff81,
    623   0x7fffffffffffff80, 0x7fffffffffffff82,
    624   0x7fffffffffffff81, 0x7fffffffffffff83,
    625   0x7fffffffffffff82, 0x7fffffffffffffe0,
    626   0x7fffffffffffffdf, 0x7ffffffffffffffd,
    627   0x7ffffffffffffffd, 0x7fffffffffffffff,
    628   0x7ffffffffffffffe, 0x8000000000000000,
    629   0x7fffffffffffffff, 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, 0x7fffffff80000001,
    645   0x7fffffff80000000, 0x7fffffff80000002,
    646   0x7fffffff80000001, 0x7fffffffaaaaaaab,
    647   0x7fffffffaaaaaaaa, 0x7fffffffcccccccd,
    648   0x7fffffffcccccccc, 0x7fffffffffff8001,
    649   0x7fffffffffff8000, 0x7fffffffffff8002,
    650   0x7fffffffffff8001, 0x7fffffffffff8003,
    651   0x7fffffffffff8002, 0x7fffffffffff8004,
    652   0x7fffffffffff8003, 0x7fffffffffffff81,
    653   0x7fffffffffffff80, 0x7fffffffffffff82,
    654   0x7fffffffffffff81, 0x7fffffffffffff83,
    655   0x7fffffffffffff82, 0x7fffffffffffff84,
    656   0x7fffffffffffff83, 0x7fffffffffffffe1,
    657   0x7fffffffffffffe0, 0x7ffffffffffffffe,
    658   0x7ffffffffffffffe, 0x8000000000000000,
    659   0x7fffffffffffffff, 0x8000000000000001,
    660   0x8000000000000000, 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, 0x7fffffff80000002,
    676   0x7fffffff80000001, 0x7fffffff80000003,
    677   0x7fffffff80000002, 0x7fffffffaaaaaaac,
    678   0x7fffffffaaaaaaab, 0x7fffffffccccccce,
    679   0x7fffffffcccccccd, 0x7fffffffffff8002,
    680   0x7fffffffffff8001, 0x7fffffffffff8003,
    681   0x7fffffffffff8002, 0x7fffffffffff8004,
    682   0x7fffffffffff8003, 0x7fffffffffff8005,
    683   0x7fffffffffff8004, 0x7fffffffffffff82,
    684   0x7fffffffffffff81, 0x7fffffffffffff83,
    685   0x7fffffffffffff82, 0x7fffffffffffff84,
    686   0x7fffffffffffff83, 0x7fffffffffffff85,
    687   0x7fffffffffffff84, 0x7fffffffffffffe2,
    688   0x7fffffffffffffe1, 0x7fffffffffffffff,
    689   0x7fffffffffffffff, 0x8000000000000001,
    690   0x8000000000000000, 0x8000000000000002,
    691   0x8000000000000001, 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, 0x7fffffff80000003,
    707   0x7fffffff80000002, 0x7fffffff80000004,
    708   0x7fffffff80000003, 0x7fffffffaaaaaaad,
    709   0x7fffffffaaaaaaac, 0x7fffffffcccccccf,
    710   0x7fffffffccccccce, 0x7fffffffffff8003,
    711   0x7fffffffffff8002, 0x7fffffffffff8004,
    712   0x7fffffffffff8003, 0x7fffffffffff8005,
    713   0x7fffffffffff8004, 0x7fffffffffff8006,
    714   0x7fffffffffff8005, 0x7fffffffffffff83,
    715   0x7fffffffffffff82, 0x7fffffffffffff84,
    716   0x7fffffffffffff83, 0x7fffffffffffff85,
    717   0x7fffffffffffff84, 0x7fffffffffffff86,
    718   0x7fffffffffffff85, 0x7fffffffffffffe3,
    719   0x7fffffffffffffe2, 0x8000000000000000,
    720   0x8000000000000000, 0xaaaaaaaaaaaaaaa8,
    721   0x8000000000000001, 0xaaaaaaaaaaaaaaa9,
    722   0x8000000000000002, 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, 0xaaaaaaaa2aaaaaaa,
    738   0x7fffffff80000003, 0xaaaaaaaa2aaaaaab,
    739   0x7fffffff80000004, 0xaaaaaaaa55555554,
    740   0x7fffffffaaaaaaad, 0xaaaaaaaa77777776,
    741   0x7fffffffcccccccf, 0xaaaaaaaaaaaa2aaa,
    742   0x7fffffffffff8003, 0xaaaaaaaaaaaa2aab,
    743   0x7fffffffffff8004, 0xaaaaaaaaaaaa2aac,
    744   0x7fffffffffff8005, 0xaaaaaaaaaaaa2aad,
    745   0x7fffffffffff8006, 0xaaaaaaaaaaaaaa2a,
    746   0x7fffffffffffff83, 0xaaaaaaaaaaaaaa2b,
    747   0x7fffffffffffff84, 0xaaaaaaaaaaaaaa2c,
    748   0x7fffffffffffff85, 0xaaaaaaaaaaaaaa2d,
    749   0x7fffffffffffff86, 0xaaaaaaaaaaaaaa8a,
    750   0x7fffffffffffffe3, 0xaaaaaaaaaaaaaaa7,
    751   0xaaaaaaaaaaaaaaa7, 0xccccccccccccccca,
    752   0xaaaaaaaaaaaaaaa8, 0xcccccccccccccccb,
    753   0xaaaaaaaaaaaaaaa9, 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, 0xcccccccc4ccccccc,
    769   0xaaaaaaaa2aaaaaaa, 0xcccccccc4ccccccd,
    770   0xaaaaaaaa2aaaaaab, 0xcccccccc77777776,
    771   0xaaaaaaaa55555554, 0xcccccccc99999998,
    772   0xaaaaaaaa77777776, 0xcccccccccccc4ccc,
    773   0xaaaaaaaaaaaa2aaa, 0xcccccccccccc4ccd,
    774   0xaaaaaaaaaaaa2aab, 0xcccccccccccc4cce,
    775   0xaaaaaaaaaaaa2aac, 0xcccccccccccc4ccf,
    776   0xaaaaaaaaaaaa2aad, 0xcccccccccccccc4c,
    777   0xaaaaaaaaaaaaaa2a, 0xcccccccccccccc4d,
    778   0xaaaaaaaaaaaaaa2b, 0xcccccccccccccc4e,
    779   0xaaaaaaaaaaaaaa2c, 0xcccccccccccccc4f,
    780   0xaaaaaaaaaaaaaa2d, 0xccccccccccccccac,
    781   0xaaaaaaaaaaaaaa8a, 0xccccccccccccccc9,
    782   0xccccccccccccccc9, 0xffffffff7ffffffe,
    783   0xccccccccccccccca, 0xffffffff7fffffff,
    784   0xcccccccccccccccb, 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, 0xffffffff00000000,
    800   0xcccccccc4ccccccc, 0xffffffff00000001,
    801   0xcccccccc4ccccccd, 0xffffffff2aaaaaaa,
    802   0xcccccccc77777776, 0xffffffff4ccccccc,
    803   0xcccccccc99999998, 0xffffffff7fff8000,
    804   0xcccccccccccc4ccc, 0xffffffff7fff8001,
    805   0xcccccccccccc4ccd, 0xffffffff7fff8002,
    806   0xcccccccccccc4cce, 0xffffffff7fff8003,
    807   0xcccccccccccc4ccf, 0xffffffff7fffff80,
    808   0xcccccccccccccc4c, 0xffffffff7fffff81,
    809   0xcccccccccccccc4d, 0xffffffff7fffff82,
    810   0xcccccccccccccc4e, 0xffffffff7fffff83,
    811   0xcccccccccccccc4f, 0xffffffff7fffffe0,
    812   0xccccccccccccccac, 0xffffffff7ffffffd,
    813   0xffffffff7ffffffd, 0xffffffff7fffffff,
    814   0xffffffff7ffffffe, 0xffffffff80000000,
    815   0xffffffff7fffffff, 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, 0xffffffff00000001,
    831   0xffffffff00000000, 0xffffffff00000002,
    832   0xffffffff00000001, 0xffffffff2aaaaaab,
    833   0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
    834   0xffffffff4ccccccc, 0xffffffff7fff8001,
    835   0xffffffff7fff8000, 0xffffffff7fff8002,
    836   0xffffffff7fff8001, 0xffffffff7fff8003,
    837   0xffffffff7fff8002, 0xffffffff7fff8004,
    838   0xffffffff7fff8003, 0xffffffff7fffff81,
    839   0xffffffff7fffff80, 0xffffffff7fffff82,
    840   0xffffffff7fffff81, 0xffffffff7fffff83,
    841   0xffffffff7fffff82, 0xffffffff7fffff84,
    842   0xffffffff7fffff83, 0xffffffff7fffffe1,
    843   0xffffffff7fffffe0, 0xffffffff7ffffffe,
    844   0xffffffff7ffffffe, 0xffffffff80000000,
    845   0xffffffff7fffffff, 0xffffffff80000001,
    846   0xffffffff80000000, 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, 0xffffffff00000002,
    862   0xffffffff00000001, 0xffffffff00000003,
    863   0xffffffff00000002, 0xffffffff2aaaaaac,
    864   0xffffffff2aaaaaab, 0xffffffff4cccccce,
    865   0xffffffff4ccccccd, 0xffffffff7fff8002,
    866   0xffffffff7fff8001, 0xffffffff7fff8003,
    867   0xffffffff7fff8002, 0xffffffff7fff8004,
    868   0xffffffff7fff8003, 0xffffffff7fff8005,
    869   0xffffffff7fff8004, 0xffffffff7fffff82,
    870   0xffffffff7fffff81, 0xffffffff7fffff83,
    871   0xffffffff7fffff82, 0xffffffff7fffff84,
    872   0xffffffff7fffff83, 0xffffffff7fffff85,
    873   0xffffffff7fffff84, 0xffffffff7fffffe2,
    874   0xffffffff7fffffe1, 0xffffffff7fffffff,
    875   0xffffffff7fffffff, 0xffffffff80000001,
    876   0xffffffff80000000, 0xffffffff80000002,
    877   0xffffffff80000001, 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, 0xffffffff00000003,
    893   0xffffffff00000002, 0xffffffff00000004,
    894   0xffffffff00000003, 0xffffffff2aaaaaad,
    895   0xffffffff2aaaaaac, 0xffffffff4ccccccf,
    896   0xffffffff4cccccce, 0xffffffff7fff8003,
    897   0xffffffff7fff8002, 0xffffffff7fff8004,
    898   0xffffffff7fff8003, 0xffffffff7fff8005,
    899   0xffffffff7fff8004, 0xffffffff7fff8006,
    900   0xffffffff7fff8005, 0xffffffff7fffff83,
    901   0xffffffff7fffff82, 0xffffffff7fffff84,
    902   0xffffffff7fffff83, 0xffffffff7fffff85,
    903   0xffffffff7fffff84, 0xffffffff7fffff86,
    904   0xffffffff7fffff85, 0xffffffff7fffffe3,
    905   0xffffffff7fffffe2, 0xffffffff80000000,
    906   0xffffffff80000000, 0xffffffffffff7ffe,
    907   0xffffffff80000001, 0xffffffffffff7fff,
    908   0xffffffff80000002, 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, 0xffffffff7fff8000,
    924   0xffffffff00000003, 0xffffffff7fff8001,
    925   0xffffffff00000004, 0xffffffffaaaa2aaa,
    926   0xffffffff2aaaaaad, 0xffffffffcccc4ccc,
    927   0xffffffff4ccccccf, 0xffffffffffff0000,
    928   0xffffffff7fff8003, 0xffffffffffff0001,
    929   0xffffffff7fff8004, 0xffffffffffff0002,
    930   0xffffffff7fff8005, 0xffffffffffff0003,
    931   0xffffffff7fff8006, 0xffffffffffff7f80,
    932   0xffffffff7fffff83, 0xffffffffffff7f81,
    933   0xffffffff7fffff84, 0xffffffffffff7f82,
    934   0xffffffff7fffff85, 0xffffffffffff7f83,
    935   0xffffffff7fffff86, 0xffffffffffff7fe0,
    936   0xffffffff7fffffe3, 0xffffffffffff7ffd,
    937   0xffffffffffff7ffd, 0xffffffffffff7fff,
    938   0xffffffffffff7ffe, 0xffffffffffff8000,
    939   0xffffffffffff7fff, 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, 0xffffffff7fff8001,
    955   0xffffffff7fff8000, 0xffffffff7fff8002,
    956   0xffffffff7fff8001, 0xffffffffaaaa2aab,
    957   0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
    958   0xffffffffcccc4ccc, 0xffffffffffff0001,
    959   0xffffffffffff0000, 0xffffffffffff0002,
    960   0xffffffffffff0001, 0xffffffffffff0003,
    961   0xffffffffffff0002, 0xffffffffffff0004,
    962   0xffffffffffff0003, 0xffffffffffff7f81,
    963   0xffffffffffff7f80, 0xffffffffffff7f82,
    964   0xffffffffffff7f81, 0xffffffffffff7f83,
    965   0xffffffffffff7f82, 0xffffffffffff7f84,
    966   0xffffffffffff7f83, 0xffffffffffff7fe1,
    967   0xffffffffffff7fe0, 0xffffffffffff7ffe,
    968   0xffffffffffff7ffe, 0xffffffffffff8000,
    969   0xffffffffffff7fff, 0xffffffffffff8001,
    970   0xffffffffffff8000, 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, 0xffffffff7fff8002,
    986   0xffffffff7fff8001, 0xffffffff7fff8003,
    987   0xffffffff7fff8002, 0xffffffffaaaa2aac,
    988   0xffffffffaaaa2aab, 0xffffffffcccc4cce,
    989   0xffffffffcccc4ccd, 0xffffffffffff0002,
    990   0xffffffffffff0001, 0xffffffffffff0003,
    991   0xffffffffffff0002, 0xffffffffffff0004,
    992   0xffffffffffff0003, 0xffffffffffff0005,
    993   0xffffffffffff0004, 0xffffffffffff7f82,
    994   0xffffffffffff7f81, 0xffffffffffff7f83,
    995   0xffffffffffff7f82, 0xffffffffffff7f84,
    996   0xffffffffffff7f83, 0xffffffffffff7f85,
    997   0xffffffffffff7f84, 0xffffffffffff7fe2,
    998   0xffffffffffff7fe1, 0xffffffffffff7fff,
    999   0xffffffffffff7fff, 0xffffffffffff8001,
   1000   0xffffffffffff8000, 0xffffffffffff8002,
   1001   0xffffffffffff8001, 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, 0xffffffff7fff8003,
   1017   0xffffffff7fff8002, 0xffffffff7fff8004,
   1018   0xffffffff7fff8003, 0xffffffffaaaa2aad,
   1019   0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
   1020   0xffffffffcccc4cce, 0xffffffffffff0003,
   1021   0xffffffffffff0002, 0xffffffffffff0004,
   1022   0xffffffffffff0003, 0xffffffffffff0005,
   1023   0xffffffffffff0004, 0xffffffffffff0006,
   1024   0xffffffffffff0005, 0xffffffffffff7f83,
   1025   0xffffffffffff7f82, 0xffffffffffff7f84,
   1026   0xffffffffffff7f83, 0xffffffffffff7f85,
   1027   0xffffffffffff7f84, 0xffffffffffff7f86,
   1028   0xffffffffffff7f85, 0xffffffffffff7fe3,
   1029   0xffffffffffff7fe2, 0xffffffffffff8000,
   1030   0xffffffffffff8000, 0xffffffffffffff7e,
   1031   0xffffffffffff8001, 0xffffffffffffff7f,
   1032   0xffffffffffff8002, 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, 0xffffffff7fffff80,
   1048   0xffffffff7fff8003, 0xffffffff7fffff81,
   1049   0xffffffff7fff8004, 0xffffffffaaaaaa2a,
   1050   0xffffffffaaaa2aad, 0xffffffffcccccc4c,
   1051   0xffffffffcccc4ccf, 0xffffffffffff7f80,
   1052   0xffffffffffff0003, 0xffffffffffff7f81,
   1053   0xffffffffffff0004, 0xffffffffffff7f82,
   1054   0xffffffffffff0005, 0xffffffffffff7f83,
   1055   0xffffffffffff0006, 0xffffffffffffff00,
   1056   0xffffffffffff7f83, 0xffffffffffffff01,
   1057   0xffffffffffff7f84, 0xffffffffffffff02,
   1058   0xffffffffffff7f85, 0xffffffffffffff03,
   1059   0xffffffffffff7f86, 0xffffffffffffff60,
   1060   0xffffffffffff7fe3, 0xffffffffffffff7d,
   1061   0xffffffffffffff7d, 0xffffffffffffff7f,
   1062   0xffffffffffffff7e, 0xffffffffffffff80,
   1063   0xffffffffffffff7f, 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, 0xffffffff7fffff81,
   1079   0xffffffff7fffff80, 0xffffffff7fffff82,
   1080   0xffffffff7fffff81, 0xffffffffaaaaaa2b,
   1081   0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
   1082   0xffffffffcccccc4c, 0xffffffffffff7f81,
   1083   0xffffffffffff7f80, 0xffffffffffff7f82,
   1084   0xffffffffffff7f81, 0xffffffffffff7f83,
   1085   0xffffffffffff7f82, 0xffffffffffff7f84,
   1086   0xffffffffffff7f83, 0xffffffffffffff01,
   1087   0xffffffffffffff00, 0xffffffffffffff02,
   1088   0xffffffffffffff01, 0xffffffffffffff03,
   1089   0xffffffffffffff02, 0xffffffffffffff04,
   1090   0xffffffffffffff03, 0xffffffffffffff61,
   1091   0xffffffffffffff60, 0xffffffffffffff7e,
   1092   0xffffffffffffff7e, 0xffffffffffffff80,
   1093   0xffffffffffffff7f, 0xffffffffffffff81,
   1094   0xffffffffffffff80, 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, 0xffffffff7fffff82,
   1110   0xffffffff7fffff81, 0xffffffff7fffff83,
   1111   0xffffffff7fffff82, 0xffffffffaaaaaa2c,
   1112   0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
   1113   0xffffffffcccccc4d, 0xffffffffffff7f82,
   1114   0xffffffffffff7f81, 0xffffffffffff7f83,
   1115   0xffffffffffff7f82, 0xffffffffffff7f84,
   1116   0xffffffffffff7f83, 0xffffffffffff7f85,
   1117   0xffffffffffff7f84, 0xffffffffffffff02,
   1118   0xffffffffffffff01, 0xffffffffffffff03,
   1119   0xffffffffffffff02, 0xffffffffffffff04,
   1120   0xffffffffffffff03, 0xffffffffffffff05,
   1121   0xffffffffffffff04, 0xffffffffffffff62,
   1122   0xffffffffffffff61, 0xffffffffffffff7f,
   1123   0xffffffffffffff7f, 0xffffffffffffff81,
   1124   0xffffffffffffff80, 0xffffffffffffff82,
   1125   0xffffffffffffff81, 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, 0xffffffff7fffff83,
   1141   0xffffffff7fffff82, 0xffffffff7fffff84,
   1142   0xffffffff7fffff83, 0xffffffffaaaaaa2d,
   1143   0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
   1144   0xffffffffcccccc4e, 0xffffffffffff7f83,
   1145   0xffffffffffff7f82, 0xffffffffffff7f84,
   1146   0xffffffffffff7f83, 0xffffffffffff7f85,
   1147   0xffffffffffff7f84, 0xffffffffffff7f86,
   1148   0xffffffffffff7f85, 0xffffffffffffff03,
   1149   0xffffffffffffff02, 0xffffffffffffff04,
   1150   0xffffffffffffff03, 0xffffffffffffff05,
   1151   0xffffffffffffff04, 0xffffffffffffff06,
   1152   0xffffffffffffff05, 0xffffffffffffff63,
   1153   0xffffffffffffff62, 0xffffffffffffff80,
   1154   0xffffffffffffff80, 0xffffffffffffffbe,
   1155   0xffffffffffffff81, 0xffffffffffffffbf,
   1156   0xffffffffffffff82, 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, 0xffffffff7fffffc0,
   1172   0xffffffff7fffff83, 0xffffffff7fffffc1,
   1173   0xffffffff7fffff84, 0xffffffffaaaaaa6a,
   1174   0xffffffffaaaaaa2d, 0xffffffffcccccc8c,
   1175   0xffffffffcccccc4f, 0xffffffffffff7fc0,
   1176   0xffffffffffff7f83, 0xffffffffffff7fc1,
   1177   0xffffffffffff7f84, 0xffffffffffff7fc2,
   1178   0xffffffffffff7f85, 0xffffffffffff7fc3,
   1179   0xffffffffffff7f86, 0xffffffffffffff40,
   1180   0xffffffffffffff03, 0xffffffffffffff41,
   1181   0xffffffffffffff04, 0xffffffffffffff42,
   1182   0xffffffffffffff05, 0xffffffffffffff43,
   1183   0xffffffffffffff06, 0xffffffffffffffa0,
   1184   0xffffffffffffff63, 0xffffffffffffffbd,
   1185   0xffffffffffffffbd, 0xfffffffffffffffb,
   1186   0xffffffffffffffbe, 0xfffffffffffffffc,
   1187   0xffffffffffffffbf, 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, 0xffffffff7ffffffd,
   1203   0xffffffff7fffffc0, 0xffffffff7ffffffe,
   1204   0xffffffff7fffffc1, 0xffffffffaaaaaaa7,
   1205   0xffffffffaaaaaa6a, 0xffffffffccccccc9,
   1206   0xffffffffcccccc8c, 0xffffffffffff7ffd,
   1207   0xffffffffffff7fc0, 0xffffffffffff7ffe,
   1208   0xffffffffffff7fc1, 0xffffffffffff7fff,
   1209   0xffffffffffff7fc2, 0xffffffffffff8000,
   1210   0xffffffffffff7fc3, 0xffffffffffffff7d,
   1211   0xffffffffffffff40, 0xffffffffffffff7e,
   1212   0xffffffffffffff41, 0xffffffffffffff7f,
   1213   0xffffffffffffff42, 0xffffffffffffff80,
   1214   0xffffffffffffff43, 0xffffffffffffffdd,
   1215   0xffffffffffffffa0, 0xfffffffffffffffa,
   1216   0xfffffffffffffffa, 0xfffffffffffffffc,
   1217   0xfffffffffffffffb, 0xfffffffffffffffd,
   1218   0xfffffffffffffffc, 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, 0xffffffff7ffffffe,
   1234   0xffffffff7ffffffd, 0xffffffff7fffffff,
   1235   0xffffffff7ffffffe, 0xffffffffaaaaaaa8,
   1236   0xffffffffaaaaaaa7, 0xffffffffccccccca,
   1237   0xffffffffccccccc9, 0xffffffffffff7ffe,
   1238   0xffffffffffff7ffd, 0xffffffffffff7fff,
   1239   0xffffffffffff7ffe, 0xffffffffffff8000,
   1240   0xffffffffffff7fff, 0xffffffffffff8001,
   1241   0xffffffffffff8000, 0xffffffffffffff7e,
   1242   0xffffffffffffff7d, 0xffffffffffffff7f,
   1243   0xffffffffffffff7e, 0xffffffffffffff80,
   1244   0xffffffffffffff7f, 0xffffffffffffff81,
   1245   0xffffffffffffff80, 0xffffffffffffffde,
   1246   0xffffffffffffffdd, 0xfffffffffffffffb,
   1247   0xfffffffffffffffb, 0xfffffffffffffffd,
   1248   0xfffffffffffffffc, 0xfffffffffffffffe,
   1249   0xfffffffffffffffd, 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, 0xffffffff7fffffff,
   1265   0xffffffff7ffffffe, 0xffffffff80000000,
   1266   0xffffffff7fffffff, 0xffffffffaaaaaaa9,
   1267   0xffffffffaaaaaaa8, 0xffffffffcccccccb,
   1268   0xffffffffccccccca, 0xffffffffffff7fff,
   1269   0xffffffffffff7ffe, 0xffffffffffff8000,
   1270   0xffffffffffff7fff, 0xffffffffffff8001,
   1271   0xffffffffffff8000, 0xffffffffffff8002,
   1272   0xffffffffffff8001, 0xffffffffffffff7f,
   1273   0xffffffffffffff7e, 0xffffffffffffff80,
   1274   0xffffffffffffff7f, 0xffffffffffffff81,
   1275   0xffffffffffffff80, 0xffffffffffffff82,
   1276   0xffffffffffffff81, 0xffffffffffffffdf,
   1277   0xffffffffffffffde, 0xfffffffffffffffc,
   1278 };
   1279 const unsigned kExpectedCount_NEON_saddw_2D = 1240;
   1280 
   1281 #endif  // VIXL_SIM_SADDW_2D_TRACE_A64_H_
   1282