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_UHADD_2S_TRACE_AARCH64_H_
35#define VIXL_SIM_UHADD_2S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_uhadd_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, 0x40003f80, 0x00000000, 0x00000000,
56  0x40003f00, 0x40003f80, 0x00000000, 0x00000000,
57  0x40003f00, 0x555594d5, 0x00000000, 0x00000000,
58  0x55559455, 0x6666a5e6, 0x00000000, 0x00000000,
59  0x6666a566, 0x7fffff80, 0x00000000, 0x00000000,
60  0x7fffff00, 0x7fffff80, 0x00000000, 0x00000000,
61  0x7fffff00, 0x7fffff81, 0x00000000, 0x00000000,
62  0x7fffff01, 0x7fffff81, 0x00000000, 0x00000000,
63  0x7fffff01, 0x80003f40, 0x00000000, 0x00000000,
64  0x80003ec0, 0x80003f40, 0x00000000, 0x00000000,
65  0x80003ec0, 0x80003f41, 0x00000000, 0x00000000,
66  0x80003ec1, 0x80003f41, 0x00000000, 0x00000000,
67  0x80003ec1, 0x80003f70, 0x00000000, 0x00000000,
68  0x80003ef0, 0x80003f7e, 0x00000000, 0x00000000,
69  0x80003f7e, 0x803ffe7f, 0x00000000, 0x00000000,
70  0x80003f7f, 0x803ffe7f, 0x00000000, 0x00000000,
71  0x80003f7f, 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, 0x403ffe80, 0x00000000, 0x00000000,
87  0x40003f80, 0x403ffe80, 0x00000000, 0x00000000,
88  0x40003f80, 0x559553d5, 0x00000000, 0x00000000,
89  0x555594d5, 0x66a664e6, 0x00000000, 0x00000000,
90  0x6666a5e6, 0x803fbe80, 0x00000000, 0x00000000,
91  0x7fffff80, 0x803fbe80, 0x00000000, 0x00000000,
92  0x7fffff80, 0x803fbe81, 0x00000000, 0x00000000,
93  0x7fffff81, 0x803fbe81, 0x00000000, 0x00000000,
94  0x7fffff81, 0x803ffe40, 0x00000000, 0x00000000,
95  0x80003f40, 0x803ffe40, 0x00000000, 0x00000000,
96  0x80003f40, 0x803ffe41, 0x00000000, 0x00000000,
97  0x80003f41, 0x803ffe41, 0x00000000, 0x00000000,
98  0x80003f41, 0x803ffe70, 0x00000000, 0x00000000,
99  0x80003f70, 0x803ffe7e, 0x00000000, 0x00000000,
100  0x803ffe7e, 0x7fffffff, 0x00000000, 0x00000000,
101  0x803ffe7f, 0x7fffffff, 0x00000000, 0x00000000,
102  0x803ffe7f, 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, 0x40000000, 0x00000000, 0x00000000,
118  0x403ffe80, 0x40000000, 0x00000000, 0x00000000,
119  0x403ffe80, 0x55555555, 0x00000000, 0x00000000,
120  0x559553d5, 0x66666666, 0x00000000, 0x00000000,
121  0x66a664e6, 0x7fffc000, 0x00000000, 0x00000000,
122  0x803fbe80, 0x7fffc000, 0x00000000, 0x00000000,
123  0x803fbe80, 0x7fffc001, 0x00000000, 0x00000000,
124  0x803fbe81, 0x7fffc001, 0x00000000, 0x00000000,
125  0x803fbe81, 0x7fffffc0, 0x00000000, 0x00000000,
126  0x803ffe40, 0x7fffffc0, 0x00000000, 0x00000000,
127  0x803ffe40, 0x7fffffc1, 0x00000000, 0x00000000,
128  0x803ffe41, 0x7fffffc1, 0x00000000, 0x00000000,
129  0x803ffe41, 0x7ffffff0, 0x00000000, 0x00000000,
130  0x803ffe70, 0x7ffffffe, 0x00000000, 0x00000000,
131  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
132  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
133  0x7fffffff, 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, 0x40000000, 0x00000000, 0x00000000,
149  0x40000000, 0x40000001, 0x00000000, 0x00000000,
150  0x40000000, 0x55555555, 0x00000000, 0x00000000,
151  0x55555555, 0x66666666, 0x00000000, 0x00000000,
152  0x66666666, 0x7fffc000, 0x00000000, 0x00000000,
153  0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
154  0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
155  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
156  0x7fffc001, 0x7fffffc0, 0x00000000, 0x00000000,
157  0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
158  0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
159  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
160  0x7fffffc1, 0x7ffffff0, 0x00000000, 0x00000000,
161  0x7ffffff0, 0x7fffffff, 0x00000000, 0x00000000,
162  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
163  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
164  0x80000000, 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, 0x40000001, 0x00000000, 0x00000000,
180  0x40000000, 0x40000001, 0x00000000, 0x00000000,
181  0x40000001, 0x55555556, 0x00000000, 0x00000000,
182  0x55555555, 0x66666667, 0x00000000, 0x00000000,
183  0x66666666, 0x7fffc001, 0x00000000, 0x00000000,
184  0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
185  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
186  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
187  0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
188  0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
189  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
190  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
191  0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
192  0x7ffffff0, 0x7fffffff, 0x00000000, 0x00000000,
193  0x7fffffff, 0x8000000f, 0x00000000, 0x00000000,
194  0x80000000, 0x8000000f, 0x00000000, 0x00000000,
195  0x80000000, 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, 0x40000010, 0x00000000, 0x00000000,
211  0x40000001, 0x40000010, 0x00000000, 0x00000000,
212  0x40000001, 0x55555565, 0x00000000, 0x00000000,
213  0x55555556, 0x66666676, 0x00000000, 0x00000000,
214  0x66666667, 0x7fffc010, 0x00000000, 0x00000000,
215  0x7fffc001, 0x7fffc010, 0x00000000, 0x00000000,
216  0x7fffc001, 0x7fffc011, 0x00000000, 0x00000000,
217  0x7fffc002, 0x7fffc011, 0x00000000, 0x00000000,
218  0x7fffc002, 0x7fffffd0, 0x00000000, 0x00000000,
219  0x7fffffc1, 0x7fffffd0, 0x00000000, 0x00000000,
220  0x7fffffc1, 0x7fffffd1, 0x00000000, 0x00000000,
221  0x7fffffc2, 0x7fffffd1, 0x00000000, 0x00000000,
222  0x7fffffc2, 0x80000000, 0x00000000, 0x00000000,
223  0x7ffffff1, 0x8000000e, 0x00000000, 0x00000000,
224  0x8000000e, 0x8000003d, 0x00000000, 0x00000000,
225  0x8000000f, 0x8000003e, 0x00000000, 0x00000000,
226  0x8000000f, 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, 0x4000003e, 0x00000000, 0x00000000,
242  0x40000010, 0x4000003f, 0x00000000, 0x00000000,
243  0x40000010, 0x55555593, 0x00000000, 0x00000000,
244  0x55555565, 0x666666a4, 0x00000000, 0x00000000,
245  0x66666676, 0x7fffc03e, 0x00000000, 0x00000000,
246  0x7fffc010, 0x7fffc03f, 0x00000000, 0x00000000,
247  0x7fffc010, 0x7fffc03f, 0x00000000, 0x00000000,
248  0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
249  0x7fffc011, 0x7ffffffe, 0x00000000, 0x00000000,
250  0x7fffffd0, 0x7fffffff, 0x00000000, 0x00000000,
251  0x7fffffd0, 0x7fffffff, 0x00000000, 0x00000000,
252  0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
253  0x7fffffd1, 0x8000002e, 0x00000000, 0x00000000,
254  0x80000000, 0x8000003d, 0x00000000, 0x00000000,
255  0x8000003d, 0x8000003e, 0x00000000, 0x00000000,
256  0x8000003d, 0x8000003e, 0x00000000, 0x00000000,
257  0x8000003e, 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, 0x4000003f, 0x00000000, 0x00000000,
273  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
274  0x4000003f, 0x55555594, 0x00000000, 0x00000000,
275  0x55555593, 0x666666a5, 0x00000000, 0x00000000,
276  0x666666a4, 0x7fffc03f, 0x00000000, 0x00000000,
277  0x7fffc03e, 0x7fffc03f, 0x00000000, 0x00000000,
278  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
279  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
280  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
281  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
282  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
283  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
284  0x80000000, 0x8000002f, 0x00000000, 0x00000000,
285  0x8000002e, 0x8000003d, 0x00000000, 0x00000000,
286  0x8000003d, 0x8000003e, 0x00000000, 0x00000000,
287  0x8000003e, 0x8000003f, 0x00000000, 0x00000000,
288  0x8000003e, 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, 0x4000003f, 0x00000000, 0x00000000,
304  0x4000003f, 0x40000040, 0x00000000, 0x00000000,
305  0x4000003f, 0x55555594, 0x00000000, 0x00000000,
306  0x55555594, 0x666666a5, 0x00000000, 0x00000000,
307  0x666666a5, 0x7fffc03f, 0x00000000, 0x00000000,
308  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
309  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
310  0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
311  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
312  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
313  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
314  0x80000000, 0x80000001, 0x00000000, 0x00000000,
315  0x80000000, 0x8000002f, 0x00000000, 0x00000000,
316  0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
317  0x8000003e, 0x80003ffd, 0x00000000, 0x00000000,
318  0x8000003e, 0x80003ffe, 0x00000000, 0x00000000,
319  0x8000003f, 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, 0x40003ffe, 0x00000000, 0x00000000,
335  0x4000003f, 0x40003fff, 0x00000000, 0x00000000,
336  0x40000040, 0x55559553, 0x00000000, 0x00000000,
337  0x55555594, 0x6666a664, 0x00000000, 0x00000000,
338  0x666666a5, 0x7ffffffe, 0x00000000, 0x00000000,
339  0x7fffc03f, 0x7fffffff, 0x00000000, 0x00000000,
340  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
341  0x7fffc040, 0x80000000, 0x00000000, 0x00000000,
342  0x7fffc041, 0x80003fbe, 0x00000000, 0x00000000,
343  0x7fffffff, 0x80003fbf, 0x00000000, 0x00000000,
344  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
345  0x80000000, 0x80003fc0, 0x00000000, 0x00000000,
346  0x80000001, 0x80003fee, 0x00000000, 0x00000000,
347  0x8000002f, 0x80003ffd, 0x00000000, 0x00000000,
348  0x80003ffd, 0x80003ffe, 0x00000000, 0x00000000,
349  0x80003ffd, 0x80003ffe, 0x00000000, 0x00000000,
350  0x80003ffe, 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, 0x40003fff, 0x00000000, 0x00000000,
366  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
367  0x40003fff, 0x55559554, 0x00000000, 0x00000000,
368  0x55559553, 0x6666a665, 0x00000000, 0x00000000,
369  0x6666a664, 0x7fffffff, 0x00000000, 0x00000000,
370  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
371  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
372  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
373  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
374  0x80003fbe, 0x80003fbf, 0x00000000, 0x00000000,
375  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
376  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
377  0x80003fc0, 0x80003fef, 0x00000000, 0x00000000,
378  0x80003fee, 0x80003ffd, 0x00000000, 0x00000000,
379  0x80003ffd, 0x80003ffe, 0x00000000, 0x00000000,
380  0x80003ffe, 0x80003fff, 0x00000000, 0x00000000,
381  0x80003ffe, 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, 0x40003fff, 0x00000000, 0x00000000,
397  0x40003fff, 0x40004000, 0x00000000, 0x00000000,
398  0x40003fff, 0x55559554, 0x00000000, 0x00000000,
399  0x55559554, 0x6666a665, 0x00000000, 0x00000000,
400  0x6666a665, 0x7fffffff, 0x00000000, 0x00000000,
401  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
402  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
403  0x80000000, 0x80000001, 0x00000000, 0x00000000,
404  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
405  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
406  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
407  0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
408  0x80003fc0, 0x80003fef, 0x00000000, 0x00000000,
409  0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
410  0x80003ffe, 0x99999998, 0x00000000, 0x00000000,
411  0x80003ffe, 0x99999999, 0x00000000, 0x00000000,
412  0x80003fff, 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, 0x59999999, 0x00000000, 0x00000000,
428  0x40003fff, 0x5999999a, 0x00000000, 0x00000000,
429  0x40004000, 0x6eeeeeee, 0x00000000, 0x00000000,
430  0x55559554, 0x7fffffff, 0x00000000, 0x00000000,
431  0x6666a665, 0x99995999, 0x00000000, 0x00000000,
432  0x7fffffff, 0x9999599a, 0x00000000, 0x00000000,
433  0x80000000, 0x9999599a, 0x00000000, 0x00000000,
434  0x80000000, 0x9999599b, 0x00000000, 0x00000000,
435  0x80000001, 0x99999959, 0x00000000, 0x00000000,
436  0x80003fbf, 0x9999995a, 0x00000000, 0x00000000,
437  0x80003fc0, 0x9999995a, 0x00000000, 0x00000000,
438  0x80003fc0, 0x9999995b, 0x00000000, 0x00000000,
439  0x80003fc1, 0x99999989, 0x00000000, 0x00000000,
440  0x80003fef, 0x99999998, 0x00000000, 0x00000000,
441  0x99999998, 0xaaaaaaa9, 0x00000000, 0x00000000,
442  0x99999998, 0xaaaaaaaa, 0x00000000, 0x00000000,
443  0x99999999, 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, 0x6aaaaaaa, 0x00000000, 0x00000000,
459  0x59999999, 0x6aaaaaab, 0x00000000, 0x00000000,
460  0x5999999a, 0x7fffffff, 0x00000000, 0x00000000,
461  0x6eeeeeee, 0x91111110, 0x00000000, 0x00000000,
462  0x7fffffff, 0xaaaa6aaa, 0x00000000, 0x00000000,
463  0x99995999, 0xaaaa6aab, 0x00000000, 0x00000000,
464  0x9999599a, 0xaaaa6aab, 0x00000000, 0x00000000,
465  0x9999599a, 0xaaaa6aac, 0x00000000, 0x00000000,
466  0x9999599b, 0xaaaaaa6a, 0x00000000, 0x00000000,
467  0x99999959, 0xaaaaaa6b, 0x00000000, 0x00000000,
468  0x9999995a, 0xaaaaaa6b, 0x00000000, 0x00000000,
469  0x9999995a, 0xaaaaaa6c, 0x00000000, 0x00000000,
470  0x9999995b, 0xaaaaaa9a, 0x00000000, 0x00000000,
471  0x99999989, 0xaaaaaaa9, 0x00000000, 0x00000000,
472  0xaaaaaaa9, 0xbffffffd, 0x00000000, 0x00000000,
473  0xaaaaaaa9, 0xbffffffe, 0x00000000, 0x00000000,
474  0xaaaaaaaa, 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, 0x7ffffffe, 0x00000000, 0x00000000,
490  0x6aaaaaaa, 0x7fffffff, 0x00000000, 0x00000000,
491  0x6aaaaaab, 0x95555553, 0x00000000, 0x00000000,
492  0x7fffffff, 0xa6666664, 0x00000000, 0x00000000,
493  0x91111110, 0xbfffbffe, 0x00000000, 0x00000000,
494  0xaaaa6aaa, 0xbfffbfff, 0x00000000, 0x00000000,
495  0xaaaa6aab, 0xbfffbfff, 0x00000000, 0x00000000,
496  0xaaaa6aab, 0xbfffc000, 0x00000000, 0x00000000,
497  0xaaaa6aac, 0xbfffffbe, 0x00000000, 0x00000000,
498  0xaaaaaa6a, 0xbfffffbf, 0x00000000, 0x00000000,
499  0xaaaaaa6b, 0xbfffffbf, 0x00000000, 0x00000000,
500  0xaaaaaa6b, 0xbfffffc0, 0x00000000, 0x00000000,
501  0xaaaaaa6c, 0xbfffffee, 0x00000000, 0x00000000,
502  0xaaaaaa9a, 0xbffffffd, 0x00000000, 0x00000000,
503  0xbffffffd, 0xbffffffe, 0x00000000, 0x00000000,
504  0xbffffffd, 0xbffffffe, 0x00000000, 0x00000000,
505  0xbffffffe, 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, 0x7fffffff, 0x00000000, 0x00000000,
521  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
522  0x7fffffff, 0x95555554, 0x00000000, 0x00000000,
523  0x95555553, 0xa6666665, 0x00000000, 0x00000000,
524  0xa6666664, 0xbfffbfff, 0x00000000, 0x00000000,
525  0xbfffbffe, 0xbfffbfff, 0x00000000, 0x00000000,
526  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
527  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
528  0xbfffc000, 0xbfffffbf, 0x00000000, 0x00000000,
529  0xbfffffbe, 0xbfffffbf, 0x00000000, 0x00000000,
530  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
531  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
532  0xbfffffc0, 0xbfffffef, 0x00000000, 0x00000000,
533  0xbfffffee, 0xbffffffd, 0x00000000, 0x00000000,
534  0xbffffffd, 0xbffffffe, 0x00000000, 0x00000000,
535  0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
536  0xbffffffe, 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, 0x7fffffff, 0x00000000, 0x00000000,
552  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
553  0x7fffffff, 0x95555554, 0x00000000, 0x00000000,
554  0x95555554, 0xa6666665, 0x00000000, 0x00000000,
555  0xa6666665, 0xbfffbfff, 0x00000000, 0x00000000,
556  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
557  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
558  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
559  0xbfffc000, 0xbfffffbf, 0x00000000, 0x00000000,
560  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
561  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
562  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
563  0xbfffffc0, 0xbfffffef, 0x00000000, 0x00000000,
564  0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
565  0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
566  0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
567  0xbfffffff, 0x40000000, 0x00000000, 0x00000000,
568  0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
569  0x40000000, 0x40000001, 0x00000000, 0x00000000,
570  0x40000000, 0x40000010, 0x00000000, 0x00000000,
571  0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
572  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
573  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
574  0x4000003f, 0x40003ffe, 0x00000000, 0x00000000,
575  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
576  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
577  0x40003fff, 0x59999999, 0x00000000, 0x00000000,
578  0x59999999, 0x6aaaaaaa, 0x00000000, 0x00000000,
579  0x6aaaaaaa, 0x7ffffffe, 0x00000000, 0x00000000,
580  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
581  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
582  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
583  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
584  0x80000000, 0x95555555, 0x00000000, 0x00000000,
585  0x95555554, 0xa6666666, 0x00000000, 0x00000000,
586  0xa6666665, 0xbfffc000, 0x00000000, 0x00000000,
587  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
588  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
589  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
590  0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
591  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
592  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
593  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
594  0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
595  0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
596  0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
597  0xbfffffff, 0xc0000000, 0x00000000, 0x00000000,
598  0xbfffffff, 0x40000000, 0x00000000, 0x00000000,
599  0x40000000, 0x40000001, 0x00000000, 0x00000000,
600  0x40000000, 0x40000001, 0x00000000, 0x00000000,
601  0x40000001, 0x40000010, 0x00000000, 0x00000000,
602  0x40000010, 0x4000003f, 0x00000000, 0x00000000,
603  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
604  0x4000003f, 0x40000040, 0x00000000, 0x00000000,
605  0x4000003f, 0x40003fff, 0x00000000, 0x00000000,
606  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
607  0x40003fff, 0x40004000, 0x00000000, 0x00000000,
608  0x40003fff, 0x5999999a, 0x00000000, 0x00000000,
609  0x59999999, 0x6aaaaaab, 0x00000000, 0x00000000,
610  0x6aaaaaaa, 0x7fffffff, 0x00000000, 0x00000000,
611  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
612  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
613  0x7fffffff, 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, 0x55555555, 0x00000000, 0x00000000,
630  0x40000000, 0x55555555, 0x00000000, 0x00000000,
631  0x40000001, 0x55555556, 0x00000000, 0x00000000,
632  0x40000001, 0x55555565, 0x00000000, 0x00000000,
633  0x40000010, 0x55555593, 0x00000000, 0x00000000,
634  0x4000003f, 0x55555594, 0x00000000, 0x00000000,
635  0x4000003f, 0x55555594, 0x00000000, 0x00000000,
636  0x40000040, 0x55559553, 0x00000000, 0x00000000,
637  0x40003fff, 0x55559554, 0x00000000, 0x00000000,
638  0x40003fff, 0x55559554, 0x00000000, 0x00000000,
639  0x40004000, 0x6eeeeeee, 0x00000000, 0x00000000,
640  0x5999999a, 0x7fffffff, 0x00000000, 0x00000000,
641  0x6aaaaaab, 0x95555553, 0x00000000, 0x00000000,
642  0x7fffffff, 0x95555554, 0x00000000, 0x00000000,
643  0x7fffffff, 0x95555554, 0x00000000, 0x00000000,
644  0x80000000, 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, 0x66666666, 0x00000000, 0x00000000,
661  0x55555555, 0x66666666, 0x00000000, 0x00000000,
662  0x55555555, 0x66666667, 0x00000000, 0x00000000,
663  0x55555556, 0x66666676, 0x00000000, 0x00000000,
664  0x55555565, 0x666666a4, 0x00000000, 0x00000000,
665  0x55555593, 0x666666a5, 0x00000000, 0x00000000,
666  0x55555594, 0x666666a5, 0x00000000, 0x00000000,
667  0x55555594, 0x6666a664, 0x00000000, 0x00000000,
668  0x55559553, 0x6666a665, 0x00000000, 0x00000000,
669  0x55559554, 0x6666a665, 0x00000000, 0x00000000,
670  0x55559554, 0x7fffffff, 0x00000000, 0x00000000,
671  0x6eeeeeee, 0x91111110, 0x00000000, 0x00000000,
672  0x7fffffff, 0xa6666664, 0x00000000, 0x00000000,
673  0x95555553, 0xa6666665, 0x00000000, 0x00000000,
674  0x95555554, 0xa6666665, 0x00000000, 0x00000000,
675  0x95555554, 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, 0x7fffc000, 0x00000000, 0x00000000,
692  0x66666666, 0x7fffc000, 0x00000000, 0x00000000,
693  0x66666666, 0x7fffc001, 0x00000000, 0x00000000,
694  0x66666667, 0x7fffc010, 0x00000000, 0x00000000,
695  0x66666676, 0x7fffc03e, 0x00000000, 0x00000000,
696  0x666666a4, 0x7fffc03f, 0x00000000, 0x00000000,
697  0x666666a5, 0x7fffc03f, 0x00000000, 0x00000000,
698  0x666666a5, 0x7ffffffe, 0x00000000, 0x00000000,
699  0x6666a664, 0x7fffffff, 0x00000000, 0x00000000,
700  0x6666a665, 0x7fffffff, 0x00000000, 0x00000000,
701  0x6666a665, 0x99995999, 0x00000000, 0x00000000,
702  0x7fffffff, 0xaaaa6aaa, 0x00000000, 0x00000000,
703  0x91111110, 0xbfffbffe, 0x00000000, 0x00000000,
704  0xa6666664, 0xbfffbfff, 0x00000000, 0x00000000,
705  0xa6666665, 0xbfffbfff, 0x00000000, 0x00000000,
706  0xa6666665, 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, 0x7fffc000, 0x00000000, 0x00000000,
723  0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
724  0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
725  0x7fffc001, 0x7fffc010, 0x00000000, 0x00000000,
726  0x7fffc010, 0x7fffc03f, 0x00000000, 0x00000000,
727  0x7fffc03e, 0x7fffc03f, 0x00000000, 0x00000000,
728  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
729  0x7fffc03f, 0x7fffffff, 0x00000000, 0x00000000,
730  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
731  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
732  0x7fffffff, 0x9999599a, 0x00000000, 0x00000000,
733  0x99995999, 0xaaaa6aab, 0x00000000, 0x00000000,
734  0xaaaa6aaa, 0xbfffbfff, 0x00000000, 0x00000000,
735  0xbfffbffe, 0xbfffbfff, 0x00000000, 0x00000000,
736  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
737  0xbfffbfff, 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, 0x7fffc001, 0x00000000, 0x00000000,
754  0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
755  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
756  0x7fffc001, 0x7fffc011, 0x00000000, 0x00000000,
757  0x7fffc010, 0x7fffc03f, 0x00000000, 0x00000000,
758  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
759  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
760  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
761  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
762  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
763  0x80000000, 0x9999599a, 0x00000000, 0x00000000,
764  0x9999599a, 0xaaaa6aab, 0x00000000, 0x00000000,
765  0xaaaa6aab, 0xbfffbfff, 0x00000000, 0x00000000,
766  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
767  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
768  0xbfffc000, 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, 0x7fffc001, 0x00000000, 0x00000000,
785  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
786  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
787  0x7fffc002, 0x7fffc011, 0x00000000, 0x00000000,
788  0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
789  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
790  0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
791  0x7fffc040, 0x80000000, 0x00000000, 0x00000000,
792  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
793  0x80000000, 0x80000001, 0x00000000, 0x00000000,
794  0x80000000, 0x9999599b, 0x00000000, 0x00000000,
795  0x9999599a, 0xaaaa6aac, 0x00000000, 0x00000000,
796  0xaaaa6aab, 0xbfffc000, 0x00000000, 0x00000000,
797  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
798  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
799  0xbfffc000, 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, 0x7fffffc0, 0x00000000, 0x00000000,
816  0x7fffc001, 0x7fffffc0, 0x00000000, 0x00000000,
817  0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
818  0x7fffc002, 0x7fffffd0, 0x00000000, 0x00000000,
819  0x7fffc011, 0x7ffffffe, 0x00000000, 0x00000000,
820  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
821  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
822  0x7fffc041, 0x80003fbe, 0x00000000, 0x00000000,
823  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
824  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
825  0x80000001, 0x99999959, 0x00000000, 0x00000000,
826  0x9999599b, 0xaaaaaa6a, 0x00000000, 0x00000000,
827  0xaaaa6aac, 0xbfffffbe, 0x00000000, 0x00000000,
828  0xbfffc000, 0xbfffffbf, 0x00000000, 0x00000000,
829  0xbfffc000, 0xbfffffbf, 0x00000000, 0x00000000,
830  0xbfffc001, 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, 0x7fffffc0, 0x00000000, 0x00000000,
847  0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
848  0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
849  0x7fffffc1, 0x7fffffd0, 0x00000000, 0x00000000,
850  0x7fffffd0, 0x7fffffff, 0x00000000, 0x00000000,
851  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
852  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
853  0x7fffffff, 0x80003fbf, 0x00000000, 0x00000000,
854  0x80003fbe, 0x80003fbf, 0x00000000, 0x00000000,
855  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
856  0x80003fbf, 0x9999995a, 0x00000000, 0x00000000,
857  0x99999959, 0xaaaaaa6b, 0x00000000, 0x00000000,
858  0xaaaaaa6a, 0xbfffffbf, 0x00000000, 0x00000000,
859  0xbfffffbe, 0xbfffffbf, 0x00000000, 0x00000000,
860  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
861  0xbfffffbf, 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, 0x7fffffc1, 0x00000000, 0x00000000,
878  0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
879  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
880  0x7fffffc1, 0x7fffffd1, 0x00000000, 0x00000000,
881  0x7fffffd0, 0x7fffffff, 0x00000000, 0x00000000,
882  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
883  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
884  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
885  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
886  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
887  0x80003fc0, 0x9999995a, 0x00000000, 0x00000000,
888  0x9999995a, 0xaaaaaa6b, 0x00000000, 0x00000000,
889  0xaaaaaa6b, 0xbfffffbf, 0x00000000, 0x00000000,
890  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
891  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
892  0xbfffffc0, 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, 0x7fffffc1, 0x00000000, 0x00000000,
909  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
910  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
911  0x7fffffc2, 0x7fffffd1, 0x00000000, 0x00000000,
912  0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
913  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
914  0x80000000, 0x80000001, 0x00000000, 0x00000000,
915  0x80000000, 0x80003fc0, 0x00000000, 0x00000000,
916  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
917  0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
918  0x80003fc0, 0x9999995b, 0x00000000, 0x00000000,
919  0x9999995a, 0xaaaaaa6c, 0x00000000, 0x00000000,
920  0xaaaaaa6b, 0xbfffffc0, 0x00000000, 0x00000000,
921  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
922  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
923  0xbfffffc0, 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, 0x7ffffff0, 0x00000000, 0x00000000,
940  0x7fffffc1, 0x7ffffff0, 0x00000000, 0x00000000,
941  0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
942  0x7fffffc2, 0x80000000, 0x00000000, 0x00000000,
943  0x7fffffd1, 0x8000002e, 0x00000000, 0x00000000,
944  0x80000000, 0x8000002f, 0x00000000, 0x00000000,
945  0x80000000, 0x8000002f, 0x00000000, 0x00000000,
946  0x80000001, 0x80003fee, 0x00000000, 0x00000000,
947  0x80003fc0, 0x80003fef, 0x00000000, 0x00000000,
948  0x80003fc0, 0x80003fef, 0x00000000, 0x00000000,
949  0x80003fc1, 0x99999989, 0x00000000, 0x00000000,
950  0x9999995b, 0xaaaaaa9a, 0x00000000, 0x00000000,
951  0xaaaaaa6c, 0xbfffffee, 0x00000000, 0x00000000,
952  0xbfffffc0, 0xbfffffef, 0x00000000, 0x00000000,
953  0xbfffffc0, 0xbfffffef, 0x00000000, 0x00000000,
954  0xbfffffc1, 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, 0x7ffffffe, 0x00000000, 0x00000000,
971  0x7ffffff0, 0x7fffffff, 0x00000000, 0x00000000,
972  0x7ffffff0, 0x7fffffff, 0x00000000, 0x00000000,
973  0x7ffffff1, 0x8000000e, 0x00000000, 0x00000000,
974  0x80000000, 0x8000003d, 0x00000000, 0x00000000,
975  0x8000002e, 0x8000003d, 0x00000000, 0x00000000,
976  0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
977  0x8000002f, 0x80003ffd, 0x00000000, 0x00000000,
978  0x80003fee, 0x80003ffd, 0x00000000, 0x00000000,
979  0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
980  0x80003fef, 0x99999998, 0x00000000, 0x00000000,
981  0x99999989, 0xaaaaaaa9, 0x00000000, 0x00000000,
982  0xaaaaaa9a, 0xbffffffd, 0x00000000, 0x00000000,
983  0xbfffffee, 0xbffffffd, 0x00000000, 0x00000000,
984  0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
985  0xbfffffef, 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_uhadd_2S = 961;
1001
1002#endif  // VIXL_SIM_UHADD_2S_TRACE_AARCH64_H_
1003