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