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