• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  // 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  
37  const 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  };
1639  const unsigned kExpectedCount_NEON_uzp1_2D = 1600;
1640  
1641  #endif  // VIXL_SIM_UZP1_2D_TRACE_A64_H_
1642