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