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_SADDL2_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_SADDL2_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_saddl2_2D[] = {
38  0x0000000000fffa00, 0x0000000000000000,
39  0x00000000007ffd00, 0x0000000000000001,
40  0x00000000007ffd01, 0x0000000000000002,
41  0x00000000007ffd02, 0x0000000000000020,
42  0x00000000007ffd20, 0x000000000000007d,
43  0x00000000007ffd7d, 0x000000000000007e,
44  0x00000000007ffd7e, 0x000000000000007f,
45  0x00000000007ffd7f, 0x0000000000007ffd,
46  0x0000000000807cfd, 0x0000000000007ffe,
47  0x0000000000807cfe, 0x0000000000007fff,
48  0x0000000000807cff, 0x0000000033333333,
49  0x0000000033b33033, 0x0000000055555555,
50  0x0000000055d55255, 0x000000007ffffffd,
51  0x00000000807ffcfd, 0x000000007ffffffe,
52  0x00000000807ffcfe, 0x000000007fffffff,
53  0x00000000807ffcff, 0xffffffff80000000,
54  0xffffffff807ffd00, 0xffffffff80000001,
55  0xffffffff807ffd01, 0xffffffffaaaaaaaa,
56  0xffffffffab2aa7aa, 0xffffffffcccccccc,
57  0xffffffffcd4cc9cc, 0xffffffffffff8000,
58  0x00000000007f7d00, 0xffffffffffff8001,
59  0x00000000007f7d01, 0xffffffffffff8002,
60  0x00000000007f7d02, 0xffffffffffff8003,
61  0x00000000007f7d03, 0xffffffffffffff80,
62  0x00000000007ffc80, 0xffffffffffffff81,
63  0x00000000007ffc81, 0xffffffffffffff82,
64  0x00000000007ffc82, 0xffffffffffffff83,
65  0x00000000007ffc83, 0xffffffffffffffe0,
66  0x00000000007ffce0, 0xfffffffffffffffd,
67  0x00000000007ffcfd, 0xfffffffffffffffe,
68  0x00000000007ffcfe, 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, 0x0000000000000020,
132  0x0000000000000002, 0x0000000000000021,
133  0x0000000000000003, 0x0000000000000022,
134  0x0000000000000004, 0x0000000000000040,
135  0x0000000000000022, 0x000000000000009d,
136  0x000000000000007f, 0x000000000000009e,
137  0x0000000000000080, 0x000000000000009f,
138  0x0000000000000081, 0x000000000000801d,
139  0x0000000000007fff, 0x000000000000801e,
140  0x0000000000008000, 0x000000000000801f,
141  0x0000000000008001, 0x0000000033333353,
142  0x0000000033333335, 0x0000000055555575,
143  0x0000000055555557, 0x000000008000001d,
144  0x000000007fffffff, 0x000000008000001e,
145  0x0000000080000000, 0x000000008000001f,
146  0x0000000080000001, 0xffffffff80000020,
147  0xffffffff80000002, 0xffffffff80000021,
148  0xffffffff80000003, 0xffffffffaaaaaaca,
149  0xffffffffaaaaaaac, 0xffffffffccccccec,
150  0xffffffffccccccce, 0xffffffffffff8020,
151  0xffffffffffff8002, 0xffffffffffff8021,
152  0xffffffffffff8003, 0xffffffffffff8022,
153  0xffffffffffff8004, 0xffffffffffff8023,
154  0xffffffffffff8005, 0xffffffffffffffa0,
155  0xffffffffffffff82, 0xffffffffffffffa1,
156  0xffffffffffffff83, 0xffffffffffffffa2,
157  0xffffffffffffff84, 0xffffffffffffffa3,
158  0xffffffffffffff85, 0x0000000000000000,
159  0xffffffffffffffe2, 0x000000000000001d,
160  0xffffffffffffffff, 0x000000000000001e,
161  0x0000000000000000, 0x000000000000001f,
162  0x000000000000001f, 0x000000000000007d,
163  0x0000000000000020, 0x000000000000007e,
164  0x0000000000000021, 0x000000000000007f,
165  0x0000000000000022, 0x000000000000009d,
166  0x0000000000000040, 0x00000000000000fa,
167  0x000000000000009d, 0x00000000000000fb,
168  0x000000000000009e, 0x00000000000000fc,
169  0x000000000000009f, 0x000000000000807a,
170  0x000000000000801d, 0x000000000000807b,
171  0x000000000000801e, 0x000000000000807c,
172  0x000000000000801f, 0x00000000333333b0,
173  0x0000000033333353, 0x00000000555555d2,
174  0x0000000055555575, 0x000000008000007a,
175  0x000000008000001d, 0x000000008000007b,
176  0x000000008000001e, 0x000000008000007c,
177  0x000000008000001f, 0xffffffff8000007d,
178  0xffffffff80000020, 0xffffffff8000007e,
179  0xffffffff80000021, 0xffffffffaaaaab27,
180  0xffffffffaaaaaaca, 0xffffffffcccccd49,
181  0xffffffffccccccec, 0xffffffffffff807d,
182  0xffffffffffff8020, 0xffffffffffff807e,
183  0xffffffffffff8021, 0xffffffffffff807f,
184  0xffffffffffff8022, 0xffffffffffff8080,
185  0xffffffffffff8023, 0xfffffffffffffffd,
186  0xffffffffffffffa0, 0xfffffffffffffffe,
187  0xffffffffffffffa1, 0xffffffffffffffff,
188  0xffffffffffffffa2, 0x0000000000000000,
189  0xffffffffffffffa3, 0x000000000000005d,
190  0x0000000000000000, 0x000000000000007a,
191  0x000000000000001d, 0x000000000000007b,
192  0x000000000000001e, 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, 0x0000000033333333,
349  0x0000000000007fff, 0x0000000033333334,
350  0x0000000000008000, 0x0000000033333335,
351  0x0000000000008001, 0x0000000033333353,
352  0x000000000000801f, 0x00000000333333b0,
353  0x000000000000807c, 0x00000000333333b1,
354  0x000000000000807d, 0x00000000333333b2,
355  0x000000000000807e, 0x000000003333b330,
356  0x000000000000fffc, 0x000000003333b331,
357  0x000000000000fffd, 0x000000003333b332,
358  0x000000000000fffe, 0x0000000066666666,
359  0x000000003333b332, 0x0000000088888888,
360  0x000000005555d554, 0x00000000b3333330,
361  0x0000000080007ffc, 0x00000000b3333331,
362  0x0000000080007ffd, 0x00000000b3333332,
363  0x0000000080007ffe, 0xffffffffb3333333,
364  0xffffffff80007fff, 0xffffffffb3333334,
365  0xffffffff80008000, 0xffffffffdddddddd,
366  0xffffffffaaab2aa9, 0xffffffffffffffff,
367  0xffffffffcccd4ccb, 0x000000003332b333,
368  0xffffffffffffffff, 0x000000003332b334,
369  0x0000000000000000, 0x000000003332b335,
370  0x0000000000000001, 0x000000003332b336,
371  0x0000000000000002, 0x00000000333332b3,
372  0x0000000000007f7f, 0x00000000333332b4,
373  0x0000000000007f80, 0x00000000333332b5,
374  0x0000000000007f81, 0x00000000333332b6,
375  0x0000000000007f82, 0x0000000033333313,
376  0x0000000000007fdf, 0x0000000033333330,
377  0x0000000000007ffc, 0x0000000033333331,
378  0x0000000000007ffd, 0x0000000033333332,
379  0x0000000033333332, 0x0000000055555555,
380  0x0000000033333333, 0x0000000055555556,
381  0x0000000033333334, 0x0000000055555557,
382  0x0000000033333335, 0x0000000055555575,
383  0x0000000033333353, 0x00000000555555d2,
384  0x00000000333333b0, 0x00000000555555d3,
385  0x00000000333333b1, 0x00000000555555d4,
386  0x00000000333333b2, 0x000000005555d552,
387  0x000000003333b330, 0x000000005555d553,
388  0x000000003333b331, 0x000000005555d554,
389  0x000000003333b332, 0x0000000088888888,
390  0x0000000066666666, 0x00000000aaaaaaaa,
391  0x0000000088888888, 0x00000000d5555552,
392  0x00000000b3333330, 0x00000000d5555553,
393  0x00000000b3333331, 0x00000000d5555554,
394  0x00000000b3333332, 0xffffffffd5555555,
395  0xffffffffb3333333, 0xffffffffd5555556,
396  0xffffffffb3333334, 0xffffffffffffffff,
397  0xffffffffdddddddd, 0x0000000022222221,
398  0xffffffffffffffff, 0x000000005554d555,
399  0x000000003332b333, 0x000000005554d556,
400  0x000000003332b334, 0x000000005554d557,
401  0x000000003332b335, 0x000000005554d558,
402  0x000000003332b336, 0x00000000555554d5,
403  0x00000000333332b3, 0x00000000555554d6,
404  0x00000000333332b4, 0x00000000555554d7,
405  0x00000000333332b5, 0x00000000555554d8,
406  0x00000000333332b6, 0x0000000055555535,
407  0x0000000033333313, 0x0000000055555552,
408  0x0000000033333330, 0x0000000055555553,
409  0x0000000033333331, 0x0000000055555554,
410  0x0000000055555554, 0x000000007ffffffd,
411  0x0000000055555555, 0x000000007ffffffe,
412  0x0000000055555556, 0x000000007fffffff,
413  0x0000000055555557, 0x000000008000001d,
414  0x0000000055555575, 0x000000008000007a,
415  0x00000000555555d2, 0x000000008000007b,
416  0x00000000555555d3, 0x000000008000007c,
417  0x00000000555555d4, 0x0000000080007ffa,
418  0x000000005555d552, 0x0000000080007ffb,
419  0x000000005555d553, 0x0000000080007ffc,
420  0x000000005555d554, 0x00000000b3333330,
421  0x0000000088888888, 0x00000000d5555552,
422  0x00000000aaaaaaaa, 0x00000000fffffffa,
423  0x00000000d5555552, 0x00000000fffffffb,
424  0x00000000d5555553, 0x00000000fffffffc,
425  0x00000000d5555554, 0xfffffffffffffffd,
426  0xffffffffd5555555, 0xfffffffffffffffe,
427  0xffffffffd5555556, 0x000000002aaaaaa7,
428  0xffffffffffffffff, 0x000000004cccccc9,
429  0x0000000022222221, 0x000000007fff7ffd,
430  0x000000005554d555, 0x000000007fff7ffe,
431  0x000000005554d556, 0x000000007fff7fff,
432  0x000000005554d557, 0x000000007fff8000,
433  0x000000005554d558, 0x000000007fffff7d,
434  0x00000000555554d5, 0x000000007fffff7e,
435  0x00000000555554d6, 0x000000007fffff7f,
436  0x00000000555554d7, 0x000000007fffff80,
437  0x00000000555554d8, 0x000000007fffffdd,
438  0x0000000055555535, 0x000000007ffffffa,
439  0x0000000055555552, 0x000000007ffffffb,
440  0x0000000055555553, 0x000000007ffffffc,
441  0x000000007ffffffc, 0x000000007ffffffe,
442  0x000000007ffffffd, 0x000000007fffffff,
443  0x000000007ffffffe, 0x0000000080000000,
444  0x000000007fffffff, 0x000000008000001e,
445  0x000000008000001d, 0x000000008000007b,
446  0x000000008000007a, 0x000000008000007c,
447  0x000000008000007b, 0x000000008000007d,
448  0x000000008000007c, 0x0000000080007ffb,
449  0x0000000080007ffa, 0x0000000080007ffc,
450  0x0000000080007ffb, 0x0000000080007ffd,
451  0x0000000080007ffc, 0x00000000b3333331,
452  0x00000000b3333330, 0x00000000d5555553,
453  0x00000000d5555552, 0x00000000fffffffb,
454  0x00000000fffffffa, 0x00000000fffffffc,
455  0x00000000fffffffb, 0x00000000fffffffd,
456  0x00000000fffffffc, 0xfffffffffffffffe,
457  0xfffffffffffffffd, 0xffffffffffffffff,
458  0xfffffffffffffffe, 0x000000002aaaaaa8,
459  0x000000002aaaaaa7, 0x000000004cccccca,
460  0x000000004cccccc9, 0x000000007fff7ffe,
461  0x000000007fff7ffd, 0x000000007fff7fff,
462  0x000000007fff7ffe, 0x000000007fff8000,
463  0x000000007fff7fff, 0x000000007fff8001,
464  0x000000007fff8000, 0x000000007fffff7e,
465  0x000000007fffff7d, 0x000000007fffff7f,
466  0x000000007fffff7e, 0x000000007fffff80,
467  0x000000007fffff7f, 0x000000007fffff81,
468  0x000000007fffff80, 0x000000007fffffde,
469  0x000000007fffffdd, 0x000000007ffffffb,
470  0x000000007ffffffa, 0x000000007ffffffc,
471  0x000000007ffffffb, 0x000000007ffffffd,
472  0x000000007ffffffd, 0x000000007fffffff,
473  0x000000007ffffffe, 0x0000000080000000,
474  0x000000007fffffff, 0x0000000080000001,
475  0x0000000080000000, 0x000000008000001f,
476  0x000000008000001e, 0x000000008000007c,
477  0x000000008000007b, 0x000000008000007d,
478  0x000000008000007c, 0x000000008000007e,
479  0x000000008000007d, 0x0000000080007ffc,
480  0x0000000080007ffb, 0x0000000080007ffd,
481  0x0000000080007ffc, 0x0000000080007ffe,
482  0x0000000080007ffd, 0x00000000b3333332,
483  0x00000000b3333331, 0x00000000d5555554,
484  0x00000000d5555553, 0x00000000fffffffc,
485  0x00000000fffffffb, 0x00000000fffffffd,
486  0x00000000fffffffc, 0x00000000fffffffe,
487  0x00000000fffffffd, 0xffffffffffffffff,
488  0xfffffffffffffffe, 0x0000000000000000,
489  0xffffffffffffffff, 0x000000002aaaaaa9,
490  0x000000002aaaaaa8, 0x000000004ccccccb,
491  0x000000004cccccca, 0x000000007fff7fff,
492  0x000000007fff7ffe, 0x000000007fff8000,
493  0x000000007fff7fff, 0x000000007fff8001,
494  0x000000007fff8000, 0x000000007fff8002,
495  0x000000007fff8001, 0x000000007fffff7f,
496  0x000000007fffff7e, 0x000000007fffff80,
497  0x000000007fffff7f, 0x000000007fffff81,
498  0x000000007fffff80, 0x000000007fffff82,
499  0x000000007fffff81, 0x000000007fffffdf,
500  0x000000007fffffde, 0x000000007ffffffc,
501  0x000000007ffffffb, 0x000000007ffffffd,
502  0x000000007ffffffc, 0x000000007ffffffe,
503  0x000000007ffffffe, 0xffffffff80000000,
504  0x000000007fffffff, 0xffffffff80000001,
505  0x0000000080000000, 0xffffffff80000002,
506  0x0000000080000001, 0xffffffff80000020,
507  0x000000008000001f, 0xffffffff8000007d,
508  0x000000008000007c, 0xffffffff8000007e,
509  0x000000008000007d, 0xffffffff8000007f,
510  0x000000008000007e, 0xffffffff80007ffd,
511  0x0000000080007ffc, 0xffffffff80007ffe,
512  0x0000000080007ffd, 0xffffffff80007fff,
513  0x0000000080007ffe, 0xffffffffb3333333,
514  0x00000000b3333332, 0xffffffffd5555555,
515  0x00000000d5555554, 0xfffffffffffffffd,
516  0x00000000fffffffc, 0xfffffffffffffffe,
517  0x00000000fffffffd, 0xffffffffffffffff,
518  0x00000000fffffffe, 0xffffffff00000000,
519  0xffffffffffffffff, 0xffffffff00000001,
520  0x0000000000000000, 0xffffffff2aaaaaaa,
521  0x000000002aaaaaa9, 0xffffffff4ccccccc,
522  0x000000004ccccccb, 0xffffffff7fff8000,
523  0x000000007fff7fff, 0xffffffff7fff8001,
524  0x000000007fff8000, 0xffffffff7fff8002,
525  0x000000007fff8001, 0xffffffff7fff8003,
526  0x000000007fff8002, 0xffffffff7fffff80,
527  0x000000007fffff7f, 0xffffffff7fffff81,
528  0x000000007fffff80, 0xffffffff7fffff82,
529  0x000000007fffff81, 0xffffffff7fffff83,
530  0x000000007fffff82, 0xffffffff7fffffe0,
531  0x000000007fffffdf, 0xffffffff7ffffffd,
532  0x000000007ffffffc, 0xffffffff7ffffffe,
533  0x000000007ffffffd, 0xffffffff7fffffff,
534  0xffffffff7fffffff, 0xffffffff80000001,
535  0xffffffff80000000, 0xffffffff80000002,
536  0xffffffff80000001, 0xffffffff80000003,
537  0xffffffff80000002, 0xffffffff80000021,
538  0xffffffff80000020, 0xffffffff8000007e,
539  0xffffffff8000007d, 0xffffffff8000007f,
540  0xffffffff8000007e, 0xffffffff80000080,
541  0xffffffff8000007f, 0xffffffff80007ffe,
542  0xffffffff80007ffd, 0xffffffff80007fff,
543  0xffffffff80007ffe, 0xffffffff80008000,
544  0xffffffff80007fff, 0xffffffffb3333334,
545  0xffffffffb3333333, 0xffffffffd5555556,
546  0xffffffffd5555555, 0xfffffffffffffffe,
547  0xfffffffffffffffd, 0xffffffffffffffff,
548  0xfffffffffffffffe, 0x0000000000000000,
549  0xffffffffffffffff, 0xffffffff00000001,
550  0xffffffff00000000, 0xffffffff00000002,
551  0xffffffff00000001, 0xffffffff2aaaaaab,
552  0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
553  0xffffffff4ccccccc, 0xffffffff7fff8001,
554  0xffffffff7fff8000, 0xffffffff7fff8002,
555  0xffffffff7fff8001, 0xffffffff7fff8003,
556  0xffffffff7fff8002, 0xffffffff7fff8004,
557  0xffffffff7fff8003, 0xffffffff7fffff81,
558  0xffffffff7fffff80, 0xffffffff7fffff82,
559  0xffffffff7fffff81, 0xffffffff7fffff83,
560  0xffffffff7fffff82, 0xffffffff7fffff84,
561  0xffffffff7fffff83, 0xffffffff7fffffe1,
562  0xffffffff7fffffe0, 0xffffffff7ffffffe,
563  0xffffffff7ffffffd, 0xffffffff7fffffff,
564  0xffffffff7ffffffe, 0xffffffff80000000,
565  0xffffffff80000000, 0xffffffffaaaaaaaa,
566  0xffffffff80000001, 0xffffffffaaaaaaab,
567  0xffffffff80000002, 0xffffffffaaaaaaac,
568  0xffffffff80000003, 0xffffffffaaaaaaca,
569  0xffffffff80000021, 0xffffffffaaaaab27,
570  0xffffffff8000007e, 0xffffffffaaaaab28,
571  0xffffffff8000007f, 0xffffffffaaaaab29,
572  0xffffffff80000080, 0xffffffffaaab2aa7,
573  0xffffffff80007ffe, 0xffffffffaaab2aa8,
574  0xffffffff80007fff, 0xffffffffaaab2aa9,
575  0xffffffff80008000, 0xffffffffdddddddd,
576  0xffffffffb3333334, 0xffffffffffffffff,
577  0xffffffffd5555556, 0x000000002aaaaaa7,
578  0xfffffffffffffffe, 0x000000002aaaaaa8,
579  0xffffffffffffffff, 0x000000002aaaaaa9,
580  0x0000000000000000, 0xffffffff2aaaaaaa,
581  0xffffffff00000001, 0xffffffff2aaaaaab,
582  0xffffffff00000002, 0xffffffff55555554,
583  0xffffffff2aaaaaab, 0xffffffff77777776,
584  0xffffffff4ccccccd, 0xffffffffaaaa2aaa,
585  0xffffffff7fff8001, 0xffffffffaaaa2aab,
586  0xffffffff7fff8002, 0xffffffffaaaa2aac,
587  0xffffffff7fff8003, 0xffffffffaaaa2aad,
588  0xffffffff7fff8004, 0xffffffffaaaaaa2a,
589  0xffffffff7fffff81, 0xffffffffaaaaaa2b,
590  0xffffffff7fffff82, 0xffffffffaaaaaa2c,
591  0xffffffff7fffff83, 0xffffffffaaaaaa2d,
592  0xffffffff7fffff84, 0xffffffffaaaaaa8a,
593  0xffffffff7fffffe1, 0xffffffffaaaaaaa7,
594  0xffffffff7ffffffe, 0xffffffffaaaaaaa8,
595  0xffffffff7fffffff, 0xffffffffaaaaaaa9,
596  0xffffffffaaaaaaa9, 0xffffffffcccccccc,
597  0xffffffffaaaaaaaa, 0xffffffffcccccccd,
598  0xffffffffaaaaaaab, 0xffffffffccccccce,
599  0xffffffffaaaaaaac, 0xffffffffccccccec,
600  0xffffffffaaaaaaca, 0xffffffffcccccd49,
601  0xffffffffaaaaab27, 0xffffffffcccccd4a,
602  0xffffffffaaaaab28, 0xffffffffcccccd4b,
603  0xffffffffaaaaab29, 0xffffffffcccd4cc9,
604  0xffffffffaaab2aa7, 0xffffffffcccd4cca,
605  0xffffffffaaab2aa8, 0xffffffffcccd4ccb,
606  0xffffffffaaab2aa9, 0xffffffffffffffff,
607  0xffffffffdddddddd, 0x0000000022222221,
608  0xffffffffffffffff, 0x000000004cccccc9,
609  0x000000002aaaaaa7, 0x000000004cccccca,
610  0x000000002aaaaaa8, 0x000000004ccccccb,
611  0x000000002aaaaaa9, 0xffffffff4ccccccc,
612  0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
613  0xffffffff2aaaaaab, 0xffffffff77777776,
614  0xffffffff55555554, 0xffffffff99999998,
615  0xffffffff77777776, 0xffffffffcccc4ccc,
616  0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
617  0xffffffffaaaa2aab, 0xffffffffcccc4cce,
618  0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
619  0xffffffffaaaa2aad, 0xffffffffcccccc4c,
620  0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
621  0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
622  0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
623  0xffffffffaaaaaa2d, 0xffffffffccccccac,
624  0xffffffffaaaaaa8a, 0xffffffffccccccc9,
625  0xffffffffaaaaaaa7, 0xffffffffccccccca,
626  0xffffffffaaaaaaa8, 0xffffffffcccccccb,
627  0xffffffffcccccccb, 0xffffffffffff8000,
628  0xffffffffcccccccc, 0xffffffffffff8001,
629  0xffffffffcccccccd, 0xffffffffffff8002,
630  0xffffffffccccccce, 0xffffffffffff8020,
631  0xffffffffccccccec, 0xffffffffffff807d,
632  0xffffffffcccccd49, 0xffffffffffff807e,
633  0xffffffffcccccd4a, 0xffffffffffff807f,
634  0xffffffffcccccd4b, 0xfffffffffffffffd,
635  0xffffffffcccd4cc9, 0xfffffffffffffffe,
636  0xffffffffcccd4cca, 0xffffffffffffffff,
637  0xffffffffcccd4ccb, 0x000000003332b333,
638  0xffffffffffffffff, 0x000000005554d555,
639  0x0000000022222221, 0x000000007fff7ffd,
640  0x000000004cccccc9, 0x000000007fff7ffe,
641  0x000000004cccccca, 0x000000007fff7fff,
642  0x000000004ccccccb, 0xffffffff7fff8000,
643  0xffffffff4ccccccc, 0xffffffff7fff8001,
644  0xffffffff4ccccccd, 0xffffffffaaaa2aaa,
645  0xffffffff77777776, 0xffffffffcccc4ccc,
646  0xffffffff99999998, 0xffffffffffff0000,
647  0xffffffffcccc4ccc, 0xffffffffffff0001,
648  0xffffffffcccc4ccd, 0xffffffffffff0002,
649  0xffffffffcccc4cce, 0xffffffffffff0003,
650  0xffffffffcccc4ccf, 0xffffffffffff7f80,
651  0xffffffffcccccc4c, 0xffffffffffff7f81,
652  0xffffffffcccccc4d, 0xffffffffffff7f82,
653  0xffffffffcccccc4e, 0xffffffffffff7f83,
654  0xffffffffcccccc4f, 0xffffffffffff7fe0,
655  0xffffffffccccccac, 0xffffffffffff7ffd,
656  0xffffffffccccccc9, 0xffffffffffff7ffe,
657  0xffffffffccccccca, 0xffffffffffff7fff,
658  0xffffffffffff7fff, 0xffffffffffff8001,
659  0xffffffffffff8000, 0xffffffffffff8002,
660  0xffffffffffff8001, 0xffffffffffff8003,
661  0xffffffffffff8002, 0xffffffffffff8021,
662  0xffffffffffff8020, 0xffffffffffff807e,
663  0xffffffffffff807d, 0xffffffffffff807f,
664  0xffffffffffff807e, 0xffffffffffff8080,
665  0xffffffffffff807f, 0xfffffffffffffffe,
666  0xfffffffffffffffd, 0xffffffffffffffff,
667  0xfffffffffffffffe, 0x0000000000000000,
668  0xffffffffffffffff, 0x000000003332b334,
669  0x000000003332b333, 0x000000005554d556,
670  0x000000005554d555, 0x000000007fff7ffe,
671  0x000000007fff7ffd, 0x000000007fff7fff,
672  0x000000007fff7ffe, 0x000000007fff8000,
673  0x000000007fff7fff, 0xffffffff7fff8001,
674  0xffffffff7fff8000, 0xffffffff7fff8002,
675  0xffffffff7fff8001, 0xffffffffaaaa2aab,
676  0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
677  0xffffffffcccc4ccc, 0xffffffffffff0001,
678  0xffffffffffff0000, 0xffffffffffff0002,
679  0xffffffffffff0001, 0xffffffffffff0003,
680  0xffffffffffff0002, 0xffffffffffff0004,
681  0xffffffffffff0003, 0xffffffffffff7f81,
682  0xffffffffffff7f80, 0xffffffffffff7f82,
683  0xffffffffffff7f81, 0xffffffffffff7f83,
684  0xffffffffffff7f82, 0xffffffffffff7f84,
685  0xffffffffffff7f83, 0xffffffffffff7fe1,
686  0xffffffffffff7fe0, 0xffffffffffff7ffe,
687  0xffffffffffff7ffd, 0xffffffffffff7fff,
688  0xffffffffffff7ffe, 0xffffffffffff8000,
689  0xffffffffffff8000, 0xffffffffffff8002,
690  0xffffffffffff8001, 0xffffffffffff8003,
691  0xffffffffffff8002, 0xffffffffffff8004,
692  0xffffffffffff8003, 0xffffffffffff8022,
693  0xffffffffffff8021, 0xffffffffffff807f,
694  0xffffffffffff807e, 0xffffffffffff8080,
695  0xffffffffffff807f, 0xffffffffffff8081,
696  0xffffffffffff8080, 0xffffffffffffffff,
697  0xfffffffffffffffe, 0x0000000000000000,
698  0xffffffffffffffff, 0x0000000000000001,
699  0x0000000000000000, 0x000000003332b335,
700  0x000000003332b334, 0x000000005554d557,
701  0x000000005554d556, 0x000000007fff7fff,
702  0x000000007fff7ffe, 0x000000007fff8000,
703  0x000000007fff7fff, 0x000000007fff8001,
704  0x000000007fff8000, 0xffffffff7fff8002,
705  0xffffffff7fff8001, 0xffffffff7fff8003,
706  0xffffffff7fff8002, 0xffffffffaaaa2aac,
707  0xffffffffaaaa2aab, 0xffffffffcccc4cce,
708  0xffffffffcccc4ccd, 0xffffffffffff0002,
709  0xffffffffffff0001, 0xffffffffffff0003,
710  0xffffffffffff0002, 0xffffffffffff0004,
711  0xffffffffffff0003, 0xffffffffffff0005,
712  0xffffffffffff0004, 0xffffffffffff7f82,
713  0xffffffffffff7f81, 0xffffffffffff7f83,
714  0xffffffffffff7f82, 0xffffffffffff7f84,
715  0xffffffffffff7f83, 0xffffffffffff7f85,
716  0xffffffffffff7f84, 0xffffffffffff7fe2,
717  0xffffffffffff7fe1, 0xffffffffffff7fff,
718  0xffffffffffff7ffe, 0xffffffffffff8000,
719  0xffffffffffff7fff, 0xffffffffffff8001,
720  0xffffffffffff8001, 0xffffffffffff8003,
721  0xffffffffffff8002, 0xffffffffffff8004,
722  0xffffffffffff8003, 0xffffffffffff8005,
723  0xffffffffffff8004, 0xffffffffffff8023,
724  0xffffffffffff8022, 0xffffffffffff8080,
725  0xffffffffffff807f, 0xffffffffffff8081,
726  0xffffffffffff8080, 0xffffffffffff8082,
727  0xffffffffffff8081, 0x0000000000000000,
728  0xffffffffffffffff, 0x0000000000000001,
729  0x0000000000000000, 0x0000000000000002,
730  0x0000000000000001, 0x000000003332b336,
731  0x000000003332b335, 0x000000005554d558,
732  0x000000005554d557, 0x000000007fff8000,
733  0x000000007fff7fff, 0x000000007fff8001,
734  0x000000007fff8000, 0x000000007fff8002,
735  0x000000007fff8001, 0xffffffff7fff8003,
736  0xffffffff7fff8002, 0xffffffff7fff8004,
737  0xffffffff7fff8003, 0xffffffffaaaa2aad,
738  0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
739  0xffffffffcccc4cce, 0xffffffffffff0003,
740  0xffffffffffff0002, 0xffffffffffff0004,
741  0xffffffffffff0003, 0xffffffffffff0005,
742  0xffffffffffff0004, 0xffffffffffff0006,
743  0xffffffffffff0005, 0xffffffffffff7f83,
744  0xffffffffffff7f82, 0xffffffffffff7f84,
745  0xffffffffffff7f83, 0xffffffffffff7f85,
746  0xffffffffffff7f84, 0xffffffffffff7f86,
747  0xffffffffffff7f85, 0xffffffffffff7fe3,
748  0xffffffffffff7fe2, 0xffffffffffff8000,
749  0xffffffffffff7fff, 0xffffffffffff8001,
750  0xffffffffffff8000, 0xffffffffffff8002,
751  0xffffffffffff8002, 0xffffffffffffff80,
752  0xffffffffffff8003, 0xffffffffffffff81,
753  0xffffffffffff8004, 0xffffffffffffff82,
754  0xffffffffffff8005, 0xffffffffffffffa0,
755  0xffffffffffff8023, 0xfffffffffffffffd,
756  0xffffffffffff8080, 0xfffffffffffffffe,
757  0xffffffffffff8081, 0xffffffffffffffff,
758  0xffffffffffff8082, 0x0000000000007f7d,
759  0x0000000000000000, 0x0000000000007f7e,
760  0x0000000000000001, 0x0000000000007f7f,
761  0x0000000000000002, 0x00000000333332b3,
762  0x000000003332b336, 0x00000000555554d5,
763  0x000000005554d558, 0x000000007fffff7d,
764  0x000000007fff8000, 0x000000007fffff7e,
765  0x000000007fff8001, 0x000000007fffff7f,
766  0x000000007fff8002, 0xffffffff7fffff80,
767  0xffffffff7fff8003, 0xffffffff7fffff81,
768  0xffffffff7fff8004, 0xffffffffaaaaaa2a,
769  0xffffffffaaaa2aad, 0xffffffffcccccc4c,
770  0xffffffffcccc4ccf, 0xffffffffffff7f80,
771  0xffffffffffff0003, 0xffffffffffff7f81,
772  0xffffffffffff0004, 0xffffffffffff7f82,
773  0xffffffffffff0005, 0xffffffffffff7f83,
774  0xffffffffffff0006, 0xffffffffffffff00,
775  0xffffffffffff7f83, 0xffffffffffffff01,
776  0xffffffffffff7f84, 0xffffffffffffff02,
777  0xffffffffffff7f85, 0xffffffffffffff03,
778  0xffffffffffff7f86, 0xffffffffffffff60,
779  0xffffffffffff7fe3, 0xffffffffffffff7d,
780  0xffffffffffff8000, 0xffffffffffffff7e,
781  0xffffffffffff8001, 0xffffffffffffff7f,
782  0xffffffffffffff7f, 0xffffffffffffff81,
783  0xffffffffffffff80, 0xffffffffffffff82,
784  0xffffffffffffff81, 0xffffffffffffff83,
785  0xffffffffffffff82, 0xffffffffffffffa1,
786  0xffffffffffffffa0, 0xfffffffffffffffe,
787  0xfffffffffffffffd, 0xffffffffffffffff,
788  0xfffffffffffffffe, 0x0000000000000000,
789  0xffffffffffffffff, 0x0000000000007f7e,
790  0x0000000000007f7d, 0x0000000000007f7f,
791  0x0000000000007f7e, 0x0000000000007f80,
792  0x0000000000007f7f, 0x00000000333332b4,
793  0x00000000333332b3, 0x00000000555554d6,
794  0x00000000555554d5, 0x000000007fffff7e,
795  0x000000007fffff7d, 0x000000007fffff7f,
796  0x000000007fffff7e, 0x000000007fffff80,
797  0x000000007fffff7f, 0xffffffff7fffff81,
798  0xffffffff7fffff80, 0xffffffff7fffff82,
799  0xffffffff7fffff81, 0xffffffffaaaaaa2b,
800  0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
801  0xffffffffcccccc4c, 0xffffffffffff7f81,
802  0xffffffffffff7f80, 0xffffffffffff7f82,
803  0xffffffffffff7f81, 0xffffffffffff7f83,
804  0xffffffffffff7f82, 0xffffffffffff7f84,
805  0xffffffffffff7f83, 0xffffffffffffff01,
806  0xffffffffffffff00, 0xffffffffffffff02,
807  0xffffffffffffff01, 0xffffffffffffff03,
808  0xffffffffffffff02, 0xffffffffffffff04,
809  0xffffffffffffff03, 0xffffffffffffff61,
810  0xffffffffffffff60, 0xffffffffffffff7e,
811  0xffffffffffffff7d, 0xffffffffffffff7f,
812  0xffffffffffffff7e, 0xffffffffffffff80,
813  0xffffffffffffff80, 0xffffffffffffff82,
814  0xffffffffffffff81, 0xffffffffffffff83,
815  0xffffffffffffff82, 0xffffffffffffff84,
816  0xffffffffffffff83, 0xffffffffffffffa2,
817  0xffffffffffffffa1, 0xffffffffffffffff,
818  0xfffffffffffffffe, 0x0000000000000000,
819  0xffffffffffffffff, 0x0000000000000001,
820  0x0000000000000000, 0x0000000000007f7f,
821  0x0000000000007f7e, 0x0000000000007f80,
822  0x0000000000007f7f, 0x0000000000007f81,
823  0x0000000000007f80, 0x00000000333332b5,
824  0x00000000333332b4, 0x00000000555554d7,
825  0x00000000555554d6, 0x000000007fffff7f,
826  0x000000007fffff7e, 0x000000007fffff80,
827  0x000000007fffff7f, 0x000000007fffff81,
828  0x000000007fffff80, 0xffffffff7fffff82,
829  0xffffffff7fffff81, 0xffffffff7fffff83,
830  0xffffffff7fffff82, 0xffffffffaaaaaa2c,
831  0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
832  0xffffffffcccccc4d, 0xffffffffffff7f82,
833  0xffffffffffff7f81, 0xffffffffffff7f83,
834  0xffffffffffff7f82, 0xffffffffffff7f84,
835  0xffffffffffff7f83, 0xffffffffffff7f85,
836  0xffffffffffff7f84, 0xffffffffffffff02,
837  0xffffffffffffff01, 0xffffffffffffff03,
838  0xffffffffffffff02, 0xffffffffffffff04,
839  0xffffffffffffff03, 0xffffffffffffff05,
840  0xffffffffffffff04, 0xffffffffffffff62,
841  0xffffffffffffff61, 0xffffffffffffff7f,
842  0xffffffffffffff7e, 0xffffffffffffff80,
843  0xffffffffffffff7f, 0xffffffffffffff81,
844  0xffffffffffffff81, 0xffffffffffffff83,
845  0xffffffffffffff82, 0xffffffffffffff84,
846  0xffffffffffffff83, 0xffffffffffffff85,
847  0xffffffffffffff84, 0xffffffffffffffa3,
848  0xffffffffffffffa2, 0x0000000000000000,
849  0xffffffffffffffff, 0x0000000000000001,
850  0x0000000000000000, 0x0000000000000002,
851  0x0000000000000001, 0x0000000000007f80,
852  0x0000000000007f7f, 0x0000000000007f81,
853  0x0000000000007f80, 0x0000000000007f82,
854  0x0000000000007f81, 0x00000000333332b6,
855  0x00000000333332b5, 0x00000000555554d8,
856  0x00000000555554d7, 0x000000007fffff80,
857  0x000000007fffff7f, 0x000000007fffff81,
858  0x000000007fffff80, 0x000000007fffff82,
859  0x000000007fffff81, 0xffffffff7fffff83,
860  0xffffffff7fffff82, 0xffffffff7fffff84,
861  0xffffffff7fffff83, 0xffffffffaaaaaa2d,
862  0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
863  0xffffffffcccccc4e, 0xffffffffffff7f83,
864  0xffffffffffff7f82, 0xffffffffffff7f84,
865  0xffffffffffff7f83, 0xffffffffffff7f85,
866  0xffffffffffff7f84, 0xffffffffffff7f86,
867  0xffffffffffff7f85, 0xffffffffffffff03,
868  0xffffffffffffff02, 0xffffffffffffff04,
869  0xffffffffffffff03, 0xffffffffffffff05,
870  0xffffffffffffff04, 0xffffffffffffff06,
871  0xffffffffffffff05, 0xffffffffffffff63,
872  0xffffffffffffff62, 0xffffffffffffff80,
873  0xffffffffffffff7f, 0xffffffffffffff81,
874  0xffffffffffffff80, 0xffffffffffffff82,
875  0xffffffffffffff82, 0xffffffffffffffe0,
876  0xffffffffffffff83, 0xffffffffffffffe1,
877  0xffffffffffffff84, 0xffffffffffffffe2,
878  0xffffffffffffff85, 0x0000000000000000,
879  0xffffffffffffffa3, 0x000000000000005d,
880  0x0000000000000000, 0x000000000000005e,
881  0x0000000000000001, 0x000000000000005f,
882  0x0000000000000002, 0x0000000000007fdd,
883  0x0000000000007f80, 0x0000000000007fde,
884  0x0000000000007f81, 0x0000000000007fdf,
885  0x0000000000007f82, 0x0000000033333313,
886  0x00000000333332b6, 0x0000000055555535,
887  0x00000000555554d8, 0x000000007fffffdd,
888  0x000000007fffff80, 0x000000007fffffde,
889  0x000000007fffff81, 0x000000007fffffdf,
890  0x000000007fffff82, 0xffffffff7fffffe0,
891  0xffffffff7fffff83, 0xffffffff7fffffe1,
892  0xffffffff7fffff84, 0xffffffffaaaaaa8a,
893  0xffffffffaaaaaa2d, 0xffffffffccccccac,
894  0xffffffffcccccc4f, 0xffffffffffff7fe0,
895  0xffffffffffff7f83, 0xffffffffffff7fe1,
896  0xffffffffffff7f84, 0xffffffffffff7fe2,
897  0xffffffffffff7f85, 0xffffffffffff7fe3,
898  0xffffffffffff7f86, 0xffffffffffffff60,
899  0xffffffffffffff03, 0xffffffffffffff61,
900  0xffffffffffffff04, 0xffffffffffffff62,
901  0xffffffffffffff05, 0xffffffffffffff63,
902  0xffffffffffffff06, 0xffffffffffffffc0,
903  0xffffffffffffff63, 0xffffffffffffffdd,
904  0xffffffffffffff80, 0xffffffffffffffde,
905  0xffffffffffffff81, 0xffffffffffffffdf,
906  0xffffffffffffffdf, 0xfffffffffffffffd,
907  0xffffffffffffffe0, 0xfffffffffffffffe,
908  0xffffffffffffffe1, 0xffffffffffffffff,
909  0xffffffffffffffe2, 0x000000000000001d,
910  0x0000000000000000, 0x000000000000007a,
911  0x000000000000005d, 0x000000000000007b,
912  0x000000000000005e, 0x000000000000007c,
913  0x000000000000005f, 0x0000000000007ffa,
914  0x0000000000007fdd, 0x0000000000007ffb,
915  0x0000000000007fde, 0x0000000000007ffc,
916  0x0000000000007fdf, 0x0000000033333330,
917  0x0000000033333313, 0x0000000055555552,
918  0x0000000055555535, 0x000000007ffffffa,
919  0x000000007fffffdd, 0x000000007ffffffb,
920  0x000000007fffffde, 0x000000007ffffffc,
921  0x000000007fffffdf, 0xffffffff7ffffffd,
922  0xffffffff7fffffe0, 0xffffffff7ffffffe,
923  0xffffffff7fffffe1, 0xffffffffaaaaaaa7,
924  0xffffffffaaaaaa8a, 0xffffffffccccccc9,
925  0xffffffffccccccac, 0xffffffffffff7ffd,
926  0xffffffffffff7fe0, 0xffffffffffff7ffe,
927  0xffffffffffff7fe1, 0xffffffffffff7fff,
928  0xffffffffffff7fe2, 0xffffffffffff8000,
929  0xffffffffffff7fe3, 0xffffffffffffff7d,
930  0xffffffffffffff60, 0xffffffffffffff7e,
931  0xffffffffffffff61, 0xffffffffffffff7f,
932  0xffffffffffffff62, 0xffffffffffffff80,
933  0xffffffffffffff63, 0xffffffffffffffdd,
934  0xffffffffffffffc0, 0xfffffffffffffffa,
935  0xffffffffffffffdd, 0xfffffffffffffffb,
936  0xffffffffffffffde, 0xfffffffffffffffc,
937  0xfffffffffffffffc, 0xfffffffffffffffe,
938  0xfffffffffffffffd, 0xffffffffffffffff,
939  0xfffffffffffffffe, 0x0000000000000000,
940  0xffffffffffffffff, 0x000000000000001e,
941  0x000000000000001d, 0x000000000000007b,
942  0x000000000000007a, 0x000000000000007c,
943  0x000000000000007b, 0x000000000000007d,
944  0x000000000000007c, 0x0000000000007ffb,
945  0x0000000000007ffa, 0x0000000000007ffc,
946  0x0000000000007ffb, 0x0000000000007ffd,
947  0x0000000000007ffc, 0x0000000033333331,
948  0x0000000033333330, 0x0000000055555553,
949  0x0000000055555552, 0x000000007ffffffb,
950  0x000000007ffffffa, 0x000000007ffffffc,
951  0x000000007ffffffb, 0x000000007ffffffd,
952  0x000000007ffffffc, 0xffffffff7ffffffe,
953  0xffffffff7ffffffd, 0xffffffff7fffffff,
954  0xffffffff7ffffffe, 0xffffffffaaaaaaa8,
955  0xffffffffaaaaaaa7, 0xffffffffccccccca,
956  0xffffffffccccccc9, 0xffffffffffff7ffe,
957  0xffffffffffff7ffd, 0xffffffffffff7fff,
958  0xffffffffffff7ffe, 0xffffffffffff8000,
959  0xffffffffffff7fff, 0xffffffffffff8001,
960  0xffffffffffff8000, 0xffffffffffffff7e,
961  0xffffffffffffff7d, 0xffffffffffffff7f,
962  0xffffffffffffff7e, 0xffffffffffffff80,
963  0xffffffffffffff7f, 0xffffffffffffff81,
964  0xffffffffffffff80, 0xffffffffffffffde,
965  0xffffffffffffffdd, 0xfffffffffffffffb,
966  0xfffffffffffffffa, 0xfffffffffffffffc,
967  0xfffffffffffffffb, 0xfffffffffffffffd,
968  0xfffffffffffffffd, 0xffffffffffffffff,
969  0xfffffffffffffffe, 0x0000000000000000,
970  0xffffffffffffffff, 0x0000000000000001,
971  0x0000000000000000, 0x000000000000001f,
972  0x000000000000001e, 0x000000000000007c,
973  0x000000000000007b, 0x000000000000007d,
974  0x000000000000007c, 0x000000000000007e,
975  0x000000000000007d, 0x0000000000007ffc,
976  0x0000000000007ffb, 0x0000000000007ffd,
977  0x0000000000007ffc, 0x0000000000007ffe,
978  0x0000000000007ffd, 0x0000000033333332,
979  0x0000000033333331, 0x0000000055555554,
980  0x0000000055555553, 0x000000007ffffffc,
981  0x000000007ffffffb, 0x000000007ffffffd,
982  0x000000007ffffffc, 0x000000007ffffffe,
983  0x000000007ffffffd, 0xffffffff7fffffff,
984  0xffffffff7ffffffe, 0xffffffff80000000,
985  0xffffffff7fffffff, 0xffffffffaaaaaaa9,
986  0xffffffffaaaaaaa8, 0xffffffffcccccccb,
987  0xffffffffccccccca, 0xffffffffffff7fff,
988  0xffffffffffff7ffe, 0xffffffffffff8000,
989  0xffffffffffff7fff, 0xffffffffffff8001,
990  0xffffffffffff8000, 0xffffffffffff8002,
991  0xffffffffffff8001, 0xffffffffffffff7f,
992  0xffffffffffffff7e, 0xffffffffffffff80,
993  0xffffffffffffff7f, 0xffffffffffffff81,
994  0xffffffffffffff80, 0xffffffffffffff82,
995  0xffffffffffffff81, 0xffffffffffffffdf,
996  0xffffffffffffffde, 0xfffffffffffffffc,
997  0xfffffffffffffffb, 0xfffffffffffffffd,
998  0xfffffffffffffffc, 0xfffffffffffffffe,
999};
1000const unsigned kExpectedCount_NEON_saddl2_2D = 961;
1001
1002#endif  // VIXL_SIM_SADDL2_2D_TRACE_AARCH64_H_
1003