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