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_SMLAL2_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SMLAL2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_smlal2_4S[] = {
38  0x3ffd0009, 0x3ffe0005, 0x3fff0003, 0x00000020,
39  0x3ffd8006, 0x3ffe8003, 0x00000002, 0x00000020,
40  0x3ffe0003, 0x00000001, 0x00008001, 0x00000020,
41  0x00000000, 0x00007fff, 0x00010000, 0x00000020,
42  0x00007ffd, 0x0000fffd, 0x0007fff2, 0x00000020,
43  0x0000fffa, 0x0007ffe1, 0x003e7f85, 0x00000020,
44  0x0007ffd0, 0x003e7f07, 0x003eff84, 0x00000020,
45  0x003e7e89, 0x003eff05, 0x003f7f83, 0x00000020,
46  0x003efe86, 0x003f7f03, 0x19994ccf, 0x00000020,
47  0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x00000020,
48  0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x00000020,
49  0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x00000020,
50  0x3ffd0009, 0x3ffe0005, 0x3fff0003, 0x00000020,
51  0x3ffd8006, 0x3ffe8003, 0xc0008002, 0x00000020,
52  0x3ffe0003, 0xc0010001, 0xc0010001, 0x00000020,
53  0xc0018000, 0xc0017fff, 0xd5555558, 0x00000020,
54  0xc001fffd, 0xd555aaad, 0xe6663336, 0x00000020,
55  0xd5560002, 0xe6666669, 0xffc00082, 0x00000020,
56  0xe666999c, 0xffc00101, 0xffc08081, 0x00000020,
57  0xffc00180, 0xffc080ff, 0xffc10080, 0x00000020,
58  0xffc0817d, 0xffc100fd, 0xffc1807f, 0x00000020,
59  0xffc1017a, 0xffc180fb, 0xfff80012, 0x00000020,
60  0xffc18177, 0xfff80021, 0xfffe8005, 0x00000020,
61  0xfff80030, 0xfffe8007, 0xffff0004, 0x00000020,
62  0xfffe8006, 0xffff0003, 0x00000002, 0x00000020,
63  0xffff0004, 0xffff8002, 0x00000002, 0x00000021,
64  0xffff8002, 0x00000001, 0x00000002, 0x00000022,
65  0x00000000, 0x00008000, 0x00000002, 0x00000030,
66  0x00007ffe, 0x0000ffff, 0x00000002, 0x0000009d,
67  0x0000fffc, 0x0007fff1, 0x00000002, 0x0000009e,
68  0x0007ffe0, 0x003e7f84, 0x00000002, 0x0000009f,
69  0x003e7f06, 0x003eff83, 0x00000002, 0x00003353,
70  0x003eff04, 0x003f7f82, 0x00000002, 0x00005575,
71  0x003f7f02, 0x19994cce, 0x00000002, 0x0000801d,
72  0x1999199a, 0x2aaa2aac, 0x00000002, 0x0000801e,
73  0x2aa9d556, 0x3ffe0004, 0x00000002, 0x0000801f,
74  0x3ffd8006, 0x3ffe8003, 0x00000002, 0xffff8020,
75  0x3ffe0004, 0x3fff0002, 0x00000002, 0xffff8021,
76  0x3ffe8002, 0xc0008001, 0x00000002, 0xffffaaca,
77  0xc0010000, 0xc0010000, 0x00000002, 0xffffccec,
78  0xc0017ffe, 0xd5555557, 0x00000002, 0xffffffa0,
79  0xd555aaac, 0xe6663335, 0x00000002, 0xffffffa1,
80  0xe6666668, 0xffc00081, 0x00000002, 0xffffffa2,
81  0xffc00100, 0xffc08080, 0x00000002, 0xffffffa3,
82  0xffc080fe, 0xffc1007f, 0x00000002, 0x00000010,
83  0xffc100fc, 0xffc1807e, 0x00000002, 0x0000001d,
84  0xffc180fa, 0xfff80011, 0x00000002, 0x0000001e,
85  0xfff80020, 0xfffe8004, 0x00000002, 0x0000001f,
86  0xfffe8003, 0x00000001, 0x00000001, 0x00000020,
87  0xffff0002, 0x00000001, 0x00000002, 0x00000022,
88  0xffff8001, 0x00000001, 0x00000003, 0x00000024,
89  0x00000000, 0x00000001, 0x00000004, 0x00000040,
90  0x00007fff, 0x00000001, 0x00000012, 0x0000011a,
91  0x0000fffe, 0x00000001, 0x0000007f, 0x0000011c,
92  0x0007fff0, 0x00000001, 0x00000080, 0x0000011e,
93  0x003e7f83, 0x00000001, 0x00000081, 0x00006686,
94  0x003eff82, 0x00000001, 0x00003335, 0x0000aaca,
95  0x003f7f81, 0x00000001, 0x00005557, 0x0001001a,
96  0x19994ccd, 0x00000001, 0x00007fff, 0x0001001c,
97  0x2aaa2aab, 0x00000001, 0x00008000, 0x0001001e,
98  0x3ffe0003, 0x00000001, 0x00008001, 0xffff0020,
99  0x3ffe8002, 0x00000001, 0xffff8002, 0xffff0022,
100  0x3fff0001, 0x00000001, 0xffff8003, 0xffff5574,
101  0xc0008000, 0x00000001, 0xffffaaac, 0xffff99b8,
102  0xc000ffff, 0x00000001, 0xffffccce, 0xffffff20,
103  0xd5555556, 0x00000001, 0xffffff82, 0xffffff22,
104  0xe6663334, 0x00000001, 0xffffff83, 0xffffff24,
105  0xffc00080, 0x00000001, 0xffffff84, 0xffffff26,
106  0xffc0807f, 0x00000001, 0xffffff85, 0x00000000,
107  0xffc1007e, 0x00000001, 0xfffffff2, 0x0000001a,
108  0xffc1807d, 0x00000001, 0xffffffff, 0x0000001c,
109  0xfff80010, 0x00000001, 0x00000000, 0x0000001e,
110  0x00000000, 0xffffffff, 0x00000000, 0x00000020,
111  0x00000000, 0x00000000, 0x00000002, 0x00000030,
112  0x00000000, 0x00000001, 0x00000004, 0x00000040,
113  0x00000000, 0x00000002, 0x00000006, 0x00000120,
114  0x00000000, 0x00000003, 0x00000022, 0x000007f0,
115  0x00000000, 0x00000011, 0x000000fc, 0x00000800,
116  0x00000000, 0x0000007e, 0x000000fe, 0x00000810,
117  0x00000000, 0x0000007f, 0x00000100, 0x00033350,
118  0x00000000, 0x00000080, 0x00006668, 0x00055570,
119  0x00000000, 0x00003334, 0x0000aaac, 0x0007fff0,
120  0x00000000, 0x00005556, 0x0000fffc, 0x00080000,
121  0x00000000, 0x00007ffe, 0x0000fffe, 0x00080010,
122  0x00000000, 0x00007fff, 0x00010000, 0xfff80020,
123  0x00000000, 0x00008000, 0xffff0002, 0xfff80030,
124  0x00000000, 0xffff8001, 0xffff0004, 0xfffaaac0,
125  0x00000000, 0xffff8002, 0xffff5556, 0xfffccce0,
126  0x00000000, 0xffffaaab, 0xffff999a, 0xfffff820,
127  0x00000000, 0xffffcccd, 0xffffff02, 0xfffff830,
128  0x00000000, 0xffffff81, 0xffffff04, 0xfffff840,
129  0x00000000, 0xffffff82, 0xffffff06, 0xfffff850,
130  0x00000000, 0xffffff83, 0xffffff08, 0xffffff20,
131  0x00000000, 0xffffff84, 0xffffffe2, 0xfffffff0,
132  0x00000000, 0xfffffff1, 0xfffffffc, 0x00000000,
133  0x00000000, 0xfffffffe, 0xfffffffe, 0x00000010,
134  0xfffffffd, 0xfffffffd, 0xfffffff2, 0x00000020,
135  0xfffffffe, 0xffffffff, 0x00000002, 0x0000009d,
136  0xffffffff, 0x00000001, 0x00000012, 0x0000011a,
137  0x00000000, 0x00000003, 0x00000022, 0x000007f0,
138  0x00000001, 0x00000005, 0x00000102, 0x00003d29,
139  0x00000002, 0x00000021, 0x000007d2, 0x00003da6,
140  0x00000010, 0x000000fb, 0x000007e2, 0x00003e23,
141  0x0000007d, 0x000000fd, 0x000007f2, 0x00190007,
142  0x0000007e, 0x000000ff, 0x00033332, 0x0029aaa1,
143  0x0000007f, 0x00006667, 0x00055552, 0x003e7ea9,
144  0x00003333, 0x0000aaab, 0x0007ffd2, 0x003e7f26,
145  0x00005555, 0x0000fffb, 0x0007ffe2, 0x003e7fa3,
146  0x00007ffd, 0x0000fffd, 0x0007fff2, 0xffc18020,
147  0x00007ffe, 0x0000ffff, 0xfff80002, 0xffc1809d,
148  0x00007fff, 0xffff0001, 0xfff80012, 0xffd65522,
149  0xffff8000, 0xffff0003, 0xfffaaaa2, 0xffe6ffbc,
150  0xffff8001, 0xffff5555, 0xfffcccc2, 0xffffc1a0,
151  0xffffaaaa, 0xffff9999, 0xfffff802, 0xffffc21d,
152  0xffffcccc, 0xffffff01, 0xfffff812, 0xffffc29a,
153  0xffffff80, 0xffffff03, 0xfffff822, 0xffffc317,
154  0xffffff81, 0xffffff05, 0xfffff832, 0xfffff850,
155  0xffffff82, 0xffffff07, 0xffffff02, 0xfffffea9,
156  0xffffff83, 0xffffffe1, 0xffffffd2, 0xffffff26,
157  0xfffffff0, 0xfffffffb, 0xffffffe2, 0xffffffa3,
158  0xfffffffa, 0xffffffe1, 0xffffff85, 0x00000020,
159  0xfffffffc, 0xfffffff1, 0x00000002, 0x0000009e,
160  0xfffffffe, 0x00000001, 0x0000007f, 0x0000011c,
161  0x00000000, 0x00000011, 0x000000fc, 0x00000800,
162  0x00000002, 0x00000021, 0x000007d2, 0x00003da6,
163  0x00000004, 0x00000101, 0x00003d0b, 0x00003e24,
164  0x00000020, 0x000007d1, 0x00003d88, 0x00003ea2,
165  0x000000fa, 0x000007e1, 0x00003e05, 0x0019333a,
166  0x000000fc, 0x000007f1, 0x0018ffe9, 0x0029fff6,
167  0x000000fe, 0x00033331, 0x0029aa83, 0x003efea6,
168  0x00006666, 0x00055551, 0x003e7e8b, 0x003eff24,
169  0x0000aaaa, 0x0007ffd1, 0x003e7f08, 0x003effa2,
170  0x0000fffa, 0x0007ffe1, 0x003e7f85, 0xffc10020,
171  0x0000fffc, 0x0007fff1, 0xffc18002, 0xffc1009e,
172  0x0000fffe, 0xfff80001, 0xffc1807f, 0xffd5ffcc,
173  0xffff0000, 0xfff80011, 0xffd65504, 0xffe6cc88,
174  0xffff0002, 0xfffaaaa1, 0xffe6ff9e, 0xffffc120,
175  0xffff5554, 0xfffcccc1, 0xffffc182, 0xffffc19e,
176  0xffff9998, 0xfffff801, 0xffffc1ff, 0xffffc21c,
177  0xffffff00, 0xfffff811, 0xffffc27c, 0xffffc29a,
178  0xffffff02, 0xfffff821, 0xffffc2f9, 0xfffff840,
179  0xffffff04, 0xfffff831, 0xfffff832, 0xfffffea6,
180  0xffffff06, 0xffffff01, 0xfffffe8b, 0xffffff24,
181  0xffffffe0, 0xffffffd1, 0xffffff08, 0xffffffa2,
182  0xffffffd0, 0xffffff07, 0xffffff84, 0x00000020,
183  0xffffffe0, 0xffffff84, 0x00000002, 0x0000009f,
184  0xfffffff0, 0x00000001, 0x00000080, 0x0000011e,
185  0x00000000, 0x0000007e, 0x000000fe, 0x00000810,
186  0x00000010, 0x000000fb, 0x000007e2, 0x00003e23,
187  0x00000020, 0x000007d1, 0x00003d88, 0x00003ea2,
188  0x00000100, 0x00003d0a, 0x00003e06, 0x00003f21,
189  0x000007d0, 0x00003d87, 0x00003e84, 0x0019666d,
190  0x000007e0, 0x00003e04, 0x0019331c, 0x002a554b,
191  0x000007f0, 0x0018ffe8, 0x0029ffd8, 0x003f7ea3,
192  0x00033330, 0x0029aa82, 0x003efe88, 0x003f7f22,
193  0x00055550, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
194  0x0007ffd0, 0x003e7f07, 0x003eff84, 0xffc08020,
195  0x0007ffe0, 0x003e7f84, 0xffc10002, 0xffc0809f,
196  0x0007fff0, 0xffc18001, 0xffc10080, 0xffd5aa76,
197  0xfff80000, 0xffc1807e, 0xffd5ffae, 0xffe69954,
198  0xfff80010, 0xffd65503, 0xffe6cc6a, 0xffffc0a0,
199  0xfffaaaa0, 0xffe6ff9d, 0xffffc102, 0xffffc11f,
200  0xfffcccc0, 0xffffc181, 0xffffc180, 0xffffc19e,
201  0xfffff800, 0xffffc1fe, 0xffffc1fe, 0xffffc21d,
202  0xfffff810, 0xffffc27b, 0xffffc27c, 0xfffff830,
203  0xfffff820, 0xffffc2f8, 0xfffff822, 0xfffffea3,
204  0xfffff830, 0xfffff831, 0xfffffe88, 0xffffff22,
205  0xffffff00, 0xfffffe8a, 0xffffff06, 0xffffffa1,
206  0xfffffe89, 0xffffff05, 0xffffff83, 0x00000020,
207  0xffffff06, 0xffffff83, 0x00000002, 0x00003353,
208  0xffffff83, 0x00000001, 0x00000081, 0x00006686,
209  0x00000000, 0x0000007f, 0x00000100, 0x00033350,
210  0x0000007d, 0x000000fd, 0x000007f2, 0x00190007,
211  0x000000fa, 0x000007e1, 0x00003e05, 0x0019333a,
212  0x000007d0, 0x00003d87, 0x00003e84, 0x0019666d,
213  0x00003d09, 0x00003e05, 0x00003f03, 0x0a3d5c49,
214  0x00003d86, 0x00003e83, 0x0019664f, 0x1110ef0f,
215  0x00003e03, 0x0019331b, 0x002a552d, 0x1998e687,
216  0x0018ffe7, 0x0029ffd7, 0x003f7e85, 0x199919ba,
217  0x0029aa81, 0x003efe87, 0x003f7f04, 0x19994ced,
218  0x003e7e89, 0x003eff05, 0x003f7f83, 0xe6668020,
219  0x003e7f06, 0x003eff83, 0xffc08002, 0xe666b353,
220  0x003e7f83, 0xffc10001, 0xffc08081, 0xeeeeddfe,
221  0xffc18000, 0xffc1007f, 0xffd5aa58, 0xf5c270c4,
222  0xffc1807d, 0xffd5ffad, 0xffe69936, 0xffe666a0,
223  0xffd65502, 0xffe6cc69, 0xffffc082, 0xffe699d3,
224  0xffe6ff9c, 0xffffc101, 0xffffc101, 0xffe6cd06,
225  0xffffc180, 0xffffc17f, 0xffffc180, 0xffe70039,
226  0xffffc1fd, 0xffffc1fd, 0xffffc1ff, 0xfffcccf0,
227  0xffffc27a, 0xffffc27b, 0xfffff812, 0xffff6687,
228  0xffffc2f7, 0xfffff821, 0xfffffe85, 0xffff99ba,
229  0xfffff830, 0xfffffe87, 0xffffff04, 0xffffcced,
230  0xfffffe86, 0xffffff03, 0xffffcccf, 0x00000020,
231  0xffffff04, 0xffffff82, 0x00000002, 0x00005575,
232  0xffffff82, 0x00000001, 0x00003335, 0x0000aaca,
233  0x00000000, 0x00000080, 0x00006668, 0x00055570,
234  0x0000007e, 0x000000ff, 0x00033332, 0x0029aaa1,
235  0x000000fc, 0x000007f1, 0x0018ffe9, 0x0029fff6,
236  0x000007e0, 0x00003e04, 0x0019331c, 0x002a554b,
237  0x00003d86, 0x00003e83, 0x0019664f, 0x1110ef0f,
238  0x00003e04, 0x00003f02, 0x0a3d5c2b, 0x1c718e59,
239  0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
240  0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
241  0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
242  0x003efe86, 0x003f7f03, 0x19994ccf, 0xd5558020,
243  0x003eff04, 0x003f7f82, 0xe6668002, 0xd555d575,
244  0x003eff82, 0xffc08001, 0xe666b335, 0xe38e1c92,
245  0xffc10000, 0xffc08080, 0xeeeedde0, 0xeeeebbdc,
246  0xffc1007e, 0xffd5aa57, 0xf5c270a6, 0xffd555a0,
247  0xffd5ffac, 0xffe69935, 0xffe66682, 0xffd5aaf5,
248  0xffe6cc68, 0xffffc081, 0xffe699b5, 0xffd6004a,
249  0xffffc100, 0xffffc100, 0xffe6cce8, 0xffd6559f,
250  0xffffc17e, 0xffffc17f, 0xffe7001b, 0xfffaaad0,
251  0xffffc1fc, 0xffffc1fe, 0xfffcccd2, 0xffff0021,
252  0xffffc27a, 0xfffff811, 0xffff6669, 0xffff5576,
253  0xfffff820, 0xfffffe84, 0xffff999c, 0xffffaacb,
254  0xfffffe83, 0xffff999b, 0xffffaaad, 0x00000020,
255  0xffffff02, 0xffffccce, 0x00000002, 0x0000801d,
256  0xffffff81, 0x00000001, 0x00005557, 0x0001001a,
257  0x00000000, 0x00003334, 0x0000aaac, 0x0007fff0,
258  0x0000007f, 0x00006667, 0x00055552, 0x003e7ea9,
259  0x000000fe, 0x00033331, 0x0029aa83, 0x003efea6,
260  0x000007f0, 0x0018ffe8, 0x0029ffd8, 0x003f7ea3,
261  0x00003e03, 0x0019331b, 0x002a552d, 0x1998e687,
262  0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
263  0x00003f01, 0x0a3d5c2a, 0x1c718e3b, 0x3ffd0029,
264  0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
265  0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
266  0x003f7e83, 0x1999199b, 0x2aaa2aad, 0xc0018020,
267  0x003f7f02, 0x19994cce, 0xd5558002, 0xc002001d,
268  0x003f7f81, 0xe6668001, 0xd555d557, 0xd5560022,
269  0xffc08000, 0xe666b334, 0xe38e1c74, 0xe66699bc,
270  0xffc0807f, 0xeeeedddf, 0xeeeebbbe, 0xffc001a0,
271  0xffd5aa56, 0xf5c270a5, 0xffd55582, 0xffc0819d,
272  0xffe69934, 0xffe66681, 0xffd5aad7, 0xffc1019a,
273  0xffffc080, 0xffe699b4, 0xffd6002c, 0xffc18197,
274  0xffffc0ff, 0xffe6cce7, 0xffd65581, 0xfff80050,
275  0xffffc17e, 0xffe7001a, 0xfffaaab2, 0xfffe8029,
276  0xffffc1fd, 0xfffcccd1, 0xffff0003, 0xffff0026,
277  0xfffff810, 0xffff6668, 0xffff5558, 0xffff8023,
278  0xffff6667, 0xffff5557, 0xffff8005, 0x00000020,
279  0xffff999a, 0xffffaaac, 0x00000002, 0x0000801e,
280  0xffffcccd, 0x00000001, 0x00007fff, 0x0001001c,
281  0x00000000, 0x00005556, 0x0000fffc, 0x00080000,
282  0x00003333, 0x0000aaab, 0x0007ffd2, 0x003e7f26,
283  0x00006666, 0x00055551, 0x003e7e8b, 0x003eff24,
284  0x00033330, 0x0029aa82, 0x003efe88, 0x003f7f22,
285  0x0018ffe7, 0x0029ffd7, 0x003f7e85, 0x199919ba,
286  0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
287  0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
288  0x0a3d5c29, 0x1c718e3a, 0x3ffd000b, 0x3ffe0024,
289  0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
290  0x1998e667, 0x2aa9d557, 0x3ffe0005, 0xc0010020,
291  0x1999199a, 0x2aaa2aac, 0xc0018002, 0xc001801e,
292  0x19994ccd, 0xd5558001, 0xc001ffff, 0xd555aacc,
293  0xe6668000, 0xd555d556, 0xd5560004, 0xe6666688,
294  0xe666b333, 0xe38e1c73, 0xe666999e, 0xffc00120,
295  0xeeeeddde, 0xeeeebbbd, 0xffc00182, 0xffc0811e,
296  0xf5c270a4, 0xffd55581, 0xffc0817f, 0xffc1011c,
297  0xffe66680, 0xffd5aad6, 0xffc1017c, 0xffc1811a,
298  0xffe699b3, 0xffd6002b, 0xffc18179, 0xfff80040,
299  0xffe6cce6, 0xffd65580, 0xfff80032, 0xfffe8026,
300  0xffe70019, 0xfffaaab1, 0xfffe800b, 0xffff0024,
301  0xfffcccd0, 0xffff0002, 0xffff0008, 0xffff8022,
302  0xffff0001, 0xffff0007, 0xffff8004, 0x00000020,
303  0xffff5556, 0xffff8004, 0x00000002, 0x0000801f,
304  0xffffaaab, 0x00000001, 0x00008000, 0x0001001e,
305  0x00000000, 0x00007ffe, 0x0000fffe, 0x00080010,
306  0x00005555, 0x0000fffb, 0x0007ffe2, 0x003e7fa3,
307  0x0000aaaa, 0x0007ffd1, 0x003e7f08, 0x003effa2,
308  0x00055550, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
309  0x0029aa81, 0x003efe87, 0x003f7f04, 0x19994ced,
310  0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
311  0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
312  0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
313  0x1c718e39, 0x3ffd000a, 0x3ffe0006, 0x3fff0021,
314  0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0xc0008020,
315  0x2aa9d556, 0x3ffe0004, 0xc0010002, 0xc001001f,
316  0x2aaa2aab, 0xc0018001, 0xc0018000, 0xd5555576,
317  0xd5558000, 0xc001fffe, 0xd555aaae, 0xe6663354,
318  0xd555d555, 0xd5560003, 0xe666666a, 0xffc000a0,
319  0xe38e1c72, 0xe666999d, 0xffc00102, 0xffc0809f,
320  0xeeeebbbc, 0xffc00181, 0xffc08100, 0xffc1009e,
321  0xffd55580, 0xffc0817e, 0xffc100fe, 0xffc1809d,
322  0xffd5aad5, 0xffc1017b, 0xffc180fc, 0xfff80030,
323  0xffd6002a, 0xffc18178, 0xfff80022, 0xfffe8023,
324  0xffd6557f, 0xfff80031, 0xfffe8008, 0xffff0022,
325  0xfffaaab0, 0xfffe800a, 0xffff0006, 0xffff8021,
326  0xfffe8009, 0xffff0005, 0xffff8003, 0x00000020,
327  0xffff0006, 0xffff8003, 0x00000002, 0xffff8020,
328  0xffff8003, 0x00000001, 0x00008001, 0xffff0020,
329  0x00000000, 0x00007fff, 0x00010000, 0xfff80020,
330  0x00007ffd, 0x0000fffd, 0x0007fff2, 0xffc18020,
331  0x0000fffa, 0x0007ffe1, 0x003e7f85, 0xffc10020,
332  0x0007ffd0, 0x003e7f07, 0x003eff84, 0xffc08020,
333  0x003e7e89, 0x003eff05, 0x003f7f83, 0xe6668020,
334  0x003efe86, 0x003f7f03, 0x19994ccf, 0xd5558020,
335  0x003f7e83, 0x1999199b, 0x2aaa2aad, 0xc0018020,
336  0x1998e667, 0x2aa9d557, 0x3ffe0005, 0xc0010020,
337  0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0xc0008020,
338  0x3ffd0009, 0x3ffe0005, 0x3fff0003, 0x40000020,
339  0x3ffd8006, 0x3ffe8003, 0xc0008002, 0x3fff8020,
340  0x3ffe0003, 0xc0010001, 0xc0010001, 0x2aab0020,
341  0xc0018000, 0xc0017fff, 0xd5555558, 0x199a0020,
342  0xc001fffd, 0xd555aaad, 0xe6663336, 0x00400020,
343  0xd5560002, 0xe6666669, 0xffc00082, 0x003f8020,
344  0xe666999c, 0xffc00101, 0xffc08081, 0x003f0020,
345  0xffc00180, 0xffc080ff, 0xffc10080, 0x003e8020,
346  0xffc0817d, 0xffc100fd, 0xffc1807f, 0x00080020,
347  0xffc1017a, 0xffc180fb, 0xfff80012, 0x00018020,
348  0xffc18177, 0xfff80021, 0xfffe8005, 0x00010020,
349  0xfff80030, 0xfffe8007, 0xffff0004, 0x00008020,
350  0xfffe8006, 0xffff0003, 0x00008002, 0x00000020,
351  0xffff0004, 0xffff8002, 0x00000002, 0xffff8021,
352  0xffff8002, 0x00000001, 0xffff8002, 0xffff0022,
353  0x00000000, 0x00008000, 0xffff0002, 0xfff80030,
354  0x00007ffe, 0x0000ffff, 0xfff80002, 0xffc1809d,
355  0x0000fffc, 0x0007fff1, 0xffc18002, 0xffc1009e,
356  0x0007ffe0, 0x003e7f84, 0xffc10002, 0xffc0809f,
357  0x003e7f06, 0x003eff83, 0xffc08002, 0xe666b353,
358  0x003eff04, 0x003f7f82, 0xe6668002, 0xd555d575,
359  0x003f7f02, 0x19994cce, 0xd5558002, 0xc002001d,
360  0x1999199a, 0x2aaa2aac, 0xc0018002, 0xc001801e,
361  0x2aa9d556, 0x3ffe0004, 0xc0010002, 0xc001001f,
362  0x3ffd8006, 0x3ffe8003, 0xc0008002, 0x3fff8020,
363  0x3ffe0004, 0x3fff0002, 0x40000002, 0x3fff0021,
364  0x3ffe8002, 0xc0008001, 0x3fff8002, 0x2aaaaaca,
365  0xc0010000, 0xc0010000, 0x2aab0002, 0x1999ccec,
366  0xc0017ffe, 0xd5555557, 0x199a0002, 0x003fffa0,
367  0xd555aaac, 0xe6663335, 0x00400002, 0x003f7fa1,
368  0xe6666668, 0xffc00081, 0x003f8002, 0x003effa2,
369  0xffc00100, 0xffc08080, 0x003f0002, 0x003e7fa3,
370  0xffc080fe, 0xffc1007f, 0x003e8002, 0x00080010,
371  0xffc100fc, 0xffc1807e, 0x00080002, 0x0001801d,
372  0xffc180fa, 0xfff80011, 0x00018002, 0x0001001e,
373  0xfff80020, 0xfffe8004, 0x00010002, 0x0000801f,
374  0xfffe8003, 0x00010001, 0x00008001, 0x00000020,
375  0xffff0002, 0x00008001, 0x00000002, 0xffffaaca,
376  0xffff8001, 0x00000001, 0xffff8003, 0xffff5574,
377  0x00000000, 0xffff8001, 0xffff0004, 0xfffaaac0,
378  0x00007fff, 0xffff0001, 0xfff80012, 0xffd65522,
379  0x0000fffe, 0xfff80001, 0xffc1807f, 0xffd5ffcc,
380  0x0007fff0, 0xffc18001, 0xffc10080, 0xffd5aa76,
381  0x003e7f83, 0xffc10001, 0xffc08081, 0xeeeeddfe,
382  0x003eff82, 0xffc08001, 0xe666b335, 0xe38e1c92,
383  0x003f7f81, 0xe6668001, 0xd555d557, 0xd5560022,
384  0x19994ccd, 0xd5558001, 0xc001ffff, 0xd555aacc,
385  0x2aaa2aab, 0xc0018001, 0xc0018000, 0xd5555576,
386  0x3ffe0003, 0xc0010001, 0xc0010001, 0x2aab0020,
387  0x3ffe8002, 0xc0008001, 0x3fff8002, 0x2aaaaaca,
388  0x3fff0001, 0x40000001, 0x3fff0003, 0x1c723904,
389  0xc0008000, 0x3fff8001, 0x2aaaaaac, 0x11117798,
390  0xc000ffff, 0x2aab0001, 0x1999ccce, 0x002aab20,
391  0xd5555556, 0x199a0001, 0x003fff82, 0x002a55ca,
392  0xe6663334, 0x00400001, 0x003f7f83, 0x002a0074,
393  0xffc00080, 0x003f8001, 0x003eff84, 0x0029ab1e,
394  0xffc0807f, 0x003f0001, 0x003e7f85, 0x00055580,
395  0xffc1007e, 0x003e8001, 0x0007fff2, 0x00010022,
396  0xffc1807d, 0x00080001, 0x00017fff, 0x0000aacc,
397  0xfff80010, 0x00018001, 0x00010000, 0x00005576,
398  0x00018000, 0x0000ffff, 0x00005558, 0x00000020,
399  0x00010000, 0x00008000, 0x00000002, 0xffffccec,
400  0x00008000, 0x00000001, 0xffffaaac, 0xffff99b8,
401  0x00000000, 0xffff8002, 0xffff5556, 0xfffccce0,
402  0xffff8000, 0xffff0003, 0xfffaaaa2, 0xffe6ffbc,
403  0xffff0000, 0xfff80011, 0xffd65504, 0xffe6cc88,
404  0xfff80000, 0xffc1807e, 0xffd5ffae, 0xffe69954,
405  0xffc18000, 0xffc1007f, 0xffd5aa58, 0xf5c270c4,
406  0xffc10000, 0xffc08080, 0xeeeedde0, 0xeeeebbdc,
407  0xffc08000, 0xe666b334, 0xe38e1c74, 0xe66699bc,
408  0xe6668000, 0xd555d556, 0xd5560004, 0xe6666688,
409  0xd5558000, 0xc001fffe, 0xd555aaae, 0xe6663354,
410  0xc0018000, 0xc0017fff, 0xd5555558, 0x199a0020,
411  0xc0010000, 0xc0010000, 0x2aab0002, 0x1999ccec,
412  0xc0008000, 0x3fff8001, 0x2aaaaaac, 0x11117798,
413  0x40000000, 0x3fff0002, 0x1c7238e6, 0x0a3dc2b0,
414  0x3fff8000, 0x2aaaaaab, 0x1111777a, 0x00199a20,
415  0x2aab0000, 0x1999cccd, 0x002aab02, 0x001966ec,
416  0x199a0000, 0x003fff81, 0x002a55ac, 0x001933b8,
417  0x00400000, 0x003f7f82, 0x002a0056, 0x00190084,
418  0x003f8000, 0x003eff83, 0x0029ab00, 0x00033360,
419  0x003f0000, 0x003e7f84, 0x00055562, 0x000099bc,
420  0x003e8000, 0x0007fff1, 0x00010004, 0x00006688,
421  0x00080000, 0x00017ffe, 0x0000aaae, 0x00003354,
422  0x00017ffd, 0x0000aaad, 0x00003336, 0x00000020,
423  0x0000fffe, 0x00005557, 0x00000002, 0xffffffa0,
424  0x00007fff, 0x00000001, 0xffffccce, 0xffffff20,
425  0x00000000, 0xffffaaab, 0xffff999a, 0xfffff820,
426  0xffff8001, 0xffff5555, 0xfffcccc2, 0xffffc1a0,
427  0xffff0002, 0xfffaaaa1, 0xffe6ff9e, 0xffffc120,
428  0xfff80010, 0xffd65503, 0xffe6cc6a, 0xffffc0a0,
429  0xffc1807d, 0xffd5ffad, 0xffe69936, 0xffe666a0,
430  0xffc1007e, 0xffd5aa57, 0xf5c270a6, 0xffd555a0,
431  0xffc0807f, 0xeeeedddf, 0xeeeebbbe, 0xffc001a0,
432  0xe666b333, 0xe38e1c73, 0xe666999e, 0xffc00120,
433  0xd555d555, 0xd5560003, 0xe666666a, 0xffc000a0,
434  0xc001fffd, 0xd555aaad, 0xe6663336, 0x00400020,
435  0xc0017ffe, 0xd5555557, 0x199a0002, 0x003fffa0,
436  0xc000ffff, 0x2aab0001, 0x1999ccce, 0x002aab20,
437  0x3fff8000, 0x2aaaaaab, 0x1111777a, 0x00199a20,
438  0x3fff0001, 0x1c7238e5, 0x0a3dc292, 0x00004020,
439  0x2aaaaaaa, 0x11117779, 0x00199a02, 0x00003fa0,
440  0x1999cccc, 0x002aab01, 0x001966ce, 0x00003f20,
441  0x003fff80, 0x002a55ab, 0x0019339a, 0x00003ea0,
442  0x003f7f81, 0x002a0055, 0x00190066, 0x00000820,
443  0x003eff82, 0x0029aaff, 0x00033342, 0x000001a0,
444  0x003e7f83, 0x00055561, 0x0000999e, 0x00000120,
445  0x0007fff0, 0x00010003, 0x0000666a, 0x000000a0,
446  0x00010002, 0x00006669, 0x00000082, 0x00000020,
447  0x0000aaac, 0x00003335, 0x00000002, 0xffffffa1,
448  0x00005556, 0x00000001, 0xffffff82, 0xffffff22,
449  0x00000000, 0xffffcccd, 0xffffff02, 0xfffff830,
450  0xffffaaaa, 0xffff9999, 0xfffff802, 0xffffc21d,
451  0xffff5554, 0xfffcccc1, 0xffffc182, 0xffffc19e,
452  0xfffaaaa0, 0xffe6ff9d, 0xffffc102, 0xffffc11f,
453  0xffd65502, 0xffe6cc69, 0xffffc082, 0xffe699d3,
454  0xffd5ffac, 0xffe69935, 0xffe66682, 0xffd5aaf5,
455  0xffd5aa56, 0xf5c270a5, 0xffd55582, 0xffc0819d,
456  0xeeeeddde, 0xeeeebbbd, 0xffc00182, 0xffc0811e,
457  0xe38e1c72, 0xe666999d, 0xffc00102, 0xffc0809f,
458  0xd5560002, 0xe6666669, 0xffc00082, 0x003f8020,
459  0xd555aaac, 0xe6663335, 0x00400002, 0x003f7fa1,
460  0xd5555556, 0x199a0001, 0x003fff82, 0x002a55ca,
461  0x2aab0000, 0x1999cccd, 0x002aab02, 0x001966ec,
462  0x2aaaaaaa, 0x11117779, 0x00199a02, 0x00003fa0,
463  0x1c7238e4, 0x0a3dc291, 0x00004002, 0x00003f21,
464  0x11117778, 0x00199a01, 0x00003f82, 0x00003ea2,
465  0x002aab00, 0x001966cd, 0x00003f02, 0x00003e23,
466  0x002a55aa, 0x00193399, 0x00003e82, 0x00000810,
467  0x002a0054, 0x00190065, 0x00000802, 0x0000019d,
468  0x0029aafe, 0x00033341, 0x00000182, 0x0000011e,
469  0x00055560, 0x0000999d, 0x00000102, 0x0000009f,
470  0x0000999c, 0x00000101, 0x00000081, 0x00000020,
471  0x00006668, 0x00000081, 0x00000002, 0xffffffa2,
472  0x00003334, 0x00000001, 0xffffff83, 0xffffff24,
473  0x00000000, 0xffffff81, 0xffffff04, 0xfffff840,
474  0xffffcccc, 0xffffff01, 0xfffff812, 0xffffc29a,
475  0xffff9998, 0xfffff801, 0xffffc1ff, 0xffffc21c,
476  0xfffcccc0, 0xffffc181, 0xffffc180, 0xffffc19e,
477  0xffe6ff9c, 0xffffc101, 0xffffc101, 0xffe6cd06,
478  0xffe6cc68, 0xffffc081, 0xffe699b5, 0xffd6004a,
479  0xffe69934, 0xffe66681, 0xffd5aad7, 0xffc1019a,
480  0xf5c270a4, 0xffd55581, 0xffc0817f, 0xffc1011c,
481  0xeeeebbbc, 0xffc00181, 0xffc08100, 0xffc1009e,
482  0xe666999c, 0xffc00101, 0xffc08081, 0x003f0020,
483  0xe6666668, 0xffc00081, 0x003f8002, 0x003effa2,
484  0xe6663334, 0x00400001, 0x003f7f83, 0x002a0074,
485  0x199a0000, 0x003fff81, 0x002a55ac, 0x001933b8,
486  0x1999cccc, 0x002aab01, 0x001966ce, 0x00003f20,
487  0x11117778, 0x00199a01, 0x00003f82, 0x00003ea2,
488  0x0a3dc290, 0x00004001, 0x00003f03, 0x00003e24,
489  0x00199a00, 0x00003f81, 0x00003e84, 0x00003da6,
490  0x001966cc, 0x00003f01, 0x00003e05, 0x00000800,
491  0x00193398, 0x00003e81, 0x000007f2, 0x0000019a,
492  0x00190064, 0x00000801, 0x0000017f, 0x0000011c,
493  0x00033340, 0x00000181, 0x00000100, 0x0000009e,
494  0x00000180, 0x000000ff, 0x00000080, 0x00000020,
495  0x00000100, 0x00000080, 0x00000002, 0xffffffa3,
496  0x00000080, 0x00000001, 0xffffff84, 0xffffff26,
497  0x00000000, 0xffffff82, 0xffffff06, 0xfffff850,
498  0xffffff80, 0xffffff03, 0xfffff822, 0xffffc317,
499  0xffffff00, 0xfffff811, 0xffffc27c, 0xffffc29a,
500  0xfffff800, 0xffffc1fe, 0xffffc1fe, 0xffffc21d,
501  0xffffc180, 0xffffc17f, 0xffffc180, 0xffe70039,
502  0xffffc100, 0xffffc100, 0xffe6cce8, 0xffd6559f,
503  0xffffc080, 0xffe699b4, 0xffd6002c, 0xffc18197,
504  0xffe66680, 0xffd5aad6, 0xffc1017c, 0xffc1811a,
505  0xffd55580, 0xffc0817e, 0xffc100fe, 0xffc1809d,
506  0xffc00180, 0xffc080ff, 0xffc10080, 0x003e8020,
507  0xffc00100, 0xffc08080, 0x003f0002, 0x003e7fa3,
508  0xffc00080, 0x003f8001, 0x003eff84, 0x0029ab1e,
509  0x00400000, 0x003f7f82, 0x002a0056, 0x00190084,
510  0x003fff80, 0x002a55ab, 0x0019339a, 0x00003ea0,
511  0x002aab00, 0x001966cd, 0x00003f02, 0x00003e23,
512  0x00199a00, 0x00003f81, 0x00003e84, 0x00003da6,
513  0x00004000, 0x00003f02, 0x00003e06, 0x00003d29,
514  0x00003f80, 0x00003e83, 0x00003d88, 0x000007f0,
515  0x00003f00, 0x00003e04, 0x000007e2, 0x00000197,
516  0x00003e80, 0x000007f1, 0x0000017c, 0x0000011a,
517  0x00000800, 0x0000017e, 0x000000fe, 0x0000009d,
518  0x0000017d, 0x000000fd, 0x0000007f, 0x00000020,
519  0x000000fe, 0x0000007f, 0x00000002, 0x00000010,
520  0x0000007f, 0x00000001, 0xffffff85, 0x00000000,
521  0x00000000, 0xffffff83, 0xffffff08, 0xffffff20,
522  0xffffff81, 0xffffff05, 0xfffff832, 0xfffff850,
523  0xffffff02, 0xfffff821, 0xffffc2f9, 0xfffff840,
524  0xfffff810, 0xffffc27b, 0xffffc27c, 0xfffff830,
525  0xffffc1fd, 0xffffc1fd, 0xffffc1ff, 0xfffcccf0,
526  0xffffc17e, 0xffffc17f, 0xffe7001b, 0xfffaaad0,
527  0xffffc0ff, 0xffe6cce7, 0xffd65581, 0xfff80050,
528  0xffe699b3, 0xffd6002b, 0xffc18179, 0xfff80040,
529  0xffd5aad5, 0xffc1017b, 0xffc180fc, 0xfff80030,
530  0xffc0817d, 0xffc100fd, 0xffc1807f, 0x00080020,
531  0xffc080fe, 0xffc1007f, 0x003e8002, 0x00080010,
532  0xffc0807f, 0x003f0001, 0x003e7f85, 0x00055580,
533  0x003f8000, 0x003eff83, 0x0029ab00, 0x00033360,
534  0x003f7f81, 0x002a0055, 0x00190066, 0x00000820,
535  0x002a55aa, 0x00193399, 0x00003e82, 0x00000810,
536  0x001966cc, 0x00003f01, 0x00003e05, 0x00000800,
537  0x00003f80, 0x00003e83, 0x00003d88, 0x000007f0,
538  0x00003f01, 0x00003e05, 0x00003d0b, 0x00000120,
539  0x00003e82, 0x00003d87, 0x000007d2, 0x00000050,
540  0x00003e03, 0x000007e1, 0x00000179, 0x00000040,
541  0x000007f0, 0x0000017b, 0x000000fc, 0x00000030,
542  0x0000017a, 0x000000fb, 0x00000012, 0x00000020,
543  0x000000fc, 0x0000007e, 0x00000002, 0x0000001d,
544  0x0000007e, 0x00000001, 0xfffffff2, 0x0000001a,
545  0x00000000, 0xffffff84, 0xffffffe2, 0xfffffff0,
546  0xffffff82, 0xffffff07, 0xffffff02, 0xfffffea9,
547  0xffffff04, 0xfffff831, 0xfffff832, 0xfffffea6,
548  0xfffff820, 0xffffc2f8, 0xfffff822, 0xfffffea3,
549  0xffffc27a, 0xffffc27b, 0xfffff812, 0xffff6687,
550  0xffffc1fc, 0xffffc1fe, 0xfffcccd2, 0xffff0021,
551  0xffffc17e, 0xffe7001a, 0xfffaaab2, 0xfffe8029,
552  0xffe6cce6, 0xffd65580, 0xfff80032, 0xfffe8026,
553  0xffd6002a, 0xffc18178, 0xfff80022, 0xfffe8023,
554  0xffc1017a, 0xffc180fb, 0xfff80012, 0x00018020,
555  0xffc100fc, 0xffc1807e, 0x00080002, 0x0001801d,
556  0xffc1007e, 0x003e8001, 0x0007fff2, 0x00010022,
557  0x003f0000, 0x003e7f84, 0x00055562, 0x000099bc,
558  0x003eff82, 0x0029aaff, 0x00033342, 0x000001a0,
559  0x002a0054, 0x00190065, 0x00000802, 0x0000019d,
560  0x00193398, 0x00003e81, 0x000007f2, 0x0000019a,
561  0x00003f00, 0x00003e04, 0x000007e2, 0x00000197,
562  0x00003e82, 0x00003d87, 0x000007d2, 0x00000050,
563  0x00003e04, 0x00003d0a, 0x00000102, 0x00000029,
564  0x00003d86, 0x000007d1, 0x00000032, 0x00000026,
565  0x000007e0, 0x00000178, 0x00000022, 0x00000023,
566  0x00000177, 0x00000021, 0x00000005, 0x00000020,
567  0x000000fa, 0x00000011, 0x00000002, 0x0000001e,
568  0x0000007d, 0x00000001, 0xffffffff, 0x0000001c,
569  0x00000000, 0xfffffff1, 0xfffffffc, 0x00000000,
570  0xffffff83, 0xffffffe1, 0xffffffd2, 0xffffff26,
571  0xffffff06, 0xffffff01, 0xfffffe8b, 0xffffff24,
572  0xfffff830, 0xfffff831, 0xfffffe88, 0xffffff22,
573  0xffffc2f7, 0xfffff821, 0xfffffe85, 0xffff99ba,
574  0xffffc27a, 0xfffff811, 0xffff6669, 0xffff5576,
575  0xffffc1fd, 0xfffcccd1, 0xffff0003, 0xffff0026,
576  0xffe70019, 0xfffaaab1, 0xfffe800b, 0xffff0024,
577  0xffd6557f, 0xfff80031, 0xfffe8008, 0xffff0022,
578  0xffc18177, 0xfff80021, 0xfffe8005, 0x00010020,
579  0xffc180fa, 0xfff80011, 0x00018002, 0x0001001e,
580  0xffc1807d, 0x00080001, 0x00017fff, 0x0000aacc,
581  0x003e8000, 0x0007fff1, 0x00010004, 0x00006688,
582  0x003e7f83, 0x00055561, 0x0000999e, 0x00000120,
583  0x0029aafe, 0x00033341, 0x00000182, 0x0000011e,
584  0x00190064, 0x00000801, 0x0000017f, 0x0000011c,
585  0x00003e80, 0x000007f1, 0x0000017c, 0x0000011a,
586  0x00003e03, 0x000007e1, 0x00000179, 0x00000040,
587  0x00003d86, 0x000007d1, 0x00000032, 0x00000026,
588  0x00003d09, 0x00000101, 0x0000000b, 0x00000024,
589  0x000007d0, 0x00000031, 0x00000008, 0x00000022,
590  0x00000030, 0x00000007, 0x00000004, 0x00000020,
591  0x00000020, 0x00000004, 0x00000002, 0x0000001f,
592  0x00000010, 0x00000001, 0x00000000, 0x0000001e,
593  0x00000000, 0xfffffffe, 0xfffffffe, 0x00000010,
594  0xfffffff0, 0xfffffffb, 0xffffffe2, 0xffffffa3,
595  0xffffffe0, 0xffffffd1, 0xffffff08, 0xffffffa2,
596  0xffffff00, 0xfffffe8a, 0xffffff06, 0xffffffa1,
597  0xfffff830, 0xfffffe87, 0xffffff04, 0xffffcced,
598  0xfffff820, 0xfffffe84, 0xffff999c, 0xffffaacb,
599  0xfffff810, 0xffff6668, 0xffff5558, 0xffff8023,
600  0xfffcccd0, 0xffff0002, 0xffff0008, 0xffff8022,
601  0xfffaaab0, 0xfffe800a, 0xffff0006, 0xffff8021,
602  0xfff80030, 0xfffe8007, 0xffff0004, 0x00008020,
603  0xfff80020, 0xfffe8004, 0x00010002, 0x0000801f,
604  0xfff80010, 0x00018001, 0x00010000, 0x00005576,
605  0x00080000, 0x00017ffe, 0x0000aaae, 0x00003354,
606  0x0007fff0, 0x00010003, 0x0000666a, 0x000000a0,
607  0x00055560, 0x0000999d, 0x00000102, 0x0000009f,
608  0x00033340, 0x00000181, 0x00000100, 0x0000009e,
609  0x00000800, 0x0000017e, 0x000000fe, 0x0000009d,
610  0x000007f0, 0x0000017b, 0x000000fc, 0x00000030,
611  0x000007e0, 0x00000178, 0x00000022, 0x00000023,
612  0x000007d0, 0x00000031, 0x00000008, 0x00000022,
613  0x00000100, 0x0000000a, 0x00000006, 0x00000021,
614};
615const unsigned kExpectedCount_NEON_smlal2_4S = 576;
616
617#endif  // VIXL_SIM_SMLAL2_4S_TRACE_AARCH64_H_
618