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_UHSUB_2S_TRACE_A64_H_
     35 #define VIXL_SIM_UHSUB_2S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_uhsub_2S[] = {
     38   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     39   0xffffff80, 0xffc04100, 0x00000000, 0x00000000,
     40   0xffc04080, 0x00003f80, 0x00000000, 0x00000000,
     41   0x00003f00, 0x00003f7f, 0x00000000, 0x00000000,
     42   0x00003eff, 0x00003f7f, 0x00000000, 0x00000000,
     43   0x00003eff, 0x00003f70, 0x00000000, 0x00000000,
     44   0x00003ef0, 0x00003f41, 0x00000000, 0x00000000,
     45   0x00003ec1, 0x00003f41, 0x00000000, 0x00000000,
     46   0x00003ec1, 0x00003f40, 0x00000000, 0x00000000,
     47   0x00003ec0, 0xffffff81, 0x00000000, 0x00000000,
     48   0xffffff01, 0xffffff81, 0x00000000, 0x00000000,
     49   0xffffff01, 0xffffff80, 0x00000000, 0x00000000,
     50   0xffffff00, 0xe666a5e6, 0x00000000, 0x00000000,
     51   0xe666a566, 0xd55594d5, 0x00000000, 0x00000000,
     52   0xd5559455, 0xc0003f81, 0x00000000, 0x00000000,
     53   0xc0003f01, 0xc0003f81, 0x00000000, 0x00000000,
     54   0xc0003f01, 0xc0003f80, 0x00000000, 0x00000000,
     55   0xc0003f00, 0xc0003f80, 0x00000000, 0x00000000,
     56   0xc0003f00, 0xc0003f7f, 0x00000000, 0x00000000,
     57   0xc0003eff, 0xaaaaea2b, 0x00000000, 0x00000000,
     58   0xaaaae9ab, 0x9999d91a, 0x00000000, 0x00000000,
     59   0x9999d89a, 0x80007f80, 0x00000000, 0x00000000,
     60   0x80007f00, 0x80007f7f, 0x00000000, 0x00000000,
     61   0x80007eff, 0x80007f7f, 0x00000000, 0x00000000,
     62   0x80007eff, 0x80007f7e, 0x00000000, 0x00000000,
     63   0x80007efe, 0x80003fc0, 0x00000000, 0x00000000,
     64   0x80003f40, 0x80003fbf, 0x00000000, 0x00000000,
     65   0x80003f3f, 0x80003fbf, 0x00000000, 0x00000000,
     66   0x80003f3f, 0x80003fbe, 0x00000000, 0x00000000,
     67   0x80003f3e, 0x80003f90, 0x00000000, 0x00000000,
     68   0x80003f10, 0x80003f81, 0x00000000, 0x00000000,
     69   0x80003f81, 0x803ffe81, 0x00000000, 0x00000000,
     70   0x80003f81, 0x803ffe80, 0x00000000, 0x00000000,
     71   0x80003f80, 0x003ffe80, 0x00000000, 0x00000000,
     72   0x00003f80, 0x003ffe7f, 0x00000000, 0x00000000,
     73   0x00003f7f, 0x003ffe7f, 0x00000000, 0x00000000,
     74   0x00003f7f, 0x003ffe70, 0x00000000, 0x00000000,
     75   0x00003f70, 0x003ffe41, 0x00000000, 0x00000000,
     76   0x00003f41, 0x003ffe41, 0x00000000, 0x00000000,
     77   0x00003f41, 0x003ffe40, 0x00000000, 0x00000000,
     78   0x00003f40, 0x003fbe81, 0x00000000, 0x00000000,
     79   0xffffff81, 0x003fbe81, 0x00000000, 0x00000000,
     80   0xffffff81, 0x003fbe80, 0x00000000, 0x00000000,
     81   0xffffff80, 0xe6a664e6, 0x00000000, 0x00000000,
     82   0xe666a5e6, 0xd59553d5, 0x00000000, 0x00000000,
     83   0xd55594d5, 0xc03ffe81, 0x00000000, 0x00000000,
     84   0xc0003f81, 0xc03ffe81, 0x00000000, 0x00000000,
     85   0xc0003f81, 0xc03ffe80, 0x00000000, 0x00000000,
     86   0xc0003f80, 0xc03ffe80, 0x00000000, 0x00000000,
     87   0xc0003f80, 0xc03ffe7f, 0x00000000, 0x00000000,
     88   0xc0003f7f, 0xaaeaa92b, 0x00000000, 0x00000000,
     89   0xaaaaea2b, 0x99d9981a, 0x00000000, 0x00000000,
     90   0x9999d91a, 0x80403e80, 0x00000000, 0x00000000,
     91   0x80007f80, 0x80403e7f, 0x00000000, 0x00000000,
     92   0x80007f7f, 0x80403e7f, 0x00000000, 0x00000000,
     93   0x80007f7f, 0x80403e7e, 0x00000000, 0x00000000,
     94   0x80007f7e, 0x803ffec0, 0x00000000, 0x00000000,
     95   0x80003fc0, 0x803ffebf, 0x00000000, 0x00000000,
     96   0x80003fbf, 0x803ffebf, 0x00000000, 0x00000000,
     97   0x80003fbf, 0x803ffebe, 0x00000000, 0x00000000,
     98   0x80003fbe, 0x803ffe90, 0x00000000, 0x00000000,
     99   0x80003f90, 0x803ffe81, 0x00000000, 0x00000000,
    100   0x803ffe81, 0x80000001, 0x00000000, 0x00000000,
    101   0x803ffe81, 0x80000000, 0x00000000, 0x00000000,
    102   0x803ffe80, 0x00000000, 0x00000000, 0x00000000,
    103   0x003ffe80, 0xffffffff, 0x00000000, 0x00000000,
    104   0x003ffe7f, 0xffffffff, 0x00000000, 0x00000000,
    105   0x003ffe7f, 0xfffffff0, 0x00000000, 0x00000000,
    106   0x003ffe70, 0xffffffc1, 0x00000000, 0x00000000,
    107   0x003ffe41, 0xffffffc1, 0x00000000, 0x00000000,
    108   0x003ffe41, 0xffffffc0, 0x00000000, 0x00000000,
    109   0x003ffe40, 0xffffc001, 0x00000000, 0x00000000,
    110   0x003fbe81, 0xffffc001, 0x00000000, 0x00000000,
    111   0x003fbe81, 0xffffc000, 0x00000000, 0x00000000,
    112   0x003fbe80, 0xe6666666, 0x00000000, 0x00000000,
    113   0xe6a664e6, 0xd5555555, 0x00000000, 0x00000000,
    114   0xd59553d5, 0xc0000001, 0x00000000, 0x00000000,
    115   0xc03ffe81, 0xc0000001, 0x00000000, 0x00000000,
    116   0xc03ffe81, 0xc0000000, 0x00000000, 0x00000000,
    117   0xc03ffe80, 0xc0000000, 0x00000000, 0x00000000,
    118   0xc03ffe80, 0xbfffffff, 0x00000000, 0x00000000,
    119   0xc03ffe7f, 0xaaaaaaab, 0x00000000, 0x00000000,
    120   0xaaeaa92b, 0x9999999a, 0x00000000, 0x00000000,
    121   0x99d9981a, 0x80004000, 0x00000000, 0x00000000,
    122   0x80403e80, 0x80003fff, 0x00000000, 0x00000000,
    123   0x80403e7f, 0x80003fff, 0x00000000, 0x00000000,
    124   0x80403e7f, 0x80003ffe, 0x00000000, 0x00000000,
    125   0x80403e7e, 0x80000040, 0x00000000, 0x00000000,
    126   0x803ffec0, 0x8000003f, 0x00000000, 0x00000000,
    127   0x803ffebf, 0x8000003f, 0x00000000, 0x00000000,
    128   0x803ffebf, 0x8000003e, 0x00000000, 0x00000000,
    129   0x803ffebe, 0x80000010, 0x00000000, 0x00000000,
    130   0x803ffe90, 0x80000001, 0x00000000, 0x00000000,
    131   0x80000001, 0x80000001, 0x00000000, 0x00000000,
    132   0x80000001, 0x80000001, 0x00000000, 0x00000000,
    133   0x80000000, 0x00000000, 0x00000000, 0x00000000,
    134   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    135   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    136   0xffffffff, 0xfffffff0, 0x00000000, 0x00000000,
    137   0xfffffff0, 0xffffffc2, 0x00000000, 0x00000000,
    138   0xffffffc1, 0xffffffc1, 0x00000000, 0x00000000,
    139   0xffffffc1, 0xffffffc1, 0x00000000, 0x00000000,
    140   0xffffffc0, 0xffffc002, 0x00000000, 0x00000000,
    141   0xffffc001, 0xffffc001, 0x00000000, 0x00000000,
    142   0xffffc001, 0xffffc001, 0x00000000, 0x00000000,
    143   0xffffc000, 0xe6666667, 0x00000000, 0x00000000,
    144   0xe6666666, 0xd5555556, 0x00000000, 0x00000000,
    145   0xd5555555, 0xc0000002, 0x00000000, 0x00000000,
    146   0xc0000001, 0xc0000001, 0x00000000, 0x00000000,
    147   0xc0000001, 0xc0000001, 0x00000000, 0x00000000,
    148   0xc0000000, 0xc0000000, 0x00000000, 0x00000000,
    149   0xc0000000, 0xc0000000, 0x00000000, 0x00000000,
    150   0xbfffffff, 0xaaaaaaab, 0x00000000, 0x00000000,
    151   0xaaaaaaab, 0x9999999a, 0x00000000, 0x00000000,
    152   0x9999999a, 0x80004000, 0x00000000, 0x00000000,
    153   0x80004000, 0x80004000, 0x00000000, 0x00000000,
    154   0x80003fff, 0x80003fff, 0x00000000, 0x00000000,
    155   0x80003fff, 0x80003fff, 0x00000000, 0x00000000,
    156   0x80003ffe, 0x80000040, 0x00000000, 0x00000000,
    157   0x80000040, 0x80000040, 0x00000000, 0x00000000,
    158   0x8000003f, 0x8000003f, 0x00000000, 0x00000000,
    159   0x8000003f, 0x8000003f, 0x00000000, 0x00000000,
    160   0x8000003e, 0x80000010, 0x00000000, 0x00000000,
    161   0x80000010, 0x80000002, 0x00000000, 0x00000000,
    162   0x80000002, 0x80000002, 0x00000000, 0x00000000,
    163   0x80000001, 0x80000001, 0x00000000, 0x00000000,
    164   0x80000001, 0x00000001, 0x00000000, 0x00000000,
    165   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    166   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    167   0xffffffff, 0xfffffff1, 0x00000000, 0x00000000,
    168   0xfffffff0, 0xffffffc2, 0x00000000, 0x00000000,
    169   0xffffffc2, 0xffffffc2, 0x00000000, 0x00000000,
    170   0xffffffc1, 0xffffffc1, 0x00000000, 0x00000000,
    171   0xffffffc1, 0xffffc002, 0x00000000, 0x00000000,
    172   0xffffc002, 0xffffc002, 0x00000000, 0x00000000,
    173   0xffffc001, 0xffffc001, 0x00000000, 0x00000000,
    174   0xffffc001, 0xe6666667, 0x00000000, 0x00000000,
    175   0xe6666667, 0xd5555556, 0x00000000, 0x00000000,
    176   0xd5555556, 0xc0000002, 0x00000000, 0x00000000,
    177   0xc0000002, 0xc0000002, 0x00000000, 0x00000000,
    178   0xc0000001, 0xc0000001, 0x00000000, 0x00000000,
    179   0xc0000001, 0xc0000001, 0x00000000, 0x00000000,
    180   0xc0000000, 0xc0000000, 0x00000000, 0x00000000,
    181   0xc0000000, 0xaaaaaaac, 0x00000000, 0x00000000,
    182   0xaaaaaaab, 0x9999999b, 0x00000000, 0x00000000,
    183   0x9999999a, 0x80004001, 0x00000000, 0x00000000,
    184   0x80004000, 0x80004000, 0x00000000, 0x00000000,
    185   0x80004000, 0x80004000, 0x00000000, 0x00000000,
    186   0x80003fff, 0x80003fff, 0x00000000, 0x00000000,
    187   0x80003fff, 0x80000041, 0x00000000, 0x00000000,
    188   0x80000040, 0x80000040, 0x00000000, 0x00000000,
    189   0x80000040, 0x80000040, 0x00000000, 0x00000000,
    190   0x8000003f, 0x8000003f, 0x00000000, 0x00000000,
    191   0x8000003f, 0x80000011, 0x00000000, 0x00000000,
    192   0x80000010, 0x80000002, 0x00000000, 0x00000000,
    193   0x80000002, 0x80000011, 0x00000000, 0x00000000,
    194   0x80000002, 0x80000010, 0x00000000, 0x00000000,
    195   0x80000001, 0x00000010, 0x00000000, 0x00000000,
    196   0x00000001, 0x0000000f, 0x00000000, 0x00000000,
    197   0x00000000, 0x0000000f, 0x00000000, 0x00000000,
    198   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    199   0xfffffff1, 0xffffffd1, 0x00000000, 0x00000000,
    200   0xffffffc2, 0xffffffd1, 0x00000000, 0x00000000,
    201   0xffffffc2, 0xffffffd0, 0x00000000, 0x00000000,
    202   0xffffffc1, 0xffffc011, 0x00000000, 0x00000000,
    203   0xffffc002, 0xffffc011, 0x00000000, 0x00000000,
    204   0xffffc002, 0xffffc010, 0x00000000, 0x00000000,
    205   0xffffc001, 0xe6666676, 0x00000000, 0x00000000,
    206   0xe6666667, 0xd5555565, 0x00000000, 0x00000000,
    207   0xd5555556, 0xc0000011, 0x00000000, 0x00000000,
    208   0xc0000002, 0xc0000011, 0x00000000, 0x00000000,
    209   0xc0000002, 0xc0000010, 0x00000000, 0x00000000,
    210   0xc0000001, 0xc0000010, 0x00000000, 0x00000000,
    211   0xc0000001, 0xc000000f, 0x00000000, 0x00000000,
    212   0xc0000000, 0xaaaaaabb, 0x00000000, 0x00000000,
    213   0xaaaaaaac, 0x999999aa, 0x00000000, 0x00000000,
    214   0x9999999b, 0x80004010, 0x00000000, 0x00000000,
    215   0x80004001, 0x8000400f, 0x00000000, 0x00000000,
    216   0x80004000, 0x8000400f, 0x00000000, 0x00000000,
    217   0x80004000, 0x8000400e, 0x00000000, 0x00000000,
    218   0x80003fff, 0x80000050, 0x00000000, 0x00000000,
    219   0x80000041, 0x8000004f, 0x00000000, 0x00000000,
    220   0x80000040, 0x8000004f, 0x00000000, 0x00000000,
    221   0x80000040, 0x8000004e, 0x00000000, 0x00000000,
    222   0x8000003f, 0x80000020, 0x00000000, 0x00000000,
    223   0x80000011, 0x80000011, 0x00000000, 0x00000000,
    224   0x80000011, 0x8000003f, 0x00000000, 0x00000000,
    225   0x80000011, 0x8000003f, 0x00000000, 0x00000000,
    226   0x80000010, 0x0000003e, 0x00000000, 0x00000000,
    227   0x00000010, 0x0000003e, 0x00000000, 0x00000000,
    228   0x0000000f, 0x0000003d, 0x00000000, 0x00000000,
    229   0x0000000f, 0x0000002e, 0x00000000, 0x00000000,
    230   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    231   0xffffffd1, 0xffffffff, 0x00000000, 0x00000000,
    232   0xffffffd1, 0xffffffff, 0x00000000, 0x00000000,
    233   0xffffffd0, 0xffffc040, 0x00000000, 0x00000000,
    234   0xffffc011, 0xffffc03f, 0x00000000, 0x00000000,
    235   0xffffc011, 0xffffc03f, 0x00000000, 0x00000000,
    236   0xffffc010, 0xe66666a5, 0x00000000, 0x00000000,
    237   0xe6666676, 0xd5555594, 0x00000000, 0x00000000,
    238   0xd5555565, 0xc0000040, 0x00000000, 0x00000000,
    239   0xc0000011, 0xc000003f, 0x00000000, 0x00000000,
    240   0xc0000011, 0xc000003f, 0x00000000, 0x00000000,
    241   0xc0000010, 0xc000003e, 0x00000000, 0x00000000,
    242   0xc0000010, 0xc000003e, 0x00000000, 0x00000000,
    243   0xc000000f, 0xaaaaaae9, 0x00000000, 0x00000000,
    244   0xaaaaaabb, 0x999999d8, 0x00000000, 0x00000000,
    245   0x999999aa, 0x8000403e, 0x00000000, 0x00000000,
    246   0x80004010, 0x8000403e, 0x00000000, 0x00000000,
    247   0x8000400f, 0x8000403d, 0x00000000, 0x00000000,
    248   0x8000400f, 0x8000403d, 0x00000000, 0x00000000,
    249   0x8000400e, 0x8000007e, 0x00000000, 0x00000000,
    250   0x80000050, 0x8000007e, 0x00000000, 0x00000000,
    251   0x8000004f, 0x8000007d, 0x00000000, 0x00000000,
    252   0x8000004f, 0x8000007d, 0x00000000, 0x00000000,
    253   0x8000004e, 0x8000004e, 0x00000000, 0x00000000,
    254   0x80000020, 0x80000040, 0x00000000, 0x00000000,
    255   0x80000040, 0x80000040, 0x00000000, 0x00000000,
    256   0x8000003f, 0x8000003f, 0x00000000, 0x00000000,
    257   0x8000003f, 0x0000003f, 0x00000000, 0x00000000,
    258   0x0000003e, 0x0000003e, 0x00000000, 0x00000000,
    259   0x0000003e, 0x0000003e, 0x00000000, 0x00000000,
    260   0x0000003d, 0x0000002f, 0x00000000, 0x00000000,
    261   0x0000002e, 0x00000000, 0x00000000, 0x00000000,
    262   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    263   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    264   0xffffffff, 0xffffc040, 0x00000000, 0x00000000,
    265   0xffffc040, 0xffffc040, 0x00000000, 0x00000000,
    266   0xffffc03f, 0xffffc03f, 0x00000000, 0x00000000,
    267   0xffffc03f, 0xe66666a5, 0x00000000, 0x00000000,
    268   0xe66666a5, 0xd5555594, 0x00000000, 0x00000000,
    269   0xd5555594, 0xc0000040, 0x00000000, 0x00000000,
    270   0xc0000040, 0xc0000040, 0x00000000, 0x00000000,
    271   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    272   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    273   0xc000003e, 0xc000003e, 0x00000000, 0x00000000,
    274   0xc000003e, 0xaaaaaaea, 0x00000000, 0x00000000,
    275   0xaaaaaae9, 0x999999d9, 0x00000000, 0x00000000,
    276   0x999999d8, 0x8000403f, 0x00000000, 0x00000000,
    277   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    278   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    279   0x8000403d, 0x8000403d, 0x00000000, 0x00000000,
    280   0x8000403d, 0x8000007f, 0x00000000, 0x00000000,
    281   0x8000007e, 0x8000007e, 0x00000000, 0x00000000,
    282   0x8000007e, 0x8000007e, 0x00000000, 0x00000000,
    283   0x8000007d, 0x8000007d, 0x00000000, 0x00000000,
    284   0x8000007d, 0x8000004f, 0x00000000, 0x00000000,
    285   0x8000004e, 0x80000040, 0x00000000, 0x00000000,
    286   0x80000040, 0x80000040, 0x00000000, 0x00000000,
    287   0x80000040, 0x80000040, 0x00000000, 0x00000000,
    288   0x8000003f, 0x0000003f, 0x00000000, 0x00000000,
    289   0x0000003f, 0x0000003f, 0x00000000, 0x00000000,
    290   0x0000003e, 0x0000003e, 0x00000000, 0x00000000,
    291   0x0000003e, 0x0000002f, 0x00000000, 0x00000000,
    292   0x0000002f, 0x00000001, 0x00000000, 0x00000000,
    293   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    294   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    295   0xffffffff, 0xffffc041, 0x00000000, 0x00000000,
    296   0xffffc040, 0xffffc040, 0x00000000, 0x00000000,
    297   0xffffc040, 0xffffc040, 0x00000000, 0x00000000,
    298   0xffffc03f, 0xe66666a6, 0x00000000, 0x00000000,
    299   0xe66666a5, 0xd5555595, 0x00000000, 0x00000000,
    300   0xd5555594, 0xc0000041, 0x00000000, 0x00000000,
    301   0xc0000040, 0xc0000040, 0x00000000, 0x00000000,
    302   0xc0000040, 0xc0000040, 0x00000000, 0x00000000,
    303   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    304   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    305   0xc000003e, 0xaaaaaaea, 0x00000000, 0x00000000,
    306   0xaaaaaaea, 0x999999d9, 0x00000000, 0x00000000,
    307   0x999999d9, 0x8000403f, 0x00000000, 0x00000000,
    308   0x8000403f, 0x8000403f, 0x00000000, 0x00000000,
    309   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    310   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    311   0x8000403d, 0x8000007f, 0x00000000, 0x00000000,
    312   0x8000007f, 0x8000007f, 0x00000000, 0x00000000,
    313   0x8000007e, 0x8000007e, 0x00000000, 0x00000000,
    314   0x8000007e, 0x8000007e, 0x00000000, 0x00000000,
    315   0x8000007d, 0x8000004f, 0x00000000, 0x00000000,
    316   0x8000004f, 0x80000041, 0x00000000, 0x00000000,
    317   0x80000041, 0x80003fff, 0x00000000, 0x00000000,
    318   0x80000040, 0x80003fff, 0x00000000, 0x00000000,
    319   0x80000040, 0x00003ffe, 0x00000000, 0x00000000,
    320   0x0000003f, 0x00003ffe, 0x00000000, 0x00000000,
    321   0x0000003f, 0x00003ffd, 0x00000000, 0x00000000,
    322   0x0000003e, 0x00003fee, 0x00000000, 0x00000000,
    323   0x0000002f, 0x00003fc0, 0x00000000, 0x00000000,
    324   0x00000001, 0x00003fbf, 0x00000000, 0x00000000,
    325   0x00000000, 0x00003fbf, 0x00000000, 0x00000000,
    326   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    327   0xffffc041, 0xffffffff, 0x00000000, 0x00000000,
    328   0xffffc040, 0xffffffff, 0x00000000, 0x00000000,
    329   0xffffc040, 0xe666a665, 0x00000000, 0x00000000,
    330   0xe66666a6, 0xd5559554, 0x00000000, 0x00000000,
    331   0xd5555595, 0xc0004000, 0x00000000, 0x00000000,
    332   0xc0000041, 0xc0003fff, 0x00000000, 0x00000000,
    333   0xc0000040, 0xc0003fff, 0x00000000, 0x00000000,
    334   0xc0000040, 0xc0003ffe, 0x00000000, 0x00000000,
    335   0xc000003f, 0xc0003ffe, 0x00000000, 0x00000000,
    336   0xc000003f, 0xaaaaeaa9, 0x00000000, 0x00000000,
    337   0xaaaaaaea, 0x9999d998, 0x00000000, 0x00000000,
    338   0x999999d9, 0x80007ffe, 0x00000000, 0x00000000,
    339   0x8000403f, 0x80007ffe, 0x00000000, 0x00000000,
    340   0x8000403f, 0x80007ffd, 0x00000000, 0x00000000,
    341   0x8000403e, 0x80007ffd, 0x00000000, 0x00000000,
    342   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    343   0x8000007f, 0x8000403e, 0x00000000, 0x00000000,
    344   0x8000007f, 0x8000403d, 0x00000000, 0x00000000,
    345   0x8000007e, 0x8000403d, 0x00000000, 0x00000000,
    346   0x8000007e, 0x8000400e, 0x00000000, 0x00000000,
    347   0x8000004f, 0x80004000, 0x00000000, 0x00000000,
    348   0x80004000, 0x80004000, 0x00000000, 0x00000000,
    349   0x80003fff, 0x80003fff, 0x00000000, 0x00000000,
    350   0x80003fff, 0x00003fff, 0x00000000, 0x00000000,
    351   0x00003ffe, 0x00003ffe, 0x00000000, 0x00000000,
    352   0x00003ffe, 0x00003ffe, 0x00000000, 0x00000000,
    353   0x00003ffd, 0x00003fef, 0x00000000, 0x00000000,
    354   0x00003fee, 0x00003fc0, 0x00000000, 0x00000000,
    355   0x00003fc0, 0x00003fc0, 0x00000000, 0x00000000,
    356   0x00003fbf, 0x00003fbf, 0x00000000, 0x00000000,
    357   0x00003fbf, 0x00000000, 0x00000000, 0x00000000,
    358   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    359   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    360   0xffffffff, 0xe666a665, 0x00000000, 0x00000000,
    361   0xe666a665, 0xd5559554, 0x00000000, 0x00000000,
    362   0xd5559554, 0xc0004000, 0x00000000, 0x00000000,
    363   0xc0004000, 0xc0004000, 0x00000000, 0x00000000,
    364   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    365   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    366   0xc0003ffe, 0xc0003ffe, 0x00000000, 0x00000000,
    367   0xc0003ffe, 0xaaaaeaaa, 0x00000000, 0x00000000,
    368   0xaaaaeaa9, 0x9999d999, 0x00000000, 0x00000000,
    369   0x9999d998, 0x80007fff, 0x00000000, 0x00000000,
    370   0x80007ffe, 0x80007ffe, 0x00000000, 0x00000000,
    371   0x80007ffe, 0x80007ffe, 0x00000000, 0x00000000,
    372   0x80007ffd, 0x80007ffd, 0x00000000, 0x00000000,
    373   0x80007ffd, 0x8000403f, 0x00000000, 0x00000000,
    374   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    375   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    376   0x8000403d, 0x8000403d, 0x00000000, 0x00000000,
    377   0x8000403d, 0x8000400f, 0x00000000, 0x00000000,
    378   0x8000400e, 0x80004000, 0x00000000, 0x00000000,
    379   0x80004000, 0x80004000, 0x00000000, 0x00000000,
    380   0x80004000, 0x80004000, 0x00000000, 0x00000000,
    381   0x80003fff, 0x00003fff, 0x00000000, 0x00000000,
    382   0x00003fff, 0x00003fff, 0x00000000, 0x00000000,
    383   0x00003ffe, 0x00003ffe, 0x00000000, 0x00000000,
    384   0x00003ffe, 0x00003fef, 0x00000000, 0x00000000,
    385   0x00003fef, 0x00003fc1, 0x00000000, 0x00000000,
    386   0x00003fc0, 0x00003fc0, 0x00000000, 0x00000000,
    387   0x00003fc0, 0x00003fc0, 0x00000000, 0x00000000,
    388   0x00003fbf, 0x00000001, 0x00000000, 0x00000000,
    389   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    390   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    391   0xffffffff, 0xe666a666, 0x00000000, 0x00000000,
    392   0xe666a665, 0xd5559555, 0x00000000, 0x00000000,
    393   0xd5559554, 0xc0004001, 0x00000000, 0x00000000,
    394   0xc0004000, 0xc0004000, 0x00000000, 0x00000000,
    395   0xc0004000, 0xc0004000, 0x00000000, 0x00000000,
    396   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    397   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    398   0xc0003ffe, 0xaaaaeaaa, 0x00000000, 0x00000000,
    399   0xaaaaeaaa, 0x9999d999, 0x00000000, 0x00000000,
    400   0x9999d999, 0x80007fff, 0x00000000, 0x00000000,
    401   0x80007fff, 0x80007fff, 0x00000000, 0x00000000,
    402   0x80007ffe, 0x80007ffe, 0x00000000, 0x00000000,
    403   0x80007ffe, 0x80007ffe, 0x00000000, 0x00000000,
    404   0x80007ffd, 0x8000403f, 0x00000000, 0x00000000,
    405   0x8000403f, 0x8000403f, 0x00000000, 0x00000000,
    406   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    407   0x8000403e, 0x8000403e, 0x00000000, 0x00000000,
    408   0x8000403d, 0x8000400f, 0x00000000, 0x00000000,
    409   0x8000400f, 0x80004001, 0x00000000, 0x00000000,
    410   0x80004001, 0x9999999a, 0x00000000, 0x00000000,
    411   0x80004000, 0x9999999a, 0x00000000, 0x00000000,
    412   0x80004000, 0x19999999, 0x00000000, 0x00000000,
    413   0x00003fff, 0x19999999, 0x00000000, 0x00000000,
    414   0x00003fff, 0x19999998, 0x00000000, 0x00000000,
    415   0x00003ffe, 0x19999989, 0x00000000, 0x00000000,
    416   0x00003fef, 0x1999995b, 0x00000000, 0x00000000,
    417   0x00003fc1, 0x1999995a, 0x00000000, 0x00000000,
    418   0x00003fc0, 0x1999995a, 0x00000000, 0x00000000,
    419   0x00003fc0, 0x1999599b, 0x00000000, 0x00000000,
    420   0x00000001, 0x1999599a, 0x00000000, 0x00000000,
    421   0x00000000, 0x1999599a, 0x00000000, 0x00000000,
    422   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    423   0xe666a666, 0xeeeeeeef, 0x00000000, 0x00000000,
    424   0xd5559555, 0xd999999b, 0x00000000, 0x00000000,
    425   0xc0004001, 0xd999999a, 0x00000000, 0x00000000,
    426   0xc0004000, 0xd999999a, 0x00000000, 0x00000000,
    427   0xc0004000, 0xd9999999, 0x00000000, 0x00000000,
    428   0xc0003fff, 0xd9999999, 0x00000000, 0x00000000,
    429   0xc0003fff, 0xc4444444, 0x00000000, 0x00000000,
    430   0xaaaaeaaa, 0xb3333333, 0x00000000, 0x00000000,
    431   0x9999d999, 0x9999d999, 0x00000000, 0x00000000,
    432   0x80007fff, 0x9999d999, 0x00000000, 0x00000000,
    433   0x80007fff, 0x9999d998, 0x00000000, 0x00000000,
    434   0x80007ffe, 0x9999d998, 0x00000000, 0x00000000,
    435   0x80007ffe, 0x999999d9, 0x00000000, 0x00000000,
    436   0x8000403f, 0x999999d9, 0x00000000, 0x00000000,
    437   0x8000403f, 0x999999d8, 0x00000000, 0x00000000,
    438   0x8000403e, 0x999999d8, 0x00000000, 0x00000000,
    439   0x8000403e, 0x999999a9, 0x00000000, 0x00000000,
    440   0x8000400f, 0x9999999b, 0x00000000, 0x00000000,
    441   0x9999999b, 0xaaaaaaab, 0x00000000, 0x00000000,
    442   0x9999999a, 0xaaaaaaab, 0x00000000, 0x00000000,
    443   0x9999999a, 0x2aaaaaaa, 0x00000000, 0x00000000,
    444   0x19999999, 0x2aaaaaaa, 0x00000000, 0x00000000,
    445   0x19999999, 0x2aaaaaa9, 0x00000000, 0x00000000,
    446   0x19999998, 0x2aaaaa9a, 0x00000000, 0x00000000,
    447   0x19999989, 0x2aaaaa6c, 0x00000000, 0x00000000,
    448   0x1999995b, 0x2aaaaa6b, 0x00000000, 0x00000000,
    449   0x1999995a, 0x2aaaaa6b, 0x00000000, 0x00000000,
    450   0x1999995a, 0x2aaa6aac, 0x00000000, 0x00000000,
    451   0x1999599b, 0x2aaa6aab, 0x00000000, 0x00000000,
    452   0x1999599a, 0x2aaa6aab, 0x00000000, 0x00000000,
    453   0x1999599a, 0x11111111, 0x00000000, 0x00000000,
    454   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    455   0xeeeeeeef, 0xeaaaaaac, 0x00000000, 0x00000000,
    456   0xd999999b, 0xeaaaaaab, 0x00000000, 0x00000000,
    457   0xd999999a, 0xeaaaaaab, 0x00000000, 0x00000000,
    458   0xd999999a, 0xeaaaaaaa, 0x00000000, 0x00000000,
    459   0xd9999999, 0xeaaaaaaa, 0x00000000, 0x00000000,
    460   0xd9999999, 0xd5555555, 0x00000000, 0x00000000,
    461   0xc4444444, 0xc4444444, 0x00000000, 0x00000000,
    462   0xb3333333, 0xaaaaeaaa, 0x00000000, 0x00000000,
    463   0x9999d999, 0xaaaaeaaa, 0x00000000, 0x00000000,
    464   0x9999d999, 0xaaaaeaa9, 0x00000000, 0x00000000,
    465   0x9999d998, 0xaaaaeaa9, 0x00000000, 0x00000000,
    466   0x9999d998, 0xaaaaaaea, 0x00000000, 0x00000000,
    467   0x999999d9, 0xaaaaaaea, 0x00000000, 0x00000000,
    468   0x999999d9, 0xaaaaaae9, 0x00000000, 0x00000000,
    469   0x999999d8, 0xaaaaaae9, 0x00000000, 0x00000000,
    470   0x999999d8, 0xaaaaaaba, 0x00000000, 0x00000000,
    471   0x999999a9, 0xaaaaaaac, 0x00000000, 0x00000000,
    472   0xaaaaaaac, 0xbfffffff, 0x00000000, 0x00000000,
    473   0xaaaaaaab, 0xbfffffff, 0x00000000, 0x00000000,
    474   0xaaaaaaab, 0x3ffffffe, 0x00000000, 0x00000000,
    475   0x2aaaaaaa, 0x3ffffffe, 0x00000000, 0x00000000,
    476   0x2aaaaaaa, 0x3ffffffd, 0x00000000, 0x00000000,
    477   0x2aaaaaa9, 0x3fffffee, 0x00000000, 0x00000000,
    478   0x2aaaaa9a, 0x3fffffc0, 0x00000000, 0x00000000,
    479   0x2aaaaa6c, 0x3fffffbf, 0x00000000, 0x00000000,
    480   0x2aaaaa6b, 0x3fffffbf, 0x00000000, 0x00000000,
    481   0x2aaaaa6b, 0x3fffc000, 0x00000000, 0x00000000,
    482   0x2aaa6aac, 0x3fffbfff, 0x00000000, 0x00000000,
    483   0x2aaa6aab, 0x3fffbfff, 0x00000000, 0x00000000,
    484   0x2aaa6aab, 0x26666665, 0x00000000, 0x00000000,
    485   0x11111111, 0x15555554, 0x00000000, 0x00000000,
    486   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    487   0xeaaaaaac, 0xffffffff, 0x00000000, 0x00000000,
    488   0xeaaaaaab, 0xffffffff, 0x00000000, 0x00000000,
    489   0xeaaaaaab, 0xfffffffe, 0x00000000, 0x00000000,
    490   0xeaaaaaaa, 0xfffffffe, 0x00000000, 0x00000000,
    491   0xeaaaaaaa, 0xeaaaaaa9, 0x00000000, 0x00000000,
    492   0xd5555555, 0xd9999998, 0x00000000, 0x00000000,
    493   0xc4444444, 0xc0003ffe, 0x00000000, 0x00000000,
    494   0xaaaaeaaa, 0xc0003ffe, 0x00000000, 0x00000000,
    495   0xaaaaeaaa, 0xc0003ffd, 0x00000000, 0x00000000,
    496   0xaaaaeaa9, 0xc0003ffd, 0x00000000, 0x00000000,
    497   0xaaaaeaa9, 0xc000003e, 0x00000000, 0x00000000,
    498   0xaaaaaaea, 0xc000003e, 0x00000000, 0x00000000,
    499   0xaaaaaaea, 0xc000003d, 0x00000000, 0x00000000,
    500   0xaaaaaae9, 0xc000003d, 0x00000000, 0x00000000,
    501   0xaaaaaae9, 0xc000000e, 0x00000000, 0x00000000,
    502   0xaaaaaaba, 0xc0000000, 0x00000000, 0x00000000,
    503   0xc0000000, 0xc0000000, 0x00000000, 0x00000000,
    504   0xbfffffff, 0xbfffffff, 0x00000000, 0x00000000,
    505   0xbfffffff, 0x3fffffff, 0x00000000, 0x00000000,
    506   0x3ffffffe, 0x3ffffffe, 0x00000000, 0x00000000,
    507   0x3ffffffe, 0x3ffffffe, 0x00000000, 0x00000000,
    508   0x3ffffffd, 0x3fffffef, 0x00000000, 0x00000000,
    509   0x3fffffee, 0x3fffffc0, 0x00000000, 0x00000000,
    510   0x3fffffc0, 0x3fffffc0, 0x00000000, 0x00000000,
    511   0x3fffffbf, 0x3fffffbf, 0x00000000, 0x00000000,
    512   0x3fffffbf, 0x3fffc000, 0x00000000, 0x00000000,
    513   0x3fffc000, 0x3fffc000, 0x00000000, 0x00000000,
    514   0x3fffbfff, 0x3fffbfff, 0x00000000, 0x00000000,
    515   0x3fffbfff, 0x26666665, 0x00000000, 0x00000000,
    516   0x26666665, 0x15555554, 0x00000000, 0x00000000,
    517   0x15555554, 0x00000000, 0x00000000, 0x00000000,
    518   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    519   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    520   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    521   0xfffffffe, 0xfffffffe, 0x00000000, 0x00000000,
    522   0xfffffffe, 0xeaaaaaaa, 0x00000000, 0x00000000,
    523   0xeaaaaaa9, 0xd9999999, 0x00000000, 0x00000000,
    524   0xd9999998, 0xc0003fff, 0x00000000, 0x00000000,
    525   0xc0003ffe, 0xc0003ffe, 0x00000000, 0x00000000,
    526   0xc0003ffe, 0xc0003ffe, 0x00000000, 0x00000000,
    527   0xc0003ffd, 0xc0003ffd, 0x00000000, 0x00000000,
    528   0xc0003ffd, 0xc000003f, 0x00000000, 0x00000000,
    529   0xc000003e, 0xc000003e, 0x00000000, 0x00000000,
    530   0xc000003e, 0xc000003e, 0x00000000, 0x00000000,
    531   0xc000003d, 0xc000003d, 0x00000000, 0x00000000,
    532   0xc000003d, 0xc000000f, 0x00000000, 0x00000000,
    533   0xc000000e, 0xc0000000, 0x00000000, 0x00000000,
    534   0xc0000000, 0xc0000000, 0x00000000, 0x00000000,
    535   0xc0000000, 0xc0000000, 0x00000000, 0x00000000,
    536   0xbfffffff, 0x3fffffff, 0x00000000, 0x00000000,
    537   0x3fffffff, 0x3fffffff, 0x00000000, 0x00000000,
    538   0x3ffffffe, 0x3ffffffe, 0x00000000, 0x00000000,
    539   0x3ffffffe, 0x3fffffef, 0x00000000, 0x00000000,
    540   0x3fffffef, 0x3fffffc1, 0x00000000, 0x00000000,
    541   0x3fffffc0, 0x3fffffc0, 0x00000000, 0x00000000,
    542   0x3fffffc0, 0x3fffffc0, 0x00000000, 0x00000000,
    543   0x3fffffbf, 0x3fffc001, 0x00000000, 0x00000000,
    544   0x3fffc000, 0x3fffc000, 0x00000000, 0x00000000,
    545   0x3fffc000, 0x3fffc000, 0x00000000, 0x00000000,
    546   0x3fffbfff, 0x26666666, 0x00000000, 0x00000000,
    547   0x26666665, 0x15555555, 0x00000000, 0x00000000,
    548   0x15555554, 0x00000001, 0x00000000, 0x00000000,
    549   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    550   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    551   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    552   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    553   0xfffffffe, 0xeaaaaaaa, 0x00000000, 0x00000000,
    554   0xeaaaaaaa, 0xd9999999, 0x00000000, 0x00000000,
    555   0xd9999999, 0xc0003fff, 0x00000000, 0x00000000,
    556   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    557   0xc0003ffe, 0xc0003ffe, 0x00000000, 0x00000000,
    558   0xc0003ffe, 0xc0003ffe, 0x00000000, 0x00000000,
    559   0xc0003ffd, 0xc000003f, 0x00000000, 0x00000000,
    560   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    561   0xc000003e, 0xc000003e, 0x00000000, 0x00000000,
    562   0xc000003e, 0xc000003e, 0x00000000, 0x00000000,
    563   0xc000003d, 0xc000000f, 0x00000000, 0x00000000,
    564   0xc000000f, 0xc0000001, 0x00000000, 0x00000000,
    565   0xc0000001, 0xc0000001, 0x00000000, 0x00000000,
    566   0xc0000000, 0xc0000000, 0x00000000, 0x00000000,
    567   0xc0000000, 0x40000000, 0x00000000, 0x00000000,
    568   0x3fffffff, 0x3fffffff, 0x00000000, 0x00000000,
    569   0x3fffffff, 0x3fffffff, 0x00000000, 0x00000000,
    570   0x3ffffffe, 0x3ffffff0, 0x00000000, 0x00000000,
    571   0x3fffffef, 0x3fffffc1, 0x00000000, 0x00000000,
    572   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    573   0x3fffffc0, 0x3fffffc0, 0x00000000, 0x00000000,
    574   0x3fffffc0, 0x3fffc001, 0x00000000, 0x00000000,
    575   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    576   0x3fffc000, 0x3fffc000, 0x00000000, 0x00000000,
    577   0x3fffc000, 0x26666666, 0x00000000, 0x00000000,
    578   0x26666666, 0x15555555, 0x00000000, 0x00000000,
    579   0x15555555, 0x00000001, 0x00000000, 0x00000000,
    580   0x00000001, 0x00000001, 0x00000000, 0x00000000,
    581   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    582   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    583   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    584   0xffffffff, 0xeaaaaaab, 0x00000000, 0x00000000,
    585   0xeaaaaaaa, 0xd999999a, 0x00000000, 0x00000000,
    586   0xd9999999, 0xc0004000, 0x00000000, 0x00000000,
    587   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    588   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    589   0xc0003ffe, 0xc0003ffe, 0x00000000, 0x00000000,
    590   0xc0003ffe, 0xc0000040, 0x00000000, 0x00000000,
    591   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    592   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    593   0xc000003e, 0xc000003e, 0x00000000, 0x00000000,
    594   0xc000003e, 0xc0000010, 0x00000000, 0x00000000,
    595   0xc000000f, 0xc0000001, 0x00000000, 0x00000000,
    596   0xc0000001, 0xc0000001, 0x00000000, 0x00000000,
    597   0xc0000001, 0xc0000001, 0x00000000, 0x00000000,
    598   0xc0000000, 0x40000000, 0x00000000, 0x00000000,
    599   0x40000000, 0x40000000, 0x00000000, 0x00000000,
    600   0x3fffffff, 0x3fffffff, 0x00000000, 0x00000000,
    601   0x3fffffff, 0x3ffffff0, 0x00000000, 0x00000000,
    602   0x3ffffff0, 0x3fffffc2, 0x00000000, 0x00000000,
    603   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    604   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    605   0x3fffffc0, 0x3fffc002, 0x00000000, 0x00000000,
    606   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    607   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    608   0x3fffc000, 0x26666667, 0x00000000, 0x00000000,
    609   0x26666666, 0x15555556, 0x00000000, 0x00000000,
    610   0x15555555, 0x00000002, 0x00000000, 0x00000000,
    611   0x00000001, 0x00000001, 0x00000000, 0x00000000,
    612   0x00000001, 0x00000001, 0x00000000, 0x00000000,
    613   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    614   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    615   0xffffffff, 0xeaaaaaab, 0x00000000, 0x00000000,
    616   0xeaaaaaab, 0xd999999a, 0x00000000, 0x00000000,
    617   0xd999999a, 0xc0004000, 0x00000000, 0x00000000,
    618   0xc0004000, 0xc0004000, 0x00000000, 0x00000000,
    619   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    620   0xc0003fff, 0xc0003fff, 0x00000000, 0x00000000,
    621   0xc0003ffe, 0xc0000040, 0x00000000, 0x00000000,
    622   0xc0000040, 0xc0000040, 0x00000000, 0x00000000,
    623   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    624   0xc000003f, 0xc000003f, 0x00000000, 0x00000000,
    625   0xc000003e, 0xc0000010, 0x00000000, 0x00000000,
    626   0xc0000010, 0xc0000002, 0x00000000, 0x00000000,
    627   0xc0000002, 0xd5555556, 0x00000000, 0x00000000,
    628   0xc0000001, 0xd5555555, 0x00000000, 0x00000000,
    629   0xc0000001, 0x55555555, 0x00000000, 0x00000000,
    630   0x40000000, 0x55555554, 0x00000000, 0x00000000,
    631   0x40000000, 0x55555554, 0x00000000, 0x00000000,
    632   0x3fffffff, 0x55555545, 0x00000000, 0x00000000,
    633   0x3ffffff0, 0x55555516, 0x00000000, 0x00000000,
    634   0x3fffffc2, 0x55555516, 0x00000000, 0x00000000,
    635   0x3fffffc1, 0x55555515, 0x00000000, 0x00000000,
    636   0x3fffffc1, 0x55551556, 0x00000000, 0x00000000,
    637   0x3fffc002, 0x55551556, 0x00000000, 0x00000000,
    638   0x3fffc001, 0x55551555, 0x00000000, 0x00000000,
    639   0x3fffc001, 0x3bbbbbbb, 0x00000000, 0x00000000,
    640   0x26666667, 0x2aaaaaaa, 0x00000000, 0x00000000,
    641   0x15555556, 0x15555556, 0x00000000, 0x00000000,
    642   0x00000002, 0x15555556, 0x00000000, 0x00000000,
    643   0x00000001, 0x15555555, 0x00000000, 0x00000000,
    644   0x00000001, 0x15555555, 0x00000000, 0x00000000,
    645   0x00000000, 0x15555554, 0x00000000, 0x00000000,
    646   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    647   0xeaaaaaab, 0xeeeeeeef, 0x00000000, 0x00000000,
    648   0xd999999a, 0xd5559555, 0x00000000, 0x00000000,
    649   0xc0004000, 0xd5559554, 0x00000000, 0x00000000,
    650   0xc0004000, 0xd5559554, 0x00000000, 0x00000000,
    651   0xc0003fff, 0xd5559553, 0x00000000, 0x00000000,
    652   0xc0003fff, 0xd5555595, 0x00000000, 0x00000000,
    653   0xc0000040, 0xd5555594, 0x00000000, 0x00000000,
    654   0xc0000040, 0xd5555594, 0x00000000, 0x00000000,
    655   0xc000003f, 0xd5555593, 0x00000000, 0x00000000,
    656   0xc000003f, 0xd5555565, 0x00000000, 0x00000000,
    657   0xc0000010, 0xd5555556, 0x00000000, 0x00000000,
    658   0xd5555556, 0xe6666667, 0x00000000, 0x00000000,
    659   0xd5555556, 0xe6666666, 0x00000000, 0x00000000,
    660   0xd5555555, 0x66666666, 0x00000000, 0x00000000,
    661   0x55555555, 0x66666665, 0x00000000, 0x00000000,
    662   0x55555554, 0x66666665, 0x00000000, 0x00000000,
    663   0x55555554, 0x66666656, 0x00000000, 0x00000000,
    664   0x55555545, 0x66666627, 0x00000000, 0x00000000,
    665   0x55555516, 0x66666627, 0x00000000, 0x00000000,
    666   0x55555516, 0x66666626, 0x00000000, 0x00000000,
    667   0x55555515, 0x66662667, 0x00000000, 0x00000000,
    668   0x55551556, 0x66662667, 0x00000000, 0x00000000,
    669   0x55551556, 0x66662666, 0x00000000, 0x00000000,
    670   0x55551555, 0x4ccccccc, 0x00000000, 0x00000000,
    671   0x3bbbbbbb, 0x3bbbbbbb, 0x00000000, 0x00000000,
    672   0x2aaaaaaa, 0x26666667, 0x00000000, 0x00000000,
    673   0x15555556, 0x26666667, 0x00000000, 0x00000000,
    674   0x15555556, 0x26666666, 0x00000000, 0x00000000,
    675   0x15555555, 0x26666666, 0x00000000, 0x00000000,
    676   0x15555555, 0x26666665, 0x00000000, 0x00000000,
    677   0x15555554, 0x11111111, 0x00000000, 0x00000000,
    678   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    679   0xeeeeeeef, 0xe666a666, 0x00000000, 0x00000000,
    680   0xd5559555, 0xe666a665, 0x00000000, 0x00000000,
    681   0xd5559554, 0xe666a665, 0x00000000, 0x00000000,
    682   0xd5559554, 0xe666a664, 0x00000000, 0x00000000,
    683   0xd5559553, 0xe66666a6, 0x00000000, 0x00000000,
    684   0xd5555595, 0xe66666a5, 0x00000000, 0x00000000,
    685   0xd5555594, 0xe66666a5, 0x00000000, 0x00000000,
    686   0xd5555594, 0xe66666a4, 0x00000000, 0x00000000,
    687   0xd5555593, 0xe6666676, 0x00000000, 0x00000000,
    688   0xd5555565, 0xe6666667, 0x00000000, 0x00000000,
    689   0xe6666667, 0xffffc001, 0x00000000, 0x00000000,
    690   0xe6666667, 0xffffc000, 0x00000000, 0x00000000,
    691   0xe6666666, 0x7fffc000, 0x00000000, 0x00000000,
    692   0x66666666, 0x7fffbfff, 0x00000000, 0x00000000,
    693   0x66666665, 0x7fffbfff, 0x00000000, 0x00000000,
    694   0x66666665, 0x7fffbff0, 0x00000000, 0x00000000,
    695   0x66666656, 0x7fffbfc1, 0x00000000, 0x00000000,
    696   0x66666627, 0x7fffbfc1, 0x00000000, 0x00000000,
    697   0x66666627, 0x7fffbfc0, 0x00000000, 0x00000000,
    698   0x66666626, 0x7fff8001, 0x00000000, 0x00000000,
    699   0x66662667, 0x7fff8001, 0x00000000, 0x00000000,
    700   0x66662667, 0x7fff8000, 0x00000000, 0x00000000,
    701   0x66662666, 0x66662666, 0x00000000, 0x00000000,
    702   0x4ccccccc, 0x55551555, 0x00000000, 0x00000000,
    703   0x3bbbbbbb, 0x3fffc001, 0x00000000, 0x00000000,
    704   0x26666667, 0x3fffc001, 0x00000000, 0x00000000,
    705   0x26666667, 0x3fffc000, 0x00000000, 0x00000000,
    706   0x26666666, 0x3fffc000, 0x00000000, 0x00000000,
    707   0x26666666, 0x3fffbfff, 0x00000000, 0x00000000,
    708   0x26666665, 0x2aaa6aab, 0x00000000, 0x00000000,
    709   0x11111111, 0x1999599a, 0x00000000, 0x00000000,
    710   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    711   0xe666a666, 0xffffffff, 0x00000000, 0x00000000,
    712   0xe666a665, 0xffffffff, 0x00000000, 0x00000000,
    713   0xe666a665, 0xfffffffe, 0x00000000, 0x00000000,
    714   0xe666a664, 0xffffc040, 0x00000000, 0x00000000,
    715   0xe66666a6, 0xffffc03f, 0x00000000, 0x00000000,
    716   0xe66666a5, 0xffffc03f, 0x00000000, 0x00000000,
    717   0xe66666a5, 0xffffc03e, 0x00000000, 0x00000000,
    718   0xe66666a4, 0xffffc010, 0x00000000, 0x00000000,
    719   0xe6666676, 0xffffc001, 0x00000000, 0x00000000,
    720   0xffffc001, 0xffffc001, 0x00000000, 0x00000000,
    721   0xffffc001, 0xffffc001, 0x00000000, 0x00000000,
    722   0xffffc000, 0x7fffc000, 0x00000000, 0x00000000,
    723   0x7fffc000, 0x7fffc000, 0x00000000, 0x00000000,
    724   0x7fffbfff, 0x7fffbfff, 0x00000000, 0x00000000,
    725   0x7fffbfff, 0x7fffbff0, 0x00000000, 0x00000000,
    726   0x7fffbff0, 0x7fffbfc2, 0x00000000, 0x00000000,
    727   0x7fffbfc1, 0x7fffbfc1, 0x00000000, 0x00000000,
    728   0x7fffbfc1, 0x7fffbfc1, 0x00000000, 0x00000000,
    729   0x7fffbfc0, 0x7fff8002, 0x00000000, 0x00000000,
    730   0x7fff8001, 0x7fff8001, 0x00000000, 0x00000000,
    731   0x7fff8001, 0x7fff8001, 0x00000000, 0x00000000,
    732   0x7fff8000, 0x66662667, 0x00000000, 0x00000000,
    733   0x66662666, 0x55551556, 0x00000000, 0x00000000,
    734   0x55551555, 0x3fffc002, 0x00000000, 0x00000000,
    735   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    736   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    737   0x3fffc000, 0x3fffc000, 0x00000000, 0x00000000,
    738   0x3fffc000, 0x3fffc000, 0x00000000, 0x00000000,
    739   0x3fffbfff, 0x2aaa6aab, 0x00000000, 0x00000000,
    740   0x2aaa6aab, 0x1999599a, 0x00000000, 0x00000000,
    741   0x1999599a, 0x00000000, 0x00000000, 0x00000000,
    742   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    743   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    744   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    745   0xfffffffe, 0xffffc040, 0x00000000, 0x00000000,
    746   0xffffc040, 0xffffc040, 0x00000000, 0x00000000,
    747   0xffffc03f, 0xffffc03f, 0x00000000, 0x00000000,
    748   0xffffc03f, 0xffffc03f, 0x00000000, 0x00000000,
    749   0xffffc03e, 0xffffc010, 0x00000000, 0x00000000,
    750   0xffffc010, 0xffffc002, 0x00000000, 0x00000000,
    751   0xffffc002, 0xffffc002, 0x00000000, 0x00000000,
    752   0xffffc001, 0xffffc001, 0x00000000, 0x00000000,
    753   0xffffc001, 0x7fffc001, 0x00000000, 0x00000000,
    754   0x7fffc000, 0x7fffc000, 0x00000000, 0x00000000,
    755   0x7fffc000, 0x7fffc000, 0x00000000, 0x00000000,
    756   0x7fffbfff, 0x7fffbff1, 0x00000000, 0x00000000,
    757   0x7fffbff0, 0x7fffbfc2, 0x00000000, 0x00000000,
    758   0x7fffbfc2, 0x7fffbfc2, 0x00000000, 0x00000000,
    759   0x7fffbfc1, 0x7fffbfc1, 0x00000000, 0x00000000,
    760   0x7fffbfc1, 0x7fff8002, 0x00000000, 0x00000000,
    761   0x7fff8002, 0x7fff8002, 0x00000000, 0x00000000,
    762   0x7fff8001, 0x7fff8001, 0x00000000, 0x00000000,
    763   0x7fff8001, 0x66662667, 0x00000000, 0x00000000,
    764   0x66662667, 0x55551556, 0x00000000, 0x00000000,
    765   0x55551556, 0x3fffc002, 0x00000000, 0x00000000,
    766   0x3fffc002, 0x3fffc002, 0x00000000, 0x00000000,
    767   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    768   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    769   0x3fffc000, 0x3fffc000, 0x00000000, 0x00000000,
    770   0x3fffc000, 0x2aaa6aac, 0x00000000, 0x00000000,
    771   0x2aaa6aab, 0x1999599b, 0x00000000, 0x00000000,
    772   0x1999599a, 0x00000001, 0x00000000, 0x00000000,
    773   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    774   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    775   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    776   0xffffffff, 0xffffc041, 0x00000000, 0x00000000,
    777   0xffffc040, 0xffffc040, 0x00000000, 0x00000000,
    778   0xffffc040, 0xffffc040, 0x00000000, 0x00000000,
    779   0xffffc03f, 0xffffc03f, 0x00000000, 0x00000000,
    780   0xffffc03f, 0xffffc011, 0x00000000, 0x00000000,
    781   0xffffc010, 0xffffc002, 0x00000000, 0x00000000,
    782   0xffffc002, 0xffffc002, 0x00000000, 0x00000000,
    783   0xffffc002, 0xffffc002, 0x00000000, 0x00000000,
    784   0xffffc001, 0x7fffc001, 0x00000000, 0x00000000,
    785   0x7fffc001, 0x7fffc001, 0x00000000, 0x00000000,
    786   0x7fffc000, 0x7fffc000, 0x00000000, 0x00000000,
    787   0x7fffc000, 0x7fffbff1, 0x00000000, 0x00000000,
    788   0x7fffbff1, 0x7fffbfc3, 0x00000000, 0x00000000,
    789   0x7fffbfc2, 0x7fffbfc2, 0x00000000, 0x00000000,
    790   0x7fffbfc2, 0x7fffbfc2, 0x00000000, 0x00000000,
    791   0x7fffbfc1, 0x7fff8003, 0x00000000, 0x00000000,
    792   0x7fff8002, 0x7fff8002, 0x00000000, 0x00000000,
    793   0x7fff8002, 0x7fff8002, 0x00000000, 0x00000000,
    794   0x7fff8001, 0x66662668, 0x00000000, 0x00000000,
    795   0x66662667, 0x55551557, 0x00000000, 0x00000000,
    796   0x55551556, 0x3fffc003, 0x00000000, 0x00000000,
    797   0x3fffc002, 0x3fffc002, 0x00000000, 0x00000000,
    798   0x3fffc002, 0x3fffc002, 0x00000000, 0x00000000,
    799   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    800   0x3fffc001, 0x3fffc001, 0x00000000, 0x00000000,
    801   0x3fffc000, 0x2aaa6aac, 0x00000000, 0x00000000,
    802   0x2aaa6aac, 0x1999599b, 0x00000000, 0x00000000,
    803   0x1999599b, 0x00000001, 0x00000000, 0x00000000,
    804   0x00000001, 0x00000001, 0x00000000, 0x00000000,
    805   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    806   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    807   0xffffffff, 0xffffc041, 0x00000000, 0x00000000,
    808   0xffffc041, 0xffffc041, 0x00000000, 0x00000000,
    809   0xffffc040, 0xffffc040, 0x00000000, 0x00000000,
    810   0xffffc040, 0xffffc040, 0x00000000, 0x00000000,
    811   0xffffc03f, 0xffffc011, 0x00000000, 0x00000000,
    812   0xffffc011, 0xffffc003, 0x00000000, 0x00000000,
    813   0xffffc003, 0xffffffc1, 0x00000000, 0x00000000,
    814   0xffffc002, 0xffffffc0, 0x00000000, 0x00000000,
    815   0xffffc002, 0x7fffffc0, 0x00000000, 0x00000000,
    816   0x7fffc001, 0x7fffffbf, 0x00000000, 0x00000000,
    817   0x7fffc001, 0x7fffffbf, 0x00000000, 0x00000000,
    818   0x7fffc000, 0x7fffffb0, 0x00000000, 0x00000000,
    819   0x7fffbff1, 0x7fffff81, 0x00000000, 0x00000000,
    820   0x7fffbfc3, 0x7fffff81, 0x00000000, 0x00000000,
    821   0x7fffbfc2, 0x7fffff80, 0x00000000, 0x00000000,
    822   0x7fffbfc2, 0x7fffbfc1, 0x00000000, 0x00000000,
    823   0x7fff8003, 0x7fffbfc1, 0x00000000, 0x00000000,
    824   0x7fff8002, 0x7fffbfc0, 0x00000000, 0x00000000,
    825   0x7fff8002, 0x66666626, 0x00000000, 0x00000000,
    826   0x66662668, 0x55555515, 0x00000000, 0x00000000,
    827   0x55551557, 0x3fffffc1, 0x00000000, 0x00000000,
    828   0x3fffc003, 0x3fffffc1, 0x00000000, 0x00000000,
    829   0x3fffc002, 0x3fffffc0, 0x00000000, 0x00000000,
    830   0x3fffc002, 0x3fffffc0, 0x00000000, 0x00000000,
    831   0x3fffc001, 0x3fffffbf, 0x00000000, 0x00000000,
    832   0x3fffc001, 0x2aaaaa6b, 0x00000000, 0x00000000,
    833   0x2aaa6aac, 0x1999995a, 0x00000000, 0x00000000,
    834   0x1999599b, 0x00003fc0, 0x00000000, 0x00000000,
    835   0x00000001, 0x00003fbf, 0x00000000, 0x00000000,
    836   0x00000001, 0x00003fbf, 0x00000000, 0x00000000,
    837   0x00000000, 0x00003fbe, 0x00000000, 0x00000000,
    838   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    839   0xffffc041, 0xffffffff, 0x00000000, 0x00000000,
    840   0xffffc041, 0xffffffff, 0x00000000, 0x00000000,
    841   0xffffc040, 0xfffffffe, 0x00000000, 0x00000000,
    842   0xffffc040, 0xffffffd0, 0x00000000, 0x00000000,
    843   0xffffc011, 0xffffffc1, 0x00000000, 0x00000000,
    844   0xffffffc1, 0xffffffc1, 0x00000000, 0x00000000,
    845   0xffffffc1, 0xffffffc1, 0x00000000, 0x00000000,
    846   0xffffffc0, 0x7fffffc0, 0x00000000, 0x00000000,
    847   0x7fffffc0, 0x7fffffc0, 0x00000000, 0x00000000,
    848   0x7fffffbf, 0x7fffffbf, 0x00000000, 0x00000000,
    849   0x7fffffbf, 0x7fffffb0, 0x00000000, 0x00000000,
    850   0x7fffffb0, 0x7fffff82, 0x00000000, 0x00000000,
    851   0x7fffff81, 0x7fffff81, 0x00000000, 0x00000000,
    852   0x7fffff81, 0x7fffff81, 0x00000000, 0x00000000,
    853   0x7fffff80, 0x7fffbfc2, 0x00000000, 0x00000000,
    854   0x7fffbfc1, 0x7fffbfc1, 0x00000000, 0x00000000,
    855   0x7fffbfc1, 0x7fffbfc1, 0x00000000, 0x00000000,
    856   0x7fffbfc0, 0x66666627, 0x00000000, 0x00000000,
    857   0x66666626, 0x55555516, 0x00000000, 0x00000000,
    858   0x55555515, 0x3fffffc2, 0x00000000, 0x00000000,
    859   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    860   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    861   0x3fffffc0, 0x3fffffc0, 0x00000000, 0x00000000,
    862   0x3fffffc0, 0x3fffffc0, 0x00000000, 0x00000000,
    863   0x3fffffbf, 0x2aaaaa6b, 0x00000000, 0x00000000,
    864   0x2aaaaa6b, 0x1999995a, 0x00000000, 0x00000000,
    865   0x1999995a, 0x00003fc0, 0x00000000, 0x00000000,
    866   0x00003fc0, 0x00003fc0, 0x00000000, 0x00000000,
    867   0x00003fbf, 0x00003fbf, 0x00000000, 0x00000000,
    868   0x00003fbf, 0x00003fbf, 0x00000000, 0x00000000,
    869   0x00003fbe, 0x00000000, 0x00000000, 0x00000000,
    870   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    871   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    872   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    873   0xfffffffe, 0xffffffd0, 0x00000000, 0x00000000,
    874   0xffffffd0, 0xffffffc2, 0x00000000, 0x00000000,
    875   0xffffffc2, 0xffffffc2, 0x00000000, 0x00000000,
    876   0xffffffc1, 0xffffffc1, 0x00000000, 0x00000000,
    877   0xffffffc1, 0x7fffffc1, 0x00000000, 0x00000000,
    878   0x7fffffc0, 0x7fffffc0, 0x00000000, 0x00000000,
    879   0x7fffffc0, 0x7fffffc0, 0x00000000, 0x00000000,
    880   0x7fffffbf, 0x7fffffb1, 0x00000000, 0x00000000,
    881   0x7fffffb0, 0x7fffff82, 0x00000000, 0x00000000,
    882   0x7fffff82, 0x7fffff82, 0x00000000, 0x00000000,
    883   0x7fffff81, 0x7fffff81, 0x00000000, 0x00000000,
    884   0x7fffff81, 0x7fffbfc2, 0x00000000, 0x00000000,
    885   0x7fffbfc2, 0x7fffbfc2, 0x00000000, 0x00000000,
    886   0x7fffbfc1, 0x7fffbfc1, 0x00000000, 0x00000000,
    887   0x7fffbfc1, 0x66666627, 0x00000000, 0x00000000,
    888   0x66666627, 0x55555516, 0x00000000, 0x00000000,
    889   0x55555516, 0x3fffffc2, 0x00000000, 0x00000000,
    890   0x3fffffc2, 0x3fffffc2, 0x00000000, 0x00000000,
    891   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    892   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    893   0x3fffffc0, 0x3fffffc0, 0x00000000, 0x00000000,
    894   0x3fffffc0, 0x2aaaaa6c, 0x00000000, 0x00000000,
    895   0x2aaaaa6b, 0x1999995b, 0x00000000, 0x00000000,
    896   0x1999995a, 0x00003fc1, 0x00000000, 0x00000000,
    897   0x00003fc0, 0x00003fc0, 0x00000000, 0x00000000,
    898   0x00003fc0, 0x00003fc0, 0x00000000, 0x00000000,
    899   0x00003fbf, 0x00003fbf, 0x00000000, 0x00000000,
    900   0x00003fbf, 0x00000001, 0x00000000, 0x00000000,
    901   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    902   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    903   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
    904   0xffffffff, 0xffffffd1, 0x00000000, 0x00000000,
    905   0xffffffd0, 0xffffffc2, 0x00000000, 0x00000000,
    906   0xffffffc2, 0xffffffc2, 0x00000000, 0x00000000,
    907   0xffffffc2, 0xffffffc2, 0x00000000, 0x00000000,
    908   0xffffffc1, 0x7fffffc1, 0x00000000, 0x00000000,
    909   0x7fffffc1, 0x7fffffc1, 0x00000000, 0x00000000,
    910   0x7fffffc0, 0x7fffffc0, 0x00000000, 0x00000000,
    911   0x7fffffc0, 0x7fffffb1, 0x00000000, 0x00000000,
    912   0x7fffffb1, 0x7fffff83, 0x00000000, 0x00000000,
    913   0x7fffff82, 0x7fffff82, 0x00000000, 0x00000000,
    914   0x7fffff82, 0x7fffff82, 0x00000000, 0x00000000,
    915   0x7fffff81, 0x7fffbfc3, 0x00000000, 0x00000000,
    916   0x7fffbfc2, 0x7fffbfc2, 0x00000000, 0x00000000,
    917   0x7fffbfc2, 0x7fffbfc2, 0x00000000, 0x00000000,
    918   0x7fffbfc1, 0x66666628, 0x00000000, 0x00000000,
    919   0x66666627, 0x55555517, 0x00000000, 0x00000000,
    920   0x55555516, 0x3fffffc3, 0x00000000, 0x00000000,
    921   0x3fffffc2, 0x3fffffc2, 0x00000000, 0x00000000,
    922   0x3fffffc2, 0x3fffffc2, 0x00000000, 0x00000000,
    923   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    924   0x3fffffc1, 0x3fffffc1, 0x00000000, 0x00000000,
    925   0x3fffffc0, 0x2aaaaa6c, 0x00000000, 0x00000000,
    926   0x2aaaaa6c, 0x1999995b, 0x00000000, 0x00000000,
    927   0x1999995b, 0x00003fc1, 0x00000000, 0x00000000,
    928   0x00003fc1, 0x00003fc1, 0x00000000, 0x00000000,
    929   0x00003fc0, 0x00003fc0, 0x00000000, 0x00000000,
    930   0x00003fc0, 0x00003fc0, 0x00000000, 0x00000000,
    931   0x00003fbf, 0x00000001, 0x00000000, 0x00000000,
    932   0x00000001, 0x00000001, 0x00000000, 0x00000000,
    933   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    934   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    935   0xffffffff, 0xffffffd1, 0x00000000, 0x00000000,
    936   0xffffffd1, 0xffffffc3, 0x00000000, 0x00000000,
    937   0xffffffc3, 0xfffffff1, 0x00000000, 0x00000000,
    938   0xffffffc2, 0xfffffff0, 0x00000000, 0x00000000,
    939   0xffffffc2, 0x7ffffff0, 0x00000000, 0x00000000,
    940   0x7fffffc1, 0x7fffffef, 0x00000000, 0x00000000,
    941   0x7fffffc1, 0x7fffffef, 0x00000000, 0x00000000,
    942   0x7fffffc0, 0x7fffffe0, 0x00000000, 0x00000000,
    943   0x7fffffb1, 0x7fffffb1, 0x00000000, 0x00000000,
    944   0x7fffff83, 0x7fffffb1, 0x00000000, 0x00000000,
    945   0x7fffff82, 0x7fffffb0, 0x00000000, 0x00000000,
    946   0x7fffff82, 0x7fffbff1, 0x00000000, 0x00000000,
    947   0x7fffbfc3, 0x7fffbff1, 0x00000000, 0x00000000,
    948   0x7fffbfc2, 0x7fffbff0, 0x00000000, 0x00000000,
    949   0x7fffbfc2, 0x66666656, 0x00000000, 0x00000000,
    950   0x66666628, 0x55555545, 0x00000000, 0x00000000,
    951   0x55555517, 0x3ffffff1, 0x00000000, 0x00000000,
    952   0x3fffffc3, 0x3ffffff1, 0x00000000, 0x00000000,
    953   0x3fffffc2, 0x3ffffff0, 0x00000000, 0x00000000,
    954   0x3fffffc2, 0x3ffffff0, 0x00000000, 0x00000000,
    955   0x3fffffc1, 0x3fffffef, 0x00000000, 0x00000000,
    956   0x3fffffc1, 0x2aaaaa9b, 0x00000000, 0x00000000,
    957   0x2aaaaa6c, 0x1999998a, 0x00000000, 0x00000000,
    958   0x1999995b, 0x00003ff0, 0x00000000, 0x00000000,
    959   0x00003fc1, 0x00003fef, 0x00000000, 0x00000000,
    960   0x00003fc1, 0x00003fef, 0x00000000, 0x00000000,
    961   0x00003fc0, 0x00003fee, 0x00000000, 0x00000000,
    962   0x00003fc0, 0x00000030, 0x00000000, 0x00000000,
    963   0x00000001, 0x0000002f, 0x00000000, 0x00000000,
    964   0x00000001, 0x0000002f, 0x00000000, 0x00000000,
    965   0x00000000, 0x0000002e, 0x00000000, 0x00000000,
    966   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    967   0xffffffd1, 0xfffffff1, 0x00000000, 0x00000000,
    968   0xfffffff1, 0xffffffff, 0x00000000, 0x00000000,
    969   0xfffffff1, 0xffffffff, 0x00000000, 0x00000000,
    970   0xfffffff0, 0x7ffffffe, 0x00000000, 0x00000000,
    971   0x7ffffff0, 0x7ffffffe, 0x00000000, 0x00000000,
    972   0x7fffffef, 0x7ffffffd, 0x00000000, 0x00000000,
    973   0x7fffffef, 0x7fffffee, 0x00000000, 0x00000000,
    974   0x7fffffe0, 0x7fffffc0, 0x00000000, 0x00000000,
    975   0x7fffffb1, 0x7fffffbf, 0x00000000, 0x00000000,
    976   0x7fffffb1, 0x7fffffbf, 0x00000000, 0x00000000,
    977   0x7fffffb0, 0x7fffc000, 0x00000000, 0x00000000,
    978   0x7fffbff1, 0x7fffbfff, 0x00000000, 0x00000000,
    979   0x7fffbff1, 0x7fffbfff, 0x00000000, 0x00000000,
    980   0x7fffbff0, 0x66666665, 0x00000000, 0x00000000,
    981   0x66666656, 0x55555554, 0x00000000, 0x00000000,
    982   0x55555545, 0x40000000, 0x00000000, 0x00000000,
    983   0x3ffffff1, 0x3fffffff, 0x00000000, 0x00000000,
    984   0x3ffffff1, 0x3fffffff, 0x00000000, 0x00000000,
    985   0x3ffffff0, 0x3ffffffe, 0x00000000, 0x00000000,
    986   0x3ffffff0, 0x3ffffffe, 0x00000000, 0x00000000,
    987   0x3fffffef, 0x2aaaaaa9, 0x00000000, 0x00000000,
    988   0x2aaaaa9b, 0x19999998, 0x00000000, 0x00000000,
    989   0x1999998a, 0x00003ffe, 0x00000000, 0x00000000,
    990   0x00003ff0, 0x00003ffe, 0x00000000, 0x00000000,
    991   0x00003fef, 0x00003ffd, 0x00000000, 0x00000000,
    992   0x00003fef, 0x00003ffd, 0x00000000, 0x00000000,
    993   0x00003fee, 0x0000003e, 0x00000000, 0x00000000,
    994   0x00000030, 0x0000003e, 0x00000000, 0x00000000,
    995   0x0000002f, 0x0000003d, 0x00000000, 0x00000000,
    996   0x0000002f, 0x0000003d, 0x00000000, 0x00000000,
    997   0x0000002e, 0x0000000e, 0x00000000, 0x00000000,
    998   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    999 };
   1000 const unsigned kExpectedCount_NEON_uhsub_2S = 961;
   1001 
   1002 #endif  // VIXL_SIM_UHSUB_2S_TRACE_A64_H_
   1003