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_SADDW2_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_SADDW2_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_saddw2_2D[] = {
38  0x00000000007ffd7d, 0x0000000000000000,
39  0x000000000000007d, 0x0000000000000001,
40  0x000000000000007e, 0x0000000000000002,
41  0x000000000000007f, 0x0000000000000020,
42  0x000000000000009d, 0x000000000000007d,
43  0x00000000000000fa, 0x000000000000007e,
44  0x00000000000000fb, 0x000000000000007f,
45  0x00000000000000fc, 0x0000000000007ffd,
46  0x000000000000807a, 0x0000000000007ffe,
47  0x000000000000807b, 0x0000000000007fff,
48  0x000000000000807c, 0x0000000033333333,
49  0x00000000333333b0, 0x0000000055555555,
50  0x00000000555555d2, 0x000000007ffffffd,
51  0x000000008000007a, 0x000000007ffffffe,
52  0x000000008000007b, 0x000000007fffffff,
53  0x000000008000007c, 0xffffffff80000000,
54  0xffffffff8000007d, 0xffffffff80000001,
55  0xffffffff8000007e, 0xffffffffaaaaaaaa,
56  0xffffffffaaaaab27, 0xffffffffcccccccc,
57  0xffffffffcccccd49, 0xffffffffffff8000,
58  0xffffffffffff807d, 0xffffffffffff8001,
59  0xffffffffffff807e, 0xffffffffffff8002,
60  0xffffffffffff807f, 0xffffffffffff8003,
61  0xffffffffffff8080, 0xffffffffffffff80,
62  0xfffffffffffffffd, 0xffffffffffffff81,
63  0xfffffffffffffffe, 0xffffffffffffff82,
64  0xffffffffffffffff, 0xffffffffffffff83,
65  0x0000000000000000, 0xffffffffffffffe0,
66  0x000000000000005d, 0xfffffffffffffffd,
67  0x000000000000007a, 0xfffffffffffffffe,
68  0x000000000000007b, 0xffffffffffffffff,
69  0xffffffffffffffff, 0x0000000000000001,
70  0x0000000000000000, 0x0000000000000002,
71  0x0000000000000001, 0x0000000000000003,
72  0x0000000000000002, 0x0000000000000021,
73  0x0000000000000020, 0x000000000000007e,
74  0x000000000000007d, 0x000000000000007f,
75  0x000000000000007e, 0x0000000000000080,
76  0x000000000000007f, 0x0000000000007ffe,
77  0x0000000000007ffd, 0x0000000000007fff,
78  0x0000000000007ffe, 0x0000000000008000,
79  0x0000000000007fff, 0x0000000033333334,
80  0x0000000033333333, 0x0000000055555556,
81  0x0000000055555555, 0x000000007ffffffe,
82  0x000000007ffffffd, 0x000000007fffffff,
83  0x000000007ffffffe, 0x0000000080000000,
84  0x000000007fffffff, 0xffffffff80000001,
85  0xffffffff80000000, 0xffffffff80000002,
86  0xffffffff80000001, 0xffffffffaaaaaaab,
87  0xffffffffaaaaaaaa, 0xffffffffcccccccd,
88  0xffffffffcccccccc, 0xffffffffffff8001,
89  0xffffffffffff8000, 0xffffffffffff8002,
90  0xffffffffffff8001, 0xffffffffffff8003,
91  0xffffffffffff8002, 0xffffffffffff8004,
92  0xffffffffffff8003, 0xffffffffffffff81,
93  0xffffffffffffff80, 0xffffffffffffff82,
94  0xffffffffffffff81, 0xffffffffffffff83,
95  0xffffffffffffff82, 0xffffffffffffff84,
96  0xffffffffffffff83, 0xffffffffffffffe1,
97  0xffffffffffffffe0, 0xfffffffffffffffe,
98  0xfffffffffffffffd, 0xffffffffffffffff,
99  0xfffffffffffffffe, 0x0000000000000000,
100  0x0000000000000000, 0x0000000000000002,
101  0x0000000000000001, 0x0000000000000003,
102  0x0000000000000002, 0x0000000000000004,
103  0x0000000000000003, 0x0000000000000022,
104  0x0000000000000021, 0x000000000000007f,
105  0x000000000000007e, 0x0000000000000080,
106  0x000000000000007f, 0x0000000000000081,
107  0x0000000000000080, 0x0000000000007fff,
108  0x0000000000007ffe, 0x0000000000008000,
109  0x0000000000007fff, 0x0000000000008001,
110  0x0000000000008000, 0x0000000033333335,
111  0x0000000033333334, 0x0000000055555557,
112  0x0000000055555556, 0x000000007fffffff,
113  0x000000007ffffffe, 0x0000000080000000,
114  0x000000007fffffff, 0x0000000080000001,
115  0x0000000080000000, 0xffffffff80000002,
116  0xffffffff80000001, 0xffffffff80000003,
117  0xffffffff80000002, 0xffffffffaaaaaaac,
118  0xffffffffaaaaaaab, 0xffffffffccccccce,
119  0xffffffffcccccccd, 0xffffffffffff8002,
120  0xffffffffffff8001, 0xffffffffffff8003,
121  0xffffffffffff8002, 0xffffffffffff8004,
122  0xffffffffffff8003, 0xffffffffffff8005,
123  0xffffffffffff8004, 0xffffffffffffff82,
124  0xffffffffffffff81, 0xffffffffffffff83,
125  0xffffffffffffff82, 0xffffffffffffff84,
126  0xffffffffffffff83, 0xffffffffffffff85,
127  0xffffffffffffff84, 0xffffffffffffffe2,
128  0xffffffffffffffe1, 0xffffffffffffffff,
129  0xfffffffffffffffe, 0x0000000000000000,
130  0xffffffffffffffff, 0x0000000000000001,
131  0x0000000000000001, 0x0000000000000040,
132  0x0000000000000002, 0x0000000000000041,
133  0x0000000000000003, 0x0000000000000042,
134  0x0000000000000004, 0x0000000000000060,
135  0x0000000000000022, 0x00000000000000bd,
136  0x000000000000007f, 0x00000000000000be,
137  0x0000000000000080, 0x00000000000000bf,
138  0x0000000000000081, 0x000000000000803d,
139  0x0000000000007fff, 0x000000000000803e,
140  0x0000000000008000, 0x000000000000803f,
141  0x0000000000008001, 0x0000000033333373,
142  0x0000000033333335, 0x0000000055555595,
143  0x0000000055555557, 0x000000008000003d,
144  0x000000007fffffff, 0x000000008000003e,
145  0x0000000080000000, 0x000000008000003f,
146  0x0000000080000001, 0xffffffff80000040,
147  0xffffffff80000002, 0xffffffff80000041,
148  0xffffffff80000003, 0xffffffffaaaaaaea,
149  0xffffffffaaaaaaac, 0xffffffffcccccd0c,
150  0xffffffffccccccce, 0xffffffffffff8040,
151  0xffffffffffff8002, 0xffffffffffff8041,
152  0xffffffffffff8003, 0xffffffffffff8042,
153  0xffffffffffff8004, 0xffffffffffff8043,
154  0xffffffffffff8005, 0xffffffffffffffc0,
155  0xffffffffffffff82, 0xffffffffffffffc1,
156  0xffffffffffffff83, 0xffffffffffffffc2,
157  0xffffffffffffff84, 0xffffffffffffffc3,
158  0xffffffffffffff85, 0x0000000000000020,
159  0xffffffffffffffe2, 0x000000000000003d,
160  0xffffffffffffffff, 0x000000000000003e,
161  0x0000000000000000, 0x000000000000003f,
162  0x000000000000003f, 0x000000000000007d,
163  0x0000000000000040, 0x000000000000007e,
164  0x0000000000000041, 0x000000000000007f,
165  0x0000000000000042, 0x000000000000009d,
166  0x0000000000000060, 0x00000000000000fa,
167  0x00000000000000bd, 0x00000000000000fb,
168  0x00000000000000be, 0x00000000000000fc,
169  0x00000000000000bf, 0x000000000000807a,
170  0x000000000000803d, 0x000000000000807b,
171  0x000000000000803e, 0x000000000000807c,
172  0x000000000000803f, 0x00000000333333b0,
173  0x0000000033333373, 0x00000000555555d2,
174  0x0000000055555595, 0x000000008000007a,
175  0x000000008000003d, 0x000000008000007b,
176  0x000000008000003e, 0x000000008000007c,
177  0x000000008000003f, 0xffffffff8000007d,
178  0xffffffff80000040, 0xffffffff8000007e,
179  0xffffffff80000041, 0xffffffffaaaaab27,
180  0xffffffffaaaaaaea, 0xffffffffcccccd49,
181  0xffffffffcccccd0c, 0xffffffffffff807d,
182  0xffffffffffff8040, 0xffffffffffff807e,
183  0xffffffffffff8041, 0xffffffffffff807f,
184  0xffffffffffff8042, 0xffffffffffff8080,
185  0xffffffffffff8043, 0xfffffffffffffffd,
186  0xffffffffffffffc0, 0xfffffffffffffffe,
187  0xffffffffffffffc1, 0xffffffffffffffff,
188  0xffffffffffffffc2, 0x0000000000000000,
189  0xffffffffffffffc3, 0x000000000000005d,
190  0x0000000000000020, 0x000000000000007a,
191  0x000000000000003d, 0x000000000000007b,
192  0x000000000000003e, 0x000000000000007c,
193  0x000000000000007c, 0x000000000000007e,
194  0x000000000000007d, 0x000000000000007f,
195  0x000000000000007e, 0x0000000000000080,
196  0x000000000000007f, 0x000000000000009e,
197  0x000000000000009d, 0x00000000000000fb,
198  0x00000000000000fa, 0x00000000000000fc,
199  0x00000000000000fb, 0x00000000000000fd,
200  0x00000000000000fc, 0x000000000000807b,
201  0x000000000000807a, 0x000000000000807c,
202  0x000000000000807b, 0x000000000000807d,
203  0x000000000000807c, 0x00000000333333b1,
204  0x00000000333333b0, 0x00000000555555d3,
205  0x00000000555555d2, 0x000000008000007b,
206  0x000000008000007a, 0x000000008000007c,
207  0x000000008000007b, 0x000000008000007d,
208  0x000000008000007c, 0xffffffff8000007e,
209  0xffffffff8000007d, 0xffffffff8000007f,
210  0xffffffff8000007e, 0xffffffffaaaaab28,
211  0xffffffffaaaaab27, 0xffffffffcccccd4a,
212  0xffffffffcccccd49, 0xffffffffffff807e,
213  0xffffffffffff807d, 0xffffffffffff807f,
214  0xffffffffffff807e, 0xffffffffffff8080,
215  0xffffffffffff807f, 0xffffffffffff8081,
216  0xffffffffffff8080, 0xfffffffffffffffe,
217  0xfffffffffffffffd, 0xffffffffffffffff,
218  0xfffffffffffffffe, 0x0000000000000000,
219  0xffffffffffffffff, 0x0000000000000001,
220  0x0000000000000000, 0x000000000000005e,
221  0x000000000000005d, 0x000000000000007b,
222  0x000000000000007a, 0x000000000000007c,
223  0x000000000000007b, 0x000000000000007d,
224  0x000000000000007d, 0x000000000000007f,
225  0x000000000000007e, 0x0000000000000080,
226  0x000000000000007f, 0x0000000000000081,
227  0x0000000000000080, 0x000000000000009f,
228  0x000000000000009e, 0x00000000000000fc,
229  0x00000000000000fb, 0x00000000000000fd,
230  0x00000000000000fc, 0x00000000000000fe,
231  0x00000000000000fd, 0x000000000000807c,
232  0x000000000000807b, 0x000000000000807d,
233  0x000000000000807c, 0x000000000000807e,
234  0x000000000000807d, 0x00000000333333b2,
235  0x00000000333333b1, 0x00000000555555d4,
236  0x00000000555555d3, 0x000000008000007c,
237  0x000000008000007b, 0x000000008000007d,
238  0x000000008000007c, 0x000000008000007e,
239  0x000000008000007d, 0xffffffff8000007f,
240  0xffffffff8000007e, 0xffffffff80000080,
241  0xffffffff8000007f, 0xffffffffaaaaab29,
242  0xffffffffaaaaab28, 0xffffffffcccccd4b,
243  0xffffffffcccccd4a, 0xffffffffffff807f,
244  0xffffffffffff807e, 0xffffffffffff8080,
245  0xffffffffffff807f, 0xffffffffffff8081,
246  0xffffffffffff8080, 0xffffffffffff8082,
247  0xffffffffffff8081, 0xffffffffffffffff,
248  0xfffffffffffffffe, 0x0000000000000000,
249  0xffffffffffffffff, 0x0000000000000001,
250  0x0000000000000000, 0x0000000000000002,
251  0x0000000000000001, 0x000000000000005f,
252  0x000000000000005e, 0x000000000000007c,
253  0x000000000000007b, 0x000000000000007d,
254  0x000000000000007c, 0x000000000000007e,
255  0x000000000000007e, 0x0000000000007ffd,
256  0x000000000000007f, 0x0000000000007ffe,
257  0x0000000000000080, 0x0000000000007fff,
258  0x0000000000000081, 0x000000000000801d,
259  0x000000000000009f, 0x000000000000807a,
260  0x00000000000000fc, 0x000000000000807b,
261  0x00000000000000fd, 0x000000000000807c,
262  0x00000000000000fe, 0x000000000000fffa,
263  0x000000000000807c, 0x000000000000fffb,
264  0x000000000000807d, 0x000000000000fffc,
265  0x000000000000807e, 0x000000003333b330,
266  0x00000000333333b2, 0x000000005555d552,
267  0x00000000555555d4, 0x0000000080007ffa,
268  0x000000008000007c, 0x0000000080007ffb,
269  0x000000008000007d, 0x0000000080007ffc,
270  0x000000008000007e, 0xffffffff80007ffd,
271  0xffffffff8000007f, 0xffffffff80007ffe,
272  0xffffffff80000080, 0xffffffffaaab2aa7,
273  0xffffffffaaaaab29, 0xffffffffcccd4cc9,
274  0xffffffffcccccd4b, 0xfffffffffffffffd,
275  0xffffffffffff807f, 0xfffffffffffffffe,
276  0xffffffffffff8080, 0xffffffffffffffff,
277  0xffffffffffff8081, 0x0000000000000000,
278  0xffffffffffff8082, 0x0000000000007f7d,
279  0xffffffffffffffff, 0x0000000000007f7e,
280  0x0000000000000000, 0x0000000000007f7f,
281  0x0000000000000001, 0x0000000000007f80,
282  0x0000000000000002, 0x0000000000007fdd,
283  0x000000000000005f, 0x0000000000007ffa,
284  0x000000000000007c, 0x0000000000007ffb,
285  0x000000000000007d, 0x0000000000007ffc,
286  0x0000000000007ffc, 0x0000000000007ffe,
287  0x0000000000007ffd, 0x0000000000007fff,
288  0x0000000000007ffe, 0x0000000000008000,
289  0x0000000000007fff, 0x000000000000801e,
290  0x000000000000801d, 0x000000000000807b,
291  0x000000000000807a, 0x000000000000807c,
292  0x000000000000807b, 0x000000000000807d,
293  0x000000000000807c, 0x000000000000fffb,
294  0x000000000000fffa, 0x000000000000fffc,
295  0x000000000000fffb, 0x000000000000fffd,
296  0x000000000000fffc, 0x000000003333b331,
297  0x000000003333b330, 0x000000005555d553,
298  0x000000005555d552, 0x0000000080007ffb,
299  0x0000000080007ffa, 0x0000000080007ffc,
300  0x0000000080007ffb, 0x0000000080007ffd,
301  0x0000000080007ffc, 0xffffffff80007ffe,
302  0xffffffff80007ffd, 0xffffffff80007fff,
303  0xffffffff80007ffe, 0xffffffffaaab2aa8,
304  0xffffffffaaab2aa7, 0xffffffffcccd4cca,
305  0xffffffffcccd4cc9, 0xfffffffffffffffe,
306  0xfffffffffffffffd, 0xffffffffffffffff,
307  0xfffffffffffffffe, 0x0000000000000000,
308  0xffffffffffffffff, 0x0000000000000001,
309  0x0000000000000000, 0x0000000000007f7e,
310  0x0000000000007f7d, 0x0000000000007f7f,
311  0x0000000000007f7e, 0x0000000000007f80,
312  0x0000000000007f7f, 0x0000000000007f81,
313  0x0000000000007f80, 0x0000000000007fde,
314  0x0000000000007fdd, 0x0000000000007ffb,
315  0x0000000000007ffa, 0x0000000000007ffc,
316  0x0000000000007ffb, 0x0000000000007ffd,
317  0x0000000000007ffd, 0x0000000000007fff,
318  0x0000000000007ffe, 0x0000000000008000,
319  0x0000000000007fff, 0x0000000000008001,
320  0x0000000000008000, 0x000000000000801f,
321  0x000000000000801e, 0x000000000000807c,
322  0x000000000000807b, 0x000000000000807d,
323  0x000000000000807c, 0x000000000000807e,
324  0x000000000000807d, 0x000000000000fffc,
325  0x000000000000fffb, 0x000000000000fffd,
326  0x000000000000fffc, 0x000000000000fffe,
327  0x000000000000fffd, 0x000000003333b332,
328  0x000000003333b331, 0x000000005555d554,
329  0x000000005555d553, 0x0000000080007ffc,
330  0x0000000080007ffb, 0x0000000080007ffd,
331  0x0000000080007ffc, 0x0000000080007ffe,
332  0x0000000080007ffd, 0xffffffff80007fff,
333  0xffffffff80007ffe, 0xffffffff80008000,
334  0xffffffff80007fff, 0xffffffffaaab2aa9,
335  0xffffffffaaab2aa8, 0xffffffffcccd4ccb,
336  0xffffffffcccd4cca, 0xffffffffffffffff,
337  0xfffffffffffffffe, 0x0000000000000000,
338  0xffffffffffffffff, 0x0000000000000001,
339  0x0000000000000000, 0x0000000000000002,
340  0x0000000000000001, 0x0000000000007f7f,
341  0x0000000000007f7e, 0x0000000000007f80,
342  0x0000000000007f7f, 0x0000000000007f81,
343  0x0000000000007f80, 0x0000000000007f82,
344  0x0000000000007f81, 0x0000000000007fdf,
345  0x0000000000007fde, 0x0000000000007ffc,
346  0x0000000000007ffb, 0x0000000000007ffd,
347  0x0000000000007ffc, 0x0000000000007ffe,
348  0x0000000000007ffe, 0x000000007ffffffd,
349  0x0000000000007fff, 0x000000007ffffffe,
350  0x0000000000008000, 0x000000007fffffff,
351  0x0000000000008001, 0x000000008000001d,
352  0x000000000000801f, 0x000000008000007a,
353  0x000000000000807c, 0x000000008000007b,
354  0x000000000000807d, 0x000000008000007c,
355  0x000000000000807e, 0x0000000080007ffa,
356  0x000000000000fffc, 0x0000000080007ffb,
357  0x000000000000fffd, 0x0000000080007ffc,
358  0x000000000000fffe, 0x00000000b3333330,
359  0x000000003333b332, 0x00000000d5555552,
360  0x000000005555d554, 0x00000000fffffffa,
361  0x0000000080007ffc, 0x00000000fffffffb,
362  0x0000000080007ffd, 0x00000000fffffffc,
363  0x0000000080007ffe, 0xfffffffffffffffd,
364  0xffffffff80007fff, 0xfffffffffffffffe,
365  0xffffffff80008000, 0x000000002aaaaaa7,
366  0xffffffffaaab2aa9, 0x000000004cccccc9,
367  0xffffffffcccd4ccb, 0x000000007fff7ffd,
368  0xffffffffffffffff, 0x000000007fff7ffe,
369  0x0000000000000000, 0x000000007fff7fff,
370  0x0000000000000001, 0x000000007fff8000,
371  0x0000000000000002, 0x000000007fffff7d,
372  0x0000000000007f7f, 0x000000007fffff7e,
373  0x0000000000007f80, 0x000000007fffff7f,
374  0x0000000000007f81, 0x000000007fffff80,
375  0x0000000000007f82, 0x000000007fffffdd,
376  0x0000000000007fdf, 0x000000007ffffffa,
377  0x0000000000007ffc, 0x000000007ffffffb,
378  0x0000000000007ffd, 0x000000007ffffffc,
379  0x000000007ffffffc, 0x000000007ffffffe,
380  0x000000007ffffffd, 0x000000007fffffff,
381  0x000000007ffffffe, 0x0000000080000000,
382  0x000000007fffffff, 0x000000008000001e,
383  0x000000008000001d, 0x000000008000007b,
384  0x000000008000007a, 0x000000008000007c,
385  0x000000008000007b, 0x000000008000007d,
386  0x000000008000007c, 0x0000000080007ffb,
387  0x0000000080007ffa, 0x0000000080007ffc,
388  0x0000000080007ffb, 0x0000000080007ffd,
389  0x0000000080007ffc, 0x00000000b3333331,
390  0x00000000b3333330, 0x00000000d5555553,
391  0x00000000d5555552, 0x00000000fffffffb,
392  0x00000000fffffffa, 0x00000000fffffffc,
393  0x00000000fffffffb, 0x00000000fffffffd,
394  0x00000000fffffffc, 0xfffffffffffffffe,
395  0xfffffffffffffffd, 0xffffffffffffffff,
396  0xfffffffffffffffe, 0x000000002aaaaaa8,
397  0x000000002aaaaaa7, 0x000000004cccccca,
398  0x000000004cccccc9, 0x000000007fff7ffe,
399  0x000000007fff7ffd, 0x000000007fff7fff,
400  0x000000007fff7ffe, 0x000000007fff8000,
401  0x000000007fff7fff, 0x000000007fff8001,
402  0x000000007fff8000, 0x000000007fffff7e,
403  0x000000007fffff7d, 0x000000007fffff7f,
404  0x000000007fffff7e, 0x000000007fffff80,
405  0x000000007fffff7f, 0x000000007fffff81,
406  0x000000007fffff80, 0x000000007fffffde,
407  0x000000007fffffdd, 0x000000007ffffffb,
408  0x000000007ffffffa, 0x000000007ffffffc,
409  0x000000007ffffffb, 0x000000007ffffffd,
410  0x000000007ffffffd, 0x000000007fffffff,
411  0x000000007ffffffe, 0x0000000080000000,
412  0x000000007fffffff, 0x0000000080000001,
413  0x0000000080000000, 0x000000008000001f,
414  0x000000008000001e, 0x000000008000007c,
415  0x000000008000007b, 0x000000008000007d,
416  0x000000008000007c, 0x000000008000007e,
417  0x000000008000007d, 0x0000000080007ffc,
418  0x0000000080007ffb, 0x0000000080007ffd,
419  0x0000000080007ffc, 0x0000000080007ffe,
420  0x0000000080007ffd, 0x00000000b3333332,
421  0x00000000b3333331, 0x00000000d5555554,
422  0x00000000d5555553, 0x00000000fffffffc,
423  0x00000000fffffffb, 0x00000000fffffffd,
424  0x00000000fffffffc, 0x00000000fffffffe,
425  0x00000000fffffffd, 0xffffffffffffffff,
426  0xfffffffffffffffe, 0x0000000000000000,
427  0xffffffffffffffff, 0x000000002aaaaaa9,
428  0x000000002aaaaaa8, 0x000000004ccccccb,
429  0x000000004cccccca, 0x000000007fff7fff,
430  0x000000007fff7ffe, 0x000000007fff8000,
431  0x000000007fff7fff, 0x000000007fff8001,
432  0x000000007fff8000, 0x000000007fff8002,
433  0x000000007fff8001, 0x000000007fffff7f,
434  0x000000007fffff7e, 0x000000007fffff80,
435  0x000000007fffff7f, 0x000000007fffff81,
436  0x000000007fffff80, 0x000000007fffff82,
437  0x000000007fffff81, 0x000000007fffffdf,
438  0x000000007fffffde, 0x000000007ffffffc,
439  0x000000007ffffffb, 0x000000007ffffffd,
440  0x000000007ffffffc, 0x000000007ffffffe,
441  0x000000007ffffffe, 0x3333333333333333,
442  0x000000007fffffff, 0x3333333333333334,
443  0x0000000080000000, 0x3333333333333335,
444  0x0000000080000001, 0x3333333333333353,
445  0x000000008000001f, 0x33333333333333b0,
446  0x000000008000007c, 0x33333333333333b1,
447  0x000000008000007d, 0x33333333333333b2,
448  0x000000008000007e, 0x333333333333b330,
449  0x0000000080007ffc, 0x333333333333b331,
450  0x0000000080007ffd, 0x333333333333b332,
451  0x0000000080007ffe, 0x3333333366666666,
452  0x00000000b3333332, 0x3333333388888888,
453  0x00000000d5555554, 0x33333333b3333330,
454  0x00000000fffffffc, 0x33333333b3333331,
455  0x00000000fffffffd, 0x33333333b3333332,
456  0x00000000fffffffe, 0x33333332b3333333,
457  0xffffffffffffffff, 0x33333332b3333334,
458  0x0000000000000000, 0x33333332dddddddd,
459  0x000000002aaaaaa9, 0x33333332ffffffff,
460  0x000000004ccccccb, 0x333333333332b333,
461  0x000000007fff7fff, 0x333333333332b334,
462  0x000000007fff8000, 0x333333333332b335,
463  0x000000007fff8001, 0x333333333332b336,
464  0x000000007fff8002, 0x33333333333332b3,
465  0x000000007fffff7f, 0x33333333333332b4,
466  0x000000007fffff80, 0x33333333333332b5,
467  0x000000007fffff81, 0x33333333333332b6,
468  0x000000007fffff82, 0x3333333333333313,
469  0x000000007fffffdf, 0x3333333333333330,
470  0x000000007ffffffc, 0x3333333333333331,
471  0x000000007ffffffd, 0x3333333333333332,
472  0x3333333333333332, 0x5555555555555555,
473  0x3333333333333333, 0x5555555555555556,
474  0x3333333333333334, 0x5555555555555557,
475  0x3333333333333335, 0x5555555555555575,
476  0x3333333333333353, 0x55555555555555d2,
477  0x33333333333333b0, 0x55555555555555d3,
478  0x33333333333333b1, 0x55555555555555d4,
479  0x33333333333333b2, 0x555555555555d552,
480  0x333333333333b330, 0x555555555555d553,
481  0x333333333333b331, 0x555555555555d554,
482  0x333333333333b332, 0x5555555588888888,
483  0x3333333366666666, 0x55555555aaaaaaaa,
484  0x3333333388888888, 0x55555555d5555552,
485  0x33333333b3333330, 0x55555555d5555553,
486  0x33333333b3333331, 0x55555555d5555554,
487  0x33333333b3333332, 0x55555554d5555555,
488  0x33333332b3333333, 0x55555554d5555556,
489  0x33333332b3333334, 0x55555554ffffffff,
490  0x33333332dddddddd, 0x5555555522222221,
491  0x33333332ffffffff, 0x555555555554d555,
492  0x333333333332b333, 0x555555555554d556,
493  0x333333333332b334, 0x555555555554d557,
494  0x333333333332b335, 0x555555555554d558,
495  0x333333333332b336, 0x55555555555554d5,
496  0x33333333333332b3, 0x55555555555554d6,
497  0x33333333333332b4, 0x55555555555554d7,
498  0x33333333333332b5, 0x55555555555554d8,
499  0x33333333333332b6, 0x5555555555555535,
500  0x3333333333333313, 0x5555555555555552,
501  0x3333333333333330, 0x5555555555555553,
502  0x3333333333333331, 0x5555555555555554,
503  0x5555555555555554, 0x7ffffffffffffffd,
504  0x5555555555555555, 0x7ffffffffffffffe,
505  0x5555555555555556, 0x7fffffffffffffff,
506  0x5555555555555557, 0x800000000000001d,
507  0x5555555555555575, 0x800000000000007a,
508  0x55555555555555d2, 0x800000000000007b,
509  0x55555555555555d3, 0x800000000000007c,
510  0x55555555555555d4, 0x8000000000007ffa,
511  0x555555555555d552, 0x8000000000007ffb,
512  0x555555555555d553, 0x8000000000007ffc,
513  0x555555555555d554, 0x8000000033333330,
514  0x5555555588888888, 0x8000000055555552,
515  0x55555555aaaaaaaa, 0x800000007ffffffa,
516  0x55555555d5555552, 0x800000007ffffffb,
517  0x55555555d5555553, 0x800000007ffffffc,
518  0x55555555d5555554, 0x7fffffff7ffffffd,
519  0x55555554d5555555, 0x7fffffff7ffffffe,
520  0x55555554d5555556, 0x7fffffffaaaaaaa7,
521  0x55555554ffffffff, 0x7fffffffccccccc9,
522  0x5555555522222221, 0x7fffffffffff7ffd,
523  0x555555555554d555, 0x7fffffffffff7ffe,
524  0x555555555554d556, 0x7fffffffffff7fff,
525  0x555555555554d557, 0x7fffffffffff8000,
526  0x555555555554d558, 0x7fffffffffffff7d,
527  0x55555555555554d5, 0x7fffffffffffff7e,
528  0x55555555555554d6, 0x7fffffffffffff7f,
529  0x55555555555554d7, 0x7fffffffffffff80,
530  0x55555555555554d8, 0x7fffffffffffffdd,
531  0x5555555555555535, 0x7ffffffffffffffa,
532  0x5555555555555552, 0x7ffffffffffffffb,
533  0x5555555555555553, 0x7ffffffffffffffc,
534  0x7ffffffffffffffc, 0x7ffffffffffffffe,
535  0x7ffffffffffffffd, 0x7fffffffffffffff,
536  0x7ffffffffffffffe, 0x8000000000000000,
537  0x7fffffffffffffff, 0x800000000000001e,
538  0x800000000000001d, 0x800000000000007b,
539  0x800000000000007a, 0x800000000000007c,
540  0x800000000000007b, 0x800000000000007d,
541  0x800000000000007c, 0x8000000000007ffb,
542  0x8000000000007ffa, 0x8000000000007ffc,
543  0x8000000000007ffb, 0x8000000000007ffd,
544  0x8000000000007ffc, 0x8000000033333331,
545  0x8000000033333330, 0x8000000055555553,
546  0x8000000055555552, 0x800000007ffffffb,
547  0x800000007ffffffa, 0x800000007ffffffc,
548  0x800000007ffffffb, 0x800000007ffffffd,
549  0x800000007ffffffc, 0x7fffffff7ffffffe,
550  0x7fffffff7ffffffd, 0x7fffffff7fffffff,
551  0x7fffffff7ffffffe, 0x7fffffffaaaaaaa8,
552  0x7fffffffaaaaaaa7, 0x7fffffffccccccca,
553  0x7fffffffccccccc9, 0x7fffffffffff7ffe,
554  0x7fffffffffff7ffd, 0x7fffffffffff7fff,
555  0x7fffffffffff7ffe, 0x7fffffffffff8000,
556  0x7fffffffffff7fff, 0x7fffffffffff8001,
557  0x7fffffffffff8000, 0x7fffffffffffff7e,
558  0x7fffffffffffff7d, 0x7fffffffffffff7f,
559  0x7fffffffffffff7e, 0x7fffffffffffff80,
560  0x7fffffffffffff7f, 0x7fffffffffffff81,
561  0x7fffffffffffff80, 0x7fffffffffffffde,
562  0x7fffffffffffffdd, 0x7ffffffffffffffb,
563  0x7ffffffffffffffa, 0x7ffffffffffffffc,
564  0x7ffffffffffffffb, 0x7ffffffffffffffd,
565  0x7ffffffffffffffd, 0x7fffffffffffffff,
566  0x7ffffffffffffffe, 0x8000000000000000,
567  0x7fffffffffffffff, 0x8000000000000001,
568  0x8000000000000000, 0x800000000000001f,
569  0x800000000000001e, 0x800000000000007c,
570  0x800000000000007b, 0x800000000000007d,
571  0x800000000000007c, 0x800000000000007e,
572  0x800000000000007d, 0x8000000000007ffc,
573  0x8000000000007ffb, 0x8000000000007ffd,
574  0x8000000000007ffc, 0x8000000000007ffe,
575  0x8000000000007ffd, 0x8000000033333332,
576  0x8000000033333331, 0x8000000055555554,
577  0x8000000055555553, 0x800000007ffffffc,
578  0x800000007ffffffb, 0x800000007ffffffd,
579  0x800000007ffffffc, 0x800000007ffffffe,
580  0x800000007ffffffd, 0x7fffffff7fffffff,
581  0x7fffffff7ffffffe, 0x7fffffff80000000,
582  0x7fffffff7fffffff, 0x7fffffffaaaaaaa9,
583  0x7fffffffaaaaaaa8, 0x7fffffffcccccccb,
584  0x7fffffffccccccca, 0x7fffffffffff7fff,
585  0x7fffffffffff7ffe, 0x7fffffffffff8000,
586  0x7fffffffffff7fff, 0x7fffffffffff8001,
587  0x7fffffffffff8000, 0x7fffffffffff8002,
588  0x7fffffffffff8001, 0x7fffffffffffff7f,
589  0x7fffffffffffff7e, 0x7fffffffffffff80,
590  0x7fffffffffffff7f, 0x7fffffffffffff81,
591  0x7fffffffffffff80, 0x7fffffffffffff82,
592  0x7fffffffffffff81, 0x7fffffffffffffdf,
593  0x7fffffffffffffde, 0x7ffffffffffffffc,
594  0x7ffffffffffffffb, 0x7ffffffffffffffd,
595  0x7ffffffffffffffc, 0x7ffffffffffffffe,
596  0x7ffffffffffffffe, 0x8000000000000000,
597  0x7fffffffffffffff, 0x8000000000000001,
598  0x8000000000000000, 0x8000000000000002,
599  0x8000000000000001, 0x8000000000000020,
600  0x800000000000001f, 0x800000000000007d,
601  0x800000000000007c, 0x800000000000007e,
602  0x800000000000007d, 0x800000000000007f,
603  0x800000000000007e, 0x8000000000007ffd,
604  0x8000000000007ffc, 0x8000000000007ffe,
605  0x8000000000007ffd, 0x8000000000007fff,
606  0x8000000000007ffe, 0x8000000033333333,
607  0x8000000033333332, 0x8000000055555555,
608  0x8000000055555554, 0x800000007ffffffd,
609  0x800000007ffffffc, 0x800000007ffffffe,
610  0x800000007ffffffd, 0x800000007fffffff,
611  0x800000007ffffffe, 0x7fffffff80000000,
612  0x7fffffff7fffffff, 0x7fffffff80000001,
613  0x7fffffff80000000, 0x7fffffffaaaaaaaa,
614  0x7fffffffaaaaaaa9, 0x7fffffffcccccccc,
615  0x7fffffffcccccccb, 0x7fffffffffff8000,
616  0x7fffffffffff7fff, 0x7fffffffffff8001,
617  0x7fffffffffff8000, 0x7fffffffffff8002,
618  0x7fffffffffff8001, 0x7fffffffffff8003,
619  0x7fffffffffff8002, 0x7fffffffffffff80,
620  0x7fffffffffffff7f, 0x7fffffffffffff81,
621  0x7fffffffffffff80, 0x7fffffffffffff82,
622  0x7fffffffffffff81, 0x7fffffffffffff83,
623  0x7fffffffffffff82, 0x7fffffffffffffe0,
624  0x7fffffffffffffdf, 0x7ffffffffffffffd,
625  0x7ffffffffffffffc, 0x7ffffffffffffffe,
626  0x7ffffffffffffffd, 0x7fffffffffffffff,
627  0x7fffffffffffffff, 0x8000000000000001,
628  0x8000000000000000, 0x8000000000000002,
629  0x8000000000000001, 0x8000000000000003,
630  0x8000000000000002, 0x8000000000000021,
631  0x8000000000000020, 0x800000000000007e,
632  0x800000000000007d, 0x800000000000007f,
633  0x800000000000007e, 0x8000000000000080,
634  0x800000000000007f, 0x8000000000007ffe,
635  0x8000000000007ffd, 0x8000000000007fff,
636  0x8000000000007ffe, 0x8000000000008000,
637  0x8000000000007fff, 0x8000000033333334,
638  0x8000000033333333, 0x8000000055555556,
639  0x8000000055555555, 0x800000007ffffffe,
640  0x800000007ffffffd, 0x800000007fffffff,
641  0x800000007ffffffe, 0x8000000080000000,
642  0x800000007fffffff, 0x7fffffff80000001,
643  0x7fffffff80000000, 0x7fffffff80000002,
644  0x7fffffff80000001, 0x7fffffffaaaaaaab,
645  0x7fffffffaaaaaaaa, 0x7fffffffcccccccd,
646  0x7fffffffcccccccc, 0x7fffffffffff8001,
647  0x7fffffffffff8000, 0x7fffffffffff8002,
648  0x7fffffffffff8001, 0x7fffffffffff8003,
649  0x7fffffffffff8002, 0x7fffffffffff8004,
650  0x7fffffffffff8003, 0x7fffffffffffff81,
651  0x7fffffffffffff80, 0x7fffffffffffff82,
652  0x7fffffffffffff81, 0x7fffffffffffff83,
653  0x7fffffffffffff82, 0x7fffffffffffff84,
654  0x7fffffffffffff83, 0x7fffffffffffffe1,
655  0x7fffffffffffffe0, 0x7ffffffffffffffe,
656  0x7ffffffffffffffd, 0x7fffffffffffffff,
657  0x7ffffffffffffffe, 0x8000000000000000,
658  0x8000000000000000, 0x8000000000000002,
659  0x8000000000000001, 0x8000000000000003,
660  0x8000000000000002, 0x8000000000000004,
661  0x8000000000000003, 0x8000000000000022,
662  0x8000000000000021, 0x800000000000007f,
663  0x800000000000007e, 0x8000000000000080,
664  0x800000000000007f, 0x8000000000000081,
665  0x8000000000000080, 0x8000000000007fff,
666  0x8000000000007ffe, 0x8000000000008000,
667  0x8000000000007fff, 0x8000000000008001,
668  0x8000000000008000, 0x8000000033333335,
669  0x8000000033333334, 0x8000000055555557,
670  0x8000000055555556, 0x800000007fffffff,
671  0x800000007ffffffe, 0x8000000080000000,
672  0x800000007fffffff, 0x8000000080000001,
673  0x8000000080000000, 0x7fffffff80000002,
674  0x7fffffff80000001, 0x7fffffff80000003,
675  0x7fffffff80000002, 0x7fffffffaaaaaaac,
676  0x7fffffffaaaaaaab, 0x7fffffffccccccce,
677  0x7fffffffcccccccd, 0x7fffffffffff8002,
678  0x7fffffffffff8001, 0x7fffffffffff8003,
679  0x7fffffffffff8002, 0x7fffffffffff8004,
680  0x7fffffffffff8003, 0x7fffffffffff8005,
681  0x7fffffffffff8004, 0x7fffffffffffff82,
682  0x7fffffffffffff81, 0x7fffffffffffff83,
683  0x7fffffffffffff82, 0x7fffffffffffff84,
684  0x7fffffffffffff83, 0x7fffffffffffff85,
685  0x7fffffffffffff84, 0x7fffffffffffffe2,
686  0x7fffffffffffffe1, 0x7fffffffffffffff,
687  0x7ffffffffffffffe, 0x8000000000000000,
688  0x7fffffffffffffff, 0x8000000000000001,
689  0x8000000000000001, 0x8000000000000003,
690  0x8000000000000002, 0x8000000000000004,
691  0x8000000000000003, 0x8000000000000005,
692  0x8000000000000004, 0x8000000000000023,
693  0x8000000000000022, 0x8000000000000080,
694  0x800000000000007f, 0x8000000000000081,
695  0x8000000000000080, 0x8000000000000082,
696  0x8000000000000081, 0x8000000000008000,
697  0x8000000000007fff, 0x8000000000008001,
698  0x8000000000008000, 0x8000000000008002,
699  0x8000000000008001, 0x8000000033333336,
700  0x8000000033333335, 0x8000000055555558,
701  0x8000000055555557, 0x8000000080000000,
702  0x800000007fffffff, 0x8000000080000001,
703  0x8000000080000000, 0x8000000080000002,
704  0x8000000080000001, 0x7fffffff80000003,
705  0x7fffffff80000002, 0x7fffffff80000004,
706  0x7fffffff80000003, 0x7fffffffaaaaaaad,
707  0x7fffffffaaaaaaac, 0x7fffffffcccccccf,
708  0x7fffffffccccccce, 0x7fffffffffff8003,
709  0x7fffffffffff8002, 0x7fffffffffff8004,
710  0x7fffffffffff8003, 0x7fffffffffff8005,
711  0x7fffffffffff8004, 0x7fffffffffff8006,
712  0x7fffffffffff8005, 0x7fffffffffffff83,
713  0x7fffffffffffff82, 0x7fffffffffffff84,
714  0x7fffffffffffff83, 0x7fffffffffffff85,
715  0x7fffffffffffff84, 0x7fffffffffffff86,
716  0x7fffffffffffff85, 0x7fffffffffffffe3,
717  0x7fffffffffffffe2, 0x8000000000000000,
718  0x7fffffffffffffff, 0x8000000000000001,
719  0x8000000000000000, 0x8000000000000002,
720  0x8000000000000002, 0xaaaaaaaaaaaaaaaa,
721  0x8000000000000003, 0xaaaaaaaaaaaaaaab,
722  0x8000000000000004, 0xaaaaaaaaaaaaaaac,
723  0x8000000000000005, 0xaaaaaaaaaaaaaaca,
724  0x8000000000000023, 0xaaaaaaaaaaaaab27,
725  0x8000000000000080, 0xaaaaaaaaaaaaab28,
726  0x8000000000000081, 0xaaaaaaaaaaaaab29,
727  0x8000000000000082, 0xaaaaaaaaaaab2aa7,
728  0x8000000000008000, 0xaaaaaaaaaaab2aa8,
729  0x8000000000008001, 0xaaaaaaaaaaab2aa9,
730  0x8000000000008002, 0xaaaaaaaadddddddd,
731  0x8000000033333336, 0xaaaaaaaaffffffff,
732  0x8000000055555558, 0xaaaaaaab2aaaaaa7,
733  0x8000000080000000, 0xaaaaaaab2aaaaaa8,
734  0x8000000080000001, 0xaaaaaaab2aaaaaa9,
735  0x8000000080000002, 0xaaaaaaaa2aaaaaaa,
736  0x7fffffff80000003, 0xaaaaaaaa2aaaaaab,
737  0x7fffffff80000004, 0xaaaaaaaa55555554,
738  0x7fffffffaaaaaaad, 0xaaaaaaaa77777776,
739  0x7fffffffcccccccf, 0xaaaaaaaaaaaa2aaa,
740  0x7fffffffffff8003, 0xaaaaaaaaaaaa2aab,
741  0x7fffffffffff8004, 0xaaaaaaaaaaaa2aac,
742  0x7fffffffffff8005, 0xaaaaaaaaaaaa2aad,
743  0x7fffffffffff8006, 0xaaaaaaaaaaaaaa2a,
744  0x7fffffffffffff83, 0xaaaaaaaaaaaaaa2b,
745  0x7fffffffffffff84, 0xaaaaaaaaaaaaaa2c,
746  0x7fffffffffffff85, 0xaaaaaaaaaaaaaa2d,
747  0x7fffffffffffff86, 0xaaaaaaaaaaaaaa8a,
748  0x7fffffffffffffe3, 0xaaaaaaaaaaaaaaa7,
749  0x8000000000000000, 0xaaaaaaaaaaaaaaa8,
750  0x8000000000000001, 0xaaaaaaaaaaaaaaa9,
751  0xaaaaaaaaaaaaaaa9, 0xcccccccccccccccc,
752  0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccd,
753  0xaaaaaaaaaaaaaaab, 0xccccccccccccccce,
754  0xaaaaaaaaaaaaaaac, 0xccccccccccccccec,
755  0xaaaaaaaaaaaaaaca, 0xcccccccccccccd49,
756  0xaaaaaaaaaaaaab27, 0xcccccccccccccd4a,
757  0xaaaaaaaaaaaaab28, 0xcccccccccccccd4b,
758  0xaaaaaaaaaaaaab29, 0xcccccccccccd4cc9,
759  0xaaaaaaaaaaab2aa7, 0xcccccccccccd4cca,
760  0xaaaaaaaaaaab2aa8, 0xcccccccccccd4ccb,
761  0xaaaaaaaaaaab2aa9, 0xccccccccffffffff,
762  0xaaaaaaaadddddddd, 0xcccccccd22222221,
763  0xaaaaaaaaffffffff, 0xcccccccd4cccccc9,
764  0xaaaaaaab2aaaaaa7, 0xcccccccd4cccccca,
765  0xaaaaaaab2aaaaaa8, 0xcccccccd4ccccccb,
766  0xaaaaaaab2aaaaaa9, 0xcccccccc4ccccccc,
767  0xaaaaaaaa2aaaaaaa, 0xcccccccc4ccccccd,
768  0xaaaaaaaa2aaaaaab, 0xcccccccc77777776,
769  0xaaaaaaaa55555554, 0xcccccccc99999998,
770  0xaaaaaaaa77777776, 0xcccccccccccc4ccc,
771  0xaaaaaaaaaaaa2aaa, 0xcccccccccccc4ccd,
772  0xaaaaaaaaaaaa2aab, 0xcccccccccccc4cce,
773  0xaaaaaaaaaaaa2aac, 0xcccccccccccc4ccf,
774  0xaaaaaaaaaaaa2aad, 0xcccccccccccccc4c,
775  0xaaaaaaaaaaaaaa2a, 0xcccccccccccccc4d,
776  0xaaaaaaaaaaaaaa2b, 0xcccccccccccccc4e,
777  0xaaaaaaaaaaaaaa2c, 0xcccccccccccccc4f,
778  0xaaaaaaaaaaaaaa2d, 0xccccccccccccccac,
779  0xaaaaaaaaaaaaaa8a, 0xccccccccccccccc9,
780  0xaaaaaaaaaaaaaaa7, 0xccccccccccccccca,
781  0xaaaaaaaaaaaaaaa8, 0xcccccccccccccccb,
782  0xcccccccccccccccb, 0xffffffff80000000,
783  0xcccccccccccccccc, 0xffffffff80000001,
784  0xcccccccccccccccd, 0xffffffff80000002,
785  0xccccccccccccccce, 0xffffffff80000020,
786  0xccccccccccccccec, 0xffffffff8000007d,
787  0xcccccccccccccd49, 0xffffffff8000007e,
788  0xcccccccccccccd4a, 0xffffffff8000007f,
789  0xcccccccccccccd4b, 0xffffffff80007ffd,
790  0xcccccccccccd4cc9, 0xffffffff80007ffe,
791  0xcccccccccccd4cca, 0xffffffff80007fff,
792  0xcccccccccccd4ccb, 0xffffffffb3333333,
793  0xccccccccffffffff, 0xffffffffd5555555,
794  0xcccccccd22222221, 0xfffffffffffffffd,
795  0xcccccccd4cccccc9, 0xfffffffffffffffe,
796  0xcccccccd4cccccca, 0xffffffffffffffff,
797  0xcccccccd4ccccccb, 0xffffffff00000000,
798  0xcccccccc4ccccccc, 0xffffffff00000001,
799  0xcccccccc4ccccccd, 0xffffffff2aaaaaaa,
800  0xcccccccc77777776, 0xffffffff4ccccccc,
801  0xcccccccc99999998, 0xffffffff7fff8000,
802  0xcccccccccccc4ccc, 0xffffffff7fff8001,
803  0xcccccccccccc4ccd, 0xffffffff7fff8002,
804  0xcccccccccccc4cce, 0xffffffff7fff8003,
805  0xcccccccccccc4ccf, 0xffffffff7fffff80,
806  0xcccccccccccccc4c, 0xffffffff7fffff81,
807  0xcccccccccccccc4d, 0xffffffff7fffff82,
808  0xcccccccccccccc4e, 0xffffffff7fffff83,
809  0xcccccccccccccc4f, 0xffffffff7fffffe0,
810  0xccccccccccccccac, 0xffffffff7ffffffd,
811  0xccccccccccccccc9, 0xffffffff7ffffffe,
812  0xccccccccccccccca, 0xffffffff7fffffff,
813  0xffffffff7fffffff, 0xffffffff80000001,
814  0xffffffff80000000, 0xffffffff80000002,
815  0xffffffff80000001, 0xffffffff80000003,
816  0xffffffff80000002, 0xffffffff80000021,
817  0xffffffff80000020, 0xffffffff8000007e,
818  0xffffffff8000007d, 0xffffffff8000007f,
819  0xffffffff8000007e, 0xffffffff80000080,
820  0xffffffff8000007f, 0xffffffff80007ffe,
821  0xffffffff80007ffd, 0xffffffff80007fff,
822  0xffffffff80007ffe, 0xffffffff80008000,
823  0xffffffff80007fff, 0xffffffffb3333334,
824  0xffffffffb3333333, 0xffffffffd5555556,
825  0xffffffffd5555555, 0xfffffffffffffffe,
826  0xfffffffffffffffd, 0xffffffffffffffff,
827  0xfffffffffffffffe, 0x0000000000000000,
828  0xffffffffffffffff, 0xffffffff00000001,
829  0xffffffff00000000, 0xffffffff00000002,
830  0xffffffff00000001, 0xffffffff2aaaaaab,
831  0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
832  0xffffffff4ccccccc, 0xffffffff7fff8001,
833  0xffffffff7fff8000, 0xffffffff7fff8002,
834  0xffffffff7fff8001, 0xffffffff7fff8003,
835  0xffffffff7fff8002, 0xffffffff7fff8004,
836  0xffffffff7fff8003, 0xffffffff7fffff81,
837  0xffffffff7fffff80, 0xffffffff7fffff82,
838  0xffffffff7fffff81, 0xffffffff7fffff83,
839  0xffffffff7fffff82, 0xffffffff7fffff84,
840  0xffffffff7fffff83, 0xffffffff7fffffe1,
841  0xffffffff7fffffe0, 0xffffffff7ffffffe,
842  0xffffffff7ffffffd, 0xffffffff7fffffff,
843  0xffffffff7ffffffe, 0xffffffff80000000,
844  0xffffffff80000000, 0xffffffff80000002,
845  0xffffffff80000001, 0xffffffff80000003,
846  0xffffffff80000002, 0xffffffff80000004,
847  0xffffffff80000003, 0xffffffff80000022,
848  0xffffffff80000021, 0xffffffff8000007f,
849  0xffffffff8000007e, 0xffffffff80000080,
850  0xffffffff8000007f, 0xffffffff80000081,
851  0xffffffff80000080, 0xffffffff80007fff,
852  0xffffffff80007ffe, 0xffffffff80008000,
853  0xffffffff80007fff, 0xffffffff80008001,
854  0xffffffff80008000, 0xffffffffb3333335,
855  0xffffffffb3333334, 0xffffffffd5555557,
856  0xffffffffd5555556, 0xffffffffffffffff,
857  0xfffffffffffffffe, 0x0000000000000000,
858  0xffffffffffffffff, 0x0000000000000001,
859  0x0000000000000000, 0xffffffff00000002,
860  0xffffffff00000001, 0xffffffff00000003,
861  0xffffffff00000002, 0xffffffff2aaaaaac,
862  0xffffffff2aaaaaab, 0xffffffff4cccccce,
863  0xffffffff4ccccccd, 0xffffffff7fff8002,
864  0xffffffff7fff8001, 0xffffffff7fff8003,
865  0xffffffff7fff8002, 0xffffffff7fff8004,
866  0xffffffff7fff8003, 0xffffffff7fff8005,
867  0xffffffff7fff8004, 0xffffffff7fffff82,
868  0xffffffff7fffff81, 0xffffffff7fffff83,
869  0xffffffff7fffff82, 0xffffffff7fffff84,
870  0xffffffff7fffff83, 0xffffffff7fffff85,
871  0xffffffff7fffff84, 0xffffffff7fffffe2,
872  0xffffffff7fffffe1, 0xffffffff7fffffff,
873  0xffffffff7ffffffe, 0xffffffff80000000,
874  0xffffffff7fffffff, 0xffffffff80000001,
875  0xffffffff80000001, 0xffffffff80000003,
876  0xffffffff80000002, 0xffffffff80000004,
877  0xffffffff80000003, 0xffffffff80000005,
878  0xffffffff80000004, 0xffffffff80000023,
879  0xffffffff80000022, 0xffffffff80000080,
880  0xffffffff8000007f, 0xffffffff80000081,
881  0xffffffff80000080, 0xffffffff80000082,
882  0xffffffff80000081, 0xffffffff80008000,
883  0xffffffff80007fff, 0xffffffff80008001,
884  0xffffffff80008000, 0xffffffff80008002,
885  0xffffffff80008001, 0xffffffffb3333336,
886  0xffffffffb3333335, 0xffffffffd5555558,
887  0xffffffffd5555557, 0x0000000000000000,
888  0xffffffffffffffff, 0x0000000000000001,
889  0x0000000000000000, 0x0000000000000002,
890  0x0000000000000001, 0xffffffff00000003,
891  0xffffffff00000002, 0xffffffff00000004,
892  0xffffffff00000003, 0xffffffff2aaaaaad,
893  0xffffffff2aaaaaac, 0xffffffff4ccccccf,
894  0xffffffff4cccccce, 0xffffffff7fff8003,
895  0xffffffff7fff8002, 0xffffffff7fff8004,
896  0xffffffff7fff8003, 0xffffffff7fff8005,
897  0xffffffff7fff8004, 0xffffffff7fff8006,
898  0xffffffff7fff8005, 0xffffffff7fffff83,
899  0xffffffff7fffff82, 0xffffffff7fffff84,
900  0xffffffff7fffff83, 0xffffffff7fffff85,
901  0xffffffff7fffff84, 0xffffffff7fffff86,
902  0xffffffff7fffff85, 0xffffffff7fffffe3,
903  0xffffffff7fffffe2, 0xffffffff80000000,
904  0xffffffff7fffffff, 0xffffffff80000001,
905  0xffffffff80000000, 0xffffffff80000002,
906  0xffffffff80000002, 0xffffffffffff8000,
907  0xffffffff80000003, 0xffffffffffff8001,
908  0xffffffff80000004, 0xffffffffffff8002,
909  0xffffffff80000005, 0xffffffffffff8020,
910  0xffffffff80000023, 0xffffffffffff807d,
911  0xffffffff80000080, 0xffffffffffff807e,
912  0xffffffff80000081, 0xffffffffffff807f,
913  0xffffffff80000082, 0xfffffffffffffffd,
914  0xffffffff80008000, 0xfffffffffffffffe,
915  0xffffffff80008001, 0xffffffffffffffff,
916  0xffffffff80008002, 0x000000003332b333,
917  0xffffffffb3333336, 0x000000005554d555,
918  0xffffffffd5555558, 0x000000007fff7ffd,
919  0x0000000000000000, 0x000000007fff7ffe,
920  0x0000000000000001, 0x000000007fff7fff,
921  0x0000000000000002, 0xffffffff7fff8000,
922  0xffffffff00000003, 0xffffffff7fff8001,
923  0xffffffff00000004, 0xffffffffaaaa2aaa,
924  0xffffffff2aaaaaad, 0xffffffffcccc4ccc,
925  0xffffffff4ccccccf, 0xffffffffffff0000,
926  0xffffffff7fff8003, 0xffffffffffff0001,
927  0xffffffff7fff8004, 0xffffffffffff0002,
928  0xffffffff7fff8005, 0xffffffffffff0003,
929  0xffffffff7fff8006, 0xffffffffffff7f80,
930  0xffffffff7fffff83, 0xffffffffffff7f81,
931  0xffffffff7fffff84, 0xffffffffffff7f82,
932  0xffffffff7fffff85, 0xffffffffffff7f83,
933  0xffffffff7fffff86, 0xffffffffffff7fe0,
934  0xffffffff7fffffe3, 0xffffffffffff7ffd,
935  0xffffffff80000000, 0xffffffffffff7ffe,
936  0xffffffff80000001, 0xffffffffffff7fff,
937  0xffffffffffff7fff, 0xffffffffffff8001,
938  0xffffffffffff8000, 0xffffffffffff8002,
939  0xffffffffffff8001, 0xffffffffffff8003,
940  0xffffffffffff8002, 0xffffffffffff8021,
941  0xffffffffffff8020, 0xffffffffffff807e,
942  0xffffffffffff807d, 0xffffffffffff807f,
943  0xffffffffffff807e, 0xffffffffffff8080,
944  0xffffffffffff807f, 0xfffffffffffffffe,
945  0xfffffffffffffffd, 0xffffffffffffffff,
946  0xfffffffffffffffe, 0x0000000000000000,
947  0xffffffffffffffff, 0x000000003332b334,
948  0x000000003332b333, 0x000000005554d556,
949  0x000000005554d555, 0x000000007fff7ffe,
950  0x000000007fff7ffd, 0x000000007fff7fff,
951  0x000000007fff7ffe, 0x000000007fff8000,
952  0x000000007fff7fff, 0xffffffff7fff8001,
953  0xffffffff7fff8000, 0xffffffff7fff8002,
954  0xffffffff7fff8001, 0xffffffffaaaa2aab,
955  0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
956  0xffffffffcccc4ccc, 0xffffffffffff0001,
957  0xffffffffffff0000, 0xffffffffffff0002,
958  0xffffffffffff0001, 0xffffffffffff0003,
959  0xffffffffffff0002, 0xffffffffffff0004,
960  0xffffffffffff0003, 0xffffffffffff7f81,
961  0xffffffffffff7f80, 0xffffffffffff7f82,
962  0xffffffffffff7f81, 0xffffffffffff7f83,
963  0xffffffffffff7f82, 0xffffffffffff7f84,
964  0xffffffffffff7f83, 0xffffffffffff7fe1,
965  0xffffffffffff7fe0, 0xffffffffffff7ffe,
966  0xffffffffffff7ffd, 0xffffffffffff7fff,
967  0xffffffffffff7ffe, 0xffffffffffff8000,
968  0xffffffffffff8000, 0xffffffffffff8002,
969  0xffffffffffff8001, 0xffffffffffff8003,
970  0xffffffffffff8002, 0xffffffffffff8004,
971  0xffffffffffff8003, 0xffffffffffff8022,
972  0xffffffffffff8021, 0xffffffffffff807f,
973  0xffffffffffff807e, 0xffffffffffff8080,
974  0xffffffffffff807f, 0xffffffffffff8081,
975  0xffffffffffff8080, 0xffffffffffffffff,
976  0xfffffffffffffffe, 0x0000000000000000,
977  0xffffffffffffffff, 0x0000000000000001,
978  0x0000000000000000, 0x000000003332b335,
979  0x000000003332b334, 0x000000005554d557,
980  0x000000005554d556, 0x000000007fff7fff,
981  0x000000007fff7ffe, 0x000000007fff8000,
982  0x000000007fff7fff, 0x000000007fff8001,
983  0x000000007fff8000, 0xffffffff7fff8002,
984  0xffffffff7fff8001, 0xffffffff7fff8003,
985  0xffffffff7fff8002, 0xffffffffaaaa2aac,
986  0xffffffffaaaa2aab, 0xffffffffcccc4cce,
987  0xffffffffcccc4ccd, 0xffffffffffff0002,
988  0xffffffffffff0001, 0xffffffffffff0003,
989  0xffffffffffff0002, 0xffffffffffff0004,
990  0xffffffffffff0003, 0xffffffffffff0005,
991  0xffffffffffff0004, 0xffffffffffff7f82,
992  0xffffffffffff7f81, 0xffffffffffff7f83,
993  0xffffffffffff7f82, 0xffffffffffff7f84,
994  0xffffffffffff7f83, 0xffffffffffff7f85,
995  0xffffffffffff7f84, 0xffffffffffff7fe2,
996  0xffffffffffff7fe1, 0xffffffffffff7fff,
997  0xffffffffffff7ffe, 0xffffffffffff8000,
998  0xffffffffffff7fff, 0xffffffffffff8001,
999  0xffffffffffff8001, 0xffffffffffff8003,
1000  0xffffffffffff8002, 0xffffffffffff8004,
1001  0xffffffffffff8003, 0xffffffffffff8005,
1002  0xffffffffffff8004, 0xffffffffffff8023,
1003  0xffffffffffff8022, 0xffffffffffff8080,
1004  0xffffffffffff807f, 0xffffffffffff8081,
1005  0xffffffffffff8080, 0xffffffffffff8082,
1006  0xffffffffffff8081, 0x0000000000000000,
1007  0xffffffffffffffff, 0x0000000000000001,
1008  0x0000000000000000, 0x0000000000000002,
1009  0x0000000000000001, 0x000000003332b336,
1010  0x000000003332b335, 0x000000005554d558,
1011  0x000000005554d557, 0x000000007fff8000,
1012  0x000000007fff7fff, 0x000000007fff8001,
1013  0x000000007fff8000, 0x000000007fff8002,
1014  0x000000007fff8001, 0xffffffff7fff8003,
1015  0xffffffff7fff8002, 0xffffffff7fff8004,
1016  0xffffffff7fff8003, 0xffffffffaaaa2aad,
1017  0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
1018  0xffffffffcccc4cce, 0xffffffffffff0003,
1019  0xffffffffffff0002, 0xffffffffffff0004,
1020  0xffffffffffff0003, 0xffffffffffff0005,
1021  0xffffffffffff0004, 0xffffffffffff0006,
1022  0xffffffffffff0005, 0xffffffffffff7f83,
1023  0xffffffffffff7f82, 0xffffffffffff7f84,
1024  0xffffffffffff7f83, 0xffffffffffff7f85,
1025  0xffffffffffff7f84, 0xffffffffffff7f86,
1026  0xffffffffffff7f85, 0xffffffffffff7fe3,
1027  0xffffffffffff7fe2, 0xffffffffffff8000,
1028  0xffffffffffff7fff, 0xffffffffffff8001,
1029  0xffffffffffff8000, 0xffffffffffff8002,
1030  0xffffffffffff8002, 0xffffffffffffff80,
1031  0xffffffffffff8003, 0xffffffffffffff81,
1032  0xffffffffffff8004, 0xffffffffffffff82,
1033  0xffffffffffff8005, 0xffffffffffffffa0,
1034  0xffffffffffff8023, 0xfffffffffffffffd,
1035  0xffffffffffff8080, 0xfffffffffffffffe,
1036  0xffffffffffff8081, 0xffffffffffffffff,
1037  0xffffffffffff8082, 0x0000000000007f7d,
1038  0x0000000000000000, 0x0000000000007f7e,
1039  0x0000000000000001, 0x0000000000007f7f,
1040  0x0000000000000002, 0x00000000333332b3,
1041  0x000000003332b336, 0x00000000555554d5,
1042  0x000000005554d558, 0x000000007fffff7d,
1043  0x000000007fff8000, 0x000000007fffff7e,
1044  0x000000007fff8001, 0x000000007fffff7f,
1045  0x000000007fff8002, 0xffffffff7fffff80,
1046  0xffffffff7fff8003, 0xffffffff7fffff81,
1047  0xffffffff7fff8004, 0xffffffffaaaaaa2a,
1048  0xffffffffaaaa2aad, 0xffffffffcccccc4c,
1049  0xffffffffcccc4ccf, 0xffffffffffff7f80,
1050  0xffffffffffff0003, 0xffffffffffff7f81,
1051  0xffffffffffff0004, 0xffffffffffff7f82,
1052  0xffffffffffff0005, 0xffffffffffff7f83,
1053  0xffffffffffff0006, 0xffffffffffffff00,
1054  0xffffffffffff7f83, 0xffffffffffffff01,
1055  0xffffffffffff7f84, 0xffffffffffffff02,
1056  0xffffffffffff7f85, 0xffffffffffffff03,
1057  0xffffffffffff7f86, 0xffffffffffffff60,
1058  0xffffffffffff7fe3, 0xffffffffffffff7d,
1059  0xffffffffffff8000, 0xffffffffffffff7e,
1060  0xffffffffffff8001, 0xffffffffffffff7f,
1061  0xffffffffffffff7f, 0xffffffffffffff81,
1062  0xffffffffffffff80, 0xffffffffffffff82,
1063  0xffffffffffffff81, 0xffffffffffffff83,
1064  0xffffffffffffff82, 0xffffffffffffffa1,
1065  0xffffffffffffffa0, 0xfffffffffffffffe,
1066  0xfffffffffffffffd, 0xffffffffffffffff,
1067  0xfffffffffffffffe, 0x0000000000000000,
1068  0xffffffffffffffff, 0x0000000000007f7e,
1069  0x0000000000007f7d, 0x0000000000007f7f,
1070  0x0000000000007f7e, 0x0000000000007f80,
1071  0x0000000000007f7f, 0x00000000333332b4,
1072  0x00000000333332b3, 0x00000000555554d6,
1073  0x00000000555554d5, 0x000000007fffff7e,
1074  0x000000007fffff7d, 0x000000007fffff7f,
1075  0x000000007fffff7e, 0x000000007fffff80,
1076  0x000000007fffff7f, 0xffffffff7fffff81,
1077  0xffffffff7fffff80, 0xffffffff7fffff82,
1078  0xffffffff7fffff81, 0xffffffffaaaaaa2b,
1079  0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
1080  0xffffffffcccccc4c, 0xffffffffffff7f81,
1081  0xffffffffffff7f80, 0xffffffffffff7f82,
1082  0xffffffffffff7f81, 0xffffffffffff7f83,
1083  0xffffffffffff7f82, 0xffffffffffff7f84,
1084  0xffffffffffff7f83, 0xffffffffffffff01,
1085  0xffffffffffffff00, 0xffffffffffffff02,
1086  0xffffffffffffff01, 0xffffffffffffff03,
1087  0xffffffffffffff02, 0xffffffffffffff04,
1088  0xffffffffffffff03, 0xffffffffffffff61,
1089  0xffffffffffffff60, 0xffffffffffffff7e,
1090  0xffffffffffffff7d, 0xffffffffffffff7f,
1091  0xffffffffffffff7e, 0xffffffffffffff80,
1092  0xffffffffffffff80, 0xffffffffffffff82,
1093  0xffffffffffffff81, 0xffffffffffffff83,
1094  0xffffffffffffff82, 0xffffffffffffff84,
1095  0xffffffffffffff83, 0xffffffffffffffa2,
1096  0xffffffffffffffa1, 0xffffffffffffffff,
1097  0xfffffffffffffffe, 0x0000000000000000,
1098  0xffffffffffffffff, 0x0000000000000001,
1099  0x0000000000000000, 0x0000000000007f7f,
1100  0x0000000000007f7e, 0x0000000000007f80,
1101  0x0000000000007f7f, 0x0000000000007f81,
1102  0x0000000000007f80, 0x00000000333332b5,
1103  0x00000000333332b4, 0x00000000555554d7,
1104  0x00000000555554d6, 0x000000007fffff7f,
1105  0x000000007fffff7e, 0x000000007fffff80,
1106  0x000000007fffff7f, 0x000000007fffff81,
1107  0x000000007fffff80, 0xffffffff7fffff82,
1108  0xffffffff7fffff81, 0xffffffff7fffff83,
1109  0xffffffff7fffff82, 0xffffffffaaaaaa2c,
1110  0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
1111  0xffffffffcccccc4d, 0xffffffffffff7f82,
1112  0xffffffffffff7f81, 0xffffffffffff7f83,
1113  0xffffffffffff7f82, 0xffffffffffff7f84,
1114  0xffffffffffff7f83, 0xffffffffffff7f85,
1115  0xffffffffffff7f84, 0xffffffffffffff02,
1116  0xffffffffffffff01, 0xffffffffffffff03,
1117  0xffffffffffffff02, 0xffffffffffffff04,
1118  0xffffffffffffff03, 0xffffffffffffff05,
1119  0xffffffffffffff04, 0xffffffffffffff62,
1120  0xffffffffffffff61, 0xffffffffffffff7f,
1121  0xffffffffffffff7e, 0xffffffffffffff80,
1122  0xffffffffffffff7f, 0xffffffffffffff81,
1123  0xffffffffffffff81, 0xffffffffffffff83,
1124  0xffffffffffffff82, 0xffffffffffffff84,
1125  0xffffffffffffff83, 0xffffffffffffff85,
1126  0xffffffffffffff84, 0xffffffffffffffa3,
1127  0xffffffffffffffa2, 0x0000000000000000,
1128  0xffffffffffffffff, 0x0000000000000001,
1129  0x0000000000000000, 0x0000000000000002,
1130  0x0000000000000001, 0x0000000000007f80,
1131  0x0000000000007f7f, 0x0000000000007f81,
1132  0x0000000000007f80, 0x0000000000007f82,
1133  0x0000000000007f81, 0x00000000333332b6,
1134  0x00000000333332b5, 0x00000000555554d8,
1135  0x00000000555554d7, 0x000000007fffff80,
1136  0x000000007fffff7f, 0x000000007fffff81,
1137  0x000000007fffff80, 0x000000007fffff82,
1138  0x000000007fffff81, 0xffffffff7fffff83,
1139  0xffffffff7fffff82, 0xffffffff7fffff84,
1140  0xffffffff7fffff83, 0xffffffffaaaaaa2d,
1141  0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
1142  0xffffffffcccccc4e, 0xffffffffffff7f83,
1143  0xffffffffffff7f82, 0xffffffffffff7f84,
1144  0xffffffffffff7f83, 0xffffffffffff7f85,
1145  0xffffffffffff7f84, 0xffffffffffff7f86,
1146  0xffffffffffff7f85, 0xffffffffffffff03,
1147  0xffffffffffffff02, 0xffffffffffffff04,
1148  0xffffffffffffff03, 0xffffffffffffff05,
1149  0xffffffffffffff04, 0xffffffffffffff06,
1150  0xffffffffffffff05, 0xffffffffffffff63,
1151  0xffffffffffffff62, 0xffffffffffffff80,
1152  0xffffffffffffff7f, 0xffffffffffffff81,
1153  0xffffffffffffff80, 0xffffffffffffff82,
1154  0xffffffffffffff82, 0xffffffffffffffc0,
1155  0xffffffffffffff83, 0xffffffffffffffc1,
1156  0xffffffffffffff84, 0xffffffffffffffc2,
1157  0xffffffffffffff85, 0xffffffffffffffe0,
1158  0xffffffffffffffa3, 0x000000000000003d,
1159  0x0000000000000000, 0x000000000000003e,
1160  0x0000000000000001, 0x000000000000003f,
1161  0x0000000000000002, 0x0000000000007fbd,
1162  0x0000000000007f80, 0x0000000000007fbe,
1163  0x0000000000007f81, 0x0000000000007fbf,
1164  0x0000000000007f82, 0x00000000333332f3,
1165  0x00000000333332b6, 0x0000000055555515,
1166  0x00000000555554d8, 0x000000007fffffbd,
1167  0x000000007fffff80, 0x000000007fffffbe,
1168  0x000000007fffff81, 0x000000007fffffbf,
1169  0x000000007fffff82, 0xffffffff7fffffc0,
1170  0xffffffff7fffff83, 0xffffffff7fffffc1,
1171  0xffffffff7fffff84, 0xffffffffaaaaaa6a,
1172  0xffffffffaaaaaa2d, 0xffffffffcccccc8c,
1173  0xffffffffcccccc4f, 0xffffffffffff7fc0,
1174  0xffffffffffff7f83, 0xffffffffffff7fc1,
1175  0xffffffffffff7f84, 0xffffffffffff7fc2,
1176  0xffffffffffff7f85, 0xffffffffffff7fc3,
1177  0xffffffffffff7f86, 0xffffffffffffff40,
1178  0xffffffffffffff03, 0xffffffffffffff41,
1179  0xffffffffffffff04, 0xffffffffffffff42,
1180  0xffffffffffffff05, 0xffffffffffffff43,
1181  0xffffffffffffff06, 0xffffffffffffffa0,
1182  0xffffffffffffff63, 0xffffffffffffffbd,
1183  0xffffffffffffff80, 0xffffffffffffffbe,
1184  0xffffffffffffff81, 0xffffffffffffffbf,
1185  0xffffffffffffffbf, 0xfffffffffffffffd,
1186  0xffffffffffffffc0, 0xfffffffffffffffe,
1187  0xffffffffffffffc1, 0xffffffffffffffff,
1188  0xffffffffffffffc2, 0x000000000000001d,
1189  0xffffffffffffffe0, 0x000000000000007a,
1190  0x000000000000003d, 0x000000000000007b,
1191  0x000000000000003e, 0x000000000000007c,
1192  0x000000000000003f, 0x0000000000007ffa,
1193  0x0000000000007fbd, 0x0000000000007ffb,
1194  0x0000000000007fbe, 0x0000000000007ffc,
1195  0x0000000000007fbf, 0x0000000033333330,
1196  0x00000000333332f3, 0x0000000055555552,
1197  0x0000000055555515, 0x000000007ffffffa,
1198  0x000000007fffffbd, 0x000000007ffffffb,
1199  0x000000007fffffbe, 0x000000007ffffffc,
1200  0x000000007fffffbf, 0xffffffff7ffffffd,
1201  0xffffffff7fffffc0, 0xffffffff7ffffffe,
1202  0xffffffff7fffffc1, 0xffffffffaaaaaaa7,
1203  0xffffffffaaaaaa6a, 0xffffffffccccccc9,
1204  0xffffffffcccccc8c, 0xffffffffffff7ffd,
1205  0xffffffffffff7fc0, 0xffffffffffff7ffe,
1206  0xffffffffffff7fc1, 0xffffffffffff7fff,
1207  0xffffffffffff7fc2, 0xffffffffffff8000,
1208  0xffffffffffff7fc3, 0xffffffffffffff7d,
1209  0xffffffffffffff40, 0xffffffffffffff7e,
1210  0xffffffffffffff41, 0xffffffffffffff7f,
1211  0xffffffffffffff42, 0xffffffffffffff80,
1212  0xffffffffffffff43, 0xffffffffffffffdd,
1213  0xffffffffffffffa0, 0xfffffffffffffffa,
1214  0xffffffffffffffbd, 0xfffffffffffffffb,
1215  0xffffffffffffffbe, 0xfffffffffffffffc,
1216  0xfffffffffffffffc, 0xfffffffffffffffe,
1217  0xfffffffffffffffd, 0xffffffffffffffff,
1218  0xfffffffffffffffe, 0x0000000000000000,
1219  0xffffffffffffffff, 0x000000000000001e,
1220  0x000000000000001d, 0x000000000000007b,
1221  0x000000000000007a, 0x000000000000007c,
1222  0x000000000000007b, 0x000000000000007d,
1223  0x000000000000007c, 0x0000000000007ffb,
1224  0x0000000000007ffa, 0x0000000000007ffc,
1225  0x0000000000007ffb, 0x0000000000007ffd,
1226  0x0000000000007ffc, 0x0000000033333331,
1227  0x0000000033333330, 0x0000000055555553,
1228  0x0000000055555552, 0x000000007ffffffb,
1229  0x000000007ffffffa, 0x000000007ffffffc,
1230  0x000000007ffffffb, 0x000000007ffffffd,
1231  0x000000007ffffffc, 0xffffffff7ffffffe,
1232  0xffffffff7ffffffd, 0xffffffff7fffffff,
1233  0xffffffff7ffffffe, 0xffffffffaaaaaaa8,
1234  0xffffffffaaaaaaa7, 0xffffffffccccccca,
1235  0xffffffffccccccc9, 0xffffffffffff7ffe,
1236  0xffffffffffff7ffd, 0xffffffffffff7fff,
1237  0xffffffffffff7ffe, 0xffffffffffff8000,
1238  0xffffffffffff7fff, 0xffffffffffff8001,
1239  0xffffffffffff8000, 0xffffffffffffff7e,
1240  0xffffffffffffff7d, 0xffffffffffffff7f,
1241  0xffffffffffffff7e, 0xffffffffffffff80,
1242  0xffffffffffffff7f, 0xffffffffffffff81,
1243  0xffffffffffffff80, 0xffffffffffffffde,
1244  0xffffffffffffffdd, 0xfffffffffffffffb,
1245  0xfffffffffffffffa, 0xfffffffffffffffc,
1246  0xfffffffffffffffb, 0xfffffffffffffffd,
1247  0xfffffffffffffffd, 0xffffffffffffffff,
1248  0xfffffffffffffffe, 0x0000000000000000,
1249  0xffffffffffffffff, 0x0000000000000001,
1250  0x0000000000000000, 0x000000000000001f,
1251  0x000000000000001e, 0x000000000000007c,
1252  0x000000000000007b, 0x000000000000007d,
1253  0x000000000000007c, 0x000000000000007e,
1254  0x000000000000007d, 0x0000000000007ffc,
1255  0x0000000000007ffb, 0x0000000000007ffd,
1256  0x0000000000007ffc, 0x0000000000007ffe,
1257  0x0000000000007ffd, 0x0000000033333332,
1258  0x0000000033333331, 0x0000000055555554,
1259  0x0000000055555553, 0x000000007ffffffc,
1260  0x000000007ffffffb, 0x000000007ffffffd,
1261  0x000000007ffffffc, 0x000000007ffffffe,
1262  0x000000007ffffffd, 0xffffffff7fffffff,
1263  0xffffffff7ffffffe, 0xffffffff80000000,
1264  0xffffffff7fffffff, 0xffffffffaaaaaaa9,
1265  0xffffffffaaaaaaa8, 0xffffffffcccccccb,
1266  0xffffffffccccccca, 0xffffffffffff7fff,
1267  0xffffffffffff7ffe, 0xffffffffffff8000,
1268  0xffffffffffff7fff, 0xffffffffffff8001,
1269  0xffffffffffff8000, 0xffffffffffff8002,
1270  0xffffffffffff8001, 0xffffffffffffff7f,
1271  0xffffffffffffff7e, 0xffffffffffffff80,
1272  0xffffffffffffff7f, 0xffffffffffffff81,
1273  0xffffffffffffff80, 0xffffffffffffff82,
1274  0xffffffffffffff81, 0xffffffffffffffdf,
1275  0xffffffffffffffde, 0xfffffffffffffffc,
1276  0xfffffffffffffffb, 0xfffffffffffffffd,
1277  0xfffffffffffffffc, 0xfffffffffffffffe,
1278};
1279const unsigned kExpectedCount_NEON_saddw2_2D = 1240;
1280
1281#endif  // VIXL_SIM_SADDW2_2D_TRACE_AARCH64_H_
1282