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