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_SMLSL_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SMLSL_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_smlsl_4S[] = {
38  0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
39  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
40  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
41  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
42  0xffc1017a, 0xffc080ff, 0xe666b335, 0x00000020,
43  0xffc100fc, 0xffc08080, 0x00000002, 0xffffaacb,
44  0xffc1007e, 0x00000001, 0xffffcccf, 0xffff5576,
45  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
46  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
47  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
48  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
49  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
50  0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
51  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
52  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
53  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
54  0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
55  0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
56  0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
57  0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
58  0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
59  0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
60  0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
61  0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
62  0x00003f01, 0x0019331b, 0x0029aa83, 0x0007fff0,
63  0x00003e82, 0x0018ffe8, 0x00055552, 0x00018017,
64  0x00003e03, 0x00033331, 0x00010001, 0x0001001a,
65  0x000007f0, 0x0000999a, 0x0000aaac, 0x0000801d,
66  0x0000017d, 0x00006667, 0x00005557, 0x00000020,
67  0x000000fe, 0x00003334, 0x00000002, 0xffff8023,
68  0x0000007f, 0x00000001, 0xffffaaad, 0xffff0026,
69  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
70  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
71  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
72  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
73  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
74  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
75  0xffffc0ff, 0xf5c2a3d8, 0xe38e71c9, 0xc0030017,
76  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
77  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
78  0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
79  0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
80  0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
81  0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
82  0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
83  0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
84  0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
85  0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
86  0x0019664d, 0x0029ffd7, 0x003e7e8b, 0x00080000,
87  0x0019331a, 0x0029aa82, 0x0007ffd2, 0x0001801a,
88  0x0018ffe7, 0x00055551, 0x00017ff9, 0x0001001c,
89  0x00033330, 0x00010000, 0x0000fffc, 0x0000801e,
90  0x00009999, 0x0000aaab, 0x00007fff, 0x00000020,
91  0x00006666, 0x00005556, 0x00000002, 0xffff8022,
92  0x00003333, 0x00000001, 0xffff8005, 0xffff0024,
93  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
94  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
95  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
96  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
97  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
98  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
99  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
100  0xf5c2a3d7, 0xe38e71c8, 0xc002fff9, 0xc002001c,
101  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
102  0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
103  0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
104  0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
105  0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
106  0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
107  0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
108  0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
109  0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
110  0x002a552b, 0x003efe87, 0x003e7f08, 0x00080010,
111  0x0029ffd6, 0x003e7e8a, 0x0007ffe2, 0x0001801d,
112  0x0029aa81, 0x0007ffd1, 0x00017ffc, 0x0001001e,
113  0x00055550, 0x00017ff8, 0x0000fffe, 0x0000801f,
114  0x0000ffff, 0x0000fffb, 0x00008000, 0x00000020,
115  0x0000aaaa, 0x00007ffe, 0x00000002, 0xffff8021,
116  0x00005555, 0x00000001, 0xffff8004, 0xffff0022,
117  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
118  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
119  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
120  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
121  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
122  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
123  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
124  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
125  0xe38e71c7, 0xc002fff8, 0xc001fffe, 0xc001001f,
126  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
127  0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
128  0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
129  0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
130  0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
131  0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
132  0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
133  0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
134  0x003f7e83, 0x003eff05, 0x003e7f85, 0x00000020,
135  0x003efe86, 0x003e7f07, 0x0007fff2, 0x00000020,
136  0x003e7e89, 0x0007ffe1, 0x00017fff, 0x00000020,
137  0x0007ffd0, 0x00017ffb, 0x00010000, 0x00000020,
138  0x00017ff7, 0x0000fffd, 0x00008001, 0x00000020,
139  0x0000fffa, 0x00007fff, 0x00000002, 0x00000020,
140  0x00007ffd, 0x00000001, 0xffff8003, 0x00000020,
141  0x00000000, 0xffff8003, 0xffff0004, 0x00000020,
142  0xffff8003, 0xffff0005, 0xfff80012, 0x00000020,
143  0xffff0006, 0xfff80021, 0xffc1807f, 0x00000020,
144  0xfff80030, 0xffc180fb, 0xffc10080, 0x00000020,
145  0xffc18177, 0xffc100fd, 0xffc08081, 0x00000020,
146  0xffc1017a, 0xffc080ff, 0xe666b335, 0x00000020,
147  0xffc0817d, 0xe666e667, 0xd555d557, 0x00000020,
148  0xe6671999, 0xd5562aab, 0xc001ffff, 0x00000020,
149  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x00000020,
150  0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
151  0xc0027ffa, 0xc0017fff, 0x3fff8002, 0x00000020,
152  0xc001fffd, 0x3fff0001, 0x3fff0003, 0x00000020,
153  0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0x00000020,
154  0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0x00000020,
155  0x2aa9fffe, 0x19999999, 0x003fff82, 0x00000020,
156  0x19996664, 0x003fff01, 0x003f7f83, 0x00000020,
157  0x003ffe80, 0x003f7f03, 0x003eff84, 0x00000020,
158  0x003f7f02, 0x003eff83, 0x00000002, 0x00000030,
159  0x003eff04, 0x003e7f84, 0x00000002, 0x00000023,
160  0x003e7f06, 0x0007fff1, 0x00000002, 0x00000022,
161  0x0007ffe0, 0x00017ffe, 0x00000002, 0x00000021,
162  0x00017ffa, 0x0000ffff, 0x00000002, 0x00000020,
163  0x0000fffc, 0x00008000, 0x00000002, 0x0000001f,
164  0x00007ffe, 0x00000001, 0x00000002, 0x0000001e,
165  0x00000000, 0xffff8002, 0x00000002, 0x00000010,
166  0xffff8002, 0xffff0003, 0x00000002, 0xffffffa3,
167  0xffff0004, 0xfff80011, 0x00000002, 0xffffffa2,
168  0xfff80020, 0xffc1807e, 0x00000002, 0xffffffa1,
169  0xffc180fa, 0xffc1007f, 0x00000002, 0xffffcced,
170  0xffc100fc, 0xffc08080, 0x00000002, 0xffffaacb,
171  0xffc080fe, 0xe666b334, 0x00000002, 0xffff8023,
172  0xe666e666, 0xd555d556, 0x00000002, 0xffff8022,
173  0xd5562aaa, 0xc001fffe, 0x00000002, 0xffff8021,
174  0xc0027ffa, 0xc0017fff, 0x00000002, 0x00008020,
175  0xc001fffc, 0xc0010000, 0x00000002, 0x0000801f,
176  0xc0017ffe, 0x3fff8001, 0x00000002, 0x00005576,
177  0x3fff0000, 0x3fff0002, 0x00000002, 0x00003354,
178  0x3ffe8002, 0x2aaaaaab, 0x00000002, 0x000000a0,
179  0x2aaa5554, 0x1999cccd, 0x00000002, 0x0000009f,
180  0x19999998, 0x003fff81, 0x00000002, 0x0000009e,
181  0x003fff00, 0x003f7f82, 0x00000002, 0x0000009d,
182  0x003f7f81, 0x00000001, 0x0000007f, 0x00000040,
183  0x003eff82, 0x00000001, 0x00000012, 0x00000026,
184  0x003e7f83, 0x00000001, 0x00000005, 0x00000024,
185  0x0007fff0, 0x00000001, 0x00000004, 0x00000022,
186  0x00017ffd, 0x00000001, 0x00000003, 0x00000020,
187  0x0000fffe, 0x00000001, 0x00000002, 0x0000001e,
188  0x00007fff, 0x00000001, 0x00000001, 0x0000001c,
189  0x00000000, 0x00000001, 0x00000000, 0x00000000,
190  0xffff8001, 0x00000001, 0xfffffff2, 0xffffff26,
191  0xffff0002, 0x00000001, 0xffffff85, 0xffffff24,
192  0xfff80010, 0x00000001, 0xffffff84, 0xffffff22,
193  0xffc1807d, 0x00000001, 0xffffff83, 0xffff99ba,
194  0xffc1007e, 0x00000001, 0xffffcccf, 0xffff5576,
195  0xffc0807f, 0x00000001, 0xffffaaad, 0xffff0026,
196  0xe666b333, 0x00000001, 0xffff8005, 0xffff0024,
197  0xd555d555, 0x00000001, 0xffff8004, 0xffff0022,
198  0xc001fffd, 0x00000001, 0xffff8003, 0x00010020,
199  0xc0017ffe, 0x00000001, 0x00008002, 0x0001001e,
200  0xc000ffff, 0x00000001, 0x00008001, 0x0000aacc,
201  0x3fff8000, 0x00000001, 0x00005558, 0x00006688,
202  0x3fff0001, 0x00000001, 0x00003336, 0x00000120,
203  0x2aaaaaaa, 0x00000001, 0x00000082, 0x0000011e,
204  0x1999cccc, 0x00000001, 0x00000081, 0x0000011c,
205  0x003fff80, 0x00000001, 0x00000080, 0x0000011a,
206  0x00000000, 0x0000007f, 0x000000fc, 0x00000120,
207  0x00000000, 0x0000007e, 0x00000022, 0x00000050,
208  0x00000000, 0x00000011, 0x00000008, 0x00000040,
209  0x00000000, 0x00000004, 0x00000006, 0x00000030,
210  0x00000000, 0x00000003, 0x00000004, 0x00000020,
211  0x00000000, 0x00000002, 0x00000002, 0x00000010,
212  0x00000000, 0x00000001, 0x00000000, 0x00000000,
213  0x00000000, 0x00000000, 0xfffffffe, 0xffffff20,
214  0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
215  0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
216  0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
217  0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
218  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
219  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
220  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
221  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
222  0x00000000, 0xffff8003, 0xffff0004, 0x00080020,
223  0x00000000, 0xffff8002, 0x00010002, 0x00080010,
224  0x00000000, 0x00008001, 0x00010000, 0x00055580,
225  0x00000000, 0x00008000, 0x0000aaae, 0x00033360,
226  0x00000000, 0x00005557, 0x0000666a, 0x00000820,
227  0x00000000, 0x00003335, 0x00000102, 0x00000810,
228  0x00000000, 0x00000081, 0x00000100, 0x00000800,
229  0x00000000, 0x00000080, 0x000000fe, 0x000007f0,
230  0x0000007f, 0x000000fd, 0x000007d2, 0x000007f0,
231  0x0000007e, 0x000000fb, 0x00000102, 0x00000197,
232  0x0000007d, 0x00000021, 0x00000032, 0x0000011a,
233  0x00000010, 0x00000007, 0x00000022, 0x0000009d,
234  0x00000003, 0x00000005, 0x00000012, 0x00000020,
235  0x00000002, 0x00000003, 0x00000002, 0xffffffa3,
236  0x00000001, 0x00000001, 0xfffffff2, 0xffffff26,
237  0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
238  0xffffffff, 0xfffffffd, 0xffffff02, 0xffffc317,
239  0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
240  0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
241  0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
242  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
243  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
244  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
245  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
246  0xffff8003, 0xffff0005, 0xfff80012, 0x003e8020,
247  0xffff8002, 0xffff0003, 0x00080002, 0x003e7fa3,
248  0xffff8001, 0x00010001, 0x0007fff2, 0x0029ab1e,
249  0x00008000, 0x0000ffff, 0x00055562, 0x00190084,
250  0x00007fff, 0x0000aaad, 0x00033342, 0x00003ea0,
251  0x00005556, 0x00006669, 0x00000802, 0x00003e23,
252  0x00003334, 0x00000101, 0x000007f2, 0x00003da6,
253  0x00000080, 0x000000ff, 0x000007e2, 0x00003d29,
254  0x000000fe, 0x000007e1, 0x00003d0b, 0x00000800,
255  0x000000fc, 0x000007d1, 0x000007d2, 0x0000019a,
256  0x000000fa, 0x00000101, 0x00000179, 0x0000011c,
257  0x00000020, 0x00000031, 0x000000fc, 0x0000009e,
258  0x00000006, 0x00000021, 0x0000007f, 0x00000020,
259  0x00000004, 0x00000011, 0x00000002, 0xffffffa2,
260  0x00000002, 0x00000001, 0xffffff85, 0xffffff24,
261  0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
262  0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
263  0xfffffffc, 0xffffff01, 0xffffc2f9, 0xffffc21c,
264  0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
265  0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
266  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
267  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
268  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
269  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
270  0xffff0006, 0xfff80021, 0xffc1807f, 0x003f0020,
271  0xffff0004, 0xfff80011, 0x003e8002, 0x003effa2,
272  0xffff0002, 0x00080001, 0x003e7f85, 0x002a0074,
273  0x00010000, 0x0007fff1, 0x0029ab00, 0x001933b8,
274  0x0000fffe, 0x00055561, 0x00190066, 0x00003f20,
275  0x0000aaac, 0x00033341, 0x00003e82, 0x00003ea2,
276  0x00006668, 0x00000801, 0x00003e05, 0x00003e24,
277  0x00000100, 0x000007f1, 0x00003d88, 0x00003da6,
278  0x000007f0, 0x00003d87, 0x00003d88, 0x00000810,
279  0x000007e0, 0x00003d0a, 0x000007e2, 0x0000019d,
280  0x000007d0, 0x000007d1, 0x0000017c, 0x0000011e,
281  0x00000100, 0x00000178, 0x000000fe, 0x0000009f,
282  0x00000030, 0x000000fb, 0x00000080, 0x00000020,
283  0x00000020, 0x0000007e, 0x00000002, 0xffffffa1,
284  0x00000010, 0x00000001, 0xffffff84, 0xffffff22,
285  0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
286  0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
287  0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
288  0xffffff00, 0xffffc2f8, 0xffffc1fe, 0xffffc11f,
289  0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
290  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
291  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
292  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
293  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
294  0xfff80030, 0xffc180fb, 0xffc10080, 0x003f8020,
295  0xfff80020, 0xffc1807e, 0x003f0002, 0x003f7fa1,
296  0xfff80010, 0x003e8001, 0x003eff84, 0x002a55ca,
297  0x00080000, 0x003e7f84, 0x002a0056, 0x001966ec,
298  0x0007fff0, 0x0029aaff, 0x0019339a, 0x00003fa0,
299  0x00055560, 0x00190065, 0x00003f02, 0x00003f21,
300  0x00033340, 0x00003e81, 0x00003e84, 0x00003ea2,
301  0x00000800, 0x00003e04, 0x00003e06, 0x00003e23,
302  0x00003e03, 0x00003e05, 0x00003e05, 0x00033350,
303  0x00003d86, 0x00003d87, 0x000007f2, 0x000099b9,
304  0x00003d09, 0x000007e1, 0x0000017f, 0x00006686,
305  0x000007d0, 0x0000017b, 0x00000100, 0x00003353,
306  0x00000177, 0x000000fd, 0x00000081, 0x00000020,
307  0x000000fa, 0x0000007f, 0x00000002, 0xffffcced,
308  0x0000007d, 0x00000001, 0xffffff83, 0xffff99ba,
309  0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
310  0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
311  0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
312  0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
313  0xffffc2f7, 0xffffc1fd, 0xffffc101, 0xf5c2a3f7,
314  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
315  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
316  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
317  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
318  0xffc18177, 0xffc100fd, 0xffc08081, 0x19998020,
319  0xffc180fa, 0xffc1007f, 0x003f8002, 0x19994ced,
320  0xffc1807d, 0x003f0001, 0x003f7f83, 0x11112242,
321  0x003e8000, 0x003eff83, 0x002a55ac, 0x0a3d8f7c,
322  0x003e7f83, 0x002a0055, 0x001966ce, 0x001999a0,
323  0x0029aafe, 0x00193399, 0x00003f82, 0x0019666d,
324  0x00190064, 0x00003f01, 0x00003f03, 0x0019333a,
325  0x00003e80, 0x00003e83, 0x00003e84, 0x00190007,
326  0x00003e82, 0x00003e83, 0x0018ffe9, 0x00055570,
327  0x00003e04, 0x00003e04, 0x00033332, 0x0001001f,
328  0x00003d86, 0x000007f1, 0x0000999b, 0x0000aaca,
329  0x000007e0, 0x0000017e, 0x00006668, 0x00005575,
330  0x0000017a, 0x000000ff, 0x00003335, 0x00000020,
331  0x000000fc, 0x00000080, 0x00000002, 0xffffaacb,
332  0x0000007e, 0x00000001, 0xffffcccf, 0xffff5576,
333  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
334  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
335  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
336  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
337  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
338  0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
339  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
340  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
341  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
342  0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
343  0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
344  0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
345  0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
346  0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
347  0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
348  0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
349  0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
350  0x00003f01, 0x0019331b, 0x0029aa83, 0x0007fff0,
351  0x00003e82, 0x0018ffe8, 0x00055552, 0x00018017,
352  0x00003e03, 0x00033331, 0x00010001, 0x0001001a,
353  0x000007f0, 0x0000999a, 0x0000aaac, 0x0000801d,
354  0x0000017d, 0x00006667, 0x00005557, 0x00000020,
355  0x000000fe, 0x00003334, 0x00000002, 0xffff8023,
356  0x0000007f, 0x00000001, 0xffffaaad, 0xffff0026,
357  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
358  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
359  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
360  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
361  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
362  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
363  0xffffc0ff, 0xf5c2a3d8, 0xe38e71c9, 0xc0030017,
364  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
365  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
366  0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
367  0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
368  0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
369  0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
370  0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
371  0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
372  0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
373  0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
374  0x0019664d, 0x0029ffd7, 0x003e7e8b, 0x00080000,
375  0x0019331a, 0x0029aa82, 0x0007ffd2, 0x0001801a,
376  0x0018ffe7, 0x00055551, 0x00017ff9, 0x0001001c,
377  0x00033330, 0x00010000, 0x0000fffc, 0x0000801e,
378  0x00009999, 0x0000aaab, 0x00007fff, 0x00000020,
379  0x00006666, 0x00005556, 0x00000002, 0xffff8022,
380  0x00003333, 0x00000001, 0xffff8005, 0xffff0024,
381  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
382  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
383  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
384  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
385  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
386  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
387  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
388  0xf5c2a3d7, 0xe38e71c8, 0xc002fff9, 0xc002001c,
389  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
390  0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
391  0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
392  0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
393  0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
394  0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
395  0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
396  0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
397  0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
398  0x002a552b, 0x003efe87, 0x003e7f08, 0x00080010,
399  0x0029ffd6, 0x003e7e8a, 0x0007ffe2, 0x0001801d,
400  0x0029aa81, 0x0007ffd1, 0x00017ffc, 0x0001001e,
401  0x00055550, 0x00017ff8, 0x0000fffe, 0x0000801f,
402  0x0000ffff, 0x0000fffb, 0x00008000, 0x00000020,
403  0x0000aaaa, 0x00007ffe, 0x00000002, 0xffff8021,
404  0x00005555, 0x00000001, 0xffff8004, 0xffff0022,
405  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
406  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
407  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
408  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
409  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
410  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
411  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
412  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
413  0xe38e71c7, 0xc002fff8, 0xc001fffe, 0xc001001f,
414  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
415  0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
416  0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
417  0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
418  0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
419  0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
420  0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
421  0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
422  0x003f7e83, 0x003eff05, 0x003e7f85, 0xfff80020,
423  0x003efe86, 0x003e7f07, 0x0007fff2, 0xfffe8020,
424  0x003e7e89, 0x0007ffe1, 0x00017fff, 0xffff0020,
425  0x0007ffd0, 0x00017ffb, 0x00010000, 0xffff8020,
426  0x00017ff7, 0x0000fffd, 0x00008001, 0x00000020,
427  0x0000fffa, 0x00007fff, 0x00000002, 0x00008020,
428  0x00007ffd, 0x00000001, 0xffff8003, 0x00010020,
429  0x00000000, 0xffff8003, 0xffff0004, 0x00080020,
430  0xffff8003, 0xffff0005, 0xfff80012, 0x003e8020,
431  0xffff0006, 0xfff80021, 0xffc1807f, 0x003f0020,
432  0xfff80030, 0xffc180fb, 0xffc10080, 0x003f8020,
433  0xffc18177, 0xffc100fd, 0xffc08081, 0x19998020,
434  0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
435  0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
436  0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
437  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
438  0xc002fff7, 0xc001fffd, 0xc0010001, 0xc0000020,
439  0xc0027ffa, 0xc0017fff, 0x3fff8002, 0xc0008020,
440  0xc001fffd, 0x3fff0001, 0x3fff0003, 0xd5550020,
441  0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0xe6660020,
442  0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0xffc00020,
443  0x2aa9fffe, 0x19999999, 0x003fff82, 0xffc08020,
444  0x19996664, 0x003fff01, 0x003f7f83, 0xffc10020,
445  0x003ffe80, 0x003f7f03, 0x003eff84, 0xffc18020,
446  0x003f7f02, 0x003eff83, 0xffc18002, 0xfff80030,
447  0x003eff04, 0x003e7f84, 0xfff80002, 0xfffe8023,
448  0x003e7f06, 0x0007fff1, 0xfffe8002, 0xffff0022,
449  0x0007ffe0, 0x00017ffe, 0xffff0002, 0xffff8021,
450  0x00017ffa, 0x0000ffff, 0xffff8002, 0x00000020,
451  0x0000fffc, 0x00008000, 0x00000002, 0x0000801f,
452  0x00007ffe, 0x00000001, 0x00008002, 0x0001001e,
453  0x00000000, 0xffff8002, 0x00010002, 0x00080010,
454  0xffff8002, 0xffff0003, 0x00080002, 0x003e7fa3,
455  0xffff0004, 0xfff80011, 0x003e8002, 0x003effa2,
456  0xfff80020, 0xffc1807e, 0x003f0002, 0x003f7fa1,
457  0xffc180fa, 0xffc1007f, 0x003f8002, 0x19994ced,
458  0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
459  0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
460  0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
461  0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
462  0xc0027ffa, 0xc0017fff, 0x3fff8002, 0xc0008020,
463  0xc001fffc, 0xc0010000, 0xc0000002, 0xc001001f,
464  0xc0017ffe, 0x3fff8001, 0xc0008002, 0xd5555576,
465  0x3fff0000, 0x3fff0002, 0xd5550002, 0xe6663354,
466  0x3ffe8002, 0x2aaaaaab, 0xe6660002, 0xffc000a0,
467  0x2aaa5554, 0x1999cccd, 0xffc00002, 0xffc0809f,
468  0x19999998, 0x003fff81, 0xffc08002, 0xffc1009e,
469  0x003fff00, 0x003f7f82, 0xffc10002, 0xffc1809d,
470  0x003f7f81, 0xffc10001, 0xffc1807f, 0xfffaaac0,
471  0x003eff82, 0xffc18001, 0xfff80012, 0xffff001e,
472  0x003e7f83, 0xfff80001, 0xfffe8005, 0xffff5574,
473  0x0007fff0, 0xfffe8001, 0xffff0004, 0xffffaaca,
474  0x00017ffd, 0xffff0001, 0xffff8003, 0x00000020,
475  0x0000fffe, 0xffff8001, 0x00000002, 0x00005576,
476  0x00007fff, 0x00000001, 0x00008001, 0x0000aacc,
477  0x00000000, 0x00008001, 0x00010000, 0x00055580,
478  0xffff8001, 0x00010001, 0x0007fff2, 0x0029ab1e,
479  0xffff0002, 0x00080001, 0x003e7f85, 0x002a0074,
480  0xfff80010, 0x003e8001, 0x003eff84, 0x002a55ca,
481  0xffc1807d, 0x003f0001, 0x003f7f83, 0x11112242,
482  0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
483  0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
484  0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
485  0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
486  0xc001fffd, 0x3fff0001, 0x3fff0003, 0xd5550020,
487  0xc0017ffe, 0x3fff8001, 0xc0008002, 0xd5555576,
488  0xc000ffff, 0xc0000001, 0xc0010001, 0xe38dc73c,
489  0x3fff8000, 0xc0008001, 0xd5555558, 0xeeee88a8,
490  0x3fff0001, 0xd5550001, 0xe6663336, 0xffd55520,
491  0x2aaaaaaa, 0xe6660001, 0xffc00082, 0xffd5aa76,
492  0x1999cccc, 0xffc00001, 0xffc08081, 0xffd5ffcc,
493  0x003fff80, 0xffc08001, 0xffc10080, 0xffd65522,
494  0xffc08000, 0xffc1007f, 0xffd65504, 0xfffccce0,
495  0xffc10000, 0xffc1807e, 0xfffaaaa2, 0xffff6684,
496  0xffc18000, 0xfff80011, 0xffff0000, 0xffff99b8,
497  0xfff80000, 0xfffe8004, 0xffff5556, 0xffffccec,
498  0xfffe8000, 0xffff0003, 0xffffaaac, 0x00000020,
499  0xffff0000, 0xffff8002, 0x00000002, 0x00003354,
500  0xffff8000, 0x00000001, 0x00005558, 0x00006688,
501  0x00000000, 0x00008000, 0x0000aaae, 0x00033360,
502  0x00008000, 0x0000ffff, 0x00055562, 0x00190084,
503  0x00010000, 0x0007fff1, 0x0029ab00, 0x001933b8,
504  0x00080000, 0x003e7f84, 0x002a0056, 0x001966ec,
505  0x003e8000, 0x003eff83, 0x002a55ac, 0x0a3d8f7c,
506  0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
507  0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
508  0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
509  0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
510  0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0xe6660020,
511  0x3fff0000, 0x3fff0002, 0xd5550002, 0xe6663354,
512  0x3fff8000, 0xc0008001, 0xd5555558, 0xeeee88a8,
513  0xc0000000, 0xc0010000, 0xe38dc71e, 0xf5c23d90,
514  0xc0008000, 0xd5555557, 0xeeee888a, 0xffe66620,
515  0xd5550000, 0xe6663335, 0xffd55502, 0xffe69954,
516  0xe6660000, 0xffc00081, 0xffd5aa58, 0xffe6cc88,
517  0xffc00000, 0xffc08080, 0xffd5ffae, 0xffe6ffbc,
518  0xffc0807f, 0xffd5ffad, 0xffe6ff9e, 0xfffff820,
519  0xffc1007e, 0xffd65503, 0xfffcccc2, 0xfffffea0,
520  0xffc1807d, 0xfffaaaa1, 0xffff6666, 0xffffff20,
521  0xfff80010, 0xfffeffff, 0xffff999a, 0xffffffa0,
522  0xfffe8003, 0xffff5555, 0xffffccce, 0x00000020,
523  0xffff0002, 0xffffaaab, 0x00000002, 0x000000a0,
524  0xffff8001, 0x00000001, 0x00003336, 0x00000120,
525  0x00000000, 0x00005557, 0x0000666a, 0x00000820,
526  0x00007fff, 0x0000aaad, 0x00033342, 0x00003ea0,
527  0x0000fffe, 0x00055561, 0x00190066, 0x00003f20,
528  0x0007fff0, 0x0029aaff, 0x0019339a, 0x00003fa0,
529  0x003e7f83, 0x002a0055, 0x001966ce, 0x001999a0,
530  0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
531  0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
532  0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
533  0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
534  0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0xffc00020,
535  0x3ffe8002, 0x2aaaaaab, 0xe6660002, 0xffc000a0,
536  0x3fff0001, 0xd5550001, 0xe6663336, 0xffd55520,
537  0xc0008000, 0xd5555557, 0xeeee888a, 0xffe66620,
538  0xc000ffff, 0xe38dc71d, 0xf5c23d72, 0xffffc020,
539  0xd5555556, 0xeeee8889, 0xffe66602, 0xffffc0a0,
540  0xe6663334, 0xffd55501, 0xffe69936, 0xffffc120,
541  0xffc00080, 0xffd5aa57, 0xffe6cc6a, 0xffffc1a0,
542  0xffd5aa56, 0xffe6cc69, 0xffffc182, 0xfffff830,
543  0xffd5ffac, 0xffe6ff9d, 0xfffff802, 0xfffffea3,
544  0xffd65502, 0xfffcccc1, 0xfffffe82, 0xffffff22,
545  0xfffaaaa0, 0xffff6665, 0xffffff02, 0xffffffa1,
546  0xfffefffe, 0xffff9999, 0xffffff82, 0x00000020,
547  0xffff5554, 0xffffcccd, 0x00000002, 0x0000009f,
548  0xffffaaaa, 0x00000001, 0x00000082, 0x0000011e,
549  0x00000000, 0x00003335, 0x00000102, 0x00000810,
550  0x00005556, 0x00006669, 0x00000802, 0x00003e23,
551  0x0000aaac, 0x00033341, 0x00003e82, 0x00003ea2,
552  0x00055560, 0x00190065, 0x00003f02, 0x00003f21,
553  0x0029aafe, 0x00193399, 0x00003f82, 0x0019666d,
554  0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
555  0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
556  0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
557  0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
558  0x2aa9fffe, 0x19999999, 0x003fff82, 0xffc08020,
559  0x2aaa5554, 0x1999cccd, 0xffc00002, 0xffc0809f,
560  0x2aaaaaaa, 0xe6660001, 0xffc00082, 0xffd5aa76,
561  0xd5550000, 0xe6663335, 0xffd55502, 0xffe69954,
562  0xd5555556, 0xeeee8889, 0xffe66602, 0xffffc0a0,
563  0xe38dc71c, 0xf5c23d71, 0xffffc002, 0xffffc11f,
564  0xeeee8888, 0xffe66601, 0xffffc082, 0xffffc19e,
565  0xffd55500, 0xffe69935, 0xffffc102, 0xffffc21d,
566  0xffe69934, 0xffffc101, 0xffffc1ff, 0xfffff840,
567  0xffe6cc68, 0xffffc181, 0xfffff812, 0xfffffea6,
568  0xffe6ff9c, 0xfffff801, 0xfffffe85, 0xffffff24,
569  0xfffcccc0, 0xfffffe81, 0xffffff04, 0xffffffa2,
570  0xffff6664, 0xffffff01, 0xffffff83, 0x00000020,
571  0xffff9998, 0xffffff81, 0x00000002, 0x0000009e,
572  0xffffcccc, 0x00000001, 0x00000081, 0x0000011c,
573  0x00000000, 0x00000081, 0x00000100, 0x00000800,
574  0x00003334, 0x00000101, 0x000007f2, 0x00003da6,
575  0x00006668, 0x00000801, 0x00003e05, 0x00003e24,
576  0x00033340, 0x00003e81, 0x00003e84, 0x00003ea2,
577  0x00190064, 0x00003f01, 0x00003f03, 0x0019333a,
578  0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
579  0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
580  0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
581  0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
582  0x19996664, 0x003fff01, 0x003f7f83, 0xffc10020,
583  0x19999998, 0x003fff81, 0xffc08002, 0xffc1009e,
584  0x1999cccc, 0xffc00001, 0xffc08081, 0xffd5ffcc,
585  0xe6660000, 0xffc00081, 0xffd5aa58, 0xffe6cc88,
586  0xe6663334, 0xffd55501, 0xffe69936, 0xffffc120,
587  0xeeee8888, 0xffe66601, 0xffffc082, 0xffffc19e,
588  0xf5c23d70, 0xffffc001, 0xffffc101, 0xffffc21c,
589  0xffe66600, 0xffffc081, 0xffffc180, 0xffffc29a,
590  0xffffc080, 0xffffc17f, 0xffffc27c, 0xfffff850,
591  0xffffc100, 0xffffc1fe, 0xfffff822, 0xfffffea9,
592  0xffffc180, 0xfffff811, 0xfffffe88, 0xffffff26,
593  0xfffff800, 0xfffffe84, 0xffffff06, 0xffffffa3,
594  0xfffffe80, 0xffffff03, 0xffffff84, 0x00000020,
595  0xffffff00, 0xffffff82, 0x00000002, 0x0000009d,
596  0xffffff80, 0x00000001, 0x00000080, 0x0000011a,
597  0x00000000, 0x00000080, 0x000000fe, 0x000007f0,
598  0x00000080, 0x000000ff, 0x000007e2, 0x00003d29,
599  0x00000100, 0x000007f1, 0x00003d88, 0x00003da6,
600  0x00000800, 0x00003e04, 0x00003e06, 0x00003e23,
601  0x00003e80, 0x00003e83, 0x00003e84, 0x00190007,
602  0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
603  0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
604  0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
605  0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
606  0x003ffe80, 0x003f7f03, 0x003eff84, 0xffc18020,
607  0x003fff00, 0x003f7f82, 0xffc10002, 0xffc1809d,
608  0x003fff80, 0xffc08001, 0xffc10080, 0xffd65522,
609  0xffc00000, 0xffc08080, 0xffd5ffae, 0xffe6ffbc,
610  0xffc00080, 0xffd5aa57, 0xffe6cc6a, 0xffffc1a0,
611  0xffd55500, 0xffe69935, 0xffffc102, 0xffffc21d,
612  0xffe66600, 0xffffc081, 0xffffc180, 0xffffc29a,
613  0xffffc000, 0xffffc100, 0xffffc1fe, 0xffffc317,
614};
615const unsigned kExpectedCount_NEON_smlsl_4S = 576;
616
617#endif  // VIXL_SIM_SMLSL_4S_TRACE_AARCH64_H_
618