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