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