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