1// Copyright 2015, VIXL authors
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_AARCH64_H_
35#define VIXL_SIM_SQDMULL2_4S_TRACE_AARCH64_H_
36
37const 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};
615const unsigned kExpectedCount_NEON_sqdmull2_4S = 576;
616
617#endif  // VIXL_SIM_SQDMULL2_4S_TRACE_AARCH64_H_
618