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_UQADD_4S_TRACE_A64_H_
     35 #define VIXL_SIM_UQADD_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_uqadd_4S[] = {
     38   0x0000fc00, 0x0000fe00, 0x00fffa00, 0x00000000,
     39   0x0000fd00, 0x00807c00, 0x007ffd00, 0x00000001,
     40   0x00807b00, 0x00007f00, 0x007ffd01, 0x00000002,
     41   0x00007e00, 0x00007f01, 0x007ffd02, 0x00000020,
     42   0x00007e01, 0x00007f02, 0x007ffd20, 0x0000007d,
     43   0x00007e02, 0x00007f20, 0x007ffd7d, 0x0000007e,
     44   0x00007e20, 0x00007f7d, 0x007ffd7e, 0x0000007f,
     45   0x00007e7d, 0x00007f7e, 0x007ffd7f, 0x00007ffd,
     46   0x00007e7e, 0x00007f7f, 0x00807cfd, 0x00007ffe,
     47   0x00007e7f, 0x0000fefd, 0x00807cfe, 0x00007fff,
     48   0x0000fdfd, 0x0000fefe, 0x00807cff, 0x33333333,
     49   0x0000fdfe, 0x0000feff, 0x33b33033, 0x55555555,
     50   0x0000fdff, 0x3333b233, 0x55d55255, 0x7ffffffd,
     51   0x3333b133, 0x5555d455, 0x807ffcfd, 0x7ffffffe,
     52   0x5555d355, 0x80007efd, 0x807ffcfe, 0x7fffffff,
     53   0x80007dfd, 0x80007efe, 0x807ffcff, 0x80000000,
     54   0x80007dfe, 0x80007eff, 0x807ffd00, 0x80000001,
     55   0x80007dff, 0x80007f00, 0x807ffd01, 0xaaaaaaaa,
     56   0x80007e00, 0x80007f01, 0xab2aa7aa, 0xcccccccc,
     57   0x80007e01, 0xaaab29aa, 0xcd4cc9cc, 0xffff8000,
     58   0xaaab28aa, 0xcccd4bcc, 0xffffffff, 0xffff8001,
     59   0xcccd4acc, 0xffffff00, 0xffffffff, 0xffff8002,
     60   0xfffffe00, 0xffffff01, 0xffffffff, 0xffff8003,
     61   0xfffffe01, 0xffffff02, 0xffffffff, 0xffffff80,
     62   0xfffffe02, 0xffffff03, 0xffffffff, 0xffffff81,
     63   0xfffffe03, 0xffffffff, 0xffffffff, 0xffffff82,
     64   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff83,
     65   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffe0,
     66   0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffd,
     67   0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe,
     68   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
     69   0xffffffff, 0xffffffff, 0xffffffff, 0x00000001,
     70   0xffffffff, 0xffffffff, 0x00000000, 0x00000002,
     71   0xffffffff, 0x007ffd00, 0x00000001, 0x00000003,
     72   0x00007f00, 0x007ffd01, 0x00000002, 0x00000021,
     73   0x00007f01, 0x007ffd02, 0x00000020, 0x0000007e,
     74   0x00007f02, 0x007ffd20, 0x0000007d, 0x0000007f,
     75   0x00007f20, 0x007ffd7d, 0x0000007e, 0x00000080,
     76   0x00007f7d, 0x007ffd7e, 0x0000007f, 0x00007ffe,
     77   0x00007f7e, 0x007ffd7f, 0x00007ffd, 0x00007fff,
     78   0x00007f7f, 0x00807cfd, 0x00007ffe, 0x00008000,
     79   0x0000fefd, 0x00807cfe, 0x00007fff, 0x33333334,
     80   0x0000fefe, 0x00807cff, 0x33333333, 0x55555556,
     81   0x0000feff, 0x33b33033, 0x55555555, 0x7ffffffe,
     82   0x3333b233, 0x55d55255, 0x7ffffffd, 0x7fffffff,
     83   0x5555d455, 0x807ffcfd, 0x7ffffffe, 0x80000000,
     84   0x80007efd, 0x807ffcfe, 0x7fffffff, 0x80000001,
     85   0x80007efe, 0x807ffcff, 0x80000000, 0x80000002,
     86   0x80007eff, 0x807ffd00, 0x80000001, 0xaaaaaaab,
     87   0x80007f00, 0x807ffd01, 0xaaaaaaaa, 0xcccccccd,
     88   0x80007f01, 0xab2aa7aa, 0xcccccccc, 0xffff8001,
     89   0xaaab29aa, 0xcd4cc9cc, 0xffff8000, 0xffff8002,
     90   0xcccd4bcc, 0xffffffff, 0xffff8001, 0xffff8003,
     91   0xffffff00, 0xffffffff, 0xffff8002, 0xffff8004,
     92   0xffffff01, 0xffffffff, 0xffff8003, 0xffffff81,
     93   0xffffff02, 0xffffffff, 0xffffff80, 0xffffff82,
     94   0xffffff03, 0xffffffff, 0xffffff81, 0xffffff83,
     95   0xffffffff, 0xffffffff, 0xffffff82, 0xffffff84,
     96   0xffffffff, 0xffffffff, 0xffffff83, 0xffffffe1,
     97   0xffffffff, 0xffffffff, 0xffffffe0, 0xfffffffe,
     98   0xffffffff, 0xffffffff, 0xfffffffd, 0xffffffff,
     99   0xffffffff, 0xffffffff, 0xfffffffe, 0xffffffff,
    100   0xffffffff, 0xfffffffe, 0xffffffff, 0x00000002,
    101   0xffffffff, 0xffffffff, 0x00000001, 0x00000003,
    102   0xffffffff, 0x00000000, 0x00000002, 0x00000004,
    103   0x007ffd00, 0x00000001, 0x00000003, 0x00000022,
    104   0x007ffd01, 0x00000002, 0x00000021, 0x0000007f,
    105   0x007ffd02, 0x00000020, 0x0000007e, 0x00000080,
    106   0x007ffd20, 0x0000007d, 0x0000007f, 0x00000081,
    107   0x007ffd7d, 0x0000007e, 0x00000080, 0x00007fff,
    108   0x007ffd7e, 0x0000007f, 0x00007ffe, 0x00008000,
    109   0x007ffd7f, 0x00007ffd, 0x00007fff, 0x00008001,
    110   0x00807cfd, 0x00007ffe, 0x00008000, 0x33333335,
    111   0x00807cfe, 0x00007fff, 0x33333334, 0x55555557,
    112   0x00807cff, 0x33333333, 0x55555556, 0x7fffffff,
    113   0x33b33033, 0x55555555, 0x7ffffffe, 0x80000000,
    114   0x55d55255, 0x7ffffffd, 0x7fffffff, 0x80000001,
    115   0x807ffcfd, 0x7ffffffe, 0x80000000, 0x80000002,
    116   0x807ffcfe, 0x7fffffff, 0x80000001, 0x80000003,
    117   0x807ffcff, 0x80000000, 0x80000002, 0xaaaaaaac,
    118   0x807ffd00, 0x80000001, 0xaaaaaaab, 0xccccccce,
    119   0x807ffd01, 0xaaaaaaaa, 0xcccccccd, 0xffff8002,
    120   0xab2aa7aa, 0xcccccccc, 0xffff8001, 0xffff8003,
    121   0xcd4cc9cc, 0xffff8000, 0xffff8002, 0xffff8004,
    122   0xffffffff, 0xffff8001, 0xffff8003, 0xffff8005,
    123   0xffffffff, 0xffff8002, 0xffff8004, 0xffffff82,
    124   0xffffffff, 0xffff8003, 0xffffff81, 0xffffff83,
    125   0xffffffff, 0xffffff80, 0xffffff82, 0xffffff84,
    126   0xffffffff, 0xffffff81, 0xffffff83, 0xffffff85,
    127   0xffffffff, 0xffffff82, 0xffffff84, 0xffffffe2,
    128   0xffffffff, 0xffffff83, 0xffffffe1, 0xffffffff,
    129   0xffffffff, 0xffffffe0, 0xfffffffe, 0xffffffff,
    130   0xffffffff, 0xfffffffd, 0xffffffff, 0xffffffff,
    131   0xfffffffd, 0xffffffff, 0xffffffff, 0x00000020,
    132   0xfffffffe, 0xffffffff, 0x00000002, 0x00000021,
    133   0xffffffff, 0x00000001, 0x00000003, 0x00000022,
    134   0x00000000, 0x00000002, 0x00000004, 0x00000040,
    135   0x00000001, 0x00000003, 0x00000022, 0x0000009d,
    136   0x00000002, 0x00000021, 0x0000007f, 0x0000009e,
    137   0x00000020, 0x0000007e, 0x00000080, 0x0000009f,
    138   0x0000007d, 0x0000007f, 0x00000081, 0x0000801d,
    139   0x0000007e, 0x00000080, 0x00007fff, 0x0000801e,
    140   0x0000007f, 0x00007ffe, 0x00008000, 0x0000801f,
    141   0x00007ffd, 0x00007fff, 0x00008001, 0x33333353,
    142   0x00007ffe, 0x00008000, 0x33333335, 0x55555575,
    143   0x00007fff, 0x33333334, 0x55555557, 0x8000001d,
    144   0x33333333, 0x55555556, 0x7fffffff, 0x8000001e,
    145   0x55555555, 0x7ffffffe, 0x80000000, 0x8000001f,
    146   0x7ffffffd, 0x7fffffff, 0x80000001, 0x80000020,
    147   0x7ffffffe, 0x80000000, 0x80000002, 0x80000021,
    148   0x7fffffff, 0x80000001, 0x80000003, 0xaaaaaaca,
    149   0x80000000, 0x80000002, 0xaaaaaaac, 0xccccccec,
    150   0x80000001, 0xaaaaaaab, 0xccccccce, 0xffff8020,
    151   0xaaaaaaaa, 0xcccccccd, 0xffff8002, 0xffff8021,
    152   0xcccccccc, 0xffff8001, 0xffff8003, 0xffff8022,
    153   0xffff8000, 0xffff8002, 0xffff8004, 0xffff8023,
    154   0xffff8001, 0xffff8003, 0xffff8005, 0xffffffa0,
    155   0xffff8002, 0xffff8004, 0xffffff82, 0xffffffa1,
    156   0xffff8003, 0xffffff81, 0xffffff83, 0xffffffa2,
    157   0xffffff80, 0xffffff82, 0xffffff84, 0xffffffa3,
    158   0xffffff81, 0xffffff83, 0xffffff85, 0xffffffff,
    159   0xffffff82, 0xffffff84, 0xffffffe2, 0xffffffff,
    160   0xffffff83, 0xffffffe1, 0xffffffff, 0xffffffff,
    161   0xffffffe0, 0xfffffffe, 0xffffffff, 0xffffffff,
    162   0xfffffffe, 0xffffffff, 0xffffffff, 0x0000007d,
    163   0xffffffff, 0xffffffff, 0x00000020, 0x0000007e,
    164   0xffffffff, 0x00000002, 0x00000021, 0x0000007f,
    165   0x00000001, 0x00000003, 0x00000022, 0x0000009d,
    166   0x00000002, 0x00000004, 0x00000040, 0x000000fa,
    167   0x00000003, 0x00000022, 0x0000009d, 0x000000fb,
    168   0x00000021, 0x0000007f, 0x0000009e, 0x000000fc,
    169   0x0000007e, 0x00000080, 0x0000009f, 0x0000807a,
    170   0x0000007f, 0x00000081, 0x0000801d, 0x0000807b,
    171   0x00000080, 0x00007fff, 0x0000801e, 0x0000807c,
    172   0x00007ffe, 0x00008000, 0x0000801f, 0x333333b0,
    173   0x00007fff, 0x00008001, 0x33333353, 0x555555d2,
    174   0x00008000, 0x33333335, 0x55555575, 0x8000007a,
    175   0x33333334, 0x55555557, 0x8000001d, 0x8000007b,
    176   0x55555556, 0x7fffffff, 0x8000001e, 0x8000007c,
    177   0x7ffffffe, 0x80000000, 0x8000001f, 0x8000007d,
    178   0x7fffffff, 0x80000001, 0x80000020, 0x8000007e,
    179   0x80000000, 0x80000002, 0x80000021, 0xaaaaab27,
    180   0x80000001, 0x80000003, 0xaaaaaaca, 0xcccccd49,
    181   0x80000002, 0xaaaaaaac, 0xccccccec, 0xffff807d,
    182   0xaaaaaaab, 0xccccccce, 0xffff8020, 0xffff807e,
    183   0xcccccccd, 0xffff8002, 0xffff8021, 0xffff807f,
    184   0xffff8001, 0xffff8003, 0xffff8022, 0xffff8080,
    185   0xffff8002, 0xffff8004, 0xffff8023, 0xfffffffd,
    186   0xffff8003, 0xffff8005, 0xffffffa0, 0xfffffffe,
    187   0xffff8004, 0xffffff82, 0xffffffa1, 0xffffffff,
    188   0xffffff81, 0xffffff83, 0xffffffa2, 0xffffffff,
    189   0xffffff82, 0xffffff84, 0xffffffa3, 0xffffffff,
    190   0xffffff83, 0xffffff85, 0xffffffff, 0xffffffff,
    191   0xffffff84, 0xffffffe2, 0xffffffff, 0xffffffff,
    192   0xffffffe1, 0xffffffff, 0xffffffff, 0xffffffff,
    193   0xffffffff, 0xffffffff, 0xffffffff, 0x0000007e,
    194   0xffffffff, 0xffffffff, 0x0000007d, 0x0000007f,
    195   0xffffffff, 0x00000020, 0x0000007e, 0x00000080,
    196   0x00000002, 0x00000021, 0x0000007f, 0x0000009e,
    197   0x00000003, 0x00000022, 0x0000009d, 0x000000fb,
    198   0x00000004, 0x00000040, 0x000000fa, 0x000000fc,
    199   0x00000022, 0x0000009d, 0x000000fb, 0x000000fd,
    200   0x0000007f, 0x0000009e, 0x000000fc, 0x0000807b,
    201   0x00000080, 0x0000009f, 0x0000807a, 0x0000807c,
    202   0x00000081, 0x0000801d, 0x0000807b, 0x0000807d,
    203   0x00007fff, 0x0000801e, 0x0000807c, 0x333333b1,
    204   0x00008000, 0x0000801f, 0x333333b0, 0x555555d3,
    205   0x00008001, 0x33333353, 0x555555d2, 0x8000007b,
    206   0x33333335, 0x55555575, 0x8000007a, 0x8000007c,
    207   0x55555557, 0x8000001d, 0x8000007b, 0x8000007d,
    208   0x7fffffff, 0x8000001e, 0x8000007c, 0x8000007e,
    209   0x80000000, 0x8000001f, 0x8000007d, 0x8000007f,
    210   0x80000001, 0x80000020, 0x8000007e, 0xaaaaab28,
    211   0x80000002, 0x80000021, 0xaaaaab27, 0xcccccd4a,
    212   0x80000003, 0xaaaaaaca, 0xcccccd49, 0xffff807e,
    213   0xaaaaaaac, 0xccccccec, 0xffff807d, 0xffff807f,
    214   0xccccccce, 0xffff8020, 0xffff807e, 0xffff8080,
    215   0xffff8002, 0xffff8021, 0xffff807f, 0xffff8081,
    216   0xffff8003, 0xffff8022, 0xffff8080, 0xfffffffe,
    217   0xffff8004, 0xffff8023, 0xfffffffd, 0xffffffff,
    218   0xffff8005, 0xffffffa0, 0xfffffffe, 0xffffffff,
    219   0xffffff82, 0xffffffa1, 0xffffffff, 0xffffffff,
    220   0xffffff83, 0xffffffa2, 0xffffffff, 0xffffffff,
    221   0xffffff84, 0xffffffa3, 0xffffffff, 0xffffffff,
    222   0xffffff85, 0xffffffff, 0xffffffff, 0xffffffff,
    223   0xffffffe2, 0xffffffff, 0xffffffff, 0xffffffff,
    224   0xffffffff, 0xffffffff, 0xffffffff, 0x0000007f,
    225   0xffffffff, 0xffffffff, 0x0000007e, 0x00000080,
    226   0xffffffff, 0x0000007d, 0x0000007f, 0x00000081,
    227   0x00000020, 0x0000007e, 0x00000080, 0x0000009f,
    228   0x00000021, 0x0000007f, 0x0000009e, 0x000000fc,
    229   0x00000022, 0x0000009d, 0x000000fb, 0x000000fd,
    230   0x00000040, 0x000000fa, 0x000000fc, 0x000000fe,
    231   0x0000009d, 0x000000fb, 0x000000fd, 0x0000807c,
    232   0x0000009e, 0x000000fc, 0x0000807b, 0x0000807d,
    233   0x0000009f, 0x0000807a, 0x0000807c, 0x0000807e,
    234   0x0000801d, 0x0000807b, 0x0000807d, 0x333333b2,
    235   0x0000801e, 0x0000807c, 0x333333b1, 0x555555d4,
    236   0x0000801f, 0x333333b0, 0x555555d3, 0x8000007c,
    237   0x33333353, 0x555555d2, 0x8000007b, 0x8000007d,
    238   0x55555575, 0x8000007a, 0x8000007c, 0x8000007e,
    239   0x8000001d, 0x8000007b, 0x8000007d, 0x8000007f,
    240   0x8000001e, 0x8000007c, 0x8000007e, 0x80000080,
    241   0x8000001f, 0x8000007d, 0x8000007f, 0xaaaaab29,
    242   0x80000020, 0x8000007e, 0xaaaaab28, 0xcccccd4b,
    243   0x80000021, 0xaaaaab27, 0xcccccd4a, 0xffff807f,
    244   0xaaaaaaca, 0xcccccd49, 0xffff807e, 0xffff8080,
    245   0xccccccec, 0xffff807d, 0xffff807f, 0xffff8081,
    246   0xffff8020, 0xffff807e, 0xffff8080, 0xffff8082,
    247   0xffff8021, 0xffff807f, 0xffff8081, 0xffffffff,
    248   0xffff8022, 0xffff8080, 0xfffffffe, 0xffffffff,
    249   0xffff8023, 0xfffffffd, 0xffffffff, 0xffffffff,
    250   0xffffffa0, 0xfffffffe, 0xffffffff, 0xffffffff,
    251   0xffffffa1, 0xffffffff, 0xffffffff, 0xffffffff,
    252   0xffffffa2, 0xffffffff, 0xffffffff, 0xffffffff,
    253   0xffffffa3, 0xffffffff, 0xffffffff, 0xffffffff,
    254   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    255   0xffffffff, 0xffffffff, 0xffffffff, 0x00007ffd,
    256   0xffffffff, 0xffffffff, 0x0000007f, 0x00007ffe,
    257   0xffffffff, 0x0000007e, 0x00000080, 0x00007fff,
    258   0x0000007d, 0x0000007f, 0x00000081, 0x0000801d,
    259   0x0000007e, 0x00000080, 0x0000009f, 0x0000807a,
    260   0x0000007f, 0x0000009e, 0x000000fc, 0x0000807b,
    261   0x0000009d, 0x000000fb, 0x000000fd, 0x0000807c,
    262   0x000000fa, 0x000000fc, 0x000000fe, 0x0000fffa,
    263   0x000000fb, 0x000000fd, 0x0000807c, 0x0000fffb,
    264   0x000000fc, 0x0000807b, 0x0000807d, 0x0000fffc,
    265   0x0000807a, 0x0000807c, 0x0000807e, 0x3333b330,
    266   0x0000807b, 0x0000807d, 0x333333b2, 0x5555d552,
    267   0x0000807c, 0x333333b1, 0x555555d4, 0x80007ffa,
    268   0x333333b0, 0x555555d3, 0x8000007c, 0x80007ffb,
    269   0x555555d2, 0x8000007b, 0x8000007d, 0x80007ffc,
    270   0x8000007a, 0x8000007c, 0x8000007e, 0x80007ffd,
    271   0x8000007b, 0x8000007d, 0x8000007f, 0x80007ffe,
    272   0x8000007c, 0x8000007e, 0x80000080, 0xaaab2aa7,
    273   0x8000007d, 0x8000007f, 0xaaaaab29, 0xcccd4cc9,
    274   0x8000007e, 0xaaaaab28, 0xcccccd4b, 0xfffffffd,
    275   0xaaaaab27, 0xcccccd4a, 0xffff807f, 0xfffffffe,
    276   0xcccccd49, 0xffff807e, 0xffff8080, 0xffffffff,
    277   0xffff807d, 0xffff807f, 0xffff8081, 0xffffffff,
    278   0xffff807e, 0xffff8080, 0xffff8082, 0xffffffff,
    279   0xffff807f, 0xffff8081, 0xffffffff, 0xffffffff,
    280   0xffff8080, 0xfffffffe, 0xffffffff, 0xffffffff,
    281   0xfffffffd, 0xffffffff, 0xffffffff, 0xffffffff,
    282   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    283   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    284   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    285   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    286   0xffffffff, 0xffffffff, 0xffffffff, 0x00007ffe,
    287   0xffffffff, 0xffffffff, 0x00007ffd, 0x00007fff,
    288   0xffffffff, 0x0000007f, 0x00007ffe, 0x00008000,
    289   0x0000007e, 0x00000080, 0x00007fff, 0x0000801e,
    290   0x0000007f, 0x00000081, 0x0000801d, 0x0000807b,
    291   0x00000080, 0x0000009f, 0x0000807a, 0x0000807c,
    292   0x0000009e, 0x000000fc, 0x0000807b, 0x0000807d,
    293   0x000000fb, 0x000000fd, 0x0000807c, 0x0000fffb,
    294   0x000000fc, 0x000000fe, 0x0000fffa, 0x0000fffc,
    295   0x000000fd, 0x0000807c, 0x0000fffb, 0x0000fffd,
    296   0x0000807b, 0x0000807d, 0x0000fffc, 0x3333b331,
    297   0x0000807c, 0x0000807e, 0x3333b330, 0x5555d553,
    298   0x0000807d, 0x333333b2, 0x5555d552, 0x80007ffb,
    299   0x333333b1, 0x555555d4, 0x80007ffa, 0x80007ffc,
    300   0x555555d3, 0x8000007c, 0x80007ffb, 0x80007ffd,
    301   0x8000007b, 0x8000007d, 0x80007ffc, 0x80007ffe,
    302   0x8000007c, 0x8000007e, 0x80007ffd, 0x80007fff,
    303   0x8000007d, 0x8000007f, 0x80007ffe, 0xaaab2aa8,
    304   0x8000007e, 0x80000080, 0xaaab2aa7, 0xcccd4cca,
    305   0x8000007f, 0xaaaaab29, 0xcccd4cc9, 0xfffffffe,
    306   0xaaaaab28, 0xcccccd4b, 0xfffffffd, 0xffffffff,
    307   0xcccccd4a, 0xffff807f, 0xfffffffe, 0xffffffff,
    308   0xffff807e, 0xffff8080, 0xffffffff, 0xffffffff,
    309   0xffff807f, 0xffff8081, 0xffffffff, 0xffffffff,
    310   0xffff8080, 0xffff8082, 0xffffffff, 0xffffffff,
    311   0xffff8081, 0xffffffff, 0xffffffff, 0xffffffff,
    312   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    313   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    314   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    315   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    316   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    317   0xffffffff, 0xffffffff, 0xffffffff, 0x00007fff,
    318   0xffffffff, 0xffffffff, 0x00007ffe, 0x00008000,
    319   0xffffffff, 0x00007ffd, 0x00007fff, 0x00008001,
    320   0x0000007f, 0x00007ffe, 0x00008000, 0x0000801f,
    321   0x00000080, 0x00007fff, 0x0000801e, 0x0000807c,
    322   0x00000081, 0x0000801d, 0x0000807b, 0x0000807d,
    323   0x0000009f, 0x0000807a, 0x0000807c, 0x0000807e,
    324   0x000000fc, 0x0000807b, 0x0000807d, 0x0000fffc,
    325   0x000000fd, 0x0000807c, 0x0000fffb, 0x0000fffd,
    326   0x000000fe, 0x0000fffa, 0x0000fffc, 0x0000fffe,
    327   0x0000807c, 0x0000fffb, 0x0000fffd, 0x3333b332,
    328   0x0000807d, 0x0000fffc, 0x3333b331, 0x5555d554,
    329   0x0000807e, 0x3333b330, 0x5555d553, 0x80007ffc,
    330   0x333333b2, 0x5555d552, 0x80007ffb, 0x80007ffd,
    331   0x555555d4, 0x80007ffa, 0x80007ffc, 0x80007ffe,
    332   0x8000007c, 0x80007ffb, 0x80007ffd, 0x80007fff,
    333   0x8000007d, 0x80007ffc, 0x80007ffe, 0x80008000,
    334   0x8000007e, 0x80007ffd, 0x80007fff, 0xaaab2aa9,
    335   0x8000007f, 0x80007ffe, 0xaaab2aa8, 0xcccd4ccb,
    336   0x80000080, 0xaaab2aa7, 0xcccd4cca, 0xffffffff,
    337   0xaaaaab29, 0xcccd4cc9, 0xfffffffe, 0xffffffff,
    338   0xcccccd4b, 0xfffffffd, 0xffffffff, 0xffffffff,
    339   0xffff807f, 0xfffffffe, 0xffffffff, 0xffffffff,
    340   0xffff8080, 0xffffffff, 0xffffffff, 0xffffffff,
    341   0xffff8081, 0xffffffff, 0xffffffff, 0xffffffff,
    342   0xffff8082, 0xffffffff, 0xffffffff, 0xffffffff,
    343   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    344   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    345   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    346   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    347   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    348   0xffffffff, 0xffffffff, 0xffffffff, 0x33333333,
    349   0xffffffff, 0xffffffff, 0x00007fff, 0x33333334,
    350   0xffffffff, 0x00007ffe, 0x00008000, 0x33333335,
    351   0x00007ffd, 0x00007fff, 0x00008001, 0x33333353,
    352   0x00007ffe, 0x00008000, 0x0000801f, 0x333333b0,
    353   0x00007fff, 0x0000801e, 0x0000807c, 0x333333b1,
    354   0x0000801d, 0x0000807b, 0x0000807d, 0x333333b2,
    355   0x0000807a, 0x0000807c, 0x0000807e, 0x3333b330,
    356   0x0000807b, 0x0000807d, 0x0000fffc, 0x3333b331,
    357   0x0000807c, 0x0000fffb, 0x0000fffd, 0x3333b332,
    358   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x66666666,
    359   0x0000fffb, 0x0000fffd, 0x3333b332, 0x88888888,
    360   0x0000fffc, 0x3333b331, 0x5555d554, 0xb3333330,
    361   0x3333b330, 0x5555d553, 0x80007ffc, 0xb3333331,
    362   0x5555d552, 0x80007ffb, 0x80007ffd, 0xb3333332,
    363   0x80007ffa, 0x80007ffc, 0x80007ffe, 0xb3333333,
    364   0x80007ffb, 0x80007ffd, 0x80007fff, 0xb3333334,
    365   0x80007ffc, 0x80007ffe, 0x80008000, 0xdddddddd,
    366   0x80007ffd, 0x80007fff, 0xaaab2aa9, 0xffffffff,
    367   0x80007ffe, 0xaaab2aa8, 0xcccd4ccb, 0xffffffff,
    368   0xaaab2aa7, 0xcccd4cca, 0xffffffff, 0xffffffff,
    369   0xcccd4cc9, 0xfffffffe, 0xffffffff, 0xffffffff,
    370   0xfffffffd, 0xffffffff, 0xffffffff, 0xffffffff,
    371   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    372   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    373   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    374   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    375   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    376   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    377   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    378   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    379   0xffffffff, 0xffffffff, 0xffffffff, 0x55555555,
    380   0xffffffff, 0xffffffff, 0x33333333, 0x55555556,
    381   0xffffffff, 0x00007fff, 0x33333334, 0x55555557,
    382   0x00007ffe, 0x00008000, 0x33333335, 0x55555575,
    383   0x00007fff, 0x00008001, 0x33333353, 0x555555d2,
    384   0x00008000, 0x0000801f, 0x333333b0, 0x555555d3,
    385   0x0000801e, 0x0000807c, 0x333333b1, 0x555555d4,
    386   0x0000807b, 0x0000807d, 0x333333b2, 0x5555d552,
    387   0x0000807c, 0x0000807e, 0x3333b330, 0x5555d553,
    388   0x0000807d, 0x0000fffc, 0x3333b331, 0x5555d554,
    389   0x0000fffb, 0x0000fffd, 0x3333b332, 0x88888888,
    390   0x0000fffc, 0x0000fffe, 0x66666666, 0xaaaaaaaa,
    391   0x0000fffd, 0x3333b332, 0x88888888, 0xd5555552,
    392   0x3333b331, 0x5555d554, 0xb3333330, 0xd5555553,
    393   0x5555d553, 0x80007ffc, 0xb3333331, 0xd5555554,
    394   0x80007ffb, 0x80007ffd, 0xb3333332, 0xd5555555,
    395   0x80007ffc, 0x80007ffe, 0xb3333333, 0xd5555556,
    396   0x80007ffd, 0x80007fff, 0xb3333334, 0xffffffff,
    397   0x80007ffe, 0x80008000, 0xdddddddd, 0xffffffff,
    398   0x80007fff, 0xaaab2aa9, 0xffffffff, 0xffffffff,
    399   0xaaab2aa8, 0xcccd4ccb, 0xffffffff, 0xffffffff,
    400   0xcccd4cca, 0xffffffff, 0xffffffff, 0xffffffff,
    401   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    402   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    403   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    404   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    405   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    406   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    407   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    408   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    409   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    410   0xffffffff, 0xffffffff, 0xffffffff, 0x7ffffffd,
    411   0xffffffff, 0xffffffff, 0x55555555, 0x7ffffffe,
    412   0xffffffff, 0x33333333, 0x55555556, 0x7fffffff,
    413   0x00007fff, 0x33333334, 0x55555557, 0x8000001d,
    414   0x00008000, 0x33333335, 0x55555575, 0x8000007a,
    415   0x00008001, 0x33333353, 0x555555d2, 0x8000007b,
    416   0x0000801f, 0x333333b0, 0x555555d3, 0x8000007c,
    417   0x0000807c, 0x333333b1, 0x555555d4, 0x80007ffa,
    418   0x0000807d, 0x333333b2, 0x5555d552, 0x80007ffb,
    419   0x0000807e, 0x3333b330, 0x5555d553, 0x80007ffc,
    420   0x0000fffc, 0x3333b331, 0x5555d554, 0xb3333330,
    421   0x0000fffd, 0x3333b332, 0x88888888, 0xd5555552,
    422   0x0000fffe, 0x66666666, 0xaaaaaaaa, 0xfffffffa,
    423   0x3333b332, 0x88888888, 0xd5555552, 0xfffffffb,
    424   0x5555d554, 0xb3333330, 0xd5555553, 0xfffffffc,
    425   0x80007ffc, 0xb3333331, 0xd5555554, 0xfffffffd,
    426   0x80007ffd, 0xb3333332, 0xd5555555, 0xfffffffe,
    427   0x80007ffe, 0xb3333333, 0xd5555556, 0xffffffff,
    428   0x80007fff, 0xb3333334, 0xffffffff, 0xffffffff,
    429   0x80008000, 0xdddddddd, 0xffffffff, 0xffffffff,
    430   0xaaab2aa9, 0xffffffff, 0xffffffff, 0xffffffff,
    431   0xcccd4ccb, 0xffffffff, 0xffffffff, 0xffffffff,
    432   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    433   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    434   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    435   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    436   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    437   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    438   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    439   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    440   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    441   0xffffffff, 0xffffffff, 0xffffffff, 0x7ffffffe,
    442   0xffffffff, 0xffffffff, 0x7ffffffd, 0x7fffffff,
    443   0xffffffff, 0x55555555, 0x7ffffffe, 0x80000000,
    444   0x33333333, 0x55555556, 0x7fffffff, 0x8000001e,
    445   0x33333334, 0x55555557, 0x8000001d, 0x8000007b,
    446   0x33333335, 0x55555575, 0x8000007a, 0x8000007c,
    447   0x33333353, 0x555555d2, 0x8000007b, 0x8000007d,
    448   0x333333b0, 0x555555d3, 0x8000007c, 0x80007ffb,
    449   0x333333b1, 0x555555d4, 0x80007ffa, 0x80007ffc,
    450   0x333333b2, 0x5555d552, 0x80007ffb, 0x80007ffd,
    451   0x3333b330, 0x5555d553, 0x80007ffc, 0xb3333331,
    452   0x3333b331, 0x5555d554, 0xb3333330, 0xd5555553,
    453   0x3333b332, 0x88888888, 0xd5555552, 0xfffffffb,
    454   0x66666666, 0xaaaaaaaa, 0xfffffffa, 0xfffffffc,
    455   0x88888888, 0xd5555552, 0xfffffffb, 0xfffffffd,
    456   0xb3333330, 0xd5555553, 0xfffffffc, 0xfffffffe,
    457   0xb3333331, 0xd5555554, 0xfffffffd, 0xffffffff,
    458   0xb3333332, 0xd5555555, 0xfffffffe, 0xffffffff,
    459   0xb3333333, 0xd5555556, 0xffffffff, 0xffffffff,
    460   0xb3333334, 0xffffffff, 0xffffffff, 0xffffffff,
    461   0xdddddddd, 0xffffffff, 0xffffffff, 0xffffffff,
    462   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    463   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    464   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    465   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    466   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    467   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    468   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    469   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    470   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    471   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    472   0xffffffff, 0xffffffff, 0xffffffff, 0x7fffffff,
    473   0xffffffff, 0xffffffff, 0x7ffffffe, 0x80000000,
    474   0xffffffff, 0x7ffffffd, 0x7fffffff, 0x80000001,
    475   0x55555555, 0x7ffffffe, 0x80000000, 0x8000001f,
    476   0x55555556, 0x7fffffff, 0x8000001e, 0x8000007c,
    477   0x55555557, 0x8000001d, 0x8000007b, 0x8000007d,
    478   0x55555575, 0x8000007a, 0x8000007c, 0x8000007e,
    479   0x555555d2, 0x8000007b, 0x8000007d, 0x80007ffc,
    480   0x555555d3, 0x8000007c, 0x80007ffb, 0x80007ffd,
    481   0x555555d4, 0x80007ffa, 0x80007ffc, 0x80007ffe,
    482   0x5555d552, 0x80007ffb, 0x80007ffd, 0xb3333332,
    483   0x5555d553, 0x80007ffc, 0xb3333331, 0xd5555554,
    484   0x5555d554, 0xb3333330, 0xd5555553, 0xfffffffc,
    485   0x88888888, 0xd5555552, 0xfffffffb, 0xfffffffd,
    486   0xaaaaaaaa, 0xfffffffa, 0xfffffffc, 0xfffffffe,
    487   0xd5555552, 0xfffffffb, 0xfffffffd, 0xffffffff,
    488   0xd5555553, 0xfffffffc, 0xfffffffe, 0xffffffff,
    489   0xd5555554, 0xfffffffd, 0xffffffff, 0xffffffff,
    490   0xd5555555, 0xfffffffe, 0xffffffff, 0xffffffff,
    491   0xd5555556, 0xffffffff, 0xffffffff, 0xffffffff,
    492   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    493   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    494   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    495   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    496   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    497   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    498   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    499   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    500   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    501   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    502   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    503   0xffffffff, 0xffffffff, 0xffffffff, 0x80000000,
    504   0xffffffff, 0xffffffff, 0x7fffffff, 0x80000001,
    505   0xffffffff, 0x7ffffffe, 0x80000000, 0x80000002,
    506   0x7ffffffd, 0x7fffffff, 0x80000001, 0x80000020,
    507   0x7ffffffe, 0x80000000, 0x8000001f, 0x8000007d,
    508   0x7fffffff, 0x8000001e, 0x8000007c, 0x8000007e,
    509   0x8000001d, 0x8000007b, 0x8000007d, 0x8000007f,
    510   0x8000007a, 0x8000007c, 0x8000007e, 0x80007ffd,
    511   0x8000007b, 0x8000007d, 0x80007ffc, 0x80007ffe,
    512   0x8000007c, 0x80007ffb, 0x80007ffd, 0x80007fff,
    513   0x80007ffa, 0x80007ffc, 0x80007ffe, 0xb3333333,
    514   0x80007ffb, 0x80007ffd, 0xb3333332, 0xd5555555,
    515   0x80007ffc, 0xb3333331, 0xd5555554, 0xfffffffd,
    516   0xb3333330, 0xd5555553, 0xfffffffc, 0xfffffffe,
    517   0xd5555552, 0xfffffffb, 0xfffffffd, 0xffffffff,
    518   0xfffffffa, 0xfffffffc, 0xfffffffe, 0xffffffff,
    519   0xfffffffb, 0xfffffffd, 0xffffffff, 0xffffffff,
    520   0xfffffffc, 0xfffffffe, 0xffffffff, 0xffffffff,
    521   0xfffffffd, 0xffffffff, 0xffffffff, 0xffffffff,
    522   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    523   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    524   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    525   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    526   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    527   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    528   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    529   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    530   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    531   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    532   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    533   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    534   0xffffffff, 0xffffffff, 0xffffffff, 0x80000001,
    535   0xffffffff, 0xffffffff, 0x80000000, 0x80000002,
    536   0xffffffff, 0x7fffffff, 0x80000001, 0x80000003,
    537   0x7ffffffe, 0x80000000, 0x80000002, 0x80000021,
    538   0x7fffffff, 0x80000001, 0x80000020, 0x8000007e,
    539   0x80000000, 0x8000001f, 0x8000007d, 0x8000007f,
    540   0x8000001e, 0x8000007c, 0x8000007e, 0x80000080,
    541   0x8000007b, 0x8000007d, 0x8000007f, 0x80007ffe,
    542   0x8000007c, 0x8000007e, 0x80007ffd, 0x80007fff,
    543   0x8000007d, 0x80007ffc, 0x80007ffe, 0x80008000,
    544   0x80007ffb, 0x80007ffd, 0x80007fff, 0xb3333334,
    545   0x80007ffc, 0x80007ffe, 0xb3333333, 0xd5555556,
    546   0x80007ffd, 0xb3333332, 0xd5555555, 0xfffffffe,
    547   0xb3333331, 0xd5555554, 0xfffffffd, 0xffffffff,
    548   0xd5555553, 0xfffffffc, 0xfffffffe, 0xffffffff,
    549   0xfffffffb, 0xfffffffd, 0xffffffff, 0xffffffff,
    550   0xfffffffc, 0xfffffffe, 0xffffffff, 0xffffffff,
    551   0xfffffffd, 0xffffffff, 0xffffffff, 0xffffffff,
    552   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    553   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    554   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    555   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    556   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    557   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    558   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    559   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    560   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    561   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    562   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    563   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    564   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    565   0xffffffff, 0xffffffff, 0xffffffff, 0xaaaaaaaa,
    566   0xffffffff, 0xffffffff, 0x80000001, 0xaaaaaaab,
    567   0xffffffff, 0x80000000, 0x80000002, 0xaaaaaaac,
    568   0x7fffffff, 0x80000001, 0x80000003, 0xaaaaaaca,
    569   0x80000000, 0x80000002, 0x80000021, 0xaaaaab27,
    570   0x80000001, 0x80000020, 0x8000007e, 0xaaaaab28,
    571   0x8000001f, 0x8000007d, 0x8000007f, 0xaaaaab29,
    572   0x8000007c, 0x8000007e, 0x80000080, 0xaaab2aa7,
    573   0x8000007d, 0x8000007f, 0x80007ffe, 0xaaab2aa8,
    574   0x8000007e, 0x80007ffd, 0x80007fff, 0xaaab2aa9,
    575   0x80007ffc, 0x80007ffe, 0x80008000, 0xdddddddd,
    576   0x80007ffd, 0x80007fff, 0xb3333334, 0xffffffff,
    577   0x80007ffe, 0xb3333333, 0xd5555556, 0xffffffff,
    578   0xb3333332, 0xd5555555, 0xfffffffe, 0xffffffff,
    579   0xd5555554, 0xfffffffd, 0xffffffff, 0xffffffff,
    580   0xfffffffc, 0xfffffffe, 0xffffffff, 0xffffffff,
    581   0xfffffffd, 0xffffffff, 0xffffffff, 0xffffffff,
    582   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    583   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    584   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    585   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    586   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    587   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    588   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    589   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    590   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    591   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    592   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    593   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    594   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    595   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    596   0xffffffff, 0xffffffff, 0xffffffff, 0xcccccccc,
    597   0xffffffff, 0xffffffff, 0xaaaaaaaa, 0xcccccccd,
    598   0xffffffff, 0x80000001, 0xaaaaaaab, 0xccccccce,
    599   0x80000000, 0x80000002, 0xaaaaaaac, 0xccccccec,
    600   0x80000001, 0x80000003, 0xaaaaaaca, 0xcccccd49,
    601   0x80000002, 0x80000021, 0xaaaaab27, 0xcccccd4a,
    602   0x80000020, 0x8000007e, 0xaaaaab28, 0xcccccd4b,
    603   0x8000007d, 0x8000007f, 0xaaaaab29, 0xcccd4cc9,
    604   0x8000007e, 0x80000080, 0xaaab2aa7, 0xcccd4cca,
    605   0x8000007f, 0x80007ffe, 0xaaab2aa8, 0xcccd4ccb,
    606   0x80007ffd, 0x80007fff, 0xaaab2aa9, 0xffffffff,
    607   0x80007ffe, 0x80008000, 0xdddddddd, 0xffffffff,
    608   0x80007fff, 0xb3333334, 0xffffffff, 0xffffffff,
    609   0xb3333333, 0xd5555556, 0xffffffff, 0xffffffff,
    610   0xd5555555, 0xfffffffe, 0xffffffff, 0xffffffff,
    611   0xfffffffd, 0xffffffff, 0xffffffff, 0xffffffff,
    612   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    613   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    614   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    615   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    616   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    617   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    618   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    619   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    620   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    621   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    622   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    623   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    624   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    625   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    626   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    627   0xffffffff, 0xffffffff, 0xffffffff, 0xffff8000,
    628   0xffffffff, 0xffffffff, 0xcccccccc, 0xffff8001,
    629   0xffffffff, 0xaaaaaaaa, 0xcccccccd, 0xffff8002,
    630   0x80000001, 0xaaaaaaab, 0xccccccce, 0xffff8020,
    631   0x80000002, 0xaaaaaaac, 0xccccccec, 0xffff807d,
    632   0x80000003, 0xaaaaaaca, 0xcccccd49, 0xffff807e,
    633   0x80000021, 0xaaaaab27, 0xcccccd4a, 0xffff807f,
    634   0x8000007e, 0xaaaaab28, 0xcccccd4b, 0xfffffffd,
    635   0x8000007f, 0xaaaaab29, 0xcccd4cc9, 0xfffffffe,
    636   0x80000080, 0xaaab2aa7, 0xcccd4cca, 0xffffffff,
    637   0x80007ffe, 0xaaab2aa8, 0xcccd4ccb, 0xffffffff,
    638   0x80007fff, 0xaaab2aa9, 0xffffffff, 0xffffffff,
    639   0x80008000, 0xdddddddd, 0xffffffff, 0xffffffff,
    640   0xb3333334, 0xffffffff, 0xffffffff, 0xffffffff,
    641   0xd5555556, 0xffffffff, 0xffffffff, 0xffffffff,
    642   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    643   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    644   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    645   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    646   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    647   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    648   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    649   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    650   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    651   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    652   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    653   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    654   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    655   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    656   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    657   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    658   0xffffffff, 0xffffffff, 0xffffffff, 0xffff8001,
    659   0xffffffff, 0xffffffff, 0xffff8000, 0xffff8002,
    660   0xffffffff, 0xcccccccc, 0xffff8001, 0xffff8003,
    661   0xaaaaaaaa, 0xcccccccd, 0xffff8002, 0xffff8021,
    662   0xaaaaaaab, 0xccccccce, 0xffff8020, 0xffff807e,
    663   0xaaaaaaac, 0xccccccec, 0xffff807d, 0xffff807f,
    664   0xaaaaaaca, 0xcccccd49, 0xffff807e, 0xffff8080,
    665   0xaaaaab27, 0xcccccd4a, 0xffff807f, 0xfffffffe,
    666   0xaaaaab28, 0xcccccd4b, 0xfffffffd, 0xffffffff,
    667   0xaaaaab29, 0xcccd4cc9, 0xfffffffe, 0xffffffff,
    668   0xaaab2aa7, 0xcccd4cca, 0xffffffff, 0xffffffff,
    669   0xaaab2aa8, 0xcccd4ccb, 0xffffffff, 0xffffffff,
    670   0xaaab2aa9, 0xffffffff, 0xffffffff, 0xffffffff,
    671   0xdddddddd, 0xffffffff, 0xffffffff, 0xffffffff,
    672   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    673   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    674   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    675   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    676   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    677   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    678   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    679   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    680   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    681   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    682   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    683   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    684   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    685   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    686   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    687   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    688   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    689   0xffffffff, 0xffffffff, 0xffffffff, 0xffff8002,
    690   0xffffffff, 0xffffffff, 0xffff8001, 0xffff8003,
    691   0xffffffff, 0xffff8000, 0xffff8002, 0xffff8004,
    692   0xcccccccc, 0xffff8001, 0xffff8003, 0xffff8022,
    693   0xcccccccd, 0xffff8002, 0xffff8021, 0xffff807f,
    694   0xccccccce, 0xffff8020, 0xffff807e, 0xffff8080,
    695   0xccccccec, 0xffff807d, 0xffff807f, 0xffff8081,
    696   0xcccccd49, 0xffff807e, 0xffff8080, 0xffffffff,
    697   0xcccccd4a, 0xffff807f, 0xfffffffe, 0xffffffff,
    698   0xcccccd4b, 0xfffffffd, 0xffffffff, 0xffffffff,
    699   0xcccd4cc9, 0xfffffffe, 0xffffffff, 0xffffffff,
    700   0xcccd4cca, 0xffffffff, 0xffffffff, 0xffffffff,
    701   0xcccd4ccb, 0xffffffff, 0xffffffff, 0xffffffff,
    702   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    703   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    704   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    705   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    706   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    707   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    708   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    709   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    710   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    711   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    712   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    713   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    714   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    715   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    716   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    717   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    718   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    719   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    720   0xffffffff, 0xffffffff, 0xffffffff, 0xffff8003,
    721   0xffffffff, 0xffffffff, 0xffff8002, 0xffff8004,
    722   0xffffffff, 0xffff8001, 0xffff8003, 0xffff8005,
    723   0xffff8000, 0xffff8002, 0xffff8004, 0xffff8023,
    724   0xffff8001, 0xffff8003, 0xffff8022, 0xffff8080,
    725   0xffff8002, 0xffff8021, 0xffff807f, 0xffff8081,
    726   0xffff8020, 0xffff807e, 0xffff8080, 0xffff8082,
    727   0xffff807d, 0xffff807f, 0xffff8081, 0xffffffff,
    728   0xffff807e, 0xffff8080, 0xffffffff, 0xffffffff,
    729   0xffff807f, 0xfffffffe, 0xffffffff, 0xffffffff,
    730   0xfffffffd, 0xffffffff, 0xffffffff, 0xffffffff,
    731   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    732   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    733   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    734   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    735   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    736   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    737   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    738   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    739   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    740   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    741   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    742   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    743   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    744   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    745   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    746   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    747   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    748   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    749   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    750   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    751   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff80,
    752   0xffffffff, 0xffffffff, 0xffff8003, 0xffffff81,
    753   0xffffffff, 0xffff8002, 0xffff8004, 0xffffff82,
    754   0xffff8001, 0xffff8003, 0xffff8005, 0xffffffa0,
    755   0xffff8002, 0xffff8004, 0xffff8023, 0xfffffffd,
    756   0xffff8003, 0xffff8022, 0xffff8080, 0xfffffffe,
    757   0xffff8021, 0xffff807f, 0xffff8081, 0xffffffff,
    758   0xffff807e, 0xffff8080, 0xffff8082, 0xffffffff,
    759   0xffff807f, 0xffff8081, 0xffffffff, 0xffffffff,
    760   0xffff8080, 0xffffffff, 0xffffffff, 0xffffffff,
    761   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    762   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    763   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    764   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    765   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    766   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    767   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    768   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    769   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    770   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    771   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    772   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    773   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    774   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    775   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    776   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    777   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    778   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    779   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    780   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    781   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    782   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff81,
    783   0xffffffff, 0xffffffff, 0xffffff80, 0xffffff82,
    784   0xffffffff, 0xffff8003, 0xffffff81, 0xffffff83,
    785   0xffff8002, 0xffff8004, 0xffffff82, 0xffffffa1,
    786   0xffff8003, 0xffff8005, 0xffffffa0, 0xfffffffe,
    787   0xffff8004, 0xffff8023, 0xfffffffd, 0xffffffff,
    788   0xffff8022, 0xffff8080, 0xfffffffe, 0xffffffff,
    789   0xffff807f, 0xffff8081, 0xffffffff, 0xffffffff,
    790   0xffff8080, 0xffff8082, 0xffffffff, 0xffffffff,
    791   0xffff8081, 0xffffffff, 0xffffffff, 0xffffffff,
    792   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    793   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    794   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    795   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    796   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    797   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    798   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    799   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    800   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    801   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    802   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    803   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    804   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    805   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    806   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    807   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    808   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    809   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    810   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    811   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    812   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    813   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff82,
    814   0xffffffff, 0xffffffff, 0xffffff81, 0xffffff83,
    815   0xffffffff, 0xffffff80, 0xffffff82, 0xffffff84,
    816   0xffff8003, 0xffffff81, 0xffffff83, 0xffffffa2,
    817   0xffff8004, 0xffffff82, 0xffffffa1, 0xffffffff,
    818   0xffff8005, 0xffffffa0, 0xfffffffe, 0xffffffff,
    819   0xffff8023, 0xfffffffd, 0xffffffff, 0xffffffff,
    820   0xffff8080, 0xfffffffe, 0xffffffff, 0xffffffff,
    821   0xffff8081, 0xffffffff, 0xffffffff, 0xffffffff,
    822   0xffff8082, 0xffffffff, 0xffffffff, 0xffffffff,
    823   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    824   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    825   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    826   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    827   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    828   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    829   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    830   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    831   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    832   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    833   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    834   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    835   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    836   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    837   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    838   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    839   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    840   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    841   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    842   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    843   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    844   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff83,
    845   0xffffffff, 0xffffffff, 0xffffff82, 0xffffff84,
    846   0xffffffff, 0xffffff81, 0xffffff83, 0xffffff85,
    847   0xffffff80, 0xffffff82, 0xffffff84, 0xffffffa3,
    848   0xffffff81, 0xffffff83, 0xffffffa2, 0xffffffff,
    849   0xffffff82, 0xffffffa1, 0xffffffff, 0xffffffff,
    850   0xffffffa0, 0xfffffffe, 0xffffffff, 0xffffffff,
    851   0xfffffffd, 0xffffffff, 0xffffffff, 0xffffffff,
    852   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    853   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    854   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    855   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    856   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    857   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    858   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    859   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    860   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    861   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    862   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    863   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    864   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    865   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    866   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    867   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    868   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    869   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    870   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    871   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    872   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    873   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    874   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    875   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffe0,
    876   0xffffffff, 0xffffffff, 0xffffff83, 0xffffffe1,
    877   0xffffffff, 0xffffff82, 0xffffff84, 0xffffffe2,
    878   0xffffff81, 0xffffff83, 0xffffff85, 0xffffffff,
    879   0xffffff82, 0xffffff84, 0xffffffa3, 0xffffffff,
    880   0xffffff83, 0xffffffa2, 0xffffffff, 0xffffffff,
    881   0xffffffa1, 0xffffffff, 0xffffffff, 0xffffffff,
    882   0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
    883   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    884   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    885   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    886   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    887   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    888   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    889   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    890   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    891   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    892   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    893   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    894   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    895   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    896   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    897   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    898   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    899   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    900   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    901   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    902   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    903   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    904   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    905   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    906   0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffd,
    907   0xffffffff, 0xffffffff, 0xffffffe0, 0xfffffffe,
    908   0xffffffff, 0xffffff83, 0xffffffe1, 0xffffffff,
    909   0xffffff82, 0xffffff84, 0xffffffe2, 0xffffffff,
    910   0xffffff83, 0xffffff85, 0xffffffff, 0xffffffff,
    911   0xffffff84, 0xffffffa3, 0xffffffff, 0xffffffff,
    912   0xffffffa2, 0xffffffff, 0xffffffff, 0xffffffff,
    913   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    914   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    915   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    916   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    917   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    918   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    919   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    920   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    921   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    922   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    923   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    924   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    925   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    926   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    927   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    928   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    929   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    930   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    931   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    932   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    933   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    934   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    935   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    936   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    937   0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe,
    938   0xffffffff, 0xffffffff, 0xfffffffd, 0xffffffff,
    939   0xffffffff, 0xffffffe0, 0xfffffffe, 0xffffffff,
    940   0xffffff83, 0xffffffe1, 0xffffffff, 0xffffffff,
    941   0xffffff84, 0xffffffe2, 0xffffffff, 0xffffffff,
    942   0xffffff85, 0xffffffff, 0xffffffff, 0xffffffff,
    943   0xffffffa3, 0xffffffff, 0xffffffff, 0xffffffff,
    944   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    945   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    946   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    947   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    948   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    949   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    950   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    951   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    952   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    953   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    954   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    955   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    956   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    957   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    958   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    959   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    960   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    961   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    962   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    963   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    964   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    965   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    966   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    967   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    968   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    969   0xffffffff, 0xffffffff, 0xfffffffe, 0xffffffff,
    970   0xffffffff, 0xfffffffd, 0xffffffff, 0xffffffff,
    971   0xffffffe0, 0xfffffffe, 0xffffffff, 0xffffffff,
    972   0xffffffe1, 0xffffffff, 0xffffffff, 0xffffffff,
    973   0xffffffe2, 0xffffffff, 0xffffffff, 0xffffffff,
    974   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    975   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    976   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    977   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    978   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    979   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    980   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    981   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    982   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    983   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    984   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    985   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    986   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    987   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    988   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    989   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    990   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    991   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    992   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    993   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    994   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    995   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    996   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    997   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    998   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    999 };
   1000 const unsigned kExpectedCount_NEON_uqadd_4S = 961;
   1001 
   1002 #endif  // VIXL_SIM_UQADD_4S_TRACE_A64_H_
   1003