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_SHL_4S_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SHL_4S_2OPIMM_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_shl_4S_2OPIMM[] = {
     38   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
     39   0xfffffffa, 0xfffffffc, 0xfffffffe, 0x00000000,
     40   0xfffffff4, 0xfffffff8, 0xfffffffc, 0x00000000,
     41   0xffffffe8, 0xfffffff0, 0xfffffff8, 0x00000000,
     42   0xffffffd0, 0xffffffe0, 0xfffffff0, 0x00000000,
     43   0xffffffa0, 0xffffffc0, 0xffffffe0, 0x00000000,
     44   0xffffff40, 0xffffff80, 0xffffffc0, 0x00000000,
     45   0xfffffe80, 0xffffff00, 0xffffff80, 0x00000000,
     46   0xfffffd00, 0xfffffe00, 0xffffff00, 0x00000000,
     47   0xfffffa00, 0xfffffc00, 0xfffffe00, 0x00000000,
     48   0xfffff400, 0xfffff800, 0xfffffc00, 0x00000000,
     49   0xffffe800, 0xfffff000, 0xfffff800, 0x00000000,
     50   0xffffd000, 0xffffe000, 0xfffff000, 0x00000000,
     51   0xffffa000, 0xffffc000, 0xffffe000, 0x00000000,
     52   0xffff4000, 0xffff8000, 0xffffc000, 0x00000000,
     53   0xfffe8000, 0xffff0000, 0xffff8000, 0x00000000,
     54   0xfffd0000, 0xfffe0000, 0xffff0000, 0x00000000,
     55   0xfffa0000, 0xfffc0000, 0xfffe0000, 0x00000000,
     56   0xfff40000, 0xfff80000, 0xfffc0000, 0x00000000,
     57   0xffe80000, 0xfff00000, 0xfff80000, 0x00000000,
     58   0xffd00000, 0xffe00000, 0xfff00000, 0x00000000,
     59   0xffa00000, 0xffc00000, 0xffe00000, 0x00000000,
     60   0xff400000, 0xff800000, 0xffc00000, 0x00000000,
     61   0xfe800000, 0xff000000, 0xff800000, 0x00000000,
     62   0xfd000000, 0xfe000000, 0xff000000, 0x00000000,
     63   0xfa000000, 0xfc000000, 0xfe000000, 0x00000000,
     64   0xf4000000, 0xf8000000, 0xfc000000, 0x00000000,
     65   0xe8000000, 0xf0000000, 0xf8000000, 0x00000000,
     66   0xd0000000, 0xe0000000, 0xf0000000, 0x00000000,
     67   0xa0000000, 0xc0000000, 0xe0000000, 0x00000000,
     68   0x40000000, 0x80000000, 0xc0000000, 0x00000000,
     69   0x80000000, 0x00000000, 0x80000000, 0x00000000,
     70   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
     71   0xfffffffc, 0xfffffffe, 0x00000000, 0x00000002,
     72   0xfffffff8, 0xfffffffc, 0x00000000, 0x00000004,
     73   0xfffffff0, 0xfffffff8, 0x00000000, 0x00000008,
     74   0xffffffe0, 0xfffffff0, 0x00000000, 0x00000010,
     75   0xffffffc0, 0xffffffe0, 0x00000000, 0x00000020,
     76   0xffffff80, 0xffffffc0, 0x00000000, 0x00000040,
     77   0xffffff00, 0xffffff80, 0x00000000, 0x00000080,
     78   0xfffffe00, 0xffffff00, 0x00000000, 0x00000100,
     79   0xfffffc00, 0xfffffe00, 0x00000000, 0x00000200,
     80   0xfffff800, 0xfffffc00, 0x00000000, 0x00000400,
     81   0xfffff000, 0xfffff800, 0x00000000, 0x00000800,
     82   0xffffe000, 0xfffff000, 0x00000000, 0x00001000,
     83   0xffffc000, 0xffffe000, 0x00000000, 0x00002000,
     84   0xffff8000, 0xffffc000, 0x00000000, 0x00004000,
     85   0xffff0000, 0xffff8000, 0x00000000, 0x00008000,
     86   0xfffe0000, 0xffff0000, 0x00000000, 0x00010000,
     87   0xfffc0000, 0xfffe0000, 0x00000000, 0x00020000,
     88   0xfff80000, 0xfffc0000, 0x00000000, 0x00040000,
     89   0xfff00000, 0xfff80000, 0x00000000, 0x00080000,
     90   0xffe00000, 0xfff00000, 0x00000000, 0x00100000,
     91   0xffc00000, 0xffe00000, 0x00000000, 0x00200000,
     92   0xff800000, 0xffc00000, 0x00000000, 0x00400000,
     93   0xff000000, 0xff800000, 0x00000000, 0x00800000,
     94   0xfe000000, 0xff000000, 0x00000000, 0x01000000,
     95   0xfc000000, 0xfe000000, 0x00000000, 0x02000000,
     96   0xf8000000, 0xfc000000, 0x00000000, 0x04000000,
     97   0xf0000000, 0xf8000000, 0x00000000, 0x08000000,
     98   0xe0000000, 0xf0000000, 0x00000000, 0x10000000,
     99   0xc0000000, 0xe0000000, 0x00000000, 0x20000000,
    100   0x80000000, 0xc0000000, 0x00000000, 0x40000000,
    101   0x00000000, 0x80000000, 0x00000000, 0x80000000,
    102   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    103   0xfffffffe, 0x00000000, 0x00000002, 0x00000004,
    104   0xfffffffc, 0x00000000, 0x00000004, 0x00000008,
    105   0xfffffff8, 0x00000000, 0x00000008, 0x00000010,
    106   0xfffffff0, 0x00000000, 0x00000010, 0x00000020,
    107   0xffffffe0, 0x00000000, 0x00000020, 0x00000040,
    108   0xffffffc0, 0x00000000, 0x00000040, 0x00000080,
    109   0xffffff80, 0x00000000, 0x00000080, 0x00000100,
    110   0xffffff00, 0x00000000, 0x00000100, 0x00000200,
    111   0xfffffe00, 0x00000000, 0x00000200, 0x00000400,
    112   0xfffffc00, 0x00000000, 0x00000400, 0x00000800,
    113   0xfffff800, 0x00000000, 0x00000800, 0x00001000,
    114   0xfffff000, 0x00000000, 0x00001000, 0x00002000,
    115   0xffffe000, 0x00000000, 0x00002000, 0x00004000,
    116   0xffffc000, 0x00000000, 0x00004000, 0x00008000,
    117   0xffff8000, 0x00000000, 0x00008000, 0x00010000,
    118   0xffff0000, 0x00000000, 0x00010000, 0x00020000,
    119   0xfffe0000, 0x00000000, 0x00020000, 0x00040000,
    120   0xfffc0000, 0x00000000, 0x00040000, 0x00080000,
    121   0xfff80000, 0x00000000, 0x00080000, 0x00100000,
    122   0xfff00000, 0x00000000, 0x00100000, 0x00200000,
    123   0xffe00000, 0x00000000, 0x00200000, 0x00400000,
    124   0xffc00000, 0x00000000, 0x00400000, 0x00800000,
    125   0xff800000, 0x00000000, 0x00800000, 0x01000000,
    126   0xff000000, 0x00000000, 0x01000000, 0x02000000,
    127   0xfe000000, 0x00000000, 0x02000000, 0x04000000,
    128   0xfc000000, 0x00000000, 0x04000000, 0x08000000,
    129   0xf8000000, 0x00000000, 0x08000000, 0x10000000,
    130   0xf0000000, 0x00000000, 0x10000000, 0x20000000,
    131   0xe0000000, 0x00000000, 0x20000000, 0x40000000,
    132   0xc0000000, 0x00000000, 0x40000000, 0x80000000,
    133   0x80000000, 0x00000000, 0x80000000, 0x00000000,
    134   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    135   0x00000000, 0x00000002, 0x00000004, 0x00000040,
    136   0x00000000, 0x00000004, 0x00000008, 0x00000080,
    137   0x00000000, 0x00000008, 0x00000010, 0x00000100,
    138   0x00000000, 0x00000010, 0x00000020, 0x00000200,
    139   0x00000000, 0x00000020, 0x00000040, 0x00000400,
    140   0x00000000, 0x00000040, 0x00000080, 0x00000800,
    141   0x00000000, 0x00000080, 0x00000100, 0x00001000,
    142   0x00000000, 0x00000100, 0x00000200, 0x00002000,
    143   0x00000000, 0x00000200, 0x00000400, 0x00004000,
    144   0x00000000, 0x00000400, 0x00000800, 0x00008000,
    145   0x00000000, 0x00000800, 0x00001000, 0x00010000,
    146   0x00000000, 0x00001000, 0x00002000, 0x00020000,
    147   0x00000000, 0x00002000, 0x00004000, 0x00040000,
    148   0x00000000, 0x00004000, 0x00008000, 0x00080000,
    149   0x00000000, 0x00008000, 0x00010000, 0x00100000,
    150   0x00000000, 0x00010000, 0x00020000, 0x00200000,
    151   0x00000000, 0x00020000, 0x00040000, 0x00400000,
    152   0x00000000, 0x00040000, 0x00080000, 0x00800000,
    153   0x00000000, 0x00080000, 0x00100000, 0x01000000,
    154   0x00000000, 0x00100000, 0x00200000, 0x02000000,
    155   0x00000000, 0x00200000, 0x00400000, 0x04000000,
    156   0x00000000, 0x00400000, 0x00800000, 0x08000000,
    157   0x00000000, 0x00800000, 0x01000000, 0x10000000,
    158   0x00000000, 0x01000000, 0x02000000, 0x20000000,
    159   0x00000000, 0x02000000, 0x04000000, 0x40000000,
    160   0x00000000, 0x04000000, 0x08000000, 0x80000000,
    161   0x00000000, 0x08000000, 0x10000000, 0x00000000,
    162   0x00000000, 0x10000000, 0x20000000, 0x00000000,
    163   0x00000000, 0x20000000, 0x40000000, 0x00000000,
    164   0x00000000, 0x40000000, 0x80000000, 0x00000000,
    165   0x00000000, 0x80000000, 0x00000000, 0x00000000,
    166   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    167   0x00000002, 0x00000004, 0x00000040, 0x000000fa,
    168   0x00000004, 0x00000008, 0x00000080, 0x000001f4,
    169   0x00000008, 0x00000010, 0x00000100, 0x000003e8,
    170   0x00000010, 0x00000020, 0x00000200, 0x000007d0,
    171   0x00000020, 0x00000040, 0x00000400, 0x00000fa0,
    172   0x00000040, 0x00000080, 0x00000800, 0x00001f40,
    173   0x00000080, 0x00000100, 0x00001000, 0x00003e80,
    174   0x00000100, 0x00000200, 0x00002000, 0x00007d00,
    175   0x00000200, 0x00000400, 0x00004000, 0x0000fa00,
    176   0x00000400, 0x00000800, 0x00008000, 0x0001f400,
    177   0x00000800, 0x00001000, 0x00010000, 0x0003e800,
    178   0x00001000, 0x00002000, 0x00020000, 0x0007d000,
    179   0x00002000, 0x00004000, 0x00040000, 0x000fa000,
    180   0x00004000, 0x00008000, 0x00080000, 0x001f4000,
    181   0x00008000, 0x00010000, 0x00100000, 0x003e8000,
    182   0x00010000, 0x00020000, 0x00200000, 0x007d0000,
    183   0x00020000, 0x00040000, 0x00400000, 0x00fa0000,
    184   0x00040000, 0x00080000, 0x00800000, 0x01f40000,
    185   0x00080000, 0x00100000, 0x01000000, 0x03e80000,
    186   0x00100000, 0x00200000, 0x02000000, 0x07d00000,
    187   0x00200000, 0x00400000, 0x04000000, 0x0fa00000,
    188   0x00400000, 0x00800000, 0x08000000, 0x1f400000,
    189   0x00800000, 0x01000000, 0x10000000, 0x3e800000,
    190   0x01000000, 0x02000000, 0x20000000, 0x7d000000,
    191   0x02000000, 0x04000000, 0x40000000, 0xfa000000,
    192   0x04000000, 0x08000000, 0x80000000, 0xf4000000,
    193   0x08000000, 0x10000000, 0x00000000, 0xe8000000,
    194   0x10000000, 0x20000000, 0x00000000, 0xd0000000,
    195   0x20000000, 0x40000000, 0x00000000, 0xa0000000,
    196   0x40000000, 0x80000000, 0x00000000, 0x40000000,
    197   0x80000000, 0x00000000, 0x00000000, 0x80000000,
    198   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    199   0x00000004, 0x00000040, 0x000000fa, 0x000000fc,
    200   0x00000008, 0x00000080, 0x000001f4, 0x000001f8,
    201   0x00000010, 0x00000100, 0x000003e8, 0x000003f0,
    202   0x00000020, 0x00000200, 0x000007d0, 0x000007e0,
    203   0x00000040, 0x00000400, 0x00000fa0, 0x00000fc0,
    204   0x00000080, 0x00000800, 0x00001f40, 0x00001f80,
    205   0x00000100, 0x00001000, 0x00003e80, 0x00003f00,
    206   0x00000200, 0x00002000, 0x00007d00, 0x00007e00,
    207   0x00000400, 0x00004000, 0x0000fa00, 0x0000fc00,
    208   0x00000800, 0x00008000, 0x0001f400, 0x0001f800,
    209   0x00001000, 0x00010000, 0x0003e800, 0x0003f000,
    210   0x00002000, 0x00020000, 0x0007d000, 0x0007e000,
    211   0x00004000, 0x00040000, 0x000fa000, 0x000fc000,
    212   0x00008000, 0x00080000, 0x001f4000, 0x001f8000,
    213   0x00010000, 0x00100000, 0x003e8000, 0x003f0000,
    214   0x00020000, 0x00200000, 0x007d0000, 0x007e0000,
    215   0x00040000, 0x00400000, 0x00fa0000, 0x00fc0000,
    216   0x00080000, 0x00800000, 0x01f40000, 0x01f80000,
    217   0x00100000, 0x01000000, 0x03e80000, 0x03f00000,
    218   0x00200000, 0x02000000, 0x07d00000, 0x07e00000,
    219   0x00400000, 0x04000000, 0x0fa00000, 0x0fc00000,
    220   0x00800000, 0x08000000, 0x1f400000, 0x1f800000,
    221   0x01000000, 0x10000000, 0x3e800000, 0x3f000000,
    222   0x02000000, 0x20000000, 0x7d000000, 0x7e000000,
    223   0x04000000, 0x40000000, 0xfa000000, 0xfc000000,
    224   0x08000000, 0x80000000, 0xf4000000, 0xf8000000,
    225   0x10000000, 0x00000000, 0xe8000000, 0xf0000000,
    226   0x20000000, 0x00000000, 0xd0000000, 0xe0000000,
    227   0x40000000, 0x00000000, 0xa0000000, 0xc0000000,
    228   0x80000000, 0x00000000, 0x40000000, 0x80000000,
    229   0x00000000, 0x00000000, 0x80000000, 0x00000000,
    230   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    231   0x00000040, 0x000000fa, 0x000000fc, 0x000000fe,
    232   0x00000080, 0x000001f4, 0x000001f8, 0x000001fc,
    233   0x00000100, 0x000003e8, 0x000003f0, 0x000003f8,
    234   0x00000200, 0x000007d0, 0x000007e0, 0x000007f0,
    235   0x00000400, 0x00000fa0, 0x00000fc0, 0x00000fe0,
    236   0x00000800, 0x00001f40, 0x00001f80, 0x00001fc0,
    237   0x00001000, 0x00003e80, 0x00003f00, 0x00003f80,
    238   0x00002000, 0x00007d00, 0x00007e00, 0x00007f00,
    239   0x00004000, 0x0000fa00, 0x0000fc00, 0x0000fe00,
    240   0x00008000, 0x0001f400, 0x0001f800, 0x0001fc00,
    241   0x00010000, 0x0003e800, 0x0003f000, 0x0003f800,
    242   0x00020000, 0x0007d000, 0x0007e000, 0x0007f000,
    243   0x00040000, 0x000fa000, 0x000fc000, 0x000fe000,
    244   0x00080000, 0x001f4000, 0x001f8000, 0x001fc000,
    245   0x00100000, 0x003e8000, 0x003f0000, 0x003f8000,
    246   0x00200000, 0x007d0000, 0x007e0000, 0x007f0000,
    247   0x00400000, 0x00fa0000, 0x00fc0000, 0x00fe0000,
    248   0x00800000, 0x01f40000, 0x01f80000, 0x01fc0000,
    249   0x01000000, 0x03e80000, 0x03f00000, 0x03f80000,
    250   0x02000000, 0x07d00000, 0x07e00000, 0x07f00000,
    251   0x04000000, 0x0fa00000, 0x0fc00000, 0x0fe00000,
    252   0x08000000, 0x1f400000, 0x1f800000, 0x1fc00000,
    253   0x10000000, 0x3e800000, 0x3f000000, 0x3f800000,
    254   0x20000000, 0x7d000000, 0x7e000000, 0x7f000000,
    255   0x40000000, 0xfa000000, 0xfc000000, 0xfe000000,
    256   0x80000000, 0xf4000000, 0xf8000000, 0xfc000000,
    257   0x00000000, 0xe8000000, 0xf0000000, 0xf8000000,
    258   0x00000000, 0xd0000000, 0xe0000000, 0xf0000000,
    259   0x00000000, 0xa0000000, 0xc0000000, 0xe0000000,
    260   0x00000000, 0x40000000, 0x80000000, 0xc0000000,
    261   0x00000000, 0x80000000, 0x00000000, 0x80000000,
    262   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    263   0x000000fa, 0x000000fc, 0x000000fe, 0x0000fffa,
    264   0x000001f4, 0x000001f8, 0x000001fc, 0x0001fff4,
    265   0x000003e8, 0x000003f0, 0x000003f8, 0x0003ffe8,
    266   0x000007d0, 0x000007e0, 0x000007f0, 0x0007ffd0,
    267   0x00000fa0, 0x00000fc0, 0x00000fe0, 0x000fffa0,
    268   0x00001f40, 0x00001f80, 0x00001fc0, 0x001fff40,
    269   0x00003e80, 0x00003f00, 0x00003f80, 0x003ffe80,
    270   0x00007d00, 0x00007e00, 0x00007f00, 0x007ffd00,
    271   0x0000fa00, 0x0000fc00, 0x0000fe00, 0x00fffa00,
    272   0x0001f400, 0x0001f800, 0x0001fc00, 0x01fff400,
    273   0x0003e800, 0x0003f000, 0x0003f800, 0x03ffe800,
    274   0x0007d000, 0x0007e000, 0x0007f000, 0x07ffd000,
    275   0x000fa000, 0x000fc000, 0x000fe000, 0x0fffa000,
    276   0x001f4000, 0x001f8000, 0x001fc000, 0x1fff4000,
    277   0x003e8000, 0x003f0000, 0x003f8000, 0x3ffe8000,
    278   0x007d0000, 0x007e0000, 0x007f0000, 0x7ffd0000,
    279   0x00fa0000, 0x00fc0000, 0x00fe0000, 0xfffa0000,
    280   0x01f40000, 0x01f80000, 0x01fc0000, 0xfff40000,
    281   0x03e80000, 0x03f00000, 0x03f80000, 0xffe80000,
    282   0x07d00000, 0x07e00000, 0x07f00000, 0xffd00000,
    283   0x0fa00000, 0x0fc00000, 0x0fe00000, 0xffa00000,
    284   0x1f400000, 0x1f800000, 0x1fc00000, 0xff400000,
    285   0x3e800000, 0x3f000000, 0x3f800000, 0xfe800000,
    286   0x7d000000, 0x7e000000, 0x7f000000, 0xfd000000,
    287   0xfa000000, 0xfc000000, 0xfe000000, 0xfa000000,
    288   0xf4000000, 0xf8000000, 0xfc000000, 0xf4000000,
    289   0xe8000000, 0xf0000000, 0xf8000000, 0xe8000000,
    290   0xd0000000, 0xe0000000, 0xf0000000, 0xd0000000,
    291   0xa0000000, 0xc0000000, 0xe0000000, 0xa0000000,
    292   0x40000000, 0x80000000, 0xc0000000, 0x40000000,
    293   0x80000000, 0x00000000, 0x80000000, 0x80000000,
    294   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    295   0x000000fc, 0x000000fe, 0x0000fffa, 0x0000fffc,
    296   0x000001f8, 0x000001fc, 0x0001fff4, 0x0001fff8,
    297   0x000003f0, 0x000003f8, 0x0003ffe8, 0x0003fff0,
    298   0x000007e0, 0x000007f0, 0x0007ffd0, 0x0007ffe0,
    299   0x00000fc0, 0x00000fe0, 0x000fffa0, 0x000fffc0,
    300   0x00001f80, 0x00001fc0, 0x001fff40, 0x001fff80,
    301   0x00003f00, 0x00003f80, 0x003ffe80, 0x003fff00,
    302   0x00007e00, 0x00007f00, 0x007ffd00, 0x007ffe00,
    303   0x0000fc00, 0x0000fe00, 0x00fffa00, 0x00fffc00,
    304   0x0001f800, 0x0001fc00, 0x01fff400, 0x01fff800,
    305   0x0003f000, 0x0003f800, 0x03ffe800, 0x03fff000,
    306   0x0007e000, 0x0007f000, 0x07ffd000, 0x07ffe000,
    307   0x000fc000, 0x000fe000, 0x0fffa000, 0x0fffc000,
    308   0x001f8000, 0x001fc000, 0x1fff4000, 0x1fff8000,
    309   0x003f0000, 0x003f8000, 0x3ffe8000, 0x3fff0000,
    310   0x007e0000, 0x007f0000, 0x7ffd0000, 0x7ffe0000,
    311   0x00fc0000, 0x00fe0000, 0xfffa0000, 0xfffc0000,
    312   0x01f80000, 0x01fc0000, 0xfff40000, 0xfff80000,
    313   0x03f00000, 0x03f80000, 0xffe80000, 0xfff00000,
    314   0x07e00000, 0x07f00000, 0xffd00000, 0xffe00000,
    315   0x0fc00000, 0x0fe00000, 0xffa00000, 0xffc00000,
    316   0x1f800000, 0x1fc00000, 0xff400000, 0xff800000,
    317   0x3f000000, 0x3f800000, 0xfe800000, 0xff000000,
    318   0x7e000000, 0x7f000000, 0xfd000000, 0xfe000000,
    319   0xfc000000, 0xfe000000, 0xfa000000, 0xfc000000,
    320   0xf8000000, 0xfc000000, 0xf4000000, 0xf8000000,
    321   0xf0000000, 0xf8000000, 0xe8000000, 0xf0000000,
    322   0xe0000000, 0xf0000000, 0xd0000000, 0xe0000000,
    323   0xc0000000, 0xe0000000, 0xa0000000, 0xc0000000,
    324   0x80000000, 0xc0000000, 0x40000000, 0x80000000,
    325   0x00000000, 0x80000000, 0x80000000, 0x00000000,
    326   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    327   0x000000fe, 0x0000fffa, 0x0000fffc, 0x0000fffe,
    328   0x000001fc, 0x0001fff4, 0x0001fff8, 0x0001fffc,
    329   0x000003f8, 0x0003ffe8, 0x0003fff0, 0x0003fff8,
    330   0x000007f0, 0x0007ffd0, 0x0007ffe0, 0x0007fff0,
    331   0x00000fe0, 0x000fffa0, 0x000fffc0, 0x000fffe0,
    332   0x00001fc0, 0x001fff40, 0x001fff80, 0x001fffc0,
    333   0x00003f80, 0x003ffe80, 0x003fff00, 0x003fff80,
    334   0x00007f00, 0x007ffd00, 0x007ffe00, 0x007fff00,
    335   0x0000fe00, 0x00fffa00, 0x00fffc00, 0x00fffe00,
    336   0x0001fc00, 0x01fff400, 0x01fff800, 0x01fffc00,
    337   0x0003f800, 0x03ffe800, 0x03fff000, 0x03fff800,
    338   0x0007f000, 0x07ffd000, 0x07ffe000, 0x07fff000,
    339   0x000fe000, 0x0fffa000, 0x0fffc000, 0x0fffe000,
    340   0x001fc000, 0x1fff4000, 0x1fff8000, 0x1fffc000,
    341   0x003f8000, 0x3ffe8000, 0x3fff0000, 0x3fff8000,
    342   0x007f0000, 0x7ffd0000, 0x7ffe0000, 0x7fff0000,
    343   0x00fe0000, 0xfffa0000, 0xfffc0000, 0xfffe0000,
    344   0x01fc0000, 0xfff40000, 0xfff80000, 0xfffc0000,
    345   0x03f80000, 0xffe80000, 0xfff00000, 0xfff80000,
    346   0x07f00000, 0xffd00000, 0xffe00000, 0xfff00000,
    347   0x0fe00000, 0xffa00000, 0xffc00000, 0xffe00000,
    348   0x1fc00000, 0xff400000, 0xff800000, 0xffc00000,
    349   0x3f800000, 0xfe800000, 0xff000000, 0xff800000,
    350   0x7f000000, 0xfd000000, 0xfe000000, 0xff000000,
    351   0xfe000000, 0xfa000000, 0xfc000000, 0xfe000000,
    352   0xfc000000, 0xf4000000, 0xf8000000, 0xfc000000,
    353   0xf8000000, 0xe8000000, 0xf0000000, 0xf8000000,
    354   0xf0000000, 0xd0000000, 0xe0000000, 0xf0000000,
    355   0xe0000000, 0xa0000000, 0xc0000000, 0xe0000000,
    356   0xc0000000, 0x40000000, 0x80000000, 0xc0000000,
    357   0x80000000, 0x80000000, 0x00000000, 0x80000000,
    358   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    359   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x66666666,
    360   0x0001fff4, 0x0001fff8, 0x0001fffc, 0xcccccccc,
    361   0x0003ffe8, 0x0003fff0, 0x0003fff8, 0x99999998,
    362   0x0007ffd0, 0x0007ffe0, 0x0007fff0, 0x33333330,
    363   0x000fffa0, 0x000fffc0, 0x000fffe0, 0x66666660,
    364   0x001fff40, 0x001fff80, 0x001fffc0, 0xccccccc0,
    365   0x003ffe80, 0x003fff00, 0x003fff80, 0x99999980,
    366   0x007ffd00, 0x007ffe00, 0x007fff00, 0x33333300,
    367   0x00fffa00, 0x00fffc00, 0x00fffe00, 0x66666600,
    368   0x01fff400, 0x01fff800, 0x01fffc00, 0xcccccc00,
    369   0x03ffe800, 0x03fff000, 0x03fff800, 0x99999800,
    370   0x07ffd000, 0x07ffe000, 0x07fff000, 0x33333000,
    371   0x0fffa000, 0x0fffc000, 0x0fffe000, 0x66666000,
    372   0x1fff4000, 0x1fff8000, 0x1fffc000, 0xccccc000,
    373   0x3ffe8000, 0x3fff0000, 0x3fff8000, 0x99998000,
    374   0x7ffd0000, 0x7ffe0000, 0x7fff0000, 0x33330000,
    375   0xfffa0000, 0xfffc0000, 0xfffe0000, 0x66660000,
    376   0xfff40000, 0xfff80000, 0xfffc0000, 0xcccc0000,
    377   0xffe80000, 0xfff00000, 0xfff80000, 0x99980000,
    378   0xffd00000, 0xffe00000, 0xfff00000, 0x33300000,
    379   0xffa00000, 0xffc00000, 0xffe00000, 0x66600000,
    380   0xff400000, 0xff800000, 0xffc00000, 0xccc00000,
    381   0xfe800000, 0xff000000, 0xff800000, 0x99800000,
    382   0xfd000000, 0xfe000000, 0xff000000, 0x33000000,
    383   0xfa000000, 0xfc000000, 0xfe000000, 0x66000000,
    384   0xf4000000, 0xf8000000, 0xfc000000, 0xcc000000,
    385   0xe8000000, 0xf0000000, 0xf8000000, 0x98000000,
    386   0xd0000000, 0xe0000000, 0xf0000000, 0x30000000,
    387   0xa0000000, 0xc0000000, 0xe0000000, 0x60000000,
    388   0x40000000, 0x80000000, 0xc0000000, 0xc0000000,
    389   0x80000000, 0x00000000, 0x80000000, 0x80000000,
    390   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    391   0x0000fffc, 0x0000fffe, 0x66666666, 0xaaaaaaaa,
    392   0x0001fff8, 0x0001fffc, 0xcccccccc, 0x55555554,
    393   0x0003fff0, 0x0003fff8, 0x99999998, 0xaaaaaaa8,
    394   0x0007ffe0, 0x0007fff0, 0x33333330, 0x55555550,
    395   0x000fffc0, 0x000fffe0, 0x66666660, 0xaaaaaaa0,
    396   0x001fff80, 0x001fffc0, 0xccccccc0, 0x55555540,
    397   0x003fff00, 0x003fff80, 0x99999980, 0xaaaaaa80,
    398   0x007ffe00, 0x007fff00, 0x33333300, 0x55555500,
    399   0x00fffc00, 0x00fffe00, 0x66666600, 0xaaaaaa00,
    400   0x01fff800, 0x01fffc00, 0xcccccc00, 0x55555400,
    401   0x03fff000, 0x03fff800, 0x99999800, 0xaaaaa800,
    402   0x07ffe000, 0x07fff000, 0x33333000, 0x55555000,
    403   0x0fffc000, 0x0fffe000, 0x66666000, 0xaaaaa000,
    404   0x1fff8000, 0x1fffc000, 0xccccc000, 0x55554000,
    405   0x3fff0000, 0x3fff8000, 0x99998000, 0xaaaa8000,
    406   0x7ffe0000, 0x7fff0000, 0x33330000, 0x55550000,
    407   0xfffc0000, 0xfffe0000, 0x66660000, 0xaaaa0000,
    408   0xfff80000, 0xfffc0000, 0xcccc0000, 0x55540000,
    409   0xfff00000, 0xfff80000, 0x99980000, 0xaaa80000,
    410   0xffe00000, 0xfff00000, 0x33300000, 0x55500000,
    411   0xffc00000, 0xffe00000, 0x66600000, 0xaaa00000,
    412   0xff800000, 0xffc00000, 0xccc00000, 0x55400000,
    413   0xff000000, 0xff800000, 0x99800000, 0xaa800000,
    414   0xfe000000, 0xff000000, 0x33000000, 0x55000000,
    415   0xfc000000, 0xfe000000, 0x66000000, 0xaa000000,
    416   0xf8000000, 0xfc000000, 0xcc000000, 0x54000000,
    417   0xf0000000, 0xf8000000, 0x98000000, 0xa8000000,
    418   0xe0000000, 0xf0000000, 0x30000000, 0x50000000,
    419   0xc0000000, 0xe0000000, 0x60000000, 0xa0000000,
    420   0x80000000, 0xc0000000, 0xc0000000, 0x40000000,
    421   0x00000000, 0x80000000, 0x80000000, 0x80000000,
    422   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    423   0x0000fffe, 0x66666666, 0xaaaaaaaa, 0xfffffffa,
    424   0x0001fffc, 0xcccccccc, 0x55555554, 0xfffffff4,
    425   0x0003fff8, 0x99999998, 0xaaaaaaa8, 0xffffffe8,
    426   0x0007fff0, 0x33333330, 0x55555550, 0xffffffd0,
    427   0x000fffe0, 0x66666660, 0xaaaaaaa0, 0xffffffa0,
    428   0x001fffc0, 0xccccccc0, 0x55555540, 0xffffff40,
    429   0x003fff80, 0x99999980, 0xaaaaaa80, 0xfffffe80,
    430   0x007fff00, 0x33333300, 0x55555500, 0xfffffd00,
    431   0x00fffe00, 0x66666600, 0xaaaaaa00, 0xfffffa00,
    432   0x01fffc00, 0xcccccc00, 0x55555400, 0xfffff400,
    433   0x03fff800, 0x99999800, 0xaaaaa800, 0xffffe800,
    434   0x07fff000, 0x33333000, 0x55555000, 0xffffd000,
    435   0x0fffe000, 0x66666000, 0xaaaaa000, 0xffffa000,
    436   0x1fffc000, 0xccccc000, 0x55554000, 0xffff4000,
    437   0x3fff8000, 0x99998000, 0xaaaa8000, 0xfffe8000,
    438   0x7fff0000, 0x33330000, 0x55550000, 0xfffd0000,
    439   0xfffe0000, 0x66660000, 0xaaaa0000, 0xfffa0000,
    440   0xfffc0000, 0xcccc0000, 0x55540000, 0xfff40000,
    441   0xfff80000, 0x99980000, 0xaaa80000, 0xffe80000,
    442   0xfff00000, 0x33300000, 0x55500000, 0xffd00000,
    443   0xffe00000, 0x66600000, 0xaaa00000, 0xffa00000,
    444   0xffc00000, 0xccc00000, 0x55400000, 0xff400000,
    445   0xff800000, 0x99800000, 0xaa800000, 0xfe800000,
    446   0xff000000, 0x33000000, 0x55000000, 0xfd000000,
    447   0xfe000000, 0x66000000, 0xaa000000, 0xfa000000,
    448   0xfc000000, 0xcc000000, 0x54000000, 0xf4000000,
    449   0xf8000000, 0x98000000, 0xa8000000, 0xe8000000,
    450   0xf0000000, 0x30000000, 0x50000000, 0xd0000000,
    451   0xe0000000, 0x60000000, 0xa0000000, 0xa0000000,
    452   0xc0000000, 0xc0000000, 0x40000000, 0x40000000,
    453   0x80000000, 0x80000000, 0x80000000, 0x80000000,
    454   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    455   0x66666666, 0xaaaaaaaa, 0xfffffffa, 0xfffffffc,
    456   0xcccccccc, 0x55555554, 0xfffffff4, 0xfffffff8,
    457   0x99999998, 0xaaaaaaa8, 0xffffffe8, 0xfffffff0,
    458   0x33333330, 0x55555550, 0xffffffd0, 0xffffffe0,
    459   0x66666660, 0xaaaaaaa0, 0xffffffa0, 0xffffffc0,
    460   0xccccccc0, 0x55555540, 0xffffff40, 0xffffff80,
    461   0x99999980, 0xaaaaaa80, 0xfffffe80, 0xffffff00,
    462   0x33333300, 0x55555500, 0xfffffd00, 0xfffffe00,
    463   0x66666600, 0xaaaaaa00, 0xfffffa00, 0xfffffc00,
    464   0xcccccc00, 0x55555400, 0xfffff400, 0xfffff800,
    465   0x99999800, 0xaaaaa800, 0xffffe800, 0xfffff000,
    466   0x33333000, 0x55555000, 0xffffd000, 0xffffe000,
    467   0x66666000, 0xaaaaa000, 0xffffa000, 0xffffc000,
    468   0xccccc000, 0x55554000, 0xffff4000, 0xffff8000,
    469   0x99998000, 0xaaaa8000, 0xfffe8000, 0xffff0000,
    470   0x33330000, 0x55550000, 0xfffd0000, 0xfffe0000,
    471   0x66660000, 0xaaaa0000, 0xfffa0000, 0xfffc0000,
    472   0xcccc0000, 0x55540000, 0xfff40000, 0xfff80000,
    473   0x99980000, 0xaaa80000, 0xffe80000, 0xfff00000,
    474   0x33300000, 0x55500000, 0xffd00000, 0xffe00000,
    475   0x66600000, 0xaaa00000, 0xffa00000, 0xffc00000,
    476   0xccc00000, 0x55400000, 0xff400000, 0xff800000,
    477   0x99800000, 0xaa800000, 0xfe800000, 0xff000000,
    478   0x33000000, 0x55000000, 0xfd000000, 0xfe000000,
    479   0x66000000, 0xaa000000, 0xfa000000, 0xfc000000,
    480   0xcc000000, 0x54000000, 0xf4000000, 0xf8000000,
    481   0x98000000, 0xa8000000, 0xe8000000, 0xf0000000,
    482   0x30000000, 0x50000000, 0xd0000000, 0xe0000000,
    483   0x60000000, 0xa0000000, 0xa0000000, 0xc0000000,
    484   0xc0000000, 0x40000000, 0x40000000, 0x80000000,
    485   0x80000000, 0x80000000, 0x80000000, 0x00000000,
    486   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    487   0xaaaaaaaa, 0xfffffffa, 0xfffffffc, 0xfffffffe,
    488   0x55555554, 0xfffffff4, 0xfffffff8, 0xfffffffc,
    489   0xaaaaaaa8, 0xffffffe8, 0xfffffff0, 0xfffffff8,
    490   0x55555550, 0xffffffd0, 0xffffffe0, 0xfffffff0,
    491   0xaaaaaaa0, 0xffffffa0, 0xffffffc0, 0xffffffe0,
    492   0x55555540, 0xffffff40, 0xffffff80, 0xffffffc0,
    493   0xaaaaaa80, 0xfffffe80, 0xffffff00, 0xffffff80,
    494   0x55555500, 0xfffffd00, 0xfffffe00, 0xffffff00,
    495   0xaaaaaa00, 0xfffffa00, 0xfffffc00, 0xfffffe00,
    496   0x55555400, 0xfffff400, 0xfffff800, 0xfffffc00,
    497   0xaaaaa800, 0xffffe800, 0xfffff000, 0xfffff800,
    498   0x55555000, 0xffffd000, 0xffffe000, 0xfffff000,
    499   0xaaaaa000, 0xffffa000, 0xffffc000, 0xffffe000,
    500   0x55554000, 0xffff4000, 0xffff8000, 0xffffc000,
    501   0xaaaa8000, 0xfffe8000, 0xffff0000, 0xffff8000,
    502   0x55550000, 0xfffd0000, 0xfffe0000, 0xffff0000,
    503   0xaaaa0000, 0xfffa0000, 0xfffc0000, 0xfffe0000,
    504   0x55540000, 0xfff40000, 0xfff80000, 0xfffc0000,
    505   0xaaa80000, 0xffe80000, 0xfff00000, 0xfff80000,
    506   0x55500000, 0xffd00000, 0xffe00000, 0xfff00000,
    507   0xaaa00000, 0xffa00000, 0xffc00000, 0xffe00000,
    508   0x55400000, 0xff400000, 0xff800000, 0xffc00000,
    509   0xaa800000, 0xfe800000, 0xff000000, 0xff800000,
    510   0x55000000, 0xfd000000, 0xfe000000, 0xff000000,
    511   0xaa000000, 0xfa000000, 0xfc000000, 0xfe000000,
    512   0x54000000, 0xf4000000, 0xf8000000, 0xfc000000,
    513   0xa8000000, 0xe8000000, 0xf0000000, 0xf8000000,
    514   0x50000000, 0xd0000000, 0xe0000000, 0xf0000000,
    515   0xa0000000, 0xa0000000, 0xc0000000, 0xe0000000,
    516   0x40000000, 0x40000000, 0x80000000, 0xc0000000,
    517   0x80000000, 0x80000000, 0x00000000, 0x80000000,
    518   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
    519   0xfffffffa, 0xfffffffc, 0xfffffffe, 0x00000000,
    520   0xfffffff4, 0xfffffff8, 0xfffffffc, 0x00000000,
    521   0xffffffe8, 0xfffffff0, 0xfffffff8, 0x00000000,
    522   0xffffffd0, 0xffffffe0, 0xfffffff0, 0x00000000,
    523   0xffffffa0, 0xffffffc0, 0xffffffe0, 0x00000000,
    524   0xffffff40, 0xffffff80, 0xffffffc0, 0x00000000,
    525   0xfffffe80, 0xffffff00, 0xffffff80, 0x00000000,
    526   0xfffffd00, 0xfffffe00, 0xffffff00, 0x00000000,
    527   0xfffffa00, 0xfffffc00, 0xfffffe00, 0x00000000,
    528   0xfffff400, 0xfffff800, 0xfffffc00, 0x00000000,
    529   0xffffe800, 0xfffff000, 0xfffff800, 0x00000000,
    530   0xffffd000, 0xffffe000, 0xfffff000, 0x00000000,
    531   0xffffa000, 0xffffc000, 0xffffe000, 0x00000000,
    532   0xffff4000, 0xffff8000, 0xffffc000, 0x00000000,
    533   0xfffe8000, 0xffff0000, 0xffff8000, 0x00000000,
    534   0xfffd0000, 0xfffe0000, 0xffff0000, 0x00000000,
    535   0xfffa0000, 0xfffc0000, 0xfffe0000, 0x00000000,
    536   0xfff40000, 0xfff80000, 0xfffc0000, 0x00000000,
    537   0xffe80000, 0xfff00000, 0xfff80000, 0x00000000,
    538   0xffd00000, 0xffe00000, 0xfff00000, 0x00000000,
    539   0xffa00000, 0xffc00000, 0xffe00000, 0x00000000,
    540   0xff400000, 0xff800000, 0xffc00000, 0x00000000,
    541   0xfe800000, 0xff000000, 0xff800000, 0x00000000,
    542   0xfd000000, 0xfe000000, 0xff000000, 0x00000000,
    543   0xfa000000, 0xfc000000, 0xfe000000, 0x00000000,
    544   0xf4000000, 0xf8000000, 0xfc000000, 0x00000000,
    545   0xe8000000, 0xf0000000, 0xf8000000, 0x00000000,
    546   0xd0000000, 0xe0000000, 0xf0000000, 0x00000000,
    547   0xa0000000, 0xc0000000, 0xe0000000, 0x00000000,
    548   0x40000000, 0x80000000, 0xc0000000, 0x00000000,
    549   0x80000000, 0x00000000, 0x80000000, 0x00000000,
    550   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
    551   0xfffffffc, 0xfffffffe, 0x00000000, 0x00000002,
    552   0xfffffff8, 0xfffffffc, 0x00000000, 0x00000004,
    553   0xfffffff0, 0xfffffff8, 0x00000000, 0x00000008,
    554   0xffffffe0, 0xfffffff0, 0x00000000, 0x00000010,
    555   0xffffffc0, 0xffffffe0, 0x00000000, 0x00000020,
    556   0xffffff80, 0xffffffc0, 0x00000000, 0x00000040,
    557   0xffffff00, 0xffffff80, 0x00000000, 0x00000080,
    558   0xfffffe00, 0xffffff00, 0x00000000, 0x00000100,
    559   0xfffffc00, 0xfffffe00, 0x00000000, 0x00000200,
    560   0xfffff800, 0xfffffc00, 0x00000000, 0x00000400,
    561   0xfffff000, 0xfffff800, 0x00000000, 0x00000800,
    562   0xffffe000, 0xfffff000, 0x00000000, 0x00001000,
    563   0xffffc000, 0xffffe000, 0x00000000, 0x00002000,
    564   0xffff8000, 0xffffc000, 0x00000000, 0x00004000,
    565   0xffff0000, 0xffff8000, 0x00000000, 0x00008000,
    566   0xfffe0000, 0xffff0000, 0x00000000, 0x00010000,
    567   0xfffc0000, 0xfffe0000, 0x00000000, 0x00020000,
    568   0xfff80000, 0xfffc0000, 0x00000000, 0x00040000,
    569   0xfff00000, 0xfff80000, 0x00000000, 0x00080000,
    570   0xffe00000, 0xfff00000, 0x00000000, 0x00100000,
    571   0xffc00000, 0xffe00000, 0x00000000, 0x00200000,
    572   0xff800000, 0xffc00000, 0x00000000, 0x00400000,
    573   0xff000000, 0xff800000, 0x00000000, 0x00800000,
    574   0xfe000000, 0xff000000, 0x00000000, 0x01000000,
    575   0xfc000000, 0xfe000000, 0x00000000, 0x02000000,
    576   0xf8000000, 0xfc000000, 0x00000000, 0x04000000,
    577   0xf0000000, 0xf8000000, 0x00000000, 0x08000000,
    578   0xe0000000, 0xf0000000, 0x00000000, 0x10000000,
    579   0xc0000000, 0xe0000000, 0x00000000, 0x20000000,
    580   0x80000000, 0xc0000000, 0x00000000, 0x40000000,
    581   0x00000000, 0x80000000, 0x00000000, 0x80000000,
    582   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
    583   0xfffffffe, 0x00000000, 0x00000002, 0x55555554,
    584   0xfffffffc, 0x00000000, 0x00000004, 0xaaaaaaa8,
    585   0xfffffff8, 0x00000000, 0x00000008, 0x55555550,
    586   0xfffffff0, 0x00000000, 0x00000010, 0xaaaaaaa0,
    587   0xffffffe0, 0x00000000, 0x00000020, 0x55555540,
    588   0xffffffc0, 0x00000000, 0x00000040, 0xaaaaaa80,
    589   0xffffff80, 0x00000000, 0x00000080, 0x55555500,
    590   0xffffff00, 0x00000000, 0x00000100, 0xaaaaaa00,
    591   0xfffffe00, 0x00000000, 0x00000200, 0x55555400,
    592   0xfffffc00, 0x00000000, 0x00000400, 0xaaaaa800,
    593   0xfffff800, 0x00000000, 0x00000800, 0x55555000,
    594   0xfffff000, 0x00000000, 0x00001000, 0xaaaaa000,
    595   0xffffe000, 0x00000000, 0x00002000, 0x55554000,
    596   0xffffc000, 0x00000000, 0x00004000, 0xaaaa8000,
    597   0xffff8000, 0x00000000, 0x00008000, 0x55550000,
    598   0xffff0000, 0x00000000, 0x00010000, 0xaaaa0000,
    599   0xfffe0000, 0x00000000, 0x00020000, 0x55540000,
    600   0xfffc0000, 0x00000000, 0x00040000, 0xaaa80000,
    601   0xfff80000, 0x00000000, 0x00080000, 0x55500000,
    602   0xfff00000, 0x00000000, 0x00100000, 0xaaa00000,
    603   0xffe00000, 0x00000000, 0x00200000, 0x55400000,
    604   0xffc00000, 0x00000000, 0x00400000, 0xaa800000,
    605   0xff800000, 0x00000000, 0x00800000, 0x55000000,
    606   0xff000000, 0x00000000, 0x01000000, 0xaa000000,
    607   0xfe000000, 0x00000000, 0x02000000, 0x54000000,
    608   0xfc000000, 0x00000000, 0x04000000, 0xa8000000,
    609   0xf8000000, 0x00000000, 0x08000000, 0x50000000,
    610   0xf0000000, 0x00000000, 0x10000000, 0xa0000000,
    611   0xe0000000, 0x00000000, 0x20000000, 0x40000000,
    612   0xc0000000, 0x00000000, 0x40000000, 0x80000000,
    613   0x80000000, 0x00000000, 0x80000000, 0x00000000,
    614   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
    615   0x00000000, 0x00000002, 0x55555554, 0x99999998,
    616   0x00000000, 0x00000004, 0xaaaaaaa8, 0x33333330,
    617   0x00000000, 0x00000008, 0x55555550, 0x66666660,
    618   0x00000000, 0x00000010, 0xaaaaaaa0, 0xccccccc0,
    619   0x00000000, 0x00000020, 0x55555540, 0x99999980,
    620   0x00000000, 0x00000040, 0xaaaaaa80, 0x33333300,
    621   0x00000000, 0x00000080, 0x55555500, 0x66666600,
    622   0x00000000, 0x00000100, 0xaaaaaa00, 0xcccccc00,
    623   0x00000000, 0x00000200, 0x55555400, 0x99999800,
    624   0x00000000, 0x00000400, 0xaaaaa800, 0x33333000,
    625   0x00000000, 0x00000800, 0x55555000, 0x66666000,
    626   0x00000000, 0x00001000, 0xaaaaa000, 0xccccc000,
    627   0x00000000, 0x00002000, 0x55554000, 0x99998000,
    628   0x00000000, 0x00004000, 0xaaaa8000, 0x33330000,
    629   0x00000000, 0x00008000, 0x55550000, 0x66660000,
    630   0x00000000, 0x00010000, 0xaaaa0000, 0xcccc0000,
    631   0x00000000, 0x00020000, 0x55540000, 0x99980000,
    632   0x00000000, 0x00040000, 0xaaa80000, 0x33300000,
    633   0x00000000, 0x00080000, 0x55500000, 0x66600000,
    634   0x00000000, 0x00100000, 0xaaa00000, 0xccc00000,
    635   0x00000000, 0x00200000, 0x55400000, 0x99800000,
    636   0x00000000, 0x00400000, 0xaa800000, 0x33000000,
    637   0x00000000, 0x00800000, 0x55000000, 0x66000000,
    638   0x00000000, 0x01000000, 0xaa000000, 0xcc000000,
    639   0x00000000, 0x02000000, 0x54000000, 0x98000000,
    640   0x00000000, 0x04000000, 0xa8000000, 0x30000000,
    641   0x00000000, 0x08000000, 0x50000000, 0x60000000,
    642   0x00000000, 0x10000000, 0xa0000000, 0xc0000000,
    643   0x00000000, 0x20000000, 0x40000000, 0x80000000,
    644   0x00000000, 0x40000000, 0x80000000, 0x00000000,
    645   0x00000000, 0x80000000, 0x00000000, 0x00000000,
    646   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
    647   0x00000002, 0x55555554, 0x99999998, 0xffff0000,
    648   0x00000004, 0xaaaaaaa8, 0x33333330, 0xfffe0000,
    649   0x00000008, 0x55555550, 0x66666660, 0xfffc0000,
    650   0x00000010, 0xaaaaaaa0, 0xccccccc0, 0xfff80000,
    651   0x00000020, 0x55555540, 0x99999980, 0xfff00000,
    652   0x00000040, 0xaaaaaa80, 0x33333300, 0xffe00000,
    653   0x00000080, 0x55555500, 0x66666600, 0xffc00000,
    654   0x00000100, 0xaaaaaa00, 0xcccccc00, 0xff800000,
    655   0x00000200, 0x55555400, 0x99999800, 0xff000000,
    656   0x00000400, 0xaaaaa800, 0x33333000, 0xfe000000,
    657   0x00000800, 0x55555000, 0x66666000, 0xfc000000,
    658   0x00001000, 0xaaaaa000, 0xccccc000, 0xf8000000,
    659   0x00002000, 0x55554000, 0x99998000, 0xf0000000,
    660   0x00004000, 0xaaaa8000, 0x33330000, 0xe0000000,
    661   0x00008000, 0x55550000, 0x66660000, 0xc0000000,
    662   0x00010000, 0xaaaa0000, 0xcccc0000, 0x80000000,
    663   0x00020000, 0x55540000, 0x99980000, 0x00000000,
    664   0x00040000, 0xaaa80000, 0x33300000, 0x00000000,
    665   0x00080000, 0x55500000, 0x66600000, 0x00000000,
    666   0x00100000, 0xaaa00000, 0xccc00000, 0x00000000,
    667   0x00200000, 0x55400000, 0x99800000, 0x00000000,
    668   0x00400000, 0xaa800000, 0x33000000, 0x00000000,
    669   0x00800000, 0x55000000, 0x66000000, 0x00000000,
    670   0x01000000, 0xaa000000, 0xcc000000, 0x00000000,
    671   0x02000000, 0x54000000, 0x98000000, 0x00000000,
    672   0x04000000, 0xa8000000, 0x30000000, 0x00000000,
    673   0x08000000, 0x50000000, 0x60000000, 0x00000000,
    674   0x10000000, 0xa0000000, 0xc0000000, 0x00000000,
    675   0x20000000, 0x40000000, 0x80000000, 0x00000000,
    676   0x40000000, 0x80000000, 0x00000000, 0x00000000,
    677   0x80000000, 0x00000000, 0x00000000, 0x00000000,
    678   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
    679   0x55555554, 0x99999998, 0xffff0000, 0xffff0002,
    680   0xaaaaaaa8, 0x33333330, 0xfffe0000, 0xfffe0004,
    681   0x55555550, 0x66666660, 0xfffc0000, 0xfffc0008,
    682   0xaaaaaaa0, 0xccccccc0, 0xfff80000, 0xfff80010,
    683   0x55555540, 0x99999980, 0xfff00000, 0xfff00020,
    684   0xaaaaaa80, 0x33333300, 0xffe00000, 0xffe00040,
    685   0x55555500, 0x66666600, 0xffc00000, 0xffc00080,
    686   0xaaaaaa00, 0xcccccc00, 0xff800000, 0xff800100,
    687   0x55555400, 0x99999800, 0xff000000, 0xff000200,
    688   0xaaaaa800, 0x33333000, 0xfe000000, 0xfe000400,
    689   0x55555000, 0x66666000, 0xfc000000, 0xfc000800,
    690   0xaaaaa000, 0xccccc000, 0xf8000000, 0xf8001000,
    691   0x55554000, 0x99998000, 0xf0000000, 0xf0002000,
    692   0xaaaa8000, 0x33330000, 0xe0000000, 0xe0004000,
    693   0x55550000, 0x66660000, 0xc0000000, 0xc0008000,
    694   0xaaaa0000, 0xcccc0000, 0x80000000, 0x80010000,
    695   0x55540000, 0x99980000, 0x00000000, 0x00020000,
    696   0xaaa80000, 0x33300000, 0x00000000, 0x00040000,
    697   0x55500000, 0x66600000, 0x00000000, 0x00080000,
    698   0xaaa00000, 0xccc00000, 0x00000000, 0x00100000,
    699   0x55400000, 0x99800000, 0x00000000, 0x00200000,
    700   0xaa800000, 0x33000000, 0x00000000, 0x00400000,
    701   0x55000000, 0x66000000, 0x00000000, 0x00800000,
    702   0xaa000000, 0xcc000000, 0x00000000, 0x01000000,
    703   0x54000000, 0x98000000, 0x00000000, 0x02000000,
    704   0xa8000000, 0x30000000, 0x00000000, 0x04000000,
    705   0x50000000, 0x60000000, 0x00000000, 0x08000000,
    706   0xa0000000, 0xc0000000, 0x00000000, 0x10000000,
    707   0x40000000, 0x80000000, 0x00000000, 0x20000000,
    708   0x80000000, 0x00000000, 0x00000000, 0x40000000,
    709   0x00000000, 0x00000000, 0x00000000, 0x80000000,
    710   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    711   0x99999998, 0xffff0000, 0xffff0002, 0xffff0004,
    712   0x33333330, 0xfffe0000, 0xfffe0004, 0xfffe0008,
    713   0x66666660, 0xfffc0000, 0xfffc0008, 0xfffc0010,
    714   0xccccccc0, 0xfff80000, 0xfff80010, 0xfff80020,
    715   0x99999980, 0xfff00000, 0xfff00020, 0xfff00040,
    716   0x33333300, 0xffe00000, 0xffe00040, 0xffe00080,
    717   0x66666600, 0xffc00000, 0xffc00080, 0xffc00100,
    718   0xcccccc00, 0xff800000, 0xff800100, 0xff800200,
    719   0x99999800, 0xff000000, 0xff000200, 0xff000400,
    720   0x33333000, 0xfe000000, 0xfe000400, 0xfe000800,
    721   0x66666000, 0xfc000000, 0xfc000800, 0xfc001000,
    722   0xccccc000, 0xf8000000, 0xf8001000, 0xf8002000,
    723   0x99998000, 0xf0000000, 0xf0002000, 0xf0004000,
    724   0x33330000, 0xe0000000, 0xe0004000, 0xe0008000,
    725   0x66660000, 0xc0000000, 0xc0008000, 0xc0010000,
    726   0xcccc0000, 0x80000000, 0x80010000, 0x80020000,
    727   0x99980000, 0x00000000, 0x00020000, 0x00040000,
    728   0x33300000, 0x00000000, 0x00040000, 0x00080000,
    729   0x66600000, 0x00000000, 0x00080000, 0x00100000,
    730   0xccc00000, 0x00000000, 0x00100000, 0x00200000,
    731   0x99800000, 0x00000000, 0x00200000, 0x00400000,
    732   0x33000000, 0x00000000, 0x00400000, 0x00800000,
    733   0x66000000, 0x00000000, 0x00800000, 0x01000000,
    734   0xcc000000, 0x00000000, 0x01000000, 0x02000000,
    735   0x98000000, 0x00000000, 0x02000000, 0x04000000,
    736   0x30000000, 0x00000000, 0x04000000, 0x08000000,
    737   0x60000000, 0x00000000, 0x08000000, 0x10000000,
    738   0xc0000000, 0x00000000, 0x10000000, 0x20000000,
    739   0x80000000, 0x00000000, 0x20000000, 0x40000000,
    740   0x00000000, 0x00000000, 0x40000000, 0x80000000,
    741   0x00000000, 0x00000000, 0x80000000, 0x00000000,
    742   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    743   0xffff0000, 0xffff0002, 0xffff0004, 0xffff0006,
    744   0xfffe0000, 0xfffe0004, 0xfffe0008, 0xfffe000c,
    745   0xfffc0000, 0xfffc0008, 0xfffc0010, 0xfffc0018,
    746   0xfff80000, 0xfff80010, 0xfff80020, 0xfff80030,
    747   0xfff00000, 0xfff00020, 0xfff00040, 0xfff00060,
    748   0xffe00000, 0xffe00040, 0xffe00080, 0xffe000c0,
    749   0xffc00000, 0xffc00080, 0xffc00100, 0xffc00180,
    750   0xff800000, 0xff800100, 0xff800200, 0xff800300,
    751   0xff000000, 0xff000200, 0xff000400, 0xff000600,
    752   0xfe000000, 0xfe000400, 0xfe000800, 0xfe000c00,
    753   0xfc000000, 0xfc000800, 0xfc001000, 0xfc001800,
    754   0xf8000000, 0xf8001000, 0xf8002000, 0xf8003000,
    755   0xf0000000, 0xf0002000, 0xf0004000, 0xf0006000,
    756   0xe0000000, 0xe0004000, 0xe0008000, 0xe000c000,
    757   0xc0000000, 0xc0008000, 0xc0010000, 0xc0018000,
    758   0x80000000, 0x80010000, 0x80020000, 0x80030000,
    759   0x00000000, 0x00020000, 0x00040000, 0x00060000,
    760   0x00000000, 0x00040000, 0x00080000, 0x000c0000,
    761   0x00000000, 0x00080000, 0x00100000, 0x00180000,
    762   0x00000000, 0x00100000, 0x00200000, 0x00300000,
    763   0x00000000, 0x00200000, 0x00400000, 0x00600000,
    764   0x00000000, 0x00400000, 0x00800000, 0x00c00000,
    765   0x00000000, 0x00800000, 0x01000000, 0x01800000,
    766   0x00000000, 0x01000000, 0x02000000, 0x03000000,
    767   0x00000000, 0x02000000, 0x04000000, 0x06000000,
    768   0x00000000, 0x04000000, 0x08000000, 0x0c000000,
    769   0x00000000, 0x08000000, 0x10000000, 0x18000000,
    770   0x00000000, 0x10000000, 0x20000000, 0x30000000,
    771   0x00000000, 0x20000000, 0x40000000, 0x60000000,
    772   0x00000000, 0x40000000, 0x80000000, 0xc0000000,
    773   0x00000000, 0x80000000, 0x00000000, 0x80000000,
    774   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    775   0xffff0002, 0xffff0004, 0xffff0006, 0xffffff00,
    776   0xfffe0004, 0xfffe0008, 0xfffe000c, 0xfffffe00,
    777   0xfffc0008, 0xfffc0010, 0xfffc0018, 0xfffffc00,
    778   0xfff80010, 0xfff80020, 0xfff80030, 0xfffff800,
    779   0xfff00020, 0xfff00040, 0xfff00060, 0xfffff000,
    780   0xffe00040, 0xffe00080, 0xffe000c0, 0xffffe000,
    781   0xffc00080, 0xffc00100, 0xffc00180, 0xffffc000,
    782   0xff800100, 0xff800200, 0xff800300, 0xffff8000,
    783   0xff000200, 0xff000400, 0xff000600, 0xffff0000,
    784   0xfe000400, 0xfe000800, 0xfe000c00, 0xfffe0000,
    785   0xfc000800, 0xfc001000, 0xfc001800, 0xfffc0000,
    786   0xf8001000, 0xf8002000, 0xf8003000, 0xfff80000,
    787   0xf0002000, 0xf0004000, 0xf0006000, 0xfff00000,
    788   0xe0004000, 0xe0008000, 0xe000c000, 0xffe00000,
    789   0xc0008000, 0xc0010000, 0xc0018000, 0xffc00000,
    790   0x80010000, 0x80020000, 0x80030000, 0xff800000,
    791   0x00020000, 0x00040000, 0x00060000, 0xff000000,
    792   0x00040000, 0x00080000, 0x000c0000, 0xfe000000,
    793   0x00080000, 0x00100000, 0x00180000, 0xfc000000,
    794   0x00100000, 0x00200000, 0x00300000, 0xf8000000,
    795   0x00200000, 0x00400000, 0x00600000, 0xf0000000,
    796   0x00400000, 0x00800000, 0x00c00000, 0xe0000000,
    797   0x00800000, 0x01000000, 0x01800000, 0xc0000000,
    798   0x01000000, 0x02000000, 0x03000000, 0x80000000,
    799   0x02000000, 0x04000000, 0x06000000, 0x00000000,
    800   0x04000000, 0x08000000, 0x0c000000, 0x00000000,
    801   0x08000000, 0x10000000, 0x18000000, 0x00000000,
    802   0x10000000, 0x20000000, 0x30000000, 0x00000000,
    803   0x20000000, 0x40000000, 0x60000000, 0x00000000,
    804   0x40000000, 0x80000000, 0xc0000000, 0x00000000,
    805   0x80000000, 0x00000000, 0x80000000, 0x00000000,
    806   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    807   0xffff0004, 0xffff0006, 0xffffff00, 0xffffff02,
    808   0xfffe0008, 0xfffe000c, 0xfffffe00, 0xfffffe04,
    809   0xfffc0010, 0xfffc0018, 0xfffffc00, 0xfffffc08,
    810   0xfff80020, 0xfff80030, 0xfffff800, 0xfffff810,
    811   0xfff00040, 0xfff00060, 0xfffff000, 0xfffff020,
    812   0xffe00080, 0xffe000c0, 0xffffe000, 0xffffe040,
    813   0xffc00100, 0xffc00180, 0xffffc000, 0xffffc080,
    814   0xff800200, 0xff800300, 0xffff8000, 0xffff8100,
    815   0xff000400, 0xff000600, 0xffff0000, 0xffff0200,
    816   0xfe000800, 0xfe000c00, 0xfffe0000, 0xfffe0400,
    817   0xfc001000, 0xfc001800, 0xfffc0000, 0xfffc0800,
    818   0xf8002000, 0xf8003000, 0xfff80000, 0xfff81000,
    819   0xf0004000, 0xf0006000, 0xfff00000, 0xfff02000,
    820   0xe0008000, 0xe000c000, 0xffe00000, 0xffe04000,
    821   0xc0010000, 0xc0018000, 0xffc00000, 0xffc08000,
    822   0x80020000, 0x80030000, 0xff800000, 0xff810000,
    823   0x00040000, 0x00060000, 0xff000000, 0xff020000,
    824   0x00080000, 0x000c0000, 0xfe000000, 0xfe040000,
    825   0x00100000, 0x00180000, 0xfc000000, 0xfc080000,
    826   0x00200000, 0x00300000, 0xf8000000, 0xf8100000,
    827   0x00400000, 0x00600000, 0xf0000000, 0xf0200000,
    828   0x00800000, 0x00c00000, 0xe0000000, 0xe0400000,
    829   0x01000000, 0x01800000, 0xc0000000, 0xc0800000,
    830   0x02000000, 0x03000000, 0x80000000, 0x81000000,
    831   0x04000000, 0x06000000, 0x00000000, 0x02000000,
    832   0x08000000, 0x0c000000, 0x00000000, 0x04000000,
    833   0x10000000, 0x18000000, 0x00000000, 0x08000000,
    834   0x20000000, 0x30000000, 0x00000000, 0x10000000,
    835   0x40000000, 0x60000000, 0x00000000, 0x20000000,
    836   0x80000000, 0xc0000000, 0x00000000, 0x40000000,
    837   0x00000000, 0x80000000, 0x00000000, 0x80000000,
    838   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    839   0xffff0006, 0xffffff00, 0xffffff02, 0xffffff04,
    840   0xfffe000c, 0xfffffe00, 0xfffffe04, 0xfffffe08,
    841   0xfffc0018, 0xfffffc00, 0xfffffc08, 0xfffffc10,
    842   0xfff80030, 0xfffff800, 0xfffff810, 0xfffff820,
    843   0xfff00060, 0xfffff000, 0xfffff020, 0xfffff040,
    844   0xffe000c0, 0xffffe000, 0xffffe040, 0xffffe080,
    845   0xffc00180, 0xffffc000, 0xffffc080, 0xffffc100,
    846   0xff800300, 0xffff8000, 0xffff8100, 0xffff8200,
    847   0xff000600, 0xffff0000, 0xffff0200, 0xffff0400,
    848   0xfe000c00, 0xfffe0000, 0xfffe0400, 0xfffe0800,
    849   0xfc001800, 0xfffc0000, 0xfffc0800, 0xfffc1000,
    850   0xf8003000, 0xfff80000, 0xfff81000, 0xfff82000,
    851   0xf0006000, 0xfff00000, 0xfff02000, 0xfff04000,
    852   0xe000c000, 0xffe00000, 0xffe04000, 0xffe08000,
    853   0xc0018000, 0xffc00000, 0xffc08000, 0xffc10000,
    854   0x80030000, 0xff800000, 0xff810000, 0xff820000,
    855   0x00060000, 0xff000000, 0xff020000, 0xff040000,
    856   0x000c0000, 0xfe000000, 0xfe040000, 0xfe080000,
    857   0x00180000, 0xfc000000, 0xfc080000, 0xfc100000,
    858   0x00300000, 0xf8000000, 0xf8100000, 0xf8200000,
    859   0x00600000, 0xf0000000, 0xf0200000, 0xf0400000,
    860   0x00c00000, 0xe0000000, 0xe0400000, 0xe0800000,
    861   0x01800000, 0xc0000000, 0xc0800000, 0xc1000000,
    862   0x03000000, 0x80000000, 0x81000000, 0x82000000,
    863   0x06000000, 0x00000000, 0x02000000, 0x04000000,
    864   0x0c000000, 0x00000000, 0x04000000, 0x08000000,
    865   0x18000000, 0x00000000, 0x08000000, 0x10000000,
    866   0x30000000, 0x00000000, 0x10000000, 0x20000000,
    867   0x60000000, 0x00000000, 0x20000000, 0x40000000,
    868   0xc0000000, 0x00000000, 0x40000000, 0x80000000,
    869   0x80000000, 0x00000000, 0x80000000, 0x00000000,
    870   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    871   0xffffff00, 0xffffff02, 0xffffff04, 0xffffff06,
    872   0xfffffe00, 0xfffffe04, 0xfffffe08, 0xfffffe0c,
    873   0xfffffc00, 0xfffffc08, 0xfffffc10, 0xfffffc18,
    874   0xfffff800, 0xfffff810, 0xfffff820, 0xfffff830,
    875   0xfffff000, 0xfffff020, 0xfffff040, 0xfffff060,
    876   0xffffe000, 0xffffe040, 0xffffe080, 0xffffe0c0,
    877   0xffffc000, 0xffffc080, 0xffffc100, 0xffffc180,
    878   0xffff8000, 0xffff8100, 0xffff8200, 0xffff8300,
    879   0xffff0000, 0xffff0200, 0xffff0400, 0xffff0600,
    880   0xfffe0000, 0xfffe0400, 0xfffe0800, 0xfffe0c00,
    881   0xfffc0000, 0xfffc0800, 0xfffc1000, 0xfffc1800,
    882   0xfff80000, 0xfff81000, 0xfff82000, 0xfff83000,
    883   0xfff00000, 0xfff02000, 0xfff04000, 0xfff06000,
    884   0xffe00000, 0xffe04000, 0xffe08000, 0xffe0c000,
    885   0xffc00000, 0xffc08000, 0xffc10000, 0xffc18000,
    886   0xff800000, 0xff810000, 0xff820000, 0xff830000,
    887   0xff000000, 0xff020000, 0xff040000, 0xff060000,
    888   0xfe000000, 0xfe040000, 0xfe080000, 0xfe0c0000,
    889   0xfc000000, 0xfc080000, 0xfc100000, 0xfc180000,
    890   0xf8000000, 0xf8100000, 0xf8200000, 0xf8300000,
    891   0xf0000000, 0xf0200000, 0xf0400000, 0xf0600000,
    892   0xe0000000, 0xe0400000, 0xe0800000, 0xe0c00000,
    893   0xc0000000, 0xc0800000, 0xc1000000, 0xc1800000,
    894   0x80000000, 0x81000000, 0x82000000, 0x83000000,
    895   0x00000000, 0x02000000, 0x04000000, 0x06000000,
    896   0x00000000, 0x04000000, 0x08000000, 0x0c000000,
    897   0x00000000, 0x08000000, 0x10000000, 0x18000000,
    898   0x00000000, 0x10000000, 0x20000000, 0x30000000,
    899   0x00000000, 0x20000000, 0x40000000, 0x60000000,
    900   0x00000000, 0x40000000, 0x80000000, 0xc0000000,
    901   0x00000000, 0x80000000, 0x00000000, 0x80000000,
    902   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    903   0xffffff02, 0xffffff04, 0xffffff06, 0xffffffc0,
    904   0xfffffe04, 0xfffffe08, 0xfffffe0c, 0xffffff80,
    905   0xfffffc08, 0xfffffc10, 0xfffffc18, 0xffffff00,
    906   0xfffff810, 0xfffff820, 0xfffff830, 0xfffffe00,
    907   0xfffff020, 0xfffff040, 0xfffff060, 0xfffffc00,
    908   0xffffe040, 0xffffe080, 0xffffe0c0, 0xfffff800,
    909   0xffffc080, 0xffffc100, 0xffffc180, 0xfffff000,
    910   0xffff8100, 0xffff8200, 0xffff8300, 0xffffe000,
    911   0xffff0200, 0xffff0400, 0xffff0600, 0xffffc000,
    912   0xfffe0400, 0xfffe0800, 0xfffe0c00, 0xffff8000,
    913   0xfffc0800, 0xfffc1000, 0xfffc1800, 0xffff0000,
    914   0xfff81000, 0xfff82000, 0xfff83000, 0xfffe0000,
    915   0xfff02000, 0xfff04000, 0xfff06000, 0xfffc0000,
    916   0xffe04000, 0xffe08000, 0xffe0c000, 0xfff80000,
    917   0xffc08000, 0xffc10000, 0xffc18000, 0xfff00000,
    918   0xff810000, 0xff820000, 0xff830000, 0xffe00000,
    919   0xff020000, 0xff040000, 0xff060000, 0xffc00000,
    920   0xfe040000, 0xfe080000, 0xfe0c0000, 0xff800000,
    921   0xfc080000, 0xfc100000, 0xfc180000, 0xff000000,
    922   0xf8100000, 0xf8200000, 0xf8300000, 0xfe000000,
    923   0xf0200000, 0xf0400000, 0xf0600000, 0xfc000000,
    924   0xe0400000, 0xe0800000, 0xe0c00000, 0xf8000000,
    925   0xc0800000, 0xc1000000, 0xc1800000, 0xf0000000,
    926   0x81000000, 0x82000000, 0x83000000, 0xe0000000,
    927   0x02000000, 0x04000000, 0x06000000, 0xc0000000,
    928   0x04000000, 0x08000000, 0x0c000000, 0x80000000,
    929   0x08000000, 0x10000000, 0x18000000, 0x00000000,
    930   0x10000000, 0x20000000, 0x30000000, 0x00000000,
    931   0x20000000, 0x40000000, 0x60000000, 0x00000000,
    932   0x40000000, 0x80000000, 0xc0000000, 0x00000000,
    933   0x80000000, 0x00000000, 0x80000000, 0x00000000,
    934   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    935   0xffffff04, 0xffffff06, 0xffffffc0, 0xfffffffa,
    936   0xfffffe08, 0xfffffe0c, 0xffffff80, 0xfffffff4,
    937   0xfffffc10, 0xfffffc18, 0xffffff00, 0xffffffe8,
    938   0xfffff820, 0xfffff830, 0xfffffe00, 0xffffffd0,
    939   0xfffff040, 0xfffff060, 0xfffffc00, 0xffffffa0,
    940   0xffffe080, 0xffffe0c0, 0xfffff800, 0xffffff40,
    941   0xffffc100, 0xffffc180, 0xfffff000, 0xfffffe80,
    942   0xffff8200, 0xffff8300, 0xffffe000, 0xfffffd00,
    943   0xffff0400, 0xffff0600, 0xffffc000, 0xfffffa00,
    944   0xfffe0800, 0xfffe0c00, 0xffff8000, 0xfffff400,
    945   0xfffc1000, 0xfffc1800, 0xffff0000, 0xffffe800,
    946   0xfff82000, 0xfff83000, 0xfffe0000, 0xffffd000,
    947   0xfff04000, 0xfff06000, 0xfffc0000, 0xffffa000,
    948   0xffe08000, 0xffe0c000, 0xfff80000, 0xffff4000,
    949   0xffc10000, 0xffc18000, 0xfff00000, 0xfffe8000,
    950   0xff820000, 0xff830000, 0xffe00000, 0xfffd0000,
    951   0xff040000, 0xff060000, 0xffc00000, 0xfffa0000,
    952   0xfe080000, 0xfe0c0000, 0xff800000, 0xfff40000,
    953   0xfc100000, 0xfc180000, 0xff000000, 0xffe80000,
    954   0xf8200000, 0xf8300000, 0xfe000000, 0xffd00000,
    955   0xf0400000, 0xf0600000, 0xfc000000, 0xffa00000,
    956   0xe0800000, 0xe0c00000, 0xf8000000, 0xff400000,
    957   0xc1000000, 0xc1800000, 0xf0000000, 0xfe800000,
    958   0x82000000, 0x83000000, 0xe0000000, 0xfd000000,
    959   0x04000000, 0x06000000, 0xc0000000, 0xfa000000,
    960   0x08000000, 0x0c000000, 0x80000000, 0xf4000000,
    961   0x10000000, 0x18000000, 0x00000000, 0xe8000000,
    962   0x20000000, 0x30000000, 0x00000000, 0xd0000000,
    963   0x40000000, 0x60000000, 0x00000000, 0xa0000000,
    964   0x80000000, 0xc0000000, 0x00000000, 0x40000000,
    965   0x00000000, 0x80000000, 0x00000000, 0x80000000,
    966   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    967   0xffffff06, 0xffffffc0, 0xfffffffa, 0xfffffffc,
    968   0xfffffe0c, 0xffffff80, 0xfffffff4, 0xfffffff8,
    969   0xfffffc18, 0xffffff00, 0xffffffe8, 0xfffffff0,
    970   0xfffff830, 0xfffffe00, 0xffffffd0, 0xffffffe0,
    971   0xfffff060, 0xfffffc00, 0xffffffa0, 0xffffffc0,
    972   0xffffe0c0, 0xfffff800, 0xffffff40, 0xffffff80,
    973   0xffffc180, 0xfffff000, 0xfffffe80, 0xffffff00,
    974   0xffff8300, 0xffffe000, 0xfffffd00, 0xfffffe00,
    975   0xffff0600, 0xffffc000, 0xfffffa00, 0xfffffc00,
    976   0xfffe0c00, 0xffff8000, 0xfffff400, 0xfffff800,
    977   0xfffc1800, 0xffff0000, 0xffffe800, 0xfffff000,
    978   0xfff83000, 0xfffe0000, 0xffffd000, 0xffffe000,
    979   0xfff06000, 0xfffc0000, 0xffffa000, 0xffffc000,
    980   0xffe0c000, 0xfff80000, 0xffff4000, 0xffff8000,
    981   0xffc18000, 0xfff00000, 0xfffe8000, 0xffff0000,
    982   0xff830000, 0xffe00000, 0xfffd0000, 0xfffe0000,
    983   0xff060000, 0xffc00000, 0xfffa0000, 0xfffc0000,
    984   0xfe0c0000, 0xff800000, 0xfff40000, 0xfff80000,
    985   0xfc180000, 0xff000000, 0xffe80000, 0xfff00000,
    986   0xf8300000, 0xfe000000, 0xffd00000, 0xffe00000,
    987   0xf0600000, 0xfc000000, 0xffa00000, 0xffc00000,
    988   0xe0c00000, 0xf8000000, 0xff400000, 0xff800000,
    989   0xc1800000, 0xf0000000, 0xfe800000, 0xff000000,
    990   0x83000000, 0xe0000000, 0xfd000000, 0xfe000000,
    991   0x06000000, 0xc0000000, 0xfa000000, 0xfc000000,
    992   0x0c000000, 0x80000000, 0xf4000000, 0xf8000000,
    993   0x18000000, 0x00000000, 0xe8000000, 0xf0000000,
    994   0x30000000, 0x00000000, 0xd0000000, 0xe0000000,
    995   0x60000000, 0x00000000, 0xa0000000, 0xc0000000,
    996   0xc0000000, 0x00000000, 0x40000000, 0x80000000,
    997   0x80000000, 0x00000000, 0x80000000, 0x00000000,
    998   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    999   0xffffffc0, 0xfffffffa, 0xfffffffc, 0xfffffffe,
   1000   0xffffff80, 0xfffffff4, 0xfffffff8, 0xfffffffc,
   1001   0xffffff00, 0xffffffe8, 0xfffffff0, 0xfffffff8,
   1002   0xfffffe00, 0xffffffd0, 0xffffffe0, 0xfffffff0,
   1003   0xfffffc00, 0xffffffa0, 0xffffffc0, 0xffffffe0,
   1004   0xfffff800, 0xffffff40, 0xffffff80, 0xffffffc0,
   1005   0xfffff000, 0xfffffe80, 0xffffff00, 0xffffff80,
   1006   0xffffe000, 0xfffffd00, 0xfffffe00, 0xffffff00,
   1007   0xffffc000, 0xfffffa00, 0xfffffc00, 0xfffffe00,
   1008   0xffff8000, 0xfffff400, 0xfffff800, 0xfffffc00,
   1009   0xffff0000, 0xffffe800, 0xfffff000, 0xfffff800,
   1010   0xfffe0000, 0xffffd000, 0xffffe000, 0xfffff000,
   1011   0xfffc0000, 0xffffa000, 0xffffc000, 0xffffe000,
   1012   0xfff80000, 0xffff4000, 0xffff8000, 0xffffc000,
   1013   0xfff00000, 0xfffe8000, 0xffff0000, 0xffff8000,
   1014   0xffe00000, 0xfffd0000, 0xfffe0000, 0xffff0000,
   1015   0xffc00000, 0xfffa0000, 0xfffc0000, 0xfffe0000,
   1016   0xff800000, 0xfff40000, 0xfff80000, 0xfffc0000,
   1017   0xff000000, 0xffe80000, 0xfff00000, 0xfff80000,
   1018   0xfe000000, 0xffd00000, 0xffe00000, 0xfff00000,
   1019   0xfc000000, 0xffa00000, 0xffc00000, 0xffe00000,
   1020   0xf8000000, 0xff400000, 0xff800000, 0xffc00000,
   1021   0xf0000000, 0xfe800000, 0xff000000, 0xff800000,
   1022   0xe0000000, 0xfd000000, 0xfe000000, 0xff000000,
   1023   0xc0000000, 0xfa000000, 0xfc000000, 0xfe000000,
   1024   0x80000000, 0xf4000000, 0xf8000000, 0xfc000000,
   1025   0x00000000, 0xe8000000, 0xf0000000, 0xf8000000,
   1026   0x00000000, 0xd0000000, 0xe0000000, 0xf0000000,
   1027   0x00000000, 0xa0000000, 0xc0000000, 0xe0000000,
   1028   0x00000000, 0x40000000, 0x80000000, 0xc0000000,
   1029   0x00000000, 0x80000000, 0x00000000, 0x80000000,
   1030 };
   1031 const unsigned kExpectedCount_NEON_shl_4S_2OPIMM = 992;
   1032 
   1033 #endif  // VIXL_SIM_SHL_4S_2OPIMM_TRACE_A64_H_
   1034