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