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_URSRA_4S_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_URSRA_4S_2OPIMM_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_ursra_4S_2OPIMM[] = {
     38   0x7fffffff, 0x7fffffff, 0x80000000, 0x00000000,
     39   0xbffffffe, 0xbfffffff, 0xc0000000, 0x00000000,
     40   0xdffffffe, 0xdfffffff, 0xe0000000, 0x00000000,
     41   0xeffffffe, 0xefffffff, 0xf0000000, 0x00000000,
     42   0xf7fffffe, 0xf7ffffff, 0xf8000000, 0x00000000,
     43   0xfbfffffe, 0xfbffffff, 0xfc000000, 0x00000000,
     44   0xfdfffffe, 0xfdffffff, 0xfe000000, 0x00000000,
     45   0xfefffffe, 0xfeffffff, 0xff000000, 0x00000000,
     46   0xff7ffffe, 0xff7fffff, 0xff800000, 0x00000000,
     47   0xffbffffe, 0xffbfffff, 0xffc00000, 0x00000000,
     48   0xffdffffe, 0xffdfffff, 0xffe00000, 0x00000000,
     49   0xffeffffe, 0xffefffff, 0xfff00000, 0x00000000,
     50   0xfff7fffe, 0xfff7ffff, 0xfff80000, 0x00000000,
     51   0xfffbfffe, 0xfffbffff, 0xfffc0000, 0x00000000,
     52   0xfffdfffe, 0xfffdffff, 0xfffe0000, 0x00000000,
     53   0xfffefffe, 0xfffeffff, 0xffff0000, 0x00000000,
     54   0xffff7ffe, 0xffff7fff, 0xffff8000, 0x00000000,
     55   0xffffbffe, 0xffffbfff, 0xffffc000, 0x00000000,
     56   0xffffdffe, 0xffffdfff, 0xffffe000, 0x00000000,
     57   0xffffeffe, 0xffffefff, 0xfffff000, 0x00000000,
     58   0xfffff7fe, 0xfffff7ff, 0xfffff800, 0x00000000,
     59   0xfffffbfe, 0xfffffbff, 0xfffffc00, 0x00000000,
     60   0xfffffdfe, 0xfffffdff, 0xfffffe00, 0x00000000,
     61   0xfffffefe, 0xfffffeff, 0xffffff00, 0x00000000,
     62   0xffffff7e, 0xffffff7f, 0xffffff80, 0x00000000,
     63   0xffffffbe, 0xffffffbf, 0xffffffc0, 0x00000000,
     64   0xffffffde, 0xffffffdf, 0xffffffe0, 0x00000000,
     65   0xffffffee, 0xffffffef, 0xfffffff0, 0x00000000,
     66   0xfffffff6, 0xfffffff7, 0xfffffff8, 0x00000000,
     67   0xfffffffa, 0xfffffffb, 0xfffffffc, 0x00000000,
     68   0xfffffffc, 0xfffffffd, 0xfffffffe, 0x00000000,
     69   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
     70   0x7fffffff, 0x80000000, 0x00000000, 0x00000001,
     71   0xbfffffff, 0xc0000000, 0x00000000, 0x00000001,
     72   0xdfffffff, 0xe0000000, 0x00000000, 0x00000001,
     73   0xefffffff, 0xf0000000, 0x00000000, 0x00000001,
     74   0xf7ffffff, 0xf8000000, 0x00000000, 0x00000001,
     75   0xfbffffff, 0xfc000000, 0x00000000, 0x00000001,
     76   0xfdffffff, 0xfe000000, 0x00000000, 0x00000001,
     77   0xfeffffff, 0xff000000, 0x00000000, 0x00000001,
     78   0xff7fffff, 0xff800000, 0x00000000, 0x00000001,
     79   0xffbfffff, 0xffc00000, 0x00000000, 0x00000001,
     80   0xffdfffff, 0xffe00000, 0x00000000, 0x00000001,
     81   0xffefffff, 0xfff00000, 0x00000000, 0x00000001,
     82   0xfff7ffff, 0xfff80000, 0x00000000, 0x00000001,
     83   0xfffbffff, 0xfffc0000, 0x00000000, 0x00000001,
     84   0xfffdffff, 0xfffe0000, 0x00000000, 0x00000001,
     85   0xfffeffff, 0xffff0000, 0x00000000, 0x00000001,
     86   0xffff7fff, 0xffff8000, 0x00000000, 0x00000001,
     87   0xffffbfff, 0xffffc000, 0x00000000, 0x00000001,
     88   0xffffdfff, 0xffffe000, 0x00000000, 0x00000001,
     89   0xffffefff, 0xfffff000, 0x00000000, 0x00000001,
     90   0xfffff7ff, 0xfffff800, 0x00000000, 0x00000001,
     91   0xfffffbff, 0xfffffc00, 0x00000000, 0x00000001,
     92   0xfffffdff, 0xfffffe00, 0x00000000, 0x00000001,
     93   0xfffffeff, 0xffffff00, 0x00000000, 0x00000001,
     94   0xffffff7f, 0xffffff80, 0x00000000, 0x00000001,
     95   0xffffffbf, 0xffffffc0, 0x00000000, 0x00000001,
     96   0xffffffdf, 0xffffffe0, 0x00000000, 0x00000001,
     97   0xffffffef, 0xfffffff0, 0x00000000, 0x00000001,
     98   0xfffffff7, 0xfffffff8, 0x00000000, 0x00000001,
     99   0xfffffffb, 0xfffffffc, 0x00000000, 0x00000001,
    100   0xfffffffd, 0xfffffffe, 0x00000000, 0x00000001,
    101   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    102   0x80000000, 0x00000000, 0x00000001, 0x00000001,
    103   0xc0000000, 0x00000000, 0x00000001, 0x00000002,
    104   0xe0000000, 0x00000000, 0x00000001, 0x00000002,
    105   0xf0000000, 0x00000000, 0x00000001, 0x00000002,
    106   0xf8000000, 0x00000000, 0x00000001, 0x00000002,
    107   0xfc000000, 0x00000000, 0x00000001, 0x00000002,
    108   0xfe000000, 0x00000000, 0x00000001, 0x00000002,
    109   0xff000000, 0x00000000, 0x00000001, 0x00000002,
    110   0xff800000, 0x00000000, 0x00000001, 0x00000002,
    111   0xffc00000, 0x00000000, 0x00000001, 0x00000002,
    112   0xffe00000, 0x00000000, 0x00000001, 0x00000002,
    113   0xfff00000, 0x00000000, 0x00000001, 0x00000002,
    114   0xfff80000, 0x00000000, 0x00000001, 0x00000002,
    115   0xfffc0000, 0x00000000, 0x00000001, 0x00000002,
    116   0xfffe0000, 0x00000000, 0x00000001, 0x00000002,
    117   0xffff0000, 0x00000000, 0x00000001, 0x00000002,
    118   0xffff8000, 0x00000000, 0x00000001, 0x00000002,
    119   0xffffc000, 0x00000000, 0x00000001, 0x00000002,
    120   0xffffe000, 0x00000000, 0x00000001, 0x00000002,
    121   0xfffff000, 0x00000000, 0x00000001, 0x00000002,
    122   0xfffff800, 0x00000000, 0x00000001, 0x00000002,
    123   0xfffffc00, 0x00000000, 0x00000001, 0x00000002,
    124   0xfffffe00, 0x00000000, 0x00000001, 0x00000002,
    125   0xffffff00, 0x00000000, 0x00000001, 0x00000002,
    126   0xffffff80, 0x00000000, 0x00000001, 0x00000002,
    127   0xffffffc0, 0x00000000, 0x00000001, 0x00000002,
    128   0xffffffe0, 0x00000000, 0x00000001, 0x00000002,
    129   0xfffffff0, 0x00000000, 0x00000001, 0x00000002,
    130   0xfffffff8, 0x00000000, 0x00000001, 0x00000002,
    131   0xfffffffc, 0x00000000, 0x00000001, 0x00000002,
    132   0xfffffffe, 0x00000000, 0x00000001, 0x00000002,
    133   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    134   0x00000000, 0x00000001, 0x00000001, 0x00000010,
    135   0x00000000, 0x00000001, 0x00000002, 0x00000018,
    136   0x00000000, 0x00000001, 0x00000002, 0x0000001c,
    137   0x00000000, 0x00000001, 0x00000002, 0x0000001e,
    138   0x00000000, 0x00000001, 0x00000002, 0x0000001f,
    139   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    140   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    141   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    142   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    143   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    144   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    145   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    146   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    147   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    148   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    149   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    150   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    151   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    152   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    153   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    154   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    155   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    156   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    157   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    158   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    159   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    160   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    161   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    162   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    163   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    164   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    165   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    166   0x00000001, 0x00000001, 0x00000010, 0x0000003f,
    167   0x00000001, 0x00000002, 0x00000018, 0x0000005e,
    168   0x00000001, 0x00000002, 0x0000001c, 0x0000006e,
    169   0x00000001, 0x00000002, 0x0000001e, 0x00000076,
    170   0x00000001, 0x00000002, 0x0000001f, 0x0000007a,
    171   0x00000001, 0x00000002, 0x00000020, 0x0000007c,
    172   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    173   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    174   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    175   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    176   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    177   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    178   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    179   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    180   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    181   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    182   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    183   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    184   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    185   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    186   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    187   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    188   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    189   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    190   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    191   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    192   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    193   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    194   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    195   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    196   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    197   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    198   0x00000001, 0x00000010, 0x0000003f, 0x0000003f,
    199   0x00000002, 0x00000018, 0x0000005e, 0x0000005f,
    200   0x00000002, 0x0000001c, 0x0000006e, 0x0000006f,
    201   0x00000002, 0x0000001e, 0x00000076, 0x00000077,
    202   0x00000002, 0x0000001f, 0x0000007a, 0x0000007b,
    203   0x00000002, 0x00000020, 0x0000007c, 0x0000007d,
    204   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    205   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    206   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    207   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    208   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    209   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    210   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    211   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    212   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    213   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    214   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    215   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    216   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    217   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    218   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    219   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    220   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    221   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    222   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    223   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    224   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    225   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    226   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    227   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    228   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    229   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    230   0x00000010, 0x0000003f, 0x0000003f, 0x00000040,
    231   0x00000018, 0x0000005e, 0x0000005f, 0x00000060,
    232   0x0000001c, 0x0000006e, 0x0000006f, 0x00000070,
    233   0x0000001e, 0x00000076, 0x00000077, 0x00000078,
    234   0x0000001f, 0x0000007a, 0x0000007b, 0x0000007c,
    235   0x00000020, 0x0000007c, 0x0000007d, 0x0000007e,
    236   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    237   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    238   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    239   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    240   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    241   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    242   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    243   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    244   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    245   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    246   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    247   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    248   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    249   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    250   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    251   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    252   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    253   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    254   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    255   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    256   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    257   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    258   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    259   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    260   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    261   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    262   0x0000003f, 0x0000003f, 0x00000040, 0x00003fff,
    263   0x0000005e, 0x0000005f, 0x00000060, 0x00005ffe,
    264   0x0000006e, 0x0000006f, 0x00000070, 0x00006ffe,
    265   0x00000076, 0x00000077, 0x00000078, 0x000077fe,
    266   0x0000007a, 0x0000007b, 0x0000007c, 0x00007bfe,
    267   0x0000007c, 0x0000007d, 0x0000007e, 0x00007dfe,
    268   0x0000007d, 0x0000007e, 0x0000007f, 0x00007efe,
    269   0x0000007d, 0x0000007e, 0x0000007f, 0x00007f7e,
    270   0x0000007d, 0x0000007e, 0x0000007f, 0x00007fbe,
    271   0x0000007d, 0x0000007e, 0x0000007f, 0x00007fde,
    272   0x0000007d, 0x0000007e, 0x0000007f, 0x00007fee,
    273   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ff6,
    274   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffa,
    275   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffc,
    276   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    277   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    278   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    279   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    280   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    281   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    282   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    283   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    284   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    285   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    286   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    287   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    288   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    289   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    290   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    291   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    292   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    293   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    294   0x0000003f, 0x00000040, 0x00003fff, 0x00003fff,
    295   0x0000005f, 0x00000060, 0x00005ffe, 0x00005fff,
    296   0x0000006f, 0x00000070, 0x00006ffe, 0x00006fff,
    297   0x00000077, 0x00000078, 0x000077fe, 0x000077ff,
    298   0x0000007b, 0x0000007c, 0x00007bfe, 0x00007bff,
    299   0x0000007d, 0x0000007e, 0x00007dfe, 0x00007dff,
    300   0x0000007e, 0x0000007f, 0x00007efe, 0x00007eff,
    301   0x0000007e, 0x0000007f, 0x00007f7e, 0x00007f7f,
    302   0x0000007e, 0x0000007f, 0x00007fbe, 0x00007fbf,
    303   0x0000007e, 0x0000007f, 0x00007fde, 0x00007fdf,
    304   0x0000007e, 0x0000007f, 0x00007fee, 0x00007fef,
    305   0x0000007e, 0x0000007f, 0x00007ff6, 0x00007ff7,
    306   0x0000007e, 0x0000007f, 0x00007ffa, 0x00007ffb,
    307   0x0000007e, 0x0000007f, 0x00007ffc, 0x00007ffd,
    308   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    309   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    310   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    311   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    312   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    313   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    314   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    315   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    316   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    317   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    318   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    319   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    320   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    321   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    322   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    323   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    324   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    325   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    326   0x00000040, 0x00003fff, 0x00003fff, 0x00004000,
    327   0x00000060, 0x00005ffe, 0x00005fff, 0x00006000,
    328   0x00000070, 0x00006ffe, 0x00006fff, 0x00007000,
    329   0x00000078, 0x000077fe, 0x000077ff, 0x00007800,
    330   0x0000007c, 0x00007bfe, 0x00007bff, 0x00007c00,
    331   0x0000007e, 0x00007dfe, 0x00007dff, 0x00007e00,
    332   0x0000007f, 0x00007efe, 0x00007eff, 0x00007f00,
    333   0x0000007f, 0x00007f7e, 0x00007f7f, 0x00007f80,
    334   0x0000007f, 0x00007fbe, 0x00007fbf, 0x00007fc0,
    335   0x0000007f, 0x00007fde, 0x00007fdf, 0x00007fe0,
    336   0x0000007f, 0x00007fee, 0x00007fef, 0x00007ff0,
    337   0x0000007f, 0x00007ff6, 0x00007ff7, 0x00007ff8,
    338   0x0000007f, 0x00007ffa, 0x00007ffb, 0x00007ffc,
    339   0x0000007f, 0x00007ffc, 0x00007ffd, 0x00007ffe,
    340   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    341   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    342   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    343   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    344   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    345   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    346   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    347   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    348   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    349   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    350   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    351   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    352   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    353   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    354   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    355   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    356   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    357   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    358   0x00003fff, 0x00003fff, 0x00004000, 0x1999999a,
    359   0x00005ffe, 0x00005fff, 0x00006000, 0x26666667,
    360   0x00006ffe, 0x00006fff, 0x00007000, 0x2ccccccd,
    361   0x000077fe, 0x000077ff, 0x00007800, 0x30000000,
    362   0x00007bfe, 0x00007bff, 0x00007c00, 0x3199999a,
    363   0x00007dfe, 0x00007dff, 0x00007e00, 0x32666667,
    364   0x00007efe, 0x00007eff, 0x00007f00, 0x32cccccd,
    365   0x00007f7e, 0x00007f7f, 0x00007f80, 0x33000000,
    366   0x00007fbe, 0x00007fbf, 0x00007fc0, 0x3319999a,
    367   0x00007fde, 0x00007fdf, 0x00007fe0, 0x33266667,
    368   0x00007fee, 0x00007fef, 0x00007ff0, 0x332ccccd,
    369   0x00007ff6, 0x00007ff7, 0x00007ff8, 0x33300000,
    370   0x00007ffa, 0x00007ffb, 0x00007ffc, 0x3331999a,
    371   0x00007ffc, 0x00007ffd, 0x00007ffe, 0x33326667,
    372   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3332cccd,
    373   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33330000,
    374   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333199a,
    375   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33332667,
    376   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33332ccd,
    377   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333000,
    378   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333319a,
    379   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333267,
    380   0x00007ffd, 0x00007ffe, 0x00007fff, 0x333332cd,
    381   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333300,
    382   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333331a,
    383   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333327,
    384   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333332d,
    385   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333330,
    386   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333332,
    387   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    388   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    389   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    390   0x00003fff, 0x00004000, 0x1999999a, 0x2aaaaaab,
    391   0x00005fff, 0x00006000, 0x26666667, 0x40000000,
    392   0x00006fff, 0x00007000, 0x2ccccccd, 0x4aaaaaab,
    393   0x000077ff, 0x00007800, 0x30000000, 0x50000000,
    394   0x00007bff, 0x00007c00, 0x3199999a, 0x52aaaaab,
    395   0x00007dff, 0x00007e00, 0x32666667, 0x54000000,
    396   0x00007eff, 0x00007f00, 0x32cccccd, 0x54aaaaab,
    397   0x00007f7f, 0x00007f80, 0x33000000, 0x55000000,
    398   0x00007fbf, 0x00007fc0, 0x3319999a, 0x552aaaab,
    399   0x00007fdf, 0x00007fe0, 0x33266667, 0x55400000,
    400   0x00007fef, 0x00007ff0, 0x332ccccd, 0x554aaaab,
    401   0x00007ff7, 0x00007ff8, 0x33300000, 0x55500000,
    402   0x00007ffb, 0x00007ffc, 0x3331999a, 0x5552aaab,
    403   0x00007ffd, 0x00007ffe, 0x33326667, 0x55540000,
    404   0x00007ffe, 0x00007fff, 0x3332cccd, 0x5554aaab,
    405   0x00007ffe, 0x00007fff, 0x33330000, 0x55550000,
    406   0x00007ffe, 0x00007fff, 0x3333199a, 0x55552aab,
    407   0x00007ffe, 0x00007fff, 0x33332667, 0x55554000,
    408   0x00007ffe, 0x00007fff, 0x33332ccd, 0x55554aab,
    409   0x00007ffe, 0x00007fff, 0x33333000, 0x55555000,
    410   0x00007ffe, 0x00007fff, 0x3333319a, 0x555552ab,
    411   0x00007ffe, 0x00007fff, 0x33333267, 0x55555400,
    412   0x00007ffe, 0x00007fff, 0x333332cd, 0x555554ab,
    413   0x00007ffe, 0x00007fff, 0x33333300, 0x55555500,
    414   0x00007ffe, 0x00007fff, 0x3333331a, 0x5555552b,
    415   0x00007ffe, 0x00007fff, 0x33333327, 0x55555540,
    416   0x00007ffe, 0x00007fff, 0x3333332d, 0x5555554b,
    417   0x00007ffe, 0x00007fff, 0x33333330, 0x55555550,
    418   0x00007ffe, 0x00007fff, 0x33333332, 0x55555553,
    419   0x00007ffe, 0x00007fff, 0x33333333, 0x55555554,
    420   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    421   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    422   0x00004000, 0x1999999a, 0x2aaaaaab, 0x3fffffff,
    423   0x00006000, 0x26666667, 0x40000000, 0x5ffffffe,
    424   0x00007000, 0x2ccccccd, 0x4aaaaaab, 0x6ffffffe,
    425   0x00007800, 0x30000000, 0x50000000, 0x77fffffe,
    426   0x00007c00, 0x3199999a, 0x52aaaaab, 0x7bfffffe,
    427   0x00007e00, 0x32666667, 0x54000000, 0x7dfffffe,
    428   0x00007f00, 0x32cccccd, 0x54aaaaab, 0x7efffffe,
    429   0x00007f80, 0x33000000, 0x55000000, 0x7f7ffffe,
    430   0x00007fc0, 0x3319999a, 0x552aaaab, 0x7fbffffe,
    431   0x00007fe0, 0x33266667, 0x55400000, 0x7fdffffe,
    432   0x00007ff0, 0x332ccccd, 0x554aaaab, 0x7feffffe,
    433   0x00007ff8, 0x33300000, 0x55500000, 0x7ff7fffe,
    434   0x00007ffc, 0x3331999a, 0x5552aaab, 0x7ffbfffe,
    435   0x00007ffe, 0x33326667, 0x55540000, 0x7ffdfffe,
    436   0x00007fff, 0x3332cccd, 0x5554aaab, 0x7ffefffe,
    437   0x00007fff, 0x33330000, 0x55550000, 0x7fff7ffe,
    438   0x00007fff, 0x3333199a, 0x55552aab, 0x7fffbffe,
    439   0x00007fff, 0x33332667, 0x55554000, 0x7fffdffe,
    440   0x00007fff, 0x33332ccd, 0x55554aab, 0x7fffeffe,
    441   0x00007fff, 0x33333000, 0x55555000, 0x7ffff7fe,
    442   0x00007fff, 0x3333319a, 0x555552ab, 0x7ffffbfe,
    443   0x00007fff, 0x33333267, 0x55555400, 0x7ffffdfe,
    444   0x00007fff, 0x333332cd, 0x555554ab, 0x7ffffefe,
    445   0x00007fff, 0x33333300, 0x55555500, 0x7fffff7e,
    446   0x00007fff, 0x3333331a, 0x5555552b, 0x7fffffbe,
    447   0x00007fff, 0x33333327, 0x55555540, 0x7fffffde,
    448   0x00007fff, 0x3333332d, 0x5555554b, 0x7fffffee,
    449   0x00007fff, 0x33333330, 0x55555550, 0x7ffffff6,
    450   0x00007fff, 0x33333332, 0x55555553, 0x7ffffffa,
    451   0x00007fff, 0x33333333, 0x55555554, 0x7ffffffc,
    452   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    453   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    454   0x1999999a, 0x2aaaaaab, 0x3fffffff, 0x3fffffff,
    455   0x26666667, 0x40000000, 0x5ffffffe, 0x5fffffff,
    456   0x2ccccccd, 0x4aaaaaab, 0x6ffffffe, 0x6fffffff,
    457   0x30000000, 0x50000000, 0x77fffffe, 0x77ffffff,
    458   0x3199999a, 0x52aaaaab, 0x7bfffffe, 0x7bffffff,
    459   0x32666667, 0x54000000, 0x7dfffffe, 0x7dffffff,
    460   0x32cccccd, 0x54aaaaab, 0x7efffffe, 0x7effffff,
    461   0x33000000, 0x55000000, 0x7f7ffffe, 0x7f7fffff,
    462   0x3319999a, 0x552aaaab, 0x7fbffffe, 0x7fbfffff,
    463   0x33266667, 0x55400000, 0x7fdffffe, 0x7fdfffff,
    464   0x332ccccd, 0x554aaaab, 0x7feffffe, 0x7fefffff,
    465   0x33300000, 0x55500000, 0x7ff7fffe, 0x7ff7ffff,
    466   0x3331999a, 0x5552aaab, 0x7ffbfffe, 0x7ffbffff,
    467   0x33326667, 0x55540000, 0x7ffdfffe, 0x7ffdffff,
    468   0x3332cccd, 0x5554aaab, 0x7ffefffe, 0x7ffeffff,
    469   0x33330000, 0x55550000, 0x7fff7ffe, 0x7fff7fff,
    470   0x3333199a, 0x55552aab, 0x7fffbffe, 0x7fffbfff,
    471   0x33332667, 0x55554000, 0x7fffdffe, 0x7fffdfff,
    472   0x33332ccd, 0x55554aab, 0x7fffeffe, 0x7fffefff,
    473   0x33333000, 0x55555000, 0x7ffff7fe, 0x7ffff7ff,
    474   0x3333319a, 0x555552ab, 0x7ffffbfe, 0x7ffffbff,
    475   0x33333267, 0x55555400, 0x7ffffdfe, 0x7ffffdff,
    476   0x333332cd, 0x555554ab, 0x7ffffefe, 0x7ffffeff,
    477   0x33333300, 0x55555500, 0x7fffff7e, 0x7fffff7f,
    478   0x3333331a, 0x5555552b, 0x7fffffbe, 0x7fffffbf,
    479   0x33333327, 0x55555540, 0x7fffffde, 0x7fffffdf,
    480   0x3333332d, 0x5555554b, 0x7fffffee, 0x7fffffef,
    481   0x33333330, 0x55555550, 0x7ffffff6, 0x7ffffff7,
    482   0x33333332, 0x55555553, 0x7ffffffa, 0x7ffffffb,
    483   0x33333333, 0x55555554, 0x7ffffffc, 0x7ffffffd,
    484   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    485   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    486   0x2aaaaaab, 0x3fffffff, 0x3fffffff, 0x40000000,
    487   0x40000000, 0x5ffffffe, 0x5fffffff, 0x60000000,
    488   0x4aaaaaab, 0x6ffffffe, 0x6fffffff, 0x70000000,
    489   0x50000000, 0x77fffffe, 0x77ffffff, 0x78000000,
    490   0x52aaaaab, 0x7bfffffe, 0x7bffffff, 0x7c000000,
    491   0x54000000, 0x7dfffffe, 0x7dffffff, 0x7e000000,
    492   0x54aaaaab, 0x7efffffe, 0x7effffff, 0x7f000000,
    493   0x55000000, 0x7f7ffffe, 0x7f7fffff, 0x7f800000,
    494   0x552aaaab, 0x7fbffffe, 0x7fbfffff, 0x7fc00000,
    495   0x55400000, 0x7fdffffe, 0x7fdfffff, 0x7fe00000,
    496   0x554aaaab, 0x7feffffe, 0x7fefffff, 0x7ff00000,
    497   0x55500000, 0x7ff7fffe, 0x7ff7ffff, 0x7ff80000,
    498   0x5552aaab, 0x7ffbfffe, 0x7ffbffff, 0x7ffc0000,
    499   0x55540000, 0x7ffdfffe, 0x7ffdffff, 0x7ffe0000,
    500   0x5554aaab, 0x7ffefffe, 0x7ffeffff, 0x7fff0000,
    501   0x55550000, 0x7fff7ffe, 0x7fff7fff, 0x7fff8000,
    502   0x55552aab, 0x7fffbffe, 0x7fffbfff, 0x7fffc000,
    503   0x55554000, 0x7fffdffe, 0x7fffdfff, 0x7fffe000,
    504   0x55554aab, 0x7fffeffe, 0x7fffefff, 0x7ffff000,
    505   0x55555000, 0x7ffff7fe, 0x7ffff7ff, 0x7ffff800,
    506   0x555552ab, 0x7ffffbfe, 0x7ffffbff, 0x7ffffc00,
    507   0x55555400, 0x7ffffdfe, 0x7ffffdff, 0x7ffffe00,
    508   0x555554ab, 0x7ffffefe, 0x7ffffeff, 0x7fffff00,
    509   0x55555500, 0x7fffff7e, 0x7fffff7f, 0x7fffff80,
    510   0x5555552b, 0x7fffffbe, 0x7fffffbf, 0x7fffffc0,
    511   0x55555540, 0x7fffffde, 0x7fffffdf, 0x7fffffe0,
    512   0x5555554b, 0x7fffffee, 0x7fffffef, 0x7ffffff0,
    513   0x55555550, 0x7ffffff6, 0x7ffffff7, 0x7ffffff8,
    514   0x55555553, 0x7ffffffa, 0x7ffffffb, 0x7ffffffc,
    515   0x55555554, 0x7ffffffc, 0x7ffffffd, 0x7ffffffe,
    516   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    517   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    518   0x3fffffff, 0x3fffffff, 0x40000000, 0x40000000,
    519   0x5ffffffe, 0x5fffffff, 0x60000000, 0x60000000,
    520   0x6ffffffe, 0x6fffffff, 0x70000000, 0x70000000,
    521   0x77fffffe, 0x77ffffff, 0x78000000, 0x78000000,
    522   0x7bfffffe, 0x7bffffff, 0x7c000000, 0x7c000000,
    523   0x7dfffffe, 0x7dffffff, 0x7e000000, 0x7e000000,
    524   0x7efffffe, 0x7effffff, 0x7f000000, 0x7f000000,
    525   0x7f7ffffe, 0x7f7fffff, 0x7f800000, 0x7f800000,
    526   0x7fbffffe, 0x7fbfffff, 0x7fc00000, 0x7fc00000,
    527   0x7fdffffe, 0x7fdfffff, 0x7fe00000, 0x7fe00000,
    528   0x7feffffe, 0x7fefffff, 0x7ff00000, 0x7ff00000,
    529   0x7ff7fffe, 0x7ff7ffff, 0x7ff80000, 0x7ff80000,
    530   0x7ffbfffe, 0x7ffbffff, 0x7ffc0000, 0x7ffc0000,
    531   0x7ffdfffe, 0x7ffdffff, 0x7ffe0000, 0x7ffe0000,
    532   0x7ffefffe, 0x7ffeffff, 0x7fff0000, 0x7fff0000,
    533   0x7fff7ffe, 0x7fff7fff, 0x7fff8000, 0x7fff8000,
    534   0x7fffbffe, 0x7fffbfff, 0x7fffc000, 0x7fffc000,
    535   0x7fffdffe, 0x7fffdfff, 0x7fffe000, 0x7fffe000,
    536   0x7fffeffe, 0x7fffefff, 0x7ffff000, 0x7ffff000,
    537   0x7ffff7fe, 0x7ffff7ff, 0x7ffff800, 0x7ffff800,
    538   0x7ffffbfe, 0x7ffffbff, 0x7ffffc00, 0x7ffffc00,
    539   0x7ffffdfe, 0x7ffffdff, 0x7ffffe00, 0x7ffffe00,
    540   0x7ffffefe, 0x7ffffeff, 0x7fffff00, 0x7fffff00,
    541   0x7fffff7e, 0x7fffff7f, 0x7fffff80, 0x7fffff80,
    542   0x7fffffbe, 0x7fffffbf, 0x7fffffc0, 0x7fffffc0,
    543   0x7fffffde, 0x7fffffdf, 0x7fffffe0, 0x7fffffe0,
    544   0x7fffffee, 0x7fffffef, 0x7ffffff0, 0x7ffffff0,
    545   0x7ffffff6, 0x7ffffff7, 0x7ffffff8, 0x7ffffff8,
    546   0x7ffffffa, 0x7ffffffb, 0x7ffffffc, 0x7ffffffc,
    547   0x7ffffffc, 0x7ffffffd, 0x7ffffffe, 0x7ffffffe,
    548   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    549   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
    550   0x3fffffff, 0x40000000, 0x40000000, 0x40000001,
    551   0x5fffffff, 0x60000000, 0x60000000, 0x60000001,
    552   0x6fffffff, 0x70000000, 0x70000000, 0x70000001,
    553   0x77ffffff, 0x78000000, 0x78000000, 0x78000001,
    554   0x7bffffff, 0x7c000000, 0x7c000000, 0x7c000001,
    555   0x7dffffff, 0x7e000000, 0x7e000000, 0x7e000001,
    556   0x7effffff, 0x7f000000, 0x7f000000, 0x7f000001,
    557   0x7f7fffff, 0x7f800000, 0x7f800000, 0x7f800001,
    558   0x7fbfffff, 0x7fc00000, 0x7fc00000, 0x7fc00001,
    559   0x7fdfffff, 0x7fe00000, 0x7fe00000, 0x7fe00001,
    560   0x7fefffff, 0x7ff00000, 0x7ff00000, 0x7ff00001,
    561   0x7ff7ffff, 0x7ff80000, 0x7ff80000, 0x7ff80001,
    562   0x7ffbffff, 0x7ffc0000, 0x7ffc0000, 0x7ffc0001,
    563   0x7ffdffff, 0x7ffe0000, 0x7ffe0000, 0x7ffe0001,
    564   0x7ffeffff, 0x7fff0000, 0x7fff0000, 0x7fff0001,
    565   0x7fff7fff, 0x7fff8000, 0x7fff8000, 0x7fff8001,
    566   0x7fffbfff, 0x7fffc000, 0x7fffc000, 0x7fffc001,
    567   0x7fffdfff, 0x7fffe000, 0x7fffe000, 0x7fffe001,
    568   0x7fffefff, 0x7ffff000, 0x7ffff000, 0x7ffff001,
    569   0x7ffff7ff, 0x7ffff800, 0x7ffff800, 0x7ffff801,
    570   0x7ffffbff, 0x7ffffc00, 0x7ffffc00, 0x7ffffc01,
    571   0x7ffffdff, 0x7ffffe00, 0x7ffffe00, 0x7ffffe01,
    572   0x7ffffeff, 0x7fffff00, 0x7fffff00, 0x7fffff01,
    573   0x7fffff7f, 0x7fffff80, 0x7fffff80, 0x7fffff81,
    574   0x7fffffbf, 0x7fffffc0, 0x7fffffc0, 0x7fffffc1,
    575   0x7fffffdf, 0x7fffffe0, 0x7fffffe0, 0x7fffffe1,
    576   0x7fffffef, 0x7ffffff0, 0x7ffffff0, 0x7ffffff1,
    577   0x7ffffff7, 0x7ffffff8, 0x7ffffff8, 0x7ffffff9,
    578   0x7ffffffb, 0x7ffffffc, 0x7ffffffc, 0x7ffffffd,
    579   0x7ffffffd, 0x7ffffffe, 0x7ffffffe, 0x7fffffff,
    580   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x80000000,
    581   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
    582   0x40000000, 0x40000000, 0x40000001, 0x55555555,
    583   0x60000000, 0x60000000, 0x60000001, 0x80000000,
    584   0x70000000, 0x70000000, 0x70000001, 0x95555555,
    585   0x78000000, 0x78000000, 0x78000001, 0xa0000000,
    586   0x7c000000, 0x7c000000, 0x7c000001, 0xa5555555,
    587   0x7e000000, 0x7e000000, 0x7e000001, 0xa8000000,
    588   0x7f000000, 0x7f000000, 0x7f000001, 0xa9555555,
    589   0x7f800000, 0x7f800000, 0x7f800001, 0xaa000000,
    590   0x7fc00000, 0x7fc00000, 0x7fc00001, 0xaa555555,
    591   0x7fe00000, 0x7fe00000, 0x7fe00001, 0xaa800000,
    592   0x7ff00000, 0x7ff00000, 0x7ff00001, 0xaa955555,
    593   0x7ff80000, 0x7ff80000, 0x7ff80001, 0xaaa00000,
    594   0x7ffc0000, 0x7ffc0000, 0x7ffc0001, 0xaaa55555,
    595   0x7ffe0000, 0x7ffe0000, 0x7ffe0001, 0xaaa80000,
    596   0x7fff0000, 0x7fff0000, 0x7fff0001, 0xaaa95555,
    597   0x7fff8000, 0x7fff8000, 0x7fff8001, 0xaaaa0000,
    598   0x7fffc000, 0x7fffc000, 0x7fffc001, 0xaaaa5555,
    599   0x7fffe000, 0x7fffe000, 0x7fffe001, 0xaaaa8000,
    600   0x7ffff000, 0x7ffff000, 0x7ffff001, 0xaaaa9555,
    601   0x7ffff800, 0x7ffff800, 0x7ffff801, 0xaaaaa000,
    602   0x7ffffc00, 0x7ffffc00, 0x7ffffc01, 0xaaaaa555,
    603   0x7ffffe00, 0x7ffffe00, 0x7ffffe01, 0xaaaaa800,
    604   0x7fffff00, 0x7fffff00, 0x7fffff01, 0xaaaaa955,
    605   0x7fffff80, 0x7fffff80, 0x7fffff81, 0xaaaaaa00,
    606   0x7fffffc0, 0x7fffffc0, 0x7fffffc1, 0xaaaaaa55,
    607   0x7fffffe0, 0x7fffffe0, 0x7fffffe1, 0xaaaaaa80,
    608   0x7ffffff0, 0x7ffffff0, 0x7ffffff1, 0xaaaaaa95,
    609   0x7ffffff8, 0x7ffffff8, 0x7ffffff9, 0xaaaaaaa0,
    610   0x7ffffffc, 0x7ffffffc, 0x7ffffffd, 0xaaaaaaa5,
    611   0x7ffffffe, 0x7ffffffe, 0x7fffffff, 0xaaaaaaa8,
    612   0x7fffffff, 0x7fffffff, 0x80000000, 0xaaaaaaa9,
    613   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
    614   0x40000000, 0x40000001, 0x55555555, 0x66666666,
    615   0x60000000, 0x60000001, 0x80000000, 0x99999999,
    616   0x70000000, 0x70000001, 0x95555555, 0xb3333333,
    617   0x78000000, 0x78000001, 0xa0000000, 0xc0000000,
    618   0x7c000000, 0x7c000001, 0xa5555555, 0xc6666666,
    619   0x7e000000, 0x7e000001, 0xa8000000, 0xc9999999,
    620   0x7f000000, 0x7f000001, 0xa9555555, 0xcb333333,
    621   0x7f800000, 0x7f800001, 0xaa000000, 0xcc000000,
    622   0x7fc00000, 0x7fc00001, 0xaa555555, 0xcc666666,
    623   0x7fe00000, 0x7fe00001, 0xaa800000, 0xcc999999,
    624   0x7ff00000, 0x7ff00001, 0xaa955555, 0xccb33333,
    625   0x7ff80000, 0x7ff80001, 0xaaa00000, 0xccc00000,
    626   0x7ffc0000, 0x7ffc0001, 0xaaa55555, 0xccc66666,
    627   0x7ffe0000, 0x7ffe0001, 0xaaa80000, 0xccc99999,
    628   0x7fff0000, 0x7fff0001, 0xaaa95555, 0xcccb3333,
    629   0x7fff8000, 0x7fff8001, 0xaaaa0000, 0xcccc0000,
    630   0x7fffc000, 0x7fffc001, 0xaaaa5555, 0xcccc6666,
    631   0x7fffe000, 0x7fffe001, 0xaaaa8000, 0xcccc9999,
    632   0x7ffff000, 0x7ffff001, 0xaaaa9555, 0xccccb333,
    633   0x7ffff800, 0x7ffff801, 0xaaaaa000, 0xccccc000,
    634   0x7ffffc00, 0x7ffffc01, 0xaaaaa555, 0xccccc666,
    635   0x7ffffe00, 0x7ffffe01, 0xaaaaa800, 0xccccc999,
    636   0x7fffff00, 0x7fffff01, 0xaaaaa955, 0xcccccb33,
    637   0x7fffff80, 0x7fffff81, 0xaaaaaa00, 0xcccccc00,
    638   0x7fffffc0, 0x7fffffc1, 0xaaaaaa55, 0xcccccc66,
    639   0x7fffffe0, 0x7fffffe1, 0xaaaaaa80, 0xcccccc99,
    640   0x7ffffff0, 0x7ffffff1, 0xaaaaaa95, 0xccccccb3,
    641   0x7ffffff8, 0x7ffffff9, 0xaaaaaaa0, 0xccccccc0,
    642   0x7ffffffc, 0x7ffffffd, 0xaaaaaaa5, 0xccccccc6,
    643   0x7ffffffe, 0x7fffffff, 0xaaaaaaa8, 0xccccccc9,
    644   0x7fffffff, 0x80000000, 0xaaaaaaa9, 0xcccccccb,
    645   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
    646   0x40000001, 0x55555555, 0x66666666, 0x7fffc000,
    647   0x60000001, 0x80000000, 0x99999999, 0xbfffa000,
    648   0x70000001, 0x95555555, 0xb3333333, 0xdfff9000,
    649   0x78000001, 0xa0000000, 0xc0000000, 0xefff8800,
    650   0x7c000001, 0xa5555555, 0xc6666666, 0xf7ff8400,
    651   0x7e000001, 0xa8000000, 0xc9999999, 0xfbff8200,
    652   0x7f000001, 0xa9555555, 0xcb333333, 0xfdff8100,
    653   0x7f800001, 0xaa000000, 0xcc000000, 0xfeff8080,
    654   0x7fc00001, 0xaa555555, 0xcc666666, 0xff7f8040,
    655   0x7fe00001, 0xaa800000, 0xcc999999, 0xffbf8020,
    656   0x7ff00001, 0xaa955555, 0xccb33333, 0xffdf8010,
    657   0x7ff80001, 0xaaa00000, 0xccc00000, 0xffef8008,
    658   0x7ffc0001, 0xaaa55555, 0xccc66666, 0xfff78004,
    659   0x7ffe0001, 0xaaa80000, 0xccc99999, 0xfffb8002,
    660   0x7fff0001, 0xaaa95555, 0xcccb3333, 0xfffd8001,
    661   0x7fff8001, 0xaaaa0000, 0xcccc0000, 0xfffe8001,
    662   0x7fffc001, 0xaaaa5555, 0xcccc6666, 0xffff0001,
    663   0x7fffe001, 0xaaaa8000, 0xcccc9999, 0xffff4001,
    664   0x7ffff001, 0xaaaa9555, 0xccccb333, 0xffff6001,
    665   0x7ffff801, 0xaaaaa000, 0xccccc000, 0xffff7001,
    666   0x7ffffc01, 0xaaaaa555, 0xccccc666, 0xffff7801,
    667   0x7ffffe01, 0xaaaaa800, 0xccccc999, 0xffff7c01,
    668   0x7fffff01, 0xaaaaa955, 0xcccccb33, 0xffff7e01,
    669   0x7fffff81, 0xaaaaaa00, 0xcccccc00, 0xffff7f01,
    670   0x7fffffc1, 0xaaaaaa55, 0xcccccc66, 0xffff7f81,
    671   0x7fffffe1, 0xaaaaaa80, 0xcccccc99, 0xffff7fc1,
    672   0x7ffffff1, 0xaaaaaa95, 0xccccccb3, 0xffff7fe1,
    673   0x7ffffff9, 0xaaaaaaa0, 0xccccccc0, 0xffff7ff1,
    674   0x7ffffffd, 0xaaaaaaa5, 0xccccccc6, 0xffff7ff9,
    675   0x7fffffff, 0xaaaaaaa8, 0xccccccc9, 0xffff7ffd,
    676   0x80000000, 0xaaaaaaa9, 0xcccccccb, 0xffff7fff,
    677   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
    678   0x55555555, 0x66666666, 0x7fffc000, 0x7fffc001,
    679   0x80000000, 0x99999999, 0xbfffa000, 0xbfffa001,
    680   0x95555555, 0xb3333333, 0xdfff9000, 0xdfff9001,
    681   0xa0000000, 0xc0000000, 0xefff8800, 0xefff8801,
    682   0xa5555555, 0xc6666666, 0xf7ff8400, 0xf7ff8401,
    683   0xa8000000, 0xc9999999, 0xfbff8200, 0xfbff8201,
    684   0xa9555555, 0xcb333333, 0xfdff8100, 0xfdff8101,
    685   0xaa000000, 0xcc000000, 0xfeff8080, 0xfeff8081,
    686   0xaa555555, 0xcc666666, 0xff7f8040, 0xff7f8041,
    687   0xaa800000, 0xcc999999, 0xffbf8020, 0xffbf8021,
    688   0xaa955555, 0xccb33333, 0xffdf8010, 0xffdf8011,
    689   0xaaa00000, 0xccc00000, 0xffef8008, 0xffef8009,
    690   0xaaa55555, 0xccc66666, 0xfff78004, 0xfff78005,
    691   0xaaa80000, 0xccc99999, 0xfffb8002, 0xfffb8003,
    692   0xaaa95555, 0xcccb3333, 0xfffd8001, 0xfffd8002,
    693   0xaaaa0000, 0xcccc0000, 0xfffe8001, 0xfffe8002,
    694   0xaaaa5555, 0xcccc6666, 0xffff0001, 0xffff0002,
    695   0xaaaa8000, 0xcccc9999, 0xffff4001, 0xffff4002,
    696   0xaaaa9555, 0xccccb333, 0xffff6001, 0xffff6002,
    697   0xaaaaa000, 0xccccc000, 0xffff7001, 0xffff7002,
    698   0xaaaaa555, 0xccccc666, 0xffff7801, 0xffff7802,
    699   0xaaaaa800, 0xccccc999, 0xffff7c01, 0xffff7c02,
    700   0xaaaaa955, 0xcccccb33, 0xffff7e01, 0xffff7e02,
    701   0xaaaaaa00, 0xcccccc00, 0xffff7f01, 0xffff7f02,
    702   0xaaaaaa55, 0xcccccc66, 0xffff7f81, 0xffff7f82,
    703   0xaaaaaa80, 0xcccccc99, 0xffff7fc1, 0xffff7fc2,
    704   0xaaaaaa95, 0xccccccb3, 0xffff7fe1, 0xffff7fe2,
    705   0xaaaaaaa0, 0xccccccc0, 0xffff7ff1, 0xffff7ff2,
    706   0xaaaaaaa5, 0xccccccc6, 0xffff7ff9, 0xffff7ffa,
    707   0xaaaaaaa8, 0xccccccc9, 0xffff7ffd, 0xffff7ffe,
    708   0xaaaaaaa9, 0xcccccccb, 0xffff7fff, 0xffff8000,
    709   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
    710   0x66666666, 0x7fffc000, 0x7fffc001, 0x7fffc001,
    711   0x99999999, 0xbfffa000, 0xbfffa001, 0xbfffa002,
    712   0xb3333333, 0xdfff9000, 0xdfff9001, 0xdfff9002,
    713   0xc0000000, 0xefff8800, 0xefff8801, 0xefff8802,
    714   0xc6666666, 0xf7ff8400, 0xf7ff8401, 0xf7ff8402,
    715   0xc9999999, 0xfbff8200, 0xfbff8201, 0xfbff8202,
    716   0xcb333333, 0xfdff8100, 0xfdff8101, 0xfdff8102,
    717   0xcc000000, 0xfeff8080, 0xfeff8081, 0xfeff8082,
    718   0xcc666666, 0xff7f8040, 0xff7f8041, 0xff7f8042,
    719   0xcc999999, 0xffbf8020, 0xffbf8021, 0xffbf8022,
    720   0xccb33333, 0xffdf8010, 0xffdf8011, 0xffdf8012,
    721   0xccc00000, 0xffef8008, 0xffef8009, 0xffef800a,
    722   0xccc66666, 0xfff78004, 0xfff78005, 0xfff78006,
    723   0xccc99999, 0xfffb8002, 0xfffb8003, 0xfffb8004,
    724   0xcccb3333, 0xfffd8001, 0xfffd8002, 0xfffd8003,
    725   0xcccc0000, 0xfffe8001, 0xfffe8002, 0xfffe8003,
    726   0xcccc6666, 0xffff0001, 0xffff0002, 0xffff0003,
    727   0xcccc9999, 0xffff4001, 0xffff4002, 0xffff4003,
    728   0xccccb333, 0xffff6001, 0xffff6002, 0xffff6003,
    729   0xccccc000, 0xffff7001, 0xffff7002, 0xffff7003,
    730   0xccccc666, 0xffff7801, 0xffff7802, 0xffff7803,
    731   0xccccc999, 0xffff7c01, 0xffff7c02, 0xffff7c03,
    732   0xcccccb33, 0xffff7e01, 0xffff7e02, 0xffff7e03,
    733   0xcccccc00, 0xffff7f01, 0xffff7f02, 0xffff7f03,
    734   0xcccccc66, 0xffff7f81, 0xffff7f82, 0xffff7f83,
    735   0xcccccc99, 0xffff7fc1, 0xffff7fc2, 0xffff7fc3,
    736   0xccccccb3, 0xffff7fe1, 0xffff7fe2, 0xffff7fe3,
    737   0xccccccc0, 0xffff7ff1, 0xffff7ff2, 0xffff7ff3,
    738   0xccccccc6, 0xffff7ff9, 0xffff7ffa, 0xffff7ffb,
    739   0xccccccc9, 0xffff7ffd, 0xffff7ffe, 0xffff7fff,
    740   0xcccccccb, 0xffff7fff, 0xffff8000, 0xffff8001,
    741   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    742   0x7fffc000, 0x7fffc001, 0x7fffc001, 0x7fffc002,
    743   0xbfffa000, 0xbfffa001, 0xbfffa002, 0xbfffa003,
    744   0xdfff9000, 0xdfff9001, 0xdfff9002, 0xdfff9003,
    745   0xefff8800, 0xefff8801, 0xefff8802, 0xefff8803,
    746   0xf7ff8400, 0xf7ff8401, 0xf7ff8402, 0xf7ff8403,
    747   0xfbff8200, 0xfbff8201, 0xfbff8202, 0xfbff8203,
    748   0xfdff8100, 0xfdff8101, 0xfdff8102, 0xfdff8103,
    749   0xfeff8080, 0xfeff8081, 0xfeff8082, 0xfeff8083,
    750   0xff7f8040, 0xff7f8041, 0xff7f8042, 0xff7f8043,
    751   0xffbf8020, 0xffbf8021, 0xffbf8022, 0xffbf8023,
    752   0xffdf8010, 0xffdf8011, 0xffdf8012, 0xffdf8013,
    753   0xffef8008, 0xffef8009, 0xffef800a, 0xffef800b,
    754   0xfff78004, 0xfff78005, 0xfff78006, 0xfff78007,
    755   0xfffb8002, 0xfffb8003, 0xfffb8004, 0xfffb8005,
    756   0xfffd8001, 0xfffd8002, 0xfffd8003, 0xfffd8004,
    757   0xfffe8001, 0xfffe8002, 0xfffe8003, 0xfffe8004,
    758   0xffff0001, 0xffff0002, 0xffff0003, 0xffff0004,
    759   0xffff4001, 0xffff4002, 0xffff4003, 0xffff4004,
    760   0xffff6001, 0xffff6002, 0xffff6003, 0xffff6004,
    761   0xffff7001, 0xffff7002, 0xffff7003, 0xffff7004,
    762   0xffff7801, 0xffff7802, 0xffff7803, 0xffff7804,
    763   0xffff7c01, 0xffff7c02, 0xffff7c03, 0xffff7c04,
    764   0xffff7e01, 0xffff7e02, 0xffff7e03, 0xffff7e04,
    765   0xffff7f01, 0xffff7f02, 0xffff7f03, 0xffff7f04,
    766   0xffff7f81, 0xffff7f82, 0xffff7f83, 0xffff7f84,
    767   0xffff7fc1, 0xffff7fc2, 0xffff7fc3, 0xffff7fc4,
    768   0xffff7fe1, 0xffff7fe2, 0xffff7fe3, 0xffff7fe4,
    769   0xffff7ff1, 0xffff7ff2, 0xffff7ff3, 0xffff7ff4,
    770   0xffff7ff9, 0xffff7ffa, 0xffff7ffb, 0xffff7ffc,
    771   0xffff7ffd, 0xffff7ffe, 0xffff7fff, 0xffff8000,
    772   0xffff7fff, 0xffff8000, 0xffff8001, 0xffff8002,
    773   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    774   0x7fffc001, 0x7fffc001, 0x7fffc002, 0x7fffffc0,
    775   0xbfffa001, 0xbfffa002, 0xbfffa003, 0xbfffffa0,
    776   0xdfff9001, 0xdfff9002, 0xdfff9003, 0xdfffff90,
    777   0xefff8801, 0xefff8802, 0xefff8803, 0xefffff88,
    778   0xf7ff8401, 0xf7ff8402, 0xf7ff8403, 0xf7ffff84,
    779   0xfbff8201, 0xfbff8202, 0xfbff8203, 0xfbffff82,
    780   0xfdff8101, 0xfdff8102, 0xfdff8103, 0xfdffff81,
    781   0xfeff8081, 0xfeff8082, 0xfeff8083, 0xfeffff81,
    782   0xff7f8041, 0xff7f8042, 0xff7f8043, 0xff7fff81,
    783   0xffbf8021, 0xffbf8022, 0xffbf8023, 0xffbfff81,
    784   0xffdf8011, 0xffdf8012, 0xffdf8013, 0xffdfff81,
    785   0xffef8009, 0xffef800a, 0xffef800b, 0xffefff81,
    786   0xfff78005, 0xfff78006, 0xfff78007, 0xfff7ff81,
    787   0xfffb8003, 0xfffb8004, 0xfffb8005, 0xfffbff81,
    788   0xfffd8002, 0xfffd8003, 0xfffd8004, 0xfffdff81,
    789   0xfffe8002, 0xfffe8003, 0xfffe8004, 0xfffeff81,
    790   0xffff0002, 0xffff0003, 0xffff0004, 0xffff7f81,
    791   0xffff4002, 0xffff4003, 0xffff4004, 0xffffbf81,
    792   0xffff6002, 0xffff6003, 0xffff6004, 0xffffdf81,
    793   0xffff7002, 0xffff7003, 0xffff7004, 0xffffef81,
    794   0xffff7802, 0xffff7803, 0xffff7804, 0xfffff781,
    795   0xffff7c02, 0xffff7c03, 0xffff7c04, 0xfffffb81,
    796   0xffff7e02, 0xffff7e03, 0xffff7e04, 0xfffffd81,
    797   0xffff7f02, 0xffff7f03, 0xffff7f04, 0xfffffe81,
    798   0xffff7f82, 0xffff7f83, 0xffff7f84, 0xffffff01,
    799   0xffff7fc2, 0xffff7fc3, 0xffff7fc4, 0xffffff41,
    800   0xffff7fe2, 0xffff7fe3, 0xffff7fe4, 0xffffff61,
    801   0xffff7ff2, 0xffff7ff3, 0xffff7ff4, 0xffffff71,
    802   0xffff7ffa, 0xffff7ffb, 0xffff7ffc, 0xffffff79,
    803   0xffff7ffe, 0xffff7fff, 0xffff8000, 0xffffff7d,
    804   0xffff8000, 0xffff8001, 0xffff8002, 0xffffff7f,
    805   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    806   0x7fffc001, 0x7fffc002, 0x7fffffc0, 0x7fffffc1,
    807   0xbfffa002, 0xbfffa003, 0xbfffffa0, 0xbfffffa1,
    808   0xdfff9002, 0xdfff9003, 0xdfffff90, 0xdfffff91,
    809   0xefff8802, 0xefff8803, 0xefffff88, 0xefffff89,
    810   0xf7ff8402, 0xf7ff8403, 0xf7ffff84, 0xf7ffff85,
    811   0xfbff8202, 0xfbff8203, 0xfbffff82, 0xfbffff83,
    812   0xfdff8102, 0xfdff8103, 0xfdffff81, 0xfdffff82,
    813   0xfeff8082, 0xfeff8083, 0xfeffff81, 0xfeffff82,
    814   0xff7f8042, 0xff7f8043, 0xff7fff81, 0xff7fff82,
    815   0xffbf8022, 0xffbf8023, 0xffbfff81, 0xffbfff82,
    816   0xffdf8012, 0xffdf8013, 0xffdfff81, 0xffdfff82,
    817   0xffef800a, 0xffef800b, 0xffefff81, 0xffefff82,
    818   0xfff78006, 0xfff78007, 0xfff7ff81, 0xfff7ff82,
    819   0xfffb8004, 0xfffb8005, 0xfffbff81, 0xfffbff82,
    820   0xfffd8003, 0xfffd8004, 0xfffdff81, 0xfffdff82,
    821   0xfffe8003, 0xfffe8004, 0xfffeff81, 0xfffeff82,
    822   0xffff0003, 0xffff0004, 0xffff7f81, 0xffff7f82,
    823   0xffff4003, 0xffff4004, 0xffffbf81, 0xffffbf82,
    824   0xffff6003, 0xffff6004, 0xffffdf81, 0xffffdf82,
    825   0xffff7003, 0xffff7004, 0xffffef81, 0xffffef82,
    826   0xffff7803, 0xffff7804, 0xfffff781, 0xfffff782,
    827   0xffff7c03, 0xffff7c04, 0xfffffb81, 0xfffffb82,
    828   0xffff7e03, 0xffff7e04, 0xfffffd81, 0xfffffd82,
    829   0xffff7f03, 0xffff7f04, 0xfffffe81, 0xfffffe82,
    830   0xffff7f83, 0xffff7f84, 0xffffff01, 0xffffff02,
    831   0xffff7fc3, 0xffff7fc4, 0xffffff41, 0xffffff42,
    832   0xffff7fe3, 0xffff7fe4, 0xffffff61, 0xffffff62,
    833   0xffff7ff3, 0xffff7ff4, 0xffffff71, 0xffffff72,
    834   0xffff7ffb, 0xffff7ffc, 0xffffff79, 0xffffff7a,
    835   0xffff7fff, 0xffff8000, 0xffffff7d, 0xffffff7e,
    836   0xffff8001, 0xffff8002, 0xffffff7f, 0xffffff80,
    837   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    838   0x7fffc002, 0x7fffffc0, 0x7fffffc1, 0x7fffffc1,
    839   0xbfffa003, 0xbfffffa0, 0xbfffffa1, 0xbfffffa2,
    840   0xdfff9003, 0xdfffff90, 0xdfffff91, 0xdfffff92,
    841   0xefff8803, 0xefffff88, 0xefffff89, 0xefffff8a,
    842   0xf7ff8403, 0xf7ffff84, 0xf7ffff85, 0xf7ffff86,
    843   0xfbff8203, 0xfbffff82, 0xfbffff83, 0xfbffff84,
    844   0xfdff8103, 0xfdffff81, 0xfdffff82, 0xfdffff83,
    845   0xfeff8083, 0xfeffff81, 0xfeffff82, 0xfeffff83,
    846   0xff7f8043, 0xff7fff81, 0xff7fff82, 0xff7fff83,
    847   0xffbf8023, 0xffbfff81, 0xffbfff82, 0xffbfff83,
    848   0xffdf8013, 0xffdfff81, 0xffdfff82, 0xffdfff83,
    849   0xffef800b, 0xffefff81, 0xffefff82, 0xffefff83,
    850   0xfff78007, 0xfff7ff81, 0xfff7ff82, 0xfff7ff83,
    851   0xfffb8005, 0xfffbff81, 0xfffbff82, 0xfffbff83,
    852   0xfffd8004, 0xfffdff81, 0xfffdff82, 0xfffdff83,
    853   0xfffe8004, 0xfffeff81, 0xfffeff82, 0xfffeff83,
    854   0xffff0004, 0xffff7f81, 0xffff7f82, 0xffff7f83,
    855   0xffff4004, 0xffffbf81, 0xffffbf82, 0xffffbf83,
    856   0xffff6004, 0xffffdf81, 0xffffdf82, 0xffffdf83,
    857   0xffff7004, 0xffffef81, 0xffffef82, 0xffffef83,
    858   0xffff7804, 0xfffff781, 0xfffff782, 0xfffff783,
    859   0xffff7c04, 0xfffffb81, 0xfffffb82, 0xfffffb83,
    860   0xffff7e04, 0xfffffd81, 0xfffffd82, 0xfffffd83,
    861   0xffff7f04, 0xfffffe81, 0xfffffe82, 0xfffffe83,
    862   0xffff7f84, 0xffffff01, 0xffffff02, 0xffffff03,
    863   0xffff7fc4, 0xffffff41, 0xffffff42, 0xffffff43,
    864   0xffff7fe4, 0xffffff61, 0xffffff62, 0xffffff63,
    865   0xffff7ff4, 0xffffff71, 0xffffff72, 0xffffff73,
    866   0xffff7ffc, 0xffffff79, 0xffffff7a, 0xffffff7b,
    867   0xffff8000, 0xffffff7d, 0xffffff7e, 0xffffff7f,
    868   0xffff8002, 0xffffff7f, 0xffffff80, 0xffffff81,
    869   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    870   0x7fffffc0, 0x7fffffc1, 0x7fffffc1, 0x7fffffc2,
    871   0xbfffffa0, 0xbfffffa1, 0xbfffffa2, 0xbfffffa3,
    872   0xdfffff90, 0xdfffff91, 0xdfffff92, 0xdfffff93,
    873   0xefffff88, 0xefffff89, 0xefffff8a, 0xefffff8b,
    874   0xf7ffff84, 0xf7ffff85, 0xf7ffff86, 0xf7ffff87,
    875   0xfbffff82, 0xfbffff83, 0xfbffff84, 0xfbffff85,
    876   0xfdffff81, 0xfdffff82, 0xfdffff83, 0xfdffff84,
    877   0xfeffff81, 0xfeffff82, 0xfeffff83, 0xfeffff84,
    878   0xff7fff81, 0xff7fff82, 0xff7fff83, 0xff7fff84,
    879   0xffbfff81, 0xffbfff82, 0xffbfff83, 0xffbfff84,
    880   0xffdfff81, 0xffdfff82, 0xffdfff83, 0xffdfff84,
    881   0xffefff81, 0xffefff82, 0xffefff83, 0xffefff84,
    882   0xfff7ff81, 0xfff7ff82, 0xfff7ff83, 0xfff7ff84,
    883   0xfffbff81, 0xfffbff82, 0xfffbff83, 0xfffbff84,
    884   0xfffdff81, 0xfffdff82, 0xfffdff83, 0xfffdff84,
    885   0xfffeff81, 0xfffeff82, 0xfffeff83, 0xfffeff84,
    886   0xffff7f81, 0xffff7f82, 0xffff7f83, 0xffff7f84,
    887   0xffffbf81, 0xffffbf82, 0xffffbf83, 0xffffbf84,
    888   0xffffdf81, 0xffffdf82, 0xffffdf83, 0xffffdf84,
    889   0xffffef81, 0xffffef82, 0xffffef83, 0xffffef84,
    890   0xfffff781, 0xfffff782, 0xfffff783, 0xfffff784,
    891   0xfffffb81, 0xfffffb82, 0xfffffb83, 0xfffffb84,
    892   0xfffffd81, 0xfffffd82, 0xfffffd83, 0xfffffd84,
    893   0xfffffe81, 0xfffffe82, 0xfffffe83, 0xfffffe84,
    894   0xffffff01, 0xffffff02, 0xffffff03, 0xffffff04,
    895   0xffffff41, 0xffffff42, 0xffffff43, 0xffffff44,
    896   0xffffff61, 0xffffff62, 0xffffff63, 0xffffff64,
    897   0xffffff71, 0xffffff72, 0xffffff73, 0xffffff74,
    898   0xffffff79, 0xffffff7a, 0xffffff7b, 0xffffff7c,
    899   0xffffff7d, 0xffffff7e, 0xffffff7f, 0xffffff80,
    900   0xffffff7f, 0xffffff80, 0xffffff81, 0xffffff82,
    901   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    902   0x7fffffc1, 0x7fffffc1, 0x7fffffc2, 0x7ffffff0,
    903   0xbfffffa1, 0xbfffffa2, 0xbfffffa3, 0xbfffffe8,
    904   0xdfffff91, 0xdfffff92, 0xdfffff93, 0xdfffffe4,
    905   0xefffff89, 0xefffff8a, 0xefffff8b, 0xefffffe2,
    906   0xf7ffff85, 0xf7ffff86, 0xf7ffff87, 0xf7ffffe1,
    907   0xfbffff83, 0xfbffff84, 0xfbffff85, 0xfbffffe1,
    908   0xfdffff82, 0xfdffff83, 0xfdffff84, 0xfdffffe1,
    909   0xfeffff82, 0xfeffff83, 0xfeffff84, 0xfeffffe1,
    910   0xff7fff82, 0xff7fff83, 0xff7fff84, 0xff7fffe1,
    911   0xffbfff82, 0xffbfff83, 0xffbfff84, 0xffbfffe1,
    912   0xffdfff82, 0xffdfff83, 0xffdfff84, 0xffdfffe1,
    913   0xffefff82, 0xffefff83, 0xffefff84, 0xffefffe1,
    914   0xfff7ff82, 0xfff7ff83, 0xfff7ff84, 0xfff7ffe1,
    915   0xfffbff82, 0xfffbff83, 0xfffbff84, 0xfffbffe1,
    916   0xfffdff82, 0xfffdff83, 0xfffdff84, 0xfffdffe1,
    917   0xfffeff82, 0xfffeff83, 0xfffeff84, 0xfffeffe1,
    918   0xffff7f82, 0xffff7f83, 0xffff7f84, 0xffff7fe1,
    919   0xffffbf82, 0xffffbf83, 0xffffbf84, 0xffffbfe1,
    920   0xffffdf82, 0xffffdf83, 0xffffdf84, 0xffffdfe1,
    921   0xffffef82, 0xffffef83, 0xffffef84, 0xffffefe1,
    922   0xfffff782, 0xfffff783, 0xfffff784, 0xfffff7e1,
    923   0xfffffb82, 0xfffffb83, 0xfffffb84, 0xfffffbe1,
    924   0xfffffd82, 0xfffffd83, 0xfffffd84, 0xfffffde1,
    925   0xfffffe82, 0xfffffe83, 0xfffffe84, 0xfffffee1,
    926   0xffffff02, 0xffffff03, 0xffffff04, 0xffffff61,
    927   0xffffff42, 0xffffff43, 0xffffff44, 0xffffffa1,
    928   0xffffff62, 0xffffff63, 0xffffff64, 0xffffffc1,
    929   0xffffff72, 0xffffff73, 0xffffff74, 0xffffffd1,
    930   0xffffff7a, 0xffffff7b, 0xffffff7c, 0xffffffd9,
    931   0xffffff7e, 0xffffff7f, 0xffffff80, 0xffffffdd,
    932   0xffffff80, 0xffffff81, 0xffffff82, 0xffffffdf,
    933   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    934   0x7fffffc1, 0x7fffffc2, 0x7ffffff0, 0x7fffffff,
    935   0xbfffffa2, 0xbfffffa3, 0xbfffffe8, 0xbffffffe,
    936   0xdfffff92, 0xdfffff93, 0xdfffffe4, 0xdffffffe,
    937   0xefffff8a, 0xefffff8b, 0xefffffe2, 0xeffffffe,
    938   0xf7ffff86, 0xf7ffff87, 0xf7ffffe1, 0xf7fffffe,
    939   0xfbffff84, 0xfbffff85, 0xfbffffe1, 0xfbfffffe,
    940   0xfdffff83, 0xfdffff84, 0xfdffffe1, 0xfdfffffe,
    941   0xfeffff83, 0xfeffff84, 0xfeffffe1, 0xfefffffe,
    942   0xff7fff83, 0xff7fff84, 0xff7fffe1, 0xff7ffffe,
    943   0xffbfff83, 0xffbfff84, 0xffbfffe1, 0xffbffffe,
    944   0xffdfff83, 0xffdfff84, 0xffdfffe1, 0xffdffffe,
    945   0xffefff83, 0xffefff84, 0xffefffe1, 0xffeffffe,
    946   0xfff7ff83, 0xfff7ff84, 0xfff7ffe1, 0xfff7fffe,
    947   0xfffbff83, 0xfffbff84, 0xfffbffe1, 0xfffbfffe,
    948   0xfffdff83, 0xfffdff84, 0xfffdffe1, 0xfffdfffe,
    949   0xfffeff83, 0xfffeff84, 0xfffeffe1, 0xfffefffe,
    950   0xffff7f83, 0xffff7f84, 0xffff7fe1, 0xffff7ffe,
    951   0xffffbf83, 0xffffbf84, 0xffffbfe1, 0xffffbffe,
    952   0xffffdf83, 0xffffdf84, 0xffffdfe1, 0xffffdffe,
    953   0xffffef83, 0xffffef84, 0xffffefe1, 0xffffeffe,
    954   0xfffff783, 0xfffff784, 0xfffff7e1, 0xfffff7fe,
    955   0xfffffb83, 0xfffffb84, 0xfffffbe1, 0xfffffbfe,
    956   0xfffffd83, 0xfffffd84, 0xfffffde1, 0xfffffdfe,
    957   0xfffffe83, 0xfffffe84, 0xfffffee1, 0xfffffefe,
    958   0xffffff03, 0xffffff04, 0xffffff61, 0xffffff7e,
    959   0xffffff43, 0xffffff44, 0xffffffa1, 0xffffffbe,
    960   0xffffff63, 0xffffff64, 0xffffffc1, 0xffffffde,
    961   0xffffff73, 0xffffff74, 0xffffffd1, 0xffffffee,
    962   0xffffff7b, 0xffffff7c, 0xffffffd9, 0xfffffff6,
    963   0xffffff7f, 0xffffff80, 0xffffffdd, 0xfffffffa,
    964   0xffffff81, 0xffffff82, 0xffffffdf, 0xfffffffc,
    965   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    966   0x7fffffc2, 0x7ffffff0, 0x7fffffff, 0x7fffffff,
    967   0xbfffffa3, 0xbfffffe8, 0xbffffffe, 0xbfffffff,
    968   0xdfffff93, 0xdfffffe4, 0xdffffffe, 0xdfffffff,
    969   0xefffff8b, 0xefffffe2, 0xeffffffe, 0xefffffff,
    970   0xf7ffff87, 0xf7ffffe1, 0xf7fffffe, 0xf7ffffff,
    971   0xfbffff85, 0xfbffffe1, 0xfbfffffe, 0xfbffffff,
    972   0xfdffff84, 0xfdffffe1, 0xfdfffffe, 0xfdffffff,
    973   0xfeffff84, 0xfeffffe1, 0xfefffffe, 0xfeffffff,
    974   0xff7fff84, 0xff7fffe1, 0xff7ffffe, 0xff7fffff,
    975   0xffbfff84, 0xffbfffe1, 0xffbffffe, 0xffbfffff,
    976   0xffdfff84, 0xffdfffe1, 0xffdffffe, 0xffdfffff,
    977   0xffefff84, 0xffefffe1, 0xffeffffe, 0xffefffff,
    978   0xfff7ff84, 0xfff7ffe1, 0xfff7fffe, 0xfff7ffff,
    979   0xfffbff84, 0xfffbffe1, 0xfffbfffe, 0xfffbffff,
    980   0xfffdff84, 0xfffdffe1, 0xfffdfffe, 0xfffdffff,
    981   0xfffeff84, 0xfffeffe1, 0xfffefffe, 0xfffeffff,
    982   0xffff7f84, 0xffff7fe1, 0xffff7ffe, 0xffff7fff,
    983   0xffffbf84, 0xffffbfe1, 0xffffbffe, 0xffffbfff,
    984   0xffffdf84, 0xffffdfe1, 0xffffdffe, 0xffffdfff,
    985   0xffffef84, 0xffffefe1, 0xffffeffe, 0xffffefff,
    986   0xfffff784, 0xfffff7e1, 0xfffff7fe, 0xfffff7ff,
    987   0xfffffb84, 0xfffffbe1, 0xfffffbfe, 0xfffffbff,
    988   0xfffffd84, 0xfffffde1, 0xfffffdfe, 0xfffffdff,
    989   0xfffffe84, 0xfffffee1, 0xfffffefe, 0xfffffeff,
    990   0xffffff04, 0xffffff61, 0xffffff7e, 0xffffff7f,
    991   0xffffff44, 0xffffffa1, 0xffffffbe, 0xffffffbf,
    992   0xffffff64, 0xffffffc1, 0xffffffde, 0xffffffdf,
    993   0xffffff74, 0xffffffd1, 0xffffffee, 0xffffffef,
    994   0xffffff7c, 0xffffffd9, 0xfffffff6, 0xfffffff7,
    995   0xffffff80, 0xffffffdd, 0xfffffffa, 0xfffffffb,
    996   0xffffff82, 0xffffffdf, 0xfffffffc, 0xfffffffd,
    997   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    998   0x7ffffff0, 0x7fffffff, 0x7fffffff, 0x80000000,
    999   0xbfffffe8, 0xbffffffe, 0xbfffffff, 0xc0000000,
   1000   0xdfffffe4, 0xdffffffe, 0xdfffffff, 0xe0000000,
   1001   0xefffffe2, 0xeffffffe, 0xefffffff, 0xf0000000,
   1002   0xf7ffffe1, 0xf7fffffe, 0xf7ffffff, 0xf8000000,
   1003   0xfbffffe1, 0xfbfffffe, 0xfbffffff, 0xfc000000,
   1004   0xfdffffe1, 0xfdfffffe, 0xfdffffff, 0xfe000000,
   1005   0xfeffffe1, 0xfefffffe, 0xfeffffff, 0xff000000,
   1006   0xff7fffe1, 0xff7ffffe, 0xff7fffff, 0xff800000,
   1007   0xffbfffe1, 0xffbffffe, 0xffbfffff, 0xffc00000,
   1008   0xffdfffe1, 0xffdffffe, 0xffdfffff, 0xffe00000,
   1009   0xffefffe1, 0xffeffffe, 0xffefffff, 0xfff00000,
   1010   0xfff7ffe1, 0xfff7fffe, 0xfff7ffff, 0xfff80000,
   1011   0xfffbffe1, 0xfffbfffe, 0xfffbffff, 0xfffc0000,
   1012   0xfffdffe1, 0xfffdfffe, 0xfffdffff, 0xfffe0000,
   1013   0xfffeffe1, 0xfffefffe, 0xfffeffff, 0xffff0000,
   1014   0xffff7fe1, 0xffff7ffe, 0xffff7fff, 0xffff8000,
   1015   0xffffbfe1, 0xffffbffe, 0xffffbfff, 0xffffc000,
   1016   0xffffdfe1, 0xffffdffe, 0xffffdfff, 0xffffe000,
   1017   0xffffefe1, 0xffffeffe, 0xffffefff, 0xfffff000,
   1018   0xfffff7e1, 0xfffff7fe, 0xfffff7ff, 0xfffff800,
   1019   0xfffffbe1, 0xfffffbfe, 0xfffffbff, 0xfffffc00,
   1020   0xfffffde1, 0xfffffdfe, 0xfffffdff, 0xfffffe00,
   1021   0xfffffee1, 0xfffffefe, 0xfffffeff, 0xffffff00,
   1022   0xffffff61, 0xffffff7e, 0xffffff7f, 0xffffff80,
   1023   0xffffffa1, 0xffffffbe, 0xffffffbf, 0xffffffc0,
   1024   0xffffffc1, 0xffffffde, 0xffffffdf, 0xffffffe0,
   1025   0xffffffd1, 0xffffffee, 0xffffffef, 0xfffffff0,
   1026   0xffffffd9, 0xfffffff6, 0xfffffff7, 0xfffffff8,
   1027   0xffffffdd, 0xfffffffa, 0xfffffffb, 0xfffffffc,
   1028   0xffffffdf, 0xfffffffc, 0xfffffffd, 0xfffffffe,
   1029   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
   1030 };
   1031 const unsigned kExpectedCount_NEON_ursra_4S_2OPIMM = 992;
   1032 
   1033 #endif  // VIXL_SIM_URSRA_4S_2OPIMM_TRACE_A64_H_
   1034