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