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