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