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_SADDL2_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SADDL2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_saddl2_4S[] = {
38  0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00000000,
39  0x0000fffb, 0x0000fffd, 0x00007fff, 0x00000001,
40  0x0000fffc, 0x00007ffe, 0x00008000, 0x00000002,
41  0x00007ffd, 0x00007fff, 0x00008001, 0x00000010,
42  0x00007ffe, 0x00008000, 0x0000800f, 0x0000007d,
43  0x00007fff, 0x0000800e, 0x0000807c, 0x0000007e,
44  0x0000800d, 0x0000807b, 0x0000807d, 0x0000007f,
45  0x0000807a, 0x0000807c, 0x0000807e, 0x00003333,
46  0x0000807b, 0x0000807d, 0x0000b332, 0x00005555,
47  0x0000807c, 0x0000b331, 0x0000d554, 0x00007ffd,
48  0x0000b330, 0x0000d553, 0x0000fffc, 0x00007ffe,
49  0x0000d552, 0x0000fffb, 0x0000fffd, 0x00007fff,
50  0x0000fffa, 0x0000fffc, 0x0000fffe, 0xffff8000,
51  0x0000fffb, 0x0000fffd, 0xffffffff, 0xffff8001,
52  0x0000fffc, 0xfffffffe, 0x00000000, 0xffffaaaa,
53  0xfffffffd, 0xffffffff, 0x00002aa9, 0xffffcccc,
54  0xfffffffe, 0x00002aa8, 0x00004ccb, 0xffffff80,
55  0x00002aa7, 0x00004cca, 0x00007f7f, 0xffffff81,
56  0x00004cc9, 0x00007f7e, 0x00007f80, 0xffffff82,
57  0x00007f7d, 0x00007f7f, 0x00007f81, 0xffffff83,
58  0x00007f7e, 0x00007f80, 0x00007f82, 0xfffffff0,
59  0x00007f7f, 0x00007f81, 0x00007fef, 0xfffffffd,
60  0x00007f80, 0x00007fee, 0x00007ffc, 0xfffffffe,
61  0x00007fed, 0x00007ffb, 0x00007ffd, 0xffffffff,
62  0x00007ffb, 0x00007ffd, 0xffffffff, 0x00000001,
63  0x00007ffc, 0x00007ffe, 0x00000000, 0x00000002,
64  0x00007ffd, 0x00007fff, 0x00000001, 0x00000003,
65  0x00007ffe, 0x00008000, 0x00000002, 0x00000011,
66  0x00007fff, 0x00008001, 0x00000010, 0x0000007e,
67  0x00008000, 0x0000800f, 0x0000007d, 0x0000007f,
68  0x0000800e, 0x0000807c, 0x0000007e, 0x00000080,
69  0x0000807b, 0x0000807d, 0x0000007f, 0x00003334,
70  0x0000807c, 0x0000807e, 0x00003333, 0x00005556,
71  0x0000807d, 0x0000b332, 0x00005555, 0x00007ffe,
72  0x0000b331, 0x0000d554, 0x00007ffd, 0x00007fff,
73  0x0000d553, 0x0000fffc, 0x00007ffe, 0x00008000,
74  0x0000fffb, 0x0000fffd, 0x00007fff, 0xffff8001,
75  0x0000fffc, 0x0000fffe, 0xffff8000, 0xffff8002,
76  0x0000fffd, 0xffffffff, 0xffff8001, 0xffffaaab,
77  0xfffffffe, 0x00000000, 0xffffaaaa, 0xffffcccd,
78  0xffffffff, 0x00002aa9, 0xffffcccc, 0xffffff81,
79  0x00002aa8, 0x00004ccb, 0xffffff80, 0xffffff82,
80  0x00004cca, 0x00007f7f, 0xffffff81, 0xffffff83,
81  0x00007f7e, 0x00007f80, 0xffffff82, 0xffffff84,
82  0x00007f7f, 0x00007f81, 0xffffff83, 0xfffffff1,
83  0x00007f80, 0x00007f82, 0xfffffff0, 0xfffffffe,
84  0x00007f81, 0x00007fef, 0xfffffffd, 0xffffffff,
85  0x00007fee, 0x00007ffc, 0xfffffffe, 0x00000000,
86  0x00007ffc, 0xfffffffe, 0x00000000, 0x00000002,
87  0x00007ffd, 0xffffffff, 0x00000001, 0x00000003,
88  0x00007ffe, 0x00000000, 0x00000002, 0x00000004,
89  0x00007fff, 0x00000001, 0x00000003, 0x00000012,
90  0x00008000, 0x00000002, 0x00000011, 0x0000007f,
91  0x00008001, 0x00000010, 0x0000007e, 0x00000080,
92  0x0000800f, 0x0000007d, 0x0000007f, 0x00000081,
93  0x0000807c, 0x0000007e, 0x00000080, 0x00003335,
94  0x0000807d, 0x0000007f, 0x00003334, 0x00005557,
95  0x0000807e, 0x00003333, 0x00005556, 0x00007fff,
96  0x0000b332, 0x00005555, 0x00007ffe, 0x00008000,
97  0x0000d554, 0x00007ffd, 0x00007fff, 0x00008001,
98  0x0000fffc, 0x00007ffe, 0x00008000, 0xffff8002,
99  0x0000fffd, 0x00007fff, 0xffff8001, 0xffff8003,
100  0x0000fffe, 0xffff8000, 0xffff8002, 0xffffaaac,
101  0xffffffff, 0xffff8001, 0xffffaaab, 0xffffccce,
102  0x00000000, 0xffffaaaa, 0xffffcccd, 0xffffff82,
103  0x00002aa9, 0xffffcccc, 0xffffff81, 0xffffff83,
104  0x00004ccb, 0xffffff80, 0xffffff82, 0xffffff84,
105  0x00007f7f, 0xffffff81, 0xffffff83, 0xffffff85,
106  0x00007f80, 0xffffff82, 0xffffff84, 0xfffffff2,
107  0x00007f81, 0xffffff83, 0xfffffff1, 0xffffffff,
108  0x00007f82, 0xfffffff0, 0xfffffffe, 0x00000000,
109  0x00007fef, 0xfffffffd, 0xffffffff, 0x00000001,
110  0xfffffffd, 0xffffffff, 0x00000001, 0x00000010,
111  0xfffffffe, 0x00000000, 0x00000002, 0x00000011,
112  0xffffffff, 0x00000001, 0x00000003, 0x00000012,
113  0x00000000, 0x00000002, 0x00000004, 0x00000020,
114  0x00000001, 0x00000003, 0x00000012, 0x0000008d,
115  0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
116  0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
117  0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
118  0x0000007e, 0x00000080, 0x00003335, 0x00005565,
119  0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
120  0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
121  0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
122  0x00007ffd, 0x00007fff, 0x00008001, 0xffff8010,
123  0x00007ffe, 0x00008000, 0xffff8002, 0xffff8011,
124  0x00007fff, 0xffff8001, 0xffff8003, 0xffffaaba,
125  0xffff8000, 0xffff8002, 0xffffaaac, 0xffffccdc,
126  0xffff8001, 0xffffaaab, 0xffffccce, 0xffffff90,
127  0xffffaaaa, 0xffffcccd, 0xffffff82, 0xffffff91,
128  0xffffcccc, 0xffffff81, 0xffffff83, 0xffffff92,
129  0xffffff80, 0xffffff82, 0xffffff84, 0xffffff93,
130  0xffffff81, 0xffffff83, 0xffffff85, 0x00000000,
131  0xffffff82, 0xffffff84, 0xfffffff2, 0x0000000d,
132  0xffffff83, 0xfffffff1, 0xffffffff, 0x0000000e,
133  0xfffffff0, 0xfffffffe, 0x00000000, 0x0000000f,
134  0xfffffffe, 0x00000000, 0x0000000f, 0x0000007d,
135  0xffffffff, 0x00000001, 0x00000010, 0x0000007e,
136  0x00000000, 0x00000002, 0x00000011, 0x0000007f,
137  0x00000001, 0x00000003, 0x00000012, 0x0000008d,
138  0x00000002, 0x00000004, 0x00000020, 0x000000fa,
139  0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
140  0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
141  0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
142  0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
143  0x00000080, 0x00003335, 0x00005565, 0x0000807a,
144  0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
145  0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
146  0x00007ffe, 0x00008000, 0x0000800f, 0xffff807d,
147  0x00007fff, 0x00008001, 0xffff8010, 0xffff807e,
148  0x00008000, 0xffff8002, 0xffff8011, 0xffffab27,
149  0xffff8001, 0xffff8003, 0xffffaaba, 0xffffcd49,
150  0xffff8002, 0xffffaaac, 0xffffccdc, 0xfffffffd,
151  0xffffaaab, 0xffffccce, 0xffffff90, 0xfffffffe,
152  0xffffcccd, 0xffffff82, 0xffffff91, 0xffffffff,
153  0xffffff81, 0xffffff83, 0xffffff92, 0x00000000,
154  0xffffff82, 0xffffff84, 0xffffff93, 0x0000006d,
155  0xffffff83, 0xffffff85, 0x00000000, 0x0000007a,
156  0xffffff84, 0xfffffff2, 0x0000000d, 0x0000007b,
157  0xfffffff1, 0xffffffff, 0x0000000e, 0x0000007c,
158  0xffffffff, 0x0000000e, 0x0000007c, 0x0000007e,
159  0x00000000, 0x0000000f, 0x0000007d, 0x0000007f,
160  0x00000001, 0x00000010, 0x0000007e, 0x00000080,
161  0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
162  0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
163  0x00000004, 0x00000020, 0x000000fa, 0x000000fc,
164  0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
165  0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
166  0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
167  0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
168  0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
169  0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
170  0x00007fff, 0x0000800e, 0x0000807c, 0xffff807e,
171  0x00008000, 0x0000800f, 0xffff807d, 0xffff807f,
172  0x00008001, 0xffff8010, 0xffff807e, 0xffffab28,
173  0xffff8002, 0xffff8011, 0xffffab27, 0xffffcd4a,
174  0xffff8003, 0xffffaaba, 0xffffcd49, 0xfffffffe,
175  0xffffaaac, 0xffffccdc, 0xfffffffd, 0xffffffff,
176  0xffffccce, 0xffffff90, 0xfffffffe, 0x00000000,
177  0xffffff82, 0xffffff91, 0xffffffff, 0x00000001,
178  0xffffff83, 0xffffff92, 0x00000000, 0x0000006e,
179  0xffffff84, 0xffffff93, 0x0000006d, 0x0000007b,
180  0xffffff85, 0x00000000, 0x0000007a, 0x0000007c,
181  0xfffffff2, 0x0000000d, 0x0000007b, 0x0000007d,
182  0x0000000d, 0x0000007b, 0x0000007d, 0x0000007f,
183  0x0000000e, 0x0000007c, 0x0000007e, 0x00000080,
184  0x0000000f, 0x0000007d, 0x0000007f, 0x00000081,
185  0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
186  0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
187  0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
188  0x00000020, 0x000000fa, 0x000000fc, 0x000000fe,
189  0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
190  0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
191  0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
192  0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
193  0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
194  0x0000800d, 0x0000807b, 0x0000807d, 0xffff807f,
195  0x0000800e, 0x0000807c, 0xffff807e, 0xffff8080,
196  0x0000800f, 0xffff807d, 0xffff807f, 0xffffab29,
197  0xffff8010, 0xffff807e, 0xffffab28, 0xffffcd4b,
198  0xffff8011, 0xffffab27, 0xffffcd4a, 0xffffffff,
199  0xffffaaba, 0xffffcd49, 0xfffffffe, 0x00000000,
200  0xffffccdc, 0xfffffffd, 0xffffffff, 0x00000001,
201  0xffffff90, 0xfffffffe, 0x00000000, 0x00000002,
202  0xffffff91, 0xffffffff, 0x00000001, 0x0000006f,
203  0xffffff92, 0x00000000, 0x0000006e, 0x0000007c,
204  0xffffff93, 0x0000006d, 0x0000007b, 0x0000007d,
205  0x00000000, 0x0000007a, 0x0000007c, 0x0000007e,
206  0x0000007a, 0x0000007c, 0x0000007e, 0x00003333,
207  0x0000007b, 0x0000007d, 0x0000007f, 0x00003334,
208  0x0000007c, 0x0000007e, 0x00000080, 0x00003335,
209  0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
210  0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
211  0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
212  0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
213  0x000000fa, 0x000000fc, 0x000000fe, 0x00006666,
214  0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
215  0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
216  0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
217  0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
218  0x0000807a, 0x0000807c, 0x0000807e, 0xffffb333,
219  0x0000807b, 0x0000807d, 0xffff807f, 0xffffb334,
220  0x0000807c, 0xffff807e, 0xffff8080, 0xffffdddd,
221  0xffff807d, 0xffff807f, 0xffffab29, 0xffffffff,
222  0xffff807e, 0xffffab28, 0xffffcd4b, 0x000032b3,
223  0xffffab27, 0xffffcd4a, 0xffffffff, 0x000032b4,
224  0xffffcd49, 0xfffffffe, 0x00000000, 0x000032b5,
225  0xfffffffd, 0xffffffff, 0x00000001, 0x000032b6,
226  0xfffffffe, 0x00000000, 0x00000002, 0x00003323,
227  0xffffffff, 0x00000001, 0x0000006f, 0x00003330,
228  0x00000000, 0x0000006e, 0x0000007c, 0x00003331,
229  0x0000006d, 0x0000007b, 0x0000007d, 0x00003332,
230  0x0000007b, 0x0000007d, 0x00003332, 0x00005555,
231  0x0000007c, 0x0000007e, 0x00003333, 0x00005556,
232  0x0000007d, 0x0000007f, 0x00003334, 0x00005557,
233  0x0000007e, 0x00000080, 0x00003335, 0x00005565,
234  0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
235  0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
236  0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
237  0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
238  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
239  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
240  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
241  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
242  0x0000807b, 0x0000807d, 0x0000b332, 0xffffd555,
243  0x0000807c, 0x0000807e, 0xffffb333, 0xffffd556,
244  0x0000807d, 0xffff807f, 0xffffb334, 0xffffffff,
245  0xffff807e, 0xffff8080, 0xffffdddd, 0x00002221,
246  0xffff807f, 0xffffab29, 0xffffffff, 0x000054d5,
247  0xffffab28, 0xffffcd4b, 0x000032b3, 0x000054d6,
248  0xffffcd4a, 0xffffffff, 0x000032b4, 0x000054d7,
249  0xfffffffe, 0x00000000, 0x000032b5, 0x000054d8,
250  0xffffffff, 0x00000001, 0x000032b6, 0x00005545,
251  0x00000000, 0x00000002, 0x00003323, 0x00005552,
252  0x00000001, 0x0000006f, 0x00003330, 0x00005553,
253  0x0000006e, 0x0000007c, 0x00003331, 0x00005554,
254  0x0000007c, 0x00003331, 0x00005554, 0x00007ffd,
255  0x0000007d, 0x00003332, 0x00005555, 0x00007ffe,
256  0x0000007e, 0x00003333, 0x00005556, 0x00007fff,
257  0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
258  0x00000080, 0x00003335, 0x00005565, 0x0000807a,
259  0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
260  0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
261  0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
262  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
263  0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
264  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
265  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
266  0x0000807c, 0x0000b331, 0x0000d554, 0xfffffffd,
267  0x0000807d, 0x0000b332, 0xffffd555, 0xfffffffe,
268  0x0000807e, 0xffffb333, 0xffffd556, 0x00002aa7,
269  0xffff807f, 0xffffb334, 0xffffffff, 0x00004cc9,
270  0xffff8080, 0xffffdddd, 0x00002221, 0x00007f7d,
271  0xffffab29, 0xffffffff, 0x000054d5, 0x00007f7e,
272  0xffffcd4b, 0x000032b3, 0x000054d6, 0x00007f7f,
273  0xffffffff, 0x000032b4, 0x000054d7, 0x00007f80,
274  0x00000000, 0x000032b5, 0x000054d8, 0x00007fed,
275  0x00000001, 0x000032b6, 0x00005545, 0x00007ffa,
276  0x00000002, 0x00003323, 0x00005552, 0x00007ffb,
277  0x0000006f, 0x00003330, 0x00005553, 0x00007ffc,
278  0x00003330, 0x00005553, 0x00007ffc, 0x00007ffe,
279  0x00003331, 0x00005554, 0x00007ffd, 0x00007fff,
280  0x00003332, 0x00005555, 0x00007ffe, 0x00008000,
281  0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
282  0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
283  0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
284  0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
285  0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
286  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
287  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
288  0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
289  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
290  0x0000b330, 0x0000d553, 0x0000fffc, 0xfffffffe,
291  0x0000b331, 0x0000d554, 0xfffffffd, 0xffffffff,
292  0x0000b332, 0xffffd555, 0xfffffffe, 0x00002aa8,
293  0xffffb333, 0xffffd556, 0x00002aa7, 0x00004cca,
294  0xffffb334, 0xffffffff, 0x00004cc9, 0x00007f7e,
295  0xffffdddd, 0x00002221, 0x00007f7d, 0x00007f7f,
296  0xffffffff, 0x000054d5, 0x00007f7e, 0x00007f80,
297  0x000032b3, 0x000054d6, 0x00007f7f, 0x00007f81,
298  0x000032b4, 0x000054d7, 0x00007f80, 0x00007fee,
299  0x000032b5, 0x000054d8, 0x00007fed, 0x00007ffb,
300  0x000032b6, 0x00005545, 0x00007ffa, 0x00007ffc,
301  0x00003323, 0x00005552, 0x00007ffb, 0x00007ffd,
302  0x00005552, 0x00007ffb, 0x00007ffd, 0x00007fff,
303  0x00005553, 0x00007ffc, 0x00007ffe, 0x00008000,
304  0x00005554, 0x00007ffd, 0x00007fff, 0x00008001,
305  0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
306  0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
307  0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
308  0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
309  0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
310  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
311  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
312  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
313  0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
314  0x0000d552, 0x0000fffb, 0x0000fffd, 0xffffffff,
315  0x0000d553, 0x0000fffc, 0xfffffffe, 0x00000000,
316  0x0000d554, 0xfffffffd, 0xffffffff, 0x00002aa9,
317  0xffffd555, 0xfffffffe, 0x00002aa8, 0x00004ccb,
318  0xffffd556, 0x00002aa7, 0x00004cca, 0x00007f7f,
319  0xffffffff, 0x00004cc9, 0x00007f7e, 0x00007f80,
320  0x00002221, 0x00007f7d, 0x00007f7f, 0x00007f81,
321  0x000054d5, 0x00007f7e, 0x00007f80, 0x00007f82,
322  0x000054d6, 0x00007f7f, 0x00007f81, 0x00007fef,
323  0x000054d7, 0x00007f80, 0x00007fee, 0x00007ffc,
324  0x000054d8, 0x00007fed, 0x00007ffb, 0x00007ffd,
325  0x00005545, 0x00007ffa, 0x00007ffc, 0x00007ffe,
326  0x00007ffa, 0x00007ffc, 0x00007ffe, 0xffff8000,
327  0x00007ffb, 0x00007ffd, 0x00007fff, 0xffff8001,
328  0x00007ffc, 0x00007ffe, 0x00008000, 0xffff8002,
329  0x00007ffd, 0x00007fff, 0x00008001, 0xffff8010,
330  0x00007ffe, 0x00008000, 0x0000800f, 0xffff807d,
331  0x00007fff, 0x0000800e, 0x0000807c, 0xffff807e,
332  0x0000800d, 0x0000807b, 0x0000807d, 0xffff807f,
333  0x0000807a, 0x0000807c, 0x0000807e, 0xffffb333,
334  0x0000807b, 0x0000807d, 0x0000b332, 0xffffd555,
335  0x0000807c, 0x0000b331, 0x0000d554, 0xfffffffd,
336  0x0000b330, 0x0000d553, 0x0000fffc, 0xfffffffe,
337  0x0000d552, 0x0000fffb, 0x0000fffd, 0xffffffff,
338  0x0000fffa, 0x0000fffc, 0x0000fffe, 0xffff0000,
339  0x0000fffb, 0x0000fffd, 0xffffffff, 0xffff0001,
340  0x0000fffc, 0xfffffffe, 0x00000000, 0xffff2aaa,
341  0xfffffffd, 0xffffffff, 0x00002aa9, 0xffff4ccc,
342  0xfffffffe, 0x00002aa8, 0x00004ccb, 0xffff7f80,
343  0x00002aa7, 0x00004cca, 0x00007f7f, 0xffff7f81,
344  0x00004cc9, 0x00007f7e, 0x00007f80, 0xffff7f82,
345  0x00007f7d, 0x00007f7f, 0x00007f81, 0xffff7f83,
346  0x00007f7e, 0x00007f80, 0x00007f82, 0xffff7ff0,
347  0x00007f7f, 0x00007f81, 0x00007fef, 0xffff7ffd,
348  0x00007f80, 0x00007fee, 0x00007ffc, 0xffff7ffe,
349  0x00007fed, 0x00007ffb, 0x00007ffd, 0xffff7fff,
350  0x00007ffb, 0x00007ffd, 0xffff7fff, 0xffff8001,
351  0x00007ffc, 0x00007ffe, 0xffff8000, 0xffff8002,
352  0x00007ffd, 0x00007fff, 0xffff8001, 0xffff8003,
353  0x00007ffe, 0x00008000, 0xffff8002, 0xffff8011,
354  0x00007fff, 0x00008001, 0xffff8010, 0xffff807e,
355  0x00008000, 0x0000800f, 0xffff807d, 0xffff807f,
356  0x0000800e, 0x0000807c, 0xffff807e, 0xffff8080,
357  0x0000807b, 0x0000807d, 0xffff807f, 0xffffb334,
358  0x0000807c, 0x0000807e, 0xffffb333, 0xffffd556,
359  0x0000807d, 0x0000b332, 0xffffd555, 0xfffffffe,
360  0x0000b331, 0x0000d554, 0xfffffffd, 0xffffffff,
361  0x0000d553, 0x0000fffc, 0xfffffffe, 0x00000000,
362  0x0000fffb, 0x0000fffd, 0xffffffff, 0xffff0001,
363  0x0000fffc, 0x0000fffe, 0xffff0000, 0xffff0002,
364  0x0000fffd, 0xffffffff, 0xffff0001, 0xffff2aab,
365  0xfffffffe, 0x00000000, 0xffff2aaa, 0xffff4ccd,
366  0xffffffff, 0x00002aa9, 0xffff4ccc, 0xffff7f81,
367  0x00002aa8, 0x00004ccb, 0xffff7f80, 0xffff7f82,
368  0x00004cca, 0x00007f7f, 0xffff7f81, 0xffff7f83,
369  0x00007f7e, 0x00007f80, 0xffff7f82, 0xffff7f84,
370  0x00007f7f, 0x00007f81, 0xffff7f83, 0xffff7ff1,
371  0x00007f80, 0x00007f82, 0xffff7ff0, 0xffff7ffe,
372  0x00007f81, 0x00007fef, 0xffff7ffd, 0xffff7fff,
373  0x00007fee, 0x00007ffc, 0xffff7ffe, 0xffff8000,
374  0x00007ffc, 0xffff7ffe, 0xffff8000, 0xffffaaaa,
375  0x00007ffd, 0xffff7fff, 0xffff8001, 0xffffaaab,
376  0x00007ffe, 0xffff8000, 0xffff8002, 0xffffaaac,
377  0x00007fff, 0xffff8001, 0xffff8003, 0xffffaaba,
378  0x00008000, 0xffff8002, 0xffff8011, 0xffffab27,
379  0x00008001, 0xffff8010, 0xffff807e, 0xffffab28,
380  0x0000800f, 0xffff807d, 0xffff807f, 0xffffab29,
381  0x0000807c, 0xffff807e, 0xffff8080, 0xffffdddd,
382  0x0000807d, 0xffff807f, 0xffffb334, 0xffffffff,
383  0x0000807e, 0xffffb333, 0xffffd556, 0x00002aa7,
384  0x0000b332, 0xffffd555, 0xfffffffe, 0x00002aa8,
385  0x0000d554, 0xfffffffd, 0xffffffff, 0x00002aa9,
386  0x0000fffc, 0xfffffffe, 0x00000000, 0xffff2aaa,
387  0x0000fffd, 0xffffffff, 0xffff0001, 0xffff2aab,
388  0x0000fffe, 0xffff0000, 0xffff0002, 0xffff5554,
389  0xffffffff, 0xffff0001, 0xffff2aab, 0xffff7776,
390  0x00000000, 0xffff2aaa, 0xffff4ccd, 0xffffaa2a,
391  0x00002aa9, 0xffff4ccc, 0xffff7f81, 0xffffaa2b,
392  0x00004ccb, 0xffff7f80, 0xffff7f82, 0xffffaa2c,
393  0x00007f7f, 0xffff7f81, 0xffff7f83, 0xffffaa2d,
394  0x00007f80, 0xffff7f82, 0xffff7f84, 0xffffaa9a,
395  0x00007f81, 0xffff7f83, 0xffff7ff1, 0xffffaaa7,
396  0x00007f82, 0xffff7ff0, 0xffff7ffe, 0xffffaaa8,
397  0x00007fef, 0xffff7ffd, 0xffff7fff, 0xffffaaa9,
398  0xffff7ffd, 0xffff7fff, 0xffffaaa9, 0xffffcccc,
399  0xffff7ffe, 0xffff8000, 0xffffaaaa, 0xffffcccd,
400  0xffff7fff, 0xffff8001, 0xffffaaab, 0xffffccce,
401  0xffff8000, 0xffff8002, 0xffffaaac, 0xffffccdc,
402  0xffff8001, 0xffff8003, 0xffffaaba, 0xffffcd49,
403  0xffff8002, 0xffff8011, 0xffffab27, 0xffffcd4a,
404  0xffff8010, 0xffff807e, 0xffffab28, 0xffffcd4b,
405  0xffff807d, 0xffff807f, 0xffffab29, 0xffffffff,
406  0xffff807e, 0xffff8080, 0xffffdddd, 0x00002221,
407  0xffff807f, 0xffffb334, 0xffffffff, 0x00004cc9,
408  0xffffb333, 0xffffd556, 0x00002aa7, 0x00004cca,
409  0xffffd555, 0xfffffffe, 0x00002aa8, 0x00004ccb,
410  0xfffffffd, 0xffffffff, 0x00002aa9, 0xffff4ccc,
411  0xfffffffe, 0x00000000, 0xffff2aaa, 0xffff4ccd,
412  0xffffffff, 0xffff0001, 0xffff2aab, 0xffff7776,
413  0xffff0000, 0xffff0002, 0xffff5554, 0xffff9998,
414  0xffff0001, 0xffff2aab, 0xffff7776, 0xffffcc4c,
415  0xffff2aaa, 0xffff4ccd, 0xffffaa2a, 0xffffcc4d,
416  0xffff4ccc, 0xffff7f81, 0xffffaa2b, 0xffffcc4e,
417  0xffff7f80, 0xffff7f82, 0xffffaa2c, 0xffffcc4f,
418  0xffff7f81, 0xffff7f83, 0xffffaa2d, 0xffffccbc,
419  0xffff7f82, 0xffff7f84, 0xffffaa9a, 0xffffccc9,
420  0xffff7f83, 0xffff7ff1, 0xffffaaa7, 0xffffccca,
421  0xffff7ff0, 0xffff7ffe, 0xffffaaa8, 0xffffcccb,
422  0xffff7ffe, 0xffffaaa8, 0xffffcccb, 0xffffff80,
423  0xffff7fff, 0xffffaaa9, 0xffffcccc, 0xffffff81,
424  0xffff8000, 0xffffaaaa, 0xffffcccd, 0xffffff82,
425  0xffff8001, 0xffffaaab, 0xffffccce, 0xffffff90,
426  0xffff8002, 0xffffaaac, 0xffffccdc, 0xfffffffd,
427  0xffff8003, 0xffffaaba, 0xffffcd49, 0xfffffffe,
428  0xffff8011, 0xffffab27, 0xffffcd4a, 0xffffffff,
429  0xffff807e, 0xffffab28, 0xffffcd4b, 0x000032b3,
430  0xffff807f, 0xffffab29, 0xffffffff, 0x000054d5,
431  0xffff8080, 0xffffdddd, 0x00002221, 0x00007f7d,
432  0xffffb334, 0xffffffff, 0x00004cc9, 0x00007f7e,
433  0xffffd556, 0x00002aa7, 0x00004cca, 0x00007f7f,
434  0xfffffffe, 0x00002aa8, 0x00004ccb, 0xffff7f80,
435  0xffffffff, 0x00002aa9, 0xffff4ccc, 0xffff7f81,
436  0x00000000, 0xffff2aaa, 0xffff4ccd, 0xffffaa2a,
437  0xffff0001, 0xffff2aab, 0xffff7776, 0xffffcc4c,
438  0xffff0002, 0xffff5554, 0xffff9998, 0xffffff00,
439  0xffff2aab, 0xffff7776, 0xffffcc4c, 0xffffff01,
440  0xffff4ccd, 0xffffaa2a, 0xffffcc4d, 0xffffff02,
441  0xffff7f81, 0xffffaa2b, 0xffffcc4e, 0xffffff03,
442  0xffff7f82, 0xffffaa2c, 0xffffcc4f, 0xffffff70,
443  0xffff7f83, 0xffffaa2d, 0xffffccbc, 0xffffff7d,
444  0xffff7f84, 0xffffaa9a, 0xffffccc9, 0xffffff7e,
445  0xffff7ff1, 0xffffaaa7, 0xffffccca, 0xffffff7f,
446  0xffffaaa7, 0xffffccca, 0xffffff7f, 0xffffff81,
447  0xffffaaa8, 0xffffcccb, 0xffffff80, 0xffffff82,
448  0xffffaaa9, 0xffffcccc, 0xffffff81, 0xffffff83,
449  0xffffaaaa, 0xffffcccd, 0xffffff82, 0xffffff91,
450  0xffffaaab, 0xffffccce, 0xffffff90, 0xfffffffe,
451  0xffffaaac, 0xffffccdc, 0xfffffffd, 0xffffffff,
452  0xffffaaba, 0xffffcd49, 0xfffffffe, 0x00000000,
453  0xffffab27, 0xffffcd4a, 0xffffffff, 0x000032b4,
454  0xffffab28, 0xffffcd4b, 0x000032b3, 0x000054d6,
455  0xffffab29, 0xffffffff, 0x000054d5, 0x00007f7e,
456  0xffffdddd, 0x00002221, 0x00007f7d, 0x00007f7f,
457  0xffffffff, 0x00004cc9, 0x00007f7e, 0x00007f80,
458  0x00002aa7, 0x00004cca, 0x00007f7f, 0xffff7f81,
459  0x00002aa8, 0x00004ccb, 0xffff7f80, 0xffff7f82,
460  0x00002aa9, 0xffff4ccc, 0xffff7f81, 0xffffaa2b,
461  0xffff2aaa, 0xffff4ccd, 0xffffaa2a, 0xffffcc4d,
462  0xffff2aab, 0xffff7776, 0xffffcc4c, 0xffffff01,
463  0xffff5554, 0xffff9998, 0xffffff00, 0xffffff02,
464  0xffff7776, 0xffffcc4c, 0xffffff01, 0xffffff03,
465  0xffffaa2a, 0xffffcc4d, 0xffffff02, 0xffffff04,
466  0xffffaa2b, 0xffffcc4e, 0xffffff03, 0xffffff71,
467  0xffffaa2c, 0xffffcc4f, 0xffffff70, 0xffffff7e,
468  0xffffaa2d, 0xffffccbc, 0xffffff7d, 0xffffff7f,
469  0xffffaa9a, 0xffffccc9, 0xffffff7e, 0xffffff80,
470  0xffffccc9, 0xffffff7e, 0xffffff80, 0xffffff82,
471  0xffffccca, 0xffffff7f, 0xffffff81, 0xffffff83,
472  0xffffcccb, 0xffffff80, 0xffffff82, 0xffffff84,
473  0xffffcccc, 0xffffff81, 0xffffff83, 0xffffff92,
474  0xffffcccd, 0xffffff82, 0xffffff91, 0xffffffff,
475  0xffffccce, 0xffffff90, 0xfffffffe, 0x00000000,
476  0xffffccdc, 0xfffffffd, 0xffffffff, 0x00000001,
477  0xffffcd49, 0xfffffffe, 0x00000000, 0x000032b5,
478  0xffffcd4a, 0xffffffff, 0x000032b4, 0x000054d7,
479  0xffffcd4b, 0x000032b3, 0x000054d6, 0x00007f7f,
480  0xffffffff, 0x000054d5, 0x00007f7e, 0x00007f80,
481  0x00002221, 0x00007f7d, 0x00007f7f, 0x00007f81,
482  0x00004cc9, 0x00007f7e, 0x00007f80, 0xffff7f82,
483  0x00004cca, 0x00007f7f, 0xffff7f81, 0xffff7f83,
484  0x00004ccb, 0xffff7f80, 0xffff7f82, 0xffffaa2c,
485  0xffff4ccc, 0xffff7f81, 0xffffaa2b, 0xffffcc4e,
486  0xffff4ccd, 0xffffaa2a, 0xffffcc4d, 0xffffff02,
487  0xffff7776, 0xffffcc4c, 0xffffff01, 0xffffff03,
488  0xffff9998, 0xffffff00, 0xffffff02, 0xffffff04,
489  0xffffcc4c, 0xffffff01, 0xffffff03, 0xffffff05,
490  0xffffcc4d, 0xffffff02, 0xffffff04, 0xffffff72,
491  0xffffcc4e, 0xffffff03, 0xffffff71, 0xffffff7f,
492  0xffffcc4f, 0xffffff70, 0xffffff7e, 0xffffff80,
493  0xffffccbc, 0xffffff7d, 0xffffff7f, 0xffffff81,
494  0xffffff7d, 0xffffff7f, 0xffffff81, 0xffffff83,
495  0xffffff7e, 0xffffff80, 0xffffff82, 0xffffff84,
496  0xffffff7f, 0xffffff81, 0xffffff83, 0xffffff85,
497  0xffffff80, 0xffffff82, 0xffffff84, 0xffffff93,
498  0xffffff81, 0xffffff83, 0xffffff92, 0x00000000,
499  0xffffff82, 0xffffff91, 0xffffffff, 0x00000001,
500  0xffffff90, 0xfffffffe, 0x00000000, 0x00000002,
501  0xfffffffd, 0xffffffff, 0x00000001, 0x000032b6,
502  0xfffffffe, 0x00000000, 0x000032b5, 0x000054d8,
503  0xffffffff, 0x000032b4, 0x000054d7, 0x00007f80,
504  0x000032b3, 0x000054d6, 0x00007f7f, 0x00007f81,
505  0x000054d5, 0x00007f7e, 0x00007f80, 0x00007f82,
506  0x00007f7d, 0x00007f7f, 0x00007f81, 0xffff7f83,
507  0x00007f7e, 0x00007f80, 0xffff7f82, 0xffff7f84,
508  0x00007f7f, 0xffff7f81, 0xffff7f83, 0xffffaa2d,
509  0xffff7f80, 0xffff7f82, 0xffffaa2c, 0xffffcc4f,
510  0xffff7f81, 0xffffaa2b, 0xffffcc4e, 0xffffff03,
511  0xffffaa2a, 0xffffcc4d, 0xffffff02, 0xffffff04,
512  0xffffcc4c, 0xffffff01, 0xffffff03, 0xffffff05,
513  0xffffff00, 0xffffff02, 0xffffff04, 0xffffff06,
514  0xffffff01, 0xffffff03, 0xffffff05, 0xffffff73,
515  0xffffff02, 0xffffff04, 0xffffff72, 0xffffff80,
516  0xffffff03, 0xffffff71, 0xffffff7f, 0xffffff81,
517  0xffffff70, 0xffffff7e, 0xffffff80, 0xffffff82,
518  0xffffff7e, 0xffffff80, 0xffffff82, 0xfffffff0,
519  0xffffff7f, 0xffffff81, 0xffffff83, 0xfffffff1,
520  0xffffff80, 0xffffff82, 0xffffff84, 0xfffffff2,
521  0xffffff81, 0xffffff83, 0xffffff85, 0x00000000,
522  0xffffff82, 0xffffff84, 0xffffff93, 0x0000006d,
523  0xffffff83, 0xffffff92, 0x00000000, 0x0000006e,
524  0xffffff91, 0xffffffff, 0x00000001, 0x0000006f,
525  0xfffffffe, 0x00000000, 0x00000002, 0x00003323,
526  0xffffffff, 0x00000001, 0x000032b6, 0x00005545,
527  0x00000000, 0x000032b5, 0x000054d8, 0x00007fed,
528  0x000032b4, 0x000054d7, 0x00007f80, 0x00007fee,
529  0x000054d6, 0x00007f7f, 0x00007f81, 0x00007fef,
530  0x00007f7e, 0x00007f80, 0x00007f82, 0xffff7ff0,
531  0x00007f7f, 0x00007f81, 0xffff7f83, 0xffff7ff1,
532  0x00007f80, 0xffff7f82, 0xffff7f84, 0xffffaa9a,
533  0xffff7f81, 0xffff7f83, 0xffffaa2d, 0xffffccbc,
534  0xffff7f82, 0xffffaa2c, 0xffffcc4f, 0xffffff70,
535  0xffffaa2b, 0xffffcc4e, 0xffffff03, 0xffffff71,
536  0xffffcc4d, 0xffffff02, 0xffffff04, 0xffffff72,
537  0xffffff01, 0xffffff03, 0xffffff05, 0xffffff73,
538  0xffffff02, 0xffffff04, 0xffffff06, 0xffffffe0,
539  0xffffff03, 0xffffff05, 0xffffff73, 0xffffffed,
540  0xffffff04, 0xffffff72, 0xffffff80, 0xffffffee,
541  0xffffff71, 0xffffff7f, 0xffffff81, 0xffffffef,
542  0xffffff7f, 0xffffff81, 0xffffffef, 0xfffffffd,
543  0xffffff80, 0xffffff82, 0xfffffff0, 0xfffffffe,
544  0xffffff81, 0xffffff83, 0xfffffff1, 0xffffffff,
545  0xffffff82, 0xffffff84, 0xfffffff2, 0x0000000d,
546  0xffffff83, 0xffffff85, 0x00000000, 0x0000007a,
547  0xffffff84, 0xffffff93, 0x0000006d, 0x0000007b,
548  0xffffff92, 0x00000000, 0x0000006e, 0x0000007c,
549  0xffffffff, 0x00000001, 0x0000006f, 0x00003330,
550  0x00000000, 0x00000002, 0x00003323, 0x00005552,
551  0x00000001, 0x000032b6, 0x00005545, 0x00007ffa,
552  0x000032b5, 0x000054d8, 0x00007fed, 0x00007ffb,
553  0x000054d7, 0x00007f80, 0x00007fee, 0x00007ffc,
554  0x00007f7f, 0x00007f81, 0x00007fef, 0xffff7ffd,
555  0x00007f80, 0x00007f82, 0xffff7ff0, 0xffff7ffe,
556  0x00007f81, 0xffff7f83, 0xffff7ff1, 0xffffaaa7,
557  0xffff7f82, 0xffff7f84, 0xffffaa9a, 0xffffccc9,
558  0xffff7f83, 0xffffaa2d, 0xffffccbc, 0xffffff7d,
559  0xffffaa2c, 0xffffcc4f, 0xffffff70, 0xffffff7e,
560  0xffffcc4e, 0xffffff03, 0xffffff71, 0xffffff7f,
561  0xffffff02, 0xffffff04, 0xffffff72, 0xffffff80,
562  0xffffff03, 0xffffff05, 0xffffff73, 0xffffffed,
563  0xffffff04, 0xffffff06, 0xffffffe0, 0xfffffffa,
564  0xffffff05, 0xffffff73, 0xffffffed, 0xfffffffb,
565  0xffffff72, 0xffffff80, 0xffffffee, 0xfffffffc,
566  0xffffff80, 0xffffffee, 0xfffffffc, 0xfffffffe,
567  0xffffff81, 0xffffffef, 0xfffffffd, 0xffffffff,
568  0xffffff82, 0xfffffff0, 0xfffffffe, 0x00000000,
569  0xffffff83, 0xfffffff1, 0xffffffff, 0x0000000e,
570  0xffffff84, 0xfffffff2, 0x0000000d, 0x0000007b,
571  0xffffff85, 0x00000000, 0x0000007a, 0x0000007c,
572  0xffffff93, 0x0000006d, 0x0000007b, 0x0000007d,
573  0x00000000, 0x0000006e, 0x0000007c, 0x00003331,
574  0x00000001, 0x0000006f, 0x00003330, 0x00005553,
575  0x00000002, 0x00003323, 0x00005552, 0x00007ffb,
576  0x000032b6, 0x00005545, 0x00007ffa, 0x00007ffc,
577  0x000054d8, 0x00007fed, 0x00007ffb, 0x00007ffd,
578  0x00007f80, 0x00007fee, 0x00007ffc, 0xffff7ffe,
579  0x00007f81, 0x00007fef, 0xffff7ffd, 0xffff7fff,
580  0x00007f82, 0xffff7ff0, 0xffff7ffe, 0xffffaaa8,
581  0xffff7f83, 0xffff7ff1, 0xffffaaa7, 0xffffccca,
582  0xffff7f84, 0xffffaa9a, 0xffffccc9, 0xffffff7e,
583  0xffffaa2d, 0xffffccbc, 0xffffff7d, 0xffffff7f,
584  0xffffcc4f, 0xffffff70, 0xffffff7e, 0xffffff80,
585  0xffffff03, 0xffffff71, 0xffffff7f, 0xffffff81,
586  0xffffff04, 0xffffff72, 0xffffff80, 0xffffffee,
587  0xffffff05, 0xffffff73, 0xffffffed, 0xfffffffb,
588  0xffffff06, 0xffffffe0, 0xfffffffa, 0xfffffffc,
589  0xffffff73, 0xffffffed, 0xfffffffb, 0xfffffffd,
590  0xffffffed, 0xfffffffb, 0xfffffffd, 0xffffffff,
591  0xffffffee, 0xfffffffc, 0xfffffffe, 0x00000000,
592  0xffffffef, 0xfffffffd, 0xffffffff, 0x00000001,
593  0xfffffff0, 0xfffffffe, 0x00000000, 0x0000000f,
594  0xfffffff1, 0xffffffff, 0x0000000e, 0x0000007c,
595  0xfffffff2, 0x0000000d, 0x0000007b, 0x0000007d,
596  0x00000000, 0x0000007a, 0x0000007c, 0x0000007e,
597  0x0000006d, 0x0000007b, 0x0000007d, 0x00003332,
598  0x0000006e, 0x0000007c, 0x00003331, 0x00005554,
599  0x0000006f, 0x00003330, 0x00005553, 0x00007ffc,
600  0x00003323, 0x00005552, 0x00007ffb, 0x00007ffd,
601  0x00005545, 0x00007ffa, 0x00007ffc, 0x00007ffe,
602  0x00007fed, 0x00007ffb, 0x00007ffd, 0xffff7fff,
603  0x00007fee, 0x00007ffc, 0xffff7ffe, 0xffff8000,
604  0x00007fef, 0xffff7ffd, 0xffff7fff, 0xffffaaa9,
605  0xffff7ff0, 0xffff7ffe, 0xffffaaa8, 0xffffcccb,
606  0xffff7ff1, 0xffffaaa7, 0xffffccca, 0xffffff7f,
607  0xffffaa9a, 0xffffccc9, 0xffffff7e, 0xffffff80,
608  0xffffccbc, 0xffffff7d, 0xffffff7f, 0xffffff81,
609  0xffffff70, 0xffffff7e, 0xffffff80, 0xffffff82,
610  0xffffff71, 0xffffff7f, 0xffffff81, 0xffffffef,
611  0xffffff72, 0xffffff80, 0xffffffee, 0xfffffffc,
612  0xffffff73, 0xffffffed, 0xfffffffb, 0xfffffffd,
613  0xffffffe0, 0xfffffffa, 0xfffffffc, 0xfffffffe,
614};
615const unsigned kExpectedCount_NEON_saddl2_4S = 576;
616
617#endif  // VIXL_SIM_SADDL2_4S_TRACE_AARCH64_H_
618