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