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