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_UABAL_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_UABAL_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_uabal_4S[] = {
38  0x00000000, 0x00000001, 0x00000002, 0x00000020,
39  0x00000001, 0x000032b5, 0x00002224, 0x00002ac8,
40  0x000032b5, 0x000054d7, 0x00004ccc, 0x00002ac9,
41  0x000054d7, 0x00007f7f, 0x00004ccd, 0x00002aca,
42  0x00007f7f, 0x00007f80, 0x00004cce, 0x00005575,
43  0x00007f80, 0x00007f81, 0x00003335, 0x00005574,
44  0x00007f81, 0x00000080, 0x00003334, 0x00005573,
45  0x0000007e, 0x0000007f, 0x00003333, 0x00005565,
46  0x0000007d, 0x0000007e, 0x00003325, 0x000054f8,
47  0x0000007c, 0x00000070, 0x000032b8, 0x000054f7,
48  0x0000006e, 0x00000003, 0x000032b7, 0x000054f6,
49  0x00000001, 0x00000002, 0x000032b6, 0x00002242,
50  0x00000000, 0x00000001, 0x00000002, 0x00000020,
51  0x00000001, 0x000032b5, 0x00002224, 0x00002ac8,
52  0x000032b5, 0x000054d7, 0x00004ccc, 0x00002ac9,
53  0x000054d7, 0x00007f7f, 0x00004ccd, 0x00002aca,
54  0x00007f7f, 0x00007f80, 0x00004cce, 0x00002acb,
55  0x00007f80, 0x00007f81, 0x00004ccf, 0x00002acc,
56  0x00007f81, 0x00007f82, 0x00004cd0, 0x00005575,
57  0x00007f82, 0x00007f83, 0x00007779, 0x00007797,
58  0x00007f83, 0x0000aa2c, 0x0000999b, 0x0000aa4b,
59  0x0000aa2c, 0x0000cc4e, 0x0000cc4f, 0x0000aa4c,
60  0x0000cc4e, 0x0000ff02, 0x0000cc50, 0x0000aa4d,
61  0x0000ff02, 0x0000ff03, 0x0000cc51, 0x0000aa4e,
62  0x0000ff02, 0x0000cc50, 0x0000aa30, 0x00008013,
63  0x0000ff03, 0x0000cc51, 0x0000aa9d, 0x00008020,
64  0x0000ff04, 0x0000ccbe, 0x0000aaaa, 0x00008021,
65  0x0000ff71, 0x0000cccb, 0x0000aaab, 0x00008022,
66  0x0000ff7e, 0x0000cccc, 0x0000aaac, 0x0000801d,
67  0x0000ff7f, 0x0000cccd, 0x00005557, 0x0000801c,
68  0x0000ff80, 0x00003334, 0x00005556, 0x0000801b,
69  0x0000007f, 0x00003333, 0x00005555, 0x0000800d,
70  0x0000007e, 0x00003332, 0x00005547, 0x00007fa0,
71  0x0000007d, 0x00003324, 0x000054da, 0x00007f9f,
72  0x0000006f, 0x000032b7, 0x000054d9, 0x00007f9e,
73  0x00000002, 0x000032b6, 0x000054d8, 0x00004cea,
74  0x00000001, 0x000032b5, 0x00002224, 0x00002ac8,
75  0x00000000, 0x00000001, 0x00000002, 0x00000020,
76  0x000032b4, 0x00002223, 0x00002aaa, 0x00000021,
77  0x000054d6, 0x00004ccb, 0x00002aab, 0x00000022,
78  0x00007f7e, 0x00004ccc, 0x00002aac, 0x00000023,
79  0x00007f7f, 0x00004ccd, 0x00002aad, 0x00000024,
80  0x00007f80, 0x00004cce, 0x00002aae, 0x00002acd,
81  0x00007f81, 0x00004ccf, 0x00005557, 0x00004cef,
82  0x00007f82, 0x00007778, 0x00007779, 0x00007fa3,
83  0x0000aa2b, 0x0000999a, 0x0000aa2d, 0x00007fa4,
84  0x0000cc4d, 0x0000cc4e, 0x0000aa2e, 0x00007fa5,
85  0x0000ff01, 0x0000cc4f, 0x0000aa2f, 0x00007fa6,
86  0x0000cc4e, 0x0000aa2e, 0x00007f88, 0x00008012,
87  0x0000cc4f, 0x0000aa2f, 0x00007ff5, 0x0000801f,
88  0x0000cc50, 0x0000aa9c, 0x00008002, 0x00008020,
89  0x0000ccbd, 0x0000aaa9, 0x00008003, 0x00008021,
90  0x0000ccca, 0x0000aaaa, 0x00008004, 0x0000801e,
91  0x0000cccb, 0x0000aaab, 0x00007fff, 0x0000801d,
92  0x0000cccc, 0x00005556, 0x00007ffe, 0x0000801c,
93  0x00003333, 0x00005555, 0x00007ffd, 0x0000800e,
94  0x00003332, 0x00005554, 0x00007fef, 0x00007fa1,
95  0x00003331, 0x00005546, 0x00007f82, 0x00007fa0,
96  0x00003323, 0x000054d9, 0x00007f81, 0x00007f9f,
97  0x000032b6, 0x000054d8, 0x00007f80, 0x00004ceb,
98  0x000032b5, 0x000054d7, 0x00004ccc, 0x00002ac9,
99  0x000032b4, 0x00002223, 0x00002aaa, 0x00000021,
100  0x00000000, 0x00000001, 0x00000002, 0x00000020,
101  0x00002222, 0x00002aa9, 0x00000003, 0x00000021,
102  0x00004cca, 0x00002aaa, 0x00000004, 0x00000022,
103  0x00004ccb, 0x00002aab, 0x00000005, 0x00000023,
104  0x00004ccc, 0x00002aac, 0x00000006, 0x00002acc,
105  0x00004ccd, 0x00002aad, 0x00002aaf, 0x00004cee,
106  0x00004cce, 0x00005556, 0x00004cd1, 0x00007fa2,
107  0x00007777, 0x00007778, 0x00007f85, 0x00007fa3,
108  0x00009999, 0x0000aa2c, 0x00007f86, 0x00007fa4,
109  0x0000cc4d, 0x0000aa2d, 0x00007f87, 0x00007fa5,
110  0x0000aa2c, 0x00007f86, 0x00007f87, 0x00008011,
111  0x0000aa2d, 0x00007f87, 0x00007ff4, 0x0000801e,
112  0x0000aa2e, 0x00007ff4, 0x00008001, 0x0000801f,
113  0x0000aa9b, 0x00008001, 0x00008002, 0x00008020,
114  0x0000aaa8, 0x00008002, 0x00008003, 0x0000801f,
115  0x0000aaa9, 0x00008003, 0x00008000, 0x0000801e,
116  0x0000aaaa, 0x00007ffe, 0x00007fff, 0x0000801d,
117  0x00005555, 0x00007ffd, 0x00007ffe, 0x0000800f,
118  0x00005554, 0x00007ffc, 0x00007ff0, 0x00007fa2,
119  0x00005553, 0x00007fee, 0x00007f83, 0x00007fa1,
120  0x00005545, 0x00007f81, 0x00007f82, 0x00007fa0,
121  0x000054d8, 0x00007f80, 0x00007f81, 0x00004cec,
122  0x000054d7, 0x00007f7f, 0x00004ccd, 0x00002aca,
123  0x000054d6, 0x00004ccb, 0x00002aab, 0x00000022,
124  0x00002222, 0x00002aa9, 0x00000003, 0x00000021,
125  0x00000000, 0x00000001, 0x00000002, 0x00000020,
126  0x00002aa8, 0x00000002, 0x00000003, 0x00000021,
127  0x00002aa9, 0x00000003, 0x00000004, 0x00000022,
128  0x00002aaa, 0x00000004, 0x00000005, 0x00002acb,
129  0x00002aab, 0x00000005, 0x00002aae, 0x00004ced,
130  0x00002aac, 0x00002aae, 0x00004cd0, 0x00007fa1,
131  0x00005555, 0x00004cd0, 0x00007f84, 0x00007fa2,
132  0x00007777, 0x00007f84, 0x00007f85, 0x00007fa3,
133  0x0000aa2b, 0x00007f85, 0x00007f86, 0x00007fa4,
134  0x00007f84, 0x00007f85, 0x00007f86, 0x00010010,
135  0x00007f85, 0x00007f86, 0x00007ff3, 0x0001001d,
136  0x00007f86, 0x00007ff3, 0x00008000, 0x0001001e,
137  0x00007ff3, 0x00008000, 0x00008001, 0x0001001f,
138  0x00008000, 0x00008001, 0x00008002, 0x00000020,
139  0x00008001, 0x00008002, 0x00008001, 0x00000021,
140  0x00008002, 0x00007fff, 0x00008000, 0x00000022,
141  0x00007ffd, 0x00007ffe, 0x00007fff, 0x00000030,
142  0x00007ffc, 0x00007ffd, 0x00007ff1, 0x0000009d,
143  0x00007ffb, 0x00007fef, 0x00007f84, 0x0000009e,
144  0x00007fed, 0x00007f82, 0x00007f83, 0x0000009f,
145  0x00007f80, 0x00007f81, 0x00007f82, 0x00003353,
146  0x00007f7f, 0x00007f80, 0x00004cce, 0x00005575,
147  0x00007f7e, 0x00004ccc, 0x00002aac, 0x0000801d,
148  0x00004cca, 0x00002aaa, 0x00000004, 0x0000801e,
149  0x00002aa8, 0x00000002, 0x00000003, 0x0000801f,
150  0x00000000, 0x00000001, 0x00000002, 0x00008020,
151  0x00000001, 0x00000002, 0x00000003, 0x00008021,
152  0x00000002, 0x00000003, 0x00000004, 0x0000aaca,
153  0x00000003, 0x00000004, 0x00002aad, 0x0000ccec,
154  0x00000004, 0x00002aad, 0x00004ccf, 0x0000ffa0,
155  0x00002aad, 0x00004ccf, 0x00007f83, 0x0000ffa1,
156  0x00004ccf, 0x00007f83, 0x00007f84, 0x0000ffa2,
157  0x00007f83, 0x00007f84, 0x00007f85, 0x0000ffa3,
158  0x00007f83, 0x00007f84, 0x0000ff85, 0x0001000f,
159  0x00007f84, 0x00007f85, 0x0000fff2, 0x0001001c,
160  0x00007f85, 0x00007ff2, 0x0000ffff, 0x0001001d,
161  0x00007ff2, 0x00007fff, 0x00010000, 0x0001001e,
162  0x00007fff, 0x00008000, 0x00010001, 0x00000021,
163  0x00008000, 0x00008001, 0x00000002, 0x00000020,
164  0x00008001, 0x00008000, 0x00000003, 0x00000021,
165  0x00007ffe, 0x00007fff, 0x00000004, 0x0000002f,
166  0x00007ffd, 0x00007ffe, 0x00000012, 0x0000009c,
167  0x00007ffc, 0x00007ff0, 0x0000007f, 0x0000009d,
168  0x00007fee, 0x00007f83, 0x00000080, 0x0000009e,
169  0x00007f81, 0x00007f82, 0x00000081, 0x00003352,
170  0x00007f80, 0x00007f81, 0x00003335, 0x00005574,
171  0x00007f7f, 0x00004ccd, 0x00005557, 0x0000801c,
172  0x00004ccb, 0x00002aab, 0x00007fff, 0x0000801d,
173  0x00002aa9, 0x00000003, 0x00008000, 0x0000801e,
174  0x00000001, 0x00000002, 0x00008001, 0x0000801f,
175  0x00000000, 0x00000001, 0x00008002, 0x00008020,
176  0x00000001, 0x00000002, 0x00008003, 0x0000aac9,
177  0x00000002, 0x00000003, 0x0000aaac, 0x0000cceb,
178  0x00000003, 0x00002aac, 0x0000ccce, 0x0000ff9f,
179  0x00002aac, 0x00004cce, 0x0000ff82, 0x0000ffa0,
180  0x00004cce, 0x00007f82, 0x0000ff83, 0x0000ffa1,
181  0x00007f82, 0x00007f83, 0x0000ff84, 0x0000ffa2,
182  0x00007f82, 0x0000ff83, 0x0000ff84, 0x0001000e,
183  0x00007f83, 0x0000ff84, 0x0000fff1, 0x0001001b,
184  0x00007f84, 0x0000fff1, 0x0000fffe, 0x0001001c,
185  0x00007ff1, 0x0000fffe, 0x0000ffff, 0x0001001d,
186  0x00007ffe, 0x0000ffff, 0x00010000, 0x00000022,
187  0x00007fff, 0x00010000, 0x00000003, 0x00000021,
188  0x00008000, 0x00000001, 0x00000002, 0x00000020,
189  0x00007fff, 0x00000002, 0x00000003, 0x0000002e,
190  0x00007ffe, 0x00000003, 0x00000011, 0x0000009b,
191  0x00007ffd, 0x00000011, 0x0000007e, 0x0000009c,
192  0x00007fef, 0x0000007e, 0x0000007f, 0x0000009d,
193  0x00007f82, 0x0000007f, 0x00000080, 0x00003351,
194  0x00007f81, 0x00000080, 0x00003334, 0x00005573,
195  0x00007f80, 0x00003334, 0x00005556, 0x0000801b,
196  0x00004ccc, 0x00005556, 0x00007ffe, 0x0000801c,
197  0x00002aaa, 0x00007ffe, 0x00007fff, 0x0000801d,
198  0x00000002, 0x00007fff, 0x00008000, 0x0000801e,
199  0x00000001, 0x00008000, 0x00008001, 0x0000801f,
200  0x00000000, 0x00008001, 0x00008002, 0x0000aac8,
201  0x00000001, 0x00008002, 0x0000aaab, 0x0000ccea,
202  0x00000002, 0x0000aaab, 0x0000cccd, 0x0000ff9e,
203  0x00002aab, 0x0000cccd, 0x0000ff81, 0x0000ff9f,
204  0x00004ccd, 0x0000ff81, 0x0000ff82, 0x0000ffa0,
205  0x00007f81, 0x0000ff82, 0x0000ff83, 0x0000ffa1,
206  0x0000ff81, 0x0000ff82, 0x0000ff83, 0x00010000,
207  0x0000ff82, 0x0000ff83, 0x0000fff0, 0x0001000d,
208  0x0000ff83, 0x0000fff0, 0x0000fffd, 0x0001000e,
209  0x0000fff0, 0x0000fffd, 0x0000fffe, 0x0001000f,
210  0x0000fffd, 0x0000fffe, 0x0000ffff, 0x00000030,
211  0x0000fffe, 0x0000ffff, 0x00000004, 0x0000002f,
212  0x0000ffff, 0x00000002, 0x00000003, 0x0000002e,
213  0x00000000, 0x00000001, 0x00000002, 0x00000020,
214  0x00000001, 0x00000002, 0x00000010, 0x0000008d,
215  0x00000002, 0x00000010, 0x0000007d, 0x0000008e,
216  0x00000010, 0x0000007d, 0x0000007e, 0x0000008f,
217  0x0000007d, 0x0000007e, 0x0000007f, 0x00003343,
218  0x0000007e, 0x0000007f, 0x00003333, 0x00005565,
219  0x0000007f, 0x00003333, 0x00005555, 0x0000800d,
220  0x00003333, 0x00005555, 0x00007ffd, 0x0000800e,
221  0x00005555, 0x00007ffd, 0x00007ffe, 0x0000800f,
222  0x00007ffd, 0x00007ffe, 0x00007fff, 0x00008010,
223  0x00007ffe, 0x00007fff, 0x00008000, 0x00008011,
224  0x00007fff, 0x00008000, 0x00008001, 0x0000aaba,
225  0x00008000, 0x00008001, 0x0000aaaa, 0x0000ccdc,
226  0x00008001, 0x0000aaaa, 0x0000cccc, 0x0000ff90,
227  0x0000aaaa, 0x0000cccc, 0x0000ff80, 0x0000ff91,
228  0x0000cccc, 0x0000ff80, 0x0000ff81, 0x0000ff92,
229  0x0000ff80, 0x0000ff81, 0x0000ff82, 0x0000ff93,
230  0x0000ff80, 0x0000ff81, 0x0000ff75, 0x0000ff93,
231  0x0000ff81, 0x0000ff82, 0x0000ffe2, 0x0000ffa0,
232  0x0000ff82, 0x0000ffef, 0x0000ffef, 0x0000ffa1,
233  0x0000ffef, 0x0000fffc, 0x0000fff0, 0x0000ffa2,
234  0x0000fffc, 0x0000fffd, 0x0000fff1, 0x0000009d,
235  0x0000fffd, 0x0000fffe, 0x00000012, 0x0000009c,
236  0x0000fffe, 0x00000003, 0x00000011, 0x0000009b,
237  0x00000001, 0x00000002, 0x00000010, 0x0000008d,
238  0x00000000, 0x00000001, 0x00000002, 0x00000020,
239  0x00000001, 0x0000000f, 0x0000006f, 0x00000021,
240  0x0000000f, 0x0000007c, 0x00000070, 0x00000022,
241  0x0000007c, 0x0000007d, 0x00000071, 0x000032d6,
242  0x0000007d, 0x0000007e, 0x00003325, 0x000054f8,
243  0x0000007e, 0x00003332, 0x00005547, 0x00007fa0,
244  0x00003332, 0x00005554, 0x00007fef, 0x00007fa1,
245  0x00005554, 0x00007ffc, 0x00007ff0, 0x00007fa2,
246  0x00007ffc, 0x00007ffd, 0x00007ff1, 0x00007fa3,
247  0x00007ffd, 0x00007ffe, 0x00007ff2, 0x00007fa4,
248  0x00007ffe, 0x00007fff, 0x00007ff3, 0x0000aa4d,
249  0x00007fff, 0x00008000, 0x0000aa9c, 0x0000cc6f,
250  0x00008000, 0x0000aaa9, 0x0000ccbe, 0x0000ff23,
251  0x0000aaa9, 0x0000cccb, 0x0000ff72, 0x0000ff24,
252  0x0000cccb, 0x0000ff7f, 0x0000ff73, 0x0000ff25,
253  0x0000ff7f, 0x0000ff80, 0x0000ff74, 0x0000ff26,
254  0x0000ff7f, 0x0000ff73, 0x0000ff08, 0x0000ff92,
255  0x0000ff80, 0x0000ff74, 0x0000ff75, 0x0000ff9f,
256  0x0000ff81, 0x0000ffe1, 0x0000ff82, 0x0000ffa0,
257  0x0000ffee, 0x0000ffee, 0x0000ff83, 0x0000ffa1,
258  0x0000fffb, 0x0000ffef, 0x0000ff84, 0x0000009e,
259  0x0000fffc, 0x0000fff0, 0x0000007f, 0x0000009d,
260  0x0000fffd, 0x00000011, 0x0000007e, 0x0000009c,
261  0x00000002, 0x00000010, 0x0000007d, 0x0000008e,
262  0x00000001, 0x0000000f, 0x0000006f, 0x00000021,
263  0x00000000, 0x00000001, 0x00000002, 0x00000020,
264  0x0000000e, 0x0000006e, 0x00000003, 0x00000021,
265  0x0000007b, 0x0000006f, 0x00000004, 0x000032d5,
266  0x0000007c, 0x00000070, 0x000032b8, 0x000054f7,
267  0x0000007d, 0x00003324, 0x000054da, 0x00007f9f,
268  0x00003331, 0x00005546, 0x00007f82, 0x00007fa0,
269  0x00005553, 0x00007fee, 0x00007f83, 0x00007fa1,
270  0x00007ffb, 0x00007fef, 0x00007f84, 0x00007fa2,
271  0x00007ffc, 0x00007ff0, 0x00007f85, 0x00007fa3,
272  0x00007ffd, 0x00007ff1, 0x00007f86, 0x0000aa4c,
273  0x00007ffe, 0x00007ff2, 0x0000aa2f, 0x0000cc6e,
274  0x00007fff, 0x0000aa9b, 0x0000cc51, 0x0000ff22,
275  0x0000aaa8, 0x0000ccbd, 0x0000ff05, 0x0000ff23,
276  0x0000ccca, 0x0000ff71, 0x0000ff06, 0x0000ff24,
277  0x0000ff7e, 0x0000ff72, 0x0000ff07, 0x0000ff25,
278  0x0000ff71, 0x0000ff06, 0x0000ff07, 0x0000ff91,
279  0x0000ff72, 0x0000ff07, 0x0000ff74, 0x0000ff9e,
280  0x0000ff73, 0x0000ff74, 0x0000ff81, 0x0000ff9f,
281  0x0000ffe0, 0x0000ff81, 0x0000ff82, 0x0000ffa0,
282  0x0000ffed, 0x0000ff82, 0x0000ff83, 0x0000009f,
283  0x0000ffee, 0x0000ff83, 0x00000080, 0x0000009e,
284  0x0000ffef, 0x0000007e, 0x0000007f, 0x0000009d,
285  0x00000010, 0x0000007d, 0x0000007e, 0x0000008f,
286  0x0000000f, 0x0000007c, 0x00000070, 0x00000022,
287  0x0000000e, 0x0000006e, 0x00000003, 0x00000021,
288  0x00000000, 0x00000001, 0x00000002, 0x00000020,
289  0x0000006d, 0x00000002, 0x00000003, 0x000032d4,
290  0x0000006e, 0x00000003, 0x000032b7, 0x000054f6,
291  0x0000006f, 0x000032b7, 0x000054d9, 0x00007f9e,
292  0x00003323, 0x000054d9, 0x00007f81, 0x00007f9f,
293  0x00005545, 0x00007f81, 0x00007f82, 0x00007fa0,
294  0x00007fed, 0x00007f82, 0x00007f83, 0x00007fa1,
295  0x00007fee, 0x00007f83, 0x00007f84, 0x00007fa2,
296  0x00007fef, 0x00007f84, 0x00007f85, 0x0000aa4b,
297  0x00007ff0, 0x00007f85, 0x0000aa2e, 0x0000cc6d,
298  0x00007ff1, 0x0000aa2e, 0x0000cc50, 0x0000ff21,
299  0x0000aa9a, 0x0000cc50, 0x0000ff04, 0x0000ff22,
300  0x0000ccbc, 0x0000ff04, 0x0000ff05, 0x0000ff23,
301  0x0000ff70, 0x0000ff05, 0x0000ff06, 0x0000ff24,
302  0x0000ff04, 0x0000ff05, 0x0000ff06, 0x0000ccdd,
303  0x0000ff05, 0x0000ff06, 0x0000ff73, 0x0000ccea,
304  0x0000ff06, 0x0000ff73, 0x0000ff80, 0x0000cceb,
305  0x0000ff73, 0x0000ff80, 0x0000ff81, 0x0000ccec,
306  0x0000ff80, 0x0000ff81, 0x0000ff82, 0x00003353,
307  0x0000ff81, 0x0000ff82, 0x00000081, 0x00003352,
308  0x0000ff82, 0x0000007f, 0x00000080, 0x00003351,
309  0x0000007d, 0x0000007e, 0x0000007f, 0x00003343,
310  0x0000007c, 0x0000007d, 0x00000071, 0x000032d6,
311  0x0000007b, 0x0000006f, 0x00000004, 0x000032d5,
312  0x0000006d, 0x00000002, 0x00000003, 0x000032d4,
313  0x00000000, 0x00000001, 0x00000002, 0x00000020,
314  0x00000001, 0x00000002, 0x000032b6, 0x00002242,
315  0x00000002, 0x000032b6, 0x000054d8, 0x00004cea,
316  0x000032b6, 0x000054d8, 0x00007f80, 0x00004ceb,
317  0x000054d8, 0x00007f80, 0x00007f81, 0x00004cec,
318  0x00007f80, 0x00007f81, 0x00007f82, 0x00004ced,
319  0x00007f81, 0x00007f82, 0x00007f83, 0x00004cee,
320  0x00007f82, 0x00007f83, 0x00007f84, 0x00007797,
321  0x00007f83, 0x00007f84, 0x0000aa2d, 0x000099b9,
322  0x00007f84, 0x0000aa2d, 0x0000cc4f, 0x0000cc6d,
323  0x0000aa2d, 0x0000cc4f, 0x0000ff03, 0x0000cc6e,
324  0x0000cc4f, 0x0000ff03, 0x0000ff04, 0x0000cc6f,
325  0x0000ff03, 0x0000ff04, 0x0000ff05, 0x0000cc70,
326  0x0000ff03, 0x0000ff04, 0x0000cc52, 0x0000aabb,
327  0x0000ff04, 0x0000ff05, 0x0000ccbf, 0x0000aac8,
328  0x0000ff05, 0x0000ff72, 0x0000cccc, 0x0000aac9,
329  0x0000ff72, 0x0000ff7f, 0x0000cccd, 0x0000aaca,
330  0x0000ff7f, 0x0000ff80, 0x0000ccce, 0x00005575,
331  0x0000ff80, 0x0000ff81, 0x00003335, 0x00005574,
332  0x0000ff81, 0x00000080, 0x00003334, 0x00005573,
333  0x0000007e, 0x0000007f, 0x00003333, 0x00005565,
334  0x0000007d, 0x0000007e, 0x00003325, 0x000054f8,
335  0x0000007c, 0x00000070, 0x000032b8, 0x000054f7,
336  0x0000006e, 0x00000003, 0x000032b7, 0x000054f6,
337  0x00000001, 0x00000002, 0x000032b6, 0x00002242,
338  0x00000000, 0x00000001, 0x00000002, 0x00000020,
339  0x00000001, 0x000032b5, 0x00002224, 0x00002ac8,
340  0x000032b5, 0x000054d7, 0x00004ccc, 0x00002ac9,
341  0x000054d7, 0x00007f7f, 0x00004ccd, 0x00002aca,
342  0x00007f7f, 0x00007f80, 0x00004cce, 0x00002acb,
343  0x00007f80, 0x00007f81, 0x00004ccf, 0x00002acc,
344  0x00007f81, 0x00007f82, 0x00004cd0, 0x00005575,
345  0x00007f82, 0x00007f83, 0x00007779, 0x00007797,
346  0x00007f83, 0x0000aa2c, 0x0000999b, 0x0000aa4b,
347  0x0000aa2c, 0x0000cc4e, 0x0000cc4f, 0x0000aa4c,
348  0x0000cc4e, 0x0000ff02, 0x0000cc50, 0x0000aa4d,
349  0x0000ff02, 0x0000ff03, 0x0000cc51, 0x0000aa4e,
350  0x0000ff02, 0x0000cc50, 0x0000aa30, 0x00008013,
351  0x0000ff03, 0x0000cc51, 0x0000aa9d, 0x00008020,
352  0x0000ff04, 0x0000ccbe, 0x0000aaaa, 0x00008021,
353  0x0000ff71, 0x0000cccb, 0x0000aaab, 0x00008022,
354  0x0000ff7e, 0x0000cccc, 0x0000aaac, 0x0000801d,
355  0x0000ff7f, 0x0000cccd, 0x00005557, 0x0000801c,
356  0x0000ff80, 0x00003334, 0x00005556, 0x0000801b,
357  0x0000007f, 0x00003333, 0x00005555, 0x0000800d,
358  0x0000007e, 0x00003332, 0x00005547, 0x00007fa0,
359  0x0000007d, 0x00003324, 0x000054da, 0x00007f9f,
360  0x0000006f, 0x000032b7, 0x000054d9, 0x00007f9e,
361  0x00000002, 0x000032b6, 0x000054d8, 0x00004cea,
362  0x00000001, 0x000032b5, 0x00002224, 0x00002ac8,
363  0x00000000, 0x00000001, 0x00000002, 0x00000020,
364  0x000032b4, 0x00002223, 0x00002aaa, 0x00000021,
365  0x000054d6, 0x00004ccb, 0x00002aab, 0x00000022,
366  0x00007f7e, 0x00004ccc, 0x00002aac, 0x00000023,
367  0x00007f7f, 0x00004ccd, 0x00002aad, 0x00000024,
368  0x00007f80, 0x00004cce, 0x00002aae, 0x00002acd,
369  0x00007f81, 0x00004ccf, 0x00005557, 0x00004cef,
370  0x00007f82, 0x00007778, 0x00007779, 0x00007fa3,
371  0x0000aa2b, 0x0000999a, 0x0000aa2d, 0x00007fa4,
372  0x0000cc4d, 0x0000cc4e, 0x0000aa2e, 0x00007fa5,
373  0x0000ff01, 0x0000cc4f, 0x0000aa2f, 0x00007fa6,
374  0x0000cc4e, 0x0000aa2e, 0x00007f88, 0x00008012,
375  0x0000cc4f, 0x0000aa2f, 0x00007ff5, 0x0000801f,
376  0x0000cc50, 0x0000aa9c, 0x00008002, 0x00008020,
377  0x0000ccbd, 0x0000aaa9, 0x00008003, 0x00008021,
378  0x0000ccca, 0x0000aaaa, 0x00008004, 0x0000801e,
379  0x0000cccb, 0x0000aaab, 0x00007fff, 0x0000801d,
380  0x0000cccc, 0x00005556, 0x00007ffe, 0x0000801c,
381  0x00003333, 0x00005555, 0x00007ffd, 0x0000800e,
382  0x00003332, 0x00005554, 0x00007fef, 0x00007fa1,
383  0x00003331, 0x00005546, 0x00007f82, 0x00007fa0,
384  0x00003323, 0x000054d9, 0x00007f81, 0x00007f9f,
385  0x000032b6, 0x000054d8, 0x00007f80, 0x00004ceb,
386  0x000032b5, 0x000054d7, 0x00004ccc, 0x00002ac9,
387  0x000032b4, 0x00002223, 0x00002aaa, 0x00000021,
388  0x00000000, 0x00000001, 0x00000002, 0x00000020,
389  0x00002222, 0x00002aa9, 0x00000003, 0x00000021,
390  0x00004cca, 0x00002aaa, 0x00000004, 0x00000022,
391  0x00004ccb, 0x00002aab, 0x00000005, 0x00000023,
392  0x00004ccc, 0x00002aac, 0x00000006, 0x00002acc,
393  0x00004ccd, 0x00002aad, 0x00002aaf, 0x00004cee,
394  0x00004cce, 0x00005556, 0x00004cd1, 0x00007fa2,
395  0x00007777, 0x00007778, 0x00007f85, 0x00007fa3,
396  0x00009999, 0x0000aa2c, 0x00007f86, 0x00007fa4,
397  0x0000cc4d, 0x0000aa2d, 0x00007f87, 0x00007fa5,
398  0x0000aa2c, 0x00007f86, 0x00007f87, 0x00008011,
399  0x0000aa2d, 0x00007f87, 0x00007ff4, 0x0000801e,
400  0x0000aa2e, 0x00007ff4, 0x00008001, 0x0000801f,
401  0x0000aa9b, 0x00008001, 0x00008002, 0x00008020,
402  0x0000aaa8, 0x00008002, 0x00008003, 0x0000801f,
403  0x0000aaa9, 0x00008003, 0x00008000, 0x0000801e,
404  0x0000aaaa, 0x00007ffe, 0x00007fff, 0x0000801d,
405  0x00005555, 0x00007ffd, 0x00007ffe, 0x0000800f,
406  0x00005554, 0x00007ffc, 0x00007ff0, 0x00007fa2,
407  0x00005553, 0x00007fee, 0x00007f83, 0x00007fa1,
408  0x00005545, 0x00007f81, 0x00007f82, 0x00007fa0,
409  0x000054d8, 0x00007f80, 0x00007f81, 0x00004cec,
410  0x000054d7, 0x00007f7f, 0x00004ccd, 0x00002aca,
411  0x000054d6, 0x00004ccb, 0x00002aab, 0x00000022,
412  0x00002222, 0x00002aa9, 0x00000003, 0x00000021,
413  0x00000000, 0x00000001, 0x00000002, 0x00000020,
414  0x00002aa8, 0x00000002, 0x00000003, 0x00000021,
415  0x00002aa9, 0x00000003, 0x00000004, 0x00000022,
416  0x00002aaa, 0x00000004, 0x00000005, 0x00002acb,
417  0x00002aab, 0x00000005, 0x00002aae, 0x00004ced,
418  0x00002aac, 0x00002aae, 0x00004cd0, 0x00007fa1,
419  0x00005555, 0x00004cd0, 0x00007f84, 0x00007fa2,
420  0x00007777, 0x00007f84, 0x00007f85, 0x00007fa3,
421  0x0000aa2b, 0x00007f85, 0x00007f86, 0x00007fa4,
422  0x00007f84, 0x00007f85, 0x00007f86, 0x00008010,
423  0x00007f85, 0x00007f86, 0x00007ff3, 0x0000801d,
424  0x00007f86, 0x00007ff3, 0x00008000, 0x0000801e,
425  0x00007ff3, 0x00008000, 0x00008001, 0x0000801f,
426  0x00008000, 0x00008001, 0x00008002, 0x00008020,
427  0x00008001, 0x00008002, 0x00008001, 0x0000801f,
428  0x00008002, 0x00007fff, 0x00008000, 0x0000801e,
429  0x00007ffd, 0x00007ffe, 0x00007fff, 0x00008010,
430  0x00007ffc, 0x00007ffd, 0x00007ff1, 0x00007fa3,
431  0x00007ffb, 0x00007fef, 0x00007f84, 0x00007fa2,
432  0x00007fed, 0x00007f82, 0x00007f83, 0x00007fa1,
433  0x00007f80, 0x00007f81, 0x00007f82, 0x00004ced,
434  0x00007f7f, 0x00007f80, 0x00004cce, 0x00002acb,
435  0x00007f7e, 0x00004ccc, 0x00002aac, 0x00000023,
436  0x00004cca, 0x00002aaa, 0x00000004, 0x00000022,
437  0x00002aa8, 0x00000002, 0x00000003, 0x00000021,
438  0x00000000, 0x00000001, 0x00000002, 0x00000020,
439  0x00000001, 0x00000002, 0x00000003, 0x00000021,
440  0x00000002, 0x00000003, 0x00000004, 0x00002aca,
441  0x00000003, 0x00000004, 0x00002aad, 0x00004cec,
442  0x00000004, 0x00002aad, 0x00004ccf, 0x00007fa0,
443  0x00002aad, 0x00004ccf, 0x00007f83, 0x00007fa1,
444  0x00004ccf, 0x00007f83, 0x00007f84, 0x00007fa2,
445  0x00007f83, 0x00007f84, 0x00007f85, 0x00007fa3,
446  0x00007f83, 0x00007f84, 0x00007f85, 0x0000800f,
447  0x00007f84, 0x00007f85, 0x00007ff2, 0x0000801c,
448  0x00007f85, 0x00007ff2, 0x00007fff, 0x0000801d,
449  0x00007ff2, 0x00007fff, 0x00008000, 0x0000801e,
450  0x00007fff, 0x00008000, 0x00008001, 0x00008021,
451  0x00008000, 0x00008001, 0x00008002, 0x00008020,
452  0x00008001, 0x00008000, 0x00008001, 0x0000801f,
453  0x00007ffe, 0x00007fff, 0x00008000, 0x00008011,
454  0x00007ffd, 0x00007ffe, 0x00007ff2, 0x00007fa4,
455  0x00007ffc, 0x00007ff0, 0x00007f85, 0x00007fa3,
456  0x00007fee, 0x00007f83, 0x00007f84, 0x00007fa2,
457  0x00007f81, 0x00007f82, 0x00007f83, 0x00004cee,
458  0x00007f80, 0x00007f81, 0x00004ccf, 0x00002acc,
459  0x00007f7f, 0x00004ccd, 0x00002aad, 0x00000024,
460  0x00004ccb, 0x00002aab, 0x00000005, 0x00000023,
461  0x00002aa9, 0x00000003, 0x00000004, 0x00000022,
462  0x00000001, 0x00000002, 0x00000003, 0x00000021,
463  0x00000000, 0x00000001, 0x00000002, 0x00000020,
464  0x00000001, 0x00000002, 0x00000003, 0x00002ac9,
465  0x00000002, 0x00000003, 0x00002aac, 0x00004ceb,
466  0x00000003, 0x00002aac, 0x00004cce, 0x00007f9f,
467  0x00002aac, 0x00004cce, 0x00007f82, 0x00007fa0,
468  0x00004cce, 0x00007f82, 0x00007f83, 0x00007fa1,
469  0x00007f82, 0x00007f83, 0x00007f84, 0x00007fa2,
470  0x00007f82, 0x00007f83, 0x00007f84, 0x00005566,
471  0x00007f83, 0x00007f84, 0x00007ff1, 0x00005573,
472  0x00007f84, 0x00007ff1, 0x00007ffe, 0x00005574,
473  0x00007ff1, 0x00007ffe, 0x00007fff, 0x00005575,
474  0x00007ffe, 0x00007fff, 0x00008000, 0x0000aaca,
475  0x00007fff, 0x00008000, 0x00008003, 0x0000aac9,
476  0x00008000, 0x00008001, 0x00008002, 0x0000aac8,
477  0x00007fff, 0x00008000, 0x00008001, 0x0000aaba,
478  0x00007ffe, 0x00007fff, 0x00007ff3, 0x0000aa4d,
479  0x00007ffd, 0x00007ff1, 0x00007f86, 0x0000aa4c,
480  0x00007fef, 0x00007f84, 0x00007f85, 0x0000aa4b,
481  0x00007f82, 0x00007f83, 0x00007f84, 0x00007797,
482  0x00007f81, 0x00007f82, 0x00004cd0, 0x00005575,
483  0x00007f80, 0x00004cce, 0x00002aae, 0x00002acd,
484  0x00004ccc, 0x00002aac, 0x00000006, 0x00002acc,
485  0x00002aaa, 0x00000004, 0x00000005, 0x00002acb,
486  0x00000002, 0x00000003, 0x00000004, 0x00002aca,
487  0x00000001, 0x00000002, 0x00000003, 0x00002ac9,
488  0x00000000, 0x00000001, 0x00000002, 0x00000020,
489  0x00000001, 0x00000002, 0x00002aab, 0x00002242,
490  0x00000002, 0x00002aab, 0x00004ccd, 0x000054f6,
491  0x00002aab, 0x00004ccd, 0x00007f81, 0x000054f7,
492  0x00004ccd, 0x00007f81, 0x00007f82, 0x000054f8,
493  0x00007f81, 0x00007f82, 0x00007f83, 0x000054f9,
494  0x00007f81, 0x00007f82, 0x000054db, 0x00003344,
495  0x00007f82, 0x00007f83, 0x00005548, 0x00003351,
496  0x00007f83, 0x00007ff0, 0x00005555, 0x00003352,
497  0x00007ff0, 0x00007ffd, 0x00005556, 0x00003353,
498  0x00007ffd, 0x00007ffe, 0x00005557, 0x0000ccec,
499  0x00007ffe, 0x00007fff, 0x0000aaac, 0x0000cceb,
500  0x00007fff, 0x00008002, 0x0000aaab, 0x0000ccea,
501  0x00008000, 0x00008001, 0x0000aaaa, 0x0000ccdc,
502  0x00007fff, 0x00008000, 0x0000aa9c, 0x0000cc6f,
503  0x00007ffe, 0x00007ff2, 0x0000aa2f, 0x0000cc6e,
504  0x00007ff0, 0x00007f85, 0x0000aa2e, 0x0000cc6d,
505  0x00007f83, 0x00007f84, 0x0000aa2d, 0x000099b9,
506  0x00007f82, 0x00007f83, 0x00007779, 0x00007797,
507  0x00007f81, 0x00004ccf, 0x00005557, 0x00004cef,
508  0x00004ccd, 0x00002aad, 0x00002aaf, 0x00004cee,
509  0x00002aab, 0x00000005, 0x00002aae, 0x00004ced,
510  0x00000003, 0x00000004, 0x00002aad, 0x00004cec,
511  0x00000002, 0x00000003, 0x00002aac, 0x00004ceb,
512  0x00000001, 0x00000002, 0x00002aab, 0x00002242,
513  0x00000000, 0x00000001, 0x00000002, 0x00000020,
514  0x00000001, 0x00002aaa, 0x00002224, 0x000032d4,
515  0x00002aaa, 0x00004ccc, 0x000054d8, 0x000032d5,
516  0x00004ccc, 0x00007f80, 0x000054d9, 0x000032d6,
517  0x00007f80, 0x00007f81, 0x000054da, 0x000032d7,
518  0x00007f80, 0x000054d9, 0x000032b9, 0x00000090,
519  0x00007f81, 0x000054da, 0x00003326, 0x0000009d,
520  0x00007f82, 0x00005547, 0x00003333, 0x0000009e,
521  0x00007fef, 0x00005554, 0x00003334, 0x0000009f,
522  0x00007ffc, 0x00005555, 0x00003335, 0x0000ffa0,
523  0x00007ffd, 0x00005556, 0x0000ccce, 0x0000ff9f,
524  0x00007ffe, 0x0000aaab, 0x0000cccd, 0x0000ff9e,
525  0x00008001, 0x0000aaaa, 0x0000cccc, 0x0000ff90,
526  0x00008000, 0x0000aaa9, 0x0000ccbe, 0x0000ff23,
527  0x00007fff, 0x0000aa9b, 0x0000cc51, 0x0000ff22,
528  0x00007ff1, 0x0000aa2e, 0x0000cc50, 0x0000ff21,
529  0x00007f84, 0x0000aa2d, 0x0000cc4f, 0x0000cc6d,
530  0x00007f83, 0x0000aa2c, 0x0000999b, 0x0000aa4b,
531  0x00007f82, 0x00007778, 0x00007779, 0x00007fa3,
532  0x00004cce, 0x00005556, 0x00004cd1, 0x00007fa2,
533  0x00002aac, 0x00002aae, 0x00004cd0, 0x00007fa1,
534  0x00000004, 0x00002aad, 0x00004ccf, 0x00007fa0,
535  0x00000003, 0x00002aac, 0x00004cce, 0x00007f9f,
536  0x00000002, 0x00002aab, 0x00004ccd, 0x000054f6,
537  0x00000001, 0x00002aaa, 0x00002224, 0x000032d4,
538  0x00000000, 0x00000001, 0x00000002, 0x00000020,
539  0x00002aa9, 0x00002223, 0x000032b6, 0x00000021,
540  0x00004ccb, 0x000054d7, 0x000032b7, 0x00000022,
541  0x00007f7f, 0x000054d8, 0x000032b8, 0x00000023,
542  0x000054d7, 0x000032b7, 0x00000005, 0x0000008f,
543  0x000054d8, 0x000032b8, 0x00000072, 0x0000009c,
544  0x000054d9, 0x00003325, 0x0000007f, 0x0000009d,
545  0x00005546, 0x00003332, 0x00000080, 0x0000009e,
546  0x00005553, 0x00003333, 0x00000081, 0x0000ffa1,
547  0x00005554, 0x00003334, 0x0000ff82, 0x0000ffa0,
548  0x00005555, 0x0000cccd, 0x0000ff81, 0x0000ff9f,
549  0x0000aaaa, 0x0000cccc, 0x0000ff80, 0x0000ff91,
550  0x0000aaa9, 0x0000cccb, 0x0000ff72, 0x0000ff24,
551  0x0000aaa8, 0x0000ccbd, 0x0000ff05, 0x0000ff23,
552  0x0000aa9a, 0x0000cc50, 0x0000ff04, 0x0000ff22,
553  0x0000aa2d, 0x0000cc4f, 0x0000ff03, 0x0000cc6e,
554  0x0000aa2c, 0x0000cc4e, 0x0000cc4f, 0x0000aa4c,
555  0x0000aa2b, 0x0000999a, 0x0000aa2d, 0x00007fa4,
556  0x00007777, 0x00007778, 0x00007f85, 0x00007fa3,
557  0x00005555, 0x00004cd0, 0x00007f84, 0x00007fa2,
558  0x00002aad, 0x00004ccf, 0x00007f83, 0x00007fa1,
559  0x00002aac, 0x00004cce, 0x00007f82, 0x00007fa0,
560  0x00002aab, 0x00004ccd, 0x00007f81, 0x000054f7,
561  0x00002aaa, 0x00004ccc, 0x000054d8, 0x000032d5,
562  0x00002aa9, 0x00002223, 0x000032b6, 0x00000021,
563  0x00000000, 0x00000001, 0x00000002, 0x00000020,
564  0x00002222, 0x000032b5, 0x00000003, 0x00000021,
565  0x000054d6, 0x000032b6, 0x00000004, 0x00000022,
566  0x000032b5, 0x00000003, 0x00000004, 0x0000008e,
567  0x000032b6, 0x00000004, 0x00000071, 0x0000009b,
568  0x000032b7, 0x00000071, 0x0000007e, 0x0000009c,
569  0x00003324, 0x0000007e, 0x0000007f, 0x0000009d,
570  0x00003331, 0x0000007f, 0x00000080, 0x0000ffa2,
571  0x00003332, 0x00000080, 0x0000ff83, 0x0000ffa1,
572  0x00003333, 0x0000ff81, 0x0000ff82, 0x0000ffa0,
573  0x0000cccc, 0x0000ff80, 0x0000ff81, 0x0000ff92,
574  0x0000cccb, 0x0000ff7f, 0x0000ff73, 0x0000ff25,
575  0x0000ccca, 0x0000ff71, 0x0000ff06, 0x0000ff24,
576  0x0000ccbc, 0x0000ff04, 0x0000ff05, 0x0000ff23,
577  0x0000cc4f, 0x0000ff03, 0x0000ff04, 0x0000cc6f,
578  0x0000cc4e, 0x0000ff02, 0x0000cc50, 0x0000aa4d,
579  0x0000cc4d, 0x0000cc4e, 0x0000aa2e, 0x00007fa5,
580  0x00009999, 0x0000aa2c, 0x00007f86, 0x00007fa4,
581  0x00007777, 0x00007f84, 0x00007f85, 0x00007fa3,
582  0x00004ccf, 0x00007f83, 0x00007f84, 0x00007fa2,
583  0x00004cce, 0x00007f82, 0x00007f83, 0x00007fa1,
584  0x00004ccd, 0x00007f81, 0x00007f82, 0x000054f8,
585  0x00004ccc, 0x00007f80, 0x000054d9, 0x000032d6,
586  0x00004ccb, 0x000054d7, 0x000032b7, 0x00000022,
587  0x00002222, 0x000032b5, 0x00000003, 0x00000021,
588  0x00000000, 0x00000001, 0x00000002, 0x00000020,
589  0x000032b4, 0x00000002, 0x00000003, 0x00000021,
590  0x00000001, 0x00000002, 0x00000003, 0x0000008d,
591  0x00000002, 0x00000003, 0x00000070, 0x0000009a,
592  0x00000003, 0x00000070, 0x0000007d, 0x0000009b,
593  0x00000070, 0x0000007d, 0x0000007e, 0x0000009c,
594  0x0000007d, 0x0000007e, 0x0000007f, 0x0000ffa3,
595  0x0000007e, 0x0000007f, 0x0000ff84, 0x0000ffa2,
596  0x0000007f, 0x0000ff82, 0x0000ff83, 0x0000ffa1,
597  0x0000ff80, 0x0000ff81, 0x0000ff82, 0x0000ff93,
598  0x0000ff7f, 0x0000ff80, 0x0000ff74, 0x0000ff26,
599  0x0000ff7e, 0x0000ff72, 0x0000ff07, 0x0000ff25,
600  0x0000ff70, 0x0000ff05, 0x0000ff06, 0x0000ff24,
601  0x0000ff03, 0x0000ff04, 0x0000ff05, 0x0000cc70,
602  0x0000ff02, 0x0000ff03, 0x0000cc51, 0x0000aa4e,
603  0x0000ff01, 0x0000cc4f, 0x0000aa2f, 0x00007fa6,
604  0x0000cc4d, 0x0000aa2d, 0x00007f87, 0x00007fa5,
605  0x0000aa2b, 0x00007f85, 0x00007f86, 0x00007fa4,
606  0x00007f83, 0x00007f84, 0x00007f85, 0x00007fa3,
607  0x00007f82, 0x00007f83, 0x00007f84, 0x00007fa2,
608  0x00007f81, 0x00007f82, 0x00007f83, 0x000054f9,
609  0x00007f80, 0x00007f81, 0x000054da, 0x000032d7,
610  0x00007f7f, 0x000054d8, 0x000032b8, 0x00000023,
611  0x000054d6, 0x000032b6, 0x00000004, 0x00000022,
612  0x000032b4, 0x00000002, 0x00000003, 0x00000021,
613  0x00000000, 0x00000001, 0x00000002, 0x00000020,
614};
615const unsigned kExpectedCount_NEON_uabal_4S = 576;
616
617#endif  // VIXL_SIM_UABAL_4S_TRACE_AARCH64_H_
618