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