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_SSHR_4S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SSHR_4S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_sshr_4S_2OPIMM[] = {
38  0xfffffffe, 0xffffffff, 0xffffffff, 0x00000000,
39  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
40  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
41  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
42  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
43  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
44  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
45  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
46  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
47  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
48  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
49  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
50  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
51  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
52  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
53  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
54  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
55  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
56  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
57  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
58  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
59  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
60  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
61  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
62  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
63  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
64  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
65  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
66  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
67  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
68  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
69  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
70  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
71  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
72  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
73  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
74  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
75  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
76  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
77  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
78  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
79  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
80  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
81  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
82  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
83  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
84  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
85  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
86  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
87  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
88  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
89  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
90  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
91  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
92  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
93  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
94  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
95  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
96  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
97  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
98  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
99  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
100  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
101  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
102  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
103  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
104  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
105  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
106  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
107  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
108  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
109  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
110  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
111  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
112  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
113  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
114  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
115  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
116  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
117  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
118  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
119  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
120  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
121  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
122  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
123  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
124  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
125  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
126  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
127  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
128  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
129  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
130  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
131  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
132  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
133  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
134  0x00000000, 0x00000000, 0x00000001, 0x00000010,
135  0x00000000, 0x00000000, 0x00000000, 0x00000008,
136  0x00000000, 0x00000000, 0x00000000, 0x00000004,
137  0x00000000, 0x00000000, 0x00000000, 0x00000002,
138  0x00000000, 0x00000000, 0x00000000, 0x00000001,
139  0x00000000, 0x00000000, 0x00000000, 0x00000000,
140  0x00000000, 0x00000000, 0x00000000, 0x00000000,
141  0x00000000, 0x00000000, 0x00000000, 0x00000000,
142  0x00000000, 0x00000000, 0x00000000, 0x00000000,
143  0x00000000, 0x00000000, 0x00000000, 0x00000000,
144  0x00000000, 0x00000000, 0x00000000, 0x00000000,
145  0x00000000, 0x00000000, 0x00000000, 0x00000000,
146  0x00000000, 0x00000000, 0x00000000, 0x00000000,
147  0x00000000, 0x00000000, 0x00000000, 0x00000000,
148  0x00000000, 0x00000000, 0x00000000, 0x00000000,
149  0x00000000, 0x00000000, 0x00000000, 0x00000000,
150  0x00000000, 0x00000000, 0x00000000, 0x00000000,
151  0x00000000, 0x00000000, 0x00000000, 0x00000000,
152  0x00000000, 0x00000000, 0x00000000, 0x00000000,
153  0x00000000, 0x00000000, 0x00000000, 0x00000000,
154  0x00000000, 0x00000000, 0x00000000, 0x00000000,
155  0x00000000, 0x00000000, 0x00000000, 0x00000000,
156  0x00000000, 0x00000000, 0x00000000, 0x00000000,
157  0x00000000, 0x00000000, 0x00000000, 0x00000000,
158  0x00000000, 0x00000000, 0x00000000, 0x00000000,
159  0x00000000, 0x00000000, 0x00000000, 0x00000000,
160  0x00000000, 0x00000000, 0x00000000, 0x00000000,
161  0x00000000, 0x00000000, 0x00000000, 0x00000000,
162  0x00000000, 0x00000000, 0x00000000, 0x00000000,
163  0x00000000, 0x00000000, 0x00000000, 0x00000000,
164  0x00000000, 0x00000000, 0x00000000, 0x00000000,
165  0x00000000, 0x00000000, 0x00000000, 0x00000000,
166  0x00000000, 0x00000001, 0x00000010, 0x0000003e,
167  0x00000000, 0x00000000, 0x00000008, 0x0000001f,
168  0x00000000, 0x00000000, 0x00000004, 0x0000000f,
169  0x00000000, 0x00000000, 0x00000002, 0x00000007,
170  0x00000000, 0x00000000, 0x00000001, 0x00000003,
171  0x00000000, 0x00000000, 0x00000000, 0x00000001,
172  0x00000000, 0x00000000, 0x00000000, 0x00000000,
173  0x00000000, 0x00000000, 0x00000000, 0x00000000,
174  0x00000000, 0x00000000, 0x00000000, 0x00000000,
175  0x00000000, 0x00000000, 0x00000000, 0x00000000,
176  0x00000000, 0x00000000, 0x00000000, 0x00000000,
177  0x00000000, 0x00000000, 0x00000000, 0x00000000,
178  0x00000000, 0x00000000, 0x00000000, 0x00000000,
179  0x00000000, 0x00000000, 0x00000000, 0x00000000,
180  0x00000000, 0x00000000, 0x00000000, 0x00000000,
181  0x00000000, 0x00000000, 0x00000000, 0x00000000,
182  0x00000000, 0x00000000, 0x00000000, 0x00000000,
183  0x00000000, 0x00000000, 0x00000000, 0x00000000,
184  0x00000000, 0x00000000, 0x00000000, 0x00000000,
185  0x00000000, 0x00000000, 0x00000000, 0x00000000,
186  0x00000000, 0x00000000, 0x00000000, 0x00000000,
187  0x00000000, 0x00000000, 0x00000000, 0x00000000,
188  0x00000000, 0x00000000, 0x00000000, 0x00000000,
189  0x00000000, 0x00000000, 0x00000000, 0x00000000,
190  0x00000000, 0x00000000, 0x00000000, 0x00000000,
191  0x00000000, 0x00000000, 0x00000000, 0x00000000,
192  0x00000000, 0x00000000, 0x00000000, 0x00000000,
193  0x00000000, 0x00000000, 0x00000000, 0x00000000,
194  0x00000000, 0x00000000, 0x00000000, 0x00000000,
195  0x00000000, 0x00000000, 0x00000000, 0x00000000,
196  0x00000000, 0x00000000, 0x00000000, 0x00000000,
197  0x00000000, 0x00000000, 0x00000000, 0x00000000,
198  0x00000001, 0x00000010, 0x0000003e, 0x0000003f,
199  0x00000000, 0x00000008, 0x0000001f, 0x0000001f,
200  0x00000000, 0x00000004, 0x0000000f, 0x0000000f,
201  0x00000000, 0x00000002, 0x00000007, 0x00000007,
202  0x00000000, 0x00000001, 0x00000003, 0x00000003,
203  0x00000000, 0x00000000, 0x00000001, 0x00000001,
204  0x00000000, 0x00000000, 0x00000000, 0x00000000,
205  0x00000000, 0x00000000, 0x00000000, 0x00000000,
206  0x00000000, 0x00000000, 0x00000000, 0x00000000,
207  0x00000000, 0x00000000, 0x00000000, 0x00000000,
208  0x00000000, 0x00000000, 0x00000000, 0x00000000,
209  0x00000000, 0x00000000, 0x00000000, 0x00000000,
210  0x00000000, 0x00000000, 0x00000000, 0x00000000,
211  0x00000000, 0x00000000, 0x00000000, 0x00000000,
212  0x00000000, 0x00000000, 0x00000000, 0x00000000,
213  0x00000000, 0x00000000, 0x00000000, 0x00000000,
214  0x00000000, 0x00000000, 0x00000000, 0x00000000,
215  0x00000000, 0x00000000, 0x00000000, 0x00000000,
216  0x00000000, 0x00000000, 0x00000000, 0x00000000,
217  0x00000000, 0x00000000, 0x00000000, 0x00000000,
218  0x00000000, 0x00000000, 0x00000000, 0x00000000,
219  0x00000000, 0x00000000, 0x00000000, 0x00000000,
220  0x00000000, 0x00000000, 0x00000000, 0x00000000,
221  0x00000000, 0x00000000, 0x00000000, 0x00000000,
222  0x00000000, 0x00000000, 0x00000000, 0x00000000,
223  0x00000000, 0x00000000, 0x00000000, 0x00000000,
224  0x00000000, 0x00000000, 0x00000000, 0x00000000,
225  0x00000000, 0x00000000, 0x00000000, 0x00000000,
226  0x00000000, 0x00000000, 0x00000000, 0x00000000,
227  0x00000000, 0x00000000, 0x00000000, 0x00000000,
228  0x00000000, 0x00000000, 0x00000000, 0x00000000,
229  0x00000000, 0x00000000, 0x00000000, 0x00000000,
230  0x00000010, 0x0000003e, 0x0000003f, 0x0000003f,
231  0x00000008, 0x0000001f, 0x0000001f, 0x0000001f,
232  0x00000004, 0x0000000f, 0x0000000f, 0x0000000f,
233  0x00000002, 0x00000007, 0x00000007, 0x00000007,
234  0x00000001, 0x00000003, 0x00000003, 0x00000003,
235  0x00000000, 0x00000001, 0x00000001, 0x00000001,
236  0x00000000, 0x00000000, 0x00000000, 0x00000000,
237  0x00000000, 0x00000000, 0x00000000, 0x00000000,
238  0x00000000, 0x00000000, 0x00000000, 0x00000000,
239  0x00000000, 0x00000000, 0x00000000, 0x00000000,
240  0x00000000, 0x00000000, 0x00000000, 0x00000000,
241  0x00000000, 0x00000000, 0x00000000, 0x00000000,
242  0x00000000, 0x00000000, 0x00000000, 0x00000000,
243  0x00000000, 0x00000000, 0x00000000, 0x00000000,
244  0x00000000, 0x00000000, 0x00000000, 0x00000000,
245  0x00000000, 0x00000000, 0x00000000, 0x00000000,
246  0x00000000, 0x00000000, 0x00000000, 0x00000000,
247  0x00000000, 0x00000000, 0x00000000, 0x00000000,
248  0x00000000, 0x00000000, 0x00000000, 0x00000000,
249  0x00000000, 0x00000000, 0x00000000, 0x00000000,
250  0x00000000, 0x00000000, 0x00000000, 0x00000000,
251  0x00000000, 0x00000000, 0x00000000, 0x00000000,
252  0x00000000, 0x00000000, 0x00000000, 0x00000000,
253  0x00000000, 0x00000000, 0x00000000, 0x00000000,
254  0x00000000, 0x00000000, 0x00000000, 0x00000000,
255  0x00000000, 0x00000000, 0x00000000, 0x00000000,
256  0x00000000, 0x00000000, 0x00000000, 0x00000000,
257  0x00000000, 0x00000000, 0x00000000, 0x00000000,
258  0x00000000, 0x00000000, 0x00000000, 0x00000000,
259  0x00000000, 0x00000000, 0x00000000, 0x00000000,
260  0x00000000, 0x00000000, 0x00000000, 0x00000000,
261  0x00000000, 0x00000000, 0x00000000, 0x00000000,
262  0x0000003e, 0x0000003f, 0x0000003f, 0x00003ffe,
263  0x0000001f, 0x0000001f, 0x0000001f, 0x00001fff,
264  0x0000000f, 0x0000000f, 0x0000000f, 0x00000fff,
265  0x00000007, 0x00000007, 0x00000007, 0x000007ff,
266  0x00000003, 0x00000003, 0x00000003, 0x000003ff,
267  0x00000001, 0x00000001, 0x00000001, 0x000001ff,
268  0x00000000, 0x00000000, 0x00000000, 0x000000ff,
269  0x00000000, 0x00000000, 0x00000000, 0x0000007f,
270  0x00000000, 0x00000000, 0x00000000, 0x0000003f,
271  0x00000000, 0x00000000, 0x00000000, 0x0000001f,
272  0x00000000, 0x00000000, 0x00000000, 0x0000000f,
273  0x00000000, 0x00000000, 0x00000000, 0x00000007,
274  0x00000000, 0x00000000, 0x00000000, 0x00000003,
275  0x00000000, 0x00000000, 0x00000000, 0x00000001,
276  0x00000000, 0x00000000, 0x00000000, 0x00000000,
277  0x00000000, 0x00000000, 0x00000000, 0x00000000,
278  0x00000000, 0x00000000, 0x00000000, 0x00000000,
279  0x00000000, 0x00000000, 0x00000000, 0x00000000,
280  0x00000000, 0x00000000, 0x00000000, 0x00000000,
281  0x00000000, 0x00000000, 0x00000000, 0x00000000,
282  0x00000000, 0x00000000, 0x00000000, 0x00000000,
283  0x00000000, 0x00000000, 0x00000000, 0x00000000,
284  0x00000000, 0x00000000, 0x00000000, 0x00000000,
285  0x00000000, 0x00000000, 0x00000000, 0x00000000,
286  0x00000000, 0x00000000, 0x00000000, 0x00000000,
287  0x00000000, 0x00000000, 0x00000000, 0x00000000,
288  0x00000000, 0x00000000, 0x00000000, 0x00000000,
289  0x00000000, 0x00000000, 0x00000000, 0x00000000,
290  0x00000000, 0x00000000, 0x00000000, 0x00000000,
291  0x00000000, 0x00000000, 0x00000000, 0x00000000,
292  0x00000000, 0x00000000, 0x00000000, 0x00000000,
293  0x00000000, 0x00000000, 0x00000000, 0x00000000,
294  0x0000003f, 0x0000003f, 0x00003ffe, 0x00003fff,
295  0x0000001f, 0x0000001f, 0x00001fff, 0x00001fff,
296  0x0000000f, 0x0000000f, 0x00000fff, 0x00000fff,
297  0x00000007, 0x00000007, 0x000007ff, 0x000007ff,
298  0x00000003, 0x00000003, 0x000003ff, 0x000003ff,
299  0x00000001, 0x00000001, 0x000001ff, 0x000001ff,
300  0x00000000, 0x00000000, 0x000000ff, 0x000000ff,
301  0x00000000, 0x00000000, 0x0000007f, 0x0000007f,
302  0x00000000, 0x00000000, 0x0000003f, 0x0000003f,
303  0x00000000, 0x00000000, 0x0000001f, 0x0000001f,
304  0x00000000, 0x00000000, 0x0000000f, 0x0000000f,
305  0x00000000, 0x00000000, 0x00000007, 0x00000007,
306  0x00000000, 0x00000000, 0x00000003, 0x00000003,
307  0x00000000, 0x00000000, 0x00000001, 0x00000001,
308  0x00000000, 0x00000000, 0x00000000, 0x00000000,
309  0x00000000, 0x00000000, 0x00000000, 0x00000000,
310  0x00000000, 0x00000000, 0x00000000, 0x00000000,
311  0x00000000, 0x00000000, 0x00000000, 0x00000000,
312  0x00000000, 0x00000000, 0x00000000, 0x00000000,
313  0x00000000, 0x00000000, 0x00000000, 0x00000000,
314  0x00000000, 0x00000000, 0x00000000, 0x00000000,
315  0x00000000, 0x00000000, 0x00000000, 0x00000000,
316  0x00000000, 0x00000000, 0x00000000, 0x00000000,
317  0x00000000, 0x00000000, 0x00000000, 0x00000000,
318  0x00000000, 0x00000000, 0x00000000, 0x00000000,
319  0x00000000, 0x00000000, 0x00000000, 0x00000000,
320  0x00000000, 0x00000000, 0x00000000, 0x00000000,
321  0x00000000, 0x00000000, 0x00000000, 0x00000000,
322  0x00000000, 0x00000000, 0x00000000, 0x00000000,
323  0x00000000, 0x00000000, 0x00000000, 0x00000000,
324  0x00000000, 0x00000000, 0x00000000, 0x00000000,
325  0x00000000, 0x00000000, 0x00000000, 0x00000000,
326  0x0000003f, 0x00003ffe, 0x00003fff, 0x00003fff,
327  0x0000001f, 0x00001fff, 0x00001fff, 0x00001fff,
328  0x0000000f, 0x00000fff, 0x00000fff, 0x00000fff,
329  0x00000007, 0x000007ff, 0x000007ff, 0x000007ff,
330  0x00000003, 0x000003ff, 0x000003ff, 0x000003ff,
331  0x00000001, 0x000001ff, 0x000001ff, 0x000001ff,
332  0x00000000, 0x000000ff, 0x000000ff, 0x000000ff,
333  0x00000000, 0x0000007f, 0x0000007f, 0x0000007f,
334  0x00000000, 0x0000003f, 0x0000003f, 0x0000003f,
335  0x00000000, 0x0000001f, 0x0000001f, 0x0000001f,
336  0x00000000, 0x0000000f, 0x0000000f, 0x0000000f,
337  0x00000000, 0x00000007, 0x00000007, 0x00000007,
338  0x00000000, 0x00000003, 0x00000003, 0x00000003,
339  0x00000000, 0x00000001, 0x00000001, 0x00000001,
340  0x00000000, 0x00000000, 0x00000000, 0x00000000,
341  0x00000000, 0x00000000, 0x00000000, 0x00000000,
342  0x00000000, 0x00000000, 0x00000000, 0x00000000,
343  0x00000000, 0x00000000, 0x00000000, 0x00000000,
344  0x00000000, 0x00000000, 0x00000000, 0x00000000,
345  0x00000000, 0x00000000, 0x00000000, 0x00000000,
346  0x00000000, 0x00000000, 0x00000000, 0x00000000,
347  0x00000000, 0x00000000, 0x00000000, 0x00000000,
348  0x00000000, 0x00000000, 0x00000000, 0x00000000,
349  0x00000000, 0x00000000, 0x00000000, 0x00000000,
350  0x00000000, 0x00000000, 0x00000000, 0x00000000,
351  0x00000000, 0x00000000, 0x00000000, 0x00000000,
352  0x00000000, 0x00000000, 0x00000000, 0x00000000,
353  0x00000000, 0x00000000, 0x00000000, 0x00000000,
354  0x00000000, 0x00000000, 0x00000000, 0x00000000,
355  0x00000000, 0x00000000, 0x00000000, 0x00000000,
356  0x00000000, 0x00000000, 0x00000000, 0x00000000,
357  0x00000000, 0x00000000, 0x00000000, 0x00000000,
358  0x00003ffe, 0x00003fff, 0x00003fff, 0x19999999,
359  0x00001fff, 0x00001fff, 0x00001fff, 0x0ccccccc,
360  0x00000fff, 0x00000fff, 0x00000fff, 0x06666666,
361  0x000007ff, 0x000007ff, 0x000007ff, 0x03333333,
362  0x000003ff, 0x000003ff, 0x000003ff, 0x01999999,
363  0x000001ff, 0x000001ff, 0x000001ff, 0x00cccccc,
364  0x000000ff, 0x000000ff, 0x000000ff, 0x00666666,
365  0x0000007f, 0x0000007f, 0x0000007f, 0x00333333,
366  0x0000003f, 0x0000003f, 0x0000003f, 0x00199999,
367  0x0000001f, 0x0000001f, 0x0000001f, 0x000ccccc,
368  0x0000000f, 0x0000000f, 0x0000000f, 0x00066666,
369  0x00000007, 0x00000007, 0x00000007, 0x00033333,
370  0x00000003, 0x00000003, 0x00000003, 0x00019999,
371  0x00000001, 0x00000001, 0x00000001, 0x0000cccc,
372  0x00000000, 0x00000000, 0x00000000, 0x00006666,
373  0x00000000, 0x00000000, 0x00000000, 0x00003333,
374  0x00000000, 0x00000000, 0x00000000, 0x00001999,
375  0x00000000, 0x00000000, 0x00000000, 0x00000ccc,
376  0x00000000, 0x00000000, 0x00000000, 0x00000666,
377  0x00000000, 0x00000000, 0x00000000, 0x00000333,
378  0x00000000, 0x00000000, 0x00000000, 0x00000199,
379  0x00000000, 0x00000000, 0x00000000, 0x000000cc,
380  0x00000000, 0x00000000, 0x00000000, 0x00000066,
381  0x00000000, 0x00000000, 0x00000000, 0x00000033,
382  0x00000000, 0x00000000, 0x00000000, 0x00000019,
383  0x00000000, 0x00000000, 0x00000000, 0x0000000c,
384  0x00000000, 0x00000000, 0x00000000, 0x00000006,
385  0x00000000, 0x00000000, 0x00000000, 0x00000003,
386  0x00000000, 0x00000000, 0x00000000, 0x00000001,
387  0x00000000, 0x00000000, 0x00000000, 0x00000000,
388  0x00000000, 0x00000000, 0x00000000, 0x00000000,
389  0x00000000, 0x00000000, 0x00000000, 0x00000000,
390  0x00003fff, 0x00003fff, 0x19999999, 0x2aaaaaaa,
391  0x00001fff, 0x00001fff, 0x0ccccccc, 0x15555555,
392  0x00000fff, 0x00000fff, 0x06666666, 0x0aaaaaaa,
393  0x000007ff, 0x000007ff, 0x03333333, 0x05555555,
394  0x000003ff, 0x000003ff, 0x01999999, 0x02aaaaaa,
395  0x000001ff, 0x000001ff, 0x00cccccc, 0x01555555,
396  0x000000ff, 0x000000ff, 0x00666666, 0x00aaaaaa,
397  0x0000007f, 0x0000007f, 0x00333333, 0x00555555,
398  0x0000003f, 0x0000003f, 0x00199999, 0x002aaaaa,
399  0x0000001f, 0x0000001f, 0x000ccccc, 0x00155555,
400  0x0000000f, 0x0000000f, 0x00066666, 0x000aaaaa,
401  0x00000007, 0x00000007, 0x00033333, 0x00055555,
402  0x00000003, 0x00000003, 0x00019999, 0x0002aaaa,
403  0x00000001, 0x00000001, 0x0000cccc, 0x00015555,
404  0x00000000, 0x00000000, 0x00006666, 0x0000aaaa,
405  0x00000000, 0x00000000, 0x00003333, 0x00005555,
406  0x00000000, 0x00000000, 0x00001999, 0x00002aaa,
407  0x00000000, 0x00000000, 0x00000ccc, 0x00001555,
408  0x00000000, 0x00000000, 0x00000666, 0x00000aaa,
409  0x00000000, 0x00000000, 0x00000333, 0x00000555,
410  0x00000000, 0x00000000, 0x00000199, 0x000002aa,
411  0x00000000, 0x00000000, 0x000000cc, 0x00000155,
412  0x00000000, 0x00000000, 0x00000066, 0x000000aa,
413  0x00000000, 0x00000000, 0x00000033, 0x00000055,
414  0x00000000, 0x00000000, 0x00000019, 0x0000002a,
415  0x00000000, 0x00000000, 0x0000000c, 0x00000015,
416  0x00000000, 0x00000000, 0x00000006, 0x0000000a,
417  0x00000000, 0x00000000, 0x00000003, 0x00000005,
418  0x00000000, 0x00000000, 0x00000001, 0x00000002,
419  0x00000000, 0x00000000, 0x00000000, 0x00000001,
420  0x00000000, 0x00000000, 0x00000000, 0x00000000,
421  0x00000000, 0x00000000, 0x00000000, 0x00000000,
422  0x00003fff, 0x19999999, 0x2aaaaaaa, 0x3ffffffe,
423  0x00001fff, 0x0ccccccc, 0x15555555, 0x1fffffff,
424  0x00000fff, 0x06666666, 0x0aaaaaaa, 0x0fffffff,
425  0x000007ff, 0x03333333, 0x05555555, 0x07ffffff,
426  0x000003ff, 0x01999999, 0x02aaaaaa, 0x03ffffff,
427  0x000001ff, 0x00cccccc, 0x01555555, 0x01ffffff,
428  0x000000ff, 0x00666666, 0x00aaaaaa, 0x00ffffff,
429  0x0000007f, 0x00333333, 0x00555555, 0x007fffff,
430  0x0000003f, 0x00199999, 0x002aaaaa, 0x003fffff,
431  0x0000001f, 0x000ccccc, 0x00155555, 0x001fffff,
432  0x0000000f, 0x00066666, 0x000aaaaa, 0x000fffff,
433  0x00000007, 0x00033333, 0x00055555, 0x0007ffff,
434  0x00000003, 0x00019999, 0x0002aaaa, 0x0003ffff,
435  0x00000001, 0x0000cccc, 0x00015555, 0x0001ffff,
436  0x00000000, 0x00006666, 0x0000aaaa, 0x0000ffff,
437  0x00000000, 0x00003333, 0x00005555, 0x00007fff,
438  0x00000000, 0x00001999, 0x00002aaa, 0x00003fff,
439  0x00000000, 0x00000ccc, 0x00001555, 0x00001fff,
440  0x00000000, 0x00000666, 0x00000aaa, 0x00000fff,
441  0x00000000, 0x00000333, 0x00000555, 0x000007ff,
442  0x00000000, 0x00000199, 0x000002aa, 0x000003ff,
443  0x00000000, 0x000000cc, 0x00000155, 0x000001ff,
444  0x00000000, 0x00000066, 0x000000aa, 0x000000ff,
445  0x00000000, 0x00000033, 0x00000055, 0x0000007f,
446  0x00000000, 0x00000019, 0x0000002a, 0x0000003f,
447  0x00000000, 0x0000000c, 0x00000015, 0x0000001f,
448  0x00000000, 0x00000006, 0x0000000a, 0x0000000f,
449  0x00000000, 0x00000003, 0x00000005, 0x00000007,
450  0x00000000, 0x00000001, 0x00000002, 0x00000003,
451  0x00000000, 0x00000000, 0x00000001, 0x00000001,
452  0x00000000, 0x00000000, 0x00000000, 0x00000000,
453  0x00000000, 0x00000000, 0x00000000, 0x00000000,
454  0x19999999, 0x2aaaaaaa, 0x3ffffffe, 0x3fffffff,
455  0x0ccccccc, 0x15555555, 0x1fffffff, 0x1fffffff,
456  0x06666666, 0x0aaaaaaa, 0x0fffffff, 0x0fffffff,
457  0x03333333, 0x05555555, 0x07ffffff, 0x07ffffff,
458  0x01999999, 0x02aaaaaa, 0x03ffffff, 0x03ffffff,
459  0x00cccccc, 0x01555555, 0x01ffffff, 0x01ffffff,
460  0x00666666, 0x00aaaaaa, 0x00ffffff, 0x00ffffff,
461  0x00333333, 0x00555555, 0x007fffff, 0x007fffff,
462  0x00199999, 0x002aaaaa, 0x003fffff, 0x003fffff,
463  0x000ccccc, 0x00155555, 0x001fffff, 0x001fffff,
464  0x00066666, 0x000aaaaa, 0x000fffff, 0x000fffff,
465  0x00033333, 0x00055555, 0x0007ffff, 0x0007ffff,
466  0x00019999, 0x0002aaaa, 0x0003ffff, 0x0003ffff,
467  0x0000cccc, 0x00015555, 0x0001ffff, 0x0001ffff,
468  0x00006666, 0x0000aaaa, 0x0000ffff, 0x0000ffff,
469  0x00003333, 0x00005555, 0x00007fff, 0x00007fff,
470  0x00001999, 0x00002aaa, 0x00003fff, 0x00003fff,
471  0x00000ccc, 0x00001555, 0x00001fff, 0x00001fff,
472  0x00000666, 0x00000aaa, 0x00000fff, 0x00000fff,
473  0x00000333, 0x00000555, 0x000007ff, 0x000007ff,
474  0x00000199, 0x000002aa, 0x000003ff, 0x000003ff,
475  0x000000cc, 0x00000155, 0x000001ff, 0x000001ff,
476  0x00000066, 0x000000aa, 0x000000ff, 0x000000ff,
477  0x00000033, 0x00000055, 0x0000007f, 0x0000007f,
478  0x00000019, 0x0000002a, 0x0000003f, 0x0000003f,
479  0x0000000c, 0x00000015, 0x0000001f, 0x0000001f,
480  0x00000006, 0x0000000a, 0x0000000f, 0x0000000f,
481  0x00000003, 0x00000005, 0x00000007, 0x00000007,
482  0x00000001, 0x00000002, 0x00000003, 0x00000003,
483  0x00000000, 0x00000001, 0x00000001, 0x00000001,
484  0x00000000, 0x00000000, 0x00000000, 0x00000000,
485  0x00000000, 0x00000000, 0x00000000, 0x00000000,
486  0x2aaaaaaa, 0x3ffffffe, 0x3fffffff, 0x3fffffff,
487  0x15555555, 0x1fffffff, 0x1fffffff, 0x1fffffff,
488  0x0aaaaaaa, 0x0fffffff, 0x0fffffff, 0x0fffffff,
489  0x05555555, 0x07ffffff, 0x07ffffff, 0x07ffffff,
490  0x02aaaaaa, 0x03ffffff, 0x03ffffff, 0x03ffffff,
491  0x01555555, 0x01ffffff, 0x01ffffff, 0x01ffffff,
492  0x00aaaaaa, 0x00ffffff, 0x00ffffff, 0x00ffffff,
493  0x00555555, 0x007fffff, 0x007fffff, 0x007fffff,
494  0x002aaaaa, 0x003fffff, 0x003fffff, 0x003fffff,
495  0x00155555, 0x001fffff, 0x001fffff, 0x001fffff,
496  0x000aaaaa, 0x000fffff, 0x000fffff, 0x000fffff,
497  0x00055555, 0x0007ffff, 0x0007ffff, 0x0007ffff,
498  0x0002aaaa, 0x0003ffff, 0x0003ffff, 0x0003ffff,
499  0x00015555, 0x0001ffff, 0x0001ffff, 0x0001ffff,
500  0x0000aaaa, 0x0000ffff, 0x0000ffff, 0x0000ffff,
501  0x00005555, 0x00007fff, 0x00007fff, 0x00007fff,
502  0x00002aaa, 0x00003fff, 0x00003fff, 0x00003fff,
503  0x00001555, 0x00001fff, 0x00001fff, 0x00001fff,
504  0x00000aaa, 0x00000fff, 0x00000fff, 0x00000fff,
505  0x00000555, 0x000007ff, 0x000007ff, 0x000007ff,
506  0x000002aa, 0x000003ff, 0x000003ff, 0x000003ff,
507  0x00000155, 0x000001ff, 0x000001ff, 0x000001ff,
508  0x000000aa, 0x000000ff, 0x000000ff, 0x000000ff,
509  0x00000055, 0x0000007f, 0x0000007f, 0x0000007f,
510  0x0000002a, 0x0000003f, 0x0000003f, 0x0000003f,
511  0x00000015, 0x0000001f, 0x0000001f, 0x0000001f,
512  0x0000000a, 0x0000000f, 0x0000000f, 0x0000000f,
513  0x00000005, 0x00000007, 0x00000007, 0x00000007,
514  0x00000002, 0x00000003, 0x00000003, 0x00000003,
515  0x00000001, 0x00000001, 0x00000001, 0x00000001,
516  0x00000000, 0x00000000, 0x00000000, 0x00000000,
517  0x00000000, 0x00000000, 0x00000000, 0x00000000,
518  0x3ffffffe, 0x3fffffff, 0x3fffffff, 0xc0000000,
519  0x1fffffff, 0x1fffffff, 0x1fffffff, 0xe0000000,
520  0x0fffffff, 0x0fffffff, 0x0fffffff, 0xf0000000,
521  0x07ffffff, 0x07ffffff, 0x07ffffff, 0xf8000000,
522  0x03ffffff, 0x03ffffff, 0x03ffffff, 0xfc000000,
523  0x01ffffff, 0x01ffffff, 0x01ffffff, 0xfe000000,
524  0x00ffffff, 0x00ffffff, 0x00ffffff, 0xff000000,
525  0x007fffff, 0x007fffff, 0x007fffff, 0xff800000,
526  0x003fffff, 0x003fffff, 0x003fffff, 0xffc00000,
527  0x001fffff, 0x001fffff, 0x001fffff, 0xffe00000,
528  0x000fffff, 0x000fffff, 0x000fffff, 0xfff00000,
529  0x0007ffff, 0x0007ffff, 0x0007ffff, 0xfff80000,
530  0x0003ffff, 0x0003ffff, 0x0003ffff, 0xfffc0000,
531  0x0001ffff, 0x0001ffff, 0x0001ffff, 0xfffe0000,
532  0x0000ffff, 0x0000ffff, 0x0000ffff, 0xffff0000,
533  0x00007fff, 0x00007fff, 0x00007fff, 0xffff8000,
534  0x00003fff, 0x00003fff, 0x00003fff, 0xffffc000,
535  0x00001fff, 0x00001fff, 0x00001fff, 0xffffe000,
536  0x00000fff, 0x00000fff, 0x00000fff, 0xfffff000,
537  0x000007ff, 0x000007ff, 0x000007ff, 0xfffff800,
538  0x000003ff, 0x000003ff, 0x000003ff, 0xfffffc00,
539  0x000001ff, 0x000001ff, 0x000001ff, 0xfffffe00,
540  0x000000ff, 0x000000ff, 0x000000ff, 0xffffff00,
541  0x0000007f, 0x0000007f, 0x0000007f, 0xffffff80,
542  0x0000003f, 0x0000003f, 0x0000003f, 0xffffffc0,
543  0x0000001f, 0x0000001f, 0x0000001f, 0xffffffe0,
544  0x0000000f, 0x0000000f, 0x0000000f, 0xfffffff0,
545  0x00000007, 0x00000007, 0x00000007, 0xfffffff8,
546  0x00000003, 0x00000003, 0x00000003, 0xfffffffc,
547  0x00000001, 0x00000001, 0x00000001, 0xfffffffe,
548  0x00000000, 0x00000000, 0x00000000, 0xffffffff,
549  0x00000000, 0x00000000, 0x00000000, 0xffffffff,
550  0x3fffffff, 0x3fffffff, 0xc0000000, 0xc0000000,
551  0x1fffffff, 0x1fffffff, 0xe0000000, 0xe0000000,
552  0x0fffffff, 0x0fffffff, 0xf0000000, 0xf0000000,
553  0x07ffffff, 0x07ffffff, 0xf8000000, 0xf8000000,
554  0x03ffffff, 0x03ffffff, 0xfc000000, 0xfc000000,
555  0x01ffffff, 0x01ffffff, 0xfe000000, 0xfe000000,
556  0x00ffffff, 0x00ffffff, 0xff000000, 0xff000000,
557  0x007fffff, 0x007fffff, 0xff800000, 0xff800000,
558  0x003fffff, 0x003fffff, 0xffc00000, 0xffc00000,
559  0x001fffff, 0x001fffff, 0xffe00000, 0xffe00000,
560  0x000fffff, 0x000fffff, 0xfff00000, 0xfff00000,
561  0x0007ffff, 0x0007ffff, 0xfff80000, 0xfff80000,
562  0x0003ffff, 0x0003ffff, 0xfffc0000, 0xfffc0000,
563  0x0001ffff, 0x0001ffff, 0xfffe0000, 0xfffe0000,
564  0x0000ffff, 0x0000ffff, 0xffff0000, 0xffff0000,
565  0x00007fff, 0x00007fff, 0xffff8000, 0xffff8000,
566  0x00003fff, 0x00003fff, 0xffffc000, 0xffffc000,
567  0x00001fff, 0x00001fff, 0xffffe000, 0xffffe000,
568  0x00000fff, 0x00000fff, 0xfffff000, 0xfffff000,
569  0x000007ff, 0x000007ff, 0xfffff800, 0xfffff800,
570  0x000003ff, 0x000003ff, 0xfffffc00, 0xfffffc00,
571  0x000001ff, 0x000001ff, 0xfffffe00, 0xfffffe00,
572  0x000000ff, 0x000000ff, 0xffffff00, 0xffffff00,
573  0x0000007f, 0x0000007f, 0xffffff80, 0xffffff80,
574  0x0000003f, 0x0000003f, 0xffffffc0, 0xffffffc0,
575  0x0000001f, 0x0000001f, 0xffffffe0, 0xffffffe0,
576  0x0000000f, 0x0000000f, 0xfffffff0, 0xfffffff0,
577  0x00000007, 0x00000007, 0xfffffff8, 0xfffffff8,
578  0x00000003, 0x00000003, 0xfffffffc, 0xfffffffc,
579  0x00000001, 0x00000001, 0xfffffffe, 0xfffffffe,
580  0x00000000, 0x00000000, 0xffffffff, 0xffffffff,
581  0x00000000, 0x00000000, 0xffffffff, 0xffffffff,
582  0x3fffffff, 0xc0000000, 0xc0000000, 0xd5555555,
583  0x1fffffff, 0xe0000000, 0xe0000000, 0xeaaaaaaa,
584  0x0fffffff, 0xf0000000, 0xf0000000, 0xf5555555,
585  0x07ffffff, 0xf8000000, 0xf8000000, 0xfaaaaaaa,
586  0x03ffffff, 0xfc000000, 0xfc000000, 0xfd555555,
587  0x01ffffff, 0xfe000000, 0xfe000000, 0xfeaaaaaa,
588  0x00ffffff, 0xff000000, 0xff000000, 0xff555555,
589  0x007fffff, 0xff800000, 0xff800000, 0xffaaaaaa,
590  0x003fffff, 0xffc00000, 0xffc00000, 0xffd55555,
591  0x001fffff, 0xffe00000, 0xffe00000, 0xffeaaaaa,
592  0x000fffff, 0xfff00000, 0xfff00000, 0xfff55555,
593  0x0007ffff, 0xfff80000, 0xfff80000, 0xfffaaaaa,
594  0x0003ffff, 0xfffc0000, 0xfffc0000, 0xfffd5555,
595  0x0001ffff, 0xfffe0000, 0xfffe0000, 0xfffeaaaa,
596  0x0000ffff, 0xffff0000, 0xffff0000, 0xffff5555,
597  0x00007fff, 0xffff8000, 0xffff8000, 0xffffaaaa,
598  0x00003fff, 0xffffc000, 0xffffc000, 0xffffd555,
599  0x00001fff, 0xffffe000, 0xffffe000, 0xffffeaaa,
600  0x00000fff, 0xfffff000, 0xfffff000, 0xfffff555,
601  0x000007ff, 0xfffff800, 0xfffff800, 0xfffffaaa,
602  0x000003ff, 0xfffffc00, 0xfffffc00, 0xfffffd55,
603  0x000001ff, 0xfffffe00, 0xfffffe00, 0xfffffeaa,
604  0x000000ff, 0xffffff00, 0xffffff00, 0xffffff55,
605  0x0000007f, 0xffffff80, 0xffffff80, 0xffffffaa,
606  0x0000003f, 0xffffffc0, 0xffffffc0, 0xffffffd5,
607  0x0000001f, 0xffffffe0, 0xffffffe0, 0xffffffea,
608  0x0000000f, 0xfffffff0, 0xfffffff0, 0xfffffff5,
609  0x00000007, 0xfffffff8, 0xfffffff8, 0xfffffffa,
610  0x00000003, 0xfffffffc, 0xfffffffc, 0xfffffffd,
611  0x00000001, 0xfffffffe, 0xfffffffe, 0xfffffffe,
612  0x00000000, 0xffffffff, 0xffffffff, 0xffffffff,
613  0x00000000, 0xffffffff, 0xffffffff, 0xffffffff,
614  0xc0000000, 0xc0000000, 0xd5555555, 0xe6666666,
615  0xe0000000, 0xe0000000, 0xeaaaaaaa, 0xf3333333,
616  0xf0000000, 0xf0000000, 0xf5555555, 0xf9999999,
617  0xf8000000, 0xf8000000, 0xfaaaaaaa, 0xfccccccc,
618  0xfc000000, 0xfc000000, 0xfd555555, 0xfe666666,
619  0xfe000000, 0xfe000000, 0xfeaaaaaa, 0xff333333,
620  0xff000000, 0xff000000, 0xff555555, 0xff999999,
621  0xff800000, 0xff800000, 0xffaaaaaa, 0xffcccccc,
622  0xffc00000, 0xffc00000, 0xffd55555, 0xffe66666,
623  0xffe00000, 0xffe00000, 0xffeaaaaa, 0xfff33333,
624  0xfff00000, 0xfff00000, 0xfff55555, 0xfff99999,
625  0xfff80000, 0xfff80000, 0xfffaaaaa, 0xfffccccc,
626  0xfffc0000, 0xfffc0000, 0xfffd5555, 0xfffe6666,
627  0xfffe0000, 0xfffe0000, 0xfffeaaaa, 0xffff3333,
628  0xffff0000, 0xffff0000, 0xffff5555, 0xffff9999,
629  0xffff8000, 0xffff8000, 0xffffaaaa, 0xffffcccc,
630  0xffffc000, 0xffffc000, 0xffffd555, 0xffffe666,
631  0xffffe000, 0xffffe000, 0xffffeaaa, 0xfffff333,
632  0xfffff000, 0xfffff000, 0xfffff555, 0xfffff999,
633  0xfffff800, 0xfffff800, 0xfffffaaa, 0xfffffccc,
634  0xfffffc00, 0xfffffc00, 0xfffffd55, 0xfffffe66,
635  0xfffffe00, 0xfffffe00, 0xfffffeaa, 0xffffff33,
636  0xffffff00, 0xffffff00, 0xffffff55, 0xffffff99,
637  0xffffff80, 0xffffff80, 0xffffffaa, 0xffffffcc,
638  0xffffffc0, 0xffffffc0, 0xffffffd5, 0xffffffe6,
639  0xffffffe0, 0xffffffe0, 0xffffffea, 0xfffffff3,
640  0xfffffff0, 0xfffffff0, 0xfffffff5, 0xfffffff9,
641  0xfffffff8, 0xfffffff8, 0xfffffffa, 0xfffffffc,
642  0xfffffffc, 0xfffffffc, 0xfffffffd, 0xfffffffe,
643  0xfffffffe, 0xfffffffe, 0xfffffffe, 0xffffffff,
644  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
645  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
646  0xc0000000, 0xd5555555, 0xe6666666, 0xffffc000,
647  0xe0000000, 0xeaaaaaaa, 0xf3333333, 0xffffe000,
648  0xf0000000, 0xf5555555, 0xf9999999, 0xfffff000,
649  0xf8000000, 0xfaaaaaaa, 0xfccccccc, 0xfffff800,
650  0xfc000000, 0xfd555555, 0xfe666666, 0xfffffc00,
651  0xfe000000, 0xfeaaaaaa, 0xff333333, 0xfffffe00,
652  0xff000000, 0xff555555, 0xff999999, 0xffffff00,
653  0xff800000, 0xffaaaaaa, 0xffcccccc, 0xffffff80,
654  0xffc00000, 0xffd55555, 0xffe66666, 0xffffffc0,
655  0xffe00000, 0xffeaaaaa, 0xfff33333, 0xffffffe0,
656  0xfff00000, 0xfff55555, 0xfff99999, 0xfffffff0,
657  0xfff80000, 0xfffaaaaa, 0xfffccccc, 0xfffffff8,
658  0xfffc0000, 0xfffd5555, 0xfffe6666, 0xfffffffc,
659  0xfffe0000, 0xfffeaaaa, 0xffff3333, 0xfffffffe,
660  0xffff0000, 0xffff5555, 0xffff9999, 0xffffffff,
661  0xffff8000, 0xffffaaaa, 0xffffcccc, 0xffffffff,
662  0xffffc000, 0xffffd555, 0xffffe666, 0xffffffff,
663  0xffffe000, 0xffffeaaa, 0xfffff333, 0xffffffff,
664  0xfffff000, 0xfffff555, 0xfffff999, 0xffffffff,
665  0xfffff800, 0xfffffaaa, 0xfffffccc, 0xffffffff,
666  0xfffffc00, 0xfffffd55, 0xfffffe66, 0xffffffff,
667  0xfffffe00, 0xfffffeaa, 0xffffff33, 0xffffffff,
668  0xffffff00, 0xffffff55, 0xffffff99, 0xffffffff,
669  0xffffff80, 0xffffffaa, 0xffffffcc, 0xffffffff,
670  0xffffffc0, 0xffffffd5, 0xffffffe6, 0xffffffff,
671  0xffffffe0, 0xffffffea, 0xfffffff3, 0xffffffff,
672  0xfffffff0, 0xfffffff5, 0xfffffff9, 0xffffffff,
673  0xfffffff8, 0xfffffffa, 0xfffffffc, 0xffffffff,
674  0xfffffffc, 0xfffffffd, 0xfffffffe, 0xffffffff,
675  0xfffffffe, 0xfffffffe, 0xffffffff, 0xffffffff,
676  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
677  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
678  0xd5555555, 0xe6666666, 0xffffc000, 0xffffc000,
679  0xeaaaaaaa, 0xf3333333, 0xffffe000, 0xffffe000,
680  0xf5555555, 0xf9999999, 0xfffff000, 0xfffff000,
681  0xfaaaaaaa, 0xfccccccc, 0xfffff800, 0xfffff800,
682  0xfd555555, 0xfe666666, 0xfffffc00, 0xfffffc00,
683  0xfeaaaaaa, 0xff333333, 0xfffffe00, 0xfffffe00,
684  0xff555555, 0xff999999, 0xffffff00, 0xffffff00,
685  0xffaaaaaa, 0xffcccccc, 0xffffff80, 0xffffff80,
686  0xffd55555, 0xffe66666, 0xffffffc0, 0xffffffc0,
687  0xffeaaaaa, 0xfff33333, 0xffffffe0, 0xffffffe0,
688  0xfff55555, 0xfff99999, 0xfffffff0, 0xfffffff0,
689  0xfffaaaaa, 0xfffccccc, 0xfffffff8, 0xfffffff8,
690  0xfffd5555, 0xfffe6666, 0xfffffffc, 0xfffffffc,
691  0xfffeaaaa, 0xffff3333, 0xfffffffe, 0xfffffffe,
692  0xffff5555, 0xffff9999, 0xffffffff, 0xffffffff,
693  0xffffaaaa, 0xffffcccc, 0xffffffff, 0xffffffff,
694  0xffffd555, 0xffffe666, 0xffffffff, 0xffffffff,
695  0xffffeaaa, 0xfffff333, 0xffffffff, 0xffffffff,
696  0xfffff555, 0xfffff999, 0xffffffff, 0xffffffff,
697  0xfffffaaa, 0xfffffccc, 0xffffffff, 0xffffffff,
698  0xfffffd55, 0xfffffe66, 0xffffffff, 0xffffffff,
699  0xfffffeaa, 0xffffff33, 0xffffffff, 0xffffffff,
700  0xffffff55, 0xffffff99, 0xffffffff, 0xffffffff,
701  0xffffffaa, 0xffffffcc, 0xffffffff, 0xffffffff,
702  0xffffffd5, 0xffffffe6, 0xffffffff, 0xffffffff,
703  0xffffffea, 0xfffffff3, 0xffffffff, 0xffffffff,
704  0xfffffff5, 0xfffffff9, 0xffffffff, 0xffffffff,
705  0xfffffffa, 0xfffffffc, 0xffffffff, 0xffffffff,
706  0xfffffffd, 0xfffffffe, 0xffffffff, 0xffffffff,
707  0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
708  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
709  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
710  0xe6666666, 0xffffc000, 0xffffc000, 0xffffc001,
711  0xf3333333, 0xffffe000, 0xffffe000, 0xffffe000,
712  0xf9999999, 0xfffff000, 0xfffff000, 0xfffff000,
713  0xfccccccc, 0xfffff800, 0xfffff800, 0xfffff800,
714  0xfe666666, 0xfffffc00, 0xfffffc00, 0xfffffc00,
715  0xff333333, 0xfffffe00, 0xfffffe00, 0xfffffe00,
716  0xff999999, 0xffffff00, 0xffffff00, 0xffffff00,
717  0xffcccccc, 0xffffff80, 0xffffff80, 0xffffff80,
718  0xffe66666, 0xffffffc0, 0xffffffc0, 0xffffffc0,
719  0xfff33333, 0xffffffe0, 0xffffffe0, 0xffffffe0,
720  0xfff99999, 0xfffffff0, 0xfffffff0, 0xfffffff0,
721  0xfffccccc, 0xfffffff8, 0xfffffff8, 0xfffffff8,
722  0xfffe6666, 0xfffffffc, 0xfffffffc, 0xfffffffc,
723  0xffff3333, 0xfffffffe, 0xfffffffe, 0xfffffffe,
724  0xffff9999, 0xffffffff, 0xffffffff, 0xffffffff,
725  0xffffcccc, 0xffffffff, 0xffffffff, 0xffffffff,
726  0xffffe666, 0xffffffff, 0xffffffff, 0xffffffff,
727  0xfffff333, 0xffffffff, 0xffffffff, 0xffffffff,
728  0xfffff999, 0xffffffff, 0xffffffff, 0xffffffff,
729  0xfffffccc, 0xffffffff, 0xffffffff, 0xffffffff,
730  0xfffffe66, 0xffffffff, 0xffffffff, 0xffffffff,
731  0xffffff33, 0xffffffff, 0xffffffff, 0xffffffff,
732  0xffffff99, 0xffffffff, 0xffffffff, 0xffffffff,
733  0xffffffcc, 0xffffffff, 0xffffffff, 0xffffffff,
734  0xffffffe6, 0xffffffff, 0xffffffff, 0xffffffff,
735  0xfffffff3, 0xffffffff, 0xffffffff, 0xffffffff,
736  0xfffffff9, 0xffffffff, 0xffffffff, 0xffffffff,
737  0xfffffffc, 0xffffffff, 0xffffffff, 0xffffffff,
738  0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
739  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
740  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
741  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
742  0xffffc000, 0xffffc000, 0xffffc001, 0xffffc001,
743  0xffffe000, 0xffffe000, 0xffffe000, 0xffffe000,
744  0xfffff000, 0xfffff000, 0xfffff000, 0xfffff000,
745  0xfffff800, 0xfffff800, 0xfffff800, 0xfffff800,
746  0xfffffc00, 0xfffffc00, 0xfffffc00, 0xfffffc00,
747  0xfffffe00, 0xfffffe00, 0xfffffe00, 0xfffffe00,
748  0xffffff00, 0xffffff00, 0xffffff00, 0xffffff00,
749  0xffffff80, 0xffffff80, 0xffffff80, 0xffffff80,
750  0xffffffc0, 0xffffffc0, 0xffffffc0, 0xffffffc0,
751  0xffffffe0, 0xffffffe0, 0xffffffe0, 0xffffffe0,
752  0xfffffff0, 0xfffffff0, 0xfffffff0, 0xfffffff0,
753  0xfffffff8, 0xfffffff8, 0xfffffff8, 0xfffffff8,
754  0xfffffffc, 0xfffffffc, 0xfffffffc, 0xfffffffc,
755  0xfffffffe, 0xfffffffe, 0xfffffffe, 0xfffffffe,
756  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
757  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
758  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
759  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
760  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
761  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
762  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
763  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
764  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
765  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
766  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
767  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
768  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
769  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
770  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
771  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
772  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
773  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
774  0xffffc000, 0xffffc001, 0xffffc001, 0xffffffc0,
775  0xffffe000, 0xffffe000, 0xffffe000, 0xffffffe0,
776  0xfffff000, 0xfffff000, 0xfffff000, 0xfffffff0,
777  0xfffff800, 0xfffff800, 0xfffff800, 0xfffffff8,
778  0xfffffc00, 0xfffffc00, 0xfffffc00, 0xfffffffc,
779  0xfffffe00, 0xfffffe00, 0xfffffe00, 0xfffffffe,
780  0xffffff00, 0xffffff00, 0xffffff00, 0xffffffff,
781  0xffffff80, 0xffffff80, 0xffffff80, 0xffffffff,
782  0xffffffc0, 0xffffffc0, 0xffffffc0, 0xffffffff,
783  0xffffffe0, 0xffffffe0, 0xffffffe0, 0xffffffff,
784  0xfffffff0, 0xfffffff0, 0xfffffff0, 0xffffffff,
785  0xfffffff8, 0xfffffff8, 0xfffffff8, 0xffffffff,
786  0xfffffffc, 0xfffffffc, 0xfffffffc, 0xffffffff,
787  0xfffffffe, 0xfffffffe, 0xfffffffe, 0xffffffff,
788  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
789  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
790  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
791  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
792  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
793  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
794  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
795  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
796  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
797  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
798  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
799  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
800  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
801  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
802  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
803  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
804  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
805  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
806  0xffffc001, 0xffffc001, 0xffffffc0, 0xffffffc0,
807  0xffffe000, 0xffffe000, 0xffffffe0, 0xffffffe0,
808  0xfffff000, 0xfffff000, 0xfffffff0, 0xfffffff0,
809  0xfffff800, 0xfffff800, 0xfffffff8, 0xfffffff8,
810  0xfffffc00, 0xfffffc00, 0xfffffffc, 0xfffffffc,
811  0xfffffe00, 0xfffffe00, 0xfffffffe, 0xfffffffe,
812  0xffffff00, 0xffffff00, 0xffffffff, 0xffffffff,
813  0xffffff80, 0xffffff80, 0xffffffff, 0xffffffff,
814  0xffffffc0, 0xffffffc0, 0xffffffff, 0xffffffff,
815  0xffffffe0, 0xffffffe0, 0xffffffff, 0xffffffff,
816  0xfffffff0, 0xfffffff0, 0xffffffff, 0xffffffff,
817  0xfffffff8, 0xfffffff8, 0xffffffff, 0xffffffff,
818  0xfffffffc, 0xfffffffc, 0xffffffff, 0xffffffff,
819  0xfffffffe, 0xfffffffe, 0xffffffff, 0xffffffff,
820  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
821  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
822  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
823  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
824  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
825  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
826  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
827  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
828  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
829  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
830  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
831  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
832  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
833  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
834  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
835  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
836  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
837  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
838  0xffffc001, 0xffffffc0, 0xffffffc0, 0xffffffc1,
839  0xffffe000, 0xffffffe0, 0xffffffe0, 0xffffffe0,
840  0xfffff000, 0xfffffff0, 0xfffffff0, 0xfffffff0,
841  0xfffff800, 0xfffffff8, 0xfffffff8, 0xfffffff8,
842  0xfffffc00, 0xfffffffc, 0xfffffffc, 0xfffffffc,
843  0xfffffe00, 0xfffffffe, 0xfffffffe, 0xfffffffe,
844  0xffffff00, 0xffffffff, 0xffffffff, 0xffffffff,
845  0xffffff80, 0xffffffff, 0xffffffff, 0xffffffff,
846  0xffffffc0, 0xffffffff, 0xffffffff, 0xffffffff,
847  0xffffffe0, 0xffffffff, 0xffffffff, 0xffffffff,
848  0xfffffff0, 0xffffffff, 0xffffffff, 0xffffffff,
849  0xfffffff8, 0xffffffff, 0xffffffff, 0xffffffff,
850  0xfffffffc, 0xffffffff, 0xffffffff, 0xffffffff,
851  0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
852  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
853  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
854  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
855  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
856  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
857  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
858  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
859  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
860  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
861  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
862  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
863  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
864  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
865  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
866  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
867  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
868  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
869  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
870  0xffffffc0, 0xffffffc0, 0xffffffc1, 0xffffffc1,
871  0xffffffe0, 0xffffffe0, 0xffffffe0, 0xffffffe0,
872  0xfffffff0, 0xfffffff0, 0xfffffff0, 0xfffffff0,
873  0xfffffff8, 0xfffffff8, 0xfffffff8, 0xfffffff8,
874  0xfffffffc, 0xfffffffc, 0xfffffffc, 0xfffffffc,
875  0xfffffffe, 0xfffffffe, 0xfffffffe, 0xfffffffe,
876  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
877  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
878  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
879  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
880  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
881  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
882  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
883  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
884  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
885  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
886  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
887  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
888  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
889  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
890  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
891  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
892  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
893  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
894  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
895  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
896  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
897  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
898  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
899  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
900  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
901  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
902  0xffffffc0, 0xffffffc1, 0xffffffc1, 0xfffffff0,
903  0xffffffe0, 0xffffffe0, 0xffffffe0, 0xfffffff8,
904  0xfffffff0, 0xfffffff0, 0xfffffff0, 0xfffffffc,
905  0xfffffff8, 0xfffffff8, 0xfffffff8, 0xfffffffe,
906  0xfffffffc, 0xfffffffc, 0xfffffffc, 0xffffffff,
907  0xfffffffe, 0xfffffffe, 0xfffffffe, 0xffffffff,
908  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
909  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
910  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
911  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
912  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
913  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
914  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
915  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
916  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
917  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
918  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
919  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
920  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
921  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
922  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
923  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
924  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
925  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
926  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
927  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
928  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
929  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
930  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
931  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
932  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
933  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
934  0xffffffc1, 0xffffffc1, 0xfffffff0, 0xfffffffe,
935  0xffffffe0, 0xffffffe0, 0xfffffff8, 0xffffffff,
936  0xfffffff0, 0xfffffff0, 0xfffffffc, 0xffffffff,
937  0xfffffff8, 0xfffffff8, 0xfffffffe, 0xffffffff,
938  0xfffffffc, 0xfffffffc, 0xffffffff, 0xffffffff,
939  0xfffffffe, 0xfffffffe, 0xffffffff, 0xffffffff,
940  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
941  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
942  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
943  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
944  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
945  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
946  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
947  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
948  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
949  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
950  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
951  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
952  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
953  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
954  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
955  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
956  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
957  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
958  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
959  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
960  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
961  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
962  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
963  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
964  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
965  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
966  0xffffffc1, 0xfffffff0, 0xfffffffe, 0xffffffff,
967  0xffffffe0, 0xfffffff8, 0xffffffff, 0xffffffff,
968  0xfffffff0, 0xfffffffc, 0xffffffff, 0xffffffff,
969  0xfffffff8, 0xfffffffe, 0xffffffff, 0xffffffff,
970  0xfffffffc, 0xffffffff, 0xffffffff, 0xffffffff,
971  0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
972  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
973  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
974  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
975  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
976  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
977  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
978  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
979  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
980  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
981  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
982  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
983  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
984  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
985  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
986  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
987  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
988  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
989  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
990  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
991  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
992  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
993  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
994  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
995  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
996  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
997  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
998  0xfffffff0, 0xfffffffe, 0xffffffff, 0xffffffff,
999  0xfffffff8, 0xffffffff, 0xffffffff, 0xffffffff,
1000  0xfffffffc, 0xffffffff, 0xffffffff, 0xffffffff,
1001  0xfffffffe, 0xffffffff, 0xffffffff, 0xffffffff,
1002  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1003  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1004  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1005  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1006  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1007  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1008  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1009  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1010  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1011  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1012  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1013  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1014  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1015  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1016  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1017  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1018  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1019  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1020  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1021  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1022  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1023  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1024  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1025  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1026  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1027  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1028  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1029  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
1030};
1031const unsigned kExpectedCount_NEON_sshr_4S_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_SSHR_4S_2OPIMM_TRACE_AARCH64_H_
1034