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_SQSUB_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SQSUB_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_sqsub_4S[] = {
38  0x00000000, 0x00000000, 0x00000000, 0x00000000,
39  0xffffff00, 0xff808200, 0x007ffd00, 0xffffffff,
40  0xff808100, 0x00007f00, 0x007ffcff, 0xfffffffe,
41  0x00007e00, 0x00007eff, 0x007ffcfe, 0xffffffe0,
42  0x00007dff, 0x00007efe, 0x007ffce0, 0xffffff83,
43  0x00007dfe, 0x00007ee0, 0x007ffc83, 0xffffff82,
44  0x00007de0, 0x00007e83, 0x007ffc82, 0xffffff81,
45  0x00007d83, 0x00007e82, 0x007ffc81, 0xffff8003,
46  0x00007d82, 0x00007e81, 0x007f7d03, 0xffff8002,
47  0x00007d81, 0xffffff03, 0x007f7d02, 0xffff8001,
48  0xfffffe03, 0xffffff02, 0x007f7d01, 0xcccccccd,
49  0xfffffe02, 0xffffff01, 0xcd4cc9cd, 0xaaaaaaab,
50  0xfffffe01, 0xcccd4bcd, 0xab2aa7ab, 0x80000003,
51  0xcccd4acd, 0xaaab29ab, 0x807ffd03, 0x80000002,
52  0xaaab28ab, 0x80007f03, 0x807ffd02, 0x80000001,
53  0x80007e03, 0x80007f02, 0x807ffd01, 0x7fffffff,
54  0x80007e02, 0x80007f01, 0x7fffffff, 0x7fffffff,
55  0x80007e01, 0x7fffffff, 0x7fffffff, 0x55555556,
56  0x7fffffff, 0x7fffffff, 0x55d55256, 0x33333334,
57  0x7fffffff, 0x5555d456, 0x33b33034, 0x00008000,
58  0x5555d356, 0x3333b234, 0x00807d00, 0x00007fff,
59  0x3333b134, 0x0000ff00, 0x00807cff, 0x00007ffe,
60  0x0000fe00, 0x0000feff, 0x00807cfe, 0x00007ffd,
61  0x0000fdff, 0x0000fefe, 0x00807cfd, 0x00000080,
62  0x0000fdfe, 0x0000fefd, 0x007ffd80, 0x0000007f,
63  0x0000fdfd, 0x00007f80, 0x007ffd7f, 0x0000007e,
64  0x00007e80, 0x00007f7f, 0x007ffd7e, 0x0000007d,
65  0x00007e7f, 0x00007f7e, 0x007ffd7d, 0x00000020,
66  0x00007e7e, 0x00007f7d, 0x007ffd20, 0x00000003,
67  0x00007e7d, 0x00007f20, 0x007ffd03, 0x00000002,
68  0x00007e20, 0x00007f03, 0x007ffd02, 0x00000001,
69  0x00007f03, 0x007ffd02, 0x00000001, 0x00000001,
70  0x00007f02, 0x007ffd01, 0x00000000, 0x00000000,
71  0x00007f01, 0x007ffd00, 0xffffffff, 0xffffffff,
72  0x00007f00, 0x007ffcff, 0xfffffffe, 0xffffffe1,
73  0x00007eff, 0x007ffcfe, 0xffffffe0, 0xffffff84,
74  0x00007efe, 0x007ffce0, 0xffffff83, 0xffffff83,
75  0x00007ee0, 0x007ffc83, 0xffffff82, 0xffffff82,
76  0x00007e83, 0x007ffc82, 0xffffff81, 0xffff8004,
77  0x00007e82, 0x007ffc81, 0xffff8003, 0xffff8003,
78  0x00007e81, 0x007f7d03, 0xffff8002, 0xffff8002,
79  0xffffff03, 0x007f7d02, 0xffff8001, 0xccccccce,
80  0xffffff02, 0x007f7d01, 0xcccccccd, 0xaaaaaaac,
81  0xffffff01, 0xcd4cc9cd, 0xaaaaaaab, 0x80000004,
82  0xcccd4bcd, 0xab2aa7ab, 0x80000003, 0x80000003,
83  0xaaab29ab, 0x807ffd03, 0x80000002, 0x80000002,
84  0x80007f03, 0x807ffd02, 0x80000001, 0x7fffffff,
85  0x80007f02, 0x807ffd01, 0x7fffffff, 0x7fffffff,
86  0x80007f01, 0x7fffffff, 0x7fffffff, 0x55555557,
87  0x7fffffff, 0x7fffffff, 0x55555556, 0x33333335,
88  0x7fffffff, 0x55d55256, 0x33333334, 0x00008001,
89  0x5555d456, 0x33b33034, 0x00008000, 0x00008000,
90  0x3333b234, 0x00807d00, 0x00007fff, 0x00007fff,
91  0x0000ff00, 0x00807cff, 0x00007ffe, 0x00007ffe,
92  0x0000feff, 0x00807cfe, 0x00007ffd, 0x00000081,
93  0x0000fefe, 0x00807cfd, 0x00000080, 0x00000080,
94  0x0000fefd, 0x007ffd80, 0x0000007f, 0x0000007f,
95  0x00007f80, 0x007ffd7f, 0x0000007e, 0x0000007e,
96  0x00007f7f, 0x007ffd7e, 0x0000007d, 0x00000021,
97  0x00007f7e, 0x007ffd7d, 0x00000020, 0x00000004,
98  0x00007f7d, 0x007ffd20, 0x00000003, 0x00000003,
99  0x00007f20, 0x007ffd03, 0x00000002, 0x00000002,
100  0x007ffd03, 0x00000002, 0x00000002, 0x00000002,
101  0x007ffd02, 0x00000001, 0x00000001, 0x00000001,
102  0x007ffd01, 0x00000000, 0x00000000, 0x00000000,
103  0x007ffd00, 0xffffffff, 0xffffffff, 0xffffffe2,
104  0x007ffcff, 0xfffffffe, 0xffffffe1, 0xffffff85,
105  0x007ffcfe, 0xffffffe0, 0xffffff84, 0xffffff84,
106  0x007ffce0, 0xffffff83, 0xffffff83, 0xffffff83,
107  0x007ffc83, 0xffffff82, 0xffffff82, 0xffff8005,
108  0x007ffc82, 0xffffff81, 0xffff8004, 0xffff8004,
109  0x007ffc81, 0xffff8003, 0xffff8003, 0xffff8003,
110  0x007f7d03, 0xffff8002, 0xffff8002, 0xcccccccf,
111  0x007f7d02, 0xffff8001, 0xccccccce, 0xaaaaaaad,
112  0x007f7d01, 0xcccccccd, 0xaaaaaaac, 0x80000005,
113  0xcd4cc9cd, 0xaaaaaaab, 0x80000004, 0x80000004,
114  0xab2aa7ab, 0x80000003, 0x80000003, 0x80000003,
115  0x807ffd03, 0x80000002, 0x80000002, 0x7fffffff,
116  0x807ffd02, 0x80000001, 0x7fffffff, 0x7fffffff,
117  0x807ffd01, 0x7fffffff, 0x7fffffff, 0x55555558,
118  0x7fffffff, 0x7fffffff, 0x55555557, 0x33333336,
119  0x7fffffff, 0x55555556, 0x33333335, 0x00008002,
120  0x55d55256, 0x33333334, 0x00008001, 0x00008001,
121  0x33b33034, 0x00008000, 0x00008000, 0x00008000,
122  0x00807d00, 0x00007fff, 0x00007fff, 0x00007fff,
123  0x00807cff, 0x00007ffe, 0x00007ffe, 0x00000082,
124  0x00807cfe, 0x00007ffd, 0x00000081, 0x00000081,
125  0x00807cfd, 0x00000080, 0x00000080, 0x00000080,
126  0x007ffd80, 0x0000007f, 0x0000007f, 0x0000007f,
127  0x007ffd7f, 0x0000007e, 0x0000007e, 0x00000022,
128  0x007ffd7e, 0x0000007d, 0x00000021, 0x00000005,
129  0x007ffd7d, 0x00000020, 0x00000004, 0x00000004,
130  0x007ffd20, 0x00000003, 0x00000003, 0x00000003,
131  0x00000003, 0x00000003, 0x00000003, 0x00000020,
132  0x00000002, 0x00000002, 0x00000002, 0x0000001f,
133  0x00000001, 0x00000001, 0x00000001, 0x0000001e,
134  0x00000000, 0x00000000, 0x00000000, 0x00000000,
135  0xffffffff, 0xffffffff, 0xffffffe2, 0xffffffa3,
136  0xfffffffe, 0xffffffe1, 0xffffff85, 0xffffffa2,
137  0xffffffe0, 0xffffff84, 0xffffff84, 0xffffffa1,
138  0xffffff83, 0xffffff83, 0xffffff83, 0xffff8023,
139  0xffffff82, 0xffffff82, 0xffff8005, 0xffff8022,
140  0xffffff81, 0xffff8004, 0xffff8004, 0xffff8021,
141  0xffff8003, 0xffff8003, 0xffff8003, 0xcccccced,
142  0xffff8002, 0xffff8002, 0xcccccccf, 0xaaaaaacb,
143  0xffff8001, 0xccccccce, 0xaaaaaaad, 0x80000023,
144  0xcccccccd, 0xaaaaaaac, 0x80000005, 0x80000022,
145  0xaaaaaaab, 0x80000004, 0x80000004, 0x80000021,
146  0x80000003, 0x80000003, 0x80000003, 0x7fffffff,
147  0x80000002, 0x80000002, 0x7fffffff, 0x7fffffff,
148  0x80000001, 0x7fffffff, 0x7fffffff, 0x55555576,
149  0x7fffffff, 0x7fffffff, 0x55555558, 0x33333354,
150  0x7fffffff, 0x55555557, 0x33333336, 0x00008020,
151  0x55555556, 0x33333335, 0x00008002, 0x0000801f,
152  0x33333334, 0x00008001, 0x00008001, 0x0000801e,
153  0x00008000, 0x00008000, 0x00008000, 0x0000801d,
154  0x00007fff, 0x00007fff, 0x00007fff, 0x000000a0,
155  0x00007ffe, 0x00007ffe, 0x00000082, 0x0000009f,
156  0x00007ffd, 0x00000081, 0x00000081, 0x0000009e,
157  0x00000080, 0x00000080, 0x00000080, 0x0000009d,
158  0x0000007f, 0x0000007f, 0x0000007f, 0x00000040,
159  0x0000007e, 0x0000007e, 0x00000022, 0x00000023,
160  0x0000007d, 0x00000021, 0x00000005, 0x00000022,
161  0x00000020, 0x00000004, 0x00000004, 0x00000021,
162  0x00000004, 0x00000004, 0x00000021, 0x0000007d,
163  0x00000003, 0x00000003, 0x00000020, 0x0000007c,
164  0x00000002, 0x00000002, 0x0000001f, 0x0000007b,
165  0x00000001, 0x00000001, 0x0000001e, 0x0000005d,
166  0x00000000, 0x00000000, 0x00000000, 0x00000000,
167  0xffffffff, 0xffffffe2, 0xffffffa3, 0xffffffff,
168  0xffffffe1, 0xffffff85, 0xffffffa2, 0xfffffffe,
169  0xffffff84, 0xffffff84, 0xffffffa1, 0xffff8080,
170  0xffffff83, 0xffffff83, 0xffff8023, 0xffff807f,
171  0xffffff82, 0xffff8005, 0xffff8022, 0xffff807e,
172  0xffff8004, 0xffff8004, 0xffff8021, 0xcccccd4a,
173  0xffff8003, 0xffff8003, 0xcccccced, 0xaaaaab28,
174  0xffff8002, 0xcccccccf, 0xaaaaaacb, 0x80000080,
175  0xccccccce, 0xaaaaaaad, 0x80000023, 0x8000007f,
176  0xaaaaaaac, 0x80000005, 0x80000022, 0x8000007e,
177  0x80000004, 0x80000004, 0x80000021, 0x7fffffff,
178  0x80000003, 0x80000003, 0x7fffffff, 0x7fffffff,
179  0x80000002, 0x7fffffff, 0x7fffffff, 0x555555d3,
180  0x7fffffff, 0x7fffffff, 0x55555576, 0x333333b1,
181  0x7fffffff, 0x55555558, 0x33333354, 0x0000807d,
182  0x55555557, 0x33333336, 0x00008020, 0x0000807c,
183  0x33333335, 0x00008002, 0x0000801f, 0x0000807b,
184  0x00008001, 0x00008001, 0x0000801e, 0x0000807a,
185  0x00008000, 0x00008000, 0x0000801d, 0x000000fd,
186  0x00007fff, 0x00007fff, 0x000000a0, 0x000000fc,
187  0x00007ffe, 0x00000082, 0x0000009f, 0x000000fb,
188  0x00000081, 0x00000081, 0x0000009e, 0x000000fa,
189  0x00000080, 0x00000080, 0x0000009d, 0x0000009d,
190  0x0000007f, 0x0000007f, 0x00000040, 0x00000080,
191  0x0000007e, 0x00000022, 0x00000023, 0x0000007f,
192  0x00000021, 0x00000005, 0x00000022, 0x0000007e,
193  0x00000005, 0x00000022, 0x0000007e, 0x0000007e,
194  0x00000004, 0x00000021, 0x0000007d, 0x0000007d,
195  0x00000003, 0x00000020, 0x0000007c, 0x0000007c,
196  0x00000002, 0x0000001f, 0x0000007b, 0x0000005e,
197  0x00000001, 0x0000001e, 0x0000005d, 0x00000001,
198  0x00000000, 0x00000000, 0x00000000, 0x00000000,
199  0xffffffe2, 0xffffffa3, 0xffffffff, 0xffffffff,
200  0xffffff85, 0xffffffa2, 0xfffffffe, 0xffff8081,
201  0xffffff84, 0xffffffa1, 0xffff8080, 0xffff8080,
202  0xffffff83, 0xffff8023, 0xffff807f, 0xffff807f,
203  0xffff8005, 0xffff8022, 0xffff807e, 0xcccccd4b,
204  0xffff8004, 0xffff8021, 0xcccccd4a, 0xaaaaab29,
205  0xffff8003, 0xcccccced, 0xaaaaab28, 0x80000081,
206  0xcccccccf, 0xaaaaaacb, 0x80000080, 0x80000080,
207  0xaaaaaaad, 0x80000023, 0x8000007f, 0x8000007f,
208  0x80000005, 0x80000022, 0x8000007e, 0x7fffffff,
209  0x80000004, 0x80000021, 0x7fffffff, 0x7fffffff,
210  0x80000003, 0x7fffffff, 0x7fffffff, 0x555555d4,
211  0x7fffffff, 0x7fffffff, 0x555555d3, 0x333333b2,
212  0x7fffffff, 0x55555576, 0x333333b1, 0x0000807e,
213  0x55555558, 0x33333354, 0x0000807d, 0x0000807d,
214  0x33333336, 0x00008020, 0x0000807c, 0x0000807c,
215  0x00008002, 0x0000801f, 0x0000807b, 0x0000807b,
216  0x00008001, 0x0000801e, 0x0000807a, 0x000000fe,
217  0x00008000, 0x0000801d, 0x000000fd, 0x000000fd,
218  0x00007fff, 0x000000a0, 0x000000fc, 0x000000fc,
219  0x00000082, 0x0000009f, 0x000000fb, 0x000000fb,
220  0x00000081, 0x0000009e, 0x000000fa, 0x0000009e,
221  0x00000080, 0x0000009d, 0x0000009d, 0x00000081,
222  0x0000007f, 0x00000040, 0x00000080, 0x00000080,
223  0x00000022, 0x00000023, 0x0000007f, 0x0000007f,
224  0x00000023, 0x0000007f, 0x0000007f, 0x0000007f,
225  0x00000022, 0x0000007e, 0x0000007e, 0x0000007e,
226  0x00000021, 0x0000007d, 0x0000007d, 0x0000007d,
227  0x00000020, 0x0000007c, 0x0000007c, 0x0000005f,
228  0x0000001f, 0x0000007b, 0x0000005e, 0x00000002,
229  0x0000001e, 0x0000005d, 0x00000001, 0x00000001,
230  0x00000000, 0x00000000, 0x00000000, 0x00000000,
231  0xffffffa3, 0xffffffff, 0xffffffff, 0xffff8082,
232  0xffffffa2, 0xfffffffe, 0xffff8081, 0xffff8081,
233  0xffffffa1, 0xffff8080, 0xffff8080, 0xffff8080,
234  0xffff8023, 0xffff807f, 0xffff807f, 0xcccccd4c,
235  0xffff8022, 0xffff807e, 0xcccccd4b, 0xaaaaab2a,
236  0xffff8021, 0xcccccd4a, 0xaaaaab29, 0x80000082,
237  0xcccccced, 0xaaaaab28, 0x80000081, 0x80000081,
238  0xaaaaaacb, 0x80000080, 0x80000080, 0x80000080,
239  0x80000023, 0x8000007f, 0x8000007f, 0x7fffffff,
240  0x80000022, 0x8000007e, 0x7fffffff, 0x7fffffff,
241  0x80000021, 0x7fffffff, 0x7fffffff, 0x555555d5,
242  0x7fffffff, 0x7fffffff, 0x555555d4, 0x333333b3,
243  0x7fffffff, 0x555555d3, 0x333333b2, 0x0000807f,
244  0x55555576, 0x333333b1, 0x0000807e, 0x0000807e,
245  0x33333354, 0x0000807d, 0x0000807d, 0x0000807d,
246  0x00008020, 0x0000807c, 0x0000807c, 0x0000807c,
247  0x0000801f, 0x0000807b, 0x0000807b, 0x000000ff,
248  0x0000801e, 0x0000807a, 0x000000fe, 0x000000fe,
249  0x0000801d, 0x000000fd, 0x000000fd, 0x000000fd,
250  0x000000a0, 0x000000fc, 0x000000fc, 0x000000fc,
251  0x0000009f, 0x000000fb, 0x000000fb, 0x0000009f,
252  0x0000009e, 0x000000fa, 0x0000009e, 0x00000082,
253  0x0000009d, 0x0000009d, 0x00000081, 0x00000081,
254  0x00000040, 0x00000080, 0x00000080, 0x00000080,
255  0x00000080, 0x00000080, 0x00000080, 0x00007ffd,
256  0x0000007f, 0x0000007f, 0x0000007f, 0x00007ffc,
257  0x0000007e, 0x0000007e, 0x0000007e, 0x00007ffb,
258  0x0000007d, 0x0000007d, 0x0000007d, 0x00007fdd,
259  0x0000007c, 0x0000007c, 0x0000005f, 0x00007f80,
260  0x0000007b, 0x0000005e, 0x00000002, 0x00007f7f,
261  0x0000005d, 0x00000001, 0x00000001, 0x00007f7e,
262  0x00000000, 0x00000000, 0x00000000, 0x00000000,
263  0xffffffff, 0xffffffff, 0xffff8082, 0xffffffff,
264  0xfffffffe, 0xffff8081, 0xffff8081, 0xfffffffe,
265  0xffff8080, 0xffff8080, 0xffff8080, 0xcccd4cca,
266  0xffff807f, 0xffff807f, 0xcccccd4c, 0xaaab2aa8,
267  0xffff807e, 0xcccccd4b, 0xaaaaab2a, 0x80008000,
268  0xcccccd4a, 0xaaaaab29, 0x80000082, 0x80007fff,
269  0xaaaaab28, 0x80000081, 0x80000081, 0x80007ffe,
270  0x80000080, 0x80000080, 0x80000080, 0x7fffffff,
271  0x8000007f, 0x8000007f, 0x7fffffff, 0x7fffffff,
272  0x8000007e, 0x7fffffff, 0x7fffffff, 0x5555d553,
273  0x7fffffff, 0x7fffffff, 0x555555d5, 0x3333b331,
274  0x7fffffff, 0x555555d4, 0x333333b3, 0x0000fffd,
275  0x555555d3, 0x333333b2, 0x0000807f, 0x0000fffc,
276  0x333333b1, 0x0000807e, 0x0000807e, 0x0000fffb,
277  0x0000807d, 0x0000807d, 0x0000807d, 0x0000fffa,
278  0x0000807c, 0x0000807c, 0x0000807c, 0x0000807d,
279  0x0000807b, 0x0000807b, 0x000000ff, 0x0000807c,
280  0x0000807a, 0x000000fe, 0x000000fe, 0x0000807b,
281  0x000000fd, 0x000000fd, 0x000000fd, 0x0000807a,
282  0x000000fc, 0x000000fc, 0x000000fc, 0x0000801d,
283  0x000000fb, 0x000000fb, 0x0000009f, 0x00008000,
284  0x000000fa, 0x0000009e, 0x00000082, 0x00007fff,
285  0x0000009d, 0x00000081, 0x00000081, 0x00007ffe,
286  0x00000081, 0x00000081, 0x00007ffe, 0x00007ffe,
287  0x00000080, 0x00000080, 0x00007ffd, 0x00007ffd,
288  0x0000007f, 0x0000007f, 0x00007ffc, 0x00007ffc,
289  0x0000007e, 0x0000007e, 0x00007ffb, 0x00007fde,
290  0x0000007d, 0x0000007d, 0x00007fdd, 0x00007f81,
291  0x0000007c, 0x0000005f, 0x00007f80, 0x00007f80,
292  0x0000005e, 0x00000002, 0x00007f7f, 0x00007f7f,
293  0x00000001, 0x00000001, 0x00007f7e, 0x00000001,
294  0x00000000, 0x00000000, 0x00000000, 0x00000000,
295  0xffffffff, 0xffff8082, 0xffffffff, 0xffffffff,
296  0xffff8081, 0xffff8081, 0xfffffffe, 0xcccd4ccb,
297  0xffff8080, 0xffff8080, 0xcccd4cca, 0xaaab2aa9,
298  0xffff807f, 0xcccccd4c, 0xaaab2aa8, 0x80008001,
299  0xcccccd4b, 0xaaaaab2a, 0x80008000, 0x80008000,
300  0xaaaaab29, 0x80000082, 0x80007fff, 0x80007fff,
301  0x80000081, 0x80000081, 0x80007ffe, 0x7fffffff,
302  0x80000080, 0x80000080, 0x7fffffff, 0x7fffffff,
303  0x8000007f, 0x7fffffff, 0x7fffffff, 0x5555d554,
304  0x7fffffff, 0x7fffffff, 0x5555d553, 0x3333b332,
305  0x7fffffff, 0x555555d5, 0x3333b331, 0x0000fffe,
306  0x555555d4, 0x333333b3, 0x0000fffd, 0x0000fffd,
307  0x333333b2, 0x0000807f, 0x0000fffc, 0x0000fffc,
308  0x0000807e, 0x0000807e, 0x0000fffb, 0x0000fffb,
309  0x0000807d, 0x0000807d, 0x0000fffa, 0x0000807e,
310  0x0000807c, 0x0000807c, 0x0000807d, 0x0000807d,
311  0x0000807b, 0x000000ff, 0x0000807c, 0x0000807c,
312  0x000000fe, 0x000000fe, 0x0000807b, 0x0000807b,
313  0x000000fd, 0x000000fd, 0x0000807a, 0x0000801e,
314  0x000000fc, 0x000000fc, 0x0000801d, 0x00008001,
315  0x000000fb, 0x0000009f, 0x00008000, 0x00008000,
316  0x0000009e, 0x00000082, 0x00007fff, 0x00007fff,
317  0x00000082, 0x00007fff, 0x00007fff, 0x00007fff,
318  0x00000081, 0x00007ffe, 0x00007ffe, 0x00007ffe,
319  0x00000080, 0x00007ffd, 0x00007ffd, 0x00007ffd,
320  0x0000007f, 0x00007ffc, 0x00007ffc, 0x00007fdf,
321  0x0000007e, 0x00007ffb, 0x00007fde, 0x00007f82,
322  0x0000007d, 0x00007fdd, 0x00007f81, 0x00007f81,
323  0x0000005f, 0x00007f80, 0x00007f80, 0x00007f80,
324  0x00000002, 0x00007f7f, 0x00007f7f, 0x00000002,
325  0x00000001, 0x00007f7e, 0x00000001, 0x00000001,
326  0x00000000, 0x00000000, 0x00000000, 0x00000000,
327  0xffff8082, 0xffffffff, 0xffffffff, 0xcccd4ccc,
328  0xffff8081, 0xfffffffe, 0xcccd4ccb, 0xaaab2aaa,
329  0xffff8080, 0xcccd4cca, 0xaaab2aa9, 0x80008002,
330  0xcccccd4c, 0xaaab2aa8, 0x80008001, 0x80008001,
331  0xaaaaab2a, 0x80008000, 0x80008000, 0x80008000,
332  0x80000082, 0x80007fff, 0x80007fff, 0x7fffffff,
333  0x80000081, 0x80007ffe, 0x7fffffff, 0x7fffffff,
334  0x80000080, 0x7fffffff, 0x7fffffff, 0x5555d555,
335  0x7fffffff, 0x7fffffff, 0x5555d554, 0x3333b333,
336  0x7fffffff, 0x5555d553, 0x3333b332, 0x0000ffff,
337  0x555555d5, 0x3333b331, 0x0000fffe, 0x0000fffe,
338  0x333333b3, 0x0000fffd, 0x0000fffd, 0x0000fffd,
339  0x0000807f, 0x0000fffc, 0x0000fffc, 0x0000fffc,
340  0x0000807e, 0x0000fffb, 0x0000fffb, 0x0000807f,
341  0x0000807d, 0x0000fffa, 0x0000807e, 0x0000807e,
342  0x0000807c, 0x0000807d, 0x0000807d, 0x0000807d,
343  0x000000ff, 0x0000807c, 0x0000807c, 0x0000807c,
344  0x000000fe, 0x0000807b, 0x0000807b, 0x0000801f,
345  0x000000fd, 0x0000807a, 0x0000801e, 0x00008002,
346  0x000000fc, 0x0000801d, 0x00008001, 0x00008001,
347  0x0000009f, 0x00008000, 0x00008000, 0x00008000,
348  0x00008000, 0x00008000, 0x00008000, 0x33333333,
349  0x00007fff, 0x00007fff, 0x00007fff, 0x33333332,
350  0x00007ffe, 0x00007ffe, 0x00007ffe, 0x33333331,
351  0x00007ffd, 0x00007ffd, 0x00007ffd, 0x33333313,
352  0x00007ffc, 0x00007ffc, 0x00007fdf, 0x333332b6,
353  0x00007ffb, 0x00007fde, 0x00007f82, 0x333332b5,
354  0x00007fdd, 0x00007f81, 0x00007f81, 0x333332b4,
355  0x00007f80, 0x00007f80, 0x00007f80, 0x3332b336,
356  0x00007f7f, 0x00007f7f, 0x00000002, 0x3332b335,
357  0x00007f7e, 0x00000001, 0x00000001, 0x3332b334,
358  0x00000000, 0x00000000, 0x00000000, 0x00000000,
359  0xffffffff, 0xffffffff, 0xcccd4ccc, 0xddddddde,
360  0xfffffffe, 0xcccd4ccb, 0xaaab2aaa, 0xb3333336,
361  0xcccd4cca, 0xaaab2aa9, 0x80008002, 0xb3333335,
362  0xaaab2aa8, 0x80008001, 0x80008001, 0xb3333334,
363  0x80008000, 0x80008000, 0x80008000, 0x7fffffff,
364  0x80007fff, 0x80007fff, 0x7fffffff, 0x7fffffff,
365  0x80007ffe, 0x7fffffff, 0x7fffffff, 0x7fffffff,
366  0x7fffffff, 0x7fffffff, 0x5555d555, 0x66666667,
367  0x7fffffff, 0x5555d554, 0x3333b333, 0x3333b333,
368  0x5555d553, 0x3333b332, 0x0000ffff, 0x3333b332,
369  0x3333b331, 0x0000fffe, 0x0000fffe, 0x3333b331,
370  0x0000fffd, 0x0000fffd, 0x0000fffd, 0x3333b330,
371  0x0000fffc, 0x0000fffc, 0x0000fffc, 0x333333b3,
372  0x0000fffb, 0x0000fffb, 0x0000807f, 0x333333b2,
373  0x0000fffa, 0x0000807e, 0x0000807e, 0x333333b1,
374  0x0000807d, 0x0000807d, 0x0000807d, 0x333333b0,
375  0x0000807c, 0x0000807c, 0x0000807c, 0x33333353,
376  0x0000807b, 0x0000807b, 0x0000801f, 0x33333336,
377  0x0000807a, 0x0000801e, 0x00008002, 0x33333335,
378  0x0000801d, 0x00008001, 0x00008001, 0x33333334,
379  0x00008001, 0x00008001, 0x33333334, 0x55555555,
380  0x00008000, 0x00008000, 0x33333333, 0x55555554,
381  0x00007fff, 0x00007fff, 0x33333332, 0x55555553,
382  0x00007ffe, 0x00007ffe, 0x33333331, 0x55555535,
383  0x00007ffd, 0x00007ffd, 0x33333313, 0x555554d8,
384  0x00007ffc, 0x00007fdf, 0x333332b6, 0x555554d7,
385  0x00007fde, 0x00007f82, 0x333332b5, 0x555554d6,
386  0x00007f81, 0x00007f81, 0x333332b4, 0x5554d558,
387  0x00007f80, 0x00007f80, 0x3332b336, 0x5554d557,
388  0x00007f7f, 0x00000002, 0x3332b335, 0x5554d556,
389  0x00000001, 0x00000001, 0x3332b334, 0x22222222,
390  0x00000000, 0x00000000, 0x00000000, 0x00000000,
391  0xffffffff, 0xcccd4ccc, 0xddddddde, 0xd5555558,
392  0xcccd4ccb, 0xaaab2aaa, 0xb3333336, 0xd5555557,
393  0xaaab2aa9, 0x80008002, 0xb3333335, 0xd5555556,
394  0x80008001, 0x80008001, 0xb3333334, 0x7fffffff,
395  0x80008000, 0x80008000, 0x7fffffff, 0x7fffffff,
396  0x80007fff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
397  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
398  0x7fffffff, 0x5555d555, 0x66666667, 0x5555d555,
399  0x5555d554, 0x3333b333, 0x3333b333, 0x5555d554,
400  0x3333b332, 0x0000ffff, 0x3333b332, 0x5555d553,
401  0x0000fffe, 0x0000fffe, 0x3333b331, 0x5555d552,
402  0x0000fffd, 0x0000fffd, 0x3333b330, 0x555555d5,
403  0x0000fffc, 0x0000fffc, 0x333333b3, 0x555555d4,
404  0x0000fffb, 0x0000807f, 0x333333b2, 0x555555d3,
405  0x0000807e, 0x0000807e, 0x333333b1, 0x555555d2,
406  0x0000807d, 0x0000807d, 0x333333b0, 0x55555575,
407  0x0000807c, 0x0000807c, 0x33333353, 0x55555558,
408  0x0000807b, 0x0000801f, 0x33333336, 0x55555557,
409  0x0000801e, 0x00008002, 0x33333335, 0x55555556,
410  0x00008002, 0x33333335, 0x55555556, 0x7ffffffd,
411  0x00008001, 0x33333334, 0x55555555, 0x7ffffffc,
412  0x00008000, 0x33333333, 0x55555554, 0x7ffffffb,
413  0x00007fff, 0x33333332, 0x55555553, 0x7fffffdd,
414  0x00007ffe, 0x33333331, 0x55555535, 0x7fffff80,
415  0x00007ffd, 0x33333313, 0x555554d8, 0x7fffff7f,
416  0x00007fdf, 0x333332b6, 0x555554d7, 0x7fffff7e,
417  0x00007f82, 0x333332b5, 0x555554d6, 0x7fff8000,
418  0x00007f81, 0x333332b4, 0x5554d558, 0x7fff7fff,
419  0x00007f80, 0x3332b336, 0x5554d557, 0x7fff7ffe,
420  0x00000002, 0x3332b335, 0x5554d556, 0x4cccccca,
421  0x00000001, 0x3332b334, 0x22222222, 0x2aaaaaa8,
422  0x00000000, 0x00000000, 0x00000000, 0x00000000,
423  0xcccd4ccc, 0xddddddde, 0xd5555558, 0xffffffff,
424  0xaaab2aaa, 0xb3333336, 0xd5555557, 0xfffffffe,
425  0x80008002, 0xb3333335, 0xd5555556, 0x7fffffff,
426  0x80008001, 0xb3333334, 0x7fffffff, 0x7fffffff,
427  0x80008000, 0x7fffffff, 0x7fffffff, 0x7fffffff,
428  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
429  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
430  0x5555d555, 0x66666667, 0x5555d555, 0x7fffffff,
431  0x3333b333, 0x3333b333, 0x5555d554, 0x7fffffff,
432  0x0000ffff, 0x3333b332, 0x5555d553, 0x7fffffff,
433  0x0000fffe, 0x3333b331, 0x5555d552, 0x7fffffff,
434  0x0000fffd, 0x3333b330, 0x555555d5, 0x7fffffff,
435  0x0000fffc, 0x333333b3, 0x555555d4, 0x7fffffff,
436  0x0000807f, 0x333333b2, 0x555555d3, 0x7fffffff,
437  0x0000807e, 0x333333b1, 0x555555d2, 0x7fffffff,
438  0x0000807d, 0x333333b0, 0x55555575, 0x7fffffff,
439  0x0000807c, 0x33333353, 0x55555558, 0x7fffffff,
440  0x0000801f, 0x33333336, 0x55555557, 0x7ffffffe,
441  0x33333336, 0x55555557, 0x7ffffffe, 0x7ffffffe,
442  0x33333335, 0x55555556, 0x7ffffffd, 0x7ffffffd,
443  0x33333334, 0x55555555, 0x7ffffffc, 0x7ffffffc,
444  0x33333333, 0x55555554, 0x7ffffffb, 0x7fffffde,
445  0x33333332, 0x55555553, 0x7fffffdd, 0x7fffff81,
446  0x33333331, 0x55555535, 0x7fffff80, 0x7fffff80,
447  0x33333313, 0x555554d8, 0x7fffff7f, 0x7fffff7f,
448  0x333332b6, 0x555554d7, 0x7fffff7e, 0x7fff8001,
449  0x333332b5, 0x555554d6, 0x7fff8000, 0x7fff8000,
450  0x333332b4, 0x5554d558, 0x7fff7fff, 0x7fff7fff,
451  0x3332b336, 0x5554d557, 0x7fff7ffe, 0x4ccccccb,
452  0x3332b335, 0x5554d556, 0x4cccccca, 0x2aaaaaa9,
453  0x3332b334, 0x22222222, 0x2aaaaaa8, 0x00000001,
454  0x00000000, 0x00000000, 0x00000000, 0x00000000,
455  0xddddddde, 0xd5555558, 0xffffffff, 0xffffffff,
456  0xb3333336, 0xd5555557, 0xfffffffe, 0x7fffffff,
457  0xb3333335, 0xd5555556, 0x7fffffff, 0x7fffffff,
458  0xb3333334, 0x7fffffff, 0x7fffffff, 0x7fffffff,
459  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
460  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
461  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
462  0x66666667, 0x5555d555, 0x7fffffff, 0x7fffffff,
463  0x3333b333, 0x5555d554, 0x7fffffff, 0x7fffffff,
464  0x3333b332, 0x5555d553, 0x7fffffff, 0x7fffffff,
465  0x3333b331, 0x5555d552, 0x7fffffff, 0x7fffffff,
466  0x3333b330, 0x555555d5, 0x7fffffff, 0x7fffffff,
467  0x333333b3, 0x555555d4, 0x7fffffff, 0x7fffffff,
468  0x333333b2, 0x555555d3, 0x7fffffff, 0x7fffffff,
469  0x333333b1, 0x555555d2, 0x7fffffff, 0x7fffffff,
470  0x333333b0, 0x55555575, 0x7fffffff, 0x7fffffff,
471  0x33333353, 0x55555558, 0x7fffffff, 0x7fffffff,
472  0x55555558, 0x7fffffff, 0x7fffffff, 0x7fffffff,
473  0x55555557, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
474  0x55555556, 0x7ffffffd, 0x7ffffffd, 0x7ffffffd,
475  0x55555555, 0x7ffffffc, 0x7ffffffc, 0x7fffffdf,
476  0x55555554, 0x7ffffffb, 0x7fffffde, 0x7fffff82,
477  0x55555553, 0x7fffffdd, 0x7fffff81, 0x7fffff81,
478  0x55555535, 0x7fffff80, 0x7fffff80, 0x7fffff80,
479  0x555554d8, 0x7fffff7f, 0x7fffff7f, 0x7fff8002,
480  0x555554d7, 0x7fffff7e, 0x7fff8001, 0x7fff8001,
481  0x555554d6, 0x7fff8000, 0x7fff8000, 0x7fff8000,
482  0x5554d558, 0x7fff7fff, 0x7fff7fff, 0x4ccccccc,
483  0x5554d557, 0x7fff7ffe, 0x4ccccccb, 0x2aaaaaaa,
484  0x5554d556, 0x4cccccca, 0x2aaaaaa9, 0x00000002,
485  0x22222222, 0x2aaaaaa8, 0x00000001, 0x00000001,
486  0x00000000, 0x00000000, 0x00000000, 0x00000000,
487  0xd5555558, 0xffffffff, 0xffffffff, 0x7fffffff,
488  0xd5555557, 0xfffffffe, 0x7fffffff, 0x7fffffff,
489  0xd5555556, 0x7fffffff, 0x7fffffff, 0x7fffffff,
490  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
491  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
492  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
493  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
494  0x5555d555, 0x7fffffff, 0x7fffffff, 0x7fffffff,
495  0x5555d554, 0x7fffffff, 0x7fffffff, 0x7fffffff,
496  0x5555d553, 0x7fffffff, 0x7fffffff, 0x7fffffff,
497  0x5555d552, 0x7fffffff, 0x7fffffff, 0x7fffffff,
498  0x555555d5, 0x7fffffff, 0x7fffffff, 0x7fffffff,
499  0x555555d4, 0x7fffffff, 0x7fffffff, 0x7fffffff,
500  0x555555d3, 0x7fffffff, 0x7fffffff, 0x7fffffff,
501  0x555555d2, 0x7fffffff, 0x7fffffff, 0x7fffffff,
502  0x55555575, 0x7fffffff, 0x7fffffff, 0x7fffffff,
503  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80000000,
504  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80000000,
505  0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x80000000,
506  0x7ffffffd, 0x7ffffffd, 0x7ffffffd, 0x80000000,
507  0x7ffffffc, 0x7ffffffc, 0x7fffffdf, 0x80000000,
508  0x7ffffffb, 0x7fffffde, 0x7fffff82, 0x80000000,
509  0x7fffffdd, 0x7fffff81, 0x7fffff81, 0x80000000,
510  0x7fffff80, 0x7fffff80, 0x7fffff80, 0x80000000,
511  0x7fffff7f, 0x7fffff7f, 0x7fff8002, 0x80000000,
512  0x7fffff7e, 0x7fff8001, 0x7fff8001, 0x80000000,
513  0x7fff8000, 0x7fff8000, 0x7fff8000, 0x80000000,
514  0x7fff7fff, 0x7fff7fff, 0x4ccccccc, 0x80000000,
515  0x7fff7ffe, 0x4ccccccb, 0x2aaaaaaa, 0x80000000,
516  0x4cccccca, 0x2aaaaaa9, 0x00000002, 0x80000000,
517  0x2aaaaaa8, 0x00000001, 0x00000001, 0x80000000,
518  0x00000000, 0x00000000, 0x00000000, 0x00000000,
519  0xffffffff, 0xffffffff, 0x7fffffff, 0xffffffff,
520  0xfffffffe, 0x7fffffff, 0x7fffffff, 0xd5555556,
521  0x7fffffff, 0x7fffffff, 0x7fffffff, 0xb3333334,
522  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80008000,
523  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80007fff,
524  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80007ffe,
525  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80007ffd,
526  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80000080,
527  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x8000007f,
528  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x8000007e,
529  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x8000007d,
530  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80000020,
531  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80000003,
532  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80000002,
533  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x80000001,
534  0x7fffffff, 0x7fffffff, 0x80000001, 0x80000001,
535  0x7fffffff, 0x7fffffff, 0x80000000, 0x80000000,
536  0x7fffffff, 0x7fffffff, 0x80000000, 0x80000000,
537  0x7ffffffe, 0x7ffffffe, 0x80000000, 0x80000000,
538  0x7ffffffd, 0x7ffffffd, 0x80000000, 0x80000000,
539  0x7ffffffc, 0x7fffffdf, 0x80000000, 0x80000000,
540  0x7fffffde, 0x7fffff82, 0x80000000, 0x80000000,
541  0x7fffff81, 0x7fffff81, 0x80000000, 0x80000000,
542  0x7fffff80, 0x7fffff80, 0x80000000, 0x80000000,
543  0x7fffff7f, 0x7fff8002, 0x80000000, 0x80000000,
544  0x7fff8001, 0x7fff8001, 0x80000000, 0x80000000,
545  0x7fff8000, 0x7fff8000, 0x80000000, 0x80000000,
546  0x7fff7fff, 0x4ccccccc, 0x80000000, 0x80000000,
547  0x4ccccccb, 0x2aaaaaaa, 0x80000000, 0x80000000,
548  0x2aaaaaa9, 0x00000002, 0x80000000, 0x80000000,
549  0x00000001, 0x00000001, 0x80000000, 0x00000001,
550  0x00000000, 0x00000000, 0x00000000, 0x00000000,
551  0xffffffff, 0x7fffffff, 0xffffffff, 0xd5555557,
552  0x7fffffff, 0x7fffffff, 0xd5555556, 0xb3333335,
553  0x7fffffff, 0x7fffffff, 0xb3333334, 0x80008001,
554  0x7fffffff, 0x7fffffff, 0x80008000, 0x80008000,
555  0x7fffffff, 0x7fffffff, 0x80007fff, 0x80007fff,
556  0x7fffffff, 0x7fffffff, 0x80007ffe, 0x80007ffe,
557  0x7fffffff, 0x7fffffff, 0x80007ffd, 0x80000081,
558  0x7fffffff, 0x7fffffff, 0x80000080, 0x80000080,
559  0x7fffffff, 0x7fffffff, 0x8000007f, 0x8000007f,
560  0x7fffffff, 0x7fffffff, 0x8000007e, 0x8000007e,
561  0x7fffffff, 0x7fffffff, 0x8000007d, 0x80000021,
562  0x7fffffff, 0x7fffffff, 0x80000020, 0x80000004,
563  0x7fffffff, 0x7fffffff, 0x80000003, 0x80000003,
564  0x7fffffff, 0x7fffffff, 0x80000002, 0x80000002,
565  0x7fffffff, 0x80000002, 0x80000002, 0xaaaaaaaa,
566  0x7fffffff, 0x80000001, 0x80000001, 0xaaaaaaa9,
567  0x7fffffff, 0x80000000, 0x80000000, 0xaaaaaaa8,
568  0x7fffffff, 0x80000000, 0x80000000, 0xaaaaaa8a,
569  0x7ffffffe, 0x80000000, 0x80000000, 0xaaaaaa2d,
570  0x7ffffffd, 0x80000000, 0x80000000, 0xaaaaaa2c,
571  0x7fffffdf, 0x80000000, 0x80000000, 0xaaaaaa2b,
572  0x7fffff82, 0x80000000, 0x80000000, 0xaaaa2aad,
573  0x7fffff81, 0x80000000, 0x80000000, 0xaaaa2aac,
574  0x7fffff80, 0x80000000, 0x80000000, 0xaaaa2aab,
575  0x7fff8002, 0x80000000, 0x80000000, 0x80000000,
576  0x7fff8001, 0x80000000, 0x80000000, 0x80000000,
577  0x7fff8000, 0x80000000, 0x80000000, 0x80000000,
578  0x4ccccccc, 0x80000000, 0x80000000, 0x80000000,
579  0x2aaaaaaa, 0x80000000, 0x80000000, 0x80000000,
580  0x00000002, 0x80000000, 0x80000000, 0x2aaaaaaa,
581  0x00000001, 0x80000000, 0x00000001, 0x2aaaaaa9,
582  0x00000000, 0x00000000, 0x00000000, 0x00000000,
583  0x7fffffff, 0xffffffff, 0xd5555557, 0xddddddde,
584  0x7fffffff, 0xd5555556, 0xb3333335, 0xaaab2aaa,
585  0x7fffffff, 0xb3333334, 0x80008001, 0xaaab2aa9,
586  0x7fffffff, 0x80008000, 0x80008000, 0xaaab2aa8,
587  0x7fffffff, 0x80007fff, 0x80007fff, 0xaaab2aa7,
588  0x7fffffff, 0x80007ffe, 0x80007ffe, 0xaaaaab2a,
589  0x7fffffff, 0x80007ffd, 0x80000081, 0xaaaaab29,
590  0x7fffffff, 0x80000080, 0x80000080, 0xaaaaab28,
591  0x7fffffff, 0x8000007f, 0x8000007f, 0xaaaaab27,
592  0x7fffffff, 0x8000007e, 0x8000007e, 0xaaaaaaca,
593  0x7fffffff, 0x8000007d, 0x80000021, 0xaaaaaaad,
594  0x7fffffff, 0x80000020, 0x80000004, 0xaaaaaaac,
595  0x7fffffff, 0x80000003, 0x80000003, 0xaaaaaaab,
596  0x80000003, 0x80000003, 0xaaaaaaab, 0xcccccccc,
597  0x80000002, 0x80000002, 0xaaaaaaaa, 0xcccccccb,
598  0x80000001, 0x80000001, 0xaaaaaaa9, 0xccccccca,
599  0x80000000, 0x80000000, 0xaaaaaaa8, 0xccccccac,
600  0x80000000, 0x80000000, 0xaaaaaa8a, 0xcccccc4f,
601  0x80000000, 0x80000000, 0xaaaaaa2d, 0xcccccc4e,
602  0x80000000, 0x80000000, 0xaaaaaa2c, 0xcccccc4d,
603  0x80000000, 0x80000000, 0xaaaaaa2b, 0xcccc4ccf,
604  0x80000000, 0x80000000, 0xaaaa2aad, 0xcccc4cce,
605  0x80000000, 0x80000000, 0xaaaa2aac, 0xcccc4ccd,
606  0x80000000, 0x80000000, 0xaaaa2aab, 0x99999999,
607  0x80000000, 0x80000000, 0x80000000, 0x80000000,
608  0x80000000, 0x80000000, 0x80000000, 0x80000000,
609  0x80000000, 0x80000000, 0x80000000, 0x80000000,
610  0x80000000, 0x80000000, 0x80000000, 0x80000000,
611  0x80000000, 0x80000000, 0x80000000, 0x4ccccccc,
612  0x80000000, 0x80000000, 0x2aaaaaaa, 0x4ccccccb,
613  0x80000000, 0x00000001, 0x2aaaaaa9, 0x22222222,
614  0x00000000, 0x00000000, 0x00000000, 0x00000000,
615  0xffffffff, 0xd5555557, 0xddddddde, 0xcccd4ccc,
616  0xd5555556, 0xb3333335, 0xaaab2aaa, 0xcccd4ccb,
617  0xb3333334, 0x80008001, 0xaaab2aa9, 0xcccd4cca,
618  0x80008000, 0x80008000, 0xaaab2aa8, 0xcccd4cc9,
619  0x80007fff, 0x80007fff, 0xaaab2aa7, 0xcccccd4c,
620  0x80007ffe, 0x80007ffe, 0xaaaaab2a, 0xcccccd4b,
621  0x80007ffd, 0x80000081, 0xaaaaab29, 0xcccccd4a,
622  0x80000080, 0x80000080, 0xaaaaab28, 0xcccccd49,
623  0x8000007f, 0x8000007f, 0xaaaaab27, 0xccccccec,
624  0x8000007e, 0x8000007e, 0xaaaaaaca, 0xcccccccf,
625  0x8000007d, 0x80000021, 0xaaaaaaad, 0xccccccce,
626  0x80000020, 0x80000004, 0xaaaaaaac, 0xcccccccd,
627  0x80000004, 0xaaaaaaac, 0xcccccccd, 0xffff8000,
628  0x80000003, 0xaaaaaaab, 0xcccccccc, 0xffff7fff,
629  0x80000002, 0xaaaaaaaa, 0xcccccccb, 0xffff7ffe,
630  0x80000001, 0xaaaaaaa9, 0xccccccca, 0xffff7fe0,
631  0x80000000, 0xaaaaaaa8, 0xccccccac, 0xffff7f83,
632  0x80000000, 0xaaaaaa8a, 0xcccccc4f, 0xffff7f82,
633  0x80000000, 0xaaaaaa2d, 0xcccccc4e, 0xffff7f81,
634  0x80000000, 0xaaaaaa2c, 0xcccccc4d, 0xffff0003,
635  0x80000000, 0xaaaaaa2b, 0xcccc4ccf, 0xffff0002,
636  0x80000000, 0xaaaa2aad, 0xcccc4cce, 0xffff0001,
637  0x80000000, 0xaaaa2aac, 0xcccc4ccd, 0xcccc4ccd,
638  0x80000000, 0xaaaa2aab, 0x99999999, 0xaaaa2aab,
639  0x80000000, 0x80000000, 0x80000000, 0x80000000,
640  0x80000000, 0x80000000, 0x80000000, 0x80000000,
641  0x80000000, 0x80000000, 0x80000000, 0x80000000,
642  0x80000000, 0x80000000, 0x80000000, 0x7fff8000,
643  0x80000000, 0x80000000, 0x4ccccccc, 0x7fff7fff,
644  0x80000000, 0x2aaaaaaa, 0x4ccccccb, 0x5554d556,
645  0x00000001, 0x2aaaaaa9, 0x22222222, 0x3332b334,
646  0x00000000, 0x00000000, 0x00000000, 0x00000000,
647  0xd5555557, 0xddddddde, 0xcccd4ccc, 0xffffffff,
648  0xb3333335, 0xaaab2aaa, 0xcccd4ccb, 0xfffffffe,
649  0x80008001, 0xaaab2aa9, 0xcccd4cca, 0xfffffffd,
650  0x80008000, 0xaaab2aa8, 0xcccd4cc9, 0xffff8080,
651  0x80007fff, 0xaaab2aa7, 0xcccccd4c, 0xffff807f,
652  0x80007ffe, 0xaaaaab2a, 0xcccccd4b, 0xffff807e,
653  0x80000081, 0xaaaaab29, 0xcccccd4a, 0xffff807d,
654  0x80000080, 0xaaaaab28, 0xcccccd49, 0xffff8020,
655  0x8000007f, 0xaaaaab27, 0xccccccec, 0xffff8003,
656  0x8000007e, 0xaaaaaaca, 0xcccccccf, 0xffff8002,
657  0x80000021, 0xaaaaaaad, 0xccccccce, 0xffff8001,
658  0xaaaaaaad, 0xccccccce, 0xffff8001, 0xffff8001,
659  0xaaaaaaac, 0xcccccccd, 0xffff8000, 0xffff8000,
660  0xaaaaaaab, 0xcccccccc, 0xffff7fff, 0xffff7fff,
661  0xaaaaaaaa, 0xcccccccb, 0xffff7ffe, 0xffff7fe1,
662  0xaaaaaaa9, 0xccccccca, 0xffff7fe0, 0xffff7f84,
663  0xaaaaaaa8, 0xccccccac, 0xffff7f83, 0xffff7f83,
664  0xaaaaaa8a, 0xcccccc4f, 0xffff7f82, 0xffff7f82,
665  0xaaaaaa2d, 0xcccccc4e, 0xffff7f81, 0xffff0004,
666  0xaaaaaa2c, 0xcccccc4d, 0xffff0003, 0xffff0003,
667  0xaaaaaa2b, 0xcccc4ccf, 0xffff0002, 0xffff0002,
668  0xaaaa2aad, 0xcccc4cce, 0xffff0001, 0xcccc4cce,
669  0xaaaa2aac, 0xcccc4ccd, 0xcccc4ccd, 0xaaaa2aac,
670  0xaaaa2aab, 0x99999999, 0xaaaa2aab, 0x80000000,
671  0x80000000, 0x80000000, 0x80000000, 0x80000000,
672  0x80000000, 0x80000000, 0x80000000, 0x80000000,
673  0x80000000, 0x80000000, 0x80000000, 0x7fff8001,
674  0x80000000, 0x80000000, 0x7fff8000, 0x7fff8000,
675  0x80000000, 0x4ccccccc, 0x7fff7fff, 0x5554d557,
676  0x2aaaaaaa, 0x4ccccccb, 0x5554d556, 0x3332b335,
677  0x2aaaaaa9, 0x22222222, 0x3332b334, 0x00000001,
678  0x00000000, 0x00000000, 0x00000000, 0x00000000,
679  0xddddddde, 0xcccd4ccc, 0xffffffff, 0xffffffff,
680  0xaaab2aaa, 0xcccd4ccb, 0xfffffffe, 0xfffffffe,
681  0xaaab2aa9, 0xcccd4cca, 0xfffffffd, 0xffff8081,
682  0xaaab2aa8, 0xcccd4cc9, 0xffff8080, 0xffff8080,
683  0xaaab2aa7, 0xcccccd4c, 0xffff807f, 0xffff807f,
684  0xaaaaab2a, 0xcccccd4b, 0xffff807e, 0xffff807e,
685  0xaaaaab29, 0xcccccd4a, 0xffff807d, 0xffff8021,
686  0xaaaaab28, 0xcccccd49, 0xffff8020, 0xffff8004,
687  0xaaaaab27, 0xccccccec, 0xffff8003, 0xffff8003,
688  0xaaaaaaca, 0xcccccccf, 0xffff8002, 0xffff8002,
689  0xcccccccf, 0xffff8002, 0xffff8002, 0xffff8002,
690  0xccccccce, 0xffff8001, 0xffff8001, 0xffff8001,
691  0xcccccccd, 0xffff8000, 0xffff8000, 0xffff8000,
692  0xcccccccc, 0xffff7fff, 0xffff7fff, 0xffff7fe2,
693  0xcccccccb, 0xffff7ffe, 0xffff7fe1, 0xffff7f85,
694  0xccccccca, 0xffff7fe0, 0xffff7f84, 0xffff7f84,
695  0xccccccac, 0xffff7f83, 0xffff7f83, 0xffff7f83,
696  0xcccccc4f, 0xffff7f82, 0xffff7f82, 0xffff0005,
697  0xcccccc4e, 0xffff7f81, 0xffff0004, 0xffff0004,
698  0xcccccc4d, 0xffff0003, 0xffff0003, 0xffff0003,
699  0xcccc4ccf, 0xffff0002, 0xffff0002, 0xcccc4ccf,
700  0xcccc4cce, 0xffff0001, 0xcccc4cce, 0xaaaa2aad,
701  0xcccc4ccd, 0xcccc4ccd, 0xaaaa2aac, 0x80000000,
702  0x99999999, 0xaaaa2aab, 0x80000000, 0x80000000,
703  0x80000000, 0x80000000, 0x80000000, 0x80000000,
704  0x80000000, 0x80000000, 0x80000000, 0x7fff8002,
705  0x80000000, 0x80000000, 0x7fff8001, 0x7fff8001,
706  0x80000000, 0x7fff8000, 0x7fff8000, 0x5554d558,
707  0x4ccccccc, 0x7fff7fff, 0x5554d557, 0x3332b336,
708  0x4ccccccb, 0x5554d556, 0x3332b335, 0x00000002,
709  0x22222222, 0x3332b334, 0x00000001, 0x00000001,
710  0x00000000, 0x00000000, 0x00000000, 0x00000000,
711  0xcccd4ccc, 0xffffffff, 0xffffffff, 0xffffffff,
712  0xcccd4ccb, 0xfffffffe, 0xfffffffe, 0xffff8082,
713  0xcccd4cca, 0xfffffffd, 0xffff8081, 0xffff8081,
714  0xcccd4cc9, 0xffff8080, 0xffff8080, 0xffff8080,
715  0xcccccd4c, 0xffff807f, 0xffff807f, 0xffff807f,
716  0xcccccd4b, 0xffff807e, 0xffff807e, 0xffff8022,
717  0xcccccd4a, 0xffff807d, 0xffff8021, 0xffff8005,
718  0xcccccd49, 0xffff8020, 0xffff8004, 0xffff8004,
719  0xccccccec, 0xffff8003, 0xffff8003, 0xffff8003,
720  0xffff8003, 0xffff8003, 0xffff8003, 0xffff8003,
721  0xffff8002, 0xffff8002, 0xffff8002, 0xffff8002,
722  0xffff8001, 0xffff8001, 0xffff8001, 0xffff8001,
723  0xffff8000, 0xffff8000, 0xffff8000, 0xffff7fe3,
724  0xffff7fff, 0xffff7fff, 0xffff7fe2, 0xffff7f86,
725  0xffff7ffe, 0xffff7fe1, 0xffff7f85, 0xffff7f85,
726  0xffff7fe0, 0xffff7f84, 0xffff7f84, 0xffff7f84,
727  0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff0006,
728  0xffff7f82, 0xffff7f82, 0xffff0005, 0xffff0005,
729  0xffff7f81, 0xffff0004, 0xffff0004, 0xffff0004,
730  0xffff0003, 0xffff0003, 0xffff0003, 0xcccc4cd0,
731  0xffff0002, 0xffff0002, 0xcccc4ccf, 0xaaaa2aae,
732  0xffff0001, 0xcccc4cce, 0xaaaa2aad, 0x80000000,
733  0xcccc4ccd, 0xaaaa2aac, 0x80000000, 0x80000000,
734  0xaaaa2aab, 0x80000000, 0x80000000, 0x80000000,
735  0x80000000, 0x80000000, 0x80000000, 0x7fff8003,
736  0x80000000, 0x80000000, 0x7fff8002, 0x7fff8002,
737  0x80000000, 0x7fff8001, 0x7fff8001, 0x5554d559,
738  0x7fff8000, 0x7fff8000, 0x5554d558, 0x3332b337,
739  0x7fff7fff, 0x5554d557, 0x3332b336, 0x00000003,
740  0x5554d556, 0x3332b335, 0x00000002, 0x00000002,
741  0x3332b334, 0x00000001, 0x00000001, 0x00000001,
742  0x00000000, 0x00000000, 0x00000000, 0x00000000,
743  0xffffffff, 0xffffffff, 0xffffffff, 0xffff8083,
744  0xfffffffe, 0xfffffffe, 0xffff8082, 0xffff8082,
745  0xfffffffd, 0xffff8081, 0xffff8081, 0xffff8081,
746  0xffff8080, 0xffff8080, 0xffff8080, 0xffff8080,
747  0xffff807f, 0xffff807f, 0xffff807f, 0xffff8023,
748  0xffff807e, 0xffff807e, 0xffff8022, 0xffff8006,
749  0xffff807d, 0xffff8021, 0xffff8005, 0xffff8005,
750  0xffff8020, 0xffff8004, 0xffff8004, 0xffff8004,
751  0xffff8004, 0xffff8004, 0xffff8004, 0xffffff80,
752  0xffff8003, 0xffff8003, 0xffff8003, 0xffffff7f,
753  0xffff8002, 0xffff8002, 0xffff8002, 0xffffff7e,
754  0xffff8001, 0xffff8001, 0xffff8001, 0xffffff60,
755  0xffff8000, 0xffff8000, 0xffff7fe3, 0xffffff03,
756  0xffff7fff, 0xffff7fe2, 0xffff7f86, 0xffffff02,
757  0xffff7fe1, 0xffff7f85, 0xffff7f85, 0xffffff01,
758  0xffff7f84, 0xffff7f84, 0xffff7f84, 0xffff7f83,
759  0xffff7f83, 0xffff7f83, 0xffff0006, 0xffff7f82,
760  0xffff7f82, 0xffff0005, 0xffff0005, 0xffff7f81,
761  0xffff0004, 0xffff0004, 0xffff0004, 0xcccccc4d,
762  0xffff0003, 0xffff0003, 0xcccc4cd0, 0xaaaaaa2b,
763  0xffff0002, 0xcccc4ccf, 0xaaaa2aae, 0x80000000,
764  0xcccc4cce, 0xaaaa2aad, 0x80000000, 0x80000000,
765  0xaaaa2aac, 0x80000000, 0x80000000, 0x80000000,
766  0x80000000, 0x80000000, 0x80000000, 0x7fffff80,
767  0x80000000, 0x80000000, 0x7fff8003, 0x7fffff7f,
768  0x80000000, 0x7fff8002, 0x7fff8002, 0x555554d6,
769  0x7fff8001, 0x7fff8001, 0x5554d559, 0x333332b4,
770  0x7fff8000, 0x5554d558, 0x3332b337, 0x00007f80,
771  0x5554d557, 0x3332b336, 0x00000003, 0x00007f7f,
772  0x3332b335, 0x00000002, 0x00000002, 0x00007f7e,
773  0x00000001, 0x00000001, 0x00000001, 0x00007f7d,
774  0x00000000, 0x00000000, 0x00000000, 0x00000000,
775  0xffffffff, 0xffffffff, 0xffff8083, 0xffffffff,
776  0xfffffffe, 0xffff8082, 0xffff8082, 0xfffffffe,
777  0xffff8081, 0xffff8081, 0xffff8081, 0xfffffffd,
778  0xffff8080, 0xffff8080, 0xffff8080, 0xffffffa0,
779  0xffff807f, 0xffff807f, 0xffff8023, 0xffffff83,
780  0xffff807e, 0xffff8022, 0xffff8006, 0xffffff82,
781  0xffff8021, 0xffff8005, 0xffff8005, 0xffffff81,
782  0xffff8005, 0xffff8005, 0xffffff81, 0xffffff81,
783  0xffff8004, 0xffff8004, 0xffffff80, 0xffffff80,
784  0xffff8003, 0xffff8003, 0xffffff7f, 0xffffff7f,
785  0xffff8002, 0xffff8002, 0xffffff7e, 0xffffff61,
786  0xffff8001, 0xffff8001, 0xffffff60, 0xffffff04,
787  0xffff8000, 0xffff7fe3, 0xffffff03, 0xffffff03,
788  0xffff7fe2, 0xffff7f86, 0xffffff02, 0xffffff02,
789  0xffff7f85, 0xffff7f85, 0xffffff01, 0xffff7f84,
790  0xffff7f84, 0xffff7f84, 0xffff7f83, 0xffff7f83,
791  0xffff7f83, 0xffff0006, 0xffff7f82, 0xffff7f82,
792  0xffff0005, 0xffff0005, 0xffff7f81, 0xcccccc4e,
793  0xffff0004, 0xffff0004, 0xcccccc4d, 0xaaaaaa2c,
794  0xffff0003, 0xcccc4cd0, 0xaaaaaa2b, 0x80000000,
795  0xcccc4ccf, 0xaaaa2aae, 0x80000000, 0x80000000,
796  0xaaaa2aad, 0x80000000, 0x80000000, 0x80000000,
797  0x80000000, 0x80000000, 0x80000000, 0x7fffff81,
798  0x80000000, 0x80000000, 0x7fffff80, 0x7fffff80,
799  0x80000000, 0x7fff8003, 0x7fffff7f, 0x555554d7,
800  0x7fff8002, 0x7fff8002, 0x555554d6, 0x333332b5,
801  0x7fff8001, 0x5554d559, 0x333332b4, 0x00007f81,
802  0x5554d558, 0x3332b337, 0x00007f80, 0x00007f80,
803  0x3332b336, 0x00000003, 0x00007f7f, 0x00007f7f,
804  0x00000002, 0x00000002, 0x00007f7e, 0x00007f7e,
805  0x00000001, 0x00000001, 0x00007f7d, 0x00000001,
806  0x00000000, 0x00000000, 0x00000000, 0x00000000,
807  0xffffffff, 0xffff8083, 0xffffffff, 0xffffffff,
808  0xffff8082, 0xffff8082, 0xfffffffe, 0xfffffffe,
809  0xffff8081, 0xffff8081, 0xfffffffd, 0xffffffa1,
810  0xffff8080, 0xffff8080, 0xffffffa0, 0xffffff84,
811  0xffff807f, 0xffff8023, 0xffffff83, 0xffffff83,
812  0xffff8022, 0xffff8006, 0xffffff82, 0xffffff82,
813  0xffff8006, 0xffffff82, 0xffffff82, 0xffffff82,
814  0xffff8005, 0xffffff81, 0xffffff81, 0xffffff81,
815  0xffff8004, 0xffffff80, 0xffffff80, 0xffffff80,
816  0xffff8003, 0xffffff7f, 0xffffff7f, 0xffffff62,
817  0xffff8002, 0xffffff7e, 0xffffff61, 0xffffff05,
818  0xffff8001, 0xffffff60, 0xffffff04, 0xffffff04,
819  0xffff7fe3, 0xffffff03, 0xffffff03, 0xffffff03,
820  0xffff7f86, 0xffffff02, 0xffffff02, 0xffff7f85,
821  0xffff7f85, 0xffffff01, 0xffff7f84, 0xffff7f84,
822  0xffff7f84, 0xffff7f83, 0xffff7f83, 0xffff7f83,
823  0xffff0006, 0xffff7f82, 0xffff7f82, 0xcccccc4f,
824  0xffff0005, 0xffff7f81, 0xcccccc4e, 0xaaaaaa2d,
825  0xffff0004, 0xcccccc4d, 0xaaaaaa2c, 0x80000000,
826  0xcccc4cd0, 0xaaaaaa2b, 0x80000000, 0x80000000,
827  0xaaaa2aae, 0x80000000, 0x80000000, 0x80000000,
828  0x80000000, 0x80000000, 0x80000000, 0x7fffff82,
829  0x80000000, 0x80000000, 0x7fffff81, 0x7fffff81,
830  0x80000000, 0x7fffff80, 0x7fffff80, 0x555554d8,
831  0x7fff8003, 0x7fffff7f, 0x555554d7, 0x333332b6,
832  0x7fff8002, 0x555554d6, 0x333332b5, 0x00007f82,
833  0x5554d559, 0x333332b4, 0x00007f81, 0x00007f81,
834  0x3332b337, 0x00007f80, 0x00007f80, 0x00007f80,
835  0x00000003, 0x00007f7f, 0x00007f7f, 0x00007f7f,
836  0x00000002, 0x00007f7e, 0x00007f7e, 0x00000002,
837  0x00000001, 0x00007f7d, 0x00000001, 0x00000001,
838  0x00000000, 0x00000000, 0x00000000, 0x00000000,
839  0xffff8083, 0xffffffff, 0xffffffff, 0xffffffff,
840  0xffff8082, 0xfffffffe, 0xfffffffe, 0xffffffa2,
841  0xffff8081, 0xfffffffd, 0xffffffa1, 0xffffff85,
842  0xffff8080, 0xffffffa0, 0xffffff84, 0xffffff84,
843  0xffff8023, 0xffffff83, 0xffffff83, 0xffffff83,
844  0xffffff83, 0xffffff83, 0xffffff83, 0xffffff83,
845  0xffffff82, 0xffffff82, 0xffffff82, 0xffffff82,
846  0xffffff81, 0xffffff81, 0xffffff81, 0xffffff81,
847  0xffffff80, 0xffffff80, 0xffffff80, 0xffffff63,
848  0xffffff7f, 0xffffff7f, 0xffffff62, 0xffffff06,
849  0xffffff7e, 0xffffff61, 0xffffff05, 0xffffff05,
850  0xffffff60, 0xffffff04, 0xffffff04, 0xffffff04,
851  0xffffff03, 0xffffff03, 0xffffff03, 0xffff7f86,
852  0xffffff02, 0xffffff02, 0xffff7f85, 0xffff7f85,
853  0xffffff01, 0xffff7f84, 0xffff7f84, 0xffff7f84,
854  0xffff7f83, 0xffff7f83, 0xffff7f83, 0xcccccc50,
855  0xffff7f82, 0xffff7f82, 0xcccccc4f, 0xaaaaaa2e,
856  0xffff7f81, 0xcccccc4e, 0xaaaaaa2d, 0x80000000,
857  0xcccccc4d, 0xaaaaaa2c, 0x80000000, 0x80000000,
858  0xaaaaaa2b, 0x80000000, 0x80000000, 0x80000000,
859  0x80000000, 0x80000000, 0x80000000, 0x7fffff83,
860  0x80000000, 0x80000000, 0x7fffff82, 0x7fffff82,
861  0x80000000, 0x7fffff81, 0x7fffff81, 0x555554d9,
862  0x7fffff80, 0x7fffff80, 0x555554d8, 0x333332b7,
863  0x7fffff7f, 0x555554d7, 0x333332b6, 0x00007f83,
864  0x555554d6, 0x333332b5, 0x00007f82, 0x00007f82,
865  0x333332b4, 0x00007f81, 0x00007f81, 0x00007f81,
866  0x00007f80, 0x00007f80, 0x00007f80, 0x00007f80,
867  0x00007f7f, 0x00007f7f, 0x00007f7f, 0x00000003,
868  0x00007f7e, 0x00007f7e, 0x00000002, 0x00000002,
869  0x00007f7d, 0x00000001, 0x00000001, 0x00000001,
870  0x00000000, 0x00000000, 0x00000000, 0x00000000,
871  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffa3,
872  0xfffffffe, 0xfffffffe, 0xffffffa2, 0xffffff86,
873  0xfffffffd, 0xffffffa1, 0xffffff85, 0xffffff85,
874  0xffffffa0, 0xffffff84, 0xffffff84, 0xffffff84,
875  0xffffff84, 0xffffff84, 0xffffff84, 0xffffffe0,
876  0xffffff83, 0xffffff83, 0xffffff83, 0xffffffdf,
877  0xffffff82, 0xffffff82, 0xffffff82, 0xffffffde,
878  0xffffff81, 0xffffff81, 0xffffff81, 0xffffffc0,
879  0xffffff80, 0xffffff80, 0xffffff63, 0xffffff63,
880  0xffffff7f, 0xffffff62, 0xffffff06, 0xffffff62,
881  0xffffff61, 0xffffff05, 0xffffff05, 0xffffff61,
882  0xffffff04, 0xffffff04, 0xffffff04, 0xffff7fe3,
883  0xffffff03, 0xffffff03, 0xffff7f86, 0xffff7fe2,
884  0xffffff02, 0xffff7f85, 0xffff7f85, 0xffff7fe1,
885  0xffff7f84, 0xffff7f84, 0xffff7f84, 0xccccccad,
886  0xffff7f83, 0xffff7f83, 0xcccccc50, 0xaaaaaa8b,
887  0xffff7f82, 0xcccccc4f, 0xaaaaaa2e, 0x80000000,
888  0xcccccc4e, 0xaaaaaa2d, 0x80000000, 0x80000000,
889  0xaaaaaa2c, 0x80000000, 0x80000000, 0x80000000,
890  0x80000000, 0x80000000, 0x80000000, 0x7fffffe0,
891  0x80000000, 0x80000000, 0x7fffff83, 0x7fffffdf,
892  0x80000000, 0x7fffff82, 0x7fffff82, 0x55555536,
893  0x7fffff81, 0x7fffff81, 0x555554d9, 0x33333314,
894  0x7fffff80, 0x555554d8, 0x333332b7, 0x00007fe0,
895  0x555554d7, 0x333332b6, 0x00007f83, 0x00007fdf,
896  0x333332b5, 0x00007f82, 0x00007f82, 0x00007fde,
897  0x00007f81, 0x00007f81, 0x00007f81, 0x00007fdd,
898  0x00007f80, 0x00007f80, 0x00007f80, 0x00000060,
899  0x00007f7f, 0x00007f7f, 0x00000003, 0x0000005f,
900  0x00007f7e, 0x00000002, 0x00000002, 0x0000005e,
901  0x00000001, 0x00000001, 0x00000001, 0x0000005d,
902  0x00000000, 0x00000000, 0x00000000, 0x00000000,
903  0xffffffff, 0xffffffff, 0xffffffa3, 0xffffffe3,
904  0xfffffffe, 0xffffffa2, 0xffffff86, 0xffffffe2,
905  0xffffffa1, 0xffffff85, 0xffffff85, 0xffffffe1,
906  0xffffff85, 0xffffff85, 0xffffffe1, 0xfffffffd,
907  0xffffff84, 0xffffff84, 0xffffffe0, 0xfffffffc,
908  0xffffff83, 0xffffff83, 0xffffffdf, 0xfffffffb,
909  0xffffff82, 0xffffff82, 0xffffffde, 0xffffffdd,
910  0xffffff81, 0xffffff81, 0xffffffc0, 0xffffff80,
911  0xffffff80, 0xffffff63, 0xffffff63, 0xffffff7f,
912  0xffffff62, 0xffffff06, 0xffffff62, 0xffffff7e,
913  0xffffff05, 0xffffff05, 0xffffff61, 0xffff8000,
914  0xffffff04, 0xffffff04, 0xffff7fe3, 0xffff7fff,
915  0xffffff03, 0xffff7f86, 0xffff7fe2, 0xffff7ffe,
916  0xffff7f85, 0xffff7f85, 0xffff7fe1, 0xccccccca,
917  0xffff7f84, 0xffff7f84, 0xccccccad, 0xaaaaaaa8,
918  0xffff7f83, 0xcccccc50, 0xaaaaaa8b, 0x80000000,
919  0xcccccc4f, 0xaaaaaa2e, 0x80000000, 0x80000000,
920  0xaaaaaa2d, 0x80000000, 0x80000000, 0x80000000,
921  0x80000000, 0x80000000, 0x80000000, 0x7ffffffd,
922  0x80000000, 0x80000000, 0x7fffffe0, 0x7ffffffc,
923  0x80000000, 0x7fffff83, 0x7fffffdf, 0x55555553,
924  0x7fffff82, 0x7fffff82, 0x55555536, 0x33333331,
925  0x7fffff81, 0x555554d9, 0x33333314, 0x00007ffd,
926  0x555554d8, 0x333332b7, 0x00007fe0, 0x00007ffc,
927  0x333332b6, 0x00007f83, 0x00007fdf, 0x00007ffb,
928  0x00007f82, 0x00007f82, 0x00007fde, 0x00007ffa,
929  0x00007f81, 0x00007f81, 0x00007fdd, 0x0000007d,
930  0x00007f80, 0x00007f80, 0x00000060, 0x0000007c,
931  0x00007f7f, 0x00000003, 0x0000005f, 0x0000007b,
932  0x00000002, 0x00000002, 0x0000005e, 0x0000007a,
933  0x00000001, 0x00000001, 0x0000005d, 0x0000001d,
934  0x00000000, 0x00000000, 0x00000000, 0x00000000,
935  0xffffffff, 0xffffffa3, 0xffffffe3, 0xffffffff,
936  0xffffffa2, 0xffffff86, 0xffffffe2, 0xfffffffe,
937  0xffffff86, 0xffffffe2, 0xfffffffe, 0xfffffffe,
938  0xffffff85, 0xffffffe1, 0xfffffffd, 0xfffffffd,
939  0xffffff84, 0xffffffe0, 0xfffffffc, 0xfffffffc,
940  0xffffff83, 0xffffffdf, 0xfffffffb, 0xffffffde,
941  0xffffff82, 0xffffffde, 0xffffffdd, 0xffffff81,
942  0xffffff81, 0xffffffc0, 0xffffff80, 0xffffff80,
943  0xffffff63, 0xffffff63, 0xffffff7f, 0xffffff7f,
944  0xffffff06, 0xffffff62, 0xffffff7e, 0xffff8001,
945  0xffffff05, 0xffffff61, 0xffff8000, 0xffff8000,
946  0xffffff04, 0xffff7fe3, 0xffff7fff, 0xffff7fff,
947  0xffff7f86, 0xffff7fe2, 0xffff7ffe, 0xcccccccb,
948  0xffff7f85, 0xffff7fe1, 0xccccccca, 0xaaaaaaa9,
949  0xffff7f84, 0xccccccad, 0xaaaaaaa8, 0x80000001,
950  0xcccccc50, 0xaaaaaa8b, 0x80000000, 0x80000000,
951  0xaaaaaa2e, 0x80000000, 0x80000000, 0x80000000,
952  0x80000000, 0x80000000, 0x80000000, 0x7ffffffe,
953  0x80000000, 0x80000000, 0x7ffffffd, 0x7ffffffd,
954  0x80000000, 0x7fffffe0, 0x7ffffffc, 0x55555554,
955  0x7fffff83, 0x7fffffdf, 0x55555553, 0x33333332,
956  0x7fffff82, 0x55555536, 0x33333331, 0x00007ffe,
957  0x555554d9, 0x33333314, 0x00007ffd, 0x00007ffd,
958  0x333332b7, 0x00007fe0, 0x00007ffc, 0x00007ffc,
959  0x00007f83, 0x00007fdf, 0x00007ffb, 0x00007ffb,
960  0x00007f82, 0x00007fde, 0x00007ffa, 0x0000007e,
961  0x00007f81, 0x00007fdd, 0x0000007d, 0x0000007d,
962  0x00007f80, 0x00000060, 0x0000007c, 0x0000007c,
963  0x00000003, 0x0000005f, 0x0000007b, 0x0000007b,
964  0x00000002, 0x0000005e, 0x0000007a, 0x0000001e,
965  0x00000001, 0x0000005d, 0x0000001d, 0x00000001,
966  0x00000000, 0x00000000, 0x00000000, 0x00000000,
967  0xffffffa3, 0xffffffe3, 0xffffffff, 0xffffffff,
968  0xffffffe3, 0xffffffff, 0xffffffff, 0xffffffff,
969  0xffffffe2, 0xfffffffe, 0xfffffffe, 0xfffffffe,
970  0xffffffe1, 0xfffffffd, 0xfffffffd, 0xfffffffd,
971  0xffffffe0, 0xfffffffc, 0xfffffffc, 0xffffffdf,
972  0xffffffdf, 0xfffffffb, 0xffffffde, 0xffffff82,
973  0xffffffde, 0xffffffdd, 0xffffff81, 0xffffff81,
974  0xffffffc0, 0xffffff80, 0xffffff80, 0xffffff80,
975  0xffffff63, 0xffffff7f, 0xffffff7f, 0xffff8002,
976  0xffffff62, 0xffffff7e, 0xffff8001, 0xffff8001,
977  0xffffff61, 0xffff8000, 0xffff8000, 0xffff8000,
978  0xffff7fe3, 0xffff7fff, 0xffff7fff, 0xcccccccc,
979  0xffff7fe2, 0xffff7ffe, 0xcccccccb, 0xaaaaaaaa,
980  0xffff7fe1, 0xccccccca, 0xaaaaaaa9, 0x80000002,
981  0xccccccad, 0xaaaaaaa8, 0x80000001, 0x80000001,
982  0xaaaaaa8b, 0x80000000, 0x80000000, 0x80000000,
983  0x80000000, 0x80000000, 0x80000000, 0x7fffffff,
984  0x80000000, 0x80000000, 0x7ffffffe, 0x7ffffffe,
985  0x80000000, 0x7ffffffd, 0x7ffffffd, 0x55555555,
986  0x7fffffe0, 0x7ffffffc, 0x55555554, 0x33333333,
987  0x7fffffdf, 0x55555553, 0x33333332, 0x00007fff,
988  0x55555536, 0x33333331, 0x00007ffe, 0x00007ffe,
989  0x33333314, 0x00007ffd, 0x00007ffd, 0x00007ffd,
990  0x00007fe0, 0x00007ffc, 0x00007ffc, 0x00007ffc,
991  0x00007fdf, 0x00007ffb, 0x00007ffb, 0x0000007f,
992  0x00007fde, 0x00007ffa, 0x0000007e, 0x0000007e,
993  0x00007fdd, 0x0000007d, 0x0000007d, 0x0000007d,
994  0x00000060, 0x0000007c, 0x0000007c, 0x0000007c,
995  0x0000005f, 0x0000007b, 0x0000007b, 0x0000001f,
996  0x0000005e, 0x0000007a, 0x0000001e, 0x00000002,
997  0x0000005d, 0x0000001d, 0x00000001, 0x00000001,
998  0x00000000, 0x00000000, 0x00000000, 0x00000000,
999};
1000const unsigned kExpectedCount_NEON_sqsub_4S = 961;
1001
1002#endif  // VIXL_SIM_SQSUB_4S_TRACE_AARCH64_H_
1003