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