• 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_USUBW2_2D_TRACE_AARCH64_H_
35 #define VIXL_SIM_USUBW2_2D_TRACE_AARCH64_H_
36 
37 const uint64_t kExpected_NEON_usubw2_2D[] = {
38   0xffffffffff80037d, 0x0000000000000000,
39   0x000000000000007d, 0xffffffffffffffff,
40   0x000000000000007c, 0xfffffffffffffffe,
41   0x000000000000007b, 0xffffffffffffffe0,
42   0x000000000000005d, 0xffffffffffffff83,
43   0x0000000000000000, 0xffffffffffffff82,
44   0xffffffffffffffff, 0xffffffffffffff81,
45   0xfffffffffffffffe, 0xffffffffffff8003,
46   0xffffffffffff8080, 0xffffffffffff8002,
47   0xffffffffffff807f, 0xffffffffffff8001,
48   0xffffffffffff807e, 0xffffffffcccccccd,
49   0xffffffffcccccd4a, 0xffffffffaaaaaaab,
50   0xffffffffaaaaab28, 0xffffffff80000003,
51   0xffffffff80000080, 0xffffffff80000002,
52   0xffffffff8000007f, 0xffffffff80000001,
53   0xffffffff8000007e, 0xffffffff80000000,
54   0xffffffff8000007d, 0xffffffff7fffffff,
55   0xffffffff8000007c, 0xffffffff55555556,
56   0xffffffff555555d3, 0xffffffff33333334,
57   0xffffffff333333b1, 0xffffffff00008000,
58   0xffffffff0000807d, 0xffffffff00007fff,
59   0xffffffff0000807c, 0xffffffff00007ffe,
60   0xffffffff0000807b, 0xffffffff00007ffd,
61   0xffffffff0000807a, 0xffffffff00000080,
62   0xffffffff000000fd, 0xffffffff0000007f,
63   0xffffffff000000fc, 0xffffffff0000007e,
64   0xffffffff000000fb, 0xffffffff0000007d,
65   0xffffffff000000fa, 0xffffffff00000020,
66   0xffffffff0000009d, 0xffffffff00000003,
67   0xffffffff00000080, 0xffffffff00000002,
68   0xffffffff0000007f, 0xffffffff00000001,
69   0xffffffff00000001, 0x0000000000000001,
70   0x0000000000000000, 0x0000000000000000,
71   0xffffffffffffffff, 0xffffffffffffffff,
72   0xfffffffffffffffe, 0xffffffffffffffe1,
73   0xffffffffffffffe0, 0xffffffffffffff84,
74   0xffffffffffffff83, 0xffffffffffffff83,
75   0xffffffffffffff82, 0xffffffffffffff82,
76   0xffffffffffffff81, 0xffffffffffff8004,
77   0xffffffffffff8003, 0xffffffffffff8003,
78   0xffffffffffff8002, 0xffffffffffff8002,
79   0xffffffffffff8001, 0xffffffffccccccce,
80   0xffffffffcccccccd, 0xffffffffaaaaaaac,
81   0xffffffffaaaaaaab, 0xffffffff80000004,
82   0xffffffff80000003, 0xffffffff80000003,
83   0xffffffff80000002, 0xffffffff80000002,
84   0xffffffff80000001, 0xffffffff80000001,
85   0xffffffff80000000, 0xffffffff80000000,
86   0xffffffff7fffffff, 0xffffffff55555557,
87   0xffffffff55555556, 0xffffffff33333335,
88   0xffffffff33333334, 0xffffffff00008001,
89   0xffffffff00008000, 0xffffffff00008000,
90   0xffffffff00007fff, 0xffffffff00007fff,
91   0xffffffff00007ffe, 0xffffffff00007ffe,
92   0xffffffff00007ffd, 0xffffffff00000081,
93   0xffffffff00000080, 0xffffffff00000080,
94   0xffffffff0000007f, 0xffffffff0000007f,
95   0xffffffff0000007e, 0xffffffff0000007e,
96   0xffffffff0000007d, 0xffffffff00000021,
97   0xffffffff00000020, 0xffffffff00000004,
98   0xffffffff00000003, 0xffffffff00000003,
99   0xffffffff00000002, 0xffffffff00000002,
100   0xffffffff00000002, 0x0000000000000002,
101   0x0000000000000001, 0x0000000000000001,
102   0x0000000000000000, 0x0000000000000000,
103   0xffffffffffffffff, 0xffffffffffffffe2,
104   0xffffffffffffffe1, 0xffffffffffffff85,
105   0xffffffffffffff84, 0xffffffffffffff84,
106   0xffffffffffffff83, 0xffffffffffffff83,
107   0xffffffffffffff82, 0xffffffffffff8005,
108   0xffffffffffff8004, 0xffffffffffff8004,
109   0xffffffffffff8003, 0xffffffffffff8003,
110   0xffffffffffff8002, 0xffffffffcccccccf,
111   0xffffffffccccccce, 0xffffffffaaaaaaad,
112   0xffffffffaaaaaaac, 0xffffffff80000005,
113   0xffffffff80000004, 0xffffffff80000004,
114   0xffffffff80000003, 0xffffffff80000003,
115   0xffffffff80000002, 0xffffffff80000002,
116   0xffffffff80000001, 0xffffffff80000001,
117   0xffffffff80000000, 0xffffffff55555558,
118   0xffffffff55555557, 0xffffffff33333336,
119   0xffffffff33333335, 0xffffffff00008002,
120   0xffffffff00008001, 0xffffffff00008001,
121   0xffffffff00008000, 0xffffffff00008000,
122   0xffffffff00007fff, 0xffffffff00007fff,
123   0xffffffff00007ffe, 0xffffffff00000082,
124   0xffffffff00000081, 0xffffffff00000081,
125   0xffffffff00000080, 0xffffffff00000080,
126   0xffffffff0000007f, 0xffffffff0000007f,
127   0xffffffff0000007e, 0xffffffff00000022,
128   0xffffffff00000021, 0xffffffff00000005,
129   0xffffffff00000004, 0xffffffff00000004,
130   0xffffffff00000003, 0xffffffff00000003,
131   0xffffffff00000003, 0x0000000000000040,
132   0x0000000000000002, 0x000000000000003f,
133   0x0000000000000001, 0x000000000000003e,
134   0x0000000000000000, 0x0000000000000020,
135   0xffffffffffffffe2, 0xffffffffffffffc3,
136   0xffffffffffffff85, 0xffffffffffffffc2,
137   0xffffffffffffff84, 0xffffffffffffffc1,
138   0xffffffffffffff83, 0xffffffffffff8043,
139   0xffffffffffff8005, 0xffffffffffff8042,
140   0xffffffffffff8004, 0xffffffffffff8041,
141   0xffffffffffff8003, 0xffffffffcccccd0d,
142   0xffffffffcccccccf, 0xffffffffaaaaaaeb,
143   0xffffffffaaaaaaad, 0xffffffff80000043,
144   0xffffffff80000005, 0xffffffff80000042,
145   0xffffffff80000004, 0xffffffff80000041,
146   0xffffffff80000003, 0xffffffff80000040,
147   0xffffffff80000002, 0xffffffff8000003f,
148   0xffffffff80000001, 0xffffffff55555596,
149   0xffffffff55555558, 0xffffffff33333374,
150   0xffffffff33333336, 0xffffffff00008040,
151   0xffffffff00008002, 0xffffffff0000803f,
152   0xffffffff00008001, 0xffffffff0000803e,
153   0xffffffff00008000, 0xffffffff0000803d,
154   0xffffffff00007fff, 0xffffffff000000c0,
155   0xffffffff00000082, 0xffffffff000000bf,
156   0xffffffff00000081, 0xffffffff000000be,
157   0xffffffff00000080, 0xffffffff000000bd,
158   0xffffffff0000007f, 0xffffffff00000060,
159   0xffffffff00000022, 0xffffffff00000043,
160   0xffffffff00000005, 0xffffffff00000042,
161   0xffffffff00000004, 0xffffffff00000041,
162   0xffffffff00000041, 0x000000000000007d,
163   0x0000000000000040, 0x000000000000007c,
164   0x000000000000003f, 0x000000000000007b,
165   0x000000000000003e, 0x000000000000005d,
166   0x0000000000000020, 0x0000000000000000,
167   0xffffffffffffffc3, 0xffffffffffffffff,
168   0xffffffffffffffc2, 0xfffffffffffffffe,
169   0xffffffffffffffc1, 0xffffffffffff8080,
170   0xffffffffffff8043, 0xffffffffffff807f,
171   0xffffffffffff8042, 0xffffffffffff807e,
172   0xffffffffffff8041, 0xffffffffcccccd4a,
173   0xffffffffcccccd0d, 0xffffffffaaaaab28,
174   0xffffffffaaaaaaeb, 0xffffffff80000080,
175   0xffffffff80000043, 0xffffffff8000007f,
176   0xffffffff80000042, 0xffffffff8000007e,
177   0xffffffff80000041, 0xffffffff8000007d,
178   0xffffffff80000040, 0xffffffff8000007c,
179   0xffffffff8000003f, 0xffffffff555555d3,
180   0xffffffff55555596, 0xffffffff333333b1,
181   0xffffffff33333374, 0xffffffff0000807d,
182   0xffffffff00008040, 0xffffffff0000807c,
183   0xffffffff0000803f, 0xffffffff0000807b,
184   0xffffffff0000803e, 0xffffffff0000807a,
185   0xffffffff0000803d, 0xffffffff000000fd,
186   0xffffffff000000c0, 0xffffffff000000fc,
187   0xffffffff000000bf, 0xffffffff000000fb,
188   0xffffffff000000be, 0xffffffff000000fa,
189   0xffffffff000000bd, 0xffffffff0000009d,
190   0xffffffff00000060, 0xffffffff00000080,
191   0xffffffff00000043, 0xffffffff0000007f,
192   0xffffffff00000042, 0xffffffff0000007e,
193   0xffffffff0000007e, 0x000000000000007e,
194   0x000000000000007d, 0x000000000000007d,
195   0x000000000000007c, 0x000000000000007c,
196   0x000000000000007b, 0x000000000000005e,
197   0x000000000000005d, 0x0000000000000001,
198   0x0000000000000000, 0x0000000000000000,
199   0xffffffffffffffff, 0xffffffffffffffff,
200   0xfffffffffffffffe, 0xffffffffffff8081,
201   0xffffffffffff8080, 0xffffffffffff8080,
202   0xffffffffffff807f, 0xffffffffffff807f,
203   0xffffffffffff807e, 0xffffffffcccccd4b,
204   0xffffffffcccccd4a, 0xffffffffaaaaab29,
205   0xffffffffaaaaab28, 0xffffffff80000081,
206   0xffffffff80000080, 0xffffffff80000080,
207   0xffffffff8000007f, 0xffffffff8000007f,
208   0xffffffff8000007e, 0xffffffff8000007e,
209   0xffffffff8000007d, 0xffffffff8000007d,
210   0xffffffff8000007c, 0xffffffff555555d4,
211   0xffffffff555555d3, 0xffffffff333333b2,
212   0xffffffff333333b1, 0xffffffff0000807e,
213   0xffffffff0000807d, 0xffffffff0000807d,
214   0xffffffff0000807c, 0xffffffff0000807c,
215   0xffffffff0000807b, 0xffffffff0000807b,
216   0xffffffff0000807a, 0xffffffff000000fe,
217   0xffffffff000000fd, 0xffffffff000000fd,
218   0xffffffff000000fc, 0xffffffff000000fc,
219   0xffffffff000000fb, 0xffffffff000000fb,
220   0xffffffff000000fa, 0xffffffff0000009e,
221   0xffffffff0000009d, 0xffffffff00000081,
222   0xffffffff00000080, 0xffffffff00000080,
223   0xffffffff0000007f, 0xffffffff0000007f,
224   0xffffffff0000007f, 0x000000000000007f,
225   0x000000000000007e, 0x000000000000007e,
226   0x000000000000007d, 0x000000000000007d,
227   0x000000000000007c, 0x000000000000005f,
228   0x000000000000005e, 0x0000000000000002,
229   0x0000000000000001, 0x0000000000000001,
230   0x0000000000000000, 0x0000000000000000,
231   0xffffffffffffffff, 0xffffffffffff8082,
232   0xffffffffffff8081, 0xffffffffffff8081,
233   0xffffffffffff8080, 0xffffffffffff8080,
234   0xffffffffffff807f, 0xffffffffcccccd4c,
235   0xffffffffcccccd4b, 0xffffffffaaaaab2a,
236   0xffffffffaaaaab29, 0xffffffff80000082,
237   0xffffffff80000081, 0xffffffff80000081,
238   0xffffffff80000080, 0xffffffff80000080,
239   0xffffffff8000007f, 0xffffffff8000007f,
240   0xffffffff8000007e, 0xffffffff8000007e,
241   0xffffffff8000007d, 0xffffffff555555d5,
242   0xffffffff555555d4, 0xffffffff333333b3,
243   0xffffffff333333b2, 0xffffffff0000807f,
244   0xffffffff0000807e, 0xffffffff0000807e,
245   0xffffffff0000807d, 0xffffffff0000807d,
246   0xffffffff0000807c, 0xffffffff0000807c,
247   0xffffffff0000807b, 0xffffffff000000ff,
248   0xffffffff000000fe, 0xffffffff000000fe,
249   0xffffffff000000fd, 0xffffffff000000fd,
250   0xffffffff000000fc, 0xffffffff000000fc,
251   0xffffffff000000fb, 0xffffffff0000009f,
252   0xffffffff0000009e, 0xffffffff00000082,
253   0xffffffff00000081, 0xffffffff00000081,
254   0xffffffff00000080, 0xffffffff00000080,
255   0xffffffff00000080, 0x0000000000007ffd,
256   0x000000000000007f, 0x0000000000007ffc,
257   0x000000000000007e, 0x0000000000007ffb,
258   0x000000000000007d, 0x0000000000007fdd,
259   0x000000000000005f, 0x0000000000007f80,
260   0x0000000000000002, 0x0000000000007f7f,
261   0x0000000000000001, 0x0000000000007f7e,
262   0x0000000000000000, 0x0000000000000000,
263   0xffffffffffff8082, 0xffffffffffffffff,
264   0xffffffffffff8081, 0xfffffffffffffffe,
265   0xffffffffffff8080, 0xffffffffcccd4cca,
266   0xffffffffcccccd4c, 0xffffffffaaab2aa8,
267   0xffffffffaaaaab2a, 0xffffffff80008000,
268   0xffffffff80000082, 0xffffffff80007fff,
269   0xffffffff80000081, 0xffffffff80007ffe,
270   0xffffffff80000080, 0xffffffff80007ffd,
271   0xffffffff8000007f, 0xffffffff80007ffc,
272   0xffffffff8000007e, 0xffffffff5555d553,
273   0xffffffff555555d5, 0xffffffff3333b331,
274   0xffffffff333333b3, 0xffffffff0000fffd,
275   0xffffffff0000807f, 0xffffffff0000fffc,
276   0xffffffff0000807e, 0xffffffff0000fffb,
277   0xffffffff0000807d, 0xffffffff0000fffa,
278   0xffffffff0000807c, 0xffffffff0000807d,
279   0xffffffff000000ff, 0xffffffff0000807c,
280   0xffffffff000000fe, 0xffffffff0000807b,
281   0xffffffff000000fd, 0xffffffff0000807a,
282   0xffffffff000000fc, 0xffffffff0000801d,
283   0xffffffff0000009f, 0xffffffff00008000,
284   0xffffffff00000082, 0xffffffff00007fff,
285   0xffffffff00000081, 0xffffffff00007ffe,
286   0xffffffff00007ffe, 0x0000000000007ffe,
287   0x0000000000007ffd, 0x0000000000007ffd,
288   0x0000000000007ffc, 0x0000000000007ffc,
289   0x0000000000007ffb, 0x0000000000007fde,
290   0x0000000000007fdd, 0x0000000000007f81,
291   0x0000000000007f80, 0x0000000000007f80,
292   0x0000000000007f7f, 0x0000000000007f7f,
293   0x0000000000007f7e, 0x0000000000000001,
294   0x0000000000000000, 0x0000000000000000,
295   0xffffffffffffffff, 0xffffffffffffffff,
296   0xfffffffffffffffe, 0xffffffffcccd4ccb,
297   0xffffffffcccd4cca, 0xffffffffaaab2aa9,
298   0xffffffffaaab2aa8, 0xffffffff80008001,
299   0xffffffff80008000, 0xffffffff80008000,
300   0xffffffff80007fff, 0xffffffff80007fff,
301   0xffffffff80007ffe, 0xffffffff80007ffe,
302   0xffffffff80007ffd, 0xffffffff80007ffd,
303   0xffffffff80007ffc, 0xffffffff5555d554,
304   0xffffffff5555d553, 0xffffffff3333b332,
305   0xffffffff3333b331, 0xffffffff0000fffe,
306   0xffffffff0000fffd, 0xffffffff0000fffd,
307   0xffffffff0000fffc, 0xffffffff0000fffc,
308   0xffffffff0000fffb, 0xffffffff0000fffb,
309   0xffffffff0000fffa, 0xffffffff0000807e,
310   0xffffffff0000807d, 0xffffffff0000807d,
311   0xffffffff0000807c, 0xffffffff0000807c,
312   0xffffffff0000807b, 0xffffffff0000807b,
313   0xffffffff0000807a, 0xffffffff0000801e,
314   0xffffffff0000801d, 0xffffffff00008001,
315   0xffffffff00008000, 0xffffffff00008000,
316   0xffffffff00007fff, 0xffffffff00007fff,
317   0xffffffff00007fff, 0x0000000000007fff,
318   0x0000000000007ffe, 0x0000000000007ffe,
319   0x0000000000007ffd, 0x0000000000007ffd,
320   0x0000000000007ffc, 0x0000000000007fdf,
321   0x0000000000007fde, 0x0000000000007f82,
322   0x0000000000007f81, 0x0000000000007f81,
323   0x0000000000007f80, 0x0000000000007f80,
324   0x0000000000007f7f, 0x0000000000000002,
325   0x0000000000000001, 0x0000000000000001,
326   0x0000000000000000, 0x0000000000000000,
327   0xffffffffffffffff, 0xffffffffcccd4ccc,
328   0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
329   0xffffffffaaab2aa9, 0xffffffff80008002,
330   0xffffffff80008001, 0xffffffff80008001,
331   0xffffffff80008000, 0xffffffff80008000,
332   0xffffffff80007fff, 0xffffffff80007fff,
333   0xffffffff80007ffe, 0xffffffff80007ffe,
334   0xffffffff80007ffd, 0xffffffff5555d555,
335   0xffffffff5555d554, 0xffffffff3333b333,
336   0xffffffff3333b332, 0xffffffff0000ffff,
337   0xffffffff0000fffe, 0xffffffff0000fffe,
338   0xffffffff0000fffd, 0xffffffff0000fffd,
339   0xffffffff0000fffc, 0xffffffff0000fffc,
340   0xffffffff0000fffb, 0xffffffff0000807f,
341   0xffffffff0000807e, 0xffffffff0000807e,
342   0xffffffff0000807d, 0xffffffff0000807d,
343   0xffffffff0000807c, 0xffffffff0000807c,
344   0xffffffff0000807b, 0xffffffff0000801f,
345   0xffffffff0000801e, 0xffffffff00008002,
346   0xffffffff00008001, 0xffffffff00008001,
347   0xffffffff00008000, 0xffffffff00008000,
348   0xffffffff00008000, 0x000000007ffffffd,
349   0x0000000000007fff, 0x000000007ffffffc,
350   0x0000000000007ffe, 0x000000007ffffffb,
351   0x0000000000007ffd, 0x000000007fffffdd,
352   0x0000000000007fdf, 0x000000007fffff80,
353   0x0000000000007f82, 0x000000007fffff7f,
354   0x0000000000007f81, 0x000000007fffff7e,
355   0x0000000000007f80, 0x000000007fff8000,
356   0x0000000000000002, 0x000000007fff7fff,
357   0x0000000000000001, 0x000000007fff7ffe,
358   0x0000000000000000, 0x000000004cccccca,
359   0xffffffffcccd4ccc, 0x000000002aaaaaa8,
360   0xffffffffaaab2aaa, 0x0000000000000000,
361   0xffffffff80008002, 0xffffffffffffffff,
362   0xffffffff80008001, 0xfffffffffffffffe,
363   0xffffffff80008000, 0xfffffffffffffffd,
364   0xffffffff80007fff, 0xfffffffffffffffc,
365   0xffffffff80007ffe, 0xffffffffd5555553,
366   0xffffffff5555d555, 0xffffffffb3333331,
367   0xffffffff3333b333, 0xffffffff80007ffd,
368   0xffffffff0000ffff, 0xffffffff80007ffc,
369   0xffffffff0000fffe, 0xffffffff80007ffb,
370   0xffffffff0000fffd, 0xffffffff80007ffa,
371   0xffffffff0000fffc, 0xffffffff8000007d,
372   0xffffffff0000807f, 0xffffffff8000007c,
373   0xffffffff0000807e, 0xffffffff8000007b,
374   0xffffffff0000807d, 0xffffffff8000007a,
375   0xffffffff0000807c, 0xffffffff8000001d,
376   0xffffffff0000801f, 0xffffffff80000000,
377   0xffffffff00008002, 0xffffffff7fffffff,
378   0xffffffff00008001, 0xffffffff7ffffffe,
379   0xffffffff7ffffffe, 0x000000007ffffffe,
380   0x000000007ffffffd, 0x000000007ffffffd,
381   0x000000007ffffffc, 0x000000007ffffffc,
382   0x000000007ffffffb, 0x000000007fffffde,
383   0x000000007fffffdd, 0x000000007fffff81,
384   0x000000007fffff80, 0x000000007fffff80,
385   0x000000007fffff7f, 0x000000007fffff7f,
386   0x000000007fffff7e, 0x000000007fff8001,
387   0x000000007fff8000, 0x000000007fff8000,
388   0x000000007fff7fff, 0x000000007fff7fff,
389   0x000000007fff7ffe, 0x000000004ccccccb,
390   0x000000004cccccca, 0x000000002aaaaaa9,
391   0x000000002aaaaaa8, 0x0000000000000001,
392   0x0000000000000000, 0x0000000000000000,
393   0xffffffffffffffff, 0xffffffffffffffff,
394   0xfffffffffffffffe, 0xfffffffffffffffe,
395   0xfffffffffffffffd, 0xfffffffffffffffd,
396   0xfffffffffffffffc, 0xffffffffd5555554,
397   0xffffffffd5555553, 0xffffffffb3333332,
398   0xffffffffb3333331, 0xffffffff80007ffe,
399   0xffffffff80007ffd, 0xffffffff80007ffd,
400   0xffffffff80007ffc, 0xffffffff80007ffc,
401   0xffffffff80007ffb, 0xffffffff80007ffb,
402   0xffffffff80007ffa, 0xffffffff8000007e,
403   0xffffffff8000007d, 0xffffffff8000007d,
404   0xffffffff8000007c, 0xffffffff8000007c,
405   0xffffffff8000007b, 0xffffffff8000007b,
406   0xffffffff8000007a, 0xffffffff8000001e,
407   0xffffffff8000001d, 0xffffffff80000001,
408   0xffffffff80000000, 0xffffffff80000000,
409   0xffffffff7fffffff, 0xffffffff7fffffff,
410   0xffffffff7fffffff, 0x000000007fffffff,
411   0x000000007ffffffe, 0x000000007ffffffe,
412   0x000000007ffffffd, 0x000000007ffffffd,
413   0x000000007ffffffc, 0x000000007fffffdf,
414   0x000000007fffffde, 0x000000007fffff82,
415   0x000000007fffff81, 0x000000007fffff81,
416   0x000000007fffff80, 0x000000007fffff80,
417   0x000000007fffff7f, 0x000000007fff8002,
418   0x000000007fff8001, 0x000000007fff8001,
419   0x000000007fff8000, 0x000000007fff8000,
420   0x000000007fff7fff, 0x000000004ccccccc,
421   0x000000004ccccccb, 0x000000002aaaaaaa,
422   0x000000002aaaaaa9, 0x0000000000000002,
423   0x0000000000000001, 0x0000000000000001,
424   0x0000000000000000, 0x0000000000000000,
425   0xffffffffffffffff, 0xffffffffffffffff,
426   0xfffffffffffffffe, 0xfffffffffffffffe,
427   0xfffffffffffffffd, 0xffffffffd5555555,
428   0xffffffffd5555554, 0xffffffffb3333333,
429   0xffffffffb3333332, 0xffffffff80007fff,
430   0xffffffff80007ffe, 0xffffffff80007ffe,
431   0xffffffff80007ffd, 0xffffffff80007ffd,
432   0xffffffff80007ffc, 0xffffffff80007ffc,
433   0xffffffff80007ffb, 0xffffffff8000007f,
434   0xffffffff8000007e, 0xffffffff8000007e,
435   0xffffffff8000007d, 0xffffffff8000007d,
436   0xffffffff8000007c, 0xffffffff8000007c,
437   0xffffffff8000007b, 0xffffffff8000001f,
438   0xffffffff8000001e, 0xffffffff80000002,
439   0xffffffff80000001, 0xffffffff80000001,
440   0xffffffff80000000, 0xffffffff80000000,
441   0xffffffff80000000, 0x3333333333333333,
442   0x000000007fffffff, 0x3333333333333332,
443   0x000000007ffffffe, 0x3333333333333331,
444   0x000000007ffffffd, 0x3333333333333313,
445   0x000000007fffffdf, 0x33333333333332b6,
446   0x000000007fffff82, 0x33333333333332b5,
447   0x000000007fffff81, 0x33333333333332b4,
448   0x000000007fffff80, 0x333333333332b336,
449   0x000000007fff8002, 0x333333333332b335,
450   0x000000007fff8001, 0x333333333332b334,
451   0x000000007fff8000, 0x3333333300000000,
452   0x000000004ccccccc, 0x33333332ddddddde,
453   0x000000002aaaaaaa, 0x33333332b3333336,
454   0x0000000000000002, 0x33333332b3333335,
455   0x0000000000000001, 0x33333332b3333334,
456   0x0000000000000000, 0x33333332b3333333,
457   0xffffffffffffffff, 0x33333332b3333332,
458   0xfffffffffffffffe, 0x3333333288888889,
459   0xffffffffd5555555, 0x3333333266666667,
460   0xffffffffb3333333, 0x333333323333b333,
461   0xffffffff80007fff, 0x333333323333b332,
462   0xffffffff80007ffe, 0x333333323333b331,
463   0xffffffff80007ffd, 0x333333323333b330,
464   0xffffffff80007ffc, 0x33333332333333b3,
465   0xffffffff8000007f, 0x33333332333333b2,
466   0xffffffff8000007e, 0x33333332333333b1,
467   0xffffffff8000007d, 0x33333332333333b0,
468   0xffffffff8000007c, 0x3333333233333353,
469   0xffffffff8000001f, 0x3333333233333336,
470   0xffffffff80000002, 0x3333333233333335,
471   0xffffffff80000001, 0x3333333233333334,
472   0x3333333233333334, 0x5555555555555555,
473   0x3333333333333333, 0x5555555555555554,
474   0x3333333333333332, 0x5555555555555553,
475   0x3333333333333331, 0x5555555555555535,
476   0x3333333333333313, 0x55555555555554d8,
477   0x33333333333332b6, 0x55555555555554d7,
478   0x33333333333332b5, 0x55555555555554d6,
479   0x33333333333332b4, 0x555555555554d558,
480   0x333333333332b336, 0x555555555554d557,
481   0x333333333332b335, 0x555555555554d556,
482   0x333333333332b334, 0x5555555522222222,
483   0x3333333300000000, 0x5555555500000000,
484   0x33333332ddddddde, 0x55555554d5555558,
485   0x33333332b3333336, 0x55555554d5555557,
486   0x33333332b3333335, 0x55555554d5555556,
487   0x33333332b3333334, 0x55555554d5555555,
488   0x33333332b3333333, 0x55555554d5555554,
489   0x33333332b3333332, 0x55555554aaaaaaab,
490   0x3333333288888889, 0x5555555488888889,
491   0x3333333266666667, 0x555555545555d555,
492   0x333333323333b333, 0x555555545555d554,
493   0x333333323333b332, 0x555555545555d553,
494   0x333333323333b331, 0x555555545555d552,
495   0x333333323333b330, 0x55555554555555d5,
496   0x33333332333333b3, 0x55555554555555d4,
497   0x33333332333333b2, 0x55555554555555d3,
498   0x33333332333333b1, 0x55555554555555d2,
499   0x33333332333333b0, 0x5555555455555575,
500   0x3333333233333353, 0x5555555455555558,
501   0x3333333233333336, 0x5555555455555557,
502   0x3333333233333335, 0x5555555455555556,
503   0x5555555455555556, 0x7ffffffffffffffd,
504   0x5555555555555555, 0x7ffffffffffffffc,
505   0x5555555555555554, 0x7ffffffffffffffb,
506   0x5555555555555553, 0x7fffffffffffffdd,
507   0x5555555555555535, 0x7fffffffffffff80,
508   0x55555555555554d8, 0x7fffffffffffff7f,
509   0x55555555555554d7, 0x7fffffffffffff7e,
510   0x55555555555554d6, 0x7fffffffffff8000,
511   0x555555555554d558, 0x7fffffffffff7fff,
512   0x555555555554d557, 0x7fffffffffff7ffe,
513   0x555555555554d556, 0x7fffffffccccccca,
514   0x5555555522222222, 0x7fffffffaaaaaaa8,
515   0x5555555500000000, 0x7fffffff80000000,
516   0x55555554d5555558, 0x7fffffff7fffffff,
517   0x55555554d5555557, 0x7fffffff7ffffffe,
518   0x55555554d5555556, 0x7fffffff7ffffffd,
519   0x55555554d5555555, 0x7fffffff7ffffffc,
520   0x55555554d5555554, 0x7fffffff55555553,
521   0x55555554aaaaaaab, 0x7fffffff33333331,
522   0x5555555488888889, 0x7fffffff00007ffd,
523   0x555555545555d555, 0x7fffffff00007ffc,
524   0x555555545555d554, 0x7fffffff00007ffb,
525   0x555555545555d553, 0x7fffffff00007ffa,
526   0x555555545555d552, 0x7fffffff0000007d,
527   0x55555554555555d5, 0x7fffffff0000007c,
528   0x55555554555555d4, 0x7fffffff0000007b,
529   0x55555554555555d3, 0x7fffffff0000007a,
530   0x55555554555555d2, 0x7fffffff0000001d,
531   0x5555555455555575, 0x7fffffff00000000,
532   0x5555555455555558, 0x7ffffffeffffffff,
533   0x5555555455555557, 0x7ffffffefffffffe,
534   0x7ffffffefffffffe, 0x7ffffffffffffffe,
535   0x7ffffffffffffffd, 0x7ffffffffffffffd,
536   0x7ffffffffffffffc, 0x7ffffffffffffffc,
537   0x7ffffffffffffffb, 0x7fffffffffffffde,
538   0x7fffffffffffffdd, 0x7fffffffffffff81,
539   0x7fffffffffffff80, 0x7fffffffffffff80,
540   0x7fffffffffffff7f, 0x7fffffffffffff7f,
541   0x7fffffffffffff7e, 0x7fffffffffff8001,
542   0x7fffffffffff8000, 0x7fffffffffff8000,
543   0x7fffffffffff7fff, 0x7fffffffffff7fff,
544   0x7fffffffffff7ffe, 0x7fffffffcccccccb,
545   0x7fffffffccccccca, 0x7fffffffaaaaaaa9,
546   0x7fffffffaaaaaaa8, 0x7fffffff80000001,
547   0x7fffffff80000000, 0x7fffffff80000000,
548   0x7fffffff7fffffff, 0x7fffffff7fffffff,
549   0x7fffffff7ffffffe, 0x7fffffff7ffffffe,
550   0x7fffffff7ffffffd, 0x7fffffff7ffffffd,
551   0x7fffffff7ffffffc, 0x7fffffff55555554,
552   0x7fffffff55555553, 0x7fffffff33333332,
553   0x7fffffff33333331, 0x7fffffff00007ffe,
554   0x7fffffff00007ffd, 0x7fffffff00007ffd,
555   0x7fffffff00007ffc, 0x7fffffff00007ffc,
556   0x7fffffff00007ffb, 0x7fffffff00007ffb,
557   0x7fffffff00007ffa, 0x7fffffff0000007e,
558   0x7fffffff0000007d, 0x7fffffff0000007d,
559   0x7fffffff0000007c, 0x7fffffff0000007c,
560   0x7fffffff0000007b, 0x7fffffff0000007b,
561   0x7fffffff0000007a, 0x7fffffff0000001e,
562   0x7fffffff0000001d, 0x7fffffff00000001,
563   0x7fffffff00000000, 0x7fffffff00000000,
564   0x7ffffffeffffffff, 0x7ffffffeffffffff,
565   0x7ffffffeffffffff, 0x7fffffffffffffff,
566   0x7ffffffffffffffe, 0x7ffffffffffffffe,
567   0x7ffffffffffffffd, 0x7ffffffffffffffd,
568   0x7ffffffffffffffc, 0x7fffffffffffffdf,
569   0x7fffffffffffffde, 0x7fffffffffffff82,
570   0x7fffffffffffff81, 0x7fffffffffffff81,
571   0x7fffffffffffff80, 0x7fffffffffffff80,
572   0x7fffffffffffff7f, 0x7fffffffffff8002,
573   0x7fffffffffff8001, 0x7fffffffffff8001,
574   0x7fffffffffff8000, 0x7fffffffffff8000,
575   0x7fffffffffff7fff, 0x7fffffffcccccccc,
576   0x7fffffffcccccccb, 0x7fffffffaaaaaaaa,
577   0x7fffffffaaaaaaa9, 0x7fffffff80000002,
578   0x7fffffff80000001, 0x7fffffff80000001,
579   0x7fffffff80000000, 0x7fffffff80000000,
580   0x7fffffff7fffffff, 0x7fffffff7fffffff,
581   0x7fffffff7ffffffe, 0x7fffffff7ffffffe,
582   0x7fffffff7ffffffd, 0x7fffffff55555555,
583   0x7fffffff55555554, 0x7fffffff33333333,
584   0x7fffffff33333332, 0x7fffffff00007fff,
585   0x7fffffff00007ffe, 0x7fffffff00007ffe,
586   0x7fffffff00007ffd, 0x7fffffff00007ffd,
587   0x7fffffff00007ffc, 0x7fffffff00007ffc,
588   0x7fffffff00007ffb, 0x7fffffff0000007f,
589   0x7fffffff0000007e, 0x7fffffff0000007e,
590   0x7fffffff0000007d, 0x7fffffff0000007d,
591   0x7fffffff0000007c, 0x7fffffff0000007c,
592   0x7fffffff0000007b, 0x7fffffff0000001f,
593   0x7fffffff0000001e, 0x7fffffff00000002,
594   0x7fffffff00000001, 0x7fffffff00000001,
595   0x7fffffff00000000, 0x7fffffff00000000,
596   0x7fffffff00000000, 0x8000000000000000,
597   0x7fffffffffffffff, 0x7fffffffffffffff,
598   0x7ffffffffffffffe, 0x7ffffffffffffffe,
599   0x7ffffffffffffffd, 0x7fffffffffffffe0,
600   0x7fffffffffffffdf, 0x7fffffffffffff83,
601   0x7fffffffffffff82, 0x7fffffffffffff82,
602   0x7fffffffffffff81, 0x7fffffffffffff81,
603   0x7fffffffffffff80, 0x7fffffffffff8003,
604   0x7fffffffffff8002, 0x7fffffffffff8002,
605   0x7fffffffffff8001, 0x7fffffffffff8001,
606   0x7fffffffffff8000, 0x7fffffffcccccccd,
607   0x7fffffffcccccccc, 0x7fffffffaaaaaaab,
608   0x7fffffffaaaaaaaa, 0x7fffffff80000003,
609   0x7fffffff80000002, 0x7fffffff80000002,
610   0x7fffffff80000001, 0x7fffffff80000001,
611   0x7fffffff80000000, 0x7fffffff80000000,
612   0x7fffffff7fffffff, 0x7fffffff7fffffff,
613   0x7fffffff7ffffffe, 0x7fffffff55555556,
614   0x7fffffff55555555, 0x7fffffff33333334,
615   0x7fffffff33333333, 0x7fffffff00008000,
616   0x7fffffff00007fff, 0x7fffffff00007fff,
617   0x7fffffff00007ffe, 0x7fffffff00007ffe,
618   0x7fffffff00007ffd, 0x7fffffff00007ffd,
619   0x7fffffff00007ffc, 0x7fffffff00000080,
620   0x7fffffff0000007f, 0x7fffffff0000007f,
621   0x7fffffff0000007e, 0x7fffffff0000007e,
622   0x7fffffff0000007d, 0x7fffffff0000007d,
623   0x7fffffff0000007c, 0x7fffffff00000020,
624   0x7fffffff0000001f, 0x7fffffff00000003,
625   0x7fffffff00000002, 0x7fffffff00000002,
626   0x7fffffff00000001, 0x7fffffff00000001,
627   0x7fffffff00000001, 0x8000000000000001,
628   0x8000000000000000, 0x8000000000000000,
629   0x7fffffffffffffff, 0x7fffffffffffffff,
630   0x7ffffffffffffffe, 0x7fffffffffffffe1,
631   0x7fffffffffffffe0, 0x7fffffffffffff84,
632   0x7fffffffffffff83, 0x7fffffffffffff83,
633   0x7fffffffffffff82, 0x7fffffffffffff82,
634   0x7fffffffffffff81, 0x7fffffffffff8004,
635   0x7fffffffffff8003, 0x7fffffffffff8003,
636   0x7fffffffffff8002, 0x7fffffffffff8002,
637   0x7fffffffffff8001, 0x7fffffffccccccce,
638   0x7fffffffcccccccd, 0x7fffffffaaaaaaac,
639   0x7fffffffaaaaaaab, 0x7fffffff80000004,
640   0x7fffffff80000003, 0x7fffffff80000003,
641   0x7fffffff80000002, 0x7fffffff80000002,
642   0x7fffffff80000001, 0x7fffffff80000001,
643   0x7fffffff80000000, 0x7fffffff80000000,
644   0x7fffffff7fffffff, 0x7fffffff55555557,
645   0x7fffffff55555556, 0x7fffffff33333335,
646   0x7fffffff33333334, 0x7fffffff00008001,
647   0x7fffffff00008000, 0x7fffffff00008000,
648   0x7fffffff00007fff, 0x7fffffff00007fff,
649   0x7fffffff00007ffe, 0x7fffffff00007ffe,
650   0x7fffffff00007ffd, 0x7fffffff00000081,
651   0x7fffffff00000080, 0x7fffffff00000080,
652   0x7fffffff0000007f, 0x7fffffff0000007f,
653   0x7fffffff0000007e, 0x7fffffff0000007e,
654   0x7fffffff0000007d, 0x7fffffff00000021,
655   0x7fffffff00000020, 0x7fffffff00000004,
656   0x7fffffff00000003, 0x7fffffff00000003,
657   0x7fffffff00000002, 0x7fffffff00000002,
658   0x7fffffff00000002, 0x8000000000000002,
659   0x8000000000000001, 0x8000000000000001,
660   0x8000000000000000, 0x8000000000000000,
661   0x7fffffffffffffff, 0x7fffffffffffffe2,
662   0x7fffffffffffffe1, 0x7fffffffffffff85,
663   0x7fffffffffffff84, 0x7fffffffffffff84,
664   0x7fffffffffffff83, 0x7fffffffffffff83,
665   0x7fffffffffffff82, 0x7fffffffffff8005,
666   0x7fffffffffff8004, 0x7fffffffffff8004,
667   0x7fffffffffff8003, 0x7fffffffffff8003,
668   0x7fffffffffff8002, 0x7fffffffcccccccf,
669   0x7fffffffccccccce, 0x7fffffffaaaaaaad,
670   0x7fffffffaaaaaaac, 0x7fffffff80000005,
671   0x7fffffff80000004, 0x7fffffff80000004,
672   0x7fffffff80000003, 0x7fffffff80000003,
673   0x7fffffff80000002, 0x7fffffff80000002,
674   0x7fffffff80000001, 0x7fffffff80000001,
675   0x7fffffff80000000, 0x7fffffff55555558,
676   0x7fffffff55555557, 0x7fffffff33333336,
677   0x7fffffff33333335, 0x7fffffff00008002,
678   0x7fffffff00008001, 0x7fffffff00008001,
679   0x7fffffff00008000, 0x7fffffff00008000,
680   0x7fffffff00007fff, 0x7fffffff00007fff,
681   0x7fffffff00007ffe, 0x7fffffff00000082,
682   0x7fffffff00000081, 0x7fffffff00000081,
683   0x7fffffff00000080, 0x7fffffff00000080,
684   0x7fffffff0000007f, 0x7fffffff0000007f,
685   0x7fffffff0000007e, 0x7fffffff00000022,
686   0x7fffffff00000021, 0x7fffffff00000005,
687   0x7fffffff00000004, 0x7fffffff00000004,
688   0x7fffffff00000003, 0x7fffffff00000003,
689   0x7fffffff00000003, 0x8000000000000003,
690   0x8000000000000002, 0x8000000000000002,
691   0x8000000000000001, 0x8000000000000001,
692   0x8000000000000000, 0x7fffffffffffffe3,
693   0x7fffffffffffffe2, 0x7fffffffffffff86,
694   0x7fffffffffffff85, 0x7fffffffffffff85,
695   0x7fffffffffffff84, 0x7fffffffffffff84,
696   0x7fffffffffffff83, 0x7fffffffffff8006,
697   0x7fffffffffff8005, 0x7fffffffffff8005,
698   0x7fffffffffff8004, 0x7fffffffffff8004,
699   0x7fffffffffff8003, 0x7fffffffccccccd0,
700   0x7fffffffcccccccf, 0x7fffffffaaaaaaae,
701   0x7fffffffaaaaaaad, 0x7fffffff80000006,
702   0x7fffffff80000005, 0x7fffffff80000005,
703   0x7fffffff80000004, 0x7fffffff80000004,
704   0x7fffffff80000003, 0x7fffffff80000003,
705   0x7fffffff80000002, 0x7fffffff80000002,
706   0x7fffffff80000001, 0x7fffffff55555559,
707   0x7fffffff55555558, 0x7fffffff33333337,
708   0x7fffffff33333336, 0x7fffffff00008003,
709   0x7fffffff00008002, 0x7fffffff00008002,
710   0x7fffffff00008001, 0x7fffffff00008001,
711   0x7fffffff00008000, 0x7fffffff00008000,
712   0x7fffffff00007fff, 0x7fffffff00000083,
713   0x7fffffff00000082, 0x7fffffff00000082,
714   0x7fffffff00000081, 0x7fffffff00000081,
715   0x7fffffff00000080, 0x7fffffff00000080,
716   0x7fffffff0000007f, 0x7fffffff00000023,
717   0x7fffffff00000022, 0x7fffffff00000006,
718   0x7fffffff00000005, 0x7fffffff00000005,
719   0x7fffffff00000004, 0x7fffffff00000004,
720   0x7fffffff00000004, 0xaaaaaaaaaaaaaaaa,
721   0x8000000000000003, 0xaaaaaaaaaaaaaaa9,
722   0x8000000000000002, 0xaaaaaaaaaaaaaaa8,
723   0x8000000000000001, 0xaaaaaaaaaaaaaa8a,
724   0x7fffffffffffffe3, 0xaaaaaaaaaaaaaa2d,
725   0x7fffffffffffff86, 0xaaaaaaaaaaaaaa2c,
726   0x7fffffffffffff85, 0xaaaaaaaaaaaaaa2b,
727   0x7fffffffffffff84, 0xaaaaaaaaaaaa2aad,
728   0x7fffffffffff8006, 0xaaaaaaaaaaaa2aac,
729   0x7fffffffffff8005, 0xaaaaaaaaaaaa2aab,
730   0x7fffffffffff8004, 0xaaaaaaaa77777777,
731   0x7fffffffccccccd0, 0xaaaaaaaa55555555,
732   0x7fffffffaaaaaaae, 0xaaaaaaaa2aaaaaad,
733   0x7fffffff80000006, 0xaaaaaaaa2aaaaaac,
734   0x7fffffff80000005, 0xaaaaaaaa2aaaaaab,
735   0x7fffffff80000004, 0xaaaaaaaa2aaaaaaa,
736   0x7fffffff80000003, 0xaaaaaaaa2aaaaaa9,
737   0x7fffffff80000002, 0xaaaaaaaa00000000,
738   0x7fffffff55555559, 0xaaaaaaa9ddddddde,
739   0x7fffffff33333337, 0xaaaaaaa9aaab2aaa,
740   0x7fffffff00008003, 0xaaaaaaa9aaab2aa9,
741   0x7fffffff00008002, 0xaaaaaaa9aaab2aa8,
742   0x7fffffff00008001, 0xaaaaaaa9aaab2aa7,
743   0x7fffffff00008000, 0xaaaaaaa9aaaaab2a,
744   0x7fffffff00000083, 0xaaaaaaa9aaaaab29,
745   0x7fffffff00000082, 0xaaaaaaa9aaaaab28,
746   0x7fffffff00000081, 0xaaaaaaa9aaaaab27,
747   0x7fffffff00000080, 0xaaaaaaa9aaaaaaca,
748   0x7fffffff00000023, 0xaaaaaaa9aaaaaaad,
749   0x7fffffff00000006, 0xaaaaaaa9aaaaaaac,
750   0x7fffffff00000005, 0xaaaaaaa9aaaaaaab,
751   0xaaaaaaa9aaaaaaab, 0xcccccccccccccccc,
752   0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccb,
753   0xaaaaaaaaaaaaaaa9, 0xccccccccccccccca,
754   0xaaaaaaaaaaaaaaa8, 0xccccccccccccccac,
755   0xaaaaaaaaaaaaaa8a, 0xcccccccccccccc4f,
756   0xaaaaaaaaaaaaaa2d, 0xcccccccccccccc4e,
757   0xaaaaaaaaaaaaaa2c, 0xcccccccccccccc4d,
758   0xaaaaaaaaaaaaaa2b, 0xcccccccccccc4ccf,
759   0xaaaaaaaaaaaa2aad, 0xcccccccccccc4cce,
760   0xaaaaaaaaaaaa2aac, 0xcccccccccccc4ccd,
761   0xaaaaaaaaaaaa2aab, 0xcccccccc99999999,
762   0xaaaaaaaa77777777, 0xcccccccc77777777,
763   0xaaaaaaaa55555555, 0xcccccccc4ccccccf,
764   0xaaaaaaaa2aaaaaad, 0xcccccccc4cccccce,
765   0xaaaaaaaa2aaaaaac, 0xcccccccc4ccccccd,
766   0xaaaaaaaa2aaaaaab, 0xcccccccc4ccccccc,
767   0xaaaaaaaa2aaaaaaa, 0xcccccccc4ccccccb,
768   0xaaaaaaaa2aaaaaa9, 0xcccccccc22222222,
769   0xaaaaaaaa00000000, 0xcccccccc00000000,
770   0xaaaaaaa9ddddddde, 0xcccccccbcccd4ccc,
771   0xaaaaaaa9aaab2aaa, 0xcccccccbcccd4ccb,
772   0xaaaaaaa9aaab2aa9, 0xcccccccbcccd4cca,
773   0xaaaaaaa9aaab2aa8, 0xcccccccbcccd4cc9,
774   0xaaaaaaa9aaab2aa7, 0xcccccccbcccccd4c,
775   0xaaaaaaa9aaaaab2a, 0xcccccccbcccccd4b,
776   0xaaaaaaa9aaaaab29, 0xcccccccbcccccd4a,
777   0xaaaaaaa9aaaaab28, 0xcccccccbcccccd49,
778   0xaaaaaaa9aaaaab27, 0xcccccccbccccccec,
779   0xaaaaaaa9aaaaaaca, 0xcccccccbcccccccf,
780   0xaaaaaaa9aaaaaaad, 0xcccccccbccccccce,
781   0xaaaaaaa9aaaaaaac, 0xcccccccbcccccccd,
782   0xcccccccbcccccccd, 0xffffffff80000000,
783   0xcccccccccccccccc, 0xffffffff7fffffff,
784   0xcccccccccccccccb, 0xffffffff7ffffffe,
785   0xccccccccccccccca, 0xffffffff7fffffe0,
786   0xccccccccccccccac, 0xffffffff7fffff83,
787   0xcccccccccccccc4f, 0xffffffff7fffff82,
788   0xcccccccccccccc4e, 0xffffffff7fffff81,
789   0xcccccccccccccc4d, 0xffffffff7fff8003,
790   0xcccccccccccc4ccf, 0xffffffff7fff8002,
791   0xcccccccccccc4cce, 0xffffffff7fff8001,
792   0xcccccccccccc4ccd, 0xffffffff4ccccccd,
793   0xcccccccc99999999, 0xffffffff2aaaaaab,
794   0xcccccccc77777777, 0xffffffff00000003,
795   0xcccccccc4ccccccf, 0xffffffff00000002,
796   0xcccccccc4cccccce, 0xffffffff00000001,
797   0xcccccccc4ccccccd, 0xffffffff00000000,
798   0xcccccccc4ccccccc, 0xfffffffeffffffff,
799   0xcccccccc4ccccccb, 0xfffffffed5555556,
800   0xcccccccc22222222, 0xfffffffeb3333334,
801   0xcccccccc00000000, 0xfffffffe80008000,
802   0xcccccccbcccd4ccc, 0xfffffffe80007fff,
803   0xcccccccbcccd4ccb, 0xfffffffe80007ffe,
804   0xcccccccbcccd4cca, 0xfffffffe80007ffd,
805   0xcccccccbcccd4cc9, 0xfffffffe80000080,
806   0xcccccccbcccccd4c, 0xfffffffe8000007f,
807   0xcccccccbcccccd4b, 0xfffffffe8000007e,
808   0xcccccccbcccccd4a, 0xfffffffe8000007d,
809   0xcccccccbcccccd49, 0xfffffffe80000020,
810   0xcccccccbccccccec, 0xfffffffe80000003,
811   0xcccccccbcccccccf, 0xfffffffe80000002,
812   0xcccccccbccccccce, 0xfffffffe80000001,
813   0xfffffffe80000001, 0xffffffff80000001,
814   0xffffffff80000000, 0xffffffff80000000,
815   0xffffffff7fffffff, 0xffffffff7fffffff,
816   0xffffffff7ffffffe, 0xffffffff7fffffe1,
817   0xffffffff7fffffe0, 0xffffffff7fffff84,
818   0xffffffff7fffff83, 0xffffffff7fffff83,
819   0xffffffff7fffff82, 0xffffffff7fffff82,
820   0xffffffff7fffff81, 0xffffffff7fff8004,
821   0xffffffff7fff8003, 0xffffffff7fff8003,
822   0xffffffff7fff8002, 0xffffffff7fff8002,
823   0xffffffff7fff8001, 0xffffffff4cccccce,
824   0xffffffff4ccccccd, 0xffffffff2aaaaaac,
825   0xffffffff2aaaaaab, 0xffffffff00000004,
826   0xffffffff00000003, 0xffffffff00000003,
827   0xffffffff00000002, 0xffffffff00000002,
828   0xffffffff00000001, 0xffffffff00000001,
829   0xffffffff00000000, 0xffffffff00000000,
830   0xfffffffeffffffff, 0xfffffffed5555557,
831   0xfffffffed5555556, 0xfffffffeb3333335,
832   0xfffffffeb3333334, 0xfffffffe80008001,
833   0xfffffffe80008000, 0xfffffffe80008000,
834   0xfffffffe80007fff, 0xfffffffe80007fff,
835   0xfffffffe80007ffe, 0xfffffffe80007ffe,
836   0xfffffffe80007ffd, 0xfffffffe80000081,
837   0xfffffffe80000080, 0xfffffffe80000080,
838   0xfffffffe8000007f, 0xfffffffe8000007f,
839   0xfffffffe8000007e, 0xfffffffe8000007e,
840   0xfffffffe8000007d, 0xfffffffe80000021,
841   0xfffffffe80000020, 0xfffffffe80000004,
842   0xfffffffe80000003, 0xfffffffe80000003,
843   0xfffffffe80000002, 0xfffffffe80000002,
844   0xfffffffe80000002, 0xffffffff80000002,
845   0xffffffff80000001, 0xffffffff80000001,
846   0xffffffff80000000, 0xffffffff80000000,
847   0xffffffff7fffffff, 0xffffffff7fffffe2,
848   0xffffffff7fffffe1, 0xffffffff7fffff85,
849   0xffffffff7fffff84, 0xffffffff7fffff84,
850   0xffffffff7fffff83, 0xffffffff7fffff83,
851   0xffffffff7fffff82, 0xffffffff7fff8005,
852   0xffffffff7fff8004, 0xffffffff7fff8004,
853   0xffffffff7fff8003, 0xffffffff7fff8003,
854   0xffffffff7fff8002, 0xffffffff4ccccccf,
855   0xffffffff4cccccce, 0xffffffff2aaaaaad,
856   0xffffffff2aaaaaac, 0xffffffff00000005,
857   0xffffffff00000004, 0xffffffff00000004,
858   0xffffffff00000003, 0xffffffff00000003,
859   0xffffffff00000002, 0xffffffff00000002,
860   0xffffffff00000001, 0xffffffff00000001,
861   0xffffffff00000000, 0xfffffffed5555558,
862   0xfffffffed5555557, 0xfffffffeb3333336,
863   0xfffffffeb3333335, 0xfffffffe80008002,
864   0xfffffffe80008001, 0xfffffffe80008001,
865   0xfffffffe80008000, 0xfffffffe80008000,
866   0xfffffffe80007fff, 0xfffffffe80007fff,
867   0xfffffffe80007ffe, 0xfffffffe80000082,
868   0xfffffffe80000081, 0xfffffffe80000081,
869   0xfffffffe80000080, 0xfffffffe80000080,
870   0xfffffffe8000007f, 0xfffffffe8000007f,
871   0xfffffffe8000007e, 0xfffffffe80000022,
872   0xfffffffe80000021, 0xfffffffe80000005,
873   0xfffffffe80000004, 0xfffffffe80000004,
874   0xfffffffe80000003, 0xfffffffe80000003,
875   0xfffffffe80000003, 0xffffffff80000003,
876   0xffffffff80000002, 0xffffffff80000002,
877   0xffffffff80000001, 0xffffffff80000001,
878   0xffffffff80000000, 0xffffffff7fffffe3,
879   0xffffffff7fffffe2, 0xffffffff7fffff86,
880   0xffffffff7fffff85, 0xffffffff7fffff85,
881   0xffffffff7fffff84, 0xffffffff7fffff84,
882   0xffffffff7fffff83, 0xffffffff7fff8006,
883   0xffffffff7fff8005, 0xffffffff7fff8005,
884   0xffffffff7fff8004, 0xffffffff7fff8004,
885   0xffffffff7fff8003, 0xffffffff4cccccd0,
886   0xffffffff4ccccccf, 0xffffffff2aaaaaae,
887   0xffffffff2aaaaaad, 0xffffffff00000006,
888   0xffffffff00000005, 0xffffffff00000005,
889   0xffffffff00000004, 0xffffffff00000004,
890   0xffffffff00000003, 0xffffffff00000003,
891   0xffffffff00000002, 0xffffffff00000002,
892   0xffffffff00000001, 0xfffffffed5555559,
893   0xfffffffed5555558, 0xfffffffeb3333337,
894   0xfffffffeb3333336, 0xfffffffe80008003,
895   0xfffffffe80008002, 0xfffffffe80008002,
896   0xfffffffe80008001, 0xfffffffe80008001,
897   0xfffffffe80008000, 0xfffffffe80008000,
898   0xfffffffe80007fff, 0xfffffffe80000083,
899   0xfffffffe80000082, 0xfffffffe80000082,
900   0xfffffffe80000081, 0xfffffffe80000081,
901   0xfffffffe80000080, 0xfffffffe80000080,
902   0xfffffffe8000007f, 0xfffffffe80000023,
903   0xfffffffe80000022, 0xfffffffe80000006,
904   0xfffffffe80000005, 0xfffffffe80000005,
905   0xfffffffe80000004, 0xfffffffe80000004,
906   0xfffffffe80000004, 0xffffffffffff8000,
907   0xffffffff80000003, 0xffffffffffff7fff,
908   0xffffffff80000002, 0xffffffffffff7ffe,
909   0xffffffff80000001, 0xffffffffffff7fe0,
910   0xffffffff7fffffe3, 0xffffffffffff7f83,
911   0xffffffff7fffff86, 0xffffffffffff7f82,
912   0xffffffff7fffff85, 0xffffffffffff7f81,
913   0xffffffff7fffff84, 0xffffffffffff0003,
914   0xffffffff7fff8006, 0xffffffffffff0002,
915   0xffffffff7fff8005, 0xffffffffffff0001,
916   0xffffffff7fff8004, 0xffffffffcccc4ccd,
917   0xffffffff4cccccd0, 0xffffffffaaaa2aab,
918   0xffffffff2aaaaaae, 0xffffffff7fff8003,
919   0xffffffff00000006, 0xffffffff7fff8002,
920   0xffffffff00000005, 0xffffffff7fff8001,
921   0xffffffff00000004, 0xffffffff7fff8000,
922   0xffffffff00000003, 0xffffffff7fff7fff,
923   0xffffffff00000002, 0xffffffff5554d556,
924   0xfffffffed5555559, 0xffffffff3332b334,
925   0xfffffffeb3333337, 0xffffffff00000000,
926   0xfffffffe80008003, 0xfffffffeffffffff,
927   0xfffffffe80008002, 0xfffffffefffffffe,
928   0xfffffffe80008001, 0xfffffffefffffffd,
929   0xfffffffe80008000, 0xfffffffeffff8080,
930   0xfffffffe80000083, 0xfffffffeffff807f,
931   0xfffffffe80000082, 0xfffffffeffff807e,
932   0xfffffffe80000081, 0xfffffffeffff807d,
933   0xfffffffe80000080, 0xfffffffeffff8020,
934   0xfffffffe80000023, 0xfffffffeffff8003,
935   0xfffffffe80000006, 0xfffffffeffff8002,
936   0xfffffffe80000005, 0xfffffffeffff8001,
937   0xfffffffeffff8001, 0xffffffffffff8001,
938   0xffffffffffff8000, 0xffffffffffff8000,
939   0xffffffffffff7fff, 0xffffffffffff7fff,
940   0xffffffffffff7ffe, 0xffffffffffff7fe1,
941   0xffffffffffff7fe0, 0xffffffffffff7f84,
942   0xffffffffffff7f83, 0xffffffffffff7f83,
943   0xffffffffffff7f82, 0xffffffffffff7f82,
944   0xffffffffffff7f81, 0xffffffffffff0004,
945   0xffffffffffff0003, 0xffffffffffff0003,
946   0xffffffffffff0002, 0xffffffffffff0002,
947   0xffffffffffff0001, 0xffffffffcccc4cce,
948   0xffffffffcccc4ccd, 0xffffffffaaaa2aac,
949   0xffffffffaaaa2aab, 0xffffffff7fff8004,
950   0xffffffff7fff8003, 0xffffffff7fff8003,
951   0xffffffff7fff8002, 0xffffffff7fff8002,
952   0xffffffff7fff8001, 0xffffffff7fff8001,
953   0xffffffff7fff8000, 0xffffffff7fff8000,
954   0xffffffff7fff7fff, 0xffffffff5554d557,
955   0xffffffff5554d556, 0xffffffff3332b335,
956   0xffffffff3332b334, 0xffffffff00000001,
957   0xffffffff00000000, 0xffffffff00000000,
958   0xfffffffeffffffff, 0xfffffffeffffffff,
959   0xfffffffefffffffe, 0xfffffffefffffffe,
960   0xfffffffefffffffd, 0xfffffffeffff8081,
961   0xfffffffeffff8080, 0xfffffffeffff8080,
962   0xfffffffeffff807f, 0xfffffffeffff807f,
963   0xfffffffeffff807e, 0xfffffffeffff807e,
964   0xfffffffeffff807d, 0xfffffffeffff8021,
965   0xfffffffeffff8020, 0xfffffffeffff8004,
966   0xfffffffeffff8003, 0xfffffffeffff8003,
967   0xfffffffeffff8002, 0xfffffffeffff8002,
968   0xfffffffeffff8002, 0xffffffffffff8002,
969   0xffffffffffff8001, 0xffffffffffff8001,
970   0xffffffffffff8000, 0xffffffffffff8000,
971   0xffffffffffff7fff, 0xffffffffffff7fe2,
972   0xffffffffffff7fe1, 0xffffffffffff7f85,
973   0xffffffffffff7f84, 0xffffffffffff7f84,
974   0xffffffffffff7f83, 0xffffffffffff7f83,
975   0xffffffffffff7f82, 0xffffffffffff0005,
976   0xffffffffffff0004, 0xffffffffffff0004,
977   0xffffffffffff0003, 0xffffffffffff0003,
978   0xffffffffffff0002, 0xffffffffcccc4ccf,
979   0xffffffffcccc4cce, 0xffffffffaaaa2aad,
980   0xffffffffaaaa2aac, 0xffffffff7fff8005,
981   0xffffffff7fff8004, 0xffffffff7fff8004,
982   0xffffffff7fff8003, 0xffffffff7fff8003,
983   0xffffffff7fff8002, 0xffffffff7fff8002,
984   0xffffffff7fff8001, 0xffffffff7fff8001,
985   0xffffffff7fff8000, 0xffffffff5554d558,
986   0xffffffff5554d557, 0xffffffff3332b336,
987   0xffffffff3332b335, 0xffffffff00000002,
988   0xffffffff00000001, 0xffffffff00000001,
989   0xffffffff00000000, 0xffffffff00000000,
990   0xfffffffeffffffff, 0xfffffffeffffffff,
991   0xfffffffefffffffe, 0xfffffffeffff8082,
992   0xfffffffeffff8081, 0xfffffffeffff8081,
993   0xfffffffeffff8080, 0xfffffffeffff8080,
994   0xfffffffeffff807f, 0xfffffffeffff807f,
995   0xfffffffeffff807e, 0xfffffffeffff8022,
996   0xfffffffeffff8021, 0xfffffffeffff8005,
997   0xfffffffeffff8004, 0xfffffffeffff8004,
998   0xfffffffeffff8003, 0xfffffffeffff8003,
999   0xfffffffeffff8003, 0xffffffffffff8003,
1000   0xffffffffffff8002, 0xffffffffffff8002,
1001   0xffffffffffff8001, 0xffffffffffff8001,
1002   0xffffffffffff8000, 0xffffffffffff7fe3,
1003   0xffffffffffff7fe2, 0xffffffffffff7f86,
1004   0xffffffffffff7f85, 0xffffffffffff7f85,
1005   0xffffffffffff7f84, 0xffffffffffff7f84,
1006   0xffffffffffff7f83, 0xffffffffffff0006,
1007   0xffffffffffff0005, 0xffffffffffff0005,
1008   0xffffffffffff0004, 0xffffffffffff0004,
1009   0xffffffffffff0003, 0xffffffffcccc4cd0,
1010   0xffffffffcccc4ccf, 0xffffffffaaaa2aae,
1011   0xffffffffaaaa2aad, 0xffffffff7fff8006,
1012   0xffffffff7fff8005, 0xffffffff7fff8005,
1013   0xffffffff7fff8004, 0xffffffff7fff8004,
1014   0xffffffff7fff8003, 0xffffffff7fff8003,
1015   0xffffffff7fff8002, 0xffffffff7fff8002,
1016   0xffffffff7fff8001, 0xffffffff5554d559,
1017   0xffffffff5554d558, 0xffffffff3332b337,
1018   0xffffffff3332b336, 0xffffffff00000003,
1019   0xffffffff00000002, 0xffffffff00000002,
1020   0xffffffff00000001, 0xffffffff00000001,
1021   0xffffffff00000000, 0xffffffff00000000,
1022   0xfffffffeffffffff, 0xfffffffeffff8083,
1023   0xfffffffeffff8082, 0xfffffffeffff8082,
1024   0xfffffffeffff8081, 0xfffffffeffff8081,
1025   0xfffffffeffff8080, 0xfffffffeffff8080,
1026   0xfffffffeffff807f, 0xfffffffeffff8023,
1027   0xfffffffeffff8022, 0xfffffffeffff8006,
1028   0xfffffffeffff8005, 0xfffffffeffff8005,
1029   0xfffffffeffff8004, 0xfffffffeffff8004,
1030   0xfffffffeffff8004, 0xffffffffffffff80,
1031   0xffffffffffff8003, 0xffffffffffffff7f,
1032   0xffffffffffff8002, 0xffffffffffffff7e,
1033   0xffffffffffff8001, 0xffffffffffffff60,
1034   0xffffffffffff7fe3, 0xffffffffffffff03,
1035   0xffffffffffff7f86, 0xffffffffffffff02,
1036   0xffffffffffff7f85, 0xffffffffffffff01,
1037   0xffffffffffff7f84, 0xffffffffffff7f83,
1038   0xffffffffffff0006, 0xffffffffffff7f82,
1039   0xffffffffffff0005, 0xffffffffffff7f81,
1040   0xffffffffffff0004, 0xffffffffcccccc4d,
1041   0xffffffffcccc4cd0, 0xffffffffaaaaaa2b,
1042   0xffffffffaaaa2aae, 0xffffffff7fffff83,
1043   0xffffffff7fff8006, 0xffffffff7fffff82,
1044   0xffffffff7fff8005, 0xffffffff7fffff81,
1045   0xffffffff7fff8004, 0xffffffff7fffff80,
1046   0xffffffff7fff8003, 0xffffffff7fffff7f,
1047   0xffffffff7fff8002, 0xffffffff555554d6,
1048   0xffffffff5554d559, 0xffffffff333332b4,
1049   0xffffffff3332b337, 0xffffffff00007f80,
1050   0xffffffff00000003, 0xffffffff00007f7f,
1051   0xffffffff00000002, 0xffffffff00007f7e,
1052   0xffffffff00000001, 0xffffffff00007f7d,
1053   0xffffffff00000000, 0xffffffff00000000,
1054   0xfffffffeffff8083, 0xfffffffeffffffff,
1055   0xfffffffeffff8082, 0xfffffffefffffffe,
1056   0xfffffffeffff8081, 0xfffffffefffffffd,
1057   0xfffffffeffff8080, 0xfffffffeffffffa0,
1058   0xfffffffeffff8023, 0xfffffffeffffff83,
1059   0xfffffffeffff8006, 0xfffffffeffffff82,
1060   0xfffffffeffff8005, 0xfffffffeffffff81,
1061   0xfffffffeffffff81, 0xffffffffffffff81,
1062   0xffffffffffffff80, 0xffffffffffffff80,
1063   0xffffffffffffff7f, 0xffffffffffffff7f,
1064   0xffffffffffffff7e, 0xffffffffffffff61,
1065   0xffffffffffffff60, 0xffffffffffffff04,
1066   0xffffffffffffff03, 0xffffffffffffff03,
1067   0xffffffffffffff02, 0xffffffffffffff02,
1068   0xffffffffffffff01, 0xffffffffffff7f84,
1069   0xffffffffffff7f83, 0xffffffffffff7f83,
1070   0xffffffffffff7f82, 0xffffffffffff7f82,
1071   0xffffffffffff7f81, 0xffffffffcccccc4e,
1072   0xffffffffcccccc4d, 0xffffffffaaaaaa2c,
1073   0xffffffffaaaaaa2b, 0xffffffff7fffff84,
1074   0xffffffff7fffff83, 0xffffffff7fffff83,
1075   0xffffffff7fffff82, 0xffffffff7fffff82,
1076   0xffffffff7fffff81, 0xffffffff7fffff81,
1077   0xffffffff7fffff80, 0xffffffff7fffff80,
1078   0xffffffff7fffff7f, 0xffffffff555554d7,
1079   0xffffffff555554d6, 0xffffffff333332b5,
1080   0xffffffff333332b4, 0xffffffff00007f81,
1081   0xffffffff00007f80, 0xffffffff00007f80,
1082   0xffffffff00007f7f, 0xffffffff00007f7f,
1083   0xffffffff00007f7e, 0xffffffff00007f7e,
1084   0xffffffff00007f7d, 0xffffffff00000001,
1085   0xffffffff00000000, 0xffffffff00000000,
1086   0xfffffffeffffffff, 0xfffffffeffffffff,
1087   0xfffffffefffffffe, 0xfffffffefffffffe,
1088   0xfffffffefffffffd, 0xfffffffeffffffa1,
1089   0xfffffffeffffffa0, 0xfffffffeffffff84,
1090   0xfffffffeffffff83, 0xfffffffeffffff83,
1091   0xfffffffeffffff82, 0xfffffffeffffff82,
1092   0xfffffffeffffff82, 0xffffffffffffff82,
1093   0xffffffffffffff81, 0xffffffffffffff81,
1094   0xffffffffffffff80, 0xffffffffffffff80,
1095   0xffffffffffffff7f, 0xffffffffffffff62,
1096   0xffffffffffffff61, 0xffffffffffffff05,
1097   0xffffffffffffff04, 0xffffffffffffff04,
1098   0xffffffffffffff03, 0xffffffffffffff03,
1099   0xffffffffffffff02, 0xffffffffffff7f85,
1100   0xffffffffffff7f84, 0xffffffffffff7f84,
1101   0xffffffffffff7f83, 0xffffffffffff7f83,
1102   0xffffffffffff7f82, 0xffffffffcccccc4f,
1103   0xffffffffcccccc4e, 0xffffffffaaaaaa2d,
1104   0xffffffffaaaaaa2c, 0xffffffff7fffff85,
1105   0xffffffff7fffff84, 0xffffffff7fffff84,
1106   0xffffffff7fffff83, 0xffffffff7fffff83,
1107   0xffffffff7fffff82, 0xffffffff7fffff82,
1108   0xffffffff7fffff81, 0xffffffff7fffff81,
1109   0xffffffff7fffff80, 0xffffffff555554d8,
1110   0xffffffff555554d7, 0xffffffff333332b6,
1111   0xffffffff333332b5, 0xffffffff00007f82,
1112   0xffffffff00007f81, 0xffffffff00007f81,
1113   0xffffffff00007f80, 0xffffffff00007f80,
1114   0xffffffff00007f7f, 0xffffffff00007f7f,
1115   0xffffffff00007f7e, 0xffffffff00000002,
1116   0xffffffff00000001, 0xffffffff00000001,
1117   0xffffffff00000000, 0xffffffff00000000,
1118   0xfffffffeffffffff, 0xfffffffeffffffff,
1119   0xfffffffefffffffe, 0xfffffffeffffffa2,
1120   0xfffffffeffffffa1, 0xfffffffeffffff85,
1121   0xfffffffeffffff84, 0xfffffffeffffff84,
1122   0xfffffffeffffff83, 0xfffffffeffffff83,
1123   0xfffffffeffffff83, 0xffffffffffffff83,
1124   0xffffffffffffff82, 0xffffffffffffff82,
1125   0xffffffffffffff81, 0xffffffffffffff81,
1126   0xffffffffffffff80, 0xffffffffffffff63,
1127   0xffffffffffffff62, 0xffffffffffffff06,
1128   0xffffffffffffff05, 0xffffffffffffff05,
1129   0xffffffffffffff04, 0xffffffffffffff04,
1130   0xffffffffffffff03, 0xffffffffffff7f86,
1131   0xffffffffffff7f85, 0xffffffffffff7f85,
1132   0xffffffffffff7f84, 0xffffffffffff7f84,
1133   0xffffffffffff7f83, 0xffffffffcccccc50,
1134   0xffffffffcccccc4f, 0xffffffffaaaaaa2e,
1135   0xffffffffaaaaaa2d, 0xffffffff7fffff86,
1136   0xffffffff7fffff85, 0xffffffff7fffff85,
1137   0xffffffff7fffff84, 0xffffffff7fffff84,
1138   0xffffffff7fffff83, 0xffffffff7fffff83,
1139   0xffffffff7fffff82, 0xffffffff7fffff82,
1140   0xffffffff7fffff81, 0xffffffff555554d9,
1141   0xffffffff555554d8, 0xffffffff333332b7,
1142   0xffffffff333332b6, 0xffffffff00007f83,
1143   0xffffffff00007f82, 0xffffffff00007f82,
1144   0xffffffff00007f81, 0xffffffff00007f81,
1145   0xffffffff00007f80, 0xffffffff00007f80,
1146   0xffffffff00007f7f, 0xffffffff00000003,
1147   0xffffffff00000002, 0xffffffff00000002,
1148   0xffffffff00000001, 0xffffffff00000001,
1149   0xffffffff00000000, 0xffffffff00000000,
1150   0xfffffffeffffffff, 0xfffffffeffffffa3,
1151   0xfffffffeffffffa2, 0xfffffffeffffff86,
1152   0xfffffffeffffff85, 0xfffffffeffffff85,
1153   0xfffffffeffffff84, 0xfffffffeffffff84,
1154   0xfffffffeffffff84, 0xffffffffffffffc0,
1155   0xffffffffffffff83, 0xffffffffffffffbf,
1156   0xffffffffffffff82, 0xffffffffffffffbe,
1157   0xffffffffffffff81, 0xffffffffffffffa0,
1158   0xffffffffffffff63, 0xffffffffffffff43,
1159   0xffffffffffffff06, 0xffffffffffffff42,
1160   0xffffffffffffff05, 0xffffffffffffff41,
1161   0xffffffffffffff04, 0xffffffffffff7fc3,
1162   0xffffffffffff7f86, 0xffffffffffff7fc2,
1163   0xffffffffffff7f85, 0xffffffffffff7fc1,
1164   0xffffffffffff7f84, 0xffffffffcccccc8d,
1165   0xffffffffcccccc50, 0xffffffffaaaaaa6b,
1166   0xffffffffaaaaaa2e, 0xffffffff7fffffc3,
1167   0xffffffff7fffff86, 0xffffffff7fffffc2,
1168   0xffffffff7fffff85, 0xffffffff7fffffc1,
1169   0xffffffff7fffff84, 0xffffffff7fffffc0,
1170   0xffffffff7fffff83, 0xffffffff7fffffbf,
1171   0xffffffff7fffff82, 0xffffffff55555516,
1172   0xffffffff555554d9, 0xffffffff333332f4,
1173   0xffffffff333332b7, 0xffffffff00007fc0,
1174   0xffffffff00007f83, 0xffffffff00007fbf,
1175   0xffffffff00007f82, 0xffffffff00007fbe,
1176   0xffffffff00007f81, 0xffffffff00007fbd,
1177   0xffffffff00007f80, 0xffffffff00000040,
1178   0xffffffff00000003, 0xffffffff0000003f,
1179   0xffffffff00000002, 0xffffffff0000003e,
1180   0xffffffff00000001, 0xffffffff0000003d,
1181   0xffffffff00000000, 0xfffffffeffffffe0,
1182   0xfffffffeffffffa3, 0xfffffffeffffffc3,
1183   0xfffffffeffffff86, 0xfffffffeffffffc2,
1184   0xfffffffeffffff85, 0xfffffffeffffffc1,
1185   0xfffffffeffffffc1, 0xfffffffffffffffd,
1186   0xffffffffffffffc0, 0xfffffffffffffffc,
1187   0xffffffffffffffbf, 0xfffffffffffffffb,
1188   0xffffffffffffffbe, 0xffffffffffffffdd,
1189   0xffffffffffffffa0, 0xffffffffffffff80,
1190   0xffffffffffffff43, 0xffffffffffffff7f,
1191   0xffffffffffffff42, 0xffffffffffffff7e,
1192   0xffffffffffffff41, 0xffffffffffff8000,
1193   0xffffffffffff7fc3, 0xffffffffffff7fff,
1194   0xffffffffffff7fc2, 0xffffffffffff7ffe,
1195   0xffffffffffff7fc1, 0xffffffffccccccca,
1196   0xffffffffcccccc8d, 0xffffffffaaaaaaa8,
1197   0xffffffffaaaaaa6b, 0xffffffff80000000,
1198   0xffffffff7fffffc3, 0xffffffff7fffffff,
1199   0xffffffff7fffffc2, 0xffffffff7ffffffe,
1200   0xffffffff7fffffc1, 0xffffffff7ffffffd,
1201   0xffffffff7fffffc0, 0xffffffff7ffffffc,
1202   0xffffffff7fffffbf, 0xffffffff55555553,
1203   0xffffffff55555516, 0xffffffff33333331,
1204   0xffffffff333332f4, 0xffffffff00007ffd,
1205   0xffffffff00007fc0, 0xffffffff00007ffc,
1206   0xffffffff00007fbf, 0xffffffff00007ffb,
1207   0xffffffff00007fbe, 0xffffffff00007ffa,
1208   0xffffffff00007fbd, 0xffffffff0000007d,
1209   0xffffffff00000040, 0xffffffff0000007c,
1210   0xffffffff0000003f, 0xffffffff0000007b,
1211   0xffffffff0000003e, 0xffffffff0000007a,
1212   0xffffffff0000003d, 0xffffffff0000001d,
1213   0xfffffffeffffffe0, 0xffffffff00000000,
1214   0xfffffffeffffffc3, 0xfffffffeffffffff,
1215   0xfffffffeffffffc2, 0xfffffffefffffffe,
1216   0xfffffffefffffffe, 0xfffffffffffffffe,
1217   0xfffffffffffffffd, 0xfffffffffffffffd,
1218   0xfffffffffffffffc, 0xfffffffffffffffc,
1219   0xfffffffffffffffb, 0xffffffffffffffde,
1220   0xffffffffffffffdd, 0xffffffffffffff81,
1221   0xffffffffffffff80, 0xffffffffffffff80,
1222   0xffffffffffffff7f, 0xffffffffffffff7f,
1223   0xffffffffffffff7e, 0xffffffffffff8001,
1224   0xffffffffffff8000, 0xffffffffffff8000,
1225   0xffffffffffff7fff, 0xffffffffffff7fff,
1226   0xffffffffffff7ffe, 0xffffffffcccccccb,
1227   0xffffffffccccccca, 0xffffffffaaaaaaa9,
1228   0xffffffffaaaaaaa8, 0xffffffff80000001,
1229   0xffffffff80000000, 0xffffffff80000000,
1230   0xffffffff7fffffff, 0xffffffff7fffffff,
1231   0xffffffff7ffffffe, 0xffffffff7ffffffe,
1232   0xffffffff7ffffffd, 0xffffffff7ffffffd,
1233   0xffffffff7ffffffc, 0xffffffff55555554,
1234   0xffffffff55555553, 0xffffffff33333332,
1235   0xffffffff33333331, 0xffffffff00007ffe,
1236   0xffffffff00007ffd, 0xffffffff00007ffd,
1237   0xffffffff00007ffc, 0xffffffff00007ffc,
1238   0xffffffff00007ffb, 0xffffffff00007ffb,
1239   0xffffffff00007ffa, 0xffffffff0000007e,
1240   0xffffffff0000007d, 0xffffffff0000007d,
1241   0xffffffff0000007c, 0xffffffff0000007c,
1242   0xffffffff0000007b, 0xffffffff0000007b,
1243   0xffffffff0000007a, 0xffffffff0000001e,
1244   0xffffffff0000001d, 0xffffffff00000001,
1245   0xffffffff00000000, 0xffffffff00000000,
1246   0xfffffffeffffffff, 0xfffffffeffffffff,
1247   0xfffffffeffffffff, 0xffffffffffffffff,
1248   0xfffffffffffffffe, 0xfffffffffffffffe,
1249   0xfffffffffffffffd, 0xfffffffffffffffd,
1250   0xfffffffffffffffc, 0xffffffffffffffdf,
1251   0xffffffffffffffde, 0xffffffffffffff82,
1252   0xffffffffffffff81, 0xffffffffffffff81,
1253   0xffffffffffffff80, 0xffffffffffffff80,
1254   0xffffffffffffff7f, 0xffffffffffff8002,
1255   0xffffffffffff8001, 0xffffffffffff8001,
1256   0xffffffffffff8000, 0xffffffffffff8000,
1257   0xffffffffffff7fff, 0xffffffffcccccccc,
1258   0xffffffffcccccccb, 0xffffffffaaaaaaaa,
1259   0xffffffffaaaaaaa9, 0xffffffff80000002,
1260   0xffffffff80000001, 0xffffffff80000001,
1261   0xffffffff80000000, 0xffffffff80000000,
1262   0xffffffff7fffffff, 0xffffffff7fffffff,
1263   0xffffffff7ffffffe, 0xffffffff7ffffffe,
1264   0xffffffff7ffffffd, 0xffffffff55555555,
1265   0xffffffff55555554, 0xffffffff33333333,
1266   0xffffffff33333332, 0xffffffff00007fff,
1267   0xffffffff00007ffe, 0xffffffff00007ffe,
1268   0xffffffff00007ffd, 0xffffffff00007ffd,
1269   0xffffffff00007ffc, 0xffffffff00007ffc,
1270   0xffffffff00007ffb, 0xffffffff0000007f,
1271   0xffffffff0000007e, 0xffffffff0000007e,
1272   0xffffffff0000007d, 0xffffffff0000007d,
1273   0xffffffff0000007c, 0xffffffff0000007c,
1274   0xffffffff0000007b, 0xffffffff0000001f,
1275   0xffffffff0000001e, 0xffffffff00000002,
1276   0xffffffff00000001, 0xffffffff00000001,
1277   0xffffffff00000000, 0xffffffff00000000,
1278 };
1279 const unsigned kExpectedCount_NEON_usubw2_2D = 1240;
1280 
1281 #endif  // VIXL_SIM_USUBW2_2D_TRACE_AARCH64_H_
1282