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_UMLSL2_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_UMLSL2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_umlsl2_4S[] = {
38  0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
39  0xc0027ffa, 0xc0017fff, 0x00000002, 0x00000020,
40  0xc001fffd, 0x00000001, 0xffff8003, 0x00000020,
41  0x00000000, 0xffff8003, 0xffff0004, 0x00000020,
42  0xffff8003, 0xffff0005, 0xfff80012, 0x00000020,
43  0xffff0006, 0xfff80021, 0xffc1807f, 0x00000020,
44  0xfff80030, 0xffc180fb, 0xffc10080, 0x00000020,
45  0xffc18177, 0xffc100fd, 0xffc08081, 0x00000020,
46  0xffc1017a, 0xffc080ff, 0xe666b335, 0x00000020,
47  0xffc0817d, 0xe666e667, 0xd555d557, 0x00000020,
48  0xe6671999, 0xd5562aab, 0xc001ffff, 0x00000020,
49  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x00000020,
50  0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
51  0xc0027ffa, 0xc0017fff, 0xc0008002, 0x00000020,
52  0xc001fffd, 0xc0010001, 0xc0000003, 0x00000020,
53  0xc0018000, 0xc0008003, 0xaaabaaac, 0x00000020,
54  0xc0010003, 0xaaac5555, 0x999accce, 0x00000020,
55  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x00000020,
56  0x999c6664, 0x8041ff01, 0x80407f83, 0x00000020,
57  0x8042fe80, 0x80417f03, 0x803fff84, 0x00000020,
58  0x80427e83, 0x8040ff05, 0x803f7f85, 0x00000020,
59  0x8041fe86, 0x80407f07, 0x8008fff2, 0x00000020,
60  0x80417e89, 0x8009ffe1, 0x80027fff, 0x00000020,
61  0x800affd0, 0x80037ffb, 0x80020000, 0x00000020,
62  0x80037ffa, 0x8001ffff, 0x00000002, 0x00000020,
63  0x8002fffc, 0x80018000, 0x00000002, 0x0000001f,
64  0x80027ffe, 0x00000001, 0x00000002, 0x0000001e,
65  0x00000000, 0xffff8002, 0x00000002, 0x00000010,
66  0xffff8002, 0xffff0003, 0x00000002, 0xffffffa3,
67  0xffff0004, 0xfff80011, 0x00000002, 0xffffffa2,
68  0xfff80020, 0xffc1807e, 0x00000002, 0xffffffa1,
69  0xffc180fa, 0xffc1007f, 0x00000002, 0xffffcced,
70  0xffc100fc, 0xffc08080, 0x00000002, 0xffffaacb,
71  0xffc080fe, 0xe666b334, 0x00000002, 0xffff8023,
72  0xe666e666, 0xd555d556, 0x00000002, 0xffff8022,
73  0xd5562aaa, 0xc001fffe, 0x00000002, 0xffff8021,
74  0xc0027ffa, 0xc0017fff, 0x00000002, 0xffff8020,
75  0xc001fffc, 0xc0010000, 0x00000002, 0xffff801f,
76  0xc0017ffe, 0xc0008001, 0x00000002, 0xffff5576,
77  0xc0010000, 0xc0000002, 0x00000002, 0xffff3354,
78  0xc0008002, 0xaaabaaab, 0x00000002, 0xffff00a0,
79  0xaaac5554, 0x999acccd, 0x00000002, 0xffff009f,
80  0x999b9998, 0x8040ff81, 0x00000002, 0xffff009e,
81  0x8041ff00, 0x80407f82, 0x00000002, 0xffff009d,
82  0x80417f02, 0x803fff83, 0x00000002, 0xffff0030,
83  0x8040ff04, 0x803f7f84, 0x00000002, 0xffff0023,
84  0x80407f06, 0x8008fff1, 0x00000002, 0xffff0022,
85  0x8009ffe0, 0x80027ffe, 0x00000002, 0xffff0021,
86  0x80027ffd, 0x00000001, 0xffff0003, 0x00000020,
87  0x8001fffe, 0x00000001, 0x00000002, 0x0000001e,
88  0x80017fff, 0x00000001, 0x00000001, 0x0000001c,
89  0x00000000, 0x00000001, 0x00000000, 0x00000000,
90  0xffff8001, 0x00000001, 0xfffffff2, 0xffffff26,
91  0xffff0002, 0x00000001, 0xffffff85, 0xffffff24,
92  0xfff80010, 0x00000001, 0xffffff84, 0xffffff22,
93  0xffc1807d, 0x00000001, 0xffffff83, 0xffff99ba,
94  0xffc1007e, 0x00000001, 0xffffcccf, 0xffff5576,
95  0xffc0807f, 0x00000001, 0xffffaaad, 0xffff0026,
96  0xe666b333, 0x00000001, 0xffff8005, 0xffff0024,
97  0xd555d555, 0x00000001, 0xffff8004, 0xffff0022,
98  0xc001fffd, 0x00000001, 0xffff8003, 0xffff0020,
99  0xc0017ffe, 0x00000001, 0xffff8002, 0xffff001e,
100  0xc000ffff, 0x00000001, 0xffff8001, 0xfffeaacc,
101  0xc0008000, 0x00000001, 0xffff5558, 0xfffe6688,
102  0xc0000001, 0x00000001, 0xffff3336, 0xfffe0120,
103  0xaaabaaaa, 0x00000001, 0xffff0082, 0xfffe011e,
104  0x999acccc, 0x00000001, 0xffff0081, 0xfffe011c,
105  0x8040ff80, 0x00000001, 0xffff0080, 0xfffe011a,
106  0x80407f81, 0x00000001, 0xffff007f, 0xfffe0040,
107  0x803fff82, 0x00000001, 0xffff0012, 0xfffe0026,
108  0x803f7f83, 0x00000001, 0xffff0005, 0xfffe0024,
109  0x8008fff0, 0x00000001, 0xffff0004, 0xfffe0022,
110  0x00000000, 0xffff0003, 0xfffe0004, 0x00000020,
111  0x00000000, 0xffff0002, 0x00000002, 0x00000010,
112  0x00000000, 0x00000001, 0x00000000, 0x00000000,
113  0x00000000, 0x00000000, 0xfffffffe, 0xffffff20,
114  0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
115  0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
116  0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
117  0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
118  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
119  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
120  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
121  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
122  0x00000000, 0xffff8003, 0xffff0004, 0xfff80020,
123  0x00000000, 0xffff8002, 0xffff0002, 0xfff80010,
124  0x00000000, 0xffff8001, 0xffff0000, 0xfff55580,
125  0x00000000, 0xffff8000, 0xfffeaaae, 0xfff33360,
126  0x00000000, 0xffff5557, 0xfffe666a, 0xfff00820,
127  0x00000000, 0xffff3335, 0xfffe0102, 0xfff00810,
128  0x00000000, 0xffff0081, 0xfffe0100, 0xfff00800,
129  0x00000000, 0xffff0080, 0xfffe00fe, 0xfff007f0,
130  0x00000000, 0xffff007f, 0xfffe00fc, 0xfff00120,
131  0x00000000, 0xffff007e, 0xfffe0022, 0xfff00050,
132  0x00000000, 0xffff0011, 0xfffe0008, 0xfff00040,
133  0x00000000, 0xffff0004, 0xfffe0006, 0xfff00030,
134  0xffff0003, 0xfffe0005, 0xfff00012, 0x00000020,
135  0xffff0002, 0xfffe0003, 0x00000002, 0xffffffa3,
136  0xffff0001, 0x00000001, 0xfffffff2, 0xffffff26,
137  0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
138  0xffffffff, 0xfffffffd, 0xffffff02, 0xffffc317,
139  0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
140  0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
141  0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
142  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
143  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
144  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
145  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
146  0xffff8003, 0xffff0005, 0xfff80012, 0xffc18020,
147  0xffff8002, 0xffff0003, 0xfff80002, 0xffc17fa3,
148  0xffff8001, 0xffff0001, 0xfff7fff2, 0xffacab1e,
149  0xffff8000, 0xfffeffff, 0xfff55562, 0xff9c0084,
150  0xffff7fff, 0xfffeaaad, 0xfff33342, 0xff833ea0,
151  0xffff5556, 0xfffe6669, 0xfff00802, 0xff833e23,
152  0xffff3334, 0xfffe0101, 0xfff007f2, 0xff833da6,
153  0xffff0080, 0xfffe00ff, 0xfff007e2, 0xff833d29,
154  0xffff007f, 0xfffe00fd, 0xfff007d2, 0xff8307f0,
155  0xffff007e, 0xfffe00fb, 0xfff00102, 0xff830197,
156  0xffff007d, 0xfffe0021, 0xfff00032, 0xff83011a,
157  0xffff0010, 0xfffe0007, 0xfff00022, 0xff83009d,
158  0xfffe0006, 0xfff00021, 0xff83007f, 0x00000020,
159  0xfffe0004, 0xfff00011, 0x00000002, 0xffffffa2,
160  0xfffe0002, 0x00000001, 0xffffff85, 0xffffff24,
161  0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
162  0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
163  0xfffffffc, 0xffffff01, 0xffffc2f9, 0xffffc21c,
164  0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
165  0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
166  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
167  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
168  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
169  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
170  0xffff0006, 0xfff80021, 0xffc1807f, 0xffc10020,
171  0xffff0004, 0xfff80011, 0xffc18002, 0xffc0ffa2,
172  0xffff0002, 0xfff80001, 0xffc17f85, 0xffac0074,
173  0xffff0000, 0xfff7fff1, 0xffacab00, 0xff9b33b8,
174  0xfffefffe, 0xfff55561, 0xff9c0066, 0xff823f20,
175  0xfffeaaac, 0xfff33341, 0xff833e82, 0xff823ea2,
176  0xfffe6668, 0xfff00801, 0xff833e05, 0xff823e24,
177  0xfffe0100, 0xfff007f1, 0xff833d88, 0xff823da6,
178  0xfffe00fe, 0xfff007e1, 0xff833d0b, 0xff820800,
179  0xfffe00fc, 0xfff007d1, 0xff8307d2, 0xff82019a,
180  0xfffe00fa, 0xfff00101, 0xff830179, 0xff82011c,
181  0xfffe0020, 0xfff00031, 0xff8300fc, 0xff82009e,
182  0xfff00030, 0xff8300fb, 0xff820080, 0x00000020,
183  0xfff00020, 0xff83007e, 0x00000002, 0xffffffa1,
184  0xfff00010, 0x00000001, 0xffffff84, 0xffffff22,
185  0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
186  0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
187  0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
188  0xffffff00, 0xffffc2f8, 0xffffc1fe, 0xffffc11f,
189  0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
190  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
191  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
192  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
193  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
194  0xfff80030, 0xffc180fb, 0xffc10080, 0xffc08020,
195  0xfff80020, 0xffc1807e, 0xffc10002, 0xffc07fa1,
196  0xfff80010, 0xffc18001, 0xffc0ff84, 0xffab55ca,
197  0xfff80000, 0xffc17f84, 0xffac0056, 0xff9a66ec,
198  0xfff7fff0, 0xffacaaff, 0xff9b339a, 0xff813fa0,
199  0xfff55560, 0xff9c0065, 0xff823f02, 0xff813f21,
200  0xfff33340, 0xff833e81, 0xff823e84, 0xff813ea2,
201  0xfff00800, 0xff833e04, 0xff823e06, 0xff813e23,
202  0xfff007f0, 0xff833d87, 0xff823d88, 0xff810810,
203  0xfff007e0, 0xff833d0a, 0xff8207e2, 0xff81019d,
204  0xfff007d0, 0xff8307d1, 0xff82017c, 0xff81011e,
205  0xfff00100, 0xff830178, 0xff8200fe, 0xff81009f,
206  0xff830177, 0xff8200fd, 0xff810081, 0x00000020,
207  0xff8300fa, 0xff82007f, 0x00000002, 0xffffcced,
208  0xff83007d, 0x00000001, 0xffffff83, 0xffff99ba,
209  0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
210  0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
211  0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
212  0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
213  0xffffc2f7, 0xffffc1fd, 0xffffc101, 0xf5c2a3f7,
214  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
215  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
216  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
217  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
218  0xffc18177, 0xffc100fd, 0xffc08081, 0xe6668020,
219  0xffc180fa, 0xffc1007f, 0xffc08002, 0xe6664ced,
220  0xffc1807d, 0xffc10001, 0xffc07f83, 0xddde2242,
221  0xffc18000, 0xffc0ff83, 0xffab55ac, 0xd70a8f7c,
222  0xffc17f83, 0xffac0055, 0xff9a66ce, 0xcce699a0,
223  0xffacaafe, 0xff9b3399, 0xff813f82, 0xcce6666d,
224  0xff9c0064, 0xff823f01, 0xff813f03, 0xcce6333a,
225  0xff833e80, 0xff823e83, 0xff813e84, 0xcce60007,
226  0xff833e03, 0xff823e05, 0xff813e05, 0xccd03350,
227  0xff833d86, 0xff823d87, 0xff8107f2, 0xcccd99b9,
228  0xff833d09, 0xff8207e1, 0xff81017f, 0xcccd6686,
229  0xff8307d0, 0xff82017b, 0xff810100, 0xcccd3353,
230  0xff82017a, 0xff8100ff, 0xcccd3335, 0x00000020,
231  0xff8200fc, 0xff810080, 0x00000002, 0xffffaacb,
232  0xff82007e, 0x00000001, 0xffffcccf, 0xffff5576,
233  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
234  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
235  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
236  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
237  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
238  0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
239  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
240  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
241  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
242  0xffc1017a, 0xffc080ff, 0xe666b335, 0xd5558020,
243  0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
244  0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
245  0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
246  0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
247  0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
248  0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
249  0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
250  0xff823e82, 0xff813e83, 0xcce5ffe9, 0xaab05570,
251  0xff823e04, 0xff813e04, 0xccd03332, 0xaaac001f,
252  0xff823d86, 0xff8107f1, 0xcccd999b, 0xaaabaaca,
253  0xff8207e0, 0xff81017e, 0xcccd6668, 0xaaab5575,
254  0xff81017d, 0xcccd6667, 0xaaab5557, 0x00000020,
255  0xff8100fe, 0xcccd3334, 0x00000002, 0xffff8023,
256  0xff81007f, 0x00000001, 0xffffaaad, 0xffff0026,
257  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
258  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
259  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
260  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
261  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
262  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
263  0xffffc0ff, 0xf5c2a3d8, 0xe38e71c9, 0xc0030017,
264  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
265  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
266  0xffc0817d, 0xe666e667, 0xd555d557, 0xc0018020,
267  0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
268  0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
269  0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
270  0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
271  0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
272  0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
273  0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
274  0xff813f01, 0xcce6331b, 0xaad4aa83, 0x800afff0,
275  0xff813e82, 0xcce5ffe8, 0xaab05552, 0x80048017,
276  0xff813e03, 0xccd03331, 0xaaac0001, 0x8004001a,
277  0xff8107f0, 0xcccd999a, 0xaaabaaac, 0x8003801d,
278  0xcccd9999, 0xaaabaaab, 0x80037fff, 0x00000020,
279  0xcccd6666, 0xaaab5556, 0x00000002, 0xffff8022,
280  0xcccd3333, 0x00000001, 0xffff8005, 0xffff0024,
281  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
282  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
283  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
284  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
285  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
286  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
287  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
288  0xf5c2a3d7, 0xe38e71c8, 0xc002fff9, 0xc002001c,
289  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
290  0xe6671999, 0xd5562aab, 0xc001ffff, 0xc0010020,
291  0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
292  0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
293  0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
294  0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
295  0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
296  0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
297  0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
298  0xcce6664d, 0xaad4ffd7, 0x80417e8b, 0x800a0000,
299  0xcce6331a, 0xaad4aa82, 0x800affd2, 0x8003801a,
300  0xcce5ffe7, 0xaab05551, 0x80047ff9, 0x8003001c,
301  0xccd03330, 0xaaac0000, 0x8003fffc, 0x8002801e,
302  0xaaabffff, 0x8003fffb, 0x80028000, 0x00000020,
303  0xaaabaaaa, 0x80037ffe, 0x00000002, 0xffff8021,
304  0xaaab5555, 0x00000001, 0xffff8004, 0xffff0022,
305  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
306  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
307  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
308  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
309  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
310  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
311  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
312  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
313  0xe38e71c7, 0xc002fff8, 0xc001fffe, 0xc001001f,
314  0xd5567fff, 0xc0027ffb, 0xc0018000, 0xc0008020,
315  0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
316  0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
317  0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
318  0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
319  0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
320  0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
321  0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
322  0xaad5552b, 0x8041fe87, 0x80407f08, 0x80090010,
323  0xaad4ffd6, 0x80417e8a, 0x8009ffe2, 0x8002801d,
324  0xaad4aa81, 0x800affd1, 0x80037ffc, 0x8002001e,
325  0xaab05550, 0x80047ff8, 0x8002fffe, 0x8001801f,
326  0x80047ff7, 0x8002fffd, 0x80018001, 0x00000020,
327  0x8003fffa, 0x80027fff, 0x00000002, 0xffff8020,
328  0x80037ffd, 0x00000001, 0xffff8003, 0xffff0020,
329  0x00000000, 0xffff8003, 0xffff0004, 0xfff80020,
330  0xffff8003, 0xffff0005, 0xfff80012, 0xffc18020,
331  0xffff0006, 0xfff80021, 0xffc1807f, 0xffc10020,
332  0xfff80030, 0xffc180fb, 0xffc10080, 0xffc08020,
333  0xffc18177, 0xffc100fd, 0xffc08081, 0xe6668020,
334  0xffc1017a, 0xffc080ff, 0xe666b335, 0xd5558020,
335  0xffc0817d, 0xe666e667, 0xd555d557, 0xc0018020,
336  0xe6671999, 0xd5562aab, 0xc001ffff, 0xc0010020,
337  0xd5567fff, 0xc0027ffb, 0xc0018000, 0xc0008020,
338  0xc002fff7, 0xc001fffd, 0xc0010001, 0xc0000020,
339  0xc0027ffa, 0xc0017fff, 0xc0008002, 0xbfff8020,
340  0xc001fffd, 0xc0010001, 0xc0000003, 0xaaab0020,
341  0xc0018000, 0xc0008003, 0xaaabaaac, 0x999a0020,
342  0xc0010003, 0xaaac5555, 0x999accce, 0x80400020,
343  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x803f8020,
344  0x999c6664, 0x8041ff01, 0x80407f83, 0x803f0020,
345  0x8042fe80, 0x80417f03, 0x803fff84, 0x803e8020,
346  0x80427e83, 0x8040ff05, 0x803f7f85, 0x80080020,
347  0x8041fe86, 0x80407f07, 0x8008fff2, 0x80018020,
348  0x80417e89, 0x8009ffe1, 0x80027fff, 0x80010020,
349  0x800affd0, 0x80037ffb, 0x80020000, 0x80008020,
350  0x80037ffa, 0x8001ffff, 0x80008002, 0x00000020,
351  0x8002fffc, 0x80018000, 0x00000002, 0xffff801f,
352  0x80027ffe, 0x00000001, 0xffff8002, 0xffff001e,
353  0x00000000, 0xffff8002, 0xffff0002, 0xfff80010,
354  0xffff8002, 0xffff0003, 0xfff80002, 0xffc17fa3,
355  0xffff0004, 0xfff80011, 0xffc18002, 0xffc0ffa2,
356  0xfff80020, 0xffc1807e, 0xffc10002, 0xffc07fa1,
357  0xffc180fa, 0xffc1007f, 0xffc08002, 0xe6664ced,
358  0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
359  0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
360  0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
361  0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
362  0xc0027ffa, 0xc0017fff, 0xc0008002, 0xbfff8020,
363  0xc001fffc, 0xc0010000, 0xc0000002, 0xbfff001f,
364  0xc0017ffe, 0xc0008001, 0xbfff8002, 0xaaaa5576,
365  0xc0010000, 0xc0000002, 0xaaab0002, 0x99993354,
366  0xc0008002, 0xaaabaaab, 0x999a0002, 0x803f00a0,
367  0xaaac5554, 0x999acccd, 0x80400002, 0x803e809f,
368  0x999b9998, 0x8040ff81, 0x803f8002, 0x803e009e,
369  0x8041ff00, 0x80407f82, 0x803f0002, 0x803d809d,
370  0x80417f02, 0x803fff83, 0x803e8002, 0x80070030,
371  0x8040ff04, 0x803f7f84, 0x80080002, 0x80008023,
372  0x80407f06, 0x8008fff1, 0x80018002, 0x80000022,
373  0x8009ffe0, 0x80027ffe, 0x80010002, 0x7fff8021,
374  0x80027ffd, 0x80010001, 0x7fff8003, 0x00000020,
375  0x8001fffe, 0x80008001, 0x00000002, 0xffff5576,
376  0x80017fff, 0x00000001, 0xffff8001, 0xfffeaacc,
377  0x00000000, 0xffff8001, 0xffff0000, 0xfff55580,
378  0xffff8001, 0xffff0001, 0xfff7fff2, 0xffacab1e,
379  0xffff0002, 0xfff80001, 0xffc17f85, 0xffac0074,
380  0xfff80010, 0xffc18001, 0xffc0ff84, 0xffab55ca,
381  0xffc1807d, 0xffc10001, 0xffc07f83, 0xddde2242,
382  0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
383  0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
384  0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
385  0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
386  0xc001fffd, 0xc0010001, 0xc0000003, 0xaaab0020,
387  0xc0017ffe, 0xc0008001, 0xbfff8002, 0xaaaa5576,
388  0xc000ffff, 0xc0000001, 0xbfff0001, 0x8e39c73c,
389  0xc0008000, 0xbfff8001, 0xaaaa5558, 0x777888a8,
390  0xc0000001, 0xaaab0001, 0x99993336, 0x55ab5520,
391  0xaaabaaaa, 0x999a0001, 0x803f0082, 0x55aaaa76,
392  0x999acccc, 0x80400001, 0x803e8081, 0x55a9ffcc,
393  0x8040ff80, 0x803f8001, 0x803e0080, 0x55a95522,
394  0x80407f81, 0x803f0001, 0x803d807f, 0x5560aac0,
395  0x803fff82, 0x803e8001, 0x80070012, 0x5558001e,
396  0x803f7f83, 0x80080001, 0x80008005, 0x55575574,
397  0x8008fff0, 0x80018001, 0x80000004, 0x5556aaca,
398  0x80018000, 0x80000003, 0x5556aaac, 0x00000020,
399  0x80010000, 0x7fff8002, 0x00000002, 0xffff3354,
400  0x80008000, 0x00000001, 0xffff5558, 0xfffe6688,
401  0x00000000, 0xffff8000, 0xfffeaaae, 0xfff33360,
402  0xffff8000, 0xfffeffff, 0xfff55562, 0xff9c0084,
403  0xffff0000, 0xfff7fff1, 0xffacab00, 0xff9b33b8,
404  0xfff80000, 0xffc17f84, 0xffac0056, 0xff9a66ec,
405  0xffc18000, 0xffc0ff83, 0xffab55ac, 0xd70a8f7c,
406  0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
407  0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
408  0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
409  0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
410  0xc0018000, 0xc0008003, 0xaaabaaac, 0x999a0020,
411  0xc0010000, 0xc0000002, 0xaaab0002, 0x99993354,
412  0xc0008000, 0xbfff8001, 0xaaaa5558, 0x777888a8,
413  0xc0000000, 0xbfff0000, 0x8e39c71e, 0x5c2a3d90,
414  0xbfff8000, 0xaaaa5557, 0x7778888a, 0x339a6620,
415  0xaaab0000, 0x99993335, 0x55ab5502, 0x33999954,
416  0x999a0000, 0x803f0081, 0x55aaaa58, 0x3398cc88,
417  0x80400000, 0x803e8080, 0x55a9ffae, 0x3397ffbc,
418  0x803f8000, 0x803e007f, 0x55a95504, 0x3340cce0,
419  0x803f0000, 0x803d807e, 0x5560aaa2, 0x33366684,
420  0x803e8000, 0x80070011, 0x55580000, 0x333599b8,
421  0x80080000, 0x80008004, 0x55575556, 0x3334ccec,
422  0x80008003, 0x55575555, 0x3334ccce, 0x00000020,
423  0x80000002, 0x5556aaab, 0x00000002, 0xffff00a0,
424  0x7fff8001, 0x00000001, 0xffff3336, 0xfffe0120,
425  0x00000000, 0xffff5557, 0xfffe666a, 0xfff00820,
426  0xffff7fff, 0xfffeaaad, 0xfff33342, 0xff833ea0,
427  0xfffefffe, 0xfff55561, 0xff9c0066, 0xff823f20,
428  0xfff7fff0, 0xffacaaff, 0xff9b339a, 0xff813fa0,
429  0xffc17f83, 0xffac0055, 0xff9a66ce, 0xcce699a0,
430  0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
431  0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
432  0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
433  0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
434  0xc0010003, 0xaaac5555, 0x999accce, 0x80400020,
435  0xc0008002, 0xaaabaaab, 0x999a0002, 0x803f00a0,
436  0xc0000001, 0xaaab0001, 0x99993336, 0x55ab5520,
437  0xbfff8000, 0xaaaa5557, 0x7778888a, 0x339a6620,
438  0xbffeffff, 0x8e39c71d, 0x5c2a3d72, 0x00ffc020,
439  0xaaaa5556, 0x77788889, 0x339a6602, 0x00fec0a0,
440  0x99993334, 0x55ab5501, 0x33999936, 0x00fdc120,
441  0x803f0080, 0x55aaaa57, 0x3398cc6a, 0x00fcc1a0,
442  0x803e807f, 0x55a9ffad, 0x3397ff9e, 0x008ff820,
443  0x803e007e, 0x55a95503, 0x3340ccc2, 0x0082fea0,
444  0x803d807d, 0x5560aaa1, 0x33366666, 0x0081ff20,
445  0x80070010, 0x5557ffff, 0x3335999a, 0x0080ffa0,
446  0x5557fffe, 0x33359999, 0x0080ff82, 0x00000020,
447  0x55575554, 0x3334cccd, 0x00000002, 0xffff009f,
448  0x5556aaaa, 0x00000001, 0xffff0082, 0xfffe011e,
449  0x00000000, 0xffff3335, 0xfffe0102, 0xfff00810,
450  0xffff5556, 0xfffe6669, 0xfff00802, 0xff833e23,
451  0xfffeaaac, 0xfff33341, 0xff833e82, 0xff823ea2,
452  0xfff55560, 0xff9c0065, 0xff823f02, 0xff813f21,
453  0xffacaafe, 0xff9b3399, 0xff813f82, 0xcce6666d,
454  0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
455  0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
456  0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
457  0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
458  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x803f8020,
459  0xaaac5554, 0x999acccd, 0x80400002, 0x803e809f,
460  0xaaabaaaa, 0x999a0001, 0x803f0082, 0x55aaaa76,
461  0xaaab0000, 0x99993335, 0x55ab5502, 0x33999954,
462  0xaaaa5556, 0x77788889, 0x339a6602, 0x00fec0a0,
463  0x8e39c71c, 0x5c2a3d71, 0x00ffc002, 0x00fdc11f,
464  0x77788888, 0x339a6601, 0x00fec082, 0x00fcc19e,
465  0x55ab5500, 0x33999935, 0x00fdc102, 0x00fbc21d,
466  0x55aaaa56, 0x3398cc69, 0x00fcc182, 0x008ef830,
467  0x55a9ffac, 0x3397ff9d, 0x008ff802, 0x0081fea3,
468  0x55a95502, 0x3340ccc1, 0x0082fe82, 0x0080ff22,
469  0x5560aaa0, 0x33366665, 0x0081ff02, 0x007fffa1,
470  0x33366664, 0x0081ff01, 0x007fff83, 0x00000020,
471  0x33359998, 0x0080ff81, 0x00000002, 0xffff009e,
472  0x3334cccc, 0x00000001, 0xffff0081, 0xfffe011c,
473  0x00000000, 0xffff0081, 0xfffe0100, 0xfff00800,
474  0xffff3334, 0xfffe0101, 0xfff007f2, 0xff833da6,
475  0xfffe6668, 0xfff00801, 0xff833e05, 0xff823e24,
476  0xfff33340, 0xff833e81, 0xff823e84, 0xff813ea2,
477  0xff9c0064, 0xff823f01, 0xff813f03, 0xcce6333a,
478  0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
479  0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
480  0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
481  0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
482  0x999c6664, 0x8041ff01, 0x80407f83, 0x803f0020,
483  0x999b9998, 0x8040ff81, 0x803f8002, 0x803e009e,
484  0x999acccc, 0x80400001, 0x803e8081, 0x55a9ffcc,
485  0x999a0000, 0x803f0081, 0x55aaaa58, 0x3398cc88,
486  0x99993334, 0x55ab5501, 0x33999936, 0x00fdc120,
487  0x77788888, 0x339a6601, 0x00fec082, 0x00fcc19e,
488  0x5c2a3d70, 0x00ffc001, 0x00fdc101, 0x00fbc21c,
489  0x339a6600, 0x00fec081, 0x00fcc180, 0x00fac29a,
490  0x33999934, 0x00fdc101, 0x00fbc1ff, 0x008df840,
491  0x3398cc68, 0x00fcc181, 0x008ef812, 0x0080fea6,
492  0x3397ff9c, 0x008ff801, 0x0081fe85, 0x007fff24,
493  0x3340ccc0, 0x0082fe81, 0x0080ff04, 0x007effa2,
494  0x0082fe80, 0x0080ff03, 0x007eff84, 0x00000020,
495  0x0081ff00, 0x007fff82, 0x00000002, 0xffff009d,
496  0x0080ff80, 0x00000001, 0xffff0080, 0xfffe011a,
497  0x00000000, 0xffff0080, 0xfffe00fe, 0xfff007f0,
498  0xffff0080, 0xfffe00ff, 0xfff007e2, 0xff833d29,
499  0xfffe0100, 0xfff007f1, 0xff833d88, 0xff823da6,
500  0xfff00800, 0xff833e04, 0xff823e06, 0xff813e23,
501  0xff833e80, 0xff823e83, 0xff813e84, 0xcce60007,
502  0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
503  0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
504  0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
505  0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
506  0x8042fe80, 0x80417f03, 0x803fff84, 0x803e8020,
507  0x8041ff00, 0x80407f82, 0x803f0002, 0x803d809d,
508  0x8040ff80, 0x803f8001, 0x803e0080, 0x55a95522,
509  0x80400000, 0x803e8080, 0x55a9ffae, 0x3397ffbc,
510  0x803f0080, 0x55aaaa57, 0x3398cc6a, 0x00fcc1a0,
511  0x55ab5500, 0x33999935, 0x00fdc102, 0x00fbc21d,
512  0x339a6600, 0x00fec081, 0x00fcc180, 0x00fac29a,
513  0x00ffc000, 0x00fdc100, 0x00fbc1fe, 0x00f9c317,
514  0x00fec080, 0x00fcc17f, 0x00fac27c, 0x008cf850,
515  0x00fdc100, 0x00fbc1fe, 0x008df822, 0x007ffea9,
516  0x00fcc180, 0x008ef811, 0x0080fe88, 0x007eff26,
517  0x008ff800, 0x0081fe84, 0x007fff06, 0x007dffa3,
518  0x0081fe83, 0x007fff05, 0x007dff85, 0x00000020,
519  0x0080ff02, 0x007eff83, 0x00000002, 0xffff0030,
520  0x007fff81, 0x00000001, 0xffff007f, 0xfffe0040,
521  0x00000000, 0xffff007f, 0xfffe00fc, 0xfff00120,
522  0xffff007f, 0xfffe00fd, 0xfff007d2, 0xff8307f0,
523  0xfffe00fe, 0xfff007e1, 0xff833d0b, 0xff820800,
524  0xfff007f0, 0xff833d87, 0xff823d88, 0xff810810,
525  0xff833e03, 0xff823e05, 0xff813e05, 0xccd03350,
526  0xff823e82, 0xff813e83, 0xcce5ffe9, 0xaab05570,
527  0xff813f01, 0xcce6331b, 0xaad4aa83, 0x800afff0,
528  0xcce6664d, 0xaad4ffd7, 0x80417e8b, 0x800a0000,
529  0xaad5552b, 0x8041fe87, 0x80407f08, 0x80090010,
530  0x80427e83, 0x8040ff05, 0x803f7f85, 0x80080020,
531  0x80417f02, 0x803fff83, 0x803e8002, 0x80070030,
532  0x80407f81, 0x803f0001, 0x803d807f, 0x5560aac0,
533  0x803f8000, 0x803e007f, 0x55a95504, 0x3340cce0,
534  0x803e807f, 0x55a9ffad, 0x3397ff9e, 0x008ff820,
535  0x55aaaa56, 0x3398cc69, 0x00fcc182, 0x008ef830,
536  0x33999934, 0x00fdc101, 0x00fbc1ff, 0x008df840,
537  0x00fec080, 0x00fcc17f, 0x00fac27c, 0x008cf850,
538  0x00fdc0ff, 0x00fbc1fd, 0x00f9c2f9, 0x001fff20,
539  0x00fcc17e, 0x00fac27b, 0x008cf832, 0x0012fff0,
540  0x00fbc1fd, 0x008df821, 0x007ffe8b, 0x00120000,
541  0x008ef810, 0x0080fe87, 0x007eff08, 0x00110010,
542  0x0080fe86, 0x007eff07, 0x0010fff2, 0x00000020,
543  0x007fff04, 0x007dff84, 0x00000002, 0xffff0023,
544  0x007eff82, 0x00000001, 0xffff0012, 0xfffe0026,
545  0x00000000, 0xffff007e, 0xfffe0022, 0xfff00050,
546  0xffff007e, 0xfffe00fb, 0xfff00102, 0xff830197,
547  0xfffe00fc, 0xfff007d1, 0xff8307d2, 0xff82019a,
548  0xfff007e0, 0xff833d0a, 0xff8207e2, 0xff81019d,
549  0xff833d86, 0xff823d87, 0xff8107f2, 0xcccd99b9,
550  0xff823e04, 0xff813e04, 0xccd03332, 0xaaac001f,
551  0xff813e82, 0xcce5ffe8, 0xaab05552, 0x80048017,
552  0xcce6331a, 0xaad4aa82, 0x800affd2, 0x8003801a,
553  0xaad4ffd6, 0x80417e8a, 0x8009ffe2, 0x8002801d,
554  0x8041fe86, 0x80407f07, 0x8008fff2, 0x80018020,
555  0x8040ff04, 0x803f7f84, 0x80080002, 0x80008023,
556  0x803fff82, 0x803e8001, 0x80070012, 0x5558001e,
557  0x803f0000, 0x803d807e, 0x5560aaa2, 0x33366684,
558  0x803e007e, 0x55a95503, 0x3340ccc2, 0x0082fea0,
559  0x55a9ffac, 0x3397ff9d, 0x008ff802, 0x0081fea3,
560  0x3398cc68, 0x00fcc181, 0x008ef812, 0x0080fea6,
561  0x00fdc100, 0x00fbc1fe, 0x008df822, 0x007ffea9,
562  0x00fcc17e, 0x00fac27b, 0x008cf832, 0x0012fff0,
563  0x00fbc1fc, 0x00f9c2f8, 0x001fff02, 0x00060017,
564  0x00fac27a, 0x008cf831, 0x0012ffd2, 0x0005001a,
565  0x008df820, 0x007ffe8a, 0x0011ffe2, 0x0004001d,
566  0x007ffe89, 0x0011ffe1, 0x0003ffff, 0x00000020,
567  0x007eff06, 0x0010fff1, 0x00000002, 0xffff0022,
568  0x007dff83, 0x00000001, 0xffff0005, 0xfffe0024,
569  0x00000000, 0xffff0011, 0xfffe0008, 0xfff00040,
570  0xffff007d, 0xfffe0021, 0xfff00032, 0xff83011a,
571  0xfffe00fa, 0xfff00101, 0xff830179, 0xff82011c,
572  0xfff007d0, 0xff8307d1, 0xff82017c, 0xff81011e,
573  0xff833d09, 0xff8207e1, 0xff81017f, 0xcccd6686,
574  0xff823d86, 0xff8107f1, 0xcccd999b, 0xaaabaaca,
575  0xff813e03, 0xccd03331, 0xaaac0001, 0x8004001a,
576  0xcce5ffe7, 0xaab05551, 0x80047ff9, 0x8003001c,
577  0xaad4aa81, 0x800affd1, 0x80037ffc, 0x8002001e,
578  0x80417e89, 0x8009ffe1, 0x80027fff, 0x80010020,
579  0x80407f06, 0x8008fff1, 0x80018002, 0x80000022,
580  0x803f7f83, 0x80080001, 0x80008005, 0x55575574,
581  0x803e8000, 0x80070011, 0x55580000, 0x333599b8,
582  0x803d807d, 0x5560aaa1, 0x33366666, 0x0081ff20,
583  0x55a95502, 0x3340ccc1, 0x0082fe82, 0x0080ff22,
584  0x3397ff9c, 0x008ff801, 0x0081fe85, 0x007fff24,
585  0x00fcc180, 0x008ef811, 0x0080fe88, 0x007eff26,
586  0x00fbc1fd, 0x008df821, 0x007ffe8b, 0x00120000,
587  0x00fac27a, 0x008cf831, 0x0012ffd2, 0x0005001a,
588  0x00f9c2f7, 0x001fff01, 0x0005fff9, 0x0004001c,
589  0x008cf830, 0x0012ffd1, 0x0004fffc, 0x0003001e,
590  0x0012ffd0, 0x0004fffb, 0x00030000, 0x00000020,
591  0x0011ffe0, 0x0003fffe, 0x00000002, 0xffff0021,
592  0x0010fff0, 0x00000001, 0xffff0004, 0xfffe0022,
593  0x00000000, 0xffff0004, 0xfffe0006, 0xfff00030,
594  0xffff0010, 0xfffe0007, 0xfff00022, 0xff83009d,
595  0xfffe0020, 0xfff00031, 0xff8300fc, 0xff82009e,
596  0xfff00100, 0xff830178, 0xff8200fe, 0xff81009f,
597  0xff8307d0, 0xff82017b, 0xff810100, 0xcccd3353,
598  0xff8207e0, 0xff81017e, 0xcccd6668, 0xaaab5575,
599  0xff8107f0, 0xcccd999a, 0xaaabaaac, 0x8003801d,
600  0xccd03330, 0xaaac0000, 0x8003fffc, 0x8002801e,
601  0xaab05550, 0x80047ff8, 0x8002fffe, 0x8001801f,
602  0x800affd0, 0x80037ffb, 0x80020000, 0x80008020,
603  0x8009ffe0, 0x80027ffe, 0x80010002, 0x7fff8021,
604  0x8008fff0, 0x80018001, 0x80000004, 0x5556aaca,
605  0x80080000, 0x80008004, 0x55575556, 0x3334ccec,
606  0x80070010, 0x5557ffff, 0x3335999a, 0x0080ffa0,
607  0x5560aaa0, 0x33366665, 0x0081ff02, 0x007fffa1,
608  0x3340ccc0, 0x0082fe81, 0x0080ff04, 0x007effa2,
609  0x008ff800, 0x0081fe84, 0x007fff06, 0x007dffa3,
610  0x008ef810, 0x0080fe87, 0x007eff08, 0x00110010,
611  0x008df820, 0x007ffe8a, 0x0011ffe2, 0x0004001d,
612  0x008cf830, 0x0012ffd1, 0x0004fffc, 0x0003001e,
613  0x001fff00, 0x0005fff8, 0x0003fffe, 0x0002001f,
614};
615const unsigned kExpectedCount_NEON_umlsl2_4S = 576;
616
617#endif  // VIXL_SIM_UMLSL2_4S_TRACE_AARCH64_H_
618