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_TRN2_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_TRN2_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_trn2_2D[] = {
38  0x0000000000000000, 0x0000000000000000,
39  0x0000000000000000, 0x0000000000000001,
40  0x0000000000000000, 0x0000000000000002,
41  0x0000000000000000, 0x0000000000000040,
42  0x0000000000000000, 0x000000000000007d,
43  0x0000000000000000, 0x000000000000007e,
44  0x0000000000000000, 0x000000000000007f,
45  0x0000000000000000, 0x0000000000007ffd,
46  0x0000000000000000, 0x0000000000007ffe,
47  0x0000000000000000, 0x0000000000007fff,
48  0x0000000000000000, 0x000000007ffffffd,
49  0x0000000000000000, 0x000000007ffffffe,
50  0x0000000000000000, 0x000000007fffffff,
51  0x0000000000000000, 0x3333333333333333,
52  0x0000000000000000, 0x5555555555555555,
53  0x0000000000000000, 0x7ffffffffffffffd,
54  0x0000000000000000, 0x7ffffffffffffffe,
55  0x0000000000000000, 0x7fffffffffffffff,
56  0x0000000000000000, 0x8000000000000000,
57  0x0000000000000000, 0x8000000000000001,
58  0x0000000000000000, 0x8000000000000002,
59  0x0000000000000000, 0x8000000000000003,
60  0x0000000000000000, 0xaaaaaaaaaaaaaaaa,
61  0x0000000000000000, 0xcccccccccccccccc,
62  0x0000000000000000, 0xffffffff80000000,
63  0x0000000000000000, 0xffffffff80000001,
64  0x0000000000000000, 0xffffffff80000002,
65  0x0000000000000000, 0xffffffff80000003,
66  0x0000000000000000, 0xffffffffffff8000,
67  0x0000000000000000, 0xffffffffffff8001,
68  0x0000000000000000, 0xffffffffffff8002,
69  0x0000000000000000, 0xffffffffffff8003,
70  0x0000000000000000, 0xffffffffffffff80,
71  0x0000000000000000, 0xffffffffffffff81,
72  0x0000000000000000, 0xffffffffffffff82,
73  0x0000000000000000, 0xffffffffffffff83,
74  0x0000000000000000, 0xffffffffffffffc0,
75  0x0000000000000000, 0xfffffffffffffffd,
76  0x0000000000000000, 0xfffffffffffffffe,
77  0x0000000000000000, 0xffffffffffffffff,
78  0x0000000000000001, 0x0000000000000000,
79  0x0000000000000001, 0x0000000000000001,
80  0x0000000000000001, 0x0000000000000002,
81  0x0000000000000001, 0x0000000000000040,
82  0x0000000000000001, 0x000000000000007d,
83  0x0000000000000001, 0x000000000000007e,
84  0x0000000000000001, 0x000000000000007f,
85  0x0000000000000001, 0x0000000000007ffd,
86  0x0000000000000001, 0x0000000000007ffe,
87  0x0000000000000001, 0x0000000000007fff,
88  0x0000000000000001, 0x000000007ffffffd,
89  0x0000000000000001, 0x000000007ffffffe,
90  0x0000000000000001, 0x000000007fffffff,
91  0x0000000000000001, 0x3333333333333333,
92  0x0000000000000001, 0x5555555555555555,
93  0x0000000000000001, 0x7ffffffffffffffd,
94  0x0000000000000001, 0x7ffffffffffffffe,
95  0x0000000000000001, 0x7fffffffffffffff,
96  0x0000000000000001, 0x8000000000000000,
97  0x0000000000000001, 0x8000000000000001,
98  0x0000000000000001, 0x8000000000000002,
99  0x0000000000000001, 0x8000000000000003,
100  0x0000000000000001, 0xaaaaaaaaaaaaaaaa,
101  0x0000000000000001, 0xcccccccccccccccc,
102  0x0000000000000001, 0xffffffff80000000,
103  0x0000000000000001, 0xffffffff80000001,
104  0x0000000000000001, 0xffffffff80000002,
105  0x0000000000000001, 0xffffffff80000003,
106  0x0000000000000001, 0xffffffffffff8000,
107  0x0000000000000001, 0xffffffffffff8001,
108  0x0000000000000001, 0xffffffffffff8002,
109  0x0000000000000001, 0xffffffffffff8003,
110  0x0000000000000001, 0xffffffffffffff80,
111  0x0000000000000001, 0xffffffffffffff81,
112  0x0000000000000001, 0xffffffffffffff82,
113  0x0000000000000001, 0xffffffffffffff83,
114  0x0000000000000001, 0xffffffffffffffc0,
115  0x0000000000000001, 0xfffffffffffffffd,
116  0x0000000000000001, 0xfffffffffffffffe,
117  0x0000000000000001, 0xffffffffffffffff,
118  0x0000000000000002, 0x0000000000000000,
119  0x0000000000000002, 0x0000000000000001,
120  0x0000000000000002, 0x0000000000000002,
121  0x0000000000000002, 0x0000000000000040,
122  0x0000000000000002, 0x000000000000007d,
123  0x0000000000000002, 0x000000000000007e,
124  0x0000000000000002, 0x000000000000007f,
125  0x0000000000000002, 0x0000000000007ffd,
126  0x0000000000000002, 0x0000000000007ffe,
127  0x0000000000000002, 0x0000000000007fff,
128  0x0000000000000002, 0x000000007ffffffd,
129  0x0000000000000002, 0x000000007ffffffe,
130  0x0000000000000002, 0x000000007fffffff,
131  0x0000000000000002, 0x3333333333333333,
132  0x0000000000000002, 0x5555555555555555,
133  0x0000000000000002, 0x7ffffffffffffffd,
134  0x0000000000000002, 0x7ffffffffffffffe,
135  0x0000000000000002, 0x7fffffffffffffff,
136  0x0000000000000002, 0x8000000000000000,
137  0x0000000000000002, 0x8000000000000001,
138  0x0000000000000002, 0x8000000000000002,
139  0x0000000000000002, 0x8000000000000003,
140  0x0000000000000002, 0xaaaaaaaaaaaaaaaa,
141  0x0000000000000002, 0xcccccccccccccccc,
142  0x0000000000000002, 0xffffffff80000000,
143  0x0000000000000002, 0xffffffff80000001,
144  0x0000000000000002, 0xffffffff80000002,
145  0x0000000000000002, 0xffffffff80000003,
146  0x0000000000000002, 0xffffffffffff8000,
147  0x0000000000000002, 0xffffffffffff8001,
148  0x0000000000000002, 0xffffffffffff8002,
149  0x0000000000000002, 0xffffffffffff8003,
150  0x0000000000000002, 0xffffffffffffff80,
151  0x0000000000000002, 0xffffffffffffff81,
152  0x0000000000000002, 0xffffffffffffff82,
153  0x0000000000000002, 0xffffffffffffff83,
154  0x0000000000000002, 0xffffffffffffffc0,
155  0x0000000000000002, 0xfffffffffffffffd,
156  0x0000000000000002, 0xfffffffffffffffe,
157  0x0000000000000002, 0xffffffffffffffff,
158  0x0000000000000040, 0x0000000000000000,
159  0x0000000000000040, 0x0000000000000001,
160  0x0000000000000040, 0x0000000000000002,
161  0x0000000000000040, 0x0000000000000040,
162  0x0000000000000040, 0x000000000000007d,
163  0x0000000000000040, 0x000000000000007e,
164  0x0000000000000040, 0x000000000000007f,
165  0x0000000000000040, 0x0000000000007ffd,
166  0x0000000000000040, 0x0000000000007ffe,
167  0x0000000000000040, 0x0000000000007fff,
168  0x0000000000000040, 0x000000007ffffffd,
169  0x0000000000000040, 0x000000007ffffffe,
170  0x0000000000000040, 0x000000007fffffff,
171  0x0000000000000040, 0x3333333333333333,
172  0x0000000000000040, 0x5555555555555555,
173  0x0000000000000040, 0x7ffffffffffffffd,
174  0x0000000000000040, 0x7ffffffffffffffe,
175  0x0000000000000040, 0x7fffffffffffffff,
176  0x0000000000000040, 0x8000000000000000,
177  0x0000000000000040, 0x8000000000000001,
178  0x0000000000000040, 0x8000000000000002,
179  0x0000000000000040, 0x8000000000000003,
180  0x0000000000000040, 0xaaaaaaaaaaaaaaaa,
181  0x0000000000000040, 0xcccccccccccccccc,
182  0x0000000000000040, 0xffffffff80000000,
183  0x0000000000000040, 0xffffffff80000001,
184  0x0000000000000040, 0xffffffff80000002,
185  0x0000000000000040, 0xffffffff80000003,
186  0x0000000000000040, 0xffffffffffff8000,
187  0x0000000000000040, 0xffffffffffff8001,
188  0x0000000000000040, 0xffffffffffff8002,
189  0x0000000000000040, 0xffffffffffff8003,
190  0x0000000000000040, 0xffffffffffffff80,
191  0x0000000000000040, 0xffffffffffffff81,
192  0x0000000000000040, 0xffffffffffffff82,
193  0x0000000000000040, 0xffffffffffffff83,
194  0x0000000000000040, 0xffffffffffffffc0,
195  0x0000000000000040, 0xfffffffffffffffd,
196  0x0000000000000040, 0xfffffffffffffffe,
197  0x0000000000000040, 0xffffffffffffffff,
198  0x000000000000007d, 0x0000000000000000,
199  0x000000000000007d, 0x0000000000000001,
200  0x000000000000007d, 0x0000000000000002,
201  0x000000000000007d, 0x0000000000000040,
202  0x000000000000007d, 0x000000000000007d,
203  0x000000000000007d, 0x000000000000007e,
204  0x000000000000007d, 0x000000000000007f,
205  0x000000000000007d, 0x0000000000007ffd,
206  0x000000000000007d, 0x0000000000007ffe,
207  0x000000000000007d, 0x0000000000007fff,
208  0x000000000000007d, 0x000000007ffffffd,
209  0x000000000000007d, 0x000000007ffffffe,
210  0x000000000000007d, 0x000000007fffffff,
211  0x000000000000007d, 0x3333333333333333,
212  0x000000000000007d, 0x5555555555555555,
213  0x000000000000007d, 0x7ffffffffffffffd,
214  0x000000000000007d, 0x7ffffffffffffffe,
215  0x000000000000007d, 0x7fffffffffffffff,
216  0x000000000000007d, 0x8000000000000000,
217  0x000000000000007d, 0x8000000000000001,
218  0x000000000000007d, 0x8000000000000002,
219  0x000000000000007d, 0x8000000000000003,
220  0x000000000000007d, 0xaaaaaaaaaaaaaaaa,
221  0x000000000000007d, 0xcccccccccccccccc,
222  0x000000000000007d, 0xffffffff80000000,
223  0x000000000000007d, 0xffffffff80000001,
224  0x000000000000007d, 0xffffffff80000002,
225  0x000000000000007d, 0xffffffff80000003,
226  0x000000000000007d, 0xffffffffffff8000,
227  0x000000000000007d, 0xffffffffffff8001,
228  0x000000000000007d, 0xffffffffffff8002,
229  0x000000000000007d, 0xffffffffffff8003,
230  0x000000000000007d, 0xffffffffffffff80,
231  0x000000000000007d, 0xffffffffffffff81,
232  0x000000000000007d, 0xffffffffffffff82,
233  0x000000000000007d, 0xffffffffffffff83,
234  0x000000000000007d, 0xffffffffffffffc0,
235  0x000000000000007d, 0xfffffffffffffffd,
236  0x000000000000007d, 0xfffffffffffffffe,
237  0x000000000000007d, 0xffffffffffffffff,
238  0x000000000000007e, 0x0000000000000000,
239  0x000000000000007e, 0x0000000000000001,
240  0x000000000000007e, 0x0000000000000002,
241  0x000000000000007e, 0x0000000000000040,
242  0x000000000000007e, 0x000000000000007d,
243  0x000000000000007e, 0x000000000000007e,
244  0x000000000000007e, 0x000000000000007f,
245  0x000000000000007e, 0x0000000000007ffd,
246  0x000000000000007e, 0x0000000000007ffe,
247  0x000000000000007e, 0x0000000000007fff,
248  0x000000000000007e, 0x000000007ffffffd,
249  0x000000000000007e, 0x000000007ffffffe,
250  0x000000000000007e, 0x000000007fffffff,
251  0x000000000000007e, 0x3333333333333333,
252  0x000000000000007e, 0x5555555555555555,
253  0x000000000000007e, 0x7ffffffffffffffd,
254  0x000000000000007e, 0x7ffffffffffffffe,
255  0x000000000000007e, 0x7fffffffffffffff,
256  0x000000000000007e, 0x8000000000000000,
257  0x000000000000007e, 0x8000000000000001,
258  0x000000000000007e, 0x8000000000000002,
259  0x000000000000007e, 0x8000000000000003,
260  0x000000000000007e, 0xaaaaaaaaaaaaaaaa,
261  0x000000000000007e, 0xcccccccccccccccc,
262  0x000000000000007e, 0xffffffff80000000,
263  0x000000000000007e, 0xffffffff80000001,
264  0x000000000000007e, 0xffffffff80000002,
265  0x000000000000007e, 0xffffffff80000003,
266  0x000000000000007e, 0xffffffffffff8000,
267  0x000000000000007e, 0xffffffffffff8001,
268  0x000000000000007e, 0xffffffffffff8002,
269  0x000000000000007e, 0xffffffffffff8003,
270  0x000000000000007e, 0xffffffffffffff80,
271  0x000000000000007e, 0xffffffffffffff81,
272  0x000000000000007e, 0xffffffffffffff82,
273  0x000000000000007e, 0xffffffffffffff83,
274  0x000000000000007e, 0xffffffffffffffc0,
275  0x000000000000007e, 0xfffffffffffffffd,
276  0x000000000000007e, 0xfffffffffffffffe,
277  0x000000000000007e, 0xffffffffffffffff,
278  0x000000000000007f, 0x0000000000000000,
279  0x000000000000007f, 0x0000000000000001,
280  0x000000000000007f, 0x0000000000000002,
281  0x000000000000007f, 0x0000000000000040,
282  0x000000000000007f, 0x000000000000007d,
283  0x000000000000007f, 0x000000000000007e,
284  0x000000000000007f, 0x000000000000007f,
285  0x000000000000007f, 0x0000000000007ffd,
286  0x000000000000007f, 0x0000000000007ffe,
287  0x000000000000007f, 0x0000000000007fff,
288  0x000000000000007f, 0x000000007ffffffd,
289  0x000000000000007f, 0x000000007ffffffe,
290  0x000000000000007f, 0x000000007fffffff,
291  0x000000000000007f, 0x3333333333333333,
292  0x000000000000007f, 0x5555555555555555,
293  0x000000000000007f, 0x7ffffffffffffffd,
294  0x000000000000007f, 0x7ffffffffffffffe,
295  0x000000000000007f, 0x7fffffffffffffff,
296  0x000000000000007f, 0x8000000000000000,
297  0x000000000000007f, 0x8000000000000001,
298  0x000000000000007f, 0x8000000000000002,
299  0x000000000000007f, 0x8000000000000003,
300  0x000000000000007f, 0xaaaaaaaaaaaaaaaa,
301  0x000000000000007f, 0xcccccccccccccccc,
302  0x000000000000007f, 0xffffffff80000000,
303  0x000000000000007f, 0xffffffff80000001,
304  0x000000000000007f, 0xffffffff80000002,
305  0x000000000000007f, 0xffffffff80000003,
306  0x000000000000007f, 0xffffffffffff8000,
307  0x000000000000007f, 0xffffffffffff8001,
308  0x000000000000007f, 0xffffffffffff8002,
309  0x000000000000007f, 0xffffffffffff8003,
310  0x000000000000007f, 0xffffffffffffff80,
311  0x000000000000007f, 0xffffffffffffff81,
312  0x000000000000007f, 0xffffffffffffff82,
313  0x000000000000007f, 0xffffffffffffff83,
314  0x000000000000007f, 0xffffffffffffffc0,
315  0x000000000000007f, 0xfffffffffffffffd,
316  0x000000000000007f, 0xfffffffffffffffe,
317  0x000000000000007f, 0xffffffffffffffff,
318  0x0000000000007ffd, 0x0000000000000000,
319  0x0000000000007ffd, 0x0000000000000001,
320  0x0000000000007ffd, 0x0000000000000002,
321  0x0000000000007ffd, 0x0000000000000040,
322  0x0000000000007ffd, 0x000000000000007d,
323  0x0000000000007ffd, 0x000000000000007e,
324  0x0000000000007ffd, 0x000000000000007f,
325  0x0000000000007ffd, 0x0000000000007ffd,
326  0x0000000000007ffd, 0x0000000000007ffe,
327  0x0000000000007ffd, 0x0000000000007fff,
328  0x0000000000007ffd, 0x000000007ffffffd,
329  0x0000000000007ffd, 0x000000007ffffffe,
330  0x0000000000007ffd, 0x000000007fffffff,
331  0x0000000000007ffd, 0x3333333333333333,
332  0x0000000000007ffd, 0x5555555555555555,
333  0x0000000000007ffd, 0x7ffffffffffffffd,
334  0x0000000000007ffd, 0x7ffffffffffffffe,
335  0x0000000000007ffd, 0x7fffffffffffffff,
336  0x0000000000007ffd, 0x8000000000000000,
337  0x0000000000007ffd, 0x8000000000000001,
338  0x0000000000007ffd, 0x8000000000000002,
339  0x0000000000007ffd, 0x8000000000000003,
340  0x0000000000007ffd, 0xaaaaaaaaaaaaaaaa,
341  0x0000000000007ffd, 0xcccccccccccccccc,
342  0x0000000000007ffd, 0xffffffff80000000,
343  0x0000000000007ffd, 0xffffffff80000001,
344  0x0000000000007ffd, 0xffffffff80000002,
345  0x0000000000007ffd, 0xffffffff80000003,
346  0x0000000000007ffd, 0xffffffffffff8000,
347  0x0000000000007ffd, 0xffffffffffff8001,
348  0x0000000000007ffd, 0xffffffffffff8002,
349  0x0000000000007ffd, 0xffffffffffff8003,
350  0x0000000000007ffd, 0xffffffffffffff80,
351  0x0000000000007ffd, 0xffffffffffffff81,
352  0x0000000000007ffd, 0xffffffffffffff82,
353  0x0000000000007ffd, 0xffffffffffffff83,
354  0x0000000000007ffd, 0xffffffffffffffc0,
355  0x0000000000007ffd, 0xfffffffffffffffd,
356  0x0000000000007ffd, 0xfffffffffffffffe,
357  0x0000000000007ffd, 0xffffffffffffffff,
358  0x0000000000007ffe, 0x0000000000000000,
359  0x0000000000007ffe, 0x0000000000000001,
360  0x0000000000007ffe, 0x0000000000000002,
361  0x0000000000007ffe, 0x0000000000000040,
362  0x0000000000007ffe, 0x000000000000007d,
363  0x0000000000007ffe, 0x000000000000007e,
364  0x0000000000007ffe, 0x000000000000007f,
365  0x0000000000007ffe, 0x0000000000007ffd,
366  0x0000000000007ffe, 0x0000000000007ffe,
367  0x0000000000007ffe, 0x0000000000007fff,
368  0x0000000000007ffe, 0x000000007ffffffd,
369  0x0000000000007ffe, 0x000000007ffffffe,
370  0x0000000000007ffe, 0x000000007fffffff,
371  0x0000000000007ffe, 0x3333333333333333,
372  0x0000000000007ffe, 0x5555555555555555,
373  0x0000000000007ffe, 0x7ffffffffffffffd,
374  0x0000000000007ffe, 0x7ffffffffffffffe,
375  0x0000000000007ffe, 0x7fffffffffffffff,
376  0x0000000000007ffe, 0x8000000000000000,
377  0x0000000000007ffe, 0x8000000000000001,
378  0x0000000000007ffe, 0x8000000000000002,
379  0x0000000000007ffe, 0x8000000000000003,
380  0x0000000000007ffe, 0xaaaaaaaaaaaaaaaa,
381  0x0000000000007ffe, 0xcccccccccccccccc,
382  0x0000000000007ffe, 0xffffffff80000000,
383  0x0000000000007ffe, 0xffffffff80000001,
384  0x0000000000007ffe, 0xffffffff80000002,
385  0x0000000000007ffe, 0xffffffff80000003,
386  0x0000000000007ffe, 0xffffffffffff8000,
387  0x0000000000007ffe, 0xffffffffffff8001,
388  0x0000000000007ffe, 0xffffffffffff8002,
389  0x0000000000007ffe, 0xffffffffffff8003,
390  0x0000000000007ffe, 0xffffffffffffff80,
391  0x0000000000007ffe, 0xffffffffffffff81,
392  0x0000000000007ffe, 0xffffffffffffff82,
393  0x0000000000007ffe, 0xffffffffffffff83,
394  0x0000000000007ffe, 0xffffffffffffffc0,
395  0x0000000000007ffe, 0xfffffffffffffffd,
396  0x0000000000007ffe, 0xfffffffffffffffe,
397  0x0000000000007ffe, 0xffffffffffffffff,
398  0x0000000000007fff, 0x0000000000000000,
399  0x0000000000007fff, 0x0000000000000001,
400  0x0000000000007fff, 0x0000000000000002,
401  0x0000000000007fff, 0x0000000000000040,
402  0x0000000000007fff, 0x000000000000007d,
403  0x0000000000007fff, 0x000000000000007e,
404  0x0000000000007fff, 0x000000000000007f,
405  0x0000000000007fff, 0x0000000000007ffd,
406  0x0000000000007fff, 0x0000000000007ffe,
407  0x0000000000007fff, 0x0000000000007fff,
408  0x0000000000007fff, 0x000000007ffffffd,
409  0x0000000000007fff, 0x000000007ffffffe,
410  0x0000000000007fff, 0x000000007fffffff,
411  0x0000000000007fff, 0x3333333333333333,
412  0x0000000000007fff, 0x5555555555555555,
413  0x0000000000007fff, 0x7ffffffffffffffd,
414  0x0000000000007fff, 0x7ffffffffffffffe,
415  0x0000000000007fff, 0x7fffffffffffffff,
416  0x0000000000007fff, 0x8000000000000000,
417  0x0000000000007fff, 0x8000000000000001,
418  0x0000000000007fff, 0x8000000000000002,
419  0x0000000000007fff, 0x8000000000000003,
420  0x0000000000007fff, 0xaaaaaaaaaaaaaaaa,
421  0x0000000000007fff, 0xcccccccccccccccc,
422  0x0000000000007fff, 0xffffffff80000000,
423  0x0000000000007fff, 0xffffffff80000001,
424  0x0000000000007fff, 0xffffffff80000002,
425  0x0000000000007fff, 0xffffffff80000003,
426  0x0000000000007fff, 0xffffffffffff8000,
427  0x0000000000007fff, 0xffffffffffff8001,
428  0x0000000000007fff, 0xffffffffffff8002,
429  0x0000000000007fff, 0xffffffffffff8003,
430  0x0000000000007fff, 0xffffffffffffff80,
431  0x0000000000007fff, 0xffffffffffffff81,
432  0x0000000000007fff, 0xffffffffffffff82,
433  0x0000000000007fff, 0xffffffffffffff83,
434  0x0000000000007fff, 0xffffffffffffffc0,
435  0x0000000000007fff, 0xfffffffffffffffd,
436  0x0000000000007fff, 0xfffffffffffffffe,
437  0x0000000000007fff, 0xffffffffffffffff,
438  0x000000007ffffffd, 0x0000000000000000,
439  0x000000007ffffffd, 0x0000000000000001,
440  0x000000007ffffffd, 0x0000000000000002,
441  0x000000007ffffffd, 0x0000000000000040,
442  0x000000007ffffffd, 0x000000000000007d,
443  0x000000007ffffffd, 0x000000000000007e,
444  0x000000007ffffffd, 0x000000000000007f,
445  0x000000007ffffffd, 0x0000000000007ffd,
446  0x000000007ffffffd, 0x0000000000007ffe,
447  0x000000007ffffffd, 0x0000000000007fff,
448  0x000000007ffffffd, 0x000000007ffffffd,
449  0x000000007ffffffd, 0x000000007ffffffe,
450  0x000000007ffffffd, 0x000000007fffffff,
451  0x000000007ffffffd, 0x3333333333333333,
452  0x000000007ffffffd, 0x5555555555555555,
453  0x000000007ffffffd, 0x7ffffffffffffffd,
454  0x000000007ffffffd, 0x7ffffffffffffffe,
455  0x000000007ffffffd, 0x7fffffffffffffff,
456  0x000000007ffffffd, 0x8000000000000000,
457  0x000000007ffffffd, 0x8000000000000001,
458  0x000000007ffffffd, 0x8000000000000002,
459  0x000000007ffffffd, 0x8000000000000003,
460  0x000000007ffffffd, 0xaaaaaaaaaaaaaaaa,
461  0x000000007ffffffd, 0xcccccccccccccccc,
462  0x000000007ffffffd, 0xffffffff80000000,
463  0x000000007ffffffd, 0xffffffff80000001,
464  0x000000007ffffffd, 0xffffffff80000002,
465  0x000000007ffffffd, 0xffffffff80000003,
466  0x000000007ffffffd, 0xffffffffffff8000,
467  0x000000007ffffffd, 0xffffffffffff8001,
468  0x000000007ffffffd, 0xffffffffffff8002,
469  0x000000007ffffffd, 0xffffffffffff8003,
470  0x000000007ffffffd, 0xffffffffffffff80,
471  0x000000007ffffffd, 0xffffffffffffff81,
472  0x000000007ffffffd, 0xffffffffffffff82,
473  0x000000007ffffffd, 0xffffffffffffff83,
474  0x000000007ffffffd, 0xffffffffffffffc0,
475  0x000000007ffffffd, 0xfffffffffffffffd,
476  0x000000007ffffffd, 0xfffffffffffffffe,
477  0x000000007ffffffd, 0xffffffffffffffff,
478  0x000000007ffffffe, 0x0000000000000000,
479  0x000000007ffffffe, 0x0000000000000001,
480  0x000000007ffffffe, 0x0000000000000002,
481  0x000000007ffffffe, 0x0000000000000040,
482  0x000000007ffffffe, 0x000000000000007d,
483  0x000000007ffffffe, 0x000000000000007e,
484  0x000000007ffffffe, 0x000000000000007f,
485  0x000000007ffffffe, 0x0000000000007ffd,
486  0x000000007ffffffe, 0x0000000000007ffe,
487  0x000000007ffffffe, 0x0000000000007fff,
488  0x000000007ffffffe, 0x000000007ffffffd,
489  0x000000007ffffffe, 0x000000007ffffffe,
490  0x000000007ffffffe, 0x000000007fffffff,
491  0x000000007ffffffe, 0x3333333333333333,
492  0x000000007ffffffe, 0x5555555555555555,
493  0x000000007ffffffe, 0x7ffffffffffffffd,
494  0x000000007ffffffe, 0x7ffffffffffffffe,
495  0x000000007ffffffe, 0x7fffffffffffffff,
496  0x000000007ffffffe, 0x8000000000000000,
497  0x000000007ffffffe, 0x8000000000000001,
498  0x000000007ffffffe, 0x8000000000000002,
499  0x000000007ffffffe, 0x8000000000000003,
500  0x000000007ffffffe, 0xaaaaaaaaaaaaaaaa,
501  0x000000007ffffffe, 0xcccccccccccccccc,
502  0x000000007ffffffe, 0xffffffff80000000,
503  0x000000007ffffffe, 0xffffffff80000001,
504  0x000000007ffffffe, 0xffffffff80000002,
505  0x000000007ffffffe, 0xffffffff80000003,
506  0x000000007ffffffe, 0xffffffffffff8000,
507  0x000000007ffffffe, 0xffffffffffff8001,
508  0x000000007ffffffe, 0xffffffffffff8002,
509  0x000000007ffffffe, 0xffffffffffff8003,
510  0x000000007ffffffe, 0xffffffffffffff80,
511  0x000000007ffffffe, 0xffffffffffffff81,
512  0x000000007ffffffe, 0xffffffffffffff82,
513  0x000000007ffffffe, 0xffffffffffffff83,
514  0x000000007ffffffe, 0xffffffffffffffc0,
515  0x000000007ffffffe, 0xfffffffffffffffd,
516  0x000000007ffffffe, 0xfffffffffffffffe,
517  0x000000007ffffffe, 0xffffffffffffffff,
518  0x000000007fffffff, 0x0000000000000000,
519  0x000000007fffffff, 0x0000000000000001,
520  0x000000007fffffff, 0x0000000000000002,
521  0x000000007fffffff, 0x0000000000000040,
522  0x000000007fffffff, 0x000000000000007d,
523  0x000000007fffffff, 0x000000000000007e,
524  0x000000007fffffff, 0x000000000000007f,
525  0x000000007fffffff, 0x0000000000007ffd,
526  0x000000007fffffff, 0x0000000000007ffe,
527  0x000000007fffffff, 0x0000000000007fff,
528  0x000000007fffffff, 0x000000007ffffffd,
529  0x000000007fffffff, 0x000000007ffffffe,
530  0x000000007fffffff, 0x000000007fffffff,
531  0x000000007fffffff, 0x3333333333333333,
532  0x000000007fffffff, 0x5555555555555555,
533  0x000000007fffffff, 0x7ffffffffffffffd,
534  0x000000007fffffff, 0x7ffffffffffffffe,
535  0x000000007fffffff, 0x7fffffffffffffff,
536  0x000000007fffffff, 0x8000000000000000,
537  0x000000007fffffff, 0x8000000000000001,
538  0x000000007fffffff, 0x8000000000000002,
539  0x000000007fffffff, 0x8000000000000003,
540  0x000000007fffffff, 0xaaaaaaaaaaaaaaaa,
541  0x000000007fffffff, 0xcccccccccccccccc,
542  0x000000007fffffff, 0xffffffff80000000,
543  0x000000007fffffff, 0xffffffff80000001,
544  0x000000007fffffff, 0xffffffff80000002,
545  0x000000007fffffff, 0xffffffff80000003,
546  0x000000007fffffff, 0xffffffffffff8000,
547  0x000000007fffffff, 0xffffffffffff8001,
548  0x000000007fffffff, 0xffffffffffff8002,
549  0x000000007fffffff, 0xffffffffffff8003,
550  0x000000007fffffff, 0xffffffffffffff80,
551  0x000000007fffffff, 0xffffffffffffff81,
552  0x000000007fffffff, 0xffffffffffffff82,
553  0x000000007fffffff, 0xffffffffffffff83,
554  0x000000007fffffff, 0xffffffffffffffc0,
555  0x000000007fffffff, 0xfffffffffffffffd,
556  0x000000007fffffff, 0xfffffffffffffffe,
557  0x000000007fffffff, 0xffffffffffffffff,
558  0x3333333333333333, 0x0000000000000000,
559  0x3333333333333333, 0x0000000000000001,
560  0x3333333333333333, 0x0000000000000002,
561  0x3333333333333333, 0x0000000000000040,
562  0x3333333333333333, 0x000000000000007d,
563  0x3333333333333333, 0x000000000000007e,
564  0x3333333333333333, 0x000000000000007f,
565  0x3333333333333333, 0x0000000000007ffd,
566  0x3333333333333333, 0x0000000000007ffe,
567  0x3333333333333333, 0x0000000000007fff,
568  0x3333333333333333, 0x000000007ffffffd,
569  0x3333333333333333, 0x000000007ffffffe,
570  0x3333333333333333, 0x000000007fffffff,
571  0x3333333333333333, 0x3333333333333333,
572  0x3333333333333333, 0x5555555555555555,
573  0x3333333333333333, 0x7ffffffffffffffd,
574  0x3333333333333333, 0x7ffffffffffffffe,
575  0x3333333333333333, 0x7fffffffffffffff,
576  0x3333333333333333, 0x8000000000000000,
577  0x3333333333333333, 0x8000000000000001,
578  0x3333333333333333, 0x8000000000000002,
579  0x3333333333333333, 0x8000000000000003,
580  0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
581  0x3333333333333333, 0xcccccccccccccccc,
582  0x3333333333333333, 0xffffffff80000000,
583  0x3333333333333333, 0xffffffff80000001,
584  0x3333333333333333, 0xffffffff80000002,
585  0x3333333333333333, 0xffffffff80000003,
586  0x3333333333333333, 0xffffffffffff8000,
587  0x3333333333333333, 0xffffffffffff8001,
588  0x3333333333333333, 0xffffffffffff8002,
589  0x3333333333333333, 0xffffffffffff8003,
590  0x3333333333333333, 0xffffffffffffff80,
591  0x3333333333333333, 0xffffffffffffff81,
592  0x3333333333333333, 0xffffffffffffff82,
593  0x3333333333333333, 0xffffffffffffff83,
594  0x3333333333333333, 0xffffffffffffffc0,
595  0x3333333333333333, 0xfffffffffffffffd,
596  0x3333333333333333, 0xfffffffffffffffe,
597  0x3333333333333333, 0xffffffffffffffff,
598  0x5555555555555555, 0x0000000000000000,
599  0x5555555555555555, 0x0000000000000001,
600  0x5555555555555555, 0x0000000000000002,
601  0x5555555555555555, 0x0000000000000040,
602  0x5555555555555555, 0x000000000000007d,
603  0x5555555555555555, 0x000000000000007e,
604  0x5555555555555555, 0x000000000000007f,
605  0x5555555555555555, 0x0000000000007ffd,
606  0x5555555555555555, 0x0000000000007ffe,
607  0x5555555555555555, 0x0000000000007fff,
608  0x5555555555555555, 0x000000007ffffffd,
609  0x5555555555555555, 0x000000007ffffffe,
610  0x5555555555555555, 0x000000007fffffff,
611  0x5555555555555555, 0x3333333333333333,
612  0x5555555555555555, 0x5555555555555555,
613  0x5555555555555555, 0x7ffffffffffffffd,
614  0x5555555555555555, 0x7ffffffffffffffe,
615  0x5555555555555555, 0x7fffffffffffffff,
616  0x5555555555555555, 0x8000000000000000,
617  0x5555555555555555, 0x8000000000000001,
618  0x5555555555555555, 0x8000000000000002,
619  0x5555555555555555, 0x8000000000000003,
620  0x5555555555555555, 0xaaaaaaaaaaaaaaaa,
621  0x5555555555555555, 0xcccccccccccccccc,
622  0x5555555555555555, 0xffffffff80000000,
623  0x5555555555555555, 0xffffffff80000001,
624  0x5555555555555555, 0xffffffff80000002,
625  0x5555555555555555, 0xffffffff80000003,
626  0x5555555555555555, 0xffffffffffff8000,
627  0x5555555555555555, 0xffffffffffff8001,
628  0x5555555555555555, 0xffffffffffff8002,
629  0x5555555555555555, 0xffffffffffff8003,
630  0x5555555555555555, 0xffffffffffffff80,
631  0x5555555555555555, 0xffffffffffffff81,
632  0x5555555555555555, 0xffffffffffffff82,
633  0x5555555555555555, 0xffffffffffffff83,
634  0x5555555555555555, 0xffffffffffffffc0,
635  0x5555555555555555, 0xfffffffffffffffd,
636  0x5555555555555555, 0xfffffffffffffffe,
637  0x5555555555555555, 0xffffffffffffffff,
638  0x7ffffffffffffffd, 0x0000000000000000,
639  0x7ffffffffffffffd, 0x0000000000000001,
640  0x7ffffffffffffffd, 0x0000000000000002,
641  0x7ffffffffffffffd, 0x0000000000000040,
642  0x7ffffffffffffffd, 0x000000000000007d,
643  0x7ffffffffffffffd, 0x000000000000007e,
644  0x7ffffffffffffffd, 0x000000000000007f,
645  0x7ffffffffffffffd, 0x0000000000007ffd,
646  0x7ffffffffffffffd, 0x0000000000007ffe,
647  0x7ffffffffffffffd, 0x0000000000007fff,
648  0x7ffffffffffffffd, 0x000000007ffffffd,
649  0x7ffffffffffffffd, 0x000000007ffffffe,
650  0x7ffffffffffffffd, 0x000000007fffffff,
651  0x7ffffffffffffffd, 0x3333333333333333,
652  0x7ffffffffffffffd, 0x5555555555555555,
653  0x7ffffffffffffffd, 0x7ffffffffffffffd,
654  0x7ffffffffffffffd, 0x7ffffffffffffffe,
655  0x7ffffffffffffffd, 0x7fffffffffffffff,
656  0x7ffffffffffffffd, 0x8000000000000000,
657  0x7ffffffffffffffd, 0x8000000000000001,
658  0x7ffffffffffffffd, 0x8000000000000002,
659  0x7ffffffffffffffd, 0x8000000000000003,
660  0x7ffffffffffffffd, 0xaaaaaaaaaaaaaaaa,
661  0x7ffffffffffffffd, 0xcccccccccccccccc,
662  0x7ffffffffffffffd, 0xffffffff80000000,
663  0x7ffffffffffffffd, 0xffffffff80000001,
664  0x7ffffffffffffffd, 0xffffffff80000002,
665  0x7ffffffffffffffd, 0xffffffff80000003,
666  0x7ffffffffffffffd, 0xffffffffffff8000,
667  0x7ffffffffffffffd, 0xffffffffffff8001,
668  0x7ffffffffffffffd, 0xffffffffffff8002,
669  0x7ffffffffffffffd, 0xffffffffffff8003,
670  0x7ffffffffffffffd, 0xffffffffffffff80,
671  0x7ffffffffffffffd, 0xffffffffffffff81,
672  0x7ffffffffffffffd, 0xffffffffffffff82,
673  0x7ffffffffffffffd, 0xffffffffffffff83,
674  0x7ffffffffffffffd, 0xffffffffffffffc0,
675  0x7ffffffffffffffd, 0xfffffffffffffffd,
676  0x7ffffffffffffffd, 0xfffffffffffffffe,
677  0x7ffffffffffffffd, 0xffffffffffffffff,
678  0x7ffffffffffffffe, 0x0000000000000000,
679  0x7ffffffffffffffe, 0x0000000000000001,
680  0x7ffffffffffffffe, 0x0000000000000002,
681  0x7ffffffffffffffe, 0x0000000000000040,
682  0x7ffffffffffffffe, 0x000000000000007d,
683  0x7ffffffffffffffe, 0x000000000000007e,
684  0x7ffffffffffffffe, 0x000000000000007f,
685  0x7ffffffffffffffe, 0x0000000000007ffd,
686  0x7ffffffffffffffe, 0x0000000000007ffe,
687  0x7ffffffffffffffe, 0x0000000000007fff,
688  0x7ffffffffffffffe, 0x000000007ffffffd,
689  0x7ffffffffffffffe, 0x000000007ffffffe,
690  0x7ffffffffffffffe, 0x000000007fffffff,
691  0x7ffffffffffffffe, 0x3333333333333333,
692  0x7ffffffffffffffe, 0x5555555555555555,
693  0x7ffffffffffffffe, 0x7ffffffffffffffd,
694  0x7ffffffffffffffe, 0x7ffffffffffffffe,
695  0x7ffffffffffffffe, 0x7fffffffffffffff,
696  0x7ffffffffffffffe, 0x8000000000000000,
697  0x7ffffffffffffffe, 0x8000000000000001,
698  0x7ffffffffffffffe, 0x8000000000000002,
699  0x7ffffffffffffffe, 0x8000000000000003,
700  0x7ffffffffffffffe, 0xaaaaaaaaaaaaaaaa,
701  0x7ffffffffffffffe, 0xcccccccccccccccc,
702  0x7ffffffffffffffe, 0xffffffff80000000,
703  0x7ffffffffffffffe, 0xffffffff80000001,
704  0x7ffffffffffffffe, 0xffffffff80000002,
705  0x7ffffffffffffffe, 0xffffffff80000003,
706  0x7ffffffffffffffe, 0xffffffffffff8000,
707  0x7ffffffffffffffe, 0xffffffffffff8001,
708  0x7ffffffffffffffe, 0xffffffffffff8002,
709  0x7ffffffffffffffe, 0xffffffffffff8003,
710  0x7ffffffffffffffe, 0xffffffffffffff80,
711  0x7ffffffffffffffe, 0xffffffffffffff81,
712  0x7ffffffffffffffe, 0xffffffffffffff82,
713  0x7ffffffffffffffe, 0xffffffffffffff83,
714  0x7ffffffffffffffe, 0xffffffffffffffc0,
715  0x7ffffffffffffffe, 0xfffffffffffffffd,
716  0x7ffffffffffffffe, 0xfffffffffffffffe,
717  0x7ffffffffffffffe, 0xffffffffffffffff,
718  0x7fffffffffffffff, 0x0000000000000000,
719  0x7fffffffffffffff, 0x0000000000000001,
720  0x7fffffffffffffff, 0x0000000000000002,
721  0x7fffffffffffffff, 0x0000000000000040,
722  0x7fffffffffffffff, 0x000000000000007d,
723  0x7fffffffffffffff, 0x000000000000007e,
724  0x7fffffffffffffff, 0x000000000000007f,
725  0x7fffffffffffffff, 0x0000000000007ffd,
726  0x7fffffffffffffff, 0x0000000000007ffe,
727  0x7fffffffffffffff, 0x0000000000007fff,
728  0x7fffffffffffffff, 0x000000007ffffffd,
729  0x7fffffffffffffff, 0x000000007ffffffe,
730  0x7fffffffffffffff, 0x000000007fffffff,
731  0x7fffffffffffffff, 0x3333333333333333,
732  0x7fffffffffffffff, 0x5555555555555555,
733  0x7fffffffffffffff, 0x7ffffffffffffffd,
734  0x7fffffffffffffff, 0x7ffffffffffffffe,
735  0x7fffffffffffffff, 0x7fffffffffffffff,
736  0x7fffffffffffffff, 0x8000000000000000,
737  0x7fffffffffffffff, 0x8000000000000001,
738  0x7fffffffffffffff, 0x8000000000000002,
739  0x7fffffffffffffff, 0x8000000000000003,
740  0x7fffffffffffffff, 0xaaaaaaaaaaaaaaaa,
741  0x7fffffffffffffff, 0xcccccccccccccccc,
742  0x7fffffffffffffff, 0xffffffff80000000,
743  0x7fffffffffffffff, 0xffffffff80000001,
744  0x7fffffffffffffff, 0xffffffff80000002,
745  0x7fffffffffffffff, 0xffffffff80000003,
746  0x7fffffffffffffff, 0xffffffffffff8000,
747  0x7fffffffffffffff, 0xffffffffffff8001,
748  0x7fffffffffffffff, 0xffffffffffff8002,
749  0x7fffffffffffffff, 0xffffffffffff8003,
750  0x7fffffffffffffff, 0xffffffffffffff80,
751  0x7fffffffffffffff, 0xffffffffffffff81,
752  0x7fffffffffffffff, 0xffffffffffffff82,
753  0x7fffffffffffffff, 0xffffffffffffff83,
754  0x7fffffffffffffff, 0xffffffffffffffc0,
755  0x7fffffffffffffff, 0xfffffffffffffffd,
756  0x7fffffffffffffff, 0xfffffffffffffffe,
757  0x7fffffffffffffff, 0xffffffffffffffff,
758  0x8000000000000000, 0x0000000000000000,
759  0x8000000000000000, 0x0000000000000001,
760  0x8000000000000000, 0x0000000000000002,
761  0x8000000000000000, 0x0000000000000040,
762  0x8000000000000000, 0x000000000000007d,
763  0x8000000000000000, 0x000000000000007e,
764  0x8000000000000000, 0x000000000000007f,
765  0x8000000000000000, 0x0000000000007ffd,
766  0x8000000000000000, 0x0000000000007ffe,
767  0x8000000000000000, 0x0000000000007fff,
768  0x8000000000000000, 0x000000007ffffffd,
769  0x8000000000000000, 0x000000007ffffffe,
770  0x8000000000000000, 0x000000007fffffff,
771  0x8000000000000000, 0x3333333333333333,
772  0x8000000000000000, 0x5555555555555555,
773  0x8000000000000000, 0x7ffffffffffffffd,
774  0x8000000000000000, 0x7ffffffffffffffe,
775  0x8000000000000000, 0x7fffffffffffffff,
776  0x8000000000000000, 0x8000000000000000,
777  0x8000000000000000, 0x8000000000000001,
778  0x8000000000000000, 0x8000000000000002,
779  0x8000000000000000, 0x8000000000000003,
780  0x8000000000000000, 0xaaaaaaaaaaaaaaaa,
781  0x8000000000000000, 0xcccccccccccccccc,
782  0x8000000000000000, 0xffffffff80000000,
783  0x8000000000000000, 0xffffffff80000001,
784  0x8000000000000000, 0xffffffff80000002,
785  0x8000000000000000, 0xffffffff80000003,
786  0x8000000000000000, 0xffffffffffff8000,
787  0x8000000000000000, 0xffffffffffff8001,
788  0x8000000000000000, 0xffffffffffff8002,
789  0x8000000000000000, 0xffffffffffff8003,
790  0x8000000000000000, 0xffffffffffffff80,
791  0x8000000000000000, 0xffffffffffffff81,
792  0x8000000000000000, 0xffffffffffffff82,
793  0x8000000000000000, 0xffffffffffffff83,
794  0x8000000000000000, 0xffffffffffffffc0,
795  0x8000000000000000, 0xfffffffffffffffd,
796  0x8000000000000000, 0xfffffffffffffffe,
797  0x8000000000000000, 0xffffffffffffffff,
798  0x8000000000000001, 0x0000000000000000,
799  0x8000000000000001, 0x0000000000000001,
800  0x8000000000000001, 0x0000000000000002,
801  0x8000000000000001, 0x0000000000000040,
802  0x8000000000000001, 0x000000000000007d,
803  0x8000000000000001, 0x000000000000007e,
804  0x8000000000000001, 0x000000000000007f,
805  0x8000000000000001, 0x0000000000007ffd,
806  0x8000000000000001, 0x0000000000007ffe,
807  0x8000000000000001, 0x0000000000007fff,
808  0x8000000000000001, 0x000000007ffffffd,
809  0x8000000000000001, 0x000000007ffffffe,
810  0x8000000000000001, 0x000000007fffffff,
811  0x8000000000000001, 0x3333333333333333,
812  0x8000000000000001, 0x5555555555555555,
813  0x8000000000000001, 0x7ffffffffffffffd,
814  0x8000000000000001, 0x7ffffffffffffffe,
815  0x8000000000000001, 0x7fffffffffffffff,
816  0x8000000000000001, 0x8000000000000000,
817  0x8000000000000001, 0x8000000000000001,
818  0x8000000000000001, 0x8000000000000002,
819  0x8000000000000001, 0x8000000000000003,
820  0x8000000000000001, 0xaaaaaaaaaaaaaaaa,
821  0x8000000000000001, 0xcccccccccccccccc,
822  0x8000000000000001, 0xffffffff80000000,
823  0x8000000000000001, 0xffffffff80000001,
824  0x8000000000000001, 0xffffffff80000002,
825  0x8000000000000001, 0xffffffff80000003,
826  0x8000000000000001, 0xffffffffffff8000,
827  0x8000000000000001, 0xffffffffffff8001,
828  0x8000000000000001, 0xffffffffffff8002,
829  0x8000000000000001, 0xffffffffffff8003,
830  0x8000000000000001, 0xffffffffffffff80,
831  0x8000000000000001, 0xffffffffffffff81,
832  0x8000000000000001, 0xffffffffffffff82,
833  0x8000000000000001, 0xffffffffffffff83,
834  0x8000000000000001, 0xffffffffffffffc0,
835  0x8000000000000001, 0xfffffffffffffffd,
836  0x8000000000000001, 0xfffffffffffffffe,
837  0x8000000000000001, 0xffffffffffffffff,
838  0x8000000000000002, 0x0000000000000000,
839  0x8000000000000002, 0x0000000000000001,
840  0x8000000000000002, 0x0000000000000002,
841  0x8000000000000002, 0x0000000000000040,
842  0x8000000000000002, 0x000000000000007d,
843  0x8000000000000002, 0x000000000000007e,
844  0x8000000000000002, 0x000000000000007f,
845  0x8000000000000002, 0x0000000000007ffd,
846  0x8000000000000002, 0x0000000000007ffe,
847  0x8000000000000002, 0x0000000000007fff,
848  0x8000000000000002, 0x000000007ffffffd,
849  0x8000000000000002, 0x000000007ffffffe,
850  0x8000000000000002, 0x000000007fffffff,
851  0x8000000000000002, 0x3333333333333333,
852  0x8000000000000002, 0x5555555555555555,
853  0x8000000000000002, 0x7ffffffffffffffd,
854  0x8000000000000002, 0x7ffffffffffffffe,
855  0x8000000000000002, 0x7fffffffffffffff,
856  0x8000000000000002, 0x8000000000000000,
857  0x8000000000000002, 0x8000000000000001,
858  0x8000000000000002, 0x8000000000000002,
859  0x8000000000000002, 0x8000000000000003,
860  0x8000000000000002, 0xaaaaaaaaaaaaaaaa,
861  0x8000000000000002, 0xcccccccccccccccc,
862  0x8000000000000002, 0xffffffff80000000,
863  0x8000000000000002, 0xffffffff80000001,
864  0x8000000000000002, 0xffffffff80000002,
865  0x8000000000000002, 0xffffffff80000003,
866  0x8000000000000002, 0xffffffffffff8000,
867  0x8000000000000002, 0xffffffffffff8001,
868  0x8000000000000002, 0xffffffffffff8002,
869  0x8000000000000002, 0xffffffffffff8003,
870  0x8000000000000002, 0xffffffffffffff80,
871  0x8000000000000002, 0xffffffffffffff81,
872  0x8000000000000002, 0xffffffffffffff82,
873  0x8000000000000002, 0xffffffffffffff83,
874  0x8000000000000002, 0xffffffffffffffc0,
875  0x8000000000000002, 0xfffffffffffffffd,
876  0x8000000000000002, 0xfffffffffffffffe,
877  0x8000000000000002, 0xffffffffffffffff,
878  0x8000000000000003, 0x0000000000000000,
879  0x8000000000000003, 0x0000000000000001,
880  0x8000000000000003, 0x0000000000000002,
881  0x8000000000000003, 0x0000000000000040,
882  0x8000000000000003, 0x000000000000007d,
883  0x8000000000000003, 0x000000000000007e,
884  0x8000000000000003, 0x000000000000007f,
885  0x8000000000000003, 0x0000000000007ffd,
886  0x8000000000000003, 0x0000000000007ffe,
887  0x8000000000000003, 0x0000000000007fff,
888  0x8000000000000003, 0x000000007ffffffd,
889  0x8000000000000003, 0x000000007ffffffe,
890  0x8000000000000003, 0x000000007fffffff,
891  0x8000000000000003, 0x3333333333333333,
892  0x8000000000000003, 0x5555555555555555,
893  0x8000000000000003, 0x7ffffffffffffffd,
894  0x8000000000000003, 0x7ffffffffffffffe,
895  0x8000000000000003, 0x7fffffffffffffff,
896  0x8000000000000003, 0x8000000000000000,
897  0x8000000000000003, 0x8000000000000001,
898  0x8000000000000003, 0x8000000000000002,
899  0x8000000000000003, 0x8000000000000003,
900  0x8000000000000003, 0xaaaaaaaaaaaaaaaa,
901  0x8000000000000003, 0xcccccccccccccccc,
902  0x8000000000000003, 0xffffffff80000000,
903  0x8000000000000003, 0xffffffff80000001,
904  0x8000000000000003, 0xffffffff80000002,
905  0x8000000000000003, 0xffffffff80000003,
906  0x8000000000000003, 0xffffffffffff8000,
907  0x8000000000000003, 0xffffffffffff8001,
908  0x8000000000000003, 0xffffffffffff8002,
909  0x8000000000000003, 0xffffffffffff8003,
910  0x8000000000000003, 0xffffffffffffff80,
911  0x8000000000000003, 0xffffffffffffff81,
912  0x8000000000000003, 0xffffffffffffff82,
913  0x8000000000000003, 0xffffffffffffff83,
914  0x8000000000000003, 0xffffffffffffffc0,
915  0x8000000000000003, 0xfffffffffffffffd,
916  0x8000000000000003, 0xfffffffffffffffe,
917  0x8000000000000003, 0xffffffffffffffff,
918  0xaaaaaaaaaaaaaaaa, 0x0000000000000000,
919  0xaaaaaaaaaaaaaaaa, 0x0000000000000001,
920  0xaaaaaaaaaaaaaaaa, 0x0000000000000002,
921  0xaaaaaaaaaaaaaaaa, 0x0000000000000040,
922  0xaaaaaaaaaaaaaaaa, 0x000000000000007d,
923  0xaaaaaaaaaaaaaaaa, 0x000000000000007e,
924  0xaaaaaaaaaaaaaaaa, 0x000000000000007f,
925  0xaaaaaaaaaaaaaaaa, 0x0000000000007ffd,
926  0xaaaaaaaaaaaaaaaa, 0x0000000000007ffe,
927  0xaaaaaaaaaaaaaaaa, 0x0000000000007fff,
928  0xaaaaaaaaaaaaaaaa, 0x000000007ffffffd,
929  0xaaaaaaaaaaaaaaaa, 0x000000007ffffffe,
930  0xaaaaaaaaaaaaaaaa, 0x000000007fffffff,
931  0xaaaaaaaaaaaaaaaa, 0x3333333333333333,
932  0xaaaaaaaaaaaaaaaa, 0x5555555555555555,
933  0xaaaaaaaaaaaaaaaa, 0x7ffffffffffffffd,
934  0xaaaaaaaaaaaaaaaa, 0x7ffffffffffffffe,
935  0xaaaaaaaaaaaaaaaa, 0x7fffffffffffffff,
936  0xaaaaaaaaaaaaaaaa, 0x8000000000000000,
937  0xaaaaaaaaaaaaaaaa, 0x8000000000000001,
938  0xaaaaaaaaaaaaaaaa, 0x8000000000000002,
939  0xaaaaaaaaaaaaaaaa, 0x8000000000000003,
940  0xaaaaaaaaaaaaaaaa, 0xaaaaaaaaaaaaaaaa,
941  0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc,
942  0xaaaaaaaaaaaaaaaa, 0xffffffff80000000,
943  0xaaaaaaaaaaaaaaaa, 0xffffffff80000001,
944  0xaaaaaaaaaaaaaaaa, 0xffffffff80000002,
945  0xaaaaaaaaaaaaaaaa, 0xffffffff80000003,
946  0xaaaaaaaaaaaaaaaa, 0xffffffffffff8000,
947  0xaaaaaaaaaaaaaaaa, 0xffffffffffff8001,
948  0xaaaaaaaaaaaaaaaa, 0xffffffffffff8002,
949  0xaaaaaaaaaaaaaaaa, 0xffffffffffff8003,
950  0xaaaaaaaaaaaaaaaa, 0xffffffffffffff80,
951  0xaaaaaaaaaaaaaaaa, 0xffffffffffffff81,
952  0xaaaaaaaaaaaaaaaa, 0xffffffffffffff82,
953  0xaaaaaaaaaaaaaaaa, 0xffffffffffffff83,
954  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffc0,
955  0xaaaaaaaaaaaaaaaa, 0xfffffffffffffffd,
956  0xaaaaaaaaaaaaaaaa, 0xfffffffffffffffe,
957  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
958  0xcccccccccccccccc, 0x0000000000000000,
959  0xcccccccccccccccc, 0x0000000000000001,
960  0xcccccccccccccccc, 0x0000000000000002,
961  0xcccccccccccccccc, 0x0000000000000040,
962  0xcccccccccccccccc, 0x000000000000007d,
963  0xcccccccccccccccc, 0x000000000000007e,
964  0xcccccccccccccccc, 0x000000000000007f,
965  0xcccccccccccccccc, 0x0000000000007ffd,
966  0xcccccccccccccccc, 0x0000000000007ffe,
967  0xcccccccccccccccc, 0x0000000000007fff,
968  0xcccccccccccccccc, 0x000000007ffffffd,
969  0xcccccccccccccccc, 0x000000007ffffffe,
970  0xcccccccccccccccc, 0x000000007fffffff,
971  0xcccccccccccccccc, 0x3333333333333333,
972  0xcccccccccccccccc, 0x5555555555555555,
973  0xcccccccccccccccc, 0x7ffffffffffffffd,
974  0xcccccccccccccccc, 0x7ffffffffffffffe,
975  0xcccccccccccccccc, 0x7fffffffffffffff,
976  0xcccccccccccccccc, 0x8000000000000000,
977  0xcccccccccccccccc, 0x8000000000000001,
978  0xcccccccccccccccc, 0x8000000000000002,
979  0xcccccccccccccccc, 0x8000000000000003,
980  0xcccccccccccccccc, 0xaaaaaaaaaaaaaaaa,
981  0xcccccccccccccccc, 0xcccccccccccccccc,
982  0xcccccccccccccccc, 0xffffffff80000000,
983  0xcccccccccccccccc, 0xffffffff80000001,
984  0xcccccccccccccccc, 0xffffffff80000002,
985  0xcccccccccccccccc, 0xffffffff80000003,
986  0xcccccccccccccccc, 0xffffffffffff8000,
987  0xcccccccccccccccc, 0xffffffffffff8001,
988  0xcccccccccccccccc, 0xffffffffffff8002,
989  0xcccccccccccccccc, 0xffffffffffff8003,
990  0xcccccccccccccccc, 0xffffffffffffff80,
991  0xcccccccccccccccc, 0xffffffffffffff81,
992  0xcccccccccccccccc, 0xffffffffffffff82,
993  0xcccccccccccccccc, 0xffffffffffffff83,
994  0xcccccccccccccccc, 0xffffffffffffffc0,
995  0xcccccccccccccccc, 0xfffffffffffffffd,
996  0xcccccccccccccccc, 0xfffffffffffffffe,
997  0xcccccccccccccccc, 0xffffffffffffffff,
998  0xffffffff80000000, 0x0000000000000000,
999  0xffffffff80000000, 0x0000000000000001,
1000  0xffffffff80000000, 0x0000000000000002,
1001  0xffffffff80000000, 0x0000000000000040,
1002  0xffffffff80000000, 0x000000000000007d,
1003  0xffffffff80000000, 0x000000000000007e,
1004  0xffffffff80000000, 0x000000000000007f,
1005  0xffffffff80000000, 0x0000000000007ffd,
1006  0xffffffff80000000, 0x0000000000007ffe,
1007  0xffffffff80000000, 0x0000000000007fff,
1008  0xffffffff80000000, 0x000000007ffffffd,
1009  0xffffffff80000000, 0x000000007ffffffe,
1010  0xffffffff80000000, 0x000000007fffffff,
1011  0xffffffff80000000, 0x3333333333333333,
1012  0xffffffff80000000, 0x5555555555555555,
1013  0xffffffff80000000, 0x7ffffffffffffffd,
1014  0xffffffff80000000, 0x7ffffffffffffffe,
1015  0xffffffff80000000, 0x7fffffffffffffff,
1016  0xffffffff80000000, 0x8000000000000000,
1017  0xffffffff80000000, 0x8000000000000001,
1018  0xffffffff80000000, 0x8000000000000002,
1019  0xffffffff80000000, 0x8000000000000003,
1020  0xffffffff80000000, 0xaaaaaaaaaaaaaaaa,
1021  0xffffffff80000000, 0xcccccccccccccccc,
1022  0xffffffff80000000, 0xffffffff80000000,
1023  0xffffffff80000000, 0xffffffff80000001,
1024  0xffffffff80000000, 0xffffffff80000002,
1025  0xffffffff80000000, 0xffffffff80000003,
1026  0xffffffff80000000, 0xffffffffffff8000,
1027  0xffffffff80000000, 0xffffffffffff8001,
1028  0xffffffff80000000, 0xffffffffffff8002,
1029  0xffffffff80000000, 0xffffffffffff8003,
1030  0xffffffff80000000, 0xffffffffffffff80,
1031  0xffffffff80000000, 0xffffffffffffff81,
1032  0xffffffff80000000, 0xffffffffffffff82,
1033  0xffffffff80000000, 0xffffffffffffff83,
1034  0xffffffff80000000, 0xffffffffffffffc0,
1035  0xffffffff80000000, 0xfffffffffffffffd,
1036  0xffffffff80000000, 0xfffffffffffffffe,
1037  0xffffffff80000000, 0xffffffffffffffff,
1038  0xffffffff80000001, 0x0000000000000000,
1039  0xffffffff80000001, 0x0000000000000001,
1040  0xffffffff80000001, 0x0000000000000002,
1041  0xffffffff80000001, 0x0000000000000040,
1042  0xffffffff80000001, 0x000000000000007d,
1043  0xffffffff80000001, 0x000000000000007e,
1044  0xffffffff80000001, 0x000000000000007f,
1045  0xffffffff80000001, 0x0000000000007ffd,
1046  0xffffffff80000001, 0x0000000000007ffe,
1047  0xffffffff80000001, 0x0000000000007fff,
1048  0xffffffff80000001, 0x000000007ffffffd,
1049  0xffffffff80000001, 0x000000007ffffffe,
1050  0xffffffff80000001, 0x000000007fffffff,
1051  0xffffffff80000001, 0x3333333333333333,
1052  0xffffffff80000001, 0x5555555555555555,
1053  0xffffffff80000001, 0x7ffffffffffffffd,
1054  0xffffffff80000001, 0x7ffffffffffffffe,
1055  0xffffffff80000001, 0x7fffffffffffffff,
1056  0xffffffff80000001, 0x8000000000000000,
1057  0xffffffff80000001, 0x8000000000000001,
1058  0xffffffff80000001, 0x8000000000000002,
1059  0xffffffff80000001, 0x8000000000000003,
1060  0xffffffff80000001, 0xaaaaaaaaaaaaaaaa,
1061  0xffffffff80000001, 0xcccccccccccccccc,
1062  0xffffffff80000001, 0xffffffff80000000,
1063  0xffffffff80000001, 0xffffffff80000001,
1064  0xffffffff80000001, 0xffffffff80000002,
1065  0xffffffff80000001, 0xffffffff80000003,
1066  0xffffffff80000001, 0xffffffffffff8000,
1067  0xffffffff80000001, 0xffffffffffff8001,
1068  0xffffffff80000001, 0xffffffffffff8002,
1069  0xffffffff80000001, 0xffffffffffff8003,
1070  0xffffffff80000001, 0xffffffffffffff80,
1071  0xffffffff80000001, 0xffffffffffffff81,
1072  0xffffffff80000001, 0xffffffffffffff82,
1073  0xffffffff80000001, 0xffffffffffffff83,
1074  0xffffffff80000001, 0xffffffffffffffc0,
1075  0xffffffff80000001, 0xfffffffffffffffd,
1076  0xffffffff80000001, 0xfffffffffffffffe,
1077  0xffffffff80000001, 0xffffffffffffffff,
1078  0xffffffff80000002, 0x0000000000000000,
1079  0xffffffff80000002, 0x0000000000000001,
1080  0xffffffff80000002, 0x0000000000000002,
1081  0xffffffff80000002, 0x0000000000000040,
1082  0xffffffff80000002, 0x000000000000007d,
1083  0xffffffff80000002, 0x000000000000007e,
1084  0xffffffff80000002, 0x000000000000007f,
1085  0xffffffff80000002, 0x0000000000007ffd,
1086  0xffffffff80000002, 0x0000000000007ffe,
1087  0xffffffff80000002, 0x0000000000007fff,
1088  0xffffffff80000002, 0x000000007ffffffd,
1089  0xffffffff80000002, 0x000000007ffffffe,
1090  0xffffffff80000002, 0x000000007fffffff,
1091  0xffffffff80000002, 0x3333333333333333,
1092  0xffffffff80000002, 0x5555555555555555,
1093  0xffffffff80000002, 0x7ffffffffffffffd,
1094  0xffffffff80000002, 0x7ffffffffffffffe,
1095  0xffffffff80000002, 0x7fffffffffffffff,
1096  0xffffffff80000002, 0x8000000000000000,
1097  0xffffffff80000002, 0x8000000000000001,
1098  0xffffffff80000002, 0x8000000000000002,
1099  0xffffffff80000002, 0x8000000000000003,
1100  0xffffffff80000002, 0xaaaaaaaaaaaaaaaa,
1101  0xffffffff80000002, 0xcccccccccccccccc,
1102  0xffffffff80000002, 0xffffffff80000000,
1103  0xffffffff80000002, 0xffffffff80000001,
1104  0xffffffff80000002, 0xffffffff80000002,
1105  0xffffffff80000002, 0xffffffff80000003,
1106  0xffffffff80000002, 0xffffffffffff8000,
1107  0xffffffff80000002, 0xffffffffffff8001,
1108  0xffffffff80000002, 0xffffffffffff8002,
1109  0xffffffff80000002, 0xffffffffffff8003,
1110  0xffffffff80000002, 0xffffffffffffff80,
1111  0xffffffff80000002, 0xffffffffffffff81,
1112  0xffffffff80000002, 0xffffffffffffff82,
1113  0xffffffff80000002, 0xffffffffffffff83,
1114  0xffffffff80000002, 0xffffffffffffffc0,
1115  0xffffffff80000002, 0xfffffffffffffffd,
1116  0xffffffff80000002, 0xfffffffffffffffe,
1117  0xffffffff80000002, 0xffffffffffffffff,
1118  0xffffffff80000003, 0x0000000000000000,
1119  0xffffffff80000003, 0x0000000000000001,
1120  0xffffffff80000003, 0x0000000000000002,
1121  0xffffffff80000003, 0x0000000000000040,
1122  0xffffffff80000003, 0x000000000000007d,
1123  0xffffffff80000003, 0x000000000000007e,
1124  0xffffffff80000003, 0x000000000000007f,
1125  0xffffffff80000003, 0x0000000000007ffd,
1126  0xffffffff80000003, 0x0000000000007ffe,
1127  0xffffffff80000003, 0x0000000000007fff,
1128  0xffffffff80000003, 0x000000007ffffffd,
1129  0xffffffff80000003, 0x000000007ffffffe,
1130  0xffffffff80000003, 0x000000007fffffff,
1131  0xffffffff80000003, 0x3333333333333333,
1132  0xffffffff80000003, 0x5555555555555555,
1133  0xffffffff80000003, 0x7ffffffffffffffd,
1134  0xffffffff80000003, 0x7ffffffffffffffe,
1135  0xffffffff80000003, 0x7fffffffffffffff,
1136  0xffffffff80000003, 0x8000000000000000,
1137  0xffffffff80000003, 0x8000000000000001,
1138  0xffffffff80000003, 0x8000000000000002,
1139  0xffffffff80000003, 0x8000000000000003,
1140  0xffffffff80000003, 0xaaaaaaaaaaaaaaaa,
1141  0xffffffff80000003, 0xcccccccccccccccc,
1142  0xffffffff80000003, 0xffffffff80000000,
1143  0xffffffff80000003, 0xffffffff80000001,
1144  0xffffffff80000003, 0xffffffff80000002,
1145  0xffffffff80000003, 0xffffffff80000003,
1146  0xffffffff80000003, 0xffffffffffff8000,
1147  0xffffffff80000003, 0xffffffffffff8001,
1148  0xffffffff80000003, 0xffffffffffff8002,
1149  0xffffffff80000003, 0xffffffffffff8003,
1150  0xffffffff80000003, 0xffffffffffffff80,
1151  0xffffffff80000003, 0xffffffffffffff81,
1152  0xffffffff80000003, 0xffffffffffffff82,
1153  0xffffffff80000003, 0xffffffffffffff83,
1154  0xffffffff80000003, 0xffffffffffffffc0,
1155  0xffffffff80000003, 0xfffffffffffffffd,
1156  0xffffffff80000003, 0xfffffffffffffffe,
1157  0xffffffff80000003, 0xffffffffffffffff,
1158  0xffffffffffff8000, 0x0000000000000000,
1159  0xffffffffffff8000, 0x0000000000000001,
1160  0xffffffffffff8000, 0x0000000000000002,
1161  0xffffffffffff8000, 0x0000000000000040,
1162  0xffffffffffff8000, 0x000000000000007d,
1163  0xffffffffffff8000, 0x000000000000007e,
1164  0xffffffffffff8000, 0x000000000000007f,
1165  0xffffffffffff8000, 0x0000000000007ffd,
1166  0xffffffffffff8000, 0x0000000000007ffe,
1167  0xffffffffffff8000, 0x0000000000007fff,
1168  0xffffffffffff8000, 0x000000007ffffffd,
1169  0xffffffffffff8000, 0x000000007ffffffe,
1170  0xffffffffffff8000, 0x000000007fffffff,
1171  0xffffffffffff8000, 0x3333333333333333,
1172  0xffffffffffff8000, 0x5555555555555555,
1173  0xffffffffffff8000, 0x7ffffffffffffffd,
1174  0xffffffffffff8000, 0x7ffffffffffffffe,
1175  0xffffffffffff8000, 0x7fffffffffffffff,
1176  0xffffffffffff8000, 0x8000000000000000,
1177  0xffffffffffff8000, 0x8000000000000001,
1178  0xffffffffffff8000, 0x8000000000000002,
1179  0xffffffffffff8000, 0x8000000000000003,
1180  0xffffffffffff8000, 0xaaaaaaaaaaaaaaaa,
1181  0xffffffffffff8000, 0xcccccccccccccccc,
1182  0xffffffffffff8000, 0xffffffff80000000,
1183  0xffffffffffff8000, 0xffffffff80000001,
1184  0xffffffffffff8000, 0xffffffff80000002,
1185  0xffffffffffff8000, 0xffffffff80000003,
1186  0xffffffffffff8000, 0xffffffffffff8000,
1187  0xffffffffffff8000, 0xffffffffffff8001,
1188  0xffffffffffff8000, 0xffffffffffff8002,
1189  0xffffffffffff8000, 0xffffffffffff8003,
1190  0xffffffffffff8000, 0xffffffffffffff80,
1191  0xffffffffffff8000, 0xffffffffffffff81,
1192  0xffffffffffff8000, 0xffffffffffffff82,
1193  0xffffffffffff8000, 0xffffffffffffff83,
1194  0xffffffffffff8000, 0xffffffffffffffc0,
1195  0xffffffffffff8000, 0xfffffffffffffffd,
1196  0xffffffffffff8000, 0xfffffffffffffffe,
1197  0xffffffffffff8000, 0xffffffffffffffff,
1198  0xffffffffffff8001, 0x0000000000000000,
1199  0xffffffffffff8001, 0x0000000000000001,
1200  0xffffffffffff8001, 0x0000000000000002,
1201  0xffffffffffff8001, 0x0000000000000040,
1202  0xffffffffffff8001, 0x000000000000007d,
1203  0xffffffffffff8001, 0x000000000000007e,
1204  0xffffffffffff8001, 0x000000000000007f,
1205  0xffffffffffff8001, 0x0000000000007ffd,
1206  0xffffffffffff8001, 0x0000000000007ffe,
1207  0xffffffffffff8001, 0x0000000000007fff,
1208  0xffffffffffff8001, 0x000000007ffffffd,
1209  0xffffffffffff8001, 0x000000007ffffffe,
1210  0xffffffffffff8001, 0x000000007fffffff,
1211  0xffffffffffff8001, 0x3333333333333333,
1212  0xffffffffffff8001, 0x5555555555555555,
1213  0xffffffffffff8001, 0x7ffffffffffffffd,
1214  0xffffffffffff8001, 0x7ffffffffffffffe,
1215  0xffffffffffff8001, 0x7fffffffffffffff,
1216  0xffffffffffff8001, 0x8000000000000000,
1217  0xffffffffffff8001, 0x8000000000000001,
1218  0xffffffffffff8001, 0x8000000000000002,
1219  0xffffffffffff8001, 0x8000000000000003,
1220  0xffffffffffff8001, 0xaaaaaaaaaaaaaaaa,
1221  0xffffffffffff8001, 0xcccccccccccccccc,
1222  0xffffffffffff8001, 0xffffffff80000000,
1223  0xffffffffffff8001, 0xffffffff80000001,
1224  0xffffffffffff8001, 0xffffffff80000002,
1225  0xffffffffffff8001, 0xffffffff80000003,
1226  0xffffffffffff8001, 0xffffffffffff8000,
1227  0xffffffffffff8001, 0xffffffffffff8001,
1228  0xffffffffffff8001, 0xffffffffffff8002,
1229  0xffffffffffff8001, 0xffffffffffff8003,
1230  0xffffffffffff8001, 0xffffffffffffff80,
1231  0xffffffffffff8001, 0xffffffffffffff81,
1232  0xffffffffffff8001, 0xffffffffffffff82,
1233  0xffffffffffff8001, 0xffffffffffffff83,
1234  0xffffffffffff8001, 0xffffffffffffffc0,
1235  0xffffffffffff8001, 0xfffffffffffffffd,
1236  0xffffffffffff8001, 0xfffffffffffffffe,
1237  0xffffffffffff8001, 0xffffffffffffffff,
1238  0xffffffffffff8002, 0x0000000000000000,
1239  0xffffffffffff8002, 0x0000000000000001,
1240  0xffffffffffff8002, 0x0000000000000002,
1241  0xffffffffffff8002, 0x0000000000000040,
1242  0xffffffffffff8002, 0x000000000000007d,
1243  0xffffffffffff8002, 0x000000000000007e,
1244  0xffffffffffff8002, 0x000000000000007f,
1245  0xffffffffffff8002, 0x0000000000007ffd,
1246  0xffffffffffff8002, 0x0000000000007ffe,
1247  0xffffffffffff8002, 0x0000000000007fff,
1248  0xffffffffffff8002, 0x000000007ffffffd,
1249  0xffffffffffff8002, 0x000000007ffffffe,
1250  0xffffffffffff8002, 0x000000007fffffff,
1251  0xffffffffffff8002, 0x3333333333333333,
1252  0xffffffffffff8002, 0x5555555555555555,
1253  0xffffffffffff8002, 0x7ffffffffffffffd,
1254  0xffffffffffff8002, 0x7ffffffffffffffe,
1255  0xffffffffffff8002, 0x7fffffffffffffff,
1256  0xffffffffffff8002, 0x8000000000000000,
1257  0xffffffffffff8002, 0x8000000000000001,
1258  0xffffffffffff8002, 0x8000000000000002,
1259  0xffffffffffff8002, 0x8000000000000003,
1260  0xffffffffffff8002, 0xaaaaaaaaaaaaaaaa,
1261  0xffffffffffff8002, 0xcccccccccccccccc,
1262  0xffffffffffff8002, 0xffffffff80000000,
1263  0xffffffffffff8002, 0xffffffff80000001,
1264  0xffffffffffff8002, 0xffffffff80000002,
1265  0xffffffffffff8002, 0xffffffff80000003,
1266  0xffffffffffff8002, 0xffffffffffff8000,
1267  0xffffffffffff8002, 0xffffffffffff8001,
1268  0xffffffffffff8002, 0xffffffffffff8002,
1269  0xffffffffffff8002, 0xffffffffffff8003,
1270  0xffffffffffff8002, 0xffffffffffffff80,
1271  0xffffffffffff8002, 0xffffffffffffff81,
1272  0xffffffffffff8002, 0xffffffffffffff82,
1273  0xffffffffffff8002, 0xffffffffffffff83,
1274  0xffffffffffff8002, 0xffffffffffffffc0,
1275  0xffffffffffff8002, 0xfffffffffffffffd,
1276  0xffffffffffff8002, 0xfffffffffffffffe,
1277  0xffffffffffff8002, 0xffffffffffffffff,
1278  0xffffffffffff8003, 0x0000000000000000,
1279  0xffffffffffff8003, 0x0000000000000001,
1280  0xffffffffffff8003, 0x0000000000000002,
1281  0xffffffffffff8003, 0x0000000000000040,
1282  0xffffffffffff8003, 0x000000000000007d,
1283  0xffffffffffff8003, 0x000000000000007e,
1284  0xffffffffffff8003, 0x000000000000007f,
1285  0xffffffffffff8003, 0x0000000000007ffd,
1286  0xffffffffffff8003, 0x0000000000007ffe,
1287  0xffffffffffff8003, 0x0000000000007fff,
1288  0xffffffffffff8003, 0x000000007ffffffd,
1289  0xffffffffffff8003, 0x000000007ffffffe,
1290  0xffffffffffff8003, 0x000000007fffffff,
1291  0xffffffffffff8003, 0x3333333333333333,
1292  0xffffffffffff8003, 0x5555555555555555,
1293  0xffffffffffff8003, 0x7ffffffffffffffd,
1294  0xffffffffffff8003, 0x7ffffffffffffffe,
1295  0xffffffffffff8003, 0x7fffffffffffffff,
1296  0xffffffffffff8003, 0x8000000000000000,
1297  0xffffffffffff8003, 0x8000000000000001,
1298  0xffffffffffff8003, 0x8000000000000002,
1299  0xffffffffffff8003, 0x8000000000000003,
1300  0xffffffffffff8003, 0xaaaaaaaaaaaaaaaa,
1301  0xffffffffffff8003, 0xcccccccccccccccc,
1302  0xffffffffffff8003, 0xffffffff80000000,
1303  0xffffffffffff8003, 0xffffffff80000001,
1304  0xffffffffffff8003, 0xffffffff80000002,
1305  0xffffffffffff8003, 0xffffffff80000003,
1306  0xffffffffffff8003, 0xffffffffffff8000,
1307  0xffffffffffff8003, 0xffffffffffff8001,
1308  0xffffffffffff8003, 0xffffffffffff8002,
1309  0xffffffffffff8003, 0xffffffffffff8003,
1310  0xffffffffffff8003, 0xffffffffffffff80,
1311  0xffffffffffff8003, 0xffffffffffffff81,
1312  0xffffffffffff8003, 0xffffffffffffff82,
1313  0xffffffffffff8003, 0xffffffffffffff83,
1314  0xffffffffffff8003, 0xffffffffffffffc0,
1315  0xffffffffffff8003, 0xfffffffffffffffd,
1316  0xffffffffffff8003, 0xfffffffffffffffe,
1317  0xffffffffffff8003, 0xffffffffffffffff,
1318  0xffffffffffffff80, 0x0000000000000000,
1319  0xffffffffffffff80, 0x0000000000000001,
1320  0xffffffffffffff80, 0x0000000000000002,
1321  0xffffffffffffff80, 0x0000000000000040,
1322  0xffffffffffffff80, 0x000000000000007d,
1323  0xffffffffffffff80, 0x000000000000007e,
1324  0xffffffffffffff80, 0x000000000000007f,
1325  0xffffffffffffff80, 0x0000000000007ffd,
1326  0xffffffffffffff80, 0x0000000000007ffe,
1327  0xffffffffffffff80, 0x0000000000007fff,
1328  0xffffffffffffff80, 0x000000007ffffffd,
1329  0xffffffffffffff80, 0x000000007ffffffe,
1330  0xffffffffffffff80, 0x000000007fffffff,
1331  0xffffffffffffff80, 0x3333333333333333,
1332  0xffffffffffffff80, 0x5555555555555555,
1333  0xffffffffffffff80, 0x7ffffffffffffffd,
1334  0xffffffffffffff80, 0x7ffffffffffffffe,
1335  0xffffffffffffff80, 0x7fffffffffffffff,
1336  0xffffffffffffff80, 0x8000000000000000,
1337  0xffffffffffffff80, 0x8000000000000001,
1338  0xffffffffffffff80, 0x8000000000000002,
1339  0xffffffffffffff80, 0x8000000000000003,
1340  0xffffffffffffff80, 0xaaaaaaaaaaaaaaaa,
1341  0xffffffffffffff80, 0xcccccccccccccccc,
1342  0xffffffffffffff80, 0xffffffff80000000,
1343  0xffffffffffffff80, 0xffffffff80000001,
1344  0xffffffffffffff80, 0xffffffff80000002,
1345  0xffffffffffffff80, 0xffffffff80000003,
1346  0xffffffffffffff80, 0xffffffffffff8000,
1347  0xffffffffffffff80, 0xffffffffffff8001,
1348  0xffffffffffffff80, 0xffffffffffff8002,
1349  0xffffffffffffff80, 0xffffffffffff8003,
1350  0xffffffffffffff80, 0xffffffffffffff80,
1351  0xffffffffffffff80, 0xffffffffffffff81,
1352  0xffffffffffffff80, 0xffffffffffffff82,
1353  0xffffffffffffff80, 0xffffffffffffff83,
1354  0xffffffffffffff80, 0xffffffffffffffc0,
1355  0xffffffffffffff80, 0xfffffffffffffffd,
1356  0xffffffffffffff80, 0xfffffffffffffffe,
1357  0xffffffffffffff80, 0xffffffffffffffff,
1358  0xffffffffffffff81, 0x0000000000000000,
1359  0xffffffffffffff81, 0x0000000000000001,
1360  0xffffffffffffff81, 0x0000000000000002,
1361  0xffffffffffffff81, 0x0000000000000040,
1362  0xffffffffffffff81, 0x000000000000007d,
1363  0xffffffffffffff81, 0x000000000000007e,
1364  0xffffffffffffff81, 0x000000000000007f,
1365  0xffffffffffffff81, 0x0000000000007ffd,
1366  0xffffffffffffff81, 0x0000000000007ffe,
1367  0xffffffffffffff81, 0x0000000000007fff,
1368  0xffffffffffffff81, 0x000000007ffffffd,
1369  0xffffffffffffff81, 0x000000007ffffffe,
1370  0xffffffffffffff81, 0x000000007fffffff,
1371  0xffffffffffffff81, 0x3333333333333333,
1372  0xffffffffffffff81, 0x5555555555555555,
1373  0xffffffffffffff81, 0x7ffffffffffffffd,
1374  0xffffffffffffff81, 0x7ffffffffffffffe,
1375  0xffffffffffffff81, 0x7fffffffffffffff,
1376  0xffffffffffffff81, 0x8000000000000000,
1377  0xffffffffffffff81, 0x8000000000000001,
1378  0xffffffffffffff81, 0x8000000000000002,
1379  0xffffffffffffff81, 0x8000000000000003,
1380  0xffffffffffffff81, 0xaaaaaaaaaaaaaaaa,
1381  0xffffffffffffff81, 0xcccccccccccccccc,
1382  0xffffffffffffff81, 0xffffffff80000000,
1383  0xffffffffffffff81, 0xffffffff80000001,
1384  0xffffffffffffff81, 0xffffffff80000002,
1385  0xffffffffffffff81, 0xffffffff80000003,
1386  0xffffffffffffff81, 0xffffffffffff8000,
1387  0xffffffffffffff81, 0xffffffffffff8001,
1388  0xffffffffffffff81, 0xffffffffffff8002,
1389  0xffffffffffffff81, 0xffffffffffff8003,
1390  0xffffffffffffff81, 0xffffffffffffff80,
1391  0xffffffffffffff81, 0xffffffffffffff81,
1392  0xffffffffffffff81, 0xffffffffffffff82,
1393  0xffffffffffffff81, 0xffffffffffffff83,
1394  0xffffffffffffff81, 0xffffffffffffffc0,
1395  0xffffffffffffff81, 0xfffffffffffffffd,
1396  0xffffffffffffff81, 0xfffffffffffffffe,
1397  0xffffffffffffff81, 0xffffffffffffffff,
1398  0xffffffffffffff82, 0x0000000000000000,
1399  0xffffffffffffff82, 0x0000000000000001,
1400  0xffffffffffffff82, 0x0000000000000002,
1401  0xffffffffffffff82, 0x0000000000000040,
1402  0xffffffffffffff82, 0x000000000000007d,
1403  0xffffffffffffff82, 0x000000000000007e,
1404  0xffffffffffffff82, 0x000000000000007f,
1405  0xffffffffffffff82, 0x0000000000007ffd,
1406  0xffffffffffffff82, 0x0000000000007ffe,
1407  0xffffffffffffff82, 0x0000000000007fff,
1408  0xffffffffffffff82, 0x000000007ffffffd,
1409  0xffffffffffffff82, 0x000000007ffffffe,
1410  0xffffffffffffff82, 0x000000007fffffff,
1411  0xffffffffffffff82, 0x3333333333333333,
1412  0xffffffffffffff82, 0x5555555555555555,
1413  0xffffffffffffff82, 0x7ffffffffffffffd,
1414  0xffffffffffffff82, 0x7ffffffffffffffe,
1415  0xffffffffffffff82, 0x7fffffffffffffff,
1416  0xffffffffffffff82, 0x8000000000000000,
1417  0xffffffffffffff82, 0x8000000000000001,
1418  0xffffffffffffff82, 0x8000000000000002,
1419  0xffffffffffffff82, 0x8000000000000003,
1420  0xffffffffffffff82, 0xaaaaaaaaaaaaaaaa,
1421  0xffffffffffffff82, 0xcccccccccccccccc,
1422  0xffffffffffffff82, 0xffffffff80000000,
1423  0xffffffffffffff82, 0xffffffff80000001,
1424  0xffffffffffffff82, 0xffffffff80000002,
1425  0xffffffffffffff82, 0xffffffff80000003,
1426  0xffffffffffffff82, 0xffffffffffff8000,
1427  0xffffffffffffff82, 0xffffffffffff8001,
1428  0xffffffffffffff82, 0xffffffffffff8002,
1429  0xffffffffffffff82, 0xffffffffffff8003,
1430  0xffffffffffffff82, 0xffffffffffffff80,
1431  0xffffffffffffff82, 0xffffffffffffff81,
1432  0xffffffffffffff82, 0xffffffffffffff82,
1433  0xffffffffffffff82, 0xffffffffffffff83,
1434  0xffffffffffffff82, 0xffffffffffffffc0,
1435  0xffffffffffffff82, 0xfffffffffffffffd,
1436  0xffffffffffffff82, 0xfffffffffffffffe,
1437  0xffffffffffffff82, 0xffffffffffffffff,
1438  0xffffffffffffff83, 0x0000000000000000,
1439  0xffffffffffffff83, 0x0000000000000001,
1440  0xffffffffffffff83, 0x0000000000000002,
1441  0xffffffffffffff83, 0x0000000000000040,
1442  0xffffffffffffff83, 0x000000000000007d,
1443  0xffffffffffffff83, 0x000000000000007e,
1444  0xffffffffffffff83, 0x000000000000007f,
1445  0xffffffffffffff83, 0x0000000000007ffd,
1446  0xffffffffffffff83, 0x0000000000007ffe,
1447  0xffffffffffffff83, 0x0000000000007fff,
1448  0xffffffffffffff83, 0x000000007ffffffd,
1449  0xffffffffffffff83, 0x000000007ffffffe,
1450  0xffffffffffffff83, 0x000000007fffffff,
1451  0xffffffffffffff83, 0x3333333333333333,
1452  0xffffffffffffff83, 0x5555555555555555,
1453  0xffffffffffffff83, 0x7ffffffffffffffd,
1454  0xffffffffffffff83, 0x7ffffffffffffffe,
1455  0xffffffffffffff83, 0x7fffffffffffffff,
1456  0xffffffffffffff83, 0x8000000000000000,
1457  0xffffffffffffff83, 0x8000000000000001,
1458  0xffffffffffffff83, 0x8000000000000002,
1459  0xffffffffffffff83, 0x8000000000000003,
1460  0xffffffffffffff83, 0xaaaaaaaaaaaaaaaa,
1461  0xffffffffffffff83, 0xcccccccccccccccc,
1462  0xffffffffffffff83, 0xffffffff80000000,
1463  0xffffffffffffff83, 0xffffffff80000001,
1464  0xffffffffffffff83, 0xffffffff80000002,
1465  0xffffffffffffff83, 0xffffffff80000003,
1466  0xffffffffffffff83, 0xffffffffffff8000,
1467  0xffffffffffffff83, 0xffffffffffff8001,
1468  0xffffffffffffff83, 0xffffffffffff8002,
1469  0xffffffffffffff83, 0xffffffffffff8003,
1470  0xffffffffffffff83, 0xffffffffffffff80,
1471  0xffffffffffffff83, 0xffffffffffffff81,
1472  0xffffffffffffff83, 0xffffffffffffff82,
1473  0xffffffffffffff83, 0xffffffffffffff83,
1474  0xffffffffffffff83, 0xffffffffffffffc0,
1475  0xffffffffffffff83, 0xfffffffffffffffd,
1476  0xffffffffffffff83, 0xfffffffffffffffe,
1477  0xffffffffffffff83, 0xffffffffffffffff,
1478  0xffffffffffffffc0, 0x0000000000000000,
1479  0xffffffffffffffc0, 0x0000000000000001,
1480  0xffffffffffffffc0, 0x0000000000000002,
1481  0xffffffffffffffc0, 0x0000000000000040,
1482  0xffffffffffffffc0, 0x000000000000007d,
1483  0xffffffffffffffc0, 0x000000000000007e,
1484  0xffffffffffffffc0, 0x000000000000007f,
1485  0xffffffffffffffc0, 0x0000000000007ffd,
1486  0xffffffffffffffc0, 0x0000000000007ffe,
1487  0xffffffffffffffc0, 0x0000000000007fff,
1488  0xffffffffffffffc0, 0x000000007ffffffd,
1489  0xffffffffffffffc0, 0x000000007ffffffe,
1490  0xffffffffffffffc0, 0x000000007fffffff,
1491  0xffffffffffffffc0, 0x3333333333333333,
1492  0xffffffffffffffc0, 0x5555555555555555,
1493  0xffffffffffffffc0, 0x7ffffffffffffffd,
1494  0xffffffffffffffc0, 0x7ffffffffffffffe,
1495  0xffffffffffffffc0, 0x7fffffffffffffff,
1496  0xffffffffffffffc0, 0x8000000000000000,
1497  0xffffffffffffffc0, 0x8000000000000001,
1498  0xffffffffffffffc0, 0x8000000000000002,
1499  0xffffffffffffffc0, 0x8000000000000003,
1500  0xffffffffffffffc0, 0xaaaaaaaaaaaaaaaa,
1501  0xffffffffffffffc0, 0xcccccccccccccccc,
1502  0xffffffffffffffc0, 0xffffffff80000000,
1503  0xffffffffffffffc0, 0xffffffff80000001,
1504  0xffffffffffffffc0, 0xffffffff80000002,
1505  0xffffffffffffffc0, 0xffffffff80000003,
1506  0xffffffffffffffc0, 0xffffffffffff8000,
1507  0xffffffffffffffc0, 0xffffffffffff8001,
1508  0xffffffffffffffc0, 0xffffffffffff8002,
1509  0xffffffffffffffc0, 0xffffffffffff8003,
1510  0xffffffffffffffc0, 0xffffffffffffff80,
1511  0xffffffffffffffc0, 0xffffffffffffff81,
1512  0xffffffffffffffc0, 0xffffffffffffff82,
1513  0xffffffffffffffc0, 0xffffffffffffff83,
1514  0xffffffffffffffc0, 0xffffffffffffffc0,
1515  0xffffffffffffffc0, 0xfffffffffffffffd,
1516  0xffffffffffffffc0, 0xfffffffffffffffe,
1517  0xffffffffffffffc0, 0xffffffffffffffff,
1518  0xfffffffffffffffd, 0x0000000000000000,
1519  0xfffffffffffffffd, 0x0000000000000001,
1520  0xfffffffffffffffd, 0x0000000000000002,
1521  0xfffffffffffffffd, 0x0000000000000040,
1522  0xfffffffffffffffd, 0x000000000000007d,
1523  0xfffffffffffffffd, 0x000000000000007e,
1524  0xfffffffffffffffd, 0x000000000000007f,
1525  0xfffffffffffffffd, 0x0000000000007ffd,
1526  0xfffffffffffffffd, 0x0000000000007ffe,
1527  0xfffffffffffffffd, 0x0000000000007fff,
1528  0xfffffffffffffffd, 0x000000007ffffffd,
1529  0xfffffffffffffffd, 0x000000007ffffffe,
1530  0xfffffffffffffffd, 0x000000007fffffff,
1531  0xfffffffffffffffd, 0x3333333333333333,
1532  0xfffffffffffffffd, 0x5555555555555555,
1533  0xfffffffffffffffd, 0x7ffffffffffffffd,
1534  0xfffffffffffffffd, 0x7ffffffffffffffe,
1535  0xfffffffffffffffd, 0x7fffffffffffffff,
1536  0xfffffffffffffffd, 0x8000000000000000,
1537  0xfffffffffffffffd, 0x8000000000000001,
1538  0xfffffffffffffffd, 0x8000000000000002,
1539  0xfffffffffffffffd, 0x8000000000000003,
1540  0xfffffffffffffffd, 0xaaaaaaaaaaaaaaaa,
1541  0xfffffffffffffffd, 0xcccccccccccccccc,
1542  0xfffffffffffffffd, 0xffffffff80000000,
1543  0xfffffffffffffffd, 0xffffffff80000001,
1544  0xfffffffffffffffd, 0xffffffff80000002,
1545  0xfffffffffffffffd, 0xffffffff80000003,
1546  0xfffffffffffffffd, 0xffffffffffff8000,
1547  0xfffffffffffffffd, 0xffffffffffff8001,
1548  0xfffffffffffffffd, 0xffffffffffff8002,
1549  0xfffffffffffffffd, 0xffffffffffff8003,
1550  0xfffffffffffffffd, 0xffffffffffffff80,
1551  0xfffffffffffffffd, 0xffffffffffffff81,
1552  0xfffffffffffffffd, 0xffffffffffffff82,
1553  0xfffffffffffffffd, 0xffffffffffffff83,
1554  0xfffffffffffffffd, 0xffffffffffffffc0,
1555  0xfffffffffffffffd, 0xfffffffffffffffd,
1556  0xfffffffffffffffd, 0xfffffffffffffffe,
1557  0xfffffffffffffffd, 0xffffffffffffffff,
1558  0xfffffffffffffffe, 0x0000000000000000,
1559  0xfffffffffffffffe, 0x0000000000000001,
1560  0xfffffffffffffffe, 0x0000000000000002,
1561  0xfffffffffffffffe, 0x0000000000000040,
1562  0xfffffffffffffffe, 0x000000000000007d,
1563  0xfffffffffffffffe, 0x000000000000007e,
1564  0xfffffffffffffffe, 0x000000000000007f,
1565  0xfffffffffffffffe, 0x0000000000007ffd,
1566  0xfffffffffffffffe, 0x0000000000007ffe,
1567  0xfffffffffffffffe, 0x0000000000007fff,
1568  0xfffffffffffffffe, 0x000000007ffffffd,
1569  0xfffffffffffffffe, 0x000000007ffffffe,
1570  0xfffffffffffffffe, 0x000000007fffffff,
1571  0xfffffffffffffffe, 0x3333333333333333,
1572  0xfffffffffffffffe, 0x5555555555555555,
1573  0xfffffffffffffffe, 0x7ffffffffffffffd,
1574  0xfffffffffffffffe, 0x7ffffffffffffffe,
1575  0xfffffffffffffffe, 0x7fffffffffffffff,
1576  0xfffffffffffffffe, 0x8000000000000000,
1577  0xfffffffffffffffe, 0x8000000000000001,
1578  0xfffffffffffffffe, 0x8000000000000002,
1579  0xfffffffffffffffe, 0x8000000000000003,
1580  0xfffffffffffffffe, 0xaaaaaaaaaaaaaaaa,
1581  0xfffffffffffffffe, 0xcccccccccccccccc,
1582  0xfffffffffffffffe, 0xffffffff80000000,
1583  0xfffffffffffffffe, 0xffffffff80000001,
1584  0xfffffffffffffffe, 0xffffffff80000002,
1585  0xfffffffffffffffe, 0xffffffff80000003,
1586  0xfffffffffffffffe, 0xffffffffffff8000,
1587  0xfffffffffffffffe, 0xffffffffffff8001,
1588  0xfffffffffffffffe, 0xffffffffffff8002,
1589  0xfffffffffffffffe, 0xffffffffffff8003,
1590  0xfffffffffffffffe, 0xffffffffffffff80,
1591  0xfffffffffffffffe, 0xffffffffffffff81,
1592  0xfffffffffffffffe, 0xffffffffffffff82,
1593  0xfffffffffffffffe, 0xffffffffffffff83,
1594  0xfffffffffffffffe, 0xffffffffffffffc0,
1595  0xfffffffffffffffe, 0xfffffffffffffffd,
1596  0xfffffffffffffffe, 0xfffffffffffffffe,
1597  0xfffffffffffffffe, 0xffffffffffffffff,
1598  0xffffffffffffffff, 0x0000000000000000,
1599  0xffffffffffffffff, 0x0000000000000001,
1600  0xffffffffffffffff, 0x0000000000000002,
1601  0xffffffffffffffff, 0x0000000000000040,
1602  0xffffffffffffffff, 0x000000000000007d,
1603  0xffffffffffffffff, 0x000000000000007e,
1604  0xffffffffffffffff, 0x000000000000007f,
1605  0xffffffffffffffff, 0x0000000000007ffd,
1606  0xffffffffffffffff, 0x0000000000007ffe,
1607  0xffffffffffffffff, 0x0000000000007fff,
1608  0xffffffffffffffff, 0x000000007ffffffd,
1609  0xffffffffffffffff, 0x000000007ffffffe,
1610  0xffffffffffffffff, 0x000000007fffffff,
1611  0xffffffffffffffff, 0x3333333333333333,
1612  0xffffffffffffffff, 0x5555555555555555,
1613  0xffffffffffffffff, 0x7ffffffffffffffd,
1614  0xffffffffffffffff, 0x7ffffffffffffffe,
1615  0xffffffffffffffff, 0x7fffffffffffffff,
1616  0xffffffffffffffff, 0x8000000000000000,
1617  0xffffffffffffffff, 0x8000000000000001,
1618  0xffffffffffffffff, 0x8000000000000002,
1619  0xffffffffffffffff, 0x8000000000000003,
1620  0xffffffffffffffff, 0xaaaaaaaaaaaaaaaa,
1621  0xffffffffffffffff, 0xcccccccccccccccc,
1622  0xffffffffffffffff, 0xffffffff80000000,
1623  0xffffffffffffffff, 0xffffffff80000001,
1624  0xffffffffffffffff, 0xffffffff80000002,
1625  0xffffffffffffffff, 0xffffffff80000003,
1626  0xffffffffffffffff, 0xffffffffffff8000,
1627  0xffffffffffffffff, 0xffffffffffff8001,
1628  0xffffffffffffffff, 0xffffffffffff8002,
1629  0xffffffffffffffff, 0xffffffffffff8003,
1630  0xffffffffffffffff, 0xffffffffffffff80,
1631  0xffffffffffffffff, 0xffffffffffffff81,
1632  0xffffffffffffffff, 0xffffffffffffff82,
1633  0xffffffffffffffff, 0xffffffffffffff83,
1634  0xffffffffffffffff, 0xffffffffffffffc0,
1635  0xffffffffffffffff, 0xfffffffffffffffd,
1636  0xffffffffffffffff, 0xfffffffffffffffe,
1637  0xffffffffffffffff, 0xffffffffffffffff,
1638};
1639const unsigned kExpectedCount_NEON_trn2_2D = 1600;
1640
1641#endif  // VIXL_SIM_TRN2_2D_TRACE_AARCH64_H_
1642