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_SUB_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_SUB_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_sub_8H[] = {
38  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
39  0xffff, 0xcd4c, 0xddde, 0xd558, 0xffff, 0xffff, 0x7fff, 0xffff,
40  0xcd4b, 0xab2a, 0xb336, 0xd557, 0xfffe, 0x7ffe, 0x7ffe, 0xfffe,
41  0xab29, 0x8082, 0xb335, 0xd556, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff0,
42  0x8081, 0x8081, 0xb334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0xff83,
43  0x8080, 0x8080, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0xff82,
44  0x807f, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0xff81,
45  0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xcccd,
46  0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xaaab,
47  0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x8003,
48  0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x8002,
49  0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x8001,
50  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x8000,
51  0xffff, 0xcd4c, 0xddde, 0xd558, 0xffff, 0xffff, 0xffff, 0x7fff,
52  0xcd4b, 0xab2a, 0xb336, 0xd557, 0xfffe, 0xfffe, 0xfffe, 0x5556,
53  0xab29, 0x8082, 0xb335, 0xd556, 0xfffd, 0xfffd, 0xd555, 0x3334,
54  0x8081, 0x8081, 0xb334, 0xd555, 0xfffc, 0xd554, 0xb333, 0x0080,
55  0x8080, 0x8080, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x007f,
56  0x807f, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x007e,
57  0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x007d,
58  0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x0010,
59  0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x0003,
60  0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x0002,
61  0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x0001,
62  0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x0001, 0x0001,
63  0x00fd, 0x33b0, 0x5565, 0x8000, 0x8000, 0x8000, 0x0000, 0x0000,
64  0x00fc, 0x3343, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0xffff,
65  0x008f, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff1,
66  0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff0, 0xff84,
67  0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0xff83, 0xff83,
68  0x0080, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0xff82, 0xff82,
69  0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0xff81, 0xccce,
70  0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xcccd, 0xaaac,
71  0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xaaab, 0x8004,
72  0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x8003, 0x8003,
73  0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x8002, 0x8002,
74  0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x8001, 0x8001,
75  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x8000, 0x8000,
76  0xcd4c, 0xddde, 0xd558, 0xffff, 0xffff, 0xffff, 0x7fff, 0x5557,
77  0xab2a, 0xb336, 0xd557, 0xfffe, 0xfffe, 0xfffe, 0x5556, 0x3335,
78  0x8082, 0xb335, 0xd556, 0xfffd, 0xfffd, 0xd555, 0x3334, 0x0081,
79  0x8081, 0xb334, 0xd555, 0xfffc, 0xd554, 0xb333, 0x0080, 0x0080,
80  0x8080, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x007f, 0x007f,
81  0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x007e, 0x007e,
82  0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x007d, 0x0011,
83  0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x0010, 0x0004,
84  0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x0003, 0x0003,
85  0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x0002, 0x0002,
86  0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x0002, 0x0002, 0x0002,
87  0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x0001, 0x0001, 0x0001,
88  0x33b0, 0x5565, 0x8000, 0x8000, 0x8000, 0x0000, 0x0000, 0x0000,
89  0x3343, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0xffff, 0xfff2,
90  0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff1, 0xff85,
91  0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff0, 0xff84, 0xff84,
92  0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0xff83, 0xff83, 0xff83,
93  0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0xff82, 0xff82, 0xcccf,
94  0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0xff81, 0xccce, 0xaaad,
95  0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xcccd, 0xaaac, 0x8005,
96  0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xaaab, 0x8004, 0x8004,
97  0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x8003, 0x8003, 0x8003,
98  0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x8002, 0x8002, 0x8002,
99  0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x8001, 0x8001, 0x8001,
100  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x8000, 0x8000, 0x5558,
101  0xddde, 0xd558, 0xffff, 0xffff, 0xffff, 0x7fff, 0x5557, 0x3336,
102  0xb336, 0xd557, 0xfffe, 0xfffe, 0xfffe, 0x5556, 0x3335, 0x0082,
103  0xb335, 0xd556, 0xfffd, 0xfffd, 0xd555, 0x3334, 0x0081, 0x0081,
104  0xb334, 0xd555, 0xfffc, 0xd554, 0xb333, 0x0080, 0x0080, 0x0080,
105  0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x007f, 0x007f, 0x007f,
106  0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x007e, 0x007e, 0x0012,
107  0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x007d, 0x0011, 0x0005,
108  0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x0010, 0x0004, 0x0004,
109  0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x0003, 0x0003, 0x0003,
110  0x55d4, 0x807b, 0x807b, 0x800f, 0x0003, 0x0003, 0x0003, 0x0010,
111  0x55d3, 0x807a, 0x800e, 0x8002, 0x0002, 0x0002, 0x0002, 0x000f,
112  0x55d2, 0x800d, 0x8001, 0x8001, 0x0001, 0x0001, 0x0001, 0x000e,
113  0x5565, 0x8000, 0x8000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0000,
114  0x5558, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0xffff, 0xfff2, 0xff93,
115  0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff1, 0xff85, 0xff92,
116  0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff0, 0xff84, 0xff84, 0xff91,
117  0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0xff83, 0xff83, 0xff83, 0xccdd,
118  0x5554, 0x7ffb, 0x7fee, 0x7f82, 0xff82, 0xff82, 0xcccf, 0xaabb,
119  0x5553, 0x7fed, 0x7f81, 0x7f81, 0xff81, 0xccce, 0xaaad, 0x8013,
120  0x5545, 0x7f80, 0x7f80, 0x7f80, 0xcccd, 0xaaac, 0x8005, 0x8012,
121  0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xaaab, 0x8004, 0x8004, 0x8011,
122  0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x8003, 0x8003, 0x8003, 0x8010,
123  0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x8002, 0x8002, 0x8002, 0x800f,
124  0x2222, 0x2aa8, 0x0001, 0x0001, 0x8001, 0x8001, 0x8001, 0x5566,
125  0x0000, 0x0000, 0x0000, 0x0000, 0x8000, 0x8000, 0x5558, 0x3344,
126  0xd558, 0xffff, 0xffff, 0xffff, 0x7fff, 0x5557, 0x3336, 0x0090,
127  0xd557, 0xfffe, 0xfffe, 0xfffe, 0x5556, 0x3335, 0x0082, 0x008f,
128  0xd556, 0xfffd, 0xfffd, 0xd555, 0x3334, 0x0081, 0x0081, 0x008e,
129  0xd555, 0xfffc, 0xd554, 0xb333, 0x0080, 0x0080, 0x0080, 0x008d,
130  0xd554, 0xd553, 0xb332, 0x807f, 0x007f, 0x007f, 0x007f, 0x0020,
131  0xaaab, 0xb331, 0x807e, 0x807e, 0x007e, 0x007e, 0x0012, 0x0013,
132  0x8889, 0x807d, 0x807d, 0x807d, 0x007d, 0x0011, 0x0005, 0x0012,
133  0x55d5, 0x807c, 0x807c, 0x807c, 0x0010, 0x0004, 0x0004, 0x0011,
134  0x807c, 0x807c, 0x807c, 0x0010, 0x0004, 0x0004, 0x0011, 0x007d,
135  0x807b, 0x807b, 0x800f, 0x0003, 0x0003, 0x0003, 0x0010, 0x007c,
136  0x807a, 0x800e, 0x8002, 0x0002, 0x0002, 0x0002, 0x000f, 0x007b,
137  0x800d, 0x8001, 0x8001, 0x0001, 0x0001, 0x0001, 0x000e, 0x006d,
138  0x8000, 0x8000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
139  0x7fff, 0x7fff, 0x7fff, 0xffff, 0xffff, 0xfff2, 0xff93, 0xffff,
140  0x7ffe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff1, 0xff85, 0xff92, 0xfffe,
141  0x7ffd, 0x7ffd, 0x7ffd, 0xfff0, 0xff84, 0xff84, 0xff91, 0xcd4a,
142  0x7ffc, 0x7ffc, 0x7fef, 0xff83, 0xff83, 0xff83, 0xccdd, 0xab28,
143  0x7ffb, 0x7fee, 0x7f82, 0xff82, 0xff82, 0xcccf, 0xaabb, 0x8080,
144  0x7fed, 0x7f81, 0x7f81, 0xff81, 0xccce, 0xaaad, 0x8013, 0x807f,
145  0x7f80, 0x7f80, 0x7f80, 0xcccd, 0xaaac, 0x8005, 0x8012, 0x807e,
146  0x7f7f, 0x7f7f, 0x4ccc, 0xaaab, 0x8004, 0x8004, 0x8011, 0x807d,
147  0x7f7e, 0x4ccb, 0x2aaa, 0x8003, 0x8003, 0x8003, 0x8010, 0x807c,
148  0x4cca, 0x2aa9, 0x0002, 0x8002, 0x8002, 0x8002, 0x800f, 0x55d3,
149  0x2aa8, 0x0001, 0x0001, 0x8001, 0x8001, 0x8001, 0x5566, 0x33b1,
150  0x0000, 0x0000, 0x0000, 0x8000, 0x8000, 0x5558, 0x3344, 0x00fd,
151  0xffff, 0xffff, 0xffff, 0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc,
152  0xfffe, 0xfffe, 0xfffe, 0x5556, 0x3335, 0x0082, 0x008f, 0x00fb,
153  0xfffd, 0xfffd, 0xd555, 0x3334, 0x0081, 0x0081, 0x008e, 0x00fa,
154  0xfffc, 0xd554, 0xb333, 0x0080, 0x0080, 0x0080, 0x008d, 0x008d,
155  0xd553, 0xb332, 0x807f, 0x007f, 0x007f, 0x007f, 0x0020, 0x0080,
156  0xb331, 0x807e, 0x807e, 0x007e, 0x007e, 0x0012, 0x0013, 0x007f,
157  0x807d, 0x807d, 0x807d, 0x007d, 0x0011, 0x0005, 0x0012, 0x007e,
158  0x807d, 0x807d, 0x007d, 0x0011, 0x0005, 0x0012, 0x007e, 0x007e,
159  0x807c, 0x807c, 0x0010, 0x0004, 0x0004, 0x0011, 0x007d, 0x007d,
160  0x807b, 0x800f, 0x0003, 0x0003, 0x0003, 0x0010, 0x007c, 0x007c,
161  0x800e, 0x8002, 0x0002, 0x0002, 0x0002, 0x000f, 0x007b, 0x006e,
162  0x8001, 0x8001, 0x0001, 0x0001, 0x0001, 0x000e, 0x006d, 0x0001,
163  0x8000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
164  0x7fff, 0x7fff, 0xffff, 0xffff, 0xfff2, 0xff93, 0xffff, 0xffff,
165  0x7ffe, 0x7ffe, 0xfffe, 0xfff1, 0xff85, 0xff92, 0xfffe, 0xcd4b,
166  0x7ffd, 0x7ffd, 0xfff0, 0xff84, 0xff84, 0xff91, 0xcd4a, 0xab29,
167  0x7ffc, 0x7fef, 0xff83, 0xff83, 0xff83, 0xccdd, 0xab28, 0x8081,
168  0x7fee, 0x7f82, 0xff82, 0xff82, 0xcccf, 0xaabb, 0x8080, 0x8080,
169  0x7f81, 0x7f81, 0xff81, 0xccce, 0xaaad, 0x8013, 0x807f, 0x807f,
170  0x7f80, 0x7f80, 0xcccd, 0xaaac, 0x8005, 0x8012, 0x807e, 0x807e,
171  0x7f7f, 0x4ccc, 0xaaab, 0x8004, 0x8004, 0x8011, 0x807d, 0x807d,
172  0x4ccb, 0x2aaa, 0x8003, 0x8003, 0x8003, 0x8010, 0x807c, 0x55d4,
173  0x2aa9, 0x0002, 0x8002, 0x8002, 0x8002, 0x800f, 0x55d3, 0x33b2,
174  0x0001, 0x0001, 0x8001, 0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe,
175  0x0000, 0x0000, 0x8000, 0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd,
176  0xffff, 0xffff, 0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc, 0x00fc,
177  0xfffe, 0xfffe, 0x5556, 0x3335, 0x0082, 0x008f, 0x00fb, 0x00fb,
178  0xfffd, 0xd555, 0x3334, 0x0081, 0x0081, 0x008e, 0x00fa, 0x008e,
179  0xd554, 0xb333, 0x0080, 0x0080, 0x0080, 0x008d, 0x008d, 0x0081,
180  0xb332, 0x807f, 0x007f, 0x007f, 0x007f, 0x0020, 0x0080, 0x0080,
181  0x807e, 0x807e, 0x007e, 0x007e, 0x0012, 0x0013, 0x007f, 0x007f,
182  0x807e, 0x007e, 0x007e, 0x0012, 0x0013, 0x007f, 0x007f, 0x007f,
183  0x807d, 0x007d, 0x0011, 0x0005, 0x0012, 0x007e, 0x007e, 0x007e,
184  0x807c, 0x0010, 0x0004, 0x0004, 0x0011, 0x007d, 0x007d, 0x007d,
185  0x800f, 0x0003, 0x0003, 0x0003, 0x0010, 0x007c, 0x007c, 0x006f,
186  0x8002, 0x0002, 0x0002, 0x0002, 0x000f, 0x007b, 0x006e, 0x0002,
187  0x8001, 0x0001, 0x0001, 0x0001, 0x000e, 0x006d, 0x0001, 0x0001,
188  0x8000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
189  0x7fff, 0xffff, 0xffff, 0xfff2, 0xff93, 0xffff, 0xffff, 0xcd4c,
190  0x7ffe, 0xfffe, 0xfff1, 0xff85, 0xff92, 0xfffe, 0xcd4b, 0xab2a,
191  0x7ffd, 0xfff0, 0xff84, 0xff84, 0xff91, 0xcd4a, 0xab29, 0x8082,
192  0x7fef, 0xff83, 0xff83, 0xff83, 0xccdd, 0xab28, 0x8081, 0x8081,
193  0x7f82, 0xff82, 0xff82, 0xcccf, 0xaabb, 0x8080, 0x8080, 0x8080,
194  0x7f81, 0xff81, 0xccce, 0xaaad, 0x8013, 0x807f, 0x807f, 0x807f,
195  0x7f80, 0xcccd, 0xaaac, 0x8005, 0x8012, 0x807e, 0x807e, 0x807e,
196  0x4ccc, 0xaaab, 0x8004, 0x8004, 0x8011, 0x807d, 0x807d, 0x55d5,
197  0x2aaa, 0x8003, 0x8003, 0x8003, 0x8010, 0x807c, 0x55d4, 0x33b3,
198  0x0002, 0x8002, 0x8002, 0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff,
199  0x0001, 0x8001, 0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe, 0x00fe,
200  0x0000, 0x8000, 0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd, 0x00fd,
201  0xffff, 0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc, 0x00fc, 0x00fc,
202  0xfffe, 0x5556, 0x3335, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x008f,
203  0xd555, 0x3334, 0x0081, 0x0081, 0x008e, 0x00fa, 0x008e, 0x0082,
204  0xb333, 0x0080, 0x0080, 0x0080, 0x008d, 0x008d, 0x0081, 0x0081,
205  0x807f, 0x007f, 0x007f, 0x007f, 0x0020, 0x0080, 0x0080, 0x0080,
206  0x007f, 0x007f, 0x007f, 0x0020, 0x0080, 0x0080, 0x0080, 0x3333,
207  0x007e, 0x007e, 0x0012, 0x0013, 0x007f, 0x007f, 0x007f, 0x3332,
208  0x007d, 0x0011, 0x0005, 0x0012, 0x007e, 0x007e, 0x007e, 0x3331,
209  0x0010, 0x0004, 0x0004, 0x0011, 0x007d, 0x007d, 0x007d, 0x3323,
210  0x0003, 0x0003, 0x0003, 0x0010, 0x007c, 0x007c, 0x006f, 0x32b6,
211  0x0002, 0x0002, 0x0002, 0x000f, 0x007b, 0x006e, 0x0002, 0x32b5,
212  0x0001, 0x0001, 0x0001, 0x000e, 0x006d, 0x0001, 0x0001, 0x32b4,
213  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
214  0xffff, 0xffff, 0xfff2, 0xff93, 0xffff, 0xffff, 0xcd4c, 0xddde,
215  0xfffe, 0xfff1, 0xff85, 0xff92, 0xfffe, 0xcd4b, 0xab2a, 0xb336,
216  0xfff0, 0xff84, 0xff84, 0xff91, 0xcd4a, 0xab29, 0x8082, 0xb335,
217  0xff83, 0xff83, 0xff83, 0xccdd, 0xab28, 0x8081, 0x8081, 0xb334,
218  0xff82, 0xff82, 0xcccf, 0xaabb, 0x8080, 0x8080, 0x8080, 0xb333,
219  0xff81, 0xccce, 0xaaad, 0x8013, 0x807f, 0x807f, 0x807f, 0xb332,
220  0xcccd, 0xaaac, 0x8005, 0x8012, 0x807e, 0x807e, 0x807e, 0x8889,
221  0xaaab, 0x8004, 0x8004, 0x8011, 0x807d, 0x807d, 0x55d5, 0x6667,
222  0x8003, 0x8003, 0x8003, 0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3,
223  0x8002, 0x8002, 0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2,
224  0x8001, 0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe, 0x00fe, 0x33b1,
225  0x8000, 0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd, 0x00fd, 0x33b0,
226  0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3343,
227  0x5556, 0x3335, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x008f, 0x3336,
228  0x3334, 0x0081, 0x0081, 0x008e, 0x00fa, 0x008e, 0x0082, 0x3335,
229  0x0080, 0x0080, 0x0080, 0x008d, 0x008d, 0x0081, 0x0081, 0x3334,
230  0x0080, 0x0080, 0x008d, 0x008d, 0x0081, 0x0081, 0x3334, 0x5555,
231  0x007f, 0x007f, 0x0020, 0x0080, 0x0080, 0x0080, 0x3333, 0x5554,
232  0x007e, 0x0012, 0x0013, 0x007f, 0x007f, 0x007f, 0x3332, 0x5553,
233  0x0011, 0x0005, 0x0012, 0x007e, 0x007e, 0x007e, 0x3331, 0x5545,
234  0x0004, 0x0004, 0x0011, 0x007d, 0x007d, 0x007d, 0x3323, 0x54d8,
235  0x0003, 0x0003, 0x0010, 0x007c, 0x007c, 0x006f, 0x32b6, 0x54d7,
236  0x0002, 0x0002, 0x000f, 0x007b, 0x006e, 0x0002, 0x32b5, 0x54d6,
237  0x0001, 0x0001, 0x000e, 0x006d, 0x0001, 0x0001, 0x32b4, 0x2222,
238  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
239  0xffff, 0xfff2, 0xff93, 0xffff, 0xffff, 0xcd4c, 0xddde, 0xd558,
240  0xfff1, 0xff85, 0xff92, 0xfffe, 0xcd4b, 0xab2a, 0xb336, 0xd557,
241  0xff84, 0xff84, 0xff91, 0xcd4a, 0xab29, 0x8082, 0xb335, 0xd556,
242  0xff83, 0xff83, 0xccdd, 0xab28, 0x8081, 0x8081, 0xb334, 0xd555,
243  0xff82, 0xcccf, 0xaabb, 0x8080, 0x8080, 0x8080, 0xb333, 0xd554,
244  0xccce, 0xaaad, 0x8013, 0x807f, 0x807f, 0x807f, 0xb332, 0xaaab,
245  0xaaac, 0x8005, 0x8012, 0x807e, 0x807e, 0x807e, 0x8889, 0x8889,
246  0x8004, 0x8004, 0x8011, 0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5,
247  0x8003, 0x8003, 0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4,
248  0x8002, 0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2, 0x55d3,
249  0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe, 0x00fe, 0x33b1, 0x55d2,
250  0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x5565,
251  0x5557, 0x3336, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3343, 0x5558,
252  0x3335, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x008f, 0x3336, 0x5557,
253  0x0081, 0x0081, 0x008e, 0x00fa, 0x008e, 0x0082, 0x3335, 0x5556,
254  0x0081, 0x008e, 0x00fa, 0x008e, 0x0082, 0x3335, 0x5556, 0x7ffd,
255  0x0080, 0x008d, 0x008d, 0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc,
256  0x007f, 0x0020, 0x0080, 0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb,
257  0x0012, 0x0013, 0x007f, 0x007f, 0x007f, 0x3332, 0x5553, 0x7fed,
258  0x0005, 0x0012, 0x007e, 0x007e, 0x007e, 0x3331, 0x5545, 0x7f80,
259  0x0004, 0x0011, 0x007d, 0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f,
260  0x0003, 0x0010, 0x007c, 0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e,
261  0x0002, 0x000f, 0x007b, 0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca,
262  0x0001, 0x000e, 0x006d, 0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8,
263  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
264  0xfff2, 0xff93, 0xffff, 0xffff, 0xcd4c, 0xddde, 0xd558, 0xffff,
265  0xff85, 0xff92, 0xfffe, 0xcd4b, 0xab2a, 0xb336, 0xd557, 0xfffe,
266  0xff84, 0xff91, 0xcd4a, 0xab29, 0x8082, 0xb335, 0xd556, 0xfffd,
267  0xff83, 0xccdd, 0xab28, 0x8081, 0x8081, 0xb334, 0xd555, 0xfffc,
268  0xcccf, 0xaabb, 0x8080, 0x8080, 0x8080, 0xb333, 0xd554, 0xd553,
269  0xaaad, 0x8013, 0x807f, 0x807f, 0x807f, 0xb332, 0xaaab, 0xb331,
270  0x8005, 0x8012, 0x807e, 0x807e, 0x807e, 0x8889, 0x8889, 0x807d,
271  0x8004, 0x8011, 0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c,
272  0x8003, 0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b,
273  0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a,
274  0x8001, 0x5566, 0x33b1, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d,
275  0x5558, 0x3344, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x5565, 0x8000,
276  0x3336, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3343, 0x5558, 0x7fff,
277  0x0082, 0x008f, 0x00fb, 0x00fb, 0x008f, 0x3336, 0x5557, 0x7ffe,
278  0x008f, 0x00fb, 0x00fb, 0x008f, 0x3336, 0x5557, 0x7ffe, 0x7ffe,
279  0x008e, 0x00fa, 0x008e, 0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd,
280  0x008d, 0x008d, 0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc,
281  0x0020, 0x0080, 0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb, 0x7fee,
282  0x0013, 0x007f, 0x007f, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81,
283  0x0012, 0x007e, 0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80,
284  0x0011, 0x007d, 0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f,
285  0x0010, 0x007c, 0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb,
286  0x000f, 0x007b, 0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9,
287  0x000e, 0x006d, 0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001,
288  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
289  0xff93, 0xffff, 0xffff, 0xcd4c, 0xddde, 0xd558, 0xffff, 0xffff,
290  0xff92, 0xfffe, 0xcd4b, 0xab2a, 0xb336, 0xd557, 0xfffe, 0xfffe,
291  0xff91, 0xcd4a, 0xab29, 0x8082, 0xb335, 0xd556, 0xfffd, 0xfffd,
292  0xccdd, 0xab28, 0x8081, 0x8081, 0xb334, 0xd555, 0xfffc, 0xd554,
293  0xaabb, 0x8080, 0x8080, 0x8080, 0xb333, 0xd554, 0xd553, 0xb332,
294  0x8013, 0x807f, 0x807f, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e,
295  0x8012, 0x807e, 0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d,
296  0x8011, 0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c,
297  0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b,
298  0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e,
299  0x5566, 0x33b1, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001,
300  0x3344, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x5565, 0x8000, 0x8000,
301  0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3343, 0x5558, 0x7fff, 0x7fff,
302  0x00fc, 0x00fc, 0x00fc, 0x3343, 0x5558, 0x7fff, 0x7fff, 0x7fff,
303  0x00fb, 0x00fb, 0x008f, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe,
304  0x00fa, 0x008e, 0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd,
305  0x008d, 0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef,
306  0x0080, 0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82,
307  0x007f, 0x007f, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81,
308  0x007e, 0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80,
309  0x007d, 0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc,
310  0x007c, 0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa,
311  0x007b, 0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002,
312  0x006d, 0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001,
313  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
314  0xffff, 0xffff, 0xcd4c, 0xddde, 0xd558, 0xffff, 0xffff, 0xffff,
315  0xfffe, 0xcd4b, 0xab2a, 0xb336, 0xd557, 0xfffe, 0xfffe, 0xfffe,
316  0xcd4a, 0xab29, 0x8082, 0xb335, 0xd556, 0xfffd, 0xfffd, 0xd555,
317  0xab28, 0x8081, 0x8081, 0xb334, 0xd555, 0xfffc, 0xd554, 0xb333,
318  0x8080, 0x8080, 0x8080, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f,
319  0x807f, 0x807f, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e,
320  0x807e, 0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d,
321  0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c,
322  0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f,
323  0x55d3, 0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002,
324  0x33b1, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001,
325  0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x5565, 0x8000, 0x8000, 0x8000,
326  0x00fd, 0x00fd, 0x33b0, 0x5565, 0x8000, 0x8000, 0x8000, 0x8000,
327  0x00fc, 0x00fc, 0x3343, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
328  0x00fb, 0x008f, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe,
329  0x008e, 0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff0,
330  0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x7f83,
331  0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x7f82,
332  0x007f, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x7f81,
333  0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0x4ccd,
334  0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0x2aab,
335  0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x0003,
336  0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x0002,
337  0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x0001,
338  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
339  0xffff, 0xcd4c, 0xddde, 0xd558, 0xffff, 0xffff, 0xffff, 0xffff,
340  0xcd4b, 0xab2a, 0xb336, 0xd557, 0xfffe, 0xfffe, 0xfffe, 0xd556,
341  0xab29, 0x8082, 0xb335, 0xd556, 0xfffd, 0xfffd, 0xd555, 0xb334,
342  0x8081, 0x8081, 0xb334, 0xd555, 0xfffc, 0xd554, 0xb333, 0x8080,
343  0x8080, 0x8080, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x807f,
344  0x807f, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x807e,
345  0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x807d,
346  0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x8010,
347  0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x8003,
348  0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x8002,
349  0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x8001,
350  0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x8001, 0x8001,
351  0x00fd, 0x33b0, 0x5565, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000,
352  0x00fc, 0x3343, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
353  0x008f, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff1,
354  0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff0, 0x7f84,
355  0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x7f83, 0x7f83,
356  0x0080, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x7f82, 0x7f82,
357  0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x7f81, 0x4cce,
358  0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0x4ccd, 0x2aac,
359  0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0x2aab, 0x0004,
360  0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x0003, 0x0003,
361  0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x0002, 0x0002,
362  0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x0001, 0x0001,
363  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
364  0xcd4c, 0xddde, 0xd558, 0xffff, 0xffff, 0xffff, 0xffff, 0xd557,
365  0xab2a, 0xb336, 0xd557, 0xfffe, 0xfffe, 0xfffe, 0xd556, 0xb335,
366  0x8082, 0xb335, 0xd556, 0xfffd, 0xfffd, 0xd555, 0xb334, 0x8081,
367  0x8081, 0xb334, 0xd555, 0xfffc, 0xd554, 0xb333, 0x8080, 0x8080,
368  0x8080, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x807f, 0x807f,
369  0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x807e, 0x807e,
370  0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x807d, 0x8011,
371  0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x8010, 0x8004,
372  0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x8003, 0x8003,
373  0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x8002, 0x8002,
374  0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x8002, 0x8002, 0xaaaa,
375  0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x8001, 0x8001, 0xaaa9,
376  0x33b0, 0x5565, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0xaaa8,
377  0x3343, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xaa9a,
378  0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff1, 0xaa2d,
379  0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff0, 0x7f84, 0xaa2c,
380  0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x7f83, 0x7f83, 0xaa2b,
381  0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x7f82, 0x7f82, 0x7777,
382  0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x7f81, 0x4cce, 0x5555,
383  0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0x4ccd, 0x2aac, 0x2aad,
384  0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0x2aab, 0x0004, 0x2aac,
385  0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x0003, 0x0003, 0x2aab,
386  0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x0002, 0x0002, 0x2aaa,
387  0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x0001, 0x0001, 0x2aa9,
388  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
389  0xddde, 0xd558, 0xffff, 0xffff, 0xffff, 0xffff, 0xd557, 0xddde,
390  0xb336, 0xd557, 0xfffe, 0xfffe, 0xfffe, 0xd556, 0xb335, 0xab2a,
391  0xb335, 0xd556, 0xfffd, 0xfffd, 0xd555, 0xb334, 0x8081, 0xab29,
392  0xb334, 0xd555, 0xfffc, 0xd554, 0xb333, 0x8080, 0x8080, 0xab28,
393  0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x807f, 0x807f, 0xab27,
394  0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x807e, 0x807e, 0xaaba,
395  0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x807d, 0x8011, 0xaaad,
396  0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x8010, 0x8004, 0xaaac,
397  0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x8003, 0x8003, 0xaaab,
398  0x55d4, 0x807b, 0x807b, 0x800f, 0x8003, 0x8003, 0xaaab, 0xcccc,
399  0x55d3, 0x807a, 0x800e, 0x8002, 0x8002, 0x8002, 0xaaaa, 0xcccb,
400  0x55d2, 0x800d, 0x8001, 0x8001, 0x8001, 0x8001, 0xaaa9, 0xccca,
401  0x5565, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0xaaa8, 0xccbc,
402  0x5558, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xaa9a, 0xcc4f,
403  0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff1, 0xaa2d, 0xcc4e,
404  0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff0, 0x7f84, 0xaa2c, 0xcc4d,
405  0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x7f83, 0x7f83, 0xaa2b, 0x9999,
406  0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x7f82, 0x7f82, 0x7777, 0x7777,
407  0x5553, 0x7fed, 0x7f81, 0x7f81, 0x7f81, 0x4cce, 0x5555, 0x4ccf,
408  0x5545, 0x7f80, 0x7f80, 0x7f80, 0x4ccd, 0x2aac, 0x2aad, 0x4cce,
409  0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0x2aab, 0x0004, 0x2aac, 0x4ccd,
410  0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x0003, 0x0003, 0x2aab, 0x4ccc,
411  0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x0002, 0x0002, 0x2aaa, 0x4ccb,
412  0x2222, 0x2aa8, 0x0001, 0x0001, 0x0001, 0x0001, 0x2aa9, 0x2222,
413  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
414  0xd558, 0xffff, 0xffff, 0xffff, 0xffff, 0xd557, 0xddde, 0xcd4c,
415  0xd557, 0xfffe, 0xfffe, 0xfffe, 0xd556, 0xb335, 0xab2a, 0xcd4b,
416  0xd556, 0xfffd, 0xfffd, 0xd555, 0xb334, 0x8081, 0xab29, 0xcd4a,
417  0xd555, 0xfffc, 0xd554, 0xb333, 0x8080, 0x8080, 0xab28, 0xcd49,
418  0xd554, 0xd553, 0xb332, 0x807f, 0x807f, 0x807f, 0xab27, 0xccdc,
419  0xaaab, 0xb331, 0x807e, 0x807e, 0x807e, 0x807e, 0xaaba, 0xcccf,
420  0x8889, 0x807d, 0x807d, 0x807d, 0x807d, 0x8011, 0xaaad, 0xccce,
421  0x55d5, 0x807c, 0x807c, 0x807c, 0x8010, 0x8004, 0xaaac, 0xcccd,
422  0x807c, 0x807c, 0x807c, 0x8010, 0x8004, 0xaaac, 0xcccd, 0xff80,
423  0x807b, 0x807b, 0x800f, 0x8003, 0x8003, 0xaaab, 0xcccc, 0xff7f,
424  0x807a, 0x800e, 0x8002, 0x8002, 0x8002, 0xaaaa, 0xcccb, 0xff7e,
425  0x800d, 0x8001, 0x8001, 0x8001, 0x8001, 0xaaa9, 0xccca, 0xff70,
426  0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0xaaa8, 0xccbc, 0xff03,
427  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xaa9a, 0xcc4f, 0xff02,
428  0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff1, 0xaa2d, 0xcc4e, 0xff01,
429  0x7ffd, 0x7ffd, 0x7ffd, 0x7ff0, 0x7f84, 0xaa2c, 0xcc4d, 0xcc4d,
430  0x7ffc, 0x7ffc, 0x7fef, 0x7f83, 0x7f83, 0xaa2b, 0x9999, 0xaa2b,
431  0x7ffb, 0x7fee, 0x7f82, 0x7f82, 0x7f82, 0x7777, 0x7777, 0x7f83,
432  0x7fed, 0x7f81, 0x7f81, 0x7f81, 0x4cce, 0x5555, 0x4ccf, 0x7f82,
433  0x7f80, 0x7f80, 0x7f80, 0x4ccd, 0x2aac, 0x2aad, 0x4cce, 0x7f81,
434  0x7f7f, 0x7f7f, 0x4ccc, 0x2aab, 0x0004, 0x2aac, 0x4ccd, 0x7f80,
435  0x7f7e, 0x4ccb, 0x2aaa, 0x0003, 0x0003, 0x2aab, 0x4ccc, 0x7f7f,
436  0x4cca, 0x2aa9, 0x0002, 0x0002, 0x0002, 0x2aaa, 0x4ccb, 0x54d6,
437  0x2aa8, 0x0001, 0x0001, 0x0001, 0x0001, 0x2aa9, 0x2222, 0x32b4,
438  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
439  0xffff, 0xffff, 0xffff, 0xffff, 0xd557, 0xddde, 0xcd4c, 0xffff,
440  0xfffe, 0xfffe, 0xfffe, 0xd556, 0xb335, 0xab2a, 0xcd4b, 0xfffe,
441  0xfffd, 0xfffd, 0xd555, 0xb334, 0x8081, 0xab29, 0xcd4a, 0xfffd,
442  0xfffc, 0xd554, 0xb333, 0x8080, 0x8080, 0xab28, 0xcd49, 0xff90,
443  0xd553, 0xb332, 0x807f, 0x807f, 0x807f, 0xab27, 0xccdc, 0xff83,
444  0xb331, 0x807e, 0x807e, 0x807e, 0x807e, 0xaaba, 0xcccf, 0xff82,
445  0x807d, 0x807d, 0x807d, 0x807d, 0x8011, 0xaaad, 0xccce, 0xff81,
446  0x807d, 0x807d, 0x807d, 0x8011, 0xaaad, 0xccce, 0xff81, 0xff81,
447  0x807c, 0x807c, 0x8010, 0x8004, 0xaaac, 0xcccd, 0xff80, 0xff80,
448  0x807b, 0x800f, 0x8003, 0x8003, 0xaaab, 0xcccc, 0xff7f, 0xff7f,
449  0x800e, 0x8002, 0x8002, 0x8002, 0xaaaa, 0xcccb, 0xff7e, 0xff71,
450  0x8001, 0x8001, 0x8001, 0x8001, 0xaaa9, 0xccca, 0xff70, 0xff04,
451  0x8000, 0x8000, 0x8000, 0x8000, 0xaaa8, 0xccbc, 0xff03, 0xff03,
452  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xaa9a, 0xcc4f, 0xff02, 0xff02,
453  0x7ffe, 0x7ffe, 0x7ffe, 0x7ff1, 0xaa2d, 0xcc4e, 0xff01, 0xcc4e,
454  0x7ffd, 0x7ffd, 0x7ff0, 0x7f84, 0xaa2c, 0xcc4d, 0xcc4d, 0xaa2c,
455  0x7ffc, 0x7fef, 0x7f83, 0x7f83, 0xaa2b, 0x9999, 0xaa2b, 0x7f84,
456  0x7fee, 0x7f82, 0x7f82, 0x7f82, 0x7777, 0x7777, 0x7f83, 0x7f83,
457  0x7f81, 0x7f81, 0x7f81, 0x4cce, 0x5555, 0x4ccf, 0x7f82, 0x7f82,
458  0x7f80, 0x7f80, 0x4ccd, 0x2aac, 0x2aad, 0x4cce, 0x7f81, 0x7f81,
459  0x7f7f, 0x4ccc, 0x2aab, 0x0004, 0x2aac, 0x4ccd, 0x7f80, 0x7f80,
460  0x4ccb, 0x2aaa, 0x0003, 0x0003, 0x2aab, 0x4ccc, 0x7f7f, 0x54d7,
461  0x2aa9, 0x0002, 0x0002, 0x0002, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5,
462  0x0001, 0x0001, 0x0001, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001,
463  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
464  0xffff, 0xffff, 0xffff, 0xd557, 0xddde, 0xcd4c, 0xffff, 0xffff,
465  0xfffe, 0xfffe, 0xd556, 0xb335, 0xab2a, 0xcd4b, 0xfffe, 0xfffe,
466  0xfffd, 0xd555, 0xb334, 0x8081, 0xab29, 0xcd4a, 0xfffd, 0xff91,
467  0xd554, 0xb333, 0x8080, 0x8080, 0xab28, 0xcd49, 0xff90, 0xff84,
468  0xb332, 0x807f, 0x807f, 0x807f, 0xab27, 0xccdc, 0xff83, 0xff83,
469  0x807e, 0x807e, 0x807e, 0x807e, 0xaaba, 0xcccf, 0xff82, 0xff82,
470  0x807e, 0x807e, 0x807e, 0xaaba, 0xcccf, 0xff82, 0xff82, 0xff82,
471  0x807d, 0x807d, 0x8011, 0xaaad, 0xccce, 0xff81, 0xff81, 0xff81,
472  0x807c, 0x8010, 0x8004, 0xaaac, 0xcccd, 0xff80, 0xff80, 0xff80,
473  0x800f, 0x8003, 0x8003, 0xaaab, 0xcccc, 0xff7f, 0xff7f, 0xff72,
474  0x8002, 0x8002, 0x8002, 0xaaaa, 0xcccb, 0xff7e, 0xff71, 0xff05,
475  0x8001, 0x8001, 0x8001, 0xaaa9, 0xccca, 0xff70, 0xff04, 0xff04,
476  0x8000, 0x8000, 0x8000, 0xaaa8, 0xccbc, 0xff03, 0xff03, 0xff03,
477  0x7fff, 0x7fff, 0x7fff, 0xaa9a, 0xcc4f, 0xff02, 0xff02, 0xcc4f,
478  0x7ffe, 0x7ffe, 0x7ff1, 0xaa2d, 0xcc4e, 0xff01, 0xcc4e, 0xaa2d,
479  0x7ffd, 0x7ff0, 0x7f84, 0xaa2c, 0xcc4d, 0xcc4d, 0xaa2c, 0x7f85,
480  0x7fef, 0x7f83, 0x7f83, 0xaa2b, 0x9999, 0xaa2b, 0x7f84, 0x7f84,
481  0x7f82, 0x7f82, 0x7f82, 0x7777, 0x7777, 0x7f83, 0x7f83, 0x7f83,
482  0x7f81, 0x7f81, 0x4cce, 0x5555, 0x4ccf, 0x7f82, 0x7f82, 0x7f82,
483  0x7f80, 0x4ccd, 0x2aac, 0x2aad, 0x4cce, 0x7f81, 0x7f81, 0x7f81,
484  0x4ccc, 0x2aab, 0x0004, 0x2aac, 0x4ccd, 0x7f80, 0x7f80, 0x54d8,
485  0x2aaa, 0x0003, 0x0003, 0x2aab, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6,
486  0x0002, 0x0002, 0x0002, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002,
487  0x0001, 0x0001, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001,
488  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
489  0xffff, 0xffff, 0xd557, 0xddde, 0xcd4c, 0xffff, 0xffff, 0xffff,
490  0xfffe, 0xd556, 0xb335, 0xab2a, 0xcd4b, 0xfffe, 0xfffe, 0xff92,
491  0xd555, 0xb334, 0x8081, 0xab29, 0xcd4a, 0xfffd, 0xff91, 0xff85,
492  0xb333, 0x8080, 0x8080, 0xab28, 0xcd49, 0xff90, 0xff84, 0xff84,
493  0x807f, 0x807f, 0x807f, 0xab27, 0xccdc, 0xff83, 0xff83, 0xff83,
494  0x807f, 0x807f, 0xab27, 0xccdc, 0xff83, 0xff83, 0xff83, 0xff83,
495  0x807e, 0x807e, 0xaaba, 0xcccf, 0xff82, 0xff82, 0xff82, 0xff82,
496  0x807d, 0x8011, 0xaaad, 0xccce, 0xff81, 0xff81, 0xff81, 0xff81,
497  0x8010, 0x8004, 0xaaac, 0xcccd, 0xff80, 0xff80, 0xff80, 0xff73,
498  0x8003, 0x8003, 0xaaab, 0xcccc, 0xff7f, 0xff7f, 0xff72, 0xff06,
499  0x8002, 0x8002, 0xaaaa, 0xcccb, 0xff7e, 0xff71, 0xff05, 0xff05,
500  0x8001, 0x8001, 0xaaa9, 0xccca, 0xff70, 0xff04, 0xff04, 0xff04,
501  0x8000, 0x8000, 0xaaa8, 0xccbc, 0xff03, 0xff03, 0xff03, 0xcc50,
502  0x7fff, 0x7fff, 0xaa9a, 0xcc4f, 0xff02, 0xff02, 0xcc4f, 0xaa2e,
503  0x7ffe, 0x7ff1, 0xaa2d, 0xcc4e, 0xff01, 0xcc4e, 0xaa2d, 0x7f86,
504  0x7ff0, 0x7f84, 0xaa2c, 0xcc4d, 0xcc4d, 0xaa2c, 0x7f85, 0x7f85,
505  0x7f83, 0x7f83, 0xaa2b, 0x9999, 0xaa2b, 0x7f84, 0x7f84, 0x7f84,
506  0x7f82, 0x7f82, 0x7777, 0x7777, 0x7f83, 0x7f83, 0x7f83, 0x7f83,
507  0x7f81, 0x4cce, 0x5555, 0x4ccf, 0x7f82, 0x7f82, 0x7f82, 0x7f82,
508  0x4ccd, 0x2aac, 0x2aad, 0x4cce, 0x7f81, 0x7f81, 0x7f81, 0x54d9,
509  0x2aab, 0x0004, 0x2aac, 0x4ccd, 0x7f80, 0x7f80, 0x54d8, 0x32b7,
510  0x0003, 0x0003, 0x2aab, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003,
511  0x0002, 0x0002, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002,
512  0x0001, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001, 0x0001,
513  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
514  0xffff, 0xd557, 0xddde, 0xcd4c, 0xffff, 0xffff, 0xffff, 0xff93,
515  0xd556, 0xb335, 0xab2a, 0xcd4b, 0xfffe, 0xfffe, 0xff92, 0xff86,
516  0xb334, 0x8081, 0xab29, 0xcd4a, 0xfffd, 0xff91, 0xff85, 0xff85,
517  0x8080, 0x8080, 0xab28, 0xcd49, 0xff90, 0xff84, 0xff84, 0xff84,
518  0x8080, 0xab28, 0xcd49, 0xff90, 0xff84, 0xff84, 0xff84, 0xfff0,
519  0x807f, 0xab27, 0xccdc, 0xff83, 0xff83, 0xff83, 0xff83, 0xffef,
520  0x807e, 0xaaba, 0xcccf, 0xff82, 0xff82, 0xff82, 0xff82, 0xffee,
521  0x8011, 0xaaad, 0xccce, 0xff81, 0xff81, 0xff81, 0xff81, 0xffe0,
522  0x8004, 0xaaac, 0xcccd, 0xff80, 0xff80, 0xff80, 0xff73, 0xff73,
523  0x8003, 0xaaab, 0xcccc, 0xff7f, 0xff7f, 0xff72, 0xff06, 0xff72,
524  0x8002, 0xaaaa, 0xcccb, 0xff7e, 0xff71, 0xff05, 0xff05, 0xff71,
525  0x8001, 0xaaa9, 0xccca, 0xff70, 0xff04, 0xff04, 0xff04, 0xccbd,
526  0x8000, 0xaaa8, 0xccbc, 0xff03, 0xff03, 0xff03, 0xcc50, 0xaa9b,
527  0x7fff, 0xaa9a, 0xcc4f, 0xff02, 0xff02, 0xcc4f, 0xaa2e, 0x7ff3,
528  0x7ff1, 0xaa2d, 0xcc4e, 0xff01, 0xcc4e, 0xaa2d, 0x7f86, 0x7ff2,
529  0x7f84, 0xaa2c, 0xcc4d, 0xcc4d, 0xaa2c, 0x7f85, 0x7f85, 0x7ff1,
530  0x7f83, 0xaa2b, 0x9999, 0xaa2b, 0x7f84, 0x7f84, 0x7f84, 0x7ff0,
531  0x7f82, 0x7777, 0x7777, 0x7f83, 0x7f83, 0x7f83, 0x7f83, 0x7fef,
532  0x4cce, 0x5555, 0x4ccf, 0x7f82, 0x7f82, 0x7f82, 0x7f82, 0x5546,
533  0x2aac, 0x2aad, 0x4cce, 0x7f81, 0x7f81, 0x7f81, 0x54d9, 0x3324,
534  0x0004, 0x2aac, 0x4ccd, 0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070,
535  0x0003, 0x2aab, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f,
536  0x0002, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002, 0x006e,
537  0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001, 0x0001, 0x006d,
538  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
539  0xd557, 0xddde, 0xcd4c, 0xffff, 0xffff, 0xffff, 0xff93, 0xfff3,
540  0xb335, 0xab2a, 0xcd4b, 0xfffe, 0xfffe, 0xff92, 0xff86, 0xfff2,
541  0x8081, 0xab29, 0xcd4a, 0xfffd, 0xff91, 0xff85, 0xff85, 0xfff1,
542  0xab29, 0xcd4a, 0xfffd, 0xff91, 0xff85, 0xff85, 0xfff1, 0xfffd,
543  0xab28, 0xcd49, 0xff90, 0xff84, 0xff84, 0xff84, 0xfff0, 0xfffc,
544  0xab27, 0xccdc, 0xff83, 0xff83, 0xff83, 0xff83, 0xffef, 0xfffb,
545  0xaaba, 0xcccf, 0xff82, 0xff82, 0xff82, 0xff82, 0xffee, 0xffed,
546  0xaaad, 0xccce, 0xff81, 0xff81, 0xff81, 0xff81, 0xffe0, 0xff80,
547  0xaaac, 0xcccd, 0xff80, 0xff80, 0xff80, 0xff73, 0xff73, 0xff7f,
548  0xaaab, 0xcccc, 0xff7f, 0xff7f, 0xff72, 0xff06, 0xff72, 0xff7e,
549  0xaaaa, 0xcccb, 0xff7e, 0xff71, 0xff05, 0xff05, 0xff71, 0xccca,
550  0xaaa9, 0xccca, 0xff70, 0xff04, 0xff04, 0xff04, 0xccbd, 0xaaa8,
551  0xaaa8, 0xccbc, 0xff03, 0xff03, 0xff03, 0xcc50, 0xaa9b, 0x8000,
552  0xaa9a, 0xcc4f, 0xff02, 0xff02, 0xcc4f, 0xaa2e, 0x7ff3, 0x7fff,
553  0xaa2d, 0xcc4e, 0xff01, 0xcc4e, 0xaa2d, 0x7f86, 0x7ff2, 0x7ffe,
554  0xaa2c, 0xcc4d, 0xcc4d, 0xaa2c, 0x7f85, 0x7f85, 0x7ff1, 0x7ffd,
555  0xaa2b, 0x9999, 0xaa2b, 0x7f84, 0x7f84, 0x7f84, 0x7ff0, 0x7ffc,
556  0x7777, 0x7777, 0x7f83, 0x7f83, 0x7f83, 0x7f83, 0x7fef, 0x5553,
557  0x5555, 0x4ccf, 0x7f82, 0x7f82, 0x7f82, 0x7f82, 0x5546, 0x3331,
558  0x2aad, 0x4cce, 0x7f81, 0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d,
559  0x2aac, 0x4ccd, 0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070, 0x007c,
560  0x2aab, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f, 0x007b,
561  0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002, 0x006e, 0x007a,
562  0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001, 0x0001, 0x006d, 0x000d,
563  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
564  0xddde, 0xcd4c, 0xffff, 0xffff, 0xffff, 0xff93, 0xfff3, 0xffff,
565  0xab2a, 0xcd4b, 0xfffe, 0xfffe, 0xff92, 0xff86, 0xfff2, 0xfffe,
566  0xcd4b, 0xfffe, 0xfffe, 0xff92, 0xff86, 0xfff2, 0xfffe, 0xfffe,
567  0xcd4a, 0xfffd, 0xff91, 0xff85, 0xff85, 0xfff1, 0xfffd, 0xfffd,
568  0xcd49, 0xff90, 0xff84, 0xff84, 0xff84, 0xfff0, 0xfffc, 0xfffc,
569  0xccdc, 0xff83, 0xff83, 0xff83, 0xff83, 0xffef, 0xfffb, 0xffee,
570  0xcccf, 0xff82, 0xff82, 0xff82, 0xff82, 0xffee, 0xffed, 0xff81,
571  0xccce, 0xff81, 0xff81, 0xff81, 0xff81, 0xffe0, 0xff80, 0xff80,
572  0xcccd, 0xff80, 0xff80, 0xff80, 0xff73, 0xff73, 0xff7f, 0xff7f,
573  0xcccc, 0xff7f, 0xff7f, 0xff72, 0xff06, 0xff72, 0xff7e, 0xcccb,
574  0xcccb, 0xff7e, 0xff71, 0xff05, 0xff05, 0xff71, 0xccca, 0xaaa9,
575  0xccca, 0xff70, 0xff04, 0xff04, 0xff04, 0xccbd, 0xaaa8, 0x8001,
576  0xccbc, 0xff03, 0xff03, 0xff03, 0xcc50, 0xaa9b, 0x8000, 0x8000,
577  0xcc4f, 0xff02, 0xff02, 0xcc4f, 0xaa2e, 0x7ff3, 0x7fff, 0x7fff,
578  0xcc4e, 0xff01, 0xcc4e, 0xaa2d, 0x7f86, 0x7ff2, 0x7ffe, 0x7ffe,
579  0xcc4d, 0xcc4d, 0xaa2c, 0x7f85, 0x7f85, 0x7ff1, 0x7ffd, 0x7ffd,
580  0x9999, 0xaa2b, 0x7f84, 0x7f84, 0x7f84, 0x7ff0, 0x7ffc, 0x5554,
581  0x7777, 0x7f83, 0x7f83, 0x7f83, 0x7f83, 0x7fef, 0x5553, 0x3332,
582  0x4ccf, 0x7f82, 0x7f82, 0x7f82, 0x7f82, 0x5546, 0x3331, 0x007e,
583  0x4cce, 0x7f81, 0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d, 0x007d,
584  0x4ccd, 0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070, 0x007c, 0x007c,
585  0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f, 0x007b, 0x007b,
586  0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002, 0x006e, 0x007a, 0x000e,
587  0x2222, 0x32b4, 0x0001, 0x0001, 0x0001, 0x006d, 0x000d, 0x0001,
588  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
589  0xcd4c, 0xffff, 0xffff, 0xffff, 0xff93, 0xfff3, 0xffff, 0xffff,
590  0xffff, 0xffff, 0xffff, 0xff93, 0xfff3, 0xffff, 0xffff, 0xffff,
591  0xfffe, 0xfffe, 0xff92, 0xff86, 0xfff2, 0xfffe, 0xfffe, 0xfffe,
592  0xfffd, 0xff91, 0xff85, 0xff85, 0xfff1, 0xfffd, 0xfffd, 0xfffd,
593  0xff90, 0xff84, 0xff84, 0xff84, 0xfff0, 0xfffc, 0xfffc, 0xffef,
594  0xff83, 0xff83, 0xff83, 0xff83, 0xffef, 0xfffb, 0xffee, 0xff82,
595  0xff82, 0xff82, 0xff82, 0xff82, 0xffee, 0xffed, 0xff81, 0xff81,
596  0xff81, 0xff81, 0xff81, 0xff81, 0xffe0, 0xff80, 0xff80, 0xff80,
597  0xff80, 0xff80, 0xff80, 0xff73, 0xff73, 0xff7f, 0xff7f, 0xcccc,
598  0xff7f, 0xff7f, 0xff72, 0xff06, 0xff72, 0xff7e, 0xcccb, 0xaaaa,
599  0xff7e, 0xff71, 0xff05, 0xff05, 0xff71, 0xccca, 0xaaa9, 0x8002,
600  0xff70, 0xff04, 0xff04, 0xff04, 0xccbd, 0xaaa8, 0x8001, 0x8001,
601  0xff03, 0xff03, 0xff03, 0xcc50, 0xaa9b, 0x8000, 0x8000, 0x8000,
602  0xff02, 0xff02, 0xcc4f, 0xaa2e, 0x7ff3, 0x7fff, 0x7fff, 0x7fff,
603  0xff01, 0xcc4e, 0xaa2d, 0x7f86, 0x7ff2, 0x7ffe, 0x7ffe, 0x7ffe,
604  0xcc4d, 0xaa2c, 0x7f85, 0x7f85, 0x7ff1, 0x7ffd, 0x7ffd, 0x5555,
605  0xaa2b, 0x7f84, 0x7f84, 0x7f84, 0x7ff0, 0x7ffc, 0x5554, 0x3333,
606  0x7f83, 0x7f83, 0x7f83, 0x7f83, 0x7fef, 0x5553, 0x3332, 0x007f,
607  0x7f82, 0x7f82, 0x7f82, 0x7f82, 0x5546, 0x3331, 0x007e, 0x007e,
608  0x7f81, 0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d, 0x007d, 0x007d,
609  0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070, 0x007c, 0x007c, 0x007c,
610  0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f, 0x007b, 0x007b, 0x000f,
611  0x54d6, 0x32b5, 0x0002, 0x0002, 0x006e, 0x007a, 0x000e, 0x0002,
612  0x32b4, 0x0001, 0x0001, 0x0001, 0x006d, 0x000d, 0x0001, 0x0001,
613  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
614};
615const unsigned kExpectedCount_NEON_sub_8H = 576;
616
617#endif  // VIXL_SIM_SUB_8H_TRACE_AARCH64_H_
618