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