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