1 /********************************************************************
3 * THIS FILE IS PART OF THE OggVorbis SOFTWARE CODEC SOURCE CODE. *
4 * USE, DISTRIBUTION AND REPRODUCTION OF THIS SOURCE IS GOVERNED BY *
5 * THE GNU LESSER/LIBRARY PUBLIC LICENSE, WHICH IS INCLUDED WITH *
6 * THIS SOURCE. PLEASE READ THESE TERMS BEFORE DISTRIBUTING. *
8 * THE OggVorbis SOURCE CODE IS (C) COPYRIGHT 1994-2001 *
9 * by the XIPHOPHORUS Company, http://www.xiph.org/ *
11 ********************************************************************
13 function: static codebook autogenerated by vq/somethingorother
15 ********************************************************************/
17 #ifndef _V_res_Xc_8_VQH_
18 #define _V_res_Xc_8_VQH_
21 static long _vq_quantlist_res_Xc_8[] = {
69 static long _vq_lengthlist_res_Xc_8[] = {
70 2, 5, 5, 6, 6, 7, 7, 8, 8, 8, 8, 9, 9, 9, 9, 9,
71 9,10,10,10,10,10,10,11,10,11,11,11,11,13,11,12,
72 12,14,13,16,14,16,14,17,15,17,16, 0,17, 0, 5, 5,
73 6, 7, 7, 7, 8, 8, 9, 9, 9, 9,10, 9,10,10,10,10,
74 10,10,11,11,11,11,11,11,12,12,12,12,13,13,14,14,
75 14,14,17,16,16,15, 0,17, 0, 0, 0, 5, 5, 6, 6, 7,
76 7, 8, 8, 9, 9, 9, 9, 9,10, 9,10,10,10,10,10,10,
77 10,11,10,11,11,11,11,12,12,12,13,14,14,14,14,14,
78 15,17,15,17, 0,16,16, 0, 7, 7, 7, 7, 8, 8, 9, 9,
79 9, 9,10,10,10,10,10,10,10,10,11,11,11,11,11,11,
80 12,12,12,12,13,12,12,13,14,15,15,15,16,17,17,16,
81 0, 0, 0,17, 0, 0, 0, 7, 7, 8, 8, 9, 9, 9, 9,10,
82 10,10,10,10,10,10,11,11,11,11,11,12,11,12,12,12,
83 13,13,13,13,13,15,14,15,16,17,16,14,17, 0, 0, 0,
84 0, 0, 0, 0, 8, 8, 8, 8, 9, 9,10,10,10,10,10,10,
85 10,10,11,11,11,11,11,12,12,12,12,12,12,13,12,13,
86 14,14,14,14,16,15,15,15,17,17,16, 0, 0, 0, 0, 0,
87 0, 8, 8, 8, 8, 9, 9,10, 9,10,10,10,10,11,10,11,
88 11,11,11,11,11,12,12,12,12,13,12,13,12,13,14,15,
89 15,15,14,15,16,17,15,17, 0,17, 0, 0, 0, 0, 9, 9,
90 9, 9, 9, 9,10,10,10,10,11,11,10,11,11,11,11,12,
91 12,12,12,13,13,13,13,13,13,13,14,14,14,17,15,16,
92 17,14, 0,17,15,17,16,17, 0, 0, 0, 0, 0, 9, 9, 9,
93 9,10,10,10,10,11,11,11,11,11,11,12,12,12,12,13,
94 12,13,13,13,13,14,14,15,13,14,14,15,15,16,15, 0,
95 15, 0,17, 0, 0, 0, 0, 0, 0, 0, 9, 9,10,10,10,10,
96 10,11,11,11,11,11,11,11,12,12,12,12,13,13,13,13,
97 14,14,15,14,14,14,14,15,15,15,14,15,16, 0,17,17,
98 17,17, 0, 0, 0, 0, 0, 9, 9,10,10,10,10,10,10,11,
99 11,11,11,11,11,12,12,12,12,12,12,13,13,13,13,13,
100 14,14,15,14,14,15,17,15,17, 0,17, 0, 0, 0,17, 0,
101 0, 0, 0, 0,10,10,10,10,11,10,11,11,11,11,11,11,
102 12,11,12,12,12,13,13,13,14,13,14,14,14,16,15,14,
103 15,17,17,17,15, 0, 0,17,17,17,16, 0, 0, 0, 0, 0,
104 0, 0, 0,10,10,10,10,10,11,11,11,12,11,11,11,12,
105 12,13,13,13,13,13,14,13,15,15,14,14,14,15,15,15,
106 16,15, 0,17,17,16,17,17, 0, 0, 0, 0, 0, 0, 0, 0,
107 10,10,11,11,11,11,11,11,11,11,12,11,12,12,12,12,
108 13,14,13,13,14,14,15,14,13,14,17,15,16,15,16, 0,
109 17, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0,10,10,11,
110 10,11,11,11,11,11,11,12,12,12,12,13,13,13,13,13,
111 13,14,15,14,16,15,17,15,17,15,15,17,17,15,17,17,
112 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,10,10,10,10,11,11,
113 11,11,11,11,12,12,12,13,13,13,13,13,13,14,15,15,
114 14,15,15,14,15,15,15, 0, 0,16, 0, 0, 0, 0,17, 0,
115 0, 0, 0, 0, 0, 0, 0, 0, 0,11,10,11,11,12,11,12,
116 11,12,12,12,13,13,13,13,13,14,13,17,15,16,15,15,
117 17,17,15, 0,16,16,17,17,17,16,17, 0, 0, 0, 0, 0,
118 0, 0, 0, 0, 0, 0,11,11,11,11,11,11,11,12,11,12,
119 12,13,13,12,13,13,14,13,13,14,15,14,15,16,17, 0,
120 0,17, 0, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0,
121 0, 0, 0,11,11,11,11,11,11,12,11,12,12,12,12,13,
122 13,13,13,14,15,15,15,17,15, 0,17, 0,16,17,17,17,
123 17,16, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
124 11,11,11,12,11,12,12,12,12,12,12,13,13,13,14,13,
125 14,14,13,15,15,14,15,16, 0,16,16, 0, 0, 0,16,16,
126 16, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12,
127 12,12,12,12,12,12,12,13,12,13,12,14,14,15,14,15,
128 15,16,14,15, 0, 0, 0, 0, 0,17,16, 0,17,17, 0, 0,
129 17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12,12,12,12,
130 12,13,13,13,13,12,13,13,13,13,14,14,14,14,17,14,
131 15,15,17,17,17,15, 0,17, 0, 0, 0, 0, 0, 0, 0, 0,
132 0, 0, 0, 0, 0, 0, 0, 0, 0,12,12,12,12,12,13,13,
133 13,12,13,13,13,13,13,14,15,14,15,15,15, 0,15, 0,
134 15, 0,17,17, 0,17, 0, 0, 0, 0,17, 0, 0, 0, 0, 0,
135 0, 0, 0, 0, 0, 0,12,12,12,13,12,12,13,13,13,13,
136 12,13,13,14,14,14,14,14,15,15, 0,16,16,15,15,17,
137 0,17,16, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
138 0, 0, 0, 0, 0,13,12,12,13,12,13,13,13,13,13,14,
139 14,14,14,14,15,16,15,16,16,17,17,17, 0,15, 0, 0,
140 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
141 0, 0,13,13,12,12,13,13,13,13,14,13,14,14,14,14,
142 14,15,15,15,17,17, 0,17, 0, 0, 0,17, 0, 0, 0, 0,
143 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13,
144 13,13,13,13,13,13,13,13,13,14,14,14,14,15,15, 0,
145 14,15,17,15, 0, 0,17, 0,17, 0, 0, 0, 0, 0, 0, 0,
146 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13,13,13,13,
147 14,14,13,13,14,15,14,13,14,14,16,14,16,16,16,17,
148 17,17, 0, 0,17,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
149 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13,13,13,14,13,
150 14,14,13,15,15,15,15,16,14,17,15,17,16, 0,15, 0,
151 16, 0, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0,
152 0, 0, 0, 0, 0, 0, 0, 0,13,13,14,13,13,14,14,15,
153 14,14,14,15,15,16,17,17,16,16, 0,17,15, 0, 0, 0,
154 17, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
155 0, 0, 0, 0, 0,14,13,13,13,14,14,15,15,16,14,15,
156 15,16,14,16,15, 0,16,17, 0,17, 0, 0, 0, 0,17, 0,
157 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
158 0, 0,14,14,13,14,15,15,15,14,15,14,15,15,15,15,
159 17,17,16,16, 0,17, 0, 0, 0,17, 0, 0,17,17, 0, 0,
160 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
161 0,14,15,13,14,14,15,14,15,14,14, 0,15,15,16,15,
162 16,15,17,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
163 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13,14,
164 14,14,15,14,14,14,15,15,17,16,15,16,17,16, 0,17,
165 0,17,17, 0,17, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0,
166 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13,14,15,14,14,
167 14,15,17,15,15,15,17,17,17,17,17,17,16,17,17, 0,
168 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
169 0, 0, 0, 0, 0, 0, 0, 0,14,15,15,16,14,15,15,15,
170 17,15,15,16,17,16,17, 0,17,15,16,17, 0,17, 0, 0,
171 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
172 0, 0, 0, 0, 0, 0, 0,14,15,15,14,16,15,15,17, 0,
173 0, 0,17, 0, 0,17, 0, 0, 0, 0, 0, 0,17, 0, 0, 0,
174 17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
175 0, 0, 0, 0,14,15,16,16,15,16,16,15,15,17,17,17,
176 17, 0,17, 0,17,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
177 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
178 0,14,14,15,14,17,15,16,15,16,16, 0, 0, 0, 0, 0,
179 17, 0, 0,16,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
180 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15,15,
181 14,15,15,15,15,17, 0, 0, 0, 0, 0,17, 0,16,17, 0,
182 0, 0,17, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0,
183 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14,16,15,
184 0,15,16,16,16, 0,17, 0, 0, 0, 0,17, 0, 0, 0, 0,
185 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
186 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15,14,15,15, 0,15,
187 0, 0, 0,16,17,16,17,17, 0, 0, 0, 0, 0, 0, 0, 0,
188 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
189 0, 0, 0, 0, 0, 0, 0,14,15, 0,14,17,15,15,17, 0,
190 0, 0,17,17,15, 0, 0, 0, 0, 0, 0, 0,17, 0, 0, 0,
191 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
192 0, 0, 0, 0,15,15,15,16,15,16,17, 0,17, 0, 0, 0,
193 17, 0, 0, 0, 0, 0, 0,17, 0, 0, 0, 0, 0, 0, 0, 0,
194 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
195 0, 0, 0,16,15,15,16,15,16,17,17, 0,16, 0, 0, 0,
196 0, 0, 0, 0, 0, 0, 0, 0,17,
199 static float _vq_quantthresh_res_Xc_8[] = {
200 -21.5, -20.5, -19.5, -18.5, -17.5, -16.5, -15.5, -14.5,
201 -13.5, -12.5, -11.5, -10.5, -9.5, -8.5, -7.5, -6.5,
202 -5.5, -4.5, -3.5, -2.5, -1.5, -0.5, 0.5, 1.5,
203 2.5, 3.5, 4.5, 5.5, 6.5, 7.5, 8.5, 9.5,
204 10.5, 11.5, 12.5, 13.5, 14.5, 15.5, 16.5, 17.5,
205 18.5, 19.5, 20.5, 21.5,
208 static long _vq_quantmap_res_Xc_8[] = {
209 43, 41, 39, 37, 35, 33, 31, 29,
210 27, 25, 23, 21, 19, 17, 15, 13,
211 11, 9, 7, 5, 3, 1, 0, 2,
212 4, 6, 8, 10, 12, 14, 16, 18,
213 20, 22, 24, 26, 28, 30, 32, 34,
217 static encode_aux_threshmatch _vq_auxt_res_Xc_8 = {
218 _vq_quantthresh_res_Xc_8,
219 _vq_quantmap_res_Xc_8,
224 static long _vq_pigeonmap_res_Xc_8[] = {
225 14, 13, 13, 12, 11, 11, 10, 9,
226 9, 8, 7, 7, 6, 5, 5, 4,
227 3, 3, 2, 1, 1, 0, 0, 0,
228 1, 2, 2, 3, 4, 4, 5, 6,
229 6, 7, 8, 8, 9, 10, 10, 11,
233 static long _vq_fitlist_res_Xc_8[] = {
234 0, 1, 2, 3, 46, 47, 48, 91,
235 136, 4, 49, 92, 137, 6, 51, 94,
236 139, 93, 96, 184, 183, 186, 274, 5,
237 7, 50, 52, 95, 138, 140, 8, 53,
238 141, 97, 185, 98, 187, 273, 275, 188,
239 276, 9, 54, 142, 10, 55, 143, 12,
240 57, 100, 145, 99, 102, 190, 189, 277,
241 278, 192, 280, 7, 9, 11, 13, 52,
242 54, 56, 58, 99, 101, 144, 146, 5,
243 50, 97, 142, 8, 10, 12, 14, 53,
244 55, 57, 59, 100, 102, 145, 147, 103,
245 189, 191, 95, 187, 98, 104, 190, 192,
246 193, 279, 281, 185, 277, 188, 194, 280,
247 282, 15, 60, 148, 16, 61, 149, 18,
248 63, 106, 151, 105, 108, 196, 195, 283,
249 284, 198, 286, 13, 15, 17, 19, 58,
250 60, 62, 64, 105, 107, 150, 152, 11,
251 56, 103, 148, 14, 16, 18, 20, 59,
252 61, 63, 65, 106, 108, 151, 153, 109,
253 195, 197, 101, 193, 104, 110, 196, 198,
254 199, 285, 287, 191, 283, 194, 200, 286,
255 288, 21, 66, 154, 22, 67, 155, 24,
256 69, 112, 157, 111, 114, 202, 201, 289,
257 290, 204, 292, 19, 21, 23, 25, 64,
258 66, 68, 70, 111, 113, 156, 158, 17,
259 62, 109, 154, 20, 22, 24, 26, 65,
260 67, 69, 71, 112, 114, 157, 159, 115,
261 201, 203, 107, 199, 110, 116, 202, 204,
262 205, 291, 293, 197, 289, 200, 206, 292,
263 294, 27, 72, 160, 28, 73, 161, 30,
264 75, 118, 163, 117, 120, 208, 207, 295,
265 296, 210, 298, 25, 27, 29, 31, 70,
266 72, 74, 76, 117, 119, 162, 164, 23,
267 68, 115, 160, 26, 28, 30, 32, 71,
268 73, 75, 77, 118, 120, 163, 165, 121,
269 207, 209, 113, 205, 116, 122, 208, 210,
270 211, 297, 299, 203, 295, 206, 212, 298,
271 300, 33, 78, 166, 34, 79, 167, 36,
272 81, 124, 169, 123, 126, 214, 213, 301,
273 302, 216, 304, 31, 33, 35, 37, 76,
274 78, 80, 82, 123, 125, 168, 170, 29,
275 74, 121, 166, 32, 34, 36, 38, 77,
276 79, 81, 83, 124, 126, 169, 171, 127,
277 213, 215, 119, 211, 122, 128, 214, 216,
278 217, 303, 305, 209, 301, 212, 218, 304,
279 306, 39, 84, 172, 40, 85, 173, 42,
280 87, 130, 175, 129, 220, 219, 307, 308,
281 310, 37, 39, 41, 82, 84, 129, 131,
282 174, 35, 80, 127, 172, 38, 40, 42,
283 44, 83, 85, 87, 130, 175, 133, 219,
284 125, 217, 128, 134, 220, 309, 311, 215,
285 307, 218, 310, 262, 264, 266, 356, 170,
286 260, 352, 173, 179, 263, 265, 355, 357,
287 313, 305, 397, 308, 400, 402, 358, 359,
288 494, 46, 136, 137, 138, 228, 47, 139,
289 229, 49, 141, 231, 319, 0, 1, 48,
290 2, 4, 51, 91, 92, 93, 183, 184,
291 185, 273, 274, 275, 94, 186, 276, 50,
292 140, 142, 230, 232, 318, 320, 143, 233,
293 321, 3, 5, 52, 6, 53, 95, 187,
294 277, 365, 96, 188, 278, 366, 322, 410,
295 323, 411, 367, 455, 368, 456, 457, 458,
296 50, 52, 138, 140, 142, 144, 228, 230,
297 232, 234, 320, 322, 51, 53, 139, 141,
298 143, 145, 229, 231, 233, 235, 321, 323,
299 55, 147, 237, 325, 5, 7, 48, 54,
300 6, 8, 49, 10, 57, 95, 97, 183,
301 185, 187, 189, 273, 275, 277, 279, 365,
302 367, 96, 98, 184, 186, 188, 190, 274,
303 276, 278, 280, 366, 368, 100, 192, 282,
304 370, 54, 56, 142, 144, 146, 148, 232,
305 234, 236, 238, 324, 326, 52, 140, 230,
306 322, 55, 57, 143, 145, 147, 149, 233,
307 235, 237, 239, 325, 327, 9, 11, 58,
308 7, 50, 10, 12, 53, 59, 99, 101,
309 187, 189, 191, 193, 277, 279, 281, 283,
310 369, 371, 97, 185, 275, 367, 100, 102,
311 188, 190, 192, 194, 278, 280, 282, 284,
312 370, 372, 56, 58, 144, 146, 148, 150,
313 234, 236, 238, 240, 326, 328, 57, 59,
314 145, 147, 149, 151, 235, 237, 239, 241,
315 327, 329, 61, 153, 243, 331, 11, 13,
316 54, 60, 12, 14, 55, 16, 63, 101,
317 103, 189, 191, 193, 195, 279, 281, 283,
318 285, 371, 373, 102, 104, 190, 192, 194,
319 196, 280, 282, 284, 286, 372, 374, 106,
320 198, 288, 376, 60, 62, 148, 150, 152,
321 154, 238, 240, 242, 244, 330, 332, 58,
322 146, 236, 328, 61, 63, 149, 151, 153,
323 155, 239, 241, 243, 245, 331, 333, 15,
324 17, 64, 13, 56, 16, 18, 59, 65,
325 105, 107, 193, 195, 197, 199, 283, 285,
326 287, 289, 375, 377, 103, 191, 281, 373,
327 106, 108, 194, 196, 198, 200, 284, 286,
328 288, 290, 376, 378, 62, 64, 150, 152,
329 154, 156, 240, 242, 244, 246, 332, 334,
330 63, 65, 151, 153, 155, 157, 241, 243,
331 245, 247, 333, 335, 67, 159, 249, 337,
332 17, 19, 60, 66, 18, 20, 61, 22,
333 69, 107, 109, 195, 197, 199, 201, 285,
334 287, 289, 291, 377, 379, 108, 110, 196,
335 198, 200, 202, 286, 288, 290, 292, 378,
336 380, 112, 204, 294, 382, 66, 68, 154,
337 156, 158, 160, 244, 246, 248, 250, 336,
338 338, 64, 152, 242, 334, 67, 69, 155,
339 157, 159, 161, 245, 247, 249, 251, 337,
340 339, 21, 23, 70, 19, 62, 22, 24,
341 65, 71, 111, 113, 199, 201, 203, 205,
342 289, 291, 293, 295, 381, 383, 109, 197,
343 287, 379, 112, 114, 200, 202, 204, 206,
344 290, 292, 294, 296, 382, 384, 68, 70,
345 156, 158, 160, 162, 246, 248, 250, 252,
346 338, 340, 69, 71, 157, 159, 161, 163,
347 247, 249, 251, 253, 339, 341, 73, 165,
348 255, 343, 23, 25, 66, 72, 24, 26,
349 67, 28, 75, 113, 115, 201, 203, 205,
350 207, 291, 293, 295, 297, 383, 385, 114,
351 116, 202, 204, 206, 208, 292, 294, 296,
352 298, 384, 386, 118, 210, 300, 388, 72,
353 74, 160, 162, 164, 166, 250, 252, 254,
354 256, 342, 344, 70, 158, 248, 340, 73,
355 75, 161, 163, 165, 167, 251, 253, 255,
356 257, 343, 345, 27, 29, 76, 25, 68,
357 28, 30, 71, 77, 117, 119, 205, 207,
358 209, 211, 295, 297, 299, 301, 387, 389,
359 115, 203, 293, 385, 118, 120, 206, 208,
360 210, 212, 296, 298, 300, 302, 388, 390,
361 74, 76, 162, 164, 166, 168, 252, 254,
362 256, 258, 344, 346, 75, 77, 163, 165,
363 167, 169, 253, 255, 257, 259, 345, 347,
364 79, 171, 261, 349, 29, 31, 72, 78,
365 30, 32, 73, 34, 81, 119, 121, 207,
366 209, 211, 213, 297, 299, 301, 303, 389,
367 391, 120, 122, 208, 210, 212, 214, 298,
368 300, 302, 304, 390, 392, 124, 216, 306,
369 394, 78, 80, 166, 168, 170, 172, 256,
370 258, 260, 262, 348, 350, 76, 164, 254,
371 346, 79, 81, 167, 169, 171, 173, 257,
372 259, 261, 263, 349, 351, 33, 35, 82,
373 31, 74, 34, 36, 77, 83, 123, 125,
374 211, 213, 215, 217, 301, 303, 305, 307,
375 393, 395, 121, 209, 299, 391, 124, 126,
376 212, 214, 216, 218, 302, 304, 306, 308,
377 394, 396, 80, 82, 168, 170, 172, 174,
378 258, 260, 262, 264, 350, 352, 81, 83,
379 169, 171, 173, 175, 259, 261, 263, 265,
380 351, 353, 85, 355, 35, 37, 78, 84,
381 36, 38, 79, 40, 87, 125, 127, 213,
382 215, 217, 219, 303, 305, 307, 309, 395,
383 397, 126, 128, 214, 216, 218, 220, 304,
384 306, 308, 310, 396, 398, 130, 400, 46,
385 136, 137, 138, 228, 229, 230, 318, 319,
386 320, 47, 139, 231, 321, 91, 183, 273,
387 274, 275, 365, 92, 184, 276, 366, 455,
388 456, 368, 458, 410, 500, 411, 501, 413,
389 503, 457, 547, 548, 412, 502, 322, 323,
390 140, 142, 228, 230, 232, 234, 318, 320,
391 322, 324, 410, 412, 141, 143, 229, 231,
392 233, 235, 319, 321, 323, 325, 411, 413,
393 145, 237, 327, 415, 185, 187, 273, 275,
394 277, 279, 365, 367, 369, 455, 457, 186,
395 188, 274, 276, 278, 280, 366, 368, 370,
396 456, 458, 190, 282, 372, 460, 459, 547,
397 548, 462, 550, 144, 146, 232, 234, 236,
398 238, 322, 324, 326, 328, 414, 416, 142,
399 230, 320, 412, 145, 147, 233, 235, 237,
400 239, 323, 325, 327, 329, 415, 417, 189,
401 191, 277, 279, 281, 283, 367, 369, 371,
402 373, 459, 461, 187, 275, 365, 457, 190,
403 192, 278, 280, 282, 284, 368, 370, 372,
404 374, 460, 462, 463, 549, 551, 455, 547,
405 458, 464, 550, 552, 146, 148, 234, 236,
406 238, 240, 324, 326, 328, 330, 416, 418,
407 147, 149, 235, 237, 239, 241, 325, 327,
408 329, 331, 417, 419, 151, 243, 333, 421,
409 191, 193, 279, 281, 283, 285, 369, 371,
410 373, 375, 461, 463, 192, 194, 280, 282,
411 284, 286, 370, 372, 374, 376, 462, 464,
412 196, 288, 378, 466, 459, 465, 551, 553,
413 460, 552, 554, 468, 556, 150, 152, 238,
414 240, 242, 244, 328, 330, 332, 334, 420,
415 422, 148, 236, 326, 418, 151, 153, 239,
416 241, 243, 245, 329, 331, 333, 335, 421,
417 423, 195, 197, 283, 285, 287, 289, 373,
418 375, 377, 379, 465, 467, 193, 281, 371,
419 463, 196, 198, 284, 286, 288, 290, 374,
420 376, 378, 380, 466, 468, 469, 555, 557,
421 461, 553, 464, 470, 556, 558, 152, 154,
422 240, 242, 244, 246, 330, 332, 334, 336,
423 422, 424, 153, 155, 241, 243, 245, 247,
424 331, 333, 335, 337, 423, 425, 157, 249,
425 339, 427, 197, 199, 285, 287, 289, 291,
426 375, 377, 379, 381, 467, 469, 198, 200,
427 286, 288, 290, 292, 376, 378, 380, 382,
428 468, 470, 202, 294, 384, 472, 465, 471,
429 557, 559, 466, 558, 560, 474, 562, 156,
430 158, 244, 246, 248, 250, 334, 336, 338,
431 340, 426, 428, 154, 242, 332, 424, 157,
432 159, 245, 247, 249, 251, 335, 337, 339,
433 341, 427, 429, 201, 203, 289, 291, 293,
434 295, 379, 381, 383, 385, 471, 473, 199,
435 287, 377, 469, 202, 204, 290, 292, 294,
436 296, 380, 382, 384, 386, 472, 474, 475,
437 561, 563, 467, 559, 470, 476, 562, 564,
438 158, 160, 246, 248, 250, 252, 336, 338,
439 340, 342, 428, 430, 159, 161, 247, 249,
440 251, 253, 337, 339, 341, 343, 429, 431,
441 163, 255, 345, 433, 203, 205, 291, 293,
442 295, 297, 381, 383, 385, 387, 473, 475,
443 204, 206, 292, 294, 296, 298, 382, 384,
444 386, 388, 474, 476, 208, 300, 390, 478,
445 471, 477, 563, 565, 472, 564, 566, 480,
446 568, 162, 164, 250, 252, 254, 256, 340,
447 342, 344, 346, 432, 434, 160, 248, 338,
448 430, 163, 165, 251, 253, 255, 257, 341,
449 343, 345, 347, 433, 435, 207, 209, 295,
450 297, 299, 301, 385, 387, 389, 391, 477,
451 479, 205, 293, 383, 475, 208, 210, 296,
452 298, 300, 302, 386, 388, 390, 392, 478,
453 480, 481, 567, 569, 473, 565, 476, 482,
454 568, 570, 164, 166, 252, 254, 256, 258,
455 342, 344, 346, 348, 434, 436, 165, 167,
456 253, 255, 257, 259, 343, 345, 347, 349,
457 435, 437, 169, 261, 351, 439, 209, 211,
458 297, 299, 301, 303, 387, 389, 391, 393,
459 479, 481, 210, 212, 298, 300, 302, 304,
460 388, 390, 392, 394, 480, 482, 214, 306,
461 396, 484, 477, 483, 569, 571, 478, 570,
462 572, 486, 574, 168, 170, 256, 258, 260,
463 262, 346, 348, 350, 352, 438, 440, 166,
464 254, 344, 436, 169, 171, 257, 259, 261,
465 263, 347, 349, 351, 353, 439, 441, 213,
466 215, 301, 303, 305, 307, 391, 393, 395,
467 397, 483, 485, 211, 299, 389, 481, 214,
468 216, 302, 304, 306, 308, 392, 394, 396,
469 398, 484, 486, 487, 573, 575, 479, 571,
470 482, 488, 574, 576, 170, 172, 258, 260,
471 262, 264, 348, 350, 352, 440, 442, 171,
472 173, 259, 261, 263, 265, 349, 351, 353,
473 355, 441, 443, 175, 357, 215, 217, 303,
474 305, 307, 309, 393, 395, 397, 485, 487,
475 216, 218, 304, 306, 308, 310, 394, 396,
476 398, 400, 486, 488, 220, 402, 490, 483,
477 575, 577, 484, 576, 580, 174, 262, 264,
478 266, 352, 356, 358, 444, 446, 172, 260,
479 350, 442, 175, 263, 265, 353, 355, 357,
480 359, 447, 219, 307, 309, 311, 313, 397,
481 217, 305, 395, 487, 220, 308, 310, 398,
482 400, 402, 490, 485, 577, 579, 581, 583,
483 669, 671, 488, 494, 580, 582, 448, 179,
484 449, 532, 536, 538, 624, 440, 530, 622,
485 443, 535, 537, 627, 575, 667, 670, 320,
486 322, 410, 412, 414, 500, 502, 504, 592,
487 321, 323, 411, 413, 415, 501, 503, 505,
488 593, 325, 417, 507, 595, 230, 232, 318,
489 324, 231, 233, 319, 235, 327, 365, 367,
490 455, 457, 459, 547, 549, 637, 366, 368,
491 456, 458, 460, 548, 550, 638, 370, 462,
492 552, 640, 594, 682, 683, 597, 685, 639,
493 642, 730, 729, 732, 820, 324, 326, 412,
494 414, 416, 418, 502, 504, 506, 508, 594,
495 596, 322, 410, 500, 592, 325, 327, 413,
496 415, 417, 419, 503, 505, 507, 509, 595,
497 597, 234, 236, 328, 232, 320, 235, 237,
498 323, 329, 369, 371, 457, 459, 461, 463,
499 547, 549, 551, 553, 639, 641, 367, 455,
500 637, 370, 372, 458, 460, 462, 464, 548,
501 550, 552, 554, 640, 642, 326, 328, 414,
502 416, 418, 420, 504, 506, 508, 510, 596,
503 598, 327, 329, 415, 417, 419, 421, 505,
504 507, 509, 511, 597, 599, 331, 423, 513,
505 601, 236, 238, 324, 330, 237, 239, 325,
506 241, 333, 371, 373, 459, 461, 463, 465,
507 549, 551, 553, 555, 641, 643, 372, 374,
508 460, 462, 464, 466, 550, 552, 554, 556,
509 642, 644, 376, 468, 558, 646, 330, 332,
510 418, 420, 422, 424, 508, 510, 512, 514,
511 600, 602, 328, 416, 506, 598, 331, 333,
512 419, 421, 423, 425, 509, 511, 513, 515,
513 601, 603, 240, 242, 334, 238, 326, 241,
514 243, 329, 335, 375, 377, 463, 465, 467,
515 469, 553, 555, 557, 559, 645, 647, 373,
516 461, 551, 643, 376, 378, 464, 466, 468,
517 470, 554, 556, 558, 560, 646, 648, 332,
518 334, 420, 422, 424, 426, 510, 512, 514,
519 516, 602, 604, 333, 335, 421, 423, 425,
520 427, 511, 513, 515, 517, 603, 605, 337,
521 429, 519, 607, 242, 244, 330, 336, 243,
522 245, 331, 247, 339, 377, 379, 465, 467,
523 469, 471, 555, 557, 559, 561, 647, 649,
524 378, 380, 466, 468, 470, 472, 556, 558,
525 560, 562, 648, 650, 382, 474, 564, 652,
526 336, 338, 424, 426, 428, 430, 514, 516,
527 518, 520, 606, 608, 334, 422, 512, 604,
528 337, 339, 425, 427, 429, 431, 515, 517,
529 519, 521, 607, 609, 246, 248, 340, 244,
530 332, 247, 249, 335, 341, 381, 383, 469,
531 471, 473, 475, 559, 561, 563, 565, 651,
532 653, 379, 467, 557, 649, 382, 384, 470,
533 472, 474, 476, 560, 562, 564, 566, 652,
534 654, 338, 340, 426, 428, 430, 432, 516,
535 518, 520, 522, 608, 610, 339, 341, 427,
536 429, 431, 433, 517, 519, 521, 523, 609,
537 611, 343, 435, 525, 613, 248, 250, 336,
538 342, 249, 251, 337, 253, 345, 383, 385,
539 471, 473, 475, 477, 561, 563, 565, 567,
540 653, 655, 384, 386, 472, 474, 476, 478,
541 562, 564, 566, 568, 654, 656, 388, 480,
542 570, 658, 342, 344, 430, 432, 434, 436,
543 520, 522, 524, 526, 612, 614, 340, 428,
544 518, 610, 343, 345, 431, 433, 435, 437,
545 521, 523, 525, 527, 613, 615, 252, 254,
546 346, 250, 338, 253, 255, 341, 347, 387,
547 389, 475, 477, 479, 481, 565, 567, 569,
548 571, 657, 659, 385, 473, 563, 655, 388,
549 390, 476, 478, 480, 482, 566, 568, 570,
550 572, 658, 660, 344, 346, 432, 434, 436,
551 438, 522, 524, 526, 528, 614, 616, 345,
552 347, 433, 435, 437, 439, 523, 525, 527,
553 529, 615, 617, 349, 441, 531, 619, 254,
554 256, 342, 348, 255, 257, 343, 259, 351,
555 389, 391, 477, 479, 481, 483, 567, 569,
556 571, 573, 659, 661, 390, 392, 478, 480,
557 482, 484, 568, 570, 572, 574, 660, 662,
558 394, 486, 576, 664, 348, 350, 436, 438,
559 440, 442, 526, 528, 530, 532, 618, 620,
560 346, 434, 524, 616, 349, 351, 437, 439,
561 441, 443, 527, 529, 531, 619, 621, 258,
562 260, 352, 256, 344, 259, 261, 347, 353,
563 393, 395, 481, 483, 485, 487, 571, 573,
564 575, 577, 663, 665, 391, 479, 569, 661,
565 394, 396, 482, 484, 486, 488, 572, 574,
566 576, 664, 666, 350, 352, 438, 440, 442,
567 444, 528, 530, 532, 620, 622, 351, 353,
568 439, 441, 443, 529, 531, 535, 621, 355,
569 447, 537, 260, 262, 348, 261, 263, 349,
570 265, 357, 395, 397, 483, 485, 487, 573,
571 575, 577, 579, 665, 667, 396, 398, 484,
572 486, 488, 490, 574, 576, 580, 666, 668,
573 400, 582, 670, 318, 319, 320, 410, 500,
574 501, 502, 592, 321, 411, 503, 593, 273,
575 365, 455, 456, 457, 547, 637, 274, 366,
576 458, 548, 638, 639, 729, 640, 730, 549,
577 550, 682, 683, 684, 774, 685, 775, 819,
578 820, 594, 595, 687, 777, 865, 505, 597,
579 731, 821, 732, 822, 864, 912, 911, 1001,
580 1002, 414, 416, 502, 504, 506, 508, 592,
581 594, 596, 598, 684, 686, 412, 500, 682,
582 415, 417, 503, 505, 507, 509, 593, 595,
583 597, 599, 685, 687, 459, 461, 547, 549,
584 551, 553, 637, 639, 641, 643, 729, 731,
585 457, 460, 462, 548, 550, 552, 554, 638,
586 640, 642, 644, 730, 732, 733, 819, 821,
587 734, 820, 822, 416, 418, 504, 506, 508,
588 510, 594, 596, 598, 600, 686, 688, 417,
589 419, 505, 507, 509, 511, 595, 597, 599,
590 601, 687, 689, 421, 513, 603, 691, 461,
591 463, 549, 551, 553, 555, 639, 641, 643,
592 645, 731, 733, 462, 464, 550, 552, 554,
593 556, 640, 642, 644, 646, 732, 734, 466,
594 558, 648, 736, 729, 735, 821, 823, 730,
595 822, 824, 738, 826, 420, 422, 508, 510,
596 512, 514, 598, 600, 602, 604, 690, 692,
597 418, 506, 596, 688, 421, 423, 509, 511,
598 513, 515, 599, 601, 603, 605, 691, 693,
599 465, 467, 553, 555, 557, 559, 643, 645,
600 647, 649, 735, 737, 463, 551, 641, 733,
601 466, 468, 554, 556, 558, 560, 644, 646,
602 648, 650, 736, 738, 739, 825, 827, 731,
603 823, 734, 740, 826, 828, 422, 424, 510,
604 512, 514, 516, 600, 602, 604, 606, 692,
605 694, 423, 425, 511, 513, 515, 517, 601,
606 603, 605, 607, 693, 695, 427, 519, 609,
607 697, 467, 469, 555, 557, 559, 561, 645,
608 647, 649, 651, 737, 739, 468, 470, 556,
609 558, 560, 562, 646, 648, 650, 652, 738,
610 740, 472, 564, 654, 742, 735, 741, 827,
611 829, 736, 828, 830, 744, 832, 426, 428,
612 514, 516, 518, 520, 604, 606, 608, 610,
613 696, 698, 424, 512, 602, 694, 427, 429,
614 515, 517, 519, 521, 605, 607, 609, 611,
615 697, 699, 471, 473, 559, 561, 563, 565,
616 649, 651, 653, 655, 741, 743, 469, 557,
617 647, 739, 472, 474, 560, 562, 564, 566,
618 650, 652, 654, 656, 742, 744, 745, 831,
619 833, 737, 829, 740, 746, 832, 834, 428,
620 430, 516, 518, 520, 522, 606, 608, 610,
621 612, 698, 700, 429, 431, 517, 519, 521,
622 523, 607, 609, 611, 613, 699, 701, 433,
623 525, 615, 703, 473, 475, 561, 563, 565,
624 567, 651, 653, 655, 657, 743, 745, 474,
625 476, 562, 564, 566, 568, 652, 654, 656,
626 658, 744, 746, 478, 570, 660, 748, 741,
627 747, 833, 835, 742, 834, 836, 750, 838,
628 432, 434, 520, 522, 524, 526, 610, 612,
629 614, 616, 702, 704, 430, 518, 608, 700,
630 433, 435, 521, 523, 525, 527, 611, 613,
631 615, 617, 703, 705, 477, 479, 565, 567,
632 569, 571, 655, 657, 659, 661, 747, 749,
633 475, 563, 653, 745, 478, 480, 566, 568,
634 570, 572, 656, 658, 660, 662, 748, 750,
635 751, 837, 839, 743, 835, 746, 752, 838,
636 840, 434, 436, 522, 524, 526, 528, 612,
637 614, 616, 618, 704, 706, 435, 437, 523,
638 525, 527, 529, 613, 615, 617, 619, 705,
639 707, 439, 531, 621, 709, 479, 481, 567,
640 569, 571, 573, 657, 659, 661, 663, 749,
641 751, 480, 482, 568, 570, 572, 574, 658,
642 660, 662, 664, 750, 752, 484, 576, 666,
643 754, 747, 753, 839, 748, 840, 842, 756,
644 844, 438, 440, 526, 528, 530, 532, 616,
645 618, 620, 622, 708, 710, 436, 524, 614,
646 706, 439, 441, 527, 529, 531, 617, 619,
647 621, 709, 483, 485, 571, 573, 575, 577,
648 661, 663, 665, 667, 753, 481, 569, 659,
649 751, 484, 486, 572, 574, 576, 662, 664,
650 666, 668, 754, 756, 757, 845, 749, 752,
651 758, 844, 846, 440, 442, 528, 530, 532,
652 618, 620, 622, 624, 710, 441, 443, 529,
653 531, 535, 619, 621, 713, 537, 627, 485,
654 487, 573, 575, 577, 579, 663, 665, 667,
655 669, 757, 486, 488, 574, 576, 580, 664,
656 666, 668, 670, 756, 758, 490, 582, 760,
657 753, 759, 845, 847, 754, 846, 848, 762,
658 444, 446, 536, 538, 447, 581, 583, 671,
659 761, 849, 446, 448, 536, 538, 624, 718,
660 447, 449, 535, 537, 627, 579, 581, 583,
661 669, 671, 761, 494, 580, 582, 670, 762,
662 759, 853, 760, 594, 596, 682, 684, 686,
663 688, 774, 776, 778, 864, 866, 592, 595,
664 597, 683, 685, 687, 689, 775, 777, 779,
665 865, 867, 504, 506, 598, 502, 505, 507,
666 593, 599, 639, 641, 729, 731, 733, 819,
667 821, 823, 911, 637, 640, 642, 730, 732,
668 734, 820, 822, 824, 912, 868, 956, 869,
669 957, 913, 1001, 914, 1002, 1003, 1004, 596,
670 598, 684, 686, 688, 690, 774, 776, 778,
671 780, 866, 868, 597, 599, 685, 687, 689,
672 691, 775, 777, 779, 781, 867, 869, 601,
673 693, 783, 871, 506, 508, 594, 600, 507,
674 509, 595, 511, 603, 641, 643, 729, 731,
675 733, 735, 819, 821, 823, 825, 911, 913,
676 642, 644, 730, 732, 734, 736, 820, 822,
677 824, 826, 912, 914, 646, 738, 828, 916,
678 600, 602, 688, 690, 692, 694, 778, 780,
679 782, 784, 870, 872, 598, 686, 776, 868,
680 601, 603, 689, 691, 693, 695, 779, 781,
681 783, 785, 871, 873, 510, 512, 604, 508,
682 596, 511, 513, 599, 605, 645, 647, 733,
683 735, 737, 739, 823, 825, 827, 829, 915,
684 917, 643, 731, 821, 913, 646, 648, 734,
685 736, 738, 740, 824, 826, 828, 830, 916,
686 918, 602, 604, 690, 692, 694, 696, 780,
687 782, 784, 786, 872, 874, 603, 605, 691,
688 693, 695, 697, 781, 783, 785, 787, 873,
689 875, 607, 699, 789, 877, 512, 514, 600,
690 606, 513, 515, 601, 517, 609, 647, 649,
691 735, 737, 739, 741, 825, 827, 829, 831,
692 917, 919, 648, 650, 736, 738, 740, 742,
693 826, 828, 830, 832, 918, 920, 652, 744,
694 834, 922, 606, 608, 694, 696, 698, 700,
695 784, 786, 788, 790, 876, 878, 604, 692,
696 782, 874, 607, 609, 695, 697, 699, 701,
697 785, 787, 789, 791, 877, 879, 516, 518,
698 610, 514, 602, 517, 519, 605, 611, 651,
699 653, 739, 741, 743, 745, 829, 831, 833,
700 835, 921, 923, 649, 737, 827, 919, 652,
701 654, 740, 742, 744, 746, 830, 832, 834,
702 836, 922, 924, 608, 610, 696, 698, 700,
703 702, 786, 788, 790, 792, 878, 880, 609,
704 611, 697, 699, 701, 703, 787, 789, 791,
705 793, 879, 881, 613, 705, 795, 883, 518,
706 520, 606, 612, 519, 521, 607, 523, 615,
707 653, 655, 741, 743, 745, 747, 831, 833,
708 835, 837, 923, 925, 654, 656, 742, 744,
709 746, 748, 832, 834, 836, 838, 924, 926,
710 658, 750, 840, 928, 612, 614, 700, 702,
711 704, 706, 790, 792, 794, 796, 882, 884,
712 610, 698, 788, 880, 613, 615, 701, 703,
713 705, 707, 791, 793, 795, 797, 883, 885,
714 522, 524, 616, 520, 608, 523, 525, 611,
715 617, 657, 659, 745, 747, 749, 751, 835,
716 837, 839, 927, 929, 655, 743, 833, 925,
717 658, 660, 746, 748, 750, 752, 836, 838,
718 840, 842, 928, 930, 614, 616, 702, 704,
719 706, 708, 792, 794, 796, 798, 884, 886,
720 615, 617, 703, 705, 707, 709, 793, 795,
721 797, 885, 887, 619, 801, 889, 524, 526,
722 612, 618, 525, 527, 613, 529, 621, 659,
723 661, 747, 749, 751, 753, 837, 839, 929,
724 931, 660, 662, 748, 750, 752, 754, 838,
725 840, 842, 844, 930, 664, 756, 846, 618,
726 620, 706, 708, 710, 796, 798, 890, 616,
727 704, 794, 886, 619, 621, 707, 709, 713,
728 797, 801, 889, 528, 530, 622, 526, 614,
729 529, 531, 617, 663, 665, 751, 753, 757,
730 845, 847, 661, 749, 839, 931, 664, 666,
731 752, 754, 756, 758, 842, 844, 846, 848,
732 807, 895, 532, 624, 535, 627, 667, 759,
733 849, 937, 668, 760, 938, 670, 762, 940,
734 536, 622, 624, 710, 718, 894, 896, 532,
735 620, 708, 798, 890, 627, 713, 807, 895,
736 535, 537, 669, 671, 757, 759, 761, 847,
737 849, 853, 941, 667, 845, 937, 670, 758,
738 760, 762, 848, 940, 718, 896, 627, 807,
739 899, 536, 538, 624, 537, 671, 759, 761,
740 849, 853, 941, 760, 762, 944, 894, 895,
741 940, 1034, 1029, 1121, 592, 682, 684, 774,
742 776, 864, 866, 593, 683, 685, 775, 777,
743 865, 867, 637, 729, 819, 821, 911, 638,
744 730, 820, 822, 912, 1001, 1002, 914, 1004,
745 956, 1046, 957, 1047, 500, 501, 639, 640,
746 1003, 1093, 1094, 959, 1049, 958, 1048, 868,
747 869, 1183, 1184, 1138, 1139, 1228, 1229, 1185,
748 1275, 1365, 1186, 1276, 1366, 686, 688, 774,
749 776, 778, 780, 864, 866, 868, 870, 956,
750 958, 687, 689, 775, 777, 779, 781, 865,
751 867, 869, 871, 957, 959, 691, 783, 873,
752 961, 731, 733, 819, 821, 823, 825, 911,
753 913, 915, 1001, 1003, 732, 734, 820, 822,
754 824, 826, 912, 914, 916, 1002, 1004, 736,
755 828, 918, 1006, 1005, 1093, 1094, 1008, 1096,
756 690, 692, 778, 780, 782, 784, 868, 870,
757 872, 874, 960, 962, 688, 776, 866, 958,
758 691, 693, 779, 781, 783, 785, 869, 871,
759 873, 875, 961, 963, 735, 737, 823, 825,
760 827, 829, 913, 915, 917, 919, 1005, 1007,
761 733, 821, 911, 1003, 736, 738, 824, 826,
762 828, 830, 914, 916, 918, 920, 1006, 1008,
763 1009, 1095, 1097, 1001, 1093, 1004, 1010, 1096,
764 1098, 692, 694, 780, 782, 784, 786, 870,
765 872, 874, 876, 962, 964, 693, 695, 781,
766 783, 785, 787, 871, 873, 875, 877, 963,
767 965, 697, 789, 879, 967, 737, 739, 825,
768 827, 829, 831, 915, 917, 919, 921, 1007,
769 1009, 738, 740, 826, 828, 830, 832, 916,
770 918, 920, 922, 1008, 1010, 742, 834, 924,
771 1012, 1005, 1011, 1097, 1099, 1006, 1098, 1100,
772 1014, 1102, 696, 698, 784, 786, 788, 790,
773 874, 876, 878, 880, 966, 968, 694, 782,
774 872, 964, 697, 699, 785, 787, 789, 791,
775 875, 877, 879, 881, 967, 969, 741, 743,
776 829, 831, 833, 835, 919, 921, 923, 925,
777 1011, 1013, 739, 827, 917, 1009, 742, 744,
778 830, 832, 834, 836, 920, 922, 924, 926,
779 1012, 1014, 1015, 1101, 1103, 1007, 1099, 1010,
780 1016, 1102, 1104, 698, 700, 786, 788, 790,
781 792, 876, 878, 880, 882, 968, 970, 699,
782 701, 787, 789, 791, 793, 877, 879, 881,
783 883, 969, 971, 703, 795, 885, 973, 743,
784 745, 831, 833, 835, 837, 921, 923, 925,
785 927, 1013, 1015, 744, 746, 832, 834, 836,
786 838, 922, 924, 926, 928, 1014, 1016, 748,
787 840, 930, 1018, 1011, 1017, 1103, 1105, 1012,
788 1104, 1106, 1020, 1108, 702, 704, 790, 792,
789 794, 796, 880, 882, 884, 886, 972, 974,
790 700, 788, 878, 970, 703, 705, 791, 793,
791 795, 797, 881, 883, 885, 887, 973, 975,
792 747, 749, 835, 837, 839, 925, 927, 929,
793 931, 1017, 1019, 745, 833, 923, 1015, 748,
794 750, 836, 838, 840, 842, 926, 928, 930,
795 1018, 1020, 1107, 1109, 1013, 1105, 1016, 1022,
796 1108, 1110, 704, 706, 792, 794, 796, 798,
797 882, 884, 886, 974, 976, 705, 707, 793,
798 795, 797, 883, 885, 887, 889, 975, 977,
799 709, 801, 979, 749, 751, 837, 839, 927,
800 929, 931, 1019, 750, 752, 838, 840, 842,
801 844, 928, 930, 1020, 1022, 754, 846, 1024,
802 1017, 1109, 1111, 1018, 1110, 1112, 1026, 1114,
803 708, 710, 796, 798, 886, 890, 978, 980,
804 706, 794, 884, 976, 709, 797, 801, 887,
805 889, 979, 981, 753, 845, 847, 931, 937,
806 751, 839, 929, 754, 756, 842, 844, 846,
807 848, 938, 1024, 1026, 1019, 1027, 1029, 1111,
808 1113, 1115, 1117, 1203, 1022, 1114, 1068, 1070,
809 974, 1064, 1156, 977, 983, 1067, 1069, 1071,
810 1073, 1159, 1109, 1201, 1112, 1206, 710, 798,
811 890, 894, 980, 713, 801, 889, 895, 981,
812 983, 807, 757, 845, 847, 849, 937, 1027,
813 756, 758, 844, 846, 848, 938, 940, 1026,
814 760, 1029, 1115, 1117, 1024, 896, 899, 759,
815 761, 853, 941, 762, 944, 1121, 1034, 1074,
816 1076, 1070, 1071, 1073, 1163, 1208, 1302, 866,
817 868, 956, 958, 960, 1046, 1048, 1050, 1138,
818 867, 869, 957, 959, 961, 1047, 1049, 1051,
819 1139, 871, 963, 1053, 1141, 776, 778, 864,
820 870, 777, 779, 865, 781, 873, 911, 913,
821 1001, 1003, 1005, 1093, 1095, 1183, 912, 914,
822 1002, 1004, 1006, 1094, 1096, 1184, 916, 1008,
823 1098, 1186, 1140, 1228, 1229, 1143, 1231, 1185,
824 1188, 1276, 1275, 1278, 1366, 870, 872, 958,
825 960, 962, 964, 1048, 1050, 1052, 1054, 1140,
826 1142, 868, 956, 1046, 1138, 871, 873, 959,
827 961, 963, 965, 1049, 1051, 1053, 1055, 1141,
828 1143, 780, 782, 874, 778, 866, 781, 783,
829 869, 875, 915, 917, 1003, 1005, 1007, 1009,
830 1093, 1095, 1097, 1099, 1185, 1187, 913, 1001,
831 1183, 916, 918, 1004, 1006, 1008, 1010, 1094,
832 1096, 1098, 1100, 1186, 1188, 872, 874, 960,
833 962, 964, 966, 1050, 1052, 1054, 1056, 1142,
834 1144, 873, 875, 961, 963, 965, 967, 1051,
835 1053, 1055, 1057, 1143, 1145, 877, 969, 1059,
836 1147, 782, 784, 870, 876, 783, 785, 871,
837 787, 879, 917, 919, 1005, 1007, 1009, 1011,
838 1095, 1097, 1099, 1101, 1187, 1189, 918, 920,
839 1006, 1008, 1010, 1012, 1096, 1098, 1100, 1102,
840 1188, 1190, 922, 1014, 1104, 1192, 876, 878,
841 964, 966, 968, 970, 1054, 1056, 1058, 1060,
842 1146, 1148, 874, 962, 1052, 1144, 877, 879,
843 965, 967, 969, 971, 1055, 1057, 1059, 1061,
844 1147, 1149, 786, 788, 880, 784, 872, 787,
845 789, 875, 881, 921, 923, 1009, 1011, 1013,
846 1015, 1099, 1101, 1103, 1105, 1191, 1193, 919,
847 1007, 1097, 1189, 922, 924, 1010, 1012, 1014,
848 1016, 1100, 1102, 1104, 1106, 1192, 1194, 878,
849 880, 966, 968, 970, 972, 1056, 1058, 1060,
850 1062, 1148, 1150, 879, 881, 967, 969, 971,
851 973, 1057, 1059, 1061, 1063, 1149, 1151, 883,
852 975, 1065, 1153, 788, 790, 876, 882, 789,
853 791, 877, 793, 885, 923, 925, 1011, 1013,
854 1015, 1017, 1101, 1103, 1105, 1107, 1193, 1195,
855 924, 926, 1012, 1014, 1016, 1018, 1102, 1104,
856 1106, 1108, 1194, 1196, 928, 1020, 1110, 1198,
857 882, 884, 970, 972, 974, 976, 1060, 1062,
858 1064, 1152, 1154, 880, 968, 1058, 1150, 883,
859 885, 971, 973, 975, 977, 1061, 1063, 1065,
860 1067, 1153, 1155, 792, 794, 886, 790, 878,
861 793, 795, 881, 887, 927, 929, 1015, 1017,
862 1019, 1105, 1107, 1109, 1111, 1197, 925, 1013,
863 1103, 1195, 928, 930, 1016, 1018, 1020, 1022,
864 1106, 1108, 1110, 1112, 1198, 1200, 884, 886,
865 972, 974, 976, 978, 1062, 1064, 1068, 1154,
866 1156, 885, 887, 973, 975, 977, 979, 1063,
867 1065, 1067, 1069, 1155, 1157, 889, 981, 1071,
868 1159, 794, 796, 882, 795, 797, 883, 929,
869 931, 1017, 1019, 1107, 1109, 1111, 1113, 1201,
870 930, 1018, 1020, 1022, 1024, 1108, 1110, 1112,
871 1114, 1200, 1202, 1026, 890, 978, 980, 1068,
872 1070, 1074, 979, 981, 983, 1069, 1071, 1073,
873 1163, 895, 894, 801, 889, 937, 1027, 1029,
874 1113, 1115, 1117, 938, 1024, 1026, 1114, 1206,
875 1208, 848, 940, 1034, 1252, 1159, 1253, 1203,
876 1296, 1201, 1291, 1383, 1385, 1475, 1294, 1302,
877 1390, 1076, 1121, 807, 899, 1437, 944, 1394,
878 1344, 1346, 1436, 1340, 1433, 1565, 864, 866,
879 956, 1046, 1048, 1138, 865, 867, 957, 1047,
880 1049, 1139, 819, 911, 1001, 1003, 1093, 1183,
881 820, 912, 1002, 1004, 1094, 1184, 1185, 1275,
882 1186, 1276, 1095, 1096, 1228, 1230, 1320, 1229,
883 1231, 1321, 1365, 1366, 1140, 1141, 1233, 1323,
884 1411, 1051, 1143, 1277, 1367, 1278, 1368, 1410,
885 1457, 1547, 1458, 1548, 1502, 1592, 1503, 1593,
886 1413, 1412, 1640, 1730, 1549, 1639, 1729, 1550,
887 960, 962, 1048, 1050, 1052, 1054, 1138, 1140,
888 1142, 1144, 1230, 1232, 958, 1046, 1228, 961,
889 963, 1049, 1051, 1053, 1055, 1139, 1141, 1143,
890 1145, 1231, 1233, 1005, 1007, 1093, 1095, 1097,
891 1099, 1183, 1185, 1187, 1189, 1275, 1277, 1003,
892 1006, 1008, 1094, 1096, 1098, 1100, 1184, 1186,
893 1188, 1190, 1276, 1278, 1279, 1365, 1367, 1280,
894 1366, 1368, 962, 964, 1050, 1052, 1054, 1056,
895 1140, 1142, 1144, 1146, 1232, 1234, 963, 965,
896 1051, 1053, 1055, 1057, 1141, 1143, 1145, 1147,
897 1233, 1235, 967, 1059, 1149, 1237, 1007, 1009,
898 1095, 1097, 1099, 1101, 1185, 1187, 1189, 1191,
899 1277, 1279, 1008, 1010, 1096, 1098, 1100, 1102,
900 1186, 1188, 1190, 1192, 1278, 1280, 1012, 1104,
901 1194, 1282, 1275, 1281, 1367, 1369, 1276, 1368,
902 1370, 1284, 1372, 966, 968, 1054, 1056, 1058,
903 1060, 1144, 1146, 1148, 1150, 1236, 1238, 964,
904 1052, 1142, 1234, 967, 969, 1055, 1057, 1059,
905 1061, 1145, 1147, 1149, 1151, 1237, 1239, 1011,
906 1013, 1099, 1101, 1103, 1105, 1189, 1191, 1193,
907 1195, 1281, 1283, 1009, 1097, 1187, 1279, 1012,
908 1014, 1100, 1102, 1104, 1106, 1190, 1192, 1194,
909 1196, 1282, 1284, 1285, 1371, 1373, 1277, 1369,
910 1280, 1286, 1372, 1374, 968, 970, 1056, 1058,
911 1060, 1062, 1146, 1148, 1150, 1152, 1238, 1240,
912 969, 971, 1057, 1059, 1061, 1063, 1147, 1149,
913 1151, 1153, 1239, 1241, 973, 1065, 1155, 1243,
914 1013, 1015, 1101, 1103, 1105, 1107, 1191, 1193,
915 1195, 1197, 1283, 1285, 1014, 1016, 1102, 1104,
916 1106, 1108, 1192, 1194, 1196, 1198, 1284, 1286,
917 1018, 1110, 1200, 1288, 1281, 1287, 1373, 1375,
918 1282, 1374, 1376, 1290, 1378, 972, 974, 1060,
919 1062, 1064, 1150, 1152, 1154, 1156, 1242, 1244,
920 970, 1058, 1148, 1240, 973, 975, 1061, 1063,
921 1065, 1067, 1151, 1153, 1155, 1157, 1243, 1245,
922 1017, 1019, 1105, 1107, 1109, 1111, 1195, 1197,
923 1201, 1287, 1289, 1015, 1103, 1193, 1285, 1018,
924 1020, 1106, 1108, 1110, 1112, 1196, 1198, 1200,
925 1202, 1288, 1290, 1291, 1377, 1379, 1283, 1375,
926 1286, 1292, 1378, 1380, 974, 976, 1062, 1064,
927 1068, 1152, 1154, 1156, 1244, 1246, 975, 977,
928 1063, 1065, 1067, 1069, 1153, 1155, 1157, 1159,
929 1245, 1247, 979, 1071, 1249, 1019, 1107, 1109,
930 1111, 1113, 1197, 1201, 1203, 1289, 1291, 1020,
931 1022, 1108, 1110, 1112, 1114, 1198, 1200, 1202,
932 1290, 1292, 1024, 1206, 1294, 1287, 1379, 1288,
933 1380, 1382, 1296, 978, 980, 1068, 1070, 1156,
934 1248, 976, 1064, 1154, 1246, 979, 981, 1067,
935 1069, 1071, 1073, 1157, 1159, 1163, 1249, 1111,
936 1113, 1115, 1117, 1201, 1203, 1109, 1291, 1024,
937 1026, 1112, 1114, 1202, 1206, 1208, 1294, 1296,
938 1383, 1385, 1289, 1292, 1252, 1336, 1340, 1244,
939 1334, 1426, 1247, 1253, 1337, 1339, 1429, 1473,
940 1475, 1379, 1471, 1382, 1474, 1140, 1142, 1228,
941 1230, 1232, 1234, 1320, 1322, 1324, 1410, 1412,
942 1138, 1141, 1143, 1229, 1231, 1233, 1235, 1321,
943 1323, 1325, 1411, 1413, 1050, 1052, 1144, 1048,
944 1051, 1053, 1139, 1145, 1185, 1187, 1275, 1277,
945 1279, 1365, 1367, 1369, 1457, 1183, 1186, 1188,
946 1276, 1278, 1280, 1366, 1368, 1370, 1458, 1414,
947 1502, 1415, 1503, 1459, 1547, 1460, 1548, 1549,
948 1550, 1142, 1144, 1230, 1232, 1234, 1236, 1320,
949 1322, 1324, 1326, 1412, 1414, 1143, 1145, 1231,
950 1233, 1235, 1237, 1321, 1323, 1325, 1327, 1413,
951 1415, 1147, 1239, 1329, 1417, 1052, 1054, 1140,
952 1146, 1053, 1055, 1141, 1057, 1149, 1187, 1189,
953 1275, 1277, 1279, 1281, 1365, 1367, 1369, 1371,
954 1457, 1459, 1188, 1190, 1276, 1278, 1280, 1282,
955 1366, 1368, 1370, 1372, 1458, 1460, 1192, 1284,
956 1374, 1462, 1146, 1148, 1234, 1236, 1238, 1240,
957 1324, 1326, 1328, 1330, 1416, 1418, 1144, 1232,
958 1322, 1414, 1147, 1149, 1235, 1237, 1239, 1241,
959 1325, 1327, 1329, 1331, 1417, 1419, 1056, 1058,
960 1150, 1054, 1142, 1057, 1059, 1145, 1151, 1191,
961 1193, 1279, 1281, 1283, 1285, 1369, 1371, 1373,
962 1375, 1461, 1463, 1189, 1277, 1367, 1459, 1192,
963 1194, 1280, 1282, 1284, 1286, 1370, 1372, 1374,
964 1376, 1462, 1464, 1148, 1150, 1236, 1238, 1240,
965 1242, 1326, 1328, 1330, 1332, 1418, 1420, 1149,
966 1151, 1237, 1239, 1241, 1243, 1327, 1329, 1331,
967 1333, 1419, 1421, 1153, 1245, 1335, 1423, 1058,
968 1060, 1146, 1152, 1059, 1061, 1147, 1063, 1155,
969 1193, 1195, 1281, 1283, 1285, 1287, 1371, 1373,
970 1375, 1377, 1463, 1465, 1194, 1196, 1282, 1284,
971 1286, 1288, 1372, 1374, 1376, 1378, 1464, 1466,
972 1198, 1290, 1380, 1468, 1152, 1154, 1240, 1242,
973 1244, 1246, 1330, 1332, 1334, 1336, 1422, 1424,
974 1150, 1238, 1328, 1420, 1153, 1155, 1241, 1243,
975 1245, 1247, 1331, 1333, 1335, 1337, 1423, 1425,
976 1062, 1064, 1156, 1060, 1148, 1063, 1065, 1151,
977 1157, 1197, 1285, 1287, 1289, 1291, 1375, 1377,
978 1379, 1469, 1195, 1283, 1373, 1465, 1198, 1200,
979 1286, 1288, 1290, 1292, 1376, 1378, 1380, 1382,
980 1468, 1470, 1154, 1156, 1242, 1244, 1246, 1248,
981 1332, 1334, 1336, 1424, 1426, 1155, 1157, 1243,
982 1245, 1247, 1249, 1333, 1335, 1337, 1339, 1425,
983 1427, 1159, 1429, 1064, 1152, 1065, 1067, 1153,
984 1069, 1201, 1287, 1289, 1291, 1377, 1379, 1383,
985 1469, 1471, 1200, 1202, 1288, 1290, 1292, 1294,
986 1378, 1380, 1382, 1470, 1472, 1296, 1474, 1248,
987 1252, 1340, 1344, 1163, 1249, 1253, 1339, 1433,
988 1070, 1071, 1073, 1159, 1383, 1385, 1475, 1206,
989 1208, 1294, 1296, 1390, 1302, 1138, 1228, 1230,
990 1320, 1322, 1410, 1412, 1139, 1229, 1231, 1321,
991 1323, 1411, 1413, 1183, 1275, 1365, 1367, 1457,
992 1184, 1276, 1366, 1368, 1458, 1547, 1548, 1460,
993 1550, 1502, 1592, 1503, 1593, 1549, 1639, 1640,
994 1505, 1595, 1504, 1594, 1414, 1415, 1684, 1685,
995 1729, 1730, 1731, 1821, 1732, 1822, 1774, 1775,
996 1046, 1047, 1911, 1912, 1866, 1956, 1867, 1957,
997 1776, 1777, 1232, 1234, 1320, 1322, 1324, 1326,
998 1410, 1412, 1414, 1416, 1502, 1504, 1233, 1235,
999 1321, 1323, 1325, 1327, 1411, 1413, 1415, 1417,
1000 1503, 1505, 1237, 1329, 1419, 1507, 1277, 1279,
1001 1365, 1367, 1369, 1371, 1457, 1459, 1461, 1547,
1002 1549, 1278, 1280, 1366, 1368, 1370, 1372, 1458,
1003 1460, 1462, 1548, 1550, 1282, 1374, 1464, 1552,
1004 1551, 1639, 1640, 1554, 1642, 1236, 1238, 1324,
1005 1326, 1328, 1330, 1414, 1416, 1418, 1420, 1506,
1006 1508, 1234, 1322, 1412, 1504, 1237, 1239, 1325,
1007 1327, 1329, 1331, 1415, 1417, 1419, 1421, 1507,
1008 1509, 1281, 1283, 1369, 1371, 1373, 1375, 1459,
1009 1461, 1463, 1465, 1551, 1553, 1279, 1367, 1457,
1010 1549, 1282, 1284, 1370, 1372, 1374, 1376, 1460,
1011 1462, 1464, 1466, 1552, 1554, 1555, 1641, 1643,
1012 1547, 1639, 1550, 1556, 1642, 1644, 1238, 1240,
1013 1326, 1328, 1330, 1332, 1416, 1418, 1420, 1422,
1014 1508, 1510, 1239, 1241, 1327, 1329, 1331, 1333,
1015 1417, 1419, 1421, 1423, 1509, 1511, 1243, 1335,
1016 1425, 1513, 1283, 1285, 1371, 1373, 1375, 1377,
1017 1461, 1463, 1465, 1553, 1555, 1284, 1286, 1372,
1018 1374, 1376, 1378, 1462, 1464, 1466, 1468, 1554,
1019 1556, 1288, 1380, 1470, 1558, 1551, 1557, 1643,
1020 1645, 1552, 1644, 1646, 1560, 1242, 1244, 1330,
1021 1332, 1334, 1336, 1420, 1422, 1424, 1426, 1512,
1022 1514, 1240, 1328, 1418, 1510, 1243, 1245, 1331,
1023 1333, 1335, 1337, 1421, 1423, 1425, 1427, 1513,
1024 1515, 1287, 1289, 1375, 1377, 1379, 1465, 1469,
1025 1471, 1557, 1559, 1285, 1373, 1463, 1555, 1288,
1026 1290, 1376, 1378, 1380, 1382, 1466, 1468, 1470,
1027 1472, 1558, 1560, 1561, 1553, 1645, 1556, 1562,
1028 1650, 1244, 1246, 1332, 1334, 1336, 1422, 1424,
1029 1426, 1514, 1516, 1245, 1247, 1333, 1335, 1337,
1030 1339, 1423, 1425, 1427, 1429, 1515, 1517, 1249,
1031 1519, 1289, 1291, 1377, 1379, 1383, 1469, 1471,
1032 1473, 1559, 1561, 1290, 1292, 1378, 1380, 1382,
1033 1468, 1470, 1472, 1474, 1560, 1562, 1294, 1564,
1034 1557, 1563, 1558, 1650, 1566, 1248, 1340, 1433,
1035 1521, 1385, 1475, 1565, 1296, 1653, 1252, 1340,
1036 1344, 1522, 1253, 1339, 1429, 1433, 1521, 1437,
1037 1383, 1385, 1473, 1475, 1565, 1206, 1208, 1294,
1038 1296, 1382, 1390, 1472, 1474, 1564, 1566, 1563,
1039 1660, 1748, 1346, 1436, 1524, 1526, 1121, 1302,
1040 1394, 1747, 1664, 1117, 1610, 1611, 1613, 1653,
1041 1412, 1414, 1502, 1504, 1506, 1592, 1594, 1596,
1042 1684, 1413, 1415, 1503, 1505, 1507, 1593, 1595,
1043 1597, 1685, 1417, 1509, 1599, 1687, 1322, 1324,
1044 1410, 1416, 1323, 1325, 1411, 1327, 1419, 1457,
1045 1459, 1547, 1549, 1551, 1639, 1641, 1729, 1458,
1046 1460, 1548, 1550, 1552, 1640, 1642, 1730, 1462,
1047 1554, 1644, 1732, 1686, 1774, 1775, 1689, 1777,
1048 1731, 1734, 1822, 1821, 1912, 1416, 1418, 1504,
1049 1506, 1508, 1510, 1594, 1596, 1598, 1600, 1686,
1050 1688, 1414, 1502, 1592, 1684, 1417, 1419, 1505,
1051 1507, 1509, 1511, 1595, 1597, 1599, 1601, 1687,
1052 1689, 1326, 1328, 1420, 1324, 1412, 1327, 1329,
1053 1415, 1421, 1461, 1463, 1549, 1551, 1553, 1555,
1054 1639, 1641, 1643, 1645, 1731, 1733, 1459, 1547,
1055 1729, 1462, 1464, 1550, 1552, 1554, 1556, 1640,
1056 1642, 1644, 1646, 1732, 1734, 1418, 1420, 1506,
1057 1508, 1510, 1512, 1596, 1598, 1600, 1602, 1688,
1058 1690, 1419, 1421, 1507, 1509, 1511, 1513, 1597,
1059 1599, 1601, 1603, 1689, 1691, 1423, 1515, 1605,
1060 1693, 1328, 1330, 1416, 1422, 1329, 1331, 1417,
1061 1333, 1425, 1463, 1465, 1551, 1553, 1555, 1557,
1062 1641, 1643, 1645, 1733, 1735, 1464, 1466, 1552,
1063 1554, 1556, 1558, 1642, 1644, 1646, 1734, 1736,
1064 1468, 1560, 1650, 1738, 1422, 1424, 1510, 1512,
1065 1514, 1516, 1600, 1602, 1604, 1606, 1692, 1694,
1066 1420, 1508, 1598, 1690, 1423, 1425, 1511, 1513,
1067 1515, 1517, 1601, 1603, 1605, 1693, 1695, 1332,
1068 1334, 1426, 1330, 1418, 1333, 1335, 1421, 1427,
1069 1469, 1555, 1557, 1559, 1561, 1645, 1737, 1465,
1070 1553, 1643, 1735, 1468, 1470, 1556, 1558, 1560,
1071 1562, 1646, 1650, 1738, 1424, 1426, 1512, 1514,
1072 1516, 1602, 1604, 1606, 1608, 1694, 1696, 1425,
1073 1427, 1513, 1515, 1517, 1519, 1603, 1605, 1609,
1074 1695, 1429, 1521, 1611, 1334, 1336, 1422, 1335,
1075 1337, 1423, 1339, 1469, 1471, 1557, 1559, 1561,
1076 1563, 1653, 1470, 1472, 1558, 1560, 1562, 1564,
1077 1650, 1474, 1566, 1744, 1522, 1610, 1698, 1700,
1078 1613, 1701, 1248, 1340, 1524, 1433, 1473, 1475,
1079 1565, 1522, 1524, 1608, 1610, 1700, 1433, 1519,
1080 1521, 1609, 1611, 1613, 1701, 1340, 1429, 1437,
1081 1475, 1563, 1565, 1653, 1747, 1564, 1566, 1660,
1082 1748, 1606, 1696, 1698, 1790, 1516, 1604, 1694,
1083 1789, 1835, 1561, 1744, 1923, 1737, 1827, 1924,
1084 1436, 1526, 1794, 1798, 1664, 1932, 2024, 1878,
1085 1787, 1877, 1879, 1975, 1922, 1876, 1968, 2012,
1086 1502, 1592, 1594, 1684, 1410, 1503, 1593, 1595,
1087 1685, 1457, 1547, 1549, 1639, 1641, 1729, 1731,
1088 1458, 1548, 1550, 1640, 1642, 1730, 1732, 1821,
1089 1822, 1774, 1776, 1866, 1775, 1777, 1867, 1411,
1090 1911, 1912, 1686, 1687, 1779, 1869, 1957, 1597,
1091 1689, 1823, 1914, 1688, 1778, 1780, 1868, 1956,
1092 1958, 1781, 1871, 1959, 1596, 1598, 1690, 1599,
1093 1691, 1733, 1825, 1915, 2003, 1734, 1826, 1916,
1094 2004, 1506, 1508, 1594, 1596, 1598, 1600, 1684,
1095 1686, 1688, 1690, 1776, 1778, 1504, 1592, 1774,
1096 1507, 1509, 1595, 1597, 1599, 1601, 1685, 1687,
1097 1689, 1691, 1777, 1779, 1551, 1553, 1639, 1641,
1098 1643, 1645, 1729, 1731, 1733, 1735, 1821, 1823,
1099 1549, 1552, 1554, 1640, 1642, 1644, 1646, 1730,
1100 1732, 1734, 1736, 1822, 1825, 1911, 1826, 1912,
1101 1914, 1508, 1510, 1596, 1598, 1600, 1602, 1686,
1102 1688, 1690, 1692, 1778, 1780, 1509, 1511, 1597,
1103 1599, 1601, 1603, 1687, 1689, 1691, 1693, 1779,
1104 1781, 1513, 1605, 1695, 1553, 1555, 1641, 1643,
1105 1645, 1731, 1733, 1735, 1737, 1823, 1825, 1554,
1106 1556, 1642, 1644, 1646, 1732, 1734, 1736, 1738,
1107 1826, 1558, 1650, 1828, 1821, 1827, 1915, 1822,
1108 1914, 1916, 1830, 1918, 1512, 1514, 1600, 1602,
1109 1604, 1606, 1690, 1692, 1694, 1696, 1510, 1598,
1110 1688, 1780, 1513, 1515, 1601, 1603, 1605, 1691,
1111 1693, 1695, 1557, 1559, 1645, 1735, 1737, 1827,
1112 1555, 1643, 1733, 1825, 1558, 1560, 1646, 1650,
1113 1736, 1738, 1828, 1830, 1917, 1823, 1915, 1826,
1114 1918, 1778, 1868, 1876, 1878, 1960, 1962, 1964,
1115 1781, 1787, 1871, 1875, 1877, 2007, 2009, 2005,
1116 1916, 1922, 2008, 2010, 1514, 1516, 1602, 1604,
1117 1606, 1608, 1692, 1694, 1696, 1698, 1515, 1517,
1118 1603, 1605, 1609, 1693, 1695, 1787, 1519, 1611,
1119 1701, 1789, 1469, 1471, 1557, 1559, 1561, 1563,
1120 1645, 1653, 1735, 1737, 1827, 1560, 1562, 1650,
1121 1738, 1744, 1830, 1564, 1825, 1835, 1917, 1923,
1122 2009, 1828, 1922, 1924, 1876, 1878, 1964, 1875,
1123 1877, 1879, 1915, 2007, 1918, 2010, 2012, 1688,
1124 1690, 1776, 1778, 1780, 1866, 1868, 1958, 1960,
1125 1689, 1691, 1777, 1779, 1781, 1867, 1869, 1871,
1126 1959, 1961, 1693, 1875, 1598, 1600, 1686, 1692,
1127 1599, 1601, 1687, 1603, 1695, 1733, 1735, 1821,
1128 1823, 1825, 1827, 1911, 1915, 1917, 2003, 2005,
1129 1734, 1736, 1822, 1826, 1828, 1912, 1914, 1916,
1130 1918, 2004, 2006, 1738, 1830, 2008, 1956, 1962,
1131 1957, 2007, 2010, 1776, 1778, 1866, 1868, 1956,
1132 1958, 1960, 1774, 1777, 1779, 1867, 1869, 1871,
1133 1957, 1959, 1961, 1821, 1823, 1911, 1915, 2003,
1134 2005, 1822, 1912, 1914, 1916, 2004, 2006, 1876,
1135 1960, 1962, 1964, 1780, 1868, 1958, 1871, 1875,
1136 1877, 1961, 1827, 1915, 1917, 2005, 2007, 2009,
1137 1825, 2003, 1828, 1830, 1916, 1918, 1922, 2006,
1138 2008, 2010, 2012, 1876, 1878, 1962, 1964, 1968,
1139 1787, 1875, 1877, 1879, 1789, 1917, 1923, 2007,
1140 2009, 1830, 1918, 1922, 1924, 2008, 2010, 2012,
1144 static long _vq_fitmap_res_Xc_8[] = {
1145 0, 0, 0, 59, 59, 123, 123, 187,
1146 187, 251, 251, 315, 315, 377, 377, 433,
1147 433, 496, 561, 626, 691, 756, 821, 886,
1148 951, 1016, 1081, 1146, 377, 377, 1207, 433,
1149 1248, 1307, 1372, 1437, 1502, 1567, 1632, 1697,
1150 1762, 1827, 1892, 1949, 1949, 1207, 1207, 2015,
1151 2077, 2141, 2206, 2271, 2336, 2401, 2466, 2531,
1152 2596, 2659, 1949, 1949, 2715, 2715, 2015, 2769,
1153 2827, 2892, 2957, 3022, 3087, 3152, 3217, 3281,
1154 3339, 3339, 3402, 2715, 2715, 2715, 3427, 3487,
1155 3552, 3617, 3682, 3747, 3812, 3876, 3935, 3935,
1156 4000, 4036, 2715, 2715, 4060, 3427, 4117, 4176,
1157 4241, 4306, 4371, 4436, 4498, 4552, 4614, 4614,
1158 4036, 4060, 4060, 4060, 4060, 4663, 4725, 4789,
1159 4854, 4919, 4984, 5046, 4552, 5100, 4614, 4614,
1160 4060, 4060, 5158, 5158, 4663, 5224, 5282, 5347,
1161 5412, 5477, 5540, 5595, 5100, 5100, 5100, 4060,
1162 4060, 5158, 5158, 5158, 5653, 5713, 5778, 5843,
1163 5908, 5970, 5595, 6023, 5100, 5100, 5158, 5158,
1164 5158, 5158, 6045, 5653, 6106, 6165, 6230, 6293,
1165 6353, 6353, 6414, 6414, 6414, 5158, 5158, 5158,
1166 6045, 6045, 6045, 6456, 6517, 6581, 6644, 6700,
1167 6700, 6761, 6414, 6414, 5158, 5158, 5158, 6045,
1168 6045, 6816, 6456, 6881, 6937, 6996, 7060, 6761,
1169 6761, 6761, 6761, 6045, 6045, 6045, 6045, 6816,
1170 6816, 6816, 6816, 7119, 6996, 7060, 6761, 6761,
1171 6761, 6761, 6045, 6045, 6045, 6045, 6816, 6816,
1172 6816, 7179, 7119, 7207, 7235, 7235, 6761, 6761,
1176 static long _vq_fitlength_res_Xc_8[] = {
1177 59, 59, 59, 64, 64, 64, 64, 64,
1178 64, 64, 64, 62, 62, 56, 56, 63,
1179 63, 65, 65, 65, 65, 65, 65, 65,
1180 65, 65, 65, 61, 56, 56, 41, 63,
1181 59, 65, 65, 65, 65, 65, 65, 65,
1182 65, 65, 57, 66, 66, 41, 41, 62,
1183 64, 65, 65, 65, 65, 65, 65, 65,
1184 63, 56, 66, 66, 54, 54, 62, 58,
1185 65, 65, 65, 65, 65, 65, 64, 58,
1186 63, 63, 25, 54, 54, 54, 60, 65,
1187 65, 65, 65, 65, 64, 59, 65, 65,
1188 36, 24, 54, 54, 57, 60, 59, 65,
1189 65, 65, 65, 62, 54, 62, 49, 49,
1190 24, 57, 57, 57, 57, 62, 64, 65,
1191 65, 65, 62, 54, 62, 58, 49, 49,
1192 57, 57, 66, 66, 62, 58, 65, 65,
1193 65, 63, 55, 58, 58, 58, 58, 57,
1194 57, 66, 66, 66, 60, 65, 65, 65,
1195 62, 53, 58, 22, 58, 58, 66, 66,
1196 66, 66, 61, 60, 59, 65, 63, 60,
1197 61, 61, 42, 42, 42, 66, 66, 66,
1198 61, 61, 61, 61, 64, 63, 56, 61,
1199 61, 55, 42, 42, 66, 66, 66, 61,
1200 61, 65, 61, 56, 59, 64, 59, 55,
1201 55, 55, 55, 61, 61, 61, 61, 65,
1202 65, 65, 65, 60, 64, 59, 55, 55,
1203 55, 55, 61, 61, 61, 61, 65, 65,
1204 65, 28, 60, 28, 23, 23, 55, 55,
1208 static encode_aux_pigeonhole _vq_auxp_res_Xc_8 = {
1210 _vq_pigeonmap_res_Xc_8,
1212 _vq_fitlist_res_Xc_8,
1213 _vq_fitmap_res_Xc_8,
1214 _vq_fitlength_res_Xc_8
1217 static static_codebook _vq_book_res_Xc_8 = {
1219 _vq_lengthlist_res_Xc_8,
1220 1, -527040512, 1611661312, 6, 0,
1221 _vq_quantlist_res_Xc_8,