xref: /third_party/vixl/test/aarch64/traces/sim-fmaxnm-8h-trace-aarch64.h

38   0x7f23, 0x7e00, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
44   0x0001, 0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801, 0x3bff, 0x3c00,
45   0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801, 0x3bff, 0x3c00, 0x3c01,
50   0x3bff, 0x3c00, 0x7f23, 0x7e01, 0x4900, 0x7bff, 0x7c00, 0x0000,
51   0x3c00, 0x3c01, 0x7f23, 0x7e01, 0x7bff, 0x7c00, 0x0001, 0x0000,
57   0x7f23, 0x7e00, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
58   0x7f23, 0x7f23, 0x7f23, 0x7e01, 0x03ff, 0x03ff, 0x0001, 0x0000,
59   0x7f23, 0x7e01, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
60   0x7e01, 0x0012, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
61   0x0012, 0x03ff, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
62   0x03ff, 0x0001, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
63   0x0001, 0x8000, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
64   0x8000, 0x8400, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
65   0x8400, 0xb7ff, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
66   0xb7ff, 0xb800, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
67   0xb800, 0xb801, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
68   0xb801, 0xbbff, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
69   0xbbff, 0xbc00, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
70   0xbc00, 0xbc01, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
73   0xc900, 0xfbff, 0x7f23, 0x7e01, 0x0012, 0xff23, 0xfe01, 0x0000,
74   0xfbff, 0xfc00, 0x7f23, 0x7e01, 0xff23, 0xfe01, 0x0001, 0x0000,
75   0xfc00, 0x7e00, 0x7f23, 0x7e01, 0xfe01, 0x03ff, 0x0001, 0x0000,
76   0x7e00, 0x7f23, 0x7e01, 0xfe01, 0x03ff, 0x0001, 0x0000, 0x0400,
77   0x7e00, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
83   0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
89   0x3c00, 0x7f23, 0x7e01, 0x4900, 0x7bff, 0x7c00, 0x0000, 0x0400,
90   0x3c01, 0x7f23, 0x7e01, 0x7bff, 0x7c00, 0x0001, 0x0000, 0x7f23,
96   0x7e00, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
97   0x7f23, 0x7f23, 0x7e01, 0x03ff, 0x03ff, 0x0001, 0x0000, 0x0400,
98   0x7e01, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
99   0x0012, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
100   0x03ff, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
101   0x0001, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
102   0x8000, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
103   0x8400, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
104   0xb7ff, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
105   0xb800, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
106   0xb801, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
107   0xbbff, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
108   0xbc00, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
109   0xbc01, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0xff23,
112   0xfbff, 0x7f23, 0x7e01, 0x0012, 0xff23, 0xfe01, 0x0000, 0x0400,
113   0xfc00, 0x7f23, 0x7e01, 0xff23, 0xfe01, 0x0001, 0x0000, 0x0400,
114   0x7f23, 0x7e01, 0xff23, 0xfe01, 0x0001, 0x0000, 0x0400, 0x37ff,
115   0x7f23, 0x7e01, 0xfe01, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
116   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
128   0x7f23, 0x7e01, 0x4900, 0x7bff, 0x7c00, 0x0000, 0x0400, 0x7f23,
129   0x7f23, 0x7e01, 0x7bff, 0x7c00, 0x0001, 0x0000, 0x7f23, 0x7e01,
135   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
136   0x7f23, 0x7e01, 0x03ff, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
137   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
138   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
139   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
140   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
141   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
142   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
143   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
144   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
145   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
146   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
147   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0xff23,
148   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0xff23, 0xfe01,
151   0x7f23, 0x7e01, 0x0012, 0xff23, 0xfe01, 0x0000, 0x0400, 0x37ff,
152   0x7e01, 0x0012, 0xff23, 0xfe01, 0x0000, 0x0400, 0x37ff, 0x3800,
153   0x7e01, 0xff23, 0xfe01, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
154   0x7e01, 0xfe01, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
155   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
167   0x7e01, 0x4900, 0x7bff, 0x7c00, 0x0000, 0x0400, 0x7f23, 0x7e01,
168   0x7e01, 0x7bff, 0x7c00, 0x0001, 0x0000, 0x7f23, 0x7e01, 0x3800,
174   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
175   0x7e01, 0x03ff, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
176   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
177   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
178   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
179   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
180   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
181   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
182   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
183   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
184   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
185   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0xff23,
186   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0xff23, 0xfe01,
187   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0xff23, 0xfe01, 0x3800,
191   0x0012, 0xff23, 0xfe01, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
192   0xff23, 0xfe01, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
193   0xfe01, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
194   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
206   0x4900, 0x7bff, 0x7c00, 0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801,
207   0x7bff, 0x7c00, 0x0001, 0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801,
213   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
214   0x03ff, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
215   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
216   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
217   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
218   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
219   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
220   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
221   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
222   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
223   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0xff23,
224   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0xff23, 0xfe01,
225   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0xff23, 0xfe01, 0x3801,
226   0x0012, 0x03ff, 0x0001, 0x0000, 0xff23, 0xfe01, 0x3800, 0x3801,
230   0xff23, 0xfe01, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
231   0xfe01, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
232   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
233   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
245   0x7bff, 0x7c00, 0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801, 0x3bff,
246   0x7c00, 0x0001, 0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801, 0x3bff,
252   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
253   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
254   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
255   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
256   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
257   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
258   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
259   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
260   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
261   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0xff23,
262   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0xff23, 0xfe01,
263   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0xff23, 0xfe01, 0x3bff,
264   0x03ff, 0x0001, 0x0000, 0x0400, 0xff23, 0xfe01, 0x3801, 0x3bff,
265   0x03ff, 0x0001, 0x0000, 0xff23, 0xfe01, 0x3800, 0x3801, 0x3bff,
266   0x0001, 0x0000, 0xff23, 0xfe01, 0x3800, 0x3801, 0x3bff, 0x3c00,
269   0xfe01, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
270   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
271   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
272   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
284   0x7c00, 0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801, 0x3bff, 0x3c00,
285   0x0001, 0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801, 0x3bff, 0x3c00,
291   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
292   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
293   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
294   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
295   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
296   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
297   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
298   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
299   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0xff23,
300   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0xff23, 0xfe01,
301   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0xff23, 0xfe01, 0x3c00,
302   0x0001, 0x0000, 0x0400, 0x37ff, 0xff23, 0xfe01, 0x3bff, 0x3c00,
303   0x0001, 0x0000, 0x0400, 0xff23, 0xfe01, 0x3801, 0x3bff, 0x3c00,
304   0x0000, 0x0400, 0xff23, 0xfe01, 0x3801, 0x3bff, 0x3c00, 0x3c01,
305   0x0000, 0xff23, 0xfe01, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
308   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
309   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
310   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
311   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
323   0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801, 0x3bff, 0x3c00, 0x3c01,
324   0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
330   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
331   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
332   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
333   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
334   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
335   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
336   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
337   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0xff23,
338   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0xff23, 0xfe01,
339   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0xff23, 0xfe01, 0x3c01,
340   0x0000, 0x0400, 0x37ff, 0x3800, 0xff23, 0xfe01, 0x3c00, 0x3c01,
341   0x0000, 0x0400, 0x37ff, 0xff23, 0xfe01, 0x3bff, 0x3c00, 0x3c01,
494   0x3bff, 0x3c00, 0xff23, 0xfe01, 0x4900, 0x7bff, 0x7c00, 0x0000,
532   0x3c00, 0x3c01, 0xff23, 0xfe01, 0x7bff, 0x7c00, 0x8001, 0x0000,
533   0x3c00, 0xff23, 0xfe01, 0x4900, 0x7bff, 0x7c00, 0x0000, 0x0400,
571   0x3c01, 0xff23, 0xfe01, 0x7bff, 0x7c00, 0x8001, 0x0000, 0x7f23,
572   0xff23, 0xfe01, 0x4900, 0x7bff, 0x7c00, 0x0000, 0x0400, 0x7f23,
610   0xff23, 0xfe01, 0x7bff, 0x7c00, 0x8001, 0x0000, 0x7f23, 0x7e01,
611   0xfe01, 0x4900, 0x7bff, 0x7c00, 0x0000, 0x0400, 0x7f23, 0x7e01,
649   0xfe01, 0x7bff, 0x7c00, 0x8001, 0x0000, 0x7f23, 0x7e01, 0x3800,
650   0x4900, 0x7bff, 0x7c00, 0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801,
688   0x7bff, 0x7c00, 0x8001, 0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801,
689   0x7bff, 0x7c00, 0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801, 0x3bff,
727   0x7c00, 0x8001, 0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801, 0x3bff,
728   0x7c00, 0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801, 0x3bff, 0x3c00,
760   0x7f23, 0x7e00, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000,
766   0x8001, 0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801, 0x3bff, 0x3c00,
767   0x0000, 0x0400, 0x7f23, 0x7e01, 0x3801, 0x3bff, 0x3c00, 0x3c01,
798   0x7e00, 0x7f23, 0x7e01, 0xfe01, 0x03ff, 0x0001, 0x8000, 0x0000,
799   0x7e00, 0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400,
805   0x0000, 0x7f23, 0x7e01, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
836   0x7f23, 0x7e01, 0xff23, 0xfe01, 0x0001, 0x8000, 0x8001, 0x0000,
837   0x7f23, 0x7e01, 0xfe01, 0x03ff, 0x0001, 0x8000, 0x0000, 0x0400,
838   0x7f23, 0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff,
874   0x7e01, 0x0012, 0xff23, 0xfe01, 0x8000, 0x83ff, 0x8001, 0x0000,
875   0x7e01, 0xff23, 0xfe01, 0x0001, 0x8000, 0x8001, 0x0000, 0x0400,
876   0x7e01, 0xfe01, 0x03ff, 0x0001, 0x8000, 0x0000, 0x0400, 0x37ff,
877   0x7e01, 0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800,
912   0x0012, 0x03ff, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
913   0x0012, 0xff23, 0xfe01, 0x8000, 0x83ff, 0x8001, 0x0000, 0x0400,
914   0xff23, 0xfe01, 0x0001, 0x8000, 0x8001, 0x0000, 0x0400, 0x37ff,
915   0xfe01, 0x03ff, 0x0001, 0x8000, 0x0000, 0x0400, 0x37ff, 0x3800,
916   0x0012, 0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
950   0x03ff, 0x0001, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
951   0x03ff, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
952   0xff23, 0xfe01, 0x8000, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
953   0xfe01, 0x0001, 0x8000, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
954   0x03ff, 0x0001, 0x8000, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
955   0x03ff, 0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
988   0x0001, 0x8000, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
989   0x0001, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
990   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
991   0xfe01, 0x8000, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
992   0x0001, 0x8000, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
993   0x0001, 0x8000, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
994   0x0001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
1026   0x8000, 0x8400, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
1027   0x8000, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
1028   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
1029   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
1030   0x8000, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
1031   0x8000, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
1032   0x8000, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
1033   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
1064   0x8400, 0xb7ff, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
1065   0x8400, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
1066   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
1067   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
1068   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
1069   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
1070   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
1071   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
1102   0xb7ff, 0xb800, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
1103   0xb7ff, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
1104   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
1105   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
1106   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
1107   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
1108   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
1109   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
1140   0xb800, 0xb801, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
1141   0xb800, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
1142   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
1143   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
1144   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
1145   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
1146   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
1147   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
1178   0xb801, 0xbbff, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
1179   0xb801, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
1180   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
1181   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
1182   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
1183   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
1184   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
1185   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
1216   0xbbff, 0xbc00, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
1217   0xbbff, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
1218   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
1219   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
1220   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
1221   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
1222   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
1223   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
1254   0xbc00, 0xbc01, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000,
1255   0xbc00, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400,
1256   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff,
1257   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800,
1258   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801,
1259   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff,
1260   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00,
1261   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0x3c01,
1293   0xbc01, 0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0xff23,
1294   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0xff23,
1295   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0xff23,
1296   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0xff23,
1297   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0xff23,
1298   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0xff23,
1299   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0x3c00, 0xff23,
1332   0xff23, 0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0xff23, 0xfe01,
1333   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0xff23, 0xfe01,
1334   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0xff23, 0xfe01,
1335   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0xff23, 0xfe01,
1336   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0xff23, 0xfe01,
1337   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0x3bff, 0xff23, 0xfe01,
1368   0xc900, 0xfbff, 0xff23, 0xfe01, 0x8012, 0xff23, 0xfe01, 0x0000,
1371   0xfe01, 0x8012, 0x83ff, 0x8001, 0x0000, 0xff23, 0xfe01, 0x3800,
1372   0x8012, 0x83ff, 0x8001, 0x0000, 0x0400, 0xff23, 0xfe01, 0x3801,
1373   0x83ff, 0x8001, 0x0000, 0x0400, 0x37ff, 0xff23, 0xfe01, 0x3bff,
1374   0x8001, 0x0000, 0x0400, 0x37ff, 0x3800, 0xff23, 0xfe01, 0x3c00,
1375   0x0000, 0x0400, 0x37ff, 0x3800, 0x3801, 0xff23, 0xfe01, 0x3c01,
1406   0xfbff, 0xfc00, 0xff23, 0xfe01, 0xff23, 0xfe01, 0x8001, 0x0000,
1407   0xfbff, 0xff23, 0xfe01, 0x8012, 0xff23, 0xfe01, 0x0000, 0x0400,
1410   0x8012, 0x83ff, 0x8001, 0x0000, 0xff23, 0xfe01, 0x3800, 0x3801,
1411   0x83ff, 0x8001, 0x0000, 0x0400, 0xff23, 0xfe01, 0x3801, 0x3bff,
1412   0x8001, 0x0000, 0x0400, 0x37ff, 0xff23, 0xfe01, 0x3bff, 0x3c00,
1413   0x0000, 0x0400, 0x37ff, 0x3800, 0xff23, 0xfe01, 0x3c00, 0x3c01,
1444   0xfc00, 0xff23, 0xff23, 0xff23, 0xfe01, 0x8012, 0x8001, 0x0000,
1445   0xfc00, 0xff23, 0xfe01, 0xff23, 0xfe01, 0x8001, 0x0000, 0x0400,
1446   0xff23, 0xfe01, 0x8012, 0xff23, 0xfe01, 0x0000, 0x0400, 0x37ff,
1449   0x83ff, 0x8001, 0x0000, 0xff23, 0xfe01, 0x3800, 0x3801, 0x3bff,
1450   0x8001, 0x0000, 0x0400, 0xff23, 0xfe01, 0x3801, 0x3bff, 0x3c00,
1451   0x0000, 0x0400, 0x37ff, 0xff23, 0xfe01, 0x3bff, 0x3c00, 0x3c01,

Indexes created Thu Nov 07 10:32:03 CST 2024