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_SQDMULL2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SQDMULL2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_sqdmull2_4S[] = {
     38   0x7ffa0012, 0x7ffc0008, 0x7ffe0002, 0x00000000,
     39   0x7ffb000c, 0x7ffd0004, 0x00000000, 0x00000000,
     40   0x7ffc0006, 0x00000000, 0x0000fffe, 0x00000000,
     41   0x00000000, 0x0000fffc, 0x0001fffc, 0x00000000,
     42   0x0000fffa, 0x0001fff8, 0x000fffe0, 0x00000000,
     43   0x0001fff4, 0x000fffc0, 0x007cff06, 0x00000000,
     44   0x000fffa0, 0x007cfe0c, 0x007dff04, 0x00000000,
     45   0x007cfd12, 0x007dfe08, 0x007eff02, 0x00000000,
     46   0x007dfd0c, 0x007efe04, 0x3332999a, 0x00000000,
     47   0x007efd06, 0x33323334, 0x55545556, 0x00000000,
     48   0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x00000000,
     49   0x55530002, 0x7ffb000c, 0x7ffd0004, 0x00000000,
     50   0x7ffa0012, 0x7ffc0008, 0x7ffe0002, 0x00000000,
     51   0x7ffb000c, 0x7ffd0004, 0x80010000, 0x00000000,
     52   0x7ffc0006, 0x80020000, 0x8001fffe, 0x00000000,
     53   0x80030000, 0x8002fffc, 0xaaaaaaac, 0x00000000,
     54   0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00000000,
     55   0xaaac0004, 0xccccccd0, 0xff800100, 0x00000000,
     56   0xcccd3338, 0xff800200, 0xff8100fe, 0x00000000,
     57   0xff800300, 0xff8101fc, 0xff8200fc, 0x00000000,
     58   0xff8102fa, 0xff8201f8, 0xff8300fa, 0x00000000,
     59   0xff8202f4, 0xff8301f4, 0xfff00020, 0x00000000,
     60   0xff8302ee, 0xfff00040, 0xfffd0006, 0x00000000,
     61   0xfff00060, 0xfffd000c, 0xfffe0004, 0x00000000,
     62   0xfffd000c, 0xfffe0004, 0x00000000, 0x00000000,
     63   0xfffe0008, 0xffff0002, 0x00000000, 0x00000002,
     64   0xffff0004, 0x00000000, 0x00000000, 0x00000004,
     65   0x00000000, 0x0000fffe, 0x00000000, 0x00000020,
     66   0x0000fffc, 0x0001fffc, 0x00000000, 0x000000fa,
     67   0x0001fff8, 0x000fffe0, 0x00000000, 0x000000fc,
     68   0x000fffc0, 0x007cff06, 0x00000000, 0x000000fe,
     69   0x007cfe0c, 0x007dff04, 0x00000000, 0x00006666,
     70   0x007dfe08, 0x007eff02, 0x00000000, 0x0000aaaa,
     71   0x007efe04, 0x3332999a, 0x00000000, 0x0000fffa,
     72   0x33323334, 0x55545556, 0x00000000, 0x0000fffc,
     73   0x5553aaac, 0x7ffc0006, 0x00000000, 0x0000fffe,
     74   0x7ffb000c, 0x7ffd0004, 0x00000000, 0xffff0000,
     75   0x7ffc0008, 0x7ffe0002, 0x00000000, 0xffff0002,
     76   0x7ffd0004, 0x80010000, 0x00000000, 0xffff5554,
     77   0x80020000, 0x8001fffe, 0x00000000, 0xffff9998,
     78   0x8002fffc, 0xaaaaaaac, 0x00000000, 0xffffff00,
     79   0xaaab5558, 0xcccc6668, 0x00000000, 0xffffff02,
     80   0xccccccd0, 0xff800100, 0x00000000, 0xffffff04,
     81   0xff800200, 0xff8100fe, 0x00000000, 0xffffff06,
     82   0xff8101fc, 0xff8200fc, 0x00000000, 0xffffffe0,
     83   0xff8201f8, 0xff8300fa, 0x00000000, 0xfffffffa,
     84   0xff8301f4, 0xfff00020, 0x00000000, 0xfffffffc,
     85   0xfff00040, 0xfffd0006, 0x00000000, 0xfffffffe,
     86   0xfffd0006, 0x00000000, 0xfffffffe, 0x00000000,
     87   0xfffe0004, 0x00000000, 0x00000000, 0x00000004,
     88   0xffff0002, 0x00000000, 0x00000002, 0x00000008,
     89   0x00000000, 0x00000000, 0x00000004, 0x00000040,
     90   0x0000fffe, 0x00000000, 0x00000020, 0x000001f4,
     91   0x0001fffc, 0x00000000, 0x000000fa, 0x000001f8,
     92   0x000fffe0, 0x00000000, 0x000000fc, 0x000001fc,
     93   0x007cff06, 0x00000000, 0x000000fe, 0x0000cccc,
     94   0x007dff04, 0x00000000, 0x00006666, 0x00015554,
     95   0x007eff02, 0x00000000, 0x0000aaaa, 0x0001fff4,
     96   0x3332999a, 0x00000000, 0x0000fffa, 0x0001fff8,
     97   0x55545556, 0x00000000, 0x0000fffc, 0x0001fffc,
     98   0x7ffc0006, 0x00000000, 0x0000fffe, 0xfffe0000,
     99   0x7ffd0004, 0x00000000, 0xffff0000, 0xfffe0004,
    100   0x7ffe0002, 0x00000000, 0xffff0002, 0xfffeaaa8,
    101   0x80010000, 0x00000000, 0xffff5554, 0xffff3330,
    102   0x8001fffe, 0x00000000, 0xffff9998, 0xfffffe00,
    103   0xaaaaaaac, 0x00000000, 0xffffff00, 0xfffffe04,
    104   0xcccc6668, 0x00000000, 0xffffff02, 0xfffffe08,
    105   0xff800100, 0x00000000, 0xffffff04, 0xfffffe0c,
    106   0xff8100fe, 0x00000000, 0xffffff06, 0xffffffc0,
    107   0xff8200fc, 0x00000000, 0xffffffe0, 0xfffffff4,
    108   0xff8300fa, 0x00000000, 0xfffffffa, 0xfffffff8,
    109   0xfff00020, 0x00000000, 0xfffffffc, 0xfffffffc,
    110   0x00000000, 0xfffffffc, 0xfffffffc, 0x00000000,
    111   0x00000000, 0xfffffffe, 0x00000000, 0x00000020,
    112   0x00000000, 0x00000000, 0x00000004, 0x00000040,
    113   0x00000000, 0x00000002, 0x00000008, 0x00000200,
    114   0x00000000, 0x00000004, 0x00000040, 0x00000fa0,
    115   0x00000000, 0x00000020, 0x000001f4, 0x00000fc0,
    116   0x00000000, 0x000000fa, 0x000001f8, 0x00000fe0,
    117   0x00000000, 0x000000fc, 0x000001fc, 0x00066660,
    118   0x00000000, 0x000000fe, 0x0000cccc, 0x000aaaa0,
    119   0x00000000, 0x00006666, 0x00015554, 0x000fffa0,
    120   0x00000000, 0x0000aaaa, 0x0001fff4, 0x000fffc0,
    121   0x00000000, 0x0000fffa, 0x0001fff8, 0x000fffe0,
    122   0x00000000, 0x0000fffc, 0x0001fffc, 0xfff00000,
    123   0x00000000, 0x0000fffe, 0xfffe0000, 0xfff00020,
    124   0x00000000, 0xffff0000, 0xfffe0004, 0xfff55540,
    125   0x00000000, 0xffff0002, 0xfffeaaa8, 0xfff99980,
    126   0x00000000, 0xffff5554, 0xffff3330, 0xfffff000,
    127   0x00000000, 0xffff9998, 0xfffffe00, 0xfffff020,
    128   0x00000000, 0xffffff00, 0xfffffe04, 0xfffff040,
    129   0x00000000, 0xffffff02, 0xfffffe08, 0xfffff060,
    130   0x00000000, 0xffffff04, 0xfffffe0c, 0xfffffe00,
    131   0x00000000, 0xffffff06, 0xffffffc0, 0xffffffa0,
    132   0x00000000, 0xffffffe0, 0xfffffff4, 0xffffffc0,
    133   0x00000000, 0xfffffffa, 0xfffffff8, 0xffffffe0,
    134   0xfffffffa, 0xfffffff8, 0xffffffe0, 0x00000000,
    135   0xfffffffc, 0xfffffffc, 0x00000000, 0x000000fa,
    136   0xfffffffe, 0x00000000, 0x00000020, 0x000001f4,
    137   0x00000000, 0x00000004, 0x00000040, 0x00000fa0,
    138   0x00000002, 0x00000008, 0x00000200, 0x00007a12,
    139   0x00000004, 0x00000040, 0x00000fa0, 0x00007b0c,
    140   0x00000020, 0x000001f4, 0x00000fc0, 0x00007c06,
    141   0x000000fa, 0x000001f8, 0x00000fe0, 0x0031ffce,
    142   0x000000fc, 0x000001fc, 0x00066660, 0x00535502,
    143   0x000000fe, 0x0000cccc, 0x000aaaa0, 0x007cfd12,
    144   0x00006666, 0x00015554, 0x000fffa0, 0x007cfe0c,
    145   0x0000aaaa, 0x0001fff4, 0x000fffc0, 0x007cff06,
    146   0x0000fffa, 0x0001fff8, 0x000fffe0, 0xff830000,
    147   0x0000fffc, 0x0001fffc, 0xfff00000, 0xff8300fa,
    148   0x0000fffe, 0xfffe0000, 0xfff00020, 0xffacaa04,
    149   0xffff0000, 0xfffe0004, 0xfff55540, 0xffcdff38,
    150   0xffff0002, 0xfffeaaa8, 0xfff99980, 0xffff8300,
    151   0xffff5554, 0xffff3330, 0xfffff000, 0xffff83fa,
    152   0xffff9998, 0xfffffe00, 0xfffff020, 0xffff84f4,
    153   0xffffff00, 0xfffffe04, 0xfffff040, 0xffff85ee,
    154   0xffffff02, 0xfffffe08, 0xfffff060, 0xfffff060,
    155   0xffffff04, 0xfffffe0c, 0xfffffe00, 0xfffffd12,
    156   0xffffff06, 0xffffffc0, 0xffffffa0, 0xfffffe0c,
    157   0xffffffe0, 0xfffffff4, 0xffffffc0, 0xffffff06,
    158   0xfffffff4, 0xffffffc0, 0xffffff06, 0x00000000,
    159   0xfffffff8, 0xffffffe0, 0x00000000, 0x000000fc,
    160   0xfffffffc, 0x00000000, 0x000000fa, 0x000001f8,
    161   0x00000000, 0x00000020, 0x000001f4, 0x00000fc0,
    162   0x00000004, 0x00000040, 0x00000fa0, 0x00007b0c,
    163   0x00000008, 0x00000200, 0x00007a12, 0x00007c08,
    164   0x00000040, 0x00000fa0, 0x00007b0c, 0x00007d04,
    165   0x000001f4, 0x00000fc0, 0x00007c06, 0x00326634,
    166   0x000001f8, 0x00000fe0, 0x0031ffce, 0x0053ffac,
    167   0x000001fc, 0x00066660, 0x00535502, 0x007dfd0c,
    168   0x0000cccc, 0x000aaaa0, 0x007cfd12, 0x007dfe08,
    169   0x00015554, 0x000fffa0, 0x007cfe0c, 0x007dff04,
    170   0x0001fff4, 0x000fffc0, 0x007cff06, 0xff820000,
    171   0x0001fff8, 0x000fffe0, 0xff830000, 0xff8200fc,
    172   0x0001fffc, 0xfff00000, 0xff8300fa, 0xffabff58,
    173   0xfffe0000, 0xfff00020, 0xffacaa04, 0xffcd98d0,
    174   0xfffe0004, 0xfff55540, 0xffcdff38, 0xffff8200,
    175   0xfffeaaa8, 0xfff99980, 0xffff8300, 0xffff82fc,
    176   0xffff3330, 0xfffff000, 0xffff83fa, 0xffff83f8,
    177   0xfffffe00, 0xfffff020, 0xffff84f4, 0xffff84f4,
    178   0xfffffe04, 0xfffff040, 0xffff85ee, 0xfffff040,
    179   0xfffffe08, 0xfffff060, 0xfffff060, 0xfffffd0c,
    180   0xfffffe0c, 0xfffffe00, 0xfffffd12, 0xfffffe08,
    181   0xffffffc0, 0xffffffa0, 0xfffffe0c, 0xffffff04,
    182   0xffffffa0, 0xfffffe0c, 0xffffff04, 0x00000000,
    183   0xffffffc0, 0xffffff06, 0x00000000, 0x000000fe,
    184   0xffffffe0, 0x00000000, 0x000000fc, 0x000001fc,
    185   0x00000000, 0x000000fa, 0x000001f8, 0x00000fe0,
    186   0x00000020, 0x000001f4, 0x00000fc0, 0x00007c06,
    187   0x00000040, 0x00000fa0, 0x00007b0c, 0x00007d04,
    188   0x00000200, 0x00007a12, 0x00007c08, 0x00007e02,
    189   0x00000fa0, 0x00007b0c, 0x00007d04, 0x0032cc9a,
    190   0x00000fc0, 0x00007c06, 0x00326634, 0x0054aa56,
    191   0x00000fe0, 0x0031ffce, 0x0053ffac, 0x007efd06,
    192   0x00066660, 0x00535502, 0x007dfd0c, 0x007efe04,
    193   0x000aaaa0, 0x007cfd12, 0x007dfe08, 0x007eff02,
    194   0x000fffa0, 0x007cfe0c, 0x007dff04, 0xff810000,
    195   0x000fffc0, 0x007cff06, 0xff820000, 0xff8100fe,
    196   0x000fffe0, 0xff830000, 0xff8200fc, 0xffab54ac,
    197   0xfff00000, 0xff8300fa, 0xffabff58, 0xffcd3268,
    198   0xfff00020, 0xffacaa04, 0xffcd98d0, 0xffff8100,
    199   0xfff55540, 0xffcdff38, 0xffff8200, 0xffff81fe,
    200   0xfff99980, 0xffff8300, 0xffff82fc, 0xffff82fc,
    201   0xfffff000, 0xffff83fa, 0xffff83f8, 0xffff83fa,
    202   0xfffff020, 0xffff84f4, 0xffff84f4, 0xfffff020,
    203   0xfffff040, 0xffff85ee, 0xfffff040, 0xfffffd06,
    204   0xfffff060, 0xfffff060, 0xfffffd0c, 0xfffffe04,
    205   0xfffffe00, 0xfffffd12, 0xfffffe08, 0xffffff02,
    206   0xfffffd12, 0xfffffe08, 0xffffff02, 0x00000000,
    207   0xfffffe0c, 0xffffff04, 0x00000000, 0x00006666,
    208   0xffffff06, 0x00000000, 0x000000fe, 0x0000cccc,
    209   0x00000000, 0x000000fc, 0x000001fc, 0x00066660,
    210   0x000000fa, 0x000001f8, 0x00000fe0, 0x0031ffce,
    211   0x000001f4, 0x00000fc0, 0x00007c06, 0x00326634,
    212   0x00000fa0, 0x00007b0c, 0x00007d04, 0x0032cc9a,
    213   0x00007a12, 0x00007c08, 0x00007e02, 0x147ab852,
    214   0x00007b0c, 0x00007d04, 0x0032cc9a, 0x2221ddde,
    215   0x00007c06, 0x00326634, 0x0054aa56, 0x3331ccce,
    216   0x0031ffce, 0x0053ffac, 0x007efd06, 0x33323334,
    217   0x00535502, 0x007dfd0c, 0x007efe04, 0x3332999a,
    218   0x007cfd12, 0x007dfe08, 0x007eff02, 0xcccd0000,
    219   0x007cfe0c, 0x007dff04, 0xff810000, 0xcccd6666,
    220   0x007cff06, 0xff820000, 0xff8100fe, 0xddddbbbc,
    221   0xff830000, 0xff8200fc, 0xffab54ac, 0xeb84e148,
    222   0xff8300fa, 0xffabff58, 0xffcd3268, 0xffcccd00,
    223   0xffacaa04, 0xffcd98d0, 0xffff8100, 0xffcd3366,
    224   0xffcdff38, 0xffff8200, 0xffff81fe, 0xffcd99cc,
    225   0xffff8300, 0xffff82fc, 0xffff82fc, 0xffce0032,
    226   0xffff83fa, 0xffff83f8, 0xffff83fa, 0xfff999a0,
    227   0xffff84f4, 0xffff84f4, 0xfffff020, 0xfffeccce,
    228   0xffff85ee, 0xfffff040, 0xfffffd06, 0xffff3334,
    229   0xfffff060, 0xfffffd0c, 0xfffffe04, 0xffff999a,
    230   0xfffffd0c, 0xfffffe04, 0xffff999a, 0x00000000,
    231   0xfffffe08, 0xffffff02, 0x00000000, 0x0000aaaa,
    232   0xffffff04, 0x00000000, 0x00006666, 0x00015554,
    233   0x00000000, 0x000000fe, 0x0000cccc, 0x000aaaa0,
    234   0x000000fc, 0x000001fc, 0x00066660, 0x00535502,
    235   0x000001f8, 0x00000fe0, 0x0031ffce, 0x0053ffac,
    236   0x00000fc0, 0x00007c06, 0x00326634, 0x0054aa56,
    237   0x00007b0c, 0x00007d04, 0x0032cc9a, 0x2221ddde,
    238   0x00007c08, 0x00007e02, 0x147ab852, 0x38e31c72,
    239   0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
    240   0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
    241   0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
    242   0x007dfd0c, 0x007efe04, 0x3332999a, 0xaaab0000,
    243   0x007dfe08, 0x007eff02, 0xcccd0000, 0xaaabaaaa,
    244   0x007dff04, 0xff810000, 0xcccd6666, 0xc71c38e4,
    245   0xff820000, 0xff8100fe, 0xddddbbbc, 0xdddd7778,
    246   0xff8200fc, 0xffab54ac, 0xeb84e148, 0xffaaab00,
    247   0xffabff58, 0xffcd3268, 0xffcccd00, 0xffab55aa,
    248   0xffcd98d0, 0xffff8100, 0xffcd3366, 0xffac0054,
    249   0xffff8200, 0xffff81fe, 0xffcd99cc, 0xffacaafe,
    250   0xffff82fc, 0xffff82fc, 0xffce0032, 0xfff55560,
    251   0xffff83f8, 0xffff83fa, 0xfff999a0, 0xfffe0002,
    252   0xffff84f4, 0xfffff020, 0xfffeccce, 0xfffeaaac,
    253   0xfffff040, 0xfffffd06, 0xffff3334, 0xffff5556,
    254   0xfffffd06, 0xffff3334, 0xffff5556, 0x00000000,
    255   0xfffffe04, 0xffff999a, 0x00000000, 0x0000fffa,
    256   0xffffff02, 0x00000000, 0x0000aaaa, 0x0001fff4,
    257   0x00000000, 0x00006666, 0x00015554, 0x000fffa0,
    258   0x000000fe, 0x0000cccc, 0x000aaaa0, 0x007cfd12,
    259   0x000001fc, 0x00066660, 0x00535502, 0x007dfd0c,
    260   0x00000fe0, 0x0031ffce, 0x0053ffac, 0x007efd06,
    261   0x00007c06, 0x00326634, 0x0054aa56, 0x3331ccce,
    262   0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
    263   0x00007e02, 0x147ab852, 0x38e31c72, 0x7ffa0012,
    264   0x0032cc9a, 0x2221ddde, 0x55530002, 0x7ffb000c,
    265   0x0054aa56, 0x3331ccce, 0x5553aaac, 0x7ffc0006,
    266   0x007efd06, 0x33323334, 0x55545556, 0x80030000,
    267   0x007efe04, 0x3332999a, 0xaaab0000, 0x8003fffa,
    268   0x007eff02, 0xcccd0000, 0xaaabaaaa, 0xaaac0004,
    269   0xff810000, 0xcccd6666, 0xc71c38e4, 0xcccd3338,
    270   0xff8100fe, 0xddddbbbc, 0xdddd7778, 0xff800300,
    271   0xffab54ac, 0xeb84e148, 0xffaaab00, 0xff8102fa,
    272   0xffcd3268, 0xffcccd00, 0xffab55aa, 0xff8202f4,
    273   0xffff8100, 0xffcd3366, 0xffac0054, 0xff8302ee,
    274   0xffff81fe, 0xffcd99cc, 0xffacaafe, 0xfff00060,
    275   0xffff82fc, 0xffce0032, 0xfff55560, 0xfffd0012,
    276   0xffff83fa, 0xfff999a0, 0xfffe0002, 0xfffe000c,
    277   0xfffff020, 0xfffeccce, 0xfffeaaac, 0xffff0006,
    278   0xfffeccce, 0xfffeaaac, 0xffff0006, 0x00000000,
    279   0xffff3334, 0xffff5556, 0x00000000, 0x0000fffc,
    280   0xffff999a, 0x00000000, 0x0000fffa, 0x0001fff8,
    281   0x00000000, 0x0000aaaa, 0x0001fff4, 0x000fffc0,
    282   0x00006666, 0x00015554, 0x000fffa0, 0x007cfe0c,
    283   0x0000cccc, 0x000aaaa0, 0x007cfd12, 0x007dfe08,
    284   0x00066660, 0x00535502, 0x007dfd0c, 0x007efe04,
    285   0x0031ffce, 0x0053ffac, 0x007efd06, 0x33323334,
    286   0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
    287   0x0032cc9a, 0x2221ddde, 0x55530002, 0x7ffb000c,
    288   0x147ab852, 0x38e31c72, 0x7ffa0012, 0x7ffc0008,
    289   0x2221ddde, 0x55530002, 0x7ffb000c, 0x7ffd0004,
    290   0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x80020000,
    291   0x33323334, 0x55545556, 0x80030000, 0x8002fffc,
    292   0x3332999a, 0xaaab0000, 0x8003fffa, 0xaaab5558,
    293   0xcccd0000, 0xaaabaaaa, 0xaaac0004, 0xccccccd0,
    294   0xcccd6666, 0xc71c38e4, 0xcccd3338, 0xff800200,
    295   0xddddbbbc, 0xdddd7778, 0xff800300, 0xff8101fc,
    296   0xeb84e148, 0xffaaab00, 0xff8102fa, 0xff8201f8,
    297   0xffcccd00, 0xffab55aa, 0xff8202f4, 0xff8301f4,
    298   0xffcd3366, 0xffac0054, 0xff8302ee, 0xfff00040,
    299   0xffcd99cc, 0xffacaafe, 0xfff00060, 0xfffd000c,
    300   0xffce0032, 0xfff55560, 0xfffd0012, 0xfffe0008,
    301   0xfff999a0, 0xfffe0002, 0xfffe000c, 0xffff0004,
    302   0xfffe0002, 0xfffe000c, 0xffff0004, 0x00000000,
    303   0xfffeaaac, 0xffff0006, 0x00000000, 0x0000fffe,
    304   0xffff5556, 0x00000000, 0x0000fffc, 0x0001fffc,
    305   0x00000000, 0x0000fffa, 0x0001fff8, 0x000fffe0,
    306   0x0000aaaa, 0x0001fff4, 0x000fffc0, 0x007cff06,
    307   0x00015554, 0x000fffa0, 0x007cfe0c, 0x007dff04,
    308   0x000aaaa0, 0x007cfd12, 0x007dfe08, 0x007eff02,
    309   0x00535502, 0x007dfd0c, 0x007efe04, 0x3332999a,
    310   0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
    311   0x0054aa56, 0x3331ccce, 0x5553aaac, 0x7ffc0006,
    312   0x2221ddde, 0x55530002, 0x7ffb000c, 0x7ffd0004,
    313   0x38e31c72, 0x7ffa0012, 0x7ffc0008, 0x7ffe0002,
    314   0x55530002, 0x7ffb000c, 0x7ffd0004, 0x80010000,
    315   0x5553aaac, 0x7ffc0006, 0x80020000, 0x8001fffe,
    316   0x55545556, 0x80030000, 0x8002fffc, 0xaaaaaaac,
    317   0xaaab0000, 0x8003fffa, 0xaaab5558, 0xcccc6668,
    318   0xaaabaaaa, 0xaaac0004, 0xccccccd0, 0xff800100,
    319   0xc71c38e4, 0xcccd3338, 0xff800200, 0xff8100fe,
    320   0xdddd7778, 0xff800300, 0xff8101fc, 0xff8200fc,
    321   0xffaaab00, 0xff8102fa, 0xff8201f8, 0xff8300fa,
    322   0xffab55aa, 0xff8202f4, 0xff8301f4, 0xfff00020,
    323   0xffac0054, 0xff8302ee, 0xfff00040, 0xfffd0006,
    324   0xffacaafe, 0xfff00060, 0xfffd000c, 0xfffe0004,
    325   0xfff55560, 0xfffd0012, 0xfffe0008, 0xffff0002,
    326   0xfffd0012, 0xfffe0008, 0xffff0002, 0x00000000,
    327   0xfffe000c, 0xffff0004, 0x00000000, 0xffff0000,
    328   0xffff0006, 0x00000000, 0x0000fffe, 0xfffe0000,
    329   0x00000000, 0x0000fffc, 0x0001fffc, 0xfff00000,
    330   0x0000fffa, 0x0001fff8, 0x000fffe0, 0xff830000,
    331   0x0001fff4, 0x000fffc0, 0x007cff06, 0xff820000,
    332   0x000fffa0, 0x007cfe0c, 0x007dff04, 0xff810000,
    333   0x007cfd12, 0x007dfe08, 0x007eff02, 0xcccd0000,
    334   0x007dfd0c, 0x007efe04, 0x3332999a, 0xaaab0000,
    335   0x007efd06, 0x33323334, 0x55545556, 0x80030000,
    336   0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x80020000,
    337   0x55530002, 0x7ffb000c, 0x7ffd0004, 0x80010000,
    338   0x7ffa0012, 0x7ffc0008, 0x7ffe0002, 0x7fffffff,
    339   0x7ffb000c, 0x7ffd0004, 0x80010000, 0x7fff0000,
    340   0x7ffc0006, 0x80020000, 0x8001fffe, 0x55560000,
    341   0x80030000, 0x8002fffc, 0xaaaaaaac, 0x33340000,
    342   0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00800000,
    343   0xaaac0004, 0xccccccd0, 0xff800100, 0x007f0000,
    344   0xcccd3338, 0xff800200, 0xff8100fe, 0x007e0000,
    345   0xff800300, 0xff8101fc, 0xff8200fc, 0x007d0000,
    346   0xff8102fa, 0xff8201f8, 0xff8300fa, 0x00100000,
    347   0xff8202f4, 0xff8301f4, 0xfff00020, 0x00030000,
    348   0xff8302ee, 0xfff00040, 0xfffd0006, 0x00020000,
    349   0xfff00060, 0xfffd000c, 0xfffe0004, 0x00010000,
    350   0xfffd000c, 0xfffe0004, 0x00010000, 0x00000000,
    351   0xfffe0008, 0xffff0002, 0x00000000, 0xffff0002,
    352   0xffff0004, 0x00000000, 0xffff0000, 0xfffe0004,
    353   0x00000000, 0x0000fffe, 0xfffe0000, 0xfff00020,
    354   0x0000fffc, 0x0001fffc, 0xfff00000, 0xff8300fa,
    355   0x0001fff8, 0x000fffe0, 0xff830000, 0xff8200fc,
    356   0x000fffc0, 0x007cff06, 0xff820000, 0xff8100fe,
    357   0x007cfe0c, 0x007dff04, 0xff810000, 0xcccd6666,
    358   0x007dfe08, 0x007eff02, 0xcccd0000, 0xaaabaaaa,
    359   0x007efe04, 0x3332999a, 0xaaab0000, 0x8003fffa,
    360   0x33323334, 0x55545556, 0x80030000, 0x8002fffc,
    361   0x5553aaac, 0x7ffc0006, 0x80020000, 0x8001fffe,
    362   0x7ffb000c, 0x7ffd0004, 0x80010000, 0x7fff0000,
    363   0x7ffc0008, 0x7ffe0002, 0x7fffffff, 0x7ffe0002,
    364   0x7ffd0004, 0x80010000, 0x7fff0000, 0x55555554,
    365   0x80020000, 0x8001fffe, 0x55560000, 0x33339998,
    366   0x8002fffc, 0xaaaaaaac, 0x33340000, 0x007fff00,
    367   0xaaab5558, 0xcccc6668, 0x00800000, 0x007eff02,
    368   0xccccccd0, 0xff800100, 0x007f0000, 0x007dff04,
    369   0xff800200, 0xff8100fe, 0x007e0000, 0x007cff06,
    370   0xff8101fc, 0xff8200fc, 0x007d0000, 0x000fffe0,
    371   0xff8201f8, 0xff8300fa, 0x00100000, 0x0002fffa,
    372   0xff8301f4, 0xfff00020, 0x00030000, 0x0001fffc,
    373   0xfff00040, 0xfffd0006, 0x00020000, 0x0000fffe,
    374   0xfffd0006, 0x00020000, 0x0000fffe, 0x00000000,
    375   0xfffe0004, 0x00010000, 0x00000000, 0xffff5554,
    376   0xffff0002, 0x00000000, 0xffff0002, 0xfffeaaa8,
    377   0x00000000, 0xffff0000, 0xfffe0004, 0xfff55540,
    378   0x0000fffe, 0xfffe0000, 0xfff00020, 0xffacaa04,
    379   0x0001fffc, 0xfff00000, 0xff8300fa, 0xffabff58,
    380   0x000fffe0, 0xff830000, 0xff8200fc, 0xffab54ac,
    381   0x007cff06, 0xff820000, 0xff8100fe, 0xddddbbbc,
    382   0x007dff04, 0xff810000, 0xcccd6666, 0xc71c38e4,
    383   0x007eff02, 0xcccd0000, 0xaaabaaaa, 0xaaac0004,
    384   0x3332999a, 0xaaab0000, 0x8003fffa, 0xaaab5558,
    385   0x55545556, 0x80030000, 0x8002fffc, 0xaaaaaaac,
    386   0x7ffc0006, 0x80020000, 0x8001fffe, 0x55560000,
    387   0x7ffd0004, 0x80010000, 0x7fff0000, 0x55555554,
    388   0x7ffe0002, 0x7fffffff, 0x7ffe0002, 0x38e471c8,
    389   0x80010000, 0x7fff0000, 0x55555554, 0x2222eef0,
    390   0x8001fffe, 0x55560000, 0x33339998, 0x00555600,
    391   0xaaaaaaac, 0x33340000, 0x007fff00, 0x0054ab54,
    392   0xcccc6668, 0x00800000, 0x007eff02, 0x005400a8,
    393   0xff800100, 0x007f0000, 0x007dff04, 0x005355fc,
    394   0xff8100fe, 0x007e0000, 0x007cff06, 0x000aaac0,
    395   0xff8200fc, 0x007d0000, 0x000fffe0, 0x00020004,
    396   0xff8300fa, 0x00100000, 0x0002fffa, 0x00015558,
    397   0xfff00020, 0x00030000, 0x0001fffc, 0x0000aaac,
    398   0x00030000, 0x0001fffc, 0x0000aaac, 0x00000000,
    399   0x00020000, 0x0000fffe, 0x00000000, 0xffff9998,
    400   0x00010000, 0x00000000, 0xffff5554, 0xffff3330,
    401   0x00000000, 0xffff0002, 0xfffeaaa8, 0xfff99980,
    402   0xffff0000, 0xfffe0004, 0xfff55540, 0xffcdff38,
    403   0xfffe0000, 0xfff00020, 0xffacaa04, 0xffcd98d0,
    404   0xfff00000, 0xff8300fa, 0xffabff58, 0xffcd3268,
    405   0xff830000, 0xff8200fc, 0xffab54ac, 0xeb84e148,
    406   0xff820000, 0xff8100fe, 0xddddbbbc, 0xdddd7778,
    407   0xff810000, 0xcccd6666, 0xc71c38e4, 0xcccd3338,
    408   0xcccd0000, 0xaaabaaaa, 0xaaac0004, 0xccccccd0,
    409   0xaaab0000, 0x8003fffa, 0xaaab5558, 0xcccc6668,
    410   0x80030000, 0x8002fffc, 0xaaaaaaac, 0x33340000,
    411   0x80020000, 0x8001fffe, 0x55560000, 0x33339998,
    412   0x80010000, 0x7fff0000, 0x55555554, 0x2222eef0,
    413   0x7fffffff, 0x7ffe0002, 0x38e471c8, 0x147b8520,
    414   0x7fff0000, 0x55555554, 0x2222eef0, 0x00333400,
    415   0x55560000, 0x33339998, 0x00555600, 0x0032cd98,
    416   0x33340000, 0x007fff00, 0x0054ab54, 0x00326730,
    417   0x00800000, 0x007eff02, 0x005400a8, 0x003200c8,
    418   0x007f0000, 0x007dff04, 0x005355fc, 0x00066680,
    419   0x007e0000, 0x007cff06, 0x000aaac0, 0x00013338,
    420   0x007d0000, 0x000fffe0, 0x00020004, 0x0000ccd0,
    421   0x00100000, 0x0002fffa, 0x00015558, 0x00006668,
    422   0x0002fffa, 0x00015558, 0x00006668, 0x00000000,
    423   0x0001fffc, 0x0000aaac, 0x00000000, 0xffffff00,
    424   0x0000fffe, 0x00000000, 0xffff9998, 0xfffffe00,
    425   0x00000000, 0xffff5554, 0xffff3330, 0xfffff000,
    426   0xffff0002, 0xfffeaaa8, 0xfff99980, 0xffff8300,
    427   0xfffe0004, 0xfff55540, 0xffcdff38, 0xffff8200,
    428   0xfff00020, 0xffacaa04, 0xffcd98d0, 0xffff8100,
    429   0xff8300fa, 0xffabff58, 0xffcd3268, 0xffcccd00,
    430   0xff8200fc, 0xffab54ac, 0xeb84e148, 0xffaaab00,
    431   0xff8100fe, 0xddddbbbc, 0xdddd7778, 0xff800300,
    432   0xcccd6666, 0xc71c38e4, 0xcccd3338, 0xff800200,
    433   0xaaabaaaa, 0xaaac0004, 0xccccccd0, 0xff800100,
    434   0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00800000,
    435   0x8002fffc, 0xaaaaaaac, 0x33340000, 0x007fff00,
    436   0x8001fffe, 0x55560000, 0x33339998, 0x00555600,
    437   0x7fff0000, 0x55555554, 0x2222eef0, 0x00333400,
    438   0x7ffe0002, 0x38e471c8, 0x147b8520, 0x00008000,
    439   0x55555554, 0x2222eef0, 0x00333400, 0x00007f00,
    440   0x33339998, 0x00555600, 0x0032cd98, 0x00007e00,
    441   0x007fff00, 0x0054ab54, 0x00326730, 0x00007d00,
    442   0x007eff02, 0x005400a8, 0x003200c8, 0x00001000,
    443   0x007dff04, 0x005355fc, 0x00066680, 0x00000300,
    444   0x007cff06, 0x000aaac0, 0x00013338, 0x00000200,
    445   0x000fffe0, 0x00020004, 0x0000ccd0, 0x00000100,
    446   0x00020004, 0x0000ccd0, 0x00000100, 0x00000000,
    447   0x00015558, 0x00006668, 0x00000000, 0xffffff02,
    448   0x0000aaac, 0x00000000, 0xffffff00, 0xfffffe04,
    449   0x00000000, 0xffff9998, 0xfffffe00, 0xfffff020,
    450   0xffff5554, 0xffff3330, 0xfffff000, 0xffff83fa,
    451   0xfffeaaa8, 0xfff99980, 0xffff8300, 0xffff82fc,
    452   0xfff55540, 0xffcdff38, 0xffff8200, 0xffff81fe,
    453   0xffacaa04, 0xffcd98d0, 0xffff8100, 0xffcd3366,
    454   0xffabff58, 0xffcd3268, 0xffcccd00, 0xffab55aa,
    455   0xffab54ac, 0xeb84e148, 0xffaaab00, 0xff8102fa,
    456   0xddddbbbc, 0xdddd7778, 0xff800300, 0xff8101fc,
    457   0xc71c38e4, 0xcccd3338, 0xff800200, 0xff8100fe,
    458   0xaaac0004, 0xccccccd0, 0xff800100, 0x007f0000,
    459   0xaaab5558, 0xcccc6668, 0x00800000, 0x007eff02,
    460   0xaaaaaaac, 0x33340000, 0x007fff00, 0x0054ab54,
    461   0x55560000, 0x33339998, 0x00555600, 0x0032cd98,
    462   0x55555554, 0x2222eef0, 0x00333400, 0x00007f00,
    463   0x38e471c8, 0x147b8520, 0x00008000, 0x00007e02,
    464   0x2222eef0, 0x00333400, 0x00007f00, 0x00007d04,
    465   0x00555600, 0x0032cd98, 0x00007e00, 0x00007c06,
    466   0x0054ab54, 0x00326730, 0x00007d00, 0x00000fe0,
    467   0x005400a8, 0x003200c8, 0x00001000, 0x000002fa,
    468   0x005355fc, 0x00066680, 0x00000300, 0x000001fc,
    469   0x000aaac0, 0x00013338, 0x00000200, 0x000000fe,
    470   0x00013338, 0x00000200, 0x000000fe, 0x00000000,
    471   0x0000ccd0, 0x00000100, 0x00000000, 0xffffff04,
    472   0x00006668, 0x00000000, 0xffffff02, 0xfffffe08,
    473   0x00000000, 0xffffff00, 0xfffffe04, 0xfffff040,
    474   0xffff9998, 0xfffffe00, 0xfffff020, 0xffff84f4,
    475   0xffff3330, 0xfffff000, 0xffff83fa, 0xffff83f8,
    476   0xfff99980, 0xffff8300, 0xffff82fc, 0xffff82fc,
    477   0xffcdff38, 0xffff8200, 0xffff81fe, 0xffcd99cc,
    478   0xffcd98d0, 0xffff8100, 0xffcd3366, 0xffac0054,
    479   0xffcd3268, 0xffcccd00, 0xffab55aa, 0xff8202f4,
    480   0xeb84e148, 0xffaaab00, 0xff8102fa, 0xff8201f8,
    481   0xdddd7778, 0xff800300, 0xff8101fc, 0xff8200fc,
    482   0xcccd3338, 0xff800200, 0xff8100fe, 0x007e0000,
    483   0xccccccd0, 0xff800100, 0x007f0000, 0x007dff04,
    484   0xcccc6668, 0x00800000, 0x007eff02, 0x005400a8,
    485   0x33340000, 0x007fff00, 0x0054ab54, 0x00326730,
    486   0x33339998, 0x00555600, 0x0032cd98, 0x00007e00,
    487   0x2222eef0, 0x00333400, 0x00007f00, 0x00007d04,
    488   0x147b8520, 0x00008000, 0x00007e02, 0x00007c08,
    489   0x00333400, 0x00007f00, 0x00007d04, 0x00007b0c,
    490   0x0032cd98, 0x00007e00, 0x00007c06, 0x00000fc0,
    491   0x00326730, 0x00007d00, 0x00000fe0, 0x000002f4,
    492   0x003200c8, 0x00001000, 0x000002fa, 0x000001f8,
    493   0x00066680, 0x00000300, 0x000001fc, 0x000000fc,
    494   0x00000300, 0x000001fc, 0x000000fc, 0x00000000,
    495   0x00000200, 0x000000fe, 0x00000000, 0xffffff06,
    496   0x00000100, 0x00000000, 0xffffff04, 0xfffffe0c,
    497   0x00000000, 0xffffff02, 0xfffffe08, 0xfffff060,
    498   0xffffff00, 0xfffffe04, 0xfffff040, 0xffff85ee,
    499   0xfffffe00, 0xfffff020, 0xffff84f4, 0xffff84f4,
    500   0xfffff000, 0xffff83fa, 0xffff83f8, 0xffff83fa,
    501   0xffff8300, 0xffff82fc, 0xffff82fc, 0xffce0032,
    502   0xffff8200, 0xffff81fe, 0xffcd99cc, 0xffacaafe,
    503   0xffff8100, 0xffcd3366, 0xffac0054, 0xff8302ee,
    504   0xffcccd00, 0xffab55aa, 0xff8202f4, 0xff8301f4,
    505   0xffaaab00, 0xff8102fa, 0xff8201f8, 0xff8300fa,
    506   0xff800300, 0xff8101fc, 0xff8200fc, 0x007d0000,
    507   0xff800200, 0xff8100fe, 0x007e0000, 0x007cff06,
    508   0xff800100, 0x007f0000, 0x007dff04, 0x005355fc,
    509   0x00800000, 0x007eff02, 0x005400a8, 0x003200c8,
    510   0x007fff00, 0x0054ab54, 0x00326730, 0x00007d00,
    511   0x00555600, 0x0032cd98, 0x00007e00, 0x00007c06,
    512   0x00333400, 0x00007f00, 0x00007d04, 0x00007b0c,
    513   0x00008000, 0x00007e02, 0x00007c08, 0x00007a12,
    514   0x00007f00, 0x00007d04, 0x00007b0c, 0x00000fa0,
    515   0x00007e00, 0x00007c06, 0x00000fc0, 0x000002ee,
    516   0x00007d00, 0x00000fe0, 0x000002f4, 0x000001f4,
    517   0x00001000, 0x000002fa, 0x000001f8, 0x000000fa,
    518   0x000002fa, 0x000001f8, 0x000000fa, 0x00000000,
    519   0x000001fc, 0x000000fc, 0x00000000, 0xffffffe0,
    520   0x000000fe, 0x00000000, 0xffffff06, 0xffffffc0,
    521   0x00000000, 0xffffff04, 0xfffffe0c, 0xfffffe00,
    522   0xffffff02, 0xfffffe08, 0xfffff060, 0xfffff060,
    523   0xfffffe04, 0xfffff040, 0xffff85ee, 0xfffff040,
    524   0xfffff020, 0xffff84f4, 0xffff84f4, 0xfffff020,
    525   0xffff83fa, 0xffff83f8, 0xffff83fa, 0xfff999a0,
    526   0xffff82fc, 0xffff82fc, 0xffce0032, 0xfff55560,
    527   0xffff81fe, 0xffcd99cc, 0xffacaafe, 0xfff00060,
    528   0xffcd3366, 0xffac0054, 0xff8302ee, 0xfff00040,
    529   0xffab55aa, 0xff8202f4, 0xff8301f4, 0xfff00020,
    530   0xff8102fa, 0xff8201f8, 0xff8300fa, 0x00100000,
    531   0xff8101fc, 0xff8200fc, 0x007d0000, 0x000fffe0,
    532   0xff8100fe, 0x007e0000, 0x007cff06, 0x000aaac0,
    533   0x007f0000, 0x007dff04, 0x005355fc, 0x00066680,
    534   0x007eff02, 0x005400a8, 0x003200c8, 0x00001000,
    535   0x0054ab54, 0x00326730, 0x00007d00, 0x00000fe0,
    536   0x0032cd98, 0x00007e00, 0x00007c06, 0x00000fc0,
    537   0x00007f00, 0x00007d04, 0x00007b0c, 0x00000fa0,
    538   0x00007e02, 0x00007c08, 0x00007a12, 0x00000200,
    539   0x00007d04, 0x00007b0c, 0x00000fa0, 0x00000060,
    540   0x00007c06, 0x00000fc0, 0x000002ee, 0x00000040,
    541   0x00000fe0, 0x000002f4, 0x000001f4, 0x00000020,
    542   0x000002f4, 0x000001f4, 0x00000020, 0x00000000,
    543   0x000001f8, 0x000000fa, 0x00000000, 0xfffffffa,
    544   0x000000fc, 0x00000000, 0xffffffe0, 0xfffffff4,
    545   0x00000000, 0xffffff06, 0xffffffc0, 0xffffffa0,
    546   0xffffff04, 0xfffffe0c, 0xfffffe00, 0xfffffd12,
    547   0xfffffe08, 0xfffff060, 0xfffff060, 0xfffffd0c,
    548   0xfffff040, 0xffff85ee, 0xfffff040, 0xfffffd06,
    549   0xffff84f4, 0xffff84f4, 0xfffff020, 0xfffeccce,
    550   0xffff83f8, 0xffff83fa, 0xfff999a0, 0xfffe0002,
    551   0xffff82fc, 0xffce0032, 0xfff55560, 0xfffd0012,
    552   0xffcd99cc, 0xffacaafe, 0xfff00060, 0xfffd000c,
    553   0xffac0054, 0xff8302ee, 0xfff00040, 0xfffd0006,
    554   0xff8202f4, 0xff8301f4, 0xfff00020, 0x00030000,
    555   0xff8201f8, 0xff8300fa, 0x00100000, 0x0002fffa,
    556   0xff8200fc, 0x007d0000, 0x000fffe0, 0x00020004,
    557   0x007e0000, 0x007cff06, 0x000aaac0, 0x00013338,
    558   0x007dff04, 0x005355fc, 0x00066680, 0x00000300,
    559   0x005400a8, 0x003200c8, 0x00001000, 0x000002fa,
    560   0x00326730, 0x00007d00, 0x00000fe0, 0x000002f4,
    561   0x00007e00, 0x00007c06, 0x00000fc0, 0x000002ee,
    562   0x00007d04, 0x00007b0c, 0x00000fa0, 0x00000060,
    563   0x00007c08, 0x00007a12, 0x00000200, 0x00000012,
    564   0x00007b0c, 0x00000fa0, 0x00000060, 0x0000000c,
    565   0x00000fc0, 0x000002ee, 0x00000040, 0x00000006,
    566   0x000002ee, 0x00000040, 0x00000006, 0x00000000,
    567   0x000001f4, 0x00000020, 0x00000000, 0xfffffffc,
    568   0x000000fa, 0x00000000, 0xfffffffa, 0xfffffff8,
    569   0x00000000, 0xffffffe0, 0xfffffff4, 0xffffffc0,
    570   0xffffff06, 0xffffffc0, 0xffffffa0, 0xfffffe0c,
    571   0xfffffe0c, 0xfffffe00, 0xfffffd12, 0xfffffe08,
    572   0xfffff060, 0xfffff060, 0xfffffd0c, 0xfffffe04,
    573   0xffff85ee, 0xfffff040, 0xfffffd06, 0xffff3334,
    574   0xffff84f4, 0xfffff020, 0xfffeccce, 0xfffeaaac,
    575   0xffff83fa, 0xfff999a0, 0xfffe0002, 0xfffe000c,
    576   0xffce0032, 0xfff55560, 0xfffd0012, 0xfffe0008,
    577   0xffacaafe, 0xfff00060, 0xfffd000c, 0xfffe0004,
    578   0xff8302ee, 0xfff00040, 0xfffd0006, 0x00020000,
    579   0xff8301f4, 0xfff00020, 0x00030000, 0x0001fffc,
    580   0xff8300fa, 0x00100000, 0x0002fffa, 0x00015558,
    581   0x007d0000, 0x000fffe0, 0x00020004, 0x0000ccd0,
    582   0x007cff06, 0x000aaac0, 0x00013338, 0x00000200,
    583   0x005355fc, 0x00066680, 0x00000300, 0x000001fc,
    584   0x003200c8, 0x00001000, 0x000002fa, 0x000001f8,
    585   0x00007d00, 0x00000fe0, 0x000002f4, 0x000001f4,
    586   0x00007c06, 0x00000fc0, 0x000002ee, 0x00000040,
    587   0x00007b0c, 0x00000fa0, 0x00000060, 0x0000000c,
    588   0x00007a12, 0x00000200, 0x00000012, 0x00000008,
    589   0x00000fa0, 0x00000060, 0x0000000c, 0x00000004,
    590   0x00000060, 0x0000000c, 0x00000004, 0x00000000,
    591   0x00000040, 0x00000006, 0x00000000, 0xfffffffe,
    592   0x00000020, 0x00000000, 0xfffffffc, 0xfffffffc,
    593   0x00000000, 0xfffffffa, 0xfffffff8, 0xffffffe0,
    594   0xffffffe0, 0xfffffff4, 0xffffffc0, 0xffffff06,
    595   0xffffffc0, 0xffffffa0, 0xfffffe0c, 0xffffff04,
    596   0xfffffe00, 0xfffffd12, 0xfffffe08, 0xffffff02,
    597   0xfffff060, 0xfffffd0c, 0xfffffe04, 0xffff999a,
    598   0xfffff040, 0xfffffd06, 0xffff3334, 0xffff5556,
    599   0xfffff020, 0xfffeccce, 0xfffeaaac, 0xffff0006,
    600   0xfff999a0, 0xfffe0002, 0xfffe000c, 0xffff0004,
    601   0xfff55560, 0xfffd0012, 0xfffe0008, 0xffff0002,
    602   0xfff00060, 0xfffd000c, 0xfffe0004, 0x00010000,
    603   0xfff00040, 0xfffd0006, 0x00020000, 0x0000fffe,
    604   0xfff00020, 0x00030000, 0x0001fffc, 0x0000aaac,
    605   0x00100000, 0x0002fffa, 0x00015558, 0x00006668,
    606   0x000fffe0, 0x00020004, 0x0000ccd0, 0x00000100,
    607   0x000aaac0, 0x00013338, 0x00000200, 0x000000fe,
    608   0x00066680, 0x00000300, 0x000001fc, 0x000000fc,
    609   0x00001000, 0x000002fa, 0x000001f8, 0x000000fa,
    610   0x00000fe0, 0x000002f4, 0x000001f4, 0x00000020,
    611   0x00000fc0, 0x000002ee, 0x00000040, 0x00000006,
    612   0x00000fa0, 0x00000060, 0x0000000c, 0x00000004,
    613   0x00000200, 0x00000012, 0x00000008, 0x00000002,
    614 };
    615 const unsigned kExpectedCount_NEON_sqdmull2_4S = 576;
    616 
    617 #endif  // VIXL_SIM_SQDMULL2_4S_TRACE_A64_H_
    618