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_SRI_8H_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SRI_8H_2OPIMM_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_sri_8H_2OPIMM[] = {
38  0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000,
39  0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x0000,
40  0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x0000,
41  0x7ff8, 0x7ff8, 0x7ff8, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
42  0x7ffc, 0x7ffc, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
43  0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
44  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
45  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
46  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
47  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
48  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
49  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
50  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
51  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
52  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
53  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
54  0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000,
55  0x7fe0, 0x7fe0, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
56  0x7ff0, 0x7ff0, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
57  0x7ff8, 0x7ff8, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
58  0x7ffc, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
59  0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
60  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
61  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
62  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
63  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
64  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
65  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
66  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
67  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
68  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
69  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
70  0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001,
71  0x7fe0, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
72  0x7ff0, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
73  0x7ff8, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
74  0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
75  0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
76  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
77  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
78  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
79  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
80  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
81  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
82  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
83  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
84  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
85  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
86  0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008,
87  0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0004,
88  0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0002,
89  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0001,
90  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
91  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
92  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
93  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
94  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
95  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
96  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
97  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
98  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
99  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
100  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
101  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
102  0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e,
103  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f,
104  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f,
105  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007,
106  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003,
107  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
108  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
109  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
110  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
111  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
112  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
113  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
114  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
115  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
116  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
117  0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
118  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f,
119  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f,
120  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f,
121  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007,
122  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003,
123  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
124  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
125  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
126  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
127  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
128  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
129  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
130  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
131  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
132  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
133  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
134  0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f,
135  0x7fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f,
136  0x7fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f,
137  0x7fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007,
138  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003,
139  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
140  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
141  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
142  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
143  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
144  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
145  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
146  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
147  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
148  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
149  0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
150  0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999,
151  0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc,
152  0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666,
153  0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333,
154  0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199,
155  0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc,
156  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066,
157  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033,
158  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019,
159  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c,
160  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006,
161  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003,
162  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
163  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
164  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
165  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
166  0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa,
167  0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555,
168  0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa,
169  0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555,
170  0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa,
171  0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155,
172  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa,
173  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055,
174  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a,
175  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015,
176  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a,
177  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005,
178  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002,
179  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
180  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
181  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
182  0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe,
183  0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff,
184  0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff,
185  0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff,
186  0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff,
187  0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff,
188  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff,
189  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f,
190  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f,
191  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f,
192  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f,
193  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007,
194  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003,
195  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
196  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
197  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
198  0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff,
199  0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff,
200  0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff,
201  0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff,
202  0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff,
203  0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff,
204  0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff,
205  0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f,
206  0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f,
207  0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f,
208  0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f,
209  0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007,
210  0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003,
211  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
212  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
213  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
214  0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff,
215  0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff,
216  0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff,
217  0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff,
218  0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff,
219  0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff,
220  0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff,
221  0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f,
222  0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f,
223  0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f,
224  0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f,
225  0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007,
226  0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003,
227  0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001,
228  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
229  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
230  0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000,
231  0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x6000,
232  0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x7000,
233  0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x7800,
234  0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x7c00,
235  0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x7e00,
236  0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x7f00,
237  0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x7f80,
238  0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x7fc0,
239  0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x7fe0,
240  0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x7ff0,
241  0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x7ff8,
242  0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x7ffc,
243  0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x7ffe,
244  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff,
245  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff,
246  0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000,
247  0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x6000, 0x6000,
248  0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x7000, 0x7000,
249  0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x7800, 0x7800,
250  0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x7c00, 0x7c00,
251  0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x7e00, 0x7e00,
252  0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x7f00, 0x7f00,
253  0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x7f80, 0x7f80,
254  0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x7fc0, 0x7fc0,
255  0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x7fe0, 0x7fe0,
256  0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x7ff0, 0x7ff0,
257  0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x7ff8, 0x7ff8,
258  0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x7ffc, 0x7ffc,
259  0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x7ffe, 0x7ffe,
260  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff,
261  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff,
262  0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555,
263  0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x6000, 0x6000, 0x6aaa,
264  0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x7000, 0x7000, 0x7555,
265  0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x7800, 0x7800, 0x7aaa,
266  0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x7c00, 0x7c00, 0x7d55,
267  0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x7e00, 0x7e00, 0x7eaa,
268  0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x7f00, 0x7f00, 0x7f55,
269  0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x7f80, 0x7f80, 0x7faa,
270  0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x7fc0, 0x7fc0, 0x7fd5,
271  0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x7fe0, 0x7fe0, 0x7fea,
272  0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x7ff0, 0x7ff0, 0x7ff5,
273  0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x7ff8, 0x7ff8, 0x7ffa,
274  0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x7ffc, 0x7ffc, 0x7ffd,
275  0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x7ffe, 0x7ffe, 0x7ffe,
276  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff,
277  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff,
278  0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666,
279  0x1555, 0x1fff, 0x1fff, 0x1fff, 0x6000, 0x6000, 0x6aaa, 0x7333,
280  0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x7000, 0x7000, 0x7555, 0x7999,
281  0x0555, 0x07ff, 0x07ff, 0x07ff, 0x7800, 0x7800, 0x7aaa, 0x7ccc,
282  0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x7c00, 0x7c00, 0x7d55, 0x7e66,
283  0x0155, 0x01ff, 0x01ff, 0x01ff, 0x7e00, 0x7e00, 0x7eaa, 0x7f33,
284  0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x7f00, 0x7f00, 0x7f55, 0x7f99,
285  0x0055, 0x007f, 0x007f, 0x007f, 0x7f80, 0x7f80, 0x7faa, 0x7fcc,
286  0x002a, 0x003f, 0x003f, 0x003f, 0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6,
287  0x0015, 0x001f, 0x001f, 0x001f, 0x7fe0, 0x7fe0, 0x7fea, 0x7ff3,
288  0x000a, 0x000f, 0x000f, 0x000f, 0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9,
289  0x0005, 0x0007, 0x0007, 0x0007, 0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc,
290  0x0002, 0x0003, 0x0003, 0x0003, 0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe,
291  0x0001, 0x0001, 0x0001, 0x0001, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff,
292  0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
293  0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
294  0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0,
295  0x1fff, 0x1fff, 0x1fff, 0x6000, 0x6000, 0x6aaa, 0x7333, 0x7fe0,
296  0x0fff, 0x0fff, 0x0fff, 0x7000, 0x7000, 0x7555, 0x7999, 0x7ff0,
297  0x07ff, 0x07ff, 0x07ff, 0x7800, 0x7800, 0x7aaa, 0x7ccc, 0x7ff8,
298  0x03ff, 0x03ff, 0x03ff, 0x7c00, 0x7c00, 0x7d55, 0x7e66, 0x7ffc,
299  0x01ff, 0x01ff, 0x01ff, 0x7e00, 0x7e00, 0x7eaa, 0x7f33, 0x7ffe,
300  0x00ff, 0x00ff, 0x00ff, 0x7f00, 0x7f00, 0x7f55, 0x7f99, 0x7fff,
301  0x007f, 0x007f, 0x007f, 0x7f80, 0x7f80, 0x7faa, 0x7fcc, 0x7fff,
302  0x003f, 0x003f, 0x003f, 0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6, 0x7fff,
303  0x001f, 0x001f, 0x001f, 0x7fe0, 0x7fe0, 0x7fea, 0x7ff3, 0x7fff,
304  0x000f, 0x000f, 0x000f, 0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9, 0x7fff,
305  0x0007, 0x0007, 0x0007, 0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc, 0x7fff,
306  0x0003, 0x0003, 0x0003, 0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe, 0x7fff,
307  0x0001, 0x0001, 0x0001, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff,
308  0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
309  0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
310  0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0,
311  0x1fff, 0x1fff, 0x6000, 0x6000, 0x6aaa, 0x7333, 0x7fe0, 0x7fe0,
312  0x0fff, 0x0fff, 0x7000, 0x7000, 0x7555, 0x7999, 0x7ff0, 0x7ff0,
313  0x07ff, 0x07ff, 0x7800, 0x7800, 0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8,
314  0x03ff, 0x03ff, 0x7c00, 0x7c00, 0x7d55, 0x7e66, 0x7ffc, 0x7ffc,
315  0x01ff, 0x01ff, 0x7e00, 0x7e00, 0x7eaa, 0x7f33, 0x7ffe, 0x7ffe,
316  0x00ff, 0x00ff, 0x7f00, 0x7f00, 0x7f55, 0x7f99, 0x7fff, 0x7fff,
317  0x007f, 0x007f, 0x7f80, 0x7f80, 0x7faa, 0x7fcc, 0x7fff, 0x7fff,
318  0x003f, 0x003f, 0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6, 0x7fff, 0x7fff,
319  0x001f, 0x001f, 0x7fe0, 0x7fe0, 0x7fea, 0x7ff3, 0x7fff, 0x7fff,
320  0x000f, 0x000f, 0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9, 0x7fff, 0x7fff,
321  0x0007, 0x0007, 0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc, 0x7fff, 0x7fff,
322  0x0003, 0x0003, 0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe, 0x7fff, 0x7fff,
323  0x0001, 0x0001, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff,
324  0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
325  0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
326  0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1,
327  0x1fff, 0x6000, 0x6000, 0x6aaa, 0x7333, 0x7fe0, 0x7fe0, 0x7fe0,
328  0x0fff, 0x7000, 0x7000, 0x7555, 0x7999, 0x7ff0, 0x7ff0, 0x7ff0,
329  0x07ff, 0x7800, 0x7800, 0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8,
330  0x03ff, 0x7c00, 0x7c00, 0x7d55, 0x7e66, 0x7ffc, 0x7ffc, 0x7ffc,
331  0x01ff, 0x7e00, 0x7e00, 0x7eaa, 0x7f33, 0x7ffe, 0x7ffe, 0x7ffe,
332  0x00ff, 0x7f00, 0x7f00, 0x7f55, 0x7f99, 0x7fff, 0x7fff, 0x7fff,
333  0x007f, 0x7f80, 0x7f80, 0x7faa, 0x7fcc, 0x7fff, 0x7fff, 0x7fff,
334  0x003f, 0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6, 0x7fff, 0x7fff, 0x7fff,
335  0x001f, 0x7fe0, 0x7fe0, 0x7fea, 0x7ff3, 0x7fff, 0x7fff, 0x7fff,
336  0x000f, 0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9, 0x7fff, 0x7fff, 0x7fff,
337  0x0007, 0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc, 0x7fff, 0x7fff, 0x7fff,
338  0x0003, 0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe, 0x7fff, 0x7fff, 0x7fff,
339  0x0001, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
340  0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
341  0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
342  0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1,
343  0x6000, 0x6000, 0x6aaa, 0x7333, 0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0,
344  0x7000, 0x7000, 0x7555, 0x7999, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0,
345  0x7800, 0x7800, 0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8,
346  0x7c00, 0x7c00, 0x7d55, 0x7e66, 0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc,
347  0x7e00, 0x7e00, 0x7eaa, 0x7f33, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe,
348  0x7f00, 0x7f00, 0x7f55, 0x7f99, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
349  0x7f80, 0x7f80, 0x7faa, 0x7fcc, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
350  0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
351  0x7fe0, 0x7fe0, 0x7fea, 0x7ff3, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
352  0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
353  0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
354  0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
355  0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
356  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
357  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
358  0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8,
359  0x6000, 0x6aaa, 0x7333, 0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc,
360  0x7000, 0x7555, 0x7999, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe,
361  0x7800, 0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8, 0x7fff,
362  0x7c00, 0x7d55, 0x7e66, 0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc, 0x7fff,
363  0x7e00, 0x7eaa, 0x7f33, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff,
364  0x7f00, 0x7f55, 0x7f99, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
365  0x7f80, 0x7faa, 0x7fcc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
366  0x7fc0, 0x7fd5, 0x7fe6, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
367  0x7fe0, 0x7fea, 0x7ff3, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
368  0x7ff0, 0x7ff5, 0x7ff9, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
369  0x7ff8, 0x7ffa, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
370  0x7ffc, 0x7ffd, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
371  0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
372  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
373  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
374  0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe,
375  0x6aaa, 0x7333, 0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc, 0x7fff,
376  0x7555, 0x7999, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe, 0x7fff,
377  0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8, 0x7fff, 0x7fff,
378  0x7d55, 0x7e66, 0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc, 0x7fff, 0x7fff,
379  0x7eaa, 0x7f33, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff,
380  0x7f55, 0x7f99, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
381  0x7faa, 0x7fcc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
382  0x7fd5, 0x7fe6, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
383  0x7fea, 0x7ff3, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
384  0x7ff5, 0x7ff9, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
385  0x7ffa, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
386  0x7ffd, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
387  0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
388  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
389  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
390  0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff,
391  0x7333, 0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc, 0x7fff, 0x7fff,
392  0x7999, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe, 0x7fff, 0x7fff,
393  0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8, 0x7fff, 0x7fff, 0x7fff,
394  0x7e66, 0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc, 0x7fff, 0x7fff, 0x7fff,
395  0x7f33, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff,
396  0x7f99, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
397  0x7fcc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
398  0x7fe6, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
399  0x7ff3, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
400  0x7ff9, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
401  0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
402  0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
403  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
404  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
405  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
406  0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff,
407  0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc, 0x7fff, 0x7fff, 0x7fff,
408  0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe, 0x7fff, 0x7fff, 0x7fff,
409  0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
410  0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
411  0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
412  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
413  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
414  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
415  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
416  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
417  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
418  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
419  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
420  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
421  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
422};
423const unsigned kExpectedCount_NEON_sri_8H_2OPIMM = 384;
424
425#endif  // VIXL_SIM_SRI_8H_2OPIMM_TRACE_AARCH64_H_
426