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_UADDL_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_UADDL_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_uaddl_4S[] = {
38  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
39  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
40  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
41  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
42  0x0000807b, 0x0000807d, 0x0000b332, 0x00005555,
43  0x0000807c, 0x0000807e, 0x00003333, 0x00005556,
44  0x0000807d, 0x0000007f, 0x00003334, 0x00005557,
45  0x0000007e, 0x00000080, 0x00003335, 0x00005565,
46  0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
47  0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
48  0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
49  0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
50  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
51  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
52  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
53  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
54  0x0000807b, 0x0000807d, 0x0000b332, 0x0000d555,
55  0x0000807c, 0x0000807e, 0x0000b333, 0x0000d556,
56  0x0000807d, 0x0000807f, 0x0000b334, 0x0000ffff,
57  0x0000807e, 0x00008080, 0x0000dddd, 0x00012221,
58  0x0000807f, 0x0000ab29, 0x0000ffff, 0x000154d5,
59  0x0000ab28, 0x0000cd4b, 0x000132b3, 0x000154d6,
60  0x0000cd4a, 0x0000ffff, 0x000132b4, 0x000154d7,
61  0x0000fffe, 0x00010000, 0x000132b5, 0x000154d8,
62  0x00010000, 0x000132b5, 0x000154d8, 0x00017fed,
63  0x00010001, 0x000132b6, 0x00015545, 0x00017ffa,
64  0x00010002, 0x00013323, 0x00015552, 0x00017ffb,
65  0x0001006f, 0x00013330, 0x00015553, 0x00017ffc,
66  0x0001007c, 0x00013331, 0x00015554, 0x00007ffd,
67  0x0001007d, 0x00013332, 0x00005555, 0x00007ffe,
68  0x0001007e, 0x00003333, 0x00005556, 0x00007fff,
69  0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
70  0x00000080, 0x00003335, 0x00005565, 0x0000807a,
71  0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
72  0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
73  0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
74  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
75  0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
76  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
77  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
78  0x0000807c, 0x0000b331, 0x0000d554, 0x0000fffd,
79  0x0000807d, 0x0000b332, 0x0000d555, 0x0000fffe,
80  0x0000807e, 0x0000b333, 0x0000d556, 0x00012aa7,
81  0x0000807f, 0x0000b334, 0x0000ffff, 0x00014cc9,
82  0x00008080, 0x0000dddd, 0x00012221, 0x00017f7d,
83  0x0000ab29, 0x0000ffff, 0x000154d5, 0x00017f7e,
84  0x0000cd4b, 0x000132b3, 0x000154d6, 0x00017f7f,
85  0x0000ffff, 0x000132b4, 0x000154d7, 0x00017f80,
86  0x000132b4, 0x000154d7, 0x00017f80, 0x00017fee,
87  0x000132b5, 0x000154d8, 0x00017fed, 0x00017ffb,
88  0x000132b6, 0x00015545, 0x00017ffa, 0x00017ffc,
89  0x00013323, 0x00015552, 0x00017ffb, 0x00017ffd,
90  0x00013330, 0x00015553, 0x00017ffc, 0x00007ffe,
91  0x00013331, 0x00015554, 0x00007ffd, 0x00007fff,
92  0x00013332, 0x00005555, 0x00007ffe, 0x00008000,
93  0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
94  0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
95  0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
96  0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
97  0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
98  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
99  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
100  0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
101  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
102  0x0000b330, 0x0000d553, 0x0000fffc, 0x0000fffe,
103  0x0000b331, 0x0000d554, 0x0000fffd, 0x0000ffff,
104  0x0000b332, 0x0000d555, 0x0000fffe, 0x00012aa8,
105  0x0000b333, 0x0000d556, 0x00012aa7, 0x00014cca,
106  0x0000b334, 0x0000ffff, 0x00014cc9, 0x00017f7e,
107  0x0000dddd, 0x00012221, 0x00017f7d, 0x00017f7f,
108  0x0000ffff, 0x000154d5, 0x00017f7e, 0x00017f80,
109  0x000132b3, 0x000154d6, 0x00017f7f, 0x00017f81,
110  0x000154d6, 0x00017f7f, 0x00017f81, 0x00017fef,
111  0x000154d7, 0x00017f80, 0x00017fee, 0x00017ffc,
112  0x000154d8, 0x00017fed, 0x00017ffb, 0x00017ffd,
113  0x00015545, 0x00017ffa, 0x00017ffc, 0x00017ffe,
114  0x00015552, 0x00017ffb, 0x00017ffd, 0x00007fff,
115  0x00015553, 0x00017ffc, 0x00007ffe, 0x00008000,
116  0x00015554, 0x00007ffd, 0x00007fff, 0x00008001,
117  0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
118  0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
119  0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
120  0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
121  0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
122  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
123  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
124  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
125  0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
126  0x0000d552, 0x0000fffb, 0x0000fffd, 0x0000ffff,
127  0x0000d553, 0x0000fffc, 0x0000fffe, 0x00010000,
128  0x0000d554, 0x0000fffd, 0x0000ffff, 0x00012aa9,
129  0x0000d555, 0x0000fffe, 0x00012aa8, 0x00014ccb,
130  0x0000d556, 0x00012aa7, 0x00014cca, 0x00017f7f,
131  0x0000ffff, 0x00014cc9, 0x00017f7e, 0x00017f80,
132  0x00012221, 0x00017f7d, 0x00017f7f, 0x00017f81,
133  0x000154d5, 0x00017f7e, 0x00017f80, 0x00017f82,
134  0x00017f7e, 0x00017f80, 0x00017f82, 0x0000fff0,
135  0x00017f7f, 0x00017f81, 0x00017fef, 0x0000fffd,
136  0x00017f80, 0x00017fee, 0x00017ffc, 0x0000fffe,
137  0x00017fed, 0x00017ffb, 0x00017ffd, 0x0000ffff,
138  0x00017ffa, 0x00017ffc, 0x00017ffe, 0x00000000,
139  0x00017ffb, 0x00017ffd, 0x00007fff, 0x00000001,
140  0x00017ffc, 0x00007ffe, 0x00008000, 0x00000002,
141  0x00007ffd, 0x00007fff, 0x00008001, 0x00000010,
142  0x00007ffe, 0x00008000, 0x0000800f, 0x0000007d,
143  0x00007fff, 0x0000800e, 0x0000807c, 0x0000007e,
144  0x0000800d, 0x0000807b, 0x0000807d, 0x0000007f,
145  0x0000807a, 0x0000807c, 0x0000807e, 0x00003333,
146  0x0000807b, 0x0000807d, 0x0000b332, 0x00005555,
147  0x0000807c, 0x0000b331, 0x0000d554, 0x00007ffd,
148  0x0000b330, 0x0000d553, 0x0000fffc, 0x00007ffe,
149  0x0000d552, 0x0000fffb, 0x0000fffd, 0x00007fff,
150  0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00008000,
151  0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00008001,
152  0x0000fffc, 0x0000fffe, 0x00010000, 0x0000aaaa,
153  0x0000fffd, 0x0000ffff, 0x00012aa9, 0x0000cccc,
154  0x0000fffe, 0x00012aa8, 0x00014ccb, 0x0000ff80,
155  0x00012aa7, 0x00014cca, 0x00017f7f, 0x0000ff81,
156  0x00014cc9, 0x00017f7e, 0x00017f80, 0x0000ff82,
157  0x00017f7d, 0x00017f7f, 0x00017f81, 0x0000ff83,
158  0x00017f7f, 0x00017f81, 0x0000ff83, 0x0000fff1,
159  0x00017f80, 0x00017f82, 0x0000fff0, 0x0000fffe,
160  0x00017f81, 0x00017fef, 0x0000fffd, 0x0000ffff,
161  0x00017fee, 0x00017ffc, 0x0000fffe, 0x00010000,
162  0x00017ffb, 0x00017ffd, 0x0000ffff, 0x00000001,
163  0x00017ffc, 0x00017ffe, 0x00000000, 0x00000002,
164  0x00017ffd, 0x00007fff, 0x00000001, 0x00000003,
165  0x00007ffe, 0x00008000, 0x00000002, 0x00000011,
166  0x00007fff, 0x00008001, 0x00000010, 0x0000007e,
167  0x00008000, 0x0000800f, 0x0000007d, 0x0000007f,
168  0x0000800e, 0x0000807c, 0x0000007e, 0x00000080,
169  0x0000807b, 0x0000807d, 0x0000007f, 0x00003334,
170  0x0000807c, 0x0000807e, 0x00003333, 0x00005556,
171  0x0000807d, 0x0000b332, 0x00005555, 0x00007ffe,
172  0x0000b331, 0x0000d554, 0x00007ffd, 0x00007fff,
173  0x0000d553, 0x0000fffc, 0x00007ffe, 0x00008000,
174  0x0000fffb, 0x0000fffd, 0x00007fff, 0x00008001,
175  0x0000fffc, 0x0000fffe, 0x00008000, 0x00008002,
176  0x0000fffd, 0x0000ffff, 0x00008001, 0x0000aaab,
177  0x0000fffe, 0x00010000, 0x0000aaaa, 0x0000cccd,
178  0x0000ffff, 0x00012aa9, 0x0000cccc, 0x0000ff81,
179  0x00012aa8, 0x00014ccb, 0x0000ff80, 0x0000ff82,
180  0x00014cca, 0x00017f7f, 0x0000ff81, 0x0000ff83,
181  0x00017f7e, 0x00017f80, 0x0000ff82, 0x0000ff84,
182  0x00017f80, 0x0000ff82, 0x0000ff84, 0x0000fff2,
183  0x00017f81, 0x0000ff83, 0x0000fff1, 0x0000ffff,
184  0x00017f82, 0x0000fff0, 0x0000fffe, 0x00010000,
185  0x00017fef, 0x0000fffd, 0x0000ffff, 0x00010001,
186  0x00017ffc, 0x0000fffe, 0x00010000, 0x00000002,
187  0x00017ffd, 0x0000ffff, 0x00000001, 0x00000003,
188  0x00017ffe, 0x00000000, 0x00000002, 0x00000004,
189  0x00007fff, 0x00000001, 0x00000003, 0x00000012,
190  0x00008000, 0x00000002, 0x00000011, 0x0000007f,
191  0x00008001, 0x00000010, 0x0000007e, 0x00000080,
192  0x0000800f, 0x0000007d, 0x0000007f, 0x00000081,
193  0x0000807c, 0x0000007e, 0x00000080, 0x00003335,
194  0x0000807d, 0x0000007f, 0x00003334, 0x00005557,
195  0x0000807e, 0x00003333, 0x00005556, 0x00007fff,
196  0x0000b332, 0x00005555, 0x00007ffe, 0x00008000,
197  0x0000d554, 0x00007ffd, 0x00007fff, 0x00008001,
198  0x0000fffc, 0x00007ffe, 0x00008000, 0x00008002,
199  0x0000fffd, 0x00007fff, 0x00008001, 0x00008003,
200  0x0000fffe, 0x00008000, 0x00008002, 0x0000aaac,
201  0x0000ffff, 0x00008001, 0x0000aaab, 0x0000ccce,
202  0x00010000, 0x0000aaaa, 0x0000cccd, 0x0000ff82,
203  0x00012aa9, 0x0000cccc, 0x0000ff81, 0x0000ff83,
204  0x00014ccb, 0x0000ff80, 0x0000ff82, 0x0000ff84,
205  0x00017f7f, 0x0000ff81, 0x0000ff83, 0x0000ff85,
206  0x0000ff81, 0x0000ff83, 0x0000ff85, 0x00010000,
207  0x0000ff82, 0x0000ff84, 0x0000fff2, 0x0001000d,
208  0x0000ff83, 0x0000fff1, 0x0000ffff, 0x0001000e,
209  0x0000fff0, 0x0000fffe, 0x00010000, 0x0001000f,
210  0x0000fffd, 0x0000ffff, 0x00010001, 0x00000010,
211  0x0000fffe, 0x00010000, 0x00000002, 0x00000011,
212  0x0000ffff, 0x00000001, 0x00000003, 0x00000012,
213  0x00000000, 0x00000002, 0x00000004, 0x00000020,
214  0x00000001, 0x00000003, 0x00000012, 0x0000008d,
215  0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
216  0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
217  0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
218  0x0000007e, 0x00000080, 0x00003335, 0x00005565,
219  0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
220  0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
221  0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
222  0x00007ffd, 0x00007fff, 0x00008001, 0x00008010,
223  0x00007ffe, 0x00008000, 0x00008002, 0x00008011,
224  0x00007fff, 0x00008001, 0x00008003, 0x0000aaba,
225  0x00008000, 0x00008002, 0x0000aaac, 0x0000ccdc,
226  0x00008001, 0x0000aaab, 0x0000ccce, 0x0000ff90,
227  0x0000aaaa, 0x0000cccd, 0x0000ff82, 0x0000ff91,
228  0x0000cccc, 0x0000ff81, 0x0000ff83, 0x0000ff92,
229  0x0000ff80, 0x0000ff82, 0x0000ff84, 0x0000ff93,
230  0x0000ff82, 0x0000ff84, 0x0000ff93, 0x0001006d,
231  0x0000ff83, 0x0000ff85, 0x00010000, 0x0001007a,
232  0x0000ff84, 0x0000fff2, 0x0001000d, 0x0001007b,
233  0x0000fff1, 0x0000ffff, 0x0001000e, 0x0001007c,
234  0x0000fffe, 0x00010000, 0x0001000f, 0x0000007d,
235  0x0000ffff, 0x00010001, 0x00000010, 0x0000007e,
236  0x00010000, 0x00000002, 0x00000011, 0x0000007f,
237  0x00000001, 0x00000003, 0x00000012, 0x0000008d,
238  0x00000002, 0x00000004, 0x00000020, 0x000000fa,
239  0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
240  0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
241  0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
242  0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
243  0x00000080, 0x00003335, 0x00005565, 0x0000807a,
244  0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
245  0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
246  0x00007ffe, 0x00008000, 0x0000800f, 0x0000807d,
247  0x00007fff, 0x00008001, 0x00008010, 0x0000807e,
248  0x00008000, 0x00008002, 0x00008011, 0x0000ab27,
249  0x00008001, 0x00008003, 0x0000aaba, 0x0000cd49,
250  0x00008002, 0x0000aaac, 0x0000ccdc, 0x0000fffd,
251  0x0000aaab, 0x0000ccce, 0x0000ff90, 0x0000fffe,
252  0x0000cccd, 0x0000ff82, 0x0000ff91, 0x0000ffff,
253  0x0000ff81, 0x0000ff83, 0x0000ff92, 0x00010000,
254  0x0000ff83, 0x0000ff92, 0x00010000, 0x0001006e,
255  0x0000ff84, 0x0000ff93, 0x0001006d, 0x0001007b,
256  0x0000ff85, 0x00010000, 0x0001007a, 0x0001007c,
257  0x0000fff2, 0x0001000d, 0x0001007b, 0x0001007d,
258  0x0000ffff, 0x0001000e, 0x0001007c, 0x0000007e,
259  0x00010000, 0x0001000f, 0x0000007d, 0x0000007f,
260  0x00010001, 0x00000010, 0x0000007e, 0x00000080,
261  0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
262  0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
263  0x00000004, 0x00000020, 0x000000fa, 0x000000fc,
264  0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
265  0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
266  0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
267  0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
268  0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
269  0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
270  0x00007fff, 0x0000800e, 0x0000807c, 0x0000807e,
271  0x00008000, 0x0000800f, 0x0000807d, 0x0000807f,
272  0x00008001, 0x00008010, 0x0000807e, 0x0000ab28,
273  0x00008002, 0x00008011, 0x0000ab27, 0x0000cd4a,
274  0x00008003, 0x0000aaba, 0x0000cd49, 0x0000fffe,
275  0x0000aaac, 0x0000ccdc, 0x0000fffd, 0x0000ffff,
276  0x0000ccce, 0x0000ff90, 0x0000fffe, 0x00010000,
277  0x0000ff82, 0x0000ff91, 0x0000ffff, 0x00010001,
278  0x0000ff91, 0x0000ffff, 0x00010001, 0x0001006f,
279  0x0000ff92, 0x00010000, 0x0001006e, 0x0001007c,
280  0x0000ff93, 0x0001006d, 0x0001007b, 0x0001007d,
281  0x00010000, 0x0001007a, 0x0001007c, 0x0001007e,
282  0x0001000d, 0x0001007b, 0x0001007d, 0x0000007f,
283  0x0001000e, 0x0001007c, 0x0000007e, 0x00000080,
284  0x0001000f, 0x0000007d, 0x0000007f, 0x00000081,
285  0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
286  0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
287  0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
288  0x00000020, 0x000000fa, 0x000000fc, 0x000000fe,
289  0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
290  0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
291  0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
292  0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
293  0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
294  0x0000800d, 0x0000807b, 0x0000807d, 0x0000807f,
295  0x0000800e, 0x0000807c, 0x0000807e, 0x00008080,
296  0x0000800f, 0x0000807d, 0x0000807f, 0x0000ab29,
297  0x00008010, 0x0000807e, 0x0000ab28, 0x0000cd4b,
298  0x00008011, 0x0000ab27, 0x0000cd4a, 0x0000ffff,
299  0x0000aaba, 0x0000cd49, 0x0000fffe, 0x00010000,
300  0x0000ccdc, 0x0000fffd, 0x0000ffff, 0x00010001,
301  0x0000ff90, 0x0000fffe, 0x00010000, 0x00010002,
302  0x0000fffe, 0x00010000, 0x00010002, 0x00013323,
303  0x0000ffff, 0x00010001, 0x0001006f, 0x00013330,
304  0x00010000, 0x0001006e, 0x0001007c, 0x00013331,
305  0x0001006d, 0x0001007b, 0x0001007d, 0x00013332,
306  0x0001007a, 0x0001007c, 0x0001007e, 0x00003333,
307  0x0001007b, 0x0001007d, 0x0000007f, 0x00003334,
308  0x0001007c, 0x0000007e, 0x00000080, 0x00003335,
309  0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
310  0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
311  0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
312  0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
313  0x000000fa, 0x000000fc, 0x000000fe, 0x00006666,
314  0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
315  0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
316  0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
317  0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
318  0x0000807a, 0x0000807c, 0x0000807e, 0x0000b333,
319  0x0000807b, 0x0000807d, 0x0000807f, 0x0000b334,
320  0x0000807c, 0x0000807e, 0x00008080, 0x0000dddd,
321  0x0000807d, 0x0000807f, 0x0000ab29, 0x0000ffff,
322  0x0000807e, 0x0000ab28, 0x0000cd4b, 0x000132b3,
323  0x0000ab27, 0x0000cd4a, 0x0000ffff, 0x000132b4,
324  0x0000cd49, 0x0000fffe, 0x00010000, 0x000132b5,
325  0x0000fffd, 0x0000ffff, 0x00010001, 0x000132b6,
326  0x0000ffff, 0x00010001, 0x000132b6, 0x00015545,
327  0x00010000, 0x00010002, 0x00013323, 0x00015552,
328  0x00010001, 0x0001006f, 0x00013330, 0x00015553,
329  0x0001006e, 0x0001007c, 0x00013331, 0x00015554,
330  0x0001007b, 0x0001007d, 0x00013332, 0x00005555,
331  0x0001007c, 0x0001007e, 0x00003333, 0x00005556,
332  0x0001007d, 0x0000007f, 0x00003334, 0x00005557,
333  0x0000007e, 0x00000080, 0x00003335, 0x00005565,
334  0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
335  0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
336  0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
337  0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
338  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
339  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
340  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
341  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
342  0x0000807b, 0x0000807d, 0x0000b332, 0x0000d555,
343  0x0000807c, 0x0000807e, 0x0000b333, 0x0000d556,
344  0x0000807d, 0x0000807f, 0x0000b334, 0x0000ffff,
345  0x0000807e, 0x00008080, 0x0000dddd, 0x00012221,
346  0x0000807f, 0x0000ab29, 0x0000ffff, 0x000154d5,
347  0x0000ab28, 0x0000cd4b, 0x000132b3, 0x000154d6,
348  0x0000cd4a, 0x0000ffff, 0x000132b4, 0x000154d7,
349  0x0000fffe, 0x00010000, 0x000132b5, 0x000154d8,
350  0x00010000, 0x000132b5, 0x000154d8, 0x00017fed,
351  0x00010001, 0x000132b6, 0x00015545, 0x00017ffa,
352  0x00010002, 0x00013323, 0x00015552, 0x00017ffb,
353  0x0001006f, 0x00013330, 0x00015553, 0x00017ffc,
354  0x0001007c, 0x00013331, 0x00015554, 0x00007ffd,
355  0x0001007d, 0x00013332, 0x00005555, 0x00007ffe,
356  0x0001007e, 0x00003333, 0x00005556, 0x00007fff,
357  0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
358  0x00000080, 0x00003335, 0x00005565, 0x0000807a,
359  0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
360  0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
361  0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
362  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
363  0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
364  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
365  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
366  0x0000807c, 0x0000b331, 0x0000d554, 0x0000fffd,
367  0x0000807d, 0x0000b332, 0x0000d555, 0x0000fffe,
368  0x0000807e, 0x0000b333, 0x0000d556, 0x00012aa7,
369  0x0000807f, 0x0000b334, 0x0000ffff, 0x00014cc9,
370  0x00008080, 0x0000dddd, 0x00012221, 0x00017f7d,
371  0x0000ab29, 0x0000ffff, 0x000154d5, 0x00017f7e,
372  0x0000cd4b, 0x000132b3, 0x000154d6, 0x00017f7f,
373  0x0000ffff, 0x000132b4, 0x000154d7, 0x00017f80,
374  0x000132b4, 0x000154d7, 0x00017f80, 0x00017fee,
375  0x000132b5, 0x000154d8, 0x00017fed, 0x00017ffb,
376  0x000132b6, 0x00015545, 0x00017ffa, 0x00017ffc,
377  0x00013323, 0x00015552, 0x00017ffb, 0x00017ffd,
378  0x00013330, 0x00015553, 0x00017ffc, 0x00007ffe,
379  0x00013331, 0x00015554, 0x00007ffd, 0x00007fff,
380  0x00013332, 0x00005555, 0x00007ffe, 0x00008000,
381  0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
382  0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
383  0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
384  0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
385  0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
386  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
387  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
388  0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
389  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
390  0x0000b330, 0x0000d553, 0x0000fffc, 0x0000fffe,
391  0x0000b331, 0x0000d554, 0x0000fffd, 0x0000ffff,
392  0x0000b332, 0x0000d555, 0x0000fffe, 0x00012aa8,
393  0x0000b333, 0x0000d556, 0x00012aa7, 0x00014cca,
394  0x0000b334, 0x0000ffff, 0x00014cc9, 0x00017f7e,
395  0x0000dddd, 0x00012221, 0x00017f7d, 0x00017f7f,
396  0x0000ffff, 0x000154d5, 0x00017f7e, 0x00017f80,
397  0x000132b3, 0x000154d6, 0x00017f7f, 0x00017f81,
398  0x000154d6, 0x00017f7f, 0x00017f81, 0x00017fef,
399  0x000154d7, 0x00017f80, 0x00017fee, 0x00017ffc,
400  0x000154d8, 0x00017fed, 0x00017ffb, 0x00017ffd,
401  0x00015545, 0x00017ffa, 0x00017ffc, 0x00017ffe,
402  0x00015552, 0x00017ffb, 0x00017ffd, 0x00007fff,
403  0x00015553, 0x00017ffc, 0x00007ffe, 0x00008000,
404  0x00015554, 0x00007ffd, 0x00007fff, 0x00008001,
405  0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
406  0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
407  0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
408  0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
409  0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
410  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
411  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
412  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
413  0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
414  0x0000d552, 0x0000fffb, 0x0000fffd, 0x0000ffff,
415  0x0000d553, 0x0000fffc, 0x0000fffe, 0x00010000,
416  0x0000d554, 0x0000fffd, 0x0000ffff, 0x00012aa9,
417  0x0000d555, 0x0000fffe, 0x00012aa8, 0x00014ccb,
418  0x0000d556, 0x00012aa7, 0x00014cca, 0x00017f7f,
419  0x0000ffff, 0x00014cc9, 0x00017f7e, 0x00017f80,
420  0x00012221, 0x00017f7d, 0x00017f7f, 0x00017f81,
421  0x000154d5, 0x00017f7e, 0x00017f80, 0x00017f82,
422  0x00017f7e, 0x00017f80, 0x00017f82, 0x00017ff0,
423  0x00017f7f, 0x00017f81, 0x00017fef, 0x00017ffd,
424  0x00017f80, 0x00017fee, 0x00017ffc, 0x00017ffe,
425  0x00017fed, 0x00017ffb, 0x00017ffd, 0x00017fff,
426  0x00017ffa, 0x00017ffc, 0x00017ffe, 0x00008000,
427  0x00017ffb, 0x00017ffd, 0x00007fff, 0x00008001,
428  0x00017ffc, 0x00007ffe, 0x00008000, 0x00008002,
429  0x00007ffd, 0x00007fff, 0x00008001, 0x00008010,
430  0x00007ffe, 0x00008000, 0x0000800f, 0x0000807d,
431  0x00007fff, 0x0000800e, 0x0000807c, 0x0000807e,
432  0x0000800d, 0x0000807b, 0x0000807d, 0x0000807f,
433  0x0000807a, 0x0000807c, 0x0000807e, 0x0000b333,
434  0x0000807b, 0x0000807d, 0x0000b332, 0x0000d555,
435  0x0000807c, 0x0000b331, 0x0000d554, 0x0000fffd,
436  0x0000b330, 0x0000d553, 0x0000fffc, 0x0000fffe,
437  0x0000d552, 0x0000fffb, 0x0000fffd, 0x0000ffff,
438  0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00010000,
439  0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00010001,
440  0x0000fffc, 0x0000fffe, 0x00010000, 0x00012aaa,
441  0x0000fffd, 0x0000ffff, 0x00012aa9, 0x00014ccc,
442  0x0000fffe, 0x00012aa8, 0x00014ccb, 0x00017f80,
443  0x00012aa7, 0x00014cca, 0x00017f7f, 0x00017f81,
444  0x00014cc9, 0x00017f7e, 0x00017f80, 0x00017f82,
445  0x00017f7d, 0x00017f7f, 0x00017f81, 0x00017f83,
446  0x00017f7f, 0x00017f81, 0x00017f83, 0x00017ff1,
447  0x00017f80, 0x00017f82, 0x00017ff0, 0x00017ffe,
448  0x00017f81, 0x00017fef, 0x00017ffd, 0x00017fff,
449  0x00017fee, 0x00017ffc, 0x00017ffe, 0x00018000,
450  0x00017ffb, 0x00017ffd, 0x00017fff, 0x00008001,
451  0x00017ffc, 0x00017ffe, 0x00008000, 0x00008002,
452  0x00017ffd, 0x00007fff, 0x00008001, 0x00008003,
453  0x00007ffe, 0x00008000, 0x00008002, 0x00008011,
454  0x00007fff, 0x00008001, 0x00008010, 0x0000807e,
455  0x00008000, 0x0000800f, 0x0000807d, 0x0000807f,
456  0x0000800e, 0x0000807c, 0x0000807e, 0x00008080,
457  0x0000807b, 0x0000807d, 0x0000807f, 0x0000b334,
458  0x0000807c, 0x0000807e, 0x0000b333, 0x0000d556,
459  0x0000807d, 0x0000b332, 0x0000d555, 0x0000fffe,
460  0x0000b331, 0x0000d554, 0x0000fffd, 0x0000ffff,
461  0x0000d553, 0x0000fffc, 0x0000fffe, 0x00010000,
462  0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00010001,
463  0x0000fffc, 0x0000fffe, 0x00010000, 0x00010002,
464  0x0000fffd, 0x0000ffff, 0x00010001, 0x00012aab,
465  0x0000fffe, 0x00010000, 0x00012aaa, 0x00014ccd,
466  0x0000ffff, 0x00012aa9, 0x00014ccc, 0x00017f81,
467  0x00012aa8, 0x00014ccb, 0x00017f80, 0x00017f82,
468  0x00014cca, 0x00017f7f, 0x00017f81, 0x00017f83,
469  0x00017f7e, 0x00017f80, 0x00017f82, 0x00017f84,
470  0x00017f80, 0x00017f82, 0x00017f84, 0x0001aa9a,
471  0x00017f81, 0x00017f83, 0x00017ff1, 0x0001aaa7,
472  0x00017f82, 0x00017ff0, 0x00017ffe, 0x0001aaa8,
473  0x00017fef, 0x00017ffd, 0x00017fff, 0x0001aaa9,
474  0x00017ffc, 0x00017ffe, 0x00018000, 0x0000aaaa,
475  0x00017ffd, 0x00017fff, 0x00008001, 0x0000aaab,
476  0x00017ffe, 0x00008000, 0x00008002, 0x0000aaac,
477  0x00007fff, 0x00008001, 0x00008003, 0x0000aaba,
478  0x00008000, 0x00008002, 0x00008011, 0x0000ab27,
479  0x00008001, 0x00008010, 0x0000807e, 0x0000ab28,
480  0x0000800f, 0x0000807d, 0x0000807f, 0x0000ab29,
481  0x0000807c, 0x0000807e, 0x00008080, 0x0000dddd,
482  0x0000807d, 0x0000807f, 0x0000b334, 0x0000ffff,
483  0x0000807e, 0x0000b333, 0x0000d556, 0x00012aa7,
484  0x0000b332, 0x0000d555, 0x0000fffe, 0x00012aa8,
485  0x0000d554, 0x0000fffd, 0x0000ffff, 0x00012aa9,
486  0x0000fffc, 0x0000fffe, 0x00010000, 0x00012aaa,
487  0x0000fffd, 0x0000ffff, 0x00010001, 0x00012aab,
488  0x0000fffe, 0x00010000, 0x00010002, 0x00015554,
489  0x0000ffff, 0x00010001, 0x00012aab, 0x00017776,
490  0x00010000, 0x00012aaa, 0x00014ccd, 0x0001aa2a,
491  0x00012aa9, 0x00014ccc, 0x00017f81, 0x0001aa2b,
492  0x00014ccb, 0x00017f80, 0x00017f82, 0x0001aa2c,
493  0x00017f7f, 0x00017f81, 0x00017f83, 0x0001aa2d,
494  0x00017f81, 0x00017f83, 0x0001aa2d, 0x0001ccbc,
495  0x00017f82, 0x00017f84, 0x0001aa9a, 0x0001ccc9,
496  0x00017f83, 0x00017ff1, 0x0001aaa7, 0x0001ccca,
497  0x00017ff0, 0x00017ffe, 0x0001aaa8, 0x0001cccb,
498  0x00017ffd, 0x00017fff, 0x0001aaa9, 0x0000cccc,
499  0x00017ffe, 0x00018000, 0x0000aaaa, 0x0000cccd,
500  0x00017fff, 0x00008001, 0x0000aaab, 0x0000ccce,
501  0x00008000, 0x00008002, 0x0000aaac, 0x0000ccdc,
502  0x00008001, 0x00008003, 0x0000aaba, 0x0000cd49,
503  0x00008002, 0x00008011, 0x0000ab27, 0x0000cd4a,
504  0x00008010, 0x0000807e, 0x0000ab28, 0x0000cd4b,
505  0x0000807d, 0x0000807f, 0x0000ab29, 0x0000ffff,
506  0x0000807e, 0x00008080, 0x0000dddd, 0x00012221,
507  0x0000807f, 0x0000b334, 0x0000ffff, 0x00014cc9,
508  0x0000b333, 0x0000d556, 0x00012aa7, 0x00014cca,
509  0x0000d555, 0x0000fffe, 0x00012aa8, 0x00014ccb,
510  0x0000fffd, 0x0000ffff, 0x00012aa9, 0x00014ccc,
511  0x0000fffe, 0x00010000, 0x00012aaa, 0x00014ccd,
512  0x0000ffff, 0x00010001, 0x00012aab, 0x00017776,
513  0x00010000, 0x00010002, 0x00015554, 0x00019998,
514  0x00010001, 0x00012aab, 0x00017776, 0x0001cc4c,
515  0x00012aaa, 0x00014ccd, 0x0001aa2a, 0x0001cc4d,
516  0x00014ccc, 0x00017f81, 0x0001aa2b, 0x0001cc4e,
517  0x00017f80, 0x00017f82, 0x0001aa2c, 0x0001cc4f,
518  0x00017f82, 0x0001aa2c, 0x0001cc4f, 0x0001ff70,
519  0x00017f83, 0x0001aa2d, 0x0001ccbc, 0x0001ff7d,
520  0x00017f84, 0x0001aa9a, 0x0001ccc9, 0x0001ff7e,
521  0x00017ff1, 0x0001aaa7, 0x0001ccca, 0x0001ff7f,
522  0x00017ffe, 0x0001aaa8, 0x0001cccb, 0x0000ff80,
523  0x00017fff, 0x0001aaa9, 0x0000cccc, 0x0000ff81,
524  0x00018000, 0x0000aaaa, 0x0000cccd, 0x0000ff82,
525  0x00008001, 0x0000aaab, 0x0000ccce, 0x0000ff90,
526  0x00008002, 0x0000aaac, 0x0000ccdc, 0x0000fffd,
527  0x00008003, 0x0000aaba, 0x0000cd49, 0x0000fffe,
528  0x00008011, 0x0000ab27, 0x0000cd4a, 0x0000ffff,
529  0x0000807e, 0x0000ab28, 0x0000cd4b, 0x000132b3,
530  0x0000807f, 0x0000ab29, 0x0000ffff, 0x000154d5,
531  0x00008080, 0x0000dddd, 0x00012221, 0x00017f7d,
532  0x0000b334, 0x0000ffff, 0x00014cc9, 0x00017f7e,
533  0x0000d556, 0x00012aa7, 0x00014cca, 0x00017f7f,
534  0x0000fffe, 0x00012aa8, 0x00014ccb, 0x00017f80,
535  0x0000ffff, 0x00012aa9, 0x00014ccc, 0x00017f81,
536  0x00010000, 0x00012aaa, 0x00014ccd, 0x0001aa2a,
537  0x00010001, 0x00012aab, 0x00017776, 0x0001cc4c,
538  0x00010002, 0x00015554, 0x00019998, 0x0001ff00,
539  0x00012aab, 0x00017776, 0x0001cc4c, 0x0001ff01,
540  0x00014ccd, 0x0001aa2a, 0x0001cc4d, 0x0001ff02,
541  0x00017f81, 0x0001aa2b, 0x0001cc4e, 0x0001ff03,
542  0x0001aa2b, 0x0001cc4e, 0x0001ff03, 0x0001ff71,
543  0x0001aa2c, 0x0001cc4f, 0x0001ff70, 0x0001ff7e,
544  0x0001aa2d, 0x0001ccbc, 0x0001ff7d, 0x0001ff7f,
545  0x0001aa9a, 0x0001ccc9, 0x0001ff7e, 0x0001ff80,
546  0x0001aaa7, 0x0001ccca, 0x0001ff7f, 0x0000ff81,
547  0x0001aaa8, 0x0001cccb, 0x0000ff80, 0x0000ff82,
548  0x0001aaa9, 0x0000cccc, 0x0000ff81, 0x0000ff83,
549  0x0000aaaa, 0x0000cccd, 0x0000ff82, 0x0000ff91,
550  0x0000aaab, 0x0000ccce, 0x0000ff90, 0x0000fffe,
551  0x0000aaac, 0x0000ccdc, 0x0000fffd, 0x0000ffff,
552  0x0000aaba, 0x0000cd49, 0x0000fffe, 0x00010000,
553  0x0000ab27, 0x0000cd4a, 0x0000ffff, 0x000132b4,
554  0x0000ab28, 0x0000cd4b, 0x000132b3, 0x000154d6,
555  0x0000ab29, 0x0000ffff, 0x000154d5, 0x00017f7e,
556  0x0000dddd, 0x00012221, 0x00017f7d, 0x00017f7f,
557  0x0000ffff, 0x00014cc9, 0x00017f7e, 0x00017f80,
558  0x00012aa7, 0x00014cca, 0x00017f7f, 0x00017f81,
559  0x00012aa8, 0x00014ccb, 0x00017f80, 0x00017f82,
560  0x00012aa9, 0x00014ccc, 0x00017f81, 0x0001aa2b,
561  0x00012aaa, 0x00014ccd, 0x0001aa2a, 0x0001cc4d,
562  0x00012aab, 0x00017776, 0x0001cc4c, 0x0001ff01,
563  0x00015554, 0x00019998, 0x0001ff00, 0x0001ff02,
564  0x00017776, 0x0001cc4c, 0x0001ff01, 0x0001ff03,
565  0x0001aa2a, 0x0001cc4d, 0x0001ff02, 0x0001ff04,
566  0x0001cc4d, 0x0001ff02, 0x0001ff04, 0x0001ff72,
567  0x0001cc4e, 0x0001ff03, 0x0001ff71, 0x0001ff7f,
568  0x0001cc4f, 0x0001ff70, 0x0001ff7e, 0x0001ff80,
569  0x0001ccbc, 0x0001ff7d, 0x0001ff7f, 0x0001ff81,
570  0x0001ccc9, 0x0001ff7e, 0x0001ff80, 0x0000ff82,
571  0x0001ccca, 0x0001ff7f, 0x0000ff81, 0x0000ff83,
572  0x0001cccb, 0x0000ff80, 0x0000ff82, 0x0000ff84,
573  0x0000cccc, 0x0000ff81, 0x0000ff83, 0x0000ff92,
574  0x0000cccd, 0x0000ff82, 0x0000ff91, 0x0000ffff,
575  0x0000ccce, 0x0000ff90, 0x0000fffe, 0x00010000,
576  0x0000ccdc, 0x0000fffd, 0x0000ffff, 0x00010001,
577  0x0000cd49, 0x0000fffe, 0x00010000, 0x000132b5,
578  0x0000cd4a, 0x0000ffff, 0x000132b4, 0x000154d7,
579  0x0000cd4b, 0x000132b3, 0x000154d6, 0x00017f7f,
580  0x0000ffff, 0x000154d5, 0x00017f7e, 0x00017f80,
581  0x00012221, 0x00017f7d, 0x00017f7f, 0x00017f81,
582  0x00014cc9, 0x00017f7e, 0x00017f80, 0x00017f82,
583  0x00014cca, 0x00017f7f, 0x00017f81, 0x00017f83,
584  0x00014ccb, 0x00017f80, 0x00017f82, 0x0001aa2c,
585  0x00014ccc, 0x00017f81, 0x0001aa2b, 0x0001cc4e,
586  0x00014ccd, 0x0001aa2a, 0x0001cc4d, 0x0001ff02,
587  0x00017776, 0x0001cc4c, 0x0001ff01, 0x0001ff03,
588  0x00019998, 0x0001ff00, 0x0001ff02, 0x0001ff04,
589  0x0001cc4c, 0x0001ff01, 0x0001ff03, 0x0001ff05,
590  0x0001ff01, 0x0001ff03, 0x0001ff05, 0x0001ff73,
591  0x0001ff02, 0x0001ff04, 0x0001ff72, 0x0001ff80,
592  0x0001ff03, 0x0001ff71, 0x0001ff7f, 0x0001ff81,
593  0x0001ff70, 0x0001ff7e, 0x0001ff80, 0x0001ff82,
594  0x0001ff7d, 0x0001ff7f, 0x0001ff81, 0x0000ff83,
595  0x0001ff7e, 0x0001ff80, 0x0000ff82, 0x0000ff84,
596  0x0001ff7f, 0x0000ff81, 0x0000ff83, 0x0000ff85,
597  0x0000ff80, 0x0000ff82, 0x0000ff84, 0x0000ff93,
598  0x0000ff81, 0x0000ff83, 0x0000ff92, 0x00010000,
599  0x0000ff82, 0x0000ff91, 0x0000ffff, 0x00010001,
600  0x0000ff90, 0x0000fffe, 0x00010000, 0x00010002,
601  0x0000fffd, 0x0000ffff, 0x00010001, 0x000132b6,
602  0x0000fffe, 0x00010000, 0x000132b5, 0x000154d8,
603  0x0000ffff, 0x000132b4, 0x000154d7, 0x00017f80,
604  0x000132b3, 0x000154d6, 0x00017f7f, 0x00017f81,
605  0x000154d5, 0x00017f7e, 0x00017f80, 0x00017f82,
606  0x00017f7d, 0x00017f7f, 0x00017f81, 0x00017f83,
607  0x00017f7e, 0x00017f80, 0x00017f82, 0x00017f84,
608  0x00017f7f, 0x00017f81, 0x00017f83, 0x0001aa2d,
609  0x00017f80, 0x00017f82, 0x0001aa2c, 0x0001cc4f,
610  0x00017f81, 0x0001aa2b, 0x0001cc4e, 0x0001ff03,
611  0x0001aa2a, 0x0001cc4d, 0x0001ff02, 0x0001ff04,
612  0x0001cc4c, 0x0001ff01, 0x0001ff03, 0x0001ff05,
613  0x0001ff00, 0x0001ff02, 0x0001ff04, 0x0001ff06,
614};
615const unsigned kExpectedCount_NEON_uaddl_4S = 576;
616
617#endif  // VIXL_SIM_UADDL_4S_TRACE_AARCH64_H_
618