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