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