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_USUBL2_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_USUBL2_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_usubl2_2D[] = {
38  0x0000000000000000, 0x0000000000000000,
39  0x00000000007ffd00, 0xffffffffffffffff,
40  0x00000000007ffcff, 0xfffffffffffffffe,
41  0x00000000007ffcfe, 0xffffffffffffffe0,
42  0x00000000007ffce0, 0xffffffffffffff83,
43  0x00000000007ffc83, 0xffffffffffffff82,
44  0x00000000007ffc82, 0xffffffffffffff81,
45  0x00000000007ffc81, 0xffffffffffff8003,
46  0x00000000007f7d03, 0xffffffffffff8002,
47  0x00000000007f7d02, 0xffffffffffff8001,
48  0x00000000007f7d01, 0xffffffffcccccccd,
49  0xffffffffcd4cc9cd, 0xffffffffaaaaaaab,
50  0xffffffffab2aa7ab, 0xffffffff80000003,
51  0xffffffff807ffd03, 0xffffffff80000002,
52  0xffffffff807ffd02, 0xffffffff80000001,
53  0xffffffff807ffd01, 0xffffffff80000000,
54  0xffffffff807ffd00, 0xffffffff7fffffff,
55  0xffffffff807ffcff, 0xffffffff55555556,
56  0xffffffff55d55256, 0xffffffff33333334,
57  0xffffffff33b33034, 0xffffffff00008000,
58  0xffffffff00807d00, 0xffffffff00007fff,
59  0xffffffff00807cff, 0xffffffff00007ffe,
60  0xffffffff00807cfe, 0xffffffff00007ffd,
61  0xffffffff00807cfd, 0xffffffff00000080,
62  0xffffffff007ffd80, 0xffffffff0000007f,
63  0xffffffff007ffd7f, 0xffffffff0000007e,
64  0xffffffff007ffd7e, 0xffffffff0000007d,
65  0xffffffff007ffd7d, 0xffffffff00000020,
66  0xffffffff007ffd20, 0xffffffff00000003,
67  0xffffffff007ffd03, 0xffffffff00000002,
68  0xffffffff007ffd02, 0xffffffff00000001,
69  0xffffffff00000001, 0x0000000000000001,
70  0x0000000000000000, 0x0000000000000000,
71  0xffffffffffffffff, 0xffffffffffffffff,
72  0xfffffffffffffffe, 0xffffffffffffffe1,
73  0xffffffffffffffe0, 0xffffffffffffff84,
74  0xffffffffffffff83, 0xffffffffffffff83,
75  0xffffffffffffff82, 0xffffffffffffff82,
76  0xffffffffffffff81, 0xffffffffffff8004,
77  0xffffffffffff8003, 0xffffffffffff8003,
78  0xffffffffffff8002, 0xffffffffffff8002,
79  0xffffffffffff8001, 0xffffffffccccccce,
80  0xffffffffcccccccd, 0xffffffffaaaaaaac,
81  0xffffffffaaaaaaab, 0xffffffff80000004,
82  0xffffffff80000003, 0xffffffff80000003,
83  0xffffffff80000002, 0xffffffff80000002,
84  0xffffffff80000001, 0xffffffff80000001,
85  0xffffffff80000000, 0xffffffff80000000,
86  0xffffffff7fffffff, 0xffffffff55555557,
87  0xffffffff55555556, 0xffffffff33333335,
88  0xffffffff33333334, 0xffffffff00008001,
89  0xffffffff00008000, 0xffffffff00008000,
90  0xffffffff00007fff, 0xffffffff00007fff,
91  0xffffffff00007ffe, 0xffffffff00007ffe,
92  0xffffffff00007ffd, 0xffffffff00000081,
93  0xffffffff00000080, 0xffffffff00000080,
94  0xffffffff0000007f, 0xffffffff0000007f,
95  0xffffffff0000007e, 0xffffffff0000007e,
96  0xffffffff0000007d, 0xffffffff00000021,
97  0xffffffff00000020, 0xffffffff00000004,
98  0xffffffff00000003, 0xffffffff00000003,
99  0xffffffff00000002, 0xffffffff00000002,
100  0xffffffff00000002, 0x0000000000000002,
101  0x0000000000000001, 0x0000000000000001,
102  0x0000000000000000, 0x0000000000000000,
103  0xffffffffffffffff, 0xffffffffffffffe2,
104  0xffffffffffffffe1, 0xffffffffffffff85,
105  0xffffffffffffff84, 0xffffffffffffff84,
106  0xffffffffffffff83, 0xffffffffffffff83,
107  0xffffffffffffff82, 0xffffffffffff8005,
108  0xffffffffffff8004, 0xffffffffffff8004,
109  0xffffffffffff8003, 0xffffffffffff8003,
110  0xffffffffffff8002, 0xffffffffcccccccf,
111  0xffffffffccccccce, 0xffffffffaaaaaaad,
112  0xffffffffaaaaaaac, 0xffffffff80000005,
113  0xffffffff80000004, 0xffffffff80000004,
114  0xffffffff80000003, 0xffffffff80000003,
115  0xffffffff80000002, 0xffffffff80000002,
116  0xffffffff80000001, 0xffffffff80000001,
117  0xffffffff80000000, 0xffffffff55555558,
118  0xffffffff55555557, 0xffffffff33333336,
119  0xffffffff33333335, 0xffffffff00008002,
120  0xffffffff00008001, 0xffffffff00008001,
121  0xffffffff00008000, 0xffffffff00008000,
122  0xffffffff00007fff, 0xffffffff00007fff,
123  0xffffffff00007ffe, 0xffffffff00000082,
124  0xffffffff00000081, 0xffffffff00000081,
125  0xffffffff00000080, 0xffffffff00000080,
126  0xffffffff0000007f, 0xffffffff0000007f,
127  0xffffffff0000007e, 0xffffffff00000022,
128  0xffffffff00000021, 0xffffffff00000005,
129  0xffffffff00000004, 0xffffffff00000004,
130  0xffffffff00000003, 0xffffffff00000003,
131  0xffffffff00000003, 0x0000000000000020,
132  0x0000000000000002, 0x000000000000001f,
133  0x0000000000000001, 0x000000000000001e,
134  0x0000000000000000, 0x0000000000000000,
135  0xffffffffffffffe2, 0xffffffffffffffa3,
136  0xffffffffffffff85, 0xffffffffffffffa2,
137  0xffffffffffffff84, 0xffffffffffffffa1,
138  0xffffffffffffff83, 0xffffffffffff8023,
139  0xffffffffffff8005, 0xffffffffffff8022,
140  0xffffffffffff8004, 0xffffffffffff8021,
141  0xffffffffffff8003, 0xffffffffcccccced,
142  0xffffffffcccccccf, 0xffffffffaaaaaacb,
143  0xffffffffaaaaaaad, 0xffffffff80000023,
144  0xffffffff80000005, 0xffffffff80000022,
145  0xffffffff80000004, 0xffffffff80000021,
146  0xffffffff80000003, 0xffffffff80000020,
147  0xffffffff80000002, 0xffffffff8000001f,
148  0xffffffff80000001, 0xffffffff55555576,
149  0xffffffff55555558, 0xffffffff33333354,
150  0xffffffff33333336, 0xffffffff00008020,
151  0xffffffff00008002, 0xffffffff0000801f,
152  0xffffffff00008001, 0xffffffff0000801e,
153  0xffffffff00008000, 0xffffffff0000801d,
154  0xffffffff00007fff, 0xffffffff000000a0,
155  0xffffffff00000082, 0xffffffff0000009f,
156  0xffffffff00000081, 0xffffffff0000009e,
157  0xffffffff00000080, 0xffffffff0000009d,
158  0xffffffff0000007f, 0xffffffff00000040,
159  0xffffffff00000022, 0xffffffff00000023,
160  0xffffffff00000005, 0xffffffff00000022,
161  0xffffffff00000004, 0xffffffff00000021,
162  0xffffffff00000021, 0x000000000000007d,
163  0x0000000000000020, 0x000000000000007c,
164  0x000000000000001f, 0x000000000000007b,
165  0x000000000000001e, 0x000000000000005d,
166  0x0000000000000000, 0x0000000000000000,
167  0xffffffffffffffa3, 0xffffffffffffffff,
168  0xffffffffffffffa2, 0xfffffffffffffffe,
169  0xffffffffffffffa1, 0xffffffffffff8080,
170  0xffffffffffff8023, 0xffffffffffff807f,
171  0xffffffffffff8022, 0xffffffffffff807e,
172  0xffffffffffff8021, 0xffffffffcccccd4a,
173  0xffffffffcccccced, 0xffffffffaaaaab28,
174  0xffffffffaaaaaacb, 0xffffffff80000080,
175  0xffffffff80000023, 0xffffffff8000007f,
176  0xffffffff80000022, 0xffffffff8000007e,
177  0xffffffff80000021, 0xffffffff8000007d,
178  0xffffffff80000020, 0xffffffff8000007c,
179  0xffffffff8000001f, 0xffffffff555555d3,
180  0xffffffff55555576, 0xffffffff333333b1,
181  0xffffffff33333354, 0xffffffff0000807d,
182  0xffffffff00008020, 0xffffffff0000807c,
183  0xffffffff0000801f, 0xffffffff0000807b,
184  0xffffffff0000801e, 0xffffffff0000807a,
185  0xffffffff0000801d, 0xffffffff000000fd,
186  0xffffffff000000a0, 0xffffffff000000fc,
187  0xffffffff0000009f, 0xffffffff000000fb,
188  0xffffffff0000009e, 0xffffffff000000fa,
189  0xffffffff0000009d, 0xffffffff0000009d,
190  0xffffffff00000040, 0xffffffff00000080,
191  0xffffffff00000023, 0xffffffff0000007f,
192  0xffffffff00000022, 0xffffffff0000007e,
193  0xffffffff0000007e, 0x000000000000007e,
194  0x000000000000007d, 0x000000000000007d,
195  0x000000000000007c, 0x000000000000007c,
196  0x000000000000007b, 0x000000000000005e,
197  0x000000000000005d, 0x0000000000000001,
198  0x0000000000000000, 0x0000000000000000,
199  0xffffffffffffffff, 0xffffffffffffffff,
200  0xfffffffffffffffe, 0xffffffffffff8081,
201  0xffffffffffff8080, 0xffffffffffff8080,
202  0xffffffffffff807f, 0xffffffffffff807f,
203  0xffffffffffff807e, 0xffffffffcccccd4b,
204  0xffffffffcccccd4a, 0xffffffffaaaaab29,
205  0xffffffffaaaaab28, 0xffffffff80000081,
206  0xffffffff80000080, 0xffffffff80000080,
207  0xffffffff8000007f, 0xffffffff8000007f,
208  0xffffffff8000007e, 0xffffffff8000007e,
209  0xffffffff8000007d, 0xffffffff8000007d,
210  0xffffffff8000007c, 0xffffffff555555d4,
211  0xffffffff555555d3, 0xffffffff333333b2,
212  0xffffffff333333b1, 0xffffffff0000807e,
213  0xffffffff0000807d, 0xffffffff0000807d,
214  0xffffffff0000807c, 0xffffffff0000807c,
215  0xffffffff0000807b, 0xffffffff0000807b,
216  0xffffffff0000807a, 0xffffffff000000fe,
217  0xffffffff000000fd, 0xffffffff000000fd,
218  0xffffffff000000fc, 0xffffffff000000fc,
219  0xffffffff000000fb, 0xffffffff000000fb,
220  0xffffffff000000fa, 0xffffffff0000009e,
221  0xffffffff0000009d, 0xffffffff00000081,
222  0xffffffff00000080, 0xffffffff00000080,
223  0xffffffff0000007f, 0xffffffff0000007f,
224  0xffffffff0000007f, 0x000000000000007f,
225  0x000000000000007e, 0x000000000000007e,
226  0x000000000000007d, 0x000000000000007d,
227  0x000000000000007c, 0x000000000000005f,
228  0x000000000000005e, 0x0000000000000002,
229  0x0000000000000001, 0x0000000000000001,
230  0x0000000000000000, 0x0000000000000000,
231  0xffffffffffffffff, 0xffffffffffff8082,
232  0xffffffffffff8081, 0xffffffffffff8081,
233  0xffffffffffff8080, 0xffffffffffff8080,
234  0xffffffffffff807f, 0xffffffffcccccd4c,
235  0xffffffffcccccd4b, 0xffffffffaaaaab2a,
236  0xffffffffaaaaab29, 0xffffffff80000082,
237  0xffffffff80000081, 0xffffffff80000081,
238  0xffffffff80000080, 0xffffffff80000080,
239  0xffffffff8000007f, 0xffffffff8000007f,
240  0xffffffff8000007e, 0xffffffff8000007e,
241  0xffffffff8000007d, 0xffffffff555555d5,
242  0xffffffff555555d4, 0xffffffff333333b3,
243  0xffffffff333333b2, 0xffffffff0000807f,
244  0xffffffff0000807e, 0xffffffff0000807e,
245  0xffffffff0000807d, 0xffffffff0000807d,
246  0xffffffff0000807c, 0xffffffff0000807c,
247  0xffffffff0000807b, 0xffffffff000000ff,
248  0xffffffff000000fe, 0xffffffff000000fe,
249  0xffffffff000000fd, 0xffffffff000000fd,
250  0xffffffff000000fc, 0xffffffff000000fc,
251  0xffffffff000000fb, 0xffffffff0000009f,
252  0xffffffff0000009e, 0xffffffff00000082,
253  0xffffffff00000081, 0xffffffff00000081,
254  0xffffffff00000080, 0xffffffff00000080,
255  0xffffffff00000080, 0x0000000000007ffd,
256  0x000000000000007f, 0x0000000000007ffc,
257  0x000000000000007e, 0x0000000000007ffb,
258  0x000000000000007d, 0x0000000000007fdd,
259  0x000000000000005f, 0x0000000000007f80,
260  0x0000000000000002, 0x0000000000007f7f,
261  0x0000000000000001, 0x0000000000007f7e,
262  0x0000000000000000, 0x0000000000000000,
263  0xffffffffffff8082, 0xffffffffffffffff,
264  0xffffffffffff8081, 0xfffffffffffffffe,
265  0xffffffffffff8080, 0xffffffffcccd4cca,
266  0xffffffffcccccd4c, 0xffffffffaaab2aa8,
267  0xffffffffaaaaab2a, 0xffffffff80008000,
268  0xffffffff80000082, 0xffffffff80007fff,
269  0xffffffff80000081, 0xffffffff80007ffe,
270  0xffffffff80000080, 0xffffffff80007ffd,
271  0xffffffff8000007f, 0xffffffff80007ffc,
272  0xffffffff8000007e, 0xffffffff5555d553,
273  0xffffffff555555d5, 0xffffffff3333b331,
274  0xffffffff333333b3, 0xffffffff0000fffd,
275  0xffffffff0000807f, 0xffffffff0000fffc,
276  0xffffffff0000807e, 0xffffffff0000fffb,
277  0xffffffff0000807d, 0xffffffff0000fffa,
278  0xffffffff0000807c, 0xffffffff0000807d,
279  0xffffffff000000ff, 0xffffffff0000807c,
280  0xffffffff000000fe, 0xffffffff0000807b,
281  0xffffffff000000fd, 0xffffffff0000807a,
282  0xffffffff000000fc, 0xffffffff0000801d,
283  0xffffffff0000009f, 0xffffffff00008000,
284  0xffffffff00000082, 0xffffffff00007fff,
285  0xffffffff00000081, 0xffffffff00007ffe,
286  0xffffffff00007ffe, 0x0000000000007ffe,
287  0x0000000000007ffd, 0x0000000000007ffd,
288  0x0000000000007ffc, 0x0000000000007ffc,
289  0x0000000000007ffb, 0x0000000000007fde,
290  0x0000000000007fdd, 0x0000000000007f81,
291  0x0000000000007f80, 0x0000000000007f80,
292  0x0000000000007f7f, 0x0000000000007f7f,
293  0x0000000000007f7e, 0x0000000000000001,
294  0x0000000000000000, 0x0000000000000000,
295  0xffffffffffffffff, 0xffffffffffffffff,
296  0xfffffffffffffffe, 0xffffffffcccd4ccb,
297  0xffffffffcccd4cca, 0xffffffffaaab2aa9,
298  0xffffffffaaab2aa8, 0xffffffff80008001,
299  0xffffffff80008000, 0xffffffff80008000,
300  0xffffffff80007fff, 0xffffffff80007fff,
301  0xffffffff80007ffe, 0xffffffff80007ffe,
302  0xffffffff80007ffd, 0xffffffff80007ffd,
303  0xffffffff80007ffc, 0xffffffff5555d554,
304  0xffffffff5555d553, 0xffffffff3333b332,
305  0xffffffff3333b331, 0xffffffff0000fffe,
306  0xffffffff0000fffd, 0xffffffff0000fffd,
307  0xffffffff0000fffc, 0xffffffff0000fffc,
308  0xffffffff0000fffb, 0xffffffff0000fffb,
309  0xffffffff0000fffa, 0xffffffff0000807e,
310  0xffffffff0000807d, 0xffffffff0000807d,
311  0xffffffff0000807c, 0xffffffff0000807c,
312  0xffffffff0000807b, 0xffffffff0000807b,
313  0xffffffff0000807a, 0xffffffff0000801e,
314  0xffffffff0000801d, 0xffffffff00008001,
315  0xffffffff00008000, 0xffffffff00008000,
316  0xffffffff00007fff, 0xffffffff00007fff,
317  0xffffffff00007fff, 0x0000000000007fff,
318  0x0000000000007ffe, 0x0000000000007ffe,
319  0x0000000000007ffd, 0x0000000000007ffd,
320  0x0000000000007ffc, 0x0000000000007fdf,
321  0x0000000000007fde, 0x0000000000007f82,
322  0x0000000000007f81, 0x0000000000007f81,
323  0x0000000000007f80, 0x0000000000007f80,
324  0x0000000000007f7f, 0x0000000000000002,
325  0x0000000000000001, 0x0000000000000001,
326  0x0000000000000000, 0x0000000000000000,
327  0xffffffffffffffff, 0xffffffffcccd4ccc,
328  0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
329  0xffffffffaaab2aa9, 0xffffffff80008002,
330  0xffffffff80008001, 0xffffffff80008001,
331  0xffffffff80008000, 0xffffffff80008000,
332  0xffffffff80007fff, 0xffffffff80007fff,
333  0xffffffff80007ffe, 0xffffffff80007ffe,
334  0xffffffff80007ffd, 0xffffffff5555d555,
335  0xffffffff5555d554, 0xffffffff3333b333,
336  0xffffffff3333b332, 0xffffffff0000ffff,
337  0xffffffff0000fffe, 0xffffffff0000fffe,
338  0xffffffff0000fffd, 0xffffffff0000fffd,
339  0xffffffff0000fffc, 0xffffffff0000fffc,
340  0xffffffff0000fffb, 0xffffffff0000807f,
341  0xffffffff0000807e, 0xffffffff0000807e,
342  0xffffffff0000807d, 0xffffffff0000807d,
343  0xffffffff0000807c, 0xffffffff0000807c,
344  0xffffffff0000807b, 0xffffffff0000801f,
345  0xffffffff0000801e, 0xffffffff00008002,
346  0xffffffff00008001, 0xffffffff00008001,
347  0xffffffff00008000, 0xffffffff00008000,
348  0xffffffff00008000, 0x0000000033333333,
349  0x0000000000007fff, 0x0000000033333332,
350  0x0000000000007ffe, 0x0000000033333331,
351  0x0000000000007ffd, 0x0000000033333313,
352  0x0000000000007fdf, 0x00000000333332b6,
353  0x0000000000007f82, 0x00000000333332b5,
354  0x0000000000007f81, 0x00000000333332b4,
355  0x0000000000007f80, 0x000000003332b336,
356  0x0000000000000002, 0x000000003332b335,
357  0x0000000000000001, 0x000000003332b334,
358  0x0000000000000000, 0x0000000000000000,
359  0xffffffffcccd4ccc, 0xffffffffddddddde,
360  0xffffffffaaab2aaa, 0xffffffffb3333336,
361  0xffffffff80008002, 0xffffffffb3333335,
362  0xffffffff80008001, 0xffffffffb3333334,
363  0xffffffff80008000, 0xffffffffb3333333,
364  0xffffffff80007fff, 0xffffffffb3333332,
365  0xffffffff80007ffe, 0xffffffff88888889,
366  0xffffffff5555d555, 0xffffffff66666667,
367  0xffffffff3333b333, 0xffffffff3333b333,
368  0xffffffff0000ffff, 0xffffffff3333b332,
369  0xffffffff0000fffe, 0xffffffff3333b331,
370  0xffffffff0000fffd, 0xffffffff3333b330,
371  0xffffffff0000fffc, 0xffffffff333333b3,
372  0xffffffff0000807f, 0xffffffff333333b2,
373  0xffffffff0000807e, 0xffffffff333333b1,
374  0xffffffff0000807d, 0xffffffff333333b0,
375  0xffffffff0000807c, 0xffffffff33333353,
376  0xffffffff0000801f, 0xffffffff33333336,
377  0xffffffff00008002, 0xffffffff33333335,
378  0xffffffff00008001, 0xffffffff33333334,
379  0xffffffff33333334, 0x0000000055555555,
380  0x0000000033333333, 0x0000000055555554,
381  0x0000000033333332, 0x0000000055555553,
382  0x0000000033333331, 0x0000000055555535,
383  0x0000000033333313, 0x00000000555554d8,
384  0x00000000333332b6, 0x00000000555554d7,
385  0x00000000333332b5, 0x00000000555554d6,
386  0x00000000333332b4, 0x000000005554d558,
387  0x000000003332b336, 0x000000005554d557,
388  0x000000003332b335, 0x000000005554d556,
389  0x000000003332b334, 0x0000000022222222,
390  0x0000000000000000, 0x0000000000000000,
391  0xffffffffddddddde, 0xffffffffd5555558,
392  0xffffffffb3333336, 0xffffffffd5555557,
393  0xffffffffb3333335, 0xffffffffd5555556,
394  0xffffffffb3333334, 0xffffffffd5555555,
395  0xffffffffb3333333, 0xffffffffd5555554,
396  0xffffffffb3333332, 0xffffffffaaaaaaab,
397  0xffffffff88888889, 0xffffffff88888889,
398  0xffffffff66666667, 0xffffffff5555d555,
399  0xffffffff3333b333, 0xffffffff5555d554,
400  0xffffffff3333b332, 0xffffffff5555d553,
401  0xffffffff3333b331, 0xffffffff5555d552,
402  0xffffffff3333b330, 0xffffffff555555d5,
403  0xffffffff333333b3, 0xffffffff555555d4,
404  0xffffffff333333b2, 0xffffffff555555d3,
405  0xffffffff333333b1, 0xffffffff555555d2,
406  0xffffffff333333b0, 0xffffffff55555575,
407  0xffffffff33333353, 0xffffffff55555558,
408  0xffffffff33333336, 0xffffffff55555557,
409  0xffffffff33333335, 0xffffffff55555556,
410  0xffffffff55555556, 0x000000007ffffffd,
411  0x0000000055555555, 0x000000007ffffffc,
412  0x0000000055555554, 0x000000007ffffffb,
413  0x0000000055555553, 0x000000007fffffdd,
414  0x0000000055555535, 0x000000007fffff80,
415  0x00000000555554d8, 0x000000007fffff7f,
416  0x00000000555554d7, 0x000000007fffff7e,
417  0x00000000555554d6, 0x000000007fff8000,
418  0x000000005554d558, 0x000000007fff7fff,
419  0x000000005554d557, 0x000000007fff7ffe,
420  0x000000005554d556, 0x000000004cccccca,
421  0x0000000022222222, 0x000000002aaaaaa8,
422  0x0000000000000000, 0x0000000000000000,
423  0xffffffffd5555558, 0xffffffffffffffff,
424  0xffffffffd5555557, 0xfffffffffffffffe,
425  0xffffffffd5555556, 0xfffffffffffffffd,
426  0xffffffffd5555555, 0xfffffffffffffffc,
427  0xffffffffd5555554, 0xffffffffd5555553,
428  0xffffffffaaaaaaab, 0xffffffffb3333331,
429  0xffffffff88888889, 0xffffffff80007ffd,
430  0xffffffff5555d555, 0xffffffff80007ffc,
431  0xffffffff5555d554, 0xffffffff80007ffb,
432  0xffffffff5555d553, 0xffffffff80007ffa,
433  0xffffffff5555d552, 0xffffffff8000007d,
434  0xffffffff555555d5, 0xffffffff8000007c,
435  0xffffffff555555d4, 0xffffffff8000007b,
436  0xffffffff555555d3, 0xffffffff8000007a,
437  0xffffffff555555d2, 0xffffffff8000001d,
438  0xffffffff55555575, 0xffffffff80000000,
439  0xffffffff55555558, 0xffffffff7fffffff,
440  0xffffffff55555557, 0xffffffff7ffffffe,
441  0xffffffff7ffffffe, 0x000000007ffffffe,
442  0x000000007ffffffd, 0x000000007ffffffd,
443  0x000000007ffffffc, 0x000000007ffffffc,
444  0x000000007ffffffb, 0x000000007fffffde,
445  0x000000007fffffdd, 0x000000007fffff81,
446  0x000000007fffff80, 0x000000007fffff80,
447  0x000000007fffff7f, 0x000000007fffff7f,
448  0x000000007fffff7e, 0x000000007fff8001,
449  0x000000007fff8000, 0x000000007fff8000,
450  0x000000007fff7fff, 0x000000007fff7fff,
451  0x000000007fff7ffe, 0x000000004ccccccb,
452  0x000000004cccccca, 0x000000002aaaaaa9,
453  0x000000002aaaaaa8, 0x0000000000000001,
454  0x0000000000000000, 0x0000000000000000,
455  0xffffffffffffffff, 0xffffffffffffffff,
456  0xfffffffffffffffe, 0xfffffffffffffffe,
457  0xfffffffffffffffd, 0xfffffffffffffffd,
458  0xfffffffffffffffc, 0xffffffffd5555554,
459  0xffffffffd5555553, 0xffffffffb3333332,
460  0xffffffffb3333331, 0xffffffff80007ffe,
461  0xffffffff80007ffd, 0xffffffff80007ffd,
462  0xffffffff80007ffc, 0xffffffff80007ffc,
463  0xffffffff80007ffb, 0xffffffff80007ffb,
464  0xffffffff80007ffa, 0xffffffff8000007e,
465  0xffffffff8000007d, 0xffffffff8000007d,
466  0xffffffff8000007c, 0xffffffff8000007c,
467  0xffffffff8000007b, 0xffffffff8000007b,
468  0xffffffff8000007a, 0xffffffff8000001e,
469  0xffffffff8000001d, 0xffffffff80000001,
470  0xffffffff80000000, 0xffffffff80000000,
471  0xffffffff7fffffff, 0xffffffff7fffffff,
472  0xffffffff7fffffff, 0x000000007fffffff,
473  0x000000007ffffffe, 0x000000007ffffffe,
474  0x000000007ffffffd, 0x000000007ffffffd,
475  0x000000007ffffffc, 0x000000007fffffdf,
476  0x000000007fffffde, 0x000000007fffff82,
477  0x000000007fffff81, 0x000000007fffff81,
478  0x000000007fffff80, 0x000000007fffff80,
479  0x000000007fffff7f, 0x000000007fff8002,
480  0x000000007fff8001, 0x000000007fff8001,
481  0x000000007fff8000, 0x000000007fff8000,
482  0x000000007fff7fff, 0x000000004ccccccc,
483  0x000000004ccccccb, 0x000000002aaaaaaa,
484  0x000000002aaaaaa9, 0x0000000000000002,
485  0x0000000000000001, 0x0000000000000001,
486  0x0000000000000000, 0x0000000000000000,
487  0xffffffffffffffff, 0xffffffffffffffff,
488  0xfffffffffffffffe, 0xfffffffffffffffe,
489  0xfffffffffffffffd, 0xffffffffd5555555,
490  0xffffffffd5555554, 0xffffffffb3333333,
491  0xffffffffb3333332, 0xffffffff80007fff,
492  0xffffffff80007ffe, 0xffffffff80007ffe,
493  0xffffffff80007ffd, 0xffffffff80007ffd,
494  0xffffffff80007ffc, 0xffffffff80007ffc,
495  0xffffffff80007ffb, 0xffffffff8000007f,
496  0xffffffff8000007e, 0xffffffff8000007e,
497  0xffffffff8000007d, 0xffffffff8000007d,
498  0xffffffff8000007c, 0xffffffff8000007c,
499  0xffffffff8000007b, 0xffffffff8000001f,
500  0xffffffff8000001e, 0xffffffff80000002,
501  0xffffffff80000001, 0xffffffff80000001,
502  0xffffffff80000000, 0xffffffff80000000,
503  0xffffffff80000000, 0x0000000080000000,
504  0x000000007fffffff, 0x000000007fffffff,
505  0x000000007ffffffe, 0x000000007ffffffe,
506  0x000000007ffffffd, 0x000000007fffffe0,
507  0x000000007fffffdf, 0x000000007fffff83,
508  0x000000007fffff82, 0x000000007fffff82,
509  0x000000007fffff81, 0x000000007fffff81,
510  0x000000007fffff80, 0x000000007fff8003,
511  0x000000007fff8002, 0x000000007fff8002,
512  0x000000007fff8001, 0x000000007fff8001,
513  0x000000007fff8000, 0x000000004ccccccd,
514  0x000000004ccccccc, 0x000000002aaaaaab,
515  0x000000002aaaaaaa, 0x0000000000000003,
516  0x0000000000000002, 0x0000000000000002,
517  0x0000000000000001, 0x0000000000000001,
518  0x0000000000000000, 0x0000000000000000,
519  0xffffffffffffffff, 0xffffffffffffffff,
520  0xfffffffffffffffe, 0xffffffffd5555556,
521  0xffffffffd5555555, 0xffffffffb3333334,
522  0xffffffffb3333333, 0xffffffff80008000,
523  0xffffffff80007fff, 0xffffffff80007fff,
524  0xffffffff80007ffe, 0xffffffff80007ffe,
525  0xffffffff80007ffd, 0xffffffff80007ffd,
526  0xffffffff80007ffc, 0xffffffff80000080,
527  0xffffffff8000007f, 0xffffffff8000007f,
528  0xffffffff8000007e, 0xffffffff8000007e,
529  0xffffffff8000007d, 0xffffffff8000007d,
530  0xffffffff8000007c, 0xffffffff80000020,
531  0xffffffff8000001f, 0xffffffff80000003,
532  0xffffffff80000002, 0xffffffff80000002,
533  0xffffffff80000001, 0xffffffff80000001,
534  0xffffffff80000001, 0x0000000080000001,
535  0x0000000080000000, 0x0000000080000000,
536  0x000000007fffffff, 0x000000007fffffff,
537  0x000000007ffffffe, 0x000000007fffffe1,
538  0x000000007fffffe0, 0x000000007fffff84,
539  0x000000007fffff83, 0x000000007fffff83,
540  0x000000007fffff82, 0x000000007fffff82,
541  0x000000007fffff81, 0x000000007fff8004,
542  0x000000007fff8003, 0x000000007fff8003,
543  0x000000007fff8002, 0x000000007fff8002,
544  0x000000007fff8001, 0x000000004cccccce,
545  0x000000004ccccccd, 0x000000002aaaaaac,
546  0x000000002aaaaaab, 0x0000000000000004,
547  0x0000000000000003, 0x0000000000000003,
548  0x0000000000000002, 0x0000000000000002,
549  0x0000000000000001, 0x0000000000000001,
550  0x0000000000000000, 0x0000000000000000,
551  0xffffffffffffffff, 0xffffffffd5555557,
552  0xffffffffd5555556, 0xffffffffb3333335,
553  0xffffffffb3333334, 0xffffffff80008001,
554  0xffffffff80008000, 0xffffffff80008000,
555  0xffffffff80007fff, 0xffffffff80007fff,
556  0xffffffff80007ffe, 0xffffffff80007ffe,
557  0xffffffff80007ffd, 0xffffffff80000081,
558  0xffffffff80000080, 0xffffffff80000080,
559  0xffffffff8000007f, 0xffffffff8000007f,
560  0xffffffff8000007e, 0xffffffff8000007e,
561  0xffffffff8000007d, 0xffffffff80000021,
562  0xffffffff80000020, 0xffffffff80000004,
563  0xffffffff80000003, 0xffffffff80000003,
564  0xffffffff80000002, 0xffffffff80000002,
565  0xffffffff80000002, 0x00000000aaaaaaaa,
566  0x0000000080000001, 0x00000000aaaaaaa9,
567  0x0000000080000000, 0x00000000aaaaaaa8,
568  0x000000007fffffff, 0x00000000aaaaaa8a,
569  0x000000007fffffe1, 0x00000000aaaaaa2d,
570  0x000000007fffff84, 0x00000000aaaaaa2c,
571  0x000000007fffff83, 0x00000000aaaaaa2b,
572  0x000000007fffff82, 0x00000000aaaa2aad,
573  0x000000007fff8004, 0x00000000aaaa2aac,
574  0x000000007fff8003, 0x00000000aaaa2aab,
575  0x000000007fff8002, 0x0000000077777777,
576  0x000000004cccccce, 0x0000000055555555,
577  0x000000002aaaaaac, 0x000000002aaaaaad,
578  0x0000000000000004, 0x000000002aaaaaac,
579  0x0000000000000003, 0x000000002aaaaaab,
580  0x0000000000000002, 0x000000002aaaaaaa,
581  0x0000000000000001, 0x000000002aaaaaa9,
582  0x0000000000000000, 0x0000000000000000,
583  0xffffffffd5555557, 0xffffffffddddddde,
584  0xffffffffb3333335, 0xffffffffaaab2aaa,
585  0xffffffff80008001, 0xffffffffaaab2aa9,
586  0xffffffff80008000, 0xffffffffaaab2aa8,
587  0xffffffff80007fff, 0xffffffffaaab2aa7,
588  0xffffffff80007ffe, 0xffffffffaaaaab2a,
589  0xffffffff80000081, 0xffffffffaaaaab29,
590  0xffffffff80000080, 0xffffffffaaaaab28,
591  0xffffffff8000007f, 0xffffffffaaaaab27,
592  0xffffffff8000007e, 0xffffffffaaaaaaca,
593  0xffffffff80000021, 0xffffffffaaaaaaad,
594  0xffffffff80000004, 0xffffffffaaaaaaac,
595  0xffffffff80000003, 0xffffffffaaaaaaab,
596  0xffffffffaaaaaaab, 0x00000000cccccccc,
597  0x00000000aaaaaaaa, 0x00000000cccccccb,
598  0x00000000aaaaaaa9, 0x00000000ccccccca,
599  0x00000000aaaaaaa8, 0x00000000ccccccac,
600  0x00000000aaaaaa8a, 0x00000000cccccc4f,
601  0x00000000aaaaaa2d, 0x00000000cccccc4e,
602  0x00000000aaaaaa2c, 0x00000000cccccc4d,
603  0x00000000aaaaaa2b, 0x00000000cccc4ccf,
604  0x00000000aaaa2aad, 0x00000000cccc4cce,
605  0x00000000aaaa2aac, 0x00000000cccc4ccd,
606  0x00000000aaaa2aab, 0x0000000099999999,
607  0x0000000077777777, 0x0000000077777777,
608  0x0000000055555555, 0x000000004ccccccf,
609  0x000000002aaaaaad, 0x000000004cccccce,
610  0x000000002aaaaaac, 0x000000004ccccccd,
611  0x000000002aaaaaab, 0x000000004ccccccc,
612  0x000000002aaaaaaa, 0x000000004ccccccb,
613  0x000000002aaaaaa9, 0x0000000022222222,
614  0x0000000000000000, 0x0000000000000000,
615  0xffffffffddddddde, 0xffffffffcccd4ccc,
616  0xffffffffaaab2aaa, 0xffffffffcccd4ccb,
617  0xffffffffaaab2aa9, 0xffffffffcccd4cca,
618  0xffffffffaaab2aa8, 0xffffffffcccd4cc9,
619  0xffffffffaaab2aa7, 0xffffffffcccccd4c,
620  0xffffffffaaaaab2a, 0xffffffffcccccd4b,
621  0xffffffffaaaaab29, 0xffffffffcccccd4a,
622  0xffffffffaaaaab28, 0xffffffffcccccd49,
623  0xffffffffaaaaab27, 0xffffffffccccccec,
624  0xffffffffaaaaaaca, 0xffffffffcccccccf,
625  0xffffffffaaaaaaad, 0xffffffffccccccce,
626  0xffffffffaaaaaaac, 0xffffffffcccccccd,
627  0xffffffffcccccccd, 0x00000000ffff8000,
628  0x00000000cccccccc, 0x00000000ffff7fff,
629  0x00000000cccccccb, 0x00000000ffff7ffe,
630  0x00000000ccccccca, 0x00000000ffff7fe0,
631  0x00000000ccccccac, 0x00000000ffff7f83,
632  0x00000000cccccc4f, 0x00000000ffff7f82,
633  0x00000000cccccc4e, 0x00000000ffff7f81,
634  0x00000000cccccc4d, 0x00000000ffff0003,
635  0x00000000cccc4ccf, 0x00000000ffff0002,
636  0x00000000cccc4cce, 0x00000000ffff0001,
637  0x00000000cccc4ccd, 0x00000000cccc4ccd,
638  0x0000000099999999, 0x00000000aaaa2aab,
639  0x0000000077777777, 0x000000007fff8003,
640  0x000000004ccccccf, 0x000000007fff8002,
641  0x000000004cccccce, 0x000000007fff8001,
642  0x000000004ccccccd, 0x000000007fff8000,
643  0x000000004ccccccc, 0x000000007fff7fff,
644  0x000000004ccccccb, 0x000000005554d556,
645  0x0000000022222222, 0x000000003332b334,
646  0x0000000000000000, 0x0000000000000000,
647  0xffffffffcccd4ccc, 0xffffffffffffffff,
648  0xffffffffcccd4ccb, 0xfffffffffffffffe,
649  0xffffffffcccd4cca, 0xfffffffffffffffd,
650  0xffffffffcccd4cc9, 0xffffffffffff8080,
651  0xffffffffcccccd4c, 0xffffffffffff807f,
652  0xffffffffcccccd4b, 0xffffffffffff807e,
653  0xffffffffcccccd4a, 0xffffffffffff807d,
654  0xffffffffcccccd49, 0xffffffffffff8020,
655  0xffffffffccccccec, 0xffffffffffff8003,
656  0xffffffffcccccccf, 0xffffffffffff8002,
657  0xffffffffccccccce, 0xffffffffffff8001,
658  0xffffffffffff8001, 0x00000000ffff8001,
659  0x00000000ffff8000, 0x00000000ffff8000,
660  0x00000000ffff7fff, 0x00000000ffff7fff,
661  0x00000000ffff7ffe, 0x00000000ffff7fe1,
662  0x00000000ffff7fe0, 0x00000000ffff7f84,
663  0x00000000ffff7f83, 0x00000000ffff7f83,
664  0x00000000ffff7f82, 0x00000000ffff7f82,
665  0x00000000ffff7f81, 0x00000000ffff0004,
666  0x00000000ffff0003, 0x00000000ffff0003,
667  0x00000000ffff0002, 0x00000000ffff0002,
668  0x00000000ffff0001, 0x00000000cccc4cce,
669  0x00000000cccc4ccd, 0x00000000aaaa2aac,
670  0x00000000aaaa2aab, 0x000000007fff8004,
671  0x000000007fff8003, 0x000000007fff8003,
672  0x000000007fff8002, 0x000000007fff8002,
673  0x000000007fff8001, 0x000000007fff8001,
674  0x000000007fff8000, 0x000000007fff8000,
675  0x000000007fff7fff, 0x000000005554d557,
676  0x000000005554d556, 0x000000003332b335,
677  0x000000003332b334, 0x0000000000000001,
678  0x0000000000000000, 0x0000000000000000,
679  0xffffffffffffffff, 0xffffffffffffffff,
680  0xfffffffffffffffe, 0xfffffffffffffffe,
681  0xfffffffffffffffd, 0xffffffffffff8081,
682  0xffffffffffff8080, 0xffffffffffff8080,
683  0xffffffffffff807f, 0xffffffffffff807f,
684  0xffffffffffff807e, 0xffffffffffff807e,
685  0xffffffffffff807d, 0xffffffffffff8021,
686  0xffffffffffff8020, 0xffffffffffff8004,
687  0xffffffffffff8003, 0xffffffffffff8003,
688  0xffffffffffff8002, 0xffffffffffff8002,
689  0xffffffffffff8002, 0x00000000ffff8002,
690  0x00000000ffff8001, 0x00000000ffff8001,
691  0x00000000ffff8000, 0x00000000ffff8000,
692  0x00000000ffff7fff, 0x00000000ffff7fe2,
693  0x00000000ffff7fe1, 0x00000000ffff7f85,
694  0x00000000ffff7f84, 0x00000000ffff7f84,
695  0x00000000ffff7f83, 0x00000000ffff7f83,
696  0x00000000ffff7f82, 0x00000000ffff0005,
697  0x00000000ffff0004, 0x00000000ffff0004,
698  0x00000000ffff0003, 0x00000000ffff0003,
699  0x00000000ffff0002, 0x00000000cccc4ccf,
700  0x00000000cccc4cce, 0x00000000aaaa2aad,
701  0x00000000aaaa2aac, 0x000000007fff8005,
702  0x000000007fff8004, 0x000000007fff8004,
703  0x000000007fff8003, 0x000000007fff8003,
704  0x000000007fff8002, 0x000000007fff8002,
705  0x000000007fff8001, 0x000000007fff8001,
706  0x000000007fff8000, 0x000000005554d558,
707  0x000000005554d557, 0x000000003332b336,
708  0x000000003332b335, 0x0000000000000002,
709  0x0000000000000001, 0x0000000000000001,
710  0x0000000000000000, 0x0000000000000000,
711  0xffffffffffffffff, 0xffffffffffffffff,
712  0xfffffffffffffffe, 0xffffffffffff8082,
713  0xffffffffffff8081, 0xffffffffffff8081,
714  0xffffffffffff8080, 0xffffffffffff8080,
715  0xffffffffffff807f, 0xffffffffffff807f,
716  0xffffffffffff807e, 0xffffffffffff8022,
717  0xffffffffffff8021, 0xffffffffffff8005,
718  0xffffffffffff8004, 0xffffffffffff8004,
719  0xffffffffffff8003, 0xffffffffffff8003,
720  0xffffffffffff8003, 0x00000000ffff8003,
721  0x00000000ffff8002, 0x00000000ffff8002,
722  0x00000000ffff8001, 0x00000000ffff8001,
723  0x00000000ffff8000, 0x00000000ffff7fe3,
724  0x00000000ffff7fe2, 0x00000000ffff7f86,
725  0x00000000ffff7f85, 0x00000000ffff7f85,
726  0x00000000ffff7f84, 0x00000000ffff7f84,
727  0x00000000ffff7f83, 0x00000000ffff0006,
728  0x00000000ffff0005, 0x00000000ffff0005,
729  0x00000000ffff0004, 0x00000000ffff0004,
730  0x00000000ffff0003, 0x00000000cccc4cd0,
731  0x00000000cccc4ccf, 0x00000000aaaa2aae,
732  0x00000000aaaa2aad, 0x000000007fff8006,
733  0x000000007fff8005, 0x000000007fff8005,
734  0x000000007fff8004, 0x000000007fff8004,
735  0x000000007fff8003, 0x000000007fff8003,
736  0x000000007fff8002, 0x000000007fff8002,
737  0x000000007fff8001, 0x000000005554d559,
738  0x000000005554d558, 0x000000003332b337,
739  0x000000003332b336, 0x0000000000000003,
740  0x0000000000000002, 0x0000000000000002,
741  0x0000000000000001, 0x0000000000000001,
742  0x0000000000000000, 0x0000000000000000,
743  0xffffffffffffffff, 0xffffffffffff8083,
744  0xffffffffffff8082, 0xffffffffffff8082,
745  0xffffffffffff8081, 0xffffffffffff8081,
746  0xffffffffffff8080, 0xffffffffffff8080,
747  0xffffffffffff807f, 0xffffffffffff8023,
748  0xffffffffffff8022, 0xffffffffffff8006,
749  0xffffffffffff8005, 0xffffffffffff8005,
750  0xffffffffffff8004, 0xffffffffffff8004,
751  0xffffffffffff8004, 0x00000000ffffff80,
752  0x00000000ffff8003, 0x00000000ffffff7f,
753  0x00000000ffff8002, 0x00000000ffffff7e,
754  0x00000000ffff8001, 0x00000000ffffff60,
755  0x00000000ffff7fe3, 0x00000000ffffff03,
756  0x00000000ffff7f86, 0x00000000ffffff02,
757  0x00000000ffff7f85, 0x00000000ffffff01,
758  0x00000000ffff7f84, 0x00000000ffff7f83,
759  0x00000000ffff0006, 0x00000000ffff7f82,
760  0x00000000ffff0005, 0x00000000ffff7f81,
761  0x00000000ffff0004, 0x00000000cccccc4d,
762  0x00000000cccc4cd0, 0x00000000aaaaaa2b,
763  0x00000000aaaa2aae, 0x000000007fffff83,
764  0x000000007fff8006, 0x000000007fffff82,
765  0x000000007fff8005, 0x000000007fffff81,
766  0x000000007fff8004, 0x000000007fffff80,
767  0x000000007fff8003, 0x000000007fffff7f,
768  0x000000007fff8002, 0x00000000555554d6,
769  0x000000005554d559, 0x00000000333332b4,
770  0x000000003332b337, 0x0000000000007f80,
771  0x0000000000000003, 0x0000000000007f7f,
772  0x0000000000000002, 0x0000000000007f7e,
773  0x0000000000000001, 0x0000000000007f7d,
774  0x0000000000000000, 0x0000000000000000,
775  0xffffffffffff8083, 0xffffffffffffffff,
776  0xffffffffffff8082, 0xfffffffffffffffe,
777  0xffffffffffff8081, 0xfffffffffffffffd,
778  0xffffffffffff8080, 0xffffffffffffffa0,
779  0xffffffffffff8023, 0xffffffffffffff83,
780  0xffffffffffff8006, 0xffffffffffffff82,
781  0xffffffffffff8005, 0xffffffffffffff81,
782  0xffffffffffffff81, 0x00000000ffffff81,
783  0x00000000ffffff80, 0x00000000ffffff80,
784  0x00000000ffffff7f, 0x00000000ffffff7f,
785  0x00000000ffffff7e, 0x00000000ffffff61,
786  0x00000000ffffff60, 0x00000000ffffff04,
787  0x00000000ffffff03, 0x00000000ffffff03,
788  0x00000000ffffff02, 0x00000000ffffff02,
789  0x00000000ffffff01, 0x00000000ffff7f84,
790  0x00000000ffff7f83, 0x00000000ffff7f83,
791  0x00000000ffff7f82, 0x00000000ffff7f82,
792  0x00000000ffff7f81, 0x00000000cccccc4e,
793  0x00000000cccccc4d, 0x00000000aaaaaa2c,
794  0x00000000aaaaaa2b, 0x000000007fffff84,
795  0x000000007fffff83, 0x000000007fffff83,
796  0x000000007fffff82, 0x000000007fffff82,
797  0x000000007fffff81, 0x000000007fffff81,
798  0x000000007fffff80, 0x000000007fffff80,
799  0x000000007fffff7f, 0x00000000555554d7,
800  0x00000000555554d6, 0x00000000333332b5,
801  0x00000000333332b4, 0x0000000000007f81,
802  0x0000000000007f80, 0x0000000000007f80,
803  0x0000000000007f7f, 0x0000000000007f7f,
804  0x0000000000007f7e, 0x0000000000007f7e,
805  0x0000000000007f7d, 0x0000000000000001,
806  0x0000000000000000, 0x0000000000000000,
807  0xffffffffffffffff, 0xffffffffffffffff,
808  0xfffffffffffffffe, 0xfffffffffffffffe,
809  0xfffffffffffffffd, 0xffffffffffffffa1,
810  0xffffffffffffffa0, 0xffffffffffffff84,
811  0xffffffffffffff83, 0xffffffffffffff83,
812  0xffffffffffffff82, 0xffffffffffffff82,
813  0xffffffffffffff82, 0x00000000ffffff82,
814  0x00000000ffffff81, 0x00000000ffffff81,
815  0x00000000ffffff80, 0x00000000ffffff80,
816  0x00000000ffffff7f, 0x00000000ffffff62,
817  0x00000000ffffff61, 0x00000000ffffff05,
818  0x00000000ffffff04, 0x00000000ffffff04,
819  0x00000000ffffff03, 0x00000000ffffff03,
820  0x00000000ffffff02, 0x00000000ffff7f85,
821  0x00000000ffff7f84, 0x00000000ffff7f84,
822  0x00000000ffff7f83, 0x00000000ffff7f83,
823  0x00000000ffff7f82, 0x00000000cccccc4f,
824  0x00000000cccccc4e, 0x00000000aaaaaa2d,
825  0x00000000aaaaaa2c, 0x000000007fffff85,
826  0x000000007fffff84, 0x000000007fffff84,
827  0x000000007fffff83, 0x000000007fffff83,
828  0x000000007fffff82, 0x000000007fffff82,
829  0x000000007fffff81, 0x000000007fffff81,
830  0x000000007fffff80, 0x00000000555554d8,
831  0x00000000555554d7, 0x00000000333332b6,
832  0x00000000333332b5, 0x0000000000007f82,
833  0x0000000000007f81, 0x0000000000007f81,
834  0x0000000000007f80, 0x0000000000007f80,
835  0x0000000000007f7f, 0x0000000000007f7f,
836  0x0000000000007f7e, 0x0000000000000002,
837  0x0000000000000001, 0x0000000000000001,
838  0x0000000000000000, 0x0000000000000000,
839  0xffffffffffffffff, 0xffffffffffffffff,
840  0xfffffffffffffffe, 0xffffffffffffffa2,
841  0xffffffffffffffa1, 0xffffffffffffff85,
842  0xffffffffffffff84, 0xffffffffffffff84,
843  0xffffffffffffff83, 0xffffffffffffff83,
844  0xffffffffffffff83, 0x00000000ffffff83,
845  0x00000000ffffff82, 0x00000000ffffff82,
846  0x00000000ffffff81, 0x00000000ffffff81,
847  0x00000000ffffff80, 0x00000000ffffff63,
848  0x00000000ffffff62, 0x00000000ffffff06,
849  0x00000000ffffff05, 0x00000000ffffff05,
850  0x00000000ffffff04, 0x00000000ffffff04,
851  0x00000000ffffff03, 0x00000000ffff7f86,
852  0x00000000ffff7f85, 0x00000000ffff7f85,
853  0x00000000ffff7f84, 0x00000000ffff7f84,
854  0x00000000ffff7f83, 0x00000000cccccc50,
855  0x00000000cccccc4f, 0x00000000aaaaaa2e,
856  0x00000000aaaaaa2d, 0x000000007fffff86,
857  0x000000007fffff85, 0x000000007fffff85,
858  0x000000007fffff84, 0x000000007fffff84,
859  0x000000007fffff83, 0x000000007fffff83,
860  0x000000007fffff82, 0x000000007fffff82,
861  0x000000007fffff81, 0x00000000555554d9,
862  0x00000000555554d8, 0x00000000333332b7,
863  0x00000000333332b6, 0x0000000000007f83,
864  0x0000000000007f82, 0x0000000000007f82,
865  0x0000000000007f81, 0x0000000000007f81,
866  0x0000000000007f80, 0x0000000000007f80,
867  0x0000000000007f7f, 0x0000000000000003,
868  0x0000000000000002, 0x0000000000000002,
869  0x0000000000000001, 0x0000000000000001,
870  0x0000000000000000, 0x0000000000000000,
871  0xffffffffffffffff, 0xffffffffffffffa3,
872  0xffffffffffffffa2, 0xffffffffffffff86,
873  0xffffffffffffff85, 0xffffffffffffff85,
874  0xffffffffffffff84, 0xffffffffffffff84,
875  0xffffffffffffff84, 0x00000000ffffffe0,
876  0x00000000ffffff83, 0x00000000ffffffdf,
877  0x00000000ffffff82, 0x00000000ffffffde,
878  0x00000000ffffff81, 0x00000000ffffffc0,
879  0x00000000ffffff63, 0x00000000ffffff63,
880  0x00000000ffffff06, 0x00000000ffffff62,
881  0x00000000ffffff05, 0x00000000ffffff61,
882  0x00000000ffffff04, 0x00000000ffff7fe3,
883  0x00000000ffff7f86, 0x00000000ffff7fe2,
884  0x00000000ffff7f85, 0x00000000ffff7fe1,
885  0x00000000ffff7f84, 0x00000000ccccccad,
886  0x00000000cccccc50, 0x00000000aaaaaa8b,
887  0x00000000aaaaaa2e, 0x000000007fffffe3,
888  0x000000007fffff86, 0x000000007fffffe2,
889  0x000000007fffff85, 0x000000007fffffe1,
890  0x000000007fffff84, 0x000000007fffffe0,
891  0x000000007fffff83, 0x000000007fffffdf,
892  0x000000007fffff82, 0x0000000055555536,
893  0x00000000555554d9, 0x0000000033333314,
894  0x00000000333332b7, 0x0000000000007fe0,
895  0x0000000000007f83, 0x0000000000007fdf,
896  0x0000000000007f82, 0x0000000000007fde,
897  0x0000000000007f81, 0x0000000000007fdd,
898  0x0000000000007f80, 0x0000000000000060,
899  0x0000000000000003, 0x000000000000005f,
900  0x0000000000000002, 0x000000000000005e,
901  0x0000000000000001, 0x000000000000005d,
902  0x0000000000000000, 0x0000000000000000,
903  0xffffffffffffffa3, 0xffffffffffffffe3,
904  0xffffffffffffff86, 0xffffffffffffffe2,
905  0xffffffffffffff85, 0xffffffffffffffe1,
906  0xffffffffffffffe1, 0x00000000fffffffd,
907  0x00000000ffffffe0, 0x00000000fffffffc,
908  0x00000000ffffffdf, 0x00000000fffffffb,
909  0x00000000ffffffde, 0x00000000ffffffdd,
910  0x00000000ffffffc0, 0x00000000ffffff80,
911  0x00000000ffffff63, 0x00000000ffffff7f,
912  0x00000000ffffff62, 0x00000000ffffff7e,
913  0x00000000ffffff61, 0x00000000ffff8000,
914  0x00000000ffff7fe3, 0x00000000ffff7fff,
915  0x00000000ffff7fe2, 0x00000000ffff7ffe,
916  0x00000000ffff7fe1, 0x00000000ccccccca,
917  0x00000000ccccccad, 0x00000000aaaaaaa8,
918  0x00000000aaaaaa8b, 0x0000000080000000,
919  0x000000007fffffe3, 0x000000007fffffff,
920  0x000000007fffffe2, 0x000000007ffffffe,
921  0x000000007fffffe1, 0x000000007ffffffd,
922  0x000000007fffffe0, 0x000000007ffffffc,
923  0x000000007fffffdf, 0x0000000055555553,
924  0x0000000055555536, 0x0000000033333331,
925  0x0000000033333314, 0x0000000000007ffd,
926  0x0000000000007fe0, 0x0000000000007ffc,
927  0x0000000000007fdf, 0x0000000000007ffb,
928  0x0000000000007fde, 0x0000000000007ffa,
929  0x0000000000007fdd, 0x000000000000007d,
930  0x0000000000000060, 0x000000000000007c,
931  0x000000000000005f, 0x000000000000007b,
932  0x000000000000005e, 0x000000000000007a,
933  0x000000000000005d, 0x000000000000001d,
934  0x0000000000000000, 0x0000000000000000,
935  0xffffffffffffffe3, 0xffffffffffffffff,
936  0xffffffffffffffe2, 0xfffffffffffffffe,
937  0xfffffffffffffffe, 0x00000000fffffffe,
938  0x00000000fffffffd, 0x00000000fffffffd,
939  0x00000000fffffffc, 0x00000000fffffffc,
940  0x00000000fffffffb, 0x00000000ffffffde,
941  0x00000000ffffffdd, 0x00000000ffffff81,
942  0x00000000ffffff80, 0x00000000ffffff80,
943  0x00000000ffffff7f, 0x00000000ffffff7f,
944  0x00000000ffffff7e, 0x00000000ffff8001,
945  0x00000000ffff8000, 0x00000000ffff8000,
946  0x00000000ffff7fff, 0x00000000ffff7fff,
947  0x00000000ffff7ffe, 0x00000000cccccccb,
948  0x00000000ccccccca, 0x00000000aaaaaaa9,
949  0x00000000aaaaaaa8, 0x0000000080000001,
950  0x0000000080000000, 0x0000000080000000,
951  0x000000007fffffff, 0x000000007fffffff,
952  0x000000007ffffffe, 0x000000007ffffffe,
953  0x000000007ffffffd, 0x000000007ffffffd,
954  0x000000007ffffffc, 0x0000000055555554,
955  0x0000000055555553, 0x0000000033333332,
956  0x0000000033333331, 0x0000000000007ffe,
957  0x0000000000007ffd, 0x0000000000007ffd,
958  0x0000000000007ffc, 0x0000000000007ffc,
959  0x0000000000007ffb, 0x0000000000007ffb,
960  0x0000000000007ffa, 0x000000000000007e,
961  0x000000000000007d, 0x000000000000007d,
962  0x000000000000007c, 0x000000000000007c,
963  0x000000000000007b, 0x000000000000007b,
964  0x000000000000007a, 0x000000000000001e,
965  0x000000000000001d, 0x0000000000000001,
966  0x0000000000000000, 0x0000000000000000,
967  0xffffffffffffffff, 0xffffffffffffffff,
968  0xffffffffffffffff, 0x00000000ffffffff,
969  0x00000000fffffffe, 0x00000000fffffffe,
970  0x00000000fffffffd, 0x00000000fffffffd,
971  0x00000000fffffffc, 0x00000000ffffffdf,
972  0x00000000ffffffde, 0x00000000ffffff82,
973  0x00000000ffffff81, 0x00000000ffffff81,
974  0x00000000ffffff80, 0x00000000ffffff80,
975  0x00000000ffffff7f, 0x00000000ffff8002,
976  0x00000000ffff8001, 0x00000000ffff8001,
977  0x00000000ffff8000, 0x00000000ffff8000,
978  0x00000000ffff7fff, 0x00000000cccccccc,
979  0x00000000cccccccb, 0x00000000aaaaaaaa,
980  0x00000000aaaaaaa9, 0x0000000080000002,
981  0x0000000080000001, 0x0000000080000001,
982  0x0000000080000000, 0x0000000080000000,
983  0x000000007fffffff, 0x000000007fffffff,
984  0x000000007ffffffe, 0x000000007ffffffe,
985  0x000000007ffffffd, 0x0000000055555555,
986  0x0000000055555554, 0x0000000033333333,
987  0x0000000033333332, 0x0000000000007fff,
988  0x0000000000007ffe, 0x0000000000007ffe,
989  0x0000000000007ffd, 0x0000000000007ffd,
990  0x0000000000007ffc, 0x0000000000007ffc,
991  0x0000000000007ffb, 0x000000000000007f,
992  0x000000000000007e, 0x000000000000007e,
993  0x000000000000007d, 0x000000000000007d,
994  0x000000000000007c, 0x000000000000007c,
995  0x000000000000007b, 0x000000000000001f,
996  0x000000000000001e, 0x0000000000000002,
997  0x0000000000000001, 0x0000000000000001,
998  0x0000000000000000, 0x0000000000000000,
999};
1000const unsigned kExpectedCount_NEON_usubl2_2D = 961;
1001
1002#endif  // VIXL_SIM_USUBL2_2D_TRACE_AARCH64_H_
1003