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_UHSUB_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_UHSUB_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_uhsub_8H[] = {
38  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
39  0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0x3fff, 0xffff,
40  0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0x3fff, 0x3fff, 0xffff,
41  0xd594, 0xc041, 0xd99a, 0xeaab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8,
42  0xc040, 0xc040, 0xd99a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1,
43  0xc040, 0xc040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xffc1,
44  0xc03f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xffc0,
45  0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xe666,
46  0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0xd555,
47  0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0xc001,
48  0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001,
49  0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0xc000,
50  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xc000,
51  0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xbfff,
52  0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xaaab,
53  0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0x999a,
54  0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0x8040,
55  0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0x803f,
56  0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0x803f,
57  0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0x803e,
58  0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0x8008,
59  0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0x8001,
60  0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0x8001,
61  0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0x8000,
62  0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0x8000, 0x0000,
63  0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x0000, 0x0000,
64  0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0xffff, 0xffff,
65  0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0xffff, 0xfff8,
66  0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2,
67  0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1,
68  0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xffc1, 0xffc1,
69  0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xffc0, 0xe667,
70  0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xe666, 0xd556,
71  0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0xd555, 0xc002,
72  0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001,
73  0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001, 0xc001,
74  0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0xc000, 0xc000,
75  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xc000, 0xc000,
76  0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xbfff, 0xaaab,
77  0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xaaab, 0x999a,
78  0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0x999a, 0x8040,
79  0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0x8040, 0x8040,
80  0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0x803f, 0x803f,
81  0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0x803f, 0x803f,
82  0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0x803e, 0x8008,
83  0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0x8008, 0x8002,
84  0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0x8001, 0x8001,
85  0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0x8001, 0x8001,
86  0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0x8001, 0x8001, 0x0001,
87  0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0x8000, 0x0000, 0x0000,
88  0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x0000, 0x0000, 0x0000,
89  0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0xffff, 0xffff, 0xfff9,
90  0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2,
91  0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2,
92  0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1, 0xffc1,
93  0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xffc1, 0xffc1, 0xe667,
94  0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xffc0, 0xe667, 0xd556,
95  0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xe666, 0xd556, 0xc002,
96  0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002,
97  0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001, 0xc001,
98  0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001, 0xc001, 0xc001,
99  0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0xc000, 0xc000, 0xc000,
100  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xc000, 0xc000, 0xaaac,
101  0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xbfff, 0xaaab, 0x999b,
102  0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xaaab, 0x999a, 0x8041,
103  0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0x999a, 0x8040, 0x8040,
104  0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0x8040, 0x8040, 0x8040,
105  0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0x803f, 0x803f, 0x803f,
106  0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0x803f, 0x803f, 0x8009,
107  0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0x803e, 0x8008, 0x8002,
108  0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0x8008, 0x8002, 0x8002,
109  0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0x8001, 0x8001, 0x8001,
110  0xaaea, 0xc03d, 0xc03d, 0xc007, 0x8001, 0x8001, 0x8001, 0x0008,
111  0xaae9, 0xc03d, 0xc007, 0xc001, 0x8001, 0x8001, 0x0001, 0x0007,
112  0xaae9, 0xc006, 0xc000, 0xc000, 0x8000, 0x0000, 0x0000, 0x0007,
113  0xaab2, 0xc000, 0xc000, 0xc000, 0x0000, 0x0000, 0x0000, 0x0000,
114  0xaaac, 0xbfff, 0xbfff, 0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9,
115  0xaaab, 0xbfff, 0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9,
116  0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2, 0xffc8,
117  0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1, 0xffc1, 0xe66e,
118  0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xffc1, 0xffc1, 0xe667, 0xd55d,
119  0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xffc0, 0xe667, 0xd556, 0xc009,
120  0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009,
121  0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002, 0xc008,
122  0x2a6b, 0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001, 0xc001, 0xc008,
123  0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001, 0xc001, 0xc001, 0xc007,
124  0x1111, 0x1554, 0x0000, 0x0000, 0xc000, 0xc000, 0xc000, 0xaab3,
125  0x0000, 0x0000, 0x0000, 0x0000, 0xc000, 0xc000, 0xaaac, 0x99a2,
126  0xeaac, 0xffff, 0xffff, 0xffff, 0xbfff, 0xaaab, 0x999b, 0x8048,
127  0xeaab, 0xffff, 0xffff, 0xffff, 0xaaab, 0x999a, 0x8041, 0x8047,
128  0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0x999a, 0x8040, 0x8040, 0x8047,
129  0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0x8040, 0x8040, 0x8040, 0x8046,
130  0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0x803f, 0x803f, 0x803f, 0x8010,
131  0xd555, 0xd998, 0xc03f, 0xc03f, 0x803f, 0x803f, 0x8009, 0x8009,
132  0xc444, 0xc03e, 0xc03e, 0xc03e, 0x803e, 0x8008, 0x8002, 0x8009,
133  0xaaea, 0xc03e, 0xc03e, 0xc03e, 0x8008, 0x8002, 0x8002, 0x8008,
134  0xc03e, 0xc03e, 0xc03e, 0x8008, 0x8002, 0x8002, 0x8008, 0x003e,
135  0xc03d, 0xc03d, 0xc007, 0x8001, 0x8001, 0x8001, 0x0008, 0x003e,
136  0xc03d, 0xc007, 0xc001, 0x8001, 0x8001, 0x0001, 0x0007, 0x003d,
137  0xc006, 0xc000, 0xc000, 0x8000, 0x0000, 0x0000, 0x0007, 0x0036,
138  0xc000, 0xc000, 0xc000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
139  0xbfff, 0xbfff, 0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff,
140  0xbfff, 0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9, 0xffff,
141  0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2, 0xffc8, 0xe6a5,
142  0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1, 0xffc1, 0xe66e, 0xd594,
143  0x3ffd, 0x3ff7, 0x3fc1, 0xffc1, 0xffc1, 0xe667, 0xd55d, 0xc040,
144  0x3ff6, 0x3fc0, 0x3fc0, 0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f,
145  0x3fc0, 0x3fc0, 0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009, 0xc03f,
146  0x3fbf, 0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002, 0xc008, 0xc03e,
147  0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001, 0xc001, 0xc008, 0xc03e,
148  0x2665, 0x1554, 0x0001, 0xc001, 0xc001, 0xc001, 0xc007, 0xaae9,
149  0x1554, 0x0000, 0x0000, 0xc000, 0xc000, 0xc000, 0xaab3, 0x99d8,
150  0x0000, 0x0000, 0x0000, 0xc000, 0xc000, 0xaaac, 0x99a2, 0x807e,
151  0xffff, 0xffff, 0xffff, 0xbfff, 0xaaab, 0x999b, 0x8048, 0x807e,
152  0xffff, 0xffff, 0xffff, 0xaaab, 0x999a, 0x8041, 0x8047, 0x807d,
153  0xfffe, 0xfffe, 0xeaaa, 0x999a, 0x8040, 0x8040, 0x8047, 0x807d,
154  0xfffe, 0xeaaa, 0xd999, 0x8040, 0x8040, 0x8040, 0x8046, 0x8046,
155  0xeaa9, 0xd999, 0xc03f, 0x803f, 0x803f, 0x803f, 0x8010, 0x8040,
156  0xd998, 0xc03f, 0xc03f, 0x803f, 0x803f, 0x8009, 0x8009, 0x803f,
157  0xc03e, 0xc03e, 0xc03e, 0x803e, 0x8008, 0x8002, 0x8009, 0x803f,
158  0xc03e, 0xc03e, 0x803e, 0x8008, 0x8002, 0x8009, 0x803f, 0x003f,
159  0xc03e, 0xc03e, 0x8008, 0x8002, 0x8002, 0x8008, 0x003e, 0x003e,
160  0xc03d, 0xc007, 0x8001, 0x8001, 0x8001, 0x0008, 0x003e, 0x003e,
161  0xc007, 0xc001, 0x8001, 0x8001, 0x0001, 0x0007, 0x003d, 0x0037,
162  0xc000, 0xc000, 0x8000, 0x0000, 0x0000, 0x0007, 0x0036, 0x0000,
163  0xc000, 0xc000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
164  0xbfff, 0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff, 0xffff,
165  0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9, 0xffff, 0xe6a5,
166  0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2, 0xffc8, 0xe6a5, 0xd594,
167  0x3ffe, 0x3ff7, 0xffc1, 0xffc1, 0xffc1, 0xe66e, 0xd594, 0xc040,
168  0x3ff7, 0x3fc1, 0xffc1, 0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040,
169  0x3fc0, 0x3fc0, 0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f,
170  0x3fc0, 0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009, 0xc03f, 0xc03f,
171  0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002, 0xc008, 0xc03e, 0xc03e,
172  0x2665, 0x1555, 0xc001, 0xc001, 0xc001, 0xc008, 0xc03e, 0xaaea,
173  0x1554, 0x0001, 0xc001, 0xc001, 0xc001, 0xc007, 0xaae9, 0x99d9,
174  0x0000, 0x0000, 0xc000, 0xc000, 0xc000, 0xaab3, 0x99d8, 0x807f,
175  0x0000, 0x0000, 0xc000, 0xc000, 0xaaac, 0x99a2, 0x807e, 0x807e,
176  0xffff, 0xffff, 0xbfff, 0xaaab, 0x999b, 0x8048, 0x807e, 0x807e,
177  0xffff, 0xffff, 0xaaab, 0x999a, 0x8041, 0x8047, 0x807d, 0x807d,
178  0xfffe, 0xeaaa, 0x999a, 0x8040, 0x8040, 0x8047, 0x807d, 0x8047,
179  0xeaaa, 0xd999, 0x8040, 0x8040, 0x8040, 0x8046, 0x8046, 0x8040,
180  0xd999, 0xc03f, 0x803f, 0x803f, 0x803f, 0x8010, 0x8040, 0x8040,
181  0xc03f, 0xc03f, 0x803f, 0x803f, 0x8009, 0x8009, 0x803f, 0x803f,
182  0xc03f, 0x803f, 0x803f, 0x8009, 0x8009, 0x803f, 0x803f, 0x003f,
183  0xc03e, 0x803e, 0x8008, 0x8002, 0x8009, 0x803f, 0x003f, 0x003f,
184  0xc03e, 0x8008, 0x8002, 0x8002, 0x8008, 0x003e, 0x003e, 0x003e,
185  0xc007, 0x8001, 0x8001, 0x8001, 0x0008, 0x003e, 0x003e, 0x0037,
186  0xc001, 0x8001, 0x8001, 0x0001, 0x0007, 0x003d, 0x0037, 0x0001,
187  0xc000, 0x8000, 0x0000, 0x0000, 0x0007, 0x0036, 0x0000, 0x0000,
188  0xc000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
189  0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff, 0xffff, 0xe6a6,
190  0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9, 0xffff, 0xe6a5, 0xd595,
191  0x3ffe, 0xfff8, 0xffc2, 0xffc2, 0xffc8, 0xe6a5, 0xd594, 0xc041,
192  0x3ff7, 0xffc1, 0xffc1, 0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040,
193  0x3fc1, 0xffc1, 0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040, 0xc040,
194  0x3fc0, 0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f, 0xc03f,
195  0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009, 0xc03f, 0xc03f, 0xc03f,
196  0x2666, 0xd555, 0xc002, 0xc002, 0xc008, 0xc03e, 0xc03e, 0xaaea,
197  0x1555, 0xc001, 0xc001, 0xc001, 0xc008, 0xc03e, 0xaaea, 0x99d9,
198  0x0001, 0xc001, 0xc001, 0xc001, 0xc007, 0xaae9, 0x99d9, 0x807f,
199  0x0000, 0xc000, 0xc000, 0xc000, 0xaab3, 0x99d8, 0x807f, 0x807f,
200  0x0000, 0xc000, 0xc000, 0xaaac, 0x99a2, 0x807e, 0x807e, 0x807e,
201  0xffff, 0xbfff, 0xaaab, 0x999b, 0x8048, 0x807e, 0x807e, 0x807e,
202  0xffff, 0xaaab, 0x999a, 0x8041, 0x8047, 0x807d, 0x807d, 0x8047,
203  0xeaaa, 0x999a, 0x8040, 0x8040, 0x8047, 0x807d, 0x8047, 0x8041,
204  0xd999, 0x8040, 0x8040, 0x8040, 0x8046, 0x8046, 0x8040, 0x8040,
205  0xc03f, 0x803f, 0x803f, 0x803f, 0x8010, 0x8040, 0x8040, 0x8040,
206  0x803f, 0x803f, 0x803f, 0x8010, 0x8040, 0x8040, 0x8040, 0x1999,
207  0x803f, 0x803f, 0x8009, 0x8009, 0x803f, 0x803f, 0x003f, 0x1999,
208  0x803e, 0x8008, 0x8002, 0x8009, 0x803f, 0x003f, 0x003f, 0x1998,
209  0x8008, 0x8002, 0x8002, 0x8008, 0x003e, 0x003e, 0x003e, 0x1991,
210  0x8001, 0x8001, 0x8001, 0x0008, 0x003e, 0x003e, 0x0037, 0x195b,
211  0x8001, 0x8001, 0x0001, 0x0007, 0x003d, 0x0037, 0x0001, 0x195a,
212  0x8000, 0x0000, 0x0000, 0x0007, 0x0036, 0x0000, 0x0000, 0x195a,
213  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
214  0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff, 0xffff, 0xe6a6, 0xeeef,
215  0xffff, 0xfff8, 0xffc2, 0xffc9, 0xffff, 0xe6a5, 0xd595, 0xd99b,
216  0xfff8, 0xffc2, 0xffc2, 0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a,
217  0xffc1, 0xffc1, 0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a,
218  0xffc1, 0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040, 0xc040, 0xd999,
219  0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xd999,
220  0xe666, 0xd556, 0xc002, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xc444,
221  0xd555, 0xc002, 0xc002, 0xc008, 0xc03e, 0xc03e, 0xaaea, 0xb333,
222  0xc001, 0xc001, 0xc001, 0xc008, 0xc03e, 0xaaea, 0x99d9, 0x99d9,
223  0xc001, 0xc001, 0xc001, 0xc007, 0xaae9, 0x99d9, 0x807f, 0x99d9,
224  0xc000, 0xc000, 0xc000, 0xaab3, 0x99d8, 0x807f, 0x807f, 0x99d8,
225  0xc000, 0xc000, 0xaaac, 0x99a2, 0x807e, 0x807e, 0x807e, 0x99d8,
226  0xbfff, 0xaaab, 0x999b, 0x8048, 0x807e, 0x807e, 0x807e, 0x99a1,
227  0xaaab, 0x999a, 0x8041, 0x8047, 0x807d, 0x807d, 0x8047, 0x999b,
228  0x999a, 0x8040, 0x8040, 0x8047, 0x807d, 0x8047, 0x8041, 0x999a,
229  0x8040, 0x8040, 0x8040, 0x8046, 0x8046, 0x8040, 0x8040, 0x999a,
230  0x8040, 0x8040, 0x8046, 0x8046, 0x8040, 0x8040, 0x999a, 0x2aaa,
231  0x803f, 0x803f, 0x8010, 0x8040, 0x8040, 0x8040, 0x1999, 0x2aaa,
232  0x803f, 0x8009, 0x8009, 0x803f, 0x803f, 0x003f, 0x1999, 0x2aa9,
233  0x8008, 0x8002, 0x8009, 0x803f, 0x003f, 0x003f, 0x1998, 0x2aa2,
234  0x8002, 0x8002, 0x8008, 0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c,
235  0x8001, 0x8001, 0x0008, 0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b,
236  0x8001, 0x0001, 0x0007, 0x003d, 0x0037, 0x0001, 0x195a, 0x2a6b,
237  0x0000, 0x0000, 0x0007, 0x0036, 0x0000, 0x0000, 0x195a, 0x1111,
238  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
239  0xffff, 0xfff9, 0xffc9, 0xffff, 0xffff, 0xe6a6, 0xeeef, 0xeaac,
240  0xfff8, 0xffc2, 0xffc9, 0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab,
241  0xffc2, 0xffc2, 0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab,
242  0xffc1, 0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a, 0xeaaa,
243  0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040, 0xc040, 0xd999, 0xeaaa,
244  0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xd999, 0xd555,
245  0xd556, 0xc002, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xc444, 0xc444,
246  0xc002, 0xc002, 0xc008, 0xc03e, 0xc03e, 0xaaea, 0xb333, 0xaaea,
247  0xc001, 0xc001, 0xc008, 0xc03e, 0xaaea, 0x99d9, 0x99d9, 0xaaea,
248  0xc001, 0xc001, 0xc007, 0xaae9, 0x99d9, 0x807f, 0x99d9, 0xaae9,
249  0xc000, 0xc000, 0xaab3, 0x99d8, 0x807f, 0x807f, 0x99d8, 0xaae9,
250  0xc000, 0xaaac, 0x99a2, 0x807e, 0x807e, 0x807e, 0x99d8, 0xaab2,
251  0xaaab, 0x999b, 0x8048, 0x807e, 0x807e, 0x807e, 0x99a1, 0xaaac,
252  0x999a, 0x8041, 0x8047, 0x807d, 0x807d, 0x8047, 0x999b, 0xaaab,
253  0x8040, 0x8040, 0x8047, 0x807d, 0x8047, 0x8041, 0x999a, 0xaaab,
254  0x8040, 0x8047, 0x807d, 0x8047, 0x8041, 0x999a, 0xaaab, 0x3ffe,
255  0x8040, 0x8046, 0x8046, 0x8040, 0x8040, 0x999a, 0x2aaa, 0x3ffe,
256  0x803f, 0x8010, 0x8040, 0x8040, 0x8040, 0x1999, 0x2aaa, 0x3ffd,
257  0x8009, 0x8009, 0x803f, 0x803f, 0x003f, 0x1999, 0x2aa9, 0x3ff6,
258  0x8002, 0x8009, 0x803f, 0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0,
259  0x8002, 0x8008, 0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf,
260  0x8001, 0x0008, 0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf,
261  0x0001, 0x0007, 0x003d, 0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665,
262  0x0000, 0x0007, 0x0036, 0x0000, 0x0000, 0x195a, 0x1111, 0x1554,
263  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
264  0xfff9, 0xffc9, 0xffff, 0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff,
265  0xffc2, 0xffc9, 0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff,
266  0xffc2, 0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe,
267  0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe,
268  0xe667, 0xd55d, 0xc040, 0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9,
269  0xd556, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998,
270  0xc002, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e,
271  0xc002, 0xc008, 0xc03e, 0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e,
272  0xc001, 0xc008, 0xc03e, 0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d,
273  0xc001, 0xc007, 0xaae9, 0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d,
274  0xc000, 0xaab3, 0x99d8, 0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006,
275  0xaaac, 0x99a2, 0x807e, 0x807e, 0x807e, 0x99d8, 0xaab2, 0xc000,
276  0x999b, 0x8048, 0x807e, 0x807e, 0x807e, 0x99a1, 0xaaac, 0xbfff,
277  0x8041, 0x8047, 0x807d, 0x807d, 0x8047, 0x999b, 0xaaab, 0xbfff,
278  0x8047, 0x807d, 0x807d, 0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff,
279  0x8047, 0x807d, 0x8047, 0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe,
280  0x8046, 0x8046, 0x8040, 0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe,
281  0x8010, 0x8040, 0x8040, 0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7,
282  0x8009, 0x803f, 0x803f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0,
283  0x8009, 0x803f, 0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0,
284  0x8008, 0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf,
285  0x0008, 0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665,
286  0x0007, 0x003d, 0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554,
287  0x0007, 0x0036, 0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000,
288  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
289  0xffc9, 0xffff, 0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff,
290  0xffc9, 0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff,
291  0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe,
292  0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa,
293  0xd55d, 0xc040, 0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999,
294  0xc009, 0xc03f, 0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f,
295  0xc009, 0xc03f, 0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e,
296  0xc008, 0xc03e, 0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e,
297  0xc008, 0xc03e, 0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d,
298  0xc007, 0xaae9, 0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007,
299  0xaab3, 0x99d8, 0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000,
300  0x99a2, 0x807e, 0x807e, 0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000,
301  0x8048, 0x807e, 0x807e, 0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff,
302  0x807e, 0x807e, 0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff,
303  0x807d, 0x807d, 0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff,
304  0x807d, 0x8047, 0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe,
305  0x8046, 0x8040, 0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7,
306  0x8040, 0x8040, 0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1,
307  0x803f, 0x803f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0,
308  0x803f, 0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0,
309  0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666,
310  0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555,
311  0x003d, 0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001,
312  0x0036, 0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000,
313  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
314  0xffff, 0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff,
315  0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff,
316  0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa,
317  0xd594, 0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999,
318  0xc040, 0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f,
319  0xc03f, 0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f,
320  0xc03f, 0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e,
321  0xc03e, 0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e,
322  0xc03e, 0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007,
323  0xaae9, 0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001,
324  0x99d8, 0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000,
325  0x807e, 0x807e, 0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000,
326  0x807e, 0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x4000,
327  0x807e, 0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0x3fff,
328  0x807d, 0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0x3fff,
329  0x8047, 0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8,
330  0x8040, 0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1,
331  0x8040, 0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1,
332  0x803f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0,
333  0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0x2666,
334  0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x1555,
335  0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x0001,
336  0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x0001,
337  0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x0000,
338  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
339  0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xffff,
340  0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xeaab,
341  0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0xd99a,
342  0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0xc040,
343  0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0xc03f,
344  0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0xc03f,
345  0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0xc03e,
346  0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0xc008,
347  0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0xc001,
348  0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0xc001,
349  0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0xc000,
350  0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0xc000, 0x4000,
351  0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x4000, 0x4000,
352  0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0x3fff, 0x3fff,
353  0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x3ff8,
354  0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2,
355  0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1,
356  0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1,
357  0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0, 0x2667,
358  0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0x2666, 0x1556,
359  0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x1555, 0x0002,
360  0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x0001, 0x0001,
361  0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x0001, 0x0001,
362  0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x0000, 0x0000,
363  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
364  0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xffff, 0xeaab,
365  0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xeaab, 0xd99a,
366  0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0xd99a, 0xc040,
367  0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0xc040, 0xc040,
368  0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0xc03f, 0xc03f,
369  0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0xc03f, 0xc03f,
370  0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0xc03e, 0xc008,
371  0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xc002,
372  0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0xc001, 0xc001,
373  0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0xc001, 0xc001,
374  0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0xc001, 0xc001, 0x5555,
375  0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0xc000, 0x4000, 0x5554,
376  0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x4000, 0x4000, 0x5554,
377  0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x554d,
378  0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x3ff8, 0x5516,
379  0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2, 0x5516,
380  0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1, 0x5515,
381  0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb,
382  0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0, 0x2667, 0x2aaa,
383  0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0x2666, 0x1556, 0x1556,
384  0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x1555, 0x0002, 0x1556,
385  0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x0001, 0x0001, 0x1555,
386  0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x0001, 0x0001, 0x1555,
387  0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x0000, 0x0000, 0x1554,
388  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
389  0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xffff, 0xeaab, 0xeeef,
390  0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xeaab, 0xd99a, 0xd595,
391  0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0xd99a, 0xc040, 0xd594,
392  0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0xc040, 0xc040, 0xd594,
393  0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0xc03f, 0xc03f, 0xd593,
394  0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0xc03f, 0xc03f, 0xd55d,
395  0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xd556,
396  0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xc002, 0xd556,
397  0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0xc001, 0xc001, 0xd555,
398  0xaaea, 0xc03d, 0xc03d, 0xc007, 0xc001, 0xc001, 0xd555, 0x6666,
399  0xaae9, 0xc03d, 0xc007, 0xc001, 0xc001, 0xc001, 0x5555, 0x6665,
400  0xaae9, 0xc006, 0xc000, 0xc000, 0xc000, 0x4000, 0x5554, 0x6665,
401  0xaab2, 0xc000, 0xc000, 0xc000, 0x4000, 0x4000, 0x5554, 0x665e,
402  0xaaac, 0xbfff, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x554d, 0x6627,
403  0xaaab, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x3ff8, 0x5516, 0x6627,
404  0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2, 0x5516, 0x6626,
405  0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1, 0x5515, 0x4ccc,
406  0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb,
407  0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0, 0x2667, 0x2aaa, 0x2667,
408  0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0x2666, 0x1556, 0x1556, 0x2667,
409  0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x1555, 0x0002, 0x1556, 0x2666,
410  0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x0001, 0x0001, 0x1555, 0x2666,
411  0x2a6b, 0x2665, 0x1554, 0x0001, 0x0001, 0x0001, 0x1555, 0x2665,
412  0x1111, 0x1554, 0x0000, 0x0000, 0x0000, 0x0000, 0x1554, 0x1111,
413  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
414  0xeaac, 0xffff, 0xffff, 0xffff, 0xffff, 0xeaab, 0xeeef, 0xe6a6,
415  0xeaab, 0xffff, 0xffff, 0xffff, 0xeaab, 0xd99a, 0xd595, 0xe6a5,
416  0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0xd99a, 0xc040, 0xd594, 0xe6a5,
417  0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0xc040, 0xc040, 0xd594, 0xe6a4,
418  0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0xc03f, 0xc03f, 0xd593, 0xe66e,
419  0xd555, 0xd998, 0xc03f, 0xc03f, 0xc03f, 0xc03f, 0xd55d, 0xe667,
420  0xc444, 0xc03e, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xd556, 0xe667,
421  0xaaea, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xc002, 0xd556, 0xe666,
422  0xc03e, 0xc03e, 0xc03e, 0xc008, 0xc002, 0xd556, 0xe666, 0x7fc0,
423  0xc03d, 0xc03d, 0xc007, 0xc001, 0xc001, 0xd555, 0x6666, 0x7fbf,
424  0xc03d, 0xc007, 0xc001, 0xc001, 0xc001, 0x5555, 0x6665, 0x7fbf,
425  0xc006, 0xc000, 0xc000, 0xc000, 0x4000, 0x5554, 0x6665, 0x7fb8,
426  0xc000, 0xc000, 0xc000, 0x4000, 0x4000, 0x5554, 0x665e, 0x7f81,
427  0xbfff, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x554d, 0x6627, 0x7f81,
428  0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x3ff8, 0x5516, 0x6627, 0x7f80,
429  0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2, 0x5516, 0x6626, 0x6626,
430  0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1, 0x5515, 0x4ccc, 0x5515,
431  0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1,
432  0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0, 0x2667, 0x2aaa, 0x2667, 0x3fc1,
433  0x3fc0, 0x3fc0, 0x3fc0, 0x2666, 0x1556, 0x1556, 0x2667, 0x3fc0,
434  0x3fbf, 0x3fbf, 0x2666, 0x1555, 0x0002, 0x1556, 0x2666, 0x3fc0,
435  0x3fbf, 0x2665, 0x1555, 0x0001, 0x0001, 0x1555, 0x2666, 0x3fbf,
436  0x2665, 0x1554, 0x0001, 0x0001, 0x0001, 0x1555, 0x2665, 0x2a6b,
437  0x1554, 0x0000, 0x0000, 0x0000, 0x0000, 0x1554, 0x1111, 0x195a,
438  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
439  0xffff, 0xffff, 0xffff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff,
440  0xffff, 0xffff, 0xffff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff,
441  0xfffe, 0xfffe, 0xeaaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe,
442  0xfffe, 0xeaaa, 0xd999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8,
443  0xeaa9, 0xd999, 0xc03f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1,
444  0xd998, 0xc03f, 0xc03f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1,
445  0xc03e, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0,
446  0xc03e, 0xc03e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0x7fc0,
447  0xc03e, 0xc03e, 0xc008, 0xc002, 0xd556, 0xe666, 0x7fc0, 0x7fc0,
448  0xc03d, 0xc007, 0xc001, 0xc001, 0xd555, 0x6666, 0x7fbf, 0x7fbf,
449  0xc007, 0xc001, 0xc001, 0xc001, 0x5555, 0x6665, 0x7fbf, 0x7fb8,
450  0xc000, 0xc000, 0xc000, 0x4000, 0x5554, 0x6665, 0x7fb8, 0x7f82,
451  0xc000, 0xc000, 0x4000, 0x4000, 0x5554, 0x665e, 0x7f81, 0x7f81,
452  0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x554d, 0x6627, 0x7f81, 0x7f81,
453  0x3fff, 0x3fff, 0x3fff, 0x3ff8, 0x5516, 0x6627, 0x7f80, 0x6627,
454  0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2, 0x5516, 0x6626, 0x6626, 0x5516,
455  0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1, 0x5515, 0x4ccc, 0x5515, 0x3fc2,
456  0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1,
457  0x3fc0, 0x3fc0, 0x3fc0, 0x2667, 0x2aaa, 0x2667, 0x3fc1, 0x3fc1,
458  0x3fc0, 0x3fc0, 0x2666, 0x1556, 0x1556, 0x2667, 0x3fc0, 0x3fc0,
459  0x3fbf, 0x2666, 0x1555, 0x0002, 0x1556, 0x2666, 0x3fc0, 0x3fc0,
460  0x2665, 0x1555, 0x0001, 0x0001, 0x1555, 0x2666, 0x3fbf, 0x2a6b,
461  0x1554, 0x0001, 0x0001, 0x0001, 0x1555, 0x2665, 0x2a6b, 0x195a,
462  0x0000, 0x0000, 0x0000, 0x0000, 0x1554, 0x1111, 0x195a, 0x0000,
463  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
464  0xffff, 0xffff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff,
465  0xffff, 0xffff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff,
466  0xfffe, 0xeaaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8,
467  0xeaaa, 0xd999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2,
468  0xd999, 0xc03f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1,
469  0xc03f, 0xc03f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1,
470  0xc03f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0x7fc1,
471  0xc03e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0x7fc0, 0x7fc0,
472  0xc03e, 0xc008, 0xc002, 0xd556, 0xe666, 0x7fc0, 0x7fc0, 0x7fc0,
473  0xc007, 0xc001, 0xc001, 0xd555, 0x6666, 0x7fbf, 0x7fbf, 0x7fb9,
474  0xc001, 0xc001, 0xc001, 0x5555, 0x6665, 0x7fbf, 0x7fb8, 0x7f82,
475  0xc000, 0xc000, 0x4000, 0x5554, 0x6665, 0x7fb8, 0x7f82, 0x7f82,
476  0xc000, 0x4000, 0x4000, 0x5554, 0x665e, 0x7f81, 0x7f81, 0x7f81,
477  0x3fff, 0x3fff, 0x3fff, 0x554d, 0x6627, 0x7f81, 0x7f81, 0x6627,
478  0x3fff, 0x3fff, 0x3ff8, 0x5516, 0x6627, 0x7f80, 0x6627, 0x5516,
479  0x3ffe, 0x3ff8, 0x3fc2, 0x5516, 0x6626, 0x6626, 0x5516, 0x3fc2,
480  0x3ff7, 0x3fc1, 0x3fc1, 0x5515, 0x4ccc, 0x5515, 0x3fc2, 0x3fc2,
481  0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1,
482  0x3fc0, 0x3fc0, 0x2667, 0x2aaa, 0x2667, 0x3fc1, 0x3fc1, 0x3fc1,
483  0x3fc0, 0x2666, 0x1556, 0x1556, 0x2667, 0x3fc0, 0x3fc0, 0x3fc0,
484  0x2666, 0x1555, 0x0002, 0x1556, 0x2666, 0x3fc0, 0x3fc0, 0x2a6c,
485  0x1555, 0x0001, 0x0001, 0x1555, 0x2666, 0x3fbf, 0x2a6b, 0x195b,
486  0x0001, 0x0001, 0x0001, 0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001,
487  0x0000, 0x0000, 0x0000, 0x1554, 0x1111, 0x195a, 0x0000, 0x0000,
488  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
489  0xffff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff,
490  0xffff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9,
491  0xeaaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2,
492  0xd999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2,
493  0xc03f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1,
494  0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0x7fc1,
495  0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0x7fc1, 0x7fc1,
496  0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0x7fc0, 0x7fc0, 0x7fc0,
497  0xc008, 0xc002, 0xd556, 0xe666, 0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9,
498  0xc001, 0xc001, 0xd555, 0x6666, 0x7fbf, 0x7fbf, 0x7fb9, 0x7f83,
499  0xc001, 0xc001, 0x5555, 0x6665, 0x7fbf, 0x7fb8, 0x7f82, 0x7f82,
500  0xc000, 0x4000, 0x5554, 0x6665, 0x7fb8, 0x7f82, 0x7f82, 0x7f82,
501  0x4000, 0x4000, 0x5554, 0x665e, 0x7f81, 0x7f81, 0x7f81, 0x6628,
502  0x3fff, 0x3fff, 0x554d, 0x6627, 0x7f81, 0x7f81, 0x6627, 0x5517,
503  0x3fff, 0x3ff8, 0x5516, 0x6627, 0x7f80, 0x6627, 0x5516, 0x3fc3,
504  0x3ff8, 0x3fc2, 0x5516, 0x6626, 0x6626, 0x5516, 0x3fc2, 0x3fc2,
505  0x3fc1, 0x3fc1, 0x5515, 0x4ccc, 0x5515, 0x3fc2, 0x3fc2, 0x3fc2,
506  0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1,
507  0x3fc0, 0x2667, 0x2aaa, 0x2667, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1,
508  0x2666, 0x1556, 0x1556, 0x2667, 0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c,
509  0x1555, 0x0002, 0x1556, 0x2666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b,
510  0x0001, 0x0001, 0x1555, 0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001,
511  0x0001, 0x0001, 0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001,
512  0x0000, 0x0000, 0x1554, 0x1111, 0x195a, 0x0000, 0x0000, 0x0000,
513  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
514  0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff, 0xffc9,
515  0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9, 0xffc3,
516  0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2,
517  0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2,
518  0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2, 0x7ff8,
519  0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0x7fc1, 0x7ff7,
520  0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0x7fc1, 0x7fc1, 0x7ff7,
521  0xc008, 0xd556, 0xe667, 0xffc0, 0x7fc0, 0x7fc0, 0x7fc0, 0x7ff0,
522  0xc002, 0xd556, 0xe666, 0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9, 0x7fb9,
523  0xc001, 0xd555, 0x6666, 0x7fbf, 0x7fbf, 0x7fb9, 0x7f83, 0x7fb9,
524  0xc001, 0x5555, 0x6665, 0x7fbf, 0x7fb8, 0x7f82, 0x7f82, 0x7fb8,
525  0x4000, 0x5554, 0x6665, 0x7fb8, 0x7f82, 0x7f82, 0x7f82, 0x665e,
526  0x4000, 0x5554, 0x665e, 0x7f81, 0x7f81, 0x7f81, 0x6628, 0x554d,
527  0x3fff, 0x554d, 0x6627, 0x7f81, 0x7f81, 0x6627, 0x5517, 0x3ff9,
528  0x3ff8, 0x5516, 0x6627, 0x7f80, 0x6627, 0x5516, 0x3fc3, 0x3ff9,
529  0x3fc2, 0x5516, 0x6626, 0x6626, 0x5516, 0x3fc2, 0x3fc2, 0x3ff8,
530  0x3fc1, 0x5515, 0x4ccc, 0x5515, 0x3fc2, 0x3fc2, 0x3fc2, 0x3ff8,
531  0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x3ff7,
532  0x2667, 0x2aaa, 0x2667, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x2aa3,
533  0x1556, 0x1556, 0x2667, 0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992,
534  0x0002, 0x1556, 0x2666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038,
535  0x0001, 0x1555, 0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037,
536  0x0001, 0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001, 0x0037,
537  0x0000, 0x1554, 0x1111, 0x195a, 0x0000, 0x0000, 0x0000, 0x0036,
538  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
539  0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff, 0xffc9, 0xfff9,
540  0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9,
541  0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8,
542  0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8, 0x7ffe,
543  0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2, 0x7ff8, 0x7ffe,
544  0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0x7fc1, 0x7ff7, 0x7ffd,
545  0xd55d, 0xe667, 0xffc1, 0xffc1, 0x7fc1, 0x7fc1, 0x7ff7, 0x7ff6,
546  0xd556, 0xe667, 0xffc0, 0x7fc0, 0x7fc0, 0x7fc0, 0x7ff0, 0x7fc0,
547  0xd556, 0xe666, 0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9, 0x7fb9, 0x7fbf,
548  0xd555, 0x6666, 0x7fbf, 0x7fbf, 0x7fb9, 0x7f83, 0x7fb9, 0x7fbf,
549  0x5555, 0x6665, 0x7fbf, 0x7fb8, 0x7f82, 0x7f82, 0x7fb8, 0x6665,
550  0x5554, 0x6665, 0x7fb8, 0x7f82, 0x7f82, 0x7f82, 0x665e, 0x5554,
551  0x5554, 0x665e, 0x7f81, 0x7f81, 0x7f81, 0x6628, 0x554d, 0x4000,
552  0x554d, 0x6627, 0x7f81, 0x7f81, 0x6627, 0x5517, 0x3ff9, 0x3fff,
553  0x5516, 0x6627, 0x7f80, 0x6627, 0x5516, 0x3fc3, 0x3ff9, 0x3fff,
554  0x5516, 0x6626, 0x6626, 0x5516, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe,
555  0x5515, 0x4ccc, 0x5515, 0x3fc2, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe,
556  0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x3ff7, 0x2aa9,
557  0x2aaa, 0x2667, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998,
558  0x1556, 0x2667, 0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992, 0x003e,
559  0x1556, 0x2666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038, 0x003e,
560  0x1555, 0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037, 0x003d,
561  0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001, 0x0037, 0x003d,
562  0x1554, 0x1111, 0x195a, 0x0000, 0x0000, 0x0000, 0x0036, 0x0006,
563  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
564  0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff, 0xffc9, 0xfff9, 0xffff,
565  0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9, 0xffff,
566  0xe6a5, 0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9, 0xffff, 0x7fff,
567  0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8, 0x7ffe, 0x7ffe,
568  0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2, 0x7ff8, 0x7ffe, 0x7ffe,
569  0xe66e, 0xffc1, 0xffc1, 0xffc1, 0x7fc1, 0x7ff7, 0x7ffd, 0x7ff7,
570  0xe667, 0xffc1, 0xffc1, 0x7fc1, 0x7fc1, 0x7ff7, 0x7ff6, 0x7fc0,
571  0xe667, 0xffc0, 0x7fc0, 0x7fc0, 0x7fc0, 0x7ff0, 0x7fc0, 0x7fc0,
572  0xe666, 0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9, 0x7fb9, 0x7fbf, 0x7fbf,
573  0x6666, 0x7fbf, 0x7fbf, 0x7fb9, 0x7f83, 0x7fb9, 0x7fbf, 0x6665,
574  0x6665, 0x7fbf, 0x7fb8, 0x7f82, 0x7f82, 0x7fb8, 0x6665, 0x5554,
575  0x6665, 0x7fb8, 0x7f82, 0x7f82, 0x7f82, 0x665e, 0x5554, 0x4000,
576  0x665e, 0x7f81, 0x7f81, 0x7f81, 0x6628, 0x554d, 0x4000, 0x4000,
577  0x6627, 0x7f81, 0x7f81, 0x6627, 0x5517, 0x3ff9, 0x3fff, 0x3fff,
578  0x6627, 0x7f80, 0x6627, 0x5516, 0x3fc3, 0x3ff9, 0x3fff, 0x3fff,
579  0x6626, 0x6626, 0x5516, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe, 0x3ffe,
580  0x4ccc, 0x5515, 0x3fc2, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe, 0x2aaa,
581  0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x3ff7, 0x2aa9, 0x1999,
582  0x2667, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998, 0x003f,
583  0x2667, 0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992, 0x003e, 0x003e,
584  0x2666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038, 0x003e, 0x003e,
585  0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037, 0x003d, 0x003d,
586  0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001, 0x0037, 0x003d, 0x0007,
587  0x1111, 0x195a, 0x0000, 0x0000, 0x0000, 0x0036, 0x0006, 0x0000,
588  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
589  0xe6a6, 0xffff, 0xffff, 0xffff, 0xffc9, 0xfff9, 0xffff, 0xffff,
590  0xffff, 0xffff, 0xffff, 0xffc9, 0xfff9, 0xffff, 0xffff, 0x7fff,
591  0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9, 0xffff, 0x7fff, 0x7fff,
592  0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8, 0x7ffe, 0x7ffe, 0x7ffe,
593  0xffc8, 0xffc2, 0xffc2, 0xffc2, 0x7ff8, 0x7ffe, 0x7ffe, 0x7ff7,
594  0xffc1, 0xffc1, 0xffc1, 0x7fc1, 0x7ff7, 0x7ffd, 0x7ff7, 0x7fc1,
595  0xffc1, 0xffc1, 0x7fc1, 0x7fc1, 0x7ff7, 0x7ff6, 0x7fc0, 0x7fc0,
596  0xffc0, 0x7fc0, 0x7fc0, 0x7fc0, 0x7ff0, 0x7fc0, 0x7fc0, 0x7fc0,
597  0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9, 0x7fb9, 0x7fbf, 0x7fbf, 0x6666,
598  0x7fbf, 0x7fbf, 0x7fb9, 0x7f83, 0x7fb9, 0x7fbf, 0x6665, 0x5555,
599  0x7fbf, 0x7fb8, 0x7f82, 0x7f82, 0x7fb8, 0x6665, 0x5554, 0x4001,
600  0x7fb8, 0x7f82, 0x7f82, 0x7f82, 0x665e, 0x5554, 0x4000, 0x4000,
601  0x7f81, 0x7f81, 0x7f81, 0x6628, 0x554d, 0x4000, 0x4000, 0x4000,
602  0x7f81, 0x7f81, 0x6627, 0x5517, 0x3ff9, 0x3fff, 0x3fff, 0x3fff,
603  0x7f80, 0x6627, 0x5516, 0x3fc3, 0x3ff9, 0x3fff, 0x3fff, 0x3fff,
604  0x6626, 0x5516, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe, 0x3ffe, 0x2aaa,
605  0x5515, 0x3fc2, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe, 0x2aaa, 0x1999,
606  0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x3ff7, 0x2aa9, 0x1999, 0x003f,
607  0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998, 0x003f, 0x003f,
608  0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992, 0x003e, 0x003e, 0x003e,
609  0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038, 0x003e, 0x003e, 0x003e,
610  0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037, 0x003d, 0x003d, 0x0007,
611  0x2a6b, 0x195a, 0x0001, 0x0001, 0x0037, 0x003d, 0x0007, 0x0001,
612  0x195a, 0x0000, 0x0000, 0x0000, 0x0036, 0x0006, 0x0000, 0x0000,
613  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
614};
615const unsigned kExpectedCount_NEON_uhsub_8H = 576;
616
617#endif  // VIXL_SIM_UHSUB_8H_TRACE_AARCH64_H_
618