• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2015, VIXL authors
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are met:
6 //
7 //   * Redistributions of source code must retain the above copyright notice,
8 //     this list of conditions and the following disclaimer.
9 //   * Redistributions in binary form must reproduce the above copyright notice,
10 //     this list of conditions and the following disclaimer in the documentation
11 //     and/or other materials provided with the distribution.
12 //   * Neither the name of ARM Limited nor the names of its contributors may be
13 //     used to endorse or promote products derived from this software without
14 //     specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 
27 
28 // ---------------------------------------------------------------------
29 // This file is auto generated using tools/generate_simulator_traces.py.
30 //
31 // PLEASE DO NOT EDIT.
32 // ---------------------------------------------------------------------
33 
34 #ifndef VIXL_SIM_UZP1_2D_TRACE_AARCH64_H_
35 #define VIXL_SIM_UZP1_2D_TRACE_AARCH64_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_AARCH64_H_
1642