• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2015, VIXL authors
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are met:
6 //
7 //   * Redistributions of source code must retain the above copyright notice,
8 //     this list of conditions and the following disclaimer.
9 //   * Redistributions in binary form must reproduce the above copyright notice,
10 //     this list of conditions and the following disclaimer in the documentation
11 //     and/or other materials provided with the distribution.
12 //   * Neither the name of ARM Limited nor the names of its contributors may be
13 //     used to endorse or promote products derived from this software without
14 //     specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 
27 
28 // ---------------------------------------------------------------------
29 // This file is auto generated using tools/generate_simulator_traces.py.
30 //
31 // PLEASE DO NOT EDIT.
32 // ---------------------------------------------------------------------
33 
34 #ifndef VIXL_SIM_UMIN_8H_TRACE_AARCH64_H_
35 #define VIXL_SIM_UMIN_8H_TRACE_AARCH64_H_
36 
37 const uint16_t kExpected_NEON_umin_8H[] = {
38   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
39   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0000,
40   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0000,
41   0x007e, 0x007f, 0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0000,
42   0x007e, 0x007f, 0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x0000,
43   0x007e, 0x007f, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x0000,
44   0x007e, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x0000,
45   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x0000,
46   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x0000,
47   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x0000,
48   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000,
49   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000,
50   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
51   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
52   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
53   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
54   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
55   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
56   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
57   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
58   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
59   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
60   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
61   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
62   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0000,
63   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
64   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0000, 0x0001,
65   0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0000, 0x0001,
66   0x007f, 0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0000, 0x0001,
67   0x007f, 0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x0000, 0x0001,
68   0x007f, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x0000, 0x0001,
69   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x0000, 0x0001,
70   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x0000, 0x0001,
71   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x0000, 0x0001,
72   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x0000, 0x0001,
73   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001,
74   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0001,
75   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
76   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
77   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
78   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
79   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
80   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
81   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
82   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
83   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
84   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
85   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
86   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0000,
87   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0000, 0x0001,
88   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
89   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0000, 0x0001, 0x0002,
90   0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0000, 0x0001, 0x0002,
91   0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0000, 0x0001, 0x0002,
92   0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x0000, 0x0001, 0x0002,
93   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x0000, 0x0001, 0x0002,
94   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x0000, 0x0001, 0x0002,
95   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x0000, 0x0001, 0x0002,
96   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x0000, 0x0001, 0x0002,
97   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x0000, 0x0001, 0x0002,
98   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0002,
99   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0001, 0x0002,
100   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
101   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
102   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
103   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
104   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
105   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
106   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
107   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
108   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
109   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
110   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0000,
111   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0000, 0x0001,
112   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0002,
113   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
114   0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
115   0x5555, 0x7ffd, 0x0000, 0x0001, 0x0000, 0x0001, 0x0002, 0x0010,
116   0x5555, 0x0000, 0x0001, 0x0002, 0x0000, 0x0001, 0x0002, 0x0010,
117   0x0000, 0x0001, 0x0002, 0x0010, 0x0000, 0x0001, 0x0002, 0x0010,
118   0x0001, 0x0002, 0x0010, 0x007d, 0x0000, 0x0001, 0x0002, 0x0010,
119   0x0002, 0x0010, 0x007d, 0x007e, 0x0000, 0x0001, 0x0002, 0x0010,
120   0x0010, 0x007d, 0x007e, 0x007f, 0x0000, 0x0001, 0x0002, 0x0010,
121   0x007d, 0x007e, 0x007f, 0x3333, 0x0000, 0x0001, 0x0002, 0x0010,
122   0x007e, 0x007f, 0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0010,
123   0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0002, 0x0010,
124   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0001, 0x0002, 0x0010,
125   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
126   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
127   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
128   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
129   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
130   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
131   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
132   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
133   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
134   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x0000,
135   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0000, 0x0001,
136   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0000, 0x0001, 0x0002,
137   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
138   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
139   0x7ffd, 0x7ffe, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
140   0x7ffd, 0x0000, 0x0001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
141   0x0000, 0x0001, 0x0002, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
142   0x0001, 0x0002, 0x0010, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
143   0x0002, 0x0010, 0x007d, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
144   0x0010, 0x007d, 0x007e, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
145   0x007d, 0x007e, 0x007f, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
146   0x007e, 0x007f, 0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
147   0x007f, 0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
148   0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
149   0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
150   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
151   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
152   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
153   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
154   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
155   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
156   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
157   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
158   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x0000,
159   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x0000, 0x0001,
160   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0000, 0x0001, 0x0002,
161   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0000, 0x0001, 0x0002, 0x0010,
162   0x7ffe, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
163   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
164   0x7ffe, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
165   0x0000, 0x0001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
166   0x0001, 0x0002, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
167   0x0002, 0x0010, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
168   0x0010, 0x007d, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
169   0x007d, 0x007e, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
170   0x007e, 0x007f, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
171   0x007f, 0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
172   0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
173   0x5555, 0x7ffd, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
174   0x7ffd, 0x7ffe, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
175   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
176   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
177   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
178   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
179   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
180   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
181   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
182   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x0000,
183   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x0000, 0x0001,
184   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x0000, 0x0001, 0x0002,
185   0x7fff, 0x0000, 0x0001, 0x0002, 0x0000, 0x0001, 0x0002, 0x0010,
186   0x7fff, 0x0000, 0x0001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
187   0x7fff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
188   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
189   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
190   0x0001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
191   0x0002, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
192   0x0010, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
193   0x007d, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
194   0x007e, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
195   0x007f, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
196   0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
197   0x5555, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
198   0x7ffd, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
199   0x7ffe, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
200   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
201   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
202   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
203   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
204   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
205   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
206   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x0000,
207   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x0000, 0x0001,
208   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x0000, 0x0001, 0x0002,
209   0x0000, 0x0001, 0x0002, 0x0010, 0x0000, 0x0001, 0x0002, 0x0010,
210   0x0000, 0x0001, 0x0002, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
211   0x0000, 0x0001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
212   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
213   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
214   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
215   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
216   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
217   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
218   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
219   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
220   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
221   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
222   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
223   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
224   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
225   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
226   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
227   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
228   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
229   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
230   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x0000,
231   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x0000, 0x0001,
232   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x0000, 0x0001, 0x0002,
233   0x0001, 0x0002, 0x0010, 0x007d, 0x0000, 0x0001, 0x0002, 0x0010,
234   0x0001, 0x0002, 0x0010, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
235   0x0001, 0x0002, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
236   0x0001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
237   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
238   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
239   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
240   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
241   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
242   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
243   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
244   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
245   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
246   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
247   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
248   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
249   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
250   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
251   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
252   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
253   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
254   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x0000,
255   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x0000, 0x0001,
256   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x0000, 0x0001, 0x0002,
257   0x0002, 0x0010, 0x007d, 0x007e, 0x0000, 0x0001, 0x0002, 0x0010,
258   0x0002, 0x0010, 0x007d, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
259   0x0002, 0x0010, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
260   0x0002, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
261   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
262   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
263   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
264   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
265   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
266   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
267   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
268   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
269   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
270   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
271   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
272   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
273   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
274   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
275   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
276   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
277   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
278   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000,
279   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x0000, 0x0001,
280   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x0000, 0x0001, 0x0002,
281   0x0010, 0x007d, 0x007e, 0x007f, 0x0000, 0x0001, 0x0002, 0x0010,
282   0x0010, 0x007d, 0x007e, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
283   0x0010, 0x007d, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
284   0x0010, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
285   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
286   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
287   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
288   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
289   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
290   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
291   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
292   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
293   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
294   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
295   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
296   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
297   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
298   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
299   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
300   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
301   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
302   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000,
303   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001,
304   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x0000, 0x0001, 0x0002,
305   0x007d, 0x007e, 0x007f, 0x3333, 0x0000, 0x0001, 0x0002, 0x0010,
306   0x007d, 0x007e, 0x007f, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
307   0x007d, 0x007e, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
308   0x007d, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
309   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
310   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
311   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
312   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
313   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
314   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
315   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
316   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
317   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
318   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
319   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
320   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
321   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
322   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
323   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
324   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
325   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
326   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
327   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0001,
328   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0002,
329   0x007e, 0x007f, 0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0010,
330   0x007e, 0x007f, 0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
331   0x007e, 0x007f, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
332   0x007e, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
333   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
334   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
335   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
336   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
337   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
338   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
339   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
340   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
341   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
342   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
343   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
344   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
345   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
346   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
347   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
348   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
349   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
350   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x0000,
351   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001,
352   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0001, 0x0002,
353   0x007f, 0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0002, 0x0010,
354   0x007f, 0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
355   0x007f, 0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
356   0x007f, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
357   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
358   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
359   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
360   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
361   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
362   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
363   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
364   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
365   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
366   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
367   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
368   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
369   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
370   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
371   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
372   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
373   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
374   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0x0000,
375   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x0000, 0x0001,
376   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002,
377   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0001, 0x0002, 0x0010,
378   0x3333, 0x5555, 0x7ffd, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
379   0x3333, 0x5555, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
380   0x3333, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
381   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
382   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
383   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
384   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
385   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
386   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
387   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
388   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
389   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
390   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
391   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
392   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
393   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
394   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
395   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
396   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
397   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
398   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0x0000,
399   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0x0000, 0x0001,
400   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x0000, 0x0001, 0x0002,
401   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010,
402   0x5555, 0x7ffd, 0x7ffe, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
403   0x5555, 0x7ffd, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
404   0x5555, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
405   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
406   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
407   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
408   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
409   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
410   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
411   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
412   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
413   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
414   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
415   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
416   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
417   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
418   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
419   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
420   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
421   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
422   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0x0000,
423   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0x0000, 0x0001,
424   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0x0000, 0x0001, 0x0002,
425   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x0000, 0x0001, 0x0002, 0x0010,
426   0x7ffd, 0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
427   0x7ffd, 0x7ffe, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
428   0x7ffd, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
429   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
430   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
431   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
432   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
433   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
434   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
435   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
436   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
437   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
438   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
439   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
440   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
441   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
442   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
443   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
444   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
445   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
446   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0x0000,
447   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0x0000, 0x0001,
448   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0x0000, 0x0001, 0x0002,
449   0x7ffe, 0x7fff, 0x8000, 0x8001, 0x0000, 0x0001, 0x0002, 0x0010,
450   0x7ffe, 0x7fff, 0x8000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
451   0x7ffe, 0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
452   0x7ffe, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
453   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
454   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
455   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
456   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
457   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
458   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
459   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
460   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
461   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
462   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
463   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
464   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
465   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
466   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
467   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
468   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
469   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
470   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0x0000,
471   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0x0000, 0x0001,
472   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0x0000, 0x0001, 0x0002,
473   0x7fff, 0x8000, 0x8001, 0xaaaa, 0x0000, 0x0001, 0x0002, 0x0010,
474   0x7fff, 0x8000, 0x8001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
475   0x7fff, 0x8000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
476   0x7fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
477   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
478   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
479   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
480   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
481   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
482   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
483   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
484   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
485   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
486   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
487   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
488   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
489   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
490   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
491   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
492   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
493   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
494   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0x0000,
495   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0x0000, 0x0001,
496   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0x0000, 0x0001, 0x0002,
497   0x8000, 0x8001, 0xaaaa, 0xcccc, 0x0000, 0x0001, 0x0002, 0x0010,
498   0x8000, 0x8001, 0xaaaa, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
499   0x8000, 0x8001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
500   0x8000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
501   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
502   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
503   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
504   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
505   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
506   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
507   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
508   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
509   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
510   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
511   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
512   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
513   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
514   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
515   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
516   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
517   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
518   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0x0000,
519   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0x0000, 0x0001,
520   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0x0000, 0x0001, 0x0002,
521   0x8001, 0xaaaa, 0xcccc, 0xff80, 0x0000, 0x0001, 0x0002, 0x0010,
522   0x8001, 0xaaaa, 0xcccc, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
523   0x8001, 0xaaaa, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
524   0x8001, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
525   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
526   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
527   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
528   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
529   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
530   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
531   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
532   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
533   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
534   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
535   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
536   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
537   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
538   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
539   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
540   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
541   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
542   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0x0000,
543   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0x0000, 0x0001,
544   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0x0000, 0x0001, 0x0002,
545   0xaaaa, 0xcccc, 0xff80, 0xff81, 0x0000, 0x0001, 0x0002, 0x0010,
546   0xaaaa, 0xcccc, 0xff80, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
547   0xaaaa, 0xcccc, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
548   0xaaaa, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
549   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
550   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
551   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
552   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
553   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
554   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
555   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
556   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
557   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
558   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
559   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
560   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
561   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
562   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
563   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd,
564   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd,
565   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd,
566   0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0x0000,
567   0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0x0000, 0x0001,
568   0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0x0000, 0x0001, 0x0002,
569   0xcccc, 0xff80, 0xff81, 0xff82, 0x0000, 0x0001, 0x0002, 0x0010,
570   0xcccc, 0xff80, 0xff81, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
571   0xcccc, 0xff80, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
572   0xcccc, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
573   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
574   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
575   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
576   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
577   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
578   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
579   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
580   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
581   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
582   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
583   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
584   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
585   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
586   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
587   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd,
588   0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe,
589   0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe,
590   0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0x0000,
591   0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0x0000, 0x0001,
592   0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0x0000, 0x0001, 0x0002,
593   0xff80, 0xff81, 0xff82, 0xff83, 0x0000, 0x0001, 0x0002, 0x0010,
594   0xff80, 0xff81, 0xff82, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
595   0xff80, 0xff81, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
596   0xff80, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
597   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
598   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
599   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
600   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
601   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
602   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
603   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
604   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
605   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
606   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
607   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
608   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
609   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
610   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
611   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd,
612   0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe,
613   0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff,
614 };
615 const unsigned kExpectedCount_NEON_umin_8H = 576;
616 
617 #endif  // VIXL_SIM_UMIN_8H_TRACE_AARCH64_H_
618