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_MLA_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_MLA_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_mla_4S[] = {
38  0x3e040000, 0x3f010001, 0x00090002, 0x00000020,
39  0x3e820000, 0x7e830001, 0x00000002, 0x00000020,
40  0xfe860000, 0x00000001, 0x007ffd02, 0x00000020,
41  0x00000000, 0x00007f01, 0x00fffa02, 0x00000020,
42  0x00007e00, 0x0000fe01, 0x0fffa002, 0x00000020,
43  0x0000fc00, 0x000fe001, 0x3e7e8902, 0x00000020,
44  0x000fc000, 0x003e0301, 0x3efe8602, 0x00000020,
45  0x003d8600, 0x003e8201, 0x3f7e8302, 0x00000020,
46  0x003e0400, 0x003f0101, 0xfd000902, 0x00000020,
47  0x003e8200, 0x3f7e8301, 0xfd800602, 0x00000020,
48  0x3efe8600, 0x3f7f0201, 0xfe000302, 0x00000020,
49  0x3eff0400, 0x3f7f8101, 0xffe66702, 0x00000020,
50  0x3eff8200, 0x66664d01, 0xaa800102, 0x00000020,
51  0x33331a00, 0x55552b01, 0xfe800902, 0x00000020,
52  0xffffd600, 0xfffe8301, 0xff000602, 0x00000020,
53  0xfffe8600, 0xffff0201, 0xff800302, 0x00000020,
54  0xffff0400, 0xffff8101, 0x00000002, 0x00000020,
55  0xffff8200, 0x00000001, 0x007ffd02, 0x00000020,
56  0x00000000, 0x00007f01, 0x55000202, 0x00000020,
57  0x00007e00, 0xaaaa5601, 0xff999c02, 0x00000020,
58  0xffffac00, 0x99993401, 0x01800002, 0x00000020,
59  0xcccc6800, 0xc0800001, 0x01fffd02, 0x00000020,
60  0xc1000000, 0xc0807f01, 0x027ffa02, 0x00000020,
61  0xc1007e00, 0xc080fe01, 0x02fff702, 0x00000020,
62  0xc100fc00, 0xc0817d01, 0xc0018002, 0x00000020,
63  0xc1017a00, 0xffc08001, 0xc0817d02, 0x00000020,
64  0xffc10000, 0xffc0ff01, 0xc1017a02, 0x00000020,
65  0xffc17e00, 0xffc17e01, 0xc1817702, 0x00000020,
66  0xffc1fc00, 0xffc1fd01, 0xf0006002, 0x00000020,
67  0xffc27a00, 0xfff02001, 0xfe800902, 0x00000020,
68  0xfff04000, 0xfffe8301, 0xff000602, 0x00000020,
69  0xfffe8300, 0xff000601, 0x00000002, 0x00000020,
70  0xffff0200, 0xff800301, 0x00000002, 0x00000021,
71  0xffff8100, 0x00000001, 0x00000002, 0x00000022,
72  0x00000000, 0x007ffd01, 0x00000002, 0x00000040,
73  0x00007f00, 0x00fffa01, 0x00000002, 0x0000009d,
74  0x0000fe00, 0x0fffa001, 0x00000002, 0x0000009e,
75  0x000fe000, 0x3e7e8901, 0x00000002, 0x0000009f,
76  0x003e0300, 0x3efe8601, 0x00000002, 0x0000801d,
77  0x003e8200, 0x3f7e8301, 0x00000002, 0x0000801e,
78  0x003f0100, 0xfd000901, 0x00000002, 0x0000801f,
79  0x3f7e8300, 0xfd800601, 0x00000002, 0x33333353,
80  0x3f7f0200, 0xfe000301, 0x00000002, 0x55555575,
81  0x3f7f8100, 0xffe66701, 0x00000002, 0x8000001d,
82  0x66664d00, 0xaa800101, 0x00000002, 0x8000001e,
83  0x55552b00, 0xfe800901, 0x00000002, 0x8000001f,
84  0xfffe8300, 0xff000601, 0x00000002, 0x80000020,
85  0xffff0200, 0xff800301, 0x00000002, 0x80000021,
86  0xffff8100, 0x00000001, 0x00000002, 0xaaaaaaca,
87  0x00000000, 0x007ffd01, 0x00000002, 0xccccccec,
88  0x00007f00, 0x55000201, 0x00000002, 0xffff8020,
89  0xaaaa5600, 0xff999c01, 0x00000002, 0xffff8021,
90  0x99993400, 0x01800001, 0x00000002, 0xffff8022,
91  0xc0800000, 0x01fffd01, 0x00000002, 0xffff8023,
92  0xc0807f00, 0x027ffa01, 0x00000002, 0xffffffa0,
93  0xc080fe00, 0x02fff701, 0x00000002, 0xffffffa1,
94  0xc0817d00, 0xc0018001, 0x00000002, 0xffffffa2,
95  0xffc08000, 0xc0817d01, 0x00000002, 0xffffffa3,
96  0xffc0ff00, 0xc1017a01, 0x00000002, 0x00000000,
97  0xffc17e00, 0xc1817701, 0x00000002, 0x0000001d,
98  0xffc1fd00, 0xf0006001, 0x00000002, 0x0000001e,
99  0xfff02000, 0xfe800901, 0x00000002, 0x0000001f,
100  0xfe800900, 0x00000001, 0x00000001, 0x00000020,
101  0xff000600, 0x00000001, 0x00000002, 0x00000022,
102  0xff800300, 0x00000001, 0x00000003, 0x00000024,
103  0x00000000, 0x00000001, 0x00000004, 0x00000060,
104  0x007ffd00, 0x00000001, 0x00000022, 0x0000011a,
105  0x00fffa00, 0x00000001, 0x0000007f, 0x0000011c,
106  0x0fffa000, 0x00000001, 0x00000080, 0x0000011e,
107  0x3e7e8900, 0x00000001, 0x00000081, 0x0001001a,
108  0x3efe8600, 0x00000001, 0x00007fff, 0x0001001c,
109  0x3f7e8300, 0x00000001, 0x00008000, 0x0001001e,
110  0xfd000900, 0x00000001, 0x00008001, 0x66666686,
111  0xfd800600, 0x00000001, 0x33333335, 0xaaaaaaca,
112  0xfe000300, 0x00000001, 0x55555557, 0x0000001a,
113  0xffe66700, 0x00000001, 0x7fffffff, 0x0000001c,
114  0xaa800100, 0x00000001, 0x80000000, 0x0000001e,
115  0xfe800900, 0x00000001, 0x80000001, 0x00000020,
116  0xff000600, 0x00000001, 0x80000002, 0x00000022,
117  0xff800300, 0x00000001, 0x80000003, 0x55555574,
118  0x00000000, 0x00000001, 0xaaaaaaac, 0x999999b8,
119  0x007ffd00, 0x00000001, 0xccccccce, 0xffff0020,
120  0x55000200, 0x00000001, 0xffff8002, 0xffff0022,
121  0xff999c00, 0x00000001, 0xffff8003, 0xffff0024,
122  0x01800000, 0x00000001, 0xffff8004, 0xffff0026,
123  0x01fffd00, 0x00000001, 0xffff8005, 0xffffff20,
124  0x027ffa00, 0x00000001, 0xffffff82, 0xffffff22,
125  0x02fff700, 0x00000001, 0xffffff83, 0xffffff24,
126  0xc0018000, 0x00000001, 0xffffff84, 0xffffff26,
127  0xc0817d00, 0x00000001, 0xffffff85, 0xffffffe0,
128  0xc1017a00, 0x00000001, 0xffffffe2, 0x0000001a,
129  0xc1817700, 0x00000001, 0xffffffff, 0x0000001c,
130  0xf0006000, 0x00000001, 0x00000000, 0x0000001e,
131  0x00000000, 0xffffffff, 0x00000000, 0x00000020,
132  0x00000000, 0x00000000, 0x00000002, 0x00000040,
133  0x00000000, 0x00000001, 0x00000004, 0x00000060,
134  0x00000000, 0x00000002, 0x00000006, 0x00000420,
135  0x00000000, 0x00000003, 0x00000042, 0x00000fc0,
136  0x00000000, 0x00000021, 0x000000fc, 0x00000fe0,
137  0x00000000, 0x0000007e, 0x000000fe, 0x00001000,
138  0x00000000, 0x0000007f, 0x00000100, 0x000fffc0,
139  0x00000000, 0x00000080, 0x0000fffc, 0x000fffe0,
140  0x00000000, 0x00007ffe, 0x0000fffe, 0x00100000,
141  0x00000000, 0x00007fff, 0x00010000, 0x66666680,
142  0x00000000, 0x00008000, 0x66666668, 0xaaaaaac0,
143  0x00000000, 0x33333334, 0xaaaaaaac, 0xffffffc0,
144  0x00000000, 0x55555556, 0xfffffffc, 0xffffffe0,
145  0x00000000, 0x7ffffffe, 0xfffffffe, 0x00000000,
146  0x00000000, 0x7fffffff, 0x00000000, 0x00000020,
147  0x00000000, 0x80000000, 0x00000002, 0x00000040,
148  0x00000000, 0x80000001, 0x00000004, 0x55555560,
149  0x00000000, 0x80000002, 0x55555556, 0x999999a0,
150  0x00000000, 0xaaaaaaab, 0x9999999a, 0xfff00020,
151  0x00000000, 0xcccccccd, 0xffff0002, 0xfff00040,
152  0x00000000, 0xffff8001, 0xffff0004, 0xfff00060,
153  0x00000000, 0xffff8002, 0xffff0006, 0xfff00080,
154  0x00000000, 0xffff8003, 0xffff0008, 0xfffff020,
155  0x00000000, 0xffff8004, 0xffffff02, 0xfffff040,
156  0x00000000, 0xffffff81, 0xffffff04, 0xfffff060,
157  0x00000000, 0xffffff82, 0xffffff06, 0xfffff080,
158  0x00000000, 0xffffff83, 0xffffff08, 0xfffffc20,
159  0x00000000, 0xffffff84, 0xffffffc2, 0xffffffc0,
160  0x00000000, 0xffffffe1, 0xfffffffc, 0xffffffe0,
161  0x00000000, 0xfffffffe, 0xfffffffe, 0x00000000,
162  0xfffffffd, 0xfffffffd, 0xffffffe2, 0x00000020,
163  0xfffffffe, 0xffffffff, 0x00000002, 0x0000009d,
164  0xffffffff, 0x00000001, 0x00000022, 0x0000011a,
165  0x00000000, 0x00000003, 0x00000042, 0x00000fc0,
166  0x00000001, 0x00000005, 0x00000402, 0x00003d29,
167  0x00000002, 0x00000041, 0x00000fa2, 0x00003da6,
168  0x00000020, 0x000000fb, 0x00000fc2, 0x00003e23,
169  0x0000007d, 0x000000fd, 0x00000fe2, 0x003e7ea9,
170  0x0000007e, 0x000000ff, 0x000fffa2, 0x003e7f26,
171  0x0000007f, 0x0000fffb, 0x000fffc2, 0x003e7fa3,
172  0x00007ffd, 0x0000fffd, 0x000fffe2, 0x00000007,
173  0x00007ffe, 0x0000ffff, 0x66666662, 0xaaaaaaa1,
174  0x00007fff, 0x66666667, 0xaaaaaaa2, 0x7ffffea9,
175  0x33333333, 0xaaaaaaab, 0xffffffa2, 0x7fffff26,
176  0x55555555, 0xfffffffb, 0xffffffc2, 0x7fffffa3,
177  0x7ffffffd, 0xfffffffd, 0xffffffe2, 0x80000020,
178  0x7ffffffe, 0xffffffff, 0x00000002, 0x8000009d,
179  0x7fffffff, 0x00000001, 0x00000022, 0x55555522,
180  0x80000000, 0x00000003, 0x55555542, 0xffffffbc,
181  0x80000001, 0x55555555, 0x99999982, 0xffc18020,
182  0xaaaaaaaa, 0x99999999, 0xfff00002, 0xffc1809d,
183  0xcccccccc, 0xffff0001, 0xfff00022, 0xffc1811a,
184  0xffff8000, 0xffff0003, 0xfff00042, 0xffc18197,
185  0xffff8001, 0xffff0005, 0xfff00062, 0xffffc1a0,
186  0xffff8002, 0xffff0007, 0xfffff002, 0xffffc21d,
187  0xffff8003, 0xffffff01, 0xfffff022, 0xffffc29a,
188  0xffffff80, 0xffffff03, 0xfffff042, 0xffffc317,
189  0xffffff81, 0xffffff05, 0xfffff062, 0xfffff080,
190  0xffffff82, 0xffffff07, 0xfffffc02, 0xfffffea9,
191  0xffffff83, 0xffffffc1, 0xffffffa2, 0xffffff26,
192  0xffffffe0, 0xfffffffb, 0xffffffc2, 0xffffffa3,
193  0xfffffffa, 0xffffffc1, 0xffffff85, 0x00000020,
194  0xfffffffc, 0xffffffe1, 0x00000002, 0x0000009e,
195  0xfffffffe, 0x00000001, 0x0000007f, 0x0000011c,
196  0x00000000, 0x00000021, 0x000000fc, 0x00000fe0,
197  0x00000002, 0x00000041, 0x00000fa2, 0x00003da6,
198  0x00000004, 0x00000401, 0x00003d0b, 0x00003e24,
199  0x00000040, 0x00000fa1, 0x00003d88, 0x00003ea2,
200  0x000000fa, 0x00000fc1, 0x00003e05, 0x003efea6,
201  0x000000fc, 0x00000fe1, 0x003e7e8b, 0x003eff24,
202  0x000000fe, 0x000fffa1, 0x003e7f08, 0x003effa2,
203  0x0000fffa, 0x000fffc1, 0x003e7f85, 0x3333333a,
204  0x0000fffc, 0x000fffe1, 0xffffffe9, 0xfffffff6,
205  0x0000fffe, 0x66666661, 0xaaaaaa83, 0xfffffea6,
206  0x66666666, 0xaaaaaaa1, 0x7ffffe8b, 0xffffff24,
207  0xaaaaaaaa, 0xffffffa1, 0x7fffff08, 0xffffffa2,
208  0xfffffffa, 0xffffffc1, 0x7fffff85, 0x00000020,
209  0xfffffffc, 0xffffffe1, 0x80000002, 0x0000009e,
210  0xfffffffe, 0x00000001, 0x8000007f, 0xffffffcc,
211  0x00000000, 0x00000021, 0x55555504, 0xcccccc88,
212  0x00000002, 0x55555541, 0xffffff9e, 0xffc10020,
213  0x55555554, 0x99999981, 0xffc18002, 0xffc1009e,
214  0x99999998, 0xfff00001, 0xffc1807f, 0xffc1011c,
215  0xffff0000, 0xfff00021, 0xffc180fc, 0xffc1019a,
216  0xffff0002, 0xfff00041, 0xffc18179, 0xffffc120,
217  0xffff0004, 0xfff00061, 0xffffc182, 0xffffc19e,
218  0xffff0006, 0xfffff001, 0xffffc1ff, 0xffffc21c,
219  0xffffff00, 0xfffff021, 0xffffc27c, 0xffffc29a,
220  0xffffff02, 0xfffff041, 0xffffc2f9, 0xfffff060,
221  0xffffff04, 0xfffff061, 0xfffff062, 0xfffffea6,
222  0xffffff06, 0xfffffc01, 0xfffffe8b, 0xffffff24,
223  0xffffffc0, 0xffffffa1, 0xffffff08, 0xffffffa2,
224  0xffffffa0, 0xffffff07, 0xffffff84, 0x00000020,
225  0xffffffc0, 0xffffff84, 0x00000002, 0x0000009f,
226  0xffffffe0, 0x00000001, 0x00000080, 0x0000011e,
227  0x00000000, 0x0000007e, 0x000000fe, 0x00001000,
228  0x00000020, 0x000000fb, 0x00000fc2, 0x00003e23,
229  0x00000040, 0x00000fa1, 0x00003d88, 0x00003ea2,
230  0x00000400, 0x00003d0a, 0x00003e06, 0x00003f21,
231  0x00000fa0, 0x00003d87, 0x00003e84, 0x003f7ea3,
232  0x00000fc0, 0x00003e04, 0x003efe88, 0x003f7f22,
233  0x00000fe0, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
234  0x000fffa0, 0x003e7f07, 0x003eff84, 0x6666666d,
235  0x000fffc0, 0x003e7f84, 0x3333331c, 0x5555554b,
236  0x000fffe0, 0xffffffe8, 0xffffffd8, 0x7ffffea3,
237  0x66666660, 0xaaaaaa82, 0xfffffe88, 0x7fffff22,
238  0xaaaaaaa0, 0x7ffffe8a, 0xffffff06, 0x7fffffa1,
239  0xffffffa0, 0x7fffff07, 0xffffff84, 0x80000020,
240  0xffffffc0, 0x7fffff84, 0x00000002, 0x8000009f,
241  0xffffffe0, 0x80000001, 0x00000080, 0xaaaaaa76,
242  0x00000000, 0x8000007e, 0xffffffae, 0x99999954,
243  0x00000020, 0x55555503, 0xcccccc6a, 0xffc08020,
244  0x55555540, 0xffffff9d, 0xffc10002, 0xffc0809f,
245  0x99999980, 0xffc18001, 0xffc10080, 0xffc0811e,
246  0xfff00000, 0xffc1807e, 0xffc100fe, 0xffc0819d,
247  0xfff00020, 0xffc180fb, 0xffc1017c, 0xffffc0a0,
248  0xfff00040, 0xffc18178, 0xffffc102, 0xffffc11f,
249  0xfff00060, 0xffffc181, 0xffffc180, 0xffffc19e,
250  0xfffff000, 0xffffc1fe, 0xffffc1fe, 0xffffc21d,
251  0xfffff020, 0xffffc27b, 0xffffc27c, 0xfffff040,
252  0xfffff040, 0xffffc2f8, 0xfffff042, 0xfffffea3,
253  0xfffff060, 0xfffff061, 0xfffffe88, 0xffffff22,
254  0xfffffc00, 0xfffffe8a, 0xffffff06, 0xffffffa1,
255  0xfffffe89, 0xffffff05, 0xffffff83, 0x00000020,
256  0xffffff06, 0xffffff83, 0x00000002, 0x0000801d,
257  0xffffff83, 0x00000001, 0x00000081, 0x0001001a,
258  0x00000000, 0x0000007f, 0x00000100, 0x000fffc0,
259  0x0000007d, 0x000000fd, 0x00000fe2, 0x003e7ea9,
260  0x000000fa, 0x00000fc1, 0x00003e05, 0x003efea6,
261  0x00000fa0, 0x00003d87, 0x00003e84, 0x003f7ea3,
262  0x00003d09, 0x00003e05, 0x00003f03, 0x3ffd0029,
263  0x00003d86, 0x00003e83, 0x003f7e85, 0x3ffd8026,
264  0x00003e03, 0x003efe87, 0x003f7f04, 0x3ffe0023,
265  0x003e7e89, 0x003eff05, 0x003f7f83, 0xffffe687,
266  0x003e7f06, 0x003eff83, 0x6666664f, 0xaaaa8021,
267  0x003e7f83, 0x3333331b, 0x5555552d, 0x7ffe8029,
268  0xffffffe7, 0xffffffd7, 0x7ffffe85, 0x7fff0026,
269  0xaaaaaa81, 0xfffffe87, 0x7fffff04, 0x7fff8023,
270  0x7ffffe89, 0xffffff05, 0x7fffff83, 0x80000020,
271  0x7fffff06, 0xffffff83, 0x80000002, 0x8000801d,
272  0x7fffff83, 0x00000001, 0x80000081, 0x55550022,
273  0x80000000, 0x0000007f, 0xaaaaaa58, 0xffff99bc,
274  0x8000007d, 0xffffffad, 0x99999936, 0xc0018020,
275  0x55555502, 0xcccccc69, 0xffc08002, 0xc002001d,
276  0xffffff9c, 0xffc10001, 0xffc08081, 0xc002801a,
277  0xffc18000, 0xffc1007f, 0xffc08100, 0xc0030017,
278  0xffc1807d, 0xffc100fd, 0xffc0817f, 0xffc001a0,
279  0xffc180fa, 0xffc1017b, 0xffffc082, 0xffc0819d,
280  0xffc18177, 0xffffc101, 0xffffc101, 0xffc1019a,
281  0xffffc180, 0xffffc17f, 0xffffc180, 0xffc18197,
282  0xffffc1fd, 0xffffc1fd, 0xffffc1ff, 0xfff00080,
283  0xffffc27a, 0xffffc27b, 0xfffff022, 0xfffe8029,
284  0xffffc2f7, 0xfffff041, 0xfffffe85, 0xffff0026,
285  0xfffff060, 0xfffffe87, 0xffffff04, 0xffff8023,
286  0xfffffe86, 0xffffff03, 0xffff8005, 0x00000020,
287  0xffffff04, 0xffffff82, 0x00000002, 0x0000801e,
288  0xffffff82, 0x00000001, 0x00007fff, 0x0001001c,
289  0x00000000, 0x00000080, 0x0000fffc, 0x000fffe0,
290  0x0000007e, 0x000000ff, 0x000fffa2, 0x003e7f26,
291  0x000000fc, 0x00000fe1, 0x003e7e8b, 0x003eff24,
292  0x00000fc0, 0x00003e04, 0x003efe88, 0x003f7f22,
293  0x00003d86, 0x00003e83, 0x003f7e85, 0x3ffd8026,
294  0x00003e04, 0x00003f02, 0x3ffd000b, 0x3ffe0024,
295  0x00003e82, 0x003f7e84, 0x3ffd8008, 0x3ffe8022,
296  0x003efe86, 0x003f7f03, 0x3ffe0005, 0x333319ba,
297  0x003eff04, 0x003f7f82, 0xffffe669, 0xffffd576,
298  0x003eff82, 0x6666664e, 0xaaaa8003, 0xfffe8026,
299  0x3333331a, 0x5555552c, 0x7ffe800b, 0xffff0024,
300  0xffffffd6, 0x7ffffe84, 0x7fff0008, 0xffff8022,
301  0xfffffe86, 0x7fffff03, 0x7fff8005, 0x00000020,
302  0xffffff04, 0x7fffff82, 0x80000002, 0x0000801e,
303  0xffffff82, 0x80000001, 0x80007fff, 0xffffaacc,
304  0x00000000, 0x80000080, 0x55550004, 0xcccc6688,
305  0x0000007e, 0xaaaaaa57, 0xffff999e, 0xc0010020,
306  0xffffffac, 0x99999935, 0xc0018002, 0xc001801e,
307  0xcccccc68, 0xffc08001, 0xc001ffff, 0xc002001c,
308  0xffc10000, 0xffc08080, 0xc0027ffc, 0xc002801a,
309  0xffc1007e, 0xffc080ff, 0xc002fff9, 0xffc00120,
310  0xffc100fc, 0xffc0817e, 0xffc00182, 0xffc0811e,
311  0xffc1017a, 0xffffc081, 0xffc0817f, 0xffc1011c,
312  0xffffc100, 0xffffc100, 0xffc1017c, 0xffc1811a,
313  0xffffc17e, 0xffffc17f, 0xffc18179, 0xfff00060,
314  0xffffc1fc, 0xffffc1fe, 0xfff00062, 0xfffe8026,
315  0xffffc27a, 0xfffff021, 0xfffe800b, 0xffff0024,
316  0xfffff040, 0xfffffe84, 0xffff0008, 0xffff8022,
317  0xfffffe83, 0xffff0007, 0xffff8004, 0x00000020,
318  0xffffff02, 0xffff8004, 0x00000002, 0x0000801f,
319  0xffffff81, 0x00000001, 0x00008000, 0x0001001e,
320  0x00000000, 0x00007ffe, 0x0000fffe, 0x00100000,
321  0x0000007f, 0x0000fffb, 0x000fffc2, 0x003e7fa3,
322  0x000000fe, 0x000fffa1, 0x003e7f08, 0x003effa2,
323  0x00000fe0, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
324  0x00003e03, 0x003efe87, 0x003f7f04, 0x3ffe0023,
325  0x00003e82, 0x003f7e84, 0x3ffd8008, 0x3ffe8022,
326  0x00003f01, 0x3ffd000a, 0x3ffe0006, 0x3fff0021,
327  0x003f7e83, 0x3ffd8007, 0x3ffe8004, 0x66664ced,
328  0x003f7f02, 0x3ffe0004, 0x3333199c, 0x55552acb,
329  0x003f7f81, 0xffffe668, 0xffffd558, 0x7ffe8023,
330  0x6666664d, 0xaaaa8002, 0xfffe8008, 0x7fff0022,
331  0x5555552b, 0x7ffe800a, 0xffff0006, 0x7fff8021,
332  0x7ffffe83, 0x7fff0007, 0xffff8004, 0x80000020,
333  0x7fffff02, 0x7fff8004, 0x00000002, 0x8000801f,
334  0x7fffff81, 0x80000001, 0x00008000, 0xaaaa5576,
335  0x80000000, 0x80007ffe, 0xffffaaae, 0x99993354,
336  0x8000007f, 0x55550003, 0xcccc666a, 0xc0008020,
337  0xaaaaaa56, 0xffff999d, 0xc0010002, 0xc001001f,
338  0x99999934, 0xc0018001, 0xc0018000, 0xc001801e,
339  0xffc08000, 0xc001fffe, 0xc001fffe, 0xc002001d,
340  0xffc0807f, 0xc0027ffb, 0xc0027ffc, 0xffc000a0,
341  0xffc080fe, 0xc002fff8, 0xffc00102, 0xffc0809f,
342  0xffc0817d, 0xffc00181, 0xffc08100, 0xffc1009e,
343  0xffffc080, 0xffc0817e, 0xffc100fe, 0xffc1809d,
344  0xffffc0ff, 0xffc1017b, 0xffc180fc, 0xfff00040,
345  0xffffc17e, 0xffc18178, 0xfff00042, 0xfffe8023,
346  0xffffc1fd, 0xfff00061, 0xfffe8008, 0xffff0022,
347  0xfffff020, 0xfffe800a, 0xffff0006, 0xffff8021,
348  0xfffe8009, 0xffff0005, 0xffff8003, 0x00000020,
349  0xffff0006, 0xffff8003, 0x00000002, 0x33333353,
350  0xffff8003, 0x00000001, 0x00008001, 0x66666686,
351  0x00000000, 0x00007fff, 0x00010000, 0x66666680,
352  0x00007ffd, 0x0000fffd, 0x000fffe2, 0x00000007,
353  0x0000fffa, 0x000fffc1, 0x003e7f85, 0x3333333a,
354  0x000fffa0, 0x003e7f07, 0x003eff84, 0x6666666d,
355  0x003e7e89, 0x003eff05, 0x003f7f83, 0xffffe687,
356  0x003efe86, 0x003f7f03, 0x3ffe0005, 0x333319ba,
357  0x003f7e83, 0x3ffd8007, 0x3ffe8004, 0x66664ced,
358  0x3ffd0009, 0x3ffe0005, 0x3fff0003, 0xc28f5c49,
359  0x3ffd8006, 0x3ffe8003, 0x66664ccf, 0xeeeeef0f,
360  0x3ffe0003, 0x3333199b, 0x55552aad, 0xe6666687,
361  0xffffe667, 0xffffd557, 0x7ffe8005, 0x199999ba,
362  0xaaaa8001, 0xfffe8007, 0x7fff0004, 0x4ccccced,
363  0x7ffe8009, 0xffff0005, 0x7fff8003, 0x80000020,
364  0x7fff0006, 0xffff8003, 0x80000002, 0xb3333353,
365  0x7fff8003, 0x00000001, 0x80008001, 0xddddddfe,
366  0x80000000, 0x00007fff, 0xaaaa5558, 0x0a3d70c4,
367  0x80007ffd, 0xffffaaad, 0x99993336, 0x66668020,
368  0x55550002, 0xcccc6669, 0xc0008002, 0x9999b353,
369  0xffff999c, 0xc0010001, 0xc0010001, 0xcccce686,
370  0xc0018000, 0xc0017fff, 0xc0018000, 0x000019b9,
371  0xc001fffd, 0xc001fffd, 0xc001ffff, 0x666666a0,
372  0xc0027ffa, 0xc0027ffb, 0xffc00082, 0x999999d3,
373  0xc002fff7, 0xffc00101, 0xffc08081, 0xcccccd06,
374  0xffc00180, 0xffc080ff, 0xffc10080, 0x00000039,
375  0xffc0817d, 0xffc100fd, 0xffc1807f, 0x999999c0,
376  0xffc1017a, 0xffc180fb, 0xfff00022, 0x66666687,
377  0xffc18177, 0xfff00041, 0xfffe8005, 0x999999ba,
378  0xfff00060, 0xfffe8007, 0xffff0004, 0xcccccced,
379  0xfffe8006, 0xffff0003, 0xcccccccf, 0x00000020,
380  0xffff0004, 0xffff8002, 0x00000002, 0x55555575,
381  0xffff8002, 0x00000001, 0x33333335, 0xaaaaaaca,
382  0x00000000, 0x00008000, 0x66666668, 0xaaaaaac0,
383  0x00007ffe, 0x0000ffff, 0x66666662, 0xaaaaaaa1,
384  0x0000fffc, 0x000fffe1, 0xffffffe9, 0xfffffff6,
385  0x000fffc0, 0x003e7f84, 0x3333331c, 0x5555554b,
386  0x003e7f06, 0x003eff83, 0x6666664f, 0xaaaa8021,
387  0x003eff04, 0x003f7f82, 0xffffe669, 0xffffd576,
388  0x003f7f02, 0x3ffe0004, 0x3333199c, 0x55552acb,
389  0x3ffd8006, 0x3ffe8003, 0x66664ccf, 0xeeeeef0f,
390  0x3ffe0004, 0x3fff0002, 0xc28f5c2b, 0x38e38e59,
391  0x3ffe8002, 0x66664cce, 0xeeeeeef1, 0x80000021,
392  0x3333199a, 0x55552aac, 0xe6666669, 0xd5555576,
393  0xffffd556, 0x7ffe8004, 0x1999999c, 0x2aaaaacb,
394  0xfffe8006, 0x7fff0003, 0x4ccccccf, 0x80000020,
395  0xffff0004, 0x7fff8002, 0x80000002, 0xd5555575,
396  0xffff8002, 0x80000001, 0xb3333335, 0x71c71c92,
397  0x00000000, 0x80008000, 0xdddddde0, 0xbbbbbbdc,
398  0x00007ffe, 0xaaaa5557, 0x0a3d70a6, 0x55558020,
399  0xffffaaac, 0x99993335, 0x66668002, 0xaaaad575,
400  0xcccc6668, 0xc0008001, 0x9999b335, 0x00002aca,
401  0xc0010000, 0xc0010000, 0xcccce668, 0x5555801f,
402  0xc0017ffe, 0xc0017fff, 0x0000199b, 0x555555a0,
403  0xc001fffc, 0xc001fffe, 0x66666682, 0xaaaaaaf5,
404  0xc0027ffa, 0xffc00081, 0x999999b5, 0x0000004a,
405  0xffc00100, 0xffc08080, 0xcccccce8, 0x5555559f,
406  0xffc080fe, 0xffc1007f, 0x0000001b, 0x55555580,
407  0xffc100fc, 0xffc1807e, 0x999999a2, 0x00000021,
408  0xffc180fa, 0xfff00021, 0x66666669, 0x55555576,
409  0xfff00040, 0xfffe8004, 0x9999999c, 0xaaaaaacb,
410  0xfffe8003, 0x9999999b, 0xaaaaaaad, 0x00000020,
411  0xffff0002, 0xccccccce, 0x00000002, 0x8000001d,
412  0xffff8001, 0x00000001, 0x55555557, 0x0000001a,
413  0x00000000, 0x33333334, 0xaaaaaaac, 0xffffffc0,
414  0x00007fff, 0x66666667, 0xaaaaaaa2, 0x7ffffea9,
415  0x0000fffe, 0x66666661, 0xaaaaaa83, 0xfffffea6,
416  0x000fffe0, 0xffffffe8, 0xffffffd8, 0x7ffffea3,
417  0x003e7f83, 0x3333331b, 0x5555552d, 0x7ffe8029,
418  0x003eff82, 0x6666664e, 0xaaaa8003, 0xfffe8026,
419  0x003f7f81, 0xffffe668, 0xffffd558, 0x7ffe8023,
420  0x3ffe0003, 0x3333199b, 0x55552aad, 0xe6666687,
421  0x3ffe8002, 0x66664cce, 0xeeeeeef1, 0x80000021,
422  0x3fff0001, 0xc28f5c2a, 0x38e38e3b, 0x00000029,
423  0x66664ccd, 0xeeeeeef0, 0x80000003, 0x80000026,
424  0x55552aab, 0xe6666668, 0xd5555558, 0x00000023,
425  0x7ffe8003, 0x1999999b, 0x2aaaaaad, 0x80000020,
426  0x7fff0002, 0x4cccccce, 0x80000002, 0x0000001d,
427  0x7fff8001, 0x80000001, 0xd5555557, 0x00000022,
428  0x80000000, 0xb3333334, 0x71c71c74, 0x999999bc,
429  0x80007fff, 0xdddddddf, 0xbbbbbbbe, 0x00018020,
430  0xaaaa5556, 0x0a3d70a5, 0x55558002, 0x8001801d,
431  0x99993334, 0x66668001, 0xaaaad557, 0x0001801a,
432  0xc0008000, 0x9999b334, 0x00002aac, 0x80018017,
433  0xc000ffff, 0xcccce667, 0x55558001, 0x000001a0,
434  0xc0017ffe, 0x0000199a, 0x55555582, 0x8000019d,
435  0xc001fffd, 0x66666681, 0xaaaaaad7, 0x0000019a,
436  0xffc00080, 0x999999b4, 0x0000002c, 0x80000197,
437  0xffc0807f, 0xcccccce7, 0x55555581, 0x00000080,
438  0xffc1007e, 0x0000001a, 0x55555562, 0x80000029,
439  0xffc1807d, 0x999999a1, 0x00000003, 0x00000026,
440  0xfff00020, 0x66666668, 0x55555558, 0x80000023,
441  0x66666667, 0x55555557, 0x80000005, 0x00000020,
442  0x9999999a, 0xaaaaaaac, 0x00000002, 0x8000001e,
443  0xcccccccd, 0x00000001, 0x7fffffff, 0x0000001c,
444  0x00000000, 0x55555556, 0xfffffffc, 0xffffffe0,
445  0x33333333, 0xaaaaaaab, 0xffffffa2, 0x7fffff26,
446  0x66666666, 0xaaaaaaa1, 0x7ffffe8b, 0xffffff24,
447  0x66666660, 0xaaaaaa82, 0xfffffe88, 0x7fffff22,
448  0xffffffe7, 0xffffffd7, 0x7ffffe85, 0x7fff0026,
449  0x3333331a, 0x5555552c, 0x7ffe800b, 0xffff0024,
450  0x6666664d, 0xaaaa8002, 0xfffe8008, 0x7fff0022,
451  0xffffe667, 0xffffd557, 0x7ffe8005, 0x199999ba,
452  0x3333199a, 0x55552aac, 0xe6666669, 0xd5555576,
453  0x66664ccd, 0xeeeeeef0, 0x80000003, 0x80000026,
454  0xc28f5c29, 0x38e38e3a, 0x0000000b, 0x00000024,
455  0xeeeeeeef, 0x80000002, 0x80000008, 0x80000022,
456  0xe6666667, 0xd5555557, 0x00000005, 0x00000020,
457  0x1999999a, 0x2aaaaaac, 0x80000002, 0x8000001e,
458  0x4ccccccd, 0x80000001, 0xffffffff, 0xaaaaaacc,
459  0x80000000, 0xd5555556, 0x00000004, 0x66666688,
460  0xb3333333, 0x71c71c73, 0x9999999e, 0x00010020,
461  0xddddddde, 0xbbbbbbbd, 0x00018002, 0x8001001e,
462  0x0a3d70a4, 0x55558001, 0x80017fff, 0x0001001c,
463  0x66668000, 0xaaaad556, 0x00017ffc, 0x8001001a,
464  0x9999b333, 0x00002aab, 0x80017ff9, 0x00000120,
465  0xcccce666, 0x55558000, 0x00000182, 0x8000011e,
466  0x00001999, 0x55555581, 0x8000017f, 0x0000011c,
467  0x66666680, 0xaaaaaad6, 0x0000017c, 0x8000011a,
468  0x999999b3, 0x0000002b, 0x80000179, 0x00000060,
469  0xcccccce6, 0x55555580, 0x00000062, 0x80000026,
470  0x00000019, 0x55555561, 0x8000000b, 0x00000024,
471  0x999999a0, 0x00000002, 0x00000008, 0x80000022,
472  0x00000001, 0x00000007, 0x80000004, 0x00000020,
473  0x55555556, 0x80000004, 0x00000002, 0x8000001f,
474  0xaaaaaaab, 0x00000001, 0x80000000, 0x0000001e,
475  0x00000000, 0x7ffffffe, 0xfffffffe, 0x00000000,
476  0x55555555, 0xfffffffb, 0xffffffc2, 0x7fffffa3,
477  0xaaaaaaaa, 0xffffffa1, 0x7fffff08, 0xffffffa2,
478  0xaaaaaaa0, 0x7ffffe8a, 0xffffff06, 0x7fffffa1,
479  0xaaaaaa81, 0xfffffe87, 0x7fffff04, 0x7fff8023,
480  0xffffffd6, 0x7ffffe84, 0x7fff0008, 0xffff8022,
481  0x5555552b, 0x7ffe800a, 0xffff0006, 0x7fff8021,
482  0xaaaa8001, 0xfffe8007, 0x7fff0004, 0x4ccccced,
483  0xffffd556, 0x7ffe8004, 0x1999999c, 0x2aaaaacb,
484  0x55552aab, 0xe6666668, 0xd5555558, 0x00000023,
485  0xeeeeeeef, 0x80000002, 0x80000008, 0x80000022,
486  0x38e38e39, 0x0000000a, 0x00000006, 0x00000021,
487  0x80000001, 0x80000007, 0x80000004, 0x80000020,
488  0xd5555556, 0x00000004, 0x00000002, 0x0000001f,
489  0x2aaaaaab, 0x80000001, 0x80000000, 0x55555576,
490  0x80000000, 0xfffffffe, 0xaaaaaaae, 0x33333354,
491  0xd5555555, 0x00000003, 0x6666666a, 0x00008020,
492  0x71c71c72, 0x9999999d, 0x00010002, 0x8000801f,
493  0xbbbbbbbc, 0x00018001, 0x80010000, 0x0000801e,
494  0x55558000, 0x80017ffe, 0x0000fffe, 0x8000801d,
495  0xaaaad555, 0x00017ffb, 0x8000fffc, 0x000000a0,
496  0x00002aaa, 0x80017ff8, 0x00000102, 0x8000009f,
497  0x55557fff, 0x00000181, 0x80000100, 0x0000009e,
498  0x55555580, 0x8000017e, 0x000000fe, 0x8000009d,
499  0xaaaaaad5, 0x0000017b, 0x800000fc, 0x00000040,
500  0x0000002a, 0x80000178, 0x00000042, 0x80000023,
501  0x5555557f, 0x00000061, 0x80000008, 0x00000022,
502  0x55555560, 0x8000000a, 0x00000006, 0x80000021,
503  0x80000009, 0x00000005, 0x80000003, 0x00000020,
504  0x00000006, 0x80000003, 0x00000002, 0x80000020,
505  0x80000003, 0x00000001, 0x80000001, 0x00000020,
506  0x00000000, 0x7fffffff, 0x00000000, 0x00000020,
507  0x7ffffffd, 0xfffffffd, 0xffffffe2, 0x80000020,
508  0xfffffffa, 0xffffffc1, 0x7fffff85, 0x00000020,
509  0xffffffa0, 0x7fffff07, 0xffffff84, 0x80000020,
510  0x7ffffe89, 0xffffff05, 0x7fffff83, 0x80000020,
511  0xfffffe86, 0x7fffff03, 0x7fff8005, 0x00000020,
512  0x7ffffe83, 0x7fff0007, 0xffff8004, 0x80000020,
513  0x7ffe8009, 0xffff0005, 0x7fff8003, 0x80000020,
514  0xfffe8006, 0x7fff0003, 0x4ccccccf, 0x80000020,
515  0x7ffe8003, 0x1999999b, 0x2aaaaaad, 0x80000020,
516  0xe6666667, 0xd5555557, 0x00000005, 0x00000020,
517  0x80000001, 0x80000007, 0x80000004, 0x80000020,
518  0x00000009, 0x00000005, 0x00000003, 0x00000020,
519  0x80000006, 0x80000003, 0x80000002, 0x80000020,
520  0x00000003, 0x00000001, 0x00000001, 0x00000020,
521  0x80000000, 0x7fffffff, 0x55555558, 0x00000020,
522  0xfffffffd, 0xaaaaaaad, 0x33333336, 0x00000020,
523  0x00000002, 0x66666669, 0x00008002, 0x80000020,
524  0x9999999c, 0x00010001, 0x80008001, 0x00000020,
525  0x00018000, 0x8000ffff, 0x00008000, 0x80000020,
526  0x80017ffd, 0x0000fffd, 0x80007fff, 0x00000020,
527  0x00017ffa, 0x8000fffb, 0x00000082, 0x80000020,
528  0x80017ff7, 0x00000101, 0x80000081, 0x00000020,
529  0x00000180, 0x800000ff, 0x00000080, 0x80000020,
530  0x8000017d, 0x000000fd, 0x8000007f, 0x00000020,
531  0x0000017a, 0x800000fb, 0x00000022, 0x80000020,
532  0x80000177, 0x00000041, 0x80000005, 0x00000020,
533  0x00000060, 0x80000007, 0x00000004, 0x80000020,
534  0x80000006, 0x00000003, 0x80000002, 0x00000020,
535  0x00000004, 0x80000002, 0x00000002, 0x80000021,
536  0x80000002, 0x00000001, 0x80000002, 0x00000022,
537  0x00000000, 0x80000000, 0x00000002, 0x00000040,
538  0x7ffffffe, 0xffffffff, 0x00000002, 0x8000009d,
539  0xfffffffc, 0xffffffe1, 0x80000002, 0x0000009e,
540  0xffffffc0, 0x7fffff84, 0x00000002, 0x8000009f,
541  0x7fffff06, 0xffffff83, 0x80000002, 0x8000801d,
542  0xffffff04, 0x7fffff82, 0x80000002, 0x0000801e,
543  0x7fffff02, 0x7fff8004, 0x00000002, 0x8000801f,
544  0x7fff0006, 0xffff8003, 0x80000002, 0xb3333353,
545  0xffff0004, 0x7fff8002, 0x80000002, 0xd5555575,
546  0x7fff0002, 0x4cccccce, 0x80000002, 0x0000001d,
547  0x1999999a, 0x2aaaaaac, 0x80000002, 0x8000001e,
548  0xd5555556, 0x00000004, 0x00000002, 0x0000001f,
549  0x80000006, 0x80000003, 0x80000002, 0x80000020,
550  0x00000004, 0x00000002, 0x00000002, 0x00000021,
551  0x80000002, 0x80000001, 0x80000002, 0xaaaaaaca,
552  0x00000000, 0x00000000, 0x00000002, 0xccccccec,
553  0x7ffffffe, 0x55555557, 0x00000002, 0xffff8020,
554  0xaaaaaaac, 0x33333335, 0x00000002, 0x7fff8021,
555  0x66666668, 0x00008001, 0x80000002, 0xffff8022,
556  0x00010000, 0x80008000, 0x00000002, 0x7fff8023,
557  0x8000fffe, 0x00007fff, 0x80000002, 0xffffffa0,
558  0x0000fffc, 0x80007ffe, 0x00000002, 0x7fffffa1,
559  0x8000fffa, 0x00000081, 0x80000002, 0xffffffa2,
560  0x00000100, 0x80000080, 0x00000002, 0x7fffffa3,
561  0x800000fe, 0x0000007f, 0x80000002, 0x00000000,
562  0x000000fc, 0x8000007e, 0x00000002, 0x8000001d,
563  0x800000fa, 0x00000021, 0x80000002, 0x0000001e,
564  0x00000040, 0x80000004, 0x00000002, 0x8000001f,
565  0x80000003, 0x00000001, 0x80000001, 0x00000020,
566  0x00000002, 0x80000001, 0x00000002, 0xaaaaaaca,
567  0x80000001, 0x00000001, 0x80000003, 0x55555574,
568  0x00000000, 0x80000001, 0x00000004, 0x55555560,
569  0x7fffffff, 0x00000001, 0x00000022, 0x55555522,
570  0xfffffffe, 0x00000001, 0x8000007f, 0xffffffcc,
571  0xffffffe0, 0x80000001, 0x00000080, 0xaaaaaa76,
572  0x7fffff83, 0x00000001, 0x80000081, 0x55550022,
573  0xffffff82, 0x80000001, 0x80007fff, 0xffffaacc,
574  0x7fffff81, 0x80000001, 0x00008000, 0xaaaa5576,
575  0x7fff8003, 0x00000001, 0x80008001, 0xddddddfe,
576  0xffff8002, 0x80000001, 0xb3333335, 0x71c71c92,
577  0x7fff8001, 0x80000001, 0xd5555557, 0x00000022,
578  0x4ccccccd, 0x80000001, 0xffffffff, 0xaaaaaacc,
579  0x2aaaaaab, 0x80000001, 0x80000000, 0x55555576,
580  0x00000003, 0x00000001, 0x00000001, 0x00000020,
581  0x80000002, 0x80000001, 0x80000002, 0xaaaaaaca,
582  0x00000001, 0x00000001, 0x00000003, 0xe38e3904,
583  0x80000000, 0x80000001, 0xaaaaaaac, 0x77777798,
584  0xffffffff, 0x00000001, 0xccccccce, 0xaaab0020,
585  0x55555556, 0x00000001, 0xffff8002, 0x5555aaca,
586  0x33333334, 0x00000001, 0x7fff8003, 0x00005574,
587  0x00008000, 0x80000001, 0xffff8004, 0xaaab001e,
588  0x80007fff, 0x00000001, 0x7fff8005, 0xaaaaab20,
589  0x00007ffe, 0x80000001, 0xffffff82, 0x555555ca,
590  0x80007ffd, 0x00000001, 0x7fffff83, 0x00000074,
591  0x00000080, 0x80000001, 0xffffff84, 0xaaaaab1e,
592  0x8000007f, 0x00000001, 0x7fffff85, 0xaaaaaae0,
593  0x0000007e, 0x80000001, 0xffffffe2, 0x00000022,
594  0x8000007d, 0x00000001, 0x7fffffff, 0xaaaaaacc,
595  0x00000020, 0x80000001, 0x00000000, 0x55555576,
596  0x80000000, 0xffffffff, 0x55555558, 0x00000020,
597  0x00000000, 0x80000000, 0x00000002, 0xccccccec,
598  0x80000000, 0x00000001, 0xaaaaaaac, 0x999999b8,
599  0x00000000, 0x80000002, 0x55555556, 0x999999a0,
600  0x80000000, 0x00000003, 0x55555542, 0xffffffbc,
601  0x00000000, 0x00000021, 0x55555504, 0xcccccc88,
602  0x00000000, 0x8000007e, 0xffffffae, 0x99999954,
603  0x80000000, 0x0000007f, 0xaaaaaa58, 0xffff99bc,
604  0x00000000, 0x80000080, 0x55550004, 0xcccc6688,
605  0x80000000, 0x80007ffe, 0xffffaaae, 0x99993354,
606  0x80000000, 0x00007fff, 0xaaaa5558, 0x0a3d70c4,
607  0x00000000, 0x80008000, 0xdddddde0, 0xbbbbbbdc,
608  0x80000000, 0xb3333334, 0x71c71c74, 0x999999bc,
609  0x80000000, 0xd5555556, 0x00000004, 0x66666688,
610  0x80000000, 0xfffffffe, 0xaaaaaaae, 0x33333354,
611  0x80000000, 0x7fffffff, 0x55555558, 0x00000020,
612  0x00000000, 0x00000000, 0x00000002, 0xccccccec,
613  0x80000000, 0x80000001, 0xaaaaaaac, 0x77777798,
614  0x00000000, 0x00000002, 0xe38e38e6, 0x28f5c2b0,
615  0x80000000, 0xaaaaaaab, 0x7777777a, 0x999a0020,
616  0x00000000, 0xcccccccd, 0xaaab0002, 0x6666ccec,
617  0x00000000, 0xffff8001, 0x5555aaac, 0x333399b8,
618  0x00000000, 0x7fff8002, 0x00005556, 0x00006684,
619  0x80000000, 0xffff8003, 0xaaab0000, 0x99999a20,
620  0x00000000, 0x7fff8004, 0xaaaaab02, 0x666666ec,
621  0x80000000, 0xffffff81, 0x555555ac, 0x333333b8,
622  0x00000000, 0x7fffff82, 0x00000056, 0x00000084,
623  0x80000000, 0xffffff83, 0xaaaaab00, 0x666666a0,
624  0x00000000, 0x7fffff84, 0xaaaaaac2, 0x999999bc,
625  0x80000000, 0xffffffe1, 0x00000004, 0x66666688,
626  0x00000000, 0x7ffffffe, 0xaaaaaaae, 0x33333354,
627  0x7ffffffd, 0xaaaaaaad, 0x33333336, 0x00000020,
628  0xfffffffe, 0x55555557, 0x00000002, 0xffff8020,
629  0x7fffffff, 0x00000001, 0xccccccce, 0xffff0020,
630  0x00000000, 0xaaaaaaab, 0x9999999a, 0xfff00020,
631  0x80000001, 0x55555555, 0x99999982, 0xffc18020,
632  0x00000002, 0x55555541, 0xffffff9e, 0xffc10020,
633  0x00000020, 0x55555503, 0xcccccc6a, 0xffc08020,
634  0x8000007d, 0xffffffad, 0x99999936, 0xc0018020,
635  0x0000007e, 0xaaaaaa57, 0xffff999e, 0xc0010020,
636  0x8000007f, 0x55550003, 0xcccc666a, 0xc0008020,
637  0x80007ffd, 0xffffaaad, 0x99993336, 0x66668020,
638  0x00007ffe, 0xaaaa5557, 0x0a3d70a6, 0x55558020,
639  0x80007fff, 0xdddddddf, 0xbbbbbbbe, 0x00018020,
640  0xb3333333, 0x71c71c73, 0x9999999e, 0x00010020,
641  0xd5555555, 0x00000003, 0x6666666a, 0x00008020,
642  0xfffffffd, 0xaaaaaaad, 0x33333336, 0x00000020,
643  0x7ffffffe, 0x55555557, 0x00000002, 0xffff8020,
644  0xffffffff, 0x00000001, 0xccccccce, 0xaaab0020,
645  0x80000000, 0xaaaaaaab, 0x7777777a, 0x999a0020,
646  0x00000001, 0xe38e38e5, 0x28f5c292, 0x40000020,
647  0xaaaaaaaa, 0x77777779, 0x999a0002, 0x3fff8020,
648  0xcccccccc, 0xaaab0001, 0x6666ccce, 0x3fff0020,
649  0xffff8000, 0x5555aaab, 0x3333999a, 0x3ffe8020,
650  0x7fff8001, 0x00005555, 0x00006666, 0x00400020,
651  0xffff8002, 0xaaaaffff, 0x99999a02, 0x003f8020,
652  0x7fff8003, 0xaaaaab01, 0x666666ce, 0x003f0020,
653  0xffffff80, 0x555555ab, 0x3333339a, 0x003e8020,
654  0x7fffff81, 0x00000055, 0x00000066, 0x00100020,
655  0xffffff82, 0xaaaaaaff, 0x66666682, 0x00018020,
656  0x7fffff83, 0xaaaaaac1, 0x9999999e, 0x00010020,
657  0xffffffe0, 0x00000003, 0x6666666a, 0x00008020,
658  0x00000002, 0x66666669, 0x00008002, 0x00000020,
659  0xaaaaaaac, 0x33333335, 0x00000002, 0xffff8021,
660  0x55555556, 0x00000001, 0xffff8002, 0xffff0022,
661  0x00000000, 0xcccccccd, 0xffff0002, 0xfff00040,
662  0xaaaaaaaa, 0x99999999, 0xfff00002, 0xffc1809d,
663  0x55555554, 0x99999981, 0xffc18002, 0xffc1009e,
664  0x55555540, 0xffffff9d, 0xffc10002, 0xffc0809f,
665  0x55555502, 0xcccccc69, 0xffc08002, 0xc002001d,
666  0xffffffac, 0x99999935, 0xc0018002, 0xc001801e,
667  0xaaaaaa56, 0xffff999d, 0xc0010002, 0xc001001f,
668  0x55550002, 0xcccc6669, 0xc0008002, 0x9999b353,
669  0xffffaaac, 0x99993335, 0x66668002, 0xaaaad575,
670  0xaaaa5556, 0x0a3d70a5, 0x55558002, 0x8001801d,
671  0xddddddde, 0xbbbbbbbd, 0x00018002, 0x8001001e,
672  0x71c71c72, 0x9999999d, 0x00010002, 0x8000801f,
673  0x00000002, 0x66666669, 0x00008002, 0x80000020,
674  0xaaaaaaac, 0x33333335, 0x00000002, 0x7fff8021,
675  0x55555556, 0x00000001, 0xffff8002, 0x5555aaca,
676  0x00000000, 0xcccccccd, 0xaaab0002, 0x6666ccec,
677  0xaaaaaaaa, 0x77777779, 0x999a0002, 0x3fff8020,
678  0xe38e38e4, 0x28f5c291, 0x40000002, 0x3fff0021,
679  0x77777778, 0x999a0001, 0x3fff8002, 0x3ffe8022,
680  0xaaab0000, 0x6666cccd, 0x3fff0002, 0x3ffe0023,
681  0x5555aaaa, 0x33339999, 0x3ffe8002, 0x003fffa0,
682  0x00005554, 0x00006665, 0x00400002, 0x003f7fa1,
683  0xaaaafffe, 0x99999a01, 0x003f8002, 0x003effa2,
684  0xaaaaab00, 0x666666cd, 0x003f0002, 0x003e7fa3,
685  0x555555aa, 0x33333399, 0x003e8002, 0x00100000,
686  0x00000054, 0x00000065, 0x00100002, 0x0001801d,
687  0xaaaaaafe, 0x66666681, 0x00018002, 0x0001001e,
688  0xaaaaaac0, 0x9999999d, 0x00010002, 0x0000801f,
689  0x9999999c, 0x00010001, 0x00008001, 0x00000020,
690  0x66666668, 0x00008001, 0x00000002, 0xffff8022,
691  0x33333334, 0x00000001, 0xffff8003, 0xffff0024,
692  0x00000000, 0xffff8001, 0xffff0004, 0xfff00060,
693  0xcccccccc, 0xffff0001, 0xfff00022, 0xffc1811a,
694  0x99999998, 0xfff00001, 0xffc1807f, 0xffc1011c,
695  0x99999980, 0xffc18001, 0xffc10080, 0xffc0811e,
696  0xffffff9c, 0xffc10001, 0xffc08081, 0xc002801a,
697  0xcccccc68, 0xffc08001, 0xc001ffff, 0xc002001c,
698  0x99999934, 0xc0018001, 0xc0018000, 0xc001801e,
699  0xffff999c, 0xc0010001, 0xc0010001, 0xcccce686,
700  0xcccc6668, 0xc0008001, 0x9999b335, 0x00002aca,
701  0x99993334, 0x66668001, 0xaaaad557, 0x0001801a,
702  0x0a3d70a4, 0x55558001, 0x80017fff, 0x0001001c,
703  0xbbbbbbbc, 0x00018001, 0x80010000, 0x0000801e,
704  0x9999999c, 0x00010001, 0x80008001, 0x00000020,
705  0x66666668, 0x00008001, 0x80000002, 0xffff8022,
706  0x33333334, 0x00000001, 0x7fff8003, 0x00005574,
707  0x00000000, 0xffff8001, 0x5555aaac, 0x333399b8,
708  0xcccccccc, 0xaaab0001, 0x6666ccce, 0x3fff0020,
709  0x77777778, 0x999a0001, 0x3fff8002, 0x3ffe8022,
710  0x28f5c290, 0x40000001, 0x3fff0003, 0x3ffe0024,
711  0x999a0000, 0x3fff8001, 0x3ffe8004, 0x3ffd8026,
712  0x6666cccc, 0x3fff0001, 0x3ffe0005, 0x003fff20,
713  0x33339998, 0x3ffe8001, 0x003fff82, 0x003f7f22,
714  0x00006664, 0x00400001, 0x003f7f83, 0x003eff24,
715  0x99999a00, 0x003f8001, 0x003eff84, 0x003e7f26,
716  0x666666cc, 0x003f0001, 0x003e7f85, 0x000fffe0,
717  0x33333398, 0x003e8001, 0x000fffe2, 0x0001801a,
718  0x00000064, 0x00100001, 0x00017fff, 0x0001001c,
719  0x66666680, 0x00018001, 0x00010000, 0x0000801e,
720  0x00018000, 0x0000ffff, 0x00008000, 0x00000020,
721  0x00010000, 0x00008000, 0x00000002, 0xffff8023,
722  0x00008000, 0x00000001, 0xffff8004, 0xffff0026,
723  0x00000000, 0xffff8002, 0xffff0006, 0xfff00080,
724  0xffff8000, 0xffff0003, 0xfff00042, 0xffc18197,
725  0xffff0000, 0xfff00021, 0xffc180fc, 0xffc1019a,
726  0xfff00000, 0xffc1807e, 0xffc100fe, 0xffc0819d,
727  0xffc18000, 0xffc1007f, 0xffc08100, 0xc0030017,
728  0xffc10000, 0xffc08080, 0xc0027ffc, 0xc002801a,
729  0xffc08000, 0xc001fffe, 0xc001fffe, 0xc002001d,
730  0xc0018000, 0xc0017fff, 0xc0018000, 0x000019b9,
731  0xc0010000, 0xc0010000, 0xcccce668, 0x5555801f,
732  0xc0008000, 0x9999b334, 0x00002aac, 0x80018017,
733  0x66668000, 0xaaaad556, 0x00017ffc, 0x8001001a,
734  0x55558000, 0x80017ffe, 0x0000fffe, 0x8000801d,
735  0x00018000, 0x8000ffff, 0x00008000, 0x80000020,
736  0x00010000, 0x80008000, 0x00000002, 0x7fff8023,
737  0x00008000, 0x80000001, 0xffff8004, 0xaaab001e,
738  0x00000000, 0x7fff8002, 0x00005556, 0x00006684,
739  0xffff8000, 0x5555aaab, 0x3333999a, 0x3ffe8020,
740  0xaaab0000, 0x6666cccd, 0x3fff0002, 0x3ffe0023,
741  0x999a0000, 0x3fff8001, 0x3ffe8004, 0x3ffd8026,
742  0x40000000, 0x3fff0002, 0x3ffe0006, 0x3ffd0029,
743  0x3fff8000, 0x3ffe8003, 0x3ffd8008, 0x003ffea0,
744  0x3fff0000, 0x3ffe0004, 0x003fff02, 0x003f7ea3,
745  0x3ffe8000, 0x003fff81, 0x003f7f04, 0x003efea6,
746  0x00400000, 0x003f7f82, 0x003eff06, 0x003e7ea9,
747  0x003f8000, 0x003eff83, 0x003e7f08, 0x000fffc0,
748  0x003f0000, 0x003e7f84, 0x000fffc2, 0x00018017,
749  0x003e8000, 0x000fffe1, 0x00017ffc, 0x0001001a,
750  0x00100000, 0x00017ffe, 0x0000fffe, 0x0000801d,
751  0x00017ffd, 0x0000fffd, 0x00007fff, 0x00000020,
752  0x0000fffe, 0x00007fff, 0x00000002, 0xffffffa0,
753  0x00007fff, 0x00000001, 0xffff8005, 0xffffff20,
754  0x00000000, 0xffff8003, 0xffff0008, 0xfffff020,
755  0xffff8001, 0xffff0005, 0xfff00062, 0xffffc1a0,
756  0xffff0002, 0xfff00041, 0xffc18179, 0xffffc120,
757  0xfff00020, 0xffc180fb, 0xffc1017c, 0xffffc0a0,
758  0xffc1807d, 0xffc100fd, 0xffc0817f, 0xffc001a0,
759  0xffc1007e, 0xffc080ff, 0xc002fff9, 0xffc00120,
760  0xffc0807f, 0xc0027ffb, 0xc0027ffc, 0xffc000a0,
761  0xc001fffd, 0xc001fffd, 0xc001ffff, 0x666666a0,
762  0xc0017ffe, 0xc0017fff, 0x0000199b, 0x555555a0,
763  0xc000ffff, 0xcccce667, 0x55558001, 0x000001a0,
764  0x9999b333, 0x00002aab, 0x80017ff9, 0x00000120,
765  0xaaaad555, 0x00017ffb, 0x8000fffc, 0x000000a0,
766  0x80017ffd, 0x0000fffd, 0x80007fff, 0x00000020,
767  0x8000fffe, 0x00007fff, 0x80000002, 0xffffffa0,
768  0x80007fff, 0x00000001, 0x7fff8005, 0xaaaaab20,
769  0x80000000, 0xffff8003, 0xaaab0000, 0x99999a20,
770  0x7fff8001, 0x00005555, 0x00006666, 0x00400020,
771  0x5555aaaa, 0x33339999, 0x3ffe8002, 0x003fffa0,
772  0x6666cccc, 0x3fff0001, 0x3ffe0005, 0x003fff20,
773  0x3fff8000, 0x3ffe8003, 0x3ffd8008, 0x003ffea0,
774  0x3fff0001, 0x3ffe0005, 0x3ffd000b, 0x00004020,
775  0x3ffe8002, 0x3ffd8007, 0x003ffe82, 0x00003fa0,
776  0x3ffe0003, 0x003fff01, 0x003f7e85, 0x00003f20,
777  0x003fff80, 0x003f7f03, 0x003efe88, 0x00003ea0,
778  0x003f7f81, 0x003eff05, 0x003e7e8b, 0x00001020,
779  0x003eff82, 0x003e7f07, 0x000fffa2, 0x000001a0,
780  0x003e7f83, 0x000fffc1, 0x00017ff9, 0x00000120,
781  0x000fffe0, 0x00017ffb, 0x0000fffc, 0x000000a0,
782  0x00017ffa, 0x0000fffb, 0x00000082, 0x00000020,
783  0x0000fffc, 0x00007ffe, 0x00000002, 0xffffffa1,
784  0x00007ffe, 0x00000001, 0xffffff82, 0xffffff22,
785  0x00000000, 0xffff8004, 0xffffff02, 0xfffff040,
786  0xffff8002, 0xffff0007, 0xfffff002, 0xffffc21d,
787  0xffff0004, 0xfff00061, 0xffffc182, 0xffffc19e,
788  0xfff00040, 0xffc18178, 0xffffc102, 0xffffc11f,
789  0xffc180fa, 0xffc1017b, 0xffffc082, 0xffc0819d,
790  0xffc100fc, 0xffc0817e, 0xffc00182, 0xffc0811e,
791  0xffc080fe, 0xc002fff8, 0xffc00102, 0xffc0809f,
792  0xc0027ffa, 0xc0027ffb, 0xffc00082, 0x999999d3,
793  0xc001fffc, 0xc001fffe, 0x66666682, 0xaaaaaaf5,
794  0xc0017ffe, 0x0000199a, 0x55555582, 0x8000019d,
795  0xcccce666, 0x55558000, 0x00000182, 0x8000011e,
796  0x00002aaa, 0x80017ff8, 0x00000102, 0x8000009f,
797  0x00017ffa, 0x8000fffb, 0x00000082, 0x80000020,
798  0x0000fffc, 0x80007ffe, 0x00000002, 0x7fffffa1,
799  0x00007ffe, 0x80000001, 0xffffff82, 0x555555ca,
800  0x00000000, 0x7fff8004, 0xaaaaab02, 0x666666ec,
801  0xffff8002, 0xaaaaffff, 0x99999a02, 0x003f8020,
802  0x00005554, 0x00006665, 0x00400002, 0x003f7fa1,
803  0x33339998, 0x3ffe8001, 0x003fff82, 0x003f7f22,
804  0x3fff0000, 0x3ffe0004, 0x003fff02, 0x003f7ea3,
805  0x3ffe8002, 0x3ffd8007, 0x003ffe82, 0x00003fa0,
806  0x3ffe0004, 0x3ffd000a, 0x00004002, 0x00003f21,
807  0x3ffd8006, 0x003ffe81, 0x00003f82, 0x00003ea2,
808  0x003fff00, 0x003f7e84, 0x00003f02, 0x00003e23,
809  0x003f7f02, 0x003efe87, 0x00003e82, 0x00001000,
810  0x003eff04, 0x003e7e8a, 0x00001002, 0x0000019d,
811  0x003e7f06, 0x000fffa1, 0x00000182, 0x0000011e,
812  0x000fffc0, 0x00017ff8, 0x00000102, 0x0000009f,
813  0x00017ff7, 0x00000101, 0x00000081, 0x00000020,
814  0x0000fffa, 0x00000081, 0x00000002, 0xffffffa2,
815  0x00007ffd, 0x00000001, 0xffffff83, 0xffffff24,
816  0x00000000, 0xffffff81, 0xffffff04, 0xfffff060,
817  0xffff8003, 0xffffff01, 0xfffff022, 0xffffc29a,
818  0xffff0006, 0xfffff001, 0xffffc1ff, 0xffffc21c,
819  0xfff00060, 0xffffc181, 0xffffc180, 0xffffc19e,
820  0xffc18177, 0xffffc101, 0xffffc101, 0xffc1019a,
821  0xffc1017a, 0xffffc081, 0xffc0817f, 0xffc1011c,
822  0xffc0817d, 0xffc00181, 0xffc08100, 0xffc1009e,
823  0xc002fff7, 0xffc00101, 0xffc08081, 0xcccccd06,
824  0xc0027ffa, 0xffc00081, 0x999999b5, 0x0000004a,
825  0xc001fffd, 0x66666681, 0xaaaaaad7, 0x0000019a,
826  0x00001999, 0x55555581, 0x8000017f, 0x0000011c,
827  0x55557fff, 0x00000181, 0x80000100, 0x0000009e,
828  0x80017ff7, 0x00000101, 0x80000081, 0x00000020,
829  0x8000fffa, 0x00000081, 0x80000002, 0xffffffa2,
830  0x80007ffd, 0x00000001, 0x7fffff83, 0x00000074,
831  0x80000000, 0xffffff81, 0x555555ac, 0x333333b8,
832  0x7fff8003, 0xaaaaab01, 0x666666ce, 0x003f0020,
833  0xaaaafffe, 0x99999a01, 0x003f8002, 0x003effa2,
834  0x00006664, 0x00400001, 0x003f7f83, 0x003eff24,
835  0x3ffe8000, 0x003fff81, 0x003f7f04, 0x003efea6,
836  0x3ffe0003, 0x003fff01, 0x003f7e85, 0x00003f20,
837  0x3ffd8006, 0x003ffe81, 0x00003f82, 0x00003ea2,
838  0x3ffd0009, 0x00004001, 0x00003f03, 0x00003e24,
839  0x003ffe80, 0x00003f81, 0x00003e84, 0x00003da6,
840  0x003f7e83, 0x00003f01, 0x00003e05, 0x00000fe0,
841  0x003efe86, 0x00003e81, 0x00000fe2, 0x0000019a,
842  0x003e7e89, 0x00001001, 0x0000017f, 0x0000011c,
843  0x000fffa0, 0x00000181, 0x00000100, 0x0000009e,
844  0x00000180, 0x000000ff, 0x00000080, 0x00000020,
845  0x00000100, 0x00000080, 0x00000002, 0xffffffa3,
846  0x00000080, 0x00000001, 0xffffff84, 0xffffff26,
847  0x00000000, 0xffffff82, 0xffffff06, 0xfffff080,
848  0xffffff80, 0xffffff03, 0xfffff042, 0xffffc317,
849  0xffffff00, 0xfffff021, 0xffffc27c, 0xffffc29a,
850  0xfffff000, 0xffffc1fe, 0xffffc1fe, 0xffffc21d,
851  0xffffc180, 0xffffc17f, 0xffffc180, 0xffc18197,
852  0xffffc100, 0xffffc100, 0xffc1017c, 0xffc1811a,
853  0xffffc080, 0xffc0817e, 0xffc100fe, 0xffc1809d,
854  0xffc00180, 0xffc080ff, 0xffc10080, 0x00000039,
855  0xffc00100, 0xffc08080, 0xcccccce8, 0x5555559f,
856  0xffc00080, 0x999999b4, 0x0000002c, 0x80000197,
857  0x66666680, 0xaaaaaad6, 0x0000017c, 0x8000011a,
858  0x55555580, 0x8000017e, 0x000000fe, 0x8000009d,
859  0x00000180, 0x800000ff, 0x00000080, 0x80000020,
860  0x00000100, 0x80000080, 0x00000002, 0x7fffffa3,
861  0x00000080, 0x80000001, 0xffffff84, 0xaaaaab1e,
862  0x00000000, 0x7fffff82, 0x00000056, 0x00000084,
863  0xffffff80, 0x555555ab, 0x3333339a, 0x003e8020,
864  0xaaaaab00, 0x666666cd, 0x003f0002, 0x003e7fa3,
865  0x99999a00, 0x003f8001, 0x003eff84, 0x003e7f26,
866  0x00400000, 0x003f7f82, 0x003eff06, 0x003e7ea9,
867  0x003fff80, 0x003f7f03, 0x003efe88, 0x00003ea0,
868  0x003fff00, 0x003f7e84, 0x00003f02, 0x00003e23,
869  0x003ffe80, 0x00003f81, 0x00003e84, 0x00003da6,
870  0x00004000, 0x00003f02, 0x00003e06, 0x00003d29,
871  0x00003f80, 0x00003e83, 0x00003d88, 0x00000fc0,
872  0x00003f00, 0x00003e04, 0x00000fc2, 0x00000197,
873  0x00003e80, 0x00000fe1, 0x0000017c, 0x0000011a,
874  0x00001000, 0x0000017e, 0x000000fe, 0x0000009d,
875  0x0000017d, 0x000000fd, 0x0000007f, 0x00000020,
876  0x000000fe, 0x0000007f, 0x00000002, 0x00000000,
877  0x0000007f, 0x00000001, 0xffffff85, 0xffffffe0,
878  0x00000000, 0xffffff83, 0xffffff08, 0xfffffc20,
879  0xffffff81, 0xffffff05, 0xfffff062, 0xfffff080,
880  0xffffff02, 0xfffff041, 0xffffc2f9, 0xfffff060,
881  0xfffff020, 0xffffc27b, 0xffffc27c, 0xfffff040,
882  0xffffc1fd, 0xffffc1fd, 0xffffc1ff, 0xfff00080,
883  0xffffc17e, 0xffffc17f, 0xffc18179, 0xfff00060,
884  0xffffc0ff, 0xffc1017b, 0xffc180fc, 0xfff00040,
885  0xffc0817d, 0xffc100fd, 0xffc1807f, 0x999999c0,
886  0xffc080fe, 0xffc1007f, 0x0000001b, 0x55555580,
887  0xffc0807f, 0xcccccce7, 0x55555581, 0x00000080,
888  0x999999b3, 0x0000002b, 0x80000179, 0x00000060,
889  0xaaaaaad5, 0x0000017b, 0x800000fc, 0x00000040,
890  0x8000017d, 0x000000fd, 0x8000007f, 0x00000020,
891  0x800000fe, 0x0000007f, 0x80000002, 0x00000000,
892  0x8000007f, 0x00000001, 0x7fffff85, 0xaaaaaae0,
893  0x80000000, 0xffffff83, 0xaaaaab00, 0x666666a0,
894  0x7fffff81, 0x00000055, 0x00000066, 0x00100020,
895  0x555555aa, 0x33333399, 0x003e8002, 0x00100000,
896  0x666666cc, 0x003f0001, 0x003e7f85, 0x000fffe0,
897  0x003f8000, 0x003eff83, 0x003e7f08, 0x000fffc0,
898  0x003f7f81, 0x003eff05, 0x003e7e8b, 0x00001020,
899  0x003f7f02, 0x003efe87, 0x00003e82, 0x00001000,
900  0x003f7e83, 0x00003f01, 0x00003e05, 0x00000fe0,
901  0x00003f80, 0x00003e83, 0x00003d88, 0x00000fc0,
902  0x00003f01, 0x00003e05, 0x00003d0b, 0x00000420,
903  0x00003e82, 0x00003d87, 0x00000fa2, 0x00000080,
904  0x00003e03, 0x00000fc1, 0x00000179, 0x00000060,
905  0x00000fe0, 0x0000017b, 0x000000fc, 0x00000040,
906  0x0000017a, 0x000000fb, 0x00000022, 0x00000020,
907  0x000000fc, 0x0000007e, 0x00000002, 0x0000001d,
908  0x0000007e, 0x00000001, 0xffffffe2, 0x0000001a,
909  0x00000000, 0xffffff84, 0xffffffc2, 0xffffffc0,
910  0xffffff82, 0xffffff07, 0xfffffc02, 0xfffffea9,
911  0xffffff04, 0xfffff061, 0xfffff062, 0xfffffea6,
912  0xfffff040, 0xffffc2f8, 0xfffff042, 0xfffffea3,
913  0xffffc27a, 0xffffc27b, 0xfffff022, 0xfffe8029,
914  0xffffc1fc, 0xffffc1fe, 0xfff00062, 0xfffe8026,
915  0xffffc17e, 0xffc18178, 0xfff00042, 0xfffe8023,
916  0xffc1017a, 0xffc180fb, 0xfff00022, 0x66666687,
917  0xffc100fc, 0xffc1807e, 0x999999a2, 0x00000021,
918  0xffc1007e, 0x0000001a, 0x55555562, 0x80000029,
919  0xcccccce6, 0x55555580, 0x00000062, 0x80000026,
920  0x0000002a, 0x80000178, 0x00000042, 0x80000023,
921  0x0000017a, 0x800000fb, 0x00000022, 0x80000020,
922  0x000000fc, 0x8000007e, 0x00000002, 0x8000001d,
923  0x0000007e, 0x80000001, 0xffffffe2, 0x00000022,
924  0x00000000, 0x7fffff84, 0xaaaaaac2, 0x999999bc,
925  0xffffff82, 0xaaaaaaff, 0x66666682, 0x00018020,
926  0x00000054, 0x00000065, 0x00100002, 0x0001801d,
927  0x33333398, 0x003e8001, 0x000fffe2, 0x0001801a,
928  0x003f0000, 0x003e7f84, 0x000fffc2, 0x00018017,
929  0x003eff82, 0x003e7f07, 0x000fffa2, 0x000001a0,
930  0x003eff04, 0x003e7e8a, 0x00001002, 0x0000019d,
931  0x003efe86, 0x00003e81, 0x00000fe2, 0x0000019a,
932  0x00003f00, 0x00003e04, 0x00000fc2, 0x00000197,
933  0x00003e82, 0x00003d87, 0x00000fa2, 0x00000080,
934  0x00003e04, 0x00003d0a, 0x00000402, 0x00000029,
935  0x00003d86, 0x00000fa1, 0x00000062, 0x00000026,
936  0x00000fc0, 0x00000178, 0x00000042, 0x00000023,
937  0x00000177, 0x00000041, 0x00000005, 0x00000020,
938  0x000000fa, 0x00000021, 0x00000002, 0x0000001e,
939  0x0000007d, 0x00000001, 0xffffffff, 0x0000001c,
940  0x00000000, 0xffffffe1, 0xfffffffc, 0xffffffe0,
941  0xffffff83, 0xffffffc1, 0xffffffa2, 0xffffff26,
942  0xffffff06, 0xfffffc01, 0xfffffe8b, 0xffffff24,
943  0xfffff060, 0xfffff061, 0xfffffe88, 0xffffff22,
944  0xffffc2f7, 0xfffff041, 0xfffffe85, 0xffff0026,
945  0xffffc27a, 0xfffff021, 0xfffe800b, 0xffff0024,
946  0xffffc1fd, 0xfff00061, 0xfffe8008, 0xffff0022,
947  0xffc18177, 0xfff00041, 0xfffe8005, 0x999999ba,
948  0xffc180fa, 0xfff00021, 0x66666669, 0x55555576,
949  0xffc1807d, 0x999999a1, 0x00000003, 0x00000026,
950  0x00000019, 0x55555561, 0x8000000b, 0x00000024,
951  0x5555557f, 0x00000061, 0x80000008, 0x00000022,
952  0x80000177, 0x00000041, 0x80000005, 0x00000020,
953  0x800000fa, 0x00000021, 0x80000002, 0x0000001e,
954  0x8000007d, 0x00000001, 0x7fffffff, 0xaaaaaacc,
955  0x80000000, 0xffffffe1, 0x00000004, 0x66666688,
956  0x7fffff83, 0xaaaaaac1, 0x9999999e, 0x00010020,
957  0xaaaaaafe, 0x66666681, 0x00018002, 0x0001001e,
958  0x00000064, 0x00100001, 0x00017fff, 0x0001001c,
959  0x003e8000, 0x000fffe1, 0x00017ffc, 0x0001001a,
960  0x003e7f83, 0x000fffc1, 0x00017ff9, 0x00000120,
961  0x003e7f06, 0x000fffa1, 0x00000182, 0x0000011e,
962  0x003e7e89, 0x00001001, 0x0000017f, 0x0000011c,
963  0x00003e80, 0x00000fe1, 0x0000017c, 0x0000011a,
964  0x00003e03, 0x00000fc1, 0x00000179, 0x00000060,
965  0x00003d86, 0x00000fa1, 0x00000062, 0x00000026,
966  0x00003d09, 0x00000401, 0x0000000b, 0x00000024,
967  0x00000fa0, 0x00000061, 0x00000008, 0x00000022,
968  0x00000060, 0x00000007, 0x00000004, 0x00000020,
969  0x00000040, 0x00000004, 0x00000002, 0x0000001f,
970  0x00000020, 0x00000001, 0x00000000, 0x0000001e,
971  0x00000000, 0xfffffffe, 0xfffffffe, 0x00000000,
972  0xffffffe0, 0xfffffffb, 0xffffffc2, 0xffffffa3,
973  0xffffffc0, 0xffffffa1, 0xffffff08, 0xffffffa2,
974  0xfffffc00, 0xfffffe8a, 0xffffff06, 0xffffffa1,
975  0xfffff060, 0xfffffe87, 0xffffff04, 0xffff8023,
976  0xfffff040, 0xfffffe84, 0xffff0008, 0xffff8022,
977  0xfffff020, 0xfffe800a, 0xffff0006, 0xffff8021,
978  0xfff00060, 0xfffe8007, 0xffff0004, 0xcccccced,
979  0xfff00040, 0xfffe8004, 0x9999999c, 0xaaaaaacb,
980  0xfff00020, 0x66666668, 0x55555558, 0x80000023,
981  0x999999a0, 0x00000002, 0x00000008, 0x80000022,
982  0x55555560, 0x8000000a, 0x00000006, 0x80000021,
983  0x00000060, 0x80000007, 0x00000004, 0x80000020,
984  0x00000040, 0x80000004, 0x00000002, 0x8000001f,
985  0x00000020, 0x80000001, 0x00000000, 0x55555576,
986  0x00000000, 0x7ffffffe, 0xaaaaaaae, 0x33333354,
987  0xffffffe0, 0x00000003, 0x6666666a, 0x00008020,
988  0xaaaaaac0, 0x9999999d, 0x00010002, 0x0000801f,
989  0x66666680, 0x00018001, 0x00010000, 0x0000801e,
990  0x00100000, 0x00017ffe, 0x0000fffe, 0x0000801d,
991  0x000fffe0, 0x00017ffb, 0x0000fffc, 0x000000a0,
992  0x000fffc0, 0x00017ff8, 0x00000102, 0x0000009f,
993  0x000fffa0, 0x00000181, 0x00000100, 0x0000009e,
994  0x00001000, 0x0000017e, 0x000000fe, 0x0000009d,
995  0x00000fe0, 0x0000017b, 0x000000fc, 0x00000040,
996  0x00000fc0, 0x00000178, 0x00000042, 0x00000023,
997  0x00000fa0, 0x00000061, 0x00000008, 0x00000022,
998  0x00000400, 0x0000000a, 0x00000006, 0x00000021,
999};
1000const unsigned kExpectedCount_NEON_mla_4S = 961;
1001
1002#endif  // VIXL_SIM_MLA_4S_TRACE_AARCH64_H_
1003