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_SSUBL_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_SSUBL_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_ssubl_2D[] = {
38  0x0000000000000000, 0x0000000000000000,
39  0xffffffffffffff00, 0xffffffffff808200,
40  0xffffffffff808100, 0x0000000000007f00,
41  0x0000000000007e00, 0x0000000000007eff,
42  0x0000000000007dff, 0x0000000000007efe,
43  0x0000000000007dfe, 0x0000000000007ee0,
44  0x0000000000007de0, 0x0000000000007e83,
45  0x0000000000007d83, 0x0000000000007e82,
46  0x0000000000007d82, 0x0000000000007e81,
47  0x0000000000007d81, 0xffffffffffffff03,
48  0xfffffffffffffe03, 0xffffffffffffff02,
49  0xfffffffffffffe02, 0xffffffffffffff01,
50  0xfffffffffffffe01, 0xffffffffcccd4bcd,
51  0xffffffffcccd4acd, 0xffffffffaaab29ab,
52  0xffffffffaaab28ab, 0xffffffff80007f03,
53  0xffffffff80007e03, 0xffffffff80007f02,
54  0xffffffff80007e02, 0xffffffff80007f01,
55  0xffffffff80007e01, 0x0000000080007f00,
56  0x0000000080007e00, 0x0000000080007eff,
57  0x0000000080007dff, 0x000000005555d456,
58  0x000000005555d356, 0x000000003333b234,
59  0x000000003333b134, 0x000000000000ff00,
60  0x000000000000fe00, 0x000000000000feff,
61  0x000000000000fdff, 0x000000000000fefe,
62  0x000000000000fdfe, 0x000000000000fefd,
63  0x000000000000fdfd, 0x0000000000007f80,
64  0x0000000000007e80, 0x0000000000007f7f,
65  0x0000000000007e7f, 0x0000000000007f7e,
66  0x0000000000007e7e, 0x0000000000007f7d,
67  0x0000000000007e7d, 0x0000000000007f20,
68  0x0000000000007e20, 0x0000000000007f03,
69  0x0000000000007f03, 0x00000000007ffd02,
70  0x0000000000007f02, 0x00000000007ffd01,
71  0x0000000000007f01, 0x00000000007ffd00,
72  0x0000000000007f00, 0x00000000007ffcff,
73  0x0000000000007eff, 0x00000000007ffcfe,
74  0x0000000000007efe, 0x00000000007ffce0,
75  0x0000000000007ee0, 0x00000000007ffc83,
76  0x0000000000007e83, 0x00000000007ffc82,
77  0x0000000000007e82, 0x00000000007ffc81,
78  0x0000000000007e81, 0x00000000007f7d03,
79  0xffffffffffffff03, 0x00000000007f7d02,
80  0xffffffffffffff02, 0x00000000007f7d01,
81  0xffffffffffffff01, 0xffffffffcd4cc9cd,
82  0xffffffffcccd4bcd, 0xffffffffab2aa7ab,
83  0xffffffffaaab29ab, 0xffffffff807ffd03,
84  0xffffffff80007f03, 0xffffffff807ffd02,
85  0xffffffff80007f02, 0xffffffff807ffd01,
86  0xffffffff80007f01, 0x00000000807ffd00,
87  0x0000000080007f00, 0x00000000807ffcff,
88  0x0000000080007eff, 0x0000000055d55256,
89  0x000000005555d456, 0x0000000033b33034,
90  0x000000003333b234, 0x0000000000807d00,
91  0x000000000000ff00, 0x0000000000807cff,
92  0x000000000000feff, 0x0000000000807cfe,
93  0x000000000000fefe, 0x0000000000807cfd,
94  0x000000000000fefd, 0x00000000007ffd80,
95  0x0000000000007f80, 0x00000000007ffd7f,
96  0x0000000000007f7f, 0x00000000007ffd7e,
97  0x0000000000007f7e, 0x00000000007ffd7d,
98  0x0000000000007f7d, 0x00000000007ffd20,
99  0x0000000000007f20, 0x00000000007ffd03,
100  0x00000000007ffd03, 0x0000000000000002,
101  0x00000000007ffd02, 0x0000000000000001,
102  0x00000000007ffd01, 0x0000000000000000,
103  0x00000000007ffd00, 0xffffffffffffffff,
104  0x00000000007ffcff, 0xfffffffffffffffe,
105  0x00000000007ffcfe, 0xffffffffffffffe0,
106  0x00000000007ffce0, 0xffffffffffffff83,
107  0x00000000007ffc83, 0xffffffffffffff82,
108  0x00000000007ffc82, 0xffffffffffffff81,
109  0x00000000007ffc81, 0xffffffffffff8003,
110  0x00000000007f7d03, 0xffffffffffff8002,
111  0x00000000007f7d02, 0xffffffffffff8001,
112  0x00000000007f7d01, 0xffffffffcccccccd,
113  0xffffffffcd4cc9cd, 0xffffffffaaaaaaab,
114  0xffffffffab2aa7ab, 0xffffffff80000003,
115  0xffffffff807ffd03, 0xffffffff80000002,
116  0xffffffff807ffd02, 0xffffffff80000001,
117  0xffffffff807ffd01, 0x0000000080000000,
118  0x00000000807ffd00, 0x000000007fffffff,
119  0x00000000807ffcff, 0x0000000055555556,
120  0x0000000055d55256, 0x0000000033333334,
121  0x0000000033b33034, 0x0000000000008000,
122  0x0000000000807d00, 0x0000000000007fff,
123  0x0000000000807cff, 0x0000000000007ffe,
124  0x0000000000807cfe, 0x0000000000007ffd,
125  0x0000000000807cfd, 0x0000000000000080,
126  0x00000000007ffd80, 0x000000000000007f,
127  0x00000000007ffd7f, 0x000000000000007e,
128  0x00000000007ffd7e, 0x000000000000007d,
129  0x00000000007ffd7d, 0x0000000000000020,
130  0x00000000007ffd20, 0x0000000000000003,
131  0x0000000000000003, 0x0000000000000003,
132  0x0000000000000002, 0x0000000000000002,
133  0x0000000000000001, 0x0000000000000001,
134  0x0000000000000000, 0x0000000000000000,
135  0xffffffffffffffff, 0xffffffffffffffff,
136  0xfffffffffffffffe, 0xffffffffffffffe1,
137  0xffffffffffffffe0, 0xffffffffffffff84,
138  0xffffffffffffff83, 0xffffffffffffff83,
139  0xffffffffffffff82, 0xffffffffffffff82,
140  0xffffffffffffff81, 0xffffffffffff8004,
141  0xffffffffffff8003, 0xffffffffffff8003,
142  0xffffffffffff8002, 0xffffffffffff8002,
143  0xffffffffffff8001, 0xffffffffccccccce,
144  0xffffffffcccccccd, 0xffffffffaaaaaaac,
145  0xffffffffaaaaaaab, 0xffffffff80000004,
146  0xffffffff80000003, 0xffffffff80000003,
147  0xffffffff80000002, 0xffffffff80000002,
148  0xffffffff80000001, 0x0000000080000001,
149  0x0000000080000000, 0x0000000080000000,
150  0x000000007fffffff, 0x0000000055555557,
151  0x0000000055555556, 0x0000000033333335,
152  0x0000000033333334, 0x0000000000008001,
153  0x0000000000008000, 0x0000000000008000,
154  0x0000000000007fff, 0x0000000000007fff,
155  0x0000000000007ffe, 0x0000000000007ffe,
156  0x0000000000007ffd, 0x0000000000000081,
157  0x0000000000000080, 0x0000000000000080,
158  0x000000000000007f, 0x000000000000007f,
159  0x000000000000007e, 0x000000000000007e,
160  0x000000000000007d, 0x0000000000000021,
161  0x0000000000000020, 0x0000000000000004,
162  0x0000000000000004, 0x0000000000000004,
163  0x0000000000000003, 0x0000000000000003,
164  0x0000000000000002, 0x0000000000000002,
165  0x0000000000000001, 0x0000000000000001,
166  0x0000000000000000, 0x0000000000000000,
167  0xffffffffffffffff, 0xffffffffffffffe2,
168  0xffffffffffffffe1, 0xffffffffffffff85,
169  0xffffffffffffff84, 0xffffffffffffff84,
170  0xffffffffffffff83, 0xffffffffffffff83,
171  0xffffffffffffff82, 0xffffffffffff8005,
172  0xffffffffffff8004, 0xffffffffffff8004,
173  0xffffffffffff8003, 0xffffffffffff8003,
174  0xffffffffffff8002, 0xffffffffcccccccf,
175  0xffffffffccccccce, 0xffffffffaaaaaaad,
176  0xffffffffaaaaaaac, 0xffffffff80000005,
177  0xffffffff80000004, 0xffffffff80000004,
178  0xffffffff80000003, 0xffffffff80000003,
179  0xffffffff80000002, 0x0000000080000002,
180  0x0000000080000001, 0x0000000080000001,
181  0x0000000080000000, 0x0000000055555558,
182  0x0000000055555557, 0x0000000033333336,
183  0x0000000033333335, 0x0000000000008002,
184  0x0000000000008001, 0x0000000000008001,
185  0x0000000000008000, 0x0000000000008000,
186  0x0000000000007fff, 0x0000000000007fff,
187  0x0000000000007ffe, 0x0000000000000082,
188  0x0000000000000081, 0x0000000000000081,
189  0x0000000000000080, 0x0000000000000080,
190  0x000000000000007f, 0x000000000000007f,
191  0x000000000000007e, 0x0000000000000022,
192  0x0000000000000021, 0x0000000000000005,
193  0x0000000000000005, 0x0000000000000022,
194  0x0000000000000004, 0x0000000000000021,
195  0x0000000000000003, 0x0000000000000020,
196  0x0000000000000002, 0x000000000000001f,
197  0x0000000000000001, 0x000000000000001e,
198  0x0000000000000000, 0x0000000000000000,
199  0xffffffffffffffe2, 0xffffffffffffffa3,
200  0xffffffffffffff85, 0xffffffffffffffa2,
201  0xffffffffffffff84, 0xffffffffffffffa1,
202  0xffffffffffffff83, 0xffffffffffff8023,
203  0xffffffffffff8005, 0xffffffffffff8022,
204  0xffffffffffff8004, 0xffffffffffff8021,
205  0xffffffffffff8003, 0xffffffffcccccced,
206  0xffffffffcccccccf, 0xffffffffaaaaaacb,
207  0xffffffffaaaaaaad, 0xffffffff80000023,
208  0xffffffff80000005, 0xffffffff80000022,
209  0xffffffff80000004, 0xffffffff80000021,
210  0xffffffff80000003, 0x0000000080000020,
211  0x0000000080000002, 0x000000008000001f,
212  0x0000000080000001, 0x0000000055555576,
213  0x0000000055555558, 0x0000000033333354,
214  0x0000000033333336, 0x0000000000008020,
215  0x0000000000008002, 0x000000000000801f,
216  0x0000000000008001, 0x000000000000801e,
217  0x0000000000008000, 0x000000000000801d,
218  0x0000000000007fff, 0x00000000000000a0,
219  0x0000000000000082, 0x000000000000009f,
220  0x0000000000000081, 0x000000000000009e,
221  0x0000000000000080, 0x000000000000009d,
222  0x000000000000007f, 0x0000000000000040,
223  0x0000000000000022, 0x0000000000000023,
224  0x0000000000000023, 0x000000000000007f,
225  0x0000000000000022, 0x000000000000007e,
226  0x0000000000000021, 0x000000000000007d,
227  0x0000000000000020, 0x000000000000007c,
228  0x000000000000001f, 0x000000000000007b,
229  0x000000000000001e, 0x000000000000005d,
230  0x0000000000000000, 0x0000000000000000,
231  0xffffffffffffffa3, 0xffffffffffffffff,
232  0xffffffffffffffa2, 0xfffffffffffffffe,
233  0xffffffffffffffa1, 0xffffffffffff8080,
234  0xffffffffffff8023, 0xffffffffffff807f,
235  0xffffffffffff8022, 0xffffffffffff807e,
236  0xffffffffffff8021, 0xffffffffcccccd4a,
237  0xffffffffcccccced, 0xffffffffaaaaab28,
238  0xffffffffaaaaaacb, 0xffffffff80000080,
239  0xffffffff80000023, 0xffffffff8000007f,
240  0xffffffff80000022, 0xffffffff8000007e,
241  0xffffffff80000021, 0x000000008000007d,
242  0x0000000080000020, 0x000000008000007c,
243  0x000000008000001f, 0x00000000555555d3,
244  0x0000000055555576, 0x00000000333333b1,
245  0x0000000033333354, 0x000000000000807d,
246  0x0000000000008020, 0x000000000000807c,
247  0x000000000000801f, 0x000000000000807b,
248  0x000000000000801e, 0x000000000000807a,
249  0x000000000000801d, 0x00000000000000fd,
250  0x00000000000000a0, 0x00000000000000fc,
251  0x000000000000009f, 0x00000000000000fb,
252  0x000000000000009e, 0x00000000000000fa,
253  0x000000000000009d, 0x000000000000009d,
254  0x0000000000000040, 0x0000000000000080,
255  0x0000000000000080, 0x0000000000000080,
256  0x000000000000007f, 0x000000000000007f,
257  0x000000000000007e, 0x000000000000007e,
258  0x000000000000007d, 0x000000000000007d,
259  0x000000000000007c, 0x000000000000007c,
260  0x000000000000007b, 0x000000000000005e,
261  0x000000000000005d, 0x0000000000000001,
262  0x0000000000000000, 0x0000000000000000,
263  0xffffffffffffffff, 0xffffffffffffffff,
264  0xfffffffffffffffe, 0xffffffffffff8081,
265  0xffffffffffff8080, 0xffffffffffff8080,
266  0xffffffffffff807f, 0xffffffffffff807f,
267  0xffffffffffff807e, 0xffffffffcccccd4b,
268  0xffffffffcccccd4a, 0xffffffffaaaaab29,
269  0xffffffffaaaaab28, 0xffffffff80000081,
270  0xffffffff80000080, 0xffffffff80000080,
271  0xffffffff8000007f, 0xffffffff8000007f,
272  0xffffffff8000007e, 0x000000008000007e,
273  0x000000008000007d, 0x000000008000007d,
274  0x000000008000007c, 0x00000000555555d4,
275  0x00000000555555d3, 0x00000000333333b2,
276  0x00000000333333b1, 0x000000000000807e,
277  0x000000000000807d, 0x000000000000807d,
278  0x000000000000807c, 0x000000000000807c,
279  0x000000000000807b, 0x000000000000807b,
280  0x000000000000807a, 0x00000000000000fe,
281  0x00000000000000fd, 0x00000000000000fd,
282  0x00000000000000fc, 0x00000000000000fc,
283  0x00000000000000fb, 0x00000000000000fb,
284  0x00000000000000fa, 0x000000000000009e,
285  0x000000000000009d, 0x0000000000000081,
286  0x0000000000000081, 0x0000000000000081,
287  0x0000000000000080, 0x0000000000000080,
288  0x000000000000007f, 0x000000000000007f,
289  0x000000000000007e, 0x000000000000007e,
290  0x000000000000007d, 0x000000000000007d,
291  0x000000000000007c, 0x000000000000005f,
292  0x000000000000005e, 0x0000000000000002,
293  0x0000000000000001, 0x0000000000000001,
294  0x0000000000000000, 0x0000000000000000,
295  0xffffffffffffffff, 0xffffffffffff8082,
296  0xffffffffffff8081, 0xffffffffffff8081,
297  0xffffffffffff8080, 0xffffffffffff8080,
298  0xffffffffffff807f, 0xffffffffcccccd4c,
299  0xffffffffcccccd4b, 0xffffffffaaaaab2a,
300  0xffffffffaaaaab29, 0xffffffff80000082,
301  0xffffffff80000081, 0xffffffff80000081,
302  0xffffffff80000080, 0xffffffff80000080,
303  0xffffffff8000007f, 0x000000008000007f,
304  0x000000008000007e, 0x000000008000007e,
305  0x000000008000007d, 0x00000000555555d5,
306  0x00000000555555d4, 0x00000000333333b3,
307  0x00000000333333b2, 0x000000000000807f,
308  0x000000000000807e, 0x000000000000807e,
309  0x000000000000807d, 0x000000000000807d,
310  0x000000000000807c, 0x000000000000807c,
311  0x000000000000807b, 0x00000000000000ff,
312  0x00000000000000fe, 0x00000000000000fe,
313  0x00000000000000fd, 0x00000000000000fd,
314  0x00000000000000fc, 0x00000000000000fc,
315  0x00000000000000fb, 0x000000000000009f,
316  0x000000000000009e, 0x0000000000000082,
317  0x0000000000000082, 0x0000000000007fff,
318  0x0000000000000081, 0x0000000000007ffe,
319  0x0000000000000080, 0x0000000000007ffd,
320  0x000000000000007f, 0x0000000000007ffc,
321  0x000000000000007e, 0x0000000000007ffb,
322  0x000000000000007d, 0x0000000000007fdd,
323  0x000000000000005f, 0x0000000000007f80,
324  0x0000000000000002, 0x0000000000007f7f,
325  0x0000000000000001, 0x0000000000007f7e,
326  0x0000000000000000, 0x0000000000000000,
327  0xffffffffffff8082, 0xffffffffffffffff,
328  0xffffffffffff8081, 0xfffffffffffffffe,
329  0xffffffffffff8080, 0xffffffffcccd4cca,
330  0xffffffffcccccd4c, 0xffffffffaaab2aa8,
331  0xffffffffaaaaab2a, 0xffffffff80008000,
332  0xffffffff80000082, 0xffffffff80007fff,
333  0xffffffff80000081, 0xffffffff80007ffe,
334  0xffffffff80000080, 0x0000000080007ffd,
335  0x000000008000007f, 0x0000000080007ffc,
336  0x000000008000007e, 0x000000005555d553,
337  0x00000000555555d5, 0x000000003333b331,
338  0x00000000333333b3, 0x000000000000fffd,
339  0x000000000000807f, 0x000000000000fffc,
340  0x000000000000807e, 0x000000000000fffb,
341  0x000000000000807d, 0x000000000000fffa,
342  0x000000000000807c, 0x000000000000807d,
343  0x00000000000000ff, 0x000000000000807c,
344  0x00000000000000fe, 0x000000000000807b,
345  0x00000000000000fd, 0x000000000000807a,
346  0x00000000000000fc, 0x000000000000801d,
347  0x000000000000009f, 0x0000000000008000,
348  0x0000000000008000, 0x0000000000008000,
349  0x0000000000007fff, 0x0000000000007fff,
350  0x0000000000007ffe, 0x0000000000007ffe,
351  0x0000000000007ffd, 0x0000000000007ffd,
352  0x0000000000007ffc, 0x0000000000007ffc,
353  0x0000000000007ffb, 0x0000000000007fde,
354  0x0000000000007fdd, 0x0000000000007f81,
355  0x0000000000007f80, 0x0000000000007f80,
356  0x0000000000007f7f, 0x0000000000007f7f,
357  0x0000000000007f7e, 0x0000000000000001,
358  0x0000000000000000, 0x0000000000000000,
359  0xffffffffffffffff, 0xffffffffffffffff,
360  0xfffffffffffffffe, 0xffffffffcccd4ccb,
361  0xffffffffcccd4cca, 0xffffffffaaab2aa9,
362  0xffffffffaaab2aa8, 0xffffffff80008001,
363  0xffffffff80008000, 0xffffffff80008000,
364  0xffffffff80007fff, 0xffffffff80007fff,
365  0xffffffff80007ffe, 0x0000000080007ffe,
366  0x0000000080007ffd, 0x0000000080007ffd,
367  0x0000000080007ffc, 0x000000005555d554,
368  0x000000005555d553, 0x000000003333b332,
369  0x000000003333b331, 0x000000000000fffe,
370  0x000000000000fffd, 0x000000000000fffd,
371  0x000000000000fffc, 0x000000000000fffc,
372  0x000000000000fffb, 0x000000000000fffb,
373  0x000000000000fffa, 0x000000000000807e,
374  0x000000000000807d, 0x000000000000807d,
375  0x000000000000807c, 0x000000000000807c,
376  0x000000000000807b, 0x000000000000807b,
377  0x000000000000807a, 0x000000000000801e,
378  0x000000000000801d, 0x0000000000008001,
379  0x0000000000008001, 0x0000000000008001,
380  0x0000000000008000, 0x0000000000008000,
381  0x0000000000007fff, 0x0000000000007fff,
382  0x0000000000007ffe, 0x0000000000007ffe,
383  0x0000000000007ffd, 0x0000000000007ffd,
384  0x0000000000007ffc, 0x0000000000007fdf,
385  0x0000000000007fde, 0x0000000000007f82,
386  0x0000000000007f81, 0x0000000000007f81,
387  0x0000000000007f80, 0x0000000000007f80,
388  0x0000000000007f7f, 0x0000000000000002,
389  0x0000000000000001, 0x0000000000000001,
390  0x0000000000000000, 0x0000000000000000,
391  0xffffffffffffffff, 0xffffffffcccd4ccc,
392  0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
393  0xffffffffaaab2aa9, 0xffffffff80008002,
394  0xffffffff80008001, 0xffffffff80008001,
395  0xffffffff80008000, 0xffffffff80008000,
396  0xffffffff80007fff, 0x0000000080007fff,
397  0x0000000080007ffe, 0x0000000080007ffe,
398  0x0000000080007ffd, 0x000000005555d555,
399  0x000000005555d554, 0x000000003333b333,
400  0x000000003333b332, 0x000000000000ffff,
401  0x000000000000fffe, 0x000000000000fffe,
402  0x000000000000fffd, 0x000000000000fffd,
403  0x000000000000fffc, 0x000000000000fffc,
404  0x000000000000fffb, 0x000000000000807f,
405  0x000000000000807e, 0x000000000000807e,
406  0x000000000000807d, 0x000000000000807d,
407  0x000000000000807c, 0x000000000000807c,
408  0x000000000000807b, 0x000000000000801f,
409  0x000000000000801e, 0x0000000000008002,
410  0x0000000000008002, 0x0000000033333335,
411  0x0000000000008001, 0x0000000033333334,
412  0x0000000000008000, 0x0000000033333333,
413  0x0000000000007fff, 0x0000000033333332,
414  0x0000000000007ffe, 0x0000000033333331,
415  0x0000000000007ffd, 0x0000000033333313,
416  0x0000000000007fdf, 0x00000000333332b6,
417  0x0000000000007f82, 0x00000000333332b5,
418  0x0000000000007f81, 0x00000000333332b4,
419  0x0000000000007f80, 0x000000003332b336,
420  0x0000000000000002, 0x000000003332b335,
421  0x0000000000000001, 0x000000003332b334,
422  0x0000000000000000, 0x0000000000000000,
423  0xffffffffcccd4ccc, 0xffffffffddddddde,
424  0xffffffffaaab2aaa, 0xffffffffb3333336,
425  0xffffffff80008002, 0xffffffffb3333335,
426  0xffffffff80008001, 0xffffffffb3333334,
427  0xffffffff80008000, 0x00000000b3333333,
428  0x0000000080007fff, 0x00000000b3333332,
429  0x0000000080007ffe, 0x0000000088888889,
430  0x000000005555d555, 0x0000000066666667,
431  0x000000003333b333, 0x000000003333b333,
432  0x000000000000ffff, 0x000000003333b332,
433  0x000000000000fffe, 0x000000003333b331,
434  0x000000000000fffd, 0x000000003333b330,
435  0x000000000000fffc, 0x00000000333333b3,
436  0x000000000000807f, 0x00000000333333b2,
437  0x000000000000807e, 0x00000000333333b1,
438  0x000000000000807d, 0x00000000333333b0,
439  0x000000000000807c, 0x0000000033333353,
440  0x000000000000801f, 0x0000000033333336,
441  0x0000000033333336, 0x0000000055555557,
442  0x0000000033333335, 0x0000000055555556,
443  0x0000000033333334, 0x0000000055555555,
444  0x0000000033333333, 0x0000000055555554,
445  0x0000000033333332, 0x0000000055555553,
446  0x0000000033333331, 0x0000000055555535,
447  0x0000000033333313, 0x00000000555554d8,
448  0x00000000333332b6, 0x00000000555554d7,
449  0x00000000333332b5, 0x00000000555554d6,
450  0x00000000333332b4, 0x000000005554d558,
451  0x000000003332b336, 0x000000005554d557,
452  0x000000003332b335, 0x000000005554d556,
453  0x000000003332b334, 0x0000000022222222,
454  0x0000000000000000, 0x0000000000000000,
455  0xffffffffddddddde, 0xffffffffd5555558,
456  0xffffffffb3333336, 0xffffffffd5555557,
457  0xffffffffb3333335, 0xffffffffd5555556,
458  0xffffffffb3333334, 0x00000000d5555555,
459  0x00000000b3333333, 0x00000000d5555554,
460  0x00000000b3333332, 0x00000000aaaaaaab,
461  0x0000000088888889, 0x0000000088888889,
462  0x0000000066666667, 0x000000005555d555,
463  0x000000003333b333, 0x000000005555d554,
464  0x000000003333b332, 0x000000005555d553,
465  0x000000003333b331, 0x000000005555d552,
466  0x000000003333b330, 0x00000000555555d5,
467  0x00000000333333b3, 0x00000000555555d4,
468  0x00000000333333b2, 0x00000000555555d3,
469  0x00000000333333b1, 0x00000000555555d2,
470  0x00000000333333b0, 0x0000000055555575,
471  0x0000000033333353, 0x0000000055555558,
472  0x0000000055555558, 0x000000007fffffff,
473  0x0000000055555557, 0x000000007ffffffe,
474  0x0000000055555556, 0x000000007ffffffd,
475  0x0000000055555555, 0x000000007ffffffc,
476  0x0000000055555554, 0x000000007ffffffb,
477  0x0000000055555553, 0x000000007fffffdd,
478  0x0000000055555535, 0x000000007fffff80,
479  0x00000000555554d8, 0x000000007fffff7f,
480  0x00000000555554d7, 0x000000007fffff7e,
481  0x00000000555554d6, 0x000000007fff8000,
482  0x000000005554d558, 0x000000007fff7fff,
483  0x000000005554d557, 0x000000007fff7ffe,
484  0x000000005554d556, 0x000000004cccccca,
485  0x0000000022222222, 0x000000002aaaaaa8,
486  0x0000000000000000, 0x0000000000000000,
487  0xffffffffd5555558, 0xffffffffffffffff,
488  0xffffffffd5555557, 0xfffffffffffffffe,
489  0xffffffffd5555556, 0x00000000fffffffd,
490  0x00000000d5555555, 0x00000000fffffffc,
491  0x00000000d5555554, 0x00000000d5555553,
492  0x00000000aaaaaaab, 0x00000000b3333331,
493  0x0000000088888889, 0x0000000080007ffd,
494  0x000000005555d555, 0x0000000080007ffc,
495  0x000000005555d554, 0x0000000080007ffb,
496  0x000000005555d553, 0x0000000080007ffa,
497  0x000000005555d552, 0x000000008000007d,
498  0x00000000555555d5, 0x000000008000007c,
499  0x00000000555555d4, 0x000000008000007b,
500  0x00000000555555d3, 0x000000008000007a,
501  0x00000000555555d2, 0x000000008000001d,
502  0x0000000055555575, 0x0000000080000000,
503  0x0000000080000000, 0x0000000080000000,
504  0x000000007fffffff, 0x000000007fffffff,
505  0x000000007ffffffe, 0x000000007ffffffe,
506  0x000000007ffffffd, 0x000000007ffffffd,
507  0x000000007ffffffc, 0x000000007ffffffc,
508  0x000000007ffffffb, 0x000000007fffffde,
509  0x000000007fffffdd, 0x000000007fffff81,
510  0x000000007fffff80, 0x000000007fffff80,
511  0x000000007fffff7f, 0x000000007fffff7f,
512  0x000000007fffff7e, 0x000000007fff8001,
513  0x000000007fff8000, 0x000000007fff8000,
514  0x000000007fff7fff, 0x000000007fff7fff,
515  0x000000007fff7ffe, 0x000000004ccccccb,
516  0x000000004cccccca, 0x000000002aaaaaa9,
517  0x000000002aaaaaa8, 0x0000000000000001,
518  0x0000000000000000, 0x0000000000000000,
519  0xffffffffffffffff, 0xffffffffffffffff,
520  0xfffffffffffffffe, 0x00000000fffffffe,
521  0x00000000fffffffd, 0x00000000fffffffd,
522  0x00000000fffffffc, 0x00000000d5555554,
523  0x00000000d5555553, 0x00000000b3333332,
524  0x00000000b3333331, 0x0000000080007ffe,
525  0x0000000080007ffd, 0x0000000080007ffd,
526  0x0000000080007ffc, 0x0000000080007ffc,
527  0x0000000080007ffb, 0x0000000080007ffb,
528  0x0000000080007ffa, 0x000000008000007e,
529  0x000000008000007d, 0x000000008000007d,
530  0x000000008000007c, 0x000000008000007c,
531  0x000000008000007b, 0x000000008000007b,
532  0x000000008000007a, 0x000000008000001e,
533  0x000000008000001d, 0x0000000080000001,
534  0x0000000080000001, 0x0000000080000001,
535  0x0000000080000000, 0x0000000080000000,
536  0x000000007fffffff, 0x000000007fffffff,
537  0x000000007ffffffe, 0x000000007ffffffe,
538  0x000000007ffffffd, 0x000000007ffffffd,
539  0x000000007ffffffc, 0x000000007fffffdf,
540  0x000000007fffffde, 0x000000007fffff82,
541  0x000000007fffff81, 0x000000007fffff81,
542  0x000000007fffff80, 0x000000007fffff80,
543  0x000000007fffff7f, 0x000000007fff8002,
544  0x000000007fff8001, 0x000000007fff8001,
545  0x000000007fff8000, 0x000000007fff8000,
546  0x000000007fff7fff, 0x000000004ccccccc,
547  0x000000004ccccccb, 0x000000002aaaaaaa,
548  0x000000002aaaaaa9, 0x0000000000000002,
549  0x0000000000000001, 0x0000000000000001,
550  0x0000000000000000, 0x0000000000000000,
551  0xffffffffffffffff, 0x00000000ffffffff,
552  0x00000000fffffffe, 0x00000000fffffffe,
553  0x00000000fffffffd, 0x00000000d5555555,
554  0x00000000d5555554, 0x00000000b3333333,
555  0x00000000b3333332, 0x0000000080007fff,
556  0x0000000080007ffe, 0x0000000080007ffe,
557  0x0000000080007ffd, 0x0000000080007ffd,
558  0x0000000080007ffc, 0x0000000080007ffc,
559  0x0000000080007ffb, 0x000000008000007f,
560  0x000000008000007e, 0x000000008000007e,
561  0x000000008000007d, 0x000000008000007d,
562  0x000000008000007c, 0x000000008000007c,
563  0x000000008000007b, 0x000000008000001f,
564  0x000000008000001e, 0x0000000080000002,
565  0x0000000080000002, 0xffffffff80000002,
566  0x0000000080000001, 0xffffffff80000001,
567  0x0000000080000000, 0xffffffff80000000,
568  0x000000007fffffff, 0xffffffff7fffffff,
569  0x000000007ffffffe, 0xffffffff7ffffffe,
570  0x000000007ffffffd, 0xffffffff7fffffe0,
571  0x000000007fffffdf, 0xffffffff7fffff83,
572  0x000000007fffff82, 0xffffffff7fffff82,
573  0x000000007fffff81, 0xffffffff7fffff81,
574  0x000000007fffff80, 0xffffffff7fff8003,
575  0x000000007fff8002, 0xffffffff7fff8002,
576  0x000000007fff8001, 0xffffffff7fff8001,
577  0x000000007fff8000, 0xffffffff4ccccccd,
578  0x000000004ccccccc, 0xffffffff2aaaaaab,
579  0x000000002aaaaaaa, 0xffffffff00000003,
580  0x0000000000000002, 0xffffffff00000002,
581  0x0000000000000001, 0xffffffff00000001,
582  0x0000000000000000, 0x0000000000000000,
583  0x00000000ffffffff, 0xffffffffffffffff,
584  0x00000000fffffffe, 0xffffffffd5555556,
585  0x00000000d5555555, 0xffffffffb3333334,
586  0x00000000b3333333, 0xffffffff80008000,
587  0x0000000080007fff, 0xffffffff80007fff,
588  0x0000000080007ffe, 0xffffffff80007ffe,
589  0x0000000080007ffd, 0xffffffff80007ffd,
590  0x0000000080007ffc, 0xffffffff80000080,
591  0x000000008000007f, 0xffffffff8000007f,
592  0x000000008000007e, 0xffffffff8000007e,
593  0x000000008000007d, 0xffffffff8000007d,
594  0x000000008000007c, 0xffffffff80000020,
595  0x000000008000001f, 0xffffffff80000003,
596  0xffffffff80000003, 0xffffffff80000003,
597  0xffffffff80000002, 0xffffffff80000002,
598  0xffffffff80000001, 0xffffffff80000001,
599  0xffffffff80000000, 0xffffffff80000000,
600  0xffffffff7fffffff, 0xffffffff7fffffff,
601  0xffffffff7ffffffe, 0xffffffff7fffffe1,
602  0xffffffff7fffffe0, 0xffffffff7fffff84,
603  0xffffffff7fffff83, 0xffffffff7fffff83,
604  0xffffffff7fffff82, 0xffffffff7fffff82,
605  0xffffffff7fffff81, 0xffffffff7fff8004,
606  0xffffffff7fff8003, 0xffffffff7fff8003,
607  0xffffffff7fff8002, 0xffffffff7fff8002,
608  0xffffffff7fff8001, 0xffffffff4cccccce,
609  0xffffffff4ccccccd, 0xffffffff2aaaaaac,
610  0xffffffff2aaaaaab, 0xffffffff00000004,
611  0xffffffff00000003, 0xffffffff00000003,
612  0xffffffff00000002, 0xffffffff00000002,
613  0xffffffff00000001, 0x0000000000000001,
614  0x0000000000000000, 0x0000000000000000,
615  0xffffffffffffffff, 0xffffffffd5555557,
616  0xffffffffd5555556, 0xffffffffb3333335,
617  0xffffffffb3333334, 0xffffffff80008001,
618  0xffffffff80008000, 0xffffffff80008000,
619  0xffffffff80007fff, 0xffffffff80007fff,
620  0xffffffff80007ffe, 0xffffffff80007ffe,
621  0xffffffff80007ffd, 0xffffffff80000081,
622  0xffffffff80000080, 0xffffffff80000080,
623  0xffffffff8000007f, 0xffffffff8000007f,
624  0xffffffff8000007e, 0xffffffff8000007e,
625  0xffffffff8000007d, 0xffffffff80000021,
626  0xffffffff80000020, 0xffffffff80000004,
627  0xffffffff80000004, 0xffffffffaaaaaaac,
628  0xffffffff80000003, 0xffffffffaaaaaaab,
629  0xffffffff80000002, 0xffffffffaaaaaaaa,
630  0xffffffff80000001, 0xffffffffaaaaaaa9,
631  0xffffffff80000000, 0xffffffffaaaaaaa8,
632  0xffffffff7fffffff, 0xffffffffaaaaaa8a,
633  0xffffffff7fffffe1, 0xffffffffaaaaaa2d,
634  0xffffffff7fffff84, 0xffffffffaaaaaa2c,
635  0xffffffff7fffff83, 0xffffffffaaaaaa2b,
636  0xffffffff7fffff82, 0xffffffffaaaa2aad,
637  0xffffffff7fff8004, 0xffffffffaaaa2aac,
638  0xffffffff7fff8003, 0xffffffffaaaa2aab,
639  0xffffffff7fff8002, 0xffffffff77777777,
640  0xffffffff4cccccce, 0xffffffff55555555,
641  0xffffffff2aaaaaac, 0xffffffff2aaaaaad,
642  0xffffffff00000004, 0xffffffff2aaaaaac,
643  0xffffffff00000003, 0xffffffff2aaaaaab,
644  0xffffffff00000002, 0x000000002aaaaaaa,
645  0x0000000000000001, 0x000000002aaaaaa9,
646  0x0000000000000000, 0x0000000000000000,
647  0xffffffffd5555557, 0xffffffffddddddde,
648  0xffffffffb3333335, 0xffffffffaaab2aaa,
649  0xffffffff80008001, 0xffffffffaaab2aa9,
650  0xffffffff80008000, 0xffffffffaaab2aa8,
651  0xffffffff80007fff, 0xffffffffaaab2aa7,
652  0xffffffff80007ffe, 0xffffffffaaaaab2a,
653  0xffffffff80000081, 0xffffffffaaaaab29,
654  0xffffffff80000080, 0xffffffffaaaaab28,
655  0xffffffff8000007f, 0xffffffffaaaaab27,
656  0xffffffff8000007e, 0xffffffffaaaaaaca,
657  0xffffffff80000021, 0xffffffffaaaaaaad,
658  0xffffffffaaaaaaad, 0xffffffffccccccce,
659  0xffffffffaaaaaaac, 0xffffffffcccccccd,
660  0xffffffffaaaaaaab, 0xffffffffcccccccc,
661  0xffffffffaaaaaaaa, 0xffffffffcccccccb,
662  0xffffffffaaaaaaa9, 0xffffffffccccccca,
663  0xffffffffaaaaaaa8, 0xffffffffccccccac,
664  0xffffffffaaaaaa8a, 0xffffffffcccccc4f,
665  0xffffffffaaaaaa2d, 0xffffffffcccccc4e,
666  0xffffffffaaaaaa2c, 0xffffffffcccccc4d,
667  0xffffffffaaaaaa2b, 0xffffffffcccc4ccf,
668  0xffffffffaaaa2aad, 0xffffffffcccc4cce,
669  0xffffffffaaaa2aac, 0xffffffffcccc4ccd,
670  0xffffffffaaaa2aab, 0xffffffff99999999,
671  0xffffffff77777777, 0xffffffff77777777,
672  0xffffffff55555555, 0xffffffff4ccccccf,
673  0xffffffff2aaaaaad, 0xffffffff4cccccce,
674  0xffffffff2aaaaaac, 0xffffffff4ccccccd,
675  0xffffffff2aaaaaab, 0x000000004ccccccc,
676  0x000000002aaaaaaa, 0x000000004ccccccb,
677  0x000000002aaaaaa9, 0x0000000022222222,
678  0x0000000000000000, 0x0000000000000000,
679  0xffffffffddddddde, 0xffffffffcccd4ccc,
680  0xffffffffaaab2aaa, 0xffffffffcccd4ccb,
681  0xffffffffaaab2aa9, 0xffffffffcccd4cca,
682  0xffffffffaaab2aa8, 0xffffffffcccd4cc9,
683  0xffffffffaaab2aa7, 0xffffffffcccccd4c,
684  0xffffffffaaaaab2a, 0xffffffffcccccd4b,
685  0xffffffffaaaaab29, 0xffffffffcccccd4a,
686  0xffffffffaaaaab28, 0xffffffffcccccd49,
687  0xffffffffaaaaab27, 0xffffffffccccccec,
688  0xffffffffaaaaaaca, 0xffffffffcccccccf,
689  0xffffffffcccccccf, 0xffffffffffff8002,
690  0xffffffffccccccce, 0xffffffffffff8001,
691  0xffffffffcccccccd, 0xffffffffffff8000,
692  0xffffffffcccccccc, 0xffffffffffff7fff,
693  0xffffffffcccccccb, 0xffffffffffff7ffe,
694  0xffffffffccccccca, 0xffffffffffff7fe0,
695  0xffffffffccccccac, 0xffffffffffff7f83,
696  0xffffffffcccccc4f, 0xffffffffffff7f82,
697  0xffffffffcccccc4e, 0xffffffffffff7f81,
698  0xffffffffcccccc4d, 0xffffffffffff0003,
699  0xffffffffcccc4ccf, 0xffffffffffff0002,
700  0xffffffffcccc4cce, 0xffffffffffff0001,
701  0xffffffffcccc4ccd, 0xffffffffcccc4ccd,
702  0xffffffff99999999, 0xffffffffaaaa2aab,
703  0xffffffff77777777, 0xffffffff7fff8003,
704  0xffffffff4ccccccf, 0xffffffff7fff8002,
705  0xffffffff4cccccce, 0xffffffff7fff8001,
706  0xffffffff4ccccccd, 0x000000007fff8000,
707  0x000000004ccccccc, 0x000000007fff7fff,
708  0x000000004ccccccb, 0x000000005554d556,
709  0x0000000022222222, 0x000000003332b334,
710  0x0000000000000000, 0x0000000000000000,
711  0xffffffffcccd4ccc, 0xffffffffffffffff,
712  0xffffffffcccd4ccb, 0xfffffffffffffffe,
713  0xffffffffcccd4cca, 0xfffffffffffffffd,
714  0xffffffffcccd4cc9, 0xffffffffffff8080,
715  0xffffffffcccccd4c, 0xffffffffffff807f,
716  0xffffffffcccccd4b, 0xffffffffffff807e,
717  0xffffffffcccccd4a, 0xffffffffffff807d,
718  0xffffffffcccccd49, 0xffffffffffff8020,
719  0xffffffffccccccec, 0xffffffffffff8003,
720  0xffffffffffff8003, 0xffffffffffff8003,
721  0xffffffffffff8002, 0xffffffffffff8002,
722  0xffffffffffff8001, 0xffffffffffff8001,
723  0xffffffffffff8000, 0xffffffffffff8000,
724  0xffffffffffff7fff, 0xffffffffffff7fff,
725  0xffffffffffff7ffe, 0xffffffffffff7fe1,
726  0xffffffffffff7fe0, 0xffffffffffff7f84,
727  0xffffffffffff7f83, 0xffffffffffff7f83,
728  0xffffffffffff7f82, 0xffffffffffff7f82,
729  0xffffffffffff7f81, 0xffffffffffff0004,
730  0xffffffffffff0003, 0xffffffffffff0003,
731  0xffffffffffff0002, 0xffffffffffff0002,
732  0xffffffffffff0001, 0xffffffffcccc4cce,
733  0xffffffffcccc4ccd, 0xffffffffaaaa2aac,
734  0xffffffffaaaa2aab, 0xffffffff7fff8004,
735  0xffffffff7fff8003, 0xffffffff7fff8003,
736  0xffffffff7fff8002, 0xffffffff7fff8002,
737  0xffffffff7fff8001, 0x000000007fff8001,
738  0x000000007fff8000, 0x000000007fff8000,
739  0x000000007fff7fff, 0x000000005554d557,
740  0x000000005554d556, 0x000000003332b335,
741  0x000000003332b334, 0x0000000000000001,
742  0x0000000000000000, 0x0000000000000000,
743  0xffffffffffffffff, 0xffffffffffffffff,
744  0xfffffffffffffffe, 0xfffffffffffffffe,
745  0xfffffffffffffffd, 0xffffffffffff8081,
746  0xffffffffffff8080, 0xffffffffffff8080,
747  0xffffffffffff807f, 0xffffffffffff807f,
748  0xffffffffffff807e, 0xffffffffffff807e,
749  0xffffffffffff807d, 0xffffffffffff8021,
750  0xffffffffffff8020, 0xffffffffffff8004,
751  0xffffffffffff8004, 0xffffffffffff8004,
752  0xffffffffffff8003, 0xffffffffffff8003,
753  0xffffffffffff8002, 0xffffffffffff8002,
754  0xffffffffffff8001, 0xffffffffffff8001,
755  0xffffffffffff8000, 0xffffffffffff8000,
756  0xffffffffffff7fff, 0xffffffffffff7fe2,
757  0xffffffffffff7fe1, 0xffffffffffff7f85,
758  0xffffffffffff7f84, 0xffffffffffff7f84,
759  0xffffffffffff7f83, 0xffffffffffff7f83,
760  0xffffffffffff7f82, 0xffffffffffff0005,
761  0xffffffffffff0004, 0xffffffffffff0004,
762  0xffffffffffff0003, 0xffffffffffff0003,
763  0xffffffffffff0002, 0xffffffffcccc4ccf,
764  0xffffffffcccc4cce, 0xffffffffaaaa2aad,
765  0xffffffffaaaa2aac, 0xffffffff7fff8005,
766  0xffffffff7fff8004, 0xffffffff7fff8004,
767  0xffffffff7fff8003, 0xffffffff7fff8003,
768  0xffffffff7fff8002, 0x000000007fff8002,
769  0x000000007fff8001, 0x000000007fff8001,
770  0x000000007fff8000, 0x000000005554d558,
771  0x000000005554d557, 0x000000003332b336,
772  0x000000003332b335, 0x0000000000000002,
773  0x0000000000000001, 0x0000000000000001,
774  0x0000000000000000, 0x0000000000000000,
775  0xffffffffffffffff, 0xffffffffffffffff,
776  0xfffffffffffffffe, 0xffffffffffff8082,
777  0xffffffffffff8081, 0xffffffffffff8081,
778  0xffffffffffff8080, 0xffffffffffff8080,
779  0xffffffffffff807f, 0xffffffffffff807f,
780  0xffffffffffff807e, 0xffffffffffff8022,
781  0xffffffffffff8021, 0xffffffffffff8005,
782  0xffffffffffff8005, 0xffffffffffff8005,
783  0xffffffffffff8004, 0xffffffffffff8004,
784  0xffffffffffff8003, 0xffffffffffff8003,
785  0xffffffffffff8002, 0xffffffffffff8002,
786  0xffffffffffff8001, 0xffffffffffff8001,
787  0xffffffffffff8000, 0xffffffffffff7fe3,
788  0xffffffffffff7fe2, 0xffffffffffff7f86,
789  0xffffffffffff7f85, 0xffffffffffff7f85,
790  0xffffffffffff7f84, 0xffffffffffff7f84,
791  0xffffffffffff7f83, 0xffffffffffff0006,
792  0xffffffffffff0005, 0xffffffffffff0005,
793  0xffffffffffff0004, 0xffffffffffff0004,
794  0xffffffffffff0003, 0xffffffffcccc4cd0,
795  0xffffffffcccc4ccf, 0xffffffffaaaa2aae,
796  0xffffffffaaaa2aad, 0xffffffff7fff8006,
797  0xffffffff7fff8005, 0xffffffff7fff8005,
798  0xffffffff7fff8004, 0xffffffff7fff8004,
799  0xffffffff7fff8003, 0x000000007fff8003,
800  0x000000007fff8002, 0x000000007fff8002,
801  0x000000007fff8001, 0x000000005554d559,
802  0x000000005554d558, 0x000000003332b337,
803  0x000000003332b336, 0x0000000000000003,
804  0x0000000000000002, 0x0000000000000002,
805  0x0000000000000001, 0x0000000000000001,
806  0x0000000000000000, 0x0000000000000000,
807  0xffffffffffffffff, 0xffffffffffff8083,
808  0xffffffffffff8082, 0xffffffffffff8082,
809  0xffffffffffff8081, 0xffffffffffff8081,
810  0xffffffffffff8080, 0xffffffffffff8080,
811  0xffffffffffff807f, 0xffffffffffff8023,
812  0xffffffffffff8022, 0xffffffffffff8006,
813  0xffffffffffff8006, 0xffffffffffffff82,
814  0xffffffffffff8005, 0xffffffffffffff81,
815  0xffffffffffff8004, 0xffffffffffffff80,
816  0xffffffffffff8003, 0xffffffffffffff7f,
817  0xffffffffffff8002, 0xffffffffffffff7e,
818  0xffffffffffff8001, 0xffffffffffffff60,
819  0xffffffffffff7fe3, 0xffffffffffffff03,
820  0xffffffffffff7f86, 0xffffffffffffff02,
821  0xffffffffffff7f85, 0xffffffffffffff01,
822  0xffffffffffff7f84, 0xffffffffffff7f83,
823  0xffffffffffff0006, 0xffffffffffff7f82,
824  0xffffffffffff0005, 0xffffffffffff7f81,
825  0xffffffffffff0004, 0xffffffffcccccc4d,
826  0xffffffffcccc4cd0, 0xffffffffaaaaaa2b,
827  0xffffffffaaaa2aae, 0xffffffff7fffff83,
828  0xffffffff7fff8006, 0xffffffff7fffff82,
829  0xffffffff7fff8005, 0xffffffff7fffff81,
830  0xffffffff7fff8004, 0x000000007fffff80,
831  0x000000007fff8003, 0x000000007fffff7f,
832  0x000000007fff8002, 0x00000000555554d6,
833  0x000000005554d559, 0x00000000333332b4,
834  0x000000003332b337, 0x0000000000007f80,
835  0x0000000000000003, 0x0000000000007f7f,
836  0x0000000000000002, 0x0000000000007f7e,
837  0x0000000000000001, 0x0000000000007f7d,
838  0x0000000000000000, 0x0000000000000000,
839  0xffffffffffff8083, 0xffffffffffffffff,
840  0xffffffffffff8082, 0xfffffffffffffffe,
841  0xffffffffffff8081, 0xfffffffffffffffd,
842  0xffffffffffff8080, 0xffffffffffffffa0,
843  0xffffffffffff8023, 0xffffffffffffff83,
844  0xffffffffffffff83, 0xffffffffffffff83,
845  0xffffffffffffff82, 0xffffffffffffff82,
846  0xffffffffffffff81, 0xffffffffffffff81,
847  0xffffffffffffff80, 0xffffffffffffff80,
848  0xffffffffffffff7f, 0xffffffffffffff7f,
849  0xffffffffffffff7e, 0xffffffffffffff61,
850  0xffffffffffffff60, 0xffffffffffffff04,
851  0xffffffffffffff03, 0xffffffffffffff03,
852  0xffffffffffffff02, 0xffffffffffffff02,
853  0xffffffffffffff01, 0xffffffffffff7f84,
854  0xffffffffffff7f83, 0xffffffffffff7f83,
855  0xffffffffffff7f82, 0xffffffffffff7f82,
856  0xffffffffffff7f81, 0xffffffffcccccc4e,
857  0xffffffffcccccc4d, 0xffffffffaaaaaa2c,
858  0xffffffffaaaaaa2b, 0xffffffff7fffff84,
859  0xffffffff7fffff83, 0xffffffff7fffff83,
860  0xffffffff7fffff82, 0xffffffff7fffff82,
861  0xffffffff7fffff81, 0x000000007fffff81,
862  0x000000007fffff80, 0x000000007fffff80,
863  0x000000007fffff7f, 0x00000000555554d7,
864  0x00000000555554d6, 0x00000000333332b5,
865  0x00000000333332b4, 0x0000000000007f81,
866  0x0000000000007f80, 0x0000000000007f80,
867  0x0000000000007f7f, 0x0000000000007f7f,
868  0x0000000000007f7e, 0x0000000000007f7e,
869  0x0000000000007f7d, 0x0000000000000001,
870  0x0000000000000000, 0x0000000000000000,
871  0xffffffffffffffff, 0xffffffffffffffff,
872  0xfffffffffffffffe, 0xfffffffffffffffe,
873  0xfffffffffffffffd, 0xffffffffffffffa1,
874  0xffffffffffffffa0, 0xffffffffffffff84,
875  0xffffffffffffff84, 0xffffffffffffff84,
876  0xffffffffffffff83, 0xffffffffffffff83,
877  0xffffffffffffff82, 0xffffffffffffff82,
878  0xffffffffffffff81, 0xffffffffffffff81,
879  0xffffffffffffff80, 0xffffffffffffff80,
880  0xffffffffffffff7f, 0xffffffffffffff62,
881  0xffffffffffffff61, 0xffffffffffffff05,
882  0xffffffffffffff04, 0xffffffffffffff04,
883  0xffffffffffffff03, 0xffffffffffffff03,
884  0xffffffffffffff02, 0xffffffffffff7f85,
885  0xffffffffffff7f84, 0xffffffffffff7f84,
886  0xffffffffffff7f83, 0xffffffffffff7f83,
887  0xffffffffffff7f82, 0xffffffffcccccc4f,
888  0xffffffffcccccc4e, 0xffffffffaaaaaa2d,
889  0xffffffffaaaaaa2c, 0xffffffff7fffff85,
890  0xffffffff7fffff84, 0xffffffff7fffff84,
891  0xffffffff7fffff83, 0xffffffff7fffff83,
892  0xffffffff7fffff82, 0x000000007fffff82,
893  0x000000007fffff81, 0x000000007fffff81,
894  0x000000007fffff80, 0x00000000555554d8,
895  0x00000000555554d7, 0x00000000333332b6,
896  0x00000000333332b5, 0x0000000000007f82,
897  0x0000000000007f81, 0x0000000000007f81,
898  0x0000000000007f80, 0x0000000000007f80,
899  0x0000000000007f7f, 0x0000000000007f7f,
900  0x0000000000007f7e, 0x0000000000000002,
901  0x0000000000000001, 0x0000000000000001,
902  0x0000000000000000, 0x0000000000000000,
903  0xffffffffffffffff, 0xffffffffffffffff,
904  0xfffffffffffffffe, 0xffffffffffffffa2,
905  0xffffffffffffffa1, 0xffffffffffffff85,
906  0xffffffffffffff85, 0xffffffffffffff85,
907  0xffffffffffffff84, 0xffffffffffffff84,
908  0xffffffffffffff83, 0xffffffffffffff83,
909  0xffffffffffffff82, 0xffffffffffffff82,
910  0xffffffffffffff81, 0xffffffffffffff81,
911  0xffffffffffffff80, 0xffffffffffffff63,
912  0xffffffffffffff62, 0xffffffffffffff06,
913  0xffffffffffffff05, 0xffffffffffffff05,
914  0xffffffffffffff04, 0xffffffffffffff04,
915  0xffffffffffffff03, 0xffffffffffff7f86,
916  0xffffffffffff7f85, 0xffffffffffff7f85,
917  0xffffffffffff7f84, 0xffffffffffff7f84,
918  0xffffffffffff7f83, 0xffffffffcccccc50,
919  0xffffffffcccccc4f, 0xffffffffaaaaaa2e,
920  0xffffffffaaaaaa2d, 0xffffffff7fffff86,
921  0xffffffff7fffff85, 0xffffffff7fffff85,
922  0xffffffff7fffff84, 0xffffffff7fffff84,
923  0xffffffff7fffff83, 0x000000007fffff83,
924  0x000000007fffff82, 0x000000007fffff82,
925  0x000000007fffff81, 0x00000000555554d9,
926  0x00000000555554d8, 0x00000000333332b7,
927  0x00000000333332b6, 0x0000000000007f83,
928  0x0000000000007f82, 0x0000000000007f82,
929  0x0000000000007f81, 0x0000000000007f81,
930  0x0000000000007f80, 0x0000000000007f80,
931  0x0000000000007f7f, 0x0000000000000003,
932  0x0000000000000002, 0x0000000000000002,
933  0x0000000000000001, 0x0000000000000001,
934  0x0000000000000000, 0x0000000000000000,
935  0xffffffffffffffff, 0xffffffffffffffa3,
936  0xffffffffffffffa2, 0xffffffffffffff86,
937  0xffffffffffffff86, 0xffffffffffffffe2,
938  0xffffffffffffff85, 0xffffffffffffffe1,
939  0xffffffffffffff84, 0xffffffffffffffe0,
940  0xffffffffffffff83, 0xffffffffffffffdf,
941  0xffffffffffffff82, 0xffffffffffffffde,
942  0xffffffffffffff81, 0xffffffffffffffc0,
943  0xffffffffffffff63, 0xffffffffffffff63,
944  0xffffffffffffff06, 0xffffffffffffff62,
945  0xffffffffffffff05, 0xffffffffffffff61,
946  0xffffffffffffff04, 0xffffffffffff7fe3,
947  0xffffffffffff7f86, 0xffffffffffff7fe2,
948  0xffffffffffff7f85, 0xffffffffffff7fe1,
949  0xffffffffffff7f84, 0xffffffffccccccad,
950  0xffffffffcccccc50, 0xffffffffaaaaaa8b,
951  0xffffffffaaaaaa2e, 0xffffffff7fffffe3,
952  0xffffffff7fffff86, 0xffffffff7fffffe2,
953  0xffffffff7fffff85, 0xffffffff7fffffe1,
954  0xffffffff7fffff84, 0x000000007fffffe0,
955  0x000000007fffff83, 0x000000007fffffdf,
956  0x000000007fffff82, 0x0000000055555536,
957  0x00000000555554d9, 0x0000000033333314,
958  0x00000000333332b7, 0x0000000000007fe0,
959  0x0000000000007f83, 0x0000000000007fdf,
960  0x0000000000007f82, 0x0000000000007fde,
961  0x0000000000007f81, 0x0000000000007fdd,
962  0x0000000000007f80, 0x0000000000000060,
963  0x0000000000000003, 0x000000000000005f,
964  0x0000000000000002, 0x000000000000005e,
965  0x0000000000000001, 0x000000000000005d,
966  0x0000000000000000, 0x0000000000000000,
967  0xffffffffffffffa3, 0xffffffffffffffe3,
968  0xffffffffffffffe3, 0xffffffffffffffff,
969  0xffffffffffffffe2, 0xfffffffffffffffe,
970  0xffffffffffffffe1, 0xfffffffffffffffd,
971  0xffffffffffffffe0, 0xfffffffffffffffc,
972  0xffffffffffffffdf, 0xfffffffffffffffb,
973  0xffffffffffffffde, 0xffffffffffffffdd,
974  0xffffffffffffffc0, 0xffffffffffffff80,
975  0xffffffffffffff63, 0xffffffffffffff7f,
976  0xffffffffffffff62, 0xffffffffffffff7e,
977  0xffffffffffffff61, 0xffffffffffff8000,
978  0xffffffffffff7fe3, 0xffffffffffff7fff,
979  0xffffffffffff7fe2, 0xffffffffffff7ffe,
980  0xffffffffffff7fe1, 0xffffffffccccccca,
981  0xffffffffccccccad, 0xffffffffaaaaaaa8,
982  0xffffffffaaaaaa8b, 0xffffffff80000000,
983  0xffffffff7fffffe3, 0xffffffff7fffffff,
984  0xffffffff7fffffe2, 0xffffffff7ffffffe,
985  0xffffffff7fffffe1, 0x000000007ffffffd,
986  0x000000007fffffe0, 0x000000007ffffffc,
987  0x000000007fffffdf, 0x0000000055555553,
988  0x0000000055555536, 0x0000000033333331,
989  0x0000000033333314, 0x0000000000007ffd,
990  0x0000000000007fe0, 0x0000000000007ffc,
991  0x0000000000007fdf, 0x0000000000007ffb,
992  0x0000000000007fde, 0x0000000000007ffa,
993  0x0000000000007fdd, 0x000000000000007d,
994  0x0000000000000060, 0x000000000000007c,
995  0x000000000000005f, 0x000000000000007b,
996  0x000000000000005e, 0x000000000000007a,
997  0x000000000000005d, 0x000000000000001d,
998  0x0000000000000000, 0x0000000000000000,
999};
1000const unsigned kExpectedCount_NEON_ssubl_2D = 961;
1001
1002#endif  // VIXL_SIM_SSUBL_2D_TRACE_AARCH64_H_
1003