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_FMINP_8H_TRACE_AARCH64_H_
35 #define VIXL_SIM_FMINP_8H_TRACE_AARCH64_H_
36 
37 const uint16_t kExpected_NEON_fminp_8H[] = {
38   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7f23, 0x7f23, 0x0012, 0x0000,
39   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7f23, 0x7e01, 0x0001, 0x0000,
40   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7f23, 0x0012, 0x0000, 0x0400,
41   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7e01, 0x0001, 0x0000, 0x37ff,
42   0x7f23, 0x7f23, 0x0012, 0x0000, 0x0012, 0x0000, 0x0400, 0x3800,
43   0x7f23, 0x7f23, 0x0012, 0x0000, 0x0001, 0x0000, 0x37ff, 0x3801,
44   0x7f23, 0x7f23, 0x0012, 0x0000, 0x0000, 0x0400, 0x3800, 0x3bff,
45   0x7f23, 0x7f23, 0x0012, 0x0000, 0x0000, 0x37ff, 0x3801, 0x3c00,
46   0x7f23, 0x7f23, 0x0012, 0x0000, 0x0400, 0x3800, 0x3bff, 0x3c01,
47   0x7f23, 0x7f23, 0x0012, 0x0000, 0x37ff, 0x3801, 0x3c00, 0x3e00,
48   0x7f23, 0x7f23, 0x0012, 0x0000, 0x3800, 0x3bff, 0x3c01, 0x4900,
49   0x7f23, 0x7f23, 0x0012, 0x0000, 0x3801, 0x3c00, 0x3e00, 0x7bff,
50   0x7f23, 0x7f23, 0x0012, 0x0000, 0x3bff, 0x3c01, 0x4900, 0x7f23,
51   0x7f23, 0x7f23, 0x0012, 0x0000, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
52   0x7f23, 0x7f23, 0x0012, 0x0000, 0x3c01, 0x4900, 0x7f23, 0x7f23,
53   0x7f23, 0x7f23, 0x0012, 0x0000, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
54   0x7f23, 0x7f23, 0x0012, 0x0000, 0x4900, 0x7f23, 0x7f23, 0x7e01,
55   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7bff, 0x7f23, 0x7f23, 0x0012,
56   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7f23, 0x7f23, 0x7e01, 0x0001,
57   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7f23, 0x7f23, 0x0012, 0x8000,
58   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7f23, 0x7e01, 0x0001, 0x8400,
59   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7f23, 0x0012, 0x8000, 0xb7ff,
60   0x7f23, 0x7f23, 0x0012, 0x0000, 0x7e01, 0x0001, 0x8400, 0xb800,
61   0x7f23, 0x7f23, 0x0012, 0x0000, 0x0012, 0x8000, 0xb7ff, 0xb801,
62   0x7f23, 0x7f23, 0x0012, 0x0000, 0x0001, 0x8400, 0xb800, 0xbbff,
63   0x7f23, 0x7f23, 0x0012, 0x0000, 0x8000, 0xb7ff, 0xb801, 0xbc00,
64   0x7f23, 0x7f23, 0x0012, 0x0000, 0x8400, 0xb800, 0xbbff, 0xbc01,
65   0x7f23, 0x7f23, 0x0012, 0x0000, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
66   0x7f23, 0x7f23, 0x0012, 0x0000, 0xb800, 0xbbff, 0xbc01, 0xc900,
67   0x7f23, 0x7f23, 0x0012, 0x0000, 0xb801, 0xbc00, 0xbe00, 0xfbff,
68   0x7f23, 0x7f23, 0x0012, 0x0000, 0xbbff, 0xbc01, 0xc900, 0xfc00,
69   0x7f23, 0x7f23, 0x0012, 0x0000, 0xbc00, 0xbe00, 0xfbff, 0xff23,
70   0x7f23, 0x7f23, 0x0012, 0x0000, 0xbc01, 0xc900, 0xfc00, 0xff23,
71   0x7f23, 0x7f23, 0x0012, 0x0000, 0xbe00, 0xfbff, 0xff23, 0xff23,
72   0x7f23, 0x7f23, 0x0012, 0x0000, 0xc900, 0xfc00, 0xff23, 0xff23,
73   0x7f23, 0x7f23, 0x0012, 0x0000, 0xfbff, 0xff23, 0xff23, 0xfe01,
74   0x7f23, 0x7f23, 0x0012, 0x0000, 0xfc00, 0xff23, 0xff23, 0x83ff,
75   0x7f23, 0x7f23, 0x0012, 0x0000, 0xff23, 0xff23, 0xfe01, 0x83ff,
76   0x7f23, 0x7e01, 0x0001, 0x0000, 0xff23, 0xff23, 0x83ff, 0x8001,
77   0x7f23, 0x7e01, 0x0001, 0x0000, 0xff23, 0xfe01, 0x83ff, 0x0000,
78   0x7f23, 0x7e01, 0x0001, 0x0000, 0xff23, 0x83ff, 0x8001, 0x0400,
79   0x7f23, 0x7e01, 0x0001, 0x0000, 0xfe01, 0x83ff, 0x0000, 0x37ff,
80   0x7f23, 0x7e01, 0x0001, 0x0000, 0x83ff, 0x8001, 0x0400, 0x3800,
81   0x7f23, 0x7e01, 0x0001, 0x0000, 0x83ff, 0x0000, 0x37ff, 0x3801,
82   0x7f23, 0x7e01, 0x0001, 0x0000, 0x8001, 0x0400, 0x3800, 0x3bff,
83   0x7f23, 0x7e01, 0x0001, 0x0000, 0x0000, 0x37ff, 0x3801, 0x3c00,
84   0x7f23, 0x7e01, 0x0001, 0x0000, 0x0400, 0x3800, 0x3bff, 0x3c01,
85   0x7f23, 0x7e01, 0x0001, 0x0000, 0x37ff, 0x3801, 0x3c00, 0x3e00,
86   0x7f23, 0x7e01, 0x0001, 0x0000, 0x3800, 0x3bff, 0x3c01, 0x4900,
87   0x7f23, 0x7e01, 0x0001, 0x0000, 0x3801, 0x3c00, 0x3e00, 0x7bff,
88   0x7f23, 0x7e01, 0x0001, 0x0000, 0x3bff, 0x3c01, 0x4900, 0x7f23,
89   0x7f23, 0x7e01, 0x0001, 0x0000, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
90   0x7f23, 0x7e01, 0x0001, 0x0000, 0x3c01, 0x4900, 0x7f23, 0x7f23,
91   0x7f23, 0x7e01, 0x0001, 0x0000, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
92   0x7f23, 0x7e01, 0x0001, 0x0000, 0x4900, 0x7f23, 0x7f23, 0x7e01,
93   0x7f23, 0x7e01, 0x0001, 0x0000, 0x7bff, 0x7f23, 0x7f23, 0x0012,
94   0x7f23, 0x7e01, 0x0001, 0x0000, 0x7f23, 0x7f23, 0x7e01, 0x0001,
95   0x7f23, 0x7e01, 0x0001, 0x0000, 0x7f23, 0x7f23, 0x0012, 0x8000,
96   0x7f23, 0x7e01, 0x0001, 0x0000, 0x7f23, 0x7e01, 0x0001, 0x8400,
97   0x7f23, 0x7e01, 0x0001, 0x0000, 0x7f23, 0x0012, 0x8000, 0xb7ff,
98   0x7f23, 0x7e01, 0x0001, 0x0000, 0x7e01, 0x0001, 0x8400, 0xb800,
99   0x7f23, 0x7e01, 0x0001, 0x0000, 0x0012, 0x8000, 0xb7ff, 0xb801,
100   0x7f23, 0x7e01, 0x0001, 0x0000, 0x0001, 0x8400, 0xb800, 0xbbff,
101   0x7f23, 0x7e01, 0x0001, 0x0000, 0x8000, 0xb7ff, 0xb801, 0xbc00,
102   0x7f23, 0x7e01, 0x0001, 0x0000, 0x8400, 0xb800, 0xbbff, 0xbc01,
103   0x7f23, 0x7e01, 0x0001, 0x0000, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
104   0x7f23, 0x7e01, 0x0001, 0x0000, 0xb800, 0xbbff, 0xbc01, 0xc900,
105   0x7f23, 0x7e01, 0x0001, 0x0000, 0xb801, 0xbc00, 0xbe00, 0xfbff,
106   0x7f23, 0x7e01, 0x0001, 0x0000, 0xbbff, 0xbc01, 0xc900, 0xfc00,
107   0x7f23, 0x7e01, 0x0001, 0x0000, 0xbc00, 0xbe00, 0xfbff, 0xff23,
108   0x7f23, 0x7e01, 0x0001, 0x0000, 0xbc01, 0xc900, 0xfc00, 0xff23,
109   0x7f23, 0x7e01, 0x0001, 0x0000, 0xbe00, 0xfbff, 0xff23, 0xff23,
110   0x7f23, 0x7e01, 0x0001, 0x0000, 0xc900, 0xfc00, 0xff23, 0xff23,
111   0x7f23, 0x7e01, 0x0001, 0x0000, 0xfbff, 0xff23, 0xff23, 0xfe01,
112   0x7f23, 0x7e01, 0x0001, 0x0000, 0xfc00, 0xff23, 0xff23, 0x83ff,
113   0x7f23, 0x7e01, 0x0001, 0x0000, 0xff23, 0xff23, 0xfe01, 0x83ff,
114   0x7f23, 0x0012, 0x0000, 0x0400, 0xff23, 0xff23, 0x83ff, 0x8001,
115   0x7f23, 0x0012, 0x0000, 0x0400, 0xff23, 0xfe01, 0x83ff, 0x0000,
116   0x7f23, 0x0012, 0x0000, 0x0400, 0xff23, 0x83ff, 0x8001, 0x0400,
117   0x7f23, 0x0012, 0x0000, 0x0400, 0xfe01, 0x83ff, 0x0000, 0x37ff,
118   0x7f23, 0x0012, 0x0000, 0x0400, 0x83ff, 0x8001, 0x0400, 0x3800,
119   0x7f23, 0x0012, 0x0000, 0x0400, 0x83ff, 0x0000, 0x37ff, 0x3801,
120   0x7f23, 0x0012, 0x0000, 0x0400, 0x8001, 0x0400, 0x3800, 0x3bff,
121   0x7f23, 0x0012, 0x0000, 0x0400, 0x0000, 0x37ff, 0x3801, 0x3c00,
122   0x7f23, 0x0012, 0x0000, 0x0400, 0x0400, 0x3800, 0x3bff, 0x3c01,
123   0x7f23, 0x0012, 0x0000, 0x0400, 0x37ff, 0x3801, 0x3c00, 0x3e00,
124   0x7f23, 0x0012, 0x0000, 0x0400, 0x3800, 0x3bff, 0x3c01, 0x4900,
125   0x7f23, 0x0012, 0x0000, 0x0400, 0x3801, 0x3c00, 0x3e00, 0x7bff,
126   0x7f23, 0x0012, 0x0000, 0x0400, 0x3bff, 0x3c01, 0x4900, 0x7f23,
127   0x7f23, 0x0012, 0x0000, 0x0400, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
128   0x7f23, 0x0012, 0x0000, 0x0400, 0x3c01, 0x4900, 0x7f23, 0x7f23,
129   0x7f23, 0x0012, 0x0000, 0x0400, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
130   0x7f23, 0x0012, 0x0000, 0x0400, 0x4900, 0x7f23, 0x7f23, 0x7e01,
131   0x7f23, 0x0012, 0x0000, 0x0400, 0x7bff, 0x7f23, 0x7f23, 0x0012,
132   0x7f23, 0x0012, 0x0000, 0x0400, 0x7f23, 0x7f23, 0x7e01, 0x0001,
133   0x7f23, 0x0012, 0x0000, 0x0400, 0x7f23, 0x7f23, 0x0012, 0x8000,
134   0x7f23, 0x0012, 0x0000, 0x0400, 0x7f23, 0x7e01, 0x0001, 0x8400,
135   0x7f23, 0x0012, 0x0000, 0x0400, 0x7f23, 0x0012, 0x8000, 0xb7ff,
136   0x7f23, 0x0012, 0x0000, 0x0400, 0x7e01, 0x0001, 0x8400, 0xb800,
137   0x7f23, 0x0012, 0x0000, 0x0400, 0x0012, 0x8000, 0xb7ff, 0xb801,
138   0x7f23, 0x0012, 0x0000, 0x0400, 0x0001, 0x8400, 0xb800, 0xbbff,
139   0x7f23, 0x0012, 0x0000, 0x0400, 0x8000, 0xb7ff, 0xb801, 0xbc00,
140   0x7f23, 0x0012, 0x0000, 0x0400, 0x8400, 0xb800, 0xbbff, 0xbc01,
141   0x7f23, 0x0012, 0x0000, 0x0400, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
142   0x7f23, 0x0012, 0x0000, 0x0400, 0xb800, 0xbbff, 0xbc01, 0xc900,
143   0x7f23, 0x0012, 0x0000, 0x0400, 0xb801, 0xbc00, 0xbe00, 0xfbff,
144   0x7f23, 0x0012, 0x0000, 0x0400, 0xbbff, 0xbc01, 0xc900, 0xfc00,
145   0x7f23, 0x0012, 0x0000, 0x0400, 0xbc00, 0xbe00, 0xfbff, 0xff23,
146   0x7f23, 0x0012, 0x0000, 0x0400, 0xbc01, 0xc900, 0xfc00, 0xff23,
147   0x7f23, 0x0012, 0x0000, 0x0400, 0xbe00, 0xfbff, 0xff23, 0xff23,
148   0x7f23, 0x0012, 0x0000, 0x0400, 0xc900, 0xfc00, 0xff23, 0xff23,
149   0x7f23, 0x0012, 0x0000, 0x0400, 0xfbff, 0xff23, 0xff23, 0xfe01,
150   0x7f23, 0x0012, 0x0000, 0x0400, 0xfc00, 0xff23, 0xff23, 0x83ff,
151   0x7f23, 0x0012, 0x0000, 0x0400, 0xff23, 0xff23, 0xfe01, 0x83ff,
152   0x7e01, 0x0001, 0x0000, 0x37ff, 0xff23, 0xff23, 0x83ff, 0x8001,
153   0x7e01, 0x0001, 0x0000, 0x37ff, 0xff23, 0xfe01, 0x83ff, 0x0000,
154   0x7e01, 0x0001, 0x0000, 0x37ff, 0xff23, 0x83ff, 0x8001, 0x0400,
155   0x7e01, 0x0001, 0x0000, 0x37ff, 0xfe01, 0x83ff, 0x0000, 0x37ff,
156   0x7e01, 0x0001, 0x0000, 0x37ff, 0x83ff, 0x8001, 0x0400, 0x3800,
157   0x7e01, 0x0001, 0x0000, 0x37ff, 0x83ff, 0x0000, 0x37ff, 0x3801,
158   0x7e01, 0x0001, 0x0000, 0x37ff, 0x8001, 0x0400, 0x3800, 0x3bff,
159   0x7e01, 0x0001, 0x0000, 0x37ff, 0x0000, 0x37ff, 0x3801, 0x3c00,
160   0x7e01, 0x0001, 0x0000, 0x37ff, 0x0400, 0x3800, 0x3bff, 0x3c01,
161   0x7e01, 0x0001, 0x0000, 0x37ff, 0x37ff, 0x3801, 0x3c00, 0x3e00,
162   0x7e01, 0x0001, 0x0000, 0x37ff, 0x3800, 0x3bff, 0x3c01, 0x4900,
163   0x7e01, 0x0001, 0x0000, 0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7bff,
164   0x7e01, 0x0001, 0x0000, 0x37ff, 0x3bff, 0x3c01, 0x4900, 0x7f23,
165   0x7e01, 0x0001, 0x0000, 0x37ff, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
166   0x7e01, 0x0001, 0x0000, 0x37ff, 0x3c01, 0x4900, 0x7f23, 0x7f23,
167   0x7e01, 0x0001, 0x0000, 0x37ff, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
168   0x7e01, 0x0001, 0x0000, 0x37ff, 0x4900, 0x7f23, 0x7f23, 0x7e01,
169   0x7e01, 0x0001, 0x0000, 0x37ff, 0x7bff, 0x7f23, 0x7f23, 0x0012,
170   0x7e01, 0x0001, 0x0000, 0x37ff, 0x7f23, 0x7f23, 0x7e01, 0x0001,
171   0x7e01, 0x0001, 0x0000, 0x37ff, 0x7f23, 0x7f23, 0x0012, 0x8000,
172   0x7e01, 0x0001, 0x0000, 0x37ff, 0x7f23, 0x7e01, 0x0001, 0x8400,
173   0x7e01, 0x0001, 0x0000, 0x37ff, 0x7f23, 0x0012, 0x8000, 0xb7ff,
174   0x7e01, 0x0001, 0x0000, 0x37ff, 0x7e01, 0x0001, 0x8400, 0xb800,
175   0x7e01, 0x0001, 0x0000, 0x37ff, 0x0012, 0x8000, 0xb7ff, 0xb801,
176   0x7e01, 0x0001, 0x0000, 0x37ff, 0x0001, 0x8400, 0xb800, 0xbbff,
177   0x7e01, 0x0001, 0x0000, 0x37ff, 0x8000, 0xb7ff, 0xb801, 0xbc00,
178   0x7e01, 0x0001, 0x0000, 0x37ff, 0x8400, 0xb800, 0xbbff, 0xbc01,
179   0x7e01, 0x0001, 0x0000, 0x37ff, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
180   0x7e01, 0x0001, 0x0000, 0x37ff, 0xb800, 0xbbff, 0xbc01, 0xc900,
181   0x7e01, 0x0001, 0x0000, 0x37ff, 0xb801, 0xbc00, 0xbe00, 0xfbff,
182   0x7e01, 0x0001, 0x0000, 0x37ff, 0xbbff, 0xbc01, 0xc900, 0xfc00,
183   0x7e01, 0x0001, 0x0000, 0x37ff, 0xbc00, 0xbe00, 0xfbff, 0xff23,
184   0x7e01, 0x0001, 0x0000, 0x37ff, 0xbc01, 0xc900, 0xfc00, 0xff23,
185   0x7e01, 0x0001, 0x0000, 0x37ff, 0xbe00, 0xfbff, 0xff23, 0xff23,
186   0x7e01, 0x0001, 0x0000, 0x37ff, 0xc900, 0xfc00, 0xff23, 0xff23,
187   0x7e01, 0x0001, 0x0000, 0x37ff, 0xfbff, 0xff23, 0xff23, 0xfe01,
188   0x7e01, 0x0001, 0x0000, 0x37ff, 0xfc00, 0xff23, 0xff23, 0x83ff,
189   0x7e01, 0x0001, 0x0000, 0x37ff, 0xff23, 0xff23, 0xfe01, 0x83ff,
190   0x0012, 0x0000, 0x0400, 0x3800, 0xff23, 0xff23, 0x83ff, 0x8001,
191   0x0012, 0x0000, 0x0400, 0x3800, 0xff23, 0xfe01, 0x83ff, 0x0000,
192   0x0012, 0x0000, 0x0400, 0x3800, 0xff23, 0x83ff, 0x8001, 0x0400,
193   0x0012, 0x0000, 0x0400, 0x3800, 0xfe01, 0x83ff, 0x0000, 0x37ff,
194   0x0012, 0x0000, 0x0400, 0x3800, 0x83ff, 0x8001, 0x0400, 0x3800,
195   0x0012, 0x0000, 0x0400, 0x3800, 0x83ff, 0x0000, 0x37ff, 0x3801,
196   0x0012, 0x0000, 0x0400, 0x3800, 0x8001, 0x0400, 0x3800, 0x3bff,
197   0x0012, 0x0000, 0x0400, 0x3800, 0x0000, 0x37ff, 0x3801, 0x3c00,
198   0x0012, 0x0000, 0x0400, 0x3800, 0x0400, 0x3800, 0x3bff, 0x3c01,
199   0x0012, 0x0000, 0x0400, 0x3800, 0x37ff, 0x3801, 0x3c00, 0x3e00,
200   0x0012, 0x0000, 0x0400, 0x3800, 0x3800, 0x3bff, 0x3c01, 0x4900,
201   0x0012, 0x0000, 0x0400, 0x3800, 0x3801, 0x3c00, 0x3e00, 0x7bff,
202   0x0012, 0x0000, 0x0400, 0x3800, 0x3bff, 0x3c01, 0x4900, 0x7f23,
203   0x0012, 0x0000, 0x0400, 0x3800, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
204   0x0012, 0x0000, 0x0400, 0x3800, 0x3c01, 0x4900, 0x7f23, 0x7f23,
205   0x0012, 0x0000, 0x0400, 0x3800, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
206   0x0012, 0x0000, 0x0400, 0x3800, 0x4900, 0x7f23, 0x7f23, 0x7e01,
207   0x0012, 0x0000, 0x0400, 0x3800, 0x7bff, 0x7f23, 0x7f23, 0x0012,
208   0x0012, 0x0000, 0x0400, 0x3800, 0x7f23, 0x7f23, 0x7e01, 0x0001,
209   0x0012, 0x0000, 0x0400, 0x3800, 0x7f23, 0x7f23, 0x0012, 0x8000,
210   0x0012, 0x0000, 0x0400, 0x3800, 0x7f23, 0x7e01, 0x0001, 0x8400,
211   0x0012, 0x0000, 0x0400, 0x3800, 0x7f23, 0x0012, 0x8000, 0xb7ff,
212   0x0012, 0x0000, 0x0400, 0x3800, 0x7e01, 0x0001, 0x8400, 0xb800,
213   0x0012, 0x0000, 0x0400, 0x3800, 0x0012, 0x8000, 0xb7ff, 0xb801,
214   0x0012, 0x0000, 0x0400, 0x3800, 0x0001, 0x8400, 0xb800, 0xbbff,
215   0x0012, 0x0000, 0x0400, 0x3800, 0x8000, 0xb7ff, 0xb801, 0xbc00,
216   0x0012, 0x0000, 0x0400, 0x3800, 0x8400, 0xb800, 0xbbff, 0xbc01,
217   0x0012, 0x0000, 0x0400, 0x3800, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
218   0x0012, 0x0000, 0x0400, 0x3800, 0xb800, 0xbbff, 0xbc01, 0xc900,
219   0x0012, 0x0000, 0x0400, 0x3800, 0xb801, 0xbc00, 0xbe00, 0xfbff,
220   0x0012, 0x0000, 0x0400, 0x3800, 0xbbff, 0xbc01, 0xc900, 0xfc00,
221   0x0012, 0x0000, 0x0400, 0x3800, 0xbc00, 0xbe00, 0xfbff, 0xff23,
222   0x0012, 0x0000, 0x0400, 0x3800, 0xbc01, 0xc900, 0xfc00, 0xff23,
223   0x0012, 0x0000, 0x0400, 0x3800, 0xbe00, 0xfbff, 0xff23, 0xff23,
224   0x0012, 0x0000, 0x0400, 0x3800, 0xc900, 0xfc00, 0xff23, 0xff23,
225   0x0012, 0x0000, 0x0400, 0x3800, 0xfbff, 0xff23, 0xff23, 0xfe01,
226   0x0012, 0x0000, 0x0400, 0x3800, 0xfc00, 0xff23, 0xff23, 0x83ff,
227   0x0012, 0x0000, 0x0400, 0x3800, 0xff23, 0xff23, 0xfe01, 0x83ff,
228   0x0001, 0x0000, 0x37ff, 0x3801, 0xff23, 0xff23, 0x83ff, 0x8001,
229   0x0001, 0x0000, 0x37ff, 0x3801, 0xff23, 0xfe01, 0x83ff, 0x0000,
230   0x0001, 0x0000, 0x37ff, 0x3801, 0xff23, 0x83ff, 0x8001, 0x0400,
231   0x0001, 0x0000, 0x37ff, 0x3801, 0xfe01, 0x83ff, 0x0000, 0x37ff,
232   0x0001, 0x0000, 0x37ff, 0x3801, 0x83ff, 0x8001, 0x0400, 0x3800,
233   0x0001, 0x0000, 0x37ff, 0x3801, 0x83ff, 0x0000, 0x37ff, 0x3801,
234   0x0001, 0x0000, 0x37ff, 0x3801, 0x8001, 0x0400, 0x3800, 0x3bff,
235   0x0001, 0x0000, 0x37ff, 0x3801, 0x0000, 0x37ff, 0x3801, 0x3c00,
236   0x0001, 0x0000, 0x37ff, 0x3801, 0x0400, 0x3800, 0x3bff, 0x3c01,
237   0x0001, 0x0000, 0x37ff, 0x3801, 0x37ff, 0x3801, 0x3c00, 0x3e00,
238   0x0001, 0x0000, 0x37ff, 0x3801, 0x3800, 0x3bff, 0x3c01, 0x4900,
239   0x0001, 0x0000, 0x37ff, 0x3801, 0x3801, 0x3c00, 0x3e00, 0x7bff,
240   0x0001, 0x0000, 0x37ff, 0x3801, 0x3bff, 0x3c01, 0x4900, 0x7f23,
241   0x0001, 0x0000, 0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
242   0x0001, 0x0000, 0x37ff, 0x3801, 0x3c01, 0x4900, 0x7f23, 0x7f23,
243   0x0001, 0x0000, 0x37ff, 0x3801, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
244   0x0001, 0x0000, 0x37ff, 0x3801, 0x4900, 0x7f23, 0x7f23, 0x7e01,
245   0x0001, 0x0000, 0x37ff, 0x3801, 0x7bff, 0x7f23, 0x7f23, 0x0012,
246   0x0001, 0x0000, 0x37ff, 0x3801, 0x7f23, 0x7f23, 0x7e01, 0x0001,
247   0x0001, 0x0000, 0x37ff, 0x3801, 0x7f23, 0x7f23, 0x0012, 0x8000,
248   0x0001, 0x0000, 0x37ff, 0x3801, 0x7f23, 0x7e01, 0x0001, 0x8400,
249   0x0001, 0x0000, 0x37ff, 0x3801, 0x7f23, 0x0012, 0x8000, 0xb7ff,
250   0x0001, 0x0000, 0x37ff, 0x3801, 0x7e01, 0x0001, 0x8400, 0xb800,
251   0x0001, 0x0000, 0x37ff, 0x3801, 0x0012, 0x8000, 0xb7ff, 0xb801,
252   0x0001, 0x0000, 0x37ff, 0x3801, 0x0001, 0x8400, 0xb800, 0xbbff,
253   0x0001, 0x0000, 0x37ff, 0x3801, 0x8000, 0xb7ff, 0xb801, 0xbc00,
254   0x0001, 0x0000, 0x37ff, 0x3801, 0x8400, 0xb800, 0xbbff, 0xbc01,
255   0x0001, 0x0000, 0x37ff, 0x3801, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
256   0x0001, 0x0000, 0x37ff, 0x3801, 0xb800, 0xbbff, 0xbc01, 0xc900,
257   0x0001, 0x0000, 0x37ff, 0x3801, 0xb801, 0xbc00, 0xbe00, 0xfbff,
258   0x0001, 0x0000, 0x37ff, 0x3801, 0xbbff, 0xbc01, 0xc900, 0xfc00,
259   0x0001, 0x0000, 0x37ff, 0x3801, 0xbc00, 0xbe00, 0xfbff, 0xff23,
260   0x0001, 0x0000, 0x37ff, 0x3801, 0xbc01, 0xc900, 0xfc00, 0xff23,
261   0x0001, 0x0000, 0x37ff, 0x3801, 0xbe00, 0xfbff, 0xff23, 0xff23,
262   0x0001, 0x0000, 0x37ff, 0x3801, 0xc900, 0xfc00, 0xff23, 0xff23,
263   0x0001, 0x0000, 0x37ff, 0x3801, 0xfbff, 0xff23, 0xff23, 0xfe01,
264   0x0001, 0x0000, 0x37ff, 0x3801, 0xfc00, 0xff23, 0xff23, 0x83ff,
265   0x0001, 0x0000, 0x37ff, 0x3801, 0xff23, 0xff23, 0xfe01, 0x83ff,
266   0x0000, 0x0400, 0x3800, 0x3bff, 0xff23, 0xff23, 0x83ff, 0x8001,
267   0x0000, 0x0400, 0x3800, 0x3bff, 0xff23, 0xfe01, 0x83ff, 0x0000,
268   0x0000, 0x0400, 0x3800, 0x3bff, 0xff23, 0x83ff, 0x8001, 0x0400,
269   0x0000, 0x0400, 0x3800, 0x3bff, 0xfe01, 0x83ff, 0x0000, 0x37ff,
270   0x0000, 0x0400, 0x3800, 0x3bff, 0x83ff, 0x8001, 0x0400, 0x3800,
271   0x0000, 0x0400, 0x3800, 0x3bff, 0x83ff, 0x0000, 0x37ff, 0x3801,
272   0x0000, 0x0400, 0x3800, 0x3bff, 0x8001, 0x0400, 0x3800, 0x3bff,
273   0x0000, 0x0400, 0x3800, 0x3bff, 0x0000, 0x37ff, 0x3801, 0x3c00,
274   0x0000, 0x0400, 0x3800, 0x3bff, 0x0400, 0x3800, 0x3bff, 0x3c01,
275   0x0000, 0x0400, 0x3800, 0x3bff, 0x37ff, 0x3801, 0x3c00, 0x3e00,
276   0x0000, 0x0400, 0x3800, 0x3bff, 0x3800, 0x3bff, 0x3c01, 0x4900,
277   0x0000, 0x0400, 0x3800, 0x3bff, 0x3801, 0x3c00, 0x3e00, 0x7bff,
278   0x0000, 0x0400, 0x3800, 0x3bff, 0x3bff, 0x3c01, 0x4900, 0x7f23,
279   0x0000, 0x0400, 0x3800, 0x3bff, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
280   0x0000, 0x0400, 0x3800, 0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7f23,
281   0x0000, 0x0400, 0x3800, 0x3bff, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
282   0x0000, 0x0400, 0x3800, 0x3bff, 0x4900, 0x7f23, 0x7f23, 0x7e01,
283   0x0000, 0x0400, 0x3800, 0x3bff, 0x7bff, 0x7f23, 0x7f23, 0x0012,
284   0x0000, 0x0400, 0x3800, 0x3bff, 0x7f23, 0x7f23, 0x7e01, 0x0001,
285   0x0000, 0x0400, 0x3800, 0x3bff, 0x7f23, 0x7f23, 0x0012, 0x8000,
286   0x0000, 0x0400, 0x3800, 0x3bff, 0x7f23, 0x7e01, 0x0001, 0x8400,
287   0x0000, 0x0400, 0x3800, 0x3bff, 0x7f23, 0x0012, 0x8000, 0xb7ff,
288   0x0000, 0x0400, 0x3800, 0x3bff, 0x7e01, 0x0001, 0x8400, 0xb800,
289   0x0000, 0x0400, 0x3800, 0x3bff, 0x0012, 0x8000, 0xb7ff, 0xb801,
290   0x0000, 0x0400, 0x3800, 0x3bff, 0x0001, 0x8400, 0xb800, 0xbbff,
291   0x0000, 0x0400, 0x3800, 0x3bff, 0x8000, 0xb7ff, 0xb801, 0xbc00,
292   0x0000, 0x0400, 0x3800, 0x3bff, 0x8400, 0xb800, 0xbbff, 0xbc01,
293   0x0000, 0x0400, 0x3800, 0x3bff, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
294   0x0000, 0x0400, 0x3800, 0x3bff, 0xb800, 0xbbff, 0xbc01, 0xc900,
295   0x0000, 0x0400, 0x3800, 0x3bff, 0xb801, 0xbc00, 0xbe00, 0xfbff,
296   0x0000, 0x0400, 0x3800, 0x3bff, 0xbbff, 0xbc01, 0xc900, 0xfc00,
297   0x0000, 0x0400, 0x3800, 0x3bff, 0xbc00, 0xbe00, 0xfbff, 0xff23,
298   0x0000, 0x0400, 0x3800, 0x3bff, 0xbc01, 0xc900, 0xfc00, 0xff23,
299   0x0000, 0x0400, 0x3800, 0x3bff, 0xbe00, 0xfbff, 0xff23, 0xff23,
300   0x0000, 0x0400, 0x3800, 0x3bff, 0xc900, 0xfc00, 0xff23, 0xff23,
301   0x0000, 0x0400, 0x3800, 0x3bff, 0xfbff, 0xff23, 0xff23, 0xfe01,
302   0x0000, 0x0400, 0x3800, 0x3bff, 0xfc00, 0xff23, 0xff23, 0x83ff,
303   0x0000, 0x0400, 0x3800, 0x3bff, 0xff23, 0xff23, 0xfe01, 0x83ff,
304   0x0000, 0x37ff, 0x3801, 0x3c00, 0xff23, 0xff23, 0x83ff, 0x8001,
305   0x0000, 0x37ff, 0x3801, 0x3c00, 0xff23, 0xfe01, 0x83ff, 0x0000,
306   0x0000, 0x37ff, 0x3801, 0x3c00, 0xff23, 0x83ff, 0x8001, 0x0400,
307   0x0000, 0x37ff, 0x3801, 0x3c00, 0xfe01, 0x83ff, 0x0000, 0x37ff,
308   0x0000, 0x37ff, 0x3801, 0x3c00, 0x83ff, 0x8001, 0x0400, 0x3800,
309   0x0000, 0x37ff, 0x3801, 0x3c00, 0x83ff, 0x0000, 0x37ff, 0x3801,
310   0x0000, 0x37ff, 0x3801, 0x3c00, 0x8001, 0x0400, 0x3800, 0x3bff,
311   0x0000, 0x37ff, 0x3801, 0x3c00, 0x0000, 0x37ff, 0x3801, 0x3c00,
312   0x0000, 0x37ff, 0x3801, 0x3c00, 0x0400, 0x3800, 0x3bff, 0x3c01,
313   0x0000, 0x37ff, 0x3801, 0x3c00, 0x37ff, 0x3801, 0x3c00, 0x3e00,
314   0x0000, 0x37ff, 0x3801, 0x3c00, 0x3800, 0x3bff, 0x3c01, 0x4900,
315   0x0000, 0x37ff, 0x3801, 0x3c00, 0x3801, 0x3c00, 0x3e00, 0x7bff,
316   0x0000, 0x37ff, 0x3801, 0x3c00, 0x3bff, 0x3c01, 0x4900, 0x7f23,
317   0x0000, 0x37ff, 0x3801, 0x3c00, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
318   0x0000, 0x37ff, 0x3801, 0x3c00, 0x3c01, 0x4900, 0x7f23, 0x7f23,
319   0x0000, 0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
320   0x0000, 0x37ff, 0x3801, 0x3c00, 0x4900, 0x7f23, 0x7f23, 0x7e01,
321   0x0000, 0x37ff, 0x3801, 0x3c00, 0x7bff, 0x7f23, 0x7f23, 0x0012,
322   0x0000, 0x37ff, 0x3801, 0x3c00, 0x7f23, 0x7f23, 0x7e01, 0x0001,
323   0x0000, 0x37ff, 0x3801, 0x3c00, 0x7f23, 0x7f23, 0x0012, 0x8000,
324   0x0000, 0x37ff, 0x3801, 0x3c00, 0x7f23, 0x7e01, 0x0001, 0x8400,
325   0x0000, 0x37ff, 0x3801, 0x3c00, 0x7f23, 0x0012, 0x8000, 0xb7ff,
326   0x0000, 0x37ff, 0x3801, 0x3c00, 0x7e01, 0x0001, 0x8400, 0xb800,
327   0x0000, 0x37ff, 0x3801, 0x3c00, 0x0012, 0x8000, 0xb7ff, 0xb801,
328   0x0000, 0x37ff, 0x3801, 0x3c00, 0x0001, 0x8400, 0xb800, 0xbbff,
329   0x0000, 0x37ff, 0x3801, 0x3c00, 0x8000, 0xb7ff, 0xb801, 0xbc00,
330   0x0000, 0x37ff, 0x3801, 0x3c00, 0x8400, 0xb800, 0xbbff, 0xbc01,
331   0x0000, 0x37ff, 0x3801, 0x3c00, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
332   0x0000, 0x37ff, 0x3801, 0x3c00, 0xb800, 0xbbff, 0xbc01, 0xc900,
333   0x0000, 0x37ff, 0x3801, 0x3c00, 0xb801, 0xbc00, 0xbe00, 0xfbff,
334   0x0000, 0x37ff, 0x3801, 0x3c00, 0xbbff, 0xbc01, 0xc900, 0xfc00,
335   0x0000, 0x37ff, 0x3801, 0x3c00, 0xbc00, 0xbe00, 0xfbff, 0xff23,
336   0x0000, 0x37ff, 0x3801, 0x3c00, 0xbc01, 0xc900, 0xfc00, 0xff23,
337   0x0000, 0x37ff, 0x3801, 0x3c00, 0xbe00, 0xfbff, 0xff23, 0xff23,
338   0x0000, 0x37ff, 0x3801, 0x3c00, 0xc900, 0xfc00, 0xff23, 0xff23,
339   0x0000, 0x37ff, 0x3801, 0x3c00, 0xfbff, 0xff23, 0xff23, 0xfe01,
340   0x0000, 0x37ff, 0x3801, 0x3c00, 0xfc00, 0xff23, 0xff23, 0x83ff,
341   0x0000, 0x37ff, 0x3801, 0x3c00, 0xff23, 0xff23, 0xfe01, 0x83ff,
342   0x0400, 0x3800, 0x3bff, 0x3c01, 0xff23, 0xff23, 0x83ff, 0x8001,
343   0x0400, 0x3800, 0x3bff, 0x3c01, 0xff23, 0xfe01, 0x83ff, 0x0000,
344   0x0400, 0x3800, 0x3bff, 0x3c01, 0xff23, 0x83ff, 0x8001, 0x0400,
345   0x0400, 0x3800, 0x3bff, 0x3c01, 0xfe01, 0x83ff, 0x0000, 0x37ff,
346   0x0400, 0x3800, 0x3bff, 0x3c01, 0x83ff, 0x8001, 0x0400, 0x3800,
347   0x0400, 0x3800, 0x3bff, 0x3c01, 0x83ff, 0x0000, 0x37ff, 0x3801,
348   0x0400, 0x3800, 0x3bff, 0x3c01, 0x8001, 0x0400, 0x3800, 0x3bff,
349   0x0400, 0x3800, 0x3bff, 0x3c01, 0x0000, 0x37ff, 0x3801, 0x3c00,
350   0x0400, 0x3800, 0x3bff, 0x3c01, 0x0400, 0x3800, 0x3bff, 0x3c01,
351   0x0400, 0x3800, 0x3bff, 0x3c01, 0x37ff, 0x3801, 0x3c00, 0x3e00,
352   0x0400, 0x3800, 0x3bff, 0x3c01, 0x3800, 0x3bff, 0x3c01, 0x4900,
353   0x0400, 0x3800, 0x3bff, 0x3c01, 0x3801, 0x3c00, 0x3e00, 0x7bff,
354   0x0400, 0x3800, 0x3bff, 0x3c01, 0x3bff, 0x3c01, 0x4900, 0x7f23,
355   0x0400, 0x3800, 0x3bff, 0x3c01, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
356   0x0400, 0x3800, 0x3bff, 0x3c01, 0x3c01, 0x4900, 0x7f23, 0x7f23,
357   0x0400, 0x3800, 0x3bff, 0x3c01, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
358   0x0400, 0x3800, 0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7e01,
359   0x0400, 0x3800, 0x3bff, 0x3c01, 0x7bff, 0x7f23, 0x7f23, 0x0012,
360   0x0400, 0x3800, 0x3bff, 0x3c01, 0x7f23, 0x7f23, 0x7e01, 0x0001,
361   0x0400, 0x3800, 0x3bff, 0x3c01, 0x7f23, 0x7f23, 0x0012, 0x8000,
362   0x0400, 0x3800, 0x3bff, 0x3c01, 0x7f23, 0x7e01, 0x0001, 0x8400,
363   0x0400, 0x3800, 0x3bff, 0x3c01, 0x7f23, 0x0012, 0x8000, 0xb7ff,
364   0x0400, 0x3800, 0x3bff, 0x3c01, 0x7e01, 0x0001, 0x8400, 0xb800,
365   0x0400, 0x3800, 0x3bff, 0x3c01, 0x0012, 0x8000, 0xb7ff, 0xb801,
366   0x0400, 0x3800, 0x3bff, 0x3c01, 0x0001, 0x8400, 0xb800, 0xbbff,
367   0x0400, 0x3800, 0x3bff, 0x3c01, 0x8000, 0xb7ff, 0xb801, 0xbc00,
368   0x0400, 0x3800, 0x3bff, 0x3c01, 0x8400, 0xb800, 0xbbff, 0xbc01,
369   0x0400, 0x3800, 0x3bff, 0x3c01, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
370   0x0400, 0x3800, 0x3bff, 0x3c01, 0xb800, 0xbbff, 0xbc01, 0xc900,
371   0x0400, 0x3800, 0x3bff, 0x3c01, 0xb801, 0xbc00, 0xbe00, 0xfbff,
372   0x0400, 0x3800, 0x3bff, 0x3c01, 0xbbff, 0xbc01, 0xc900, 0xfc00,
373   0x0400, 0x3800, 0x3bff, 0x3c01, 0xbc00, 0xbe00, 0xfbff, 0xff23,
374   0x0400, 0x3800, 0x3bff, 0x3c01, 0xbc01, 0xc900, 0xfc00, 0xff23,
375   0x0400, 0x3800, 0x3bff, 0x3c01, 0xbe00, 0xfbff, 0xff23, 0xff23,
376   0x0400, 0x3800, 0x3bff, 0x3c01, 0xc900, 0xfc00, 0xff23, 0xff23,
377   0x0400, 0x3800, 0x3bff, 0x3c01, 0xfbff, 0xff23, 0xff23, 0xfe01,
378   0x0400, 0x3800, 0x3bff, 0x3c01, 0xfc00, 0xff23, 0xff23, 0x83ff,
379   0x0400, 0x3800, 0x3bff, 0x3c01, 0xff23, 0xff23, 0xfe01, 0x83ff,
380   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xff23, 0xff23, 0x83ff, 0x8001,
381   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xff23, 0xfe01, 0x83ff, 0x0000,
382   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xff23, 0x83ff, 0x8001, 0x0400,
383   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xfe01, 0x83ff, 0x0000, 0x37ff,
384   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x83ff, 0x8001, 0x0400, 0x3800,
385   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x83ff, 0x0000, 0x37ff, 0x3801,
386   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x8001, 0x0400, 0x3800, 0x3bff,
387   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x0000, 0x37ff, 0x3801, 0x3c00,
388   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x0400, 0x3800, 0x3bff, 0x3c01,
389   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x37ff, 0x3801, 0x3c00, 0x3e00,
390   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x3800, 0x3bff, 0x3c01, 0x4900,
391   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x3801, 0x3c00, 0x3e00, 0x7bff,
392   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x3bff, 0x3c01, 0x4900, 0x7f23,
393   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
394   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x3c01, 0x4900, 0x7f23, 0x7f23,
395   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
396   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x4900, 0x7f23, 0x7f23, 0x7e01,
397   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x0012,
398   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7f23, 0x7f23, 0x7e01, 0x0001,
399   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7f23, 0x7f23, 0x0012, 0x8000,
400   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7f23, 0x7e01, 0x0001, 0x8400,
401   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7f23, 0x0012, 0x8000, 0xb7ff,
402   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x7e01, 0x0001, 0x8400, 0xb800,
403   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x0012, 0x8000, 0xb7ff, 0xb801,
404   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x0001, 0x8400, 0xb800, 0xbbff,
405   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x8000, 0xb7ff, 0xb801, 0xbc00,
406   0x37ff, 0x3801, 0x3c00, 0x3e00, 0x8400, 0xb800, 0xbbff, 0xbc01,
407   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
408   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xb800, 0xbbff, 0xbc01, 0xc900,
409   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xb801, 0xbc00, 0xbe00, 0xfbff,
410   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xbbff, 0xbc01, 0xc900, 0xfc00,
411   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xbc00, 0xbe00, 0xfbff, 0xff23,
412   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xbc01, 0xc900, 0xfc00, 0xff23,
413   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xbe00, 0xfbff, 0xff23, 0xff23,
414   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xc900, 0xfc00, 0xff23, 0xff23,
415   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xfbff, 0xff23, 0xff23, 0xfe01,
416   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xfc00, 0xff23, 0xff23, 0x83ff,
417   0x37ff, 0x3801, 0x3c00, 0x3e00, 0xff23, 0xff23, 0xfe01, 0x83ff,
418   0x3800, 0x3bff, 0x3c01, 0x4900, 0xff23, 0xff23, 0x83ff, 0x8001,
419   0x3800, 0x3bff, 0x3c01, 0x4900, 0xff23, 0xfe01, 0x83ff, 0x0000,
420   0x3800, 0x3bff, 0x3c01, 0x4900, 0xff23, 0x83ff, 0x8001, 0x0400,
421   0x3800, 0x3bff, 0x3c01, 0x4900, 0xfe01, 0x83ff, 0x0000, 0x37ff,
422   0x3800, 0x3bff, 0x3c01, 0x4900, 0x83ff, 0x8001, 0x0400, 0x3800,
423   0x3800, 0x3bff, 0x3c01, 0x4900, 0x83ff, 0x0000, 0x37ff, 0x3801,
424   0x3800, 0x3bff, 0x3c01, 0x4900, 0x8001, 0x0400, 0x3800, 0x3bff,
425   0x3800, 0x3bff, 0x3c01, 0x4900, 0x0000, 0x37ff, 0x3801, 0x3c00,
426   0x3800, 0x3bff, 0x3c01, 0x4900, 0x0400, 0x3800, 0x3bff, 0x3c01,
427   0x3800, 0x3bff, 0x3c01, 0x4900, 0x37ff, 0x3801, 0x3c00, 0x3e00,
428   0x3800, 0x3bff, 0x3c01, 0x4900, 0x3800, 0x3bff, 0x3c01, 0x4900,
429   0x3800, 0x3bff, 0x3c01, 0x4900, 0x3801, 0x3c00, 0x3e00, 0x7bff,
430   0x3800, 0x3bff, 0x3c01, 0x4900, 0x3bff, 0x3c01, 0x4900, 0x7f23,
431   0x3800, 0x3bff, 0x3c01, 0x4900, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
432   0x3800, 0x3bff, 0x3c01, 0x4900, 0x3c01, 0x4900, 0x7f23, 0x7f23,
433   0x3800, 0x3bff, 0x3c01, 0x4900, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
434   0x3800, 0x3bff, 0x3c01, 0x4900, 0x4900, 0x7f23, 0x7f23, 0x7e01,
435   0x3800, 0x3bff, 0x3c01, 0x4900, 0x7bff, 0x7f23, 0x7f23, 0x0012,
436   0x3800, 0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7e01, 0x0001,
437   0x3800, 0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7f23, 0x0012, 0x8000,
438   0x3800, 0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7e01, 0x0001, 0x8400,
439   0x3800, 0x3bff, 0x3c01, 0x4900, 0x7f23, 0x0012, 0x8000, 0xb7ff,
440   0x3800, 0x3bff, 0x3c01, 0x4900, 0x7e01, 0x0001, 0x8400, 0xb800,
441   0x3800, 0x3bff, 0x3c01, 0x4900, 0x0012, 0x8000, 0xb7ff, 0xb801,
442   0x3800, 0x3bff, 0x3c01, 0x4900, 0x0001, 0x8400, 0xb800, 0xbbff,
443   0x3800, 0x3bff, 0x3c01, 0x4900, 0x8000, 0xb7ff, 0xb801, 0xbc00,
444   0x3800, 0x3bff, 0x3c01, 0x4900, 0x8400, 0xb800, 0xbbff, 0xbc01,
445   0x3800, 0x3bff, 0x3c01, 0x4900, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
446   0x3800, 0x3bff, 0x3c01, 0x4900, 0xb800, 0xbbff, 0xbc01, 0xc900,
447   0x3800, 0x3bff, 0x3c01, 0x4900, 0xb801, 0xbc00, 0xbe00, 0xfbff,
448   0x3800, 0x3bff, 0x3c01, 0x4900, 0xbbff, 0xbc01, 0xc900, 0xfc00,
449   0x3800, 0x3bff, 0x3c01, 0x4900, 0xbc00, 0xbe00, 0xfbff, 0xff23,
450   0x3800, 0x3bff, 0x3c01, 0x4900, 0xbc01, 0xc900, 0xfc00, 0xff23,
451   0x3800, 0x3bff, 0x3c01, 0x4900, 0xbe00, 0xfbff, 0xff23, 0xff23,
452   0x3800, 0x3bff, 0x3c01, 0x4900, 0xc900, 0xfc00, 0xff23, 0xff23,
453   0x3800, 0x3bff, 0x3c01, 0x4900, 0xfbff, 0xff23, 0xff23, 0xfe01,
454   0x3800, 0x3bff, 0x3c01, 0x4900, 0xfc00, 0xff23, 0xff23, 0x83ff,
455   0x3800, 0x3bff, 0x3c01, 0x4900, 0xff23, 0xff23, 0xfe01, 0x83ff,
456   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xff23, 0xff23, 0x83ff, 0x8001,
457   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xff23, 0xfe01, 0x83ff, 0x0000,
458   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xff23, 0x83ff, 0x8001, 0x0400,
459   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xfe01, 0x83ff, 0x0000, 0x37ff,
460   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x83ff, 0x8001, 0x0400, 0x3800,
461   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x83ff, 0x0000, 0x37ff, 0x3801,
462   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x8001, 0x0400, 0x3800, 0x3bff,
463   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x0000, 0x37ff, 0x3801, 0x3c00,
464   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x0400, 0x3800, 0x3bff, 0x3c01,
465   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x37ff, 0x3801, 0x3c00, 0x3e00,
466   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x3800, 0x3bff, 0x3c01, 0x4900,
467   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x3801, 0x3c00, 0x3e00, 0x7bff,
468   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x3bff, 0x3c01, 0x4900, 0x7f23,
469   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
470   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x3c01, 0x4900, 0x7f23, 0x7f23,
471   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
472   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x4900, 0x7f23, 0x7f23, 0x7e01,
473   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7bff, 0x7f23, 0x7f23, 0x0012,
474   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7e01, 0x0001,
475   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x0012, 0x8000,
476   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7e01, 0x0001, 0x8400,
477   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x0012, 0x8000, 0xb7ff,
478   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x7e01, 0x0001, 0x8400, 0xb800,
479   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x0012, 0x8000, 0xb7ff, 0xb801,
480   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x0001, 0x8400, 0xb800, 0xbbff,
481   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x8000, 0xb7ff, 0xb801, 0xbc00,
482   0x3801, 0x3c00, 0x3e00, 0x7bff, 0x8400, 0xb800, 0xbbff, 0xbc01,
483   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
484   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xb800, 0xbbff, 0xbc01, 0xc900,
485   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xb801, 0xbc00, 0xbe00, 0xfbff,
486   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xbbff, 0xbc01, 0xc900, 0xfc00,
487   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xbc00, 0xbe00, 0xfbff, 0xff23,
488   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xbc01, 0xc900, 0xfc00, 0xff23,
489   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xbe00, 0xfbff, 0xff23, 0xff23,
490   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xc900, 0xfc00, 0xff23, 0xff23,
491   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xfbff, 0xff23, 0xff23, 0xfe01,
492   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xfc00, 0xff23, 0xff23, 0x83ff,
493   0x3801, 0x3c00, 0x3e00, 0x7bff, 0xff23, 0xff23, 0xfe01, 0x83ff,
494   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xff23, 0xff23, 0x83ff, 0x8001,
495   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xff23, 0xfe01, 0x83ff, 0x0000,
496   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xff23, 0x83ff, 0x8001, 0x0400,
497   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xfe01, 0x83ff, 0x0000, 0x37ff,
498   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x83ff, 0x8001, 0x0400, 0x3800,
499   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x83ff, 0x0000, 0x37ff, 0x3801,
500   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x8001, 0x0400, 0x3800, 0x3bff,
501   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x0000, 0x37ff, 0x3801, 0x3c00,
502   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x0400, 0x3800, 0x3bff, 0x3c01,
503   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x37ff, 0x3801, 0x3c00, 0x3e00,
504   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x3800, 0x3bff, 0x3c01, 0x4900,
505   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x3801, 0x3c00, 0x3e00, 0x7bff,
506   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x3bff, 0x3c01, 0x4900, 0x7f23,
507   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
508   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x3c01, 0x4900, 0x7f23, 0x7f23,
509   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
510   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x4900, 0x7f23, 0x7f23, 0x7e01,
511   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7bff, 0x7f23, 0x7f23, 0x0012,
512   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7f23, 0x7e01, 0x0001,
513   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7f23, 0x0012, 0x8000,
514   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8400,
515   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7f23, 0x0012, 0x8000, 0xb7ff,
516   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x7e01, 0x0001, 0x8400, 0xb800,
517   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb801,
518   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x0001, 0x8400, 0xb800, 0xbbff,
519   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x8000, 0xb7ff, 0xb801, 0xbc00,
520   0x3bff, 0x3c01, 0x4900, 0x7f23, 0x8400, 0xb800, 0xbbff, 0xbc01,
521   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
522   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xb800, 0xbbff, 0xbc01, 0xc900,
523   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xb801, 0xbc00, 0xbe00, 0xfbff,
524   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xbbff, 0xbc01, 0xc900, 0xfc00,
525   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xbc00, 0xbe00, 0xfbff, 0xff23,
526   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xbc01, 0xc900, 0xfc00, 0xff23,
527   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xbe00, 0xfbff, 0xff23, 0xff23,
528   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xc900, 0xfc00, 0xff23, 0xff23,
529   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xfbff, 0xff23, 0xff23, 0xfe01,
530   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xfc00, 0xff23, 0xff23, 0x83ff,
531   0x3bff, 0x3c01, 0x4900, 0x7f23, 0xff23, 0xff23, 0xfe01, 0x83ff,
532   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xff23, 0xff23, 0x83ff, 0x8001,
533   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xff23, 0xfe01, 0x83ff, 0x0000,
534   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xff23, 0x83ff, 0x8001, 0x0400,
535   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xfe01, 0x83ff, 0x0000, 0x37ff,
536   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x83ff, 0x8001, 0x0400, 0x3800,
537   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x83ff, 0x0000, 0x37ff, 0x3801,
538   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x8001, 0x0400, 0x3800, 0x3bff,
539   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x0000, 0x37ff, 0x3801, 0x3c00,
540   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x0400, 0x3800, 0x3bff, 0x3c01,
541   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x37ff, 0x3801, 0x3c00, 0x3e00,
542   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x3800, 0x3bff, 0x3c01, 0x4900,
543   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x3801, 0x3c00, 0x3e00, 0x7bff,
544   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x3bff, 0x3c01, 0x4900, 0x7f23,
545   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
546   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x3c01, 0x4900, 0x7f23, 0x7f23,
547   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
548   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x4900, 0x7f23, 0x7f23, 0x7e01,
549   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7bff, 0x7f23, 0x7f23, 0x0012,
550   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7f23, 0x7e01, 0x0001,
551   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7f23, 0x0012, 0x8000,
552   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8400,
553   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x0012, 0x8000, 0xb7ff,
554   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x7e01, 0x0001, 0x8400, 0xb800,
555   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb801,
556   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x0001, 0x8400, 0xb800, 0xbbff,
557   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x8000, 0xb7ff, 0xb801, 0xbc00,
558   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0x8400, 0xb800, 0xbbff, 0xbc01,
559   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
560   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xb800, 0xbbff, 0xbc01, 0xc900,
561   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xb801, 0xbc00, 0xbe00, 0xfbff,
562   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xbbff, 0xbc01, 0xc900, 0xfc00,
563   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xbc00, 0xbe00, 0xfbff, 0xff23,
564   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xbc01, 0xc900, 0xfc00, 0xff23,
565   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xbe00, 0xfbff, 0xff23, 0xff23,
566   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xc900, 0xfc00, 0xff23, 0xff23,
567   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xfbff, 0xff23, 0xff23, 0xfe01,
568   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xfc00, 0xff23, 0xff23, 0x83ff,
569   0x3c00, 0x3e00, 0x7bff, 0x7f23, 0xff23, 0xff23, 0xfe01, 0x83ff,
570   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xff23, 0xff23, 0x83ff, 0x8001,
571   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xff23, 0xfe01, 0x83ff, 0x0000,
572   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xff23, 0x83ff, 0x8001, 0x0400,
573   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xfe01, 0x83ff, 0x0000, 0x37ff,
574   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x83ff, 0x8001, 0x0400, 0x3800,
575   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x83ff, 0x0000, 0x37ff, 0x3801,
576   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x8001, 0x0400, 0x3800, 0x3bff,
577   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x0000, 0x37ff, 0x3801, 0x3c00,
578   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x0400, 0x3800, 0x3bff, 0x3c01,
579   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x37ff, 0x3801, 0x3c00, 0x3e00,
580   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x3800, 0x3bff, 0x3c01, 0x4900,
581   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x3801, 0x3c00, 0x3e00, 0x7bff,
582   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x3bff, 0x3c01, 0x4900, 0x7f23,
583   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
584   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x3c01, 0x4900, 0x7f23, 0x7f23,
585   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
586   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x4900, 0x7f23, 0x7f23, 0x7e01,
587   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7bff, 0x7f23, 0x7f23, 0x0012,
588   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7f23, 0x7f23, 0x7e01, 0x0001,
589   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7f23, 0x7f23, 0x0012, 0x8000,
590   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8400,
591   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7f23, 0x0012, 0x8000, 0xb7ff,
592   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8400, 0xb800,
593   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb801,
594   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x0001, 0x8400, 0xb800, 0xbbff,
595   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x8000, 0xb7ff, 0xb801, 0xbc00,
596   0x3c01, 0x4900, 0x7f23, 0x7f23, 0x8400, 0xb800, 0xbbff, 0xbc01,
597   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
598   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xb800, 0xbbff, 0xbc01, 0xc900,
599   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xb801, 0xbc00, 0xbe00, 0xfbff,
600   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xbbff, 0xbc01, 0xc900, 0xfc00,
601   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xbc00, 0xbe00, 0xfbff, 0xff23,
602   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xbc01, 0xc900, 0xfc00, 0xff23,
603   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xbe00, 0xfbff, 0xff23, 0xff23,
604   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xc900, 0xfc00, 0xff23, 0xff23,
605   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xfbff, 0xff23, 0xff23, 0xfe01,
606   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xfc00, 0xff23, 0xff23, 0x83ff,
607   0x3c01, 0x4900, 0x7f23, 0x7f23, 0xff23, 0xff23, 0xfe01, 0x83ff,
608   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xff23, 0xff23, 0x83ff, 0x8001,
609   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xff23, 0xfe01, 0x83ff, 0x0000,
610   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xff23, 0x83ff, 0x8001, 0x0400,
611   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xfe01, 0x83ff, 0x0000, 0x37ff,
612   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x83ff, 0x8001, 0x0400, 0x3800,
613   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x83ff, 0x0000, 0x37ff, 0x3801,
614   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x8001, 0x0400, 0x3800, 0x3bff,
615   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x0000, 0x37ff, 0x3801, 0x3c00,
616   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x0400, 0x3800, 0x3bff, 0x3c01,
617   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x37ff, 0x3801, 0x3c00, 0x3e00,
618   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x3800, 0x3bff, 0x3c01, 0x4900,
619   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x3801, 0x3c00, 0x3e00, 0x7bff,
620   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x3bff, 0x3c01, 0x4900, 0x7f23,
621   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
622   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x3c01, 0x4900, 0x7f23, 0x7f23,
623   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
624   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x4900, 0x7f23, 0x7f23, 0x7e01,
625   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7bff, 0x7f23, 0x7f23, 0x0012,
626   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7f23, 0x7f23, 0x7e01, 0x0001,
627   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7f23, 0x7f23, 0x0012, 0x8000,
628   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8400,
629   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7f23, 0x0012, 0x8000, 0xb7ff,
630   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8400, 0xb800,
631   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb801,
632   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x0001, 0x8400, 0xb800, 0xbbff,
633   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x8000, 0xb7ff, 0xb801, 0xbc00,
634   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0x8400, 0xb800, 0xbbff, 0xbc01,
635   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
636   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xb800, 0xbbff, 0xbc01, 0xc900,
637   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xb801, 0xbc00, 0xbe00, 0xfbff,
638   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xbbff, 0xbc01, 0xc900, 0xfc00,
639   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xbc00, 0xbe00, 0xfbff, 0xff23,
640   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xbc01, 0xc900, 0xfc00, 0xff23,
641   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xbe00, 0xfbff, 0xff23, 0xff23,
642   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xc900, 0xfc00, 0xff23, 0xff23,
643   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xfbff, 0xff23, 0xff23, 0xfe01,
644   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xfc00, 0xff23, 0xff23, 0x83ff,
645   0x3e00, 0x7bff, 0x7f23, 0x7f23, 0xff23, 0xff23, 0xfe01, 0x83ff,
646   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xff23, 0xff23, 0x83ff, 0x8001,
647   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xff23, 0xfe01, 0x83ff, 0x0000,
648   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xff23, 0x83ff, 0x8001, 0x0400,
649   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xfe01, 0x83ff, 0x0000, 0x37ff,
650   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x83ff, 0x8001, 0x0400, 0x3800,
651   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x83ff, 0x0000, 0x37ff, 0x3801,
652   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x8001, 0x0400, 0x3800, 0x3bff,
653   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x0000, 0x37ff, 0x3801, 0x3c00,
654   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x0400, 0x3800, 0x3bff, 0x3c01,
655   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x37ff, 0x3801, 0x3c00, 0x3e00,
656   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x3800, 0x3bff, 0x3c01, 0x4900,
657   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x3801, 0x3c00, 0x3e00, 0x7bff,
658   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x3bff, 0x3c01, 0x4900, 0x7f23,
659   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
660   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x3c01, 0x4900, 0x7f23, 0x7f23,
661   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
662   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x4900, 0x7f23, 0x7f23, 0x7e01,
663   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x7bff, 0x7f23, 0x7f23, 0x0012,
664   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x7f23, 0x7f23, 0x7e01, 0x0001,
665   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x7f23, 0x7f23, 0x0012, 0x8000,
666   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x7f23, 0x7e01, 0x0001, 0x8400,
667   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x7f23, 0x0012, 0x8000, 0xb7ff,
668   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x7e01, 0x0001, 0x8400, 0xb800,
669   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x0012, 0x8000, 0xb7ff, 0xb801,
670   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8400, 0xb800, 0xbbff,
671   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x8000, 0xb7ff, 0xb801, 0xbc00,
672   0x4900, 0x7f23, 0x7f23, 0x7e01, 0x8400, 0xb800, 0xbbff, 0xbc01,
673   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
674   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xb800, 0xbbff, 0xbc01, 0xc900,
675   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xb801, 0xbc00, 0xbe00, 0xfbff,
676   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xbbff, 0xbc01, 0xc900, 0xfc00,
677   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xbc00, 0xbe00, 0xfbff, 0xff23,
678   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xbc01, 0xc900, 0xfc00, 0xff23,
679   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xbe00, 0xfbff, 0xff23, 0xff23,
680   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xc900, 0xfc00, 0xff23, 0xff23,
681   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xfbff, 0xff23, 0xff23, 0xfe01,
682   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xfc00, 0xff23, 0xff23, 0x83ff,
683   0x4900, 0x7f23, 0x7f23, 0x7e01, 0xff23, 0xff23, 0xfe01, 0x83ff,
684   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xff23, 0xff23, 0x83ff, 0x8001,
685   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xff23, 0xfe01, 0x83ff, 0x0000,
686   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xff23, 0x83ff, 0x8001, 0x0400,
687   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xfe01, 0x83ff, 0x0000, 0x37ff,
688   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x83ff, 0x8001, 0x0400, 0x3800,
689   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x83ff, 0x0000, 0x37ff, 0x3801,
690   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x8001, 0x0400, 0x3800, 0x3bff,
691   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x0000, 0x37ff, 0x3801, 0x3c00,
692   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x0400, 0x3800, 0x3bff, 0x3c01,
693   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x37ff, 0x3801, 0x3c00, 0x3e00,
694   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x3800, 0x3bff, 0x3c01, 0x4900,
695   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x3801, 0x3c00, 0x3e00, 0x7bff,
696   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x3bff, 0x3c01, 0x4900, 0x7f23,
697   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
698   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x3c01, 0x4900, 0x7f23, 0x7f23,
699   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
700   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x4900, 0x7f23, 0x7f23, 0x7e01,
701   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x7bff, 0x7f23, 0x7f23, 0x0012,
702   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x7f23, 0x7f23, 0x7e01, 0x0001,
703   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x7f23, 0x7f23, 0x0012, 0x8000,
704   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x7f23, 0x7e01, 0x0001, 0x8400,
705   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x7f23, 0x0012, 0x8000, 0xb7ff,
706   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x7e01, 0x0001, 0x8400, 0xb800,
707   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x0012, 0x8000, 0xb7ff, 0xb801,
708   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x0001, 0x8400, 0xb800, 0xbbff,
709   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb801, 0xbc00,
710   0x7bff, 0x7f23, 0x7f23, 0x0012, 0x8400, 0xb800, 0xbbff, 0xbc01,
711   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
712   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xb800, 0xbbff, 0xbc01, 0xc900,
713   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xb801, 0xbc00, 0xbe00, 0xfbff,
714   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xbbff, 0xbc01, 0xc900, 0xfc00,
715   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xbc00, 0xbe00, 0xfbff, 0xff23,
716   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xbc01, 0xc900, 0xfc00, 0xff23,
717   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xbe00, 0xfbff, 0xff23, 0xff23,
718   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xc900, 0xfc00, 0xff23, 0xff23,
719   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xfbff, 0xff23, 0xff23, 0xfe01,
720   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xfc00, 0xff23, 0xff23, 0x83ff,
721   0x7bff, 0x7f23, 0x7f23, 0x0012, 0xff23, 0xff23, 0xfe01, 0x83ff,
722   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xff23, 0xff23, 0x83ff, 0x8001,
723   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xff23, 0xfe01, 0x83ff, 0x0000,
724   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xff23, 0x83ff, 0x8001, 0x0400,
725   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xfe01, 0x83ff, 0x0000, 0x37ff,
726   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x83ff, 0x8001, 0x0400, 0x3800,
727   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x83ff, 0x0000, 0x37ff, 0x3801,
728   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8001, 0x0400, 0x3800, 0x3bff,
729   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x0000, 0x37ff, 0x3801, 0x3c00,
730   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x0400, 0x3800, 0x3bff, 0x3c01,
731   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x37ff, 0x3801, 0x3c00, 0x3e00,
732   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x3800, 0x3bff, 0x3c01, 0x4900,
733   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x3801, 0x3c00, 0x3e00, 0x7bff,
734   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x3bff, 0x3c01, 0x4900, 0x7f23,
735   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
736   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x3c01, 0x4900, 0x7f23, 0x7f23,
737   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
738   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x4900, 0x7f23, 0x7f23, 0x7e01,
739   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x7bff, 0x7f23, 0x7f23, 0x0012,
740   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x7f23, 0x7f23, 0x7e01, 0x0001,
741   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x7f23, 0x7f23, 0x0012, 0x8000,
742   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x7f23, 0x7e01, 0x0001, 0x8400,
743   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x7f23, 0x0012, 0x8000, 0xb7ff,
744   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x7e01, 0x0001, 0x8400, 0xb800,
745   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x0012, 0x8000, 0xb7ff, 0xb801,
746   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x0001, 0x8400, 0xb800, 0xbbff,
747   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8000, 0xb7ff, 0xb801, 0xbc00,
748   0x7f23, 0x7f23, 0x7e01, 0x0001, 0x8400, 0xb800, 0xbbff, 0xbc01,
749   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
750   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xb800, 0xbbff, 0xbc01, 0xc900,
751   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xb801, 0xbc00, 0xbe00, 0xfbff,
752   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xbbff, 0xbc01, 0xc900, 0xfc00,
753   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xbc00, 0xbe00, 0xfbff, 0xff23,
754   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xbc01, 0xc900, 0xfc00, 0xff23,
755   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xbe00, 0xfbff, 0xff23, 0xff23,
756   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xc900, 0xfc00, 0xff23, 0xff23,
757   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xfbff, 0xff23, 0xff23, 0xfe01,
758   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xfc00, 0xff23, 0xff23, 0x83ff,
759   0x7f23, 0x7f23, 0x7e01, 0x0001, 0xff23, 0xff23, 0xfe01, 0x83ff,
760   0x7f23, 0x7f23, 0x0012, 0x8000, 0xff23, 0xff23, 0x83ff, 0x8001,
761   0x7f23, 0x7f23, 0x0012, 0x8000, 0xff23, 0xfe01, 0x83ff, 0x0000,
762   0x7f23, 0x7f23, 0x0012, 0x8000, 0xff23, 0x83ff, 0x8001, 0x0400,
763   0x7f23, 0x7f23, 0x0012, 0x8000, 0xfe01, 0x83ff, 0x0000, 0x37ff,
764   0x7f23, 0x7f23, 0x0012, 0x8000, 0x83ff, 0x8001, 0x0400, 0x3800,
765   0x7f23, 0x7f23, 0x0012, 0x8000, 0x83ff, 0x0000, 0x37ff, 0x3801,
766   0x7f23, 0x7f23, 0x0012, 0x8000, 0x8001, 0x0400, 0x3800, 0x3bff,
767   0x7f23, 0x7f23, 0x0012, 0x8000, 0x0000, 0x37ff, 0x3801, 0x3c00,
768   0x7f23, 0x7f23, 0x0012, 0x8000, 0x0400, 0x3800, 0x3bff, 0x3c01,
769   0x7f23, 0x7f23, 0x0012, 0x8000, 0x37ff, 0x3801, 0x3c00, 0x3e00,
770   0x7f23, 0x7f23, 0x0012, 0x8000, 0x3800, 0x3bff, 0x3c01, 0x4900,
771   0x7f23, 0x7f23, 0x0012, 0x8000, 0x3801, 0x3c00, 0x3e00, 0x7bff,
772   0x7f23, 0x7f23, 0x0012, 0x8000, 0x3bff, 0x3c01, 0x4900, 0x7f23,
773   0x7f23, 0x7f23, 0x0012, 0x8000, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
774   0x7f23, 0x7f23, 0x0012, 0x8000, 0x3c01, 0x4900, 0x7f23, 0x7f23,
775   0x7f23, 0x7f23, 0x0012, 0x8000, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
776   0x7f23, 0x7f23, 0x0012, 0x8000, 0x4900, 0x7f23, 0x7f23, 0x7e01,
777   0x7f23, 0x7f23, 0x0012, 0x8000, 0x7bff, 0x7f23, 0x7f23, 0x0012,
778   0x7f23, 0x7f23, 0x0012, 0x8000, 0x7f23, 0x7f23, 0x7e01, 0x0001,
779   0x7f23, 0x7f23, 0x0012, 0x8000, 0x7f23, 0x7f23, 0x0012, 0x8000,
780   0x7f23, 0x7f23, 0x0012, 0x8000, 0x7f23, 0x7e01, 0x0001, 0x8400,
781   0x7f23, 0x7f23, 0x0012, 0x8000, 0x7f23, 0x0012, 0x8000, 0xb7ff,
782   0x7f23, 0x7f23, 0x0012, 0x8000, 0x7e01, 0x0001, 0x8400, 0xb800,
783   0x7f23, 0x7f23, 0x0012, 0x8000, 0x0012, 0x8000, 0xb7ff, 0xb801,
784   0x7f23, 0x7f23, 0x0012, 0x8000, 0x0001, 0x8400, 0xb800, 0xbbff,
785   0x7f23, 0x7f23, 0x0012, 0x8000, 0x8000, 0xb7ff, 0xb801, 0xbc00,
786   0x7f23, 0x7f23, 0x0012, 0x8000, 0x8400, 0xb800, 0xbbff, 0xbc01,
787   0x7f23, 0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
788   0x7f23, 0x7f23, 0x0012, 0x8000, 0xb800, 0xbbff, 0xbc01, 0xc900,
789   0x7f23, 0x7f23, 0x0012, 0x8000, 0xb801, 0xbc00, 0xbe00, 0xfbff,
790   0x7f23, 0x7f23, 0x0012, 0x8000, 0xbbff, 0xbc01, 0xc900, 0xfc00,
791   0x7f23, 0x7f23, 0x0012, 0x8000, 0xbc00, 0xbe00, 0xfbff, 0xff23,
792   0x7f23, 0x7f23, 0x0012, 0x8000, 0xbc01, 0xc900, 0xfc00, 0xff23,
793   0x7f23, 0x7f23, 0x0012, 0x8000, 0xbe00, 0xfbff, 0xff23, 0xff23,
794   0x7f23, 0x7f23, 0x0012, 0x8000, 0xc900, 0xfc00, 0xff23, 0xff23,
795   0x7f23, 0x7f23, 0x0012, 0x8000, 0xfbff, 0xff23, 0xff23, 0xfe01,
796   0x7f23, 0x7f23, 0x0012, 0x8000, 0xfc00, 0xff23, 0xff23, 0x83ff,
797   0x7f23, 0x7f23, 0x0012, 0x8000, 0xff23, 0xff23, 0xfe01, 0x83ff,
798   0x7f23, 0x7e01, 0x0001, 0x8400, 0xff23, 0xff23, 0x83ff, 0x8001,
799   0x7f23, 0x7e01, 0x0001, 0x8400, 0xff23, 0xfe01, 0x83ff, 0x0000,
800   0x7f23, 0x7e01, 0x0001, 0x8400, 0xff23, 0x83ff, 0x8001, 0x0400,
801   0x7f23, 0x7e01, 0x0001, 0x8400, 0xfe01, 0x83ff, 0x0000, 0x37ff,
802   0x7f23, 0x7e01, 0x0001, 0x8400, 0x83ff, 0x8001, 0x0400, 0x3800,
803   0x7f23, 0x7e01, 0x0001, 0x8400, 0x83ff, 0x0000, 0x37ff, 0x3801,
804   0x7f23, 0x7e01, 0x0001, 0x8400, 0x8001, 0x0400, 0x3800, 0x3bff,
805   0x7f23, 0x7e01, 0x0001, 0x8400, 0x0000, 0x37ff, 0x3801, 0x3c00,
806   0x7f23, 0x7e01, 0x0001, 0x8400, 0x0400, 0x3800, 0x3bff, 0x3c01,
807   0x7f23, 0x7e01, 0x0001, 0x8400, 0x37ff, 0x3801, 0x3c00, 0x3e00,
808   0x7f23, 0x7e01, 0x0001, 0x8400, 0x3800, 0x3bff, 0x3c01, 0x4900,
809   0x7f23, 0x7e01, 0x0001, 0x8400, 0x3801, 0x3c00, 0x3e00, 0x7bff,
810   0x7f23, 0x7e01, 0x0001, 0x8400, 0x3bff, 0x3c01, 0x4900, 0x7f23,
811   0x7f23, 0x7e01, 0x0001, 0x8400, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
812   0x7f23, 0x7e01, 0x0001, 0x8400, 0x3c01, 0x4900, 0x7f23, 0x7f23,
813   0x7f23, 0x7e01, 0x0001, 0x8400, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
814   0x7f23, 0x7e01, 0x0001, 0x8400, 0x4900, 0x7f23, 0x7f23, 0x7e01,
815   0x7f23, 0x7e01, 0x0001, 0x8400, 0x7bff, 0x7f23, 0x7f23, 0x0012,
816   0x7f23, 0x7e01, 0x0001, 0x8400, 0x7f23, 0x7f23, 0x7e01, 0x0001,
817   0x7f23, 0x7e01, 0x0001, 0x8400, 0x7f23, 0x7f23, 0x0012, 0x8000,
818   0x7f23, 0x7e01, 0x0001, 0x8400, 0x7f23, 0x7e01, 0x0001, 0x8400,
819   0x7f23, 0x7e01, 0x0001, 0x8400, 0x7f23, 0x0012, 0x8000, 0xb7ff,
820   0x7f23, 0x7e01, 0x0001, 0x8400, 0x7e01, 0x0001, 0x8400, 0xb800,
821   0x7f23, 0x7e01, 0x0001, 0x8400, 0x0012, 0x8000, 0xb7ff, 0xb801,
822   0x7f23, 0x7e01, 0x0001, 0x8400, 0x0001, 0x8400, 0xb800, 0xbbff,
823   0x7f23, 0x7e01, 0x0001, 0x8400, 0x8000, 0xb7ff, 0xb801, 0xbc00,
824   0x7f23, 0x7e01, 0x0001, 0x8400, 0x8400, 0xb800, 0xbbff, 0xbc01,
825   0x7f23, 0x7e01, 0x0001, 0x8400, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
826   0x7f23, 0x7e01, 0x0001, 0x8400, 0xb800, 0xbbff, 0xbc01, 0xc900,
827   0x7f23, 0x7e01, 0x0001, 0x8400, 0xb801, 0xbc00, 0xbe00, 0xfbff,
828   0x7f23, 0x7e01, 0x0001, 0x8400, 0xbbff, 0xbc01, 0xc900, 0xfc00,
829   0x7f23, 0x7e01, 0x0001, 0x8400, 0xbc00, 0xbe00, 0xfbff, 0xff23,
830   0x7f23, 0x7e01, 0x0001, 0x8400, 0xbc01, 0xc900, 0xfc00, 0xff23,
831   0x7f23, 0x7e01, 0x0001, 0x8400, 0xbe00, 0xfbff, 0xff23, 0xff23,
832   0x7f23, 0x7e01, 0x0001, 0x8400, 0xc900, 0xfc00, 0xff23, 0xff23,
833   0x7f23, 0x7e01, 0x0001, 0x8400, 0xfbff, 0xff23, 0xff23, 0xfe01,
834   0x7f23, 0x7e01, 0x0001, 0x8400, 0xfc00, 0xff23, 0xff23, 0x83ff,
835   0x7f23, 0x7e01, 0x0001, 0x8400, 0xff23, 0xff23, 0xfe01, 0x83ff,
836   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xff23, 0xff23, 0x83ff, 0x8001,
837   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xff23, 0xfe01, 0x83ff, 0x0000,
838   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xff23, 0x83ff, 0x8001, 0x0400,
839   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xfe01, 0x83ff, 0x0000, 0x37ff,
840   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x83ff, 0x8001, 0x0400, 0x3800,
841   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x83ff, 0x0000, 0x37ff, 0x3801,
842   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x8001, 0x0400, 0x3800, 0x3bff,
843   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x0000, 0x37ff, 0x3801, 0x3c00,
844   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x0400, 0x3800, 0x3bff, 0x3c01,
845   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x37ff, 0x3801, 0x3c00, 0x3e00,
846   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x3800, 0x3bff, 0x3c01, 0x4900,
847   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x3801, 0x3c00, 0x3e00, 0x7bff,
848   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x3bff, 0x3c01, 0x4900, 0x7f23,
849   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
850   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x3c01, 0x4900, 0x7f23, 0x7f23,
851   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
852   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x4900, 0x7f23, 0x7f23, 0x7e01,
853   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x7bff, 0x7f23, 0x7f23, 0x0012,
854   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x7f23, 0x7f23, 0x7e01, 0x0001,
855   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x7f23, 0x7f23, 0x0012, 0x8000,
856   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x7f23, 0x7e01, 0x0001, 0x8400,
857   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x7f23, 0x0012, 0x8000, 0xb7ff,
858   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x7e01, 0x0001, 0x8400, 0xb800,
859   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x0012, 0x8000, 0xb7ff, 0xb801,
860   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x0001, 0x8400, 0xb800, 0xbbff,
861   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x8000, 0xb7ff, 0xb801, 0xbc00,
862   0x7f23, 0x0012, 0x8000, 0xb7ff, 0x8400, 0xb800, 0xbbff, 0xbc01,
863   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
864   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb800, 0xbbff, 0xbc01, 0xc900,
865   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xfbff,
866   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xbbff, 0xbc01, 0xc900, 0xfc00,
867   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xbc00, 0xbe00, 0xfbff, 0xff23,
868   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xbc01, 0xc900, 0xfc00, 0xff23,
869   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xbe00, 0xfbff, 0xff23, 0xff23,
870   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xc900, 0xfc00, 0xff23, 0xff23,
871   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xfbff, 0xff23, 0xff23, 0xfe01,
872   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xfc00, 0xff23, 0xff23, 0x83ff,
873   0x7f23, 0x0012, 0x8000, 0xb7ff, 0xff23, 0xff23, 0xfe01, 0x83ff,
874   0x7e01, 0x0001, 0x8400, 0xb800, 0xff23, 0xff23, 0x83ff, 0x8001,
875   0x7e01, 0x0001, 0x8400, 0xb800, 0xff23, 0xfe01, 0x83ff, 0x0000,
876   0x7e01, 0x0001, 0x8400, 0xb800, 0xff23, 0x83ff, 0x8001, 0x0400,
877   0x7e01, 0x0001, 0x8400, 0xb800, 0xfe01, 0x83ff, 0x0000, 0x37ff,
878   0x7e01, 0x0001, 0x8400, 0xb800, 0x83ff, 0x8001, 0x0400, 0x3800,
879   0x7e01, 0x0001, 0x8400, 0xb800, 0x83ff, 0x0000, 0x37ff, 0x3801,
880   0x7e01, 0x0001, 0x8400, 0xb800, 0x8001, 0x0400, 0x3800, 0x3bff,
881   0x7e01, 0x0001, 0x8400, 0xb800, 0x0000, 0x37ff, 0x3801, 0x3c00,
882   0x7e01, 0x0001, 0x8400, 0xb800, 0x0400, 0x3800, 0x3bff, 0x3c01,
883   0x7e01, 0x0001, 0x8400, 0xb800, 0x37ff, 0x3801, 0x3c00, 0x3e00,
884   0x7e01, 0x0001, 0x8400, 0xb800, 0x3800, 0x3bff, 0x3c01, 0x4900,
885   0x7e01, 0x0001, 0x8400, 0xb800, 0x3801, 0x3c00, 0x3e00, 0x7bff,
886   0x7e01, 0x0001, 0x8400, 0xb800, 0x3bff, 0x3c01, 0x4900, 0x7f23,
887   0x7e01, 0x0001, 0x8400, 0xb800, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
888   0x7e01, 0x0001, 0x8400, 0xb800, 0x3c01, 0x4900, 0x7f23, 0x7f23,
889   0x7e01, 0x0001, 0x8400, 0xb800, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
890   0x7e01, 0x0001, 0x8400, 0xb800, 0x4900, 0x7f23, 0x7f23, 0x7e01,
891   0x7e01, 0x0001, 0x8400, 0xb800, 0x7bff, 0x7f23, 0x7f23, 0x0012,
892   0x7e01, 0x0001, 0x8400, 0xb800, 0x7f23, 0x7f23, 0x7e01, 0x0001,
893   0x7e01, 0x0001, 0x8400, 0xb800, 0x7f23, 0x7f23, 0x0012, 0x8000,
894   0x7e01, 0x0001, 0x8400, 0xb800, 0x7f23, 0x7e01, 0x0001, 0x8400,
895   0x7e01, 0x0001, 0x8400, 0xb800, 0x7f23, 0x0012, 0x8000, 0xb7ff,
896   0x7e01, 0x0001, 0x8400, 0xb800, 0x7e01, 0x0001, 0x8400, 0xb800,
897   0x7e01, 0x0001, 0x8400, 0xb800, 0x0012, 0x8000, 0xb7ff, 0xb801,
898   0x7e01, 0x0001, 0x8400, 0xb800, 0x0001, 0x8400, 0xb800, 0xbbff,
899   0x7e01, 0x0001, 0x8400, 0xb800, 0x8000, 0xb7ff, 0xb801, 0xbc00,
900   0x7e01, 0x0001, 0x8400, 0xb800, 0x8400, 0xb800, 0xbbff, 0xbc01,
901   0x7e01, 0x0001, 0x8400, 0xb800, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
902   0x7e01, 0x0001, 0x8400, 0xb800, 0xb800, 0xbbff, 0xbc01, 0xc900,
903   0x7e01, 0x0001, 0x8400, 0xb800, 0xb801, 0xbc00, 0xbe00, 0xfbff,
904   0x7e01, 0x0001, 0x8400, 0xb800, 0xbbff, 0xbc01, 0xc900, 0xfc00,
905   0x7e01, 0x0001, 0x8400, 0xb800, 0xbc00, 0xbe00, 0xfbff, 0xff23,
906   0x7e01, 0x0001, 0x8400, 0xb800, 0xbc01, 0xc900, 0xfc00, 0xff23,
907   0x7e01, 0x0001, 0x8400, 0xb800, 0xbe00, 0xfbff, 0xff23, 0xff23,
908   0x7e01, 0x0001, 0x8400, 0xb800, 0xc900, 0xfc00, 0xff23, 0xff23,
909   0x7e01, 0x0001, 0x8400, 0xb800, 0xfbff, 0xff23, 0xff23, 0xfe01,
910   0x7e01, 0x0001, 0x8400, 0xb800, 0xfc00, 0xff23, 0xff23, 0x83ff,
911   0x7e01, 0x0001, 0x8400, 0xb800, 0xff23, 0xff23, 0xfe01, 0x83ff,
912   0x0012, 0x8000, 0xb7ff, 0xb801, 0xff23, 0xff23, 0x83ff, 0x8001,
913   0x0012, 0x8000, 0xb7ff, 0xb801, 0xff23, 0xfe01, 0x83ff, 0x0000,
914   0x0012, 0x8000, 0xb7ff, 0xb801, 0xff23, 0x83ff, 0x8001, 0x0400,
915   0x0012, 0x8000, 0xb7ff, 0xb801, 0xfe01, 0x83ff, 0x0000, 0x37ff,
916   0x0012, 0x8000, 0xb7ff, 0xb801, 0x83ff, 0x8001, 0x0400, 0x3800,
917   0x0012, 0x8000, 0xb7ff, 0xb801, 0x83ff, 0x0000, 0x37ff, 0x3801,
918   0x0012, 0x8000, 0xb7ff, 0xb801, 0x8001, 0x0400, 0x3800, 0x3bff,
919   0x0012, 0x8000, 0xb7ff, 0xb801, 0x0000, 0x37ff, 0x3801, 0x3c00,
920   0x0012, 0x8000, 0xb7ff, 0xb801, 0x0400, 0x3800, 0x3bff, 0x3c01,
921   0x0012, 0x8000, 0xb7ff, 0xb801, 0x37ff, 0x3801, 0x3c00, 0x3e00,
922   0x0012, 0x8000, 0xb7ff, 0xb801, 0x3800, 0x3bff, 0x3c01, 0x4900,
923   0x0012, 0x8000, 0xb7ff, 0xb801, 0x3801, 0x3c00, 0x3e00, 0x7bff,
924   0x0012, 0x8000, 0xb7ff, 0xb801, 0x3bff, 0x3c01, 0x4900, 0x7f23,
925   0x0012, 0x8000, 0xb7ff, 0xb801, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
926   0x0012, 0x8000, 0xb7ff, 0xb801, 0x3c01, 0x4900, 0x7f23, 0x7f23,
927   0x0012, 0x8000, 0xb7ff, 0xb801, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
928   0x0012, 0x8000, 0xb7ff, 0xb801, 0x4900, 0x7f23, 0x7f23, 0x7e01,
929   0x0012, 0x8000, 0xb7ff, 0xb801, 0x7bff, 0x7f23, 0x7f23, 0x0012,
930   0x0012, 0x8000, 0xb7ff, 0xb801, 0x7f23, 0x7f23, 0x7e01, 0x0001,
931   0x0012, 0x8000, 0xb7ff, 0xb801, 0x7f23, 0x7f23, 0x0012, 0x8000,
932   0x0012, 0x8000, 0xb7ff, 0xb801, 0x7f23, 0x7e01, 0x0001, 0x8400,
933   0x0012, 0x8000, 0xb7ff, 0xb801, 0x7f23, 0x0012, 0x8000, 0xb7ff,
934   0x0012, 0x8000, 0xb7ff, 0xb801, 0x7e01, 0x0001, 0x8400, 0xb800,
935   0x0012, 0x8000, 0xb7ff, 0xb801, 0x0012, 0x8000, 0xb7ff, 0xb801,
936   0x0012, 0x8000, 0xb7ff, 0xb801, 0x0001, 0x8400, 0xb800, 0xbbff,
937   0x0012, 0x8000, 0xb7ff, 0xb801, 0x8000, 0xb7ff, 0xb801, 0xbc00,
938   0x0012, 0x8000, 0xb7ff, 0xb801, 0x8400, 0xb800, 0xbbff, 0xbc01,
939   0x0012, 0x8000, 0xb7ff, 0xb801, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
940   0x0012, 0x8000, 0xb7ff, 0xb801, 0xb800, 0xbbff, 0xbc01, 0xc900,
941   0x0012, 0x8000, 0xb7ff, 0xb801, 0xb801, 0xbc00, 0xbe00, 0xfbff,
942   0x0012, 0x8000, 0xb7ff, 0xb801, 0xbbff, 0xbc01, 0xc900, 0xfc00,
943   0x0012, 0x8000, 0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xfbff, 0xff23,
944   0x0012, 0x8000, 0xb7ff, 0xb801, 0xbc01, 0xc900, 0xfc00, 0xff23,
945   0x0012, 0x8000, 0xb7ff, 0xb801, 0xbe00, 0xfbff, 0xff23, 0xff23,
946   0x0012, 0x8000, 0xb7ff, 0xb801, 0xc900, 0xfc00, 0xff23, 0xff23,
947   0x0012, 0x8000, 0xb7ff, 0xb801, 0xfbff, 0xff23, 0xff23, 0xfe01,
948   0x0012, 0x8000, 0xb7ff, 0xb801, 0xfc00, 0xff23, 0xff23, 0x83ff,
949   0x0012, 0x8000, 0xb7ff, 0xb801, 0xff23, 0xff23, 0xfe01, 0x83ff,
950   0x0001, 0x8400, 0xb800, 0xbbff, 0xff23, 0xff23, 0x83ff, 0x8001,
951   0x0001, 0x8400, 0xb800, 0xbbff, 0xff23, 0xfe01, 0x83ff, 0x0000,
952   0x0001, 0x8400, 0xb800, 0xbbff, 0xff23, 0x83ff, 0x8001, 0x0400,
953   0x0001, 0x8400, 0xb800, 0xbbff, 0xfe01, 0x83ff, 0x0000, 0x37ff,
954   0x0001, 0x8400, 0xb800, 0xbbff, 0x83ff, 0x8001, 0x0400, 0x3800,
955   0x0001, 0x8400, 0xb800, 0xbbff, 0x83ff, 0x0000, 0x37ff, 0x3801,
956   0x0001, 0x8400, 0xb800, 0xbbff, 0x8001, 0x0400, 0x3800, 0x3bff,
957   0x0001, 0x8400, 0xb800, 0xbbff, 0x0000, 0x37ff, 0x3801, 0x3c00,
958   0x0001, 0x8400, 0xb800, 0xbbff, 0x0400, 0x3800, 0x3bff, 0x3c01,
959   0x0001, 0x8400, 0xb800, 0xbbff, 0x37ff, 0x3801, 0x3c00, 0x3e00,
960   0x0001, 0x8400, 0xb800, 0xbbff, 0x3800, 0x3bff, 0x3c01, 0x4900,
961   0x0001, 0x8400, 0xb800, 0xbbff, 0x3801, 0x3c00, 0x3e00, 0x7bff,
962   0x0001, 0x8400, 0xb800, 0xbbff, 0x3bff, 0x3c01, 0x4900, 0x7f23,
963   0x0001, 0x8400, 0xb800, 0xbbff, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
964   0x0001, 0x8400, 0xb800, 0xbbff, 0x3c01, 0x4900, 0x7f23, 0x7f23,
965   0x0001, 0x8400, 0xb800, 0xbbff, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
966   0x0001, 0x8400, 0xb800, 0xbbff, 0x4900, 0x7f23, 0x7f23, 0x7e01,
967   0x0001, 0x8400, 0xb800, 0xbbff, 0x7bff, 0x7f23, 0x7f23, 0x0012,
968   0x0001, 0x8400, 0xb800, 0xbbff, 0x7f23, 0x7f23, 0x7e01, 0x0001,
969   0x0001, 0x8400, 0xb800, 0xbbff, 0x7f23, 0x7f23, 0x0012, 0x8000,
970   0x0001, 0x8400, 0xb800, 0xbbff, 0x7f23, 0x7e01, 0x0001, 0x8400,
971   0x0001, 0x8400, 0xb800, 0xbbff, 0x7f23, 0x0012, 0x8000, 0xb7ff,
972   0x0001, 0x8400, 0xb800, 0xbbff, 0x7e01, 0x0001, 0x8400, 0xb800,
973   0x0001, 0x8400, 0xb800, 0xbbff, 0x0012, 0x8000, 0xb7ff, 0xb801,
974   0x0001, 0x8400, 0xb800, 0xbbff, 0x0001, 0x8400, 0xb800, 0xbbff,
975   0x0001, 0x8400, 0xb800, 0xbbff, 0x8000, 0xb7ff, 0xb801, 0xbc00,
976   0x0001, 0x8400, 0xb800, 0xbbff, 0x8400, 0xb800, 0xbbff, 0xbc01,
977   0x0001, 0x8400, 0xb800, 0xbbff, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
978   0x0001, 0x8400, 0xb800, 0xbbff, 0xb800, 0xbbff, 0xbc01, 0xc900,
979   0x0001, 0x8400, 0xb800, 0xbbff, 0xb801, 0xbc00, 0xbe00, 0xfbff,
980   0x0001, 0x8400, 0xb800, 0xbbff, 0xbbff, 0xbc01, 0xc900, 0xfc00,
981   0x0001, 0x8400, 0xb800, 0xbbff, 0xbc00, 0xbe00, 0xfbff, 0xff23,
982   0x0001, 0x8400, 0xb800, 0xbbff, 0xbc01, 0xc900, 0xfc00, 0xff23,
983   0x0001, 0x8400, 0xb800, 0xbbff, 0xbe00, 0xfbff, 0xff23, 0xff23,
984   0x0001, 0x8400, 0xb800, 0xbbff, 0xc900, 0xfc00, 0xff23, 0xff23,
985   0x0001, 0x8400, 0xb800, 0xbbff, 0xfbff, 0xff23, 0xff23, 0xfe01,
986   0x0001, 0x8400, 0xb800, 0xbbff, 0xfc00, 0xff23, 0xff23, 0x83ff,
987   0x0001, 0x8400, 0xb800, 0xbbff, 0xff23, 0xff23, 0xfe01, 0x83ff,
988   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xff23, 0xff23, 0x83ff, 0x8001,
989   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xff23, 0xfe01, 0x83ff, 0x0000,
990   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xff23, 0x83ff, 0x8001, 0x0400,
991   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xfe01, 0x83ff, 0x0000, 0x37ff,
992   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x83ff, 0x8001, 0x0400, 0x3800,
993   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x83ff, 0x0000, 0x37ff, 0x3801,
994   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x8001, 0x0400, 0x3800, 0x3bff,
995   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x0000, 0x37ff, 0x3801, 0x3c00,
996   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x0400, 0x3800, 0x3bff, 0x3c01,
997   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x37ff, 0x3801, 0x3c00, 0x3e00,
998   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x3800, 0x3bff, 0x3c01, 0x4900,
999   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1000   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1001   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1002   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1003   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1004   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1005   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1006   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1007   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x7f23, 0x7f23, 0x0012, 0x8000,
1008   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x7f23, 0x7e01, 0x0001, 0x8400,
1009   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1010   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x7e01, 0x0001, 0x8400, 0xb800,
1011   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x0012, 0x8000, 0xb7ff, 0xb801,
1012   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x0001, 0x8400, 0xb800, 0xbbff,
1013   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1014   0x8000, 0xb7ff, 0xb801, 0xbc00, 0x8400, 0xb800, 0xbbff, 0xbc01,
1015   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1016   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xb800, 0xbbff, 0xbc01, 0xc900,
1017   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1018   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1019   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1020   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xbc01, 0xc900, 0xfc00, 0xff23,
1021   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xfbff, 0xff23, 0xff23,
1022   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xc900, 0xfc00, 0xff23, 0xff23,
1023   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xfbff, 0xff23, 0xff23, 0xfe01,
1024   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xfc00, 0xff23, 0xff23, 0x83ff,
1025   0x8000, 0xb7ff, 0xb801, 0xbc00, 0xff23, 0xff23, 0xfe01, 0x83ff,
1026   0x8400, 0xb800, 0xbbff, 0xbc01, 0xff23, 0xff23, 0x83ff, 0x8001,
1027   0x8400, 0xb800, 0xbbff, 0xbc01, 0xff23, 0xfe01, 0x83ff, 0x0000,
1028   0x8400, 0xb800, 0xbbff, 0xbc01, 0xff23, 0x83ff, 0x8001, 0x0400,
1029   0x8400, 0xb800, 0xbbff, 0xbc01, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1030   0x8400, 0xb800, 0xbbff, 0xbc01, 0x83ff, 0x8001, 0x0400, 0x3800,
1031   0x8400, 0xb800, 0xbbff, 0xbc01, 0x83ff, 0x0000, 0x37ff, 0x3801,
1032   0x8400, 0xb800, 0xbbff, 0xbc01, 0x8001, 0x0400, 0x3800, 0x3bff,
1033   0x8400, 0xb800, 0xbbff, 0xbc01, 0x0000, 0x37ff, 0x3801, 0x3c00,
1034   0x8400, 0xb800, 0xbbff, 0xbc01, 0x0400, 0x3800, 0x3bff, 0x3c01,
1035   0x8400, 0xb800, 0xbbff, 0xbc01, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1036   0x8400, 0xb800, 0xbbff, 0xbc01, 0x3800, 0x3bff, 0x3c01, 0x4900,
1037   0x8400, 0xb800, 0xbbff, 0xbc01, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1038   0x8400, 0xb800, 0xbbff, 0xbc01, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1039   0x8400, 0xb800, 0xbbff, 0xbc01, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1040   0x8400, 0xb800, 0xbbff, 0xbc01, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1041   0x8400, 0xb800, 0xbbff, 0xbc01, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1042   0x8400, 0xb800, 0xbbff, 0xbc01, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1043   0x8400, 0xb800, 0xbbff, 0xbc01, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1044   0x8400, 0xb800, 0xbbff, 0xbc01, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1045   0x8400, 0xb800, 0xbbff, 0xbc01, 0x7f23, 0x7f23, 0x0012, 0x8000,
1046   0x8400, 0xb800, 0xbbff, 0xbc01, 0x7f23, 0x7e01, 0x0001, 0x8400,
1047   0x8400, 0xb800, 0xbbff, 0xbc01, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1048   0x8400, 0xb800, 0xbbff, 0xbc01, 0x7e01, 0x0001, 0x8400, 0xb800,
1049   0x8400, 0xb800, 0xbbff, 0xbc01, 0x0012, 0x8000, 0xb7ff, 0xb801,
1050   0x8400, 0xb800, 0xbbff, 0xbc01, 0x0001, 0x8400, 0xb800, 0xbbff,
1051   0x8400, 0xb800, 0xbbff, 0xbc01, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1052   0x8400, 0xb800, 0xbbff, 0xbc01, 0x8400, 0xb800, 0xbbff, 0xbc01,
1053   0x8400, 0xb800, 0xbbff, 0xbc01, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1054   0x8400, 0xb800, 0xbbff, 0xbc01, 0xb800, 0xbbff, 0xbc01, 0xc900,
1055   0x8400, 0xb800, 0xbbff, 0xbc01, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1056   0x8400, 0xb800, 0xbbff, 0xbc01, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1057   0x8400, 0xb800, 0xbbff, 0xbc01, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1058   0x8400, 0xb800, 0xbbff, 0xbc01, 0xbc01, 0xc900, 0xfc00, 0xff23,
1059   0x8400, 0xb800, 0xbbff, 0xbc01, 0xbe00, 0xfbff, 0xff23, 0xff23,
1060   0x8400, 0xb800, 0xbbff, 0xbc01, 0xc900, 0xfc00, 0xff23, 0xff23,
1061   0x8400, 0xb800, 0xbbff, 0xbc01, 0xfbff, 0xff23, 0xff23, 0xfe01,
1062   0x8400, 0xb800, 0xbbff, 0xbc01, 0xfc00, 0xff23, 0xff23, 0x83ff,
1063   0x8400, 0xb800, 0xbbff, 0xbc01, 0xff23, 0xff23, 0xfe01, 0x83ff,
1064   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xff23, 0xff23, 0x83ff, 0x8001,
1065   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xff23, 0xfe01, 0x83ff, 0x0000,
1066   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xff23, 0x83ff, 0x8001, 0x0400,
1067   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1068   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x83ff, 0x8001, 0x0400, 0x3800,
1069   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x83ff, 0x0000, 0x37ff, 0x3801,
1070   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x8001, 0x0400, 0x3800, 0x3bff,
1071   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x0000, 0x37ff, 0x3801, 0x3c00,
1072   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x0400, 0x3800, 0x3bff, 0x3c01,
1073   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1074   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x3800, 0x3bff, 0x3c01, 0x4900,
1075   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1076   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1077   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1078   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1079   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1080   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1081   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1082   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1083   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x7f23, 0x7f23, 0x0012, 0x8000,
1084   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x7f23, 0x7e01, 0x0001, 0x8400,
1085   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1086   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x7e01, 0x0001, 0x8400, 0xb800,
1087   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x0012, 0x8000, 0xb7ff, 0xb801,
1088   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x0001, 0x8400, 0xb800, 0xbbff,
1089   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1090   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0x8400, 0xb800, 0xbbff, 0xbc01,
1091   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1092   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xb800, 0xbbff, 0xbc01, 0xc900,
1093   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1094   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1095   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1096   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xbc01, 0xc900, 0xfc00, 0xff23,
1097   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xbe00, 0xfbff, 0xff23, 0xff23,
1098   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xc900, 0xfc00, 0xff23, 0xff23,
1099   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xfbff, 0xff23, 0xff23, 0xfe01,
1100   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xfc00, 0xff23, 0xff23, 0x83ff,
1101   0xb7ff, 0xb801, 0xbc00, 0xbe00, 0xff23, 0xff23, 0xfe01, 0x83ff,
1102   0xb800, 0xbbff, 0xbc01, 0xc900, 0xff23, 0xff23, 0x83ff, 0x8001,
1103   0xb800, 0xbbff, 0xbc01, 0xc900, 0xff23, 0xfe01, 0x83ff, 0x0000,
1104   0xb800, 0xbbff, 0xbc01, 0xc900, 0xff23, 0x83ff, 0x8001, 0x0400,
1105   0xb800, 0xbbff, 0xbc01, 0xc900, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1106   0xb800, 0xbbff, 0xbc01, 0xc900, 0x83ff, 0x8001, 0x0400, 0x3800,
1107   0xb800, 0xbbff, 0xbc01, 0xc900, 0x83ff, 0x0000, 0x37ff, 0x3801,
1108   0xb800, 0xbbff, 0xbc01, 0xc900, 0x8001, 0x0400, 0x3800, 0x3bff,
1109   0xb800, 0xbbff, 0xbc01, 0xc900, 0x0000, 0x37ff, 0x3801, 0x3c00,
1110   0xb800, 0xbbff, 0xbc01, 0xc900, 0x0400, 0x3800, 0x3bff, 0x3c01,
1111   0xb800, 0xbbff, 0xbc01, 0xc900, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1112   0xb800, 0xbbff, 0xbc01, 0xc900, 0x3800, 0x3bff, 0x3c01, 0x4900,
1113   0xb800, 0xbbff, 0xbc01, 0xc900, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1114   0xb800, 0xbbff, 0xbc01, 0xc900, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1115   0xb800, 0xbbff, 0xbc01, 0xc900, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1116   0xb800, 0xbbff, 0xbc01, 0xc900, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1117   0xb800, 0xbbff, 0xbc01, 0xc900, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1118   0xb800, 0xbbff, 0xbc01, 0xc900, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1119   0xb800, 0xbbff, 0xbc01, 0xc900, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1120   0xb800, 0xbbff, 0xbc01, 0xc900, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1121   0xb800, 0xbbff, 0xbc01, 0xc900, 0x7f23, 0x7f23, 0x0012, 0x8000,
1122   0xb800, 0xbbff, 0xbc01, 0xc900, 0x7f23, 0x7e01, 0x0001, 0x8400,
1123   0xb800, 0xbbff, 0xbc01, 0xc900, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1124   0xb800, 0xbbff, 0xbc01, 0xc900, 0x7e01, 0x0001, 0x8400, 0xb800,
1125   0xb800, 0xbbff, 0xbc01, 0xc900, 0x0012, 0x8000, 0xb7ff, 0xb801,
1126   0xb800, 0xbbff, 0xbc01, 0xc900, 0x0001, 0x8400, 0xb800, 0xbbff,
1127   0xb800, 0xbbff, 0xbc01, 0xc900, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1128   0xb800, 0xbbff, 0xbc01, 0xc900, 0x8400, 0xb800, 0xbbff, 0xbc01,
1129   0xb800, 0xbbff, 0xbc01, 0xc900, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1130   0xb800, 0xbbff, 0xbc01, 0xc900, 0xb800, 0xbbff, 0xbc01, 0xc900,
1131   0xb800, 0xbbff, 0xbc01, 0xc900, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1132   0xb800, 0xbbff, 0xbc01, 0xc900, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1133   0xb800, 0xbbff, 0xbc01, 0xc900, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1134   0xb800, 0xbbff, 0xbc01, 0xc900, 0xbc01, 0xc900, 0xfc00, 0xff23,
1135   0xb800, 0xbbff, 0xbc01, 0xc900, 0xbe00, 0xfbff, 0xff23, 0xff23,
1136   0xb800, 0xbbff, 0xbc01, 0xc900, 0xc900, 0xfc00, 0xff23, 0xff23,
1137   0xb800, 0xbbff, 0xbc01, 0xc900, 0xfbff, 0xff23, 0xff23, 0xfe01,
1138   0xb800, 0xbbff, 0xbc01, 0xc900, 0xfc00, 0xff23, 0xff23, 0x83ff,
1139   0xb800, 0xbbff, 0xbc01, 0xc900, 0xff23, 0xff23, 0xfe01, 0x83ff,
1140   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xff23, 0xff23, 0x83ff, 0x8001,
1141   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xff23, 0xfe01, 0x83ff, 0x0000,
1142   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xff23, 0x83ff, 0x8001, 0x0400,
1143   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1144   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x83ff, 0x8001, 0x0400, 0x3800,
1145   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x83ff, 0x0000, 0x37ff, 0x3801,
1146   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x8001, 0x0400, 0x3800, 0x3bff,
1147   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x0000, 0x37ff, 0x3801, 0x3c00,
1148   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x0400, 0x3800, 0x3bff, 0x3c01,
1149   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1150   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x3800, 0x3bff, 0x3c01, 0x4900,
1151   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1152   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1153   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1154   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1155   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1156   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1157   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1158   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1159   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x7f23, 0x7f23, 0x0012, 0x8000,
1160   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x7f23, 0x7e01, 0x0001, 0x8400,
1161   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1162   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x7e01, 0x0001, 0x8400, 0xb800,
1163   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x0012, 0x8000, 0xb7ff, 0xb801,
1164   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x0001, 0x8400, 0xb800, 0xbbff,
1165   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1166   0xb801, 0xbc00, 0xbe00, 0xfbff, 0x8400, 0xb800, 0xbbff, 0xbc01,
1167   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1168   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xb800, 0xbbff, 0xbc01, 0xc900,
1169   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1170   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1171   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1172   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xbc01, 0xc900, 0xfc00, 0xff23,
1173   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xbe00, 0xfbff, 0xff23, 0xff23,
1174   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xc900, 0xfc00, 0xff23, 0xff23,
1175   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xfbff, 0xff23, 0xff23, 0xfe01,
1176   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xfc00, 0xff23, 0xff23, 0x83ff,
1177   0xb801, 0xbc00, 0xbe00, 0xfbff, 0xff23, 0xff23, 0xfe01, 0x83ff,
1178   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xff23, 0xff23, 0x83ff, 0x8001,
1179   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xff23, 0xfe01, 0x83ff, 0x0000,
1180   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xff23, 0x83ff, 0x8001, 0x0400,
1181   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1182   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x83ff, 0x8001, 0x0400, 0x3800,
1183   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x83ff, 0x0000, 0x37ff, 0x3801,
1184   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x8001, 0x0400, 0x3800, 0x3bff,
1185   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x0000, 0x37ff, 0x3801, 0x3c00,
1186   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x0400, 0x3800, 0x3bff, 0x3c01,
1187   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1188   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x3800, 0x3bff, 0x3c01, 0x4900,
1189   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1190   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1191   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1192   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1193   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1194   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1195   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1196   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1197   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x7f23, 0x7f23, 0x0012, 0x8000,
1198   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x7f23, 0x7e01, 0x0001, 0x8400,
1199   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1200   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x7e01, 0x0001, 0x8400, 0xb800,
1201   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x0012, 0x8000, 0xb7ff, 0xb801,
1202   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x0001, 0x8400, 0xb800, 0xbbff,
1203   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1204   0xbbff, 0xbc01, 0xc900, 0xfc00, 0x8400, 0xb800, 0xbbff, 0xbc01,
1205   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1206   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xb800, 0xbbff, 0xbc01, 0xc900,
1207   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1208   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1209   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1210   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xbc01, 0xc900, 0xfc00, 0xff23,
1211   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xbe00, 0xfbff, 0xff23, 0xff23,
1212   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xc900, 0xfc00, 0xff23, 0xff23,
1213   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xfbff, 0xff23, 0xff23, 0xfe01,
1214   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xfc00, 0xff23, 0xff23, 0x83ff,
1215   0xbbff, 0xbc01, 0xc900, 0xfc00, 0xff23, 0xff23, 0xfe01, 0x83ff,
1216   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xff23, 0xff23, 0x83ff, 0x8001,
1217   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xff23, 0xfe01, 0x83ff, 0x0000,
1218   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xff23, 0x83ff, 0x8001, 0x0400,
1219   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1220   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x83ff, 0x8001, 0x0400, 0x3800,
1221   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x83ff, 0x0000, 0x37ff, 0x3801,
1222   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x8001, 0x0400, 0x3800, 0x3bff,
1223   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x0000, 0x37ff, 0x3801, 0x3c00,
1224   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x0400, 0x3800, 0x3bff, 0x3c01,
1225   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1226   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x3800, 0x3bff, 0x3c01, 0x4900,
1227   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1228   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1229   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1230   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1231   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1232   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1233   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1234   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1235   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x7f23, 0x7f23, 0x0012, 0x8000,
1236   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x7f23, 0x7e01, 0x0001, 0x8400,
1237   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1238   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x7e01, 0x0001, 0x8400, 0xb800,
1239   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x0012, 0x8000, 0xb7ff, 0xb801,
1240   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x0001, 0x8400, 0xb800, 0xbbff,
1241   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1242   0xbc00, 0xbe00, 0xfbff, 0xff23, 0x8400, 0xb800, 0xbbff, 0xbc01,
1243   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1244   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xb800, 0xbbff, 0xbc01, 0xc900,
1245   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1246   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1247   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1248   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xbc01, 0xc900, 0xfc00, 0xff23,
1249   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xbe00, 0xfbff, 0xff23, 0xff23,
1250   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xc900, 0xfc00, 0xff23, 0xff23,
1251   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xfbff, 0xff23, 0xff23, 0xfe01,
1252   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xfc00, 0xff23, 0xff23, 0x83ff,
1253   0xbc00, 0xbe00, 0xfbff, 0xff23, 0xff23, 0xff23, 0xfe01, 0x83ff,
1254   0xbc01, 0xc900, 0xfc00, 0xff23, 0xff23, 0xff23, 0x83ff, 0x8001,
1255   0xbc01, 0xc900, 0xfc00, 0xff23, 0xff23, 0xfe01, 0x83ff, 0x0000,
1256   0xbc01, 0xc900, 0xfc00, 0xff23, 0xff23, 0x83ff, 0x8001, 0x0400,
1257   0xbc01, 0xc900, 0xfc00, 0xff23, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1258   0xbc01, 0xc900, 0xfc00, 0xff23, 0x83ff, 0x8001, 0x0400, 0x3800,
1259   0xbc01, 0xc900, 0xfc00, 0xff23, 0x83ff, 0x0000, 0x37ff, 0x3801,
1260   0xbc01, 0xc900, 0xfc00, 0xff23, 0x8001, 0x0400, 0x3800, 0x3bff,
1261   0xbc01, 0xc900, 0xfc00, 0xff23, 0x0000, 0x37ff, 0x3801, 0x3c00,
1262   0xbc01, 0xc900, 0xfc00, 0xff23, 0x0400, 0x3800, 0x3bff, 0x3c01,
1263   0xbc01, 0xc900, 0xfc00, 0xff23, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1264   0xbc01, 0xc900, 0xfc00, 0xff23, 0x3800, 0x3bff, 0x3c01, 0x4900,
1265   0xbc01, 0xc900, 0xfc00, 0xff23, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1266   0xbc01, 0xc900, 0xfc00, 0xff23, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1267   0xbc01, 0xc900, 0xfc00, 0xff23, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1268   0xbc01, 0xc900, 0xfc00, 0xff23, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1269   0xbc01, 0xc900, 0xfc00, 0xff23, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1270   0xbc01, 0xc900, 0xfc00, 0xff23, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1271   0xbc01, 0xc900, 0xfc00, 0xff23, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1272   0xbc01, 0xc900, 0xfc00, 0xff23, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1273   0xbc01, 0xc900, 0xfc00, 0xff23, 0x7f23, 0x7f23, 0x0012, 0x8000,
1274   0xbc01, 0xc900, 0xfc00, 0xff23, 0x7f23, 0x7e01, 0x0001, 0x8400,
1275   0xbc01, 0xc900, 0xfc00, 0xff23, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1276   0xbc01, 0xc900, 0xfc00, 0xff23, 0x7e01, 0x0001, 0x8400, 0xb800,
1277   0xbc01, 0xc900, 0xfc00, 0xff23, 0x0012, 0x8000, 0xb7ff, 0xb801,
1278   0xbc01, 0xc900, 0xfc00, 0xff23, 0x0001, 0x8400, 0xb800, 0xbbff,
1279   0xbc01, 0xc900, 0xfc00, 0xff23, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1280   0xbc01, 0xc900, 0xfc00, 0xff23, 0x8400, 0xb800, 0xbbff, 0xbc01,
1281   0xbc01, 0xc900, 0xfc00, 0xff23, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1282   0xbc01, 0xc900, 0xfc00, 0xff23, 0xb800, 0xbbff, 0xbc01, 0xc900,
1283   0xbc01, 0xc900, 0xfc00, 0xff23, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1284   0xbc01, 0xc900, 0xfc00, 0xff23, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1285   0xbc01, 0xc900, 0xfc00, 0xff23, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1286   0xbc01, 0xc900, 0xfc00, 0xff23, 0xbc01, 0xc900, 0xfc00, 0xff23,
1287   0xbc01, 0xc900, 0xfc00, 0xff23, 0xbe00, 0xfbff, 0xff23, 0xff23,
1288   0xbc01, 0xc900, 0xfc00, 0xff23, 0xc900, 0xfc00, 0xff23, 0xff23,
1289   0xbc01, 0xc900, 0xfc00, 0xff23, 0xfbff, 0xff23, 0xff23, 0xfe01,
1290   0xbc01, 0xc900, 0xfc00, 0xff23, 0xfc00, 0xff23, 0xff23, 0x83ff,
1291   0xbc01, 0xc900, 0xfc00, 0xff23, 0xff23, 0xff23, 0xfe01, 0x83ff,
1292   0xbe00, 0xfbff, 0xff23, 0xff23, 0xff23, 0xff23, 0x83ff, 0x8001,
1293   0xbe00, 0xfbff, 0xff23, 0xff23, 0xff23, 0xfe01, 0x83ff, 0x0000,
1294   0xbe00, 0xfbff, 0xff23, 0xff23, 0xff23, 0x83ff, 0x8001, 0x0400,
1295   0xbe00, 0xfbff, 0xff23, 0xff23, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1296   0xbe00, 0xfbff, 0xff23, 0xff23, 0x83ff, 0x8001, 0x0400, 0x3800,
1297   0xbe00, 0xfbff, 0xff23, 0xff23, 0x83ff, 0x0000, 0x37ff, 0x3801,
1298   0xbe00, 0xfbff, 0xff23, 0xff23, 0x8001, 0x0400, 0x3800, 0x3bff,
1299   0xbe00, 0xfbff, 0xff23, 0xff23, 0x0000, 0x37ff, 0x3801, 0x3c00,
1300   0xbe00, 0xfbff, 0xff23, 0xff23, 0x0400, 0x3800, 0x3bff, 0x3c01,
1301   0xbe00, 0xfbff, 0xff23, 0xff23, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1302   0xbe00, 0xfbff, 0xff23, 0xff23, 0x3800, 0x3bff, 0x3c01, 0x4900,
1303   0xbe00, 0xfbff, 0xff23, 0xff23, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1304   0xbe00, 0xfbff, 0xff23, 0xff23, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1305   0xbe00, 0xfbff, 0xff23, 0xff23, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1306   0xbe00, 0xfbff, 0xff23, 0xff23, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1307   0xbe00, 0xfbff, 0xff23, 0xff23, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1308   0xbe00, 0xfbff, 0xff23, 0xff23, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1309   0xbe00, 0xfbff, 0xff23, 0xff23, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1310   0xbe00, 0xfbff, 0xff23, 0xff23, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1311   0xbe00, 0xfbff, 0xff23, 0xff23, 0x7f23, 0x7f23, 0x0012, 0x8000,
1312   0xbe00, 0xfbff, 0xff23, 0xff23, 0x7f23, 0x7e01, 0x0001, 0x8400,
1313   0xbe00, 0xfbff, 0xff23, 0xff23, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1314   0xbe00, 0xfbff, 0xff23, 0xff23, 0x7e01, 0x0001, 0x8400, 0xb800,
1315   0xbe00, 0xfbff, 0xff23, 0xff23, 0x0012, 0x8000, 0xb7ff, 0xb801,
1316   0xbe00, 0xfbff, 0xff23, 0xff23, 0x0001, 0x8400, 0xb800, 0xbbff,
1317   0xbe00, 0xfbff, 0xff23, 0xff23, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1318   0xbe00, 0xfbff, 0xff23, 0xff23, 0x8400, 0xb800, 0xbbff, 0xbc01,
1319   0xbe00, 0xfbff, 0xff23, 0xff23, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1320   0xbe00, 0xfbff, 0xff23, 0xff23, 0xb800, 0xbbff, 0xbc01, 0xc900,
1321   0xbe00, 0xfbff, 0xff23, 0xff23, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1322   0xbe00, 0xfbff, 0xff23, 0xff23, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1323   0xbe00, 0xfbff, 0xff23, 0xff23, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1324   0xbe00, 0xfbff, 0xff23, 0xff23, 0xbc01, 0xc900, 0xfc00, 0xff23,
1325   0xbe00, 0xfbff, 0xff23, 0xff23, 0xbe00, 0xfbff, 0xff23, 0xff23,
1326   0xbe00, 0xfbff, 0xff23, 0xff23, 0xc900, 0xfc00, 0xff23, 0xff23,
1327   0xbe00, 0xfbff, 0xff23, 0xff23, 0xfbff, 0xff23, 0xff23, 0xfe01,
1328   0xbe00, 0xfbff, 0xff23, 0xff23, 0xfc00, 0xff23, 0xff23, 0x83ff,
1329   0xbe00, 0xfbff, 0xff23, 0xff23, 0xff23, 0xff23, 0xfe01, 0x83ff,
1330   0xc900, 0xfc00, 0xff23, 0xff23, 0xff23, 0xff23, 0x83ff, 0x8001,
1331   0xc900, 0xfc00, 0xff23, 0xff23, 0xff23, 0xfe01, 0x83ff, 0x0000,
1332   0xc900, 0xfc00, 0xff23, 0xff23, 0xff23, 0x83ff, 0x8001, 0x0400,
1333   0xc900, 0xfc00, 0xff23, 0xff23, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1334   0xc900, 0xfc00, 0xff23, 0xff23, 0x83ff, 0x8001, 0x0400, 0x3800,
1335   0xc900, 0xfc00, 0xff23, 0xff23, 0x83ff, 0x0000, 0x37ff, 0x3801,
1336   0xc900, 0xfc00, 0xff23, 0xff23, 0x8001, 0x0400, 0x3800, 0x3bff,
1337   0xc900, 0xfc00, 0xff23, 0xff23, 0x0000, 0x37ff, 0x3801, 0x3c00,
1338   0xc900, 0xfc00, 0xff23, 0xff23, 0x0400, 0x3800, 0x3bff, 0x3c01,
1339   0xc900, 0xfc00, 0xff23, 0xff23, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1340   0xc900, 0xfc00, 0xff23, 0xff23, 0x3800, 0x3bff, 0x3c01, 0x4900,
1341   0xc900, 0xfc00, 0xff23, 0xff23, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1342   0xc900, 0xfc00, 0xff23, 0xff23, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1343   0xc900, 0xfc00, 0xff23, 0xff23, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1344   0xc900, 0xfc00, 0xff23, 0xff23, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1345   0xc900, 0xfc00, 0xff23, 0xff23, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1346   0xc900, 0xfc00, 0xff23, 0xff23, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1347   0xc900, 0xfc00, 0xff23, 0xff23, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1348   0xc900, 0xfc00, 0xff23, 0xff23, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1349   0xc900, 0xfc00, 0xff23, 0xff23, 0x7f23, 0x7f23, 0x0012, 0x8000,
1350   0xc900, 0xfc00, 0xff23, 0xff23, 0x7f23, 0x7e01, 0x0001, 0x8400,
1351   0xc900, 0xfc00, 0xff23, 0xff23, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1352   0xc900, 0xfc00, 0xff23, 0xff23, 0x7e01, 0x0001, 0x8400, 0xb800,
1353   0xc900, 0xfc00, 0xff23, 0xff23, 0x0012, 0x8000, 0xb7ff, 0xb801,
1354   0xc900, 0xfc00, 0xff23, 0xff23, 0x0001, 0x8400, 0xb800, 0xbbff,
1355   0xc900, 0xfc00, 0xff23, 0xff23, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1356   0xc900, 0xfc00, 0xff23, 0xff23, 0x8400, 0xb800, 0xbbff, 0xbc01,
1357   0xc900, 0xfc00, 0xff23, 0xff23, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1358   0xc900, 0xfc00, 0xff23, 0xff23, 0xb800, 0xbbff, 0xbc01, 0xc900,
1359   0xc900, 0xfc00, 0xff23, 0xff23, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1360   0xc900, 0xfc00, 0xff23, 0xff23, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1361   0xc900, 0xfc00, 0xff23, 0xff23, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1362   0xc900, 0xfc00, 0xff23, 0xff23, 0xbc01, 0xc900, 0xfc00, 0xff23,
1363   0xc900, 0xfc00, 0xff23, 0xff23, 0xbe00, 0xfbff, 0xff23, 0xff23,
1364   0xc900, 0xfc00, 0xff23, 0xff23, 0xc900, 0xfc00, 0xff23, 0xff23,
1365   0xc900, 0xfc00, 0xff23, 0xff23, 0xfbff, 0xff23, 0xff23, 0xfe01,
1366   0xc900, 0xfc00, 0xff23, 0xff23, 0xfc00, 0xff23, 0xff23, 0x83ff,
1367   0xc900, 0xfc00, 0xff23, 0xff23, 0xff23, 0xff23, 0xfe01, 0x83ff,
1368   0xfbff, 0xff23, 0xff23, 0xfe01, 0xff23, 0xff23, 0x83ff, 0x8001,
1369   0xfbff, 0xff23, 0xff23, 0xfe01, 0xff23, 0xfe01, 0x83ff, 0x0000,
1370   0xfbff, 0xff23, 0xff23, 0xfe01, 0xff23, 0x83ff, 0x8001, 0x0400,
1371   0xfbff, 0xff23, 0xff23, 0xfe01, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1372   0xfbff, 0xff23, 0xff23, 0xfe01, 0x83ff, 0x8001, 0x0400, 0x3800,
1373   0xfbff, 0xff23, 0xff23, 0xfe01, 0x83ff, 0x0000, 0x37ff, 0x3801,
1374   0xfbff, 0xff23, 0xff23, 0xfe01, 0x8001, 0x0400, 0x3800, 0x3bff,
1375   0xfbff, 0xff23, 0xff23, 0xfe01, 0x0000, 0x37ff, 0x3801, 0x3c00,
1376   0xfbff, 0xff23, 0xff23, 0xfe01, 0x0400, 0x3800, 0x3bff, 0x3c01,
1377   0xfbff, 0xff23, 0xff23, 0xfe01, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1378   0xfbff, 0xff23, 0xff23, 0xfe01, 0x3800, 0x3bff, 0x3c01, 0x4900,
1379   0xfbff, 0xff23, 0xff23, 0xfe01, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1380   0xfbff, 0xff23, 0xff23, 0xfe01, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1381   0xfbff, 0xff23, 0xff23, 0xfe01, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1382   0xfbff, 0xff23, 0xff23, 0xfe01, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1383   0xfbff, 0xff23, 0xff23, 0xfe01, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1384   0xfbff, 0xff23, 0xff23, 0xfe01, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1385   0xfbff, 0xff23, 0xff23, 0xfe01, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1386   0xfbff, 0xff23, 0xff23, 0xfe01, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1387   0xfbff, 0xff23, 0xff23, 0xfe01, 0x7f23, 0x7f23, 0x0012, 0x8000,
1388   0xfbff, 0xff23, 0xff23, 0xfe01, 0x7f23, 0x7e01, 0x0001, 0x8400,
1389   0xfbff, 0xff23, 0xff23, 0xfe01, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1390   0xfbff, 0xff23, 0xff23, 0xfe01, 0x7e01, 0x0001, 0x8400, 0xb800,
1391   0xfbff, 0xff23, 0xff23, 0xfe01, 0x0012, 0x8000, 0xb7ff, 0xb801,
1392   0xfbff, 0xff23, 0xff23, 0xfe01, 0x0001, 0x8400, 0xb800, 0xbbff,
1393   0xfbff, 0xff23, 0xff23, 0xfe01, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1394   0xfbff, 0xff23, 0xff23, 0xfe01, 0x8400, 0xb800, 0xbbff, 0xbc01,
1395   0xfbff, 0xff23, 0xff23, 0xfe01, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1396   0xfbff, 0xff23, 0xff23, 0xfe01, 0xb800, 0xbbff, 0xbc01, 0xc900,
1397   0xfbff, 0xff23, 0xff23, 0xfe01, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1398   0xfbff, 0xff23, 0xff23, 0xfe01, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1399   0xfbff, 0xff23, 0xff23, 0xfe01, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1400   0xfbff, 0xff23, 0xff23, 0xfe01, 0xbc01, 0xc900, 0xfc00, 0xff23,
1401   0xfbff, 0xff23, 0xff23, 0xfe01, 0xbe00, 0xfbff, 0xff23, 0xff23,
1402   0xfbff, 0xff23, 0xff23, 0xfe01, 0xc900, 0xfc00, 0xff23, 0xff23,
1403   0xfbff, 0xff23, 0xff23, 0xfe01, 0xfbff, 0xff23, 0xff23, 0xfe01,
1404   0xfbff, 0xff23, 0xff23, 0xfe01, 0xfc00, 0xff23, 0xff23, 0x83ff,
1405   0xfbff, 0xff23, 0xff23, 0xfe01, 0xff23, 0xff23, 0xfe01, 0x83ff,
1406   0xfc00, 0xff23, 0xff23, 0x83ff, 0xff23, 0xff23, 0x83ff, 0x8001,
1407   0xfc00, 0xff23, 0xff23, 0x83ff, 0xff23, 0xfe01, 0x83ff, 0x0000,
1408   0xfc00, 0xff23, 0xff23, 0x83ff, 0xff23, 0x83ff, 0x8001, 0x0400,
1409   0xfc00, 0xff23, 0xff23, 0x83ff, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1410   0xfc00, 0xff23, 0xff23, 0x83ff, 0x83ff, 0x8001, 0x0400, 0x3800,
1411   0xfc00, 0xff23, 0xff23, 0x83ff, 0x83ff, 0x0000, 0x37ff, 0x3801,
1412   0xfc00, 0xff23, 0xff23, 0x83ff, 0x8001, 0x0400, 0x3800, 0x3bff,
1413   0xfc00, 0xff23, 0xff23, 0x83ff, 0x0000, 0x37ff, 0x3801, 0x3c00,
1414   0xfc00, 0xff23, 0xff23, 0x83ff, 0x0400, 0x3800, 0x3bff, 0x3c01,
1415   0xfc00, 0xff23, 0xff23, 0x83ff, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1416   0xfc00, 0xff23, 0xff23, 0x83ff, 0x3800, 0x3bff, 0x3c01, 0x4900,
1417   0xfc00, 0xff23, 0xff23, 0x83ff, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1418   0xfc00, 0xff23, 0xff23, 0x83ff, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1419   0xfc00, 0xff23, 0xff23, 0x83ff, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1420   0xfc00, 0xff23, 0xff23, 0x83ff, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1421   0xfc00, 0xff23, 0xff23, 0x83ff, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1422   0xfc00, 0xff23, 0xff23, 0x83ff, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1423   0xfc00, 0xff23, 0xff23, 0x83ff, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1424   0xfc00, 0xff23, 0xff23, 0x83ff, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1425   0xfc00, 0xff23, 0xff23, 0x83ff, 0x7f23, 0x7f23, 0x0012, 0x8000,
1426   0xfc00, 0xff23, 0xff23, 0x83ff, 0x7f23, 0x7e01, 0x0001, 0x8400,
1427   0xfc00, 0xff23, 0xff23, 0x83ff, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1428   0xfc00, 0xff23, 0xff23, 0x83ff, 0x7e01, 0x0001, 0x8400, 0xb800,
1429   0xfc00, 0xff23, 0xff23, 0x83ff, 0x0012, 0x8000, 0xb7ff, 0xb801,
1430   0xfc00, 0xff23, 0xff23, 0x83ff, 0x0001, 0x8400, 0xb800, 0xbbff,
1431   0xfc00, 0xff23, 0xff23, 0x83ff, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1432   0xfc00, 0xff23, 0xff23, 0x83ff, 0x8400, 0xb800, 0xbbff, 0xbc01,
1433   0xfc00, 0xff23, 0xff23, 0x83ff, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1434   0xfc00, 0xff23, 0xff23, 0x83ff, 0xb800, 0xbbff, 0xbc01, 0xc900,
1435   0xfc00, 0xff23, 0xff23, 0x83ff, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1436   0xfc00, 0xff23, 0xff23, 0x83ff, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1437   0xfc00, 0xff23, 0xff23, 0x83ff, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1438   0xfc00, 0xff23, 0xff23, 0x83ff, 0xbc01, 0xc900, 0xfc00, 0xff23,
1439   0xfc00, 0xff23, 0xff23, 0x83ff, 0xbe00, 0xfbff, 0xff23, 0xff23,
1440   0xfc00, 0xff23, 0xff23, 0x83ff, 0xc900, 0xfc00, 0xff23, 0xff23,
1441   0xfc00, 0xff23, 0xff23, 0x83ff, 0xfbff, 0xff23, 0xff23, 0xfe01,
1442   0xfc00, 0xff23, 0xff23, 0x83ff, 0xfc00, 0xff23, 0xff23, 0x83ff,
1443   0xfc00, 0xff23, 0xff23, 0x83ff, 0xff23, 0xff23, 0xfe01, 0x83ff,
1444   0xff23, 0xff23, 0xfe01, 0x83ff, 0xff23, 0xff23, 0x83ff, 0x8001,
1445   0xff23, 0xff23, 0xfe01, 0x83ff, 0xff23, 0xfe01, 0x83ff, 0x0000,
1446   0xff23, 0xff23, 0xfe01, 0x83ff, 0xff23, 0x83ff, 0x8001, 0x0400,
1447   0xff23, 0xff23, 0xfe01, 0x83ff, 0xfe01, 0x83ff, 0x0000, 0x37ff,
1448   0xff23, 0xff23, 0xfe01, 0x83ff, 0x83ff, 0x8001, 0x0400, 0x3800,
1449   0xff23, 0xff23, 0xfe01, 0x83ff, 0x83ff, 0x0000, 0x37ff, 0x3801,
1450   0xff23, 0xff23, 0xfe01, 0x83ff, 0x8001, 0x0400, 0x3800, 0x3bff,
1451   0xff23, 0xff23, 0xfe01, 0x83ff, 0x0000, 0x37ff, 0x3801, 0x3c00,
1452   0xff23, 0xff23, 0xfe01, 0x83ff, 0x0400, 0x3800, 0x3bff, 0x3c01,
1453   0xff23, 0xff23, 0xfe01, 0x83ff, 0x37ff, 0x3801, 0x3c00, 0x3e00,
1454   0xff23, 0xff23, 0xfe01, 0x83ff, 0x3800, 0x3bff, 0x3c01, 0x4900,
1455   0xff23, 0xff23, 0xfe01, 0x83ff, 0x3801, 0x3c00, 0x3e00, 0x7bff,
1456   0xff23, 0xff23, 0xfe01, 0x83ff, 0x3bff, 0x3c01, 0x4900, 0x7f23,
1457   0xff23, 0xff23, 0xfe01, 0x83ff, 0x3c00, 0x3e00, 0x7bff, 0x7f23,
1458   0xff23, 0xff23, 0xfe01, 0x83ff, 0x3c01, 0x4900, 0x7f23, 0x7f23,
1459   0xff23, 0xff23, 0xfe01, 0x83ff, 0x3e00, 0x7bff, 0x7f23, 0x7f23,
1460   0xff23, 0xff23, 0xfe01, 0x83ff, 0x4900, 0x7f23, 0x7f23, 0x7e01,
1461   0xff23, 0xff23, 0xfe01, 0x83ff, 0x7bff, 0x7f23, 0x7f23, 0x0012,
1462   0xff23, 0xff23, 0xfe01, 0x83ff, 0x7f23, 0x7f23, 0x7e01, 0x0001,
1463   0xff23, 0xff23, 0xfe01, 0x83ff, 0x7f23, 0x7f23, 0x0012, 0x8000,
1464   0xff23, 0xff23, 0xfe01, 0x83ff, 0x7f23, 0x7e01, 0x0001, 0x8400,
1465   0xff23, 0xff23, 0xfe01, 0x83ff, 0x7f23, 0x0012, 0x8000, 0xb7ff,
1466   0xff23, 0xff23, 0xfe01, 0x83ff, 0x7e01, 0x0001, 0x8400, 0xb800,
1467   0xff23, 0xff23, 0xfe01, 0x83ff, 0x0012, 0x8000, 0xb7ff, 0xb801,
1468   0xff23, 0xff23, 0xfe01, 0x83ff, 0x0001, 0x8400, 0xb800, 0xbbff,
1469   0xff23, 0xff23, 0xfe01, 0x83ff, 0x8000, 0xb7ff, 0xb801, 0xbc00,
1470   0xff23, 0xff23, 0xfe01, 0x83ff, 0x8400, 0xb800, 0xbbff, 0xbc01,
1471   0xff23, 0xff23, 0xfe01, 0x83ff, 0xb7ff, 0xb801, 0xbc00, 0xbe00,
1472   0xff23, 0xff23, 0xfe01, 0x83ff, 0xb800, 0xbbff, 0xbc01, 0xc900,
1473   0xff23, 0xff23, 0xfe01, 0x83ff, 0xb801, 0xbc00, 0xbe00, 0xfbff,
1474   0xff23, 0xff23, 0xfe01, 0x83ff, 0xbbff, 0xbc01, 0xc900, 0xfc00,
1475   0xff23, 0xff23, 0xfe01, 0x83ff, 0xbc00, 0xbe00, 0xfbff, 0xff23,
1476   0xff23, 0xff23, 0xfe01, 0x83ff, 0xbc01, 0xc900, 0xfc00, 0xff23,
1477   0xff23, 0xff23, 0xfe01, 0x83ff, 0xbe00, 0xfbff, 0xff23, 0xff23,
1478   0xff23, 0xff23, 0xfe01, 0x83ff, 0xc900, 0xfc00, 0xff23, 0xff23,
1479   0xff23, 0xff23, 0xfe01, 0x83ff, 0xfbff, 0xff23, 0xff23, 0xfe01,
1480   0xff23, 0xff23, 0xfe01, 0x83ff, 0xfc00, 0xff23, 0xff23, 0x83ff,
1481   0xff23, 0xff23, 0xfe01, 0x83ff, 0xff23, 0xff23, 0xfe01, 0x83ff,
1482 };
1483 const unsigned kExpectedCount_NEON_fminp_8H = 1444;
1484 
1485 #endif  // VIXL_SIM_FMINP_8H_TRACE_AARCH64_H_
1486