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_SABDL_2D_TRACE_A64_H_
     35 #define VIXL_SIM_SABDL_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_sabdl_2D[] = {
     38   0x0000000000000000, 0x0000000000000000,
     39   0x0000000000000100, 0x00000000007f7e00,
     40   0x00000000007f7f00, 0x0000000000007f00,
     41   0x0000000000007e00, 0x0000000000007eff,
     42   0x0000000000007dff, 0x0000000000007efe,
     43   0x0000000000007dfe, 0x0000000000007ee0,
     44   0x0000000000007de0, 0x0000000000007e83,
     45   0x0000000000007d83, 0x0000000000007e82,
     46   0x0000000000007d82, 0x0000000000007e81,
     47   0x0000000000007d81, 0x00000000000000fd,
     48   0x00000000000001fd, 0x00000000000000fe,
     49   0x00000000000001fe, 0x00000000000000ff,
     50   0x00000000000001ff, 0x000000003332b433,
     51   0x000000003332b533, 0x000000005554d655,
     52   0x000000005554d755, 0x000000007fff80fd,
     53   0x000000007fff81fd, 0x000000007fff80fe,
     54   0x000000007fff81fe, 0x000000007fff80ff,
     55   0x000000007fff81ff, 0x0000000080007f00,
     56   0x0000000080007e00, 0x0000000080007eff,
     57   0x0000000080007dff, 0x000000005555d456,
     58   0x000000005555d356, 0x000000003333b234,
     59   0x000000003333b134, 0x000000000000ff00,
     60   0x000000000000fe00, 0x000000000000feff,
     61   0x000000000000fdff, 0x000000000000fefe,
     62   0x000000000000fdfe, 0x000000000000fefd,
     63   0x000000000000fdfd, 0x0000000000007f80,
     64   0x0000000000007e80, 0x0000000000007f7f,
     65   0x0000000000007e7f, 0x0000000000007f7e,
     66   0x0000000000007e7e, 0x0000000000007f7d,
     67   0x0000000000007e7d, 0x0000000000007f20,
     68   0x0000000000007e20, 0x0000000000007f03,
     69   0x0000000000007f03, 0x00000000007ffd02,
     70   0x0000000000007f02, 0x00000000007ffd01,
     71   0x0000000000007f01, 0x00000000007ffd00,
     72   0x0000000000007f00, 0x00000000007ffcff,
     73   0x0000000000007eff, 0x00000000007ffcfe,
     74   0x0000000000007efe, 0x00000000007ffce0,
     75   0x0000000000007ee0, 0x00000000007ffc83,
     76   0x0000000000007e83, 0x00000000007ffc82,
     77   0x0000000000007e82, 0x00000000007ffc81,
     78   0x0000000000007e81, 0x00000000007f7d03,
     79   0x00000000000000fd, 0x00000000007f7d02,
     80   0x00000000000000fe, 0x00000000007f7d01,
     81   0x00000000000000ff, 0x0000000032b33633,
     82   0x000000003332b433, 0x0000000054d55855,
     83   0x000000005554d655, 0x000000007f8002fd,
     84   0x000000007fff80fd, 0x000000007f8002fe,
     85   0x000000007fff80fe, 0x000000007f8002ff,
     86   0x000000007fff80ff, 0x00000000807ffd00,
     87   0x0000000080007f00, 0x00000000807ffcff,
     88   0x0000000080007eff, 0x0000000055d55256,
     89   0x000000005555d456, 0x0000000033b33034,
     90   0x000000003333b234, 0x0000000000807d00,
     91   0x000000000000ff00, 0x0000000000807cff,
     92   0x000000000000feff, 0x0000000000807cfe,
     93   0x000000000000fefe, 0x0000000000807cfd,
     94   0x000000000000fefd, 0x00000000007ffd80,
     95   0x0000000000007f80, 0x00000000007ffd7f,
     96   0x0000000000007f7f, 0x00000000007ffd7e,
     97   0x0000000000007f7e, 0x00000000007ffd7d,
     98   0x0000000000007f7d, 0x00000000007ffd20,
     99   0x0000000000007f20, 0x00000000007ffd03,
    100   0x00000000007ffd03, 0x0000000000000002,
    101   0x00000000007ffd02, 0x0000000000000001,
    102   0x00000000007ffd01, 0x0000000000000000,
    103   0x00000000007ffd00, 0x0000000000000001,
    104   0x00000000007ffcff, 0x0000000000000002,
    105   0x00000000007ffcfe, 0x0000000000000020,
    106   0x00000000007ffce0, 0x000000000000007d,
    107   0x00000000007ffc83, 0x000000000000007e,
    108   0x00000000007ffc82, 0x000000000000007f,
    109   0x00000000007ffc81, 0x0000000000007ffd,
    110   0x00000000007f7d03, 0x0000000000007ffe,
    111   0x00000000007f7d02, 0x0000000000007fff,
    112   0x00000000007f7d01, 0x0000000033333333,
    113   0x0000000032b33633, 0x0000000055555555,
    114   0x0000000054d55855, 0x000000007ffffffd,
    115   0x000000007f8002fd, 0x000000007ffffffe,
    116   0x000000007f8002fe, 0x000000007fffffff,
    117   0x000000007f8002ff, 0x0000000080000000,
    118   0x00000000807ffd00, 0x000000007fffffff,
    119   0x00000000807ffcff, 0x0000000055555556,
    120   0x0000000055d55256, 0x0000000033333334,
    121   0x0000000033b33034, 0x0000000000008000,
    122   0x0000000000807d00, 0x0000000000007fff,
    123   0x0000000000807cff, 0x0000000000007ffe,
    124   0x0000000000807cfe, 0x0000000000007ffd,
    125   0x0000000000807cfd, 0x0000000000000080,
    126   0x00000000007ffd80, 0x000000000000007f,
    127   0x00000000007ffd7f, 0x000000000000007e,
    128   0x00000000007ffd7e, 0x000000000000007d,
    129   0x00000000007ffd7d, 0x0000000000000020,
    130   0x00000000007ffd20, 0x0000000000000003,
    131   0x0000000000000003, 0x0000000000000003,
    132   0x0000000000000002, 0x0000000000000002,
    133   0x0000000000000001, 0x0000000000000001,
    134   0x0000000000000000, 0x0000000000000000,
    135   0x0000000000000001, 0x0000000000000001,
    136   0x0000000000000002, 0x000000000000001f,
    137   0x0000000000000020, 0x000000000000007c,
    138   0x000000000000007d, 0x000000000000007d,
    139   0x000000000000007e, 0x000000000000007e,
    140   0x000000000000007f, 0x0000000000007ffc,
    141   0x0000000000007ffd, 0x0000000000007ffd,
    142   0x0000000000007ffe, 0x0000000000007ffe,
    143   0x0000000000007fff, 0x0000000033333332,
    144   0x0000000033333333, 0x0000000055555554,
    145   0x0000000055555555, 0x000000007ffffffc,
    146   0x000000007ffffffd, 0x000000007ffffffd,
    147   0x000000007ffffffe, 0x000000007ffffffe,
    148   0x000000007fffffff, 0x0000000080000001,
    149   0x0000000080000000, 0x0000000080000000,
    150   0x000000007fffffff, 0x0000000055555557,
    151   0x0000000055555556, 0x0000000033333335,
    152   0x0000000033333334, 0x0000000000008001,
    153   0x0000000000008000, 0x0000000000008000,
    154   0x0000000000007fff, 0x0000000000007fff,
    155   0x0000000000007ffe, 0x0000000000007ffe,
    156   0x0000000000007ffd, 0x0000000000000081,
    157   0x0000000000000080, 0x0000000000000080,
    158   0x000000000000007f, 0x000000000000007f,
    159   0x000000000000007e, 0x000000000000007e,
    160   0x000000000000007d, 0x0000000000000021,
    161   0x0000000000000020, 0x0000000000000004,
    162   0x0000000000000004, 0x0000000000000004,
    163   0x0000000000000003, 0x0000000000000003,
    164   0x0000000000000002, 0x0000000000000002,
    165   0x0000000000000001, 0x0000000000000001,
    166   0x0000000000000000, 0x0000000000000000,
    167   0x0000000000000001, 0x000000000000001e,
    168   0x000000000000001f, 0x000000000000007b,
    169   0x000000000000007c, 0x000000000000007c,
    170   0x000000000000007d, 0x000000000000007d,
    171   0x000000000000007e, 0x0000000000007ffb,
    172   0x0000000000007ffc, 0x0000000000007ffc,
    173   0x0000000000007ffd, 0x0000000000007ffd,
    174   0x0000000000007ffe, 0x0000000033333331,
    175   0x0000000033333332, 0x0000000055555553,
    176   0x0000000055555554, 0x000000007ffffffb,
    177   0x000000007ffffffc, 0x000000007ffffffc,
    178   0x000000007ffffffd, 0x000000007ffffffd,
    179   0x000000007ffffffe, 0x0000000080000002,
    180   0x0000000080000001, 0x0000000080000001,
    181   0x0000000080000000, 0x0000000055555558,
    182   0x0000000055555557, 0x0000000033333336,
    183   0x0000000033333335, 0x0000000000008002,
    184   0x0000000000008001, 0x0000000000008001,
    185   0x0000000000008000, 0x0000000000008000,
    186   0x0000000000007fff, 0x0000000000007fff,
    187   0x0000000000007ffe, 0x0000000000000082,
    188   0x0000000000000081, 0x0000000000000081,
    189   0x0000000000000080, 0x0000000000000080,
    190   0x000000000000007f, 0x000000000000007f,
    191   0x000000000000007e, 0x0000000000000022,
    192   0x0000000000000021, 0x0000000000000005,
    193   0x0000000000000005, 0x0000000000000022,
    194   0x0000000000000004, 0x0000000000000021,
    195   0x0000000000000003, 0x0000000000000020,
    196   0x0000000000000002, 0x000000000000001f,
    197   0x0000000000000001, 0x000000000000001e,
    198   0x0000000000000000, 0x0000000000000000,
    199   0x000000000000001e, 0x000000000000005d,
    200   0x000000000000007b, 0x000000000000005e,
    201   0x000000000000007c, 0x000000000000005f,
    202   0x000000000000007d, 0x0000000000007fdd,
    203   0x0000000000007ffb, 0x0000000000007fde,
    204   0x0000000000007ffc, 0x0000000000007fdf,
    205   0x0000000000007ffd, 0x0000000033333313,
    206   0x0000000033333331, 0x0000000055555535,
    207   0x0000000055555553, 0x000000007fffffdd,
    208   0x000000007ffffffb, 0x000000007fffffde,
    209   0x000000007ffffffc, 0x000000007fffffdf,
    210   0x000000007ffffffd, 0x0000000080000020,
    211   0x0000000080000002, 0x000000008000001f,
    212   0x0000000080000001, 0x0000000055555576,
    213   0x0000000055555558, 0x0000000033333354,
    214   0x0000000033333336, 0x0000000000008020,
    215   0x0000000000008002, 0x000000000000801f,
    216   0x0000000000008001, 0x000000000000801e,
    217   0x0000000000008000, 0x000000000000801d,
    218   0x0000000000007fff, 0x00000000000000a0,
    219   0x0000000000000082, 0x000000000000009f,
    220   0x0000000000000081, 0x000000000000009e,
    221   0x0000000000000080, 0x000000000000009d,
    222   0x000000000000007f, 0x0000000000000040,
    223   0x0000000000000022, 0x0000000000000023,
    224   0x0000000000000023, 0x000000000000007f,
    225   0x0000000000000022, 0x000000000000007e,
    226   0x0000000000000021, 0x000000000000007d,
    227   0x0000000000000020, 0x000000000000007c,
    228   0x000000000000001f, 0x000000000000007b,
    229   0x000000000000001e, 0x000000000000005d,
    230   0x0000000000000000, 0x0000000000000000,
    231   0x000000000000005d, 0x0000000000000001,
    232   0x000000000000005e, 0x0000000000000002,
    233   0x000000000000005f, 0x0000000000007f80,
    234   0x0000000000007fdd, 0x0000000000007f81,
    235   0x0000000000007fde, 0x0000000000007f82,
    236   0x0000000000007fdf, 0x00000000333332b6,
    237   0x0000000033333313, 0x00000000555554d8,
    238   0x0000000055555535, 0x000000007fffff80,
    239   0x000000007fffffdd, 0x000000007fffff81,
    240   0x000000007fffffde, 0x000000007fffff82,
    241   0x000000007fffffdf, 0x000000008000007d,
    242   0x0000000080000020, 0x000000008000007c,
    243   0x000000008000001f, 0x00000000555555d3,
    244   0x0000000055555576, 0x00000000333333b1,
    245   0x0000000033333354, 0x000000000000807d,
    246   0x0000000000008020, 0x000000000000807c,
    247   0x000000000000801f, 0x000000000000807b,
    248   0x000000000000801e, 0x000000000000807a,
    249   0x000000000000801d, 0x00000000000000fd,
    250   0x00000000000000a0, 0x00000000000000fc,
    251   0x000000000000009f, 0x00000000000000fb,
    252   0x000000000000009e, 0x00000000000000fa,
    253   0x000000000000009d, 0x000000000000009d,
    254   0x0000000000000040, 0x0000000000000080,
    255   0x0000000000000080, 0x0000000000000080,
    256   0x000000000000007f, 0x000000000000007f,
    257   0x000000000000007e, 0x000000000000007e,
    258   0x000000000000007d, 0x000000000000007d,
    259   0x000000000000007c, 0x000000000000007c,
    260   0x000000000000007b, 0x000000000000005e,
    261   0x000000000000005d, 0x0000000000000001,
    262   0x0000000000000000, 0x0000000000000000,
    263   0x0000000000000001, 0x0000000000000001,
    264   0x0000000000000002, 0x0000000000007f7f,
    265   0x0000000000007f80, 0x0000000000007f80,
    266   0x0000000000007f81, 0x0000000000007f81,
    267   0x0000000000007f82, 0x00000000333332b5,
    268   0x00000000333332b6, 0x00000000555554d7,
    269   0x00000000555554d8, 0x000000007fffff7f,
    270   0x000000007fffff80, 0x000000007fffff80,
    271   0x000000007fffff81, 0x000000007fffff81,
    272   0x000000007fffff82, 0x000000008000007e,
    273   0x000000008000007d, 0x000000008000007d,
    274   0x000000008000007c, 0x00000000555555d4,
    275   0x00000000555555d3, 0x00000000333333b2,
    276   0x00000000333333b1, 0x000000000000807e,
    277   0x000000000000807d, 0x000000000000807d,
    278   0x000000000000807c, 0x000000000000807c,
    279   0x000000000000807b, 0x000000000000807b,
    280   0x000000000000807a, 0x00000000000000fe,
    281   0x00000000000000fd, 0x00000000000000fd,
    282   0x00000000000000fc, 0x00000000000000fc,
    283   0x00000000000000fb, 0x00000000000000fb,
    284   0x00000000000000fa, 0x000000000000009e,
    285   0x000000000000009d, 0x0000000000000081,
    286   0x0000000000000081, 0x0000000000000081,
    287   0x0000000000000080, 0x0000000000000080,
    288   0x000000000000007f, 0x000000000000007f,
    289   0x000000000000007e, 0x000000000000007e,
    290   0x000000000000007d, 0x000000000000007d,
    291   0x000000000000007c, 0x000000000000005f,
    292   0x000000000000005e, 0x0000000000000002,
    293   0x0000000000000001, 0x0000000000000001,
    294   0x0000000000000000, 0x0000000000000000,
    295   0x0000000000000001, 0x0000000000007f7e,
    296   0x0000000000007f7f, 0x0000000000007f7f,
    297   0x0000000000007f80, 0x0000000000007f80,
    298   0x0000000000007f81, 0x00000000333332b4,
    299   0x00000000333332b5, 0x00000000555554d6,
    300   0x00000000555554d7, 0x000000007fffff7e,
    301   0x000000007fffff7f, 0x000000007fffff7f,
    302   0x000000007fffff80, 0x000000007fffff80,
    303   0x000000007fffff81, 0x000000008000007f,
    304   0x000000008000007e, 0x000000008000007e,
    305   0x000000008000007d, 0x00000000555555d5,
    306   0x00000000555555d4, 0x00000000333333b3,
    307   0x00000000333333b2, 0x000000000000807f,
    308   0x000000000000807e, 0x000000000000807e,
    309   0x000000000000807d, 0x000000000000807d,
    310   0x000000000000807c, 0x000000000000807c,
    311   0x000000000000807b, 0x00000000000000ff,
    312   0x00000000000000fe, 0x00000000000000fe,
    313   0x00000000000000fd, 0x00000000000000fd,
    314   0x00000000000000fc, 0x00000000000000fc,
    315   0x00000000000000fb, 0x000000000000009f,
    316   0x000000000000009e, 0x0000000000000082,
    317   0x0000000000000082, 0x0000000000007fff,
    318   0x0000000000000081, 0x0000000000007ffe,
    319   0x0000000000000080, 0x0000000000007ffd,
    320   0x000000000000007f, 0x0000000000007ffc,
    321   0x000000000000007e, 0x0000000000007ffb,
    322   0x000000000000007d, 0x0000000000007fdd,
    323   0x000000000000005f, 0x0000000000007f80,
    324   0x0000000000000002, 0x0000000000007f7f,
    325   0x0000000000000001, 0x0000000000007f7e,
    326   0x0000000000000000, 0x0000000000000000,
    327   0x0000000000007f7e, 0x0000000000000001,
    328   0x0000000000007f7f, 0x0000000000000002,
    329   0x0000000000007f80, 0x000000003332b336,
    330   0x00000000333332b4, 0x000000005554d558,
    331   0x00000000555554d6, 0x000000007fff8000,
    332   0x000000007fffff7e, 0x000000007fff8001,
    333   0x000000007fffff7f, 0x000000007fff8002,
    334   0x000000007fffff80, 0x0000000080007ffd,
    335   0x000000008000007f, 0x0000000080007ffc,
    336   0x000000008000007e, 0x000000005555d553,
    337   0x00000000555555d5, 0x000000003333b331,
    338   0x00000000333333b3, 0x000000000000fffd,
    339   0x000000000000807f, 0x000000000000fffc,
    340   0x000000000000807e, 0x000000000000fffb,
    341   0x000000000000807d, 0x000000000000fffa,
    342   0x000000000000807c, 0x000000000000807d,
    343   0x00000000000000ff, 0x000000000000807c,
    344   0x00000000000000fe, 0x000000000000807b,
    345   0x00000000000000fd, 0x000000000000807a,
    346   0x00000000000000fc, 0x000000000000801d,
    347   0x000000000000009f, 0x0000000000008000,
    348   0x0000000000008000, 0x0000000000008000,
    349   0x0000000000007fff, 0x0000000000007fff,
    350   0x0000000000007ffe, 0x0000000000007ffe,
    351   0x0000000000007ffd, 0x0000000000007ffd,
    352   0x0000000000007ffc, 0x0000000000007ffc,
    353   0x0000000000007ffb, 0x0000000000007fde,
    354   0x0000000000007fdd, 0x0000000000007f81,
    355   0x0000000000007f80, 0x0000000000007f80,
    356   0x0000000000007f7f, 0x0000000000007f7f,
    357   0x0000000000007f7e, 0x0000000000000001,
    358   0x0000000000000000, 0x0000000000000000,
    359   0x0000000000000001, 0x0000000000000001,
    360   0x0000000000000002, 0x000000003332b335,
    361   0x000000003332b336, 0x000000005554d557,
    362   0x000000005554d558, 0x000000007fff7fff,
    363   0x000000007fff8000, 0x000000007fff8000,
    364   0x000000007fff8001, 0x000000007fff8001,
    365   0x000000007fff8002, 0x0000000080007ffe,
    366   0x0000000080007ffd, 0x0000000080007ffd,
    367   0x0000000080007ffc, 0x000000005555d554,
    368   0x000000005555d553, 0x000000003333b332,
    369   0x000000003333b331, 0x000000000000fffe,
    370   0x000000000000fffd, 0x000000000000fffd,
    371   0x000000000000fffc, 0x000000000000fffc,
    372   0x000000000000fffb, 0x000000000000fffb,
    373   0x000000000000fffa, 0x000000000000807e,
    374   0x000000000000807d, 0x000000000000807d,
    375   0x000000000000807c, 0x000000000000807c,
    376   0x000000000000807b, 0x000000000000807b,
    377   0x000000000000807a, 0x000000000000801e,
    378   0x000000000000801d, 0x0000000000008001,
    379   0x0000000000008001, 0x0000000000008001,
    380   0x0000000000008000, 0x0000000000008000,
    381   0x0000000000007fff, 0x0000000000007fff,
    382   0x0000000000007ffe, 0x0000000000007ffe,
    383   0x0000000000007ffd, 0x0000000000007ffd,
    384   0x0000000000007ffc, 0x0000000000007fdf,
    385   0x0000000000007fde, 0x0000000000007f82,
    386   0x0000000000007f81, 0x0000000000007f81,
    387   0x0000000000007f80, 0x0000000000007f80,
    388   0x0000000000007f7f, 0x0000000000000002,
    389   0x0000000000000001, 0x0000000000000001,
    390   0x0000000000000000, 0x0000000000000000,
    391   0x0000000000000001, 0x000000003332b334,
    392   0x000000003332b335, 0x000000005554d556,
    393   0x000000005554d557, 0x000000007fff7ffe,
    394   0x000000007fff7fff, 0x000000007fff7fff,
    395   0x000000007fff8000, 0x000000007fff8000,
    396   0x000000007fff8001, 0x0000000080007fff,
    397   0x0000000080007ffe, 0x0000000080007ffe,
    398   0x0000000080007ffd, 0x000000005555d555,
    399   0x000000005555d554, 0x000000003333b333,
    400   0x000000003333b332, 0x000000000000ffff,
    401   0x000000000000fffe, 0x000000000000fffe,
    402   0x000000000000fffd, 0x000000000000fffd,
    403   0x000000000000fffc, 0x000000000000fffc,
    404   0x000000000000fffb, 0x000000000000807f,
    405   0x000000000000807e, 0x000000000000807e,
    406   0x000000000000807d, 0x000000000000807d,
    407   0x000000000000807c, 0x000000000000807c,
    408   0x000000000000807b, 0x000000000000801f,
    409   0x000000000000801e, 0x0000000000008002,
    410   0x0000000000008002, 0x0000000033333335,
    411   0x0000000000008001, 0x0000000033333334,
    412   0x0000000000008000, 0x0000000033333333,
    413   0x0000000000007fff, 0x0000000033333332,
    414   0x0000000000007ffe, 0x0000000033333331,
    415   0x0000000000007ffd, 0x0000000033333313,
    416   0x0000000000007fdf, 0x00000000333332b6,
    417   0x0000000000007f82, 0x00000000333332b5,
    418   0x0000000000007f81, 0x00000000333332b4,
    419   0x0000000000007f80, 0x000000003332b336,
    420   0x0000000000000002, 0x000000003332b335,
    421   0x0000000000000001, 0x000000003332b334,
    422   0x0000000000000000, 0x0000000000000000,
    423   0x000000003332b334, 0x0000000022222222,
    424   0x000000005554d556, 0x000000004cccccca,
    425   0x000000007fff7ffe, 0x000000004ccccccb,
    426   0x000000007fff7fff, 0x000000004ccccccc,
    427   0x000000007fff8000, 0x00000000b3333333,
    428   0x0000000080007fff, 0x00000000b3333332,
    429   0x0000000080007ffe, 0x0000000088888889,
    430   0x000000005555d555, 0x0000000066666667,
    431   0x000000003333b333, 0x000000003333b333,
    432   0x000000000000ffff, 0x000000003333b332,
    433   0x000000000000fffe, 0x000000003333b331,
    434   0x000000000000fffd, 0x000000003333b330,
    435   0x000000000000fffc, 0x00000000333333b3,
    436   0x000000000000807f, 0x00000000333333b2,
    437   0x000000000000807e, 0x00000000333333b1,
    438   0x000000000000807d, 0x00000000333333b0,
    439   0x000000000000807c, 0x0000000033333353,
    440   0x000000000000801f, 0x0000000033333336,
    441   0x0000000033333336, 0x0000000055555557,
    442   0x0000000033333335, 0x0000000055555556,
    443   0x0000000033333334, 0x0000000055555555,
    444   0x0000000033333333, 0x0000000055555554,
    445   0x0000000033333332, 0x0000000055555553,
    446   0x0000000033333331, 0x0000000055555535,
    447   0x0000000033333313, 0x00000000555554d8,
    448   0x00000000333332b6, 0x00000000555554d7,
    449   0x00000000333332b5, 0x00000000555554d6,
    450   0x00000000333332b4, 0x000000005554d558,
    451   0x000000003332b336, 0x000000005554d557,
    452   0x000000003332b335, 0x000000005554d556,
    453   0x000000003332b334, 0x0000000022222222,
    454   0x0000000000000000, 0x0000000000000000,
    455   0x0000000022222222, 0x000000002aaaaaa8,
    456   0x000000004cccccca, 0x000000002aaaaaa9,
    457   0x000000004ccccccb, 0x000000002aaaaaaa,
    458   0x000000004ccccccc, 0x00000000d5555555,
    459   0x00000000b3333333, 0x00000000d5555554,
    460   0x00000000b3333332, 0x00000000aaaaaaab,
    461   0x0000000088888889, 0x0000000088888889,
    462   0x0000000066666667, 0x000000005555d555,
    463   0x000000003333b333, 0x000000005555d554,
    464   0x000000003333b332, 0x000000005555d553,
    465   0x000000003333b331, 0x000000005555d552,
    466   0x000000003333b330, 0x00000000555555d5,
    467   0x00000000333333b3, 0x00000000555555d4,
    468   0x00000000333333b2, 0x00000000555555d3,
    469   0x00000000333333b1, 0x00000000555555d2,
    470   0x00000000333333b0, 0x0000000055555575,
    471   0x0000000033333353, 0x0000000055555558,
    472   0x0000000055555558, 0x000000007fffffff,
    473   0x0000000055555557, 0x000000007ffffffe,
    474   0x0000000055555556, 0x000000007ffffffd,
    475   0x0000000055555555, 0x000000007ffffffc,
    476   0x0000000055555554, 0x000000007ffffffb,
    477   0x0000000055555553, 0x000000007fffffdd,
    478   0x0000000055555535, 0x000000007fffff80,
    479   0x00000000555554d8, 0x000000007fffff7f,
    480   0x00000000555554d7, 0x000000007fffff7e,
    481   0x00000000555554d6, 0x000000007fff8000,
    482   0x000000005554d558, 0x000000007fff7fff,
    483   0x000000005554d557, 0x000000007fff7ffe,
    484   0x000000005554d556, 0x000000004cccccca,
    485   0x0000000022222222, 0x000000002aaaaaa8,
    486   0x0000000000000000, 0x0000000000000000,
    487   0x000000002aaaaaa8, 0x0000000000000001,
    488   0x000000002aaaaaa9, 0x0000000000000002,
    489   0x000000002aaaaaaa, 0x00000000fffffffd,
    490   0x00000000d5555555, 0x00000000fffffffc,
    491   0x00000000d5555554, 0x00000000d5555553,
    492   0x00000000aaaaaaab, 0x00000000b3333331,
    493   0x0000000088888889, 0x0000000080007ffd,
    494   0x000000005555d555, 0x0000000080007ffc,
    495   0x000000005555d554, 0x0000000080007ffb,
    496   0x000000005555d553, 0x0000000080007ffa,
    497   0x000000005555d552, 0x000000008000007d,
    498   0x00000000555555d5, 0x000000008000007c,
    499   0x00000000555555d4, 0x000000008000007b,
    500   0x00000000555555d3, 0x000000008000007a,
    501   0x00000000555555d2, 0x000000008000001d,
    502   0x0000000055555575, 0x0000000080000000,
    503   0x0000000080000000, 0x0000000080000000,
    504   0x000000007fffffff, 0x000000007fffffff,
    505   0x000000007ffffffe, 0x000000007ffffffe,
    506   0x000000007ffffffd, 0x000000007ffffffd,
    507   0x000000007ffffffc, 0x000000007ffffffc,
    508   0x000000007ffffffb, 0x000000007fffffde,
    509   0x000000007fffffdd, 0x000000007fffff81,
    510   0x000000007fffff80, 0x000000007fffff80,
    511   0x000000007fffff7f, 0x000000007fffff7f,
    512   0x000000007fffff7e, 0x000000007fff8001,
    513   0x000000007fff8000, 0x000000007fff8000,
    514   0x000000007fff7fff, 0x000000007fff7fff,
    515   0x000000007fff7ffe, 0x000000004ccccccb,
    516   0x000000004cccccca, 0x000000002aaaaaa9,
    517   0x000000002aaaaaa8, 0x0000000000000001,
    518   0x0000000000000000, 0x0000000000000000,
    519   0x0000000000000001, 0x0000000000000001,
    520   0x0000000000000002, 0x00000000fffffffe,
    521   0x00000000fffffffd, 0x00000000fffffffd,
    522   0x00000000fffffffc, 0x00000000d5555554,
    523   0x00000000d5555553, 0x00000000b3333332,
    524   0x00000000b3333331, 0x0000000080007ffe,
    525   0x0000000080007ffd, 0x0000000080007ffd,
    526   0x0000000080007ffc, 0x0000000080007ffc,
    527   0x0000000080007ffb, 0x0000000080007ffb,
    528   0x0000000080007ffa, 0x000000008000007e,
    529   0x000000008000007d, 0x000000008000007d,
    530   0x000000008000007c, 0x000000008000007c,
    531   0x000000008000007b, 0x000000008000007b,
    532   0x000000008000007a, 0x000000008000001e,
    533   0x000000008000001d, 0x0000000080000001,
    534   0x0000000080000001, 0x0000000080000001,
    535   0x0000000080000000, 0x0000000080000000,
    536   0x000000007fffffff, 0x000000007fffffff,
    537   0x000000007ffffffe, 0x000000007ffffffe,
    538   0x000000007ffffffd, 0x000000007ffffffd,
    539   0x000000007ffffffc, 0x000000007fffffdf,
    540   0x000000007fffffde, 0x000000007fffff82,
    541   0x000000007fffff81, 0x000000007fffff81,
    542   0x000000007fffff80, 0x000000007fffff80,
    543   0x000000007fffff7f, 0x000000007fff8002,
    544   0x000000007fff8001, 0x000000007fff8001,
    545   0x000000007fff8000, 0x000000007fff8000,
    546   0x000000007fff7fff, 0x000000004ccccccc,
    547   0x000000004ccccccb, 0x000000002aaaaaaa,
    548   0x000000002aaaaaa9, 0x0000000000000002,
    549   0x0000000000000001, 0x0000000000000001,
    550   0x0000000000000000, 0x0000000000000000,
    551   0x0000000000000001, 0x00000000ffffffff,
    552   0x00000000fffffffe, 0x00000000fffffffe,
    553   0x00000000fffffffd, 0x00000000d5555555,
    554   0x00000000d5555554, 0x00000000b3333333,
    555   0x00000000b3333332, 0x0000000080007fff,
    556   0x0000000080007ffe, 0x0000000080007ffe,
    557   0x0000000080007ffd, 0x0000000080007ffd,
    558   0x0000000080007ffc, 0x0000000080007ffc,
    559   0x0000000080007ffb, 0x000000008000007f,
    560   0x000000008000007e, 0x000000008000007e,
    561   0x000000008000007d, 0x000000008000007d,
    562   0x000000008000007c, 0x000000008000007c,
    563   0x000000008000007b, 0x000000008000001f,
    564   0x000000008000001e, 0x0000000080000002,
    565   0x0000000080000002, 0x000000007ffffffe,
    566   0x0000000080000001, 0x000000007fffffff,
    567   0x0000000080000000, 0x0000000080000000,
    568   0x000000007fffffff, 0x0000000080000001,
    569   0x000000007ffffffe, 0x0000000080000002,
    570   0x000000007ffffffd, 0x0000000080000020,
    571   0x000000007fffffdf, 0x000000008000007d,
    572   0x000000007fffff82, 0x000000008000007e,
    573   0x000000007fffff81, 0x000000008000007f,
    574   0x000000007fffff80, 0x0000000080007ffd,
    575   0x000000007fff8002, 0x0000000080007ffe,
    576   0x000000007fff8001, 0x0000000080007fff,
    577   0x000000007fff8000, 0x00000000b3333333,
    578   0x000000004ccccccc, 0x00000000d5555555,
    579   0x000000002aaaaaaa, 0x00000000fffffffd,
    580   0x0000000000000002, 0x00000000fffffffe,
    581   0x0000000000000001, 0x00000000ffffffff,
    582   0x0000000000000000, 0x0000000000000000,
    583   0x00000000ffffffff, 0x0000000000000001,
    584   0x00000000fffffffe, 0x000000002aaaaaaa,
    585   0x00000000d5555555, 0x000000004ccccccc,
    586   0x00000000b3333333, 0x000000007fff8000,
    587   0x0000000080007fff, 0x000000007fff8001,
    588   0x0000000080007ffe, 0x000000007fff8002,
    589   0x0000000080007ffd, 0x000000007fff8003,
    590   0x0000000080007ffc, 0x000000007fffff80,
    591   0x000000008000007f, 0x000000007fffff81,
    592   0x000000008000007e, 0x000000007fffff82,
    593   0x000000008000007d, 0x000000007fffff83,
    594   0x000000008000007c, 0x000000007fffffe0,
    595   0x000000008000001f, 0x000000007ffffffd,
    596   0x000000007ffffffd, 0x000000007ffffffd,
    597   0x000000007ffffffe, 0x000000007ffffffe,
    598   0x000000007fffffff, 0x000000007fffffff,
    599   0x0000000080000000, 0x0000000080000000,
    600   0x0000000080000001, 0x0000000080000001,
    601   0x0000000080000002, 0x000000008000001f,
    602   0x0000000080000020, 0x000000008000007c,
    603   0x000000008000007d, 0x000000008000007d,
    604   0x000000008000007e, 0x000000008000007e,
    605   0x000000008000007f, 0x0000000080007ffc,
    606   0x0000000080007ffd, 0x0000000080007ffd,
    607   0x0000000080007ffe, 0x0000000080007ffe,
    608   0x0000000080007fff, 0x00000000b3333332,
    609   0x00000000b3333333, 0x00000000d5555554,
    610   0x00000000d5555555, 0x00000000fffffffc,
    611   0x00000000fffffffd, 0x00000000fffffffd,
    612   0x00000000fffffffe, 0x00000000fffffffe,
    613   0x00000000ffffffff, 0x0000000000000001,
    614   0x0000000000000000, 0x0000000000000000,
    615   0x0000000000000001, 0x000000002aaaaaa9,
    616   0x000000002aaaaaaa, 0x000000004ccccccb,
    617   0x000000004ccccccc, 0x000000007fff7fff,
    618   0x000000007fff8000, 0x000000007fff8000,
    619   0x000000007fff8001, 0x000000007fff8001,
    620   0x000000007fff8002, 0x000000007fff8002,
    621   0x000000007fff8003, 0x000000007fffff7f,
    622   0x000000007fffff80, 0x000000007fffff80,
    623   0x000000007fffff81, 0x000000007fffff81,
    624   0x000000007fffff82, 0x000000007fffff82,
    625   0x000000007fffff83, 0x000000007fffffdf,
    626   0x000000007fffffe0, 0x000000007ffffffc,
    627   0x000000007ffffffc, 0x0000000055555554,
    628   0x000000007ffffffd, 0x0000000055555555,
    629   0x000000007ffffffe, 0x0000000055555556,
    630   0x000000007fffffff, 0x0000000055555557,
    631   0x0000000080000000, 0x0000000055555558,
    632   0x0000000080000001, 0x0000000055555576,
    633   0x000000008000001f, 0x00000000555555d3,
    634   0x000000008000007c, 0x00000000555555d4,
    635   0x000000008000007d, 0x00000000555555d5,
    636   0x000000008000007e, 0x000000005555d553,
    637   0x0000000080007ffc, 0x000000005555d554,
    638   0x0000000080007ffd, 0x000000005555d555,
    639   0x0000000080007ffe, 0x0000000088888889,
    640   0x00000000b3333332, 0x00000000aaaaaaab,
    641   0x00000000d5555554, 0x00000000d5555553,
    642   0x00000000fffffffc, 0x00000000d5555554,
    643   0x00000000fffffffd, 0x00000000d5555555,
    644   0x00000000fffffffe, 0x000000002aaaaaaa,
    645   0x0000000000000001, 0x000000002aaaaaa9,
    646   0x0000000000000000, 0x0000000000000000,
    647   0x000000002aaaaaa9, 0x0000000022222222,
    648   0x000000004ccccccb, 0x000000005554d556,
    649   0x000000007fff7fff, 0x000000005554d557,
    650   0x000000007fff8000, 0x000000005554d558,
    651   0x000000007fff8001, 0x000000005554d559,
    652   0x000000007fff8002, 0x00000000555554d6,
    653   0x000000007fffff7f, 0x00000000555554d7,
    654   0x000000007fffff80, 0x00000000555554d8,
    655   0x000000007fffff81, 0x00000000555554d9,
    656   0x000000007fffff82, 0x0000000055555536,
    657   0x000000007fffffdf, 0x0000000055555553,
    658   0x0000000055555553, 0x0000000033333332,
    659   0x0000000055555554, 0x0000000033333333,
    660   0x0000000055555555, 0x0000000033333334,
    661   0x0000000055555556, 0x0000000033333335,
    662   0x0000000055555557, 0x0000000033333336,
    663   0x0000000055555558, 0x0000000033333354,
    664   0x0000000055555576, 0x00000000333333b1,
    665   0x00000000555555d3, 0x00000000333333b2,
    666   0x00000000555555d4, 0x00000000333333b3,
    667   0x00000000555555d5, 0x000000003333b331,
    668   0x000000005555d553, 0x000000003333b332,
    669   0x000000005555d554, 0x000000003333b333,
    670   0x000000005555d555, 0x0000000066666667,
    671   0x0000000088888889, 0x0000000088888889,
    672   0x00000000aaaaaaab, 0x00000000b3333331,
    673   0x00000000d5555553, 0x00000000b3333332,
    674   0x00000000d5555554, 0x00000000b3333333,
    675   0x00000000d5555555, 0x000000004ccccccc,
    676   0x000000002aaaaaaa, 0x000000004ccccccb,
    677   0x000000002aaaaaa9, 0x0000000022222222,
    678   0x0000000000000000, 0x0000000000000000,
    679   0x0000000022222222, 0x000000003332b334,
    680   0x000000005554d556, 0x000000003332b335,
    681   0x000000005554d557, 0x000000003332b336,
    682   0x000000005554d558, 0x000000003332b337,
    683   0x000000005554d559, 0x00000000333332b4,
    684   0x00000000555554d6, 0x00000000333332b5,
    685   0x00000000555554d7, 0x00000000333332b6,
    686   0x00000000555554d8, 0x00000000333332b7,
    687   0x00000000555554d9, 0x0000000033333314,
    688   0x0000000055555536, 0x0000000033333331,
    689   0x0000000033333331, 0x0000000000007ffe,
    690   0x0000000033333332, 0x0000000000007fff,
    691   0x0000000033333333, 0x0000000000008000,
    692   0x0000000033333334, 0x0000000000008001,
    693   0x0000000033333335, 0x0000000000008002,
    694   0x0000000033333336, 0x0000000000008020,
    695   0x0000000033333354, 0x000000000000807d,
    696   0x00000000333333b1, 0x000000000000807e,
    697   0x00000000333333b2, 0x000000000000807f,
    698   0x00000000333333b3, 0x000000000000fffd,
    699   0x000000003333b331, 0x000000000000fffe,
    700   0x000000003333b332, 0x000000000000ffff,
    701   0x000000003333b333, 0x000000003333b333,
    702   0x0000000066666667, 0x000000005555d555,
    703   0x0000000088888889, 0x0000000080007ffd,
    704   0x00000000b3333331, 0x0000000080007ffe,
    705   0x00000000b3333332, 0x0000000080007fff,
    706   0x00000000b3333333, 0x000000007fff8000,
    707   0x000000004ccccccc, 0x000000007fff7fff,
    708   0x000000004ccccccb, 0x000000005554d556,
    709   0x0000000022222222, 0x000000003332b334,
    710   0x0000000000000000, 0x0000000000000000,
    711   0x000000003332b334, 0x0000000000000001,
    712   0x000000003332b335, 0x0000000000000002,
    713   0x000000003332b336, 0x0000000000000003,
    714   0x000000003332b337, 0x0000000000007f80,
    715   0x00000000333332b4, 0x0000000000007f81,
    716   0x00000000333332b5, 0x0000000000007f82,
    717   0x00000000333332b6, 0x0000000000007f83,
    718   0x00000000333332b7, 0x0000000000007fe0,
    719   0x0000000033333314, 0x0000000000007ffd,
    720   0x0000000000007ffd, 0x0000000000007ffd,
    721   0x0000000000007ffe, 0x0000000000007ffe,
    722   0x0000000000007fff, 0x0000000000007fff,
    723   0x0000000000008000, 0x0000000000008000,
    724   0x0000000000008001, 0x0000000000008001,
    725   0x0000000000008002, 0x000000000000801f,
    726   0x0000000000008020, 0x000000000000807c,
    727   0x000000000000807d, 0x000000000000807d,
    728   0x000000000000807e, 0x000000000000807e,
    729   0x000000000000807f, 0x000000000000fffc,
    730   0x000000000000fffd, 0x000000000000fffd,
    731   0x000000000000fffe, 0x000000000000fffe,
    732   0x000000000000ffff, 0x000000003333b332,
    733   0x000000003333b333, 0x000000005555d554,
    734   0x000000005555d555, 0x0000000080007ffc,
    735   0x0000000080007ffd, 0x0000000080007ffd,
    736   0x0000000080007ffe, 0x0000000080007ffe,
    737   0x0000000080007fff, 0x000000007fff8001,
    738   0x000000007fff8000, 0x000000007fff8000,
    739   0x000000007fff7fff, 0x000000005554d557,
    740   0x000000005554d556, 0x000000003332b335,
    741   0x000000003332b334, 0x0000000000000001,
    742   0x0000000000000000, 0x0000000000000000,
    743   0x0000000000000001, 0x0000000000000001,
    744   0x0000000000000002, 0x0000000000000002,
    745   0x0000000000000003, 0x0000000000007f7f,
    746   0x0000000000007f80, 0x0000000000007f80,
    747   0x0000000000007f81, 0x0000000000007f81,
    748   0x0000000000007f82, 0x0000000000007f82,
    749   0x0000000000007f83, 0x0000000000007fdf,
    750   0x0000000000007fe0, 0x0000000000007ffc,
    751   0x0000000000007ffc, 0x0000000000007ffc,
    752   0x0000000000007ffd, 0x0000000000007ffd,
    753   0x0000000000007ffe, 0x0000000000007ffe,
    754   0x0000000000007fff, 0x0000000000007fff,
    755   0x0000000000008000, 0x0000000000008000,
    756   0x0000000000008001, 0x000000000000801e,
    757   0x000000000000801f, 0x000000000000807b,
    758   0x000000000000807c, 0x000000000000807c,
    759   0x000000000000807d, 0x000000000000807d,
    760   0x000000000000807e, 0x000000000000fffb,
    761   0x000000000000fffc, 0x000000000000fffc,
    762   0x000000000000fffd, 0x000000000000fffd,
    763   0x000000000000fffe, 0x000000003333b331,
    764   0x000000003333b332, 0x000000005555d553,
    765   0x000000005555d554, 0x0000000080007ffb,
    766   0x0000000080007ffc, 0x0000000080007ffc,
    767   0x0000000080007ffd, 0x0000000080007ffd,
    768   0x0000000080007ffe, 0x000000007fff8002,
    769   0x000000007fff8001, 0x000000007fff8001,
    770   0x000000007fff8000, 0x000000005554d558,
    771   0x000000005554d557, 0x000000003332b336,
    772   0x000000003332b335, 0x0000000000000002,
    773   0x0000000000000001, 0x0000000000000001,
    774   0x0000000000000000, 0x0000000000000000,
    775   0x0000000000000001, 0x0000000000000001,
    776   0x0000000000000002, 0x0000000000007f7e,
    777   0x0000000000007f7f, 0x0000000000007f7f,
    778   0x0000000000007f80, 0x0000000000007f80,
    779   0x0000000000007f81, 0x0000000000007f81,
    780   0x0000000000007f82, 0x0000000000007fde,
    781   0x0000000000007fdf, 0x0000000000007ffb,
    782   0x0000000000007ffb, 0x0000000000007ffb,
    783   0x0000000000007ffc, 0x0000000000007ffc,
    784   0x0000000000007ffd, 0x0000000000007ffd,
    785   0x0000000000007ffe, 0x0000000000007ffe,
    786   0x0000000000007fff, 0x0000000000007fff,
    787   0x0000000000008000, 0x000000000000801d,
    788   0x000000000000801e, 0x000000000000807a,
    789   0x000000000000807b, 0x000000000000807b,
    790   0x000000000000807c, 0x000000000000807c,
    791   0x000000000000807d, 0x000000000000fffa,
    792   0x000000000000fffb, 0x000000000000fffb,
    793   0x000000000000fffc, 0x000000000000fffc,
    794   0x000000000000fffd, 0x000000003333b330,
    795   0x000000003333b331, 0x000000005555d552,
    796   0x000000005555d553, 0x0000000080007ffa,
    797   0x0000000080007ffb, 0x0000000080007ffb,
    798   0x0000000080007ffc, 0x0000000080007ffc,
    799   0x0000000080007ffd, 0x000000007fff8003,
    800   0x000000007fff8002, 0x000000007fff8002,
    801   0x000000007fff8001, 0x000000005554d559,
    802   0x000000005554d558, 0x000000003332b337,
    803   0x000000003332b336, 0x0000000000000003,
    804   0x0000000000000002, 0x0000000000000002,
    805   0x0000000000000001, 0x0000000000000001,
    806   0x0000000000000000, 0x0000000000000000,
    807   0x0000000000000001, 0x0000000000007f7d,
    808   0x0000000000007f7e, 0x0000000000007f7e,
    809   0x0000000000007f7f, 0x0000000000007f7f,
    810   0x0000000000007f80, 0x0000000000007f80,
    811   0x0000000000007f81, 0x0000000000007fdd,
    812   0x0000000000007fde, 0x0000000000007ffa,
    813   0x0000000000007ffa, 0x000000000000007e,
    814   0x0000000000007ffb, 0x000000000000007f,
    815   0x0000000000007ffc, 0x0000000000000080,
    816   0x0000000000007ffd, 0x0000000000000081,
    817   0x0000000000007ffe, 0x0000000000000082,
    818   0x0000000000007fff, 0x00000000000000a0,
    819   0x000000000000801d, 0x00000000000000fd,
    820   0x000000000000807a, 0x00000000000000fe,
    821   0x000000000000807b, 0x00000000000000ff,
    822   0x000000000000807c, 0x000000000000807d,
    823   0x000000000000fffa, 0x000000000000807e,
    824   0x000000000000fffb, 0x000000000000807f,
    825   0x000000000000fffc, 0x00000000333333b3,
    826   0x000000003333b330, 0x00000000555555d5,
    827   0x000000005555d552, 0x000000008000007d,
    828   0x0000000080007ffa, 0x000000008000007e,
    829   0x0000000080007ffb, 0x000000008000007f,
    830   0x0000000080007ffc, 0x000000007fffff80,
    831   0x000000007fff8003, 0x000000007fffff7f,
    832   0x000000007fff8002, 0x00000000555554d6,
    833   0x000000005554d559, 0x00000000333332b4,
    834   0x000000003332b337, 0x0000000000007f80,
    835   0x0000000000000003, 0x0000000000007f7f,
    836   0x0000000000000002, 0x0000000000007f7e,
    837   0x0000000000000001, 0x0000000000007f7d,
    838   0x0000000000000000, 0x0000000000000000,
    839   0x0000000000007f7d, 0x0000000000000001,
    840   0x0000000000007f7e, 0x0000000000000002,
    841   0x0000000000007f7f, 0x0000000000000003,
    842   0x0000000000007f80, 0x0000000000000060,
    843   0x0000000000007fdd, 0x000000000000007d,
    844   0x000000000000007d, 0x000000000000007d,
    845   0x000000000000007e, 0x000000000000007e,
    846   0x000000000000007f, 0x000000000000007f,
    847   0x0000000000000080, 0x0000000000000080,
    848   0x0000000000000081, 0x0000000000000081,
    849   0x0000000000000082, 0x000000000000009f,
    850   0x00000000000000a0, 0x00000000000000fc,
    851   0x00000000000000fd, 0x00000000000000fd,
    852   0x00000000000000fe, 0x00000000000000fe,
    853   0x00000000000000ff, 0x000000000000807c,
    854   0x000000000000807d, 0x000000000000807d,
    855   0x000000000000807e, 0x000000000000807e,
    856   0x000000000000807f, 0x00000000333333b2,
    857   0x00000000333333b3, 0x00000000555555d4,
    858   0x00000000555555d5, 0x000000008000007c,
    859   0x000000008000007d, 0x000000008000007d,
    860   0x000000008000007e, 0x000000008000007e,
    861   0x000000008000007f, 0x000000007fffff81,
    862   0x000000007fffff80, 0x000000007fffff80,
    863   0x000000007fffff7f, 0x00000000555554d7,
    864   0x00000000555554d6, 0x00000000333332b5,
    865   0x00000000333332b4, 0x0000000000007f81,
    866   0x0000000000007f80, 0x0000000000007f80,
    867   0x0000000000007f7f, 0x0000000000007f7f,
    868   0x0000000000007f7e, 0x0000000000007f7e,
    869   0x0000000000007f7d, 0x0000000000000001,
    870   0x0000000000000000, 0x0000000000000000,
    871   0x0000000000000001, 0x0000000000000001,
    872   0x0000000000000002, 0x0000000000000002,
    873   0x0000000000000003, 0x000000000000005f,
    874   0x0000000000000060, 0x000000000000007c,
    875   0x000000000000007c, 0x000000000000007c,
    876   0x000000000000007d, 0x000000000000007d,
    877   0x000000000000007e, 0x000000000000007e,
    878   0x000000000000007f, 0x000000000000007f,
    879   0x0000000000000080, 0x0000000000000080,
    880   0x0000000000000081, 0x000000000000009e,
    881   0x000000000000009f, 0x00000000000000fb,
    882   0x00000000000000fc, 0x00000000000000fc,
    883   0x00000000000000fd, 0x00000000000000fd,
    884   0x00000000000000fe, 0x000000000000807b,
    885   0x000000000000807c, 0x000000000000807c,
    886   0x000000000000807d, 0x000000000000807d,
    887   0x000000000000807e, 0x00000000333333b1,
    888   0x00000000333333b2, 0x00000000555555d3,
    889   0x00000000555555d4, 0x000000008000007b,
    890   0x000000008000007c, 0x000000008000007c,
    891   0x000000008000007d, 0x000000008000007d,
    892   0x000000008000007e, 0x000000007fffff82,
    893   0x000000007fffff81, 0x000000007fffff81,
    894   0x000000007fffff80, 0x00000000555554d8,
    895   0x00000000555554d7, 0x00000000333332b6,
    896   0x00000000333332b5, 0x0000000000007f82,
    897   0x0000000000007f81, 0x0000000000007f81,
    898   0x0000000000007f80, 0x0000000000007f80,
    899   0x0000000000007f7f, 0x0000000000007f7f,
    900   0x0000000000007f7e, 0x0000000000000002,
    901   0x0000000000000001, 0x0000000000000001,
    902   0x0000000000000000, 0x0000000000000000,
    903   0x0000000000000001, 0x0000000000000001,
    904   0x0000000000000002, 0x000000000000005e,
    905   0x000000000000005f, 0x000000000000007b,
    906   0x000000000000007b, 0x000000000000007b,
    907   0x000000000000007c, 0x000000000000007c,
    908   0x000000000000007d, 0x000000000000007d,
    909   0x000000000000007e, 0x000000000000007e,
    910   0x000000000000007f, 0x000000000000007f,
    911   0x0000000000000080, 0x000000000000009d,
    912   0x000000000000009e, 0x00000000000000fa,
    913   0x00000000000000fb, 0x00000000000000fb,
    914   0x00000000000000fc, 0x00000000000000fc,
    915   0x00000000000000fd, 0x000000000000807a,
    916   0x000000000000807b, 0x000000000000807b,
    917   0x000000000000807c, 0x000000000000807c,
    918   0x000000000000807d, 0x00000000333333b0,
    919   0x00000000333333b1, 0x00000000555555d2,
    920   0x00000000555555d3, 0x000000008000007a,
    921   0x000000008000007b, 0x000000008000007b,
    922   0x000000008000007c, 0x000000008000007c,
    923   0x000000008000007d, 0x000000007fffff83,
    924   0x000000007fffff82, 0x000000007fffff82,
    925   0x000000007fffff81, 0x00000000555554d9,
    926   0x00000000555554d8, 0x00000000333332b7,
    927   0x00000000333332b6, 0x0000000000007f83,
    928   0x0000000000007f82, 0x0000000000007f82,
    929   0x0000000000007f81, 0x0000000000007f81,
    930   0x0000000000007f80, 0x0000000000007f80,
    931   0x0000000000007f7f, 0x0000000000000003,
    932   0x0000000000000002, 0x0000000000000002,
    933   0x0000000000000001, 0x0000000000000001,
    934   0x0000000000000000, 0x0000000000000000,
    935   0x0000000000000001, 0x000000000000005d,
    936   0x000000000000005e, 0x000000000000007a,
    937   0x000000000000007a, 0x000000000000001e,
    938   0x000000000000007b, 0x000000000000001f,
    939   0x000000000000007c, 0x0000000000000020,
    940   0x000000000000007d, 0x0000000000000021,
    941   0x000000000000007e, 0x0000000000000022,
    942   0x000000000000007f, 0x0000000000000040,
    943   0x000000000000009d, 0x000000000000009d,
    944   0x00000000000000fa, 0x000000000000009e,
    945   0x00000000000000fb, 0x000000000000009f,
    946   0x00000000000000fc, 0x000000000000801d,
    947   0x000000000000807a, 0x000000000000801e,
    948   0x000000000000807b, 0x000000000000801f,
    949   0x000000000000807c, 0x0000000033333353,
    950   0x00000000333333b0, 0x0000000055555575,
    951   0x00000000555555d2, 0x000000008000001d,
    952   0x000000008000007a, 0x000000008000001e,
    953   0x000000008000007b, 0x000000008000001f,
    954   0x000000008000007c, 0x000000007fffffe0,
    955   0x000000007fffff83, 0x000000007fffffdf,
    956   0x000000007fffff82, 0x0000000055555536,
    957   0x00000000555554d9, 0x0000000033333314,
    958   0x00000000333332b7, 0x0000000000007fe0,
    959   0x0000000000007f83, 0x0000000000007fdf,
    960   0x0000000000007f82, 0x0000000000007fde,
    961   0x0000000000007f81, 0x0000000000007fdd,
    962   0x0000000000007f80, 0x0000000000000060,
    963   0x0000000000000003, 0x000000000000005f,
    964   0x0000000000000002, 0x000000000000005e,
    965   0x0000000000000001, 0x000000000000005d,
    966   0x0000000000000000, 0x0000000000000000,
    967   0x000000000000005d, 0x000000000000001d,
    968   0x000000000000001d, 0x0000000000000001,
    969   0x000000000000001e, 0x0000000000000002,
    970   0x000000000000001f, 0x0000000000000003,
    971   0x0000000000000020, 0x0000000000000004,
    972   0x0000000000000021, 0x0000000000000005,
    973   0x0000000000000022, 0x0000000000000023,
    974   0x0000000000000040, 0x0000000000000080,
    975   0x000000000000009d, 0x0000000000000081,
    976   0x000000000000009e, 0x0000000000000082,
    977   0x000000000000009f, 0x0000000000008000,
    978   0x000000000000801d, 0x0000000000008001,
    979   0x000000000000801e, 0x0000000000008002,
    980   0x000000000000801f, 0x0000000033333336,
    981   0x0000000033333353, 0x0000000055555558,
    982   0x0000000055555575, 0x0000000080000000,
    983   0x000000008000001d, 0x0000000080000001,
    984   0x000000008000001e, 0x0000000080000002,
    985   0x000000008000001f, 0x000000007ffffffd,
    986   0x000000007fffffe0, 0x000000007ffffffc,
    987   0x000000007fffffdf, 0x0000000055555553,
    988   0x0000000055555536, 0x0000000033333331,
    989   0x0000000033333314, 0x0000000000007ffd,
    990   0x0000000000007fe0, 0x0000000000007ffc,
    991   0x0000000000007fdf, 0x0000000000007ffb,
    992   0x0000000000007fde, 0x0000000000007ffa,
    993   0x0000000000007fdd, 0x000000000000007d,
    994   0x0000000000000060, 0x000000000000007c,
    995   0x000000000000005f, 0x000000000000007b,
    996   0x000000000000005e, 0x000000000000007a,
    997   0x000000000000005d, 0x000000000000001d,
    998   0x0000000000000000, 0x0000000000000000,
    999 };
   1000 const unsigned kExpectedCount_NEON_sabdl_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_SABDL_2D_TRACE_A64_H_
   1003