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_USUBW_2D_TRACE_A64_H_
     35 #define VIXL_SIM_USUBW_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_usubw_2D[] = {
     38   0xffffffffffff827d, 0xffffffffffff8100,
     39   0xffffffffffff817d, 0xffffffffff800300,
     40   0xffffffffff80037d, 0x0000000000000000,
     41   0x000000000000007d, 0xffffffffffffffff,
     42   0x000000000000007c, 0xfffffffffffffffe,
     43   0x000000000000007b, 0xffffffffffffffe0,
     44   0x000000000000005d, 0xffffffffffffff83,
     45   0x0000000000000000, 0xffffffffffffff82,
     46   0xffffffffffffffff, 0xffffffffffffff81,
     47   0xfffffffffffffffe, 0xffffffffffff8003,
     48   0xffffffffffff8080, 0xffffffffffff8002,
     49   0xffffffffffff807f, 0xffffffffffff8001,
     50   0xffffffffffff807e, 0xffffffffcccccccd,
     51   0xffffffffcccccd4a, 0xffffffffaaaaaaab,
     52   0xffffffffaaaaab28, 0xffffffff80000003,
     53   0xffffffff80000080, 0xffffffff80000002,
     54   0xffffffff8000007f, 0xffffffff80000001,
     55   0xffffffff8000007e, 0xffffffff80000000,
     56   0xffffffff8000007d, 0xffffffff7fffffff,
     57   0xffffffff8000007c, 0xffffffff55555556,
     58   0xffffffff555555d3, 0xffffffff33333334,
     59   0xffffffff333333b1, 0xffffffff00008000,
     60   0xffffffff0000807d, 0xffffffff00007fff,
     61   0xffffffff0000807c, 0xffffffff00007ffe,
     62   0xffffffff0000807b, 0xffffffff00007ffd,
     63   0xffffffff0000807a, 0xffffffff00000080,
     64   0xffffffff000000fd, 0xffffffff0000007f,
     65   0xffffffff000000fc, 0xffffffff0000007e,
     66   0xffffffff000000fb, 0xffffffff0000007d,
     67   0xffffffff000000fa, 0xffffffff00000020,
     68   0xffffffff0000009d, 0xffffffff00000003,
     69   0xffffffff00000003, 0xffffffff00000003,
     70   0xffffffff00000002, 0xffffffff00000002,
     71   0xffffffff00000001, 0x0000000000000001,
     72   0x0000000000000000, 0x0000000000000000,
     73   0xffffffffffffffff, 0xffffffffffffffff,
     74   0xfffffffffffffffe, 0xffffffffffffffe1,
     75   0xffffffffffffffe0, 0xffffffffffffff84,
     76   0xffffffffffffff83, 0xffffffffffffff83,
     77   0xffffffffffffff82, 0xffffffffffffff82,
     78   0xffffffffffffff81, 0xffffffffffff8004,
     79   0xffffffffffff8003, 0xffffffffffff8003,
     80   0xffffffffffff8002, 0xffffffffffff8002,
     81   0xffffffffffff8001, 0xffffffffccccccce,
     82   0xffffffffcccccccd, 0xffffffffaaaaaaac,
     83   0xffffffffaaaaaaab, 0xffffffff80000004,
     84   0xffffffff80000003, 0xffffffff80000003,
     85   0xffffffff80000002, 0xffffffff80000002,
     86   0xffffffff80000001, 0xffffffff80000001,
     87   0xffffffff80000000, 0xffffffff80000000,
     88   0xffffffff7fffffff, 0xffffffff55555557,
     89   0xffffffff55555556, 0xffffffff33333335,
     90   0xffffffff33333334, 0xffffffff00008001,
     91   0xffffffff00008000, 0xffffffff00008000,
     92   0xffffffff00007fff, 0xffffffff00007fff,
     93   0xffffffff00007ffe, 0xffffffff00007ffe,
     94   0xffffffff00007ffd, 0xffffffff00000081,
     95   0xffffffff00000080, 0xffffffff00000080,
     96   0xffffffff0000007f, 0xffffffff0000007f,
     97   0xffffffff0000007e, 0xffffffff0000007e,
     98   0xffffffff0000007d, 0xffffffff00000021,
     99   0xffffffff00000020, 0xffffffff00000004,
    100   0xffffffff00000004, 0xffffffff00000004,
    101   0xffffffff00000003, 0xffffffff00000003,
    102   0xffffffff00000002, 0x0000000000000002,
    103   0x0000000000000001, 0x0000000000000001,
    104   0x0000000000000000, 0x0000000000000000,
    105   0xffffffffffffffff, 0xffffffffffffffe2,
    106   0xffffffffffffffe1, 0xffffffffffffff85,
    107   0xffffffffffffff84, 0xffffffffffffff84,
    108   0xffffffffffffff83, 0xffffffffffffff83,
    109   0xffffffffffffff82, 0xffffffffffff8005,
    110   0xffffffffffff8004, 0xffffffffffff8004,
    111   0xffffffffffff8003, 0xffffffffffff8003,
    112   0xffffffffffff8002, 0xffffffffcccccccf,
    113   0xffffffffccccccce, 0xffffffffaaaaaaad,
    114   0xffffffffaaaaaaac, 0xffffffff80000005,
    115   0xffffffff80000004, 0xffffffff80000004,
    116   0xffffffff80000003, 0xffffffff80000003,
    117   0xffffffff80000002, 0xffffffff80000002,
    118   0xffffffff80000001, 0xffffffff80000001,
    119   0xffffffff80000000, 0xffffffff55555558,
    120   0xffffffff55555557, 0xffffffff33333336,
    121   0xffffffff33333335, 0xffffffff00008002,
    122   0xffffffff00008001, 0xffffffff00008001,
    123   0xffffffff00008000, 0xffffffff00008000,
    124   0xffffffff00007fff, 0xffffffff00007fff,
    125   0xffffffff00007ffe, 0xffffffff00000082,
    126   0xffffffff00000081, 0xffffffff00000081,
    127   0xffffffff00000080, 0xffffffff00000080,
    128   0xffffffff0000007f, 0xffffffff0000007f,
    129   0xffffffff0000007e, 0xffffffff00000022,
    130   0xffffffff00000021, 0xffffffff00000005,
    131   0xffffffff00000005, 0xffffffff00000042,
    132   0xffffffff00000004, 0xffffffff00000041,
    133   0xffffffff00000003, 0x0000000000000040,
    134   0x0000000000000002, 0x000000000000003f,
    135   0x0000000000000001, 0x000000000000003e,
    136   0x0000000000000000, 0x0000000000000020,
    137   0xffffffffffffffe2, 0xffffffffffffffc3,
    138   0xffffffffffffff85, 0xffffffffffffffc2,
    139   0xffffffffffffff84, 0xffffffffffffffc1,
    140   0xffffffffffffff83, 0xffffffffffff8043,
    141   0xffffffffffff8005, 0xffffffffffff8042,
    142   0xffffffffffff8004, 0xffffffffffff8041,
    143   0xffffffffffff8003, 0xffffffffcccccd0d,
    144   0xffffffffcccccccf, 0xffffffffaaaaaaeb,
    145   0xffffffffaaaaaaad, 0xffffffff80000043,
    146   0xffffffff80000005, 0xffffffff80000042,
    147   0xffffffff80000004, 0xffffffff80000041,
    148   0xffffffff80000003, 0xffffffff80000040,
    149   0xffffffff80000002, 0xffffffff8000003f,
    150   0xffffffff80000001, 0xffffffff55555596,
    151   0xffffffff55555558, 0xffffffff33333374,
    152   0xffffffff33333336, 0xffffffff00008040,
    153   0xffffffff00008002, 0xffffffff0000803f,
    154   0xffffffff00008001, 0xffffffff0000803e,
    155   0xffffffff00008000, 0xffffffff0000803d,
    156   0xffffffff00007fff, 0xffffffff000000c0,
    157   0xffffffff00000082, 0xffffffff000000bf,
    158   0xffffffff00000081, 0xffffffff000000be,
    159   0xffffffff00000080, 0xffffffff000000bd,
    160   0xffffffff0000007f, 0xffffffff00000060,
    161   0xffffffff00000022, 0xffffffff00000043,
    162   0xffffffff00000043, 0xffffffff0000007f,
    163   0xffffffff00000042, 0xffffffff0000007e,
    164   0xffffffff00000041, 0x000000000000007d,
    165   0x0000000000000040, 0x000000000000007c,
    166   0x000000000000003f, 0x000000000000007b,
    167   0x000000000000003e, 0x000000000000005d,
    168   0x0000000000000020, 0x0000000000000000,
    169   0xffffffffffffffc3, 0xffffffffffffffff,
    170   0xffffffffffffffc2, 0xfffffffffffffffe,
    171   0xffffffffffffffc1, 0xffffffffffff8080,
    172   0xffffffffffff8043, 0xffffffffffff807f,
    173   0xffffffffffff8042, 0xffffffffffff807e,
    174   0xffffffffffff8041, 0xffffffffcccccd4a,
    175   0xffffffffcccccd0d, 0xffffffffaaaaab28,
    176   0xffffffffaaaaaaeb, 0xffffffff80000080,
    177   0xffffffff80000043, 0xffffffff8000007f,
    178   0xffffffff80000042, 0xffffffff8000007e,
    179   0xffffffff80000041, 0xffffffff8000007d,
    180   0xffffffff80000040, 0xffffffff8000007c,
    181   0xffffffff8000003f, 0xffffffff555555d3,
    182   0xffffffff55555596, 0xffffffff333333b1,
    183   0xffffffff33333374, 0xffffffff0000807d,
    184   0xffffffff00008040, 0xffffffff0000807c,
    185   0xffffffff0000803f, 0xffffffff0000807b,
    186   0xffffffff0000803e, 0xffffffff0000807a,
    187   0xffffffff0000803d, 0xffffffff000000fd,
    188   0xffffffff000000c0, 0xffffffff000000fc,
    189   0xffffffff000000bf, 0xffffffff000000fb,
    190   0xffffffff000000be, 0xffffffff000000fa,
    191   0xffffffff000000bd, 0xffffffff0000009d,
    192   0xffffffff00000060, 0xffffffff00000080,
    193   0xffffffff00000080, 0xffffffff00000080,
    194   0xffffffff0000007f, 0xffffffff0000007f,
    195   0xffffffff0000007e, 0x000000000000007e,
    196   0x000000000000007d, 0x000000000000007d,
    197   0x000000000000007c, 0x000000000000007c,
    198   0x000000000000007b, 0x000000000000005e,
    199   0x000000000000005d, 0x0000000000000001,
    200   0x0000000000000000, 0x0000000000000000,
    201   0xffffffffffffffff, 0xffffffffffffffff,
    202   0xfffffffffffffffe, 0xffffffffffff8081,
    203   0xffffffffffff8080, 0xffffffffffff8080,
    204   0xffffffffffff807f, 0xffffffffffff807f,
    205   0xffffffffffff807e, 0xffffffffcccccd4b,
    206   0xffffffffcccccd4a, 0xffffffffaaaaab29,
    207   0xffffffffaaaaab28, 0xffffffff80000081,
    208   0xffffffff80000080, 0xffffffff80000080,
    209   0xffffffff8000007f, 0xffffffff8000007f,
    210   0xffffffff8000007e, 0xffffffff8000007e,
    211   0xffffffff8000007d, 0xffffffff8000007d,
    212   0xffffffff8000007c, 0xffffffff555555d4,
    213   0xffffffff555555d3, 0xffffffff333333b2,
    214   0xffffffff333333b1, 0xffffffff0000807e,
    215   0xffffffff0000807d, 0xffffffff0000807d,
    216   0xffffffff0000807c, 0xffffffff0000807c,
    217   0xffffffff0000807b, 0xffffffff0000807b,
    218   0xffffffff0000807a, 0xffffffff000000fe,
    219   0xffffffff000000fd, 0xffffffff000000fd,
    220   0xffffffff000000fc, 0xffffffff000000fc,
    221   0xffffffff000000fb, 0xffffffff000000fb,
    222   0xffffffff000000fa, 0xffffffff0000009e,
    223   0xffffffff0000009d, 0xffffffff00000081,
    224   0xffffffff00000081, 0xffffffff00000081,
    225   0xffffffff00000080, 0xffffffff00000080,
    226   0xffffffff0000007f, 0x000000000000007f,
    227   0x000000000000007e, 0x000000000000007e,
    228   0x000000000000007d, 0x000000000000007d,
    229   0x000000000000007c, 0x000000000000005f,
    230   0x000000000000005e, 0x0000000000000002,
    231   0x0000000000000001, 0x0000000000000001,
    232   0x0000000000000000, 0x0000000000000000,
    233   0xffffffffffffffff, 0xffffffffffff8082,
    234   0xffffffffffff8081, 0xffffffffffff8081,
    235   0xffffffffffff8080, 0xffffffffffff8080,
    236   0xffffffffffff807f, 0xffffffffcccccd4c,
    237   0xffffffffcccccd4b, 0xffffffffaaaaab2a,
    238   0xffffffffaaaaab29, 0xffffffff80000082,
    239   0xffffffff80000081, 0xffffffff80000081,
    240   0xffffffff80000080, 0xffffffff80000080,
    241   0xffffffff8000007f, 0xffffffff8000007f,
    242   0xffffffff8000007e, 0xffffffff8000007e,
    243   0xffffffff8000007d, 0xffffffff555555d5,
    244   0xffffffff555555d4, 0xffffffff333333b3,
    245   0xffffffff333333b2, 0xffffffff0000807f,
    246   0xffffffff0000807e, 0xffffffff0000807e,
    247   0xffffffff0000807d, 0xffffffff0000807d,
    248   0xffffffff0000807c, 0xffffffff0000807c,
    249   0xffffffff0000807b, 0xffffffff000000ff,
    250   0xffffffff000000fe, 0xffffffff000000fe,
    251   0xffffffff000000fd, 0xffffffff000000fd,
    252   0xffffffff000000fc, 0xffffffff000000fc,
    253   0xffffffff000000fb, 0xffffffff0000009f,
    254   0xffffffff0000009e, 0xffffffff00000082,
    255   0xffffffff00000082, 0xffffffff00007fff,
    256   0xffffffff00000081, 0xffffffff00007ffe,
    257   0xffffffff00000080, 0x0000000000007ffd,
    258   0x000000000000007f, 0x0000000000007ffc,
    259   0x000000000000007e, 0x0000000000007ffb,
    260   0x000000000000007d, 0x0000000000007fdd,
    261   0x000000000000005f, 0x0000000000007f80,
    262   0x0000000000000002, 0x0000000000007f7f,
    263   0x0000000000000001, 0x0000000000007f7e,
    264   0x0000000000000000, 0x0000000000000000,
    265   0xffffffffffff8082, 0xffffffffffffffff,
    266   0xffffffffffff8081, 0xfffffffffffffffe,
    267   0xffffffffffff8080, 0xffffffffcccd4cca,
    268   0xffffffffcccccd4c, 0xffffffffaaab2aa8,
    269   0xffffffffaaaaab2a, 0xffffffff80008000,
    270   0xffffffff80000082, 0xffffffff80007fff,
    271   0xffffffff80000081, 0xffffffff80007ffe,
    272   0xffffffff80000080, 0xffffffff80007ffd,
    273   0xffffffff8000007f, 0xffffffff80007ffc,
    274   0xffffffff8000007e, 0xffffffff5555d553,
    275   0xffffffff555555d5, 0xffffffff3333b331,
    276   0xffffffff333333b3, 0xffffffff0000fffd,
    277   0xffffffff0000807f, 0xffffffff0000fffc,
    278   0xffffffff0000807e, 0xffffffff0000fffb,
    279   0xffffffff0000807d, 0xffffffff0000fffa,
    280   0xffffffff0000807c, 0xffffffff0000807d,
    281   0xffffffff000000ff, 0xffffffff0000807c,
    282   0xffffffff000000fe, 0xffffffff0000807b,
    283   0xffffffff000000fd, 0xffffffff0000807a,
    284   0xffffffff000000fc, 0xffffffff0000801d,
    285   0xffffffff0000009f, 0xffffffff00008000,
    286   0xffffffff00008000, 0xffffffff00008000,
    287   0xffffffff00007fff, 0xffffffff00007fff,
    288   0xffffffff00007ffe, 0x0000000000007ffe,
    289   0x0000000000007ffd, 0x0000000000007ffd,
    290   0x0000000000007ffc, 0x0000000000007ffc,
    291   0x0000000000007ffb, 0x0000000000007fde,
    292   0x0000000000007fdd, 0x0000000000007f81,
    293   0x0000000000007f80, 0x0000000000007f80,
    294   0x0000000000007f7f, 0x0000000000007f7f,
    295   0x0000000000007f7e, 0x0000000000000001,
    296   0x0000000000000000, 0x0000000000000000,
    297   0xffffffffffffffff, 0xffffffffffffffff,
    298   0xfffffffffffffffe, 0xffffffffcccd4ccb,
    299   0xffffffffcccd4cca, 0xffffffffaaab2aa9,
    300   0xffffffffaaab2aa8, 0xffffffff80008001,
    301   0xffffffff80008000, 0xffffffff80008000,
    302   0xffffffff80007fff, 0xffffffff80007fff,
    303   0xffffffff80007ffe, 0xffffffff80007ffe,
    304   0xffffffff80007ffd, 0xffffffff80007ffd,
    305   0xffffffff80007ffc, 0xffffffff5555d554,
    306   0xffffffff5555d553, 0xffffffff3333b332,
    307   0xffffffff3333b331, 0xffffffff0000fffe,
    308   0xffffffff0000fffd, 0xffffffff0000fffd,
    309   0xffffffff0000fffc, 0xffffffff0000fffc,
    310   0xffffffff0000fffb, 0xffffffff0000fffb,
    311   0xffffffff0000fffa, 0xffffffff0000807e,
    312   0xffffffff0000807d, 0xffffffff0000807d,
    313   0xffffffff0000807c, 0xffffffff0000807c,
    314   0xffffffff0000807b, 0xffffffff0000807b,
    315   0xffffffff0000807a, 0xffffffff0000801e,
    316   0xffffffff0000801d, 0xffffffff00008001,
    317   0xffffffff00008001, 0xffffffff00008001,
    318   0xffffffff00008000, 0xffffffff00008000,
    319   0xffffffff00007fff, 0x0000000000007fff,
    320   0x0000000000007ffe, 0x0000000000007ffe,
    321   0x0000000000007ffd, 0x0000000000007ffd,
    322   0x0000000000007ffc, 0x0000000000007fdf,
    323   0x0000000000007fde, 0x0000000000007f82,
    324   0x0000000000007f81, 0x0000000000007f81,
    325   0x0000000000007f80, 0x0000000000007f80,
    326   0x0000000000007f7f, 0x0000000000000002,
    327   0x0000000000000001, 0x0000000000000001,
    328   0x0000000000000000, 0x0000000000000000,
    329   0xffffffffffffffff, 0xffffffffcccd4ccc,
    330   0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
    331   0xffffffffaaab2aa9, 0xffffffff80008002,
    332   0xffffffff80008001, 0xffffffff80008001,
    333   0xffffffff80008000, 0xffffffff80008000,
    334   0xffffffff80007fff, 0xffffffff80007fff,
    335   0xffffffff80007ffe, 0xffffffff80007ffe,
    336   0xffffffff80007ffd, 0xffffffff5555d555,
    337   0xffffffff5555d554, 0xffffffff3333b333,
    338   0xffffffff3333b332, 0xffffffff0000ffff,
    339   0xffffffff0000fffe, 0xffffffff0000fffe,
    340   0xffffffff0000fffd, 0xffffffff0000fffd,
    341   0xffffffff0000fffc, 0xffffffff0000fffc,
    342   0xffffffff0000fffb, 0xffffffff0000807f,
    343   0xffffffff0000807e, 0xffffffff0000807e,
    344   0xffffffff0000807d, 0xffffffff0000807d,
    345   0xffffffff0000807c, 0xffffffff0000807c,
    346   0xffffffff0000807b, 0xffffffff0000801f,
    347   0xffffffff0000801e, 0xffffffff00008002,
    348   0xffffffff00008002, 0xffffffff7fffffff,
    349   0xffffffff00008001, 0xffffffff7ffffffe,
    350   0xffffffff00008000, 0x000000007ffffffd,
    351   0x0000000000007fff, 0x000000007ffffffc,
    352   0x0000000000007ffe, 0x000000007ffffffb,
    353   0x0000000000007ffd, 0x000000007fffffdd,
    354   0x0000000000007fdf, 0x000000007fffff80,
    355   0x0000000000007f82, 0x000000007fffff7f,
    356   0x0000000000007f81, 0x000000007fffff7e,
    357   0x0000000000007f80, 0x000000007fff8000,
    358   0x0000000000000002, 0x000000007fff7fff,
    359   0x0000000000000001, 0x000000007fff7ffe,
    360   0x0000000000000000, 0x000000004cccccca,
    361   0xffffffffcccd4ccc, 0x000000002aaaaaa8,
    362   0xffffffffaaab2aaa, 0x0000000000000000,
    363   0xffffffff80008002, 0xffffffffffffffff,
    364   0xffffffff80008001, 0xfffffffffffffffe,
    365   0xffffffff80008000, 0xfffffffffffffffd,
    366   0xffffffff80007fff, 0xfffffffffffffffc,
    367   0xffffffff80007ffe, 0xffffffffd5555553,
    368   0xffffffff5555d555, 0xffffffffb3333331,
    369   0xffffffff3333b333, 0xffffffff80007ffd,
    370   0xffffffff0000ffff, 0xffffffff80007ffc,
    371   0xffffffff0000fffe, 0xffffffff80007ffb,
    372   0xffffffff0000fffd, 0xffffffff80007ffa,
    373   0xffffffff0000fffc, 0xffffffff8000007d,
    374   0xffffffff0000807f, 0xffffffff8000007c,
    375   0xffffffff0000807e, 0xffffffff8000007b,
    376   0xffffffff0000807d, 0xffffffff8000007a,
    377   0xffffffff0000807c, 0xffffffff8000001d,
    378   0xffffffff0000801f, 0xffffffff80000000,
    379   0xffffffff80000000, 0xffffffff80000000,
    380   0xffffffff7fffffff, 0xffffffff7fffffff,
    381   0xffffffff7ffffffe, 0x000000007ffffffe,
    382   0x000000007ffffffd, 0x000000007ffffffd,
    383   0x000000007ffffffc, 0x000000007ffffffc,
    384   0x000000007ffffffb, 0x000000007fffffde,
    385   0x000000007fffffdd, 0x000000007fffff81,
    386   0x000000007fffff80, 0x000000007fffff80,
    387   0x000000007fffff7f, 0x000000007fffff7f,
    388   0x000000007fffff7e, 0x000000007fff8001,
    389   0x000000007fff8000, 0x000000007fff8000,
    390   0x000000007fff7fff, 0x000000007fff7fff,
    391   0x000000007fff7ffe, 0x000000004ccccccb,
    392   0x000000004cccccca, 0x000000002aaaaaa9,
    393   0x000000002aaaaaa8, 0x0000000000000001,
    394   0x0000000000000000, 0x0000000000000000,
    395   0xffffffffffffffff, 0xffffffffffffffff,
    396   0xfffffffffffffffe, 0xfffffffffffffffe,
    397   0xfffffffffffffffd, 0xfffffffffffffffd,
    398   0xfffffffffffffffc, 0xffffffffd5555554,
    399   0xffffffffd5555553, 0xffffffffb3333332,
    400   0xffffffffb3333331, 0xffffffff80007ffe,
    401   0xffffffff80007ffd, 0xffffffff80007ffd,
    402   0xffffffff80007ffc, 0xffffffff80007ffc,
    403   0xffffffff80007ffb, 0xffffffff80007ffb,
    404   0xffffffff80007ffa, 0xffffffff8000007e,
    405   0xffffffff8000007d, 0xffffffff8000007d,
    406   0xffffffff8000007c, 0xffffffff8000007c,
    407   0xffffffff8000007b, 0xffffffff8000007b,
    408   0xffffffff8000007a, 0xffffffff8000001e,
    409   0xffffffff8000001d, 0xffffffff80000001,
    410   0xffffffff80000001, 0xffffffff80000001,
    411   0xffffffff80000000, 0xffffffff80000000,
    412   0xffffffff7fffffff, 0x000000007fffffff,
    413   0x000000007ffffffe, 0x000000007ffffffe,
    414   0x000000007ffffffd, 0x000000007ffffffd,
    415   0x000000007ffffffc, 0x000000007fffffdf,
    416   0x000000007fffffde, 0x000000007fffff82,
    417   0x000000007fffff81, 0x000000007fffff81,
    418   0x000000007fffff80, 0x000000007fffff80,
    419   0x000000007fffff7f, 0x000000007fff8002,
    420   0x000000007fff8001, 0x000000007fff8001,
    421   0x000000007fff8000, 0x000000007fff8000,
    422   0x000000007fff7fff, 0x000000004ccccccc,
    423   0x000000004ccccccb, 0x000000002aaaaaaa,
    424   0x000000002aaaaaa9, 0x0000000000000002,
    425   0x0000000000000001, 0x0000000000000001,
    426   0x0000000000000000, 0x0000000000000000,
    427   0xffffffffffffffff, 0xffffffffffffffff,
    428   0xfffffffffffffffe, 0xfffffffffffffffe,
    429   0xfffffffffffffffd, 0xffffffffd5555555,
    430   0xffffffffd5555554, 0xffffffffb3333333,
    431   0xffffffffb3333332, 0xffffffff80007fff,
    432   0xffffffff80007ffe, 0xffffffff80007ffe,
    433   0xffffffff80007ffd, 0xffffffff80007ffd,
    434   0xffffffff80007ffc, 0xffffffff80007ffc,
    435   0xffffffff80007ffb, 0xffffffff8000007f,
    436   0xffffffff8000007e, 0xffffffff8000007e,
    437   0xffffffff8000007d, 0xffffffff8000007d,
    438   0xffffffff8000007c, 0xffffffff8000007c,
    439   0xffffffff8000007b, 0xffffffff8000001f,
    440   0xffffffff8000001e, 0xffffffff80000002,
    441   0xffffffff80000002, 0x3333333233333335,
    442   0xffffffff80000001, 0x3333333233333334,
    443   0xffffffff80000000, 0x3333333333333333,
    444   0x000000007fffffff, 0x3333333333333332,
    445   0x000000007ffffffe, 0x3333333333333331,
    446   0x000000007ffffffd, 0x3333333333333313,
    447   0x000000007fffffdf, 0x33333333333332b6,
    448   0x000000007fffff82, 0x33333333333332b5,
    449   0x000000007fffff81, 0x33333333333332b4,
    450   0x000000007fffff80, 0x333333333332b336,
    451   0x000000007fff8002, 0x333333333332b335,
    452   0x000000007fff8001, 0x333333333332b334,
    453   0x000000007fff8000, 0x3333333300000000,
    454   0x000000004ccccccc, 0x33333332ddddddde,
    455   0x000000002aaaaaaa, 0x33333332b3333336,
    456   0x0000000000000002, 0x33333332b3333335,
    457   0x0000000000000001, 0x33333332b3333334,
    458   0x0000000000000000, 0x33333332b3333333,
    459   0xffffffffffffffff, 0x33333332b3333332,
    460   0xfffffffffffffffe, 0x3333333288888889,
    461   0xffffffffd5555555, 0x3333333266666667,
    462   0xffffffffb3333333, 0x333333323333b333,
    463   0xffffffff80007fff, 0x333333323333b332,
    464   0xffffffff80007ffe, 0x333333323333b331,
    465   0xffffffff80007ffd, 0x333333323333b330,
    466   0xffffffff80007ffc, 0x33333332333333b3,
    467   0xffffffff8000007f, 0x33333332333333b2,
    468   0xffffffff8000007e, 0x33333332333333b1,
    469   0xffffffff8000007d, 0x33333332333333b0,
    470   0xffffffff8000007c, 0x3333333233333353,
    471   0xffffffff8000001f, 0x3333333233333336,
    472   0x3333333233333336, 0x5555555455555557,
    473   0x3333333233333335, 0x5555555455555556,
    474   0x3333333233333334, 0x5555555555555555,
    475   0x3333333333333333, 0x5555555555555554,
    476   0x3333333333333332, 0x5555555555555553,
    477   0x3333333333333331, 0x5555555555555535,
    478   0x3333333333333313, 0x55555555555554d8,
    479   0x33333333333332b6, 0x55555555555554d7,
    480   0x33333333333332b5, 0x55555555555554d6,
    481   0x33333333333332b4, 0x555555555554d558,
    482   0x333333333332b336, 0x555555555554d557,
    483   0x333333333332b335, 0x555555555554d556,
    484   0x333333333332b334, 0x5555555522222222,
    485   0x3333333300000000, 0x5555555500000000,
    486   0x33333332ddddddde, 0x55555554d5555558,
    487   0x33333332b3333336, 0x55555554d5555557,
    488   0x33333332b3333335, 0x55555554d5555556,
    489   0x33333332b3333334, 0x55555554d5555555,
    490   0x33333332b3333333, 0x55555554d5555554,
    491   0x33333332b3333332, 0x55555554aaaaaaab,
    492   0x3333333288888889, 0x5555555488888889,
    493   0x3333333266666667, 0x555555545555d555,
    494   0x333333323333b333, 0x555555545555d554,
    495   0x333333323333b332, 0x555555545555d553,
    496   0x333333323333b331, 0x555555545555d552,
    497   0x333333323333b330, 0x55555554555555d5,
    498   0x33333332333333b3, 0x55555554555555d4,
    499   0x33333332333333b2, 0x55555554555555d3,
    500   0x33333332333333b1, 0x55555554555555d2,
    501   0x33333332333333b0, 0x5555555455555575,
    502   0x3333333233333353, 0x5555555455555558,
    503   0x5555555455555558, 0x7ffffffeffffffff,
    504   0x5555555455555557, 0x7ffffffefffffffe,
    505   0x5555555455555556, 0x7ffffffffffffffd,
    506   0x5555555555555555, 0x7ffffffffffffffc,
    507   0x5555555555555554, 0x7ffffffffffffffb,
    508   0x5555555555555553, 0x7fffffffffffffdd,
    509   0x5555555555555535, 0x7fffffffffffff80,
    510   0x55555555555554d8, 0x7fffffffffffff7f,
    511   0x55555555555554d7, 0x7fffffffffffff7e,
    512   0x55555555555554d6, 0x7fffffffffff8000,
    513   0x555555555554d558, 0x7fffffffffff7fff,
    514   0x555555555554d557, 0x7fffffffffff7ffe,
    515   0x555555555554d556, 0x7fffffffccccccca,
    516   0x5555555522222222, 0x7fffffffaaaaaaa8,
    517   0x5555555500000000, 0x7fffffff80000000,
    518   0x55555554d5555558, 0x7fffffff7fffffff,
    519   0x55555554d5555557, 0x7fffffff7ffffffe,
    520   0x55555554d5555556, 0x7fffffff7ffffffd,
    521   0x55555554d5555555, 0x7fffffff7ffffffc,
    522   0x55555554d5555554, 0x7fffffff55555553,
    523   0x55555554aaaaaaab, 0x7fffffff33333331,
    524   0x5555555488888889, 0x7fffffff00007ffd,
    525   0x555555545555d555, 0x7fffffff00007ffc,
    526   0x555555545555d554, 0x7fffffff00007ffb,
    527   0x555555545555d553, 0x7fffffff00007ffa,
    528   0x555555545555d552, 0x7fffffff0000007d,
    529   0x55555554555555d5, 0x7fffffff0000007c,
    530   0x55555554555555d4, 0x7fffffff0000007b,
    531   0x55555554555555d3, 0x7fffffff0000007a,
    532   0x55555554555555d2, 0x7fffffff0000001d,
    533   0x5555555455555575, 0x7fffffff00000000,
    534   0x7fffffff00000000, 0x7fffffff00000000,
    535   0x7ffffffeffffffff, 0x7ffffffeffffffff,
    536   0x7ffffffefffffffe, 0x7ffffffffffffffe,
    537   0x7ffffffffffffffd, 0x7ffffffffffffffd,
    538   0x7ffffffffffffffc, 0x7ffffffffffffffc,
    539   0x7ffffffffffffffb, 0x7fffffffffffffde,
    540   0x7fffffffffffffdd, 0x7fffffffffffff81,
    541   0x7fffffffffffff80, 0x7fffffffffffff80,
    542   0x7fffffffffffff7f, 0x7fffffffffffff7f,
    543   0x7fffffffffffff7e, 0x7fffffffffff8001,
    544   0x7fffffffffff8000, 0x7fffffffffff8000,
    545   0x7fffffffffff7fff, 0x7fffffffffff7fff,
    546   0x7fffffffffff7ffe, 0x7fffffffcccccccb,
    547   0x7fffffffccccccca, 0x7fffffffaaaaaaa9,
    548   0x7fffffffaaaaaaa8, 0x7fffffff80000001,
    549   0x7fffffff80000000, 0x7fffffff80000000,
    550   0x7fffffff7fffffff, 0x7fffffff7fffffff,
    551   0x7fffffff7ffffffe, 0x7fffffff7ffffffe,
    552   0x7fffffff7ffffffd, 0x7fffffff7ffffffd,
    553   0x7fffffff7ffffffc, 0x7fffffff55555554,
    554   0x7fffffff55555553, 0x7fffffff33333332,
    555   0x7fffffff33333331, 0x7fffffff00007ffe,
    556   0x7fffffff00007ffd, 0x7fffffff00007ffd,
    557   0x7fffffff00007ffc, 0x7fffffff00007ffc,
    558   0x7fffffff00007ffb, 0x7fffffff00007ffb,
    559   0x7fffffff00007ffa, 0x7fffffff0000007e,
    560   0x7fffffff0000007d, 0x7fffffff0000007d,
    561   0x7fffffff0000007c, 0x7fffffff0000007c,
    562   0x7fffffff0000007b, 0x7fffffff0000007b,
    563   0x7fffffff0000007a, 0x7fffffff0000001e,
    564   0x7fffffff0000001d, 0x7fffffff00000001,
    565   0x7fffffff00000001, 0x7fffffff00000001,
    566   0x7fffffff00000000, 0x7fffffff00000000,
    567   0x7ffffffeffffffff, 0x7fffffffffffffff,
    568   0x7ffffffffffffffe, 0x7ffffffffffffffe,
    569   0x7ffffffffffffffd, 0x7ffffffffffffffd,
    570   0x7ffffffffffffffc, 0x7fffffffffffffdf,
    571   0x7fffffffffffffde, 0x7fffffffffffff82,
    572   0x7fffffffffffff81, 0x7fffffffffffff81,
    573   0x7fffffffffffff80, 0x7fffffffffffff80,
    574   0x7fffffffffffff7f, 0x7fffffffffff8002,
    575   0x7fffffffffff8001, 0x7fffffffffff8001,
    576   0x7fffffffffff8000, 0x7fffffffffff8000,
    577   0x7fffffffffff7fff, 0x7fffffffcccccccc,
    578   0x7fffffffcccccccb, 0x7fffffffaaaaaaaa,
    579   0x7fffffffaaaaaaa9, 0x7fffffff80000002,
    580   0x7fffffff80000001, 0x7fffffff80000001,
    581   0x7fffffff80000000, 0x7fffffff80000000,
    582   0x7fffffff7fffffff, 0x7fffffff7fffffff,
    583   0x7fffffff7ffffffe, 0x7fffffff7ffffffe,
    584   0x7fffffff7ffffffd, 0x7fffffff55555555,
    585   0x7fffffff55555554, 0x7fffffff33333333,
    586   0x7fffffff33333332, 0x7fffffff00007fff,
    587   0x7fffffff00007ffe, 0x7fffffff00007ffe,
    588   0x7fffffff00007ffd, 0x7fffffff00007ffd,
    589   0x7fffffff00007ffc, 0x7fffffff00007ffc,
    590   0x7fffffff00007ffb, 0x7fffffff0000007f,
    591   0x7fffffff0000007e, 0x7fffffff0000007e,
    592   0x7fffffff0000007d, 0x7fffffff0000007d,
    593   0x7fffffff0000007c, 0x7fffffff0000007c,
    594   0x7fffffff0000007b, 0x7fffffff0000001f,
    595   0x7fffffff0000001e, 0x7fffffff00000002,
    596   0x7fffffff00000002, 0x7fffffff00000002,
    597   0x7fffffff00000001, 0x7fffffff00000001,
    598   0x7fffffff00000000, 0x8000000000000000,
    599   0x7fffffffffffffff, 0x7fffffffffffffff,
    600   0x7ffffffffffffffe, 0x7ffffffffffffffe,
    601   0x7ffffffffffffffd, 0x7fffffffffffffe0,
    602   0x7fffffffffffffdf, 0x7fffffffffffff83,
    603   0x7fffffffffffff82, 0x7fffffffffffff82,
    604   0x7fffffffffffff81, 0x7fffffffffffff81,
    605   0x7fffffffffffff80, 0x7fffffffffff8003,
    606   0x7fffffffffff8002, 0x7fffffffffff8002,
    607   0x7fffffffffff8001, 0x7fffffffffff8001,
    608   0x7fffffffffff8000, 0x7fffffffcccccccd,
    609   0x7fffffffcccccccc, 0x7fffffffaaaaaaab,
    610   0x7fffffffaaaaaaaa, 0x7fffffff80000003,
    611   0x7fffffff80000002, 0x7fffffff80000002,
    612   0x7fffffff80000001, 0x7fffffff80000001,
    613   0x7fffffff80000000, 0x7fffffff80000000,
    614   0x7fffffff7fffffff, 0x7fffffff7fffffff,
    615   0x7fffffff7ffffffe, 0x7fffffff55555556,
    616   0x7fffffff55555555, 0x7fffffff33333334,
    617   0x7fffffff33333333, 0x7fffffff00008000,
    618   0x7fffffff00007fff, 0x7fffffff00007fff,
    619   0x7fffffff00007ffe, 0x7fffffff00007ffe,
    620   0x7fffffff00007ffd, 0x7fffffff00007ffd,
    621   0x7fffffff00007ffc, 0x7fffffff00000080,
    622   0x7fffffff0000007f, 0x7fffffff0000007f,
    623   0x7fffffff0000007e, 0x7fffffff0000007e,
    624   0x7fffffff0000007d, 0x7fffffff0000007d,
    625   0x7fffffff0000007c, 0x7fffffff00000020,
    626   0x7fffffff0000001f, 0x7fffffff00000003,
    627   0x7fffffff00000003, 0x7fffffff00000003,
    628   0x7fffffff00000002, 0x7fffffff00000002,
    629   0x7fffffff00000001, 0x8000000000000001,
    630   0x8000000000000000, 0x8000000000000000,
    631   0x7fffffffffffffff, 0x7fffffffffffffff,
    632   0x7ffffffffffffffe, 0x7fffffffffffffe1,
    633   0x7fffffffffffffe0, 0x7fffffffffffff84,
    634   0x7fffffffffffff83, 0x7fffffffffffff83,
    635   0x7fffffffffffff82, 0x7fffffffffffff82,
    636   0x7fffffffffffff81, 0x7fffffffffff8004,
    637   0x7fffffffffff8003, 0x7fffffffffff8003,
    638   0x7fffffffffff8002, 0x7fffffffffff8002,
    639   0x7fffffffffff8001, 0x7fffffffccccccce,
    640   0x7fffffffcccccccd, 0x7fffffffaaaaaaac,
    641   0x7fffffffaaaaaaab, 0x7fffffff80000004,
    642   0x7fffffff80000003, 0x7fffffff80000003,
    643   0x7fffffff80000002, 0x7fffffff80000002,
    644   0x7fffffff80000001, 0x7fffffff80000001,
    645   0x7fffffff80000000, 0x7fffffff80000000,
    646   0x7fffffff7fffffff, 0x7fffffff55555557,
    647   0x7fffffff55555556, 0x7fffffff33333335,
    648   0x7fffffff33333334, 0x7fffffff00008001,
    649   0x7fffffff00008000, 0x7fffffff00008000,
    650   0x7fffffff00007fff, 0x7fffffff00007fff,
    651   0x7fffffff00007ffe, 0x7fffffff00007ffe,
    652   0x7fffffff00007ffd, 0x7fffffff00000081,
    653   0x7fffffff00000080, 0x7fffffff00000080,
    654   0x7fffffff0000007f, 0x7fffffff0000007f,
    655   0x7fffffff0000007e, 0x7fffffff0000007e,
    656   0x7fffffff0000007d, 0x7fffffff00000021,
    657   0x7fffffff00000020, 0x7fffffff00000004,
    658   0x7fffffff00000004, 0x7fffffff00000004,
    659   0x7fffffff00000003, 0x7fffffff00000003,
    660   0x7fffffff00000002, 0x8000000000000002,
    661   0x8000000000000001, 0x8000000000000001,
    662   0x8000000000000000, 0x8000000000000000,
    663   0x7fffffffffffffff, 0x7fffffffffffffe2,
    664   0x7fffffffffffffe1, 0x7fffffffffffff85,
    665   0x7fffffffffffff84, 0x7fffffffffffff84,
    666   0x7fffffffffffff83, 0x7fffffffffffff83,
    667   0x7fffffffffffff82, 0x7fffffffffff8005,
    668   0x7fffffffffff8004, 0x7fffffffffff8004,
    669   0x7fffffffffff8003, 0x7fffffffffff8003,
    670   0x7fffffffffff8002, 0x7fffffffcccccccf,
    671   0x7fffffffccccccce, 0x7fffffffaaaaaaad,
    672   0x7fffffffaaaaaaac, 0x7fffffff80000005,
    673   0x7fffffff80000004, 0x7fffffff80000004,
    674   0x7fffffff80000003, 0x7fffffff80000003,
    675   0x7fffffff80000002, 0x7fffffff80000002,
    676   0x7fffffff80000001, 0x7fffffff80000001,
    677   0x7fffffff80000000, 0x7fffffff55555558,
    678   0x7fffffff55555557, 0x7fffffff33333336,
    679   0x7fffffff33333335, 0x7fffffff00008002,
    680   0x7fffffff00008001, 0x7fffffff00008001,
    681   0x7fffffff00008000, 0x7fffffff00008000,
    682   0x7fffffff00007fff, 0x7fffffff00007fff,
    683   0x7fffffff00007ffe, 0x7fffffff00000082,
    684   0x7fffffff00000081, 0x7fffffff00000081,
    685   0x7fffffff00000080, 0x7fffffff00000080,
    686   0x7fffffff0000007f, 0x7fffffff0000007f,
    687   0x7fffffff0000007e, 0x7fffffff00000022,
    688   0x7fffffff00000021, 0x7fffffff00000005,
    689   0x7fffffff00000005, 0x7fffffff00000005,
    690   0x7fffffff00000004, 0x7fffffff00000004,
    691   0x7fffffff00000003, 0x8000000000000003,
    692   0x8000000000000002, 0x8000000000000002,
    693   0x8000000000000001, 0x8000000000000001,
    694   0x8000000000000000, 0x7fffffffffffffe3,
    695   0x7fffffffffffffe2, 0x7fffffffffffff86,
    696   0x7fffffffffffff85, 0x7fffffffffffff85,
    697   0x7fffffffffffff84, 0x7fffffffffffff84,
    698   0x7fffffffffffff83, 0x7fffffffffff8006,
    699   0x7fffffffffff8005, 0x7fffffffffff8005,
    700   0x7fffffffffff8004, 0x7fffffffffff8004,
    701   0x7fffffffffff8003, 0x7fffffffccccccd0,
    702   0x7fffffffcccccccf, 0x7fffffffaaaaaaae,
    703   0x7fffffffaaaaaaad, 0x7fffffff80000006,
    704   0x7fffffff80000005, 0x7fffffff80000005,
    705   0x7fffffff80000004, 0x7fffffff80000004,
    706   0x7fffffff80000003, 0x7fffffff80000003,
    707   0x7fffffff80000002, 0x7fffffff80000002,
    708   0x7fffffff80000001, 0x7fffffff55555559,
    709   0x7fffffff55555558, 0x7fffffff33333337,
    710   0x7fffffff33333336, 0x7fffffff00008003,
    711   0x7fffffff00008002, 0x7fffffff00008002,
    712   0x7fffffff00008001, 0x7fffffff00008001,
    713   0x7fffffff00008000, 0x7fffffff00008000,
    714   0x7fffffff00007fff, 0x7fffffff00000083,
    715   0x7fffffff00000082, 0x7fffffff00000082,
    716   0x7fffffff00000081, 0x7fffffff00000081,
    717   0x7fffffff00000080, 0x7fffffff00000080,
    718   0x7fffffff0000007f, 0x7fffffff00000023,
    719   0x7fffffff00000022, 0x7fffffff00000006,
    720   0x7fffffff00000006, 0xaaaaaaa9aaaaaaac,
    721   0x7fffffff00000005, 0xaaaaaaa9aaaaaaab,
    722   0x7fffffff00000004, 0xaaaaaaaaaaaaaaaa,
    723   0x8000000000000003, 0xaaaaaaaaaaaaaaa9,
    724   0x8000000000000002, 0xaaaaaaaaaaaaaaa8,
    725   0x8000000000000001, 0xaaaaaaaaaaaaaa8a,
    726   0x7fffffffffffffe3, 0xaaaaaaaaaaaaaa2d,
    727   0x7fffffffffffff86, 0xaaaaaaaaaaaaaa2c,
    728   0x7fffffffffffff85, 0xaaaaaaaaaaaaaa2b,
    729   0x7fffffffffffff84, 0xaaaaaaaaaaaa2aad,
    730   0x7fffffffffff8006, 0xaaaaaaaaaaaa2aac,
    731   0x7fffffffffff8005, 0xaaaaaaaaaaaa2aab,
    732   0x7fffffffffff8004, 0xaaaaaaaa77777777,
    733   0x7fffffffccccccd0, 0xaaaaaaaa55555555,
    734   0x7fffffffaaaaaaae, 0xaaaaaaaa2aaaaaad,
    735   0x7fffffff80000006, 0xaaaaaaaa2aaaaaac,
    736   0x7fffffff80000005, 0xaaaaaaaa2aaaaaab,
    737   0x7fffffff80000004, 0xaaaaaaaa2aaaaaaa,
    738   0x7fffffff80000003, 0xaaaaaaaa2aaaaaa9,
    739   0x7fffffff80000002, 0xaaaaaaaa00000000,
    740   0x7fffffff55555559, 0xaaaaaaa9ddddddde,
    741   0x7fffffff33333337, 0xaaaaaaa9aaab2aaa,
    742   0x7fffffff00008003, 0xaaaaaaa9aaab2aa9,
    743   0x7fffffff00008002, 0xaaaaaaa9aaab2aa8,
    744   0x7fffffff00008001, 0xaaaaaaa9aaab2aa7,
    745   0x7fffffff00008000, 0xaaaaaaa9aaaaab2a,
    746   0x7fffffff00000083, 0xaaaaaaa9aaaaab29,
    747   0x7fffffff00000082, 0xaaaaaaa9aaaaab28,
    748   0x7fffffff00000081, 0xaaaaaaa9aaaaab27,
    749   0x7fffffff00000080, 0xaaaaaaa9aaaaaaca,
    750   0x7fffffff00000023, 0xaaaaaaa9aaaaaaad,
    751   0xaaaaaaa9aaaaaaad, 0xcccccccbccccccce,
    752   0xaaaaaaa9aaaaaaac, 0xcccccccbcccccccd,
    753   0xaaaaaaa9aaaaaaab, 0xcccccccccccccccc,
    754   0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccb,
    755   0xaaaaaaaaaaaaaaa9, 0xccccccccccccccca,
    756   0xaaaaaaaaaaaaaaa8, 0xccccccccccccccac,
    757   0xaaaaaaaaaaaaaa8a, 0xcccccccccccccc4f,
    758   0xaaaaaaaaaaaaaa2d, 0xcccccccccccccc4e,
    759   0xaaaaaaaaaaaaaa2c, 0xcccccccccccccc4d,
    760   0xaaaaaaaaaaaaaa2b, 0xcccccccccccc4ccf,
    761   0xaaaaaaaaaaaa2aad, 0xcccccccccccc4cce,
    762   0xaaaaaaaaaaaa2aac, 0xcccccccccccc4ccd,
    763   0xaaaaaaaaaaaa2aab, 0xcccccccc99999999,
    764   0xaaaaaaaa77777777, 0xcccccccc77777777,
    765   0xaaaaaaaa55555555, 0xcccccccc4ccccccf,
    766   0xaaaaaaaa2aaaaaad, 0xcccccccc4cccccce,
    767   0xaaaaaaaa2aaaaaac, 0xcccccccc4ccccccd,
    768   0xaaaaaaaa2aaaaaab, 0xcccccccc4ccccccc,
    769   0xaaaaaaaa2aaaaaaa, 0xcccccccc4ccccccb,
    770   0xaaaaaaaa2aaaaaa9, 0xcccccccc22222222,
    771   0xaaaaaaaa00000000, 0xcccccccc00000000,
    772   0xaaaaaaa9ddddddde, 0xcccccccbcccd4ccc,
    773   0xaaaaaaa9aaab2aaa, 0xcccccccbcccd4ccb,
    774   0xaaaaaaa9aaab2aa9, 0xcccccccbcccd4cca,
    775   0xaaaaaaa9aaab2aa8, 0xcccccccbcccd4cc9,
    776   0xaaaaaaa9aaab2aa7, 0xcccccccbcccccd4c,
    777   0xaaaaaaa9aaaaab2a, 0xcccccccbcccccd4b,
    778   0xaaaaaaa9aaaaab29, 0xcccccccbcccccd4a,
    779   0xaaaaaaa9aaaaab28, 0xcccccccbcccccd49,
    780   0xaaaaaaa9aaaaab27, 0xcccccccbccccccec,
    781   0xaaaaaaa9aaaaaaca, 0xcccccccbcccccccf,
    782   0xcccccccbcccccccf, 0xfffffffe80000002,
    783   0xcccccccbccccccce, 0xfffffffe80000001,
    784   0xcccccccbcccccccd, 0xffffffff80000000,
    785   0xcccccccccccccccc, 0xffffffff7fffffff,
    786   0xcccccccccccccccb, 0xffffffff7ffffffe,
    787   0xccccccccccccccca, 0xffffffff7fffffe0,
    788   0xccccccccccccccac, 0xffffffff7fffff83,
    789   0xcccccccccccccc4f, 0xffffffff7fffff82,
    790   0xcccccccccccccc4e, 0xffffffff7fffff81,
    791   0xcccccccccccccc4d, 0xffffffff7fff8003,
    792   0xcccccccccccc4ccf, 0xffffffff7fff8002,
    793   0xcccccccccccc4cce, 0xffffffff7fff8001,
    794   0xcccccccccccc4ccd, 0xffffffff4ccccccd,
    795   0xcccccccc99999999, 0xffffffff2aaaaaab,
    796   0xcccccccc77777777, 0xffffffff00000003,
    797   0xcccccccc4ccccccf, 0xffffffff00000002,
    798   0xcccccccc4cccccce, 0xffffffff00000001,
    799   0xcccccccc4ccccccd, 0xffffffff00000000,
    800   0xcccccccc4ccccccc, 0xfffffffeffffffff,
    801   0xcccccccc4ccccccb, 0xfffffffed5555556,
    802   0xcccccccc22222222, 0xfffffffeb3333334,
    803   0xcccccccc00000000, 0xfffffffe80008000,
    804   0xcccccccbcccd4ccc, 0xfffffffe80007fff,
    805   0xcccccccbcccd4ccb, 0xfffffffe80007ffe,
    806   0xcccccccbcccd4cca, 0xfffffffe80007ffd,
    807   0xcccccccbcccd4cc9, 0xfffffffe80000080,
    808   0xcccccccbcccccd4c, 0xfffffffe8000007f,
    809   0xcccccccbcccccd4b, 0xfffffffe8000007e,
    810   0xcccccccbcccccd4a, 0xfffffffe8000007d,
    811   0xcccccccbcccccd49, 0xfffffffe80000020,
    812   0xcccccccbccccccec, 0xfffffffe80000003,
    813   0xfffffffe80000003, 0xfffffffe80000003,
    814   0xfffffffe80000002, 0xfffffffe80000002,
    815   0xfffffffe80000001, 0xffffffff80000001,
    816   0xffffffff80000000, 0xffffffff80000000,
    817   0xffffffff7fffffff, 0xffffffff7fffffff,
    818   0xffffffff7ffffffe, 0xffffffff7fffffe1,
    819   0xffffffff7fffffe0, 0xffffffff7fffff84,
    820   0xffffffff7fffff83, 0xffffffff7fffff83,
    821   0xffffffff7fffff82, 0xffffffff7fffff82,
    822   0xffffffff7fffff81, 0xffffffff7fff8004,
    823   0xffffffff7fff8003, 0xffffffff7fff8003,
    824   0xffffffff7fff8002, 0xffffffff7fff8002,
    825   0xffffffff7fff8001, 0xffffffff4cccccce,
    826   0xffffffff4ccccccd, 0xffffffff2aaaaaac,
    827   0xffffffff2aaaaaab, 0xffffffff00000004,
    828   0xffffffff00000003, 0xffffffff00000003,
    829   0xffffffff00000002, 0xffffffff00000002,
    830   0xffffffff00000001, 0xffffffff00000001,
    831   0xffffffff00000000, 0xffffffff00000000,
    832   0xfffffffeffffffff, 0xfffffffed5555557,
    833   0xfffffffed5555556, 0xfffffffeb3333335,
    834   0xfffffffeb3333334, 0xfffffffe80008001,
    835   0xfffffffe80008000, 0xfffffffe80008000,
    836   0xfffffffe80007fff, 0xfffffffe80007fff,
    837   0xfffffffe80007ffe, 0xfffffffe80007ffe,
    838   0xfffffffe80007ffd, 0xfffffffe80000081,
    839   0xfffffffe80000080, 0xfffffffe80000080,
    840   0xfffffffe8000007f, 0xfffffffe8000007f,
    841   0xfffffffe8000007e, 0xfffffffe8000007e,
    842   0xfffffffe8000007d, 0xfffffffe80000021,
    843   0xfffffffe80000020, 0xfffffffe80000004,
    844   0xfffffffe80000004, 0xfffffffe80000004,
    845   0xfffffffe80000003, 0xfffffffe80000003,
    846   0xfffffffe80000002, 0xffffffff80000002,
    847   0xffffffff80000001, 0xffffffff80000001,
    848   0xffffffff80000000, 0xffffffff80000000,
    849   0xffffffff7fffffff, 0xffffffff7fffffe2,
    850   0xffffffff7fffffe1, 0xffffffff7fffff85,
    851   0xffffffff7fffff84, 0xffffffff7fffff84,
    852   0xffffffff7fffff83, 0xffffffff7fffff83,
    853   0xffffffff7fffff82, 0xffffffff7fff8005,
    854   0xffffffff7fff8004, 0xffffffff7fff8004,
    855   0xffffffff7fff8003, 0xffffffff7fff8003,
    856   0xffffffff7fff8002, 0xffffffff4ccccccf,
    857   0xffffffff4cccccce, 0xffffffff2aaaaaad,
    858   0xffffffff2aaaaaac, 0xffffffff00000005,
    859   0xffffffff00000004, 0xffffffff00000004,
    860   0xffffffff00000003, 0xffffffff00000003,
    861   0xffffffff00000002, 0xffffffff00000002,
    862   0xffffffff00000001, 0xffffffff00000001,
    863   0xffffffff00000000, 0xfffffffed5555558,
    864   0xfffffffed5555557, 0xfffffffeb3333336,
    865   0xfffffffeb3333335, 0xfffffffe80008002,
    866   0xfffffffe80008001, 0xfffffffe80008001,
    867   0xfffffffe80008000, 0xfffffffe80008000,
    868   0xfffffffe80007fff, 0xfffffffe80007fff,
    869   0xfffffffe80007ffe, 0xfffffffe80000082,
    870   0xfffffffe80000081, 0xfffffffe80000081,
    871   0xfffffffe80000080, 0xfffffffe80000080,
    872   0xfffffffe8000007f, 0xfffffffe8000007f,
    873   0xfffffffe8000007e, 0xfffffffe80000022,
    874   0xfffffffe80000021, 0xfffffffe80000005,
    875   0xfffffffe80000005, 0xfffffffe80000005,
    876   0xfffffffe80000004, 0xfffffffe80000004,
    877   0xfffffffe80000003, 0xffffffff80000003,
    878   0xffffffff80000002, 0xffffffff80000002,
    879   0xffffffff80000001, 0xffffffff80000001,
    880   0xffffffff80000000, 0xffffffff7fffffe3,
    881   0xffffffff7fffffe2, 0xffffffff7fffff86,
    882   0xffffffff7fffff85, 0xffffffff7fffff85,
    883   0xffffffff7fffff84, 0xffffffff7fffff84,
    884   0xffffffff7fffff83, 0xffffffff7fff8006,
    885   0xffffffff7fff8005, 0xffffffff7fff8005,
    886   0xffffffff7fff8004, 0xffffffff7fff8004,
    887   0xffffffff7fff8003, 0xffffffff4cccccd0,
    888   0xffffffff4ccccccf, 0xffffffff2aaaaaae,
    889   0xffffffff2aaaaaad, 0xffffffff00000006,
    890   0xffffffff00000005, 0xffffffff00000005,
    891   0xffffffff00000004, 0xffffffff00000004,
    892   0xffffffff00000003, 0xffffffff00000003,
    893   0xffffffff00000002, 0xffffffff00000002,
    894   0xffffffff00000001, 0xfffffffed5555559,
    895   0xfffffffed5555558, 0xfffffffeb3333337,
    896   0xfffffffeb3333336, 0xfffffffe80008003,
    897   0xfffffffe80008002, 0xfffffffe80008002,
    898   0xfffffffe80008001, 0xfffffffe80008001,
    899   0xfffffffe80008000, 0xfffffffe80008000,
    900   0xfffffffe80007fff, 0xfffffffe80000083,
    901   0xfffffffe80000082, 0xfffffffe80000082,
    902   0xfffffffe80000081, 0xfffffffe80000081,
    903   0xfffffffe80000080, 0xfffffffe80000080,
    904   0xfffffffe8000007f, 0xfffffffe80000023,
    905   0xfffffffe80000022, 0xfffffffe80000006,
    906   0xfffffffe80000006, 0xfffffffeffff8002,
    907   0xfffffffe80000005, 0xfffffffeffff8001,
    908   0xfffffffe80000004, 0xffffffffffff8000,
    909   0xffffffff80000003, 0xffffffffffff7fff,
    910   0xffffffff80000002, 0xffffffffffff7ffe,
    911   0xffffffff80000001, 0xffffffffffff7fe0,
    912   0xffffffff7fffffe3, 0xffffffffffff7f83,
    913   0xffffffff7fffff86, 0xffffffffffff7f82,
    914   0xffffffff7fffff85, 0xffffffffffff7f81,
    915   0xffffffff7fffff84, 0xffffffffffff0003,
    916   0xffffffff7fff8006, 0xffffffffffff0002,
    917   0xffffffff7fff8005, 0xffffffffffff0001,
    918   0xffffffff7fff8004, 0xffffffffcccc4ccd,
    919   0xffffffff4cccccd0, 0xffffffffaaaa2aab,
    920   0xffffffff2aaaaaae, 0xffffffff7fff8003,
    921   0xffffffff00000006, 0xffffffff7fff8002,
    922   0xffffffff00000005, 0xffffffff7fff8001,
    923   0xffffffff00000004, 0xffffffff7fff8000,
    924   0xffffffff00000003, 0xffffffff7fff7fff,
    925   0xffffffff00000002, 0xffffffff5554d556,
    926   0xfffffffed5555559, 0xffffffff3332b334,
    927   0xfffffffeb3333337, 0xffffffff00000000,
    928   0xfffffffe80008003, 0xfffffffeffffffff,
    929   0xfffffffe80008002, 0xfffffffefffffffe,
    930   0xfffffffe80008001, 0xfffffffefffffffd,
    931   0xfffffffe80008000, 0xfffffffeffff8080,
    932   0xfffffffe80000083, 0xfffffffeffff807f,
    933   0xfffffffe80000082, 0xfffffffeffff807e,
    934   0xfffffffe80000081, 0xfffffffeffff807d,
    935   0xfffffffe80000080, 0xfffffffeffff8020,
    936   0xfffffffe80000023, 0xfffffffeffff8003,
    937   0xfffffffeffff8003, 0xfffffffeffff8003,
    938   0xfffffffeffff8002, 0xfffffffeffff8002,
    939   0xfffffffeffff8001, 0xffffffffffff8001,
    940   0xffffffffffff8000, 0xffffffffffff8000,
    941   0xffffffffffff7fff, 0xffffffffffff7fff,
    942   0xffffffffffff7ffe, 0xffffffffffff7fe1,
    943   0xffffffffffff7fe0, 0xffffffffffff7f84,
    944   0xffffffffffff7f83, 0xffffffffffff7f83,
    945   0xffffffffffff7f82, 0xffffffffffff7f82,
    946   0xffffffffffff7f81, 0xffffffffffff0004,
    947   0xffffffffffff0003, 0xffffffffffff0003,
    948   0xffffffffffff0002, 0xffffffffffff0002,
    949   0xffffffffffff0001, 0xffffffffcccc4cce,
    950   0xffffffffcccc4ccd, 0xffffffffaaaa2aac,
    951   0xffffffffaaaa2aab, 0xffffffff7fff8004,
    952   0xffffffff7fff8003, 0xffffffff7fff8003,
    953   0xffffffff7fff8002, 0xffffffff7fff8002,
    954   0xffffffff7fff8001, 0xffffffff7fff8001,
    955   0xffffffff7fff8000, 0xffffffff7fff8000,
    956   0xffffffff7fff7fff, 0xffffffff5554d557,
    957   0xffffffff5554d556, 0xffffffff3332b335,
    958   0xffffffff3332b334, 0xffffffff00000001,
    959   0xffffffff00000000, 0xffffffff00000000,
    960   0xfffffffeffffffff, 0xfffffffeffffffff,
    961   0xfffffffefffffffe, 0xfffffffefffffffe,
    962   0xfffffffefffffffd, 0xfffffffeffff8081,
    963   0xfffffffeffff8080, 0xfffffffeffff8080,
    964   0xfffffffeffff807f, 0xfffffffeffff807f,
    965   0xfffffffeffff807e, 0xfffffffeffff807e,
    966   0xfffffffeffff807d, 0xfffffffeffff8021,
    967   0xfffffffeffff8020, 0xfffffffeffff8004,
    968   0xfffffffeffff8004, 0xfffffffeffff8004,
    969   0xfffffffeffff8003, 0xfffffffeffff8003,
    970   0xfffffffeffff8002, 0xffffffffffff8002,
    971   0xffffffffffff8001, 0xffffffffffff8001,
    972   0xffffffffffff8000, 0xffffffffffff8000,
    973   0xffffffffffff7fff, 0xffffffffffff7fe2,
    974   0xffffffffffff7fe1, 0xffffffffffff7f85,
    975   0xffffffffffff7f84, 0xffffffffffff7f84,
    976   0xffffffffffff7f83, 0xffffffffffff7f83,
    977   0xffffffffffff7f82, 0xffffffffffff0005,
    978   0xffffffffffff0004, 0xffffffffffff0004,
    979   0xffffffffffff0003, 0xffffffffffff0003,
    980   0xffffffffffff0002, 0xffffffffcccc4ccf,
    981   0xffffffffcccc4cce, 0xffffffffaaaa2aad,
    982   0xffffffffaaaa2aac, 0xffffffff7fff8005,
    983   0xffffffff7fff8004, 0xffffffff7fff8004,
    984   0xffffffff7fff8003, 0xffffffff7fff8003,
    985   0xffffffff7fff8002, 0xffffffff7fff8002,
    986   0xffffffff7fff8001, 0xffffffff7fff8001,
    987   0xffffffff7fff8000, 0xffffffff5554d558,
    988   0xffffffff5554d557, 0xffffffff3332b336,
    989   0xffffffff3332b335, 0xffffffff00000002,
    990   0xffffffff00000001, 0xffffffff00000001,
    991   0xffffffff00000000, 0xffffffff00000000,
    992   0xfffffffeffffffff, 0xfffffffeffffffff,
    993   0xfffffffefffffffe, 0xfffffffeffff8082,
    994   0xfffffffeffff8081, 0xfffffffeffff8081,
    995   0xfffffffeffff8080, 0xfffffffeffff8080,
    996   0xfffffffeffff807f, 0xfffffffeffff807f,
    997   0xfffffffeffff807e, 0xfffffffeffff8022,
    998   0xfffffffeffff8021, 0xfffffffeffff8005,
    999   0xfffffffeffff8005, 0xfffffffeffff8005,
   1000   0xfffffffeffff8004, 0xfffffffeffff8004,
   1001   0xfffffffeffff8003, 0xffffffffffff8003,
   1002   0xffffffffffff8002, 0xffffffffffff8002,
   1003   0xffffffffffff8001, 0xffffffffffff8001,
   1004   0xffffffffffff8000, 0xffffffffffff7fe3,
   1005   0xffffffffffff7fe2, 0xffffffffffff7f86,
   1006   0xffffffffffff7f85, 0xffffffffffff7f85,
   1007   0xffffffffffff7f84, 0xffffffffffff7f84,
   1008   0xffffffffffff7f83, 0xffffffffffff0006,
   1009   0xffffffffffff0005, 0xffffffffffff0005,
   1010   0xffffffffffff0004, 0xffffffffffff0004,
   1011   0xffffffffffff0003, 0xffffffffcccc4cd0,
   1012   0xffffffffcccc4ccf, 0xffffffffaaaa2aae,
   1013   0xffffffffaaaa2aad, 0xffffffff7fff8006,
   1014   0xffffffff7fff8005, 0xffffffff7fff8005,
   1015   0xffffffff7fff8004, 0xffffffff7fff8004,
   1016   0xffffffff7fff8003, 0xffffffff7fff8003,
   1017   0xffffffff7fff8002, 0xffffffff7fff8002,
   1018   0xffffffff7fff8001, 0xffffffff5554d559,
   1019   0xffffffff5554d558, 0xffffffff3332b337,
   1020   0xffffffff3332b336, 0xffffffff00000003,
   1021   0xffffffff00000002, 0xffffffff00000002,
   1022   0xffffffff00000001, 0xffffffff00000001,
   1023   0xffffffff00000000, 0xffffffff00000000,
   1024   0xfffffffeffffffff, 0xfffffffeffff8083,
   1025   0xfffffffeffff8082, 0xfffffffeffff8082,
   1026   0xfffffffeffff8081, 0xfffffffeffff8081,
   1027   0xfffffffeffff8080, 0xfffffffeffff8080,
   1028   0xfffffffeffff807f, 0xfffffffeffff8023,
   1029   0xfffffffeffff8022, 0xfffffffeffff8006,
   1030   0xfffffffeffff8006, 0xfffffffeffffff82,
   1031   0xfffffffeffff8005, 0xfffffffeffffff81,
   1032   0xfffffffeffff8004, 0xffffffffffffff80,
   1033   0xffffffffffff8003, 0xffffffffffffff7f,
   1034   0xffffffffffff8002, 0xffffffffffffff7e,
   1035   0xffffffffffff8001, 0xffffffffffffff60,
   1036   0xffffffffffff7fe3, 0xffffffffffffff03,
   1037   0xffffffffffff7f86, 0xffffffffffffff02,
   1038   0xffffffffffff7f85, 0xffffffffffffff01,
   1039   0xffffffffffff7f84, 0xffffffffffff7f83,
   1040   0xffffffffffff0006, 0xffffffffffff7f82,
   1041   0xffffffffffff0005, 0xffffffffffff7f81,
   1042   0xffffffffffff0004, 0xffffffffcccccc4d,
   1043   0xffffffffcccc4cd0, 0xffffffffaaaaaa2b,
   1044   0xffffffffaaaa2aae, 0xffffffff7fffff83,
   1045   0xffffffff7fff8006, 0xffffffff7fffff82,
   1046   0xffffffff7fff8005, 0xffffffff7fffff81,
   1047   0xffffffff7fff8004, 0xffffffff7fffff80,
   1048   0xffffffff7fff8003, 0xffffffff7fffff7f,
   1049   0xffffffff7fff8002, 0xffffffff555554d6,
   1050   0xffffffff5554d559, 0xffffffff333332b4,
   1051   0xffffffff3332b337, 0xffffffff00007f80,
   1052   0xffffffff00000003, 0xffffffff00007f7f,
   1053   0xffffffff00000002, 0xffffffff00007f7e,
   1054   0xffffffff00000001, 0xffffffff00007f7d,
   1055   0xffffffff00000000, 0xffffffff00000000,
   1056   0xfffffffeffff8083, 0xfffffffeffffffff,
   1057   0xfffffffeffff8082, 0xfffffffefffffffe,
   1058   0xfffffffeffff8081, 0xfffffffefffffffd,
   1059   0xfffffffeffff8080, 0xfffffffeffffffa0,
   1060   0xfffffffeffff8023, 0xfffffffeffffff83,
   1061   0xfffffffeffffff83, 0xfffffffeffffff83,
   1062   0xfffffffeffffff82, 0xfffffffeffffff82,
   1063   0xfffffffeffffff81, 0xffffffffffffff81,
   1064   0xffffffffffffff80, 0xffffffffffffff80,
   1065   0xffffffffffffff7f, 0xffffffffffffff7f,
   1066   0xffffffffffffff7e, 0xffffffffffffff61,
   1067   0xffffffffffffff60, 0xffffffffffffff04,
   1068   0xffffffffffffff03, 0xffffffffffffff03,
   1069   0xffffffffffffff02, 0xffffffffffffff02,
   1070   0xffffffffffffff01, 0xffffffffffff7f84,
   1071   0xffffffffffff7f83, 0xffffffffffff7f83,
   1072   0xffffffffffff7f82, 0xffffffffffff7f82,
   1073   0xffffffffffff7f81, 0xffffffffcccccc4e,
   1074   0xffffffffcccccc4d, 0xffffffffaaaaaa2c,
   1075   0xffffffffaaaaaa2b, 0xffffffff7fffff84,
   1076   0xffffffff7fffff83, 0xffffffff7fffff83,
   1077   0xffffffff7fffff82, 0xffffffff7fffff82,
   1078   0xffffffff7fffff81, 0xffffffff7fffff81,
   1079   0xffffffff7fffff80, 0xffffffff7fffff80,
   1080   0xffffffff7fffff7f, 0xffffffff555554d7,
   1081   0xffffffff555554d6, 0xffffffff333332b5,
   1082   0xffffffff333332b4, 0xffffffff00007f81,
   1083   0xffffffff00007f80, 0xffffffff00007f80,
   1084   0xffffffff00007f7f, 0xffffffff00007f7f,
   1085   0xffffffff00007f7e, 0xffffffff00007f7e,
   1086   0xffffffff00007f7d, 0xffffffff00000001,
   1087   0xffffffff00000000, 0xffffffff00000000,
   1088   0xfffffffeffffffff, 0xfffffffeffffffff,
   1089   0xfffffffefffffffe, 0xfffffffefffffffe,
   1090   0xfffffffefffffffd, 0xfffffffeffffffa1,
   1091   0xfffffffeffffffa0, 0xfffffffeffffff84,
   1092   0xfffffffeffffff84, 0xfffffffeffffff84,
   1093   0xfffffffeffffff83, 0xfffffffeffffff83,
   1094   0xfffffffeffffff82, 0xffffffffffffff82,
   1095   0xffffffffffffff81, 0xffffffffffffff81,
   1096   0xffffffffffffff80, 0xffffffffffffff80,
   1097   0xffffffffffffff7f, 0xffffffffffffff62,
   1098   0xffffffffffffff61, 0xffffffffffffff05,
   1099   0xffffffffffffff04, 0xffffffffffffff04,
   1100   0xffffffffffffff03, 0xffffffffffffff03,
   1101   0xffffffffffffff02, 0xffffffffffff7f85,
   1102   0xffffffffffff7f84, 0xffffffffffff7f84,
   1103   0xffffffffffff7f83, 0xffffffffffff7f83,
   1104   0xffffffffffff7f82, 0xffffffffcccccc4f,
   1105   0xffffffffcccccc4e, 0xffffffffaaaaaa2d,
   1106   0xffffffffaaaaaa2c, 0xffffffff7fffff85,
   1107   0xffffffff7fffff84, 0xffffffff7fffff84,
   1108   0xffffffff7fffff83, 0xffffffff7fffff83,
   1109   0xffffffff7fffff82, 0xffffffff7fffff82,
   1110   0xffffffff7fffff81, 0xffffffff7fffff81,
   1111   0xffffffff7fffff80, 0xffffffff555554d8,
   1112   0xffffffff555554d7, 0xffffffff333332b6,
   1113   0xffffffff333332b5, 0xffffffff00007f82,
   1114   0xffffffff00007f81, 0xffffffff00007f81,
   1115   0xffffffff00007f80, 0xffffffff00007f80,
   1116   0xffffffff00007f7f, 0xffffffff00007f7f,
   1117   0xffffffff00007f7e, 0xffffffff00000002,
   1118   0xffffffff00000001, 0xffffffff00000001,
   1119   0xffffffff00000000, 0xffffffff00000000,
   1120   0xfffffffeffffffff, 0xfffffffeffffffff,
   1121   0xfffffffefffffffe, 0xfffffffeffffffa2,
   1122   0xfffffffeffffffa1, 0xfffffffeffffff85,
   1123   0xfffffffeffffff85, 0xfffffffeffffff85,
   1124   0xfffffffeffffff84, 0xfffffffeffffff84,
   1125   0xfffffffeffffff83, 0xffffffffffffff83,
   1126   0xffffffffffffff82, 0xffffffffffffff82,
   1127   0xffffffffffffff81, 0xffffffffffffff81,
   1128   0xffffffffffffff80, 0xffffffffffffff63,
   1129   0xffffffffffffff62, 0xffffffffffffff06,
   1130   0xffffffffffffff05, 0xffffffffffffff05,
   1131   0xffffffffffffff04, 0xffffffffffffff04,
   1132   0xffffffffffffff03, 0xffffffffffff7f86,
   1133   0xffffffffffff7f85, 0xffffffffffff7f85,
   1134   0xffffffffffff7f84, 0xffffffffffff7f84,
   1135   0xffffffffffff7f83, 0xffffffffcccccc50,
   1136   0xffffffffcccccc4f, 0xffffffffaaaaaa2e,
   1137   0xffffffffaaaaaa2d, 0xffffffff7fffff86,
   1138   0xffffffff7fffff85, 0xffffffff7fffff85,
   1139   0xffffffff7fffff84, 0xffffffff7fffff84,
   1140   0xffffffff7fffff83, 0xffffffff7fffff83,
   1141   0xffffffff7fffff82, 0xffffffff7fffff82,
   1142   0xffffffff7fffff81, 0xffffffff555554d9,
   1143   0xffffffff555554d8, 0xffffffff333332b7,
   1144   0xffffffff333332b6, 0xffffffff00007f83,
   1145   0xffffffff00007f82, 0xffffffff00007f82,
   1146   0xffffffff00007f81, 0xffffffff00007f81,
   1147   0xffffffff00007f80, 0xffffffff00007f80,
   1148   0xffffffff00007f7f, 0xffffffff00000003,
   1149   0xffffffff00000002, 0xffffffff00000002,
   1150   0xffffffff00000001, 0xffffffff00000001,
   1151   0xffffffff00000000, 0xffffffff00000000,
   1152   0xfffffffeffffffff, 0xfffffffeffffffa3,
   1153   0xfffffffeffffffa2, 0xfffffffeffffff86,
   1154   0xfffffffeffffff86, 0xfffffffeffffffc2,
   1155   0xfffffffeffffff85, 0xfffffffeffffffc1,
   1156   0xfffffffeffffff84, 0xffffffffffffffc0,
   1157   0xffffffffffffff83, 0xffffffffffffffbf,
   1158   0xffffffffffffff82, 0xffffffffffffffbe,
   1159   0xffffffffffffff81, 0xffffffffffffffa0,
   1160   0xffffffffffffff63, 0xffffffffffffff43,
   1161   0xffffffffffffff06, 0xffffffffffffff42,
   1162   0xffffffffffffff05, 0xffffffffffffff41,
   1163   0xffffffffffffff04, 0xffffffffffff7fc3,
   1164   0xffffffffffff7f86, 0xffffffffffff7fc2,
   1165   0xffffffffffff7f85, 0xffffffffffff7fc1,
   1166   0xffffffffffff7f84, 0xffffffffcccccc8d,
   1167   0xffffffffcccccc50, 0xffffffffaaaaaa6b,
   1168   0xffffffffaaaaaa2e, 0xffffffff7fffffc3,
   1169   0xffffffff7fffff86, 0xffffffff7fffffc2,
   1170   0xffffffff7fffff85, 0xffffffff7fffffc1,
   1171   0xffffffff7fffff84, 0xffffffff7fffffc0,
   1172   0xffffffff7fffff83, 0xffffffff7fffffbf,
   1173   0xffffffff7fffff82, 0xffffffff55555516,
   1174   0xffffffff555554d9, 0xffffffff333332f4,
   1175   0xffffffff333332b7, 0xffffffff00007fc0,
   1176   0xffffffff00007f83, 0xffffffff00007fbf,
   1177   0xffffffff00007f82, 0xffffffff00007fbe,
   1178   0xffffffff00007f81, 0xffffffff00007fbd,
   1179   0xffffffff00007f80, 0xffffffff00000040,
   1180   0xffffffff00000003, 0xffffffff0000003f,
   1181   0xffffffff00000002, 0xffffffff0000003e,
   1182   0xffffffff00000001, 0xffffffff0000003d,
   1183   0xffffffff00000000, 0xfffffffeffffffe0,
   1184   0xfffffffeffffffa3, 0xfffffffeffffffc3,
   1185   0xfffffffeffffffc3, 0xfffffffeffffffff,
   1186   0xfffffffeffffffc2, 0xfffffffefffffffe,
   1187   0xfffffffeffffffc1, 0xfffffffffffffffd,
   1188   0xffffffffffffffc0, 0xfffffffffffffffc,
   1189   0xffffffffffffffbf, 0xfffffffffffffffb,
   1190   0xffffffffffffffbe, 0xffffffffffffffdd,
   1191   0xffffffffffffffa0, 0xffffffffffffff80,
   1192   0xffffffffffffff43, 0xffffffffffffff7f,
   1193   0xffffffffffffff42, 0xffffffffffffff7e,
   1194   0xffffffffffffff41, 0xffffffffffff8000,
   1195   0xffffffffffff7fc3, 0xffffffffffff7fff,
   1196   0xffffffffffff7fc2, 0xffffffffffff7ffe,
   1197   0xffffffffffff7fc1, 0xffffffffccccccca,
   1198   0xffffffffcccccc8d, 0xffffffffaaaaaaa8,
   1199   0xffffffffaaaaaa6b, 0xffffffff80000000,
   1200   0xffffffff7fffffc3, 0xffffffff7fffffff,
   1201   0xffffffff7fffffc2, 0xffffffff7ffffffe,
   1202   0xffffffff7fffffc1, 0xffffffff7ffffffd,
   1203   0xffffffff7fffffc0, 0xffffffff7ffffffc,
   1204   0xffffffff7fffffbf, 0xffffffff55555553,
   1205   0xffffffff55555516, 0xffffffff33333331,
   1206   0xffffffff333332f4, 0xffffffff00007ffd,
   1207   0xffffffff00007fc0, 0xffffffff00007ffc,
   1208   0xffffffff00007fbf, 0xffffffff00007ffb,
   1209   0xffffffff00007fbe, 0xffffffff00007ffa,
   1210   0xffffffff00007fbd, 0xffffffff0000007d,
   1211   0xffffffff00000040, 0xffffffff0000007c,
   1212   0xffffffff0000003f, 0xffffffff0000007b,
   1213   0xffffffff0000003e, 0xffffffff0000007a,
   1214   0xffffffff0000003d, 0xffffffff0000001d,
   1215   0xfffffffeffffffe0, 0xffffffff00000000,
   1216   0xffffffff00000000, 0xffffffff00000000,
   1217   0xfffffffeffffffff, 0xfffffffeffffffff,
   1218   0xfffffffefffffffe, 0xfffffffffffffffe,
   1219   0xfffffffffffffffd, 0xfffffffffffffffd,
   1220   0xfffffffffffffffc, 0xfffffffffffffffc,
   1221   0xfffffffffffffffb, 0xffffffffffffffde,
   1222   0xffffffffffffffdd, 0xffffffffffffff81,
   1223   0xffffffffffffff80, 0xffffffffffffff80,
   1224   0xffffffffffffff7f, 0xffffffffffffff7f,
   1225   0xffffffffffffff7e, 0xffffffffffff8001,
   1226   0xffffffffffff8000, 0xffffffffffff8000,
   1227   0xffffffffffff7fff, 0xffffffffffff7fff,
   1228   0xffffffffffff7ffe, 0xffffffffcccccccb,
   1229   0xffffffffccccccca, 0xffffffffaaaaaaa9,
   1230   0xffffffffaaaaaaa8, 0xffffffff80000001,
   1231   0xffffffff80000000, 0xffffffff80000000,
   1232   0xffffffff7fffffff, 0xffffffff7fffffff,
   1233   0xffffffff7ffffffe, 0xffffffff7ffffffe,
   1234   0xffffffff7ffffffd, 0xffffffff7ffffffd,
   1235   0xffffffff7ffffffc, 0xffffffff55555554,
   1236   0xffffffff55555553, 0xffffffff33333332,
   1237   0xffffffff33333331, 0xffffffff00007ffe,
   1238   0xffffffff00007ffd, 0xffffffff00007ffd,
   1239   0xffffffff00007ffc, 0xffffffff00007ffc,
   1240   0xffffffff00007ffb, 0xffffffff00007ffb,
   1241   0xffffffff00007ffa, 0xffffffff0000007e,
   1242   0xffffffff0000007d, 0xffffffff0000007d,
   1243   0xffffffff0000007c, 0xffffffff0000007c,
   1244   0xffffffff0000007b, 0xffffffff0000007b,
   1245   0xffffffff0000007a, 0xffffffff0000001e,
   1246   0xffffffff0000001d, 0xffffffff00000001,
   1247   0xffffffff00000001, 0xffffffff00000001,
   1248   0xffffffff00000000, 0xffffffff00000000,
   1249   0xfffffffeffffffff, 0xffffffffffffffff,
   1250   0xfffffffffffffffe, 0xfffffffffffffffe,
   1251   0xfffffffffffffffd, 0xfffffffffffffffd,
   1252   0xfffffffffffffffc, 0xffffffffffffffdf,
   1253   0xffffffffffffffde, 0xffffffffffffff82,
   1254   0xffffffffffffff81, 0xffffffffffffff81,
   1255   0xffffffffffffff80, 0xffffffffffffff80,
   1256   0xffffffffffffff7f, 0xffffffffffff8002,
   1257   0xffffffffffff8001, 0xffffffffffff8001,
   1258   0xffffffffffff8000, 0xffffffffffff8000,
   1259   0xffffffffffff7fff, 0xffffffffcccccccc,
   1260   0xffffffffcccccccb, 0xffffffffaaaaaaaa,
   1261   0xffffffffaaaaaaa9, 0xffffffff80000002,
   1262   0xffffffff80000001, 0xffffffff80000001,
   1263   0xffffffff80000000, 0xffffffff80000000,
   1264   0xffffffff7fffffff, 0xffffffff7fffffff,
   1265   0xffffffff7ffffffe, 0xffffffff7ffffffe,
   1266   0xffffffff7ffffffd, 0xffffffff55555555,
   1267   0xffffffff55555554, 0xffffffff33333333,
   1268   0xffffffff33333332, 0xffffffff00007fff,
   1269   0xffffffff00007ffe, 0xffffffff00007ffe,
   1270   0xffffffff00007ffd, 0xffffffff00007ffd,
   1271   0xffffffff00007ffc, 0xffffffff00007ffc,
   1272   0xffffffff00007ffb, 0xffffffff0000007f,
   1273   0xffffffff0000007e, 0xffffffff0000007e,
   1274   0xffffffff0000007d, 0xffffffff0000007d,
   1275   0xffffffff0000007c, 0xffffffff0000007c,
   1276   0xffffffff0000007b, 0xffffffff0000001f,
   1277   0xffffffff0000001e, 0xffffffff00000002,
   1278 };
   1279 const unsigned kExpectedCount_NEON_usubw_2D = 1240;
   1280 
   1281 #endif  // VIXL_SIM_USUBW_2D_TRACE_A64_H_
   1282