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_SQSHRUN_2S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SQSHRUN_2S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_sqshrun_2S_2OPIMM[] = {
38  0x0000000000000000, 0x0000000000000000,
39  0x0000000000000000, 0x0000000000000000,
40  0x0000000000000000, 0x0000000000000000,
41  0x0000000000000000, 0x0000000000000000,
42  0x0000000000000000, 0x0000000000000000,
43  0x0000000000000000, 0x0000000000000000,
44  0x0000000000000000, 0x0000000000000000,
45  0x0000000000000000, 0x0000000000000000,
46  0x0000000000000000, 0x0000000000000000,
47  0x0000000000000000, 0x0000000000000000,
48  0x0000000000000000, 0x0000000000000000,
49  0x0000000000000000, 0x0000000000000000,
50  0x0000000000000000, 0x0000000000000000,
51  0x0000000000000000, 0x0000000000000000,
52  0x0000000000000000, 0x0000000000000000,
53  0x0000000000000000, 0x0000000000000000,
54  0x0000000000000000, 0x0000000000000000,
55  0x0000000000000000, 0x0000000000000000,
56  0x0000000000000000, 0x0000000000000000,
57  0x0000000000000000, 0x0000000000000000,
58  0x0000000000000000, 0x0000000000000000,
59  0x0000000000000000, 0x0000000000000000,
60  0x0000000000000000, 0x0000000000000000,
61  0x0000000000000000, 0x0000000000000000,
62  0x0000000000000000, 0x0000000000000000,
63  0x0000000000000000, 0x0000000000000000,
64  0x0000000000000000, 0x0000000000000000,
65  0x0000000000000000, 0x0000000000000000,
66  0x0000000000000000, 0x0000000000000000,
67  0x0000000000000000, 0x0000000000000000,
68  0x0000000000000000, 0x0000000000000000,
69  0x0000000000000000, 0x0000000000000000,
70  0x0000000000000000, 0x0000000000000000,
71  0x0000000000000000, 0x0000000000000000,
72  0x0000000000000000, 0x0000000000000000,
73  0x0000000000000000, 0x0000000000000000,
74  0x0000000000000000, 0x0000000000000000,
75  0x0000000000000000, 0x0000000000000000,
76  0x0000000000000000, 0x0000000000000000,
77  0x0000000000000000, 0x0000000000000000,
78  0x0000000000000000, 0x0000000000000000,
79  0x0000000000000000, 0x0000000000000000,
80  0x0000000000000000, 0x0000000000000000,
81  0x0000000000000000, 0x0000000000000000,
82  0x0000000000000000, 0x0000000000000000,
83  0x0000000000000000, 0x0000000000000000,
84  0x0000000000000000, 0x0000000000000000,
85  0x0000000000000000, 0x0000000000000000,
86  0x0000000000000000, 0x0000000000000000,
87  0x0000000000000000, 0x0000000000000000,
88  0x0000000000000000, 0x0000000000000000,
89  0x0000000000000000, 0x0000000000000000,
90  0x0000000000000000, 0x0000000000000000,
91  0x0000000000000000, 0x0000000000000000,
92  0x0000000000000000, 0x0000000000000000,
93  0x0000000000000000, 0x0000000000000000,
94  0x0000000000000000, 0x0000000000000000,
95  0x0000000000000000, 0x0000000000000000,
96  0x0000000000000000, 0x0000000000000000,
97  0x0000000000000000, 0x0000000000000000,
98  0x0000000000000000, 0x0000000000000000,
99  0x0000000000000000, 0x0000000000000000,
100  0x0000000000000000, 0x0000000000000000,
101  0x0000000000000000, 0x0000000000000000,
102  0x0000000000000000, 0x0000000000000001,
103  0x0000000000000000, 0x0000000000000000,
104  0x0000000000000000, 0x0000000000000000,
105  0x0000000000000000, 0x0000000000000000,
106  0x0000000000000000, 0x0000000000000000,
107  0x0000000000000000, 0x0000000000000000,
108  0x0000000000000000, 0x0000000000000000,
109  0x0000000000000000, 0x0000000000000000,
110  0x0000000000000000, 0x0000000000000000,
111  0x0000000000000000, 0x0000000000000000,
112  0x0000000000000000, 0x0000000000000000,
113  0x0000000000000000, 0x0000000000000000,
114  0x0000000000000000, 0x0000000000000000,
115  0x0000000000000000, 0x0000000000000000,
116  0x0000000000000000, 0x0000000000000000,
117  0x0000000000000000, 0x0000000000000000,
118  0x0000000000000000, 0x0000000000000000,
119  0x0000000000000000, 0x0000000000000000,
120  0x0000000000000000, 0x0000000000000000,
121  0x0000000000000000, 0x0000000000000000,
122  0x0000000000000000, 0x0000000000000000,
123  0x0000000000000000, 0x0000000000000000,
124  0x0000000000000000, 0x0000000000000000,
125  0x0000000000000000, 0x0000000000000000,
126  0x0000000000000000, 0x0000000000000000,
127  0x0000000000000000, 0x0000000000000000,
128  0x0000000000000000, 0x0000000000000000,
129  0x0000000000000000, 0x0000000000000000,
130  0x0000000000000000, 0x0000000000000000,
131  0x0000000000000000, 0x0000000000000000,
132  0x0000000000000000, 0x0000000000000000,
133  0x0000000000000000, 0x0000000000000000,
134  0x0000000000000001, 0x0000000000000020,
135  0x0000000000000000, 0x0000000000000010,
136  0x0000000000000000, 0x0000000000000008,
137  0x0000000000000000, 0x0000000000000004,
138  0x0000000000000000, 0x0000000000000002,
139  0x0000000000000000, 0x0000000000000001,
140  0x0000000000000000, 0x0000000000000000,
141  0x0000000000000000, 0x0000000000000000,
142  0x0000000000000000, 0x0000000000000000,
143  0x0000000000000000, 0x0000000000000000,
144  0x0000000000000000, 0x0000000000000000,
145  0x0000000000000000, 0x0000000000000000,
146  0x0000000000000000, 0x0000000000000000,
147  0x0000000000000000, 0x0000000000000000,
148  0x0000000000000000, 0x0000000000000000,
149  0x0000000000000000, 0x0000000000000000,
150  0x0000000000000000, 0x0000000000000000,
151  0x0000000000000000, 0x0000000000000000,
152  0x0000000000000000, 0x0000000000000000,
153  0x0000000000000000, 0x0000000000000000,
154  0x0000000000000000, 0x0000000000000000,
155  0x0000000000000000, 0x0000000000000000,
156  0x0000000000000000, 0x0000000000000000,
157  0x0000000000000000, 0x0000000000000000,
158  0x0000000000000000, 0x0000000000000000,
159  0x0000000000000000, 0x0000000000000000,
160  0x0000000000000000, 0x0000000000000000,
161  0x0000000000000000, 0x0000000000000000,
162  0x0000000000000000, 0x0000000000000000,
163  0x0000000000000000, 0x0000000000000000,
164  0x0000000000000000, 0x0000000000000000,
165  0x0000000000000000, 0x0000000000000000,
166  0x0000000000000020, 0x000000000000003e,
167  0x0000000000000010, 0x000000000000001f,
168  0x0000000000000008, 0x000000000000000f,
169  0x0000000000000004, 0x0000000000000007,
170  0x0000000000000002, 0x0000000000000003,
171  0x0000000000000001, 0x0000000000000001,
172  0x0000000000000000, 0x0000000000000000,
173  0x0000000000000000, 0x0000000000000000,
174  0x0000000000000000, 0x0000000000000000,
175  0x0000000000000000, 0x0000000000000000,
176  0x0000000000000000, 0x0000000000000000,
177  0x0000000000000000, 0x0000000000000000,
178  0x0000000000000000, 0x0000000000000000,
179  0x0000000000000000, 0x0000000000000000,
180  0x0000000000000000, 0x0000000000000000,
181  0x0000000000000000, 0x0000000000000000,
182  0x0000000000000000, 0x0000000000000000,
183  0x0000000000000000, 0x0000000000000000,
184  0x0000000000000000, 0x0000000000000000,
185  0x0000000000000000, 0x0000000000000000,
186  0x0000000000000000, 0x0000000000000000,
187  0x0000000000000000, 0x0000000000000000,
188  0x0000000000000000, 0x0000000000000000,
189  0x0000000000000000, 0x0000000000000000,
190  0x0000000000000000, 0x0000000000000000,
191  0x0000000000000000, 0x0000000000000000,
192  0x0000000000000000, 0x0000000000000000,
193  0x0000000000000000, 0x0000000000000000,
194  0x0000000000000000, 0x0000000000000000,
195  0x0000000000000000, 0x0000000000000000,
196  0x0000000000000000, 0x0000000000000000,
197  0x0000000000000000, 0x0000000000000000,
198  0x000000000000003e, 0x000000000000003f,
199  0x000000000000001f, 0x000000000000001f,
200  0x000000000000000f, 0x000000000000000f,
201  0x0000000000000007, 0x0000000000000007,
202  0x0000000000000003, 0x0000000000000003,
203  0x0000000000000001, 0x0000000000000001,
204  0x0000000000000000, 0x0000000000000000,
205  0x0000000000000000, 0x0000000000000000,
206  0x0000000000000000, 0x0000000000000000,
207  0x0000000000000000, 0x0000000000000000,
208  0x0000000000000000, 0x0000000000000000,
209  0x0000000000000000, 0x0000000000000000,
210  0x0000000000000000, 0x0000000000000000,
211  0x0000000000000000, 0x0000000000000000,
212  0x0000000000000000, 0x0000000000000000,
213  0x0000000000000000, 0x0000000000000000,
214  0x0000000000000000, 0x0000000000000000,
215  0x0000000000000000, 0x0000000000000000,
216  0x0000000000000000, 0x0000000000000000,
217  0x0000000000000000, 0x0000000000000000,
218  0x0000000000000000, 0x0000000000000000,
219  0x0000000000000000, 0x0000000000000000,
220  0x0000000000000000, 0x0000000000000000,
221  0x0000000000000000, 0x0000000000000000,
222  0x0000000000000000, 0x0000000000000000,
223  0x0000000000000000, 0x0000000000000000,
224  0x0000000000000000, 0x0000000000000000,
225  0x0000000000000000, 0x0000000000000000,
226  0x0000000000000000, 0x0000000000000000,
227  0x0000000000000000, 0x0000000000000000,
228  0x0000000000000000, 0x0000000000000000,
229  0x0000000000000000, 0x0000000000000000,
230  0x000000000000003f, 0x000000000000003f,
231  0x000000000000001f, 0x000000000000001f,
232  0x000000000000000f, 0x000000000000000f,
233  0x0000000000000007, 0x0000000000000007,
234  0x0000000000000003, 0x0000000000000003,
235  0x0000000000000001, 0x0000000000000001,
236  0x0000000000000000, 0x0000000000000000,
237  0x0000000000000000, 0x0000000000000000,
238  0x0000000000000000, 0x0000000000000000,
239  0x0000000000000000, 0x0000000000000000,
240  0x0000000000000000, 0x0000000000000000,
241  0x0000000000000000, 0x0000000000000000,
242  0x0000000000000000, 0x0000000000000000,
243  0x0000000000000000, 0x0000000000000000,
244  0x0000000000000000, 0x0000000000000000,
245  0x0000000000000000, 0x0000000000000000,
246  0x0000000000000000, 0x0000000000000000,
247  0x0000000000000000, 0x0000000000000000,
248  0x0000000000000000, 0x0000000000000000,
249  0x0000000000000000, 0x0000000000000000,
250  0x0000000000000000, 0x0000000000000000,
251  0x0000000000000000, 0x0000000000000000,
252  0x0000000000000000, 0x0000000000000000,
253  0x0000000000000000, 0x0000000000000000,
254  0x0000000000000000, 0x0000000000000000,
255  0x0000000000000000, 0x0000000000000000,
256  0x0000000000000000, 0x0000000000000000,
257  0x0000000000000000, 0x0000000000000000,
258  0x0000000000000000, 0x0000000000000000,
259  0x0000000000000000, 0x0000000000000000,
260  0x0000000000000000, 0x0000000000000000,
261  0x0000000000000000, 0x0000000000000000,
262  0x000000000000003f, 0x0000000000003ffe,
263  0x000000000000001f, 0x0000000000001fff,
264  0x000000000000000f, 0x0000000000000fff,
265  0x0000000000000007, 0x00000000000007ff,
266  0x0000000000000003, 0x00000000000003ff,
267  0x0000000000000001, 0x00000000000001ff,
268  0x0000000000000000, 0x00000000000000ff,
269  0x0000000000000000, 0x000000000000007f,
270  0x0000000000000000, 0x000000000000003f,
271  0x0000000000000000, 0x000000000000001f,
272  0x0000000000000000, 0x000000000000000f,
273  0x0000000000000000, 0x0000000000000007,
274  0x0000000000000000, 0x0000000000000003,
275  0x0000000000000000, 0x0000000000000001,
276  0x0000000000000000, 0x0000000000000000,
277  0x0000000000000000, 0x0000000000000000,
278  0x0000000000000000, 0x0000000000000000,
279  0x0000000000000000, 0x0000000000000000,
280  0x0000000000000000, 0x0000000000000000,
281  0x0000000000000000, 0x0000000000000000,
282  0x0000000000000000, 0x0000000000000000,
283  0x0000000000000000, 0x0000000000000000,
284  0x0000000000000000, 0x0000000000000000,
285  0x0000000000000000, 0x0000000000000000,
286  0x0000000000000000, 0x0000000000000000,
287  0x0000000000000000, 0x0000000000000000,
288  0x0000000000000000, 0x0000000000000000,
289  0x0000000000000000, 0x0000000000000000,
290  0x0000000000000000, 0x0000000000000000,
291  0x0000000000000000, 0x0000000000000000,
292  0x0000000000000000, 0x0000000000000000,
293  0x0000000000000000, 0x0000000000000000,
294  0x0000000000003ffe, 0x0000000000003fff,
295  0x0000000000001fff, 0x0000000000001fff,
296  0x0000000000000fff, 0x0000000000000fff,
297  0x00000000000007ff, 0x00000000000007ff,
298  0x00000000000003ff, 0x00000000000003ff,
299  0x00000000000001ff, 0x00000000000001ff,
300  0x00000000000000ff, 0x00000000000000ff,
301  0x000000000000007f, 0x000000000000007f,
302  0x000000000000003f, 0x000000000000003f,
303  0x000000000000001f, 0x000000000000001f,
304  0x000000000000000f, 0x000000000000000f,
305  0x0000000000000007, 0x0000000000000007,
306  0x0000000000000003, 0x0000000000000003,
307  0x0000000000000001, 0x0000000000000001,
308  0x0000000000000000, 0x0000000000000000,
309  0x0000000000000000, 0x0000000000000000,
310  0x0000000000000000, 0x0000000000000000,
311  0x0000000000000000, 0x0000000000000000,
312  0x0000000000000000, 0x0000000000000000,
313  0x0000000000000000, 0x0000000000000000,
314  0x0000000000000000, 0x0000000000000000,
315  0x0000000000000000, 0x0000000000000000,
316  0x0000000000000000, 0x0000000000000000,
317  0x0000000000000000, 0x0000000000000000,
318  0x0000000000000000, 0x0000000000000000,
319  0x0000000000000000, 0x0000000000000000,
320  0x0000000000000000, 0x0000000000000000,
321  0x0000000000000000, 0x0000000000000000,
322  0x0000000000000000, 0x0000000000000000,
323  0x0000000000000000, 0x0000000000000000,
324  0x0000000000000000, 0x0000000000000000,
325  0x0000000000000000, 0x0000000000000000,
326  0x0000000000003fff, 0x0000000000003fff,
327  0x0000000000001fff, 0x0000000000001fff,
328  0x0000000000000fff, 0x0000000000000fff,
329  0x00000000000007ff, 0x00000000000007ff,
330  0x00000000000003ff, 0x00000000000003ff,
331  0x00000000000001ff, 0x00000000000001ff,
332  0x00000000000000ff, 0x00000000000000ff,
333  0x000000000000007f, 0x000000000000007f,
334  0x000000000000003f, 0x000000000000003f,
335  0x000000000000001f, 0x000000000000001f,
336  0x000000000000000f, 0x000000000000000f,
337  0x0000000000000007, 0x0000000000000007,
338  0x0000000000000003, 0x0000000000000003,
339  0x0000000000000001, 0x0000000000000001,
340  0x0000000000000000, 0x0000000000000000,
341  0x0000000000000000, 0x0000000000000000,
342  0x0000000000000000, 0x0000000000000000,
343  0x0000000000000000, 0x0000000000000000,
344  0x0000000000000000, 0x0000000000000000,
345  0x0000000000000000, 0x0000000000000000,
346  0x0000000000000000, 0x0000000000000000,
347  0x0000000000000000, 0x0000000000000000,
348  0x0000000000000000, 0x0000000000000000,
349  0x0000000000000000, 0x0000000000000000,
350  0x0000000000000000, 0x0000000000000000,
351  0x0000000000000000, 0x0000000000000000,
352  0x0000000000000000, 0x0000000000000000,
353  0x0000000000000000, 0x0000000000000000,
354  0x0000000000000000, 0x0000000000000000,
355  0x0000000000000000, 0x0000000000000000,
356  0x0000000000000000, 0x0000000000000000,
357  0x0000000000000000, 0x0000000000000000,
358  0x0000000000003fff, 0x000000003ffffffe,
359  0x0000000000001fff, 0x000000001fffffff,
360  0x0000000000000fff, 0x000000000fffffff,
361  0x00000000000007ff, 0x0000000007ffffff,
362  0x00000000000003ff, 0x0000000003ffffff,
363  0x00000000000001ff, 0x0000000001ffffff,
364  0x00000000000000ff, 0x0000000000ffffff,
365  0x000000000000007f, 0x00000000007fffff,
366  0x000000000000003f, 0x00000000003fffff,
367  0x000000000000001f, 0x00000000001fffff,
368  0x000000000000000f, 0x00000000000fffff,
369  0x0000000000000007, 0x000000000007ffff,
370  0x0000000000000003, 0x000000000003ffff,
371  0x0000000000000001, 0x000000000001ffff,
372  0x0000000000000000, 0x000000000000ffff,
373  0x0000000000000000, 0x0000000000007fff,
374  0x0000000000000000, 0x0000000000003fff,
375  0x0000000000000000, 0x0000000000001fff,
376  0x0000000000000000, 0x0000000000000fff,
377  0x0000000000000000, 0x00000000000007ff,
378  0x0000000000000000, 0x00000000000003ff,
379  0x0000000000000000, 0x00000000000001ff,
380  0x0000000000000000, 0x00000000000000ff,
381  0x0000000000000000, 0x000000000000007f,
382  0x0000000000000000, 0x000000000000003f,
383  0x0000000000000000, 0x000000000000001f,
384  0x0000000000000000, 0x000000000000000f,
385  0x0000000000000000, 0x0000000000000007,
386  0x0000000000000000, 0x0000000000000003,
387  0x0000000000000000, 0x0000000000000001,
388  0x0000000000000000, 0x0000000000000000,
389  0x0000000000000000, 0x0000000000000000,
390  0x000000003ffffffe, 0x000000003fffffff,
391  0x000000001fffffff, 0x000000001fffffff,
392  0x000000000fffffff, 0x000000000fffffff,
393  0x0000000007ffffff, 0x0000000007ffffff,
394  0x0000000003ffffff, 0x0000000003ffffff,
395  0x0000000001ffffff, 0x0000000001ffffff,
396  0x0000000000ffffff, 0x0000000000ffffff,
397  0x00000000007fffff, 0x00000000007fffff,
398  0x00000000003fffff, 0x00000000003fffff,
399  0x00000000001fffff, 0x00000000001fffff,
400  0x00000000000fffff, 0x00000000000fffff,
401  0x000000000007ffff, 0x000000000007ffff,
402  0x000000000003ffff, 0x000000000003ffff,
403  0x000000000001ffff, 0x000000000001ffff,
404  0x000000000000ffff, 0x000000000000ffff,
405  0x0000000000007fff, 0x0000000000007fff,
406  0x0000000000003fff, 0x0000000000003fff,
407  0x0000000000001fff, 0x0000000000001fff,
408  0x0000000000000fff, 0x0000000000000fff,
409  0x00000000000007ff, 0x00000000000007ff,
410  0x00000000000003ff, 0x00000000000003ff,
411  0x00000000000001ff, 0x00000000000001ff,
412  0x00000000000000ff, 0x00000000000000ff,
413  0x000000000000007f, 0x000000000000007f,
414  0x000000000000003f, 0x000000000000003f,
415  0x000000000000001f, 0x000000000000001f,
416  0x000000000000000f, 0x000000000000000f,
417  0x0000000000000007, 0x0000000000000007,
418  0x0000000000000003, 0x0000000000000003,
419  0x0000000000000001, 0x0000000000000001,
420  0x0000000000000000, 0x0000000000000000,
421  0x0000000000000000, 0x0000000000000000,
422  0x000000003fffffff, 0x000000003fffffff,
423  0x000000001fffffff, 0x000000001fffffff,
424  0x000000000fffffff, 0x000000000fffffff,
425  0x0000000007ffffff, 0x0000000007ffffff,
426  0x0000000003ffffff, 0x0000000003ffffff,
427  0x0000000001ffffff, 0x0000000001ffffff,
428  0x0000000000ffffff, 0x0000000000ffffff,
429  0x00000000007fffff, 0x00000000007fffff,
430  0x00000000003fffff, 0x00000000003fffff,
431  0x00000000001fffff, 0x00000000001fffff,
432  0x00000000000fffff, 0x00000000000fffff,
433  0x000000000007ffff, 0x000000000007ffff,
434  0x000000000003ffff, 0x000000000003ffff,
435  0x000000000001ffff, 0x000000000001ffff,
436  0x000000000000ffff, 0x000000000000ffff,
437  0x0000000000007fff, 0x0000000000007fff,
438  0x0000000000003fff, 0x0000000000003fff,
439  0x0000000000001fff, 0x0000000000001fff,
440  0x0000000000000fff, 0x0000000000000fff,
441  0x00000000000007ff, 0x00000000000007ff,
442  0x00000000000003ff, 0x00000000000003ff,
443  0x00000000000001ff, 0x00000000000001ff,
444  0x00000000000000ff, 0x00000000000000ff,
445  0x000000000000007f, 0x000000000000007f,
446  0x000000000000003f, 0x000000000000003f,
447  0x000000000000001f, 0x000000000000001f,
448  0x000000000000000f, 0x000000000000000f,
449  0x0000000000000007, 0x0000000000000007,
450  0x0000000000000003, 0x0000000000000003,
451  0x0000000000000001, 0x0000000000000001,
452  0x0000000000000000, 0x0000000000000000,
453  0x0000000000000000, 0x0000000000000000,
454  0x000000003fffffff, 0x00000000ffffffff,
455  0x000000001fffffff, 0x00000000ffffffff,
456  0x000000000fffffff, 0x00000000ffffffff,
457  0x0000000007ffffff, 0x00000000ffffffff,
458  0x0000000003ffffff, 0x00000000ffffffff,
459  0x0000000001ffffff, 0x00000000ffffffff,
460  0x0000000000ffffff, 0x00000000ffffffff,
461  0x00000000007fffff, 0x00000000ffffffff,
462  0x00000000003fffff, 0x00000000ffffffff,
463  0x00000000001fffff, 0x00000000ffffffff,
464  0x00000000000fffff, 0x00000000ffffffff,
465  0x000000000007ffff, 0x00000000ffffffff,
466  0x000000000003ffff, 0x00000000ffffffff,
467  0x000000000001ffff, 0x00000000ffffffff,
468  0x000000000000ffff, 0x00000000ffffffff,
469  0x0000000000007fff, 0x00000000ffffffff,
470  0x0000000000003fff, 0x00000000ffffffff,
471  0x0000000000001fff, 0x00000000ffffffff,
472  0x0000000000000fff, 0x00000000ffffffff,
473  0x00000000000007ff, 0x00000000ffffffff,
474  0x00000000000003ff, 0x00000000ffffffff,
475  0x00000000000001ff, 0x00000000ffffffff,
476  0x00000000000000ff, 0x00000000ffffffff,
477  0x000000000000007f, 0x00000000ffffffff,
478  0x000000000000003f, 0x00000000ffffffff,
479  0x000000000000001f, 0x00000000ffffffff,
480  0x000000000000000f, 0x00000000ffffffff,
481  0x0000000000000007, 0x00000000ffffffff,
482  0x0000000000000003, 0x00000000ffffffff,
483  0x0000000000000001, 0x00000000cccccccc,
484  0x0000000000000000, 0x0000000066666666,
485  0x0000000000000000, 0x0000000033333333,
486  0x00000000ffffffff, 0x00000000ffffffff,
487  0x00000000ffffffff, 0x00000000ffffffff,
488  0x00000000ffffffff, 0x00000000ffffffff,
489  0x00000000ffffffff, 0x00000000ffffffff,
490  0x00000000ffffffff, 0x00000000ffffffff,
491  0x00000000ffffffff, 0x00000000ffffffff,
492  0x00000000ffffffff, 0x00000000ffffffff,
493  0x00000000ffffffff, 0x00000000ffffffff,
494  0x00000000ffffffff, 0x00000000ffffffff,
495  0x00000000ffffffff, 0x00000000ffffffff,
496  0x00000000ffffffff, 0x00000000ffffffff,
497  0x00000000ffffffff, 0x00000000ffffffff,
498  0x00000000ffffffff, 0x00000000ffffffff,
499  0x00000000ffffffff, 0x00000000ffffffff,
500  0x00000000ffffffff, 0x00000000ffffffff,
501  0x00000000ffffffff, 0x00000000ffffffff,
502  0x00000000ffffffff, 0x00000000ffffffff,
503  0x00000000ffffffff, 0x00000000ffffffff,
504  0x00000000ffffffff, 0x00000000ffffffff,
505  0x00000000ffffffff, 0x00000000ffffffff,
506  0x00000000ffffffff, 0x00000000ffffffff,
507  0x00000000ffffffff, 0x00000000ffffffff,
508  0x00000000ffffffff, 0x00000000ffffffff,
509  0x00000000ffffffff, 0x00000000ffffffff,
510  0x00000000ffffffff, 0x00000000ffffffff,
511  0x00000000ffffffff, 0x00000000ffffffff,
512  0x00000000ffffffff, 0x00000000ffffffff,
513  0x00000000ffffffff, 0x00000000ffffffff,
514  0x00000000ffffffff, 0x00000000ffffffff,
515  0x00000000cccccccc, 0x00000000ffffffff,
516  0x0000000066666666, 0x00000000aaaaaaaa,
517  0x0000000033333333, 0x0000000055555555,
518  0x00000000ffffffff, 0x00000000ffffffff,
519  0x00000000ffffffff, 0x00000000ffffffff,
520  0x00000000ffffffff, 0x00000000ffffffff,
521  0x00000000ffffffff, 0x00000000ffffffff,
522  0x00000000ffffffff, 0x00000000ffffffff,
523  0x00000000ffffffff, 0x00000000ffffffff,
524  0x00000000ffffffff, 0x00000000ffffffff,
525  0x00000000ffffffff, 0x00000000ffffffff,
526  0x00000000ffffffff, 0x00000000ffffffff,
527  0x00000000ffffffff, 0x00000000ffffffff,
528  0x00000000ffffffff, 0x00000000ffffffff,
529  0x00000000ffffffff, 0x00000000ffffffff,
530  0x00000000ffffffff, 0x00000000ffffffff,
531  0x00000000ffffffff, 0x00000000ffffffff,
532  0x00000000ffffffff, 0x00000000ffffffff,
533  0x00000000ffffffff, 0x00000000ffffffff,
534  0x00000000ffffffff, 0x00000000ffffffff,
535  0x00000000ffffffff, 0x00000000ffffffff,
536  0x00000000ffffffff, 0x00000000ffffffff,
537  0x00000000ffffffff, 0x00000000ffffffff,
538  0x00000000ffffffff, 0x00000000ffffffff,
539  0x00000000ffffffff, 0x00000000ffffffff,
540  0x00000000ffffffff, 0x00000000ffffffff,
541  0x00000000ffffffff, 0x00000000ffffffff,
542  0x00000000ffffffff, 0x00000000ffffffff,
543  0x00000000ffffffff, 0x00000000ffffffff,
544  0x00000000ffffffff, 0x00000000ffffffff,
545  0x00000000ffffffff, 0x00000000ffffffff,
546  0x00000000ffffffff, 0x00000000ffffffff,
547  0x00000000ffffffff, 0x00000000ffffffff,
548  0x00000000aaaaaaaa, 0x00000000ffffffff,
549  0x0000000055555555, 0x000000007fffffff,
550  0x00000000ffffffff, 0x00000000ffffffff,
551  0x00000000ffffffff, 0x00000000ffffffff,
552  0x00000000ffffffff, 0x00000000ffffffff,
553  0x00000000ffffffff, 0x00000000ffffffff,
554  0x00000000ffffffff, 0x00000000ffffffff,
555  0x00000000ffffffff, 0x00000000ffffffff,
556  0x00000000ffffffff, 0x00000000ffffffff,
557  0x00000000ffffffff, 0x00000000ffffffff,
558  0x00000000ffffffff, 0x00000000ffffffff,
559  0x00000000ffffffff, 0x00000000ffffffff,
560  0x00000000ffffffff, 0x00000000ffffffff,
561  0x00000000ffffffff, 0x00000000ffffffff,
562  0x00000000ffffffff, 0x00000000ffffffff,
563  0x00000000ffffffff, 0x00000000ffffffff,
564  0x00000000ffffffff, 0x00000000ffffffff,
565  0x00000000ffffffff, 0x00000000ffffffff,
566  0x00000000ffffffff, 0x00000000ffffffff,
567  0x00000000ffffffff, 0x00000000ffffffff,
568  0x00000000ffffffff, 0x00000000ffffffff,
569  0x00000000ffffffff, 0x00000000ffffffff,
570  0x00000000ffffffff, 0x00000000ffffffff,
571  0x00000000ffffffff, 0x00000000ffffffff,
572  0x00000000ffffffff, 0x00000000ffffffff,
573  0x00000000ffffffff, 0x00000000ffffffff,
574  0x00000000ffffffff, 0x00000000ffffffff,
575  0x00000000ffffffff, 0x00000000ffffffff,
576  0x00000000ffffffff, 0x00000000ffffffff,
577  0x00000000ffffffff, 0x00000000ffffffff,
578  0x00000000ffffffff, 0x00000000ffffffff,
579  0x00000000ffffffff, 0x00000000ffffffff,
580  0x00000000ffffffff, 0x00000000ffffffff,
581  0x000000007fffffff, 0x000000007fffffff,
582  0x00000000ffffffff, 0x00000000ffffffff,
583  0x00000000ffffffff, 0x00000000ffffffff,
584  0x00000000ffffffff, 0x00000000ffffffff,
585  0x00000000ffffffff, 0x00000000ffffffff,
586  0x00000000ffffffff, 0x00000000ffffffff,
587  0x00000000ffffffff, 0x00000000ffffffff,
588  0x00000000ffffffff, 0x00000000ffffffff,
589  0x00000000ffffffff, 0x00000000ffffffff,
590  0x00000000ffffffff, 0x00000000ffffffff,
591  0x00000000ffffffff, 0x00000000ffffffff,
592  0x00000000ffffffff, 0x00000000ffffffff,
593  0x00000000ffffffff, 0x00000000ffffffff,
594  0x00000000ffffffff, 0x00000000ffffffff,
595  0x00000000ffffffff, 0x00000000ffffffff,
596  0x00000000ffffffff, 0x00000000ffffffff,
597  0x00000000ffffffff, 0x00000000ffffffff,
598  0x00000000ffffffff, 0x00000000ffffffff,
599  0x00000000ffffffff, 0x00000000ffffffff,
600  0x00000000ffffffff, 0x00000000ffffffff,
601  0x00000000ffffffff, 0x00000000ffffffff,
602  0x00000000ffffffff, 0x00000000ffffffff,
603  0x00000000ffffffff, 0x00000000ffffffff,
604  0x00000000ffffffff, 0x00000000ffffffff,
605  0x00000000ffffffff, 0x00000000ffffffff,
606  0x00000000ffffffff, 0x00000000ffffffff,
607  0x00000000ffffffff, 0x00000000ffffffff,
608  0x00000000ffffffff, 0x00000000ffffffff,
609  0x00000000ffffffff, 0x00000000ffffffff,
610  0x00000000ffffffff, 0x00000000ffffffff,
611  0x00000000ffffffff, 0x00000000ffffffff,
612  0x00000000ffffffff, 0x00000000ffffffff,
613  0x000000007fffffff, 0x000000007fffffff,
614  0x00000000ffffffff, 0x0000000000000000,
615  0x00000000ffffffff, 0x0000000000000000,
616  0x00000000ffffffff, 0x0000000000000000,
617  0x00000000ffffffff, 0x0000000000000000,
618  0x00000000ffffffff, 0x0000000000000000,
619  0x00000000ffffffff, 0x0000000000000000,
620  0x00000000ffffffff, 0x0000000000000000,
621  0x00000000ffffffff, 0x0000000000000000,
622  0x00000000ffffffff, 0x0000000000000000,
623  0x00000000ffffffff, 0x0000000000000000,
624  0x00000000ffffffff, 0x0000000000000000,
625  0x00000000ffffffff, 0x0000000000000000,
626  0x00000000ffffffff, 0x0000000000000000,
627  0x00000000ffffffff, 0x0000000000000000,
628  0x00000000ffffffff, 0x0000000000000000,
629  0x00000000ffffffff, 0x0000000000000000,
630  0x00000000ffffffff, 0x0000000000000000,
631  0x00000000ffffffff, 0x0000000000000000,
632  0x00000000ffffffff, 0x0000000000000000,
633  0x00000000ffffffff, 0x0000000000000000,
634  0x00000000ffffffff, 0x0000000000000000,
635  0x00000000ffffffff, 0x0000000000000000,
636  0x00000000ffffffff, 0x0000000000000000,
637  0x00000000ffffffff, 0x0000000000000000,
638  0x00000000ffffffff, 0x0000000000000000,
639  0x00000000ffffffff, 0x0000000000000000,
640  0x00000000ffffffff, 0x0000000000000000,
641  0x00000000ffffffff, 0x0000000000000000,
642  0x00000000ffffffff, 0x0000000000000000,
643  0x00000000ffffffff, 0x0000000000000000,
644  0x00000000ffffffff, 0x0000000000000000,
645  0x000000007fffffff, 0x0000000000000000,
646  0x0000000000000000, 0x0000000000000000,
647  0x0000000000000000, 0x0000000000000000,
648  0x0000000000000000, 0x0000000000000000,
649  0x0000000000000000, 0x0000000000000000,
650  0x0000000000000000, 0x0000000000000000,
651  0x0000000000000000, 0x0000000000000000,
652  0x0000000000000000, 0x0000000000000000,
653  0x0000000000000000, 0x0000000000000000,
654  0x0000000000000000, 0x0000000000000000,
655  0x0000000000000000, 0x0000000000000000,
656  0x0000000000000000, 0x0000000000000000,
657  0x0000000000000000, 0x0000000000000000,
658  0x0000000000000000, 0x0000000000000000,
659  0x0000000000000000, 0x0000000000000000,
660  0x0000000000000000, 0x0000000000000000,
661  0x0000000000000000, 0x0000000000000000,
662  0x0000000000000000, 0x0000000000000000,
663  0x0000000000000000, 0x0000000000000000,
664  0x0000000000000000, 0x0000000000000000,
665  0x0000000000000000, 0x0000000000000000,
666  0x0000000000000000, 0x0000000000000000,
667  0x0000000000000000, 0x0000000000000000,
668  0x0000000000000000, 0x0000000000000000,
669  0x0000000000000000, 0x0000000000000000,
670  0x0000000000000000, 0x0000000000000000,
671  0x0000000000000000, 0x0000000000000000,
672  0x0000000000000000, 0x0000000000000000,
673  0x0000000000000000, 0x0000000000000000,
674  0x0000000000000000, 0x0000000000000000,
675  0x0000000000000000, 0x0000000000000000,
676  0x0000000000000000, 0x0000000000000000,
677  0x0000000000000000, 0x0000000000000000,
678  0x0000000000000000, 0x0000000000000000,
679  0x0000000000000000, 0x0000000000000000,
680  0x0000000000000000, 0x0000000000000000,
681  0x0000000000000000, 0x0000000000000000,
682  0x0000000000000000, 0x0000000000000000,
683  0x0000000000000000, 0x0000000000000000,
684  0x0000000000000000, 0x0000000000000000,
685  0x0000000000000000, 0x0000000000000000,
686  0x0000000000000000, 0x0000000000000000,
687  0x0000000000000000, 0x0000000000000000,
688  0x0000000000000000, 0x0000000000000000,
689  0x0000000000000000, 0x0000000000000000,
690  0x0000000000000000, 0x0000000000000000,
691  0x0000000000000000, 0x0000000000000000,
692  0x0000000000000000, 0x0000000000000000,
693  0x0000000000000000, 0x0000000000000000,
694  0x0000000000000000, 0x0000000000000000,
695  0x0000000000000000, 0x0000000000000000,
696  0x0000000000000000, 0x0000000000000000,
697  0x0000000000000000, 0x0000000000000000,
698  0x0000000000000000, 0x0000000000000000,
699  0x0000000000000000, 0x0000000000000000,
700  0x0000000000000000, 0x0000000000000000,
701  0x0000000000000000, 0x0000000000000000,
702  0x0000000000000000, 0x0000000000000000,
703  0x0000000000000000, 0x0000000000000000,
704  0x0000000000000000, 0x0000000000000000,
705  0x0000000000000000, 0x0000000000000000,
706  0x0000000000000000, 0x0000000000000000,
707  0x0000000000000000, 0x0000000000000000,
708  0x0000000000000000, 0x0000000000000000,
709  0x0000000000000000, 0x0000000000000000,
710  0x0000000000000000, 0x0000000000000000,
711  0x0000000000000000, 0x0000000000000000,
712  0x0000000000000000, 0x0000000000000000,
713  0x0000000000000000, 0x0000000000000000,
714  0x0000000000000000, 0x0000000000000000,
715  0x0000000000000000, 0x0000000000000000,
716  0x0000000000000000, 0x0000000000000000,
717  0x0000000000000000, 0x0000000000000000,
718  0x0000000000000000, 0x0000000000000000,
719  0x0000000000000000, 0x0000000000000000,
720  0x0000000000000000, 0x0000000000000000,
721  0x0000000000000000, 0x0000000000000000,
722  0x0000000000000000, 0x0000000000000000,
723  0x0000000000000000, 0x0000000000000000,
724  0x0000000000000000, 0x0000000000000000,
725  0x0000000000000000, 0x0000000000000000,
726  0x0000000000000000, 0x0000000000000000,
727  0x0000000000000000, 0x0000000000000000,
728  0x0000000000000000, 0x0000000000000000,
729  0x0000000000000000, 0x0000000000000000,
730  0x0000000000000000, 0x0000000000000000,
731  0x0000000000000000, 0x0000000000000000,
732  0x0000000000000000, 0x0000000000000000,
733  0x0000000000000000, 0x0000000000000000,
734  0x0000000000000000, 0x0000000000000000,
735  0x0000000000000000, 0x0000000000000000,
736  0x0000000000000000, 0x0000000000000000,
737  0x0000000000000000, 0x0000000000000000,
738  0x0000000000000000, 0x0000000000000000,
739  0x0000000000000000, 0x0000000000000000,
740  0x0000000000000000, 0x0000000000000000,
741  0x0000000000000000, 0x0000000000000000,
742  0x0000000000000000, 0x0000000000000000,
743  0x0000000000000000, 0x0000000000000000,
744  0x0000000000000000, 0x0000000000000000,
745  0x0000000000000000, 0x0000000000000000,
746  0x0000000000000000, 0x0000000000000000,
747  0x0000000000000000, 0x0000000000000000,
748  0x0000000000000000, 0x0000000000000000,
749  0x0000000000000000, 0x0000000000000000,
750  0x0000000000000000, 0x0000000000000000,
751  0x0000000000000000, 0x0000000000000000,
752  0x0000000000000000, 0x0000000000000000,
753  0x0000000000000000, 0x0000000000000000,
754  0x0000000000000000, 0x0000000000000000,
755  0x0000000000000000, 0x0000000000000000,
756  0x0000000000000000, 0x0000000000000000,
757  0x0000000000000000, 0x0000000000000000,
758  0x0000000000000000, 0x0000000000000000,
759  0x0000000000000000, 0x0000000000000000,
760  0x0000000000000000, 0x0000000000000000,
761  0x0000000000000000, 0x0000000000000000,
762  0x0000000000000000, 0x0000000000000000,
763  0x0000000000000000, 0x0000000000000000,
764  0x0000000000000000, 0x0000000000000000,
765  0x0000000000000000, 0x0000000000000000,
766  0x0000000000000000, 0x0000000000000000,
767  0x0000000000000000, 0x0000000000000000,
768  0x0000000000000000, 0x0000000000000000,
769  0x0000000000000000, 0x0000000000000000,
770  0x0000000000000000, 0x0000000000000000,
771  0x0000000000000000, 0x0000000000000000,
772  0x0000000000000000, 0x0000000000000000,
773  0x0000000000000000, 0x0000000000000000,
774  0x0000000000000000, 0x0000000000000000,
775  0x0000000000000000, 0x0000000000000000,
776  0x0000000000000000, 0x0000000000000000,
777  0x0000000000000000, 0x0000000000000000,
778  0x0000000000000000, 0x0000000000000000,
779  0x0000000000000000, 0x0000000000000000,
780  0x0000000000000000, 0x0000000000000000,
781  0x0000000000000000, 0x0000000000000000,
782  0x0000000000000000, 0x0000000000000000,
783  0x0000000000000000, 0x0000000000000000,
784  0x0000000000000000, 0x0000000000000000,
785  0x0000000000000000, 0x0000000000000000,
786  0x0000000000000000, 0x0000000000000000,
787  0x0000000000000000, 0x0000000000000000,
788  0x0000000000000000, 0x0000000000000000,
789  0x0000000000000000, 0x0000000000000000,
790  0x0000000000000000, 0x0000000000000000,
791  0x0000000000000000, 0x0000000000000000,
792  0x0000000000000000, 0x0000000000000000,
793  0x0000000000000000, 0x0000000000000000,
794  0x0000000000000000, 0x0000000000000000,
795  0x0000000000000000, 0x0000000000000000,
796  0x0000000000000000, 0x0000000000000000,
797  0x0000000000000000, 0x0000000000000000,
798  0x0000000000000000, 0x0000000000000000,
799  0x0000000000000000, 0x0000000000000000,
800  0x0000000000000000, 0x0000000000000000,
801  0x0000000000000000, 0x0000000000000000,
802  0x0000000000000000, 0x0000000000000000,
803  0x0000000000000000, 0x0000000000000000,
804  0x0000000000000000, 0x0000000000000000,
805  0x0000000000000000, 0x0000000000000000,
806  0x0000000000000000, 0x0000000000000000,
807  0x0000000000000000, 0x0000000000000000,
808  0x0000000000000000, 0x0000000000000000,
809  0x0000000000000000, 0x0000000000000000,
810  0x0000000000000000, 0x0000000000000000,
811  0x0000000000000000, 0x0000000000000000,
812  0x0000000000000000, 0x0000000000000000,
813  0x0000000000000000, 0x0000000000000000,
814  0x0000000000000000, 0x0000000000000000,
815  0x0000000000000000, 0x0000000000000000,
816  0x0000000000000000, 0x0000000000000000,
817  0x0000000000000000, 0x0000000000000000,
818  0x0000000000000000, 0x0000000000000000,
819  0x0000000000000000, 0x0000000000000000,
820  0x0000000000000000, 0x0000000000000000,
821  0x0000000000000000, 0x0000000000000000,
822  0x0000000000000000, 0x0000000000000000,
823  0x0000000000000000, 0x0000000000000000,
824  0x0000000000000000, 0x0000000000000000,
825  0x0000000000000000, 0x0000000000000000,
826  0x0000000000000000, 0x0000000000000000,
827  0x0000000000000000, 0x0000000000000000,
828  0x0000000000000000, 0x0000000000000000,
829  0x0000000000000000, 0x0000000000000000,
830  0x0000000000000000, 0x0000000000000000,
831  0x0000000000000000, 0x0000000000000000,
832  0x0000000000000000, 0x0000000000000000,
833  0x0000000000000000, 0x0000000000000000,
834  0x0000000000000000, 0x0000000000000000,
835  0x0000000000000000, 0x0000000000000000,
836  0x0000000000000000, 0x0000000000000000,
837  0x0000000000000000, 0x0000000000000000,
838  0x0000000000000000, 0x0000000000000000,
839  0x0000000000000000, 0x0000000000000000,
840  0x0000000000000000, 0x0000000000000000,
841  0x0000000000000000, 0x0000000000000000,
842  0x0000000000000000, 0x0000000000000000,
843  0x0000000000000000, 0x0000000000000000,
844  0x0000000000000000, 0x0000000000000000,
845  0x0000000000000000, 0x0000000000000000,
846  0x0000000000000000, 0x0000000000000000,
847  0x0000000000000000, 0x0000000000000000,
848  0x0000000000000000, 0x0000000000000000,
849  0x0000000000000000, 0x0000000000000000,
850  0x0000000000000000, 0x0000000000000000,
851  0x0000000000000000, 0x0000000000000000,
852  0x0000000000000000, 0x0000000000000000,
853  0x0000000000000000, 0x0000000000000000,
854  0x0000000000000000, 0x0000000000000000,
855  0x0000000000000000, 0x0000000000000000,
856  0x0000000000000000, 0x0000000000000000,
857  0x0000000000000000, 0x0000000000000000,
858  0x0000000000000000, 0x0000000000000000,
859  0x0000000000000000, 0x0000000000000000,
860  0x0000000000000000, 0x0000000000000000,
861  0x0000000000000000, 0x0000000000000000,
862  0x0000000000000000, 0x0000000000000000,
863  0x0000000000000000, 0x0000000000000000,
864  0x0000000000000000, 0x0000000000000000,
865  0x0000000000000000, 0x0000000000000000,
866  0x0000000000000000, 0x0000000000000000,
867  0x0000000000000000, 0x0000000000000000,
868  0x0000000000000000, 0x0000000000000000,
869  0x0000000000000000, 0x0000000000000000,
870  0x0000000000000000, 0x0000000000000000,
871  0x0000000000000000, 0x0000000000000000,
872  0x0000000000000000, 0x0000000000000000,
873  0x0000000000000000, 0x0000000000000000,
874  0x0000000000000000, 0x0000000000000000,
875  0x0000000000000000, 0x0000000000000000,
876  0x0000000000000000, 0x0000000000000000,
877  0x0000000000000000, 0x0000000000000000,
878  0x0000000000000000, 0x0000000000000000,
879  0x0000000000000000, 0x0000000000000000,
880  0x0000000000000000, 0x0000000000000000,
881  0x0000000000000000, 0x0000000000000000,
882  0x0000000000000000, 0x0000000000000000,
883  0x0000000000000000, 0x0000000000000000,
884  0x0000000000000000, 0x0000000000000000,
885  0x0000000000000000, 0x0000000000000000,
886  0x0000000000000000, 0x0000000000000000,
887  0x0000000000000000, 0x0000000000000000,
888  0x0000000000000000, 0x0000000000000000,
889  0x0000000000000000, 0x0000000000000000,
890  0x0000000000000000, 0x0000000000000000,
891  0x0000000000000000, 0x0000000000000000,
892  0x0000000000000000, 0x0000000000000000,
893  0x0000000000000000, 0x0000000000000000,
894  0x0000000000000000, 0x0000000000000000,
895  0x0000000000000000, 0x0000000000000000,
896  0x0000000000000000, 0x0000000000000000,
897  0x0000000000000000, 0x0000000000000000,
898  0x0000000000000000, 0x0000000000000000,
899  0x0000000000000000, 0x0000000000000000,
900  0x0000000000000000, 0x0000000000000000,
901  0x0000000000000000, 0x0000000000000000,
902  0x0000000000000000, 0x0000000000000000,
903  0x0000000000000000, 0x0000000000000000,
904  0x0000000000000000, 0x0000000000000000,
905  0x0000000000000000, 0x0000000000000000,
906  0x0000000000000000, 0x0000000000000000,
907  0x0000000000000000, 0x0000000000000000,
908  0x0000000000000000, 0x0000000000000000,
909  0x0000000000000000, 0x0000000000000000,
910  0x0000000000000000, 0x0000000000000000,
911  0x0000000000000000, 0x0000000000000000,
912  0x0000000000000000, 0x0000000000000000,
913  0x0000000000000000, 0x0000000000000000,
914  0x0000000000000000, 0x0000000000000000,
915  0x0000000000000000, 0x0000000000000000,
916  0x0000000000000000, 0x0000000000000000,
917  0x0000000000000000, 0x0000000000000000,
918  0x0000000000000000, 0x0000000000000000,
919  0x0000000000000000, 0x0000000000000000,
920  0x0000000000000000, 0x0000000000000000,
921  0x0000000000000000, 0x0000000000000000,
922  0x0000000000000000, 0x0000000000000000,
923  0x0000000000000000, 0x0000000000000000,
924  0x0000000000000000, 0x0000000000000000,
925  0x0000000000000000, 0x0000000000000000,
926  0x0000000000000000, 0x0000000000000000,
927  0x0000000000000000, 0x0000000000000000,
928  0x0000000000000000, 0x0000000000000000,
929  0x0000000000000000, 0x0000000000000000,
930  0x0000000000000000, 0x0000000000000000,
931  0x0000000000000000, 0x0000000000000000,
932  0x0000000000000000, 0x0000000000000000,
933  0x0000000000000000, 0x0000000000000000,
934  0x0000000000000000, 0x0000000000000000,
935  0x0000000000000000, 0x0000000000000000,
936  0x0000000000000000, 0x0000000000000000,
937  0x0000000000000000, 0x0000000000000000,
938  0x0000000000000000, 0x0000000000000000,
939  0x0000000000000000, 0x0000000000000000,
940  0x0000000000000000, 0x0000000000000000,
941  0x0000000000000000, 0x0000000000000000,
942  0x0000000000000000, 0x0000000000000000,
943  0x0000000000000000, 0x0000000000000000,
944  0x0000000000000000, 0x0000000000000000,
945  0x0000000000000000, 0x0000000000000000,
946  0x0000000000000000, 0x0000000000000000,
947  0x0000000000000000, 0x0000000000000000,
948  0x0000000000000000, 0x0000000000000000,
949  0x0000000000000000, 0x0000000000000000,
950  0x0000000000000000, 0x0000000000000000,
951  0x0000000000000000, 0x0000000000000000,
952  0x0000000000000000, 0x0000000000000000,
953  0x0000000000000000, 0x0000000000000000,
954  0x0000000000000000, 0x0000000000000000,
955  0x0000000000000000, 0x0000000000000000,
956  0x0000000000000000, 0x0000000000000000,
957  0x0000000000000000, 0x0000000000000000,
958  0x0000000000000000, 0x0000000000000000,
959  0x0000000000000000, 0x0000000000000000,
960  0x0000000000000000, 0x0000000000000000,
961  0x0000000000000000, 0x0000000000000000,
962  0x0000000000000000, 0x0000000000000000,
963  0x0000000000000000, 0x0000000000000000,
964  0x0000000000000000, 0x0000000000000000,
965  0x0000000000000000, 0x0000000000000000,
966  0x0000000000000000, 0x0000000000000000,
967  0x0000000000000000, 0x0000000000000000,
968  0x0000000000000000, 0x0000000000000000,
969  0x0000000000000000, 0x0000000000000000,
970  0x0000000000000000, 0x0000000000000000,
971  0x0000000000000000, 0x0000000000000000,
972  0x0000000000000000, 0x0000000000000000,
973  0x0000000000000000, 0x0000000000000000,
974  0x0000000000000000, 0x0000000000000000,
975  0x0000000000000000, 0x0000000000000000,
976  0x0000000000000000, 0x0000000000000000,
977  0x0000000000000000, 0x0000000000000000,
978  0x0000000000000000, 0x0000000000000000,
979  0x0000000000000000, 0x0000000000000000,
980  0x0000000000000000, 0x0000000000000000,
981  0x0000000000000000, 0x0000000000000000,
982  0x0000000000000000, 0x0000000000000000,
983  0x0000000000000000, 0x0000000000000000,
984  0x0000000000000000, 0x0000000000000000,
985  0x0000000000000000, 0x0000000000000000,
986  0x0000000000000000, 0x0000000000000000,
987  0x0000000000000000, 0x0000000000000000,
988  0x0000000000000000, 0x0000000000000000,
989  0x0000000000000000, 0x0000000000000000,
990  0x0000000000000000, 0x0000000000000000,
991  0x0000000000000000, 0x0000000000000000,
992  0x0000000000000000, 0x0000000000000000,
993  0x0000000000000000, 0x0000000000000000,
994  0x0000000000000000, 0x0000000000000000,
995  0x0000000000000000, 0x0000000000000000,
996  0x0000000000000000, 0x0000000000000000,
997  0x0000000000000000, 0x0000000000000000,
998  0x0000000000000000, 0x0000000000000000,
999  0x0000000000000000, 0x0000000000000000,
1000  0x0000000000000000, 0x0000000000000000,
1001  0x0000000000000000, 0x0000000000000000,
1002  0x0000000000000000, 0x0000000000000000,
1003  0x0000000000000000, 0x0000000000000000,
1004  0x0000000000000000, 0x0000000000000000,
1005  0x0000000000000000, 0x0000000000000000,
1006  0x0000000000000000, 0x0000000000000000,
1007  0x0000000000000000, 0x0000000000000000,
1008  0x0000000000000000, 0x0000000000000000,
1009  0x0000000000000000, 0x0000000000000000,
1010  0x0000000000000000, 0x0000000000000000,
1011  0x0000000000000000, 0x0000000000000000,
1012  0x0000000000000000, 0x0000000000000000,
1013  0x0000000000000000, 0x0000000000000000,
1014  0x0000000000000000, 0x0000000000000000,
1015  0x0000000000000000, 0x0000000000000000,
1016  0x0000000000000000, 0x0000000000000000,
1017  0x0000000000000000, 0x0000000000000000,
1018  0x0000000000000000, 0x0000000000000000,
1019  0x0000000000000000, 0x0000000000000000,
1020  0x0000000000000000, 0x0000000000000000,
1021  0x0000000000000000, 0x0000000000000000,
1022  0x0000000000000000, 0x0000000000000000,
1023  0x0000000000000000, 0x0000000000000000,
1024  0x0000000000000000, 0x0000000000000000,
1025  0x0000000000000000, 0x0000000000000000,
1026  0x0000000000000000, 0x0000000000000000,
1027  0x0000000000000000, 0x0000000000000000,
1028  0x0000000000000000, 0x0000000000000000,
1029  0x0000000000000000, 0x0000000000000000,
1030  0x0000000000000000, 0x0000000000000000,
1031  0x0000000000000000, 0x0000000000000000,
1032  0x0000000000000000, 0x0000000000000000,
1033  0x0000000000000000, 0x0000000000000000,
1034  0x0000000000000000, 0x0000000000000000,
1035  0x0000000000000000, 0x0000000000000000,
1036  0x0000000000000000, 0x0000000000000000,
1037  0x0000000000000000, 0x0000000000000000,
1038  0x0000000000000000, 0x0000000000000000,
1039  0x0000000000000000, 0x0000000000000000,
1040  0x0000000000000000, 0x0000000000000000,
1041  0x0000000000000000, 0x0000000000000000,
1042  0x0000000000000000, 0x0000000000000000,
1043  0x0000000000000000, 0x0000000000000000,
1044  0x0000000000000000, 0x0000000000000000,
1045  0x0000000000000000, 0x0000000000000000,
1046  0x0000000000000000, 0x0000000000000000,
1047  0x0000000000000000, 0x0000000000000000,
1048  0x0000000000000000, 0x0000000000000000,
1049  0x0000000000000000, 0x0000000000000000,
1050  0x0000000000000000, 0x0000000000000000,
1051  0x0000000000000000, 0x0000000000000000,
1052  0x0000000000000000, 0x0000000000000000,
1053  0x0000000000000000, 0x0000000000000000,
1054  0x0000000000000000, 0x0000000000000000,
1055  0x0000000000000000, 0x0000000000000000,
1056  0x0000000000000000, 0x0000000000000000,
1057  0x0000000000000000, 0x0000000000000000,
1058  0x0000000000000000, 0x0000000000000000,
1059  0x0000000000000000, 0x0000000000000000,
1060  0x0000000000000000, 0x0000000000000000,
1061  0x0000000000000000, 0x0000000000000000,
1062  0x0000000000000000, 0x0000000000000000,
1063  0x0000000000000000, 0x0000000000000000,
1064  0x0000000000000000, 0x0000000000000000,
1065  0x0000000000000000, 0x0000000000000000,
1066  0x0000000000000000, 0x0000000000000000,
1067  0x0000000000000000, 0x0000000000000000,
1068  0x0000000000000000, 0x0000000000000000,
1069  0x0000000000000000, 0x0000000000000000,
1070  0x0000000000000000, 0x0000000000000000,
1071  0x0000000000000000, 0x0000000000000000,
1072  0x0000000000000000, 0x0000000000000000,
1073  0x0000000000000000, 0x0000000000000000,
1074  0x0000000000000000, 0x0000000000000000,
1075  0x0000000000000000, 0x0000000000000000,
1076  0x0000000000000000, 0x0000000000000000,
1077  0x0000000000000000, 0x0000000000000000,
1078  0x0000000000000000, 0x0000000000000000,
1079  0x0000000000000000, 0x0000000000000000,
1080  0x0000000000000000, 0x0000000000000000,
1081  0x0000000000000000, 0x0000000000000000,
1082  0x0000000000000000, 0x0000000000000000,
1083  0x0000000000000000, 0x0000000000000000,
1084  0x0000000000000000, 0x0000000000000000,
1085  0x0000000000000000, 0x0000000000000000,
1086  0x0000000000000000, 0x0000000000000000,
1087  0x0000000000000000, 0x0000000000000000,
1088  0x0000000000000000, 0x0000000000000000,
1089  0x0000000000000000, 0x0000000000000000,
1090  0x0000000000000000, 0x0000000000000000,
1091  0x0000000000000000, 0x0000000000000000,
1092  0x0000000000000000, 0x0000000000000000,
1093  0x0000000000000000, 0x0000000000000000,
1094  0x0000000000000000, 0x0000000000000000,
1095  0x0000000000000000, 0x0000000000000000,
1096  0x0000000000000000, 0x0000000000000000,
1097  0x0000000000000000, 0x0000000000000000,
1098  0x0000000000000000, 0x0000000000000000,
1099  0x0000000000000000, 0x0000000000000000,
1100  0x0000000000000000, 0x0000000000000000,
1101  0x0000000000000000, 0x0000000000000000,
1102  0x0000000000000000, 0x0000000000000000,
1103  0x0000000000000000, 0x0000000000000000,
1104  0x0000000000000000, 0x0000000000000000,
1105  0x0000000000000000, 0x0000000000000000,
1106  0x0000000000000000, 0x0000000000000000,
1107  0x0000000000000000, 0x0000000000000000,
1108  0x0000000000000000, 0x0000000000000000,
1109  0x0000000000000000, 0x0000000000000000,
1110  0x0000000000000000, 0x0000000000000000,
1111  0x0000000000000000, 0x0000000000000000,
1112  0x0000000000000000, 0x0000000000000000,
1113  0x0000000000000000, 0x0000000000000000,
1114  0x0000000000000000, 0x0000000000000000,
1115  0x0000000000000000, 0x0000000000000000,
1116  0x0000000000000000, 0x0000000000000000,
1117  0x0000000000000000, 0x0000000000000000,
1118  0x0000000000000000, 0x0000000000000000,
1119  0x0000000000000000, 0x0000000000000000,
1120  0x0000000000000000, 0x0000000000000000,
1121  0x0000000000000000, 0x0000000000000000,
1122  0x0000000000000000, 0x0000000000000000,
1123  0x0000000000000000, 0x0000000000000000,
1124  0x0000000000000000, 0x0000000000000000,
1125  0x0000000000000000, 0x0000000000000000,
1126  0x0000000000000000, 0x0000000000000000,
1127  0x0000000000000000, 0x0000000000000000,
1128  0x0000000000000000, 0x0000000000000000,
1129  0x0000000000000000, 0x0000000000000000,
1130  0x0000000000000000, 0x0000000000000000,
1131  0x0000000000000000, 0x0000000000000000,
1132  0x0000000000000000, 0x0000000000000000,
1133  0x0000000000000000, 0x0000000000000000,
1134  0x0000000000000000, 0x0000000000000000,
1135  0x0000000000000000, 0x0000000000000000,
1136  0x0000000000000000, 0x0000000000000000,
1137  0x0000000000000000, 0x0000000000000000,
1138  0x0000000000000000, 0x0000000000000000,
1139  0x0000000000000000, 0x0000000000000000,
1140  0x0000000000000000, 0x0000000000000000,
1141  0x0000000000000000, 0x0000000000000000,
1142  0x0000000000000000, 0x0000000000000000,
1143  0x0000000000000000, 0x0000000000000000,
1144  0x0000000000000000, 0x0000000000000000,
1145  0x0000000000000000, 0x0000000000000000,
1146  0x0000000000000000, 0x0000000000000000,
1147  0x0000000000000000, 0x0000000000000000,
1148  0x0000000000000000, 0x0000000000000000,
1149  0x0000000000000000, 0x0000000000000000,
1150  0x0000000000000000, 0x0000000000000000,
1151  0x0000000000000000, 0x0000000000000000,
1152  0x0000000000000000, 0x0000000000000000,
1153  0x0000000000000000, 0x0000000000000000,
1154  0x0000000000000000, 0x0000000000000000,
1155  0x0000000000000000, 0x0000000000000000,
1156  0x0000000000000000, 0x0000000000000000,
1157  0x0000000000000000, 0x0000000000000000,
1158  0x0000000000000000, 0x0000000000000000,
1159  0x0000000000000000, 0x0000000000000000,
1160  0x0000000000000000, 0x0000000000000000,
1161  0x0000000000000000, 0x0000000000000000,
1162  0x0000000000000000, 0x0000000000000000,
1163  0x0000000000000000, 0x0000000000000000,
1164  0x0000000000000000, 0x0000000000000000,
1165  0x0000000000000000, 0x0000000000000000,
1166  0x0000000000000000, 0x0000000000000000,
1167  0x0000000000000000, 0x0000000000000000,
1168  0x0000000000000000, 0x0000000000000000,
1169  0x0000000000000000, 0x0000000000000000,
1170  0x0000000000000000, 0x0000000000000000,
1171  0x0000000000000000, 0x0000000000000000,
1172  0x0000000000000000, 0x0000000000000000,
1173  0x0000000000000000, 0x0000000000000000,
1174  0x0000000000000000, 0x0000000000000000,
1175  0x0000000000000000, 0x0000000000000000,
1176  0x0000000000000000, 0x0000000000000000,
1177  0x0000000000000000, 0x0000000000000000,
1178  0x0000000000000000, 0x0000000000000000,
1179  0x0000000000000000, 0x0000000000000000,
1180  0x0000000000000000, 0x0000000000000000,
1181  0x0000000000000000, 0x0000000000000000,
1182  0x0000000000000000, 0x0000000000000000,
1183  0x0000000000000000, 0x0000000000000000,
1184  0x0000000000000000, 0x0000000000000000,
1185  0x0000000000000000, 0x0000000000000000,
1186  0x0000000000000000, 0x0000000000000000,
1187  0x0000000000000000, 0x0000000000000000,
1188  0x0000000000000000, 0x0000000000000000,
1189  0x0000000000000000, 0x0000000000000000,
1190  0x0000000000000000, 0x0000000000000000,
1191  0x0000000000000000, 0x0000000000000000,
1192  0x0000000000000000, 0x0000000000000000,
1193  0x0000000000000000, 0x0000000000000000,
1194  0x0000000000000000, 0x0000000000000000,
1195  0x0000000000000000, 0x0000000000000000,
1196  0x0000000000000000, 0x0000000000000000,
1197  0x0000000000000000, 0x0000000000000000,
1198  0x0000000000000000, 0x0000000000000000,
1199  0x0000000000000000, 0x0000000000000000,
1200  0x0000000000000000, 0x0000000000000000,
1201  0x0000000000000000, 0x0000000000000000,
1202  0x0000000000000000, 0x0000000000000000,
1203  0x0000000000000000, 0x0000000000000000,
1204  0x0000000000000000, 0x0000000000000000,
1205  0x0000000000000000, 0x0000000000000000,
1206  0x0000000000000000, 0x0000000000000000,
1207  0x0000000000000000, 0x0000000000000000,
1208  0x0000000000000000, 0x0000000000000000,
1209  0x0000000000000000, 0x0000000000000000,
1210  0x0000000000000000, 0x0000000000000000,
1211  0x0000000000000000, 0x0000000000000000,
1212  0x0000000000000000, 0x0000000000000000,
1213  0x0000000000000000, 0x0000000000000000,
1214  0x0000000000000000, 0x0000000000000000,
1215  0x0000000000000000, 0x0000000000000000,
1216  0x0000000000000000, 0x0000000000000000,
1217  0x0000000000000000, 0x0000000000000000,
1218  0x0000000000000000, 0x0000000000000000,
1219  0x0000000000000000, 0x0000000000000000,
1220  0x0000000000000000, 0x0000000000000000,
1221  0x0000000000000000, 0x0000000000000000,
1222  0x0000000000000000, 0x0000000000000000,
1223  0x0000000000000000, 0x0000000000000000,
1224  0x0000000000000000, 0x0000000000000000,
1225  0x0000000000000000, 0x0000000000000000,
1226  0x0000000000000000, 0x0000000000000000,
1227  0x0000000000000000, 0x0000000000000000,
1228  0x0000000000000000, 0x0000000000000000,
1229  0x0000000000000000, 0x0000000000000000,
1230  0x0000000000000000, 0x0000000000000000,
1231  0x0000000000000000, 0x0000000000000000,
1232  0x0000000000000000, 0x0000000000000000,
1233  0x0000000000000000, 0x0000000000000000,
1234  0x0000000000000000, 0x0000000000000000,
1235  0x0000000000000000, 0x0000000000000000,
1236  0x0000000000000000, 0x0000000000000000,
1237  0x0000000000000000, 0x0000000000000000,
1238  0x0000000000000000, 0x0000000000000000,
1239  0x0000000000000000, 0x0000000000000000,
1240  0x0000000000000000, 0x0000000000000000,
1241  0x0000000000000000, 0x0000000000000000,
1242  0x0000000000000000, 0x0000000000000000,
1243  0x0000000000000000, 0x0000000000000000,
1244  0x0000000000000000, 0x0000000000000000,
1245  0x0000000000000000, 0x0000000000000000,
1246  0x0000000000000000, 0x0000000000000000,
1247  0x0000000000000000, 0x0000000000000000,
1248  0x0000000000000000, 0x0000000000000000,
1249  0x0000000000000000, 0x0000000000000000,
1250  0x0000000000000000, 0x0000000000000000,
1251  0x0000000000000000, 0x0000000000000000,
1252  0x0000000000000000, 0x0000000000000000,
1253  0x0000000000000000, 0x0000000000000000,
1254  0x0000000000000000, 0x0000000000000000,
1255  0x0000000000000000, 0x0000000000000000,
1256  0x0000000000000000, 0x0000000000000000,
1257  0x0000000000000000, 0x0000000000000000,
1258  0x0000000000000000, 0x0000000000000000,
1259  0x0000000000000000, 0x0000000000000000,
1260  0x0000000000000000, 0x0000000000000000,
1261  0x0000000000000000, 0x0000000000000000,
1262  0x0000000000000000, 0x0000000000000000,
1263  0x0000000000000000, 0x0000000000000000,
1264  0x0000000000000000, 0x0000000000000000,
1265  0x0000000000000000, 0x0000000000000000,
1266  0x0000000000000000, 0x0000000000000000,
1267  0x0000000000000000, 0x0000000000000000,
1268  0x0000000000000000, 0x0000000000000000,
1269  0x0000000000000000, 0x0000000000000000,
1270  0x0000000000000000, 0x0000000000000000,
1271  0x0000000000000000, 0x0000000000000000,
1272  0x0000000000000000, 0x0000000000000000,
1273  0x0000000000000000, 0x0000000000000000,
1274  0x0000000000000000, 0x0000000000000000,
1275  0x0000000000000000, 0x0000000000000000,
1276  0x0000000000000000, 0x0000000000000000,
1277  0x0000000000000000, 0x0000000000000000,
1278  0x0000000000000000, 0x0000000000000000,
1279  0x0000000000000000, 0x0000000000000000,
1280  0x0000000000000000, 0x0000000000000000,
1281  0x0000000000000000, 0x0000000000000000,
1282  0x0000000000000000, 0x0000000000000000,
1283  0x0000000000000000, 0x0000000000000000,
1284  0x0000000000000000, 0x0000000000000000,
1285  0x0000000000000000, 0x0000000000000000,
1286  0x0000000000000000, 0x0000000000000000,
1287  0x0000000000000000, 0x0000000000000000,
1288  0x0000000000000000, 0x0000000000000000,
1289  0x0000000000000000, 0x0000000000000000,
1290  0x0000000000000000, 0x0000000000000000,
1291  0x0000000000000000, 0x0000000000000000,
1292  0x0000000000000000, 0x0000000000000000,
1293  0x0000000000000000, 0x0000000000000000,
1294  0x0000000000000000, 0x0000000000000000,
1295  0x0000000000000000, 0x0000000000000000,
1296  0x0000000000000000, 0x0000000000000000,
1297  0x0000000000000000, 0x0000000000000000,
1298  0x0000000000000000, 0x0000000000000000,
1299  0x0000000000000000, 0x0000000000000000,
1300  0x0000000000000000, 0x0000000000000000,
1301  0x0000000000000000, 0x0000000000000000,
1302  0x0000000000000000, 0x0000000000000000,
1303  0x0000000000000000, 0x0000000000000000,
1304  0x0000000000000000, 0x0000000000000000,
1305  0x0000000000000000, 0x0000000000000000,
1306  0x0000000000000000, 0x0000000000000000,
1307  0x0000000000000000, 0x0000000000000000,
1308  0x0000000000000000, 0x0000000000000000,
1309  0x0000000000000000, 0x0000000000000000,
1310  0x0000000000000000, 0x0000000000000000,
1311  0x0000000000000000, 0x0000000000000000,
1312  0x0000000000000000, 0x0000000000000000,
1313  0x0000000000000000, 0x0000000000000000,
1314  0x0000000000000000, 0x0000000000000000,
1315  0x0000000000000000, 0x0000000000000000,
1316  0x0000000000000000, 0x0000000000000000,
1317  0x0000000000000000, 0x0000000000000000,
1318};
1319const unsigned kExpectedCount_NEON_sqshrun_2S_2OPIMM = 1280;
1320
1321#endif  // VIXL_SIM_SQSHRUN_2S_2OPIMM_TRACE_AARCH64_H_
1322