• 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_SSUBW2_2D_TRACE_AARCH64_H_
35 #define VIXL_SIM_SSUBW2_2D_TRACE_AARCH64_H_
36 
37 const uint64_t kExpected_NEON_ssubw2_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, 0x0000000080000000,
54   0x000000008000007d, 0x000000007fffffff,
55   0x000000008000007c, 0x0000000055555556,
56   0x00000000555555d3, 0x0000000033333334,
57   0x00000000333333b1, 0x0000000000008000,
58   0x000000000000807d, 0x0000000000007fff,
59   0x000000000000807c, 0x0000000000007ffe,
60   0x000000000000807b, 0x0000000000007ffd,
61   0x000000000000807a, 0x0000000000000080,
62   0x00000000000000fd, 0x000000000000007f,
63   0x00000000000000fc, 0x000000000000007e,
64   0x00000000000000fb, 0x000000000000007d,
65   0x00000000000000fa, 0x0000000000000020,
66   0x000000000000009d, 0x0000000000000003,
67   0x0000000000000080, 0x0000000000000002,
68   0x000000000000007f, 0x0000000000000001,
69   0x0000000000000001, 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, 0x0000000080000001,
85   0x0000000080000000, 0x0000000080000000,
86   0x000000007fffffff, 0x0000000055555557,
87   0x0000000055555556, 0x0000000033333335,
88   0x0000000033333334, 0x0000000000008001,
89   0x0000000000008000, 0x0000000000008000,
90   0x0000000000007fff, 0x0000000000007fff,
91   0x0000000000007ffe, 0x0000000000007ffe,
92   0x0000000000007ffd, 0x0000000000000081,
93   0x0000000000000080, 0x0000000000000080,
94   0x000000000000007f, 0x000000000000007f,
95   0x000000000000007e, 0x000000000000007e,
96   0x000000000000007d, 0x0000000000000021,
97   0x0000000000000020, 0x0000000000000004,
98   0x0000000000000003, 0x0000000000000003,
99   0x0000000000000002, 0x0000000000000002,
100   0x0000000000000002, 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, 0x0000000080000002,
116   0x0000000080000001, 0x0000000080000001,
117   0x0000000080000000, 0x0000000055555558,
118   0x0000000055555557, 0x0000000033333336,
119   0x0000000033333335, 0x0000000000008002,
120   0x0000000000008001, 0x0000000000008001,
121   0x0000000000008000, 0x0000000000008000,
122   0x0000000000007fff, 0x0000000000007fff,
123   0x0000000000007ffe, 0x0000000000000082,
124   0x0000000000000081, 0x0000000000000081,
125   0x0000000000000080, 0x0000000000000080,
126   0x000000000000007f, 0x000000000000007f,
127   0x000000000000007e, 0x0000000000000022,
128   0x0000000000000021, 0x0000000000000005,
129   0x0000000000000004, 0x0000000000000004,
130   0x0000000000000003, 0x0000000000000003,
131   0x0000000000000003, 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, 0x0000000080000040,
147   0x0000000080000002, 0x000000008000003f,
148   0x0000000080000001, 0x0000000055555596,
149   0x0000000055555558, 0x0000000033333374,
150   0x0000000033333336, 0x0000000000008040,
151   0x0000000000008002, 0x000000000000803f,
152   0x0000000000008001, 0x000000000000803e,
153   0x0000000000008000, 0x000000000000803d,
154   0x0000000000007fff, 0x00000000000000c0,
155   0x0000000000000082, 0x00000000000000bf,
156   0x0000000000000081, 0x00000000000000be,
157   0x0000000000000080, 0x00000000000000bd,
158   0x000000000000007f, 0x0000000000000060,
159   0x0000000000000022, 0x0000000000000043,
160   0x0000000000000005, 0x0000000000000042,
161   0x0000000000000004, 0x0000000000000041,
162   0x0000000000000041, 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, 0x000000008000007d,
178   0x0000000080000040, 0x000000008000007c,
179   0x000000008000003f, 0x00000000555555d3,
180   0x0000000055555596, 0x00000000333333b1,
181   0x0000000033333374, 0x000000000000807d,
182   0x0000000000008040, 0x000000000000807c,
183   0x000000000000803f, 0x000000000000807b,
184   0x000000000000803e, 0x000000000000807a,
185   0x000000000000803d, 0x00000000000000fd,
186   0x00000000000000c0, 0x00000000000000fc,
187   0x00000000000000bf, 0x00000000000000fb,
188   0x00000000000000be, 0x00000000000000fa,
189   0x00000000000000bd, 0x000000000000009d,
190   0x0000000000000060, 0x0000000000000080,
191   0x0000000000000043, 0x000000000000007f,
192   0x0000000000000042, 0x000000000000007e,
193   0x000000000000007e, 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, 0x000000008000007e,
209   0x000000008000007d, 0x000000008000007d,
210   0x000000008000007c, 0x00000000555555d4,
211   0x00000000555555d3, 0x00000000333333b2,
212   0x00000000333333b1, 0x000000000000807e,
213   0x000000000000807d, 0x000000000000807d,
214   0x000000000000807c, 0x000000000000807c,
215   0x000000000000807b, 0x000000000000807b,
216   0x000000000000807a, 0x00000000000000fe,
217   0x00000000000000fd, 0x00000000000000fd,
218   0x00000000000000fc, 0x00000000000000fc,
219   0x00000000000000fb, 0x00000000000000fb,
220   0x00000000000000fa, 0x000000000000009e,
221   0x000000000000009d, 0x0000000000000081,
222   0x0000000000000080, 0x0000000000000080,
223   0x000000000000007f, 0x000000000000007f,
224   0x000000000000007f, 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, 0x000000008000007f,
240   0x000000008000007e, 0x000000008000007e,
241   0x000000008000007d, 0x00000000555555d5,
242   0x00000000555555d4, 0x00000000333333b3,
243   0x00000000333333b2, 0x000000000000807f,
244   0x000000000000807e, 0x000000000000807e,
245   0x000000000000807d, 0x000000000000807d,
246   0x000000000000807c, 0x000000000000807c,
247   0x000000000000807b, 0x00000000000000ff,
248   0x00000000000000fe, 0x00000000000000fe,
249   0x00000000000000fd, 0x00000000000000fd,
250   0x00000000000000fc, 0x00000000000000fc,
251   0x00000000000000fb, 0x000000000000009f,
252   0x000000000000009e, 0x0000000000000082,
253   0x0000000000000081, 0x0000000000000081,
254   0x0000000000000080, 0x0000000000000080,
255   0x0000000000000080, 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, 0x0000000080007ffd,
271   0x000000008000007f, 0x0000000080007ffc,
272   0x000000008000007e, 0x000000005555d553,
273   0x00000000555555d5, 0x000000003333b331,
274   0x00000000333333b3, 0x000000000000fffd,
275   0x000000000000807f, 0x000000000000fffc,
276   0x000000000000807e, 0x000000000000fffb,
277   0x000000000000807d, 0x000000000000fffa,
278   0x000000000000807c, 0x000000000000807d,
279   0x00000000000000ff, 0x000000000000807c,
280   0x00000000000000fe, 0x000000000000807b,
281   0x00000000000000fd, 0x000000000000807a,
282   0x00000000000000fc, 0x000000000000801d,
283   0x000000000000009f, 0x0000000000008000,
284   0x0000000000000082, 0x0000000000007fff,
285   0x0000000000000081, 0x0000000000007ffe,
286   0x0000000000007ffe, 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, 0x0000000080007ffe,
302   0x0000000080007ffd, 0x0000000080007ffd,
303   0x0000000080007ffc, 0x000000005555d554,
304   0x000000005555d553, 0x000000003333b332,
305   0x000000003333b331, 0x000000000000fffe,
306   0x000000000000fffd, 0x000000000000fffd,
307   0x000000000000fffc, 0x000000000000fffc,
308   0x000000000000fffb, 0x000000000000fffb,
309   0x000000000000fffa, 0x000000000000807e,
310   0x000000000000807d, 0x000000000000807d,
311   0x000000000000807c, 0x000000000000807c,
312   0x000000000000807b, 0x000000000000807b,
313   0x000000000000807a, 0x000000000000801e,
314   0x000000000000801d, 0x0000000000008001,
315   0x0000000000008000, 0x0000000000008000,
316   0x0000000000007fff, 0x0000000000007fff,
317   0x0000000000007fff, 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, 0x0000000080007fff,
333   0x0000000080007ffe, 0x0000000080007ffe,
334   0x0000000080007ffd, 0x000000005555d555,
335   0x000000005555d554, 0x000000003333b333,
336   0x000000003333b332, 0x000000000000ffff,
337   0x000000000000fffe, 0x000000000000fffe,
338   0x000000000000fffd, 0x000000000000fffd,
339   0x000000000000fffc, 0x000000000000fffc,
340   0x000000000000fffb, 0x000000000000807f,
341   0x000000000000807e, 0x000000000000807e,
342   0x000000000000807d, 0x000000000000807d,
343   0x000000000000807c, 0x000000000000807c,
344   0x000000000000807b, 0x000000000000801f,
345   0x000000000000801e, 0x0000000000008002,
346   0x0000000000008001, 0x0000000000008001,
347   0x0000000000008000, 0x0000000000008000,
348   0x0000000000008000, 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, 0x00000000fffffffd,
364   0x0000000080007fff, 0x00000000fffffffc,
365   0x0000000080007ffe, 0x00000000d5555553,
366   0x000000005555d555, 0x00000000b3333331,
367   0x000000003333b333, 0x0000000080007ffd,
368   0x000000000000ffff, 0x0000000080007ffc,
369   0x000000000000fffe, 0x0000000080007ffb,
370   0x000000000000fffd, 0x0000000080007ffa,
371   0x000000000000fffc, 0x000000008000007d,
372   0x000000000000807f, 0x000000008000007c,
373   0x000000000000807e, 0x000000008000007b,
374   0x000000000000807d, 0x000000008000007a,
375   0x000000000000807c, 0x000000008000001d,
376   0x000000000000801f, 0x0000000080000000,
377   0x0000000000008002, 0x000000007fffffff,
378   0x0000000000008001, 0x000000007ffffffe,
379   0x000000007ffffffe, 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, 0x00000000fffffffe,
395   0x00000000fffffffd, 0x00000000fffffffd,
396   0x00000000fffffffc, 0x00000000d5555554,
397   0x00000000d5555553, 0x00000000b3333332,
398   0x00000000b3333331, 0x0000000080007ffe,
399   0x0000000080007ffd, 0x0000000080007ffd,
400   0x0000000080007ffc, 0x0000000080007ffc,
401   0x0000000080007ffb, 0x0000000080007ffb,
402   0x0000000080007ffa, 0x000000008000007e,
403   0x000000008000007d, 0x000000008000007d,
404   0x000000008000007c, 0x000000008000007c,
405   0x000000008000007b, 0x000000008000007b,
406   0x000000008000007a, 0x000000008000001e,
407   0x000000008000001d, 0x0000000080000001,
408   0x0000000080000000, 0x0000000080000000,
409   0x000000007fffffff, 0x000000007fffffff,
410   0x000000007fffffff, 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, 0x00000000ffffffff,
426   0x00000000fffffffe, 0x00000000fffffffe,
427   0x00000000fffffffd, 0x00000000d5555555,
428   0x00000000d5555554, 0x00000000b3333333,
429   0x00000000b3333332, 0x0000000080007fff,
430   0x0000000080007ffe, 0x0000000080007ffe,
431   0x0000000080007ffd, 0x0000000080007ffd,
432   0x0000000080007ffc, 0x0000000080007ffc,
433   0x0000000080007ffb, 0x000000008000007f,
434   0x000000008000007e, 0x000000008000007e,
435   0x000000008000007d, 0x000000008000007d,
436   0x000000008000007c, 0x000000008000007c,
437   0x000000008000007b, 0x000000008000001f,
438   0x000000008000001e, 0x0000000080000002,
439   0x0000000080000001, 0x0000000080000001,
440   0x0000000080000000, 0x0000000080000000,
441   0x0000000080000000, 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, 0x33333333b3333333,
457   0x00000000ffffffff, 0x33333333b3333332,
458   0x00000000fffffffe, 0x3333333388888889,
459   0x00000000d5555555, 0x3333333366666667,
460   0x00000000b3333333, 0x333333333333b333,
461   0x0000000080007fff, 0x333333333333b332,
462   0x0000000080007ffe, 0x333333333333b331,
463   0x0000000080007ffd, 0x333333333333b330,
464   0x0000000080007ffc, 0x33333333333333b3,
465   0x000000008000007f, 0x33333333333333b2,
466   0x000000008000007e, 0x33333333333333b1,
467   0x000000008000007d, 0x33333333333333b0,
468   0x000000008000007c, 0x3333333333333353,
469   0x000000008000001f, 0x3333333333333336,
470   0x0000000080000002, 0x3333333333333335,
471   0x0000000080000001, 0x3333333333333334,
472   0x3333333333333334, 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, 0x55555555d5555555,
488   0x33333333b3333333, 0x55555555d5555554,
489   0x33333333b3333332, 0x55555555aaaaaaab,
490   0x3333333388888889, 0x5555555588888889,
491   0x3333333366666667, 0x555555555555d555,
492   0x333333333333b333, 0x555555555555d554,
493   0x333333333333b332, 0x555555555555d553,
494   0x333333333333b331, 0x555555555555d552,
495   0x333333333333b330, 0x55555555555555d5,
496   0x33333333333333b3, 0x55555555555555d4,
497   0x33333333333333b2, 0x55555555555555d3,
498   0x33333333333333b1, 0x55555555555555d2,
499   0x33333333333333b0, 0x5555555555555575,
500   0x3333333333333353, 0x5555555555555558,
501   0x3333333333333336, 0x5555555555555557,
502   0x3333333333333335, 0x5555555555555556,
503   0x5555555555555556, 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, 0x800000007ffffffd,
519   0x55555555d5555555, 0x800000007ffffffc,
520   0x55555555d5555554, 0x8000000055555553,
521   0x55555555aaaaaaab, 0x8000000033333331,
522   0x5555555588888889, 0x8000000000007ffd,
523   0x555555555555d555, 0x8000000000007ffc,
524   0x555555555555d554, 0x8000000000007ffb,
525   0x555555555555d553, 0x8000000000007ffa,
526   0x555555555555d552, 0x800000000000007d,
527   0x55555555555555d5, 0x800000000000007c,
528   0x55555555555555d4, 0x800000000000007b,
529   0x55555555555555d3, 0x800000000000007a,
530   0x55555555555555d2, 0x800000000000001d,
531   0x5555555555555575, 0x8000000000000000,
532   0x5555555555555558, 0x7fffffffffffffff,
533   0x5555555555555557, 0x7ffffffffffffffe,
534   0x7ffffffffffffffe, 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, 0x800000007ffffffe,
550   0x800000007ffffffd, 0x800000007ffffffd,
551   0x800000007ffffffc, 0x8000000055555554,
552   0x8000000055555553, 0x8000000033333332,
553   0x8000000033333331, 0x8000000000007ffe,
554   0x8000000000007ffd, 0x8000000000007ffd,
555   0x8000000000007ffc, 0x8000000000007ffc,
556   0x8000000000007ffb, 0x8000000000007ffb,
557   0x8000000000007ffa, 0x800000000000007e,
558   0x800000000000007d, 0x800000000000007d,
559   0x800000000000007c, 0x800000000000007c,
560   0x800000000000007b, 0x800000000000007b,
561   0x800000000000007a, 0x800000000000001e,
562   0x800000000000001d, 0x8000000000000001,
563   0x8000000000000000, 0x8000000000000000,
564   0x7fffffffffffffff, 0x7fffffffffffffff,
565   0x7fffffffffffffff, 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, 0x800000007fffffff,
581   0x800000007ffffffe, 0x800000007ffffffe,
582   0x800000007ffffffd, 0x8000000055555555,
583   0x8000000055555554, 0x8000000033333333,
584   0x8000000033333332, 0x8000000000007fff,
585   0x8000000000007ffe, 0x8000000000007ffe,
586   0x8000000000007ffd, 0x8000000000007ffd,
587   0x8000000000007ffc, 0x8000000000007ffc,
588   0x8000000000007ffb, 0x800000000000007f,
589   0x800000000000007e, 0x800000000000007e,
590   0x800000000000007d, 0x800000000000007d,
591   0x800000000000007c, 0x800000000000007c,
592   0x800000000000007b, 0x800000000000001f,
593   0x800000000000001e, 0x8000000000000002,
594   0x8000000000000001, 0x8000000000000001,
595   0x8000000000000000, 0x8000000000000000,
596   0x8000000000000000, 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, 0x8000000080000000,
612   0x800000007fffffff, 0x800000007fffffff,
613   0x800000007ffffffe, 0x8000000055555556,
614   0x8000000055555555, 0x8000000033333334,
615   0x8000000033333333, 0x8000000000008000,
616   0x8000000000007fff, 0x8000000000007fff,
617   0x8000000000007ffe, 0x8000000000007ffe,
618   0x8000000000007ffd, 0x8000000000007ffd,
619   0x8000000000007ffc, 0x8000000000000080,
620   0x800000000000007f, 0x800000000000007f,
621   0x800000000000007e, 0x800000000000007e,
622   0x800000000000007d, 0x800000000000007d,
623   0x800000000000007c, 0x8000000000000020,
624   0x800000000000001f, 0x8000000000000003,
625   0x8000000000000002, 0x8000000000000002,
626   0x8000000000000001, 0x8000000000000001,
627   0x8000000000000001, 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, 0x8000000080000001,
643   0x8000000080000000, 0x8000000080000000,
644   0x800000007fffffff, 0x8000000055555557,
645   0x8000000055555556, 0x8000000033333335,
646   0x8000000033333334, 0x8000000000008001,
647   0x8000000000008000, 0x8000000000008000,
648   0x8000000000007fff, 0x8000000000007fff,
649   0x8000000000007ffe, 0x8000000000007ffe,
650   0x8000000000007ffd, 0x8000000000000081,
651   0x8000000000000080, 0x8000000000000080,
652   0x800000000000007f, 0x800000000000007f,
653   0x800000000000007e, 0x800000000000007e,
654   0x800000000000007d, 0x8000000000000021,
655   0x8000000000000020, 0x8000000000000004,
656   0x8000000000000003, 0x8000000000000003,
657   0x8000000000000002, 0x8000000000000002,
658   0x8000000000000002, 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, 0x8000000080000002,
674   0x8000000080000001, 0x8000000080000001,
675   0x8000000080000000, 0x8000000055555558,
676   0x8000000055555557, 0x8000000033333336,
677   0x8000000033333335, 0x8000000000008002,
678   0x8000000000008001, 0x8000000000008001,
679   0x8000000000008000, 0x8000000000008000,
680   0x8000000000007fff, 0x8000000000007fff,
681   0x8000000000007ffe, 0x8000000000000082,
682   0x8000000000000081, 0x8000000000000081,
683   0x8000000000000080, 0x8000000000000080,
684   0x800000000000007f, 0x800000000000007f,
685   0x800000000000007e, 0x8000000000000022,
686   0x8000000000000021, 0x8000000000000005,
687   0x8000000000000004, 0x8000000000000004,
688   0x8000000000000003, 0x8000000000000003,
689   0x8000000000000003, 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, 0x8000000080000003,
705   0x8000000080000002, 0x8000000080000002,
706   0x8000000080000001, 0x8000000055555559,
707   0x8000000055555558, 0x8000000033333337,
708   0x8000000033333336, 0x8000000000008003,
709   0x8000000000008002, 0x8000000000008002,
710   0x8000000000008001, 0x8000000000008001,
711   0x8000000000008000, 0x8000000000008000,
712   0x8000000000007fff, 0x8000000000000083,
713   0x8000000000000082, 0x8000000000000082,
714   0x8000000000000081, 0x8000000000000081,
715   0x8000000000000080, 0x8000000000000080,
716   0x800000000000007f, 0x8000000000000023,
717   0x8000000000000022, 0x8000000000000006,
718   0x8000000000000005, 0x8000000000000005,
719   0x8000000000000004, 0x8000000000000004,
720   0x8000000000000004, 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, 0xaaaaaaab2aaaaaaa,
736   0x8000000080000003, 0xaaaaaaab2aaaaaa9,
737   0x8000000080000002, 0xaaaaaaab00000000,
738   0x8000000055555559, 0xaaaaaaaaddddddde,
739   0x8000000033333337, 0xaaaaaaaaaaab2aaa,
740   0x8000000000008003, 0xaaaaaaaaaaab2aa9,
741   0x8000000000008002, 0xaaaaaaaaaaab2aa8,
742   0x8000000000008001, 0xaaaaaaaaaaab2aa7,
743   0x8000000000008000, 0xaaaaaaaaaaaaab2a,
744   0x8000000000000083, 0xaaaaaaaaaaaaab29,
745   0x8000000000000082, 0xaaaaaaaaaaaaab28,
746   0x8000000000000081, 0xaaaaaaaaaaaaab27,
747   0x8000000000000080, 0xaaaaaaaaaaaaaaca,
748   0x8000000000000023, 0xaaaaaaaaaaaaaaad,
749   0x8000000000000006, 0xaaaaaaaaaaaaaaac,
750   0x8000000000000005, 0xaaaaaaaaaaaaaaab,
751   0xaaaaaaaaaaaaaaab, 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, 0xcccccccd4ccccccc,
767   0xaaaaaaab2aaaaaaa, 0xcccccccd4ccccccb,
768   0xaaaaaaab2aaaaaa9, 0xcccccccd22222222,
769   0xaaaaaaab00000000, 0xcccccccd00000000,
770   0xaaaaaaaaddddddde, 0xcccccccccccd4ccc,
771   0xaaaaaaaaaaab2aaa, 0xcccccccccccd4ccb,
772   0xaaaaaaaaaaab2aa9, 0xcccccccccccd4cca,
773   0xaaaaaaaaaaab2aa8, 0xcccccccccccd4cc9,
774   0xaaaaaaaaaaab2aa7, 0xcccccccccccccd4c,
775   0xaaaaaaaaaaaaab2a, 0xcccccccccccccd4b,
776   0xaaaaaaaaaaaaab29, 0xcccccccccccccd4a,
777   0xaaaaaaaaaaaaab28, 0xcccccccccccccd49,
778   0xaaaaaaaaaaaaab27, 0xccccccccccccccec,
779   0xaaaaaaaaaaaaaaca, 0xcccccccccccccccf,
780   0xaaaaaaaaaaaaaaad, 0xccccccccccccccce,
781   0xaaaaaaaaaaaaaaac, 0xcccccccccccccccd,
782   0xcccccccccccccccd, 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, 0x0000000000000000,
798   0xcccccccd4ccccccc, 0xffffffffffffffff,
799   0xcccccccd4ccccccb, 0xffffffffd5555556,
800   0xcccccccd22222222, 0xffffffffb3333334,
801   0xcccccccd00000000, 0xffffffff80008000,
802   0xcccccccccccd4ccc, 0xffffffff80007fff,
803   0xcccccccccccd4ccb, 0xffffffff80007ffe,
804   0xcccccccccccd4cca, 0xffffffff80007ffd,
805   0xcccccccccccd4cc9, 0xffffffff80000080,
806   0xcccccccccccccd4c, 0xffffffff8000007f,
807   0xcccccccccccccd4b, 0xffffffff8000007e,
808   0xcccccccccccccd4a, 0xffffffff8000007d,
809   0xcccccccccccccd49, 0xffffffff80000020,
810   0xccccccccccccccec, 0xffffffff80000003,
811   0xcccccccccccccccf, 0xffffffff80000002,
812   0xccccccccccccccce, 0xffffffff80000001,
813   0xffffffff80000001, 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, 0x0000000000000001,
829   0x0000000000000000, 0x0000000000000000,
830   0xffffffffffffffff, 0xffffffffd5555557,
831   0xffffffffd5555556, 0xffffffffb3333335,
832   0xffffffffb3333334, 0xffffffff80008001,
833   0xffffffff80008000, 0xffffffff80008000,
834   0xffffffff80007fff, 0xffffffff80007fff,
835   0xffffffff80007ffe, 0xffffffff80007ffe,
836   0xffffffff80007ffd, 0xffffffff80000081,
837   0xffffffff80000080, 0xffffffff80000080,
838   0xffffffff8000007f, 0xffffffff8000007f,
839   0xffffffff8000007e, 0xffffffff8000007e,
840   0xffffffff8000007d, 0xffffffff80000021,
841   0xffffffff80000020, 0xffffffff80000004,
842   0xffffffff80000003, 0xffffffff80000003,
843   0xffffffff80000002, 0xffffffff80000002,
844   0xffffffff80000002, 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, 0x0000000000000002,
860   0x0000000000000001, 0x0000000000000001,
861   0x0000000000000000, 0xffffffffd5555558,
862   0xffffffffd5555557, 0xffffffffb3333336,
863   0xffffffffb3333335, 0xffffffff80008002,
864   0xffffffff80008001, 0xffffffff80008001,
865   0xffffffff80008000, 0xffffffff80008000,
866   0xffffffff80007fff, 0xffffffff80007fff,
867   0xffffffff80007ffe, 0xffffffff80000082,
868   0xffffffff80000081, 0xffffffff80000081,
869   0xffffffff80000080, 0xffffffff80000080,
870   0xffffffff8000007f, 0xffffffff8000007f,
871   0xffffffff8000007e, 0xffffffff80000022,
872   0xffffffff80000021, 0xffffffff80000005,
873   0xffffffff80000004, 0xffffffff80000004,
874   0xffffffff80000003, 0xffffffff80000003,
875   0xffffffff80000003, 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, 0x0000000000000003,
891   0x0000000000000002, 0x0000000000000002,
892   0x0000000000000001, 0xffffffffd5555559,
893   0xffffffffd5555558, 0xffffffffb3333337,
894   0xffffffffb3333336, 0xffffffff80008003,
895   0xffffffff80008002, 0xffffffff80008002,
896   0xffffffff80008001, 0xffffffff80008001,
897   0xffffffff80008000, 0xffffffff80008000,
898   0xffffffff80007fff, 0xffffffff80000083,
899   0xffffffff80000082, 0xffffffff80000082,
900   0xffffffff80000081, 0xffffffff80000081,
901   0xffffffff80000080, 0xffffffff80000080,
902   0xffffffff8000007f, 0xffffffff80000023,
903   0xffffffff80000022, 0xffffffff80000006,
904   0xffffffff80000005, 0xffffffff80000005,
905   0xffffffff80000004, 0xffffffff80000004,
906   0xffffffff80000004, 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, 0x000000007fff8000,
922   0x0000000000000003, 0x000000007fff7fff,
923   0x0000000000000002, 0x000000005554d556,
924   0xffffffffd5555559, 0x000000003332b334,
925   0xffffffffb3333337, 0x0000000000000000,
926   0xffffffff80008003, 0xffffffffffffffff,
927   0xffffffff80008002, 0xfffffffffffffffe,
928   0xffffffff80008001, 0xfffffffffffffffd,
929   0xffffffff80008000, 0xffffffffffff8080,
930   0xffffffff80000083, 0xffffffffffff807f,
931   0xffffffff80000082, 0xffffffffffff807e,
932   0xffffffff80000081, 0xffffffffffff807d,
933   0xffffffff80000080, 0xffffffffffff8020,
934   0xffffffff80000023, 0xffffffffffff8003,
935   0xffffffff80000006, 0xffffffffffff8002,
936   0xffffffff80000005, 0xffffffffffff8001,
937   0xffffffffffff8001, 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, 0x000000007fff8001,
953   0x000000007fff8000, 0x000000007fff8000,
954   0x000000007fff7fff, 0x000000005554d557,
955   0x000000005554d556, 0x000000003332b335,
956   0x000000003332b334, 0x0000000000000001,
957   0x0000000000000000, 0x0000000000000000,
958   0xffffffffffffffff, 0xffffffffffffffff,
959   0xfffffffffffffffe, 0xfffffffffffffffe,
960   0xfffffffffffffffd, 0xffffffffffff8081,
961   0xffffffffffff8080, 0xffffffffffff8080,
962   0xffffffffffff807f, 0xffffffffffff807f,
963   0xffffffffffff807e, 0xffffffffffff807e,
964   0xffffffffffff807d, 0xffffffffffff8021,
965   0xffffffffffff8020, 0xffffffffffff8004,
966   0xffffffffffff8003, 0xffffffffffff8003,
967   0xffffffffffff8002, 0xffffffffffff8002,
968   0xffffffffffff8002, 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, 0x000000007fff8002,
984   0x000000007fff8001, 0x000000007fff8001,
985   0x000000007fff8000, 0x000000005554d558,
986   0x000000005554d557, 0x000000003332b336,
987   0x000000003332b335, 0x0000000000000002,
988   0x0000000000000001, 0x0000000000000001,
989   0x0000000000000000, 0x0000000000000000,
990   0xffffffffffffffff, 0xffffffffffffffff,
991   0xfffffffffffffffe, 0xffffffffffff8082,
992   0xffffffffffff8081, 0xffffffffffff8081,
993   0xffffffffffff8080, 0xffffffffffff8080,
994   0xffffffffffff807f, 0xffffffffffff807f,
995   0xffffffffffff807e, 0xffffffffffff8022,
996   0xffffffffffff8021, 0xffffffffffff8005,
997   0xffffffffffff8004, 0xffffffffffff8004,
998   0xffffffffffff8003, 0xffffffffffff8003,
999   0xffffffffffff8003, 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, 0x000000007fff8003,
1015   0x000000007fff8002, 0x000000007fff8002,
1016   0x000000007fff8001, 0x000000005554d559,
1017   0x000000005554d558, 0x000000003332b337,
1018   0x000000003332b336, 0x0000000000000003,
1019   0x0000000000000002, 0x0000000000000002,
1020   0x0000000000000001, 0x0000000000000001,
1021   0x0000000000000000, 0x0000000000000000,
1022   0xffffffffffffffff, 0xffffffffffff8083,
1023   0xffffffffffff8082, 0xffffffffffff8082,
1024   0xffffffffffff8081, 0xffffffffffff8081,
1025   0xffffffffffff8080, 0xffffffffffff8080,
1026   0xffffffffffff807f, 0xffffffffffff8023,
1027   0xffffffffffff8022, 0xffffffffffff8006,
1028   0xffffffffffff8005, 0xffffffffffff8005,
1029   0xffffffffffff8004, 0xffffffffffff8004,
1030   0xffffffffffff8004, 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, 0x000000007fffff80,
1046   0x000000007fff8003, 0x000000007fffff7f,
1047   0x000000007fff8002, 0x00000000555554d6,
1048   0x000000005554d559, 0x00000000333332b4,
1049   0x000000003332b337, 0x0000000000007f80,
1050   0x0000000000000003, 0x0000000000007f7f,
1051   0x0000000000000002, 0x0000000000007f7e,
1052   0x0000000000000001, 0x0000000000007f7d,
1053   0x0000000000000000, 0x0000000000000000,
1054   0xffffffffffff8083, 0xffffffffffffffff,
1055   0xffffffffffff8082, 0xfffffffffffffffe,
1056   0xffffffffffff8081, 0xfffffffffffffffd,
1057   0xffffffffffff8080, 0xffffffffffffffa0,
1058   0xffffffffffff8023, 0xffffffffffffff83,
1059   0xffffffffffff8006, 0xffffffffffffff82,
1060   0xffffffffffff8005, 0xffffffffffffff81,
1061   0xffffffffffffff81, 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, 0x000000007fffff81,
1077   0x000000007fffff80, 0x000000007fffff80,
1078   0x000000007fffff7f, 0x00000000555554d7,
1079   0x00000000555554d6, 0x00000000333332b5,
1080   0x00000000333332b4, 0x0000000000007f81,
1081   0x0000000000007f80, 0x0000000000007f80,
1082   0x0000000000007f7f, 0x0000000000007f7f,
1083   0x0000000000007f7e, 0x0000000000007f7e,
1084   0x0000000000007f7d, 0x0000000000000001,
1085   0x0000000000000000, 0x0000000000000000,
1086   0xffffffffffffffff, 0xffffffffffffffff,
1087   0xfffffffffffffffe, 0xfffffffffffffffe,
1088   0xfffffffffffffffd, 0xffffffffffffffa1,
1089   0xffffffffffffffa0, 0xffffffffffffff84,
1090   0xffffffffffffff83, 0xffffffffffffff83,
1091   0xffffffffffffff82, 0xffffffffffffff82,
1092   0xffffffffffffff82, 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, 0x000000007fffff82,
1108   0x000000007fffff81, 0x000000007fffff81,
1109   0x000000007fffff80, 0x00000000555554d8,
1110   0x00000000555554d7, 0x00000000333332b6,
1111   0x00000000333332b5, 0x0000000000007f82,
1112   0x0000000000007f81, 0x0000000000007f81,
1113   0x0000000000007f80, 0x0000000000007f80,
1114   0x0000000000007f7f, 0x0000000000007f7f,
1115   0x0000000000007f7e, 0x0000000000000002,
1116   0x0000000000000001, 0x0000000000000001,
1117   0x0000000000000000, 0x0000000000000000,
1118   0xffffffffffffffff, 0xffffffffffffffff,
1119   0xfffffffffffffffe, 0xffffffffffffffa2,
1120   0xffffffffffffffa1, 0xffffffffffffff85,
1121   0xffffffffffffff84, 0xffffffffffffff84,
1122   0xffffffffffffff83, 0xffffffffffffff83,
1123   0xffffffffffffff83, 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, 0x000000007fffff83,
1139   0x000000007fffff82, 0x000000007fffff82,
1140   0x000000007fffff81, 0x00000000555554d9,
1141   0x00000000555554d8, 0x00000000333332b7,
1142   0x00000000333332b6, 0x0000000000007f83,
1143   0x0000000000007f82, 0x0000000000007f82,
1144   0x0000000000007f81, 0x0000000000007f81,
1145   0x0000000000007f80, 0x0000000000007f80,
1146   0x0000000000007f7f, 0x0000000000000003,
1147   0x0000000000000002, 0x0000000000000002,
1148   0x0000000000000001, 0x0000000000000001,
1149   0x0000000000000000, 0x0000000000000000,
1150   0xffffffffffffffff, 0xffffffffffffffa3,
1151   0xffffffffffffffa2, 0xffffffffffffff86,
1152   0xffffffffffffff85, 0xffffffffffffff85,
1153   0xffffffffffffff84, 0xffffffffffffff84,
1154   0xffffffffffffff84, 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, 0x000000007fffffc0,
1170   0x000000007fffff83, 0x000000007fffffbf,
1171   0x000000007fffff82, 0x0000000055555516,
1172   0x00000000555554d9, 0x00000000333332f4,
1173   0x00000000333332b7, 0x0000000000007fc0,
1174   0x0000000000007f83, 0x0000000000007fbf,
1175   0x0000000000007f82, 0x0000000000007fbe,
1176   0x0000000000007f81, 0x0000000000007fbd,
1177   0x0000000000007f80, 0x0000000000000040,
1178   0x0000000000000003, 0x000000000000003f,
1179   0x0000000000000002, 0x000000000000003e,
1180   0x0000000000000001, 0x000000000000003d,
1181   0x0000000000000000, 0xffffffffffffffe0,
1182   0xffffffffffffffa3, 0xffffffffffffffc3,
1183   0xffffffffffffff86, 0xffffffffffffffc2,
1184   0xffffffffffffff85, 0xffffffffffffffc1,
1185   0xffffffffffffffc1, 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, 0x000000007ffffffd,
1201   0x000000007fffffc0, 0x000000007ffffffc,
1202   0x000000007fffffbf, 0x0000000055555553,
1203   0x0000000055555516, 0x0000000033333331,
1204   0x00000000333332f4, 0x0000000000007ffd,
1205   0x0000000000007fc0, 0x0000000000007ffc,
1206   0x0000000000007fbf, 0x0000000000007ffb,
1207   0x0000000000007fbe, 0x0000000000007ffa,
1208   0x0000000000007fbd, 0x000000000000007d,
1209   0x0000000000000040, 0x000000000000007c,
1210   0x000000000000003f, 0x000000000000007b,
1211   0x000000000000003e, 0x000000000000007a,
1212   0x000000000000003d, 0x000000000000001d,
1213   0xffffffffffffffe0, 0x0000000000000000,
1214   0xffffffffffffffc3, 0xffffffffffffffff,
1215   0xffffffffffffffc2, 0xfffffffffffffffe,
1216   0xfffffffffffffffe, 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, 0x000000007ffffffe,
1232   0x000000007ffffffd, 0x000000007ffffffd,
1233   0x000000007ffffffc, 0x0000000055555554,
1234   0x0000000055555553, 0x0000000033333332,
1235   0x0000000033333331, 0x0000000000007ffe,
1236   0x0000000000007ffd, 0x0000000000007ffd,
1237   0x0000000000007ffc, 0x0000000000007ffc,
1238   0x0000000000007ffb, 0x0000000000007ffb,
1239   0x0000000000007ffa, 0x000000000000007e,
1240   0x000000000000007d, 0x000000000000007d,
1241   0x000000000000007c, 0x000000000000007c,
1242   0x000000000000007b, 0x000000000000007b,
1243   0x000000000000007a, 0x000000000000001e,
1244   0x000000000000001d, 0x0000000000000001,
1245   0x0000000000000000, 0x0000000000000000,
1246   0xffffffffffffffff, 0xffffffffffffffff,
1247   0xffffffffffffffff, 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, 0x000000007fffffff,
1263   0x000000007ffffffe, 0x000000007ffffffe,
1264   0x000000007ffffffd, 0x0000000055555555,
1265   0x0000000055555554, 0x0000000033333333,
1266   0x0000000033333332, 0x0000000000007fff,
1267   0x0000000000007ffe, 0x0000000000007ffe,
1268   0x0000000000007ffd, 0x0000000000007ffd,
1269   0x0000000000007ffc, 0x0000000000007ffc,
1270   0x0000000000007ffb, 0x000000000000007f,
1271   0x000000000000007e, 0x000000000000007e,
1272   0x000000000000007d, 0x000000000000007d,
1273   0x000000000000007c, 0x000000000000007c,
1274   0x000000000000007b, 0x000000000000001f,
1275   0x000000000000001e, 0x0000000000000002,
1276   0x0000000000000001, 0x0000000000000001,
1277   0x0000000000000000, 0x0000000000000000,
1278 };
1279 const unsigned kExpectedCount_NEON_ssubw2_2D = 1240;
1280 
1281 #endif  // VIXL_SIM_SSUBW2_2D_TRACE_AARCH64_H_
1282