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