Home | History | Annotate | Download | only in traces
      1 // Copyright 2015, VIXL authors
      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_SADDW2_2D_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SADDW2_2D_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_saddw2_2D[] = {
     38   0x00000000007ffd7d, 0x0000000000000000,
     39   0x000000000000007d, 0x0000000000000001,
     40   0x000000000000007e, 0x0000000000000002,
     41   0x000000000000007f, 0x0000000000000020,
     42   0x000000000000009d, 0x000000000000007d,
     43   0x00000000000000fa, 0x000000000000007e,
     44   0x00000000000000fb, 0x000000000000007f,
     45   0x00000000000000fc, 0x0000000000007ffd,
     46   0x000000000000807a, 0x0000000000007ffe,
     47   0x000000000000807b, 0x0000000000007fff,
     48   0x000000000000807c, 0x0000000033333333,
     49   0x00000000333333b0, 0x0000000055555555,
     50   0x00000000555555d2, 0x000000007ffffffd,
     51   0x000000008000007a, 0x000000007ffffffe,
     52   0x000000008000007b, 0x000000007fffffff,
     53   0x000000008000007c, 0xffffffff80000000,
     54   0xffffffff8000007d, 0xffffffff80000001,
     55   0xffffffff8000007e, 0xffffffffaaaaaaaa,
     56   0xffffffffaaaaab27, 0xffffffffcccccccc,
     57   0xffffffffcccccd49, 0xffffffffffff8000,
     58   0xffffffffffff807d, 0xffffffffffff8001,
     59   0xffffffffffff807e, 0xffffffffffff8002,
     60   0xffffffffffff807f, 0xffffffffffff8003,
     61   0xffffffffffff8080, 0xffffffffffffff80,
     62   0xfffffffffffffffd, 0xffffffffffffff81,
     63   0xfffffffffffffffe, 0xffffffffffffff82,
     64   0xffffffffffffffff, 0xffffffffffffff83,
     65   0x0000000000000000, 0xffffffffffffffe0,
     66   0x000000000000005d, 0xfffffffffffffffd,
     67   0x000000000000007a, 0xfffffffffffffffe,
     68   0x000000000000007b, 0xffffffffffffffff,
     69   0xffffffffffffffff, 0x0000000000000001,
     70   0x0000000000000000, 0x0000000000000002,
     71   0x0000000000000001, 0x0000000000000003,
     72   0x0000000000000002, 0x0000000000000021,
     73   0x0000000000000020, 0x000000000000007e,
     74   0x000000000000007d, 0x000000000000007f,
     75   0x000000000000007e, 0x0000000000000080,
     76   0x000000000000007f, 0x0000000000007ffe,
     77   0x0000000000007ffd, 0x0000000000007fff,
     78   0x0000000000007ffe, 0x0000000000008000,
     79   0x0000000000007fff, 0x0000000033333334,
     80   0x0000000033333333, 0x0000000055555556,
     81   0x0000000055555555, 0x000000007ffffffe,
     82   0x000000007ffffffd, 0x000000007fffffff,
     83   0x000000007ffffffe, 0x0000000080000000,
     84   0x000000007fffffff, 0xffffffff80000001,
     85   0xffffffff80000000, 0xffffffff80000002,
     86   0xffffffff80000001, 0xffffffffaaaaaaab,
     87   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
     88   0xffffffffcccccccc, 0xffffffffffff8001,
     89   0xffffffffffff8000, 0xffffffffffff8002,
     90   0xffffffffffff8001, 0xffffffffffff8003,
     91   0xffffffffffff8002, 0xffffffffffff8004,
     92   0xffffffffffff8003, 0xffffffffffffff81,
     93   0xffffffffffffff80, 0xffffffffffffff82,
     94   0xffffffffffffff81, 0xffffffffffffff83,
     95   0xffffffffffffff82, 0xffffffffffffff84,
     96   0xffffffffffffff83, 0xffffffffffffffe1,
     97   0xffffffffffffffe0, 0xfffffffffffffffe,
     98   0xfffffffffffffffd, 0xffffffffffffffff,
     99   0xfffffffffffffffe, 0x0000000000000000,
    100   0x0000000000000000, 0x0000000000000002,
    101   0x0000000000000001, 0x0000000000000003,
    102   0x0000000000000002, 0x0000000000000004,
    103   0x0000000000000003, 0x0000000000000022,
    104   0x0000000000000021, 0x000000000000007f,
    105   0x000000000000007e, 0x0000000000000080,
    106   0x000000000000007f, 0x0000000000000081,
    107   0x0000000000000080, 0x0000000000007fff,
    108   0x0000000000007ffe, 0x0000000000008000,
    109   0x0000000000007fff, 0x0000000000008001,
    110   0x0000000000008000, 0x0000000033333335,
    111   0x0000000033333334, 0x0000000055555557,
    112   0x0000000055555556, 0x000000007fffffff,
    113   0x000000007ffffffe, 0x0000000080000000,
    114   0x000000007fffffff, 0x0000000080000001,
    115   0x0000000080000000, 0xffffffff80000002,
    116   0xffffffff80000001, 0xffffffff80000003,
    117   0xffffffff80000002, 0xffffffffaaaaaaac,
    118   0xffffffffaaaaaaab, 0xffffffffccccccce,
    119   0xffffffffcccccccd, 0xffffffffffff8002,
    120   0xffffffffffff8001, 0xffffffffffff8003,
    121   0xffffffffffff8002, 0xffffffffffff8004,
    122   0xffffffffffff8003, 0xffffffffffff8005,
    123   0xffffffffffff8004, 0xffffffffffffff82,
    124   0xffffffffffffff81, 0xffffffffffffff83,
    125   0xffffffffffffff82, 0xffffffffffffff84,
    126   0xffffffffffffff83, 0xffffffffffffff85,
    127   0xffffffffffffff84, 0xffffffffffffffe2,
    128   0xffffffffffffffe1, 0xffffffffffffffff,
    129   0xfffffffffffffffe, 0x0000000000000000,
    130   0xffffffffffffffff, 0x0000000000000001,
    131   0x0000000000000001, 0x0000000000000040,
    132   0x0000000000000002, 0x0000000000000041,
    133   0x0000000000000003, 0x0000000000000042,
    134   0x0000000000000004, 0x0000000000000060,
    135   0x0000000000000022, 0x00000000000000bd,
    136   0x000000000000007f, 0x00000000000000be,
    137   0x0000000000000080, 0x00000000000000bf,
    138   0x0000000000000081, 0x000000000000803d,
    139   0x0000000000007fff, 0x000000000000803e,
    140   0x0000000000008000, 0x000000000000803f,
    141   0x0000000000008001, 0x0000000033333373,
    142   0x0000000033333335, 0x0000000055555595,
    143   0x0000000055555557, 0x000000008000003d,
    144   0x000000007fffffff, 0x000000008000003e,
    145   0x0000000080000000, 0x000000008000003f,
    146   0x0000000080000001, 0xffffffff80000040,
    147   0xffffffff80000002, 0xffffffff80000041,
    148   0xffffffff80000003, 0xffffffffaaaaaaea,
    149   0xffffffffaaaaaaac, 0xffffffffcccccd0c,
    150   0xffffffffccccccce, 0xffffffffffff8040,
    151   0xffffffffffff8002, 0xffffffffffff8041,
    152   0xffffffffffff8003, 0xffffffffffff8042,
    153   0xffffffffffff8004, 0xffffffffffff8043,
    154   0xffffffffffff8005, 0xffffffffffffffc0,
    155   0xffffffffffffff82, 0xffffffffffffffc1,
    156   0xffffffffffffff83, 0xffffffffffffffc2,
    157   0xffffffffffffff84, 0xffffffffffffffc3,
    158   0xffffffffffffff85, 0x0000000000000020,
    159   0xffffffffffffffe2, 0x000000000000003d,
    160   0xffffffffffffffff, 0x000000000000003e,
    161   0x0000000000000000, 0x000000000000003f,
    162   0x000000000000003f, 0x000000000000007d,
    163   0x0000000000000040, 0x000000000000007e,
    164   0x0000000000000041, 0x000000000000007f,
    165   0x0000000000000042, 0x000000000000009d,
    166   0x0000000000000060, 0x00000000000000fa,
    167   0x00000000000000bd, 0x00000000000000fb,
    168   0x00000000000000be, 0x00000000000000fc,
    169   0x00000000000000bf, 0x000000000000807a,
    170   0x000000000000803d, 0x000000000000807b,
    171   0x000000000000803e, 0x000000000000807c,
    172   0x000000000000803f, 0x00000000333333b0,
    173   0x0000000033333373, 0x00000000555555d2,
    174   0x0000000055555595, 0x000000008000007a,
    175   0x000000008000003d, 0x000000008000007b,
    176   0x000000008000003e, 0x000000008000007c,
    177   0x000000008000003f, 0xffffffff8000007d,
    178   0xffffffff80000040, 0xffffffff8000007e,
    179   0xffffffff80000041, 0xffffffffaaaaab27,
    180   0xffffffffaaaaaaea, 0xffffffffcccccd49,
    181   0xffffffffcccccd0c, 0xffffffffffff807d,
    182   0xffffffffffff8040, 0xffffffffffff807e,
    183   0xffffffffffff8041, 0xffffffffffff807f,
    184   0xffffffffffff8042, 0xffffffffffff8080,
    185   0xffffffffffff8043, 0xfffffffffffffffd,
    186   0xffffffffffffffc0, 0xfffffffffffffffe,
    187   0xffffffffffffffc1, 0xffffffffffffffff,
    188   0xffffffffffffffc2, 0x0000000000000000,
    189   0xffffffffffffffc3, 0x000000000000005d,
    190   0x0000000000000020, 0x000000000000007a,
    191   0x000000000000003d, 0x000000000000007b,
    192   0x000000000000003e, 0x000000000000007c,
    193   0x000000000000007c, 0x000000000000007e,
    194   0x000000000000007d, 0x000000000000007f,
    195   0x000000000000007e, 0x0000000000000080,
    196   0x000000000000007f, 0x000000000000009e,
    197   0x000000000000009d, 0x00000000000000fb,
    198   0x00000000000000fa, 0x00000000000000fc,
    199   0x00000000000000fb, 0x00000000000000fd,
    200   0x00000000000000fc, 0x000000000000807b,
    201   0x000000000000807a, 0x000000000000807c,
    202   0x000000000000807b, 0x000000000000807d,
    203   0x000000000000807c, 0x00000000333333b1,
    204   0x00000000333333b0, 0x00000000555555d3,
    205   0x00000000555555d2, 0x000000008000007b,
    206   0x000000008000007a, 0x000000008000007c,
    207   0x000000008000007b, 0x000000008000007d,
    208   0x000000008000007c, 0xffffffff8000007e,
    209   0xffffffff8000007d, 0xffffffff8000007f,
    210   0xffffffff8000007e, 0xffffffffaaaaab28,
    211   0xffffffffaaaaab27, 0xffffffffcccccd4a,
    212   0xffffffffcccccd49, 0xffffffffffff807e,
    213   0xffffffffffff807d, 0xffffffffffff807f,
    214   0xffffffffffff807e, 0xffffffffffff8080,
    215   0xffffffffffff807f, 0xffffffffffff8081,
    216   0xffffffffffff8080, 0xfffffffffffffffe,
    217   0xfffffffffffffffd, 0xffffffffffffffff,
    218   0xfffffffffffffffe, 0x0000000000000000,
    219   0xffffffffffffffff, 0x0000000000000001,
    220   0x0000000000000000, 0x000000000000005e,
    221   0x000000000000005d, 0x000000000000007b,
    222   0x000000000000007a, 0x000000000000007c,
    223   0x000000000000007b, 0x000000000000007d,
    224   0x000000000000007d, 0x000000000000007f,
    225   0x000000000000007e, 0x0000000000000080,
    226   0x000000000000007f, 0x0000000000000081,
    227   0x0000000000000080, 0x000000000000009f,
    228   0x000000000000009e, 0x00000000000000fc,
    229   0x00000000000000fb, 0x00000000000000fd,
    230   0x00000000000000fc, 0x00000000000000fe,
    231   0x00000000000000fd, 0x000000000000807c,
    232   0x000000000000807b, 0x000000000000807d,
    233   0x000000000000807c, 0x000000000000807e,
    234   0x000000000000807d, 0x00000000333333b2,
    235   0x00000000333333b1, 0x00000000555555d4,
    236   0x00000000555555d3, 0x000000008000007c,
    237   0x000000008000007b, 0x000000008000007d,
    238   0x000000008000007c, 0x000000008000007e,
    239   0x000000008000007d, 0xffffffff8000007f,
    240   0xffffffff8000007e, 0xffffffff80000080,
    241   0xffffffff8000007f, 0xffffffffaaaaab29,
    242   0xffffffffaaaaab28, 0xffffffffcccccd4b,
    243   0xffffffffcccccd4a, 0xffffffffffff807f,
    244   0xffffffffffff807e, 0xffffffffffff8080,
    245   0xffffffffffff807f, 0xffffffffffff8081,
    246   0xffffffffffff8080, 0xffffffffffff8082,
    247   0xffffffffffff8081, 0xffffffffffffffff,
    248   0xfffffffffffffffe, 0x0000000000000000,
    249   0xffffffffffffffff, 0x0000000000000001,
    250   0x0000000000000000, 0x0000000000000002,
    251   0x0000000000000001, 0x000000000000005f,
    252   0x000000000000005e, 0x000000000000007c,
    253   0x000000000000007b, 0x000000000000007d,
    254   0x000000000000007c, 0x000000000000007e,
    255   0x000000000000007e, 0x0000000000007ffd,
    256   0x000000000000007f, 0x0000000000007ffe,
    257   0x0000000000000080, 0x0000000000007fff,
    258   0x0000000000000081, 0x000000000000801d,
    259   0x000000000000009f, 0x000000000000807a,
    260   0x00000000000000fc, 0x000000000000807b,
    261   0x00000000000000fd, 0x000000000000807c,
    262   0x00000000000000fe, 0x000000000000fffa,
    263   0x000000000000807c, 0x000000000000fffb,
    264   0x000000000000807d, 0x000000000000fffc,
    265   0x000000000000807e, 0x000000003333b330,
    266   0x00000000333333b2, 0x000000005555d552,
    267   0x00000000555555d4, 0x0000000080007ffa,
    268   0x000000008000007c, 0x0000000080007ffb,
    269   0x000000008000007d, 0x0000000080007ffc,
    270   0x000000008000007e, 0xffffffff80007ffd,
    271   0xffffffff8000007f, 0xffffffff80007ffe,
    272   0xffffffff80000080, 0xffffffffaaab2aa7,
    273   0xffffffffaaaaab29, 0xffffffffcccd4cc9,
    274   0xffffffffcccccd4b, 0xfffffffffffffffd,
    275   0xffffffffffff807f, 0xfffffffffffffffe,
    276   0xffffffffffff8080, 0xffffffffffffffff,
    277   0xffffffffffff8081, 0x0000000000000000,
    278   0xffffffffffff8082, 0x0000000000007f7d,
    279   0xffffffffffffffff, 0x0000000000007f7e,
    280   0x0000000000000000, 0x0000000000007f7f,
    281   0x0000000000000001, 0x0000000000007f80,
    282   0x0000000000000002, 0x0000000000007fdd,
    283   0x000000000000005f, 0x0000000000007ffa,
    284   0x000000000000007c, 0x0000000000007ffb,
    285   0x000000000000007d, 0x0000000000007ffc,
    286   0x0000000000007ffc, 0x0000000000007ffe,
    287   0x0000000000007ffd, 0x0000000000007fff,
    288   0x0000000000007ffe, 0x0000000000008000,
    289   0x0000000000007fff, 0x000000000000801e,
    290   0x000000000000801d, 0x000000000000807b,
    291   0x000000000000807a, 0x000000000000807c,
    292   0x000000000000807b, 0x000000000000807d,
    293   0x000000000000807c, 0x000000000000fffb,
    294   0x000000000000fffa, 0x000000000000fffc,
    295   0x000000000000fffb, 0x000000000000fffd,
    296   0x000000000000fffc, 0x000000003333b331,
    297   0x000000003333b330, 0x000000005555d553,
    298   0x000000005555d552, 0x0000000080007ffb,
    299   0x0000000080007ffa, 0x0000000080007ffc,
    300   0x0000000080007ffb, 0x0000000080007ffd,
    301   0x0000000080007ffc, 0xffffffff80007ffe,
    302   0xffffffff80007ffd, 0xffffffff80007fff,
    303   0xffffffff80007ffe, 0xffffffffaaab2aa8,
    304   0xffffffffaaab2aa7, 0xffffffffcccd4cca,
    305   0xffffffffcccd4cc9, 0xfffffffffffffffe,
    306   0xfffffffffffffffd, 0xffffffffffffffff,
    307   0xfffffffffffffffe, 0x0000000000000000,
    308   0xffffffffffffffff, 0x0000000000000001,
    309   0x0000000000000000, 0x0000000000007f7e,
    310   0x0000000000007f7d, 0x0000000000007f7f,
    311   0x0000000000007f7e, 0x0000000000007f80,
    312   0x0000000000007f7f, 0x0000000000007f81,
    313   0x0000000000007f80, 0x0000000000007fde,
    314   0x0000000000007fdd, 0x0000000000007ffb,
    315   0x0000000000007ffa, 0x0000000000007ffc,
    316   0x0000000000007ffb, 0x0000000000007ffd,
    317   0x0000000000007ffd, 0x0000000000007fff,
    318   0x0000000000007ffe, 0x0000000000008000,
    319   0x0000000000007fff, 0x0000000000008001,
    320   0x0000000000008000, 0x000000000000801f,
    321   0x000000000000801e, 0x000000000000807c,
    322   0x000000000000807b, 0x000000000000807d,
    323   0x000000000000807c, 0x000000000000807e,
    324   0x000000000000807d, 0x000000000000fffc,
    325   0x000000000000fffb, 0x000000000000fffd,
    326   0x000000000000fffc, 0x000000000000fffe,
    327   0x000000000000fffd, 0x000000003333b332,
    328   0x000000003333b331, 0x000000005555d554,
    329   0x000000005555d553, 0x0000000080007ffc,
    330   0x0000000080007ffb, 0x0000000080007ffd,
    331   0x0000000080007ffc, 0x0000000080007ffe,
    332   0x0000000080007ffd, 0xffffffff80007fff,
    333   0xffffffff80007ffe, 0xffffffff80008000,
    334   0xffffffff80007fff, 0xffffffffaaab2aa9,
    335   0xffffffffaaab2aa8, 0xffffffffcccd4ccb,
    336   0xffffffffcccd4cca, 0xffffffffffffffff,
    337   0xfffffffffffffffe, 0x0000000000000000,
    338   0xffffffffffffffff, 0x0000000000000001,
    339   0x0000000000000000, 0x0000000000000002,
    340   0x0000000000000001, 0x0000000000007f7f,
    341   0x0000000000007f7e, 0x0000000000007f80,
    342   0x0000000000007f7f, 0x0000000000007f81,
    343   0x0000000000007f80, 0x0000000000007f82,
    344   0x0000000000007f81, 0x0000000000007fdf,
    345   0x0000000000007fde, 0x0000000000007ffc,
    346   0x0000000000007ffb, 0x0000000000007ffd,
    347   0x0000000000007ffc, 0x0000000000007ffe,
    348   0x0000000000007ffe, 0x000000007ffffffd,
    349   0x0000000000007fff, 0x000000007ffffffe,
    350   0x0000000000008000, 0x000000007fffffff,
    351   0x0000000000008001, 0x000000008000001d,
    352   0x000000000000801f, 0x000000008000007a,
    353   0x000000000000807c, 0x000000008000007b,
    354   0x000000000000807d, 0x000000008000007c,
    355   0x000000000000807e, 0x0000000080007ffa,
    356   0x000000000000fffc, 0x0000000080007ffb,
    357   0x000000000000fffd, 0x0000000080007ffc,
    358   0x000000000000fffe, 0x00000000b3333330,
    359   0x000000003333b332, 0x00000000d5555552,
    360   0x000000005555d554, 0x00000000fffffffa,
    361   0x0000000080007ffc, 0x00000000fffffffb,
    362   0x0000000080007ffd, 0x00000000fffffffc,
    363   0x0000000080007ffe, 0xfffffffffffffffd,
    364   0xffffffff80007fff, 0xfffffffffffffffe,
    365   0xffffffff80008000, 0x000000002aaaaaa7,
    366   0xffffffffaaab2aa9, 0x000000004cccccc9,
    367   0xffffffffcccd4ccb, 0x000000007fff7ffd,
    368   0xffffffffffffffff, 0x000000007fff7ffe,
    369   0x0000000000000000, 0x000000007fff7fff,
    370   0x0000000000000001, 0x000000007fff8000,
    371   0x0000000000000002, 0x000000007fffff7d,
    372   0x0000000000007f7f, 0x000000007fffff7e,
    373   0x0000000000007f80, 0x000000007fffff7f,
    374   0x0000000000007f81, 0x000000007fffff80,
    375   0x0000000000007f82, 0x000000007fffffdd,
    376   0x0000000000007fdf, 0x000000007ffffffa,
    377   0x0000000000007ffc, 0x000000007ffffffb,
    378   0x0000000000007ffd, 0x000000007ffffffc,
    379   0x000000007ffffffc, 0x000000007ffffffe,
    380   0x000000007ffffffd, 0x000000007fffffff,
    381   0x000000007ffffffe, 0x0000000080000000,
    382   0x000000007fffffff, 0x000000008000001e,
    383   0x000000008000001d, 0x000000008000007b,
    384   0x000000008000007a, 0x000000008000007c,
    385   0x000000008000007b, 0x000000008000007d,
    386   0x000000008000007c, 0x0000000080007ffb,
    387   0x0000000080007ffa, 0x0000000080007ffc,
    388   0x0000000080007ffb, 0x0000000080007ffd,
    389   0x0000000080007ffc, 0x00000000b3333331,
    390   0x00000000b3333330, 0x00000000d5555553,
    391   0x00000000d5555552, 0x00000000fffffffb,
    392   0x00000000fffffffa, 0x00000000fffffffc,
    393   0x00000000fffffffb, 0x00000000fffffffd,
    394   0x00000000fffffffc, 0xfffffffffffffffe,
    395   0xfffffffffffffffd, 0xffffffffffffffff,
    396   0xfffffffffffffffe, 0x000000002aaaaaa8,
    397   0x000000002aaaaaa7, 0x000000004cccccca,
    398   0x000000004cccccc9, 0x000000007fff7ffe,
    399   0x000000007fff7ffd, 0x000000007fff7fff,
    400   0x000000007fff7ffe, 0x000000007fff8000,
    401   0x000000007fff7fff, 0x000000007fff8001,
    402   0x000000007fff8000, 0x000000007fffff7e,
    403   0x000000007fffff7d, 0x000000007fffff7f,
    404   0x000000007fffff7e, 0x000000007fffff80,
    405   0x000000007fffff7f, 0x000000007fffff81,
    406   0x000000007fffff80, 0x000000007fffffde,
    407   0x000000007fffffdd, 0x000000007ffffffb,
    408   0x000000007ffffffa, 0x000000007ffffffc,
    409   0x000000007ffffffb, 0x000000007ffffffd,
    410   0x000000007ffffffd, 0x000000007fffffff,
    411   0x000000007ffffffe, 0x0000000080000000,
    412   0x000000007fffffff, 0x0000000080000001,
    413   0x0000000080000000, 0x000000008000001f,
    414   0x000000008000001e, 0x000000008000007c,
    415   0x000000008000007b, 0x000000008000007d,
    416   0x000000008000007c, 0x000000008000007e,
    417   0x000000008000007d, 0x0000000080007ffc,
    418   0x0000000080007ffb, 0x0000000080007ffd,
    419   0x0000000080007ffc, 0x0000000080007ffe,
    420   0x0000000080007ffd, 0x00000000b3333332,
    421   0x00000000b3333331, 0x00000000d5555554,
    422   0x00000000d5555553, 0x00000000fffffffc,
    423   0x00000000fffffffb, 0x00000000fffffffd,
    424   0x00000000fffffffc, 0x00000000fffffffe,
    425   0x00000000fffffffd, 0xffffffffffffffff,
    426   0xfffffffffffffffe, 0x0000000000000000,
    427   0xffffffffffffffff, 0x000000002aaaaaa9,
    428   0x000000002aaaaaa8, 0x000000004ccccccb,
    429   0x000000004cccccca, 0x000000007fff7fff,
    430   0x000000007fff7ffe, 0x000000007fff8000,
    431   0x000000007fff7fff, 0x000000007fff8001,
    432   0x000000007fff8000, 0x000000007fff8002,
    433   0x000000007fff8001, 0x000000007fffff7f,
    434   0x000000007fffff7e, 0x000000007fffff80,
    435   0x000000007fffff7f, 0x000000007fffff81,
    436   0x000000007fffff80, 0x000000007fffff82,
    437   0x000000007fffff81, 0x000000007fffffdf,
    438   0x000000007fffffde, 0x000000007ffffffc,
    439   0x000000007ffffffb, 0x000000007ffffffd,
    440   0x000000007ffffffc, 0x000000007ffffffe,
    441   0x000000007ffffffe, 0x3333333333333333,
    442   0x000000007fffffff, 0x3333333333333334,
    443   0x0000000080000000, 0x3333333333333335,
    444   0x0000000080000001, 0x3333333333333353,
    445   0x000000008000001f, 0x33333333333333b0,
    446   0x000000008000007c, 0x33333333333333b1,
    447   0x000000008000007d, 0x33333333333333b2,
    448   0x000000008000007e, 0x333333333333b330,
    449   0x0000000080007ffc, 0x333333333333b331,
    450   0x0000000080007ffd, 0x333333333333b332,
    451   0x0000000080007ffe, 0x3333333366666666,
    452   0x00000000b3333332, 0x3333333388888888,
    453   0x00000000d5555554, 0x33333333b3333330,
    454   0x00000000fffffffc, 0x33333333b3333331,
    455   0x00000000fffffffd, 0x33333333b3333332,
    456   0x00000000fffffffe, 0x33333332b3333333,
    457   0xffffffffffffffff, 0x33333332b3333334,
    458   0x0000000000000000, 0x33333332dddddddd,
    459   0x000000002aaaaaa9, 0x33333332ffffffff,
    460   0x000000004ccccccb, 0x333333333332b333,
    461   0x000000007fff7fff, 0x333333333332b334,
    462   0x000000007fff8000, 0x333333333332b335,
    463   0x000000007fff8001, 0x333333333332b336,
    464   0x000000007fff8002, 0x33333333333332b3,
    465   0x000000007fffff7f, 0x33333333333332b4,
    466   0x000000007fffff80, 0x33333333333332b5,
    467   0x000000007fffff81, 0x33333333333332b6,
    468   0x000000007fffff82, 0x3333333333333313,
    469   0x000000007fffffdf, 0x3333333333333330,
    470   0x000000007ffffffc, 0x3333333333333331,
    471   0x000000007ffffffd, 0x3333333333333332,
    472   0x3333333333333332, 0x5555555555555555,
    473   0x3333333333333333, 0x5555555555555556,
    474   0x3333333333333334, 0x5555555555555557,
    475   0x3333333333333335, 0x5555555555555575,
    476   0x3333333333333353, 0x55555555555555d2,
    477   0x33333333333333b0, 0x55555555555555d3,
    478   0x33333333333333b1, 0x55555555555555d4,
    479   0x33333333333333b2, 0x555555555555d552,
    480   0x333333333333b330, 0x555555555555d553,
    481   0x333333333333b331, 0x555555555555d554,
    482   0x333333333333b332, 0x5555555588888888,
    483   0x3333333366666666, 0x55555555aaaaaaaa,
    484   0x3333333388888888, 0x55555555d5555552,
    485   0x33333333b3333330, 0x55555555d5555553,
    486   0x33333333b3333331, 0x55555555d5555554,
    487   0x33333333b3333332, 0x55555554d5555555,
    488   0x33333332b3333333, 0x55555554d5555556,
    489   0x33333332b3333334, 0x55555554ffffffff,
    490   0x33333332dddddddd, 0x5555555522222221,
    491   0x33333332ffffffff, 0x555555555554d555,
    492   0x333333333332b333, 0x555555555554d556,
    493   0x333333333332b334, 0x555555555554d557,
    494   0x333333333332b335, 0x555555555554d558,
    495   0x333333333332b336, 0x55555555555554d5,
    496   0x33333333333332b3, 0x55555555555554d6,
    497   0x33333333333332b4, 0x55555555555554d7,
    498   0x33333333333332b5, 0x55555555555554d8,
    499   0x33333333333332b6, 0x5555555555555535,
    500   0x3333333333333313, 0x5555555555555552,
    501   0x3333333333333330, 0x5555555555555553,
    502   0x3333333333333331, 0x5555555555555554,
    503   0x5555555555555554, 0x7ffffffffffffffd,
    504   0x5555555555555555, 0x7ffffffffffffffe,
    505   0x5555555555555556, 0x7fffffffffffffff,
    506   0x5555555555555557, 0x800000000000001d,
    507   0x5555555555555575, 0x800000000000007a,
    508   0x55555555555555d2, 0x800000000000007b,
    509   0x55555555555555d3, 0x800000000000007c,
    510   0x55555555555555d4, 0x8000000000007ffa,
    511   0x555555555555d552, 0x8000000000007ffb,
    512   0x555555555555d553, 0x8000000000007ffc,
    513   0x555555555555d554, 0x8000000033333330,
    514   0x5555555588888888, 0x8000000055555552,
    515   0x55555555aaaaaaaa, 0x800000007ffffffa,
    516   0x55555555d5555552, 0x800000007ffffffb,
    517   0x55555555d5555553, 0x800000007ffffffc,
    518   0x55555555d5555554, 0x7fffffff7ffffffd,
    519   0x55555554d5555555, 0x7fffffff7ffffffe,
    520   0x55555554d5555556, 0x7fffffffaaaaaaa7,
    521   0x55555554ffffffff, 0x7fffffffccccccc9,
    522   0x5555555522222221, 0x7fffffffffff7ffd,
    523   0x555555555554d555, 0x7fffffffffff7ffe,
    524   0x555555555554d556, 0x7fffffffffff7fff,
    525   0x555555555554d557, 0x7fffffffffff8000,
    526   0x555555555554d558, 0x7fffffffffffff7d,
    527   0x55555555555554d5, 0x7fffffffffffff7e,
    528   0x55555555555554d6, 0x7fffffffffffff7f,
    529   0x55555555555554d7, 0x7fffffffffffff80,
    530   0x55555555555554d8, 0x7fffffffffffffdd,
    531   0x5555555555555535, 0x7ffffffffffffffa,
    532   0x5555555555555552, 0x7ffffffffffffffb,
    533   0x5555555555555553, 0x7ffffffffffffffc,
    534   0x7ffffffffffffffc, 0x7ffffffffffffffe,
    535   0x7ffffffffffffffd, 0x7fffffffffffffff,
    536   0x7ffffffffffffffe, 0x8000000000000000,
    537   0x7fffffffffffffff, 0x800000000000001e,
    538   0x800000000000001d, 0x800000000000007b,
    539   0x800000000000007a, 0x800000000000007c,
    540   0x800000000000007b, 0x800000000000007d,
    541   0x800000000000007c, 0x8000000000007ffb,
    542   0x8000000000007ffa, 0x8000000000007ffc,
    543   0x8000000000007ffb, 0x8000000000007ffd,
    544   0x8000000000007ffc, 0x8000000033333331,
    545   0x8000000033333330, 0x8000000055555553,
    546   0x8000000055555552, 0x800000007ffffffb,
    547   0x800000007ffffffa, 0x800000007ffffffc,
    548   0x800000007ffffffb, 0x800000007ffffffd,
    549   0x800000007ffffffc, 0x7fffffff7ffffffe,
    550   0x7fffffff7ffffffd, 0x7fffffff7fffffff,
    551   0x7fffffff7ffffffe, 0x7fffffffaaaaaaa8,
    552   0x7fffffffaaaaaaa7, 0x7fffffffccccccca,
    553   0x7fffffffccccccc9, 0x7fffffffffff7ffe,
    554   0x7fffffffffff7ffd, 0x7fffffffffff7fff,
    555   0x7fffffffffff7ffe, 0x7fffffffffff8000,
    556   0x7fffffffffff7fff, 0x7fffffffffff8001,
    557   0x7fffffffffff8000, 0x7fffffffffffff7e,
    558   0x7fffffffffffff7d, 0x7fffffffffffff7f,
    559   0x7fffffffffffff7e, 0x7fffffffffffff80,
    560   0x7fffffffffffff7f, 0x7fffffffffffff81,
    561   0x7fffffffffffff80, 0x7fffffffffffffde,
    562   0x7fffffffffffffdd, 0x7ffffffffffffffb,
    563   0x7ffffffffffffffa, 0x7ffffffffffffffc,
    564   0x7ffffffffffffffb, 0x7ffffffffffffffd,
    565   0x7ffffffffffffffd, 0x7fffffffffffffff,
    566   0x7ffffffffffffffe, 0x8000000000000000,
    567   0x7fffffffffffffff, 0x8000000000000001,
    568   0x8000000000000000, 0x800000000000001f,
    569   0x800000000000001e, 0x800000000000007c,
    570   0x800000000000007b, 0x800000000000007d,
    571   0x800000000000007c, 0x800000000000007e,
    572   0x800000000000007d, 0x8000000000007ffc,
    573   0x8000000000007ffb, 0x8000000000007ffd,
    574   0x8000000000007ffc, 0x8000000000007ffe,
    575   0x8000000000007ffd, 0x8000000033333332,
    576   0x8000000033333331, 0x8000000055555554,
    577   0x8000000055555553, 0x800000007ffffffc,
    578   0x800000007ffffffb, 0x800000007ffffffd,
    579   0x800000007ffffffc, 0x800000007ffffffe,
    580   0x800000007ffffffd, 0x7fffffff7fffffff,
    581   0x7fffffff7ffffffe, 0x7fffffff80000000,
    582   0x7fffffff7fffffff, 0x7fffffffaaaaaaa9,
    583   0x7fffffffaaaaaaa8, 0x7fffffffcccccccb,
    584   0x7fffffffccccccca, 0x7fffffffffff7fff,
    585   0x7fffffffffff7ffe, 0x7fffffffffff8000,
    586   0x7fffffffffff7fff, 0x7fffffffffff8001,
    587   0x7fffffffffff8000, 0x7fffffffffff8002,
    588   0x7fffffffffff8001, 0x7fffffffffffff7f,
    589   0x7fffffffffffff7e, 0x7fffffffffffff80,
    590   0x7fffffffffffff7f, 0x7fffffffffffff81,
    591   0x7fffffffffffff80, 0x7fffffffffffff82,
    592   0x7fffffffffffff81, 0x7fffffffffffffdf,
    593   0x7fffffffffffffde, 0x7ffffffffffffffc,
    594   0x7ffffffffffffffb, 0x7ffffffffffffffd,
    595   0x7ffffffffffffffc, 0x7ffffffffffffffe,
    596   0x7ffffffffffffffe, 0x8000000000000000,
    597   0x7fffffffffffffff, 0x8000000000000001,
    598   0x8000000000000000, 0x8000000000000002,
    599   0x8000000000000001, 0x8000000000000020,
    600   0x800000000000001f, 0x800000000000007d,
    601   0x800000000000007c, 0x800000000000007e,
    602   0x800000000000007d, 0x800000000000007f,
    603   0x800000000000007e, 0x8000000000007ffd,
    604   0x8000000000007ffc, 0x8000000000007ffe,
    605   0x8000000000007ffd, 0x8000000000007fff,
    606   0x8000000000007ffe, 0x8000000033333333,
    607   0x8000000033333332, 0x8000000055555555,
    608   0x8000000055555554, 0x800000007ffffffd,
    609   0x800000007ffffffc, 0x800000007ffffffe,
    610   0x800000007ffffffd, 0x800000007fffffff,
    611   0x800000007ffffffe, 0x7fffffff80000000,
    612   0x7fffffff7fffffff, 0x7fffffff80000001,
    613   0x7fffffff80000000, 0x7fffffffaaaaaaaa,
    614   0x7fffffffaaaaaaa9, 0x7fffffffcccccccc,
    615   0x7fffffffcccccccb, 0x7fffffffffff8000,
    616   0x7fffffffffff7fff, 0x7fffffffffff8001,
    617   0x7fffffffffff8000, 0x7fffffffffff8002,
    618   0x7fffffffffff8001, 0x7fffffffffff8003,
    619   0x7fffffffffff8002, 0x7fffffffffffff80,
    620   0x7fffffffffffff7f, 0x7fffffffffffff81,
    621   0x7fffffffffffff80, 0x7fffffffffffff82,
    622   0x7fffffffffffff81, 0x7fffffffffffff83,
    623   0x7fffffffffffff82, 0x7fffffffffffffe0,
    624   0x7fffffffffffffdf, 0x7ffffffffffffffd,
    625   0x7ffffffffffffffc, 0x7ffffffffffffffe,
    626   0x7ffffffffffffffd, 0x7fffffffffffffff,
    627   0x7fffffffffffffff, 0x8000000000000001,
    628   0x8000000000000000, 0x8000000000000002,
    629   0x8000000000000001, 0x8000000000000003,
    630   0x8000000000000002, 0x8000000000000021,
    631   0x8000000000000020, 0x800000000000007e,
    632   0x800000000000007d, 0x800000000000007f,
    633   0x800000000000007e, 0x8000000000000080,
    634   0x800000000000007f, 0x8000000000007ffe,
    635   0x8000000000007ffd, 0x8000000000007fff,
    636   0x8000000000007ffe, 0x8000000000008000,
    637   0x8000000000007fff, 0x8000000033333334,
    638   0x8000000033333333, 0x8000000055555556,
    639   0x8000000055555555, 0x800000007ffffffe,
    640   0x800000007ffffffd, 0x800000007fffffff,
    641   0x800000007ffffffe, 0x8000000080000000,
    642   0x800000007fffffff, 0x7fffffff80000001,
    643   0x7fffffff80000000, 0x7fffffff80000002,
    644   0x7fffffff80000001, 0x7fffffffaaaaaaab,
    645   0x7fffffffaaaaaaaa, 0x7fffffffcccccccd,
    646   0x7fffffffcccccccc, 0x7fffffffffff8001,
    647   0x7fffffffffff8000, 0x7fffffffffff8002,
    648   0x7fffffffffff8001, 0x7fffffffffff8003,
    649   0x7fffffffffff8002, 0x7fffffffffff8004,
    650   0x7fffffffffff8003, 0x7fffffffffffff81,
    651   0x7fffffffffffff80, 0x7fffffffffffff82,
    652   0x7fffffffffffff81, 0x7fffffffffffff83,
    653   0x7fffffffffffff82, 0x7fffffffffffff84,
    654   0x7fffffffffffff83, 0x7fffffffffffffe1,
    655   0x7fffffffffffffe0, 0x7ffffffffffffffe,
    656   0x7ffffffffffffffd, 0x7fffffffffffffff,
    657   0x7ffffffffffffffe, 0x8000000000000000,
    658   0x8000000000000000, 0x8000000000000002,
    659   0x8000000000000001, 0x8000000000000003,
    660   0x8000000000000002, 0x8000000000000004,
    661   0x8000000000000003, 0x8000000000000022,
    662   0x8000000000000021, 0x800000000000007f,
    663   0x800000000000007e, 0x8000000000000080,
    664   0x800000000000007f, 0x8000000000000081,
    665   0x8000000000000080, 0x8000000000007fff,
    666   0x8000000000007ffe, 0x8000000000008000,
    667   0x8000000000007fff, 0x8000000000008001,
    668   0x8000000000008000, 0x8000000033333335,
    669   0x8000000033333334, 0x8000000055555557,
    670   0x8000000055555556, 0x800000007fffffff,
    671   0x800000007ffffffe, 0x8000000080000000,
    672   0x800000007fffffff, 0x8000000080000001,
    673   0x8000000080000000, 0x7fffffff80000002,
    674   0x7fffffff80000001, 0x7fffffff80000003,
    675   0x7fffffff80000002, 0x7fffffffaaaaaaac,
    676   0x7fffffffaaaaaaab, 0x7fffffffccccccce,
    677   0x7fffffffcccccccd, 0x7fffffffffff8002,
    678   0x7fffffffffff8001, 0x7fffffffffff8003,
    679   0x7fffffffffff8002, 0x7fffffffffff8004,
    680   0x7fffffffffff8003, 0x7fffffffffff8005,
    681   0x7fffffffffff8004, 0x7fffffffffffff82,
    682   0x7fffffffffffff81, 0x7fffffffffffff83,
    683   0x7fffffffffffff82, 0x7fffffffffffff84,
    684   0x7fffffffffffff83, 0x7fffffffffffff85,
    685   0x7fffffffffffff84, 0x7fffffffffffffe2,
    686   0x7fffffffffffffe1, 0x7fffffffffffffff,
    687   0x7ffffffffffffffe, 0x8000000000000000,
    688   0x7fffffffffffffff, 0x8000000000000001,
    689   0x8000000000000001, 0x8000000000000003,
    690   0x8000000000000002, 0x8000000000000004,
    691   0x8000000000000003, 0x8000000000000005,
    692   0x8000000000000004, 0x8000000000000023,
    693   0x8000000000000022, 0x8000000000000080,
    694   0x800000000000007f, 0x8000000000000081,
    695   0x8000000000000080, 0x8000000000000082,
    696   0x8000000000000081, 0x8000000000008000,
    697   0x8000000000007fff, 0x8000000000008001,
    698   0x8000000000008000, 0x8000000000008002,
    699   0x8000000000008001, 0x8000000033333336,
    700   0x8000000033333335, 0x8000000055555558,
    701   0x8000000055555557, 0x8000000080000000,
    702   0x800000007fffffff, 0x8000000080000001,
    703   0x8000000080000000, 0x8000000080000002,
    704   0x8000000080000001, 0x7fffffff80000003,
    705   0x7fffffff80000002, 0x7fffffff80000004,
    706   0x7fffffff80000003, 0x7fffffffaaaaaaad,
    707   0x7fffffffaaaaaaac, 0x7fffffffcccccccf,
    708   0x7fffffffccccccce, 0x7fffffffffff8003,
    709   0x7fffffffffff8002, 0x7fffffffffff8004,
    710   0x7fffffffffff8003, 0x7fffffffffff8005,
    711   0x7fffffffffff8004, 0x7fffffffffff8006,
    712   0x7fffffffffff8005, 0x7fffffffffffff83,
    713   0x7fffffffffffff82, 0x7fffffffffffff84,
    714   0x7fffffffffffff83, 0x7fffffffffffff85,
    715   0x7fffffffffffff84, 0x7fffffffffffff86,
    716   0x7fffffffffffff85, 0x7fffffffffffffe3,
    717   0x7fffffffffffffe2, 0x8000000000000000,
    718   0x7fffffffffffffff, 0x8000000000000001,
    719   0x8000000000000000, 0x8000000000000002,
    720   0x8000000000000002, 0xaaaaaaaaaaaaaaaa,
    721   0x8000000000000003, 0xaaaaaaaaaaaaaaab,
    722   0x8000000000000004, 0xaaaaaaaaaaaaaaac,
    723   0x8000000000000005, 0xaaaaaaaaaaaaaaca,
    724   0x8000000000000023, 0xaaaaaaaaaaaaab27,
    725   0x8000000000000080, 0xaaaaaaaaaaaaab28,
    726   0x8000000000000081, 0xaaaaaaaaaaaaab29,
    727   0x8000000000000082, 0xaaaaaaaaaaab2aa7,
    728   0x8000000000008000, 0xaaaaaaaaaaab2aa8,
    729   0x8000000000008001, 0xaaaaaaaaaaab2aa9,
    730   0x8000000000008002, 0xaaaaaaaadddddddd,
    731   0x8000000033333336, 0xaaaaaaaaffffffff,
    732   0x8000000055555558, 0xaaaaaaab2aaaaaa7,
    733   0x8000000080000000, 0xaaaaaaab2aaaaaa8,
    734   0x8000000080000001, 0xaaaaaaab2aaaaaa9,
    735   0x8000000080000002, 0xaaaaaaaa2aaaaaaa,
    736   0x7fffffff80000003, 0xaaaaaaaa2aaaaaab,
    737   0x7fffffff80000004, 0xaaaaaaaa55555554,
    738   0x7fffffffaaaaaaad, 0xaaaaaaaa77777776,
    739   0x7fffffffcccccccf, 0xaaaaaaaaaaaa2aaa,
    740   0x7fffffffffff8003, 0xaaaaaaaaaaaa2aab,
    741   0x7fffffffffff8004, 0xaaaaaaaaaaaa2aac,
    742   0x7fffffffffff8005, 0xaaaaaaaaaaaa2aad,
    743   0x7fffffffffff8006, 0xaaaaaaaaaaaaaa2a,
    744   0x7fffffffffffff83, 0xaaaaaaaaaaaaaa2b,
    745   0x7fffffffffffff84, 0xaaaaaaaaaaaaaa2c,
    746   0x7fffffffffffff85, 0xaaaaaaaaaaaaaa2d,
    747   0x7fffffffffffff86, 0xaaaaaaaaaaaaaa8a,
    748   0x7fffffffffffffe3, 0xaaaaaaaaaaaaaaa7,
    749   0x8000000000000000, 0xaaaaaaaaaaaaaaa8,
    750   0x8000000000000001, 0xaaaaaaaaaaaaaaa9,
    751   0xaaaaaaaaaaaaaaa9, 0xcccccccccccccccc,
    752   0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccd,
    753   0xaaaaaaaaaaaaaaab, 0xccccccccccccccce,
    754   0xaaaaaaaaaaaaaaac, 0xccccccccccccccec,
    755   0xaaaaaaaaaaaaaaca, 0xcccccccccccccd49,
    756   0xaaaaaaaaaaaaab27, 0xcccccccccccccd4a,
    757   0xaaaaaaaaaaaaab28, 0xcccccccccccccd4b,
    758   0xaaaaaaaaaaaaab29, 0xcccccccccccd4cc9,
    759   0xaaaaaaaaaaab2aa7, 0xcccccccccccd4cca,
    760   0xaaaaaaaaaaab2aa8, 0xcccccccccccd4ccb,
    761   0xaaaaaaaaaaab2aa9, 0xccccccccffffffff,
    762   0xaaaaaaaadddddddd, 0xcccccccd22222221,
    763   0xaaaaaaaaffffffff, 0xcccccccd4cccccc9,
    764   0xaaaaaaab2aaaaaa7, 0xcccccccd4cccccca,
    765   0xaaaaaaab2aaaaaa8, 0xcccccccd4ccccccb,
    766   0xaaaaaaab2aaaaaa9, 0xcccccccc4ccccccc,
    767   0xaaaaaaaa2aaaaaaa, 0xcccccccc4ccccccd,
    768   0xaaaaaaaa2aaaaaab, 0xcccccccc77777776,
    769   0xaaaaaaaa55555554, 0xcccccccc99999998,
    770   0xaaaaaaaa77777776, 0xcccccccccccc4ccc,
    771   0xaaaaaaaaaaaa2aaa, 0xcccccccccccc4ccd,
    772   0xaaaaaaaaaaaa2aab, 0xcccccccccccc4cce,
    773   0xaaaaaaaaaaaa2aac, 0xcccccccccccc4ccf,
    774   0xaaaaaaaaaaaa2aad, 0xcccccccccccccc4c,
    775   0xaaaaaaaaaaaaaa2a, 0xcccccccccccccc4d,
    776   0xaaaaaaaaaaaaaa2b, 0xcccccccccccccc4e,
    777   0xaaaaaaaaaaaaaa2c, 0xcccccccccccccc4f,
    778   0xaaaaaaaaaaaaaa2d, 0xccccccccccccccac,
    779   0xaaaaaaaaaaaaaa8a, 0xccccccccccccccc9,
    780   0xaaaaaaaaaaaaaaa7, 0xccccccccccccccca,
    781   0xaaaaaaaaaaaaaaa8, 0xcccccccccccccccb,
    782   0xcccccccccccccccb, 0xffffffff80000000,
    783   0xcccccccccccccccc, 0xffffffff80000001,
    784   0xcccccccccccccccd, 0xffffffff80000002,
    785   0xccccccccccccccce, 0xffffffff80000020,
    786   0xccccccccccccccec, 0xffffffff8000007d,
    787   0xcccccccccccccd49, 0xffffffff8000007e,
    788   0xcccccccccccccd4a, 0xffffffff8000007f,
    789   0xcccccccccccccd4b, 0xffffffff80007ffd,
    790   0xcccccccccccd4cc9, 0xffffffff80007ffe,
    791   0xcccccccccccd4cca, 0xffffffff80007fff,
    792   0xcccccccccccd4ccb, 0xffffffffb3333333,
    793   0xccccccccffffffff, 0xffffffffd5555555,
    794   0xcccccccd22222221, 0xfffffffffffffffd,
    795   0xcccccccd4cccccc9, 0xfffffffffffffffe,
    796   0xcccccccd4cccccca, 0xffffffffffffffff,
    797   0xcccccccd4ccccccb, 0xffffffff00000000,
    798   0xcccccccc4ccccccc, 0xffffffff00000001,
    799   0xcccccccc4ccccccd, 0xffffffff2aaaaaaa,
    800   0xcccccccc77777776, 0xffffffff4ccccccc,
    801   0xcccccccc99999998, 0xffffffff7fff8000,
    802   0xcccccccccccc4ccc, 0xffffffff7fff8001,
    803   0xcccccccccccc4ccd, 0xffffffff7fff8002,
    804   0xcccccccccccc4cce, 0xffffffff7fff8003,
    805   0xcccccccccccc4ccf, 0xffffffff7fffff80,
    806   0xcccccccccccccc4c, 0xffffffff7fffff81,
    807   0xcccccccccccccc4d, 0xffffffff7fffff82,
    808   0xcccccccccccccc4e, 0xffffffff7fffff83,
    809   0xcccccccccccccc4f, 0xffffffff7fffffe0,
    810   0xccccccccccccccac, 0xffffffff7ffffffd,
    811   0xccccccccccccccc9, 0xffffffff7ffffffe,
    812   0xccccccccccccccca, 0xffffffff7fffffff,
    813   0xffffffff7fffffff, 0xffffffff80000001,
    814   0xffffffff80000000, 0xffffffff80000002,
    815   0xffffffff80000001, 0xffffffff80000003,
    816   0xffffffff80000002, 0xffffffff80000021,
    817   0xffffffff80000020, 0xffffffff8000007e,
    818   0xffffffff8000007d, 0xffffffff8000007f,
    819   0xffffffff8000007e, 0xffffffff80000080,
    820   0xffffffff8000007f, 0xffffffff80007ffe,
    821   0xffffffff80007ffd, 0xffffffff80007fff,
    822   0xffffffff80007ffe, 0xffffffff80008000,
    823   0xffffffff80007fff, 0xffffffffb3333334,
    824   0xffffffffb3333333, 0xffffffffd5555556,
    825   0xffffffffd5555555, 0xfffffffffffffffe,
    826   0xfffffffffffffffd, 0xffffffffffffffff,
    827   0xfffffffffffffffe, 0x0000000000000000,
    828   0xffffffffffffffff, 0xffffffff00000001,
    829   0xffffffff00000000, 0xffffffff00000002,
    830   0xffffffff00000001, 0xffffffff2aaaaaab,
    831   0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
    832   0xffffffff4ccccccc, 0xffffffff7fff8001,
    833   0xffffffff7fff8000, 0xffffffff7fff8002,
    834   0xffffffff7fff8001, 0xffffffff7fff8003,
    835   0xffffffff7fff8002, 0xffffffff7fff8004,
    836   0xffffffff7fff8003, 0xffffffff7fffff81,
    837   0xffffffff7fffff80, 0xffffffff7fffff82,
    838   0xffffffff7fffff81, 0xffffffff7fffff83,
    839   0xffffffff7fffff82, 0xffffffff7fffff84,
    840   0xffffffff7fffff83, 0xffffffff7fffffe1,
    841   0xffffffff7fffffe0, 0xffffffff7ffffffe,
    842   0xffffffff7ffffffd, 0xffffffff7fffffff,
    843   0xffffffff7ffffffe, 0xffffffff80000000,
    844   0xffffffff80000000, 0xffffffff80000002,
    845   0xffffffff80000001, 0xffffffff80000003,
    846   0xffffffff80000002, 0xffffffff80000004,
    847   0xffffffff80000003, 0xffffffff80000022,
    848   0xffffffff80000021, 0xffffffff8000007f,
    849   0xffffffff8000007e, 0xffffffff80000080,
    850   0xffffffff8000007f, 0xffffffff80000081,
    851   0xffffffff80000080, 0xffffffff80007fff,
    852   0xffffffff80007ffe, 0xffffffff80008000,
    853   0xffffffff80007fff, 0xffffffff80008001,
    854   0xffffffff80008000, 0xffffffffb3333335,
    855   0xffffffffb3333334, 0xffffffffd5555557,
    856   0xffffffffd5555556, 0xffffffffffffffff,
    857   0xfffffffffffffffe, 0x0000000000000000,
    858   0xffffffffffffffff, 0x0000000000000001,
    859   0x0000000000000000, 0xffffffff00000002,
    860   0xffffffff00000001, 0xffffffff00000003,
    861   0xffffffff00000002, 0xffffffff2aaaaaac,
    862   0xffffffff2aaaaaab, 0xffffffff4cccccce,
    863   0xffffffff4ccccccd, 0xffffffff7fff8002,
    864   0xffffffff7fff8001, 0xffffffff7fff8003,
    865   0xffffffff7fff8002, 0xffffffff7fff8004,
    866   0xffffffff7fff8003, 0xffffffff7fff8005,
    867   0xffffffff7fff8004, 0xffffffff7fffff82,
    868   0xffffffff7fffff81, 0xffffffff7fffff83,
    869   0xffffffff7fffff82, 0xffffffff7fffff84,
    870   0xffffffff7fffff83, 0xffffffff7fffff85,
    871   0xffffffff7fffff84, 0xffffffff7fffffe2,
    872   0xffffffff7fffffe1, 0xffffffff7fffffff,
    873   0xffffffff7ffffffe, 0xffffffff80000000,
    874   0xffffffff7fffffff, 0xffffffff80000001,
    875   0xffffffff80000001, 0xffffffff80000003,
    876   0xffffffff80000002, 0xffffffff80000004,
    877   0xffffffff80000003, 0xffffffff80000005,
    878   0xffffffff80000004, 0xffffffff80000023,
    879   0xffffffff80000022, 0xffffffff80000080,
    880   0xffffffff8000007f, 0xffffffff80000081,
    881   0xffffffff80000080, 0xffffffff80000082,
    882   0xffffffff80000081, 0xffffffff80008000,
    883   0xffffffff80007fff, 0xffffffff80008001,
    884   0xffffffff80008000, 0xffffffff80008002,
    885   0xffffffff80008001, 0xffffffffb3333336,
    886   0xffffffffb3333335, 0xffffffffd5555558,
    887   0xffffffffd5555557, 0x0000000000000000,
    888   0xffffffffffffffff, 0x0000000000000001,
    889   0x0000000000000000, 0x0000000000000002,
    890   0x0000000000000001, 0xffffffff00000003,
    891   0xffffffff00000002, 0xffffffff00000004,
    892   0xffffffff00000003, 0xffffffff2aaaaaad,
    893   0xffffffff2aaaaaac, 0xffffffff4ccccccf,
    894   0xffffffff4cccccce, 0xffffffff7fff8003,
    895   0xffffffff7fff8002, 0xffffffff7fff8004,
    896   0xffffffff7fff8003, 0xffffffff7fff8005,
    897   0xffffffff7fff8004, 0xffffffff7fff8006,
    898   0xffffffff7fff8005, 0xffffffff7fffff83,
    899   0xffffffff7fffff82, 0xffffffff7fffff84,
    900   0xffffffff7fffff83, 0xffffffff7fffff85,
    901   0xffffffff7fffff84, 0xffffffff7fffff86,
    902   0xffffffff7fffff85, 0xffffffff7fffffe3,
    903   0xffffffff7fffffe2, 0xffffffff80000000,
    904   0xffffffff7fffffff, 0xffffffff80000001,
    905   0xffffffff80000000, 0xffffffff80000002,
    906   0xffffffff80000002, 0xffffffffffff8000,
    907   0xffffffff80000003, 0xffffffffffff8001,
    908   0xffffffff80000004, 0xffffffffffff8002,
    909   0xffffffff80000005, 0xffffffffffff8020,
    910   0xffffffff80000023, 0xffffffffffff807d,
    911   0xffffffff80000080, 0xffffffffffff807e,
    912   0xffffffff80000081, 0xffffffffffff807f,
    913   0xffffffff80000082, 0xfffffffffffffffd,
    914   0xffffffff80008000, 0xfffffffffffffffe,
    915   0xffffffff80008001, 0xffffffffffffffff,
    916   0xffffffff80008002, 0x000000003332b333,
    917   0xffffffffb3333336, 0x000000005554d555,
    918   0xffffffffd5555558, 0x000000007fff7ffd,
    919   0x0000000000000000, 0x000000007fff7ffe,
    920   0x0000000000000001, 0x000000007fff7fff,
    921   0x0000000000000002, 0xffffffff7fff8000,
    922   0xffffffff00000003, 0xffffffff7fff8001,
    923   0xffffffff00000004, 0xffffffffaaaa2aaa,
    924   0xffffffff2aaaaaad, 0xffffffffcccc4ccc,
    925   0xffffffff4ccccccf, 0xffffffffffff0000,
    926   0xffffffff7fff8003, 0xffffffffffff0001,
    927   0xffffffff7fff8004, 0xffffffffffff0002,
    928   0xffffffff7fff8005, 0xffffffffffff0003,
    929   0xffffffff7fff8006, 0xffffffffffff7f80,
    930   0xffffffff7fffff83, 0xffffffffffff7f81,
    931   0xffffffff7fffff84, 0xffffffffffff7f82,
    932   0xffffffff7fffff85, 0xffffffffffff7f83,
    933   0xffffffff7fffff86, 0xffffffffffff7fe0,
    934   0xffffffff7fffffe3, 0xffffffffffff7ffd,
    935   0xffffffff80000000, 0xffffffffffff7ffe,
    936   0xffffffff80000001, 0xffffffffffff7fff,
    937   0xffffffffffff7fff, 0xffffffffffff8001,
    938   0xffffffffffff8000, 0xffffffffffff8002,
    939   0xffffffffffff8001, 0xffffffffffff8003,
    940   0xffffffffffff8002, 0xffffffffffff8021,
    941   0xffffffffffff8020, 0xffffffffffff807e,
    942   0xffffffffffff807d, 0xffffffffffff807f,
    943   0xffffffffffff807e, 0xffffffffffff8080,
    944   0xffffffffffff807f, 0xfffffffffffffffe,
    945   0xfffffffffffffffd, 0xffffffffffffffff,
    946   0xfffffffffffffffe, 0x0000000000000000,
    947   0xffffffffffffffff, 0x000000003332b334,
    948   0x000000003332b333, 0x000000005554d556,
    949   0x000000005554d555, 0x000000007fff7ffe,
    950   0x000000007fff7ffd, 0x000000007fff7fff,
    951   0x000000007fff7ffe, 0x000000007fff8000,
    952   0x000000007fff7fff, 0xffffffff7fff8001,
    953   0xffffffff7fff8000, 0xffffffff7fff8002,
    954   0xffffffff7fff8001, 0xffffffffaaaa2aab,
    955   0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
    956   0xffffffffcccc4ccc, 0xffffffffffff0001,
    957   0xffffffffffff0000, 0xffffffffffff0002,
    958   0xffffffffffff0001, 0xffffffffffff0003,
    959   0xffffffffffff0002, 0xffffffffffff0004,
    960   0xffffffffffff0003, 0xffffffffffff7f81,
    961   0xffffffffffff7f80, 0xffffffffffff7f82,
    962   0xffffffffffff7f81, 0xffffffffffff7f83,
    963   0xffffffffffff7f82, 0xffffffffffff7f84,
    964   0xffffffffffff7f83, 0xffffffffffff7fe1,
    965   0xffffffffffff7fe0, 0xffffffffffff7ffe,
    966   0xffffffffffff7ffd, 0xffffffffffff7fff,
    967   0xffffffffffff7ffe, 0xffffffffffff8000,
    968   0xffffffffffff8000, 0xffffffffffff8002,
    969   0xffffffffffff8001, 0xffffffffffff8003,
    970   0xffffffffffff8002, 0xffffffffffff8004,
    971   0xffffffffffff8003, 0xffffffffffff8022,
    972   0xffffffffffff8021, 0xffffffffffff807f,
    973   0xffffffffffff807e, 0xffffffffffff8080,
    974   0xffffffffffff807f, 0xffffffffffff8081,
    975   0xffffffffffff8080, 0xffffffffffffffff,
    976   0xfffffffffffffffe, 0x0000000000000000,
    977   0xffffffffffffffff, 0x0000000000000001,
    978   0x0000000000000000, 0x000000003332b335,
    979   0x000000003332b334, 0x000000005554d557,
    980   0x000000005554d556, 0x000000007fff7fff,
    981   0x000000007fff7ffe, 0x000000007fff8000,
    982   0x000000007fff7fff, 0x000000007fff8001,
    983   0x000000007fff8000, 0xffffffff7fff8002,
    984   0xffffffff7fff8001, 0xffffffff7fff8003,
    985   0xffffffff7fff8002, 0xffffffffaaaa2aac,
    986   0xffffffffaaaa2aab, 0xffffffffcccc4cce,
    987   0xffffffffcccc4ccd, 0xffffffffffff0002,
    988   0xffffffffffff0001, 0xffffffffffff0003,
    989   0xffffffffffff0002, 0xffffffffffff0004,
    990   0xffffffffffff0003, 0xffffffffffff0005,
    991   0xffffffffffff0004, 0xffffffffffff7f82,
    992   0xffffffffffff7f81, 0xffffffffffff7f83,
    993   0xffffffffffff7f82, 0xffffffffffff7f84,
    994   0xffffffffffff7f83, 0xffffffffffff7f85,
    995   0xffffffffffff7f84, 0xffffffffffff7fe2,
    996   0xffffffffffff7fe1, 0xffffffffffff7fff,
    997   0xffffffffffff7ffe, 0xffffffffffff8000,
    998   0xffffffffffff7fff, 0xffffffffffff8001,
    999   0xffffffffffff8001, 0xffffffffffff8003,
   1000   0xffffffffffff8002, 0xffffffffffff8004,
   1001   0xffffffffffff8003, 0xffffffffffff8005,
   1002   0xffffffffffff8004, 0xffffffffffff8023,
   1003   0xffffffffffff8022, 0xffffffffffff8080,
   1004   0xffffffffffff807f, 0xffffffffffff8081,
   1005   0xffffffffffff8080, 0xffffffffffff8082,
   1006   0xffffffffffff8081, 0x0000000000000000,
   1007   0xffffffffffffffff, 0x0000000000000001,
   1008   0x0000000000000000, 0x0000000000000002,
   1009   0x0000000000000001, 0x000000003332b336,
   1010   0x000000003332b335, 0x000000005554d558,
   1011   0x000000005554d557, 0x000000007fff8000,
   1012   0x000000007fff7fff, 0x000000007fff8001,
   1013   0x000000007fff8000, 0x000000007fff8002,
   1014   0x000000007fff8001, 0xffffffff7fff8003,
   1015   0xffffffff7fff8002, 0xffffffff7fff8004,
   1016   0xffffffff7fff8003, 0xffffffffaaaa2aad,
   1017   0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
   1018   0xffffffffcccc4cce, 0xffffffffffff0003,
   1019   0xffffffffffff0002, 0xffffffffffff0004,
   1020   0xffffffffffff0003, 0xffffffffffff0005,
   1021   0xffffffffffff0004, 0xffffffffffff0006,
   1022   0xffffffffffff0005, 0xffffffffffff7f83,
   1023   0xffffffffffff7f82, 0xffffffffffff7f84,
   1024   0xffffffffffff7f83, 0xffffffffffff7f85,
   1025   0xffffffffffff7f84, 0xffffffffffff7f86,
   1026   0xffffffffffff7f85, 0xffffffffffff7fe3,
   1027   0xffffffffffff7fe2, 0xffffffffffff8000,
   1028   0xffffffffffff7fff, 0xffffffffffff8001,
   1029   0xffffffffffff8000, 0xffffffffffff8002,
   1030   0xffffffffffff8002, 0xffffffffffffff80,
   1031   0xffffffffffff8003, 0xffffffffffffff81,
   1032   0xffffffffffff8004, 0xffffffffffffff82,
   1033   0xffffffffffff8005, 0xffffffffffffffa0,
   1034   0xffffffffffff8023, 0xfffffffffffffffd,
   1035   0xffffffffffff8080, 0xfffffffffffffffe,
   1036   0xffffffffffff8081, 0xffffffffffffffff,
   1037   0xffffffffffff8082, 0x0000000000007f7d,
   1038   0x0000000000000000, 0x0000000000007f7e,
   1039   0x0000000000000001, 0x0000000000007f7f,
   1040   0x0000000000000002, 0x00000000333332b3,
   1041   0x000000003332b336, 0x00000000555554d5,
   1042   0x000000005554d558, 0x000000007fffff7d,
   1043   0x000000007fff8000, 0x000000007fffff7e,
   1044   0x000000007fff8001, 0x000000007fffff7f,
   1045   0x000000007fff8002, 0xffffffff7fffff80,
   1046   0xffffffff7fff8003, 0xffffffff7fffff81,
   1047   0xffffffff7fff8004, 0xffffffffaaaaaa2a,
   1048   0xffffffffaaaa2aad, 0xffffffffcccccc4c,
   1049   0xffffffffcccc4ccf, 0xffffffffffff7f80,
   1050   0xffffffffffff0003, 0xffffffffffff7f81,
   1051   0xffffffffffff0004, 0xffffffffffff7f82,
   1052   0xffffffffffff0005, 0xffffffffffff7f83,
   1053   0xffffffffffff0006, 0xffffffffffffff00,
   1054   0xffffffffffff7f83, 0xffffffffffffff01,
   1055   0xffffffffffff7f84, 0xffffffffffffff02,
   1056   0xffffffffffff7f85, 0xffffffffffffff03,
   1057   0xffffffffffff7f86, 0xffffffffffffff60,
   1058   0xffffffffffff7fe3, 0xffffffffffffff7d,
   1059   0xffffffffffff8000, 0xffffffffffffff7e,
   1060   0xffffffffffff8001, 0xffffffffffffff7f,
   1061   0xffffffffffffff7f, 0xffffffffffffff81,
   1062   0xffffffffffffff80, 0xffffffffffffff82,
   1063   0xffffffffffffff81, 0xffffffffffffff83,
   1064   0xffffffffffffff82, 0xffffffffffffffa1,
   1065   0xffffffffffffffa0, 0xfffffffffffffffe,
   1066   0xfffffffffffffffd, 0xffffffffffffffff,
   1067   0xfffffffffffffffe, 0x0000000000000000,
   1068   0xffffffffffffffff, 0x0000000000007f7e,
   1069   0x0000000000007f7d, 0x0000000000007f7f,
   1070   0x0000000000007f7e, 0x0000000000007f80,
   1071   0x0000000000007f7f, 0x00000000333332b4,
   1072   0x00000000333332b3, 0x00000000555554d6,
   1073   0x00000000555554d5, 0x000000007fffff7e,
   1074   0x000000007fffff7d, 0x000000007fffff7f,
   1075   0x000000007fffff7e, 0x000000007fffff80,
   1076   0x000000007fffff7f, 0xffffffff7fffff81,
   1077   0xffffffff7fffff80, 0xffffffff7fffff82,
   1078   0xffffffff7fffff81, 0xffffffffaaaaaa2b,
   1079   0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
   1080   0xffffffffcccccc4c, 0xffffffffffff7f81,
   1081   0xffffffffffff7f80, 0xffffffffffff7f82,
   1082   0xffffffffffff7f81, 0xffffffffffff7f83,
   1083   0xffffffffffff7f82, 0xffffffffffff7f84,
   1084   0xffffffffffff7f83, 0xffffffffffffff01,
   1085   0xffffffffffffff00, 0xffffffffffffff02,
   1086   0xffffffffffffff01, 0xffffffffffffff03,
   1087   0xffffffffffffff02, 0xffffffffffffff04,
   1088   0xffffffffffffff03, 0xffffffffffffff61,
   1089   0xffffffffffffff60, 0xffffffffffffff7e,
   1090   0xffffffffffffff7d, 0xffffffffffffff7f,
   1091   0xffffffffffffff7e, 0xffffffffffffff80,
   1092   0xffffffffffffff80, 0xffffffffffffff82,
   1093   0xffffffffffffff81, 0xffffffffffffff83,
   1094   0xffffffffffffff82, 0xffffffffffffff84,
   1095   0xffffffffffffff83, 0xffffffffffffffa2,
   1096   0xffffffffffffffa1, 0xffffffffffffffff,
   1097   0xfffffffffffffffe, 0x0000000000000000,
   1098   0xffffffffffffffff, 0x0000000000000001,
   1099   0x0000000000000000, 0x0000000000007f7f,
   1100   0x0000000000007f7e, 0x0000000000007f80,
   1101   0x0000000000007f7f, 0x0000000000007f81,
   1102   0x0000000000007f80, 0x00000000333332b5,
   1103   0x00000000333332b4, 0x00000000555554d7,
   1104   0x00000000555554d6, 0x000000007fffff7f,
   1105   0x000000007fffff7e, 0x000000007fffff80,
   1106   0x000000007fffff7f, 0x000000007fffff81,
   1107   0x000000007fffff80, 0xffffffff7fffff82,
   1108   0xffffffff7fffff81, 0xffffffff7fffff83,
   1109   0xffffffff7fffff82, 0xffffffffaaaaaa2c,
   1110   0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
   1111   0xffffffffcccccc4d, 0xffffffffffff7f82,
   1112   0xffffffffffff7f81, 0xffffffffffff7f83,
   1113   0xffffffffffff7f82, 0xffffffffffff7f84,
   1114   0xffffffffffff7f83, 0xffffffffffff7f85,
   1115   0xffffffffffff7f84, 0xffffffffffffff02,
   1116   0xffffffffffffff01, 0xffffffffffffff03,
   1117   0xffffffffffffff02, 0xffffffffffffff04,
   1118   0xffffffffffffff03, 0xffffffffffffff05,
   1119   0xffffffffffffff04, 0xffffffffffffff62,
   1120   0xffffffffffffff61, 0xffffffffffffff7f,
   1121   0xffffffffffffff7e, 0xffffffffffffff80,
   1122   0xffffffffffffff7f, 0xffffffffffffff81,
   1123   0xffffffffffffff81, 0xffffffffffffff83,
   1124   0xffffffffffffff82, 0xffffffffffffff84,
   1125   0xffffffffffffff83, 0xffffffffffffff85,
   1126   0xffffffffffffff84, 0xffffffffffffffa3,
   1127   0xffffffffffffffa2, 0x0000000000000000,
   1128   0xffffffffffffffff, 0x0000000000000001,
   1129   0x0000000000000000, 0x0000000000000002,
   1130   0x0000000000000001, 0x0000000000007f80,
   1131   0x0000000000007f7f, 0x0000000000007f81,
   1132   0x0000000000007f80, 0x0000000000007f82,
   1133   0x0000000000007f81, 0x00000000333332b6,
   1134   0x00000000333332b5, 0x00000000555554d8,
   1135   0x00000000555554d7, 0x000000007fffff80,
   1136   0x000000007fffff7f, 0x000000007fffff81,
   1137   0x000000007fffff80, 0x000000007fffff82,
   1138   0x000000007fffff81, 0xffffffff7fffff83,
   1139   0xffffffff7fffff82, 0xffffffff7fffff84,
   1140   0xffffffff7fffff83, 0xffffffffaaaaaa2d,
   1141   0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
   1142   0xffffffffcccccc4e, 0xffffffffffff7f83,
   1143   0xffffffffffff7f82, 0xffffffffffff7f84,
   1144   0xffffffffffff7f83, 0xffffffffffff7f85,
   1145   0xffffffffffff7f84, 0xffffffffffff7f86,
   1146   0xffffffffffff7f85, 0xffffffffffffff03,
   1147   0xffffffffffffff02, 0xffffffffffffff04,
   1148   0xffffffffffffff03, 0xffffffffffffff05,
   1149   0xffffffffffffff04, 0xffffffffffffff06,
   1150   0xffffffffffffff05, 0xffffffffffffff63,
   1151   0xffffffffffffff62, 0xffffffffffffff80,
   1152   0xffffffffffffff7f, 0xffffffffffffff81,
   1153   0xffffffffffffff80, 0xffffffffffffff82,
   1154   0xffffffffffffff82, 0xffffffffffffffc0,
   1155   0xffffffffffffff83, 0xffffffffffffffc1,
   1156   0xffffffffffffff84, 0xffffffffffffffc2,
   1157   0xffffffffffffff85, 0xffffffffffffffe0,
   1158   0xffffffffffffffa3, 0x000000000000003d,
   1159   0x0000000000000000, 0x000000000000003e,
   1160   0x0000000000000001, 0x000000000000003f,
   1161   0x0000000000000002, 0x0000000000007fbd,
   1162   0x0000000000007f80, 0x0000000000007fbe,
   1163   0x0000000000007f81, 0x0000000000007fbf,
   1164   0x0000000000007f82, 0x00000000333332f3,
   1165   0x00000000333332b6, 0x0000000055555515,
   1166   0x00000000555554d8, 0x000000007fffffbd,
   1167   0x000000007fffff80, 0x000000007fffffbe,
   1168   0x000000007fffff81, 0x000000007fffffbf,
   1169   0x000000007fffff82, 0xffffffff7fffffc0,
   1170   0xffffffff7fffff83, 0xffffffff7fffffc1,
   1171   0xffffffff7fffff84, 0xffffffffaaaaaa6a,
   1172   0xffffffffaaaaaa2d, 0xffffffffcccccc8c,
   1173   0xffffffffcccccc4f, 0xffffffffffff7fc0,
   1174   0xffffffffffff7f83, 0xffffffffffff7fc1,
   1175   0xffffffffffff7f84, 0xffffffffffff7fc2,
   1176   0xffffffffffff7f85, 0xffffffffffff7fc3,
   1177   0xffffffffffff7f86, 0xffffffffffffff40,
   1178   0xffffffffffffff03, 0xffffffffffffff41,
   1179   0xffffffffffffff04, 0xffffffffffffff42,
   1180   0xffffffffffffff05, 0xffffffffffffff43,
   1181   0xffffffffffffff06, 0xffffffffffffffa0,
   1182   0xffffffffffffff63, 0xffffffffffffffbd,
   1183   0xffffffffffffff80, 0xffffffffffffffbe,
   1184   0xffffffffffffff81, 0xffffffffffffffbf,
   1185   0xffffffffffffffbf, 0xfffffffffffffffd,
   1186   0xffffffffffffffc0, 0xfffffffffffffffe,
   1187   0xffffffffffffffc1, 0xffffffffffffffff,
   1188   0xffffffffffffffc2, 0x000000000000001d,
   1189   0xffffffffffffffe0, 0x000000000000007a,
   1190   0x000000000000003d, 0x000000000000007b,
   1191   0x000000000000003e, 0x000000000000007c,
   1192   0x000000000000003f, 0x0000000000007ffa,
   1193   0x0000000000007fbd, 0x0000000000007ffb,
   1194   0x0000000000007fbe, 0x0000000000007ffc,
   1195   0x0000000000007fbf, 0x0000000033333330,
   1196   0x00000000333332f3, 0x0000000055555552,
   1197   0x0000000055555515, 0x000000007ffffffa,
   1198   0x000000007fffffbd, 0x000000007ffffffb,
   1199   0x000000007fffffbe, 0x000000007ffffffc,
   1200   0x000000007fffffbf, 0xffffffff7ffffffd,
   1201   0xffffffff7fffffc0, 0xffffffff7ffffffe,
   1202   0xffffffff7fffffc1, 0xffffffffaaaaaaa7,
   1203   0xffffffffaaaaaa6a, 0xffffffffccccccc9,
   1204   0xffffffffcccccc8c, 0xffffffffffff7ffd,
   1205   0xffffffffffff7fc0, 0xffffffffffff7ffe,
   1206   0xffffffffffff7fc1, 0xffffffffffff7fff,
   1207   0xffffffffffff7fc2, 0xffffffffffff8000,
   1208   0xffffffffffff7fc3, 0xffffffffffffff7d,
   1209   0xffffffffffffff40, 0xffffffffffffff7e,
   1210   0xffffffffffffff41, 0xffffffffffffff7f,
   1211   0xffffffffffffff42, 0xffffffffffffff80,
   1212   0xffffffffffffff43, 0xffffffffffffffdd,
   1213   0xffffffffffffffa0, 0xfffffffffffffffa,
   1214   0xffffffffffffffbd, 0xfffffffffffffffb,
   1215   0xffffffffffffffbe, 0xfffffffffffffffc,
   1216   0xfffffffffffffffc, 0xfffffffffffffffe,
   1217   0xfffffffffffffffd, 0xffffffffffffffff,
   1218   0xfffffffffffffffe, 0x0000000000000000,
   1219   0xffffffffffffffff, 0x000000000000001e,
   1220   0x000000000000001d, 0x000000000000007b,
   1221   0x000000000000007a, 0x000000000000007c,
   1222   0x000000000000007b, 0x000000000000007d,
   1223   0x000000000000007c, 0x0000000000007ffb,
   1224   0x0000000000007ffa, 0x0000000000007ffc,
   1225   0x0000000000007ffb, 0x0000000000007ffd,
   1226   0x0000000000007ffc, 0x0000000033333331,
   1227   0x0000000033333330, 0x0000000055555553,
   1228   0x0000000055555552, 0x000000007ffffffb,
   1229   0x000000007ffffffa, 0x000000007ffffffc,
   1230   0x000000007ffffffb, 0x000000007ffffffd,
   1231   0x000000007ffffffc, 0xffffffff7ffffffe,
   1232   0xffffffff7ffffffd, 0xffffffff7fffffff,
   1233   0xffffffff7ffffffe, 0xffffffffaaaaaaa8,
   1234   0xffffffffaaaaaaa7, 0xffffffffccccccca,
   1235   0xffffffffccccccc9, 0xffffffffffff7ffe,
   1236   0xffffffffffff7ffd, 0xffffffffffff7fff,
   1237   0xffffffffffff7ffe, 0xffffffffffff8000,
   1238   0xffffffffffff7fff, 0xffffffffffff8001,
   1239   0xffffffffffff8000, 0xffffffffffffff7e,
   1240   0xffffffffffffff7d, 0xffffffffffffff7f,
   1241   0xffffffffffffff7e, 0xffffffffffffff80,
   1242   0xffffffffffffff7f, 0xffffffffffffff81,
   1243   0xffffffffffffff80, 0xffffffffffffffde,
   1244   0xffffffffffffffdd, 0xfffffffffffffffb,
   1245   0xfffffffffffffffa, 0xfffffffffffffffc,
   1246   0xfffffffffffffffb, 0xfffffffffffffffd,
   1247   0xfffffffffffffffd, 0xffffffffffffffff,
   1248   0xfffffffffffffffe, 0x0000000000000000,
   1249   0xffffffffffffffff, 0x0000000000000001,
   1250   0x0000000000000000, 0x000000000000001f,
   1251   0x000000000000001e, 0x000000000000007c,
   1252   0x000000000000007b, 0x000000000000007d,
   1253   0x000000000000007c, 0x000000000000007e,
   1254   0x000000000000007d, 0x0000000000007ffc,
   1255   0x0000000000007ffb, 0x0000000000007ffd,
   1256   0x0000000000007ffc, 0x0000000000007ffe,
   1257   0x0000000000007ffd, 0x0000000033333332,
   1258   0x0000000033333331, 0x0000000055555554,
   1259   0x0000000055555553, 0x000000007ffffffc,
   1260   0x000000007ffffffb, 0x000000007ffffffd,
   1261   0x000000007ffffffc, 0x000000007ffffffe,
   1262   0x000000007ffffffd, 0xffffffff7fffffff,
   1263   0xffffffff7ffffffe, 0xffffffff80000000,
   1264   0xffffffff7fffffff, 0xffffffffaaaaaaa9,
   1265   0xffffffffaaaaaaa8, 0xffffffffcccccccb,
   1266   0xffffffffccccccca, 0xffffffffffff7fff,
   1267   0xffffffffffff7ffe, 0xffffffffffff8000,
   1268   0xffffffffffff7fff, 0xffffffffffff8001,
   1269   0xffffffffffff8000, 0xffffffffffff8002,
   1270   0xffffffffffff8001, 0xffffffffffffff7f,
   1271   0xffffffffffffff7e, 0xffffffffffffff80,
   1272   0xffffffffffffff7f, 0xffffffffffffff81,
   1273   0xffffffffffffff80, 0xffffffffffffff82,
   1274   0xffffffffffffff81, 0xffffffffffffffdf,
   1275   0xffffffffffffffde, 0xfffffffffffffffc,
   1276   0xfffffffffffffffb, 0xfffffffffffffffd,
   1277   0xfffffffffffffffc, 0xfffffffffffffffe,
   1278 };
   1279 const unsigned kExpectedCount_NEON_saddw2_2D = 1240;
   1280 
   1281 #endif  // VIXL_SIM_SADDW2_2D_TRACE_AARCH64_H_
   1282