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