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_SSUBW_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_SSUBW_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_ssubw_2D[] = {
38  0xffffffffffff827d, 0xffffffffffff8100,
39  0xffffffffffff817d, 0xffffffffff800300,
40  0xffffffffff80037d, 0x0000000000000000,
41  0x000000000000007d, 0xffffffffffffffff,
42  0x000000000000007c, 0xfffffffffffffffe,
43  0x000000000000007b, 0xffffffffffffffe0,
44  0x000000000000005d, 0xffffffffffffff83,
45  0x0000000000000000, 0xffffffffffffff82,
46  0xffffffffffffffff, 0xffffffffffffff81,
47  0xfffffffffffffffe, 0xffffffffffff8003,
48  0xffffffffffff8080, 0xffffffffffff8002,
49  0xffffffffffff807f, 0xffffffffffff8001,
50  0xffffffffffff807e, 0xffffffffcccccccd,
51  0xffffffffcccccd4a, 0xffffffffaaaaaaab,
52  0xffffffffaaaaab28, 0xffffffff80000003,
53  0xffffffff80000080, 0xffffffff80000002,
54  0xffffffff8000007f, 0xffffffff80000001,
55  0xffffffff8000007e, 0x0000000080000000,
56  0x000000008000007d, 0x000000007fffffff,
57  0x000000008000007c, 0x0000000055555556,
58  0x00000000555555d3, 0x0000000033333334,
59  0x00000000333333b1, 0x0000000000008000,
60  0x000000000000807d, 0x0000000000007fff,
61  0x000000000000807c, 0x0000000000007ffe,
62  0x000000000000807b, 0x0000000000007ffd,
63  0x000000000000807a, 0x0000000000000080,
64  0x00000000000000fd, 0x000000000000007f,
65  0x00000000000000fc, 0x000000000000007e,
66  0x00000000000000fb, 0x000000000000007d,
67  0x00000000000000fa, 0x0000000000000020,
68  0x000000000000009d, 0x0000000000000003,
69  0x0000000000000003, 0x0000000000000003,
70  0x0000000000000002, 0x0000000000000002,
71  0x0000000000000001, 0x0000000000000001,
72  0x0000000000000000, 0x0000000000000000,
73  0xffffffffffffffff, 0xffffffffffffffff,
74  0xfffffffffffffffe, 0xffffffffffffffe1,
75  0xffffffffffffffe0, 0xffffffffffffff84,
76  0xffffffffffffff83, 0xffffffffffffff83,
77  0xffffffffffffff82, 0xffffffffffffff82,
78  0xffffffffffffff81, 0xffffffffffff8004,
79  0xffffffffffff8003, 0xffffffffffff8003,
80  0xffffffffffff8002, 0xffffffffffff8002,
81  0xffffffffffff8001, 0xffffffffccccccce,
82  0xffffffffcccccccd, 0xffffffffaaaaaaac,
83  0xffffffffaaaaaaab, 0xffffffff80000004,
84  0xffffffff80000003, 0xffffffff80000003,
85  0xffffffff80000002, 0xffffffff80000002,
86  0xffffffff80000001, 0x0000000080000001,
87  0x0000000080000000, 0x0000000080000000,
88  0x000000007fffffff, 0x0000000055555557,
89  0x0000000055555556, 0x0000000033333335,
90  0x0000000033333334, 0x0000000000008001,
91  0x0000000000008000, 0x0000000000008000,
92  0x0000000000007fff, 0x0000000000007fff,
93  0x0000000000007ffe, 0x0000000000007ffe,
94  0x0000000000007ffd, 0x0000000000000081,
95  0x0000000000000080, 0x0000000000000080,
96  0x000000000000007f, 0x000000000000007f,
97  0x000000000000007e, 0x000000000000007e,
98  0x000000000000007d, 0x0000000000000021,
99  0x0000000000000020, 0x0000000000000004,
100  0x0000000000000004, 0x0000000000000004,
101  0x0000000000000003, 0x0000000000000003,
102  0x0000000000000002, 0x0000000000000002,
103  0x0000000000000001, 0x0000000000000001,
104  0x0000000000000000, 0x0000000000000000,
105  0xffffffffffffffff, 0xffffffffffffffe2,
106  0xffffffffffffffe1, 0xffffffffffffff85,
107  0xffffffffffffff84, 0xffffffffffffff84,
108  0xffffffffffffff83, 0xffffffffffffff83,
109  0xffffffffffffff82, 0xffffffffffff8005,
110  0xffffffffffff8004, 0xffffffffffff8004,
111  0xffffffffffff8003, 0xffffffffffff8003,
112  0xffffffffffff8002, 0xffffffffcccccccf,
113  0xffffffffccccccce, 0xffffffffaaaaaaad,
114  0xffffffffaaaaaaac, 0xffffffff80000005,
115  0xffffffff80000004, 0xffffffff80000004,
116  0xffffffff80000003, 0xffffffff80000003,
117  0xffffffff80000002, 0x0000000080000002,
118  0x0000000080000001, 0x0000000080000001,
119  0x0000000080000000, 0x0000000055555558,
120  0x0000000055555557, 0x0000000033333336,
121  0x0000000033333335, 0x0000000000008002,
122  0x0000000000008001, 0x0000000000008001,
123  0x0000000000008000, 0x0000000000008000,
124  0x0000000000007fff, 0x0000000000007fff,
125  0x0000000000007ffe, 0x0000000000000082,
126  0x0000000000000081, 0x0000000000000081,
127  0x0000000000000080, 0x0000000000000080,
128  0x000000000000007f, 0x000000000000007f,
129  0x000000000000007e, 0x0000000000000022,
130  0x0000000000000021, 0x0000000000000005,
131  0x0000000000000005, 0x0000000000000042,
132  0x0000000000000004, 0x0000000000000041,
133  0x0000000000000003, 0x0000000000000040,
134  0x0000000000000002, 0x000000000000003f,
135  0x0000000000000001, 0x000000000000003e,
136  0x0000000000000000, 0x0000000000000020,
137  0xffffffffffffffe2, 0xffffffffffffffc3,
138  0xffffffffffffff85, 0xffffffffffffffc2,
139  0xffffffffffffff84, 0xffffffffffffffc1,
140  0xffffffffffffff83, 0xffffffffffff8043,
141  0xffffffffffff8005, 0xffffffffffff8042,
142  0xffffffffffff8004, 0xffffffffffff8041,
143  0xffffffffffff8003, 0xffffffffcccccd0d,
144  0xffffffffcccccccf, 0xffffffffaaaaaaeb,
145  0xffffffffaaaaaaad, 0xffffffff80000043,
146  0xffffffff80000005, 0xffffffff80000042,
147  0xffffffff80000004, 0xffffffff80000041,
148  0xffffffff80000003, 0x0000000080000040,
149  0x0000000080000002, 0x000000008000003f,
150  0x0000000080000001, 0x0000000055555596,
151  0x0000000055555558, 0x0000000033333374,
152  0x0000000033333336, 0x0000000000008040,
153  0x0000000000008002, 0x000000000000803f,
154  0x0000000000008001, 0x000000000000803e,
155  0x0000000000008000, 0x000000000000803d,
156  0x0000000000007fff, 0x00000000000000c0,
157  0x0000000000000082, 0x00000000000000bf,
158  0x0000000000000081, 0x00000000000000be,
159  0x0000000000000080, 0x00000000000000bd,
160  0x000000000000007f, 0x0000000000000060,
161  0x0000000000000022, 0x0000000000000043,
162  0x0000000000000043, 0x000000000000007f,
163  0x0000000000000042, 0x000000000000007e,
164  0x0000000000000041, 0x000000000000007d,
165  0x0000000000000040, 0x000000000000007c,
166  0x000000000000003f, 0x000000000000007b,
167  0x000000000000003e, 0x000000000000005d,
168  0x0000000000000020, 0x0000000000000000,
169  0xffffffffffffffc3, 0xffffffffffffffff,
170  0xffffffffffffffc2, 0xfffffffffffffffe,
171  0xffffffffffffffc1, 0xffffffffffff8080,
172  0xffffffffffff8043, 0xffffffffffff807f,
173  0xffffffffffff8042, 0xffffffffffff807e,
174  0xffffffffffff8041, 0xffffffffcccccd4a,
175  0xffffffffcccccd0d, 0xffffffffaaaaab28,
176  0xffffffffaaaaaaeb, 0xffffffff80000080,
177  0xffffffff80000043, 0xffffffff8000007f,
178  0xffffffff80000042, 0xffffffff8000007e,
179  0xffffffff80000041, 0x000000008000007d,
180  0x0000000080000040, 0x000000008000007c,
181  0x000000008000003f, 0x00000000555555d3,
182  0x0000000055555596, 0x00000000333333b1,
183  0x0000000033333374, 0x000000000000807d,
184  0x0000000000008040, 0x000000000000807c,
185  0x000000000000803f, 0x000000000000807b,
186  0x000000000000803e, 0x000000000000807a,
187  0x000000000000803d, 0x00000000000000fd,
188  0x00000000000000c0, 0x00000000000000fc,
189  0x00000000000000bf, 0x00000000000000fb,
190  0x00000000000000be, 0x00000000000000fa,
191  0x00000000000000bd, 0x000000000000009d,
192  0x0000000000000060, 0x0000000000000080,
193  0x0000000000000080, 0x0000000000000080,
194  0x000000000000007f, 0x000000000000007f,
195  0x000000000000007e, 0x000000000000007e,
196  0x000000000000007d, 0x000000000000007d,
197  0x000000000000007c, 0x000000000000007c,
198  0x000000000000007b, 0x000000000000005e,
199  0x000000000000005d, 0x0000000000000001,
200  0x0000000000000000, 0x0000000000000000,
201  0xffffffffffffffff, 0xffffffffffffffff,
202  0xfffffffffffffffe, 0xffffffffffff8081,
203  0xffffffffffff8080, 0xffffffffffff8080,
204  0xffffffffffff807f, 0xffffffffffff807f,
205  0xffffffffffff807e, 0xffffffffcccccd4b,
206  0xffffffffcccccd4a, 0xffffffffaaaaab29,
207  0xffffffffaaaaab28, 0xffffffff80000081,
208  0xffffffff80000080, 0xffffffff80000080,
209  0xffffffff8000007f, 0xffffffff8000007f,
210  0xffffffff8000007e, 0x000000008000007e,
211  0x000000008000007d, 0x000000008000007d,
212  0x000000008000007c, 0x00000000555555d4,
213  0x00000000555555d3, 0x00000000333333b2,
214  0x00000000333333b1, 0x000000000000807e,
215  0x000000000000807d, 0x000000000000807d,
216  0x000000000000807c, 0x000000000000807c,
217  0x000000000000807b, 0x000000000000807b,
218  0x000000000000807a, 0x00000000000000fe,
219  0x00000000000000fd, 0x00000000000000fd,
220  0x00000000000000fc, 0x00000000000000fc,
221  0x00000000000000fb, 0x00000000000000fb,
222  0x00000000000000fa, 0x000000000000009e,
223  0x000000000000009d, 0x0000000000000081,
224  0x0000000000000081, 0x0000000000000081,
225  0x0000000000000080, 0x0000000000000080,
226  0x000000000000007f, 0x000000000000007f,
227  0x000000000000007e, 0x000000000000007e,
228  0x000000000000007d, 0x000000000000007d,
229  0x000000000000007c, 0x000000000000005f,
230  0x000000000000005e, 0x0000000000000002,
231  0x0000000000000001, 0x0000000000000001,
232  0x0000000000000000, 0x0000000000000000,
233  0xffffffffffffffff, 0xffffffffffff8082,
234  0xffffffffffff8081, 0xffffffffffff8081,
235  0xffffffffffff8080, 0xffffffffffff8080,
236  0xffffffffffff807f, 0xffffffffcccccd4c,
237  0xffffffffcccccd4b, 0xffffffffaaaaab2a,
238  0xffffffffaaaaab29, 0xffffffff80000082,
239  0xffffffff80000081, 0xffffffff80000081,
240  0xffffffff80000080, 0xffffffff80000080,
241  0xffffffff8000007f, 0x000000008000007f,
242  0x000000008000007e, 0x000000008000007e,
243  0x000000008000007d, 0x00000000555555d5,
244  0x00000000555555d4, 0x00000000333333b3,
245  0x00000000333333b2, 0x000000000000807f,
246  0x000000000000807e, 0x000000000000807e,
247  0x000000000000807d, 0x000000000000807d,
248  0x000000000000807c, 0x000000000000807c,
249  0x000000000000807b, 0x00000000000000ff,
250  0x00000000000000fe, 0x00000000000000fe,
251  0x00000000000000fd, 0x00000000000000fd,
252  0x00000000000000fc, 0x00000000000000fc,
253  0x00000000000000fb, 0x000000000000009f,
254  0x000000000000009e, 0x0000000000000082,
255  0x0000000000000082, 0x0000000000007fff,
256  0x0000000000000081, 0x0000000000007ffe,
257  0x0000000000000080, 0x0000000000007ffd,
258  0x000000000000007f, 0x0000000000007ffc,
259  0x000000000000007e, 0x0000000000007ffb,
260  0x000000000000007d, 0x0000000000007fdd,
261  0x000000000000005f, 0x0000000000007f80,
262  0x0000000000000002, 0x0000000000007f7f,
263  0x0000000000000001, 0x0000000000007f7e,
264  0x0000000000000000, 0x0000000000000000,
265  0xffffffffffff8082, 0xffffffffffffffff,
266  0xffffffffffff8081, 0xfffffffffffffffe,
267  0xffffffffffff8080, 0xffffffffcccd4cca,
268  0xffffffffcccccd4c, 0xffffffffaaab2aa8,
269  0xffffffffaaaaab2a, 0xffffffff80008000,
270  0xffffffff80000082, 0xffffffff80007fff,
271  0xffffffff80000081, 0xffffffff80007ffe,
272  0xffffffff80000080, 0x0000000080007ffd,
273  0x000000008000007f, 0x0000000080007ffc,
274  0x000000008000007e, 0x000000005555d553,
275  0x00000000555555d5, 0x000000003333b331,
276  0x00000000333333b3, 0x000000000000fffd,
277  0x000000000000807f, 0x000000000000fffc,
278  0x000000000000807e, 0x000000000000fffb,
279  0x000000000000807d, 0x000000000000fffa,
280  0x000000000000807c, 0x000000000000807d,
281  0x00000000000000ff, 0x000000000000807c,
282  0x00000000000000fe, 0x000000000000807b,
283  0x00000000000000fd, 0x000000000000807a,
284  0x00000000000000fc, 0x000000000000801d,
285  0x000000000000009f, 0x0000000000008000,
286  0x0000000000008000, 0x0000000000008000,
287  0x0000000000007fff, 0x0000000000007fff,
288  0x0000000000007ffe, 0x0000000000007ffe,
289  0x0000000000007ffd, 0x0000000000007ffd,
290  0x0000000000007ffc, 0x0000000000007ffc,
291  0x0000000000007ffb, 0x0000000000007fde,
292  0x0000000000007fdd, 0x0000000000007f81,
293  0x0000000000007f80, 0x0000000000007f80,
294  0x0000000000007f7f, 0x0000000000007f7f,
295  0x0000000000007f7e, 0x0000000000000001,
296  0x0000000000000000, 0x0000000000000000,
297  0xffffffffffffffff, 0xffffffffffffffff,
298  0xfffffffffffffffe, 0xffffffffcccd4ccb,
299  0xffffffffcccd4cca, 0xffffffffaaab2aa9,
300  0xffffffffaaab2aa8, 0xffffffff80008001,
301  0xffffffff80008000, 0xffffffff80008000,
302  0xffffffff80007fff, 0xffffffff80007fff,
303  0xffffffff80007ffe, 0x0000000080007ffe,
304  0x0000000080007ffd, 0x0000000080007ffd,
305  0x0000000080007ffc, 0x000000005555d554,
306  0x000000005555d553, 0x000000003333b332,
307  0x000000003333b331, 0x000000000000fffe,
308  0x000000000000fffd, 0x000000000000fffd,
309  0x000000000000fffc, 0x000000000000fffc,
310  0x000000000000fffb, 0x000000000000fffb,
311  0x000000000000fffa, 0x000000000000807e,
312  0x000000000000807d, 0x000000000000807d,
313  0x000000000000807c, 0x000000000000807c,
314  0x000000000000807b, 0x000000000000807b,
315  0x000000000000807a, 0x000000000000801e,
316  0x000000000000801d, 0x0000000000008001,
317  0x0000000000008001, 0x0000000000008001,
318  0x0000000000008000, 0x0000000000008000,
319  0x0000000000007fff, 0x0000000000007fff,
320  0x0000000000007ffe, 0x0000000000007ffe,
321  0x0000000000007ffd, 0x0000000000007ffd,
322  0x0000000000007ffc, 0x0000000000007fdf,
323  0x0000000000007fde, 0x0000000000007f82,
324  0x0000000000007f81, 0x0000000000007f81,
325  0x0000000000007f80, 0x0000000000007f80,
326  0x0000000000007f7f, 0x0000000000000002,
327  0x0000000000000001, 0x0000000000000001,
328  0x0000000000000000, 0x0000000000000000,
329  0xffffffffffffffff, 0xffffffffcccd4ccc,
330  0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
331  0xffffffffaaab2aa9, 0xffffffff80008002,
332  0xffffffff80008001, 0xffffffff80008001,
333  0xffffffff80008000, 0xffffffff80008000,
334  0xffffffff80007fff, 0x0000000080007fff,
335  0x0000000080007ffe, 0x0000000080007ffe,
336  0x0000000080007ffd, 0x000000005555d555,
337  0x000000005555d554, 0x000000003333b333,
338  0x000000003333b332, 0x000000000000ffff,
339  0x000000000000fffe, 0x000000000000fffe,
340  0x000000000000fffd, 0x000000000000fffd,
341  0x000000000000fffc, 0x000000000000fffc,
342  0x000000000000fffb, 0x000000000000807f,
343  0x000000000000807e, 0x000000000000807e,
344  0x000000000000807d, 0x000000000000807d,
345  0x000000000000807c, 0x000000000000807c,
346  0x000000000000807b, 0x000000000000801f,
347  0x000000000000801e, 0x0000000000008002,
348  0x0000000000008002, 0x000000007fffffff,
349  0x0000000000008001, 0x000000007ffffffe,
350  0x0000000000008000, 0x000000007ffffffd,
351  0x0000000000007fff, 0x000000007ffffffc,
352  0x0000000000007ffe, 0x000000007ffffffb,
353  0x0000000000007ffd, 0x000000007fffffdd,
354  0x0000000000007fdf, 0x000000007fffff80,
355  0x0000000000007f82, 0x000000007fffff7f,
356  0x0000000000007f81, 0x000000007fffff7e,
357  0x0000000000007f80, 0x000000007fff8000,
358  0x0000000000000002, 0x000000007fff7fff,
359  0x0000000000000001, 0x000000007fff7ffe,
360  0x0000000000000000, 0x000000004cccccca,
361  0xffffffffcccd4ccc, 0x000000002aaaaaa8,
362  0xffffffffaaab2aaa, 0x0000000000000000,
363  0xffffffff80008002, 0xffffffffffffffff,
364  0xffffffff80008001, 0xfffffffffffffffe,
365  0xffffffff80008000, 0x00000000fffffffd,
366  0x0000000080007fff, 0x00000000fffffffc,
367  0x0000000080007ffe, 0x00000000d5555553,
368  0x000000005555d555, 0x00000000b3333331,
369  0x000000003333b333, 0x0000000080007ffd,
370  0x000000000000ffff, 0x0000000080007ffc,
371  0x000000000000fffe, 0x0000000080007ffb,
372  0x000000000000fffd, 0x0000000080007ffa,
373  0x000000000000fffc, 0x000000008000007d,
374  0x000000000000807f, 0x000000008000007c,
375  0x000000000000807e, 0x000000008000007b,
376  0x000000000000807d, 0x000000008000007a,
377  0x000000000000807c, 0x000000008000001d,
378  0x000000000000801f, 0x0000000080000000,
379  0x0000000080000000, 0x0000000080000000,
380  0x000000007fffffff, 0x000000007fffffff,
381  0x000000007ffffffe, 0x000000007ffffffe,
382  0x000000007ffffffd, 0x000000007ffffffd,
383  0x000000007ffffffc, 0x000000007ffffffc,
384  0x000000007ffffffb, 0x000000007fffffde,
385  0x000000007fffffdd, 0x000000007fffff81,
386  0x000000007fffff80, 0x000000007fffff80,
387  0x000000007fffff7f, 0x000000007fffff7f,
388  0x000000007fffff7e, 0x000000007fff8001,
389  0x000000007fff8000, 0x000000007fff8000,
390  0x000000007fff7fff, 0x000000007fff7fff,
391  0x000000007fff7ffe, 0x000000004ccccccb,
392  0x000000004cccccca, 0x000000002aaaaaa9,
393  0x000000002aaaaaa8, 0x0000000000000001,
394  0x0000000000000000, 0x0000000000000000,
395  0xffffffffffffffff, 0xffffffffffffffff,
396  0xfffffffffffffffe, 0x00000000fffffffe,
397  0x00000000fffffffd, 0x00000000fffffffd,
398  0x00000000fffffffc, 0x00000000d5555554,
399  0x00000000d5555553, 0x00000000b3333332,
400  0x00000000b3333331, 0x0000000080007ffe,
401  0x0000000080007ffd, 0x0000000080007ffd,
402  0x0000000080007ffc, 0x0000000080007ffc,
403  0x0000000080007ffb, 0x0000000080007ffb,
404  0x0000000080007ffa, 0x000000008000007e,
405  0x000000008000007d, 0x000000008000007d,
406  0x000000008000007c, 0x000000008000007c,
407  0x000000008000007b, 0x000000008000007b,
408  0x000000008000007a, 0x000000008000001e,
409  0x000000008000001d, 0x0000000080000001,
410  0x0000000080000001, 0x0000000080000001,
411  0x0000000080000000, 0x0000000080000000,
412  0x000000007fffffff, 0x000000007fffffff,
413  0x000000007ffffffe, 0x000000007ffffffe,
414  0x000000007ffffffd, 0x000000007ffffffd,
415  0x000000007ffffffc, 0x000000007fffffdf,
416  0x000000007fffffde, 0x000000007fffff82,
417  0x000000007fffff81, 0x000000007fffff81,
418  0x000000007fffff80, 0x000000007fffff80,
419  0x000000007fffff7f, 0x000000007fff8002,
420  0x000000007fff8001, 0x000000007fff8001,
421  0x000000007fff8000, 0x000000007fff8000,
422  0x000000007fff7fff, 0x000000004ccccccc,
423  0x000000004ccccccb, 0x000000002aaaaaaa,
424  0x000000002aaaaaa9, 0x0000000000000002,
425  0x0000000000000001, 0x0000000000000001,
426  0x0000000000000000, 0x0000000000000000,
427  0xffffffffffffffff, 0x00000000ffffffff,
428  0x00000000fffffffe, 0x00000000fffffffe,
429  0x00000000fffffffd, 0x00000000d5555555,
430  0x00000000d5555554, 0x00000000b3333333,
431  0x00000000b3333332, 0x0000000080007fff,
432  0x0000000080007ffe, 0x0000000080007ffe,
433  0x0000000080007ffd, 0x0000000080007ffd,
434  0x0000000080007ffc, 0x0000000080007ffc,
435  0x0000000080007ffb, 0x000000008000007f,
436  0x000000008000007e, 0x000000008000007e,
437  0x000000008000007d, 0x000000008000007d,
438  0x000000008000007c, 0x000000008000007c,
439  0x000000008000007b, 0x000000008000001f,
440  0x000000008000001e, 0x0000000080000002,
441  0x0000000080000002, 0x3333333333333335,
442  0x0000000080000001, 0x3333333333333334,
443  0x0000000080000000, 0x3333333333333333,
444  0x000000007fffffff, 0x3333333333333332,
445  0x000000007ffffffe, 0x3333333333333331,
446  0x000000007ffffffd, 0x3333333333333313,
447  0x000000007fffffdf, 0x33333333333332b6,
448  0x000000007fffff82, 0x33333333333332b5,
449  0x000000007fffff81, 0x33333333333332b4,
450  0x000000007fffff80, 0x333333333332b336,
451  0x000000007fff8002, 0x333333333332b335,
452  0x000000007fff8001, 0x333333333332b334,
453  0x000000007fff8000, 0x3333333300000000,
454  0x000000004ccccccc, 0x33333332ddddddde,
455  0x000000002aaaaaaa, 0x33333332b3333336,
456  0x0000000000000002, 0x33333332b3333335,
457  0x0000000000000001, 0x33333332b3333334,
458  0x0000000000000000, 0x33333333b3333333,
459  0x00000000ffffffff, 0x33333333b3333332,
460  0x00000000fffffffe, 0x3333333388888889,
461  0x00000000d5555555, 0x3333333366666667,
462  0x00000000b3333333, 0x333333333333b333,
463  0x0000000080007fff, 0x333333333333b332,
464  0x0000000080007ffe, 0x333333333333b331,
465  0x0000000080007ffd, 0x333333333333b330,
466  0x0000000080007ffc, 0x33333333333333b3,
467  0x000000008000007f, 0x33333333333333b2,
468  0x000000008000007e, 0x33333333333333b1,
469  0x000000008000007d, 0x33333333333333b0,
470  0x000000008000007c, 0x3333333333333353,
471  0x000000008000001f, 0x3333333333333336,
472  0x3333333333333336, 0x5555555555555557,
473  0x3333333333333335, 0x5555555555555556,
474  0x3333333333333334, 0x5555555555555555,
475  0x3333333333333333, 0x5555555555555554,
476  0x3333333333333332, 0x5555555555555553,
477  0x3333333333333331, 0x5555555555555535,
478  0x3333333333333313, 0x55555555555554d8,
479  0x33333333333332b6, 0x55555555555554d7,
480  0x33333333333332b5, 0x55555555555554d6,
481  0x33333333333332b4, 0x555555555554d558,
482  0x333333333332b336, 0x555555555554d557,
483  0x333333333332b335, 0x555555555554d556,
484  0x333333333332b334, 0x5555555522222222,
485  0x3333333300000000, 0x5555555500000000,
486  0x33333332ddddddde, 0x55555554d5555558,
487  0x33333332b3333336, 0x55555554d5555557,
488  0x33333332b3333335, 0x55555554d5555556,
489  0x33333332b3333334, 0x55555555d5555555,
490  0x33333333b3333333, 0x55555555d5555554,
491  0x33333333b3333332, 0x55555555aaaaaaab,
492  0x3333333388888889, 0x5555555588888889,
493  0x3333333366666667, 0x555555555555d555,
494  0x333333333333b333, 0x555555555555d554,
495  0x333333333333b332, 0x555555555555d553,
496  0x333333333333b331, 0x555555555555d552,
497  0x333333333333b330, 0x55555555555555d5,
498  0x33333333333333b3, 0x55555555555555d4,
499  0x33333333333333b2, 0x55555555555555d3,
500  0x33333333333333b1, 0x55555555555555d2,
501  0x33333333333333b0, 0x5555555555555575,
502  0x3333333333333353, 0x5555555555555558,
503  0x5555555555555558, 0x7fffffffffffffff,
504  0x5555555555555557, 0x7ffffffffffffffe,
505  0x5555555555555556, 0x7ffffffffffffffd,
506  0x5555555555555555, 0x7ffffffffffffffc,
507  0x5555555555555554, 0x7ffffffffffffffb,
508  0x5555555555555553, 0x7fffffffffffffdd,
509  0x5555555555555535, 0x7fffffffffffff80,
510  0x55555555555554d8, 0x7fffffffffffff7f,
511  0x55555555555554d7, 0x7fffffffffffff7e,
512  0x55555555555554d6, 0x7fffffffffff8000,
513  0x555555555554d558, 0x7fffffffffff7fff,
514  0x555555555554d557, 0x7fffffffffff7ffe,
515  0x555555555554d556, 0x7fffffffccccccca,
516  0x5555555522222222, 0x7fffffffaaaaaaa8,
517  0x5555555500000000, 0x7fffffff80000000,
518  0x55555554d5555558, 0x7fffffff7fffffff,
519  0x55555554d5555557, 0x7fffffff7ffffffe,
520  0x55555554d5555556, 0x800000007ffffffd,
521  0x55555555d5555555, 0x800000007ffffffc,
522  0x55555555d5555554, 0x8000000055555553,
523  0x55555555aaaaaaab, 0x8000000033333331,
524  0x5555555588888889, 0x8000000000007ffd,
525  0x555555555555d555, 0x8000000000007ffc,
526  0x555555555555d554, 0x8000000000007ffb,
527  0x555555555555d553, 0x8000000000007ffa,
528  0x555555555555d552, 0x800000000000007d,
529  0x55555555555555d5, 0x800000000000007c,
530  0x55555555555555d4, 0x800000000000007b,
531  0x55555555555555d3, 0x800000000000007a,
532  0x55555555555555d2, 0x800000000000001d,
533  0x5555555555555575, 0x8000000000000000,
534  0x8000000000000000, 0x8000000000000000,
535  0x7fffffffffffffff, 0x7fffffffffffffff,
536  0x7ffffffffffffffe, 0x7ffffffffffffffe,
537  0x7ffffffffffffffd, 0x7ffffffffffffffd,
538  0x7ffffffffffffffc, 0x7ffffffffffffffc,
539  0x7ffffffffffffffb, 0x7fffffffffffffde,
540  0x7fffffffffffffdd, 0x7fffffffffffff81,
541  0x7fffffffffffff80, 0x7fffffffffffff80,
542  0x7fffffffffffff7f, 0x7fffffffffffff7f,
543  0x7fffffffffffff7e, 0x7fffffffffff8001,
544  0x7fffffffffff8000, 0x7fffffffffff8000,
545  0x7fffffffffff7fff, 0x7fffffffffff7fff,
546  0x7fffffffffff7ffe, 0x7fffffffcccccccb,
547  0x7fffffffccccccca, 0x7fffffffaaaaaaa9,
548  0x7fffffffaaaaaaa8, 0x7fffffff80000001,
549  0x7fffffff80000000, 0x7fffffff80000000,
550  0x7fffffff7fffffff, 0x7fffffff7fffffff,
551  0x7fffffff7ffffffe, 0x800000007ffffffe,
552  0x800000007ffffffd, 0x800000007ffffffd,
553  0x800000007ffffffc, 0x8000000055555554,
554  0x8000000055555553, 0x8000000033333332,
555  0x8000000033333331, 0x8000000000007ffe,
556  0x8000000000007ffd, 0x8000000000007ffd,
557  0x8000000000007ffc, 0x8000000000007ffc,
558  0x8000000000007ffb, 0x8000000000007ffb,
559  0x8000000000007ffa, 0x800000000000007e,
560  0x800000000000007d, 0x800000000000007d,
561  0x800000000000007c, 0x800000000000007c,
562  0x800000000000007b, 0x800000000000007b,
563  0x800000000000007a, 0x800000000000001e,
564  0x800000000000001d, 0x8000000000000001,
565  0x8000000000000001, 0x8000000000000001,
566  0x8000000000000000, 0x8000000000000000,
567  0x7fffffffffffffff, 0x7fffffffffffffff,
568  0x7ffffffffffffffe, 0x7ffffffffffffffe,
569  0x7ffffffffffffffd, 0x7ffffffffffffffd,
570  0x7ffffffffffffffc, 0x7fffffffffffffdf,
571  0x7fffffffffffffde, 0x7fffffffffffff82,
572  0x7fffffffffffff81, 0x7fffffffffffff81,
573  0x7fffffffffffff80, 0x7fffffffffffff80,
574  0x7fffffffffffff7f, 0x7fffffffffff8002,
575  0x7fffffffffff8001, 0x7fffffffffff8001,
576  0x7fffffffffff8000, 0x7fffffffffff8000,
577  0x7fffffffffff7fff, 0x7fffffffcccccccc,
578  0x7fffffffcccccccb, 0x7fffffffaaaaaaaa,
579  0x7fffffffaaaaaaa9, 0x7fffffff80000002,
580  0x7fffffff80000001, 0x7fffffff80000001,
581  0x7fffffff80000000, 0x7fffffff80000000,
582  0x7fffffff7fffffff, 0x800000007fffffff,
583  0x800000007ffffffe, 0x800000007ffffffe,
584  0x800000007ffffffd, 0x8000000055555555,
585  0x8000000055555554, 0x8000000033333333,
586  0x8000000033333332, 0x8000000000007fff,
587  0x8000000000007ffe, 0x8000000000007ffe,
588  0x8000000000007ffd, 0x8000000000007ffd,
589  0x8000000000007ffc, 0x8000000000007ffc,
590  0x8000000000007ffb, 0x800000000000007f,
591  0x800000000000007e, 0x800000000000007e,
592  0x800000000000007d, 0x800000000000007d,
593  0x800000000000007c, 0x800000000000007c,
594  0x800000000000007b, 0x800000000000001f,
595  0x800000000000001e, 0x8000000000000002,
596  0x8000000000000002, 0x8000000000000002,
597  0x8000000000000001, 0x8000000000000001,
598  0x8000000000000000, 0x8000000000000000,
599  0x7fffffffffffffff, 0x7fffffffffffffff,
600  0x7ffffffffffffffe, 0x7ffffffffffffffe,
601  0x7ffffffffffffffd, 0x7fffffffffffffe0,
602  0x7fffffffffffffdf, 0x7fffffffffffff83,
603  0x7fffffffffffff82, 0x7fffffffffffff82,
604  0x7fffffffffffff81, 0x7fffffffffffff81,
605  0x7fffffffffffff80, 0x7fffffffffff8003,
606  0x7fffffffffff8002, 0x7fffffffffff8002,
607  0x7fffffffffff8001, 0x7fffffffffff8001,
608  0x7fffffffffff8000, 0x7fffffffcccccccd,
609  0x7fffffffcccccccc, 0x7fffffffaaaaaaab,
610  0x7fffffffaaaaaaaa, 0x7fffffff80000003,
611  0x7fffffff80000002, 0x7fffffff80000002,
612  0x7fffffff80000001, 0x7fffffff80000001,
613  0x7fffffff80000000, 0x8000000080000000,
614  0x800000007fffffff, 0x800000007fffffff,
615  0x800000007ffffffe, 0x8000000055555556,
616  0x8000000055555555, 0x8000000033333334,
617  0x8000000033333333, 0x8000000000008000,
618  0x8000000000007fff, 0x8000000000007fff,
619  0x8000000000007ffe, 0x8000000000007ffe,
620  0x8000000000007ffd, 0x8000000000007ffd,
621  0x8000000000007ffc, 0x8000000000000080,
622  0x800000000000007f, 0x800000000000007f,
623  0x800000000000007e, 0x800000000000007e,
624  0x800000000000007d, 0x800000000000007d,
625  0x800000000000007c, 0x8000000000000020,
626  0x800000000000001f, 0x8000000000000003,
627  0x8000000000000003, 0x8000000000000003,
628  0x8000000000000002, 0x8000000000000002,
629  0x8000000000000001, 0x8000000000000001,
630  0x8000000000000000, 0x8000000000000000,
631  0x7fffffffffffffff, 0x7fffffffffffffff,
632  0x7ffffffffffffffe, 0x7fffffffffffffe1,
633  0x7fffffffffffffe0, 0x7fffffffffffff84,
634  0x7fffffffffffff83, 0x7fffffffffffff83,
635  0x7fffffffffffff82, 0x7fffffffffffff82,
636  0x7fffffffffffff81, 0x7fffffffffff8004,
637  0x7fffffffffff8003, 0x7fffffffffff8003,
638  0x7fffffffffff8002, 0x7fffffffffff8002,
639  0x7fffffffffff8001, 0x7fffffffccccccce,
640  0x7fffffffcccccccd, 0x7fffffffaaaaaaac,
641  0x7fffffffaaaaaaab, 0x7fffffff80000004,
642  0x7fffffff80000003, 0x7fffffff80000003,
643  0x7fffffff80000002, 0x7fffffff80000002,
644  0x7fffffff80000001, 0x8000000080000001,
645  0x8000000080000000, 0x8000000080000000,
646  0x800000007fffffff, 0x8000000055555557,
647  0x8000000055555556, 0x8000000033333335,
648  0x8000000033333334, 0x8000000000008001,
649  0x8000000000008000, 0x8000000000008000,
650  0x8000000000007fff, 0x8000000000007fff,
651  0x8000000000007ffe, 0x8000000000007ffe,
652  0x8000000000007ffd, 0x8000000000000081,
653  0x8000000000000080, 0x8000000000000080,
654  0x800000000000007f, 0x800000000000007f,
655  0x800000000000007e, 0x800000000000007e,
656  0x800000000000007d, 0x8000000000000021,
657  0x8000000000000020, 0x8000000000000004,
658  0x8000000000000004, 0x8000000000000004,
659  0x8000000000000003, 0x8000000000000003,
660  0x8000000000000002, 0x8000000000000002,
661  0x8000000000000001, 0x8000000000000001,
662  0x8000000000000000, 0x8000000000000000,
663  0x7fffffffffffffff, 0x7fffffffffffffe2,
664  0x7fffffffffffffe1, 0x7fffffffffffff85,
665  0x7fffffffffffff84, 0x7fffffffffffff84,
666  0x7fffffffffffff83, 0x7fffffffffffff83,
667  0x7fffffffffffff82, 0x7fffffffffff8005,
668  0x7fffffffffff8004, 0x7fffffffffff8004,
669  0x7fffffffffff8003, 0x7fffffffffff8003,
670  0x7fffffffffff8002, 0x7fffffffcccccccf,
671  0x7fffffffccccccce, 0x7fffffffaaaaaaad,
672  0x7fffffffaaaaaaac, 0x7fffffff80000005,
673  0x7fffffff80000004, 0x7fffffff80000004,
674  0x7fffffff80000003, 0x7fffffff80000003,
675  0x7fffffff80000002, 0x8000000080000002,
676  0x8000000080000001, 0x8000000080000001,
677  0x8000000080000000, 0x8000000055555558,
678  0x8000000055555557, 0x8000000033333336,
679  0x8000000033333335, 0x8000000000008002,
680  0x8000000000008001, 0x8000000000008001,
681  0x8000000000008000, 0x8000000000008000,
682  0x8000000000007fff, 0x8000000000007fff,
683  0x8000000000007ffe, 0x8000000000000082,
684  0x8000000000000081, 0x8000000000000081,
685  0x8000000000000080, 0x8000000000000080,
686  0x800000000000007f, 0x800000000000007f,
687  0x800000000000007e, 0x8000000000000022,
688  0x8000000000000021, 0x8000000000000005,
689  0x8000000000000005, 0x8000000000000005,
690  0x8000000000000004, 0x8000000000000004,
691  0x8000000000000003, 0x8000000000000003,
692  0x8000000000000002, 0x8000000000000002,
693  0x8000000000000001, 0x8000000000000001,
694  0x8000000000000000, 0x7fffffffffffffe3,
695  0x7fffffffffffffe2, 0x7fffffffffffff86,
696  0x7fffffffffffff85, 0x7fffffffffffff85,
697  0x7fffffffffffff84, 0x7fffffffffffff84,
698  0x7fffffffffffff83, 0x7fffffffffff8006,
699  0x7fffffffffff8005, 0x7fffffffffff8005,
700  0x7fffffffffff8004, 0x7fffffffffff8004,
701  0x7fffffffffff8003, 0x7fffffffccccccd0,
702  0x7fffffffcccccccf, 0x7fffffffaaaaaaae,
703  0x7fffffffaaaaaaad, 0x7fffffff80000006,
704  0x7fffffff80000005, 0x7fffffff80000005,
705  0x7fffffff80000004, 0x7fffffff80000004,
706  0x7fffffff80000003, 0x8000000080000003,
707  0x8000000080000002, 0x8000000080000002,
708  0x8000000080000001, 0x8000000055555559,
709  0x8000000055555558, 0x8000000033333337,
710  0x8000000033333336, 0x8000000000008003,
711  0x8000000000008002, 0x8000000000008002,
712  0x8000000000008001, 0x8000000000008001,
713  0x8000000000008000, 0x8000000000008000,
714  0x8000000000007fff, 0x8000000000000083,
715  0x8000000000000082, 0x8000000000000082,
716  0x8000000000000081, 0x8000000000000081,
717  0x8000000000000080, 0x8000000000000080,
718  0x800000000000007f, 0x8000000000000023,
719  0x8000000000000022, 0x8000000000000006,
720  0x8000000000000006, 0xaaaaaaaaaaaaaaac,
721  0x8000000000000005, 0xaaaaaaaaaaaaaaab,
722  0x8000000000000004, 0xaaaaaaaaaaaaaaaa,
723  0x8000000000000003, 0xaaaaaaaaaaaaaaa9,
724  0x8000000000000002, 0xaaaaaaaaaaaaaaa8,
725  0x8000000000000001, 0xaaaaaaaaaaaaaa8a,
726  0x7fffffffffffffe3, 0xaaaaaaaaaaaaaa2d,
727  0x7fffffffffffff86, 0xaaaaaaaaaaaaaa2c,
728  0x7fffffffffffff85, 0xaaaaaaaaaaaaaa2b,
729  0x7fffffffffffff84, 0xaaaaaaaaaaaa2aad,
730  0x7fffffffffff8006, 0xaaaaaaaaaaaa2aac,
731  0x7fffffffffff8005, 0xaaaaaaaaaaaa2aab,
732  0x7fffffffffff8004, 0xaaaaaaaa77777777,
733  0x7fffffffccccccd0, 0xaaaaaaaa55555555,
734  0x7fffffffaaaaaaae, 0xaaaaaaaa2aaaaaad,
735  0x7fffffff80000006, 0xaaaaaaaa2aaaaaac,
736  0x7fffffff80000005, 0xaaaaaaaa2aaaaaab,
737  0x7fffffff80000004, 0xaaaaaaab2aaaaaaa,
738  0x8000000080000003, 0xaaaaaaab2aaaaaa9,
739  0x8000000080000002, 0xaaaaaaab00000000,
740  0x8000000055555559, 0xaaaaaaaaddddddde,
741  0x8000000033333337, 0xaaaaaaaaaaab2aaa,
742  0x8000000000008003, 0xaaaaaaaaaaab2aa9,
743  0x8000000000008002, 0xaaaaaaaaaaab2aa8,
744  0x8000000000008001, 0xaaaaaaaaaaab2aa7,
745  0x8000000000008000, 0xaaaaaaaaaaaaab2a,
746  0x8000000000000083, 0xaaaaaaaaaaaaab29,
747  0x8000000000000082, 0xaaaaaaaaaaaaab28,
748  0x8000000000000081, 0xaaaaaaaaaaaaab27,
749  0x8000000000000080, 0xaaaaaaaaaaaaaaca,
750  0x8000000000000023, 0xaaaaaaaaaaaaaaad,
751  0xaaaaaaaaaaaaaaad, 0xccccccccccccccce,
752  0xaaaaaaaaaaaaaaac, 0xcccccccccccccccd,
753  0xaaaaaaaaaaaaaaab, 0xcccccccccccccccc,
754  0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccb,
755  0xaaaaaaaaaaaaaaa9, 0xccccccccccccccca,
756  0xaaaaaaaaaaaaaaa8, 0xccccccccccccccac,
757  0xaaaaaaaaaaaaaa8a, 0xcccccccccccccc4f,
758  0xaaaaaaaaaaaaaa2d, 0xcccccccccccccc4e,
759  0xaaaaaaaaaaaaaa2c, 0xcccccccccccccc4d,
760  0xaaaaaaaaaaaaaa2b, 0xcccccccccccc4ccf,
761  0xaaaaaaaaaaaa2aad, 0xcccccccccccc4cce,
762  0xaaaaaaaaaaaa2aac, 0xcccccccccccc4ccd,
763  0xaaaaaaaaaaaa2aab, 0xcccccccc99999999,
764  0xaaaaaaaa77777777, 0xcccccccc77777777,
765  0xaaaaaaaa55555555, 0xcccccccc4ccccccf,
766  0xaaaaaaaa2aaaaaad, 0xcccccccc4cccccce,
767  0xaaaaaaaa2aaaaaac, 0xcccccccc4ccccccd,
768  0xaaaaaaaa2aaaaaab, 0xcccccccd4ccccccc,
769  0xaaaaaaab2aaaaaaa, 0xcccccccd4ccccccb,
770  0xaaaaaaab2aaaaaa9, 0xcccccccd22222222,
771  0xaaaaaaab00000000, 0xcccccccd00000000,
772  0xaaaaaaaaddddddde, 0xcccccccccccd4ccc,
773  0xaaaaaaaaaaab2aaa, 0xcccccccccccd4ccb,
774  0xaaaaaaaaaaab2aa9, 0xcccccccccccd4cca,
775  0xaaaaaaaaaaab2aa8, 0xcccccccccccd4cc9,
776  0xaaaaaaaaaaab2aa7, 0xcccccccccccccd4c,
777  0xaaaaaaaaaaaaab2a, 0xcccccccccccccd4b,
778  0xaaaaaaaaaaaaab29, 0xcccccccccccccd4a,
779  0xaaaaaaaaaaaaab28, 0xcccccccccccccd49,
780  0xaaaaaaaaaaaaab27, 0xccccccccccccccec,
781  0xaaaaaaaaaaaaaaca, 0xcccccccccccccccf,
782  0xcccccccccccccccf, 0xffffffff80000002,
783  0xccccccccccccccce, 0xffffffff80000001,
784  0xcccccccccccccccd, 0xffffffff80000000,
785  0xcccccccccccccccc, 0xffffffff7fffffff,
786  0xcccccccccccccccb, 0xffffffff7ffffffe,
787  0xccccccccccccccca, 0xffffffff7fffffe0,
788  0xccccccccccccccac, 0xffffffff7fffff83,
789  0xcccccccccccccc4f, 0xffffffff7fffff82,
790  0xcccccccccccccc4e, 0xffffffff7fffff81,
791  0xcccccccccccccc4d, 0xffffffff7fff8003,
792  0xcccccccccccc4ccf, 0xffffffff7fff8002,
793  0xcccccccccccc4cce, 0xffffffff7fff8001,
794  0xcccccccccccc4ccd, 0xffffffff4ccccccd,
795  0xcccccccc99999999, 0xffffffff2aaaaaab,
796  0xcccccccc77777777, 0xffffffff00000003,
797  0xcccccccc4ccccccf, 0xffffffff00000002,
798  0xcccccccc4cccccce, 0xffffffff00000001,
799  0xcccccccc4ccccccd, 0x0000000000000000,
800  0xcccccccd4ccccccc, 0xffffffffffffffff,
801  0xcccccccd4ccccccb, 0xffffffffd5555556,
802  0xcccccccd22222222, 0xffffffffb3333334,
803  0xcccccccd00000000, 0xffffffff80008000,
804  0xcccccccccccd4ccc, 0xffffffff80007fff,
805  0xcccccccccccd4ccb, 0xffffffff80007ffe,
806  0xcccccccccccd4cca, 0xffffffff80007ffd,
807  0xcccccccccccd4cc9, 0xffffffff80000080,
808  0xcccccccccccccd4c, 0xffffffff8000007f,
809  0xcccccccccccccd4b, 0xffffffff8000007e,
810  0xcccccccccccccd4a, 0xffffffff8000007d,
811  0xcccccccccccccd49, 0xffffffff80000020,
812  0xccccccccccccccec, 0xffffffff80000003,
813  0xffffffff80000003, 0xffffffff80000003,
814  0xffffffff80000002, 0xffffffff80000002,
815  0xffffffff80000001, 0xffffffff80000001,
816  0xffffffff80000000, 0xffffffff80000000,
817  0xffffffff7fffffff, 0xffffffff7fffffff,
818  0xffffffff7ffffffe, 0xffffffff7fffffe1,
819  0xffffffff7fffffe0, 0xffffffff7fffff84,
820  0xffffffff7fffff83, 0xffffffff7fffff83,
821  0xffffffff7fffff82, 0xffffffff7fffff82,
822  0xffffffff7fffff81, 0xffffffff7fff8004,
823  0xffffffff7fff8003, 0xffffffff7fff8003,
824  0xffffffff7fff8002, 0xffffffff7fff8002,
825  0xffffffff7fff8001, 0xffffffff4cccccce,
826  0xffffffff4ccccccd, 0xffffffff2aaaaaac,
827  0xffffffff2aaaaaab, 0xffffffff00000004,
828  0xffffffff00000003, 0xffffffff00000003,
829  0xffffffff00000002, 0xffffffff00000002,
830  0xffffffff00000001, 0x0000000000000001,
831  0x0000000000000000, 0x0000000000000000,
832  0xffffffffffffffff, 0xffffffffd5555557,
833  0xffffffffd5555556, 0xffffffffb3333335,
834  0xffffffffb3333334, 0xffffffff80008001,
835  0xffffffff80008000, 0xffffffff80008000,
836  0xffffffff80007fff, 0xffffffff80007fff,
837  0xffffffff80007ffe, 0xffffffff80007ffe,
838  0xffffffff80007ffd, 0xffffffff80000081,
839  0xffffffff80000080, 0xffffffff80000080,
840  0xffffffff8000007f, 0xffffffff8000007f,
841  0xffffffff8000007e, 0xffffffff8000007e,
842  0xffffffff8000007d, 0xffffffff80000021,
843  0xffffffff80000020, 0xffffffff80000004,
844  0xffffffff80000004, 0xffffffff80000004,
845  0xffffffff80000003, 0xffffffff80000003,
846  0xffffffff80000002, 0xffffffff80000002,
847  0xffffffff80000001, 0xffffffff80000001,
848  0xffffffff80000000, 0xffffffff80000000,
849  0xffffffff7fffffff, 0xffffffff7fffffe2,
850  0xffffffff7fffffe1, 0xffffffff7fffff85,
851  0xffffffff7fffff84, 0xffffffff7fffff84,
852  0xffffffff7fffff83, 0xffffffff7fffff83,
853  0xffffffff7fffff82, 0xffffffff7fff8005,
854  0xffffffff7fff8004, 0xffffffff7fff8004,
855  0xffffffff7fff8003, 0xffffffff7fff8003,
856  0xffffffff7fff8002, 0xffffffff4ccccccf,
857  0xffffffff4cccccce, 0xffffffff2aaaaaad,
858  0xffffffff2aaaaaac, 0xffffffff00000005,
859  0xffffffff00000004, 0xffffffff00000004,
860  0xffffffff00000003, 0xffffffff00000003,
861  0xffffffff00000002, 0x0000000000000002,
862  0x0000000000000001, 0x0000000000000001,
863  0x0000000000000000, 0xffffffffd5555558,
864  0xffffffffd5555557, 0xffffffffb3333336,
865  0xffffffffb3333335, 0xffffffff80008002,
866  0xffffffff80008001, 0xffffffff80008001,
867  0xffffffff80008000, 0xffffffff80008000,
868  0xffffffff80007fff, 0xffffffff80007fff,
869  0xffffffff80007ffe, 0xffffffff80000082,
870  0xffffffff80000081, 0xffffffff80000081,
871  0xffffffff80000080, 0xffffffff80000080,
872  0xffffffff8000007f, 0xffffffff8000007f,
873  0xffffffff8000007e, 0xffffffff80000022,
874  0xffffffff80000021, 0xffffffff80000005,
875  0xffffffff80000005, 0xffffffff80000005,
876  0xffffffff80000004, 0xffffffff80000004,
877  0xffffffff80000003, 0xffffffff80000003,
878  0xffffffff80000002, 0xffffffff80000002,
879  0xffffffff80000001, 0xffffffff80000001,
880  0xffffffff80000000, 0xffffffff7fffffe3,
881  0xffffffff7fffffe2, 0xffffffff7fffff86,
882  0xffffffff7fffff85, 0xffffffff7fffff85,
883  0xffffffff7fffff84, 0xffffffff7fffff84,
884  0xffffffff7fffff83, 0xffffffff7fff8006,
885  0xffffffff7fff8005, 0xffffffff7fff8005,
886  0xffffffff7fff8004, 0xffffffff7fff8004,
887  0xffffffff7fff8003, 0xffffffff4cccccd0,
888  0xffffffff4ccccccf, 0xffffffff2aaaaaae,
889  0xffffffff2aaaaaad, 0xffffffff00000006,
890  0xffffffff00000005, 0xffffffff00000005,
891  0xffffffff00000004, 0xffffffff00000004,
892  0xffffffff00000003, 0x0000000000000003,
893  0x0000000000000002, 0x0000000000000002,
894  0x0000000000000001, 0xffffffffd5555559,
895  0xffffffffd5555558, 0xffffffffb3333337,
896  0xffffffffb3333336, 0xffffffff80008003,
897  0xffffffff80008002, 0xffffffff80008002,
898  0xffffffff80008001, 0xffffffff80008001,
899  0xffffffff80008000, 0xffffffff80008000,
900  0xffffffff80007fff, 0xffffffff80000083,
901  0xffffffff80000082, 0xffffffff80000082,
902  0xffffffff80000081, 0xffffffff80000081,
903  0xffffffff80000080, 0xffffffff80000080,
904  0xffffffff8000007f, 0xffffffff80000023,
905  0xffffffff80000022, 0xffffffff80000006,
906  0xffffffff80000006, 0xffffffffffff8002,
907  0xffffffff80000005, 0xffffffffffff8001,
908  0xffffffff80000004, 0xffffffffffff8000,
909  0xffffffff80000003, 0xffffffffffff7fff,
910  0xffffffff80000002, 0xffffffffffff7ffe,
911  0xffffffff80000001, 0xffffffffffff7fe0,
912  0xffffffff7fffffe3, 0xffffffffffff7f83,
913  0xffffffff7fffff86, 0xffffffffffff7f82,
914  0xffffffff7fffff85, 0xffffffffffff7f81,
915  0xffffffff7fffff84, 0xffffffffffff0003,
916  0xffffffff7fff8006, 0xffffffffffff0002,
917  0xffffffff7fff8005, 0xffffffffffff0001,
918  0xffffffff7fff8004, 0xffffffffcccc4ccd,
919  0xffffffff4cccccd0, 0xffffffffaaaa2aab,
920  0xffffffff2aaaaaae, 0xffffffff7fff8003,
921  0xffffffff00000006, 0xffffffff7fff8002,
922  0xffffffff00000005, 0xffffffff7fff8001,
923  0xffffffff00000004, 0x000000007fff8000,
924  0x0000000000000003, 0x000000007fff7fff,
925  0x0000000000000002, 0x000000005554d556,
926  0xffffffffd5555559, 0x000000003332b334,
927  0xffffffffb3333337, 0x0000000000000000,
928  0xffffffff80008003, 0xffffffffffffffff,
929  0xffffffff80008002, 0xfffffffffffffffe,
930  0xffffffff80008001, 0xfffffffffffffffd,
931  0xffffffff80008000, 0xffffffffffff8080,
932  0xffffffff80000083, 0xffffffffffff807f,
933  0xffffffff80000082, 0xffffffffffff807e,
934  0xffffffff80000081, 0xffffffffffff807d,
935  0xffffffff80000080, 0xffffffffffff8020,
936  0xffffffff80000023, 0xffffffffffff8003,
937  0xffffffffffff8003, 0xffffffffffff8003,
938  0xffffffffffff8002, 0xffffffffffff8002,
939  0xffffffffffff8001, 0xffffffffffff8001,
940  0xffffffffffff8000, 0xffffffffffff8000,
941  0xffffffffffff7fff, 0xffffffffffff7fff,
942  0xffffffffffff7ffe, 0xffffffffffff7fe1,
943  0xffffffffffff7fe0, 0xffffffffffff7f84,
944  0xffffffffffff7f83, 0xffffffffffff7f83,
945  0xffffffffffff7f82, 0xffffffffffff7f82,
946  0xffffffffffff7f81, 0xffffffffffff0004,
947  0xffffffffffff0003, 0xffffffffffff0003,
948  0xffffffffffff0002, 0xffffffffffff0002,
949  0xffffffffffff0001, 0xffffffffcccc4cce,
950  0xffffffffcccc4ccd, 0xffffffffaaaa2aac,
951  0xffffffffaaaa2aab, 0xffffffff7fff8004,
952  0xffffffff7fff8003, 0xffffffff7fff8003,
953  0xffffffff7fff8002, 0xffffffff7fff8002,
954  0xffffffff7fff8001, 0x000000007fff8001,
955  0x000000007fff8000, 0x000000007fff8000,
956  0x000000007fff7fff, 0x000000005554d557,
957  0x000000005554d556, 0x000000003332b335,
958  0x000000003332b334, 0x0000000000000001,
959  0x0000000000000000, 0x0000000000000000,
960  0xffffffffffffffff, 0xffffffffffffffff,
961  0xfffffffffffffffe, 0xfffffffffffffffe,
962  0xfffffffffffffffd, 0xffffffffffff8081,
963  0xffffffffffff8080, 0xffffffffffff8080,
964  0xffffffffffff807f, 0xffffffffffff807f,
965  0xffffffffffff807e, 0xffffffffffff807e,
966  0xffffffffffff807d, 0xffffffffffff8021,
967  0xffffffffffff8020, 0xffffffffffff8004,
968  0xffffffffffff8004, 0xffffffffffff8004,
969  0xffffffffffff8003, 0xffffffffffff8003,
970  0xffffffffffff8002, 0xffffffffffff8002,
971  0xffffffffffff8001, 0xffffffffffff8001,
972  0xffffffffffff8000, 0xffffffffffff8000,
973  0xffffffffffff7fff, 0xffffffffffff7fe2,
974  0xffffffffffff7fe1, 0xffffffffffff7f85,
975  0xffffffffffff7f84, 0xffffffffffff7f84,
976  0xffffffffffff7f83, 0xffffffffffff7f83,
977  0xffffffffffff7f82, 0xffffffffffff0005,
978  0xffffffffffff0004, 0xffffffffffff0004,
979  0xffffffffffff0003, 0xffffffffffff0003,
980  0xffffffffffff0002, 0xffffffffcccc4ccf,
981  0xffffffffcccc4cce, 0xffffffffaaaa2aad,
982  0xffffffffaaaa2aac, 0xffffffff7fff8005,
983  0xffffffff7fff8004, 0xffffffff7fff8004,
984  0xffffffff7fff8003, 0xffffffff7fff8003,
985  0xffffffff7fff8002, 0x000000007fff8002,
986  0x000000007fff8001, 0x000000007fff8001,
987  0x000000007fff8000, 0x000000005554d558,
988  0x000000005554d557, 0x000000003332b336,
989  0x000000003332b335, 0x0000000000000002,
990  0x0000000000000001, 0x0000000000000001,
991  0x0000000000000000, 0x0000000000000000,
992  0xffffffffffffffff, 0xffffffffffffffff,
993  0xfffffffffffffffe, 0xffffffffffff8082,
994  0xffffffffffff8081, 0xffffffffffff8081,
995  0xffffffffffff8080, 0xffffffffffff8080,
996  0xffffffffffff807f, 0xffffffffffff807f,
997  0xffffffffffff807e, 0xffffffffffff8022,
998  0xffffffffffff8021, 0xffffffffffff8005,
999  0xffffffffffff8005, 0xffffffffffff8005,
1000  0xffffffffffff8004, 0xffffffffffff8004,
1001  0xffffffffffff8003, 0xffffffffffff8003,
1002  0xffffffffffff8002, 0xffffffffffff8002,
1003  0xffffffffffff8001, 0xffffffffffff8001,
1004  0xffffffffffff8000, 0xffffffffffff7fe3,
1005  0xffffffffffff7fe2, 0xffffffffffff7f86,
1006  0xffffffffffff7f85, 0xffffffffffff7f85,
1007  0xffffffffffff7f84, 0xffffffffffff7f84,
1008  0xffffffffffff7f83, 0xffffffffffff0006,
1009  0xffffffffffff0005, 0xffffffffffff0005,
1010  0xffffffffffff0004, 0xffffffffffff0004,
1011  0xffffffffffff0003, 0xffffffffcccc4cd0,
1012  0xffffffffcccc4ccf, 0xffffffffaaaa2aae,
1013  0xffffffffaaaa2aad, 0xffffffff7fff8006,
1014  0xffffffff7fff8005, 0xffffffff7fff8005,
1015  0xffffffff7fff8004, 0xffffffff7fff8004,
1016  0xffffffff7fff8003, 0x000000007fff8003,
1017  0x000000007fff8002, 0x000000007fff8002,
1018  0x000000007fff8001, 0x000000005554d559,
1019  0x000000005554d558, 0x000000003332b337,
1020  0x000000003332b336, 0x0000000000000003,
1021  0x0000000000000002, 0x0000000000000002,
1022  0x0000000000000001, 0x0000000000000001,
1023  0x0000000000000000, 0x0000000000000000,
1024  0xffffffffffffffff, 0xffffffffffff8083,
1025  0xffffffffffff8082, 0xffffffffffff8082,
1026  0xffffffffffff8081, 0xffffffffffff8081,
1027  0xffffffffffff8080, 0xffffffffffff8080,
1028  0xffffffffffff807f, 0xffffffffffff8023,
1029  0xffffffffffff8022, 0xffffffffffff8006,
1030  0xffffffffffff8006, 0xffffffffffffff82,
1031  0xffffffffffff8005, 0xffffffffffffff81,
1032  0xffffffffffff8004, 0xffffffffffffff80,
1033  0xffffffffffff8003, 0xffffffffffffff7f,
1034  0xffffffffffff8002, 0xffffffffffffff7e,
1035  0xffffffffffff8001, 0xffffffffffffff60,
1036  0xffffffffffff7fe3, 0xffffffffffffff03,
1037  0xffffffffffff7f86, 0xffffffffffffff02,
1038  0xffffffffffff7f85, 0xffffffffffffff01,
1039  0xffffffffffff7f84, 0xffffffffffff7f83,
1040  0xffffffffffff0006, 0xffffffffffff7f82,
1041  0xffffffffffff0005, 0xffffffffffff7f81,
1042  0xffffffffffff0004, 0xffffffffcccccc4d,
1043  0xffffffffcccc4cd0, 0xffffffffaaaaaa2b,
1044  0xffffffffaaaa2aae, 0xffffffff7fffff83,
1045  0xffffffff7fff8006, 0xffffffff7fffff82,
1046  0xffffffff7fff8005, 0xffffffff7fffff81,
1047  0xffffffff7fff8004, 0x000000007fffff80,
1048  0x000000007fff8003, 0x000000007fffff7f,
1049  0x000000007fff8002, 0x00000000555554d6,
1050  0x000000005554d559, 0x00000000333332b4,
1051  0x000000003332b337, 0x0000000000007f80,
1052  0x0000000000000003, 0x0000000000007f7f,
1053  0x0000000000000002, 0x0000000000007f7e,
1054  0x0000000000000001, 0x0000000000007f7d,
1055  0x0000000000000000, 0x0000000000000000,
1056  0xffffffffffff8083, 0xffffffffffffffff,
1057  0xffffffffffff8082, 0xfffffffffffffffe,
1058  0xffffffffffff8081, 0xfffffffffffffffd,
1059  0xffffffffffff8080, 0xffffffffffffffa0,
1060  0xffffffffffff8023, 0xffffffffffffff83,
1061  0xffffffffffffff83, 0xffffffffffffff83,
1062  0xffffffffffffff82, 0xffffffffffffff82,
1063  0xffffffffffffff81, 0xffffffffffffff81,
1064  0xffffffffffffff80, 0xffffffffffffff80,
1065  0xffffffffffffff7f, 0xffffffffffffff7f,
1066  0xffffffffffffff7e, 0xffffffffffffff61,
1067  0xffffffffffffff60, 0xffffffffffffff04,
1068  0xffffffffffffff03, 0xffffffffffffff03,
1069  0xffffffffffffff02, 0xffffffffffffff02,
1070  0xffffffffffffff01, 0xffffffffffff7f84,
1071  0xffffffffffff7f83, 0xffffffffffff7f83,
1072  0xffffffffffff7f82, 0xffffffffffff7f82,
1073  0xffffffffffff7f81, 0xffffffffcccccc4e,
1074  0xffffffffcccccc4d, 0xffffffffaaaaaa2c,
1075  0xffffffffaaaaaa2b, 0xffffffff7fffff84,
1076  0xffffffff7fffff83, 0xffffffff7fffff83,
1077  0xffffffff7fffff82, 0xffffffff7fffff82,
1078  0xffffffff7fffff81, 0x000000007fffff81,
1079  0x000000007fffff80, 0x000000007fffff80,
1080  0x000000007fffff7f, 0x00000000555554d7,
1081  0x00000000555554d6, 0x00000000333332b5,
1082  0x00000000333332b4, 0x0000000000007f81,
1083  0x0000000000007f80, 0x0000000000007f80,
1084  0x0000000000007f7f, 0x0000000000007f7f,
1085  0x0000000000007f7e, 0x0000000000007f7e,
1086  0x0000000000007f7d, 0x0000000000000001,
1087  0x0000000000000000, 0x0000000000000000,
1088  0xffffffffffffffff, 0xffffffffffffffff,
1089  0xfffffffffffffffe, 0xfffffffffffffffe,
1090  0xfffffffffffffffd, 0xffffffffffffffa1,
1091  0xffffffffffffffa0, 0xffffffffffffff84,
1092  0xffffffffffffff84, 0xffffffffffffff84,
1093  0xffffffffffffff83, 0xffffffffffffff83,
1094  0xffffffffffffff82, 0xffffffffffffff82,
1095  0xffffffffffffff81, 0xffffffffffffff81,
1096  0xffffffffffffff80, 0xffffffffffffff80,
1097  0xffffffffffffff7f, 0xffffffffffffff62,
1098  0xffffffffffffff61, 0xffffffffffffff05,
1099  0xffffffffffffff04, 0xffffffffffffff04,
1100  0xffffffffffffff03, 0xffffffffffffff03,
1101  0xffffffffffffff02, 0xffffffffffff7f85,
1102  0xffffffffffff7f84, 0xffffffffffff7f84,
1103  0xffffffffffff7f83, 0xffffffffffff7f83,
1104  0xffffffffffff7f82, 0xffffffffcccccc4f,
1105  0xffffffffcccccc4e, 0xffffffffaaaaaa2d,
1106  0xffffffffaaaaaa2c, 0xffffffff7fffff85,
1107  0xffffffff7fffff84, 0xffffffff7fffff84,
1108  0xffffffff7fffff83, 0xffffffff7fffff83,
1109  0xffffffff7fffff82, 0x000000007fffff82,
1110  0x000000007fffff81, 0x000000007fffff81,
1111  0x000000007fffff80, 0x00000000555554d8,
1112  0x00000000555554d7, 0x00000000333332b6,
1113  0x00000000333332b5, 0x0000000000007f82,
1114  0x0000000000007f81, 0x0000000000007f81,
1115  0x0000000000007f80, 0x0000000000007f80,
1116  0x0000000000007f7f, 0x0000000000007f7f,
1117  0x0000000000007f7e, 0x0000000000000002,
1118  0x0000000000000001, 0x0000000000000001,
1119  0x0000000000000000, 0x0000000000000000,
1120  0xffffffffffffffff, 0xffffffffffffffff,
1121  0xfffffffffffffffe, 0xffffffffffffffa2,
1122  0xffffffffffffffa1, 0xffffffffffffff85,
1123  0xffffffffffffff85, 0xffffffffffffff85,
1124  0xffffffffffffff84, 0xffffffffffffff84,
1125  0xffffffffffffff83, 0xffffffffffffff83,
1126  0xffffffffffffff82, 0xffffffffffffff82,
1127  0xffffffffffffff81, 0xffffffffffffff81,
1128  0xffffffffffffff80, 0xffffffffffffff63,
1129  0xffffffffffffff62, 0xffffffffffffff06,
1130  0xffffffffffffff05, 0xffffffffffffff05,
1131  0xffffffffffffff04, 0xffffffffffffff04,
1132  0xffffffffffffff03, 0xffffffffffff7f86,
1133  0xffffffffffff7f85, 0xffffffffffff7f85,
1134  0xffffffffffff7f84, 0xffffffffffff7f84,
1135  0xffffffffffff7f83, 0xffffffffcccccc50,
1136  0xffffffffcccccc4f, 0xffffffffaaaaaa2e,
1137  0xffffffffaaaaaa2d, 0xffffffff7fffff86,
1138  0xffffffff7fffff85, 0xffffffff7fffff85,
1139  0xffffffff7fffff84, 0xffffffff7fffff84,
1140  0xffffffff7fffff83, 0x000000007fffff83,
1141  0x000000007fffff82, 0x000000007fffff82,
1142  0x000000007fffff81, 0x00000000555554d9,
1143  0x00000000555554d8, 0x00000000333332b7,
1144  0x00000000333332b6, 0x0000000000007f83,
1145  0x0000000000007f82, 0x0000000000007f82,
1146  0x0000000000007f81, 0x0000000000007f81,
1147  0x0000000000007f80, 0x0000000000007f80,
1148  0x0000000000007f7f, 0x0000000000000003,
1149  0x0000000000000002, 0x0000000000000002,
1150  0x0000000000000001, 0x0000000000000001,
1151  0x0000000000000000, 0x0000000000000000,
1152  0xffffffffffffffff, 0xffffffffffffffa3,
1153  0xffffffffffffffa2, 0xffffffffffffff86,
1154  0xffffffffffffff86, 0xffffffffffffffc2,
1155  0xffffffffffffff85, 0xffffffffffffffc1,
1156  0xffffffffffffff84, 0xffffffffffffffc0,
1157  0xffffffffffffff83, 0xffffffffffffffbf,
1158  0xffffffffffffff82, 0xffffffffffffffbe,
1159  0xffffffffffffff81, 0xffffffffffffffa0,
1160  0xffffffffffffff63, 0xffffffffffffff43,
1161  0xffffffffffffff06, 0xffffffffffffff42,
1162  0xffffffffffffff05, 0xffffffffffffff41,
1163  0xffffffffffffff04, 0xffffffffffff7fc3,
1164  0xffffffffffff7f86, 0xffffffffffff7fc2,
1165  0xffffffffffff7f85, 0xffffffffffff7fc1,
1166  0xffffffffffff7f84, 0xffffffffcccccc8d,
1167  0xffffffffcccccc50, 0xffffffffaaaaaa6b,
1168  0xffffffffaaaaaa2e, 0xffffffff7fffffc3,
1169  0xffffffff7fffff86, 0xffffffff7fffffc2,
1170  0xffffffff7fffff85, 0xffffffff7fffffc1,
1171  0xffffffff7fffff84, 0x000000007fffffc0,
1172  0x000000007fffff83, 0x000000007fffffbf,
1173  0x000000007fffff82, 0x0000000055555516,
1174  0x00000000555554d9, 0x00000000333332f4,
1175  0x00000000333332b7, 0x0000000000007fc0,
1176  0x0000000000007f83, 0x0000000000007fbf,
1177  0x0000000000007f82, 0x0000000000007fbe,
1178  0x0000000000007f81, 0x0000000000007fbd,
1179  0x0000000000007f80, 0x0000000000000040,
1180  0x0000000000000003, 0x000000000000003f,
1181  0x0000000000000002, 0x000000000000003e,
1182  0x0000000000000001, 0x000000000000003d,
1183  0x0000000000000000, 0xffffffffffffffe0,
1184  0xffffffffffffffa3, 0xffffffffffffffc3,
1185  0xffffffffffffffc3, 0xffffffffffffffff,
1186  0xffffffffffffffc2, 0xfffffffffffffffe,
1187  0xffffffffffffffc1, 0xfffffffffffffffd,
1188  0xffffffffffffffc0, 0xfffffffffffffffc,
1189  0xffffffffffffffbf, 0xfffffffffffffffb,
1190  0xffffffffffffffbe, 0xffffffffffffffdd,
1191  0xffffffffffffffa0, 0xffffffffffffff80,
1192  0xffffffffffffff43, 0xffffffffffffff7f,
1193  0xffffffffffffff42, 0xffffffffffffff7e,
1194  0xffffffffffffff41, 0xffffffffffff8000,
1195  0xffffffffffff7fc3, 0xffffffffffff7fff,
1196  0xffffffffffff7fc2, 0xffffffffffff7ffe,
1197  0xffffffffffff7fc1, 0xffffffffccccccca,
1198  0xffffffffcccccc8d, 0xffffffffaaaaaaa8,
1199  0xffffffffaaaaaa6b, 0xffffffff80000000,
1200  0xffffffff7fffffc3, 0xffffffff7fffffff,
1201  0xffffffff7fffffc2, 0xffffffff7ffffffe,
1202  0xffffffff7fffffc1, 0x000000007ffffffd,
1203  0x000000007fffffc0, 0x000000007ffffffc,
1204  0x000000007fffffbf, 0x0000000055555553,
1205  0x0000000055555516, 0x0000000033333331,
1206  0x00000000333332f4, 0x0000000000007ffd,
1207  0x0000000000007fc0, 0x0000000000007ffc,
1208  0x0000000000007fbf, 0x0000000000007ffb,
1209  0x0000000000007fbe, 0x0000000000007ffa,
1210  0x0000000000007fbd, 0x000000000000007d,
1211  0x0000000000000040, 0x000000000000007c,
1212  0x000000000000003f, 0x000000000000007b,
1213  0x000000000000003e, 0x000000000000007a,
1214  0x000000000000003d, 0x000000000000001d,
1215  0xffffffffffffffe0, 0x0000000000000000,
1216  0x0000000000000000, 0x0000000000000000,
1217  0xffffffffffffffff, 0xffffffffffffffff,
1218  0xfffffffffffffffe, 0xfffffffffffffffe,
1219  0xfffffffffffffffd, 0xfffffffffffffffd,
1220  0xfffffffffffffffc, 0xfffffffffffffffc,
1221  0xfffffffffffffffb, 0xffffffffffffffde,
1222  0xffffffffffffffdd, 0xffffffffffffff81,
1223  0xffffffffffffff80, 0xffffffffffffff80,
1224  0xffffffffffffff7f, 0xffffffffffffff7f,
1225  0xffffffffffffff7e, 0xffffffffffff8001,
1226  0xffffffffffff8000, 0xffffffffffff8000,
1227  0xffffffffffff7fff, 0xffffffffffff7fff,
1228  0xffffffffffff7ffe, 0xffffffffcccccccb,
1229  0xffffffffccccccca, 0xffffffffaaaaaaa9,
1230  0xffffffffaaaaaaa8, 0xffffffff80000001,
1231  0xffffffff80000000, 0xffffffff80000000,
1232  0xffffffff7fffffff, 0xffffffff7fffffff,
1233  0xffffffff7ffffffe, 0x000000007ffffffe,
1234  0x000000007ffffffd, 0x000000007ffffffd,
1235  0x000000007ffffffc, 0x0000000055555554,
1236  0x0000000055555553, 0x0000000033333332,
1237  0x0000000033333331, 0x0000000000007ffe,
1238  0x0000000000007ffd, 0x0000000000007ffd,
1239  0x0000000000007ffc, 0x0000000000007ffc,
1240  0x0000000000007ffb, 0x0000000000007ffb,
1241  0x0000000000007ffa, 0x000000000000007e,
1242  0x000000000000007d, 0x000000000000007d,
1243  0x000000000000007c, 0x000000000000007c,
1244  0x000000000000007b, 0x000000000000007b,
1245  0x000000000000007a, 0x000000000000001e,
1246  0x000000000000001d, 0x0000000000000001,
1247  0x0000000000000001, 0x0000000000000001,
1248  0x0000000000000000, 0x0000000000000000,
1249  0xffffffffffffffff, 0xffffffffffffffff,
1250  0xfffffffffffffffe, 0xfffffffffffffffe,
1251  0xfffffffffffffffd, 0xfffffffffffffffd,
1252  0xfffffffffffffffc, 0xffffffffffffffdf,
1253  0xffffffffffffffde, 0xffffffffffffff82,
1254  0xffffffffffffff81, 0xffffffffffffff81,
1255  0xffffffffffffff80, 0xffffffffffffff80,
1256  0xffffffffffffff7f, 0xffffffffffff8002,
1257  0xffffffffffff8001, 0xffffffffffff8001,
1258  0xffffffffffff8000, 0xffffffffffff8000,
1259  0xffffffffffff7fff, 0xffffffffcccccccc,
1260  0xffffffffcccccccb, 0xffffffffaaaaaaaa,
1261  0xffffffffaaaaaaa9, 0xffffffff80000002,
1262  0xffffffff80000001, 0xffffffff80000001,
1263  0xffffffff80000000, 0xffffffff80000000,
1264  0xffffffff7fffffff, 0x000000007fffffff,
1265  0x000000007ffffffe, 0x000000007ffffffe,
1266  0x000000007ffffffd, 0x0000000055555555,
1267  0x0000000055555554, 0x0000000033333333,
1268  0x0000000033333332, 0x0000000000007fff,
1269  0x0000000000007ffe, 0x0000000000007ffe,
1270  0x0000000000007ffd, 0x0000000000007ffd,
1271  0x0000000000007ffc, 0x0000000000007ffc,
1272  0x0000000000007ffb, 0x000000000000007f,
1273  0x000000000000007e, 0x000000000000007e,
1274  0x000000000000007d, 0x000000000000007d,
1275  0x000000000000007c, 0x000000000000007c,
1276  0x000000000000007b, 0x000000000000001f,
1277  0x000000000000001e, 0x0000000000000002,
1278};
1279const unsigned kExpectedCount_NEON_ssubw_2D = 1240;
1280
1281#endif  // VIXL_SIM_SSUBW_2D_TRACE_AARCH64_H_
1282