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