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