1// Copyright 2015, ARM Limited
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_URSHL_4H_TRACE_A64_H_
35#define VIXL_SIM_URSHL_4H_TRACE_A64_H_
36
37const uint16_t kExpected_NEON_urshl_4H[] = {
38  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
39  0x0000, 0x0000, 0x0000, 0x0aab, 0x0000, 0x0000, 0x0000, 0x0000,
40  0x0000, 0x0000, 0x0666, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
41  0x0000, 0x0010, 0x0ccd, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
42  0x0010, 0x0020, 0x199a, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
43  0x0020, 0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
44  0x003f, 0x007f, 0x6666, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000,
45  0x007e, 0x00fe, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
46  0x00fc, 0x01fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
47  0x01f8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
48  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
49  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
50  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
51  0x0000, 0x0000, 0x0000, 0x0aab, 0x0000, 0x0000, 0x0000, 0x0000,
52  0x0000, 0x0000, 0x0666, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
53  0x0000, 0x0010, 0x0ccd, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
54  0x0010, 0x0020, 0x199a, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
55  0x0020, 0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
56  0x003f, 0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
57  0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
58  0x00fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
59  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
60  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
61  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
62  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
63  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
64  0x0000, 0x0000, 0x0aab, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0000,
65  0x0000, 0x0666, 0x1555, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
66  0x0010, 0x0ccd, 0x2aab, 0x7ffd, 0x0000, 0x0000, 0x0000, 0x0000,
67  0x0020, 0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000,
68  0x0040, 0x3333, 0xaaaa, 0xfff4, 0x0000, 0x0000, 0x0000, 0x0000,
69  0x007f, 0x6666, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
70  0x00fe, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
71  0x01fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
72  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
73  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
74  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
75  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
76  0x0000, 0x0000, 0x0aab, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0000,
77  0x0000, 0x0666, 0x1555, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
78  0x0010, 0x0ccd, 0x2aab, 0x7ffd, 0x0000, 0x0000, 0x0000, 0x0000,
79  0x0020, 0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000,
80  0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
81  0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
82  0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
83  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
84  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
85  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
86  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
87  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
88  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
89  0x0000, 0x0aab, 0x1fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
90  0x0666, 0x1555, 0x3fff, 0x7ffe, 0x0000, 0x0000, 0x0000, 0x0000,
91  0x0ccd, 0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
92  0x199a, 0x5555, 0xfffa, 0xfff8, 0x0000, 0x0000, 0x0000, 0x0000,
93  0x3333, 0xaaaa, 0xfff4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
94  0x6666, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
95  0xcccc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
96  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
97  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
98  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
99  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
100  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
101  0x0000, 0x0aab, 0x1fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
102  0x0666, 0x1555, 0x3fff, 0x7ffe, 0x0000, 0x0000, 0x0000, 0x0000,
103  0x0ccd, 0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
104  0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
105  0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
106  0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
107  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
108  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
109  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
110  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
111  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
112  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
113  0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
114  0x0aab, 0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
115  0x1555, 0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000,
116  0x2aab, 0x7ffd, 0xfffc, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
117  0x5555, 0xfffa, 0xfff8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
118  0xaaaa, 0xfff4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
119  0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
120  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
121  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
122  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
123  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
124  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
125  0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
126  0x0aab, 0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
127  0x1555, 0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000,
128  0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
129  0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
130  0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
131  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
132  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
133  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
134  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
135  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
136  0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
137  0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
138  0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
139  0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
140  0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
141  0x7ffd, 0xfffc, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
142  0xfffa, 0xfff8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
143  0xfff4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
144  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
145  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
146  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
147  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
148  0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
149  0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
150  0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
151  0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
152  0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
153  0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
154  0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
155  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
156  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
157  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
158  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
159  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
160  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
161  0x0000, 0x1000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
162  0x1000, 0x2000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
163  0x2000, 0x4000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
164  0x3fff, 0x7fff, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
165  0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
166  0xfffc, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
167  0xfff8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
168  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
169  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
170  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
171  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
172  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
173  0x0000, 0x1000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
174  0x1000, 0x2000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
175  0x2000, 0x4000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
176  0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
177  0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
178  0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
179  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
180  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
181  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
182  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
183  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
184  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
185  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
186  0x1000, 0x0000, 0x0001, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
187  0x2000, 0x0000, 0x0001, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
188  0x4000, 0x0000, 0x0002, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000,
189  0x7fff, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
190  0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
191  0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
192  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
193  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
194  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
195  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
196  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
197  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
198  0x1000, 0x0000, 0x0001, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
199  0x2000, 0x0000, 0x0001, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
200  0x4000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
201  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
202  0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
203  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
204  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
205  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
206  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
207  0x0000, 0x0000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
208  0x0000, 0x0000, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
209  0x0000, 0x0000, 0x0001, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000,
210  0x0000, 0x0000, 0x0001, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
211  0x0000, 0x0001, 0x0002, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
212  0x0000, 0x0001, 0x0004, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000,
213  0x0000, 0x0002, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
214  0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
215  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
216  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
217  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
218  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
219  0x0000, 0x0000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
220  0x0000, 0x0000, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
221  0x0000, 0x0000, 0x0001, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000,
222  0x0000, 0x0000, 0x0001, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
223  0x0000, 0x0001, 0x0002, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
224  0x0000, 0x0001, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
225  0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
226  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
227  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
228  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
229  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
230  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
231  0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
232  0x0000, 0x0000, 0x0002, 0x001f, 0x0000, 0x0000, 0x0000, 0x0000,
233  0x0000, 0x0000, 0x0004, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000,
234  0x0000, 0x0001, 0x0008, 0x007d, 0x0000, 0x0000, 0x0000, 0x0000,
235  0x0000, 0x0001, 0x0010, 0x00fa, 0x0000, 0x0000, 0x0000, 0x0000,
236  0x0001, 0x0002, 0x0020, 0x01f4, 0x0000, 0x0000, 0x0000, 0x0000,
237  0x0001, 0x0004, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
238  0x0002, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
239  0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
240  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
241  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
242  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
243  0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
244  0x0000, 0x0000, 0x0002, 0x001f, 0x0000, 0x0000, 0x0000, 0x0000,
245  0x0000, 0x0000, 0x0004, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000,
246  0x0000, 0x0001, 0x0008, 0x007d, 0x0000, 0x0000, 0x0000, 0x0000,
247  0x0000, 0x0001, 0x0010, 0x00fa, 0x0000, 0x0000, 0x0000, 0x0000,
248  0x0001, 0x0002, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
249  0x0001, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
250  0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
251  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
252  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
253  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
254  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
255  0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
256  0x0000, 0x0000, 0x0010, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
257  0x0000, 0x0002, 0x001f, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000,
258  0x0000, 0x0004, 0x003f, 0x007e, 0x0000, 0x0000, 0x0000, 0x0000,
259  0x0001, 0x0008, 0x007d, 0x00fc, 0x0000, 0x0000, 0x0000, 0x0000,
260  0x0001, 0x0010, 0x00fa, 0x01f8, 0x0000, 0x0000, 0x0000, 0x0000,
261  0x0002, 0x0020, 0x01f4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
262  0x0004, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
263  0x0008, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
264  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
265  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
266  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
267  0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
268  0x0000, 0x0000, 0x0010, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
269  0x0000, 0x0002, 0x001f, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000,
270  0x0000, 0x0004, 0x003f, 0x007e, 0x0000, 0x0000, 0x0000, 0x0000,
271  0x0001, 0x0008, 0x007d, 0x00fc, 0x0000, 0x0000, 0x0000, 0x0000,
272  0x0001, 0x0010, 0x00fa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
273  0x0002, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
274  0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
275  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
276  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
277  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
278  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
279  0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
280  0x0000, 0x0000, 0x0010, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
281  0x0000, 0x0010, 0x0020, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000,
282  0x0002, 0x001f, 0x003f, 0x007f, 0x0000, 0x0000, 0x0000, 0x0000,
283  0x0004, 0x003f, 0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000,
284  0x0008, 0x007d, 0x00fc, 0x01fc, 0x0000, 0x0000, 0x0000, 0x0000,
285  0x0010, 0x00fa, 0x01f8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
286  0x0020, 0x01f4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
287  0x0040, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
288  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
289  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
290  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
291  0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
292  0x0000, 0x0000, 0x0010, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
293  0x0000, 0x0010, 0x0020, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000,
294  0x0002, 0x001f, 0x003f, 0x007f, 0x0000, 0x0000, 0x0000, 0x0000,
295  0x0004, 0x003f, 0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000,
296  0x0008, 0x007d, 0x00fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
297  0x0010, 0x00fa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
298  0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
299  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
300  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
301  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
302  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
303  0x0000, 0x0000, 0x0000, 0x0666, 0x0000, 0x0000, 0x0000, 0x0000,
304  0x0000, 0x0000, 0x0010, 0x0ccd, 0x0000, 0x0000, 0x0000, 0x0000,
305  0x0000, 0x0010, 0x0020, 0x199a, 0x0000, 0x0000, 0x0000, 0x0000,
306  0x0010, 0x0020, 0x0040, 0x3333, 0x0000, 0x0000, 0x0000, 0x0000,
307  0x001f, 0x003f, 0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000,
308  0x003f, 0x007e, 0x00fe, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000,
309  0x007d, 0x00fc, 0x01fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
310  0x00fa, 0x01f8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
311  0x01f4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
312  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
313  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
314  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
315  0x0000, 0x0000, 0x0000, 0x0666, 0x0000, 0x0000, 0x0000, 0x0000,
316  0x0000, 0x0000, 0x0010, 0x0ccd, 0x0000, 0x0000, 0x0000, 0x0000,
317  0x0000, 0x0010, 0x0020, 0x199a, 0x0000, 0x0000, 0x0000, 0x0000,
318  0x0010, 0x0020, 0x0040, 0x3333, 0x0000, 0x0000, 0x0000, 0x0000,
319  0x001f, 0x003f, 0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000,
320  0x003f, 0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
321  0x007d, 0x00fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
322  0x00fa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
323  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
324  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
325  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
326  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
327  0x0000, 0x0000, 0x0000, 0x0aab, 0x0000, 0x0000, 0x0000, 0x0000,
328  0x0000, 0x0000, 0x0666, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
329  0x0000, 0x0010, 0x0ccd, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
330  0x0010, 0x0020, 0x199a, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
331  0x0020, 0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
332  0x003f, 0x007f, 0x6666, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000,
333  0x007e, 0x00fe, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
334  0x00fc, 0x01fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
335  0x01f8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
336  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
337  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
338  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
339  0x0000, 0x0000, 0x0000, 0x0aab, 0x0000, 0x0000, 0x0000, 0x0000,
340  0x0000, 0x0000, 0x0666, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
341  0x0000, 0x0010, 0x0ccd, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
342  0x0010, 0x0020, 0x199a, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
343  0x0020, 0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
344  0x003f, 0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
345  0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
346  0x00fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
347  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
348  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
349  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
350  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
351  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
352  0x0000, 0x0000, 0x0aab, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0000,
353  0x0000, 0x0666, 0x1555, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
354  0x0010, 0x0ccd, 0x2aab, 0x7ffd, 0x0000, 0x0000, 0x0000, 0x0000,
355  0x0020, 0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000,
356  0x0040, 0x3333, 0xaaaa, 0xfff4, 0x0000, 0x0000, 0x0000, 0x0000,
357  0x007f, 0x6666, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
358  0x00fe, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
359  0x01fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
360  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
361  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
362  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
363  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
364  0x0000, 0x0000, 0x0aab, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0000,
365  0x0000, 0x0666, 0x1555, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
366  0x0010, 0x0ccd, 0x2aab, 0x7ffd, 0x0000, 0x0000, 0x0000, 0x0000,
367  0x0020, 0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000,
368  0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
369  0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
370  0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
371  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
372  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
373  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
374  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
375  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
376  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
377  0x0000, 0x0aab, 0x1fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
378  0x0666, 0x1555, 0x3fff, 0x7ffe, 0x0000, 0x0000, 0x0000, 0x0000,
379  0x0ccd, 0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
380  0x199a, 0x5555, 0xfffa, 0xfff8, 0x0000, 0x0000, 0x0000, 0x0000,
381  0x3333, 0xaaaa, 0xfff4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
382  0x6666, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
383  0xcccc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
384  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
385  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
386  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
387  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
388  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
389  0x0000, 0x0aab, 0x1fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
390  0x0666, 0x1555, 0x3fff, 0x7ffe, 0x0000, 0x0000, 0x0000, 0x0000,
391  0x0ccd, 0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
392  0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
393  0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
394  0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
395  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
396  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
397  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
398  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
399  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
400  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
401  0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
402  0x0aab, 0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
403  0x1555, 0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000,
404  0x2aab, 0x7ffd, 0xfffc, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
405  0x5555, 0xfffa, 0xfff8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
406  0xaaaa, 0xfff4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
407  0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
408  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
409  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
410  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
411  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
412  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
413  0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
414  0x0aab, 0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
415  0x1555, 0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000,
416  0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
417  0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
418  0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
419  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
420  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
421  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
422  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
423  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
424  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
425  0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
426  0x1000, 0x2000, 0x4000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0000,
427  0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
428  0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
429  0x7ffd, 0xfffc, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
430  0xfffa, 0xfff8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
431  0xfff4, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
432  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
433  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
434  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
435  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
436  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
437  0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
438  0x1000, 0x2000, 0x4000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0000,
439  0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
440  0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
441  0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
442  0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
443  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
444  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
445  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
446  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
447  0x0000, 0x0000, 0x0001, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
448  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
449  0x0000, 0x1000, 0x2000, 0x4001, 0x0000, 0x0000, 0x0000, 0x0000,
450  0x1000, 0x2000, 0x4000, 0x8001, 0x0000, 0x0000, 0x0000, 0x0000,
451  0x2000, 0x4000, 0x8000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
452  0x3fff, 0x7fff, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
453  0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
454  0xfffc, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
455  0xfff8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
456  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
457  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
458  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
459  0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
460  0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
461  0x0000, 0x1000, 0x2000, 0x4001, 0x0000, 0x0000, 0x0000, 0x0000,
462  0x1000, 0x2000, 0x4000, 0x8001, 0x0000, 0x0000, 0x0000, 0x0000,
463  0x2000, 0x4000, 0x8000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
464  0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
465  0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
466  0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
467  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
468  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
469  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
470  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
471  0x0000, 0x0000, 0x0001, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
472  0x0000, 0x0001, 0x1000, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
473  0x0000, 0x1000, 0x2000, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
474  0x1000, 0x2000, 0x4001, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
475  0x2000, 0x4000, 0x8001, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000,
476  0x4000, 0x8000, 0x0002, 0xaaa8, 0x0000, 0x0000, 0x0000, 0x0000,
477  0x7fff, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
478  0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
479  0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
480  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
481  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
482  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
483  0x0000, 0x0000, 0x0000, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
484  0x0000, 0x0000, 0x1000, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
485  0x0000, 0x1000, 0x2000, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
486  0x1000, 0x2000, 0x4001, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
487  0x2000, 0x4000, 0x8001, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000,
488  0x4000, 0x8000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
489  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
490  0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
491  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
492  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
493  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
494  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
495  0x0000, 0x0000, 0x0001, 0x199a, 0x0000, 0x0000, 0x0000, 0x0000,
496  0x0000, 0x0001, 0x1555, 0x3333, 0x0000, 0x0000, 0x0000, 0x0000,
497  0x0001, 0x1000, 0x2aab, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000,
498  0x1000, 0x2000, 0x5555, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000,
499  0x2000, 0x4001, 0xaaaa, 0x9998, 0x0000, 0x0000, 0x0000, 0x0000,
500  0x4000, 0x8001, 0x5554, 0x3330, 0x0000, 0x0000, 0x0000, 0x0000,
501  0x8000, 0x0002, 0xaaa8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
502  0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
503  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
504  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
505  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
506  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
507  0x0000, 0x0000, 0x0000, 0x199a, 0x0000, 0x0000, 0x0000, 0x0000,
508  0x0000, 0x0000, 0x1555, 0x3333, 0x0000, 0x0000, 0x0000, 0x0000,
509  0x0000, 0x1000, 0x2aab, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000,
510  0x1000, 0x2000, 0x5555, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000,
511  0x2000, 0x4001, 0xaaaa, 0x9998, 0x0000, 0x0000, 0x0000, 0x0000,
512  0x4000, 0x8001, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
513  0x8000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
514  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
515  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
516  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
517  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
518  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
519  0x0000, 0x0000, 0x0001, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
520  0x0000, 0x0001, 0x199a, 0x3fe0, 0x0000, 0x0000, 0x0000, 0x0000,
521  0x0001, 0x1555, 0x3333, 0x7fc0, 0x0000, 0x0000, 0x0000, 0x0000,
522  0x1000, 0x2aab, 0x6666, 0xff80, 0x0000, 0x0000, 0x0000, 0x0000,
523  0x2000, 0x5555, 0xcccc, 0xff00, 0x0000, 0x0000, 0x0000, 0x0000,
524  0x4001, 0xaaaa, 0x9998, 0xfe00, 0x0000, 0x0000, 0x0000, 0x0000,
525  0x8001, 0x5554, 0x3330, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
526  0x0002, 0xaaa8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
527  0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
528  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
529  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
530  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
531  0x0000, 0x0000, 0x0000, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
532  0x0000, 0x0000, 0x199a, 0x3fe0, 0x0000, 0x0000, 0x0000, 0x0000,
533  0x0000, 0x1555, 0x3333, 0x7fc0, 0x0000, 0x0000, 0x0000, 0x0000,
534  0x1000, 0x2aab, 0x6666, 0xff80, 0x0000, 0x0000, 0x0000, 0x0000,
535  0x2000, 0x5555, 0xcccc, 0xff00, 0x0000, 0x0000, 0x0000, 0x0000,
536  0x4001, 0xaaaa, 0x9998, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
537  0x8001, 0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
538  0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
539  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
540  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
541  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
542  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
543  0x0000, 0x0000, 0x0001, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
544  0x0000, 0x0001, 0x1ff0, 0x3fe0, 0x0000, 0x0000, 0x0000, 0x0000,
545  0x0001, 0x199a, 0x3fe0, 0x7fc1, 0x0000, 0x0000, 0x0000, 0x0000,
546  0x1555, 0x3333, 0x7fc0, 0xff81, 0x0000, 0x0000, 0x0000, 0x0000,
547  0x2aab, 0x6666, 0xff80, 0xff02, 0x0000, 0x0000, 0x0000, 0x0000,
548  0x5555, 0xcccc, 0xff00, 0xfe04, 0x0000, 0x0000, 0x0000, 0x0000,
549  0xaaaa, 0x9998, 0xfe00, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
550  0x5554, 0x3330, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
551  0xaaa8, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
552  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
553  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
554  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
555  0x0000, 0x0000, 0x0000, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
556  0x0000, 0x0000, 0x1ff0, 0x3fe0, 0x0000, 0x0000, 0x0000, 0x0000,
557  0x0000, 0x199a, 0x3fe0, 0x7fc1, 0x0000, 0x0000, 0x0000, 0x0000,
558  0x1555, 0x3333, 0x7fc0, 0xff81, 0x0000, 0x0000, 0x0000, 0x0000,
559  0x2aab, 0x6666, 0xff80, 0xff02, 0x0000, 0x0000, 0x0000, 0x0000,
560  0x5555, 0xcccc, 0xff00, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
561  0xaaaa, 0x9998, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
562  0x5554, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
563  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
564  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
565  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
566  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
567  0x0000, 0x0000, 0x0001, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
568  0x0000, 0x0001, 0x1ff0, 0x3fe1, 0x0000, 0x0000, 0x0000, 0x0000,
569  0x0001, 0x1ff0, 0x3fe0, 0x7fc1, 0x0000, 0x0000, 0x0000, 0x0000,
570  0x199a, 0x3fe0, 0x7fc1, 0xff82, 0x0000, 0x0000, 0x0000, 0x0000,
571  0x3333, 0x7fc0, 0xff81, 0xff04, 0x0000, 0x0000, 0x0000, 0x0000,
572  0x6666, 0xff80, 0xff02, 0xfe08, 0x0000, 0x0000, 0x0000, 0x0000,
573  0xcccc, 0xff00, 0xfe04, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
574  0x9998, 0xfe00, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
575  0x3330, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
576  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
577  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
578  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
579  0x0000, 0x0000, 0x0000, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
580  0x0000, 0x0000, 0x1ff0, 0x3fe1, 0x0000, 0x0000, 0x0000, 0x0000,
581  0x0000, 0x1ff0, 0x3fe0, 0x7fc1, 0x0000, 0x0000, 0x0000, 0x0000,
582  0x199a, 0x3fe0, 0x7fc1, 0xff82, 0x0000, 0x0000, 0x0000, 0x0000,
583  0x3333, 0x7fc0, 0xff81, 0xff04, 0x0000, 0x0000, 0x0000, 0x0000,
584  0x6666, 0xff80, 0xff02, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
585  0xcccc, 0xff00, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
586  0x9998, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
587  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
588  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
589  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
590  0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
591  0x0000, 0x0000, 0x0001, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
592  0x0000, 0x0001, 0x1ff0, 0x3fe1, 0x0000, 0x0000, 0x0000, 0x0000,
593  0x0001, 0x1ff0, 0x3fe1, 0x7fc2, 0x0000, 0x0000, 0x0000, 0x0000,
594  0x1ff0, 0x3fe0, 0x7fc1, 0xff83, 0x0000, 0x0000, 0x0000, 0x0000,
595  0x3fe0, 0x7fc1, 0xff82, 0xff06, 0x0000, 0x0000, 0x0000, 0x0000,
596  0x7fc0, 0xff81, 0xff04, 0xfe0c, 0x0000, 0x0000, 0x0000, 0x0000,
597  0xff80, 0xff02, 0xfe08, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
598  0xff00, 0xfe04, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
599  0xfe00, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
600  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
601  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
602  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
603  0x0000, 0x0000, 0x0000, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
604  0x0000, 0x0000, 0x1ff0, 0x3fe1, 0x0000, 0x0000, 0x0000, 0x0000,
605  0x0000, 0x1ff0, 0x3fe1, 0x7fc2, 0x0000, 0x0000, 0x0000, 0x0000,
606  0x1ff0, 0x3fe0, 0x7fc1, 0xff83, 0x0000, 0x0000, 0x0000, 0x0000,
607  0x3fe0, 0x7fc1, 0xff82, 0xff06, 0x0000, 0x0000, 0x0000, 0x0000,
608  0x7fc0, 0xff81, 0xff04, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
609  0xff80, 0xff02, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
610  0xff00, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
611  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
612  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
613  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
614};
615const unsigned kExpectedCount_NEON_urshl_4H = 576;
616
617#endif  // VIXL_SIM_URSHL_4H_TRACE_A64_H_
618