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_SABD_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_SABD_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_sabd_8H[] = {
38  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
39  0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x7fff, 0x0001,
40  0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x7ffe, 0x7ffe, 0x0002,
41  0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x7ffd, 0x7ffd, 0x7ffd, 0x0010,
42  0x7f7f, 0x7f7f, 0x4ccc, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x007d,
43  0x7f80, 0x7f80, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x007e,
44  0x7f81, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x007f,
45  0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0x3333,
46  0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0x5555,
47  0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x7ffd,
48  0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x7ffe,
49  0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x7fff,
50  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x8000,
51  0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x7fff,
52  0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x5556,
53  0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x3334,
54  0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333, 0x0080,
55  0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x007f,
56  0x7f81, 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, 0x0001, 0x0001,
65  0x008f, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x0002, 0x000f,
66  0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x0010, 0x007c,
67  0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x007d, 0x007d,
68  0x0080, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x007e, 0x007e,
69  0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x007f, 0x3332,
70  0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0x3333, 0x5554,
71  0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0x5555, 0x7ffc,
72  0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x7ffd, 0x7ffd,
73  0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x7ffe, 0x7ffe,
74  0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x7fff, 0x8001,
75  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x8000, 0x8000,
76  0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x7fff, 0x5557,
77  0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x5556, 0x3335,
78  0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x3334, 0x0081,
79  0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333, 0x0080, 0x0080,
80  0x7f80, 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, 0x0001, 0x0001, 0x000e,
90  0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x0002, 0x000f, 0x007b,
91  0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x0010, 0x007c, 0x007c,
92  0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x007d, 0x007d, 0x007d,
93  0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x007e, 0x007e, 0x3331,
94  0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x007f, 0x3332, 0x5553,
95  0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0x3333, 0x5554, 0x7ffb,
96  0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0x5555, 0x7ffc, 0x7ffc,
97  0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x7ffd, 0x7ffd, 0x7ffd,
98  0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x7ffe, 0x7ffe, 0x8002,
99  0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0x7fff, 0x8001, 0x8001,
100  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x8000, 0x8000, 0x5558,
101  0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x7fff, 0x5557, 0x3336,
102  0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x5556, 0x3335, 0x0082,
103  0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x3334, 0x0081, 0x0081,
104  0x4ccc, 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, 0x0001, 0x0001, 0x000e, 0x006d,
115  0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x0002, 0x000f, 0x007b, 0x006e,
116  0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x0010, 0x007c, 0x007c, 0x006f,
117  0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x007d, 0x007d, 0x007d, 0x3323,
118  0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x007e, 0x007e, 0x3331, 0x5545,
119  0x5553, 0x7fed, 0x7f81, 0x7f81, 0x007f, 0x3332, 0x5553, 0x7fed,
120  0x5545, 0x7f80, 0x7f80, 0x7f80, 0x3333, 0x5554, 0x7ffb, 0x7fee,
121  0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0x5555, 0x7ffc, 0x7ffc, 0x7fef,
122  0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0x7ffd, 0x7ffd, 0x7ffd, 0x8010,
123  0x54d6, 0x4cca, 0x2aa9, 0x0002, 0x7ffe, 0x7ffe, 0x8002, 0x800f,
124  0x2222, 0x2aa8, 0x0001, 0x0001, 0x7fff, 0x8001, 0x8001, 0x5566,
125  0x0000, 0x0000, 0x0000, 0x0000, 0x8000, 0x8000, 0x5558, 0x3344,
126  0x2aa8, 0x0001, 0x0001, 0xffff, 0x7fff, 0x5557, 0x3336, 0x0090,
127  0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x5556, 0x3335, 0x0082, 0x008f,
128  0x2aaa, 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, 0x0001, 0x0001, 0x000e, 0x006d, 0x0001,
140  0x7ffe, 0x7ffe, 0x7ffe, 0x0002, 0x000f, 0x007b, 0x006e, 0x0002,
141  0x7ffd, 0x7ffd, 0x7ffd, 0x0010, 0x007c, 0x007c, 0x006f, 0x32b6,
142  0x7ffc, 0x7ffc, 0x7fef, 0x007d, 0x007d, 0x007d, 0x3323, 0x54d8,
143  0x7ffb, 0x7fee, 0x7f82, 0x007e, 0x007e, 0x3331, 0x5545, 0x7f80,
144  0x7fed, 0x7f81, 0x7f81, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81,
145  0x7f80, 0x7f80, 0x7f80, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82,
146  0x7f7f, 0x7f7f, 0x4ccc, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x807d,
147  0x7f7e, 0x4ccb, 0x2aaa, 0x7ffd, 0x7ffd, 0x7ffd, 0x8010, 0x807c,
148  0x4cca, 0x2aa9, 0x0002, 0x7ffe, 0x7ffe, 0x8002, 0x800f, 0x55d3,
149  0x2aa8, 0x0001, 0x0001, 0x7fff, 0x8001, 0x8001, 0x5566, 0x33b1,
150  0x0000, 0x0000, 0x0000, 0x8000, 0x8000, 0x5558, 0x3344, 0x00fd,
151  0x0001, 0x0001, 0xffff, 0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc,
152  0x0002, 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, 0x0001, 0x0001, 0x000e, 0x006d, 0x0001, 0x0001,
165  0x7ffe, 0x7ffe, 0x0002, 0x000f, 0x007b, 0x006e, 0x0002, 0x32b5,
166  0x7ffd, 0x7ffd, 0x0010, 0x007c, 0x007c, 0x006f, 0x32b6, 0x54d7,
167  0x7ffc, 0x7fef, 0x007d, 0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f,
168  0x7fee, 0x7f82, 0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80,
169  0x7f81, 0x7f81, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81,
170  0x7f80, 0x7f80, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x807e,
171  0x7f7f, 0x4ccc, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x807d, 0x807d,
172  0x4ccb, 0x2aaa, 0x7ffd, 0x7ffd, 0x7ffd, 0x8010, 0x807c, 0x55d4,
173  0x2aa9, 0x0002, 0x7ffe, 0x7ffe, 0x8002, 0x800f, 0x55d3, 0x33b2,
174  0x0001, 0x0001, 0x7fff, 0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe,
175  0x0000, 0x0000, 0x8000, 0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd,
176  0x0001, 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, 0x0001, 0x0001, 0x000e, 0x006d, 0x0001, 0x0001, 0x32b4,
190  0x7ffe, 0x0002, 0x000f, 0x007b, 0x006e, 0x0002, 0x32b5, 0x54d6,
191  0x7ffd, 0x0010, 0x007c, 0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e,
192  0x7fef, 0x007d, 0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f,
193  0x7f82, 0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80,
194  0x7f81, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x807f,
195  0x7f80, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x807e, 0x807e,
196  0x4ccc, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x807d, 0x807d, 0x55d5,
197  0x2aaa, 0x7ffd, 0x7ffd, 0x7ffd, 0x8010, 0x807c, 0x55d4, 0x33b3,
198  0x0002, 0x7ffe, 0x7ffe, 0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff,
199  0x0001, 0x7fff, 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  0x0001, 0x0001, 0x000e, 0x006d, 0x0001, 0x0001, 0x32b4, 0x2222,
215  0x0002, 0x000f, 0x007b, 0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca,
216  0x0010, 0x007c, 0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb,
217  0x007d, 0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc,
218  0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xb333,
219  0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x807f, 0xb332,
220  0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x807e, 0x807e, 0x8889,
221  0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x807d, 0x807d, 0x55d5, 0x6667,
222  0x7ffd, 0x7ffd, 0x7ffd, 0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3,
223  0x7ffe, 0x7ffe, 0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2,
224  0x7fff, 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  0x0001, 0x000e, 0x006d, 0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8,
240  0x000f, 0x007b, 0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9,
241  0x007c, 0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa,
242  0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xd555,
243  0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xb333, 0xd554,
244  0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x807f, 0xb332, 0xaaab,
245  0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x807e, 0x807e, 0x8889, 0x8889,
246  0x7ffc, 0x7ffc, 0x7fef, 0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5,
247  0x7ffd, 0x7ffd, 0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4,
248  0x7ffe, 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  0x000e, 0x006d, 0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001,
265  0x007b, 0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002,
266  0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd,
267  0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc,
268  0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553,
269  0x5553, 0x7fed, 0x7f81, 0x7f81, 0x807f, 0xb332, 0xaaab, 0xb331,
270  0x7ffb, 0x7fee, 0x7f82, 0x807e, 0x807e, 0x8889, 0x8889, 0x807d,
271  0x7ffc, 0x7fef, 0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c,
272  0x7ffd, 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  0x006d, 0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001,
290  0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe,
291  0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd,
292  0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554,
293  0x5545, 0x7f80, 0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553, 0xb332,
294  0x7fed, 0x7f81, 0x7f81, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e,
295  0x7fee, 0x7f82, 0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d,
296  0x7fef, 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  0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff,
315  0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe,
316  0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555,
317  0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333,
318  0x7f80, 0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f,
319  0x7f81, 0x7f81, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e,
320  0x7f82, 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, 0x8001,
328  0x00fb, 0x008f, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x8002,
329  0x008e, 0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x8010,
330  0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x807d,
331  0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x807e,
332  0x007f, 0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x807f,
333  0x007e, 0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xb333,
334  0x007d, 0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xd555,
335  0x007c, 0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd,
336  0x006e, 0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe,
337  0x0001, 0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff,
338  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
339  0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x0001,
340  0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x2aaa,
341  0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x4ccc,
342  0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333, 0x7f80,
343  0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x7f81,
344  0x7f81, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x7f82,
345  0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x7f83,
346  0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x7ff0,
347  0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x7ffd,
348  0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x7ffe,
349  0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x7fff,
350  0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x7fff, 0x7fff,
351  0x00fd, 0x33b0, 0x5565, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000,
352  0x00fc, 0x3343, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0x8001, 0x8001,
353  0x008f, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x8002, 0x800f,
354  0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x8010, 0x807c,
355  0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x807d, 0x807d,
356  0x0080, 0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x807e, 0x807e,
357  0x007f, 0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x807f, 0xb332,
358  0x007e, 0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xb333, 0xd554,
359  0x007d, 0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc,
360  0x006f, 0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd,
361  0x0002, 0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe,
362  0x0001, 0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x0001,
363  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
364  0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x0001, 0x2aa9,
365  0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x2aaa, 0x4ccb,
366  0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x4ccc, 0x7f7f,
367  0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333, 0x7f80, 0x7f80,
368  0x7f80, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x7f81, 0x7f81,
369  0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x7f82, 0x7f82,
370  0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x7f83, 0x7fef,
371  0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x7ff0, 0x7ffc,
372  0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x7ffd, 0x7ffd,
373  0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x7ffe, 0x7ffe,
374  0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x7ffe, 0x7ffe, 0x5556,
375  0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x7fff, 0x7fff, 0x5557,
376  0x33b0, 0x5565, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0x5558,
377  0x3343, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0x8001, 0x8001, 0x5566,
378  0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x8002, 0x800f, 0x55d3,
379  0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x8010, 0x807c, 0x55d4,
380  0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x807d, 0x807d, 0x55d5,
381  0x3333, 0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x807e, 0x807e, 0x8889,
382  0x3332, 0x5553, 0x7fed, 0x7f81, 0x7f81, 0x807f, 0xb332, 0xaaab,
383  0x3331, 0x5545, 0x7f80, 0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553,
384  0x3323, 0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554,
385  0x32b6, 0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555,
386  0x32b5, 0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x2aaa,
387  0x32b4, 0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x0001, 0x2aa9,
388  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
389  0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x0001, 0x2aa9, 0x2222,
390  0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x2aaa, 0x4ccb, 0x54d6,
391  0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x4ccc, 0x7f7f, 0x54d7,
392  0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333, 0x7f80, 0x7f80, 0x54d8,
393  0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x7f81, 0x7f81, 0x54d9,
394  0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x7f82, 0x7f82, 0x5546,
395  0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x7f83, 0x7fef, 0x5553,
396  0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x7ff0, 0x7ffc, 0x5554,
397  0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x7ffd, 0x7ffd, 0x5555,
398  0x55d4, 0x807b, 0x807b, 0x800f, 0x7ffd, 0x7ffd, 0x5555, 0x3334,
399  0x55d3, 0x807a, 0x800e, 0x8002, 0x7ffe, 0x7ffe, 0x5556, 0x3335,
400  0x55d2, 0x800d, 0x8001, 0x8001, 0x7fff, 0x7fff, 0x5557, 0x3336,
401  0x5565, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0x5558, 0x3344,
402  0x5558, 0x7fff, 0x7fff, 0x7fff, 0x8001, 0x8001, 0x5566, 0x33b1,
403  0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x8002, 0x800f, 0x55d3, 0x33b2,
404  0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x8010, 0x807c, 0x55d4, 0x33b3,
405  0x5555, 0x7ffc, 0x7ffc, 0x7fef, 0x807d, 0x807d, 0x55d5, 0x6667,
406  0x5554, 0x7ffb, 0x7fee, 0x7f82, 0x807e, 0x807e, 0x8889, 0x8889,
407  0x5553, 0x7fed, 0x7f81, 0x7f81, 0x807f, 0xb332, 0xaaab, 0xb331,
408  0x5545, 0x7f80, 0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553, 0xb332,
409  0x54d8, 0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333,
410  0x54d7, 0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x4ccc,
411  0x54d6, 0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x2aaa, 0x4ccb,
412  0x2222, 0x2aa8, 0x0001, 0x0001, 0xffff, 0x0001, 0x2aa9, 0x2222,
413  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
414  0x2aa8, 0x0001, 0x0001, 0xffff, 0x0001, 0x2aa9, 0x2222, 0x32b4,
415  0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5,
416  0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6,
417  0xd555, 0xfffc, 0xd554, 0xb333, 0x7f80, 0x7f80, 0x54d8, 0x32b7,
418  0xd554, 0xd553, 0xb332, 0x807f, 0x7f81, 0x7f81, 0x54d9, 0x3324,
419  0xaaab, 0xb331, 0x807e, 0x807e, 0x7f82, 0x7f82, 0x5546, 0x3331,
420  0x8889, 0x807d, 0x807d, 0x807d, 0x7f83, 0x7fef, 0x5553, 0x3332,
421  0x55d5, 0x807c, 0x807c, 0x807c, 0x7ff0, 0x7ffc, 0x5554, 0x3333,
422  0x807c, 0x807c, 0x807c, 0x7ff0, 0x7ffc, 0x5554, 0x3333, 0x0080,
423  0x807b, 0x807b, 0x800f, 0x7ffd, 0x7ffd, 0x5555, 0x3334, 0x0081,
424  0x807a, 0x800e, 0x8002, 0x7ffe, 0x7ffe, 0x5556, 0x3335, 0x0082,
425  0x800d, 0x8001, 0x8001, 0x7fff, 0x7fff, 0x5557, 0x3336, 0x0090,
426  0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0x5558, 0x3344, 0x00fd,
427  0x7fff, 0x7fff, 0x7fff, 0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe,
428  0x7ffe, 0x7ffe, 0x7ffe, 0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff,
429  0x7ffd, 0x7ffd, 0x7ffd, 0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3,
430  0x7ffc, 0x7ffc, 0x7fef, 0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5,
431  0x7ffb, 0x7fee, 0x7f82, 0x807e, 0x807e, 0x8889, 0x8889, 0x807d,
432  0x7fed, 0x7f81, 0x7f81, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e,
433  0x7f80, 0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f,
434  0x7f7f, 0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333, 0x7f80,
435  0x7f7e, 0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x4ccc, 0x7f7f,
436  0x4cca, 0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x2aaa, 0x4ccb, 0x54d6,
437  0x2aa8, 0x0001, 0x0001, 0xffff, 0x0001, 0x2aa9, 0x2222, 0x32b4,
438  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
439  0x0001, 0x0001, 0xffff, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001,
440  0x0002, 0xfffe, 0xfffe, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002,
441  0xfffd, 0xfffd, 0xd555, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003,
442  0xfffc, 0xd554, 0xb333, 0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070,
443  0xd553, 0xb332, 0x807f, 0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d,
444  0xb331, 0x807e, 0x807e, 0x7f82, 0x7f82, 0x5546, 0x3331, 0x007e,
445  0x807d, 0x807d, 0x807d, 0x7f83, 0x7fef, 0x5553, 0x3332, 0x007f,
446  0x807d, 0x807d, 0x7f83, 0x7fef, 0x5553, 0x3332, 0x007f, 0x007f,
447  0x807c, 0x807c, 0x7ff0, 0x7ffc, 0x5554, 0x3333, 0x0080, 0x0080,
448  0x807b, 0x800f, 0x7ffd, 0x7ffd, 0x5555, 0x3334, 0x0081, 0x0081,
449  0x800e, 0x8002, 0x7ffe, 0x7ffe, 0x5556, 0x3335, 0x0082, 0x008f,
450  0x8001, 0x8001, 0x7fff, 0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc,
451  0x8000, 0x8000, 0x8000, 0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd,
452  0x7fff, 0x7fff, 0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe, 0x00fe,
453  0x7ffe, 0x7ffe, 0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2,
454  0x7ffd, 0x7ffd, 0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4,
455  0x7ffc, 0x7fef, 0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c,
456  0x7fee, 0x7f82, 0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d,
457  0x7f81, 0x7f81, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e,
458  0x7f80, 0x7f80, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x7f81,
459  0x7f7f, 0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333, 0x7f80, 0x7f80,
460  0x4ccb, 0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x4ccc, 0x7f7f, 0x54d7,
461  0x2aa9, 0x0002, 0xfffe, 0xfffe, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5,
462  0x0001, 0x0001, 0xffff, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001,
463  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
464  0x0001, 0xffff, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001,
465  0xfffe, 0xfffe, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002,
466  0xfffd, 0xd555, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f,
467  0xd554, 0xb333, 0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070, 0x007c,
468  0xb332, 0x807f, 0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d, 0x007d,
469  0x807e, 0x807e, 0x7f82, 0x7f82, 0x5546, 0x3331, 0x007e, 0x007e,
470  0x807e, 0x7f82, 0x7f82, 0x5546, 0x3331, 0x007e, 0x007e, 0x007e,
471  0x807d, 0x7f83, 0x7fef, 0x5553, 0x3332, 0x007f, 0x007f, 0x007f,
472  0x807c, 0x7ff0, 0x7ffc, 0x5554, 0x3333, 0x0080, 0x0080, 0x0080,
473  0x800f, 0x7ffd, 0x7ffd, 0x5555, 0x3334, 0x0081, 0x0081, 0x008e,
474  0x8002, 0x7ffe, 0x7ffe, 0x5556, 0x3335, 0x0082, 0x008f, 0x00fb,
475  0x8001, 0x7fff, 0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc, 0x00fc,
476  0x8000, 0x8000, 0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd, 0x00fd,
477  0x7fff, 0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe, 0x00fe, 0x33b1,
478  0x7ffe, 0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2, 0x55d3,
479  0x7ffd, 0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b,
480  0x7fef, 0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c,
481  0x7f82, 0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d,
482  0x7f81, 0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x7f82,
483  0x7f80, 0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x7f81, 0x7f81,
484  0x4ccc, 0xd555, 0xfffc, 0xd554, 0xb333, 0x7f80, 0x7f80, 0x54d8,
485  0x2aaa, 0xfffd, 0xfffd, 0xd555, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6,
486  0x0002, 0xfffe, 0xfffe, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002,
487  0x0001, 0xffff, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001,
488  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
489  0xffff, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001, 0x0001,
490  0xfffe, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002, 0x006e,
491  0xd555, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f, 0x007b,
492  0xb333, 0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070, 0x007c, 0x007c,
493  0x807f, 0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d, 0x007d, 0x007d,
494  0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d, 0x007d, 0x007d, 0x007d,
495  0x7f82, 0x7f82, 0x5546, 0x3331, 0x007e, 0x007e, 0x007e, 0x007e,
496  0x7f83, 0x7fef, 0x5553, 0x3332, 0x007f, 0x007f, 0x007f, 0x007f,
497  0x7ff0, 0x7ffc, 0x5554, 0x3333, 0x0080, 0x0080, 0x0080, 0x008d,
498  0x7ffd, 0x7ffd, 0x5555, 0x3334, 0x0081, 0x0081, 0x008e, 0x00fa,
499  0x7ffe, 0x7ffe, 0x5556, 0x3335, 0x0082, 0x008f, 0x00fb, 0x00fb,
500  0x7fff, 0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc, 0x00fc, 0x00fc,
501  0x8000, 0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd, 0x00fd, 0x33b0,
502  0x8001, 0x8001, 0x5566, 0x33b1, 0x00fe, 0x00fe, 0x33b1, 0x55d2,
503  0x8002, 0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a,
504  0x8010, 0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b,
505  0x807d, 0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c,
506  0x807e, 0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x7f83,
507  0x807f, 0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x7f82, 0x7f82,
508  0xb333, 0xd554, 0xd553, 0xb332, 0x807f, 0x7f81, 0x7f81, 0x54d9,
509  0xd555, 0xfffc, 0xd554, 0xb333, 0x7f80, 0x7f80, 0x54d8, 0x32b7,
510  0xfffd, 0xfffd, 0xd555, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003,
511  0xfffe, 0xfffe, 0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002,
512  0xffff, 0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001, 0x0001,
513  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
514  0x0001, 0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001, 0x0001, 0x006d,
515  0x2aaa, 0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002, 0x006e, 0x007a,
516  0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f, 0x007b, 0x007b,
517  0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070, 0x007c, 0x007c, 0x007c,
518  0x7f80, 0x54d8, 0x32b7, 0x0070, 0x007c, 0x007c, 0x007c, 0x0010,
519  0x7f81, 0x54d9, 0x3324, 0x007d, 0x007d, 0x007d, 0x007d, 0x0011,
520  0x7f82, 0x5546, 0x3331, 0x007e, 0x007e, 0x007e, 0x007e, 0x0012,
521  0x7fef, 0x5553, 0x3332, 0x007f, 0x007f, 0x007f, 0x007f, 0x0020,
522  0x7ffc, 0x5554, 0x3333, 0x0080, 0x0080, 0x0080, 0x008d, 0x008d,
523  0x7ffd, 0x5555, 0x3334, 0x0081, 0x0081, 0x008e, 0x00fa, 0x008e,
524  0x7ffe, 0x5556, 0x3335, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x008f,
525  0x7fff, 0x5557, 0x3336, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3343,
526  0x8000, 0x5558, 0x3344, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x5565,
527  0x8001, 0x5566, 0x33b1, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d,
528  0x800f, 0x55d3, 0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e,
529  0x807c, 0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f,
530  0x807d, 0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x7ff0,
531  0x807e, 0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x7f83, 0x7fef,
532  0xb332, 0xaaab, 0xb331, 0x807e, 0x807e, 0x7f82, 0x7f82, 0x5546,
533  0xd554, 0xd553, 0xb332, 0x807f, 0x7f81, 0x7f81, 0x54d9, 0x3324,
534  0xfffc, 0xd554, 0xb333, 0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070,
535  0xfffd, 0xd555, 0x4ccc, 0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f,
536  0xfffe, 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  0x2aa9, 0x2222, 0x32b4, 0x0001, 0x0001, 0x0001, 0x006d, 0x000d,
540  0x4ccb, 0x54d6, 0x32b5, 0x0002, 0x0002, 0x006e, 0x007a, 0x000e,
541  0x7f7f, 0x54d7, 0x32b6, 0x0003, 0x006f, 0x007b, 0x007b, 0x000f,
542  0x54d7, 0x32b6, 0x0003, 0x006f, 0x007b, 0x007b, 0x000f, 0x0003,
543  0x54d8, 0x32b7, 0x0070, 0x007c, 0x007c, 0x007c, 0x0010, 0x0004,
544  0x54d9, 0x3324, 0x007d, 0x007d, 0x007d, 0x007d, 0x0011, 0x0005,
545  0x5546, 0x3331, 0x007e, 0x007e, 0x007e, 0x007e, 0x0012, 0x0013,
546  0x5553, 0x3332, 0x007f, 0x007f, 0x007f, 0x007f, 0x0020, 0x0080,
547  0x5554, 0x3333, 0x0080, 0x0080, 0x0080, 0x008d, 0x008d, 0x0081,
548  0x5555, 0x3334, 0x0081, 0x0081, 0x008e, 0x00fa, 0x008e, 0x0082,
549  0x5556, 0x3335, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x008f, 0x3336,
550  0x5557, 0x3336, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3343, 0x5558,
551  0x5558, 0x3344, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x5565, 0x8000,
552  0x5566, 0x33b1, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001,
553  0x55d3, 0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002,
554  0x55d4, 0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x7ffd,
555  0x55d5, 0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x7ff0, 0x7ffc,
556  0x8889, 0x8889, 0x807d, 0x807d, 0x807d, 0x7f83, 0x7fef, 0x5553,
557  0xaaab, 0xb331, 0x807e, 0x807e, 0x7f82, 0x7f82, 0x5546, 0x3331,
558  0xd553, 0xb332, 0x807f, 0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d,
559  0xd554, 0xb333, 0x7f80, 0x7f80, 0x54d8, 0x32b7, 0x0070, 0x007c,
560  0xd555, 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  0x2222, 0x32b4, 0x0001, 0x0001, 0x0001, 0x006d, 0x000d, 0x0001,
565  0x54d6, 0x32b5, 0x0002, 0x0002, 0x006e, 0x007a, 0x000e, 0x0002,
566  0x32b5, 0x0002, 0x0002, 0x006e, 0x007a, 0x000e, 0x0002, 0x0002,
567  0x32b6, 0x0003, 0x006f, 0x007b, 0x007b, 0x000f, 0x0003, 0x0003,
568  0x32b7, 0x0070, 0x007c, 0x007c, 0x007c, 0x0010, 0x0004, 0x0004,
569  0x3324, 0x007d, 0x007d, 0x007d, 0x007d, 0x0011, 0x0005, 0x0012,
570  0x3331, 0x007e, 0x007e, 0x007e, 0x007e, 0x0012, 0x0013, 0x007f,
571  0x3332, 0x007f, 0x007f, 0x007f, 0x007f, 0x0020, 0x0080, 0x0080,
572  0x3333, 0x0080, 0x0080, 0x0080, 0x008d, 0x008d, 0x0081, 0x0081,
573  0x3334, 0x0081, 0x0081, 0x008e, 0x00fa, 0x008e, 0x0082, 0x3335,
574  0x3335, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x008f, 0x3336, 0x5557,
575  0x3336, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3343, 0x5558, 0x7fff,
576  0x3344, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x5565, 0x8000, 0x8000,
577  0x33b1, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001,
578  0x33b2, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x7ffe,
579  0x33b3, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x7ffd, 0x7ffd,
580  0x6667, 0x55d5, 0x807c, 0x807c, 0x807c, 0x7ff0, 0x7ffc, 0x5554,
581  0x8889, 0x807d, 0x807d, 0x807d, 0x7f83, 0x7fef, 0x5553, 0x3332,
582  0xb331, 0x807e, 0x807e, 0x7f82, 0x7f82, 0x5546, 0x3331, 0x007e,
583  0xb332, 0x807f, 0x7f81, 0x7f81, 0x54d9, 0x3324, 0x007d, 0x007d,
584  0xb333, 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  0x32b4, 0x0001, 0x0001, 0x0001, 0x006d, 0x000d, 0x0001, 0x0001,
590  0x0001, 0x0001, 0x0001, 0x006d, 0x000d, 0x0001, 0x0001, 0x0001,
591  0x0002, 0x0002, 0x006e, 0x007a, 0x000e, 0x0002, 0x0002, 0x0002,
592  0x0003, 0x006f, 0x007b, 0x007b, 0x000f, 0x0003, 0x0003, 0x0003,
593  0x0070, 0x007c, 0x007c, 0x007c, 0x0010, 0x0004, 0x0004, 0x0011,
594  0x007d, 0x007d, 0x007d, 0x007d, 0x0011, 0x0005, 0x0012, 0x007e,
595  0x007e, 0x007e, 0x007e, 0x007e, 0x0012, 0x0013, 0x007f, 0x007f,
596  0x007f, 0x007f, 0x007f, 0x007f, 0x0020, 0x0080, 0x0080, 0x0080,
597  0x0080, 0x0080, 0x0080, 0x008d, 0x008d, 0x0081, 0x0081, 0x3334,
598  0x0081, 0x0081, 0x008e, 0x00fa, 0x008e, 0x0082, 0x3335, 0x5556,
599  0x0082, 0x008f, 0x00fb, 0x00fb, 0x008f, 0x3336, 0x5557, 0x7ffe,
600  0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3343, 0x5558, 0x7fff, 0x7fff,
601  0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x5565, 0x8000, 0x8000, 0x8000,
602  0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x800d, 0x8001, 0x8001, 0x7fff,
603  0x00ff, 0x33b2, 0x55d3, 0x807a, 0x800e, 0x8002, 0x7ffe, 0x7ffe,
604  0x33b3, 0x55d4, 0x807b, 0x807b, 0x800f, 0x7ffd, 0x7ffd, 0x5555,
605  0x55d5, 0x807c, 0x807c, 0x807c, 0x7ff0, 0x7ffc, 0x5554, 0x3333,
606  0x807d, 0x807d, 0x807d, 0x7f83, 0x7fef, 0x5553, 0x3332, 0x007f,
607  0x807e, 0x807e, 0x7f82, 0x7f82, 0x5546, 0x3331, 0x007e, 0x007e,
608  0x807f, 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_sabd_8H = 576;
616
617#endif  // VIXL_SIM_SABD_8H_TRACE_AARCH64_H_
618