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_SQRSHL_2S_TRACE_AARCH64_H_
35#define VIXL_SIM_SQRSHL_2S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_sqrshl_2S[] = {
38  0x00007e00, 0x00007f00, 0x00000000, 0x00000000,
39  0x00007e00, 0x00007f00, 0x00000000, 0x00000000,
40  0x00007e00, 0x00007f00, 0x00000000, 0x00000000,
41  0x00007e00, 0x0000fe00, 0x00000000, 0x00000000,
42  0x0000fc00, 0x0001fc00, 0x00000000, 0x00000000,
43  0x0001f800, 0x7fffffff, 0x00000000, 0x00000000,
44  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
45  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
46  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
47  0x7fffffff, 0x00000fe0, 0x00000000, 0x00000000,
48  0x00000fc0, 0x00001fc0, 0x00000000, 0x00000000,
49  0x00001f80, 0x00003f80, 0x00000000, 0x00000000,
50  0x00003f00, 0x7fffffff, 0x00000000, 0x00000000,
51  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
52  0x7fffffff, 0x00000fe0, 0x00000000, 0x00000000,
53  0x00000fc0, 0x00001fc0, 0x00000000, 0x00000000,
54  0x00001f80, 0x00003f80, 0x00000000, 0x00000000,
55  0x00003f00, 0x00007f00, 0x00000000, 0x00000000,
56  0x00007e00, 0x0000fe00, 0x00000000, 0x00000000,
57  0x0000fc00, 0x00000000, 0x00000000, 0x00000000,
58  0x00000000, 0x00000000, 0x00000000, 0x00000000,
59  0x00000000, 0x00007f00, 0x00000000, 0x00000000,
60  0x00007e00, 0x0000fe00, 0x00000000, 0x00000000,
61  0x0000fc00, 0x0001fc00, 0x00000000, 0x00000000,
62  0x0001f800, 0x0003f800, 0x00000000, 0x00000000,
63  0x0003f000, 0x00000000, 0x00000000, 0x00000000,
64  0x00000000, 0x00000000, 0x00000000, 0x00000000,
65  0x00000000, 0x00000000, 0x00000000, 0x00000000,
66  0x00000000, 0x00000000, 0x00000000, 0x00000000,
67  0x00000000, 0x00000000, 0x00000000, 0x00000000,
68  0x00000000, 0x00000fe0, 0x00000000, 0x00000000,
69  0x00000fe0, 0x001fff40, 0x00000000, 0x00000000,
70  0x00001fc0, 0x003ffe80, 0x00000000, 0x00000000,
71  0x00003f80, 0x007ffd00, 0x00000000, 0x00000000,
72  0x00007f00, 0x00fffa00, 0x00000000, 0x00000000,
73  0x0000fe00, 0x01fff400, 0x00000000, 0x00000000,
74  0x0001fc00, 0x7fffffff, 0x00000000, 0x00000000,
75  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
76  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
77  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
78  0x7fffffff, 0x000fffa0, 0x00000000, 0x00000000,
79  0x00000fe0, 0x001fff40, 0x00000000, 0x00000000,
80  0x00001fc0, 0x003ffe80, 0x00000000, 0x00000000,
81  0x00003f80, 0x7fffffff, 0x00000000, 0x00000000,
82  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
83  0x7fffffff, 0x000fffa0, 0x00000000, 0x00000000,
84  0x00000fe0, 0x001fff40, 0x00000000, 0x00000000,
85  0x00001fc0, 0x003ffe80, 0x00000000, 0x00000000,
86  0x00003f80, 0x007ffd00, 0x00000000, 0x00000000,
87  0x00007f00, 0x00fffa00, 0x00000000, 0x00000000,
88  0x0000fe00, 0x00000000, 0x00000000, 0x00000000,
89  0x00000000, 0x00000000, 0x00000000, 0x00000000,
90  0x00000000, 0x007ffd00, 0x00000000, 0x00000000,
91  0x00007f00, 0x00fffa00, 0x00000000, 0x00000000,
92  0x0000fe00, 0x01fff400, 0x00000000, 0x00000000,
93  0x0001fc00, 0x03ffe800, 0x00000000, 0x00000000,
94  0x0003f800, 0x00000000, 0x00000000, 0x00000000,
95  0x00000000, 0x00000000, 0x00000000, 0x00000000,
96  0x00000000, 0x00000000, 0x00000000, 0x00000000,
97  0x00000000, 0x00000000, 0x00000000, 0x00000000,
98  0x00000000, 0x00000000, 0x00000000, 0x00000000,
99  0x00000000, 0x000fffa0, 0x00000000, 0x00000000,
100  0x000fffa0, 0x00000000, 0x00000000, 0x00000000,
101  0x001fff40, 0x00000000, 0x00000000, 0x00000000,
102  0x003ffe80, 0x00000000, 0x00000000, 0x00000000,
103  0x007ffd00, 0x00000000, 0x00000000, 0x00000000,
104  0x00fffa00, 0x00000000, 0x00000000, 0x00000000,
105  0x01fff400, 0x00000000, 0x00000000, 0x00000000,
106  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
107  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
108  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
109  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
110  0x000fffa0, 0x00000000, 0x00000000, 0x00000000,
111  0x001fff40, 0x00000000, 0x00000000, 0x00000000,
112  0x003ffe80, 0x00000000, 0x00000000, 0x00000000,
113  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
114  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
115  0x000fffa0, 0x00000000, 0x00000000, 0x00000000,
116  0x001fff40, 0x00000000, 0x00000000, 0x00000000,
117  0x003ffe80, 0x00000000, 0x00000000, 0x00000000,
118  0x007ffd00, 0x00000000, 0x00000000, 0x00000000,
119  0x00fffa00, 0x00000000, 0x00000000, 0x00000000,
120  0x00000000, 0x00000000, 0x00000000, 0x00000000,
121  0x00000000, 0x00000000, 0x00000000, 0x00000000,
122  0x007ffd00, 0x00000000, 0x00000000, 0x00000000,
123  0x00fffa00, 0x00000000, 0x00000000, 0x00000000,
124  0x01fff400, 0x00000000, 0x00000000, 0x00000000,
125  0x03ffe800, 0x00000000, 0x00000000, 0x00000000,
126  0x00000000, 0x00000000, 0x00000000, 0x00000000,
127  0x00000000, 0x00000000, 0x00000000, 0x00000000,
128  0x00000000, 0x00000000, 0x00000000, 0x00000000,
129  0x00000000, 0x00000000, 0x00000000, 0x00000000,
130  0x00000000, 0x00000000, 0x00000000, 0x00000000,
131  0x00000000, 0x00000000, 0x00000000, 0x00000000,
132  0x00000000, 0x00000001, 0x00000000, 0x00000000,
133  0x00000000, 0x00000001, 0x00000000, 0x00000000,
134  0x00000000, 0x00000002, 0x00000000, 0x00000000,
135  0x00000000, 0x00000004, 0x00000000, 0x00000000,
136  0x00000000, 0x7fffffff, 0x00000000, 0x00000000,
137  0x00000000, 0x7fffffff, 0x00000000, 0x00000000,
138  0x00000000, 0x7fffffff, 0x00000000, 0x00000000,
139  0x00000000, 0x7fffffff, 0x00000000, 0x00000000,
140  0x00000000, 0x00000000, 0x00000000, 0x00000000,
141  0x00000000, 0x00000000, 0x00000000, 0x00000000,
142  0x00000000, 0x00000001, 0x00000000, 0x00000000,
143  0x00000000, 0x7fffffff, 0x00000000, 0x00000000,
144  0x00000000, 0x7fffffff, 0x00000000, 0x00000000,
145  0x00000000, 0x00000000, 0x00000000, 0x00000000,
146  0x00000000, 0x00000000, 0x00000000, 0x00000000,
147  0x00000000, 0x00000001, 0x00000000, 0x00000000,
148  0x00000000, 0x00000001, 0x00000000, 0x00000000,
149  0x00000000, 0x00000002, 0x00000000, 0x00000000,
150  0x00000000, 0x00000000, 0x00000000, 0x00000000,
151  0x00000000, 0x00000000, 0x00000000, 0x00000000,
152  0x00000000, 0x00000001, 0x00000000, 0x00000000,
153  0x00000000, 0x00000002, 0x00000000, 0x00000000,
154  0x00000000, 0x00000004, 0x00000000, 0x00000000,
155  0x00000000, 0x00000008, 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, 0x00000001, 0x00000000, 0x00000000,
163  0x00000000, 0x00000001, 0x00000000, 0x00000000,
164  0x00000001, 0x00000002, 0x00000000, 0x00000000,
165  0x00000001, 0x00000004, 0x00000000, 0x00000000,
166  0x00000002, 0x00000008, 0x00000000, 0x00000000,
167  0x00000004, 0x7fffffff, 0x00000000, 0x00000000,
168  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
169  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
170  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
171  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
172  0x00000000, 0x00000001, 0x00000000, 0x00000000,
173  0x00000000, 0x00000001, 0x00000000, 0x00000000,
174  0x00000001, 0x7fffffff, 0x00000000, 0x00000000,
175  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
176  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
177  0x00000000, 0x00000001, 0x00000000, 0x00000000,
178  0x00000000, 0x00000001, 0x00000000, 0x00000000,
179  0x00000001, 0x00000002, 0x00000000, 0x00000000,
180  0x00000001, 0x00000004, 0x00000000, 0x00000000,
181  0x00000002, 0x00000000, 0x00000000, 0x00000000,
182  0x00000000, 0x00000000, 0x00000000, 0x00000000,
183  0x00000000, 0x00000002, 0x00000000, 0x00000000,
184  0x00000001, 0x00000004, 0x00000000, 0x00000000,
185  0x00000002, 0x00000008, 0x00000000, 0x00000000,
186  0x00000004, 0x00000010, 0x00000000, 0x00000000,
187  0x00000008, 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, 0x00000008, 0x00000000, 0x00000000,
194  0x00000001, 0x00000010, 0x00000000, 0x00000000,
195  0x00000001, 0x00000020, 0x00000000, 0x00000000,
196  0x00000002, 0x00000040, 0x00000000, 0x00000000,
197  0x00000004, 0x00000080, 0x00000000, 0x00000000,
198  0x00000008, 0x7fffffff, 0x00000000, 0x00000000,
199  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
200  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
201  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
202  0x7fffffff, 0x00000004, 0x00000000, 0x00000000,
203  0x00000000, 0x00000008, 0x00000000, 0x00000000,
204  0x00000001, 0x00000010, 0x00000000, 0x00000000,
205  0x00000001, 0x7fffffff, 0x00000000, 0x00000000,
206  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
207  0x7fffffff, 0x00000004, 0x00000000, 0x00000000,
208  0x00000000, 0x00000008, 0x00000000, 0x00000000,
209  0x00000001, 0x00000010, 0x00000000, 0x00000000,
210  0x00000001, 0x00000020, 0x00000000, 0x00000000,
211  0x00000002, 0x00000040, 0x00000000, 0x00000000,
212  0x00000004, 0x00000000, 0x00000000, 0x00000000,
213  0x00000000, 0x00000000, 0x00000000, 0x00000000,
214  0x00000000, 0x00000020, 0x00000000, 0x00000000,
215  0x00000002, 0x00000040, 0x00000000, 0x00000000,
216  0x00000004, 0x00000080, 0x00000000, 0x00000000,
217  0x00000008, 0x00000100, 0x00000000, 0x00000000,
218  0x00000010, 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, 0x00000004, 0x00000000, 0x00000000,
224  0x00000004, 0x0000001f, 0x00000000, 0x00000000,
225  0x00000008, 0x0000003f, 0x00000000, 0x00000000,
226  0x00000010, 0x0000007d, 0x00000000, 0x00000000,
227  0x00000020, 0x000000fa, 0x00000000, 0x00000000,
228  0x00000040, 0x000001f4, 0x00000000, 0x00000000,
229  0x00000080, 0x7fffffff, 0x00000000, 0x00000000,
230  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
231  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
232  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
233  0x7fffffff, 0x00000010, 0x00000000, 0x00000000,
234  0x00000004, 0x0000001f, 0x00000000, 0x00000000,
235  0x00000008, 0x0000003f, 0x00000000, 0x00000000,
236  0x00000010, 0x7fffffff, 0x00000000, 0x00000000,
237  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
238  0x7fffffff, 0x00000010, 0x00000000, 0x00000000,
239  0x00000004, 0x0000001f, 0x00000000, 0x00000000,
240  0x00000008, 0x0000003f, 0x00000000, 0x00000000,
241  0x00000010, 0x0000007d, 0x00000000, 0x00000000,
242  0x00000020, 0x000000fa, 0x00000000, 0x00000000,
243  0x00000040, 0x00000000, 0x00000000, 0x00000000,
244  0x00000000, 0x00000000, 0x00000000, 0x00000000,
245  0x00000000, 0x0000007d, 0x00000000, 0x00000000,
246  0x00000020, 0x000000fa, 0x00000000, 0x00000000,
247  0x00000040, 0x000001f4, 0x00000000, 0x00000000,
248  0x00000080, 0x000003e8, 0x00000000, 0x00000000,
249  0x00000100, 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, 0x00000010, 0x00000000, 0x00000000,
255  0x00000010, 0x00000020, 0x00000000, 0x00000000,
256  0x0000001f, 0x0000003f, 0x00000000, 0x00000000,
257  0x0000003f, 0x0000007e, 0x00000000, 0x00000000,
258  0x0000007d, 0x000000fc, 0x00000000, 0x00000000,
259  0x000000fa, 0x000001f8, 0x00000000, 0x00000000,
260  0x000001f4, 0x7fffffff, 0x00000000, 0x00000000,
261  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
262  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
263  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
264  0x7fffffff, 0x00000010, 0x00000000, 0x00000000,
265  0x00000010, 0x00000020, 0x00000000, 0x00000000,
266  0x0000001f, 0x0000003f, 0x00000000, 0x00000000,
267  0x0000003f, 0x7fffffff, 0x00000000, 0x00000000,
268  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
269  0x7fffffff, 0x00000010, 0x00000000, 0x00000000,
270  0x00000010, 0x00000020, 0x00000000, 0x00000000,
271  0x0000001f, 0x0000003f, 0x00000000, 0x00000000,
272  0x0000003f, 0x0000007e, 0x00000000, 0x00000000,
273  0x0000007d, 0x000000fc, 0x00000000, 0x00000000,
274  0x000000fa, 0x00000000, 0x00000000, 0x00000000,
275  0x00000000, 0x00000000, 0x00000000, 0x00000000,
276  0x00000000, 0x0000007e, 0x00000000, 0x00000000,
277  0x0000007d, 0x000000fc, 0x00000000, 0x00000000,
278  0x000000fa, 0x000001f8, 0x00000000, 0x00000000,
279  0x000001f4, 0x000003f0, 0x00000000, 0x00000000,
280  0x000003e8, 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, 0x00000010, 0x00000000, 0x00000000,
286  0x00000010, 0x00000020, 0x00000000, 0x00000000,
287  0x00000020, 0x00000040, 0x00000000, 0x00000000,
288  0x0000003f, 0x0000007f, 0x00000000, 0x00000000,
289  0x0000007e, 0x000000fe, 0x00000000, 0x00000000,
290  0x000000fc, 0x000001fc, 0x00000000, 0x00000000,
291  0x000001f8, 0x7fffffff, 0x00000000, 0x00000000,
292  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
293  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
294  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
295  0x7fffffff, 0x00000010, 0x00000000, 0x00000000,
296  0x00000010, 0x00000020, 0x00000000, 0x00000000,
297  0x00000020, 0x00000040, 0x00000000, 0x00000000,
298  0x0000003f, 0x7fffffff, 0x00000000, 0x00000000,
299  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
300  0x7fffffff, 0x00000010, 0x00000000, 0x00000000,
301  0x00000010, 0x00000020, 0x00000000, 0x00000000,
302  0x00000020, 0x00000040, 0x00000000, 0x00000000,
303  0x0000003f, 0x0000007f, 0x00000000, 0x00000000,
304  0x0000007e, 0x000000fe, 0x00000000, 0x00000000,
305  0x000000fc, 0x00000000, 0x00000000, 0x00000000,
306  0x00000000, 0x00000000, 0x00000000, 0x00000000,
307  0x00000000, 0x0000007f, 0x00000000, 0x00000000,
308  0x0000007e, 0x000000fe, 0x00000000, 0x00000000,
309  0x000000fc, 0x000001fc, 0x00000000, 0x00000000,
310  0x000001f8, 0x000003f8, 0x00000000, 0x00000000,
311  0x000003f0, 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, 0x00000010, 0x00000000, 0x00000000,
317  0x00000010, 0x00001fff, 0x00000000, 0x00000000,
318  0x00000020, 0x00003fff, 0x00000000, 0x00000000,
319  0x00000040, 0x00007ffd, 0x00000000, 0x00000000,
320  0x0000007f, 0x0000fffa, 0x00000000, 0x00000000,
321  0x000000fe, 0x0001fff4, 0x00000000, 0x00000000,
322  0x000001fc, 0x7fffffff, 0x00000000, 0x00000000,
323  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
324  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
325  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
326  0x7fffffff, 0x00001000, 0x00000000, 0x00000000,
327  0x00000010, 0x00001fff, 0x00000000, 0x00000000,
328  0x00000020, 0x00003fff, 0x00000000, 0x00000000,
329  0x00000040, 0x7fffffff, 0x00000000, 0x00000000,
330  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
331  0x7fffffff, 0x00001000, 0x00000000, 0x00000000,
332  0x00000010, 0x00001fff, 0x00000000, 0x00000000,
333  0x00000020, 0x00003fff, 0x00000000, 0x00000000,
334  0x00000040, 0x00007ffd, 0x00000000, 0x00000000,
335  0x0000007f, 0x0000fffa, 0x00000000, 0x00000000,
336  0x000000fe, 0x00000000, 0x00000000, 0x00000000,
337  0x00000000, 0x00000000, 0x00000000, 0x00000000,
338  0x00000000, 0x00007ffd, 0x00000000, 0x00000000,
339  0x0000007f, 0x0000fffa, 0x00000000, 0x00000000,
340  0x000000fe, 0x0001fff4, 0x00000000, 0x00000000,
341  0x000001fc, 0x0003ffe8, 0x00000000, 0x00000000,
342  0x000003f8, 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, 0x00001000, 0x00000000, 0x00000000,
348  0x00001000, 0x00002000, 0x00000000, 0x00000000,
349  0x00001fff, 0x00003fff, 0x00000000, 0x00000000,
350  0x00003fff, 0x00007ffe, 0x00000000, 0x00000000,
351  0x00007ffd, 0x0000fffc, 0x00000000, 0x00000000,
352  0x0000fffa, 0x0001fff8, 0x00000000, 0x00000000,
353  0x0001fff4, 0x7fffffff, 0x00000000, 0x00000000,
354  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
355  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
356  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
357  0x7fffffff, 0x00001000, 0x00000000, 0x00000000,
358  0x00001000, 0x00002000, 0x00000000, 0x00000000,
359  0x00001fff, 0x00003fff, 0x00000000, 0x00000000,
360  0x00003fff, 0x7fffffff, 0x00000000, 0x00000000,
361  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
362  0x7fffffff, 0x00001000, 0x00000000, 0x00000000,
363  0x00001000, 0x00002000, 0x00000000, 0x00000000,
364  0x00001fff, 0x00003fff, 0x00000000, 0x00000000,
365  0x00003fff, 0x00007ffe, 0x00000000, 0x00000000,
366  0x00007ffd, 0x0000fffc, 0x00000000, 0x00000000,
367  0x0000fffa, 0x00000000, 0x00000000, 0x00000000,
368  0x00000000, 0x00000000, 0x00000000, 0x00000000,
369  0x00000000, 0x00007ffe, 0x00000000, 0x00000000,
370  0x00007ffd, 0x0000fffc, 0x00000000, 0x00000000,
371  0x0000fffa, 0x0001fff8, 0x00000000, 0x00000000,
372  0x0001fff4, 0x0003fff0, 0x00000000, 0x00000000,
373  0x0003ffe8, 0x00000000, 0x00000000, 0x00000000,
374  0x00000000, 0x00000000, 0x00000000, 0x00000000,
375  0x00000000, 0x00000000, 0x00000000, 0x00000000,
376  0x00000000, 0x00000000, 0x00000000, 0x00000000,
377  0x00000000, 0x00000000, 0x00000000, 0x00000000,
378  0x00000000, 0x00001000, 0x00000000, 0x00000000,
379  0x00001000, 0x00002000, 0x00000000, 0x00000000,
380  0x00002000, 0x00004000, 0x00000000, 0x00000000,
381  0x00003fff, 0x00007fff, 0x00000000, 0x00000000,
382  0x00007ffe, 0x0000fffe, 0x00000000, 0x00000000,
383  0x0000fffc, 0x0001fffc, 0x00000000, 0x00000000,
384  0x0001fff8, 0x7fffffff, 0x00000000, 0x00000000,
385  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
386  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
387  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
388  0x7fffffff, 0x00001000, 0x00000000, 0x00000000,
389  0x00001000, 0x00002000, 0x00000000, 0x00000000,
390  0x00002000, 0x00004000, 0x00000000, 0x00000000,
391  0x00003fff, 0x7fffffff, 0x00000000, 0x00000000,
392  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
393  0x7fffffff, 0x00001000, 0x00000000, 0x00000000,
394  0x00001000, 0x00002000, 0x00000000, 0x00000000,
395  0x00002000, 0x00004000, 0x00000000, 0x00000000,
396  0x00003fff, 0x00007fff, 0x00000000, 0x00000000,
397  0x00007ffe, 0x0000fffe, 0x00000000, 0x00000000,
398  0x0000fffc, 0x00000000, 0x00000000, 0x00000000,
399  0x00000000, 0x00000000, 0x00000000, 0x00000000,
400  0x00000000, 0x00007fff, 0x00000000, 0x00000000,
401  0x00007ffe, 0x0000fffe, 0x00000000, 0x00000000,
402  0x0000fffc, 0x0001fffc, 0x00000000, 0x00000000,
403  0x0001fff8, 0x0003fff8, 0x00000000, 0x00000000,
404  0x0003fff0, 0x00000000, 0x00000000, 0x00000000,
405  0x00000000, 0x00000000, 0x00000000, 0x00000000,
406  0x00000000, 0x00000000, 0x00000000, 0x00000000,
407  0x00000000, 0x00000000, 0x00000000, 0x00000000,
408  0x00000000, 0x00000000, 0x00000000, 0x00000000,
409  0x00000000, 0x00001000, 0x00000000, 0x00000000,
410  0x00001000, 0x0ccccccd, 0x00000000, 0x00000000,
411  0x00002000, 0x1999999a, 0x00000000, 0x00000000,
412  0x00004000, 0x33333333, 0x00000000, 0x00000000,
413  0x00007fff, 0x66666666, 0x00000000, 0x00000000,
414  0x0000fffe, 0x7fffffff, 0x00000000, 0x00000000,
415  0x0001fffc, 0x7fffffff, 0x00000000, 0x00000000,
416  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
417  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
418  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
419  0x7fffffff, 0x06666666, 0x00000000, 0x00000000,
420  0x00001000, 0x0ccccccd, 0x00000000, 0x00000000,
421  0x00002000, 0x1999999a, 0x00000000, 0x00000000,
422  0x00004000, 0x7fffffff, 0x00000000, 0x00000000,
423  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
424  0x7fffffff, 0x06666666, 0x00000000, 0x00000000,
425  0x00001000, 0x0ccccccd, 0x00000000, 0x00000000,
426  0x00002000, 0x1999999a, 0x00000000, 0x00000000,
427  0x00004000, 0x33333333, 0x00000000, 0x00000000,
428  0x00007fff, 0x66666666, 0x00000000, 0x00000000,
429  0x0000fffe, 0x00000000, 0x00000000, 0x00000000,
430  0x00000000, 0x00000000, 0x00000000, 0x00000000,
431  0x00000000, 0x33333333, 0x00000000, 0x00000000,
432  0x00007fff, 0x66666666, 0x00000000, 0x00000000,
433  0x0000fffe, 0x7fffffff, 0x00000000, 0x00000000,
434  0x0001fffc, 0x7fffffff, 0x00000000, 0x00000000,
435  0x0003fff8, 0x00000000, 0x00000000, 0x00000000,
436  0x00000000, 0x00000000, 0x00000000, 0x00000000,
437  0x00000000, 0x00000000, 0x00000000, 0x00000000,
438  0x00000000, 0x00000000, 0x00000000, 0x00000000,
439  0x00000000, 0x00000000, 0x00000000, 0x00000000,
440  0x00000000, 0x06666666, 0x00000000, 0x00000000,
441  0x06666666, 0x15555555, 0x00000000, 0x00000000,
442  0x0ccccccd, 0x2aaaaaab, 0x00000000, 0x00000000,
443  0x1999999a, 0x55555555, 0x00000000, 0x00000000,
444  0x33333333, 0x7fffffff, 0x00000000, 0x00000000,
445  0x66666666, 0x7fffffff, 0x00000000, 0x00000000,
446  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
447  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
448  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
449  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
450  0x7fffffff, 0x0aaaaaab, 0x00000000, 0x00000000,
451  0x06666666, 0x15555555, 0x00000000, 0x00000000,
452  0x0ccccccd, 0x2aaaaaab, 0x00000000, 0x00000000,
453  0x1999999a, 0x7fffffff, 0x00000000, 0x00000000,
454  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
455  0x7fffffff, 0x0aaaaaab, 0x00000000, 0x00000000,
456  0x06666666, 0x15555555, 0x00000000, 0x00000000,
457  0x0ccccccd, 0x2aaaaaab, 0x00000000, 0x00000000,
458  0x1999999a, 0x55555555, 0x00000000, 0x00000000,
459  0x33333333, 0x7fffffff, 0x00000000, 0x00000000,
460  0x66666666, 0x00000000, 0x00000000, 0x00000000,
461  0x00000000, 0x00000000, 0x00000000, 0x00000000,
462  0x00000000, 0x55555555, 0x00000000, 0x00000000,
463  0x33333333, 0x7fffffff, 0x00000000, 0x00000000,
464  0x66666666, 0x7fffffff, 0x00000000, 0x00000000,
465  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
466  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
467  0x00000000, 0x00000000, 0x00000000, 0x00000000,
468  0x00000000, 0x00000000, 0x00000000, 0x00000000,
469  0x00000000, 0x00000000, 0x00000000, 0x00000000,
470  0x00000000, 0x00000000, 0x00000000, 0x00000000,
471  0x00000000, 0x0aaaaaab, 0x00000000, 0x00000000,
472  0x0aaaaaab, 0x1fffffff, 0x00000000, 0x00000000,
473  0x15555555, 0x3fffffff, 0x00000000, 0x00000000,
474  0x2aaaaaab, 0x7ffffffd, 0x00000000, 0x00000000,
475  0x55555555, 0x7fffffff, 0x00000000, 0x00000000,
476  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
477  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
478  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
479  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
480  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
481  0x7fffffff, 0x10000000, 0x00000000, 0x00000000,
482  0x0aaaaaab, 0x1fffffff, 0x00000000, 0x00000000,
483  0x15555555, 0x3fffffff, 0x00000000, 0x00000000,
484  0x2aaaaaab, 0x7fffffff, 0x00000000, 0x00000000,
485  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
486  0x7fffffff, 0x10000000, 0x00000000, 0x00000000,
487  0x0aaaaaab, 0x1fffffff, 0x00000000, 0x00000000,
488  0x15555555, 0x3fffffff, 0x00000000, 0x00000000,
489  0x2aaaaaab, 0x7ffffffd, 0x00000000, 0x00000000,
490  0x55555555, 0x7fffffff, 0x00000000, 0x00000000,
491  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
492  0x00000000, 0x00000000, 0x00000000, 0x00000000,
493  0x00000000, 0x7ffffffd, 0x00000000, 0x00000000,
494  0x55555555, 0x7fffffff, 0x00000000, 0x00000000,
495  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
496  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
497  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
498  0x00000000, 0x00000000, 0x00000000, 0x00000000,
499  0x00000000, 0x00000000, 0x00000000, 0x00000000,
500  0x00000000, 0x00000000, 0x00000000, 0x00000000,
501  0x00000000, 0x00000000, 0x00000000, 0x00000000,
502  0x00000000, 0x10000000, 0x00000000, 0x00000000,
503  0x10000000, 0x20000000, 0x00000000, 0x00000000,
504  0x1fffffff, 0x3fffffff, 0x00000000, 0x00000000,
505  0x3fffffff, 0x7ffffffe, 0x00000000, 0x00000000,
506  0x7ffffffd, 0x7fffffff, 0x00000000, 0x00000000,
507  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
508  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
509  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
510  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
511  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
512  0x7fffffff, 0x10000000, 0x00000000, 0x00000000,
513  0x10000000, 0x20000000, 0x00000000, 0x00000000,
514  0x1fffffff, 0x3fffffff, 0x00000000, 0x00000000,
515  0x3fffffff, 0x7fffffff, 0x00000000, 0x00000000,
516  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
517  0x7fffffff, 0x10000000, 0x00000000, 0x00000000,
518  0x10000000, 0x20000000, 0x00000000, 0x00000000,
519  0x1fffffff, 0x3fffffff, 0x00000000, 0x00000000,
520  0x3fffffff, 0x7ffffffe, 0x00000000, 0x00000000,
521  0x7ffffffd, 0x7fffffff, 0x00000000, 0x00000000,
522  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
523  0x00000000, 0x00000000, 0x00000000, 0x00000000,
524  0x00000000, 0x7ffffffe, 0x00000000, 0x00000000,
525  0x7ffffffd, 0x7fffffff, 0x00000000, 0x00000000,
526  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
527  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
528  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
529  0x00000000, 0x00000000, 0x00000000, 0x00000000,
530  0x00000000, 0x00000000, 0x00000000, 0x00000000,
531  0x00000000, 0x00000000, 0x00000000, 0x00000000,
532  0x00000000, 0x00000000, 0x00000000, 0x00000000,
533  0x00000000, 0x10000000, 0x00000000, 0x00000000,
534  0x10000000, 0x20000000, 0x00000000, 0x00000000,
535  0x20000000, 0x40000000, 0x00000000, 0x00000000,
536  0x3fffffff, 0x7fffffff, 0x00000000, 0x00000000,
537  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
538  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
539  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
540  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
541  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
542  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
543  0x7fffffff, 0x10000000, 0x00000000, 0x00000000,
544  0x10000000, 0x20000000, 0x00000000, 0x00000000,
545  0x20000000, 0x40000000, 0x00000000, 0x00000000,
546  0x3fffffff, 0x7fffffff, 0x00000000, 0x00000000,
547  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
548  0x7fffffff, 0x10000000, 0x00000000, 0x00000000,
549  0x10000000, 0x20000000, 0x00000000, 0x00000000,
550  0x20000000, 0x40000000, 0x00000000, 0x00000000,
551  0x3fffffff, 0x7fffffff, 0x00000000, 0x00000000,
552  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
553  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
554  0x00000000, 0x00000000, 0x00000000, 0x00000000,
555  0x00000000, 0x7fffffff, 0x00000000, 0x00000000,
556  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
557  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
558  0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
559  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
560  0x00000000, 0x00000000, 0x00000000, 0x00000000,
561  0x00000000, 0x00000000, 0x00000000, 0x00000000,
562  0x00000000, 0x00000000, 0x00000000, 0x00000000,
563  0x00000000, 0x00000000, 0x00000000, 0x00000000,
564  0x00000000, 0x10000000, 0x00000000, 0x00000000,
565  0x10000000, 0xe0000000, 0x00000000, 0x00000000,
566  0x20000000, 0xc0000000, 0x00000000, 0x00000000,
567  0x40000000, 0x80000000, 0x00000000, 0x00000000,
568  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
569  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
570  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
571  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
572  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
573  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
574  0x7fffffff, 0xf0000000, 0x00000000, 0x00000000,
575  0x10000000, 0xe0000000, 0x00000000, 0x00000000,
576  0x20000000, 0xc0000000, 0x00000000, 0x00000000,
577  0x40000000, 0x80000000, 0x00000000, 0x00000000,
578  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
579  0x7fffffff, 0xf0000000, 0x00000000, 0x00000000,
580  0x10000000, 0xe0000000, 0x00000000, 0x00000000,
581  0x20000000, 0xc0000000, 0x00000000, 0x00000000,
582  0x40000000, 0x80000000, 0x00000000, 0x00000000,
583  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
584  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
585  0x00000000, 0x00000000, 0x00000000, 0x00000000,
586  0x00000000, 0x80000000, 0x00000000, 0x00000000,
587  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
588  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
589  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
590  0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
591  0x00000000, 0x00000000, 0x00000000, 0x00000000,
592  0x00000000, 0x00000000, 0x00000000, 0x00000000,
593  0x00000000, 0x00000000, 0x00000000, 0x00000000,
594  0x00000000, 0x00000000, 0x00000000, 0x00000000,
595  0x00000000, 0xf0000000, 0x00000000, 0x00000000,
596  0xf0000000, 0xe0000000, 0x00000000, 0x00000000,
597  0xe0000000, 0xc0000001, 0x00000000, 0x00000000,
598  0xc0000000, 0x80000001, 0x00000000, 0x00000000,
599  0x80000000, 0x80000000, 0x00000000, 0x00000000,
600  0x80000000, 0x80000000, 0x00000000, 0x00000000,
601  0x80000000, 0x80000000, 0x00000000, 0x00000000,
602  0x80000000, 0x80000000, 0x00000000, 0x00000000,
603  0x80000000, 0x80000000, 0x00000000, 0x00000000,
604  0x80000000, 0x80000000, 0x00000000, 0x00000000,
605  0x80000000, 0xf0000000, 0x00000000, 0x00000000,
606  0xf0000000, 0xe0000000, 0x00000000, 0x00000000,
607  0xe0000000, 0xc0000001, 0x00000000, 0x00000000,
608  0xc0000000, 0x80000000, 0x00000000, 0x00000000,
609  0x80000000, 0x80000000, 0x00000000, 0x00000000,
610  0x80000000, 0xf0000000, 0x00000000, 0x00000000,
611  0xf0000000, 0xe0000000, 0x00000000, 0x00000000,
612  0xe0000000, 0xc0000001, 0x00000000, 0x00000000,
613  0xc0000000, 0x80000001, 0x00000000, 0x00000000,
614  0x80000000, 0x80000000, 0x00000000, 0x00000000,
615  0x80000000, 0x00000000, 0x00000000, 0x00000000,
616  0x00000000, 0x00000000, 0x00000000, 0x00000000,
617  0x00000000, 0x80000001, 0x00000000, 0x00000000,
618  0x80000000, 0x80000000, 0x00000000, 0x00000000,
619  0x80000000, 0x80000000, 0x00000000, 0x00000000,
620  0x80000000, 0x80000000, 0x00000000, 0x00000000,
621  0x80000000, 0x00000000, 0x00000000, 0x00000000,
622  0x00000000, 0x00000000, 0x00000000, 0x00000000,
623  0x00000000, 0x00000000, 0x00000000, 0x00000000,
624  0x00000000, 0x00000000, 0x00000000, 0x00000000,
625  0x00000000, 0x00000000, 0x00000000, 0x00000000,
626  0x00000000, 0xf0000000, 0x00000000, 0x00000000,
627  0xf0000000, 0xeaaaaaab, 0x00000000, 0x00000000,
628  0xe0000000, 0xd5555555, 0x00000000, 0x00000000,
629  0xc0000001, 0xaaaaaaaa, 0x00000000, 0x00000000,
630  0x80000001, 0x80000000, 0x00000000, 0x00000000,
631  0x80000000, 0x80000000, 0x00000000, 0x00000000,
632  0x80000000, 0x80000000, 0x00000000, 0x00000000,
633  0x80000000, 0x80000000, 0x00000000, 0x00000000,
634  0x80000000, 0x80000000, 0x00000000, 0x00000000,
635  0x80000000, 0x80000000, 0x00000000, 0x00000000,
636  0x80000000, 0xf5555555, 0x00000000, 0x00000000,
637  0xf0000000, 0xeaaaaaab, 0x00000000, 0x00000000,
638  0xe0000000, 0xd5555555, 0x00000000, 0x00000000,
639  0xc0000001, 0x80000000, 0x00000000, 0x00000000,
640  0x80000000, 0x80000000, 0x00000000, 0x00000000,
641  0x80000000, 0xf5555555, 0x00000000, 0x00000000,
642  0xf0000000, 0xeaaaaaab, 0x00000000, 0x00000000,
643  0xe0000000, 0xd5555555, 0x00000000, 0x00000000,
644  0xc0000001, 0xaaaaaaaa, 0x00000000, 0x00000000,
645  0x80000001, 0x80000000, 0x00000000, 0x00000000,
646  0x80000000, 0x00000000, 0x00000000, 0x00000000,
647  0x00000000, 0x00000000, 0x00000000, 0x00000000,
648  0x00000000, 0xaaaaaaaa, 0x00000000, 0x00000000,
649  0x80000001, 0x80000000, 0x00000000, 0x00000000,
650  0x80000000, 0x80000000, 0x00000000, 0x00000000,
651  0x80000000, 0x80000000, 0x00000000, 0x00000000,
652  0x80000000, 0x00000000, 0x00000000, 0x00000000,
653  0x00000000, 0x00000000, 0x00000000, 0x00000000,
654  0x00000000, 0x00000000, 0x00000000, 0x00000000,
655  0x00000000, 0x00000000, 0x00000000, 0x00000000,
656  0x00000000, 0x00000000, 0x00000000, 0x00000000,
657  0x00000000, 0xf5555555, 0x00000000, 0x00000000,
658  0xf5555555, 0xf3333333, 0x00000000, 0x00000000,
659  0xeaaaaaab, 0xe6666666, 0x00000000, 0x00000000,
660  0xd5555555, 0xcccccccc, 0x00000000, 0x00000000,
661  0xaaaaaaaa, 0x99999998, 0x00000000, 0x00000000,
662  0x80000000, 0x80000000, 0x00000000, 0x00000000,
663  0x80000000, 0x80000000, 0x00000000, 0x00000000,
664  0x80000000, 0x80000000, 0x00000000, 0x00000000,
665  0x80000000, 0x80000000, 0x00000000, 0x00000000,
666  0x80000000, 0x80000000, 0x00000000, 0x00000000,
667  0x80000000, 0xf999999a, 0x00000000, 0x00000000,
668  0xf5555555, 0xf3333333, 0x00000000, 0x00000000,
669  0xeaaaaaab, 0xe6666666, 0x00000000, 0x00000000,
670  0xd5555555, 0x80000000, 0x00000000, 0x00000000,
671  0x80000000, 0x80000000, 0x00000000, 0x00000000,
672  0x80000000, 0xf999999a, 0x00000000, 0x00000000,
673  0xf5555555, 0xf3333333, 0x00000000, 0x00000000,
674  0xeaaaaaab, 0xe6666666, 0x00000000, 0x00000000,
675  0xd5555555, 0xcccccccc, 0x00000000, 0x00000000,
676  0xaaaaaaaa, 0x99999998, 0x00000000, 0x00000000,
677  0x80000000, 0x00000000, 0x00000000, 0x00000000,
678  0x00000000, 0x00000000, 0x00000000, 0x00000000,
679  0x00000000, 0xcccccccc, 0x00000000, 0x00000000,
680  0xaaaaaaaa, 0x99999998, 0x00000000, 0x00000000,
681  0x80000000, 0x80000000, 0x00000000, 0x00000000,
682  0x80000000, 0x80000000, 0x00000000, 0x00000000,
683  0x80000000, 0x00000000, 0x00000000, 0x00000000,
684  0x00000000, 0x00000000, 0x00000000, 0x00000000,
685  0x00000000, 0x00000000, 0x00000000, 0x00000000,
686  0x00000000, 0x00000000, 0x00000000, 0x00000000,
687  0x00000000, 0x00000000, 0x00000000, 0x00000000,
688  0x00000000, 0xf999999a, 0x00000000, 0x00000000,
689  0xf999999a, 0xffffe000, 0x00000000, 0x00000000,
690  0xf3333333, 0xffffc000, 0x00000000, 0x00000000,
691  0xe6666666, 0xffff8000, 0x00000000, 0x00000000,
692  0xcccccccc, 0xffff0000, 0x00000000, 0x00000000,
693  0x99999998, 0xfffe0000, 0x00000000, 0x00000000,
694  0x80000000, 0x80000000, 0x00000000, 0x00000000,
695  0x80000000, 0x80000000, 0x00000000, 0x00000000,
696  0x80000000, 0x80000000, 0x00000000, 0x00000000,
697  0x80000000, 0x80000000, 0x00000000, 0x00000000,
698  0x80000000, 0xfffff000, 0x00000000, 0x00000000,
699  0xf999999a, 0xffffe000, 0x00000000, 0x00000000,
700  0xf3333333, 0xffffc000, 0x00000000, 0x00000000,
701  0xe6666666, 0x80000000, 0x00000000, 0x00000000,
702  0x80000000, 0x80000000, 0x00000000, 0x00000000,
703  0x80000000, 0xfffff000, 0x00000000, 0x00000000,
704  0xf999999a, 0xffffe000, 0x00000000, 0x00000000,
705  0xf3333333, 0xffffc000, 0x00000000, 0x00000000,
706  0xe6666666, 0xffff8000, 0x00000000, 0x00000000,
707  0xcccccccc, 0xffff0000, 0x00000000, 0x00000000,
708  0x99999998, 0x00000000, 0x00000000, 0x00000000,
709  0x00000000, 0x00000000, 0x00000000, 0x00000000,
710  0x00000000, 0xffff8000, 0x00000000, 0x00000000,
711  0xcccccccc, 0xffff0000, 0x00000000, 0x00000000,
712  0x99999998, 0xfffe0000, 0x00000000, 0x00000000,
713  0x80000000, 0xfffc0000, 0x00000000, 0x00000000,
714  0x80000000, 0x00000000, 0x00000000, 0x00000000,
715  0x00000000, 0x00000000, 0x00000000, 0x00000000,
716  0x00000000, 0x00000000, 0x00000000, 0x00000000,
717  0x00000000, 0x00000000, 0x00000000, 0x00000000,
718  0x00000000, 0x00000000, 0x00000000, 0x00000000,
719  0x00000000, 0xfffff000, 0x00000000, 0x00000000,
720  0xfffff000, 0xffffe000, 0x00000000, 0x00000000,
721  0xffffe000, 0xffffc001, 0x00000000, 0x00000000,
722  0xffffc000, 0xffff8001, 0x00000000, 0x00000000,
723  0xffff8000, 0xffff0002, 0x00000000, 0x00000000,
724  0xffff0000, 0xfffe0004, 0x00000000, 0x00000000,
725  0xfffe0000, 0x80000000, 0x00000000, 0x00000000,
726  0x80000000, 0x80000000, 0x00000000, 0x00000000,
727  0x80000000, 0x80000000, 0x00000000, 0x00000000,
728  0x80000000, 0x80000000, 0x00000000, 0x00000000,
729  0x80000000, 0xfffff000, 0x00000000, 0x00000000,
730  0xfffff000, 0xffffe000, 0x00000000, 0x00000000,
731  0xffffe000, 0xffffc001, 0x00000000, 0x00000000,
732  0xffffc000, 0x80000000, 0x00000000, 0x00000000,
733  0x80000000, 0x80000000, 0x00000000, 0x00000000,
734  0x80000000, 0xfffff000, 0x00000000, 0x00000000,
735  0xfffff000, 0xffffe000, 0x00000000, 0x00000000,
736  0xffffe000, 0xffffc001, 0x00000000, 0x00000000,
737  0xffffc000, 0xffff8001, 0x00000000, 0x00000000,
738  0xffff8000, 0xffff0002, 0x00000000, 0x00000000,
739  0xffff0000, 0x00000000, 0x00000000, 0x00000000,
740  0x00000000, 0x00000000, 0x00000000, 0x00000000,
741  0x00000000, 0xffff8001, 0x00000000, 0x00000000,
742  0xffff8000, 0xffff0002, 0x00000000, 0x00000000,
743  0xffff0000, 0xfffe0004, 0x00000000, 0x00000000,
744  0xfffe0000, 0xfffc0008, 0x00000000, 0x00000000,
745  0xfffc0000, 0x00000000, 0x00000000, 0x00000000,
746  0x00000000, 0x00000000, 0x00000000, 0x00000000,
747  0x00000000, 0x00000000, 0x00000000, 0x00000000,
748  0x00000000, 0x00000000, 0x00000000, 0x00000000,
749  0x00000000, 0x00000000, 0x00000000, 0x00000000,
750  0x00000000, 0xfffff000, 0x00000000, 0x00000000,
751  0xfffff000, 0xffffe001, 0x00000000, 0x00000000,
752  0xffffe000, 0xffffc001, 0x00000000, 0x00000000,
753  0xffffc001, 0xffff8002, 0x00000000, 0x00000000,
754  0xffff8001, 0xffff0004, 0x00000000, 0x00000000,
755  0xffff0002, 0xfffe0008, 0x00000000, 0x00000000,
756  0xfffe0004, 0x80000000, 0x00000000, 0x00000000,
757  0x80000000, 0x80000000, 0x00000000, 0x00000000,
758  0x80000000, 0x80000000, 0x00000000, 0x00000000,
759  0x80000000, 0x80000000, 0x00000000, 0x00000000,
760  0x80000000, 0xfffff000, 0x00000000, 0x00000000,
761  0xfffff000, 0xffffe001, 0x00000000, 0x00000000,
762  0xffffe000, 0xffffc001, 0x00000000, 0x00000000,
763  0xffffc001, 0x80000000, 0x00000000, 0x00000000,
764  0x80000000, 0x80000000, 0x00000000, 0x00000000,
765  0x80000000, 0xfffff000, 0x00000000, 0x00000000,
766  0xfffff000, 0xffffe001, 0x00000000, 0x00000000,
767  0xffffe000, 0xffffc001, 0x00000000, 0x00000000,
768  0xffffc001, 0xffff8002, 0x00000000, 0x00000000,
769  0xffff8001, 0xffff0004, 0x00000000, 0x00000000,
770  0xffff0002, 0x00000000, 0x00000000, 0x00000000,
771  0x00000000, 0x00000000, 0x00000000, 0x00000000,
772  0x00000000, 0xffff8002, 0x00000000, 0x00000000,
773  0xffff8001, 0xffff0004, 0x00000000, 0x00000000,
774  0xffff0002, 0xfffe0008, 0x00000000, 0x00000000,
775  0xfffe0004, 0xfffc0010, 0x00000000, 0x00000000,
776  0xfffc0008, 0x00000000, 0x00000000, 0x00000000,
777  0x00000000, 0x00000000, 0x00000000, 0x00000000,
778  0x00000000, 0x00000000, 0x00000000, 0x00000000,
779  0x00000000, 0x00000000, 0x00000000, 0x00000000,
780  0x00000000, 0x00000000, 0x00000000, 0x00000000,
781  0x00000000, 0xfffff000, 0x00000000, 0x00000000,
782  0xfffff000, 0xffffe001, 0x00000000, 0x00000000,
783  0xffffe001, 0xffffc002, 0x00000000, 0x00000000,
784  0xffffc001, 0xffff8003, 0x00000000, 0x00000000,
785  0xffff8002, 0xffff0006, 0x00000000, 0x00000000,
786  0xffff0004, 0xfffe000c, 0x00000000, 0x00000000,
787  0xfffe0008, 0x80000000, 0x00000000, 0x00000000,
788  0x80000000, 0x80000000, 0x00000000, 0x00000000,
789  0x80000000, 0x80000000, 0x00000000, 0x00000000,
790  0x80000000, 0x80000000, 0x00000000, 0x00000000,
791  0x80000000, 0xfffff000, 0x00000000, 0x00000000,
792  0xfffff000, 0xffffe001, 0x00000000, 0x00000000,
793  0xffffe001, 0xffffc002, 0x00000000, 0x00000000,
794  0xffffc001, 0x80000000, 0x00000000, 0x00000000,
795  0x80000000, 0x80000000, 0x00000000, 0x00000000,
796  0x80000000, 0xfffff000, 0x00000000, 0x00000000,
797  0xfffff000, 0xffffe001, 0x00000000, 0x00000000,
798  0xffffe001, 0xffffc002, 0x00000000, 0x00000000,
799  0xffffc001, 0xffff8003, 0x00000000, 0x00000000,
800  0xffff8002, 0xffff0006, 0x00000000, 0x00000000,
801  0xffff0004, 0x00000000, 0x00000000, 0x00000000,
802  0x00000000, 0x00000000, 0x00000000, 0x00000000,
803  0x00000000, 0xffff8003, 0x00000000, 0x00000000,
804  0xffff8002, 0xffff0006, 0x00000000, 0x00000000,
805  0xffff0004, 0xfffe000c, 0x00000000, 0x00000000,
806  0xfffe0008, 0xfffc0018, 0x00000000, 0x00000000,
807  0xfffc0010, 0x00000000, 0x00000000, 0x00000000,
808  0x00000000, 0x00000000, 0x00000000, 0x00000000,
809  0x00000000, 0x00000000, 0x00000000, 0x00000000,
810  0x00000000, 0x00000000, 0x00000000, 0x00000000,
811  0x00000000, 0x00000000, 0x00000000, 0x00000000,
812  0x00000000, 0xfffff000, 0x00000000, 0x00000000,
813  0xfffff000, 0xffffffe0, 0x00000000, 0x00000000,
814  0xffffe001, 0xffffffc0, 0x00000000, 0x00000000,
815  0xffffc002, 0xffffff80, 0x00000000, 0x00000000,
816  0xffff8003, 0xffffff00, 0x00000000, 0x00000000,
817  0xffff0006, 0xfffffe00, 0x00000000, 0x00000000,
818  0xfffe000c, 0x80000000, 0x00000000, 0x00000000,
819  0x80000000, 0x80000000, 0x00000000, 0x00000000,
820  0x80000000, 0x80000000, 0x00000000, 0x00000000,
821  0x80000000, 0x80000000, 0x00000000, 0x00000000,
822  0x80000000, 0xfffffff0, 0x00000000, 0x00000000,
823  0xfffff000, 0xffffffe0, 0x00000000, 0x00000000,
824  0xffffe001, 0xffffffc0, 0x00000000, 0x00000000,
825  0xffffc002, 0x80000000, 0x00000000, 0x00000000,
826  0x80000000, 0x80000000, 0x00000000, 0x00000000,
827  0x80000000, 0xfffffff0, 0x00000000, 0x00000000,
828  0xfffff000, 0xffffffe0, 0x00000000, 0x00000000,
829  0xffffe001, 0xffffffc0, 0x00000000, 0x00000000,
830  0xffffc002, 0xffffff80, 0x00000000, 0x00000000,
831  0xffff8003, 0xffffff00, 0x00000000, 0x00000000,
832  0xffff0006, 0x00000000, 0x00000000, 0x00000000,
833  0x00000000, 0x00000000, 0x00000000, 0x00000000,
834  0x00000000, 0xffffff80, 0x00000000, 0x00000000,
835  0xffff8003, 0xffffff00, 0x00000000, 0x00000000,
836  0xffff0006, 0xfffffe00, 0x00000000, 0x00000000,
837  0xfffe000c, 0xfffffc00, 0x00000000, 0x00000000,
838  0xfffc0018, 0x00000000, 0x00000000, 0x00000000,
839  0x00000000, 0x00000000, 0x00000000, 0x00000000,
840  0x00000000, 0x00000000, 0x00000000, 0x00000000,
841  0x00000000, 0x00000000, 0x00000000, 0x00000000,
842  0x00000000, 0x00000000, 0x00000000, 0x00000000,
843  0x00000000, 0xfffffff0, 0x00000000, 0x00000000,
844  0xfffffff0, 0xffffffe0, 0x00000000, 0x00000000,
845  0xffffffe0, 0xffffffc1, 0x00000000, 0x00000000,
846  0xffffffc0, 0xffffff81, 0x00000000, 0x00000000,
847  0xffffff80, 0xffffff02, 0x00000000, 0x00000000,
848  0xffffff00, 0xfffffe04, 0x00000000, 0x00000000,
849  0xfffffe00, 0x80000000, 0x00000000, 0x00000000,
850  0x80000000, 0x80000000, 0x00000000, 0x00000000,
851  0x80000000, 0x80000000, 0x00000000, 0x00000000,
852  0x80000000, 0x80000000, 0x00000000, 0x00000000,
853  0x80000000, 0xfffffff0, 0x00000000, 0x00000000,
854  0xfffffff0, 0xffffffe0, 0x00000000, 0x00000000,
855  0xffffffe0, 0xffffffc1, 0x00000000, 0x00000000,
856  0xffffffc0, 0x80000000, 0x00000000, 0x00000000,
857  0x80000000, 0x80000000, 0x00000000, 0x00000000,
858  0x80000000, 0xfffffff0, 0x00000000, 0x00000000,
859  0xfffffff0, 0xffffffe0, 0x00000000, 0x00000000,
860  0xffffffe0, 0xffffffc1, 0x00000000, 0x00000000,
861  0xffffffc0, 0xffffff81, 0x00000000, 0x00000000,
862  0xffffff80, 0xffffff02, 0x00000000, 0x00000000,
863  0xffffff00, 0x00000000, 0x00000000, 0x00000000,
864  0x00000000, 0x00000000, 0x00000000, 0x00000000,
865  0x00000000, 0xffffff81, 0x00000000, 0x00000000,
866  0xffffff80, 0xffffff02, 0x00000000, 0x00000000,
867  0xffffff00, 0xfffffe04, 0x00000000, 0x00000000,
868  0xfffffe00, 0xfffffc08, 0x00000000, 0x00000000,
869  0xfffffc00, 0x00000000, 0x00000000, 0x00000000,
870  0x00000000, 0x00000000, 0x00000000, 0x00000000,
871  0x00000000, 0x00000000, 0x00000000, 0x00000000,
872  0x00000000, 0x00000000, 0x00000000, 0x00000000,
873  0x00000000, 0x00000000, 0x00000000, 0x00000000,
874  0x00000000, 0xfffffff0, 0x00000000, 0x00000000,
875  0xfffffff0, 0xffffffe1, 0x00000000, 0x00000000,
876  0xffffffe0, 0xffffffc1, 0x00000000, 0x00000000,
877  0xffffffc1, 0xffffff82, 0x00000000, 0x00000000,
878  0xffffff81, 0xffffff04, 0x00000000, 0x00000000,
879  0xffffff02, 0xfffffe08, 0x00000000, 0x00000000,
880  0xfffffe04, 0x80000000, 0x00000000, 0x00000000,
881  0x80000000, 0x80000000, 0x00000000, 0x00000000,
882  0x80000000, 0x80000000, 0x00000000, 0x00000000,
883  0x80000000, 0x80000000, 0x00000000, 0x00000000,
884  0x80000000, 0xfffffff0, 0x00000000, 0x00000000,
885  0xfffffff0, 0xffffffe1, 0x00000000, 0x00000000,
886  0xffffffe0, 0xffffffc1, 0x00000000, 0x00000000,
887  0xffffffc1, 0x80000000, 0x00000000, 0x00000000,
888  0x80000000, 0x80000000, 0x00000000, 0x00000000,
889  0x80000000, 0xfffffff0, 0x00000000, 0x00000000,
890  0xfffffff0, 0xffffffe1, 0x00000000, 0x00000000,
891  0xffffffe0, 0xffffffc1, 0x00000000, 0x00000000,
892  0xffffffc1, 0xffffff82, 0x00000000, 0x00000000,
893  0xffffff81, 0xffffff04, 0x00000000, 0x00000000,
894  0xffffff02, 0x00000000, 0x00000000, 0x00000000,
895  0x00000000, 0x00000000, 0x00000000, 0x00000000,
896  0x00000000, 0xffffff82, 0x00000000, 0x00000000,
897  0xffffff81, 0xffffff04, 0x00000000, 0x00000000,
898  0xffffff02, 0xfffffe08, 0x00000000, 0x00000000,
899  0xfffffe04, 0xfffffc10, 0x00000000, 0x00000000,
900  0xfffffc08, 0x00000000, 0x00000000, 0x00000000,
901  0x00000000, 0x00000000, 0x00000000, 0x00000000,
902  0x00000000, 0x00000000, 0x00000000, 0x00000000,
903  0x00000000, 0x00000000, 0x00000000, 0x00000000,
904  0x00000000, 0x00000000, 0x00000000, 0x00000000,
905  0x00000000, 0xfffffff0, 0x00000000, 0x00000000,
906  0xfffffff0, 0xffffffe1, 0x00000000, 0x00000000,
907  0xffffffe1, 0xffffffc2, 0x00000000, 0x00000000,
908  0xffffffc1, 0xffffff83, 0x00000000, 0x00000000,
909  0xffffff82, 0xffffff06, 0x00000000, 0x00000000,
910  0xffffff04, 0xfffffe0c, 0x00000000, 0x00000000,
911  0xfffffe08, 0x80000000, 0x00000000, 0x00000000,
912  0x80000000, 0x80000000, 0x00000000, 0x00000000,
913  0x80000000, 0x80000000, 0x00000000, 0x00000000,
914  0x80000000, 0x80000000, 0x00000000, 0x00000000,
915  0x80000000, 0xfffffff0, 0x00000000, 0x00000000,
916  0xfffffff0, 0xffffffe1, 0x00000000, 0x00000000,
917  0xffffffe1, 0xffffffc2, 0x00000000, 0x00000000,
918  0xffffffc1, 0x80000000, 0x00000000, 0x00000000,
919  0x80000000, 0x80000000, 0x00000000, 0x00000000,
920  0x80000000, 0xfffffff0, 0x00000000, 0x00000000,
921  0xfffffff0, 0xffffffe1, 0x00000000, 0x00000000,
922  0xffffffe1, 0xffffffc2, 0x00000000, 0x00000000,
923  0xffffffc1, 0xffffff83, 0x00000000, 0x00000000,
924  0xffffff82, 0xffffff06, 0x00000000, 0x00000000,
925  0xffffff04, 0x00000000, 0x00000000, 0x00000000,
926  0x00000000, 0x00000000, 0x00000000, 0x00000000,
927  0x00000000, 0xffffff83, 0x00000000, 0x00000000,
928  0xffffff82, 0xffffff06, 0x00000000, 0x00000000,
929  0xffffff04, 0xfffffe0c, 0x00000000, 0x00000000,
930  0xfffffe08, 0xfffffc18, 0x00000000, 0x00000000,
931  0xfffffc10, 0x00000000, 0x00000000, 0x00000000,
932  0x00000000, 0x00000000, 0x00000000, 0x00000000,
933  0x00000000, 0x00000000, 0x00000000, 0x00000000,
934  0x00000000, 0x00000000, 0x00000000, 0x00000000,
935  0x00000000, 0x00000000, 0x00000000, 0x00000000,
936  0x00000000, 0xfffffff0, 0x00000000, 0x00000000,
937  0xfffffff0, 0xfffffff8, 0x00000000, 0x00000000,
938  0xffffffe1, 0xfffffff0, 0x00000000, 0x00000000,
939  0xffffffc2, 0xffffffe0, 0x00000000, 0x00000000,
940  0xffffff83, 0xffffffc0, 0x00000000, 0x00000000,
941  0xffffff06, 0xffffff80, 0x00000000, 0x00000000,
942  0xfffffe0c, 0x80000000, 0x00000000, 0x00000000,
943  0x80000000, 0x80000000, 0x00000000, 0x00000000,
944  0x80000000, 0x80000000, 0x00000000, 0x00000000,
945  0x80000000, 0x80000000, 0x00000000, 0x00000000,
946  0x80000000, 0xfffffffc, 0x00000000, 0x00000000,
947  0xfffffff0, 0xfffffff8, 0x00000000, 0x00000000,
948  0xffffffe1, 0xfffffff0, 0x00000000, 0x00000000,
949  0xffffffc2, 0x80000000, 0x00000000, 0x00000000,
950  0x80000000, 0x80000000, 0x00000000, 0x00000000,
951  0x80000000, 0xfffffffc, 0x00000000, 0x00000000,
952  0xfffffff0, 0xfffffff8, 0x00000000, 0x00000000,
953  0xffffffe1, 0xfffffff0, 0x00000000, 0x00000000,
954  0xffffffc2, 0xffffffe0, 0x00000000, 0x00000000,
955  0xffffff83, 0xffffffc0, 0x00000000, 0x00000000,
956  0xffffff06, 0x00000000, 0x00000000, 0x00000000,
957  0x00000000, 0x00000000, 0x00000000, 0x00000000,
958  0x00000000, 0xffffffe0, 0x00000000, 0x00000000,
959  0xffffff83, 0xffffffc0, 0x00000000, 0x00000000,
960  0xffffff06, 0xffffff80, 0x00000000, 0x00000000,
961  0xfffffe0c, 0xffffff00, 0x00000000, 0x00000000,
962  0xfffffc18, 0x00000000, 0x00000000, 0x00000000,
963  0x00000000, 0x00000000, 0x00000000, 0x00000000,
964  0x00000000, 0x00000000, 0x00000000, 0x00000000,
965  0x00000000, 0x00000000, 0x00000000, 0x00000000,
966  0x00000000, 0x00000000, 0x00000000, 0x00000000,
967  0x00000000, 0xfffffffc, 0x00000000, 0x00000000,
968  0xfffffffc, 0xffffffff, 0x00000000, 0x00000000,
969  0xfffffff8, 0xffffffff, 0x00000000, 0x00000000,
970  0xfffffff0, 0xfffffffd, 0x00000000, 0x00000000,
971  0xffffffe0, 0xfffffffa, 0x00000000, 0x00000000,
972  0xffffffc0, 0xfffffff4, 0x00000000, 0x00000000,
973  0xffffff80, 0x80000000, 0x00000000, 0x00000000,
974  0x80000000, 0x80000000, 0x00000000, 0x00000000,
975  0x80000000, 0x80000000, 0x00000000, 0x00000000,
976  0x80000000, 0x80000000, 0x00000000, 0x00000000,
977  0x80000000, 0x00000000, 0x00000000, 0x00000000,
978  0xfffffffc, 0xffffffff, 0x00000000, 0x00000000,
979  0xfffffff8, 0xffffffff, 0x00000000, 0x00000000,
980  0xfffffff0, 0x80000000, 0x00000000, 0x00000000,
981  0x80000000, 0x80000000, 0x00000000, 0x00000000,
982  0x80000000, 0x00000000, 0x00000000, 0x00000000,
983  0xfffffffc, 0xffffffff, 0x00000000, 0x00000000,
984  0xfffffff8, 0xffffffff, 0x00000000, 0x00000000,
985  0xfffffff0, 0xfffffffd, 0x00000000, 0x00000000,
986  0xffffffe0, 0xfffffffa, 0x00000000, 0x00000000,
987  0xffffffc0, 0x00000000, 0x00000000, 0x00000000,
988  0x00000000, 0x00000000, 0x00000000, 0x00000000,
989  0x00000000, 0xfffffffd, 0x00000000, 0x00000000,
990  0xffffffe0, 0xfffffffa, 0x00000000, 0x00000000,
991  0xffffffc0, 0xfffffff4, 0x00000000, 0x00000000,
992  0xffffff80, 0xffffffe8, 0x00000000, 0x00000000,
993  0xffffff00, 0x00000000, 0x00000000, 0x00000000,
994  0x00000000, 0x00000000, 0x00000000, 0x00000000,
995  0x00000000, 0x00000000, 0x00000000, 0x00000000,
996  0x00000000, 0x00000000, 0x00000000, 0x00000000,
997  0x00000000, 0x00000000, 0x00000000, 0x00000000,
998  0x00000000, 0x00000000, 0x00000000, 0x00000000,
999};
1000const unsigned kExpectedCount_NEON_sqrshl_2S = 961;
1001
1002#endif  // VIXL_SIM_SQRSHL_2S_TRACE_AARCH64_H_
1003