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_SHSUB_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_SHSUB_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_shsub_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, 0x4000,
51  0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0x7fff, 0x3fff,
52  0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0x7fff, 0x7fff, 0x2aab,
53  0xd594, 0xc041, 0xd99a, 0xeaab, 0x7ffe, 0x7ffe, 0x6aaa, 0x199a,
54  0xc040, 0xc040, 0xd99a, 0x6aaa, 0x7ffe, 0x6aaa, 0x5999, 0x0040,
55  0xc040, 0xc040, 0x5999, 0x6aaa, 0x6aa9, 0x5999, 0x403f, 0x003f,
56  0xc03f, 0x403f, 0x5999, 0x5555, 0x5998, 0x403f, 0x403f, 0x003f,
57  0x403f, 0x403f, 0x4444, 0x4444, 0x403e, 0x403e, 0x403e, 0x003e,
58  0x403e, 0x2aea, 0x3333, 0x2aea, 0x403e, 0x403e, 0x403e, 0x0008,
59  0x2aea, 0x19d9, 0x19d9, 0x2aea, 0x403d, 0x403d, 0x4007, 0x0001,
60  0x19d9, 0x007f, 0x19d9, 0x2ae9, 0x403d, 0x4007, 0x4001, 0x0001,
61  0x007f, 0x007f, 0x19d8, 0x2ae9, 0x4006, 0x4000, 0x4000, 0x0000,
62  0x007f, 0x19d8, 0x2ae9, 0x4006, 0x4000, 0x4000, 0x0000, 0x0000,
63  0x007e, 0x19d8, 0x2ab2, 0x4000, 0x4000, 0x4000, 0x0000, 0x0000,
64  0x007e, 0x19a1, 0x2aac, 0x3fff, 0x3fff, 0x3fff, 0xffff, 0xffff,
65  0x0047, 0x199b, 0x2aab, 0x3fff, 0x3fff, 0x3fff, 0xffff, 0xfff8,
66  0x0041, 0x199a, 0x2aab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2,
67  0x0040, 0x199a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1,
68  0x0040, 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, 0x4000,
75  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x4000, 0x4000,
76  0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0x7fff, 0x3fff, 0x2aab,
77  0xd595, 0xd99b, 0xeaab, 0xffff, 0x7fff, 0x7fff, 0x2aab, 0x199a,
78  0xc041, 0xd99a, 0xeaab, 0x7ffe, 0x7ffe, 0x6aaa, 0x199a, 0x0040,
79  0xc040, 0xd99a, 0x6aaa, 0x7ffe, 0x6aaa, 0x5999, 0x0040, 0x0040,
80  0xc040, 0x5999, 0x6aaa, 0x6aa9, 0x5999, 0x403f, 0x003f, 0x003f,
81  0x403f, 0x5999, 0x5555, 0x5998, 0x403f, 0x403f, 0x003f, 0x003f,
82  0x403f, 0x4444, 0x4444, 0x403e, 0x403e, 0x403e, 0x003e, 0x0008,
83  0x2aea, 0x3333, 0x2aea, 0x403e, 0x403e, 0x403e, 0x0008, 0x0002,
84  0x19d9, 0x19d9, 0x2aea, 0x403d, 0x403d, 0x4007, 0x0001, 0x0001,
85  0x007f, 0x19d9, 0x2ae9, 0x403d, 0x4007, 0x4001, 0x0001, 0x0001,
86  0x19d9, 0x2ae9, 0x403d, 0x4007, 0x4001, 0x0001, 0x0001, 0x0001,
87  0x19d8, 0x2ae9, 0x4006, 0x4000, 0x4000, 0x0000, 0x0000, 0x0000,
88  0x19d8, 0x2ab2, 0x4000, 0x4000, 0x4000, 0x0000, 0x0000, 0x0000,
89  0x19a1, 0x2aac, 0x3fff, 0x3fff, 0x3fff, 0xffff, 0xffff, 0xfff9,
90  0x199b, 0x2aab, 0x3fff, 0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2,
91  0x199a, 0x2aab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2,
92  0x199a, 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, 0x4001,
99  0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0xc000, 0x4000, 0x4000,
100  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x4000, 0x4000, 0x2aac,
101  0xeeef, 0xeaac, 0xffff, 0xffff, 0x7fff, 0x3fff, 0x2aab, 0x199b,
102  0xd99b, 0xeaab, 0xffff, 0x7fff, 0x7fff, 0x2aab, 0x199a, 0x0041,
103  0xd99a, 0xeaab, 0x7ffe, 0x7ffe, 0x6aaa, 0x199a, 0x0040, 0x0040,
104  0xd99a, 0x6aaa, 0x7ffe, 0x6aaa, 0x5999, 0x0040, 0x0040, 0x0040,
105  0x5999, 0x6aaa, 0x6aa9, 0x5999, 0x403f, 0x003f, 0x003f, 0x003f,
106  0x5999, 0x5555, 0x5998, 0x403f, 0x403f, 0x003f, 0x003f, 0x0009,
107  0x4444, 0x4444, 0x403e, 0x403e, 0x403e, 0x003e, 0x0008, 0x0002,
108  0x3333, 0x2aea, 0x403e, 0x403e, 0x403e, 0x0008, 0x0002, 0x0002,
109  0x19d9, 0x2aea, 0x403d, 0x403d, 0x4007, 0x0001, 0x0001, 0x0001,
110  0x2aea, 0x403d, 0x403d, 0x4007, 0x0001, 0x0001, 0x0001, 0x0008,
111  0x2ae9, 0x403d, 0x4007, 0x4001, 0x0001, 0x0001, 0x0001, 0x0007,
112  0x2ae9, 0x4006, 0x4000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0007,
113  0x2ab2, 0x4000, 0x4000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
114  0x2aac, 0x3fff, 0x3fff, 0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9,
115  0x2aab, 0x3fff, 0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9,
116  0x2aab, 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, 0x4008,
123  0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001, 0xc001, 0x4001, 0x4007,
124  0x1111, 0x1554, 0x0000, 0x0000, 0xc000, 0x4000, 0x4000, 0x2ab3,
125  0x0000, 0x0000, 0x0000, 0x0000, 0x4000, 0x4000, 0x2aac, 0x19a2,
126  0xeaac, 0xffff, 0xffff, 0x7fff, 0x3fff, 0x2aab, 0x199b, 0x0048,
127  0xeaab, 0xffff, 0x7fff, 0x7fff, 0x2aab, 0x199a, 0x0041, 0x0047,
128  0xeaab, 0x7ffe, 0x7ffe, 0x6aaa, 0x199a, 0x0040, 0x0040, 0x0047,
129  0x6aaa, 0x7ffe, 0x6aaa, 0x5999, 0x0040, 0x0040, 0x0040, 0x0046,
130  0x6aaa, 0x6aa9, 0x5999, 0x403f, 0x003f, 0x003f, 0x003f, 0x0010,
131  0x5555, 0x5998, 0x403f, 0x403f, 0x003f, 0x003f, 0x0009, 0x0009,
132  0x4444, 0x403e, 0x403e, 0x403e, 0x003e, 0x0008, 0x0002, 0x0009,
133  0x2aea, 0x403e, 0x403e, 0x403e, 0x0008, 0x0002, 0x0002, 0x0008,
134  0x403e, 0x403e, 0x403e, 0x0008, 0x0002, 0x0002, 0x0008, 0x003e,
135  0x403d, 0x403d, 0x4007, 0x0001, 0x0001, 0x0001, 0x0008, 0x003e,
136  0x403d, 0x4007, 0x4001, 0x0001, 0x0001, 0x0001, 0x0007, 0x003d,
137  0x4006, 0x4000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0007, 0x0036,
138  0x4000, 0x4000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
139  0x3fff, 0x3fff, 0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff,
140  0x3fff, 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, 0x403e,
147  0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001, 0xc001, 0x4008, 0x403e,
148  0x2665, 0x1554, 0x0001, 0xc001, 0xc001, 0x4001, 0x4007, 0x2ae9,
149  0x1554, 0x0000, 0x0000, 0xc000, 0x4000, 0x4000, 0x2ab3, 0x19d8,
150  0x0000, 0x0000, 0x0000, 0x4000, 0x4000, 0x2aac, 0x19a2, 0x007e,
151  0xffff, 0xffff, 0x7fff, 0x3fff, 0x2aab, 0x199b, 0x0048, 0x007e,
152  0xffff, 0x7fff, 0x7fff, 0x2aab, 0x199a, 0x0041, 0x0047, 0x007d,
153  0x7ffe, 0x7ffe, 0x6aaa, 0x199a, 0x0040, 0x0040, 0x0047, 0x007d,
154  0x7ffe, 0x6aaa, 0x5999, 0x0040, 0x0040, 0x0040, 0x0046, 0x0046,
155  0x6aa9, 0x5999, 0x403f, 0x003f, 0x003f, 0x003f, 0x0010, 0x0040,
156  0x5998, 0x403f, 0x403f, 0x003f, 0x003f, 0x0009, 0x0009, 0x003f,
157  0x403e, 0x403e, 0x403e, 0x003e, 0x0008, 0x0002, 0x0009, 0x003f,
158  0x403e, 0x403e, 0x003e, 0x0008, 0x0002, 0x0009, 0x003f, 0x003f,
159  0x403e, 0x403e, 0x0008, 0x0002, 0x0002, 0x0008, 0x003e, 0x003e,
160  0x403d, 0x4007, 0x0001, 0x0001, 0x0001, 0x0008, 0x003e, 0x003e,
161  0x4007, 0x4001, 0x0001, 0x0001, 0x0001, 0x0007, 0x003d, 0x0037,
162  0x4000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0007, 0x0036, 0x0000,
163  0x4000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
164  0x3fff, 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, 0x403f,
171  0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002, 0xc008, 0x403e, 0x403e,
172  0x2665, 0x1555, 0xc001, 0xc001, 0xc001, 0x4008, 0x403e, 0x2aea,
173  0x1554, 0x0001, 0xc001, 0xc001, 0x4001, 0x4007, 0x2ae9, 0x19d9,
174  0x0000, 0x0000, 0xc000, 0x4000, 0x4000, 0x2ab3, 0x19d8, 0x007f,
175  0x0000, 0x0000, 0x4000, 0x4000, 0x2aac, 0x19a2, 0x007e, 0x007e,
176  0xffff, 0x7fff, 0x3fff, 0x2aab, 0x199b, 0x0048, 0x007e, 0x007e,
177  0x7fff, 0x7fff, 0x2aab, 0x199a, 0x0041, 0x0047, 0x007d, 0x007d,
178  0x7ffe, 0x6aaa, 0x199a, 0x0040, 0x0040, 0x0047, 0x007d, 0x0047,
179  0x6aaa, 0x5999, 0x0040, 0x0040, 0x0040, 0x0046, 0x0046, 0x0040,
180  0x5999, 0x403f, 0x003f, 0x003f, 0x003f, 0x0010, 0x0040, 0x0040,
181  0x403f, 0x403f, 0x003f, 0x003f, 0x0009, 0x0009, 0x003f, 0x003f,
182  0x403f, 0x003f, 0x003f, 0x0009, 0x0009, 0x003f, 0x003f, 0x003f,
183  0x403e, 0x003e, 0x0008, 0x0002, 0x0009, 0x003f, 0x003f, 0x003f,
184  0x403e, 0x0008, 0x0002, 0x0002, 0x0008, 0x003e, 0x003e, 0x003e,
185  0x4007, 0x0001, 0x0001, 0x0001, 0x0008, 0x003e, 0x003e, 0x0037,
186  0x4001, 0x0001, 0x0001, 0x0001, 0x0007, 0x003d, 0x0037, 0x0001,
187  0x4000, 0x0000, 0x0000, 0x0000, 0x0007, 0x0036, 0x0000, 0x0000,
188  0x4000, 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, 0x403f,
195  0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009, 0xc03f, 0x403f, 0x403f,
196  0x2666, 0xd555, 0xc002, 0xc002, 0xc008, 0x403e, 0x403e, 0x2aea,
197  0x1555, 0xc001, 0xc001, 0xc001, 0x4008, 0x403e, 0x2aea, 0x19d9,
198  0x0001, 0xc001, 0xc001, 0x4001, 0x4007, 0x2ae9, 0x19d9, 0x007f,
199  0x0000, 0xc000, 0x4000, 0x4000, 0x2ab3, 0x19d8, 0x007f, 0x007f,
200  0x0000, 0x4000, 0x4000, 0x2aac, 0x19a2, 0x007e, 0x007e, 0x007e,
201  0x7fff, 0x3fff, 0x2aab, 0x199b, 0x0048, 0x007e, 0x007e, 0x007e,
202  0x7fff, 0x2aab, 0x199a, 0x0041, 0x0047, 0x007d, 0x007d, 0x0047,
203  0x6aaa, 0x199a, 0x0040, 0x0040, 0x0047, 0x007d, 0x0047, 0x0041,
204  0x5999, 0x0040, 0x0040, 0x0040, 0x0046, 0x0046, 0x0040, 0x0040,
205  0x403f, 0x003f, 0x003f, 0x003f, 0x0010, 0x0040, 0x0040, 0x0040,
206  0x003f, 0x003f, 0x003f, 0x0010, 0x0040, 0x0040, 0x0040, 0x1999,
207  0x003f, 0x003f, 0x0009, 0x0009, 0x003f, 0x003f, 0x003f, 0x1999,
208  0x003e, 0x0008, 0x0002, 0x0009, 0x003f, 0x003f, 0x003f, 0x1998,
209  0x0008, 0x0002, 0x0002, 0x0008, 0x003e, 0x003e, 0x003e, 0x1991,
210  0x0001, 0x0001, 0x0001, 0x0008, 0x003e, 0x003e, 0x0037, 0x195b,
211  0x0001, 0x0001, 0x0001, 0x0007, 0x003d, 0x0037, 0x0001, 0x195a,
212  0x0000, 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, 0x5999,
219  0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f, 0x403f, 0x5999,
220  0xe666, 0xd556, 0xc002, 0xc009, 0xc03f, 0x403f, 0x403f, 0x4444,
221  0xd555, 0xc002, 0xc002, 0xc008, 0x403e, 0x403e, 0x2aea, 0x3333,
222  0xc001, 0xc001, 0xc001, 0x4008, 0x403e, 0x2aea, 0x19d9, 0x19d9,
223  0xc001, 0xc001, 0x4001, 0x4007, 0x2ae9, 0x19d9, 0x007f, 0x19d9,
224  0xc000, 0x4000, 0x4000, 0x2ab3, 0x19d8, 0x007f, 0x007f, 0x19d8,
225  0x4000, 0x4000, 0x2aac, 0x19a2, 0x007e, 0x007e, 0x007e, 0x19d8,
226  0x3fff, 0x2aab, 0x199b, 0x0048, 0x007e, 0x007e, 0x007e, 0x19a1,
227  0x2aab, 0x199a, 0x0041, 0x0047, 0x007d, 0x007d, 0x0047, 0x199b,
228  0x199a, 0x0040, 0x0040, 0x0047, 0x007d, 0x0047, 0x0041, 0x199a,
229  0x0040, 0x0040, 0x0040, 0x0046, 0x0046, 0x0040, 0x0040, 0x199a,
230  0x0040, 0x0040, 0x0046, 0x0046, 0x0040, 0x0040, 0x199a, 0x2aaa,
231  0x003f, 0x003f, 0x0010, 0x0040, 0x0040, 0x0040, 0x1999, 0x2aaa,
232  0x003f, 0x0009, 0x0009, 0x003f, 0x003f, 0x003f, 0x1999, 0x2aa9,
233  0x0008, 0x0002, 0x0009, 0x003f, 0x003f, 0x003f, 0x1998, 0x2aa2,
234  0x0002, 0x0002, 0x0008, 0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c,
235  0x0001, 0x0001, 0x0008, 0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b,
236  0x0001, 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, 0x6aaa,
243  0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040, 0xc040, 0x5999, 0x6aaa,
244  0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f, 0x403f, 0x5999, 0x5555,
245  0xd556, 0xc002, 0xc009, 0xc03f, 0x403f, 0x403f, 0x4444, 0x4444,
246  0xc002, 0xc002, 0xc008, 0x403e, 0x403e, 0x2aea, 0x3333, 0x2aea,
247  0xc001, 0xc001, 0x4008, 0x403e, 0x2aea, 0x19d9, 0x19d9, 0x2aea,
248  0xc001, 0x4001, 0x4007, 0x2ae9, 0x19d9, 0x007f, 0x19d9, 0x2ae9,
249  0x4000, 0x4000, 0x2ab3, 0x19d8, 0x007f, 0x007f, 0x19d8, 0x2ae9,
250  0x4000, 0x2aac, 0x19a2, 0x007e, 0x007e, 0x007e, 0x19d8, 0x2ab2,
251  0x2aab, 0x199b, 0x0048, 0x007e, 0x007e, 0x007e, 0x19a1, 0x2aac,
252  0x199a, 0x0041, 0x0047, 0x007d, 0x007d, 0x0047, 0x199b, 0x2aab,
253  0x0040, 0x0040, 0x0047, 0x007d, 0x0047, 0x0041, 0x199a, 0x2aab,
254  0x0040, 0x0047, 0x007d, 0x0047, 0x0041, 0x199a, 0x2aab, 0x3ffe,
255  0x0040, 0x0046, 0x0046, 0x0040, 0x0040, 0x199a, 0x2aaa, 0x3ffe,
256  0x003f, 0x0010, 0x0040, 0x0040, 0x0040, 0x1999, 0x2aaa, 0x3ffd,
257  0x0009, 0x0009, 0x003f, 0x003f, 0x003f, 0x1999, 0x2aa9, 0x3ff6,
258  0x0002, 0x0009, 0x003f, 0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0,
259  0x0002, 0x0008, 0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf,
260  0x0001, 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, 0x7ffe,
267  0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a, 0x6aaa, 0x7ffe,
268  0xe667, 0xd55d, 0xc040, 0xc040, 0xc040, 0x5999, 0x6aaa, 0x6aa9,
269  0xd556, 0xc009, 0xc03f, 0xc03f, 0x403f, 0x5999, 0x5555, 0x5998,
270  0xc002, 0xc009, 0xc03f, 0x403f, 0x403f, 0x4444, 0x4444, 0x403e,
271  0xc002, 0xc008, 0x403e, 0x403e, 0x2aea, 0x3333, 0x2aea, 0x403e,
272  0xc001, 0x4008, 0x403e, 0x2aea, 0x19d9, 0x19d9, 0x2aea, 0x403d,
273  0x4001, 0x4007, 0x2ae9, 0x19d9, 0x007f, 0x19d9, 0x2ae9, 0x403d,
274  0x4000, 0x2ab3, 0x19d8, 0x007f, 0x007f, 0x19d8, 0x2ae9, 0x4006,
275  0x2aac, 0x19a2, 0x007e, 0x007e, 0x007e, 0x19d8, 0x2ab2, 0x4000,
276  0x199b, 0x0048, 0x007e, 0x007e, 0x007e, 0x19a1, 0x2aac, 0x3fff,
277  0x0041, 0x0047, 0x007d, 0x007d, 0x0047, 0x199b, 0x2aab, 0x3fff,
278  0x0047, 0x007d, 0x007d, 0x0047, 0x199b, 0x2aab, 0x3fff, 0x3fff,
279  0x0047, 0x007d, 0x0047, 0x0041, 0x199a, 0x2aab, 0x3ffe, 0x3ffe,
280  0x0046, 0x0046, 0x0040, 0x0040, 0x199a, 0x2aaa, 0x3ffe, 0x3ffe,
281  0x0010, 0x0040, 0x0040, 0x0040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7,
282  0x0009, 0x003f, 0x003f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0,
283  0x0009, 0x003f, 0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0,
284  0x0008, 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, 0x7fff,
291  0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab, 0x7ffe, 0x7ffe,
292  0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a, 0x6aaa, 0x7ffe, 0x6aaa,
293  0xd55d, 0xc040, 0xc040, 0xc040, 0x5999, 0x6aaa, 0x6aa9, 0x5999,
294  0xc009, 0xc03f, 0xc03f, 0x403f, 0x5999, 0x5555, 0x5998, 0x403f,
295  0xc009, 0xc03f, 0x403f, 0x403f, 0x4444, 0x4444, 0x403e, 0x403e,
296  0xc008, 0x403e, 0x403e, 0x2aea, 0x3333, 0x2aea, 0x403e, 0x403e,
297  0x4008, 0x403e, 0x2aea, 0x19d9, 0x19d9, 0x2aea, 0x403d, 0x403d,
298  0x4007, 0x2ae9, 0x19d9, 0x007f, 0x19d9, 0x2ae9, 0x403d, 0x4007,
299  0x2ab3, 0x19d8, 0x007f, 0x007f, 0x19d8, 0x2ae9, 0x4006, 0x4000,
300  0x19a2, 0x007e, 0x007e, 0x007e, 0x19d8, 0x2ab2, 0x4000, 0x4000,
301  0x0048, 0x007e, 0x007e, 0x007e, 0x19a1, 0x2aac, 0x3fff, 0x3fff,
302  0x007e, 0x007e, 0x007e, 0x19a1, 0x2aac, 0x3fff, 0x3fff, 0x3fff,
303  0x007d, 0x007d, 0x0047, 0x199b, 0x2aab, 0x3fff, 0x3fff, 0x3fff,
304  0x007d, 0x0047, 0x0041, 0x199a, 0x2aab, 0x3ffe, 0x3ffe, 0x3ffe,
305  0x0046, 0x0040, 0x0040, 0x199a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7,
306  0x0040, 0x0040, 0x0040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1,
307  0x003f, 0x003f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0,
308  0x003f, 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, 0x7fff,
315  0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0x7fff, 0x7fff,
316  0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab, 0x7ffe, 0x7ffe, 0x6aaa,
317  0xd594, 0xc040, 0xc040, 0xd99a, 0x6aaa, 0x7ffe, 0x6aaa, 0x5999,
318  0xc040, 0xc040, 0xc040, 0x5999, 0x6aaa, 0x6aa9, 0x5999, 0x403f,
319  0xc03f, 0xc03f, 0x403f, 0x5999, 0x5555, 0x5998, 0x403f, 0x403f,
320  0xc03f, 0x403f, 0x403f, 0x4444, 0x4444, 0x403e, 0x403e, 0x403e,
321  0x403e, 0x403e, 0x2aea, 0x3333, 0x2aea, 0x403e, 0x403e, 0x403e,
322  0x403e, 0x2aea, 0x19d9, 0x19d9, 0x2aea, 0x403d, 0x403d, 0x4007,
323  0x2ae9, 0x19d9, 0x007f, 0x19d9, 0x2ae9, 0x403d, 0x4007, 0x4001,
324  0x19d8, 0x007f, 0x007f, 0x19d8, 0x2ae9, 0x4006, 0x4000, 0x4000,
325  0x007e, 0x007e, 0x007e, 0x19d8, 0x2ab2, 0x4000, 0x4000, 0x4000,
326  0x007e, 0x007e, 0x19d8, 0x2ab2, 0x4000, 0x4000, 0x4000, 0xc000,
327  0x007e, 0x007e, 0x19a1, 0x2aac, 0x3fff, 0x3fff, 0x3fff, 0xbfff,
328  0x007d, 0x0047, 0x199b, 0x2aab, 0x3fff, 0x3fff, 0x3fff, 0xbfff,
329  0x0047, 0x0041, 0x199a, 0x2aab, 0x3ffe, 0x3ffe, 0x3ffe, 0xbff8,
330  0x0040, 0x0040, 0x199a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xbfc1,
331  0x0040, 0x0040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xbfc1,
332  0x003f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xbfc0,
333  0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xa666,
334  0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x9555,
335  0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x8001,
336  0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x8001,
337  0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x8000,
338  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
339  0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0x7fff, 0xffff,
340  0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0x7fff, 0x7fff, 0xeaab,
341  0xd594, 0xc041, 0xd99a, 0xeaab, 0x7ffe, 0x7ffe, 0x6aaa, 0xd99a,
342  0xc040, 0xc040, 0xd99a, 0x6aaa, 0x7ffe, 0x6aaa, 0x5999, 0xc040,
343  0xc040, 0xc040, 0x5999, 0x6aaa, 0x6aa9, 0x5999, 0x403f, 0xc03f,
344  0xc03f, 0x403f, 0x5999, 0x5555, 0x5998, 0x403f, 0x403f, 0xc03f,
345  0x403f, 0x403f, 0x4444, 0x4444, 0x403e, 0x403e, 0x403e, 0xc03e,
346  0x403e, 0x2aea, 0x3333, 0x2aea, 0x403e, 0x403e, 0x403e, 0xc008,
347  0x2aea, 0x19d9, 0x19d9, 0x2aea, 0x403d, 0x403d, 0x4007, 0xc001,
348  0x19d9, 0x007f, 0x19d9, 0x2ae9, 0x403d, 0x4007, 0x4001, 0xc001,
349  0x007f, 0x007f, 0x19d8, 0x2ae9, 0x4006, 0x4000, 0x4000, 0xc000,
350  0x007f, 0x19d8, 0x2ae9, 0x4006, 0x4000, 0x4000, 0xc000, 0xc000,
351  0x007e, 0x19d8, 0x2ab2, 0x4000, 0x4000, 0x4000, 0xc000, 0xc000,
352  0x007e, 0x19a1, 0x2aac, 0x3fff, 0x3fff, 0x3fff, 0xbfff, 0xbfff,
353  0x0047, 0x199b, 0x2aab, 0x3fff, 0x3fff, 0x3fff, 0xbfff, 0xbff8,
354  0x0041, 0x199a, 0x2aab, 0x3ffe, 0x3ffe, 0x3ffe, 0xbff8, 0xbfc2,
355  0x0040, 0x199a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xbfc1, 0xbfc1,
356  0x0040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xbfc1, 0xbfc1,
357  0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xbfc0, 0xa667,
358  0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xa666, 0x9556,
359  0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x9555, 0x8002,
360  0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x8001, 0x8001,
361  0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x8001, 0x8001,
362  0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x8000, 0x0000,
363  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
364  0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0x7fff, 0xffff, 0xeaab,
365  0xd595, 0xd99b, 0xeaab, 0xffff, 0x7fff, 0x7fff, 0xeaab, 0xd99a,
366  0xc041, 0xd99a, 0xeaab, 0x7ffe, 0x7ffe, 0x6aaa, 0xd99a, 0xc040,
367  0xc040, 0xd99a, 0x6aaa, 0x7ffe, 0x6aaa, 0x5999, 0xc040, 0xc040,
368  0xc040, 0x5999, 0x6aaa, 0x6aa9, 0x5999, 0x403f, 0xc03f, 0xc03f,
369  0x403f, 0x5999, 0x5555, 0x5998, 0x403f, 0x403f, 0xc03f, 0xc03f,
370  0x403f, 0x4444, 0x4444, 0x403e, 0x403e, 0x403e, 0xc03e, 0xc008,
371  0x2aea, 0x3333, 0x2aea, 0x403e, 0x403e, 0x403e, 0xc008, 0xc002,
372  0x19d9, 0x19d9, 0x2aea, 0x403d, 0x403d, 0x4007, 0xc001, 0xc001,
373  0x007f, 0x19d9, 0x2ae9, 0x403d, 0x4007, 0x4001, 0xc001, 0xc001,
374  0x19d9, 0x2ae9, 0x403d, 0x4007, 0x4001, 0xc001, 0xc001, 0xd555,
375  0x19d8, 0x2ae9, 0x4006, 0x4000, 0x4000, 0xc000, 0xc000, 0xd554,
376  0x19d8, 0x2ab2, 0x4000, 0x4000, 0x4000, 0xc000, 0xc000, 0xd554,
377  0x19a1, 0x2aac, 0x3fff, 0x3fff, 0x3fff, 0xbfff, 0xbfff, 0xd54d,
378  0x199b, 0x2aab, 0x3fff, 0x3fff, 0x3fff, 0xbfff, 0xbff8, 0xd516,
379  0x199a, 0x2aab, 0x3ffe, 0x3ffe, 0x3ffe, 0xbff8, 0xbfc2, 0xd516,
380  0x199a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xbfc1, 0xbfc1, 0xd515,
381  0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xbfc1, 0xbfc1, 0xbbbb,
382  0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xbfc0, 0xa667, 0xaaaa,
383  0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xa666, 0x9556, 0x9556,
384  0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x9555, 0x8002, 0x9556,
385  0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x8001, 0x8001, 0x9555,
386  0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x8001, 0x8001, 0x1555,
387  0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x8000, 0x0000, 0x1554,
388  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
389  0xeeef, 0xeaac, 0xffff, 0xffff, 0x7fff, 0xffff, 0xeaab, 0xeeef,
390  0xd99b, 0xeaab, 0xffff, 0x7fff, 0x7fff, 0xeaab, 0xd99a, 0xd595,
391  0xd99a, 0xeaab, 0x7ffe, 0x7ffe, 0x6aaa, 0xd99a, 0xc040, 0xd594,
392  0xd99a, 0x6aaa, 0x7ffe, 0x6aaa, 0x5999, 0xc040, 0xc040, 0xd594,
393  0x5999, 0x6aaa, 0x6aa9, 0x5999, 0x403f, 0xc03f, 0xc03f, 0xd593,
394  0x5999, 0x5555, 0x5998, 0x403f, 0x403f, 0xc03f, 0xc03f, 0xd55d,
395  0x4444, 0x4444, 0x403e, 0x403e, 0x403e, 0xc03e, 0xc008, 0xd556,
396  0x3333, 0x2aea, 0x403e, 0x403e, 0x403e, 0xc008, 0xc002, 0xd556,
397  0x19d9, 0x2aea, 0x403d, 0x403d, 0x4007, 0xc001, 0xc001, 0xd555,
398  0x2aea, 0x403d, 0x403d, 0x4007, 0xc001, 0xc001, 0xd555, 0xe666,
399  0x2ae9, 0x403d, 0x4007, 0x4001, 0xc001, 0xc001, 0xd555, 0xe665,
400  0x2ae9, 0x4006, 0x4000, 0x4000, 0xc000, 0xc000, 0xd554, 0xe665,
401  0x2ab2, 0x4000, 0x4000, 0x4000, 0xc000, 0xc000, 0xd554, 0xe65e,
402  0x2aac, 0x3fff, 0x3fff, 0x3fff, 0xbfff, 0xbfff, 0xd54d, 0xe627,
403  0x2aab, 0x3fff, 0x3fff, 0x3fff, 0xbfff, 0xbff8, 0xd516, 0xe627,
404  0x2aab, 0x3ffe, 0x3ffe, 0x3ffe, 0xbff8, 0xbfc2, 0xd516, 0xe626,
405  0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xbfc1, 0xbfc1, 0xd515, 0xcccc,
406  0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xbfc1, 0xbfc1, 0xbbbb, 0xbbbb,
407  0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xbfc0, 0xa667, 0xaaaa, 0xa667,
408  0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xa666, 0x9556, 0x9556, 0xa667,
409  0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x9555, 0x8002, 0x9556, 0xa666,
410  0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x8001, 0x8001, 0x9555, 0x2666,
411  0x2a6b, 0x2665, 0x1554, 0x0001, 0x8001, 0x8001, 0x1555, 0x2665,
412  0x1111, 0x1554, 0x0000, 0x0000, 0x8000, 0x0000, 0x1554, 0x1111,
413  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
414  0xeaac, 0xffff, 0xffff, 0x7fff, 0xffff, 0xeaab, 0xeeef, 0xe6a6,
415  0xeaab, 0xffff, 0x7fff, 0x7fff, 0xeaab, 0xd99a, 0xd595, 0xe6a5,
416  0xeaab, 0x7ffe, 0x7ffe, 0x6aaa, 0xd99a, 0xc040, 0xd594, 0xe6a5,
417  0x6aaa, 0x7ffe, 0x6aaa, 0x5999, 0xc040, 0xc040, 0xd594, 0xe6a4,
418  0x6aaa, 0x6aa9, 0x5999, 0x403f, 0xc03f, 0xc03f, 0xd593, 0xe66e,
419  0x5555, 0x5998, 0x403f, 0x403f, 0xc03f, 0xc03f, 0xd55d, 0xe667,
420  0x4444, 0x403e, 0x403e, 0x403e, 0xc03e, 0xc008, 0xd556, 0xe667,
421  0x2aea, 0x403e, 0x403e, 0x403e, 0xc008, 0xc002, 0xd556, 0xe666,
422  0x403e, 0x403e, 0x403e, 0xc008, 0xc002, 0xd556, 0xe666, 0xffc0,
423  0x403d, 0x403d, 0x4007, 0xc001, 0xc001, 0xd555, 0xe666, 0xffbf,
424  0x403d, 0x4007, 0x4001, 0xc001, 0xc001, 0xd555, 0xe665, 0xffbf,
425  0x4006, 0x4000, 0x4000, 0xc000, 0xc000, 0xd554, 0xe665, 0xffb8,
426  0x4000, 0x4000, 0x4000, 0xc000, 0xc000, 0xd554, 0xe65e, 0xff81,
427  0x3fff, 0x3fff, 0x3fff, 0xbfff, 0xbfff, 0xd54d, 0xe627, 0xff81,
428  0x3fff, 0x3fff, 0x3fff, 0xbfff, 0xbff8, 0xd516, 0xe627, 0xff80,
429  0x3ffe, 0x3ffe, 0x3ffe, 0xbff8, 0xbfc2, 0xd516, 0xe626, 0xe626,
430  0x3ffe, 0x3ffe, 0x3ff7, 0xbfc1, 0xbfc1, 0xd515, 0xcccc, 0xd515,
431  0x3ffd, 0x3ff7, 0x3fc1, 0xbfc1, 0xbfc1, 0xbbbb, 0xbbbb, 0xbfc1,
432  0x3ff6, 0x3fc0, 0x3fc0, 0xbfc0, 0xa667, 0xaaaa, 0xa667, 0xbfc1,
433  0x3fc0, 0x3fc0, 0x3fc0, 0xa666, 0x9556, 0x9556, 0xa667, 0xbfc0,
434  0x3fbf, 0x3fbf, 0x2666, 0x9555, 0x8002, 0x9556, 0xa666, 0x3fc0,
435  0x3fbf, 0x2665, 0x1555, 0x8001, 0x8001, 0x9555, 0x2666, 0x3fbf,
436  0x2665, 0x1554, 0x0001, 0x8001, 0x8001, 0x1555, 0x2665, 0x2a6b,
437  0x1554, 0x0000, 0x0000, 0x8000, 0x0000, 0x1554, 0x1111, 0x195a,
438  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
439  0xffff, 0xffff, 0x7fff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff,
440  0xffff, 0x7fff, 0x7fff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff,
441  0x7ffe, 0x7ffe, 0x6aaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe,
442  0x7ffe, 0x6aaa, 0x5999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8,
443  0x6aa9, 0x5999, 0x403f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1,
444  0x5998, 0x403f, 0x403f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1,
445  0x403e, 0x403e, 0x403e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0,
446  0x403e, 0x403e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0xffc0,
447  0x403e, 0x403e, 0xc008, 0xc002, 0xd556, 0xe666, 0xffc0, 0xffc0,
448  0x403d, 0x4007, 0xc001, 0xc001, 0xd555, 0xe666, 0xffbf, 0xffbf,
449  0x4007, 0x4001, 0xc001, 0xc001, 0xd555, 0xe665, 0xffbf, 0xffb8,
450  0x4000, 0x4000, 0xc000, 0xc000, 0xd554, 0xe665, 0xffb8, 0xff82,
451  0x4000, 0x4000, 0xc000, 0xc000, 0xd554, 0xe65e, 0xff81, 0xff81,
452  0x3fff, 0x3fff, 0xbfff, 0xbfff, 0xd54d, 0xe627, 0xff81, 0xff81,
453  0x3fff, 0x3fff, 0xbfff, 0xbff8, 0xd516, 0xe627, 0xff80, 0xe627,
454  0x3ffe, 0x3ffe, 0xbff8, 0xbfc2, 0xd516, 0xe626, 0xe626, 0xd516,
455  0x3ffe, 0x3ff7, 0xbfc1, 0xbfc1, 0xd515, 0xcccc, 0xd515, 0xbfc2,
456  0x3ff7, 0x3fc1, 0xbfc1, 0xbfc1, 0xbbbb, 0xbbbb, 0xbfc1, 0xbfc1,
457  0x3fc0, 0x3fc0, 0xbfc0, 0xa667, 0xaaaa, 0xa667, 0xbfc1, 0xbfc1,
458  0x3fc0, 0x3fc0, 0xa666, 0x9556, 0x9556, 0xa667, 0xbfc0, 0x3fc0,
459  0x3fbf, 0x2666, 0x9555, 0x8002, 0x9556, 0xa666, 0x3fc0, 0x3fc0,
460  0x2665, 0x1555, 0x8001, 0x8001, 0x9555, 0x2666, 0x3fbf, 0x2a6b,
461  0x1554, 0x0001, 0x8001, 0x8001, 0x1555, 0x2665, 0x2a6b, 0x195a,
462  0x0000, 0x0000, 0x8000, 0x0000, 0x1554, 0x1111, 0x195a, 0x0000,
463  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
464  0xffff, 0x7fff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff,
465  0x7fff, 0x7fff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff,
466  0x7ffe, 0x6aaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8,
467  0x6aaa, 0x5999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2,
468  0x5999, 0x403f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1,
469  0x403f, 0x403f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1,
470  0x403f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0xffc1,
471  0x403e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0xffc0, 0xffc0,
472  0x403e, 0xc008, 0xc002, 0xd556, 0xe666, 0xffc0, 0xffc0, 0xffc0,
473  0x4007, 0xc001, 0xc001, 0xd555, 0xe666, 0xffbf, 0xffbf, 0xffb9,
474  0x4001, 0xc001, 0xc001, 0xd555, 0xe665, 0xffbf, 0xffb8, 0xff82,
475  0x4000, 0xc000, 0xc000, 0xd554, 0xe665, 0xffb8, 0xff82, 0xff82,
476  0x4000, 0xc000, 0xc000, 0xd554, 0xe65e, 0xff81, 0xff81, 0xff81,
477  0x3fff, 0xbfff, 0xbfff, 0xd54d, 0xe627, 0xff81, 0xff81, 0xe627,
478  0x3fff, 0xbfff, 0xbff8, 0xd516, 0xe627, 0xff80, 0xe627, 0xd516,
479  0x3ffe, 0xbff8, 0xbfc2, 0xd516, 0xe626, 0xe626, 0xd516, 0xbfc2,
480  0x3ff7, 0xbfc1, 0xbfc1, 0xd515, 0xcccc, 0xd515, 0xbfc2, 0xbfc2,
481  0x3fc1, 0xbfc1, 0xbfc1, 0xbbbb, 0xbbbb, 0xbfc1, 0xbfc1, 0xbfc1,
482  0x3fc0, 0xbfc0, 0xa667, 0xaaaa, 0xa667, 0xbfc1, 0xbfc1, 0x3fc1,
483  0x3fc0, 0xa666, 0x9556, 0x9556, 0xa667, 0xbfc0, 0x3fc0, 0x3fc0,
484  0x2666, 0x9555, 0x8002, 0x9556, 0xa666, 0x3fc0, 0x3fc0, 0x2a6c,
485  0x1555, 0x8001, 0x8001, 0x9555, 0x2666, 0x3fbf, 0x2a6b, 0x195b,
486  0x0001, 0x8001, 0x8001, 0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001,
487  0x0000, 0x8000, 0x0000, 0x1554, 0x1111, 0x195a, 0x0000, 0x0000,
488  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
489  0x7fff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff,
490  0x7fff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9,
491  0x6aaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2,
492  0x5999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2,
493  0x403f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1,
494  0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0xffc1,
495  0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0xffc1, 0xffc1,
496  0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0xffc0, 0xffc0, 0xffc0,
497  0xc008, 0xc002, 0xd556, 0xe666, 0xffc0, 0xffc0, 0xffc0, 0xffb9,
498  0xc001, 0xc001, 0xd555, 0xe666, 0xffbf, 0xffbf, 0xffb9, 0xff83,
499  0xc001, 0xc001, 0xd555, 0xe665, 0xffbf, 0xffb8, 0xff82, 0xff82,
500  0xc000, 0xc000, 0xd554, 0xe665, 0xffb8, 0xff82, 0xff82, 0xff82,
501  0xc000, 0xc000, 0xd554, 0xe65e, 0xff81, 0xff81, 0xff81, 0xe628,
502  0xbfff, 0xbfff, 0xd54d, 0xe627, 0xff81, 0xff81, 0xe627, 0xd517,
503  0xbfff, 0xbff8, 0xd516, 0xe627, 0xff80, 0xe627, 0xd516, 0xbfc3,
504  0xbff8, 0xbfc2, 0xd516, 0xe626, 0xe626, 0xd516, 0xbfc2, 0xbfc2,
505  0xbfc1, 0xbfc1, 0xd515, 0xcccc, 0xd515, 0xbfc2, 0xbfc2, 0xbfc2,
506  0xbfc1, 0xbfc1, 0xbbbb, 0xbbbb, 0xbfc1, 0xbfc1, 0xbfc1, 0x3fc1,
507  0xbfc0, 0xa667, 0xaaaa, 0xa667, 0xbfc1, 0xbfc1, 0x3fc1, 0x3fc1,
508  0xa666, 0x9556, 0x9556, 0xa667, 0xbfc0, 0x3fc0, 0x3fc0, 0x2a6c,
509  0x9555, 0x8002, 0x9556, 0xa666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b,
510  0x8001, 0x8001, 0x9555, 0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001,
511  0x8001, 0x8001, 0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001,
512  0x8000, 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, 0xfff8,
519  0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0xffc1, 0xfff7,
520  0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0xffc1, 0xffc1, 0xfff7,
521  0xc008, 0xd556, 0xe667, 0xffc0, 0xffc0, 0xffc0, 0xffc0, 0xfff0,
522  0xc002, 0xd556, 0xe666, 0xffc0, 0xffc0, 0xffc0, 0xffb9, 0xffb9,
523  0xc001, 0xd555, 0xe666, 0xffbf, 0xffbf, 0xffb9, 0xff83, 0xffb9,
524  0xc001, 0xd555, 0xe665, 0xffbf, 0xffb8, 0xff82, 0xff82, 0xffb8,
525  0xc000, 0xd554, 0xe665, 0xffb8, 0xff82, 0xff82, 0xff82, 0xe65e,
526  0xc000, 0xd554, 0xe65e, 0xff81, 0xff81, 0xff81, 0xe628, 0xd54d,
527  0xbfff, 0xd54d, 0xe627, 0xff81, 0xff81, 0xe627, 0xd517, 0xbff9,
528  0xbff8, 0xd516, 0xe627, 0xff80, 0xe627, 0xd516, 0xbfc3, 0xbff9,
529  0xbfc2, 0xd516, 0xe626, 0xe626, 0xd516, 0xbfc2, 0xbfc2, 0xbff8,
530  0xbfc1, 0xd515, 0xcccc, 0xd515, 0xbfc2, 0xbfc2, 0xbfc2, 0x3ff8,
531  0xbfc1, 0xbbbb, 0xbbbb, 0xbfc1, 0xbfc1, 0xbfc1, 0x3fc1, 0x3ff7,
532  0xa667, 0xaaaa, 0xa667, 0xbfc1, 0xbfc1, 0x3fc1, 0x3fc1, 0x2aa3,
533  0x9556, 0x9556, 0xa667, 0xbfc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992,
534  0x8002, 0x9556, 0xa666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038,
535  0x8001, 0x9555, 0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037,
536  0x8001, 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, 0xfffe,
543  0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2, 0xfff8, 0xfffe,
544  0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0xffc1, 0xfff7, 0xfffd,
545  0xd55d, 0xe667, 0xffc1, 0xffc1, 0xffc1, 0xffc1, 0xfff7, 0xfff6,
546  0xd556, 0xe667, 0xffc0, 0xffc0, 0xffc0, 0xffc0, 0xfff0, 0xffc0,
547  0xd556, 0xe666, 0xffc0, 0xffc0, 0xffc0, 0xffb9, 0xffb9, 0xffbf,
548  0xd555, 0xe666, 0xffbf, 0xffbf, 0xffb9, 0xff83, 0xffb9, 0xffbf,
549  0xd555, 0xe665, 0xffbf, 0xffb8, 0xff82, 0xff82, 0xffb8, 0xe665,
550  0xd554, 0xe665, 0xffb8, 0xff82, 0xff82, 0xff82, 0xe65e, 0xd554,
551  0xd554, 0xe65e, 0xff81, 0xff81, 0xff81, 0xe628, 0xd54d, 0xc000,
552  0xd54d, 0xe627, 0xff81, 0xff81, 0xe627, 0xd517, 0xbff9, 0xbfff,
553  0xd516, 0xe627, 0xff80, 0xe627, 0xd516, 0xbfc3, 0xbff9, 0xbfff,
554  0xd516, 0xe626, 0xe626, 0xd516, 0xbfc2, 0xbfc2, 0xbff8, 0x3ffe,
555  0xd515, 0xcccc, 0xd515, 0xbfc2, 0xbfc2, 0xbfc2, 0x3ff8, 0x3ffe,
556  0xbbbb, 0xbbbb, 0xbfc1, 0xbfc1, 0xbfc1, 0x3fc1, 0x3ff7, 0x2aa9,
557  0xaaaa, 0xa667, 0xbfc1, 0xbfc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998,
558  0x9556, 0xa667, 0xbfc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992, 0x003e,
559  0x9556, 0xa666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038, 0x003e,
560  0x9555, 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, 0xffff,
567  0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8, 0xfffe, 0xfffe,
568  0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2, 0xfff8, 0xfffe, 0xfffe,
569  0xe66e, 0xffc1, 0xffc1, 0xffc1, 0xffc1, 0xfff7, 0xfffd, 0xfff7,
570  0xe667, 0xffc1, 0xffc1, 0xffc1, 0xffc1, 0xfff7, 0xfff6, 0xffc0,
571  0xe667, 0xffc0, 0xffc0, 0xffc0, 0xffc0, 0xfff0, 0xffc0, 0xffc0,
572  0xe666, 0xffc0, 0xffc0, 0xffc0, 0xffb9, 0xffb9, 0xffbf, 0xffbf,
573  0xe666, 0xffbf, 0xffbf, 0xffb9, 0xff83, 0xffb9, 0xffbf, 0xe665,
574  0xe665, 0xffbf, 0xffb8, 0xff82, 0xff82, 0xffb8, 0xe665, 0xd554,
575  0xe665, 0xffb8, 0xff82, 0xff82, 0xff82, 0xe65e, 0xd554, 0xc000,
576  0xe65e, 0xff81, 0xff81, 0xff81, 0xe628, 0xd54d, 0xc000, 0xc000,
577  0xe627, 0xff81, 0xff81, 0xe627, 0xd517, 0xbff9, 0xbfff, 0xbfff,
578  0xe627, 0xff80, 0xe627, 0xd516, 0xbfc3, 0xbff9, 0xbfff, 0x3fff,
579  0xe626, 0xe626, 0xd516, 0xbfc2, 0xbfc2, 0xbff8, 0x3ffe, 0x3ffe,
580  0xcccc, 0xd515, 0xbfc2, 0xbfc2, 0xbfc2, 0x3ff8, 0x3ffe, 0x2aaa,
581  0xbbbb, 0xbfc1, 0xbfc1, 0xbfc1, 0x3fc1, 0x3ff7, 0x2aa9, 0x1999,
582  0xa667, 0xbfc1, 0xbfc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998, 0x003f,
583  0xa667, 0xbfc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992, 0x003e, 0x003e,
584  0xa666, 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, 0xffff,
591  0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9, 0xffff, 0xffff, 0xffff,
592  0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8, 0xfffe, 0xfffe, 0xfffe,
593  0xffc8, 0xffc2, 0xffc2, 0xffc2, 0xfff8, 0xfffe, 0xfffe, 0xfff7,
594  0xffc1, 0xffc1, 0xffc1, 0xffc1, 0xfff7, 0xfffd, 0xfff7, 0xffc1,
595  0xffc1, 0xffc1, 0xffc1, 0xffc1, 0xfff7, 0xfff6, 0xffc0, 0xffc0,
596  0xffc0, 0xffc0, 0xffc0, 0xffc0, 0xfff0, 0xffc0, 0xffc0, 0xffc0,
597  0xffc0, 0xffc0, 0xffc0, 0xffb9, 0xffb9, 0xffbf, 0xffbf, 0xe666,
598  0xffbf, 0xffbf, 0xffb9, 0xff83, 0xffb9, 0xffbf, 0xe665, 0xd555,
599  0xffbf, 0xffb8, 0xff82, 0xff82, 0xffb8, 0xe665, 0xd554, 0xc001,
600  0xffb8, 0xff82, 0xff82, 0xff82, 0xe65e, 0xd554, 0xc000, 0xc000,
601  0xff81, 0xff81, 0xff81, 0xe628, 0xd54d, 0xc000, 0xc000, 0xc000,
602  0xff81, 0xff81, 0xe627, 0xd517, 0xbff9, 0xbfff, 0xbfff, 0x3fff,
603  0xff80, 0xe627, 0xd516, 0xbfc3, 0xbff9, 0xbfff, 0x3fff, 0x3fff,
604  0xe626, 0xd516, 0xbfc2, 0xbfc2, 0xbff8, 0x3ffe, 0x3ffe, 0x2aaa,
605  0xd515, 0xbfc2, 0xbfc2, 0xbfc2, 0x3ff8, 0x3ffe, 0x2aaa, 0x1999,
606  0xbfc1, 0xbfc1, 0xbfc1, 0x3fc1, 0x3ff7, 0x2aa9, 0x1999, 0x003f,
607  0xbfc1, 0xbfc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998, 0x003f, 0x003f,
608  0xbfc0, 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_shsub_8H = 576;
616
617#endif  // VIXL_SIM_SHSUB_8H_TRACE_AARCH64_H_
618