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