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_UMLSL_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_UMLSL_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_umlsl_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, 0xd5558020,
55  0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
56  0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
57  0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
58  0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
59  0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
60  0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
61  0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
62  0xff813f01, 0xcce6331b, 0xaad4aa83, 0x800afff0,
63  0xff813e82, 0xcce5ffe8, 0xaab05552, 0x80048017,
64  0xff813e03, 0xccd03331, 0xaaac0001, 0x8004001a,
65  0xff8107f0, 0xcccd999a, 0xaaabaaac, 0x8003801d,
66  0xff81017d, 0xcccd6667, 0xaaab5557, 0x00000020,
67  0xff8100fe, 0xcccd3334, 0x00000002, 0xffff8023,
68  0xff81007f, 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, 0xc0018020,
79  0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
80  0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
81  0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
82  0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
83  0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
84  0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
85  0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
86  0xcce6664d, 0xaad4ffd7, 0x80417e8b, 0x800a0000,
87  0xcce6331a, 0xaad4aa82, 0x800affd2, 0x8003801a,
88  0xcce5ffe7, 0xaab05551, 0x80047ff9, 0x8003001c,
89  0xccd03330, 0xaaac0000, 0x8003fffc, 0x8002801e,
90  0xcccd9999, 0xaaabaaab, 0x80037fff, 0x00000020,
91  0xcccd6666, 0xaaab5556, 0x00000002, 0xffff8022,
92  0xcccd3333, 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, 0xc0010020,
103  0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
104  0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
105  0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
106  0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
107  0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
108  0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
109  0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
110  0xaad5552b, 0x8041fe87, 0x80407f08, 0x80090010,
111  0xaad4ffd6, 0x80417e8a, 0x8009ffe2, 0x8002801d,
112  0xaad4aa81, 0x800affd1, 0x80037ffc, 0x8002001e,
113  0xaab05550, 0x80047ff8, 0x8002fffe, 0x8001801f,
114  0xaaabffff, 0x8003fffb, 0x80028000, 0x00000020,
115  0xaaabaaaa, 0x80037ffe, 0x00000002, 0xffff8021,
116  0xaaab5555, 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, 0xc0008020,
127  0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
128  0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
129  0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
130  0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
131  0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
132  0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
133  0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
134  0x80427e83, 0x8040ff05, 0x803f7f85, 0x00000020,
135  0x8041fe86, 0x80407f07, 0x8008fff2, 0x00000020,
136  0x80417e89, 0x8009ffe1, 0x80027fff, 0x00000020,
137  0x800affd0, 0x80037ffb, 0x80020000, 0x00000020,
138  0x80047ff7, 0x8002fffd, 0x80018001, 0x00000020,
139  0x8003fffa, 0x80027fff, 0x00000002, 0x00000020,
140  0x80037ffd, 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, 0xc0008002, 0x00000020,
152  0xc001fffd, 0xc0010001, 0xc0000003, 0x00000020,
153  0xc0018000, 0xc0008003, 0xaaabaaac, 0x00000020,
154  0xc0010003, 0xaaac5555, 0x999accce, 0x00000020,
155  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x00000020,
156  0x999c6664, 0x8041ff01, 0x80407f83, 0x00000020,
157  0x8042fe80, 0x80417f03, 0x803fff84, 0x00000020,
158  0x80417f02, 0x803fff83, 0x00000002, 0xffff0030,
159  0x8040ff04, 0x803f7f84, 0x00000002, 0xffff0023,
160  0x80407f06, 0x8008fff1, 0x00000002, 0xffff0022,
161  0x8009ffe0, 0x80027ffe, 0x00000002, 0xffff0021,
162  0x80037ffa, 0x8001ffff, 0x00000002, 0x00000020,
163  0x8002fffc, 0x80018000, 0x00000002, 0x0000001f,
164  0x80027ffe, 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, 0xffff8020,
175  0xc001fffc, 0xc0010000, 0x00000002, 0xffff801f,
176  0xc0017ffe, 0xc0008001, 0x00000002, 0xffff5576,
177  0xc0010000, 0xc0000002, 0x00000002, 0xffff3354,
178  0xc0008002, 0xaaabaaab, 0x00000002, 0xffff00a0,
179  0xaaac5554, 0x999acccd, 0x00000002, 0xffff009f,
180  0x999b9998, 0x8040ff81, 0x00000002, 0xffff009e,
181  0x8041ff00, 0x80407f82, 0x00000002, 0xffff009d,
182  0x80407f81, 0x00000001, 0xffff007f, 0xfffe0040,
183  0x803fff82, 0x00000001, 0xffff0012, 0xfffe0026,
184  0x803f7f83, 0x00000001, 0xffff0005, 0xfffe0024,
185  0x8008fff0, 0x00000001, 0xffff0004, 0xfffe0022,
186  0x80027ffd, 0x00000001, 0xffff0003, 0x00000020,
187  0x8001fffe, 0x00000001, 0x00000002, 0x0000001e,
188  0x80017fff, 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, 0xffff0020,
199  0xc0017ffe, 0x00000001, 0xffff8002, 0xffff001e,
200  0xc000ffff, 0x00000001, 0xffff8001, 0xfffeaacc,
201  0xc0008000, 0x00000001, 0xffff5558, 0xfffe6688,
202  0xc0000001, 0x00000001, 0xffff3336, 0xfffe0120,
203  0xaaabaaaa, 0x00000001, 0xffff0082, 0xfffe011e,
204  0x999acccc, 0x00000001, 0xffff0081, 0xfffe011c,
205  0x8040ff80, 0x00000001, 0xffff0080, 0xfffe011a,
206  0x00000000, 0xffff007f, 0xfffe00fc, 0xfff00120,
207  0x00000000, 0xffff007e, 0xfffe0022, 0xfff00050,
208  0x00000000, 0xffff0011, 0xfffe0008, 0xfff00040,
209  0x00000000, 0xffff0004, 0xfffe0006, 0xfff00030,
210  0x00000000, 0xffff0003, 0xfffe0004, 0x00000020,
211  0x00000000, 0xffff0002, 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, 0xfff80020,
223  0x00000000, 0xffff8002, 0xffff0002, 0xfff80010,
224  0x00000000, 0xffff8001, 0xffff0000, 0xfff55580,
225  0x00000000, 0xffff8000, 0xfffeaaae, 0xfff33360,
226  0x00000000, 0xffff5557, 0xfffe666a, 0xfff00820,
227  0x00000000, 0xffff3335, 0xfffe0102, 0xfff00810,
228  0x00000000, 0xffff0081, 0xfffe0100, 0xfff00800,
229  0x00000000, 0xffff0080, 0xfffe00fe, 0xfff007f0,
230  0xffff007f, 0xfffe00fd, 0xfff007d2, 0xff8307f0,
231  0xffff007e, 0xfffe00fb, 0xfff00102, 0xff830197,
232  0xffff007d, 0xfffe0021, 0xfff00032, 0xff83011a,
233  0xffff0010, 0xfffe0007, 0xfff00022, 0xff83009d,
234  0xffff0003, 0xfffe0005, 0xfff00012, 0x00000020,
235  0xffff0002, 0xfffe0003, 0x00000002, 0xffffffa3,
236  0xffff0001, 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, 0xffc18020,
247  0xffff8002, 0xffff0003, 0xfff80002, 0xffc17fa3,
248  0xffff8001, 0xffff0001, 0xfff7fff2, 0xffacab1e,
249  0xffff8000, 0xfffeffff, 0xfff55562, 0xff9c0084,
250  0xffff7fff, 0xfffeaaad, 0xfff33342, 0xff833ea0,
251  0xffff5556, 0xfffe6669, 0xfff00802, 0xff833e23,
252  0xffff3334, 0xfffe0101, 0xfff007f2, 0xff833da6,
253  0xffff0080, 0xfffe00ff, 0xfff007e2, 0xff833d29,
254  0xfffe00fe, 0xfff007e1, 0xff833d0b, 0xff820800,
255  0xfffe00fc, 0xfff007d1, 0xff8307d2, 0xff82019a,
256  0xfffe00fa, 0xfff00101, 0xff830179, 0xff82011c,
257  0xfffe0020, 0xfff00031, 0xff8300fc, 0xff82009e,
258  0xfffe0006, 0xfff00021, 0xff83007f, 0x00000020,
259  0xfffe0004, 0xfff00011, 0x00000002, 0xffffffa2,
260  0xfffe0002, 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, 0xffc10020,
271  0xffff0004, 0xfff80011, 0xffc18002, 0xffc0ffa2,
272  0xffff0002, 0xfff80001, 0xffc17f85, 0xffac0074,
273  0xffff0000, 0xfff7fff1, 0xffacab00, 0xff9b33b8,
274  0xfffefffe, 0xfff55561, 0xff9c0066, 0xff823f20,
275  0xfffeaaac, 0xfff33341, 0xff833e82, 0xff823ea2,
276  0xfffe6668, 0xfff00801, 0xff833e05, 0xff823e24,
277  0xfffe0100, 0xfff007f1, 0xff833d88, 0xff823da6,
278  0xfff007f0, 0xff833d87, 0xff823d88, 0xff810810,
279  0xfff007e0, 0xff833d0a, 0xff8207e2, 0xff81019d,
280  0xfff007d0, 0xff8307d1, 0xff82017c, 0xff81011e,
281  0xfff00100, 0xff830178, 0xff8200fe, 0xff81009f,
282  0xfff00030, 0xff8300fb, 0xff820080, 0x00000020,
283  0xfff00020, 0xff83007e, 0x00000002, 0xffffffa1,
284  0xfff00010, 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, 0xffc08020,
295  0xfff80020, 0xffc1807e, 0xffc10002, 0xffc07fa1,
296  0xfff80010, 0xffc18001, 0xffc0ff84, 0xffab55ca,
297  0xfff80000, 0xffc17f84, 0xffac0056, 0xff9a66ec,
298  0xfff7fff0, 0xffacaaff, 0xff9b339a, 0xff813fa0,
299  0xfff55560, 0xff9c0065, 0xff823f02, 0xff813f21,
300  0xfff33340, 0xff833e81, 0xff823e84, 0xff813ea2,
301  0xfff00800, 0xff833e04, 0xff823e06, 0xff813e23,
302  0xff833e03, 0xff823e05, 0xff813e05, 0xccd03350,
303  0xff833d86, 0xff823d87, 0xff8107f2, 0xcccd99b9,
304  0xff833d09, 0xff8207e1, 0xff81017f, 0xcccd6686,
305  0xff8307d0, 0xff82017b, 0xff810100, 0xcccd3353,
306  0xff830177, 0xff8200fd, 0xff810081, 0x00000020,
307  0xff8300fa, 0xff82007f, 0x00000002, 0xffffcced,
308  0xff83007d, 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, 0xe6668020,
319  0xffc180fa, 0xffc1007f, 0xffc08002, 0xe6664ced,
320  0xffc1807d, 0xffc10001, 0xffc07f83, 0xddde2242,
321  0xffc18000, 0xffc0ff83, 0xffab55ac, 0xd70a8f7c,
322  0xffc17f83, 0xffac0055, 0xff9a66ce, 0xcce699a0,
323  0xffacaafe, 0xff9b3399, 0xff813f82, 0xcce6666d,
324  0xff9c0064, 0xff823f01, 0xff813f03, 0xcce6333a,
325  0xff833e80, 0xff823e83, 0xff813e84, 0xcce60007,
326  0xff823e82, 0xff813e83, 0xcce5ffe9, 0xaab05570,
327  0xff823e04, 0xff813e04, 0xccd03332, 0xaaac001f,
328  0xff823d86, 0xff8107f1, 0xcccd999b, 0xaaabaaca,
329  0xff8207e0, 0xff81017e, 0xcccd6668, 0xaaab5575,
330  0xff82017a, 0xff8100ff, 0xcccd3335, 0x00000020,
331  0xff8200fc, 0xff810080, 0x00000002, 0xffffaacb,
332  0xff82007e, 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, 0xd5558020,
343  0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
344  0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
345  0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
346  0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
347  0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
348  0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
349  0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
350  0xff813f01, 0xcce6331b, 0xaad4aa83, 0x800afff0,
351  0xff813e82, 0xcce5ffe8, 0xaab05552, 0x80048017,
352  0xff813e03, 0xccd03331, 0xaaac0001, 0x8004001a,
353  0xff8107f0, 0xcccd999a, 0xaaabaaac, 0x8003801d,
354  0xff81017d, 0xcccd6667, 0xaaab5557, 0x00000020,
355  0xff8100fe, 0xcccd3334, 0x00000002, 0xffff8023,
356  0xff81007f, 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, 0xc0018020,
367  0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
368  0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
369  0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
370  0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
371  0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
372  0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
373  0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
374  0xcce6664d, 0xaad4ffd7, 0x80417e8b, 0x800a0000,
375  0xcce6331a, 0xaad4aa82, 0x800affd2, 0x8003801a,
376  0xcce5ffe7, 0xaab05551, 0x80047ff9, 0x8003001c,
377  0xccd03330, 0xaaac0000, 0x8003fffc, 0x8002801e,
378  0xcccd9999, 0xaaabaaab, 0x80037fff, 0x00000020,
379  0xcccd6666, 0xaaab5556, 0x00000002, 0xffff8022,
380  0xcccd3333, 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, 0xc0010020,
391  0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
392  0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
393  0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
394  0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
395  0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
396  0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
397  0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
398  0xaad5552b, 0x8041fe87, 0x80407f08, 0x80090010,
399  0xaad4ffd6, 0x80417e8a, 0x8009ffe2, 0x8002801d,
400  0xaad4aa81, 0x800affd1, 0x80037ffc, 0x8002001e,
401  0xaab05550, 0x80047ff8, 0x8002fffe, 0x8001801f,
402  0xaaabffff, 0x8003fffb, 0x80028000, 0x00000020,
403  0xaaabaaaa, 0x80037ffe, 0x00000002, 0xffff8021,
404  0xaaab5555, 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, 0xc0008020,
415  0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
416  0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
417  0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
418  0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
419  0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
420  0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
421  0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
422  0x80427e83, 0x8040ff05, 0x803f7f85, 0x80080020,
423  0x8041fe86, 0x80407f07, 0x8008fff2, 0x80018020,
424  0x80417e89, 0x8009ffe1, 0x80027fff, 0x80010020,
425  0x800affd0, 0x80037ffb, 0x80020000, 0x80008020,
426  0x80047ff7, 0x8002fffd, 0x80018001, 0x00000020,
427  0x8003fffa, 0x80027fff, 0x00000002, 0xffff8020,
428  0x80037ffd, 0x00000001, 0xffff8003, 0xffff0020,
429  0x00000000, 0xffff8003, 0xffff0004, 0xfff80020,
430  0xffff8003, 0xffff0005, 0xfff80012, 0xffc18020,
431  0xffff0006, 0xfff80021, 0xffc1807f, 0xffc10020,
432  0xfff80030, 0xffc180fb, 0xffc10080, 0xffc08020,
433  0xffc18177, 0xffc100fd, 0xffc08081, 0xe6668020,
434  0xffc1017a, 0xffc080ff, 0xe666b335, 0xd5558020,
435  0xffc0817d, 0xe666e667, 0xd555d557, 0xc0018020,
436  0xe6671999, 0xd5562aab, 0xc001ffff, 0xc0010020,
437  0xd5567fff, 0xc0027ffb, 0xc0018000, 0xc0008020,
438  0xc002fff7, 0xc001fffd, 0xc0010001, 0xc0000020,
439  0xc0027ffa, 0xc0017fff, 0xc0008002, 0xbfff8020,
440  0xc001fffd, 0xc0010001, 0xc0000003, 0xaaab0020,
441  0xc0018000, 0xc0008003, 0xaaabaaac, 0x999a0020,
442  0xc0010003, 0xaaac5555, 0x999accce, 0x80400020,
443  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x803f8020,
444  0x999c6664, 0x8041ff01, 0x80407f83, 0x803f0020,
445  0x8042fe80, 0x80417f03, 0x803fff84, 0x803e8020,
446  0x80417f02, 0x803fff83, 0x803e8002, 0x80070030,
447  0x8040ff04, 0x803f7f84, 0x80080002, 0x80008023,
448  0x80407f06, 0x8008fff1, 0x80018002, 0x80000022,
449  0x8009ffe0, 0x80027ffe, 0x80010002, 0x7fff8021,
450  0x80037ffa, 0x8001ffff, 0x80008002, 0x00000020,
451  0x8002fffc, 0x80018000, 0x00000002, 0xffff801f,
452  0x80027ffe, 0x00000001, 0xffff8002, 0xffff001e,
453  0x00000000, 0xffff8002, 0xffff0002, 0xfff80010,
454  0xffff8002, 0xffff0003, 0xfff80002, 0xffc17fa3,
455  0xffff0004, 0xfff80011, 0xffc18002, 0xffc0ffa2,
456  0xfff80020, 0xffc1807e, 0xffc10002, 0xffc07fa1,
457  0xffc180fa, 0xffc1007f, 0xffc08002, 0xe6664ced,
458  0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
459  0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
460  0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
461  0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
462  0xc0027ffa, 0xc0017fff, 0xc0008002, 0xbfff8020,
463  0xc001fffc, 0xc0010000, 0xc0000002, 0xbfff001f,
464  0xc0017ffe, 0xc0008001, 0xbfff8002, 0xaaaa5576,
465  0xc0010000, 0xc0000002, 0xaaab0002, 0x99993354,
466  0xc0008002, 0xaaabaaab, 0x999a0002, 0x803f00a0,
467  0xaaac5554, 0x999acccd, 0x80400002, 0x803e809f,
468  0x999b9998, 0x8040ff81, 0x803f8002, 0x803e009e,
469  0x8041ff00, 0x80407f82, 0x803f0002, 0x803d809d,
470  0x80407f81, 0x803f0001, 0x803d807f, 0x5560aac0,
471  0x803fff82, 0x803e8001, 0x80070012, 0x5558001e,
472  0x803f7f83, 0x80080001, 0x80008005, 0x55575574,
473  0x8008fff0, 0x80018001, 0x80000004, 0x5556aaca,
474  0x80027ffd, 0x80010001, 0x7fff8003, 0x00000020,
475  0x8001fffe, 0x80008001, 0x00000002, 0xffff5576,
476  0x80017fff, 0x00000001, 0xffff8001, 0xfffeaacc,
477  0x00000000, 0xffff8001, 0xffff0000, 0xfff55580,
478  0xffff8001, 0xffff0001, 0xfff7fff2, 0xffacab1e,
479  0xffff0002, 0xfff80001, 0xffc17f85, 0xffac0074,
480  0xfff80010, 0xffc18001, 0xffc0ff84, 0xffab55ca,
481  0xffc1807d, 0xffc10001, 0xffc07f83, 0xddde2242,
482  0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
483  0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
484  0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
485  0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
486  0xc001fffd, 0xc0010001, 0xc0000003, 0xaaab0020,
487  0xc0017ffe, 0xc0008001, 0xbfff8002, 0xaaaa5576,
488  0xc000ffff, 0xc0000001, 0xbfff0001, 0x8e39c73c,
489  0xc0008000, 0xbfff8001, 0xaaaa5558, 0x777888a8,
490  0xc0000001, 0xaaab0001, 0x99993336, 0x55ab5520,
491  0xaaabaaaa, 0x999a0001, 0x803f0082, 0x55aaaa76,
492  0x999acccc, 0x80400001, 0x803e8081, 0x55a9ffcc,
493  0x8040ff80, 0x803f8001, 0x803e0080, 0x55a95522,
494  0x803f8000, 0x803e007f, 0x55a95504, 0x3340cce0,
495  0x803f0000, 0x803d807e, 0x5560aaa2, 0x33366684,
496  0x803e8000, 0x80070011, 0x55580000, 0x333599b8,
497  0x80080000, 0x80008004, 0x55575556, 0x3334ccec,
498  0x80018000, 0x80000003, 0x5556aaac, 0x00000020,
499  0x80010000, 0x7fff8002, 0x00000002, 0xffff3354,
500  0x80008000, 0x00000001, 0xffff5558, 0xfffe6688,
501  0x00000000, 0xffff8000, 0xfffeaaae, 0xfff33360,
502  0xffff8000, 0xfffeffff, 0xfff55562, 0xff9c0084,
503  0xffff0000, 0xfff7fff1, 0xffacab00, 0xff9b33b8,
504  0xfff80000, 0xffc17f84, 0xffac0056, 0xff9a66ec,
505  0xffc18000, 0xffc0ff83, 0xffab55ac, 0xd70a8f7c,
506  0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
507  0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
508  0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
509  0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
510  0xc0018000, 0xc0008003, 0xaaabaaac, 0x999a0020,
511  0xc0010000, 0xc0000002, 0xaaab0002, 0x99993354,
512  0xc0008000, 0xbfff8001, 0xaaaa5558, 0x777888a8,
513  0xc0000000, 0xbfff0000, 0x8e39c71e, 0x5c2a3d90,
514  0xbfff8000, 0xaaaa5557, 0x7778888a, 0x339a6620,
515  0xaaab0000, 0x99993335, 0x55ab5502, 0x33999954,
516  0x999a0000, 0x803f0081, 0x55aaaa58, 0x3398cc88,
517  0x80400000, 0x803e8080, 0x55a9ffae, 0x3397ffbc,
518  0x803e807f, 0x55a9ffad, 0x3397ff9e, 0x008ff820,
519  0x803e007e, 0x55a95503, 0x3340ccc2, 0x0082fea0,
520  0x803d807d, 0x5560aaa1, 0x33366666, 0x0081ff20,
521  0x80070010, 0x5557ffff, 0x3335999a, 0x0080ffa0,
522  0x80008003, 0x55575555, 0x3334ccce, 0x00000020,
523  0x80000002, 0x5556aaab, 0x00000002, 0xffff00a0,
524  0x7fff8001, 0x00000001, 0xffff3336, 0xfffe0120,
525  0x00000000, 0xffff5557, 0xfffe666a, 0xfff00820,
526  0xffff7fff, 0xfffeaaad, 0xfff33342, 0xff833ea0,
527  0xfffefffe, 0xfff55561, 0xff9c0066, 0xff823f20,
528  0xfff7fff0, 0xffacaaff, 0xff9b339a, 0xff813fa0,
529  0xffc17f83, 0xffac0055, 0xff9a66ce, 0xcce699a0,
530  0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
531  0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
532  0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
533  0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
534  0xc0010003, 0xaaac5555, 0x999accce, 0x80400020,
535  0xc0008002, 0xaaabaaab, 0x999a0002, 0x803f00a0,
536  0xc0000001, 0xaaab0001, 0x99993336, 0x55ab5520,
537  0xbfff8000, 0xaaaa5557, 0x7778888a, 0x339a6620,
538  0xbffeffff, 0x8e39c71d, 0x5c2a3d72, 0x00ffc020,
539  0xaaaa5556, 0x77788889, 0x339a6602, 0x00fec0a0,
540  0x99993334, 0x55ab5501, 0x33999936, 0x00fdc120,
541  0x803f0080, 0x55aaaa57, 0x3398cc6a, 0x00fcc1a0,
542  0x55aaaa56, 0x3398cc69, 0x00fcc182, 0x008ef830,
543  0x55a9ffac, 0x3397ff9d, 0x008ff802, 0x0081fea3,
544  0x55a95502, 0x3340ccc1, 0x0082fe82, 0x0080ff22,
545  0x5560aaa0, 0x33366665, 0x0081ff02, 0x007fffa1,
546  0x5557fffe, 0x33359999, 0x0080ff82, 0x00000020,
547  0x55575554, 0x3334cccd, 0x00000002, 0xffff009f,
548  0x5556aaaa, 0x00000001, 0xffff0082, 0xfffe011e,
549  0x00000000, 0xffff3335, 0xfffe0102, 0xfff00810,
550  0xffff5556, 0xfffe6669, 0xfff00802, 0xff833e23,
551  0xfffeaaac, 0xfff33341, 0xff833e82, 0xff823ea2,
552  0xfff55560, 0xff9c0065, 0xff823f02, 0xff813f21,
553  0xffacaafe, 0xff9b3399, 0xff813f82, 0xcce6666d,
554  0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
555  0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
556  0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
557  0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
558  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x803f8020,
559  0xaaac5554, 0x999acccd, 0x80400002, 0x803e809f,
560  0xaaabaaaa, 0x999a0001, 0x803f0082, 0x55aaaa76,
561  0xaaab0000, 0x99993335, 0x55ab5502, 0x33999954,
562  0xaaaa5556, 0x77788889, 0x339a6602, 0x00fec0a0,
563  0x8e39c71c, 0x5c2a3d71, 0x00ffc002, 0x00fdc11f,
564  0x77788888, 0x339a6601, 0x00fec082, 0x00fcc19e,
565  0x55ab5500, 0x33999935, 0x00fdc102, 0x00fbc21d,
566  0x33999934, 0x00fdc101, 0x00fbc1ff, 0x008df840,
567  0x3398cc68, 0x00fcc181, 0x008ef812, 0x0080fea6,
568  0x3397ff9c, 0x008ff801, 0x0081fe85, 0x007fff24,
569  0x3340ccc0, 0x0082fe81, 0x0080ff04, 0x007effa2,
570  0x33366664, 0x0081ff01, 0x007fff83, 0x00000020,
571  0x33359998, 0x0080ff81, 0x00000002, 0xffff009e,
572  0x3334cccc, 0x00000001, 0xffff0081, 0xfffe011c,
573  0x00000000, 0xffff0081, 0xfffe0100, 0xfff00800,
574  0xffff3334, 0xfffe0101, 0xfff007f2, 0xff833da6,
575  0xfffe6668, 0xfff00801, 0xff833e05, 0xff823e24,
576  0xfff33340, 0xff833e81, 0xff823e84, 0xff813ea2,
577  0xff9c0064, 0xff823f01, 0xff813f03, 0xcce6333a,
578  0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
579  0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
580  0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
581  0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
582  0x999c6664, 0x8041ff01, 0x80407f83, 0x803f0020,
583  0x999b9998, 0x8040ff81, 0x803f8002, 0x803e009e,
584  0x999acccc, 0x80400001, 0x803e8081, 0x55a9ffcc,
585  0x999a0000, 0x803f0081, 0x55aaaa58, 0x3398cc88,
586  0x99993334, 0x55ab5501, 0x33999936, 0x00fdc120,
587  0x77788888, 0x339a6601, 0x00fec082, 0x00fcc19e,
588  0x5c2a3d70, 0x00ffc001, 0x00fdc101, 0x00fbc21c,
589  0x339a6600, 0x00fec081, 0x00fcc180, 0x00fac29a,
590  0x00fec080, 0x00fcc17f, 0x00fac27c, 0x008cf850,
591  0x00fdc100, 0x00fbc1fe, 0x008df822, 0x007ffea9,
592  0x00fcc180, 0x008ef811, 0x0080fe88, 0x007eff26,
593  0x008ff800, 0x0081fe84, 0x007fff06, 0x007dffa3,
594  0x0082fe80, 0x0080ff03, 0x007eff84, 0x00000020,
595  0x0081ff00, 0x007fff82, 0x00000002, 0xffff009d,
596  0x0080ff80, 0x00000001, 0xffff0080, 0xfffe011a,
597  0x00000000, 0xffff0080, 0xfffe00fe, 0xfff007f0,
598  0xffff0080, 0xfffe00ff, 0xfff007e2, 0xff833d29,
599  0xfffe0100, 0xfff007f1, 0xff833d88, 0xff823da6,
600  0xfff00800, 0xff833e04, 0xff823e06, 0xff813e23,
601  0xff833e80, 0xff823e83, 0xff813e84, 0xcce60007,
602  0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
603  0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
604  0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
605  0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
606  0x8042fe80, 0x80417f03, 0x803fff84, 0x803e8020,
607  0x8041ff00, 0x80407f82, 0x803f0002, 0x803d809d,
608  0x8040ff80, 0x803f8001, 0x803e0080, 0x55a95522,
609  0x80400000, 0x803e8080, 0x55a9ffae, 0x3397ffbc,
610  0x803f0080, 0x55aaaa57, 0x3398cc6a, 0x00fcc1a0,
611  0x55ab5500, 0x33999935, 0x00fdc102, 0x00fbc21d,
612  0x339a6600, 0x00fec081, 0x00fcc180, 0x00fac29a,
613  0x00ffc000, 0x00fdc100, 0x00fbc1fe, 0x00f9c317,
614};
615const unsigned kExpectedCount_NEON_umlsl_4S = 576;
616
617#endif  // VIXL_SIM_UMLSL_4S_TRACE_AARCH64_H_
618