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_URHADD_2S_TRACE_A64_H_
     35 #define VIXL_SIM_URHADD_2S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_urhadd_2S[] = {
     38   0x00007e00, 0x00007f00, 0x00000000, 0x00000000,
     39   0x00007e80, 0x00403e00, 0x00000000, 0x00000000,
     40   0x00403d80, 0x00003f80, 0x00000000, 0x00000000,
     41   0x00003f00, 0x00003f81, 0x00000000, 0x00000000,
     42   0x00003f01, 0x00003f81, 0x00000000, 0x00000000,
     43   0x00003f01, 0x00003f90, 0x00000000, 0x00000000,
     44   0x00003f10, 0x00003fbf, 0x00000000, 0x00000000,
     45   0x00003f3f, 0x00003fbf, 0x00000000, 0x00000000,
     46   0x00003f3f, 0x00003fc0, 0x00000000, 0x00000000,
     47   0x00003f40, 0x00007f7f, 0x00000000, 0x00000000,
     48   0x00007eff, 0x00007f7f, 0x00000000, 0x00000000,
     49   0x00007eff, 0x00007f80, 0x00000000, 0x00000000,
     50   0x00007f00, 0x1999d91a, 0x00000000, 0x00000000,
     51   0x1999d89a, 0x2aaaea2b, 0x00000000, 0x00000000,
     52   0x2aaae9ab, 0x40003f7f, 0x00000000, 0x00000000,
     53   0x40003eff, 0x40003f7f, 0x00000000, 0x00000000,
     54   0x40003eff, 0x40003f80, 0x00000000, 0x00000000,
     55   0x40003f00, 0x40003f80, 0x00000000, 0x00000000,
     56   0x40003f00, 0x40003f81, 0x00000000, 0x00000000,
     57   0x40003f01, 0x555594d5, 0x00000000, 0x00000000,
     58   0x55559455, 0x6666a5e6, 0x00000000, 0x00000000,
     59   0x6666a566, 0x7fffff80, 0x00000000, 0x00000000,
     60   0x7fffff00, 0x7fffff81, 0x00000000, 0x00000000,
     61   0x7fffff01, 0x7fffff81, 0x00000000, 0x00000000,
     62   0x7fffff01, 0x7fffff82, 0x00000000, 0x00000000,
     63   0x7fffff02, 0x80003f40, 0x00000000, 0x00000000,
     64   0x80003ec0, 0x80003f41, 0x00000000, 0x00000000,
     65   0x80003ec1, 0x80003f41, 0x00000000, 0x00000000,
     66   0x80003ec1, 0x80003f42, 0x00000000, 0x00000000,
     67   0x80003ec2, 0x80003f70, 0x00000000, 0x00000000,
     68   0x80003ef0, 0x80003f7f, 0x00000000, 0x00000000,
     69   0x80003f7f, 0x803ffe7f, 0x00000000, 0x00000000,
     70   0x80003f7f, 0x803ffe80, 0x00000000, 0x00000000,
     71   0x80003f80, 0x003ffe80, 0x00000000, 0x00000000,
     72   0x00003f80, 0x003ffe81, 0x00000000, 0x00000000,
     73   0x00003f81, 0x003ffe81, 0x00000000, 0x00000000,
     74   0x00003f81, 0x003ffe90, 0x00000000, 0x00000000,
     75   0x00003f90, 0x003ffebf, 0x00000000, 0x00000000,
     76   0x00003fbf, 0x003ffebf, 0x00000000, 0x00000000,
     77   0x00003fbf, 0x003ffec0, 0x00000000, 0x00000000,
     78   0x00003fc0, 0x00403e7f, 0x00000000, 0x00000000,
     79   0x00007f7f, 0x00403e7f, 0x00000000, 0x00000000,
     80   0x00007f7f, 0x00403e80, 0x00000000, 0x00000000,
     81   0x00007f80, 0x19d9981a, 0x00000000, 0x00000000,
     82   0x1999d91a, 0x2aeaa92b, 0x00000000, 0x00000000,
     83   0x2aaaea2b, 0x403ffe7f, 0x00000000, 0x00000000,
     84   0x40003f7f, 0x403ffe7f, 0x00000000, 0x00000000,
     85   0x40003f7f, 0x403ffe80, 0x00000000, 0x00000000,
     86   0x40003f80, 0x403ffe80, 0x00000000, 0x00000000,
     87   0x40003f80, 0x403ffe81, 0x00000000, 0x00000000,
     88   0x40003f81, 0x559553d5, 0x00000000, 0x00000000,
     89   0x555594d5, 0x66a664e6, 0x00000000, 0x00000000,
     90   0x6666a5e6, 0x803fbe80, 0x00000000, 0x00000000,
     91   0x7fffff80, 0x803fbe81, 0x00000000, 0x00000000,
     92   0x7fffff81, 0x803fbe81, 0x00000000, 0x00000000,
     93   0x7fffff81, 0x803fbe82, 0x00000000, 0x00000000,
     94   0x7fffff82, 0x803ffe40, 0x00000000, 0x00000000,
     95   0x80003f40, 0x803ffe41, 0x00000000, 0x00000000,
     96   0x80003f41, 0x803ffe41, 0x00000000, 0x00000000,
     97   0x80003f41, 0x803ffe42, 0x00000000, 0x00000000,
     98   0x80003f42, 0x803ffe70, 0x00000000, 0x00000000,
     99   0x80003f70, 0x803ffe7f, 0x00000000, 0x00000000,
    100   0x803ffe7f, 0x7fffffff, 0x00000000, 0x00000000,
    101   0x803ffe7f, 0x80000000, 0x00000000, 0x00000000,
    102   0x803ffe80, 0x00000000, 0x00000000, 0x00000000,
    103   0x003ffe80, 0x00000001, 0x00000000, 0x00000000,
    104   0x003ffe81, 0x00000001, 0x00000000, 0x00000000,
    105   0x003ffe81, 0x00000010, 0x00000000, 0x00000000,
    106   0x003ffe90, 0x0000003f, 0x00000000, 0x00000000,
    107   0x003ffebf, 0x0000003f, 0x00000000, 0x00000000,
    108   0x003ffebf, 0x00000040, 0x00000000, 0x00000000,
    109   0x003ffec0, 0x00003fff, 0x00000000, 0x00000000,
    110   0x00403e7f, 0x00003fff, 0x00000000, 0x00000000,
    111   0x00403e7f, 0x00004000, 0x00000000, 0x00000000,
    112   0x00403e80, 0x1999999a, 0x00000000, 0x00000000,
    113   0x19d9981a, 0x2aaaaaab, 0x00000000, 0x00000000,
    114   0x2aeaa92b, 0x3fffffff, 0x00000000, 0x00000000,
    115   0x403ffe7f, 0x3fffffff, 0x00000000, 0x00000000,
    116   0x403ffe7f, 0x40000000, 0x00000000, 0x00000000,
    117   0x403ffe80, 0x40000000, 0x00000000, 0x00000000,
    118   0x403ffe80, 0x40000001, 0x00000000, 0x00000000,
    119   0x403ffe81, 0x55555555, 0x00000000, 0x00000000,
    120   0x559553d5, 0x66666666, 0x00000000, 0x00000000,
    121   0x66a664e6, 0x7fffc000, 0x00000000, 0x00000000,
    122   0x803fbe80, 0x7fffc001, 0x00000000, 0x00000000,
    123   0x803fbe81, 0x7fffc001, 0x00000000, 0x00000000,
    124   0x803fbe81, 0x7fffc002, 0x00000000, 0x00000000,
    125   0x803fbe82, 0x7fffffc0, 0x00000000, 0x00000000,
    126   0x803ffe40, 0x7fffffc1, 0x00000000, 0x00000000,
    127   0x803ffe41, 0x7fffffc1, 0x00000000, 0x00000000,
    128   0x803ffe41, 0x7fffffc2, 0x00000000, 0x00000000,
    129   0x803ffe42, 0x7ffffff0, 0x00000000, 0x00000000,
    130   0x803ffe70, 0x7fffffff, 0x00000000, 0x00000000,
    131   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    132   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    133   0x80000000, 0x00000001, 0x00000000, 0x00000000,
    134   0x00000000, 0x00000001, 0x00000000, 0x00000000,
    135   0x00000001, 0x00000002, 0x00000000, 0x00000000,
    136   0x00000001, 0x00000011, 0x00000000, 0x00000000,
    137   0x00000010, 0x0000003f, 0x00000000, 0x00000000,
    138   0x0000003f, 0x00000040, 0x00000000, 0x00000000,
    139   0x0000003f, 0x00000040, 0x00000000, 0x00000000,
    140   0x00000040, 0x00003fff, 0x00000000, 0x00000000,
    141   0x00003fff, 0x00004000, 0x00000000, 0x00000000,
    142   0x00003fff, 0x00004000, 0x00000000, 0x00000000,
    143   0x00004000, 0x1999999a, 0x00000000, 0x00000000,
    144   0x1999999a, 0x2aaaaaab, 0x00000000, 0x00000000,
    145   0x2aaaaaab, 0x3fffffff, 0x00000000, 0x00000000,
    146   0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
    147   0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
    148   0x40000000, 0x40000001, 0x00000000, 0x00000000,
    149   0x40000000, 0x40000001, 0x00000000, 0x00000000,
    150   0x40000001, 0x55555556, 0x00000000, 0x00000000,
    151   0x55555555, 0x66666667, 0x00000000, 0x00000000,
    152   0x66666666, 0x7fffc001, 0x00000000, 0x00000000,
    153   0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
    154   0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
    155   0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
    156   0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
    157   0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
    158   0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    159   0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    160   0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
    161   0x7ffffff0, 0x7fffffff, 0x00000000, 0x00000000,
    162   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    163   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    164   0x80000000, 0x00000001, 0x00000000, 0x00000000,
    165   0x00000001, 0x00000002, 0x00000000, 0x00000000,
    166   0x00000001, 0x00000002, 0x00000000, 0x00000000,
    167   0x00000002, 0x00000011, 0x00000000, 0x00000000,
    168   0x00000011, 0x00000040, 0x00000000, 0x00000000,
    169   0x0000003f, 0x00000040, 0x00000000, 0x00000000,
    170   0x00000040, 0x00000041, 0x00000000, 0x00000000,
    171   0x00000040, 0x00004000, 0x00000000, 0x00000000,
    172   0x00003fff, 0x00004000, 0x00000000, 0x00000000,
    173   0x00004000, 0x00004001, 0x00000000, 0x00000000,
    174   0x00004000, 0x1999999b, 0x00000000, 0x00000000,
    175   0x1999999a, 0x2aaaaaac, 0x00000000, 0x00000000,
    176   0x2aaaaaab, 0x40000000, 0x00000000, 0x00000000,
    177   0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
    178   0x40000000, 0x40000001, 0x00000000, 0x00000000,
    179   0x40000000, 0x40000001, 0x00000000, 0x00000000,
    180   0x40000001, 0x40000002, 0x00000000, 0x00000000,
    181   0x40000001, 0x55555556, 0x00000000, 0x00000000,
    182   0x55555556, 0x66666667, 0x00000000, 0x00000000,
    183   0x66666667, 0x7fffc001, 0x00000000, 0x00000000,
    184   0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
    185   0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
    186   0x7fffc002, 0x7fffc003, 0x00000000, 0x00000000,
    187   0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
    188   0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    189   0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    190   0x7fffffc2, 0x7fffffc3, 0x00000000, 0x00000000,
    191   0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
    192   0x7ffffff1, 0x80000000, 0x00000000, 0x00000000,
    193   0x80000000, 0x8000000f, 0x00000000, 0x00000000,
    194   0x80000000, 0x80000010, 0x00000000, 0x00000000,
    195   0x80000001, 0x00000010, 0x00000000, 0x00000000,
    196   0x00000001, 0x00000011, 0x00000000, 0x00000000,
    197   0x00000002, 0x00000011, 0x00000000, 0x00000000,
    198   0x00000002, 0x00000020, 0x00000000, 0x00000000,
    199   0x00000011, 0x0000004f, 0x00000000, 0x00000000,
    200   0x00000040, 0x0000004f, 0x00000000, 0x00000000,
    201   0x00000040, 0x00000050, 0x00000000, 0x00000000,
    202   0x00000041, 0x0000400f, 0x00000000, 0x00000000,
    203   0x00004000, 0x0000400f, 0x00000000, 0x00000000,
    204   0x00004000, 0x00004010, 0x00000000, 0x00000000,
    205   0x00004001, 0x199999aa, 0x00000000, 0x00000000,
    206   0x1999999b, 0x2aaaaabb, 0x00000000, 0x00000000,
    207   0x2aaaaaac, 0x4000000f, 0x00000000, 0x00000000,
    208   0x40000000, 0x4000000f, 0x00000000, 0x00000000,
    209   0x40000000, 0x40000010, 0x00000000, 0x00000000,
    210   0x40000001, 0x40000010, 0x00000000, 0x00000000,
    211   0x40000001, 0x40000011, 0x00000000, 0x00000000,
    212   0x40000002, 0x55555565, 0x00000000, 0x00000000,
    213   0x55555556, 0x66666676, 0x00000000, 0x00000000,
    214   0x66666667, 0x7fffc010, 0x00000000, 0x00000000,
    215   0x7fffc001, 0x7fffc011, 0x00000000, 0x00000000,
    216   0x7fffc002, 0x7fffc011, 0x00000000, 0x00000000,
    217   0x7fffc002, 0x7fffc012, 0x00000000, 0x00000000,
    218   0x7fffc003, 0x7fffffd0, 0x00000000, 0x00000000,
    219   0x7fffffc1, 0x7fffffd1, 0x00000000, 0x00000000,
    220   0x7fffffc2, 0x7fffffd1, 0x00000000, 0x00000000,
    221   0x7fffffc2, 0x7fffffd2, 0x00000000, 0x00000000,
    222   0x7fffffc3, 0x80000000, 0x00000000, 0x00000000,
    223   0x7ffffff1, 0x8000000f, 0x00000000, 0x00000000,
    224   0x8000000f, 0x8000003e, 0x00000000, 0x00000000,
    225   0x8000000f, 0x8000003e, 0x00000000, 0x00000000,
    226   0x80000010, 0x0000003f, 0x00000000, 0x00000000,
    227   0x00000010, 0x0000003f, 0x00000000, 0x00000000,
    228   0x00000011, 0x00000040, 0x00000000, 0x00000000,
    229   0x00000011, 0x0000004f, 0x00000000, 0x00000000,
    230   0x00000020, 0x0000007d, 0x00000000, 0x00000000,
    231   0x0000004f, 0x0000007e, 0x00000000, 0x00000000,
    232   0x0000004f, 0x0000007e, 0x00000000, 0x00000000,
    233   0x00000050, 0x0000403d, 0x00000000, 0x00000000,
    234   0x0000400f, 0x0000403e, 0x00000000, 0x00000000,
    235   0x0000400f, 0x0000403e, 0x00000000, 0x00000000,
    236   0x00004010, 0x199999d8, 0x00000000, 0x00000000,
    237   0x199999aa, 0x2aaaaae9, 0x00000000, 0x00000000,
    238   0x2aaaaabb, 0x4000003d, 0x00000000, 0x00000000,
    239   0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
    240   0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
    241   0x40000010, 0x4000003f, 0x00000000, 0x00000000,
    242   0x40000010, 0x4000003f, 0x00000000, 0x00000000,
    243   0x40000011, 0x55555594, 0x00000000, 0x00000000,
    244   0x55555565, 0x666666a5, 0x00000000, 0x00000000,
    245   0x66666676, 0x7fffc03f, 0x00000000, 0x00000000,
    246   0x7fffc010, 0x7fffc03f, 0x00000000, 0x00000000,
    247   0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
    248   0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
    249   0x7fffc012, 0x7fffffff, 0x00000000, 0x00000000,
    250   0x7fffffd0, 0x7fffffff, 0x00000000, 0x00000000,
    251   0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
    252   0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
    253   0x7fffffd2, 0x8000002f, 0x00000000, 0x00000000,
    254   0x80000000, 0x8000003d, 0x00000000, 0x00000000,
    255   0x8000003d, 0x8000003e, 0x00000000, 0x00000000,
    256   0x8000003e, 0x8000003f, 0x00000000, 0x00000000,
    257   0x8000003e, 0x0000003f, 0x00000000, 0x00000000,
    258   0x0000003f, 0x00000040, 0x00000000, 0x00000000,
    259   0x0000003f, 0x00000040, 0x00000000, 0x00000000,
    260   0x00000040, 0x0000004f, 0x00000000, 0x00000000,
    261   0x0000004f, 0x0000007e, 0x00000000, 0x00000000,
    262   0x0000007d, 0x0000007e, 0x00000000, 0x00000000,
    263   0x0000007e, 0x0000007f, 0x00000000, 0x00000000,
    264   0x0000007e, 0x0000403e, 0x00000000, 0x00000000,
    265   0x0000403d, 0x0000403e, 0x00000000, 0x00000000,
    266   0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
    267   0x0000403e, 0x199999d9, 0x00000000, 0x00000000,
    268   0x199999d8, 0x2aaaaaea, 0x00000000, 0x00000000,
    269   0x2aaaaae9, 0x4000003e, 0x00000000, 0x00000000,
    270   0x4000003d, 0x4000003e, 0x00000000, 0x00000000,
    271   0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
    272   0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
    273   0x4000003f, 0x40000040, 0x00000000, 0x00000000,
    274   0x4000003f, 0x55555594, 0x00000000, 0x00000000,
    275   0x55555594, 0x666666a5, 0x00000000, 0x00000000,
    276   0x666666a5, 0x7fffc03f, 0x00000000, 0x00000000,
    277   0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
    278   0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
    279   0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
    280   0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
    281   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    282   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    283   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    284   0x80000000, 0x8000002f, 0x00000000, 0x00000000,
    285   0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
    286   0x8000003e, 0x8000003f, 0x00000000, 0x00000000,
    287   0x8000003e, 0x8000003f, 0x00000000, 0x00000000,
    288   0x8000003f, 0x00000040, 0x00000000, 0x00000000,
    289   0x0000003f, 0x00000040, 0x00000000, 0x00000000,
    290   0x00000040, 0x00000041, 0x00000000, 0x00000000,
    291   0x00000040, 0x00000050, 0x00000000, 0x00000000,
    292   0x0000004f, 0x0000007e, 0x00000000, 0x00000000,
    293   0x0000007e, 0x0000007f, 0x00000000, 0x00000000,
    294   0x0000007e, 0x0000007f, 0x00000000, 0x00000000,
    295   0x0000007f, 0x0000403e, 0x00000000, 0x00000000,
    296   0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
    297   0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
    298   0x0000403f, 0x199999d9, 0x00000000, 0x00000000,
    299   0x199999d9, 0x2aaaaaea, 0x00000000, 0x00000000,
    300   0x2aaaaaea, 0x4000003e, 0x00000000, 0x00000000,
    301   0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
    302   0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
    303   0x4000003f, 0x40000040, 0x00000000, 0x00000000,
    304   0x4000003f, 0x40000040, 0x00000000, 0x00000000,
    305   0x40000040, 0x55555595, 0x00000000, 0x00000000,
    306   0x55555594, 0x666666a6, 0x00000000, 0x00000000,
    307   0x666666a5, 0x7fffc040, 0x00000000, 0x00000000,
    308   0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
    309   0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
    310   0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
    311   0x7fffc041, 0x80000000, 0x00000000, 0x00000000,
    312   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    313   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    314   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    315   0x80000001, 0x80000030, 0x00000000, 0x00000000,
    316   0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
    317   0x8000003e, 0x80003ffe, 0x00000000, 0x00000000,
    318   0x8000003f, 0x80003ffe, 0x00000000, 0x00000000,
    319   0x8000003f, 0x00003fff, 0x00000000, 0x00000000,
    320   0x00000040, 0x00003fff, 0x00000000, 0x00000000,
    321   0x00000040, 0x00004000, 0x00000000, 0x00000000,
    322   0x00000041, 0x0000400f, 0x00000000, 0x00000000,
    323   0x00000050, 0x0000403d, 0x00000000, 0x00000000,
    324   0x0000007e, 0x0000403e, 0x00000000, 0x00000000,
    325   0x0000007f, 0x0000403e, 0x00000000, 0x00000000,
    326   0x0000007f, 0x00007ffd, 0x00000000, 0x00000000,
    327   0x0000403e, 0x00007ffe, 0x00000000, 0x00000000,
    328   0x0000403f, 0x00007ffe, 0x00000000, 0x00000000,
    329   0x0000403f, 0x1999d998, 0x00000000, 0x00000000,
    330   0x199999d9, 0x2aaaeaa9, 0x00000000, 0x00000000,
    331   0x2aaaaaea, 0x40003ffd, 0x00000000, 0x00000000,
    332   0x4000003e, 0x40003ffe, 0x00000000, 0x00000000,
    333   0x4000003f, 0x40003ffe, 0x00000000, 0x00000000,
    334   0x4000003f, 0x40003fff, 0x00000000, 0x00000000,
    335   0x40000040, 0x40003fff, 0x00000000, 0x00000000,
    336   0x40000040, 0x55559554, 0x00000000, 0x00000000,
    337   0x55555595, 0x6666a665, 0x00000000, 0x00000000,
    338   0x666666a6, 0x7fffffff, 0x00000000, 0x00000000,
    339   0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
    340   0x7fffc040, 0x80000000, 0x00000000, 0x00000000,
    341   0x7fffc041, 0x80000000, 0x00000000, 0x00000000,
    342   0x7fffc041, 0x80003fbf, 0x00000000, 0x00000000,
    343   0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
    344   0x80000000, 0x80003fc0, 0x00000000, 0x00000000,
    345   0x80000001, 0x80003fc0, 0x00000000, 0x00000000,
    346   0x80000001, 0x80003fef, 0x00000000, 0x00000000,
    347   0x80000030, 0x80003ffd, 0x00000000, 0x00000000,
    348   0x80003ffd, 0x80003ffe, 0x00000000, 0x00000000,
    349   0x80003ffe, 0x80003fff, 0x00000000, 0x00000000,
    350   0x80003ffe, 0x00003fff, 0x00000000, 0x00000000,
    351   0x00003fff, 0x00004000, 0x00000000, 0x00000000,
    352   0x00003fff, 0x00004000, 0x00000000, 0x00000000,
    353   0x00004000, 0x0000400f, 0x00000000, 0x00000000,
    354   0x0000400f, 0x0000403e, 0x00000000, 0x00000000,
    355   0x0000403d, 0x0000403e, 0x00000000, 0x00000000,
    356   0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
    357   0x0000403e, 0x00007ffe, 0x00000000, 0x00000000,
    358   0x00007ffd, 0x00007ffe, 0x00000000, 0x00000000,
    359   0x00007ffe, 0x00007fff, 0x00000000, 0x00000000,
    360   0x00007ffe, 0x1999d999, 0x00000000, 0x00000000,
    361   0x1999d998, 0x2aaaeaaa, 0x00000000, 0x00000000,
    362   0x2aaaeaa9, 0x40003ffe, 0x00000000, 0x00000000,
    363   0x40003ffd, 0x40003ffe, 0x00000000, 0x00000000,
    364   0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
    365   0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
    366   0x40003fff, 0x40004000, 0x00000000, 0x00000000,
    367   0x40003fff, 0x55559554, 0x00000000, 0x00000000,
    368   0x55559554, 0x6666a665, 0x00000000, 0x00000000,
    369   0x6666a665, 0x7fffffff, 0x00000000, 0x00000000,
    370   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    371   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    372   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    373   0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
    374   0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
    375   0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
    376   0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
    377   0x80003fc0, 0x80003fef, 0x00000000, 0x00000000,
    378   0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
    379   0x80003ffe, 0x80003fff, 0x00000000, 0x00000000,
    380   0x80003ffe, 0x80003fff, 0x00000000, 0x00000000,
    381   0x80003fff, 0x00004000, 0x00000000, 0x00000000,
    382   0x00003fff, 0x00004000, 0x00000000, 0x00000000,
    383   0x00004000, 0x00004001, 0x00000000, 0x00000000,
    384   0x00004000, 0x00004010, 0x00000000, 0x00000000,
    385   0x0000400f, 0x0000403e, 0x00000000, 0x00000000,
    386   0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
    387   0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
    388   0x0000403f, 0x00007ffe, 0x00000000, 0x00000000,
    389   0x00007ffe, 0x00007fff, 0x00000000, 0x00000000,
    390   0x00007ffe, 0x00007fff, 0x00000000, 0x00000000,
    391   0x00007fff, 0x1999d999, 0x00000000, 0x00000000,
    392   0x1999d999, 0x2aaaeaaa, 0x00000000, 0x00000000,
    393   0x2aaaeaaa, 0x40003ffe, 0x00000000, 0x00000000,
    394   0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
    395   0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
    396   0x40003fff, 0x40004000, 0x00000000, 0x00000000,
    397   0x40003fff, 0x40004000, 0x00000000, 0x00000000,
    398   0x40004000, 0x55559555, 0x00000000, 0x00000000,
    399   0x55559554, 0x6666a666, 0x00000000, 0x00000000,
    400   0x6666a665, 0x80000000, 0x00000000, 0x00000000,
    401   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    402   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    403   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    404   0x80000001, 0x80003fc0, 0x00000000, 0x00000000,
    405   0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
    406   0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
    407   0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
    408   0x80003fc1, 0x80003ff0, 0x00000000, 0x00000000,
    409   0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
    410   0x80003ffe, 0x99999999, 0x00000000, 0x00000000,
    411   0x80003fff, 0x99999999, 0x00000000, 0x00000000,
    412   0x80003fff, 0x1999999a, 0x00000000, 0x00000000,
    413   0x00004000, 0x1999999a, 0x00000000, 0x00000000,
    414   0x00004000, 0x1999999b, 0x00000000, 0x00000000,
    415   0x00004001, 0x199999aa, 0x00000000, 0x00000000,
    416   0x00004010, 0x199999d8, 0x00000000, 0x00000000,
    417   0x0000403e, 0x199999d9, 0x00000000, 0x00000000,
    418   0x0000403f, 0x199999d9, 0x00000000, 0x00000000,
    419   0x0000403f, 0x1999d998, 0x00000000, 0x00000000,
    420   0x00007ffe, 0x1999d999, 0x00000000, 0x00000000,
    421   0x00007fff, 0x1999d999, 0x00000000, 0x00000000,
    422   0x00007fff, 0x33333333, 0x00000000, 0x00000000,
    423   0x1999d999, 0x44444444, 0x00000000, 0x00000000,
    424   0x2aaaeaaa, 0x59999998, 0x00000000, 0x00000000,
    425   0x40003ffe, 0x59999999, 0x00000000, 0x00000000,
    426   0x40003fff, 0x59999999, 0x00000000, 0x00000000,
    427   0x40003fff, 0x5999999a, 0x00000000, 0x00000000,
    428   0x40004000, 0x5999999a, 0x00000000, 0x00000000,
    429   0x40004000, 0x6eeeeeef, 0x00000000, 0x00000000,
    430   0x55559555, 0x80000000, 0x00000000, 0x00000000,
    431   0x6666a666, 0x9999599a, 0x00000000, 0x00000000,
    432   0x80000000, 0x9999599a, 0x00000000, 0x00000000,
    433   0x80000000, 0x9999599b, 0x00000000, 0x00000000,
    434   0x80000001, 0x9999599b, 0x00000000, 0x00000000,
    435   0x80000001, 0x9999995a, 0x00000000, 0x00000000,
    436   0x80003fc0, 0x9999995a, 0x00000000, 0x00000000,
    437   0x80003fc0, 0x9999995b, 0x00000000, 0x00000000,
    438   0x80003fc1, 0x9999995b, 0x00000000, 0x00000000,
    439   0x80003fc1, 0x9999998a, 0x00000000, 0x00000000,
    440   0x80003ff0, 0x99999998, 0x00000000, 0x00000000,
    441   0x99999998, 0xaaaaaaaa, 0x00000000, 0x00000000,
    442   0x99999999, 0xaaaaaaaa, 0x00000000, 0x00000000,
    443   0x99999999, 0x2aaaaaab, 0x00000000, 0x00000000,
    444   0x1999999a, 0x2aaaaaab, 0x00000000, 0x00000000,
    445   0x1999999a, 0x2aaaaaac, 0x00000000, 0x00000000,
    446   0x1999999b, 0x2aaaaabb, 0x00000000, 0x00000000,
    447   0x199999aa, 0x2aaaaae9, 0x00000000, 0x00000000,
    448   0x199999d8, 0x2aaaaaea, 0x00000000, 0x00000000,
    449   0x199999d9, 0x2aaaaaea, 0x00000000, 0x00000000,
    450   0x199999d9, 0x2aaaeaa9, 0x00000000, 0x00000000,
    451   0x1999d998, 0x2aaaeaaa, 0x00000000, 0x00000000,
    452   0x1999d999, 0x2aaaeaaa, 0x00000000, 0x00000000,
    453   0x1999d999, 0x44444444, 0x00000000, 0x00000000,
    454   0x33333333, 0x55555555, 0x00000000, 0x00000000,
    455   0x44444444, 0x6aaaaaa9, 0x00000000, 0x00000000,
    456   0x59999998, 0x6aaaaaaa, 0x00000000, 0x00000000,
    457   0x59999999, 0x6aaaaaaa, 0x00000000, 0x00000000,
    458   0x59999999, 0x6aaaaaab, 0x00000000, 0x00000000,
    459   0x5999999a, 0x6aaaaaab, 0x00000000, 0x00000000,
    460   0x5999999a, 0x80000000, 0x00000000, 0x00000000,
    461   0x6eeeeeef, 0x91111111, 0x00000000, 0x00000000,
    462   0x80000000, 0xaaaa6aab, 0x00000000, 0x00000000,
    463   0x9999599a, 0xaaaa6aab, 0x00000000, 0x00000000,
    464   0x9999599a, 0xaaaa6aac, 0x00000000, 0x00000000,
    465   0x9999599b, 0xaaaa6aac, 0x00000000, 0x00000000,
    466   0x9999599b, 0xaaaaaa6b, 0x00000000, 0x00000000,
    467   0x9999995a, 0xaaaaaa6b, 0x00000000, 0x00000000,
    468   0x9999995a, 0xaaaaaa6c, 0x00000000, 0x00000000,
    469   0x9999995b, 0xaaaaaa6c, 0x00000000, 0x00000000,
    470   0x9999995b, 0xaaaaaa9b, 0x00000000, 0x00000000,
    471   0x9999998a, 0xaaaaaaa9, 0x00000000, 0x00000000,
    472   0xaaaaaaa9, 0xbffffffe, 0x00000000, 0x00000000,
    473   0xaaaaaaaa, 0xbffffffe, 0x00000000, 0x00000000,
    474   0xaaaaaaaa, 0x3fffffff, 0x00000000, 0x00000000,
    475   0x2aaaaaab, 0x3fffffff, 0x00000000, 0x00000000,
    476   0x2aaaaaab, 0x40000000, 0x00000000, 0x00000000,
    477   0x2aaaaaac, 0x4000000f, 0x00000000, 0x00000000,
    478   0x2aaaaabb, 0x4000003d, 0x00000000, 0x00000000,
    479   0x2aaaaae9, 0x4000003e, 0x00000000, 0x00000000,
    480   0x2aaaaaea, 0x4000003e, 0x00000000, 0x00000000,
    481   0x2aaaaaea, 0x40003ffd, 0x00000000, 0x00000000,
    482   0x2aaaeaa9, 0x40003ffe, 0x00000000, 0x00000000,
    483   0x2aaaeaaa, 0x40003ffe, 0x00000000, 0x00000000,
    484   0x2aaaeaaa, 0x59999998, 0x00000000, 0x00000000,
    485   0x44444444, 0x6aaaaaa9, 0x00000000, 0x00000000,
    486   0x55555555, 0x7ffffffd, 0x00000000, 0x00000000,
    487   0x6aaaaaa9, 0x7ffffffe, 0x00000000, 0x00000000,
    488   0x6aaaaaaa, 0x7ffffffe, 0x00000000, 0x00000000,
    489   0x6aaaaaaa, 0x7fffffff, 0x00000000, 0x00000000,
    490   0x6aaaaaab, 0x7fffffff, 0x00000000, 0x00000000,
    491   0x6aaaaaab, 0x95555554, 0x00000000, 0x00000000,
    492   0x80000000, 0xa6666665, 0x00000000, 0x00000000,
    493   0x91111111, 0xbfffbfff, 0x00000000, 0x00000000,
    494   0xaaaa6aab, 0xbfffbfff, 0x00000000, 0x00000000,
    495   0xaaaa6aab, 0xbfffc000, 0x00000000, 0x00000000,
    496   0xaaaa6aac, 0xbfffc000, 0x00000000, 0x00000000,
    497   0xaaaa6aac, 0xbfffffbf, 0x00000000, 0x00000000,
    498   0xaaaaaa6b, 0xbfffffbf, 0x00000000, 0x00000000,
    499   0xaaaaaa6b, 0xbfffffc0, 0x00000000, 0x00000000,
    500   0xaaaaaa6c, 0xbfffffc0, 0x00000000, 0x00000000,
    501   0xaaaaaa6c, 0xbfffffef, 0x00000000, 0x00000000,
    502   0xaaaaaa9b, 0xbffffffd, 0x00000000, 0x00000000,
    503   0xbffffffd, 0xbffffffe, 0x00000000, 0x00000000,
    504   0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
    505   0xbffffffe, 0x3fffffff, 0x00000000, 0x00000000,
    506   0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
    507   0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
    508   0x40000000, 0x4000000f, 0x00000000, 0x00000000,
    509   0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
    510   0x4000003d, 0x4000003e, 0x00000000, 0x00000000,
    511   0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
    512   0x4000003e, 0x40003ffe, 0x00000000, 0x00000000,
    513   0x40003ffd, 0x40003ffe, 0x00000000, 0x00000000,
    514   0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
    515   0x40003ffe, 0x59999999, 0x00000000, 0x00000000,
    516   0x59999998, 0x6aaaaaaa, 0x00000000, 0x00000000,
    517   0x6aaaaaa9, 0x7ffffffe, 0x00000000, 0x00000000,
    518   0x7ffffffd, 0x7ffffffe, 0x00000000, 0x00000000,
    519   0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
    520   0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
    521   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    522   0x7fffffff, 0x95555554, 0x00000000, 0x00000000,
    523   0x95555554, 0xa6666665, 0x00000000, 0x00000000,
    524   0xa6666665, 0xbfffbfff, 0x00000000, 0x00000000,
    525   0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
    526   0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
    527   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    528   0xbfffc000, 0xbfffffbf, 0x00000000, 0x00000000,
    529   0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
    530   0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
    531   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    532   0xbfffffc0, 0xbfffffef, 0x00000000, 0x00000000,
    533   0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
    534   0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
    535   0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
    536   0xbfffffff, 0x40000000, 0x00000000, 0x00000000,
    537   0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
    538   0x40000000, 0x40000001, 0x00000000, 0x00000000,
    539   0x40000000, 0x40000010, 0x00000000, 0x00000000,
    540   0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
    541   0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
    542   0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
    543   0x4000003f, 0x40003ffe, 0x00000000, 0x00000000,
    544   0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
    545   0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
    546   0x40003fff, 0x59999999, 0x00000000, 0x00000000,
    547   0x59999999, 0x6aaaaaaa, 0x00000000, 0x00000000,
    548   0x6aaaaaaa, 0x7ffffffe, 0x00000000, 0x00000000,
    549   0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
    550   0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
    551   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    552   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    553   0x80000000, 0x95555555, 0x00000000, 0x00000000,
    554   0x95555554, 0xa6666666, 0x00000000, 0x00000000,
    555   0xa6666665, 0xbfffc000, 0x00000000, 0x00000000,
    556   0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
    557   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    558   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    559   0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
    560   0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
    561   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    562   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    563   0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
    564   0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
    565   0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
    566   0xbfffffff, 0xc0000000, 0x00000000, 0x00000000,
    567   0xbfffffff, 0x40000000, 0x00000000, 0x00000000,
    568   0x40000000, 0x40000001, 0x00000000, 0x00000000,
    569   0x40000000, 0x40000001, 0x00000000, 0x00000000,
    570   0x40000001, 0x40000010, 0x00000000, 0x00000000,
    571   0x40000010, 0x4000003f, 0x00000000, 0x00000000,
    572   0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
    573   0x4000003f, 0x40000040, 0x00000000, 0x00000000,
    574   0x4000003f, 0x40003fff, 0x00000000, 0x00000000,
    575   0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
    576   0x40003fff, 0x40004000, 0x00000000, 0x00000000,
    577   0x40003fff, 0x5999999a, 0x00000000, 0x00000000,
    578   0x59999999, 0x6aaaaaab, 0x00000000, 0x00000000,
    579   0x6aaaaaaa, 0x7fffffff, 0x00000000, 0x00000000,
    580   0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
    581   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    582   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    583   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    584   0x80000000, 0x95555555, 0x00000000, 0x00000000,
    585   0x95555555, 0xa6666666, 0x00000000, 0x00000000,
    586   0xa6666666, 0xbfffc000, 0x00000000, 0x00000000,
    587   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    588   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    589   0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
    590   0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
    591   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    592   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    593   0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
    594   0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
    595   0xbffffff0, 0xbfffffff, 0x00000000, 0x00000000,
    596   0xbfffffff, 0xc0000000, 0x00000000, 0x00000000,
    597   0xbfffffff, 0xc0000000, 0x00000000, 0x00000000,
    598   0xc0000000, 0x40000001, 0x00000000, 0x00000000,
    599   0x40000000, 0x40000001, 0x00000000, 0x00000000,
    600   0x40000001, 0x40000002, 0x00000000, 0x00000000,
    601   0x40000001, 0x40000011, 0x00000000, 0x00000000,
    602   0x40000010, 0x4000003f, 0x00000000, 0x00000000,
    603   0x4000003f, 0x40000040, 0x00000000, 0x00000000,
    604   0x4000003f, 0x40000040, 0x00000000, 0x00000000,
    605   0x40000040, 0x40003fff, 0x00000000, 0x00000000,
    606   0x40003fff, 0x40004000, 0x00000000, 0x00000000,
    607   0x40003fff, 0x40004000, 0x00000000, 0x00000000,
    608   0x40004000, 0x5999999a, 0x00000000, 0x00000000,
    609   0x5999999a, 0x6aaaaaab, 0x00000000, 0x00000000,
    610   0x6aaaaaab, 0x7fffffff, 0x00000000, 0x00000000,
    611   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    612   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    613   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    614   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    615   0x80000001, 0x95555556, 0x00000000, 0x00000000,
    616   0x95555555, 0xa6666667, 0x00000000, 0x00000000,
    617   0xa6666666, 0xbfffc001, 0x00000000, 0x00000000,
    618   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    619   0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
    620   0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
    621   0xbfffc002, 0xbfffffc1, 0x00000000, 0x00000000,
    622   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    623   0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
    624   0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
    625   0xbfffffc2, 0xbffffff1, 0x00000000, 0x00000000,
    626   0xbffffff0, 0xbfffffff, 0x00000000, 0x00000000,
    627   0xbfffffff, 0xd5555554, 0x00000000, 0x00000000,
    628   0xc0000000, 0xd5555555, 0x00000000, 0x00000000,
    629   0xc0000000, 0x55555555, 0x00000000, 0x00000000,
    630   0x40000001, 0x55555556, 0x00000000, 0x00000000,
    631   0x40000001, 0x55555556, 0x00000000, 0x00000000,
    632   0x40000002, 0x55555565, 0x00000000, 0x00000000,
    633   0x40000011, 0x55555594, 0x00000000, 0x00000000,
    634   0x4000003f, 0x55555594, 0x00000000, 0x00000000,
    635   0x40000040, 0x55555595, 0x00000000, 0x00000000,
    636   0x40000040, 0x55559554, 0x00000000, 0x00000000,
    637   0x40003fff, 0x55559554, 0x00000000, 0x00000000,
    638   0x40004000, 0x55559555, 0x00000000, 0x00000000,
    639   0x40004000, 0x6eeeeeef, 0x00000000, 0x00000000,
    640   0x5999999a, 0x80000000, 0x00000000, 0x00000000,
    641   0x6aaaaaab, 0x95555554, 0x00000000, 0x00000000,
    642   0x7fffffff, 0x95555554, 0x00000000, 0x00000000,
    643   0x80000000, 0x95555555, 0x00000000, 0x00000000,
    644   0x80000000, 0x95555555, 0x00000000, 0x00000000,
    645   0x80000001, 0x95555556, 0x00000000, 0x00000000,
    646   0x80000001, 0xaaaaaaaa, 0x00000000, 0x00000000,
    647   0x95555556, 0xbbbbbbbb, 0x00000000, 0x00000000,
    648   0xa6666667, 0xd5551555, 0x00000000, 0x00000000,
    649   0xbfffc001, 0xd5551556, 0x00000000, 0x00000000,
    650   0xbfffc001, 0xd5551556, 0x00000000, 0x00000000,
    651   0xbfffc002, 0xd5551557, 0x00000000, 0x00000000,
    652   0xbfffc002, 0xd5555515, 0x00000000, 0x00000000,
    653   0xbfffffc1, 0xd5555516, 0x00000000, 0x00000000,
    654   0xbfffffc1, 0xd5555516, 0x00000000, 0x00000000,
    655   0xbfffffc2, 0xd5555517, 0x00000000, 0x00000000,
    656   0xbfffffc2, 0xd5555545, 0x00000000, 0x00000000,
    657   0xbffffff1, 0xd5555554, 0x00000000, 0x00000000,
    658   0xd5555554, 0xe6666665, 0x00000000, 0x00000000,
    659   0xd5555554, 0xe6666666, 0x00000000, 0x00000000,
    660   0xd5555555, 0x66666666, 0x00000000, 0x00000000,
    661   0x55555555, 0x66666667, 0x00000000, 0x00000000,
    662   0x55555556, 0x66666667, 0x00000000, 0x00000000,
    663   0x55555556, 0x66666676, 0x00000000, 0x00000000,
    664   0x55555565, 0x666666a5, 0x00000000, 0x00000000,
    665   0x55555594, 0x666666a5, 0x00000000, 0x00000000,
    666   0x55555594, 0x666666a6, 0x00000000, 0x00000000,
    667   0x55555595, 0x6666a665, 0x00000000, 0x00000000,
    668   0x55559554, 0x6666a665, 0x00000000, 0x00000000,
    669   0x55559554, 0x6666a666, 0x00000000, 0x00000000,
    670   0x55559555, 0x80000000, 0x00000000, 0x00000000,
    671   0x6eeeeeef, 0x91111111, 0x00000000, 0x00000000,
    672   0x80000000, 0xa6666665, 0x00000000, 0x00000000,
    673   0x95555554, 0xa6666665, 0x00000000, 0x00000000,
    674   0x95555554, 0xa6666666, 0x00000000, 0x00000000,
    675   0x95555555, 0xa6666666, 0x00000000, 0x00000000,
    676   0x95555555, 0xa6666667, 0x00000000, 0x00000000,
    677   0x95555556, 0xbbbbbbbb, 0x00000000, 0x00000000,
    678   0xaaaaaaaa, 0xcccccccc, 0x00000000, 0x00000000,
    679   0xbbbbbbbb, 0xe6662666, 0x00000000, 0x00000000,
    680   0xd5551555, 0xe6662667, 0x00000000, 0x00000000,
    681   0xd5551556, 0xe6662667, 0x00000000, 0x00000000,
    682   0xd5551556, 0xe6662668, 0x00000000, 0x00000000,
    683   0xd5551557, 0xe6666626, 0x00000000, 0x00000000,
    684   0xd5555515, 0xe6666627, 0x00000000, 0x00000000,
    685   0xd5555516, 0xe6666627, 0x00000000, 0x00000000,
    686   0xd5555516, 0xe6666628, 0x00000000, 0x00000000,
    687   0xd5555517, 0xe6666656, 0x00000000, 0x00000000,
    688   0xd5555545, 0xe6666665, 0x00000000, 0x00000000,
    689   0xe6666665, 0xffffbfff, 0x00000000, 0x00000000,
    690   0xe6666665, 0xffffc000, 0x00000000, 0x00000000,
    691   0xe6666666, 0x7fffc000, 0x00000000, 0x00000000,
    692   0x66666666, 0x7fffc001, 0x00000000, 0x00000000,
    693   0x66666667, 0x7fffc001, 0x00000000, 0x00000000,
    694   0x66666667, 0x7fffc010, 0x00000000, 0x00000000,
    695   0x66666676, 0x7fffc03f, 0x00000000, 0x00000000,
    696   0x666666a5, 0x7fffc03f, 0x00000000, 0x00000000,
    697   0x666666a5, 0x7fffc040, 0x00000000, 0x00000000,
    698   0x666666a6, 0x7fffffff, 0x00000000, 0x00000000,
    699   0x6666a665, 0x7fffffff, 0x00000000, 0x00000000,
    700   0x6666a665, 0x80000000, 0x00000000, 0x00000000,
    701   0x6666a666, 0x9999599a, 0x00000000, 0x00000000,
    702   0x80000000, 0xaaaa6aab, 0x00000000, 0x00000000,
    703   0x91111111, 0xbfffbfff, 0x00000000, 0x00000000,
    704   0xa6666665, 0xbfffbfff, 0x00000000, 0x00000000,
    705   0xa6666665, 0xbfffc000, 0x00000000, 0x00000000,
    706   0xa6666666, 0xbfffc000, 0x00000000, 0x00000000,
    707   0xa6666666, 0xbfffc001, 0x00000000, 0x00000000,
    708   0xa6666667, 0xd5551555, 0x00000000, 0x00000000,
    709   0xbbbbbbbb, 0xe6662666, 0x00000000, 0x00000000,
    710   0xcccccccc, 0xffff8000, 0x00000000, 0x00000000,
    711   0xe6662666, 0xffff8001, 0x00000000, 0x00000000,
    712   0xe6662667, 0xffff8001, 0x00000000, 0x00000000,
    713   0xe6662667, 0xffff8002, 0x00000000, 0x00000000,
    714   0xe6662668, 0xffffbfc0, 0x00000000, 0x00000000,
    715   0xe6666626, 0xffffbfc1, 0x00000000, 0x00000000,
    716   0xe6666627, 0xffffbfc1, 0x00000000, 0x00000000,
    717   0xe6666627, 0xffffbfc2, 0x00000000, 0x00000000,
    718   0xe6666628, 0xffffbff0, 0x00000000, 0x00000000,
    719   0xe6666656, 0xffffbfff, 0x00000000, 0x00000000,
    720   0xffffbfff, 0xffffc000, 0x00000000, 0x00000000,
    721   0xffffbfff, 0xffffc000, 0x00000000, 0x00000000,
    722   0xffffc000, 0x7fffc001, 0x00000000, 0x00000000,
    723   0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
    724   0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
    725   0x7fffc001, 0x7fffc011, 0x00000000, 0x00000000,
    726   0x7fffc010, 0x7fffc03f, 0x00000000, 0x00000000,
    727   0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
    728   0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
    729   0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
    730   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    731   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    732   0x80000000, 0x9999599a, 0x00000000, 0x00000000,
    733   0x9999599a, 0xaaaa6aab, 0x00000000, 0x00000000,
    734   0xaaaa6aab, 0xbfffbfff, 0x00000000, 0x00000000,
    735   0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
    736   0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
    737   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    738   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    739   0xbfffc001, 0xd5551556, 0x00000000, 0x00000000,
    740   0xd5551555, 0xe6662667, 0x00000000, 0x00000000,
    741   0xe6662666, 0xffff8001, 0x00000000, 0x00000000,
    742   0xffff8000, 0xffff8001, 0x00000000, 0x00000000,
    743   0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
    744   0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
    745   0xffff8002, 0xffffbfc1, 0x00000000, 0x00000000,
    746   0xffffbfc0, 0xffffbfc1, 0x00000000, 0x00000000,
    747   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    748   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    749   0xffffbfc2, 0xffffbff1, 0x00000000, 0x00000000,
    750   0xffffbff0, 0xffffbfff, 0x00000000, 0x00000000,
    751   0xffffbfff, 0xffffc000, 0x00000000, 0x00000000,
    752   0xffffc000, 0xffffc001, 0x00000000, 0x00000000,
    753   0xffffc000, 0x7fffc001, 0x00000000, 0x00000000,
    754   0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
    755   0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
    756   0x7fffc002, 0x7fffc011, 0x00000000, 0x00000000,
    757   0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
    758   0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
    759   0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
    760   0x7fffc040, 0x80000000, 0x00000000, 0x00000000,
    761   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    762   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    763   0x80000000, 0x9999599b, 0x00000000, 0x00000000,
    764   0x9999599a, 0xaaaa6aac, 0x00000000, 0x00000000,
    765   0xaaaa6aab, 0xbfffc000, 0x00000000, 0x00000000,
    766   0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
    767   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    768   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    769   0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
    770   0xbfffc001, 0xd5551556, 0x00000000, 0x00000000,
    771   0xd5551556, 0xe6662667, 0x00000000, 0x00000000,
    772   0xe6662667, 0xffff8001, 0x00000000, 0x00000000,
    773   0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
    774   0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
    775   0xffff8002, 0xffff8003, 0x00000000, 0x00000000,
    776   0xffff8002, 0xffffbfc1, 0x00000000, 0x00000000,
    777   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    778   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    779   0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
    780   0xffffbfc2, 0xffffbff1, 0x00000000, 0x00000000,
    781   0xffffbff1, 0xffffc000, 0x00000000, 0x00000000,
    782   0xffffc000, 0xffffc001, 0x00000000, 0x00000000,
    783   0xffffc000, 0xffffc001, 0x00000000, 0x00000000,
    784   0xffffc001, 0x7fffc002, 0x00000000, 0x00000000,
    785   0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
    786   0x7fffc002, 0x7fffc003, 0x00000000, 0x00000000,
    787   0x7fffc002, 0x7fffc012, 0x00000000, 0x00000000,
    788   0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
    789   0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
    790   0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
    791   0x7fffc041, 0x80000000, 0x00000000, 0x00000000,
    792   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    793   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    794   0x80000001, 0x9999599b, 0x00000000, 0x00000000,
    795   0x9999599b, 0xaaaa6aac, 0x00000000, 0x00000000,
    796   0xaaaa6aac, 0xbfffc000, 0x00000000, 0x00000000,
    797   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    798   0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
    799   0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
    800   0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
    801   0xbfffc002, 0xd5551557, 0x00000000, 0x00000000,
    802   0xd5551556, 0xe6662668, 0x00000000, 0x00000000,
    803   0xe6662667, 0xffff8002, 0x00000000, 0x00000000,
    804   0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
    805   0xffff8002, 0xffff8003, 0x00000000, 0x00000000,
    806   0xffff8002, 0xffff8003, 0x00000000, 0x00000000,
    807   0xffff8003, 0xffffbfc2, 0x00000000, 0x00000000,
    808   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    809   0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
    810   0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
    811   0xffffbfc3, 0xffffbff2, 0x00000000, 0x00000000,
    812   0xffffbff1, 0xffffc000, 0x00000000, 0x00000000,
    813   0xffffc000, 0xffffffbf, 0x00000000, 0x00000000,
    814   0xffffc001, 0xffffffc0, 0x00000000, 0x00000000,
    815   0xffffc001, 0x7fffffc0, 0x00000000, 0x00000000,
    816   0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
    817   0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
    818   0x7fffc003, 0x7fffffd0, 0x00000000, 0x00000000,
    819   0x7fffc012, 0x7fffffff, 0x00000000, 0x00000000,
    820   0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
    821   0x7fffc041, 0x80000000, 0x00000000, 0x00000000,
    822   0x7fffc041, 0x80003fbf, 0x00000000, 0x00000000,
    823   0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
    824   0x80000001, 0x80003fc0, 0x00000000, 0x00000000,
    825   0x80000001, 0x9999995a, 0x00000000, 0x00000000,
    826   0x9999599b, 0xaaaaaa6b, 0x00000000, 0x00000000,
    827   0xaaaa6aac, 0xbfffffbf, 0x00000000, 0x00000000,
    828   0xbfffc000, 0xbfffffbf, 0x00000000, 0x00000000,
    829   0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
    830   0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
    831   0xbfffc002, 0xbfffffc1, 0x00000000, 0x00000000,
    832   0xbfffc002, 0xd5555515, 0x00000000, 0x00000000,
    833   0xd5551557, 0xe6666626, 0x00000000, 0x00000000,
    834   0xe6662668, 0xffffbfc0, 0x00000000, 0x00000000,
    835   0xffff8002, 0xffffbfc1, 0x00000000, 0x00000000,
    836   0xffff8002, 0xffffbfc1, 0x00000000, 0x00000000,
    837   0xffff8003, 0xffffbfc2, 0x00000000, 0x00000000,
    838   0xffff8003, 0xffffff80, 0x00000000, 0x00000000,
    839   0xffffbfc2, 0xffffff81, 0x00000000, 0x00000000,
    840   0xffffbfc2, 0xffffff81, 0x00000000, 0x00000000,
    841   0xffffbfc3, 0xffffff82, 0x00000000, 0x00000000,
    842   0xffffbfc3, 0xffffffb0, 0x00000000, 0x00000000,
    843   0xffffbff2, 0xffffffbf, 0x00000000, 0x00000000,
    844   0xffffffbf, 0xffffffc0, 0x00000000, 0x00000000,
    845   0xffffffbf, 0xffffffc0, 0x00000000, 0x00000000,
    846   0xffffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
    847   0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
    848   0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    849   0x7fffffc1, 0x7fffffd1, 0x00000000, 0x00000000,
    850   0x7fffffd0, 0x7fffffff, 0x00000000, 0x00000000,
    851   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    852   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    853   0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
    854   0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
    855   0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
    856   0x80003fc0, 0x9999995a, 0x00000000, 0x00000000,
    857   0x9999995a, 0xaaaaaa6b, 0x00000000, 0x00000000,
    858   0xaaaaaa6b, 0xbfffffbf, 0x00000000, 0x00000000,
    859   0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
    860   0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
    861   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    862   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    863   0xbfffffc1, 0xd5555516, 0x00000000, 0x00000000,
    864   0xd5555515, 0xe6666627, 0x00000000, 0x00000000,
    865   0xe6666626, 0xffffbfc1, 0x00000000, 0x00000000,
    866   0xffffbfc0, 0xffffbfc1, 0x00000000, 0x00000000,
    867   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    868   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    869   0xffffbfc2, 0xffffff81, 0x00000000, 0x00000000,
    870   0xffffff80, 0xffffff81, 0x00000000, 0x00000000,
    871   0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
    872   0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
    873   0xffffff82, 0xffffffb1, 0x00000000, 0x00000000,
    874   0xffffffb0, 0xffffffbf, 0x00000000, 0x00000000,
    875   0xffffffbf, 0xffffffc0, 0x00000000, 0x00000000,
    876   0xffffffc0, 0xffffffc1, 0x00000000, 0x00000000,
    877   0xffffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
    878   0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    879   0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    880   0x7fffffc2, 0x7fffffd1, 0x00000000, 0x00000000,
    881   0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
    882   0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
    883   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    884   0x80000000, 0x80003fc0, 0x00000000, 0x00000000,
    885   0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
    886   0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
    887   0x80003fc0, 0x9999995b, 0x00000000, 0x00000000,
    888   0x9999995a, 0xaaaaaa6c, 0x00000000, 0x00000000,
    889   0xaaaaaa6b, 0xbfffffc0, 0x00000000, 0x00000000,
    890   0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
    891   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    892   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    893   0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
    894   0xbfffffc1, 0xd5555516, 0x00000000, 0x00000000,
    895   0xd5555516, 0xe6666627, 0x00000000, 0x00000000,
    896   0xe6666627, 0xffffbfc1, 0x00000000, 0x00000000,
    897   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    898   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    899   0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
    900   0xffffbfc2, 0xffffff81, 0x00000000, 0x00000000,
    901   0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
    902   0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
    903   0xffffff82, 0xffffff83, 0x00000000, 0x00000000,
    904   0xffffff82, 0xffffffb1, 0x00000000, 0x00000000,
    905   0xffffffb1, 0xffffffc0, 0x00000000, 0x00000000,
    906   0xffffffc0, 0xffffffc1, 0x00000000, 0x00000000,
    907   0xffffffc0, 0xffffffc1, 0x00000000, 0x00000000,
    908   0xffffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    909   0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
    910   0x7fffffc2, 0x7fffffc3, 0x00000000, 0x00000000,
    911   0x7fffffc2, 0x7fffffd2, 0x00000000, 0x00000000,
    912   0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
    913   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    914   0x80000000, 0x80000001, 0x00000000, 0x00000000,
    915   0x80000001, 0x80003fc0, 0x00000000, 0x00000000,
    916   0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
    917   0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
    918   0x80003fc1, 0x9999995b, 0x00000000, 0x00000000,
    919   0x9999995b, 0xaaaaaa6c, 0x00000000, 0x00000000,
    920   0xaaaaaa6c, 0xbfffffc0, 0x00000000, 0x00000000,
    921   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    922   0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
    923   0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
    924   0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
    925   0xbfffffc2, 0xd5555517, 0x00000000, 0x00000000,
    926   0xd5555516, 0xe6666628, 0x00000000, 0x00000000,
    927   0xe6666627, 0xffffbfc2, 0x00000000, 0x00000000,
    928   0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
    929   0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
    930   0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
    931   0xffffbfc3, 0xffffff82, 0x00000000, 0x00000000,
    932   0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
    933   0xffffff82, 0xffffff83, 0x00000000, 0x00000000,
    934   0xffffff82, 0xffffff83, 0x00000000, 0x00000000,
    935   0xffffff83, 0xffffffb2, 0x00000000, 0x00000000,
    936   0xffffffb1, 0xffffffc0, 0x00000000, 0x00000000,
    937   0xffffffc0, 0xffffffef, 0x00000000, 0x00000000,
    938   0xffffffc1, 0xfffffff0, 0x00000000, 0x00000000,
    939   0xffffffc1, 0x7ffffff0, 0x00000000, 0x00000000,
    940   0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
    941   0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
    942   0x7fffffc3, 0x80000000, 0x00000000, 0x00000000,
    943   0x7fffffd2, 0x8000002f, 0x00000000, 0x00000000,
    944   0x80000000, 0x8000002f, 0x00000000, 0x00000000,
    945   0x80000001, 0x80000030, 0x00000000, 0x00000000,
    946   0x80000001, 0x80003fef, 0x00000000, 0x00000000,
    947   0x80003fc0, 0x80003fef, 0x00000000, 0x00000000,
    948   0x80003fc1, 0x80003ff0, 0x00000000, 0x00000000,
    949   0x80003fc1, 0x9999998a, 0x00000000, 0x00000000,
    950   0x9999995b, 0xaaaaaa9b, 0x00000000, 0x00000000,
    951   0xaaaaaa6c, 0xbfffffef, 0x00000000, 0x00000000,
    952   0xbfffffc0, 0xbfffffef, 0x00000000, 0x00000000,
    953   0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
    954   0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
    955   0xbfffffc2, 0xbffffff1, 0x00000000, 0x00000000,
    956   0xbfffffc2, 0xd5555545, 0x00000000, 0x00000000,
    957   0xd5555517, 0xe6666656, 0x00000000, 0x00000000,
    958   0xe6666628, 0xffffbff0, 0x00000000, 0x00000000,
    959   0xffffbfc2, 0xffffbff1, 0x00000000, 0x00000000,
    960   0xffffbfc2, 0xffffbff1, 0x00000000, 0x00000000,
    961   0xffffbfc3, 0xffffbff2, 0x00000000, 0x00000000,
    962   0xffffbfc3, 0xffffffb0, 0x00000000, 0x00000000,
    963   0xffffff82, 0xffffffb1, 0x00000000, 0x00000000,
    964   0xffffff82, 0xffffffb1, 0x00000000, 0x00000000,
    965   0xffffff83, 0xffffffb2, 0x00000000, 0x00000000,
    966   0xffffff83, 0xffffffe0, 0x00000000, 0x00000000,
    967   0xffffffb2, 0xffffffef, 0x00000000, 0x00000000,
    968   0xffffffef, 0xfffffffe, 0x00000000, 0x00000000,
    969   0xffffffef, 0xfffffffe, 0x00000000, 0x00000000,
    970   0xfffffff0, 0x7fffffff, 0x00000000, 0x00000000,
    971   0x7ffffff0, 0x7fffffff, 0x00000000, 0x00000000,
    972   0x7ffffff1, 0x80000000, 0x00000000, 0x00000000,
    973   0x7ffffff1, 0x8000000f, 0x00000000, 0x00000000,
    974   0x80000000, 0x8000003d, 0x00000000, 0x00000000,
    975   0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
    976   0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
    977   0x80000030, 0x80003ffd, 0x00000000, 0x00000000,
    978   0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
    979   0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
    980   0x80003ff0, 0x99999998, 0x00000000, 0x00000000,
    981   0x9999998a, 0xaaaaaaa9, 0x00000000, 0x00000000,
    982   0xaaaaaa9b, 0xbffffffd, 0x00000000, 0x00000000,
    983   0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
    984   0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
    985   0xbffffff0, 0xbfffffff, 0x00000000, 0x00000000,
    986   0xbffffff0, 0xbfffffff, 0x00000000, 0x00000000,
    987   0xbffffff1, 0xd5555554, 0x00000000, 0x00000000,
    988   0xd5555545, 0xe6666665, 0x00000000, 0x00000000,
    989   0xe6666656, 0xffffbfff, 0x00000000, 0x00000000,
    990   0xffffbff0, 0xffffbfff, 0x00000000, 0x00000000,
    991   0xffffbff1, 0xffffc000, 0x00000000, 0x00000000,
    992   0xffffbff1, 0xffffc000, 0x00000000, 0x00000000,
    993   0xffffbff2, 0xffffffbf, 0x00000000, 0x00000000,
    994   0xffffffb0, 0xffffffbf, 0x00000000, 0x00000000,
    995   0xffffffb1, 0xffffffc0, 0x00000000, 0x00000000,
    996   0xffffffb1, 0xffffffc0, 0x00000000, 0x00000000,
    997   0xffffffb2, 0xffffffef, 0x00000000, 0x00000000,
    998   0xffffffe0, 0xfffffffd, 0x00000000, 0x00000000,
    999 };
   1000 const unsigned kExpectedCount_NEON_urhadd_2S = 961;
   1001 
   1002 #endif  // VIXL_SIM_URHADD_2S_TRACE_A64_H_
   1003