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_UHADD_4S_TRACE_A64_H_
     35 #define VIXL_SIM_UHADD_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_uhadd_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, 0x40000000,
     54   0x40003eff, 0x40003f7f, 0x403ffe80, 0x40000000,
     55   0x40003eff, 0x40003f80, 0x403ffe80, 0x55555555,
     56   0x40003f00, 0x40003f80, 0x559553d5, 0x66666666,
     57   0x40003f00, 0x555594d5, 0x66a664e6, 0x7fffc000,
     58   0x55559455, 0x6666a5e6, 0x803fbe80, 0x7fffc000,
     59   0x6666a566, 0x7fffff80, 0x803fbe80, 0x7fffc001,
     60   0x7fffff00, 0x7fffff80, 0x803fbe81, 0x7fffc001,
     61   0x7fffff00, 0x7fffff81, 0x803fbe81, 0x7fffffc0,
     62   0x7fffff01, 0x7fffff81, 0x803ffe40, 0x7fffffc0,
     63   0x7fffff01, 0x80003f40, 0x803ffe40, 0x7fffffc1,
     64   0x80003ec0, 0x80003f40, 0x803ffe41, 0x7fffffc1,
     65   0x80003ec0, 0x80003f41, 0x803ffe41, 0x7ffffff0,
     66   0x80003ec1, 0x80003f41, 0x803ffe70, 0x7ffffffe,
     67   0x80003ec1, 0x80003f70, 0x803ffe7e, 0x7fffffff,
     68   0x80003ef0, 0x80003f7e, 0x803ffe7f, 0x7fffffff,
     69   0x80003f7e, 0x803ffe7f, 0x7fffffff, 0x00000000,
     70   0x80003f7f, 0x803ffe7f, 0x00000000, 0x00000001,
     71   0x80003f7f, 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, 0x40000000,
     85   0x40003f7f, 0x403ffe7f, 0x40000000, 0x40000001,
     86   0x40003f7f, 0x403ffe80, 0x40000000, 0x55555555,
     87   0x40003f80, 0x403ffe80, 0x55555555, 0x66666666,
     88   0x40003f80, 0x559553d5, 0x66666666, 0x7fffc000,
     89   0x555594d5, 0x66a664e6, 0x7fffc000, 0x7fffc001,
     90   0x6666a5e6, 0x803fbe80, 0x7fffc000, 0x7fffc001,
     91   0x7fffff80, 0x803fbe80, 0x7fffc001, 0x7fffc002,
     92   0x7fffff80, 0x803fbe81, 0x7fffc001, 0x7fffffc0,
     93   0x7fffff81, 0x803fbe81, 0x7fffffc0, 0x7fffffc1,
     94   0x7fffff81, 0x803ffe40, 0x7fffffc0, 0x7fffffc1,
     95   0x80003f40, 0x803ffe40, 0x7fffffc1, 0x7fffffc2,
     96   0x80003f40, 0x803ffe41, 0x7fffffc1, 0x7ffffff0,
     97   0x80003f41, 0x803ffe41, 0x7ffffff0, 0x7fffffff,
     98   0x80003f41, 0x803ffe70, 0x7ffffffe, 0x7fffffff,
     99   0x80003f70, 0x803ffe7e, 0x7fffffff, 0x80000000,
    100   0x803ffe7e, 0x7fffffff, 0x80000000, 0x00000001,
    101   0x803ffe7f, 0x7fffffff, 0x00000000, 0x00000001,
    102   0x803ffe7f, 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, 0x40000001,
    116   0x403ffe7f, 0x3fffffff, 0x40000000, 0x40000001,
    117   0x403ffe7f, 0x40000000, 0x40000001, 0x55555556,
    118   0x403ffe80, 0x40000000, 0x55555555, 0x66666667,
    119   0x403ffe80, 0x55555555, 0x66666666, 0x7fffc001,
    120   0x559553d5, 0x66666666, 0x7fffc000, 0x7fffc001,
    121   0x66a664e6, 0x7fffc000, 0x7fffc001, 0x7fffc002,
    122   0x803fbe80, 0x7fffc000, 0x7fffc001, 0x7fffc002,
    123   0x803fbe80, 0x7fffc001, 0x7fffc002, 0x7fffffc1,
    124   0x803fbe81, 0x7fffc001, 0x7fffffc0, 0x7fffffc1,
    125   0x803fbe81, 0x7fffffc0, 0x7fffffc1, 0x7fffffc2,
    126   0x803ffe40, 0x7fffffc0, 0x7fffffc1, 0x7fffffc2,
    127   0x803ffe40, 0x7fffffc1, 0x7fffffc2, 0x7ffffff1,
    128   0x803ffe41, 0x7fffffc1, 0x7ffffff0, 0x7fffffff,
    129   0x803ffe41, 0x7ffffff0, 0x7fffffff, 0x80000000,
    130   0x803ffe70, 0x7ffffffe, 0x7fffffff, 0x80000000,
    131   0x7ffffffe, 0x7fffffff, 0x80000000, 0x00000010,
    132   0x7fffffff, 0x80000000, 0x00000001, 0x00000010,
    133   0x7fffffff, 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, 0x40000010,
    147   0x3fffffff, 0x40000000, 0x40000001, 0x40000010,
    148   0x3fffffff, 0x40000000, 0x40000001, 0x55555565,
    149   0x40000000, 0x40000001, 0x55555556, 0x66666676,
    150   0x40000000, 0x55555555, 0x66666667, 0x7fffc010,
    151   0x55555555, 0x66666666, 0x7fffc001, 0x7fffc010,
    152   0x66666666, 0x7fffc000, 0x7fffc001, 0x7fffc011,
    153   0x7fffc000, 0x7fffc001, 0x7fffc002, 0x7fffc011,
    154   0x7fffc000, 0x7fffc001, 0x7fffc002, 0x7fffffd0,
    155   0x7fffc001, 0x7fffc002, 0x7fffffc1, 0x7fffffd0,
    156   0x7fffc001, 0x7fffffc0, 0x7fffffc1, 0x7fffffd1,
    157   0x7fffffc0, 0x7fffffc1, 0x7fffffc2, 0x7fffffd1,
    158   0x7fffffc0, 0x7fffffc1, 0x7fffffc2, 0x80000000,
    159   0x7fffffc1, 0x7fffffc2, 0x7ffffff1, 0x8000000e,
    160   0x7fffffc1, 0x7ffffff0, 0x7fffffff, 0x8000000f,
    161   0x7ffffff0, 0x7fffffff, 0x80000000, 0x8000000f,
    162   0x7fffffff, 0x80000000, 0x8000000f, 0x0000003e,
    163   0x7fffffff, 0x80000000, 0x00000010, 0x0000003f,
    164   0x80000000, 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, 0x4000003e,
    178   0x3fffffff, 0x40000000, 0x40000010, 0x4000003f,
    179   0x40000000, 0x40000001, 0x40000010, 0x55555593,
    180   0x40000000, 0x40000001, 0x55555565, 0x666666a4,
    181   0x40000001, 0x55555556, 0x66666676, 0x7fffc03e,
    182   0x55555555, 0x66666667, 0x7fffc010, 0x7fffc03f,
    183   0x66666666, 0x7fffc001, 0x7fffc010, 0x7fffc03f,
    184   0x7fffc000, 0x7fffc001, 0x7fffc011, 0x7fffc040,
    185   0x7fffc001, 0x7fffc002, 0x7fffc011, 0x7ffffffe,
    186   0x7fffc001, 0x7fffc002, 0x7fffffd0, 0x7fffffff,
    187   0x7fffc002, 0x7fffffc1, 0x7fffffd0, 0x7fffffff,
    188   0x7fffffc0, 0x7fffffc1, 0x7fffffd1, 0x80000000,
    189   0x7fffffc1, 0x7fffffc2, 0x7fffffd1, 0x8000002e,
    190   0x7fffffc1, 0x7fffffc2, 0x80000000, 0x8000003d,
    191   0x7fffffc2, 0x7ffffff1, 0x8000000e, 0x8000003d,
    192   0x7ffffff0, 0x7fffffff, 0x8000000f, 0x8000003e,
    193   0x7fffffff, 0x8000000f, 0x8000003e, 0x0000003f,
    194   0x80000000, 0x8000000f, 0x0000003e, 0x0000003f,
    195   0x80000000, 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, 0x4000003f,
    209   0x40000000, 0x4000000f, 0x4000003e, 0x4000003f,
    210   0x40000000, 0x40000010, 0x4000003f, 0x55555594,
    211   0x40000001, 0x40000010, 0x55555593, 0x666666a5,
    212   0x40000001, 0x55555565, 0x666666a4, 0x7fffc03f,
    213   0x55555556, 0x66666676, 0x7fffc03e, 0x7fffc03f,
    214   0x66666667, 0x7fffc010, 0x7fffc03f, 0x7fffc040,
    215   0x7fffc001, 0x7fffc010, 0x7fffc03f, 0x7fffc040,
    216   0x7fffc001, 0x7fffc011, 0x7fffc040, 0x7fffffff,
    217   0x7fffc002, 0x7fffc011, 0x7ffffffe, 0x7fffffff,
    218   0x7fffc002, 0x7fffffd0, 0x7fffffff, 0x80000000,
    219   0x7fffffc1, 0x7fffffd0, 0x7fffffff, 0x80000000,
    220   0x7fffffc1, 0x7fffffd1, 0x80000000, 0x8000002f,
    221   0x7fffffc2, 0x7fffffd1, 0x8000002e, 0x8000003d,
    222   0x7fffffc2, 0x80000000, 0x8000003d, 0x8000003e,
    223   0x7ffffff1, 0x8000000e, 0x8000003d, 0x8000003e,
    224   0x8000000e, 0x8000003d, 0x8000003e, 0x0000003f,
    225   0x8000000f, 0x8000003e, 0x0000003f, 0x00000040,
    226   0x8000000f, 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, 0x4000003f,
    240   0x4000000f, 0x4000003e, 0x4000003f, 0x40000040,
    241   0x4000000f, 0x4000003e, 0x4000003f, 0x55555594,
    242   0x40000010, 0x4000003f, 0x55555594, 0x666666a5,
    243   0x40000010, 0x55555593, 0x666666a5, 0x7fffc03f,
    244   0x55555565, 0x666666a4, 0x7fffc03f, 0x7fffc040,
    245   0x66666676, 0x7fffc03e, 0x7fffc03f, 0x7fffc040,
    246   0x7fffc010, 0x7fffc03f, 0x7fffc040, 0x7fffc041,
    247   0x7fffc010, 0x7fffc03f, 0x7fffc040, 0x7fffffff,
    248   0x7fffc011, 0x7fffc040, 0x7fffffff, 0x80000000,
    249   0x7fffc011, 0x7ffffffe, 0x7fffffff, 0x80000000,
    250   0x7fffffd0, 0x7fffffff, 0x80000000, 0x80000001,
    251   0x7fffffd0, 0x7fffffff, 0x80000000, 0x8000002f,
    252   0x7fffffd1, 0x80000000, 0x8000002f, 0x8000003e,
    253   0x7fffffd1, 0x8000002e, 0x8000003d, 0x8000003e,
    254   0x80000000, 0x8000003d, 0x8000003e, 0x8000003f,
    255   0x8000003d, 0x8000003e, 0x8000003f, 0x00003ffe,
    256   0x8000003d, 0x8000003e, 0x0000003f, 0x00003fff,
    257   0x8000003e, 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, 0x40003ffe,
    271   0x4000003d, 0x4000003e, 0x4000003f, 0x40003fff,
    272   0x4000003e, 0x4000003f, 0x40000040, 0x55559553,
    273   0x4000003e, 0x4000003f, 0x55555594, 0x6666a664,
    274   0x4000003f, 0x55555594, 0x666666a5, 0x7ffffffe,
    275   0x55555593, 0x666666a5, 0x7fffc03f, 0x7fffffff,
    276   0x666666a4, 0x7fffc03f, 0x7fffc040, 0x7fffffff,
    277   0x7fffc03e, 0x7fffc03f, 0x7fffc040, 0x80000000,
    278   0x7fffc03f, 0x7fffc040, 0x7fffc041, 0x80003fbe,
    279   0x7fffc03f, 0x7fffc040, 0x7fffffff, 0x80003fbf,
    280   0x7fffc040, 0x7fffffff, 0x80000000, 0x80003fbf,
    281   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80003fc0,
    282   0x7fffffff, 0x80000000, 0x80000001, 0x80003fee,
    283   0x7fffffff, 0x80000000, 0x8000002f, 0x80003ffd,
    284   0x80000000, 0x8000002f, 0x8000003e, 0x80003ffd,
    285   0x8000002e, 0x8000003d, 0x8000003e, 0x80003ffe,
    286   0x8000003d, 0x8000003e, 0x80003ffe, 0x00003fff,
    287   0x8000003e, 0x8000003f, 0x00003ffe, 0x00003fff,
    288   0x8000003e, 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, 0x40003fff,
    302   0x4000003e, 0x4000003f, 0x40003ffe, 0x40003fff,
    303   0x4000003e, 0x4000003f, 0x40003fff, 0x55559554,
    304   0x4000003f, 0x40000040, 0x55559553, 0x6666a665,
    305   0x4000003f, 0x55555594, 0x6666a664, 0x7fffffff,
    306   0x55555594, 0x666666a5, 0x7ffffffe, 0x7fffffff,
    307   0x666666a5, 0x7fffc03f, 0x7fffffff, 0x80000000,
    308   0x7fffc03f, 0x7fffc040, 0x7fffffff, 0x80000000,
    309   0x7fffc03f, 0x7fffc040, 0x80000000, 0x80003fbf,
    310   0x7fffc040, 0x7fffc041, 0x80003fbe, 0x80003fbf,
    311   0x7fffc040, 0x7fffffff, 0x80003fbf, 0x80003fc0,
    312   0x7fffffff, 0x80000000, 0x80003fbf, 0x80003fc0,
    313   0x7fffffff, 0x80000000, 0x80003fc0, 0x80003fef,
    314   0x80000000, 0x80000001, 0x80003fee, 0x80003ffd,
    315   0x80000000, 0x8000002f, 0x80003ffd, 0x80003ffe,
    316   0x8000002f, 0x8000003e, 0x80003ffd, 0x80003ffe,
    317   0x8000003e, 0x80003ffd, 0x80003ffe, 0x00003fff,
    318   0x8000003e, 0x80003ffe, 0x00003fff, 0x00004000,
    319   0x8000003f, 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, 0x40003fff,
    333   0x4000003e, 0x40003ffe, 0x40003fff, 0x40004000,
    334   0x4000003f, 0x40003ffe, 0x40003fff, 0x55559554,
    335   0x4000003f, 0x40003fff, 0x55559554, 0x6666a665,
    336   0x40000040, 0x55559553, 0x6666a665, 0x7fffffff,
    337   0x55555594, 0x6666a664, 0x7fffffff, 0x80000000,
    338   0x666666a5, 0x7ffffffe, 0x7fffffff, 0x80000000,
    339   0x7fffc03f, 0x7fffffff, 0x80000000, 0x80000001,
    340   0x7fffc040, 0x7fffffff, 0x80000000, 0x80003fbf,
    341   0x7fffc040, 0x80000000, 0x80003fbf, 0x80003fc0,
    342   0x7fffc041, 0x80003fbe, 0x80003fbf, 0x80003fc0,
    343   0x7fffffff, 0x80003fbf, 0x80003fc0, 0x80003fc1,
    344   0x80000000, 0x80003fbf, 0x80003fc0, 0x80003fef,
    345   0x80000000, 0x80003fc0, 0x80003fef, 0x80003ffe,
    346   0x80000001, 0x80003fee, 0x80003ffd, 0x80003ffe,
    347   0x8000002f, 0x80003ffd, 0x80003ffe, 0x80003fff,
    348   0x80003ffd, 0x80003ffe, 0x80003fff, 0x19999999,
    349   0x80003ffd, 0x80003ffe, 0x00003fff, 0x1999999a,
    350   0x80003ffe, 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, 0x59999999,
    364   0x40003ffd, 0x40003ffe, 0x40003fff, 0x5999999a,
    365   0x40003ffe, 0x40003fff, 0x40004000, 0x6eeeeeee,
    366   0x40003ffe, 0x40003fff, 0x55559554, 0x7fffffff,
    367   0x40003fff, 0x55559554, 0x6666a665, 0x99995999,
    368   0x55559553, 0x6666a665, 0x7fffffff, 0x9999599a,
    369   0x6666a664, 0x7fffffff, 0x80000000, 0x9999599a,
    370   0x7ffffffe, 0x7fffffff, 0x80000000, 0x9999599b,
    371   0x7fffffff, 0x80000000, 0x80000001, 0x99999959,
    372   0x7fffffff, 0x80000000, 0x80003fbf, 0x9999995a,
    373   0x80000000, 0x80003fbf, 0x80003fc0, 0x9999995a,
    374   0x80003fbe, 0x80003fbf, 0x80003fc0, 0x9999995b,
    375   0x80003fbf, 0x80003fc0, 0x80003fc1, 0x99999989,
    376   0x80003fbf, 0x80003fc0, 0x80003fef, 0x99999998,
    377   0x80003fc0, 0x80003fef, 0x80003ffe, 0x99999998,
    378   0x80003fee, 0x80003ffd, 0x80003ffe, 0x99999999,
    379   0x80003ffd, 0x80003ffe, 0x99999999, 0x2aaaaaaa,
    380   0x80003ffe, 0x80003fff, 0x19999999, 0x2aaaaaab,
    381   0x80003ffe, 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, 0x6aaaaaaa,
    395   0x40003ffe, 0x40003fff, 0x59999999, 0x6aaaaaab,
    396   0x40003ffe, 0x40003fff, 0x5999999a, 0x7fffffff,
    397   0x40003fff, 0x40004000, 0x6eeeeeee, 0x91111110,
    398   0x40003fff, 0x55559554, 0x7fffffff, 0xaaaa6aaa,
    399   0x55559554, 0x6666a665, 0x99995999, 0xaaaa6aab,
    400   0x6666a665, 0x7fffffff, 0x9999599a, 0xaaaa6aab,
    401   0x7fffffff, 0x80000000, 0x9999599a, 0xaaaa6aac,
    402   0x7fffffff, 0x80000000, 0x9999599b, 0xaaaaaa6a,
    403   0x80000000, 0x80000001, 0x99999959, 0xaaaaaa6b,
    404   0x80000000, 0x80003fbf, 0x9999995a, 0xaaaaaa6b,
    405   0x80003fbf, 0x80003fc0, 0x9999995a, 0xaaaaaa6c,
    406   0x80003fbf, 0x80003fc0, 0x9999995b, 0xaaaaaa9a,
    407   0x80003fc0, 0x80003fc1, 0x99999989, 0xaaaaaaa9,
    408   0x80003fc0, 0x80003fef, 0x99999998, 0xaaaaaaa9,
    409   0x80003fef, 0x80003ffe, 0x99999998, 0xaaaaaaaa,
    410   0x80003ffe, 0x99999998, 0xaaaaaaaa, 0x3ffffffe,
    411   0x80003ffe, 0x99999999, 0x2aaaaaaa, 0x3fffffff,
    412   0x80003fff, 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, 0x7ffffffe,
    426   0x40003ffe, 0x59999999, 0x6aaaaaaa, 0x7fffffff,
    427   0x40003fff, 0x59999999, 0x6aaaaaab, 0x95555553,
    428   0x40003fff, 0x5999999a, 0x7fffffff, 0xa6666664,
    429   0x40004000, 0x6eeeeeee, 0x91111110, 0xbfffbffe,
    430   0x55559554, 0x7fffffff, 0xaaaa6aaa, 0xbfffbfff,
    431   0x6666a665, 0x99995999, 0xaaaa6aab, 0xbfffbfff,
    432   0x7fffffff, 0x9999599a, 0xaaaa6aab, 0xbfffc000,
    433   0x80000000, 0x9999599a, 0xaaaa6aac, 0xbfffffbe,
    434   0x80000000, 0x9999599b, 0xaaaaaa6a, 0xbfffffbf,
    435   0x80000001, 0x99999959, 0xaaaaaa6b, 0xbfffffbf,
    436   0x80003fbf, 0x9999995a, 0xaaaaaa6b, 0xbfffffc0,
    437   0x80003fc0, 0x9999995a, 0xaaaaaa6c, 0xbfffffee,
    438   0x80003fc0, 0x9999995b, 0xaaaaaa9a, 0xbffffffd,
    439   0x80003fc1, 0x99999989, 0xaaaaaaa9, 0xbffffffd,
    440   0x80003fef, 0x99999998, 0xaaaaaaa9, 0xbffffffe,
    441   0x99999998, 0xaaaaaaa9, 0xbffffffe, 0x3fffffff,
    442   0x99999998, 0xaaaaaaaa, 0x3ffffffe, 0x3fffffff,
    443   0x99999999, 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, 0x7fffffff,
    457   0x59999998, 0x6aaaaaaa, 0x7ffffffe, 0x7fffffff,
    458   0x59999999, 0x6aaaaaaa, 0x7fffffff, 0x95555554,
    459   0x59999999, 0x6aaaaaab, 0x95555553, 0xa6666665,
    460   0x5999999a, 0x7fffffff, 0xa6666664, 0xbfffbfff,
    461   0x6eeeeeee, 0x91111110, 0xbfffbffe, 0xbfffbfff,
    462   0x7fffffff, 0xaaaa6aaa, 0xbfffbfff, 0xbfffc000,
    463   0x99995999, 0xaaaa6aab, 0xbfffbfff, 0xbfffc000,
    464   0x9999599a, 0xaaaa6aab, 0xbfffc000, 0xbfffffbf,
    465   0x9999599a, 0xaaaa6aac, 0xbfffffbe, 0xbfffffbf,
    466   0x9999599b, 0xaaaaaa6a, 0xbfffffbf, 0xbfffffc0,
    467   0x99999959, 0xaaaaaa6b, 0xbfffffbf, 0xbfffffc0,
    468   0x9999995a, 0xaaaaaa6b, 0xbfffffc0, 0xbfffffef,
    469   0x9999995a, 0xaaaaaa6c, 0xbfffffee, 0xbffffffd,
    470   0x9999995b, 0xaaaaaa9a, 0xbffffffd, 0xbffffffe,
    471   0x99999989, 0xaaaaaaa9, 0xbffffffd, 0xbffffffe,
    472   0xaaaaaaa9, 0xbffffffd, 0xbffffffe, 0x3fffffff,
    473   0xaaaaaaa9, 0xbffffffe, 0x3fffffff, 0x40000000,
    474   0xaaaaaaaa, 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, 0x7fffffff,
    488   0x6aaaaaa9, 0x7ffffffe, 0x7fffffff, 0x80000000,
    489   0x6aaaaaaa, 0x7ffffffe, 0x7fffffff, 0x95555554,
    490   0x6aaaaaaa, 0x7fffffff, 0x95555554, 0xa6666665,
    491   0x6aaaaaab, 0x95555553, 0xa6666665, 0xbfffbfff,
    492   0x7fffffff, 0xa6666664, 0xbfffbfff, 0xbfffc000,
    493   0x91111110, 0xbfffbffe, 0xbfffbfff, 0xbfffc000,
    494   0xaaaa6aaa, 0xbfffbfff, 0xbfffc000, 0xbfffc001,
    495   0xaaaa6aab, 0xbfffbfff, 0xbfffc000, 0xbfffffbf,
    496   0xaaaa6aab, 0xbfffc000, 0xbfffffbf, 0xbfffffc0,
    497   0xaaaa6aac, 0xbfffffbe, 0xbfffffbf, 0xbfffffc0,
    498   0xaaaaaa6a, 0xbfffffbf, 0xbfffffc0, 0xbfffffc1,
    499   0xaaaaaa6b, 0xbfffffbf, 0xbfffffc0, 0xbfffffef,
    500   0xaaaaaa6b, 0xbfffffc0, 0xbfffffef, 0xbffffffe,
    501   0xaaaaaa6c, 0xbfffffee, 0xbffffffd, 0xbffffffe,
    502   0xaaaaaa9a, 0xbffffffd, 0xbffffffe, 0xbfffffff,
    503   0xbffffffd, 0xbffffffe, 0xbfffffff, 0x40000000,
    504   0xbffffffd, 0xbffffffe, 0x3fffffff, 0x40000000,
    505   0xbffffffe, 0x3fffffff, 0x40000000, 0x40000001,
    506   0x3ffffffe, 0x3fffffff, 0x40000000, 0x40000010,
    507   0x3fffffff, 0x40000000, 0x4000000f, 0x4000003e,
    508   0x3fffffff, 0x4000000f, 0x4000003e, 0x4000003f,
    509   0x4000000e, 0x4000003d, 0x4000003e, 0x4000003f,
    510   0x4000003d, 0x4000003e, 0x4000003f, 0x40003ffe,
    511   0x4000003d, 0x4000003e, 0x40003ffe, 0x40003fff,
    512   0x4000003e, 0x40003ffd, 0x40003ffe, 0x40003fff,
    513   0x40003ffd, 0x40003ffe, 0x40003fff, 0x59999999,
    514   0x40003ffd, 0x40003ffe, 0x59999999, 0x6aaaaaaa,
    515   0x40003ffe, 0x59999998, 0x6aaaaaaa, 0x7ffffffe,
    516   0x59999998, 0x6aaaaaa9, 0x7ffffffe, 0x7fffffff,
    517   0x6aaaaaa9, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    518   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
    519   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
    520   0x7ffffffe, 0x7fffffff, 0x80000000, 0x95555555,
    521   0x7ffffffe, 0x7fffffff, 0x95555554, 0xa6666666,
    522   0x7fffffff, 0x95555554, 0xa6666665, 0xbfffc000,
    523   0x95555553, 0xa6666665, 0xbfffbfff, 0xbfffc000,
    524   0xa6666664, 0xbfffbfff, 0xbfffc000, 0xbfffc001,
    525   0xbfffbffe, 0xbfffbfff, 0xbfffc000, 0xbfffc001,
    526   0xbfffbfff, 0xbfffc000, 0xbfffc001, 0xbfffffc0,
    527   0xbfffbfff, 0xbfffc000, 0xbfffffbf, 0xbfffffc0,
    528   0xbfffc000, 0xbfffffbf, 0xbfffffc0, 0xbfffffc1,
    529   0xbfffffbe, 0xbfffffbf, 0xbfffffc0, 0xbfffffc1,
    530   0xbfffffbf, 0xbfffffc0, 0xbfffffc1, 0xbffffff0,
    531   0xbfffffbf, 0xbfffffc0, 0xbfffffef, 0xbffffffe,
    532   0xbfffffc0, 0xbfffffef, 0xbffffffe, 0xbfffffff,
    533   0xbfffffee, 0xbffffffd, 0xbffffffe, 0xbfffffff,
    534   0xbffffffd, 0xbffffffe, 0xbfffffff, 0x40000000,
    535   0xbffffffe, 0xbfffffff, 0x40000000, 0x40000001,
    536   0xbffffffe, 0x3fffffff, 0x40000000, 0x40000001,
    537   0x3fffffff, 0x40000000, 0x40000001, 0x40000010,
    538   0x3fffffff, 0x40000000, 0x40000010, 0x4000003f,
    539   0x40000000, 0x4000000f, 0x4000003e, 0x4000003f,
    540   0x4000000f, 0x4000003e, 0x4000003f, 0x40000040,
    541   0x4000003d, 0x4000003e, 0x4000003f, 0x40003fff,
    542   0x4000003e, 0x4000003f, 0x40003ffe, 0x40003fff,
    543   0x4000003e, 0x40003ffe, 0x40003fff, 0x40004000,
    544   0x40003ffd, 0x40003ffe, 0x40003fff, 0x5999999a,
    545   0x40003ffe, 0x40003fff, 0x59999999, 0x6aaaaaab,
    546   0x40003ffe, 0x59999999, 0x6aaaaaaa, 0x7fffffff,
    547   0x59999998, 0x6aaaaaaa, 0x7ffffffe, 0x7fffffff,
    548   0x6aaaaaa9, 0x7ffffffe, 0x7fffffff, 0x80000000,
    549   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
    550   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
    551   0x7ffffffe, 0x7fffffff, 0x80000000, 0x95555555,
    552   0x7fffffff, 0x80000000, 0x95555555, 0xa6666666,
    553   0x7fffffff, 0x95555554, 0xa6666666, 0xbfffc000,
    554   0x95555554, 0xa6666665, 0xbfffc000, 0xbfffc001,
    555   0xa6666665, 0xbfffbfff, 0xbfffc000, 0xbfffc001,
    556   0xbfffbfff, 0xbfffc000, 0xbfffc001, 0xbfffc002,
    557   0xbfffbfff, 0xbfffc000, 0xbfffc001, 0xbfffffc0,
    558   0xbfffc000, 0xbfffc001, 0xbfffffc0, 0xbfffffc1,
    559   0xbfffc000, 0xbfffffbf, 0xbfffffc0, 0xbfffffc1,
    560   0xbfffffbf, 0xbfffffc0, 0xbfffffc1, 0xbfffffc2,
    561   0xbfffffbf, 0xbfffffc0, 0xbfffffc1, 0xbffffff0,
    562   0xbfffffc0, 0xbfffffc1, 0xbffffff0, 0xbfffffff,
    563   0xbfffffc0, 0xbfffffef, 0xbffffffe, 0xbfffffff,
    564   0xbfffffef, 0xbffffffe, 0xbfffffff, 0xc0000000,
    565   0xbffffffe, 0xbfffffff, 0xc0000000, 0x55555555,
    566   0xbffffffe, 0xbfffffff, 0x40000000, 0x55555555,
    567   0xbfffffff, 0x40000000, 0x40000001, 0x55555556,
    568   0x3fffffff, 0x40000000, 0x40000001, 0x55555565,
    569   0x40000000, 0x40000001, 0x40000010, 0x55555593,
    570   0x40000000, 0x40000010, 0x4000003f, 0x55555594,
    571   0x4000000f, 0x4000003e, 0x4000003f, 0x55555594,
    572   0x4000003e, 0x4000003f, 0x40000040, 0x55559553,
    573   0x4000003e, 0x4000003f, 0x40003fff, 0x55559554,
    574   0x4000003f, 0x40003ffe, 0x40003fff, 0x55559554,
    575   0x40003ffe, 0x40003fff, 0x40004000, 0x6eeeeeee,
    576   0x40003ffe, 0x40003fff, 0x5999999a, 0x7fffffff,
    577   0x40003fff, 0x59999999, 0x6aaaaaab, 0x95555553,
    578   0x59999999, 0x6aaaaaaa, 0x7fffffff, 0x95555554,
    579   0x6aaaaaaa, 0x7ffffffe, 0x7fffffff, 0x95555554,
    580   0x7ffffffe, 0x7fffffff, 0x80000000, 0x95555555,
    581   0x7ffffffe, 0x7fffffff, 0x80000000, 0x95555555,
    582   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
    583   0x7fffffff, 0x80000000, 0x95555555, 0xbbbbbbbb,
    584   0x80000000, 0x95555555, 0xa6666666, 0xd5551555,
    585   0x95555554, 0xa6666666, 0xbfffc000, 0xd5551555,
    586   0xa6666665, 0xbfffc000, 0xbfffc001, 0xd5551556,
    587   0xbfffbfff, 0xbfffc000, 0xbfffc001, 0xd5551556,
    588   0xbfffc000, 0xbfffc001, 0xbfffc002, 0xd5555515,
    589   0xbfffc000, 0xbfffc001, 0xbfffffc0, 0xd5555515,
    590   0xbfffc001, 0xbfffffc0, 0xbfffffc1, 0xd5555516,
    591   0xbfffffbf, 0xbfffffc0, 0xbfffffc1, 0xd5555516,
    592   0xbfffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555545,
    593   0xbfffffc0, 0xbfffffc1, 0xbffffff0, 0xd5555553,
    594   0xbfffffc1, 0xbffffff0, 0xbfffffff, 0xd5555554,
    595   0xbfffffef, 0xbffffffe, 0xbfffffff, 0xd5555554,
    596   0xbffffffe, 0xbfffffff, 0xd5555554, 0x66666666,
    597   0xbfffffff, 0xc0000000, 0x55555555, 0x66666666,
    598   0xbfffffff, 0x40000000, 0x55555555, 0x66666667,
    599   0x40000000, 0x40000001, 0x55555556, 0x66666676,
    600   0x40000000, 0x40000001, 0x55555565, 0x666666a4,
    601   0x40000001, 0x40000010, 0x55555593, 0x666666a5,
    602   0x40000010, 0x4000003f, 0x55555594, 0x666666a5,
    603   0x4000003e, 0x4000003f, 0x55555594, 0x6666a664,
    604   0x4000003f, 0x40000040, 0x55559553, 0x6666a665,
    605   0x4000003f, 0x40003fff, 0x55559554, 0x6666a665,
    606   0x40003ffe, 0x40003fff, 0x55559554, 0x7fffffff,
    607   0x40003fff, 0x40004000, 0x6eeeeeee, 0x91111110,
    608   0x40003fff, 0x5999999a, 0x7fffffff, 0xa6666664,
    609   0x59999999, 0x6aaaaaab, 0x95555553, 0xa6666665,
    610   0x6aaaaaaa, 0x7fffffff, 0x95555554, 0xa6666665,
    611   0x7ffffffe, 0x7fffffff, 0x95555554, 0xa6666666,
    612   0x7fffffff, 0x80000000, 0x95555555, 0xa6666666,
    613   0x7fffffff, 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, 0x7fffc000,
    628   0xbfffffff, 0xd5555554, 0x66666666, 0x7fffc000,
    629   0xc0000000, 0x55555555, 0x66666666, 0x7fffc001,
    630   0x40000000, 0x55555555, 0x66666667, 0x7fffc010,
    631   0x40000001, 0x55555556, 0x66666676, 0x7fffc03e,
    632   0x40000001, 0x55555565, 0x666666a4, 0x7fffc03f,
    633   0x40000010, 0x55555593, 0x666666a5, 0x7fffc03f,
    634   0x4000003f, 0x55555594, 0x666666a5, 0x7ffffffe,
    635   0x4000003f, 0x55555594, 0x6666a664, 0x7fffffff,
    636   0x40000040, 0x55559553, 0x6666a665, 0x7fffffff,
    637   0x40003fff, 0x55559554, 0x6666a665, 0x99995999,
    638   0x40003fff, 0x55559554, 0x7fffffff, 0xaaaa6aaa,
    639   0x40004000, 0x6eeeeeee, 0x91111110, 0xbfffbffe,
    640   0x5999999a, 0x7fffffff, 0xa6666664, 0xbfffbfff,
    641   0x6aaaaaab, 0x95555553, 0xa6666665, 0xbfffbfff,
    642   0x7fffffff, 0x95555554, 0xa6666665, 0xbfffc000,
    643   0x7fffffff, 0x95555554, 0xa6666666, 0xbfffc000,
    644   0x80000000, 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, 0x7fffc000,
    659   0xd5555554, 0xe6666665, 0x7fffc000, 0x7fffc001,
    660   0xd5555554, 0x66666666, 0x7fffc000, 0x7fffc001,
    661   0x55555555, 0x66666666, 0x7fffc001, 0x7fffc010,
    662   0x55555555, 0x66666667, 0x7fffc010, 0x7fffc03f,
    663   0x55555556, 0x66666676, 0x7fffc03e, 0x7fffc03f,
    664   0x55555565, 0x666666a4, 0x7fffc03f, 0x7fffc040,
    665   0x55555593, 0x666666a5, 0x7fffc03f, 0x7fffffff,
    666   0x55555594, 0x666666a5, 0x7ffffffe, 0x7fffffff,
    667   0x55555594, 0x6666a664, 0x7fffffff, 0x80000000,
    668   0x55559553, 0x6666a665, 0x7fffffff, 0x9999599a,
    669   0x55559554, 0x6666a665, 0x99995999, 0xaaaa6aab,
    670   0x55559554, 0x7fffffff, 0xaaaa6aaa, 0xbfffbfff,
    671   0x6eeeeeee, 0x91111110, 0xbfffbffe, 0xbfffbfff,
    672   0x7fffffff, 0xa6666664, 0xbfffbfff, 0xbfffc000,
    673   0x95555553, 0xa6666665, 0xbfffbfff, 0xbfffc000,
    674   0x95555554, 0xa6666665, 0xbfffc000, 0xbfffc001,
    675   0x95555554, 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, 0x7fffc001,
    690   0xe6666665, 0xffffbfff, 0x7fffc000, 0x7fffc001,
    691   0xe6666665, 0x7fffc000, 0x7fffc001, 0x7fffc002,
    692   0x66666666, 0x7fffc000, 0x7fffc001, 0x7fffc011,
    693   0x66666666, 0x7fffc001, 0x7fffc010, 0x7fffc03f,
    694   0x66666667, 0x7fffc010, 0x7fffc03f, 0x7fffc040,
    695   0x66666676, 0x7fffc03e, 0x7fffc03f, 0x7fffc040,
    696   0x666666a4, 0x7fffc03f, 0x7fffc040, 0x7fffffff,
    697   0x666666a5, 0x7fffc03f, 0x7fffffff, 0x80000000,
    698   0x666666a5, 0x7ffffffe, 0x7fffffff, 0x80000000,
    699   0x6666a664, 0x7fffffff, 0x80000000, 0x9999599a,
    700   0x6666a665, 0x7fffffff, 0x9999599a, 0xaaaa6aab,
    701   0x6666a665, 0x99995999, 0xaaaa6aab, 0xbfffbfff,
    702   0x7fffffff, 0xaaaa6aaa, 0xbfffbfff, 0xbfffc000,
    703   0x91111110, 0xbfffbffe, 0xbfffbfff, 0xbfffc000,
    704   0xa6666664, 0xbfffbfff, 0xbfffc000, 0xbfffc001,
    705   0xa6666665, 0xbfffbfff, 0xbfffc000, 0xbfffc001,
    706   0xa6666665, 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, 0x7fffc001,
    721   0xffffbfff, 0xffffc000, 0x7fffc001, 0x7fffc002,
    722   0xffffbfff, 0x7fffc000, 0x7fffc001, 0x7fffc002,
    723   0x7fffc000, 0x7fffc001, 0x7fffc002, 0x7fffc011,
    724   0x7fffc000, 0x7fffc001, 0x7fffc011, 0x7fffc040,
    725   0x7fffc001, 0x7fffc010, 0x7fffc03f, 0x7fffc040,
    726   0x7fffc010, 0x7fffc03f, 0x7fffc040, 0x7fffc041,
    727   0x7fffc03e, 0x7fffc03f, 0x7fffc040, 0x80000000,
    728   0x7fffc03f, 0x7fffc040, 0x7fffffff, 0x80000000,
    729   0x7fffc03f, 0x7fffffff, 0x80000000, 0x80000001,
    730   0x7ffffffe, 0x7fffffff, 0x80000000, 0x9999599b,
    731   0x7fffffff, 0x80000000, 0x9999599a, 0xaaaa6aac,
    732   0x7fffffff, 0x9999599a, 0xaaaa6aab, 0xbfffc000,
    733   0x99995999, 0xaaaa6aab, 0xbfffbfff, 0xbfffc000,
    734   0xaaaa6aaa, 0xbfffbfff, 0xbfffc000, 0xbfffc001,
    735   0xbfffbffe, 0xbfffbfff, 0xbfffc000, 0xbfffc001,
    736   0xbfffbfff, 0xbfffc000, 0xbfffc001, 0xbfffc002,
    737   0xbfffbfff, 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, 0x7fffffc0,
    752   0xffffbfff, 0xffffc000, 0x7fffc001, 0x7fffffc0,
    753   0xffffc000, 0x7fffc001, 0x7fffc002, 0x7fffffc1,
    754   0x7fffc000, 0x7fffc001, 0x7fffc002, 0x7fffffd0,
    755   0x7fffc001, 0x7fffc002, 0x7fffc011, 0x7ffffffe,
    756   0x7fffc001, 0x7fffc011, 0x7fffc040, 0x7fffffff,
    757   0x7fffc010, 0x7fffc03f, 0x7fffc040, 0x7fffffff,
    758   0x7fffc03f, 0x7fffc040, 0x7fffc041, 0x80003fbe,
    759   0x7fffc03f, 0x7fffc040, 0x80000000, 0x80003fbf,
    760   0x7fffc040, 0x7fffffff, 0x80000000, 0x80003fbf,
    761   0x7fffffff, 0x80000000, 0x80000001, 0x99999959,
    762   0x7fffffff, 0x80000000, 0x9999599b, 0xaaaaaa6a,
    763   0x80000000, 0x9999599a, 0xaaaa6aac, 0xbfffffbe,
    764   0x9999599a, 0xaaaa6aab, 0xbfffc000, 0xbfffffbf,
    765   0xaaaa6aab, 0xbfffbfff, 0xbfffc000, 0xbfffffbf,
    766   0xbfffbfff, 0xbfffc000, 0xbfffc001, 0xbfffffc0,
    767   0xbfffbfff, 0xbfffc000, 0xbfffc001, 0xbfffffc0,
    768   0xbfffc000, 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, 0x7fffffc0,
    783   0xffffc000, 0xffffc001, 0x7fffffc0, 0x7fffffc1,
    784   0xffffc000, 0x7fffc001, 0x7fffffc0, 0x7fffffc1,
    785   0x7fffc001, 0x7fffc002, 0x7fffffc1, 0x7fffffd0,
    786   0x7fffc001, 0x7fffc002, 0x7fffffd0, 0x7fffffff,
    787   0x7fffc002, 0x7fffc011, 0x7ffffffe, 0x7fffffff,
    788   0x7fffc011, 0x7fffc040, 0x7fffffff, 0x80000000,
    789   0x7fffc03f, 0x7fffc040, 0x7fffffff, 0x80003fbf,
    790   0x7fffc040, 0x7fffc041, 0x80003fbe, 0x80003fbf,
    791   0x7fffc040, 0x80000000, 0x80003fbf, 0x80003fc0,
    792   0x7fffffff, 0x80000000, 0x80003fbf, 0x9999995a,
    793   0x80000000, 0x80000001, 0x99999959, 0xaaaaaa6b,
    794   0x80000000, 0x9999599b, 0xaaaaaa6a, 0xbfffffbf,
    795   0x9999599a, 0xaaaa6aac, 0xbfffffbe, 0xbfffffbf,
    796   0xaaaa6aab, 0xbfffc000, 0xbfffffbf, 0xbfffffc0,
    797   0xbfffbfff, 0xbfffc000, 0xbfffffbf, 0xbfffffc0,
    798   0xbfffc000, 0xbfffc001, 0xbfffffc0, 0xbfffffc1,
    799   0xbfffc000, 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, 0x7fffffc1,
    814   0xffffc000, 0xffffffbf, 0x7fffffc0, 0x7fffffc1,
    815   0xffffc001, 0x7fffffc0, 0x7fffffc1, 0x7fffffc2,
    816   0x7fffc001, 0x7fffffc0, 0x7fffffc1, 0x7fffffd1,
    817   0x7fffc002, 0x7fffffc1, 0x7fffffd0, 0x7fffffff,
    818   0x7fffc002, 0x7fffffd0, 0x7fffffff, 0x80000000,
    819   0x7fffc011, 0x7ffffffe, 0x7fffffff, 0x80000000,
    820   0x7fffc040, 0x7fffffff, 0x80000000, 0x80003fbf,
    821   0x7fffc040, 0x7fffffff, 0x80003fbf, 0x80003fc0,
    822   0x7fffc041, 0x80003fbe, 0x80003fbf, 0x80003fc0,
    823   0x80000000, 0x80003fbf, 0x80003fc0, 0x9999995a,
    824   0x80000000, 0x80003fbf, 0x9999995a, 0xaaaaaa6b,
    825   0x80000001, 0x99999959, 0xaaaaaa6b, 0xbfffffbf,
    826   0x9999599b, 0xaaaaaa6a, 0xbfffffbf, 0xbfffffc0,
    827   0xaaaa6aac, 0xbfffffbe, 0xbfffffbf, 0xbfffffc0,
    828   0xbfffc000, 0xbfffffbf, 0xbfffffc0, 0xbfffffc1,
    829   0xbfffc000, 0xbfffffbf, 0xbfffffc0, 0xbfffffc1,
    830   0xbfffc001, 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, 0x7fffffc1,
    845   0xffffffbf, 0xffffffc0, 0x7fffffc1, 0x7fffffc2,
    846   0xffffffbf, 0x7fffffc0, 0x7fffffc1, 0x7fffffc2,
    847   0x7fffffc0, 0x7fffffc1, 0x7fffffc2, 0x7fffffd1,
    848   0x7fffffc0, 0x7fffffc1, 0x7fffffd1, 0x80000000,
    849   0x7fffffc1, 0x7fffffd0, 0x7fffffff, 0x80000000,
    850   0x7fffffd0, 0x7fffffff, 0x80000000, 0x80000001,
    851   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80003fc0,
    852   0x7fffffff, 0x80000000, 0x80003fbf, 0x80003fc0,
    853   0x7fffffff, 0x80003fbf, 0x80003fc0, 0x80003fc1,
    854   0x80003fbe, 0x80003fbf, 0x80003fc0, 0x9999995b,
    855   0x80003fbf, 0x80003fc0, 0x9999995a, 0xaaaaaa6c,
    856   0x80003fbf, 0x9999995a, 0xaaaaaa6b, 0xbfffffc0,
    857   0x99999959, 0xaaaaaa6b, 0xbfffffbf, 0xbfffffc0,
    858   0xaaaaaa6a, 0xbfffffbf, 0xbfffffc0, 0xbfffffc1,
    859   0xbfffffbe, 0xbfffffbf, 0xbfffffc0, 0xbfffffc1,
    860   0xbfffffbf, 0xbfffffc0, 0xbfffffc1, 0xbfffffc2,
    861   0xbfffffbf, 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, 0x7ffffff0,
    876   0xffffffbf, 0xffffffc0, 0x7fffffc1, 0x7ffffff0,
    877   0xffffffc0, 0x7fffffc1, 0x7fffffc2, 0x7ffffff1,
    878   0x7fffffc0, 0x7fffffc1, 0x7fffffc2, 0x80000000,
    879   0x7fffffc1, 0x7fffffc2, 0x7fffffd1, 0x8000002e,
    880   0x7fffffc1, 0x7fffffd1, 0x80000000, 0x8000002f,
    881   0x7fffffd0, 0x7fffffff, 0x80000000, 0x8000002f,
    882   0x7fffffff, 0x80000000, 0x80000001, 0x80003fee,
    883   0x7fffffff, 0x80000000, 0x80003fc0, 0x80003fef,
    884   0x80000000, 0x80003fbf, 0x80003fc0, 0x80003fef,
    885   0x80003fbf, 0x80003fc0, 0x80003fc1, 0x99999989,
    886   0x80003fbf, 0x80003fc0, 0x9999995b, 0xaaaaaa9a,
    887   0x80003fc0, 0x9999995a, 0xaaaaaa6c, 0xbfffffee,
    888   0x9999995a, 0xaaaaaa6b, 0xbfffffc0, 0xbfffffef,
    889   0xaaaaaa6b, 0xbfffffbf, 0xbfffffc0, 0xbfffffef,
    890   0xbfffffbf, 0xbfffffc0, 0xbfffffc1, 0xbffffff0,
    891   0xbfffffbf, 0xbfffffc0, 0xbfffffc1, 0xbffffff0,
    892   0xbfffffc0, 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, 0x7ffffffe,
    907   0xffffffc0, 0xffffffc1, 0x7ffffff0, 0x7fffffff,
    908   0xffffffc0, 0x7fffffc1, 0x7ffffff0, 0x7fffffff,
    909   0x7fffffc1, 0x7fffffc2, 0x7ffffff1, 0x8000000e,
    910   0x7fffffc1, 0x7fffffc2, 0x80000000, 0x8000003d,
    911   0x7fffffc2, 0x7fffffd1, 0x8000002e, 0x8000003d,
    912   0x7fffffd1, 0x80000000, 0x8000002f, 0x8000003e,
    913   0x7fffffff, 0x80000000, 0x8000002f, 0x80003ffd,
    914   0x80000000, 0x80000001, 0x80003fee, 0x80003ffd,
    915   0x80000000, 0x80003fc0, 0x80003fef, 0x80003ffe,
    916   0x80003fbf, 0x80003fc0, 0x80003fef, 0x99999998,
    917   0x80003fc0, 0x80003fc1, 0x99999989, 0xaaaaaaa9,
    918   0x80003fc0, 0x9999995b, 0xaaaaaa9a, 0xbffffffd,
    919   0x9999995a, 0xaaaaaa6c, 0xbfffffee, 0xbffffffd,
    920   0xaaaaaa6b, 0xbfffffc0, 0xbfffffef, 0xbffffffe,
    921   0xbfffffbf, 0xbfffffc0, 0xbfffffef, 0xbffffffe,
    922   0xbfffffc0, 0xbfffffc1, 0xbffffff0, 0xbfffffff,
    923   0xbfffffc0, 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, 0x7fffffff,
    938   0xffffffc0, 0xffffffef, 0x7ffffffe, 0x7fffffff,
    939   0xffffffc1, 0x7ffffff0, 0x7fffffff, 0x80000000,
    940   0x7fffffc1, 0x7ffffff0, 0x7fffffff, 0x8000000f,
    941   0x7fffffc2, 0x7ffffff1, 0x8000000e, 0x8000003d,
    942   0x7fffffc2, 0x80000000, 0x8000003d, 0x8000003e,
    943   0x7fffffd1, 0x8000002e, 0x8000003d, 0x8000003e,
    944   0x80000000, 0x8000002f, 0x8000003e, 0x80003ffd,
    945   0x80000000, 0x8000002f, 0x80003ffd, 0x80003ffe,
    946   0x80000001, 0x80003fee, 0x80003ffd, 0x80003ffe,
    947   0x80003fc0, 0x80003fef, 0x80003ffe, 0x99999998,
    948   0x80003fc0, 0x80003fef, 0x99999998, 0xaaaaaaa9,
    949   0x80003fc1, 0x99999989, 0xaaaaaaa9, 0xbffffffd,
    950   0x9999995b, 0xaaaaaa9a, 0xbffffffd, 0xbffffffe,
    951   0xaaaaaa6c, 0xbfffffee, 0xbffffffd, 0xbffffffe,
    952   0xbfffffc0, 0xbfffffef, 0xbffffffe, 0xbfffffff,
    953   0xbfffffc0, 0xbfffffef, 0xbffffffe, 0xbfffffff,
    954   0xbfffffc1, 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, 0x7fffffff,
    969   0xffffffef, 0xfffffffe, 0x7fffffff, 0x80000000,
    970   0xffffffef, 0x7ffffffe, 0x7fffffff, 0x80000000,
    971   0x7ffffff0, 0x7fffffff, 0x80000000, 0x8000000f,
    972   0x7ffffff0, 0x7fffffff, 0x8000000f, 0x8000003e,
    973   0x7ffffff1, 0x8000000e, 0x8000003d, 0x8000003e,
    974   0x80000000, 0x8000003d, 0x8000003e, 0x8000003f,
    975   0x8000002e, 0x8000003d, 0x8000003e, 0x80003ffe,
    976   0x8000002f, 0x8000003e, 0x80003ffd, 0x80003ffe,
    977   0x8000002f, 0x80003ffd, 0x80003ffe, 0x80003fff,
    978   0x80003fee, 0x80003ffd, 0x80003ffe, 0x99999999,
    979   0x80003fef, 0x80003ffe, 0x99999998, 0xaaaaaaaa,
    980   0x80003fef, 0x99999998, 0xaaaaaaa9, 0xbffffffe,
    981   0x99999989, 0xaaaaaaa9, 0xbffffffd, 0xbffffffe,
    982   0xaaaaaa9a, 0xbffffffd, 0xbffffffe, 0xbfffffff,
    983   0xbfffffee, 0xbffffffd, 0xbffffffe, 0xbfffffff,
    984   0xbfffffef, 0xbffffffe, 0xbfffffff, 0xc0000000,
    985   0xbfffffef, 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_uhadd_4S = 961;
   1001 
   1002 #endif  // VIXL_SIM_UHADD_4S_TRACE_A64_H_
   1003