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_B_4_VQH_
18 #define _V_res_B_4_VQH_
21 static long _vq_quantlist_res_B_4[] = {
57 static long _vq_lengthlist_res_B_4[] = {
58 3, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9,10,10,10,10,11,
59 11,11,11,12,12,12,13,13,13,13,14,13,14,15,14,14,
60 15, 5, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9,10, 9,11,10,
61 11,11,12,11,13,12,13,13,13,13,13,13,13,13,14,14,
62 15,14, 5, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9,10,10,11,
63 10,11,11,12,11,12,12,13,12,13,13,13,14,14,14,14,
64 14,14,15, 6, 6, 6, 7, 7, 8, 8, 9, 9, 9, 9,10,10,
65 11,11,11,11,12,12,13,12,13,13,14,13,14,14,14,14,
66 15,14,15,15, 6, 6, 6, 7, 7, 8, 8, 8, 9, 9, 9,10,
67 10,11,11,11,11,12,12,13,13,13,13,13,13,14,14,14,
68 14,14,15,15,15, 7, 7, 7, 8, 8, 9, 8, 9, 9,10, 9,
69 11,10,11,11,12,12,13,12,13,13,14,13,14,14,14,14,
70 14,15,15,14,16,15, 7, 7, 7, 8, 8, 8, 9, 9, 9,10,
71 10,10,11,11,11,12,12,12,12,13,13,13,13,13,14,14,
72 14,15,15,15,16,15,15, 8, 8, 8, 9, 9, 9, 9,10, 9,
73 10,10,11,11,12,11,12,12,13,12,13,13,13,14,14,14,
74 15,14,15,15,15,15,16,15, 8, 8, 8, 8, 9, 9, 9,10,
75 10,10,10,11,11,11,12,12,12,12,13,13,14,13,14,14,
76 15,14,15,14,15,14,15,14,16, 9, 9, 9, 9, 9,10, 9,
77 10,10,11,10,12,11,12,12,13,13,13,13,14,13,14,14,
78 14,14,15,15,15,15,15,15,16,16, 9, 9, 9, 9, 9, 9,
79 10,10,10,11,11,11,12,12,12,13,13,13,13,13,14,14,
80 14,15,14,14,15,14,15,14,15,15,16,10,10,10,10,10,
81 11,10,11,11,12,11,12,12,13,12,13,13,13,13,14,14,
82 14,14,16,14,15,15,15,15,15,16,16,15,10,10,10,10,
83 10,10,11,11,11,11,12,12,12,12,12,13,13,14,14,14,
84 15,14,15,14,16,15,15,15,15,16,16,15,15,10,11,10,
85 11,11,11,11,12,11,12,12,13,12,14,13,13,13,14,14,
86 14,14,15,14,15,14,17,15,15,15,16,15,16,15,10,10,
87 11,11,11,11,11,11,12,12,12,12,13,13,13,13,14,14,
88 14,14,14,15,15,15,15,15,16,16,15,17,15,16,15,11,
89 11,11,12,11,12,12,12,12,13,12,13,13,13,13,14,13,
90 14,14,14,15,15,15,14,16,15,15,16,15,17,16,16,15,
91 11,11,11,11,11,12,12,12,12,12,13,13,13,13,13,14,
92 14,13,14,14,14,15,15,15,15,16,15,16,15,16,16,15,
93 17,11,12,12,12,12,12,13,13,12,13,13,14,13,15,13,
94 14,14,15,14,16,15,15,16,15,15,15,15,17,15,16,16,
95 16,16,11,12,12,12,12,12,12,12,13,13,13,13,13,13,
96 14,14,14,14,15,14,15,15,15,16,16,15,15,16,16,16,
97 16,16,16,12,12,12,12,12,13,12,13,13,13,13,14,14,
98 14,14,14,14,14,15,15,15,16,16,16,15,16,16,17,16,
99 17,15,18,16,12,12,12,13,12,13,13,13,13,13,14,14,
100 14,14,14,15,15,15,15,15,15,15,15,15,16,17,17,16,
101 16,16,17,17,16,12,13,13,13,13,13,13,13,13,15,14,
102 15,14,15,15,15,15,15,15,15,16,16,16,16,16,16,16,
103 17,17,17,16,17,16,12,13,13,13,13,13,13,14,14,14,
104 14,14,14,14,14,14,14,15,16,15,15,15,16,15,17,16,
105 15,16,17,16,16,17, 0,13,13,13,13,13,14,13,14,14,
106 14,14,15,14,15,14,15,15,15,16,15,16,17,16,18,15,
107 17,16,17,16,16,17,16,18,13,13,13,13,13,14,14,14,
108 13,14,14,15,15,15,15,15,16,15,17,16,16,15,16,17,
109 17,16,17,16,16,17,16,16,16,13,14,13,13,14,14,14,
110 14,14,14,14,14,15,15,15,15,15,16,15,16,16,17,16,
111 15,15,17,16,16,17,17,17,17,17,13,13,13,13,14,13,
112 14,14,14,14,15,14,15,15,16,15,16,15,15,16,15,15,
113 15,16,16,17,16,18,16,16,18,16,18,14,14,14,14,13,
114 14,14,15,15,15,14,15,15,15,16,15,16,17,16,17,16,
115 16,16,17,16,17,17,17,16,17,16, 0, 0,13,14,14,13,
116 14,14,15,14,15,15,15,14,14,15,15,16,16,15,16,16,
117 16,16,16,17,17,16, 0,16,16,17,18,17, 0,14,14,14,
118 15,14,15,16,15,15,15,15,15,16,16,15,16,16,18,16,
119 17,16,16,16,17,16,18,17,17,17,17,18,17,16,14,14,
120 15,14,14,15,15,16,15,16,15,15,15,16,16,16,17,18,
121 16,16,17,15,17,16, 0,17,18,18,18,17, 0,17, 0,15,
122 14,15,15,15,15,15,15,16,16,15,16,15,18,16,18,16,
123 17,16, 0,17,17,18,18,16,17,18,18,17,18,17,18,18,
124 14,14,14,15,16,15,15,15,16,15,15,16,16,16,16,16,
125 16,17,17,16,17,16,17,16,18,17,17,17,17,17,16,17,
129 static float _vq_quantthresh_res_B_4[] = {
130 -15.5, -14.5, -13.5, -12.5, -11.5, -10.5, -9.5, -8.5,
131 -7.5, -6.5, -5.5, -4.5, -3.5, -2.5, -1.5, -0.5,
132 0.5, 1.5, 2.5, 3.5, 4.5, 5.5, 6.5, 7.5,
133 8.5, 9.5, 10.5, 11.5, 12.5, 13.5, 14.5, 15.5,
136 static long _vq_quantmap_res_B_4[] = {
137 31, 29, 27, 25, 23, 21, 19, 17,
138 15, 13, 11, 9, 7, 5, 3, 1,
139 0, 2, 4, 6, 8, 10, 12, 14,
140 16, 18, 20, 22, 24, 26, 28, 30,
144 static encode_aux_threshmatch _vq_auxt_res_B_4 = {
145 _vq_quantthresh_res_B_4,
146 _vq_quantmap_res_B_4,
151 static long _vq_pigeonmap_res_B_4[] = {
152 10, 9, 9, 8, 7, 7, 6, 5,
153 5, 4, 3, 3, 2, 1, 1, 0,
154 0, 0, 1, 2, 2, 3, 4, 4,
155 5, 6, 6, 7, 8, 8, 9, 10,
158 static long _vq_fitlist_res_B_4[] = {
159 0, 1, 2, 3, 33, 34, 35, 36,
160 66, 67, 99, 100, 4, 37, 68, 101,
161 6, 39, 70, 103, 69, 132, 133, 134,
162 72, 136, 135, 198, 199, 200, 138, 202,
163 1, 3, 5, 7, 34, 36, 38, 40,
164 69, 71, 102, 104, 0, 33, 67, 100,
165 2, 4, 6, 8, 35, 37, 39, 41,
166 70, 72, 103, 105, 73, 135, 137, 66,
167 133, 68, 74, 136, 138, 139, 201, 203,
168 132, 199, 134, 140, 202, 204, 3, 5,
169 7, 9, 36, 38, 40, 42, 71, 73,
170 104, 106, 4, 6, 8, 10, 37, 39,
171 41, 43, 72, 74, 105, 107, 12, 45,
172 76, 109, 69, 75, 137, 139, 70, 138,
173 140, 78, 142, 135, 141, 203, 205, 136,
174 204, 206, 144, 208, 7, 9, 11, 13,
175 40, 42, 44, 46, 75, 77, 108, 110,
176 5, 38, 73, 106, 8, 10, 12, 14,
177 41, 43, 45, 47, 76, 78, 109, 111,
178 79, 141, 143, 71, 139, 74, 80, 142,
179 144, 145, 207, 209, 137, 205, 140, 146,
180 208, 210, 9, 11, 13, 15, 42, 44,
181 46, 48, 77, 79, 110, 112, 10, 12,
182 14, 16, 43, 45, 47, 49, 78, 80,
183 111, 113, 18, 51, 82, 115, 75, 81,
184 143, 145, 76, 144, 146, 84, 148, 141,
185 147, 209, 211, 142, 210, 212, 150, 214,
186 13, 15, 17, 19, 46, 48, 50, 52,
187 81, 83, 114, 116, 11, 44, 79, 112,
188 14, 16, 18, 20, 47, 49, 51, 53,
189 82, 84, 115, 117, 85, 147, 149, 77,
190 145, 80, 86, 148, 150, 151, 213, 215,
191 143, 211, 146, 152, 214, 216, 15, 17,
192 19, 21, 48, 50, 52, 54, 83, 85,
193 116, 118, 16, 18, 20, 22, 49, 51,
194 53, 55, 84, 86, 117, 119, 24, 57,
195 88, 121, 81, 87, 149, 151, 82, 150,
196 152, 90, 154, 147, 153, 215, 217, 148,
197 216, 218, 156, 220, 19, 21, 23, 25,
198 52, 54, 56, 58, 87, 89, 120, 122,
199 17, 50, 85, 118, 20, 22, 24, 26,
200 53, 55, 57, 59, 88, 90, 121, 123,
201 91, 153, 155, 83, 151, 86, 92, 154,
202 156, 157, 219, 221, 149, 217, 152, 158,
203 220, 222, 21, 23, 25, 27, 54, 56,
204 58, 60, 89, 91, 122, 124, 22, 24,
205 26, 28, 55, 57, 59, 61, 90, 92,
206 123, 125, 30, 63, 94, 127, 87, 93,
207 155, 157, 88, 156, 158, 96, 160, 153,
208 159, 221, 223, 154, 222, 224, 162, 226,
209 25, 27, 29, 31, 58, 60, 62, 64,
210 93, 95, 126, 128, 23, 56, 91, 124,
211 26, 28, 30, 32, 59, 61, 63, 65,
212 94, 96, 127, 129, 97, 159, 161, 89,
213 157, 92, 98, 160, 162, 163, 225, 227,
214 155, 223, 158, 164, 226, 228, 27, 29,
215 31, 60, 62, 64, 95, 97, 128, 130,
216 28, 30, 32, 61, 63, 65, 96, 98,
217 129, 131, 93, 161, 163, 94, 162, 164,
218 159, 227, 229, 160, 228, 230, 33, 34,
219 99, 100, 101, 102, 165, 166, 167, 168,
220 231, 232, 35, 103, 169, 233, 37, 105,
221 171, 235, 0, 1, 36, 2, 4, 39,
222 66, 67, 132, 133, 134, 135, 198, 199,
223 200, 201, 264, 265, 68, 136, 202, 266,
224 70, 138, 204, 268, 36, 38, 100, 102,
225 104, 106, 166, 168, 170, 172, 234, 236,
226 34, 99, 165, 232, 37, 39, 101, 103,
227 105, 107, 167, 169, 171, 173, 235, 237,
228 3, 5, 40, 1, 33, 4, 6, 35,
229 41, 69, 71, 133, 135, 137, 139, 199,
230 201, 203, 205, 267, 269, 67, 132, 198,
231 265, 70, 72, 134, 136, 138, 140, 200,
232 202, 204, 206, 268, 270, 38, 40, 102,
233 104, 106, 108, 168, 170, 172, 174, 236,
234 238, 39, 41, 103, 105, 107, 109, 169,
235 171, 173, 175, 237, 239, 43, 111, 177,
236 241, 5, 7, 36, 42, 6, 8, 37,
237 10, 45, 71, 73, 135, 137, 139, 141,
238 201, 203, 205, 207, 269, 271, 72, 74,
239 136, 138, 140, 142, 202, 204, 206, 208,
240 270, 272, 76, 144, 210, 274, 42, 44,
241 106, 108, 110, 112, 172, 174, 176, 178,
242 240, 242, 40, 104, 170, 238, 43, 45,
243 107, 109, 111, 113, 173, 175, 177, 179,
244 241, 243, 9, 11, 46, 7, 38, 10,
245 12, 41, 47, 75, 77, 139, 141, 143,
246 145, 205, 207, 209, 211, 273, 275, 73,
247 137, 203, 271, 76, 78, 140, 142, 144,
248 146, 206, 208, 210, 212, 274, 276, 44,
249 46, 108, 110, 112, 114, 174, 176, 178,
250 180, 242, 244, 45, 47, 109, 111, 113,
251 115, 175, 177, 179, 181, 243, 245, 49,
252 117, 183, 247, 11, 13, 42, 48, 12,
253 14, 43, 16, 51, 77, 79, 141, 143,
254 145, 147, 207, 209, 211, 213, 275, 277,
255 78, 80, 142, 144, 146, 148, 208, 210,
256 212, 214, 276, 278, 82, 150, 216, 280,
257 48, 50, 112, 114, 116, 118, 178, 180,
258 182, 184, 246, 248, 46, 110, 176, 244,
259 49, 51, 113, 115, 117, 119, 179, 181,
260 183, 185, 247, 249, 15, 17, 52, 13,
261 44, 16, 18, 47, 53, 81, 83, 145,
262 147, 149, 151, 211, 213, 215, 217, 279,
263 281, 79, 143, 209, 277, 82, 84, 146,
264 148, 150, 152, 212, 214, 216, 218, 280,
265 282, 50, 52, 114, 116, 118, 120, 180,
266 182, 184, 186, 248, 250, 51, 53, 115,
267 117, 119, 121, 181, 183, 185, 187, 249,
268 251, 55, 123, 189, 253, 17, 19, 48,
269 54, 18, 20, 49, 22, 57, 83, 85,
270 147, 149, 151, 153, 213, 215, 217, 219,
271 281, 283, 84, 86, 148, 150, 152, 154,
272 214, 216, 218, 220, 282, 284, 88, 156,
273 222, 286, 54, 56, 118, 120, 122, 124,
274 184, 186, 188, 190, 252, 254, 52, 116,
275 182, 250, 55, 57, 119, 121, 123, 125,
276 185, 187, 189, 191, 253, 255, 21, 23,
277 58, 19, 50, 22, 24, 53, 59, 87,
278 89, 151, 153, 155, 157, 217, 219, 221,
279 223, 285, 287, 85, 149, 215, 283, 88,
280 90, 152, 154, 156, 158, 218, 220, 222,
281 224, 286, 288, 56, 58, 120, 122, 124,
282 126, 186, 188, 190, 192, 254, 256, 57,
283 59, 121, 123, 125, 127, 187, 189, 191,
284 193, 255, 257, 61, 129, 195, 259, 23,
285 25, 54, 60, 24, 26, 55, 28, 63,
286 89, 91, 153, 155, 157, 159, 219, 221,
287 223, 225, 287, 289, 90, 92, 154, 156,
288 158, 160, 220, 222, 224, 226, 288, 290,
289 94, 162, 228, 292, 60, 62, 124, 126,
290 128, 130, 190, 192, 194, 196, 258, 260,
291 58, 122, 188, 256, 61, 63, 125, 127,
292 129, 131, 191, 193, 195, 197, 259, 261,
293 27, 29, 64, 25, 56, 28, 30, 59,
294 65, 93, 95, 157, 159, 161, 163, 223,
295 225, 227, 229, 291, 293, 91, 155, 221,
296 289, 94, 96, 158, 160, 162, 164, 224,
297 226, 228, 230, 292, 294, 62, 64, 126,
298 128, 130, 192, 194, 196, 260, 262, 63,
299 65, 127, 129, 131, 193, 195, 197, 261,
300 263, 29, 31, 60, 30, 32, 61, 95,
301 97, 159, 161, 163, 225, 227, 229, 293,
302 295, 96, 98, 160, 162, 164, 226, 228,
303 230, 294, 296, 99, 100, 165, 166, 167,
304 168, 231, 232, 233, 234, 297, 298, 101,
305 169, 235, 299, 103, 171, 237, 301, 132,
306 133, 198, 199, 200, 201, 264, 265, 266,
307 267, 330, 331, 134, 202, 268, 332, 136,
308 204, 270, 334, 333, 396, 397, 398, 336,
309 400, 102, 104, 166, 168, 170, 172, 232,
310 234, 236, 238, 300, 302, 100, 165, 231,
311 298, 103, 105, 167, 169, 171, 173, 233,
312 235, 237, 239, 301, 303, 135, 137, 199,
313 201, 203, 205, 265, 267, 269, 271, 333,
314 335, 133, 198, 264, 331, 136, 138, 200,
315 202, 204, 206, 266, 268, 270, 272, 334,
316 336, 337, 399, 401, 330, 397, 332, 338,
317 400, 402, 104, 106, 168, 170, 172, 174,
318 234, 236, 238, 240, 302, 304, 105, 107,
319 169, 171, 173, 175, 235, 237, 239, 241,
320 303, 305, 109, 177, 243, 307, 137, 139,
321 201, 203, 205, 207, 267, 269, 271, 273,
322 335, 337, 138, 140, 202, 204, 206, 208,
323 268, 270, 272, 274, 336, 338, 142, 210,
324 276, 340, 333, 339, 401, 403, 334, 402,
325 404, 342, 406, 108, 110, 172, 174, 176,
326 178, 238, 240, 242, 244, 306, 308, 106,
327 170, 236, 304, 109, 111, 173, 175, 177,
328 179, 239, 241, 243, 245, 307, 309, 141,
329 143, 205, 207, 209, 211, 271, 273, 275,
330 277, 339, 341, 139, 203, 269, 337, 142,
331 144, 206, 208, 210, 212, 272, 274, 276,
332 278, 340, 342, 343, 405, 407, 335, 403,
333 338, 344, 406, 408, 110, 112, 174, 176,
334 178, 180, 240, 242, 244, 246, 308, 310,
335 111, 113, 175, 177, 179, 181, 241, 243,
336 245, 247, 309, 311, 115, 183, 249, 313,
337 143, 145, 207, 209, 211, 213, 273, 275,
338 277, 279, 341, 343, 144, 146, 208, 210,
339 212, 214, 274, 276, 278, 280, 342, 344,
340 148, 216, 282, 346, 339, 345, 407, 409,
341 340, 408, 410, 348, 412, 114, 116, 178,
342 180, 182, 184, 244, 246, 248, 250, 312,
343 314, 112, 176, 242, 310, 115, 117, 179,
344 181, 183, 185, 245, 247, 249, 251, 313,
345 315, 147, 149, 211, 213, 215, 217, 277,
346 279, 281, 283, 345, 347, 145, 209, 275,
347 343, 148, 150, 212, 214, 216, 218, 278,
348 280, 282, 284, 346, 348, 349, 411, 413,
349 341, 409, 344, 350, 412, 414, 116, 118,
350 180, 182, 184, 186, 246, 248, 250, 252,
351 314, 316, 117, 119, 181, 183, 185, 187,
352 247, 249, 251, 253, 315, 317, 121, 189,
353 255, 319, 149, 151, 213, 215, 217, 219,
354 279, 281, 283, 285, 347, 349, 150, 152,
355 214, 216, 218, 220, 280, 282, 284, 286,
356 348, 350, 154, 222, 288, 352, 345, 351,
357 413, 415, 346, 414, 416, 354, 418, 120,
358 122, 184, 186, 188, 190, 250, 252, 254,
359 256, 318, 320, 118, 182, 248, 316, 121,
360 123, 185, 187, 189, 191, 251, 253, 255,
361 257, 319, 321, 153, 155, 217, 219, 221,
362 223, 283, 285, 287, 289, 351, 353, 151,
363 215, 281, 349, 154, 156, 218, 220, 222,
364 224, 284, 286, 288, 290, 352, 354, 355,
365 417, 419, 347, 415, 350, 356, 418, 420,
366 122, 124, 186, 188, 190, 192, 252, 254,
367 256, 258, 320, 322, 123, 125, 187, 189,
368 191, 193, 253, 255, 257, 259, 321, 323,
369 127, 195, 261, 325, 155, 157, 219, 221,
370 223, 225, 285, 287, 289, 291, 353, 355,
371 156, 158, 220, 222, 224, 226, 286, 288,
372 290, 292, 354, 356, 160, 228, 294, 358,
373 351, 357, 419, 421, 352, 420, 422, 360,
374 424, 126, 128, 190, 192, 194, 196, 256,
375 258, 260, 262, 324, 326, 124, 188, 254,
376 322, 127, 129, 191, 193, 195, 197, 257,
377 259, 261, 263, 325, 327, 159, 161, 223,
378 225, 227, 229, 289, 291, 293, 295, 357,
379 359, 157, 221, 287, 355, 160, 162, 224,
380 226, 228, 230, 290, 292, 294, 296, 358,
381 360, 361, 423, 425, 353, 421, 356, 362,
382 424, 426, 128, 130, 192, 194, 196, 258,
383 260, 262, 326, 328, 129, 131, 193, 195,
384 197, 259, 261, 263, 327, 329, 161, 163,
385 225, 227, 229, 291, 293, 295, 359, 361,
386 162, 164, 226, 228, 230, 292, 294, 296,
387 360, 362, 357, 425, 427, 358, 426, 428,
388 231, 232, 297, 298, 299, 300, 363, 364,
389 365, 366, 429, 430, 233, 301, 367, 431,
390 235, 303, 369, 433, 165, 166, 234, 167,
391 169, 237, 264, 265, 330, 331, 332, 333,
392 396, 397, 398, 399, 462, 463, 266, 334,
393 400, 464, 268, 336, 402, 466, 234, 236,
394 298, 300, 302, 304, 364, 366, 368, 370,
395 432, 434, 232, 297, 363, 430, 235, 237,
396 299, 301, 303, 305, 365, 367, 369, 371,
397 433, 435, 168, 170, 238, 166, 231, 169,
398 171, 233, 239, 267, 269, 331, 333, 335,
399 337, 397, 399, 401, 403, 465, 467, 265,
400 330, 396, 463, 268, 270, 332, 334, 336,
401 338, 398, 400, 402, 404, 466, 468, 236,
402 238, 300, 302, 304, 306, 366, 368, 370,
403 372, 434, 436, 237, 239, 301, 303, 305,
404 307, 367, 369, 371, 373, 435, 437, 241,
405 309, 375, 439, 170, 172, 234, 240, 171,
406 173, 235, 175, 243, 269, 271, 333, 335,
407 337, 339, 399, 401, 403, 405, 467, 469,
408 270, 272, 334, 336, 338, 340, 400, 402,
409 404, 406, 468, 470, 274, 342, 408, 472,
410 240, 242, 304, 306, 308, 310, 370, 372,
411 374, 376, 438, 440, 238, 302, 368, 436,
412 241, 243, 305, 307, 309, 311, 371, 373,
413 375, 377, 439, 441, 174, 176, 244, 172,
414 236, 175, 177, 239, 245, 273, 275, 337,
415 339, 341, 343, 403, 405, 407, 409, 471,
416 473, 271, 335, 401, 469, 274, 276, 338,
417 340, 342, 344, 404, 406, 408, 410, 472,
418 474, 242, 244, 306, 308, 310, 312, 372,
419 374, 376, 378, 440, 442, 243, 245, 307,
420 309, 311, 313, 373, 375, 377, 379, 441,
421 443, 247, 315, 381, 445, 176, 178, 240,
422 246, 177, 179, 241, 181, 249, 275, 277,
423 339, 341, 343, 345, 405, 407, 409, 411,
424 473, 475, 276, 278, 340, 342, 344, 346,
425 406, 408, 410, 412, 474, 476, 280, 348,
426 414, 478, 246, 248, 310, 312, 314, 316,
427 376, 378, 380, 382, 444, 446, 244, 308,
428 374, 442, 247, 249, 311, 313, 315, 317,
429 377, 379, 381, 383, 445, 447, 180, 182,
430 250, 178, 242, 181, 183, 245, 251, 279,
431 281, 343, 345, 347, 349, 409, 411, 413,
432 415, 477, 479, 277, 341, 407, 475, 280,
433 282, 344, 346, 348, 350, 410, 412, 414,
434 416, 478, 480, 248, 250, 312, 314, 316,
435 318, 378, 380, 382, 384, 446, 448, 249,
436 251, 313, 315, 317, 319, 379, 381, 383,
437 385, 447, 449, 253, 321, 387, 451, 182,
438 184, 246, 252, 183, 185, 247, 187, 255,
439 281, 283, 345, 347, 349, 351, 411, 413,
440 415, 417, 479, 481, 282, 284, 346, 348,
441 350, 352, 412, 414, 416, 418, 480, 482,
442 286, 354, 420, 484, 252, 254, 316, 318,
443 320, 322, 382, 384, 386, 388, 450, 452,
444 250, 314, 380, 448, 253, 255, 317, 319,
445 321, 323, 383, 385, 387, 389, 451, 453,
446 186, 188, 256, 184, 248, 187, 189, 251,
447 257, 285, 287, 349, 351, 353, 355, 415,
448 417, 419, 421, 483, 485, 283, 347, 413,
449 481, 286, 288, 350, 352, 354, 356, 416,
450 418, 420, 422, 484, 486, 254, 256, 318,
451 320, 322, 324, 384, 386, 388, 390, 452,
452 454, 255, 257, 319, 321, 323, 325, 385,
453 387, 389, 391, 453, 455, 259, 327, 393,
454 457, 188, 190, 252, 258, 189, 191, 253,
455 193, 261, 287, 289, 351, 353, 355, 357,
456 417, 419, 421, 423, 485, 487, 288, 290,
457 352, 354, 356, 358, 418, 420, 422, 424,
458 486, 488, 292, 360, 426, 490, 258, 260,
459 322, 324, 326, 328, 388, 390, 392, 394,
460 456, 458, 256, 320, 386, 454, 259, 261,
461 323, 325, 327, 329, 389, 391, 393, 395,
462 457, 459, 192, 194, 262, 190, 254, 193,
463 195, 257, 263, 291, 293, 355, 357, 359,
464 361, 421, 423, 425, 427, 489, 491, 289,
465 353, 419, 487, 292, 294, 356, 358, 360,
466 362, 422, 424, 426, 428, 490, 492, 260,
467 262, 324, 326, 328, 390, 392, 394, 458,
468 460, 261, 263, 325, 327, 329, 391, 393,
469 395, 459, 461, 194, 196, 258, 195, 197,
470 259, 293, 295, 357, 359, 361, 423, 425,
471 427, 491, 493, 294, 296, 358, 360, 362,
472 424, 426, 428, 492, 494, 297, 298, 363,
473 364, 365, 366, 429, 430, 431, 432, 495,
474 496, 299, 367, 433, 497, 301, 369, 435,
475 499, 330, 331, 396, 397, 398, 399, 462,
476 463, 464, 465, 528, 529, 332, 400, 466,
477 530, 334, 402, 468, 532, 531, 594, 595,
478 596, 534, 598, 300, 302, 364, 366, 368,
479 370, 430, 432, 434, 436, 498, 500, 298,
480 363, 429, 496, 301, 303, 365, 367, 369,
481 371, 431, 433, 435, 437, 499, 501, 333,
482 335, 397, 399, 401, 403, 463, 465, 467,
483 469, 531, 533, 331, 396, 462, 529, 334,
484 336, 398, 400, 402, 404, 464, 466, 468,
485 470, 532, 534, 535, 597, 599, 528, 595,
486 530, 536, 598, 600, 302, 304, 366, 368,
487 370, 372, 432, 434, 436, 438, 500, 502,
488 303, 305, 367, 369, 371, 373, 433, 435,
489 437, 439, 501, 503, 307, 375, 441, 505,
490 335, 337, 399, 401, 403, 405, 465, 467,
491 469, 471, 533, 535, 336, 338, 400, 402,
492 404, 406, 466, 468, 470, 472, 534, 536,
493 340, 408, 474, 538, 531, 537, 599, 601,
494 532, 600, 602, 540, 604, 306, 308, 370,
495 372, 374, 376, 436, 438, 440, 442, 504,
496 506, 304, 368, 434, 502, 307, 309, 371,
497 373, 375, 377, 437, 439, 441, 443, 505,
498 507, 339, 341, 403, 405, 407, 409, 469,
499 471, 473, 475, 537, 539, 337, 401, 467,
500 535, 340, 342, 404, 406, 408, 410, 470,
501 472, 474, 476, 538, 540, 541, 603, 605,
502 533, 601, 536, 542, 604, 606, 308, 310,
503 372, 374, 376, 378, 438, 440, 442, 444,
504 506, 508, 309, 311, 373, 375, 377, 379,
505 439, 441, 443, 445, 507, 509, 313, 381,
506 447, 511, 341, 343, 405, 407, 409, 411,
507 471, 473, 475, 477, 539, 541, 342, 344,
508 406, 408, 410, 412, 472, 474, 476, 478,
509 540, 542, 346, 414, 480, 544, 537, 543,
510 605, 607, 538, 606, 608, 546, 610, 312,
511 314, 376, 378, 380, 382, 442, 444, 446,
512 448, 510, 512, 310, 374, 440, 508, 313,
513 315, 377, 379, 381, 383, 443, 445, 447,
514 449, 511, 513, 345, 347, 409, 411, 413,
515 415, 475, 477, 479, 481, 543, 545, 343,
516 407, 473, 541, 346, 348, 410, 412, 414,
517 416, 476, 478, 480, 482, 544, 546, 547,
518 609, 611, 539, 607, 542, 548, 610, 612,
519 314, 316, 378, 380, 382, 384, 444, 446,
520 448, 450, 512, 514, 315, 317, 379, 381,
521 383, 385, 445, 447, 449, 451, 513, 515,
522 319, 387, 453, 517, 347, 349, 411, 413,
523 415, 417, 477, 479, 481, 483, 545, 547,
524 348, 350, 412, 414, 416, 418, 478, 480,
525 482, 484, 546, 548, 352, 420, 486, 550,
526 543, 549, 611, 613, 544, 612, 614, 552,
527 616, 318, 320, 382, 384, 386, 388, 448,
528 450, 452, 454, 516, 518, 316, 380, 446,
529 514, 319, 321, 383, 385, 387, 389, 449,
530 451, 453, 455, 517, 519, 351, 353, 415,
531 417, 419, 421, 481, 483, 485, 487, 549,
532 551, 349, 413, 479, 547, 352, 354, 416,
533 418, 420, 422, 482, 484, 486, 488, 550,
534 552, 553, 615, 617, 545, 613, 548, 554,
535 616, 618, 320, 322, 384, 386, 388, 390,
536 450, 452, 454, 456, 518, 520, 321, 323,
537 385, 387, 389, 391, 451, 453, 455, 457,
538 519, 521, 325, 393, 459, 523, 353, 355,
539 417, 419, 421, 423, 483, 485, 487, 489,
540 551, 553, 354, 356, 418, 420, 422, 424,
541 484, 486, 488, 490, 552, 554, 358, 426,
542 492, 556, 549, 555, 617, 619, 550, 618,
543 620, 558, 622, 324, 326, 388, 390, 392,
544 394, 454, 456, 458, 460, 522, 524, 322,
545 386, 452, 520, 325, 327, 389, 391, 393,
546 395, 455, 457, 459, 461, 523, 525, 357,
547 359, 421, 423, 425, 427, 487, 489, 491,
548 493, 555, 557, 355, 419, 485, 553, 358,
549 360, 422, 424, 426, 428, 488, 490, 492,
550 494, 556, 558, 559, 621, 623, 551, 619,
551 554, 560, 622, 624, 326, 328, 390, 392,
552 394, 456, 458, 460, 524, 526, 327, 329,
553 391, 393, 395, 457, 459, 461, 525, 527,
554 359, 361, 423, 425, 427, 489, 491, 493,
555 557, 559, 360, 362, 424, 426, 428, 490,
556 492, 494, 558, 560, 555, 623, 625, 556,
557 624, 626, 429, 430, 495, 496, 497, 498,
558 561, 562, 563, 564, 627, 628, 431, 499,
559 565, 629, 433, 501, 567, 631, 363, 364,
560 432, 365, 367, 435, 462, 463, 528, 529,
561 530, 531, 594, 595, 596, 597, 660, 661,
562 464, 532, 598, 662, 466, 534, 600, 664,
563 432, 434, 496, 498, 500, 502, 562, 564,
564 566, 568, 630, 632, 430, 495, 561, 628,
565 433, 435, 497, 499, 501, 503, 563, 565,
566 567, 569, 631, 633, 366, 368, 436, 364,
567 429, 367, 369, 431, 437, 465, 467, 529,
568 531, 533, 535, 595, 597, 599, 601, 663,
569 665, 463, 528, 594, 661, 466, 468, 530,
570 532, 534, 536, 596, 598, 600, 602, 664,
571 666, 434, 436, 498, 500, 502, 504, 564,
572 566, 568, 570, 632, 634, 435, 437, 499,
573 501, 503, 505, 565, 567, 569, 571, 633,
574 635, 439, 507, 573, 637, 368, 370, 432,
575 438, 369, 371, 433, 373, 441, 467, 469,
576 531, 533, 535, 537, 597, 599, 601, 603,
577 665, 667, 468, 470, 532, 534, 536, 538,
578 598, 600, 602, 604, 666, 668, 472, 540,
579 606, 670, 438, 440, 502, 504, 506, 508,
580 568, 570, 572, 574, 636, 638, 436, 500,
581 566, 634, 439, 441, 503, 505, 507, 509,
582 569, 571, 573, 575, 637, 639, 372, 374,
583 442, 370, 434, 373, 375, 437, 443, 471,
584 473, 535, 537, 539, 541, 601, 603, 605,
585 607, 669, 671, 469, 533, 599, 667, 472,
586 474, 536, 538, 540, 542, 602, 604, 606,
587 608, 670, 672, 440, 442, 504, 506, 508,
588 510, 570, 572, 574, 576, 638, 640, 441,
589 443, 505, 507, 509, 511, 571, 573, 575,
590 577, 639, 641, 445, 513, 579, 643, 374,
591 376, 438, 444, 375, 377, 439, 379, 447,
592 473, 475, 537, 539, 541, 543, 603, 605,
593 607, 609, 671, 673, 474, 476, 538, 540,
594 542, 544, 604, 606, 608, 610, 672, 674,
595 478, 546, 612, 676, 444, 446, 508, 510,
596 512, 514, 574, 576, 578, 580, 642, 644,
597 442, 506, 572, 640, 445, 447, 509, 511,
598 513, 515, 575, 577, 579, 581, 643, 645,
599 378, 380, 448, 376, 440, 379, 381, 443,
600 449, 477, 479, 541, 543, 545, 547, 607,
601 609, 611, 613, 675, 677, 475, 539, 605,
602 673, 478, 480, 542, 544, 546, 548, 608,
603 610, 612, 614, 676, 678, 446, 448, 510,
604 512, 514, 516, 576, 578, 580, 582, 644,
605 646, 447, 449, 511, 513, 515, 517, 577,
606 579, 581, 583, 645, 647, 451, 519, 585,
607 649, 380, 382, 444, 450, 381, 383, 445,
608 385, 453, 479, 481, 543, 545, 547, 549,
609 609, 611, 613, 615, 677, 679, 480, 482,
610 544, 546, 548, 550, 610, 612, 614, 616,
611 678, 680, 484, 552, 618, 682, 450, 452,
612 514, 516, 518, 520, 580, 582, 584, 586,
613 648, 650, 448, 512, 578, 646, 451, 453,
614 515, 517, 519, 521, 581, 583, 585, 587,
615 649, 651, 384, 386, 454, 382, 446, 385,
616 387, 449, 455, 483, 485, 547, 549, 551,
617 553, 613, 615, 617, 619, 681, 683, 481,
618 545, 611, 679, 484, 486, 548, 550, 552,
619 554, 614, 616, 618, 620, 682, 684, 452,
620 454, 516, 518, 520, 522, 582, 584, 586,
621 588, 650, 652, 453, 455, 517, 519, 521,
622 523, 583, 585, 587, 589, 651, 653, 457,
623 525, 591, 655, 386, 388, 450, 456, 387,
624 389, 451, 391, 459, 485, 487, 549, 551,
625 553, 555, 615, 617, 619, 621, 683, 685,
626 486, 488, 550, 552, 554, 556, 616, 618,
627 620, 622, 684, 686, 490, 558, 624, 688,
628 456, 458, 520, 522, 524, 526, 586, 588,
629 590, 592, 654, 656, 454, 518, 584, 652,
630 457, 459, 521, 523, 525, 527, 587, 589,
631 591, 593, 655, 657, 390, 392, 460, 388,
632 452, 391, 393, 455, 461, 489, 491, 553,
633 555, 557, 559, 619, 621, 623, 625, 687,
634 689, 487, 551, 617, 685, 490, 492, 554,
635 556, 558, 560, 620, 622, 624, 626, 688,
636 690, 458, 460, 522, 524, 526, 588, 590,
637 592, 656, 658, 459, 461, 523, 525, 527,
638 589, 591, 593, 657, 659, 392, 394, 456,
639 393, 395, 457, 491, 493, 555, 557, 559,
640 621, 623, 625, 689, 691, 492, 494, 556,
641 558, 560, 622, 624, 626, 690, 692, 495,
642 496, 561, 562, 563, 564, 627, 628, 629,
643 630, 693, 694, 497, 565, 631, 695, 499,
644 567, 633, 697, 528, 529, 594, 595, 596,
645 597, 660, 661, 662, 663, 726, 727, 530,
646 598, 664, 728, 532, 600, 666, 730, 729,
647 792, 793, 794, 732, 796, 498, 500, 562,
648 564, 566, 568, 628, 630, 632, 634, 696,
649 698, 496, 561, 627, 694, 499, 501, 563,
650 565, 567, 569, 629, 631, 633, 635, 697,
651 699, 531, 533, 595, 597, 599, 601, 661,
652 663, 665, 667, 729, 731, 529, 594, 660,
653 727, 532, 534, 596, 598, 600, 602, 662,
654 664, 666, 668, 730, 732, 733, 795, 797,
655 726, 793, 728, 734, 796, 798, 500, 502,
656 564, 566, 568, 570, 630, 632, 634, 636,
657 698, 700, 501, 503, 565, 567, 569, 571,
658 631, 633, 635, 637, 699, 701, 505, 573,
659 639, 703, 533, 535, 597, 599, 601, 603,
660 663, 665, 667, 669, 731, 733, 534, 536,
661 598, 600, 602, 604, 664, 666, 668, 670,
662 732, 734, 538, 606, 672, 736, 729, 735,
663 797, 799, 730, 798, 800, 738, 802, 504,
664 506, 568, 570, 572, 574, 634, 636, 638,
665 640, 702, 704, 502, 566, 632, 700, 505,
666 507, 569, 571, 573, 575, 635, 637, 639,
667 641, 703, 705, 537, 539, 601, 603, 605,
668 607, 667, 669, 671, 673, 735, 737, 535,
669 599, 665, 733, 538, 540, 602, 604, 606,
670 608, 668, 670, 672, 674, 736, 738, 739,
671 801, 803, 731, 799, 734, 740, 802, 804,
672 506, 508, 570, 572, 574, 576, 636, 638,
673 640, 642, 704, 706, 507, 509, 571, 573,
674 575, 577, 637, 639, 641, 643, 705, 707,
675 511, 579, 645, 709, 539, 541, 603, 605,
676 607, 609, 669, 671, 673, 675, 737, 739,
677 540, 542, 604, 606, 608, 610, 670, 672,
678 674, 676, 738, 740, 544, 612, 678, 742,
679 735, 741, 803, 805, 736, 804, 806, 744,
680 808, 510, 512, 574, 576, 578, 580, 640,
681 642, 644, 646, 708, 710, 508, 572, 638,
682 706, 511, 513, 575, 577, 579, 581, 641,
683 643, 645, 647, 709, 711, 543, 545, 607,
684 609, 611, 613, 673, 675, 677, 679, 741,
685 743, 541, 605, 671, 739, 544, 546, 608,
686 610, 612, 614, 674, 676, 678, 680, 742,
687 744, 745, 807, 809, 737, 805, 740, 746,
688 808, 810, 512, 514, 576, 578, 580, 582,
689 642, 644, 646, 648, 710, 712, 513, 515,
690 577, 579, 581, 583, 643, 645, 647, 649,
691 711, 713, 517, 585, 651, 715, 545, 547,
692 609, 611, 613, 615, 675, 677, 679, 681,
693 743, 745, 546, 548, 610, 612, 614, 616,
694 676, 678, 680, 682, 744, 746, 550, 618,
695 684, 748, 741, 747, 809, 811, 742, 810,
696 812, 750, 814, 516, 518, 580, 582, 584,
697 586, 646, 648, 650, 652, 714, 716, 514,
698 578, 644, 712, 517, 519, 581, 583, 585,
699 587, 647, 649, 651, 653, 715, 717, 549,
700 551, 613, 615, 617, 619, 679, 681, 683,
701 685, 747, 749, 547, 611, 677, 745, 550,
702 552, 614, 616, 618, 620, 680, 682, 684,
703 686, 748, 750, 751, 813, 815, 743, 811,
704 746, 752, 814, 816, 518, 520, 582, 584,
705 586, 588, 648, 650, 652, 654, 716, 718,
706 519, 521, 583, 585, 587, 589, 649, 651,
707 653, 655, 717, 719, 523, 591, 657, 721,
708 551, 553, 615, 617, 619, 621, 681, 683,
709 685, 687, 749, 751, 552, 554, 616, 618,
710 620, 622, 682, 684, 686, 688, 750, 752,
711 556, 624, 690, 754, 747, 753, 815, 817,
712 748, 816, 818, 756, 820, 522, 524, 586,
713 588, 590, 592, 652, 654, 656, 658, 720,
714 722, 520, 584, 650, 718, 523, 525, 587,
715 589, 591, 593, 653, 655, 657, 659, 721,
716 723, 555, 557, 619, 621, 623, 625, 685,
717 687, 689, 691, 753, 755, 553, 617, 683,
718 751, 556, 558, 620, 622, 624, 626, 686,
719 688, 690, 692, 754, 756, 757, 819, 821,
720 749, 817, 752, 820, 822, 524, 526, 588,
721 590, 592, 654, 656, 658, 722, 724, 525,
722 527, 589, 591, 593, 655, 657, 659, 723,
723 725, 557, 559, 621, 623, 625, 687, 689,
724 691, 755, 757, 558, 560, 622, 624, 626,
725 688, 690, 692, 756, 753, 821, 823, 754,
726 822, 824, 627, 628, 693, 694, 695, 696,
727 759, 760, 761, 762, 825, 826, 629, 697,
728 763, 827, 631, 699, 765, 829, 561, 562,
729 630, 563, 565, 633, 660, 661, 726, 727,
730 728, 729, 792, 793, 794, 795, 858, 859,
731 662, 730, 796, 860, 664, 732, 798, 862,
732 630, 632, 694, 696, 698, 700, 760, 762,
733 764, 766, 828, 830, 628, 693, 759, 826,
734 631, 633, 695, 697, 699, 701, 761, 763,
735 765, 767, 829, 831, 564, 566, 634, 562,
736 627, 565, 567, 629, 635, 663, 665, 727,
737 729, 731, 733, 793, 795, 797, 799, 861,
738 863, 661, 726, 792, 859, 664, 666, 728,
739 730, 732, 734, 794, 796, 798, 800, 862,
740 864, 632, 634, 696, 698, 700, 702, 762,
741 764, 766, 768, 830, 832, 633, 635, 697,
742 699, 701, 703, 763, 765, 767, 769, 831,
743 833, 637, 705, 771, 835, 566, 568, 630,
744 636, 567, 569, 631, 571, 639, 665, 667,
745 729, 731, 733, 735, 795, 797, 799, 801,
746 863, 865, 666, 668, 730, 732, 734, 736,
747 796, 798, 800, 802, 864, 866, 670, 738,
748 804, 868, 636, 638, 700, 702, 704, 706,
749 766, 768, 770, 772, 834, 836, 634, 698,
750 764, 832, 637, 639, 701, 703, 705, 707,
751 767, 769, 771, 773, 835, 837, 570, 572,
752 640, 568, 632, 571, 573, 635, 641, 669,
753 671, 733, 735, 737, 739, 799, 801, 803,
754 805, 867, 869, 667, 731, 797, 865, 670,
755 672, 734, 736, 738, 740, 800, 802, 804,
756 806, 868, 870, 638, 640, 702, 704, 706,
757 708, 768, 770, 772, 774, 836, 838, 639,
758 641, 703, 705, 707, 709, 769, 771, 773,
759 775, 837, 839, 643, 711, 777, 841, 572,
760 574, 636, 642, 573, 575, 637, 577, 645,
761 671, 673, 735, 737, 739, 741, 801, 803,
762 805, 807, 869, 871, 672, 674, 736, 738,
763 740, 742, 802, 804, 806, 808, 870, 872,
764 676, 744, 810, 874, 642, 644, 706, 708,
765 710, 712, 772, 774, 776, 778, 840, 842,
766 640, 704, 770, 838, 643, 645, 707, 709,
767 711, 713, 773, 775, 777, 779, 841, 843,
768 576, 578, 646, 574, 638, 577, 579, 641,
769 647, 675, 677, 739, 741, 743, 745, 805,
770 807, 809, 811, 873, 875, 673, 737, 803,
771 871, 676, 678, 740, 742, 744, 746, 806,
772 808, 810, 812, 874, 876, 644, 646, 708,
773 710, 712, 714, 774, 776, 778, 780, 842,
774 844, 645, 647, 709, 711, 713, 715, 775,
775 777, 779, 781, 843, 845, 649, 717, 783,
776 847, 578, 580, 642, 648, 579, 581, 643,
777 583, 651, 677, 679, 741, 743, 745, 747,
778 807, 809, 811, 813, 875, 877, 678, 680,
779 742, 744, 746, 748, 808, 810, 812, 814,
780 876, 878, 682, 750, 816, 880, 648, 650,
781 712, 714, 716, 718, 778, 780, 782, 784,
782 846, 848, 646, 710, 776, 844, 649, 651,
783 713, 715, 717, 719, 779, 781, 783, 785,
784 847, 849, 582, 584, 652, 580, 644, 583,
785 585, 647, 653, 681, 683, 745, 747, 749,
786 751, 811, 813, 815, 817, 879, 881, 679,
787 743, 809, 877, 682, 684, 746, 748, 750,
788 752, 812, 814, 816, 818, 880, 882, 650,
789 652, 714, 716, 718, 720, 780, 782, 784,
790 786, 848, 850, 651, 653, 715, 717, 719,
791 721, 781, 783, 785, 787, 849, 851, 655,
792 723, 789, 853, 584, 586, 648, 654, 585,
793 587, 649, 589, 657, 683, 685, 747, 749,
794 751, 753, 813, 815, 817, 819, 881, 883,
795 684, 686, 748, 750, 752, 754, 814, 816,
796 818, 820, 882, 884, 688, 756, 822, 886,
797 654, 656, 718, 720, 722, 724, 784, 786,
798 788, 790, 852, 854, 652, 716, 782, 850,
799 655, 657, 719, 721, 723, 725, 785, 787,
800 789, 791, 853, 855, 588, 590, 658, 586,
801 650, 589, 591, 653, 659, 687, 689, 751,
802 753, 755, 757, 817, 819, 821, 823, 885,
803 887, 685, 749, 815, 883, 688, 690, 752,
804 754, 756, 818, 820, 822, 824, 886, 888,
805 656, 658, 720, 722, 724, 786, 788, 790,
806 854, 856, 657, 659, 721, 723, 725, 787,
807 789, 791, 855, 857, 590, 592, 654, 591,
808 593, 655, 689, 691, 753, 755, 757, 819,
809 821, 823, 887, 889, 690, 692, 754, 756,
810 820, 822, 824, 888, 890, 693, 694, 759,
811 760, 761, 762, 825, 826, 827, 828, 891,
812 892, 695, 763, 829, 893, 697, 765, 831,
813 895, 726, 727, 792, 793, 794, 795, 858,
814 859, 860, 861, 924, 925, 728, 796, 862,
815 926, 730, 798, 864, 928, 927, 990, 991,
816 992, 930, 994, 696, 698, 760, 762, 764,
817 766, 826, 828, 830, 832, 894, 896, 694,
818 759, 825, 892, 697, 699, 761, 763, 765,
819 767, 827, 829, 831, 833, 895, 897, 729,
820 731, 793, 795, 797, 799, 859, 861, 863,
821 865, 927, 929, 727, 792, 858, 925, 730,
822 732, 794, 796, 798, 800, 860, 862, 864,
823 866, 928, 930, 931, 993, 995, 924, 991,
824 926, 932, 994, 996, 698, 700, 762, 764,
825 766, 768, 828, 830, 832, 834, 896, 898,
826 699, 701, 763, 765, 767, 769, 829, 831,
827 833, 835, 897, 899, 703, 771, 837, 901,
828 731, 733, 795, 797, 799, 801, 861, 863,
829 865, 867, 929, 931, 732, 734, 796, 798,
830 800, 802, 862, 864, 866, 868, 930, 932,
831 736, 804, 870, 934, 927, 933, 995, 997,
832 928, 996, 998, 936, 1000, 702, 704, 766,
833 768, 770, 772, 832, 834, 836, 838, 900,
834 902, 700, 764, 830, 898, 703, 705, 767,
835 769, 771, 773, 833, 835, 837, 839, 901,
836 903, 735, 737, 799, 801, 803, 805, 865,
837 867, 869, 871, 933, 935, 733, 797, 863,
838 931, 736, 738, 800, 802, 804, 806, 866,
839 868, 870, 872, 934, 936, 937, 999, 1001,
840 929, 997, 932, 938, 1000, 1002, 704, 706,
841 768, 770, 772, 774, 834, 836, 838, 840,
842 902, 904, 705, 707, 769, 771, 773, 775,
843 835, 837, 839, 841, 903, 905, 709, 777,
844 843, 907, 737, 739, 801, 803, 805, 807,
845 867, 869, 871, 873, 935, 937, 738, 740,
846 802, 804, 806, 808, 868, 870, 872, 874,
847 936, 938, 742, 810, 876, 940, 933, 939,
848 1001, 1003, 934, 1002, 1004, 942, 1006, 708,
849 710, 772, 774, 776, 778, 838, 840, 842,
850 844, 906, 908, 706, 770, 836, 904, 709,
851 711, 773, 775, 777, 779, 839, 841, 843,
852 845, 907, 909, 741, 743, 805, 807, 809,
853 811, 871, 873, 875, 877, 939, 941, 739,
854 803, 869, 937, 742, 744, 806, 808, 810,
855 812, 872, 874, 876, 878, 940, 942, 943,
856 1005, 1007, 935, 1003, 938, 944, 1006, 1008,
857 710, 712, 774, 776, 778, 780, 840, 842,
858 844, 846, 908, 910, 711, 713, 775, 777,
859 779, 781, 841, 843, 845, 847, 909, 911,
860 715, 783, 849, 913, 743, 745, 807, 809,
861 811, 813, 873, 875, 877, 879, 941, 943,
862 744, 746, 808, 810, 812, 814, 874, 876,
863 878, 880, 942, 944, 748, 816, 882, 946,
864 939, 945, 1007, 1009, 940, 1008, 1010, 948,
865 1012, 714, 716, 778, 780, 782, 784, 844,
866 846, 848, 850, 912, 914, 712, 776, 842,
867 910, 715, 717, 779, 781, 783, 785, 845,
868 847, 849, 851, 913, 915, 747, 749, 811,
869 813, 815, 817, 877, 879, 881, 883, 945,
870 947, 745, 809, 875, 943, 748, 750, 812,
871 814, 816, 818, 878, 880, 882, 884, 946,
872 948, 949, 1011, 1013, 941, 1009, 944, 1012,
873 716, 718, 780, 782, 784, 786, 846, 848,
874 850, 852, 914, 916, 717, 719, 781, 783,
875 785, 787, 847, 849, 851, 853, 915, 917,
876 721, 789, 855, 919, 749, 751, 813, 815,
877 817, 819, 879, 881, 883, 885, 947, 949,
878 750, 752, 814, 816, 818, 820, 880, 882,
879 884, 886, 948, 754, 822, 888, 952, 945,
880 951, 1013, 1015, 946, 1016, 954, 1018, 720,
881 722, 784, 786, 788, 790, 850, 852, 854,
882 856, 918, 920, 718, 782, 848, 916, 721,
883 723, 785, 787, 789, 791, 851, 853, 855,
884 857, 919, 921, 753, 755, 817, 819, 821,
885 823, 883, 885, 887, 889, 951, 953, 751,
886 815, 881, 949, 754, 756, 818, 820, 822,
887 824, 884, 886, 888, 890, 952, 954, 955,
888 1017, 1019, 947, 1015, 1018, 722, 724, 786,
889 788, 790, 852, 854, 856, 920, 723, 725,
890 787, 789, 791, 853, 855, 857, 921, 755,
891 757, 819, 821, 823, 885, 887, 889, 953,
892 955, 756, 820, 822, 824, 886, 888, 890,
893 954, 951, 1019, 1021, 952, 825, 826, 891,
894 892, 893, 894, 957, 958, 959, 960, 1023,
895 1024, 827, 895, 961, 1025, 829, 897, 963,
896 1027, 759, 760, 828, 761, 763, 831, 858,
897 859, 924, 925, 926, 927, 990, 991, 992,
898 993, 1056, 1057, 860, 928, 994, 1058, 862,
899 930, 996, 1060, 828, 830, 892, 894, 896,
900 898, 958, 960, 962, 964, 1026, 1028, 826,
901 891, 957, 1024, 829, 831, 893, 895, 897,
902 899, 959, 961, 963, 965, 1027, 1029, 762,
903 764, 832, 760, 825, 763, 765, 827, 833,
904 861, 863, 925, 927, 929, 931, 991, 993,
905 995, 997, 1059, 1061, 859, 924, 990, 1057,
906 862, 864, 926, 928, 930, 932, 992, 994,
907 996, 998, 1060, 1062, 830, 832, 894, 896,
908 898, 900, 960, 962, 964, 966, 1028, 1030,
909 831, 833, 895, 897, 899, 901, 961, 963,
910 965, 967, 1029, 1031, 835, 903, 969, 1033,
911 764, 766, 828, 834, 765, 767, 829, 769,
912 837, 863, 865, 927, 929, 931, 933, 993,
913 995, 997, 999, 1061, 1063, 864, 866, 928,
914 930, 932, 934, 994, 996, 998, 1000, 1062,
915 1064, 868, 936, 1002, 1066, 834, 836, 898,
916 900, 902, 904, 964, 966, 968, 970, 1032,
917 1034, 832, 896, 962, 1030, 835, 837, 899,
918 901, 903, 905, 965, 967, 969, 971, 1033,
919 1035, 768, 770, 838, 766, 830, 769, 771,
920 833, 839, 867, 869, 931, 933, 935, 937,
921 997, 999, 1001, 1003, 1065, 1067, 865, 929,
922 995, 1063, 868, 870, 932, 934, 936, 938,
923 998, 1000, 1002, 1004, 1066, 1068, 836, 838,
924 900, 902, 904, 906, 966, 968, 970, 972,
925 1034, 1036, 837, 839, 901, 903, 905, 907,
926 967, 969, 971, 973, 1035, 1037, 841, 909,
927 975, 1039, 770, 772, 834, 840, 771, 773,
928 835, 775, 843, 869, 871, 933, 935, 937,
929 939, 999, 1001, 1003, 1005, 1067, 1069, 870,
930 872, 934, 936, 938, 940, 1000, 1002, 1004,
931 1006, 1068, 1070, 874, 942, 1008, 1072, 840,
932 842, 904, 906, 908, 910, 970, 972, 974,
933 976, 1038, 1040, 838, 902, 968, 1036, 841,
934 843, 905, 907, 909, 911, 971, 973, 975,
935 977, 1039, 1041, 774, 776, 844, 772, 836,
936 775, 777, 839, 845, 873, 875, 937, 939,
937 941, 943, 1003, 1005, 1007, 1009, 1071, 1073,
938 871, 935, 1001, 1069, 874, 876, 938, 940,
939 942, 944, 1004, 1006, 1008, 1010, 1072, 1074,
940 842, 844, 906, 908, 910, 912, 972, 974,
941 976, 978, 1040, 843, 845, 907, 909, 911,
942 913, 973, 975, 977, 979, 1041, 1043, 847,
943 915, 981, 1045, 776, 778, 840, 846, 777,
944 779, 841, 781, 849, 875, 877, 939, 941,
945 943, 945, 1005, 1007, 1009, 1011, 1073, 1075,
946 876, 878, 940, 942, 944, 946, 1006, 1008,
947 1010, 1012, 1074, 1076, 880, 948, 1078, 846,
948 848, 910, 912, 914, 916, 976, 978, 980,
949 982, 1044, 1046, 844, 908, 974, 847, 849,
950 911, 913, 915, 917, 977, 979, 981, 983,
951 1045, 1047, 780, 782, 850, 778, 842, 781,
952 783, 845, 851, 879, 881, 943, 945, 947,
953 949, 1009, 1011, 1013, 1015, 1077, 1079, 877,
954 941, 1007, 1075, 880, 882, 944, 946, 948,
955 1010, 1012, 1016, 1078, 1080, 848, 850, 912,
956 914, 916, 918, 978, 980, 982, 984, 1046,
957 1048, 849, 851, 913, 915, 917, 919, 979,
958 981, 983, 985, 1047, 1049, 853, 921, 987,
959 1051, 782, 784, 846, 852, 783, 785, 847,
960 787, 855, 881, 883, 945, 947, 949, 951,
961 1011, 1013, 1015, 1017, 1079, 1081, 882, 884,
962 946, 948, 952, 1012, 1016, 1018, 1080, 1082,
963 886, 954, 1084, 852, 854, 916, 918, 920,
964 982, 984, 986, 988, 1050, 1052, 850, 914,
965 980, 1048, 853, 855, 917, 919, 921, 983,
966 985, 987, 989, 1051, 1053, 786, 788, 856,
967 784, 848, 787, 789, 851, 857, 885, 887,
968 949, 951, 953, 955, 1015, 1017, 1019, 1021,
969 1083, 1085, 883, 947, 1013, 1081, 886, 888,
970 952, 954, 1016, 1018, 1084, 1086, 854, 856,
971 918, 920, 984, 986, 988, 1052, 1054, 855,
972 857, 919, 921, 985, 987, 989, 1053, 1055,
973 788, 790, 852, 789, 791, 853, 887, 889,
974 951, 953, 955, 1017, 1019, 1021, 1085, 1087,
975 888, 890, 952, 954, 1018, 1086, 1088, 891,
976 892, 957, 958, 959, 960, 1023, 1024, 1025,
977 1026, 893, 961, 1027, 895, 963, 1029, 924,
978 925, 990, 991, 992, 993, 1056, 1057, 1058,
979 1059, 926, 994, 1060, 928, 996, 1062, 894,
980 896, 958, 960, 962, 964, 1024, 1026, 1028,
981 1030, 892, 957, 1023, 895, 897, 959, 961,
982 963, 965, 1025, 1027, 1029, 1031, 927, 929,
983 991, 993, 995, 997, 1057, 1059, 1061, 1063,
984 925, 990, 1056, 928, 930, 992, 994, 996,
985 998, 1058, 1060, 1062, 1064, 896, 898, 960,
986 962, 964, 966, 1026, 1028, 1030, 1032, 897,
987 899, 961, 963, 965, 967, 1027, 1029, 1031,
988 1033, 901, 969, 1035, 929, 931, 993, 995,
989 997, 999, 1059, 1061, 1063, 1065, 930, 932,
990 994, 996, 998, 1000, 1060, 1062, 1064, 1066,
991 934, 1002, 1068, 900, 902, 964, 966, 968,
992 970, 1030, 1032, 1034, 1036, 898, 962, 1028,
993 901, 903, 965, 967, 969, 971, 1031, 1033,
994 1035, 1037, 933, 935, 997, 999, 1001, 1003,
995 1063, 1065, 1067, 1069, 931, 995, 1061, 934,
996 936, 998, 1000, 1002, 1004, 1064, 1066, 1068,
997 1070, 902, 904, 966, 968, 970, 972, 1032,
998 1034, 1036, 1038, 903, 905, 967, 969, 971,
999 973, 1033, 1035, 1037, 1039, 907, 975, 1041,
1000 935, 937, 999, 1001, 1003, 1005, 1065, 1067,
1001 1069, 1071, 936, 938, 1000, 1002, 1004, 1006,
1002 1066, 1068, 1070, 1072, 940, 1008, 1074, 906,
1003 908, 970, 972, 974, 976, 1036, 1038, 1040,
1004 904, 968, 1034, 907, 909, 971, 973, 975,
1005 977, 1037, 1039, 1041, 1043, 939, 941, 1003,
1006 1005, 1007, 1009, 1069, 1071, 1073, 1075, 937,
1007 1001, 1067, 940, 942, 1004, 1006, 1008, 1010,
1008 1070, 1072, 1074, 1076, 908, 910, 972, 974,
1009 976, 978, 1038, 1040, 1044, 909, 911, 973,
1010 975, 977, 979, 1039, 1041, 1043, 1045, 913,
1011 981, 1047, 941, 943, 1005, 1007, 1009, 1011,
1012 1071, 1073, 1075, 1077, 942, 944, 1006, 1008,
1013 1010, 1012, 1072, 1074, 1076, 1078, 946, 1080,
1014 912, 914, 976, 978, 980, 982, 1044, 1046,
1015 1048, 910, 974, 1040, 913, 915, 977, 979,
1016 981, 983, 1043, 1045, 1047, 1049, 945, 947,
1017 1009, 1011, 1013, 1015, 1075, 1077, 1079, 1081,
1018 943, 1007, 1073, 946, 948, 1010, 1012, 1016,
1019 1076, 1078, 1080, 1082, 914, 916, 978, 980,
1020 982, 984, 1044, 1046, 1048, 1050, 915, 917,
1021 979, 981, 983, 985, 1045, 1047, 1049, 1051,
1022 919, 987, 1053, 947, 949, 1011, 1013, 1015,
1023 1017, 1077, 1079, 1081, 1083, 948, 1012, 1016,
1024 1018, 1078, 1080, 1082, 1084, 952, 1086, 918,
1025 920, 982, 984, 986, 988, 1048, 1050, 1052,
1026 1054, 916, 980, 1046, 919, 921, 983, 985,
1027 987, 989, 1049, 1051, 1053, 1055, 951, 953,
1028 1015, 1017, 1019, 1021, 1081, 1083, 1085, 1087,
1029 949, 1013, 1079, 952, 954, 1016, 1018, 1082,
1030 1084, 1086, 1088, 920, 984, 986, 988, 1050,
1031 1052, 1054, 921, 985, 987, 989, 1051, 1053,
1032 1055, 953, 955, 1017, 1019, 1021, 1083, 1085,
1033 1087, 954, 1018, 1084, 1086, 1088,
1036 static long _vq_fitmap_res_B_4[] = {
1037 0, 32, 78, 124, 170, 216, 262, 308,
1038 354, 400, 446, 478, 524, 589, 654, 719,
1039 784, 849, 914, 979, 1044, 1109, 1155, 1201,
1040 1266, 1331, 1396, 1461, 1526, 1591, 1656, 1721,
1041 1786, 1832, 1878, 1943, 2008, 2073, 2138, 2203,
1042 2268, 2333, 2398, 2463, 2509, 2555, 2620, 2685,
1043 2750, 2815, 2880, 2945, 3010, 3075, 3140, 3186,
1044 3232, 3297, 3362, 3427, 3492, 3557, 3622, 3687,
1045 3752, 3817, 3863, 3909, 3974, 4039, 4104, 4169,
1046 4234, 4299, 4364, 4429, 4493, 4538, 4584, 4649,
1047 4714, 4779, 4844, 4909, 4974, 5039, 5104, 5168,
1048 5213, 5259, 5324, 5389, 5454, 5519, 5584, 5649,
1049 5712, 5775, 5837, 5877, 5923, 5988, 6053, 6118,
1050 6183, 6248, 6311, 6373, 6435, 6494, 6535, 6567,
1051 6613, 6659, 6705, 6751, 6796, 6840, 6884, 6927,
1055 static long _vq_fitlength_res_B_4[] = {
1056 32, 46, 46, 46, 46, 46, 46, 46,
1057 46, 46, 32, 46, 65, 65, 65, 65,
1058 65, 65, 65, 65, 65, 46, 46, 65,
1059 65, 65, 65, 65, 65, 65, 65, 65,
1060 46, 46, 65, 65, 65, 65, 65, 65,
1061 65, 65, 65, 46, 46, 65, 65, 65,
1062 65, 65, 65, 65, 65, 65, 46, 46,
1063 65, 65, 65, 65, 65, 65, 65, 65,
1064 65, 46, 46, 65, 65, 65, 65, 65,
1065 65, 65, 65, 64, 45, 46, 65, 65,
1066 65, 65, 65, 65, 65, 65, 64, 45,
1067 46, 65, 65, 65, 65, 65, 65, 63,
1068 63, 62, 40, 46, 65, 65, 65, 65,
1069 65, 63, 62, 62, 59, 41, 32, 46,
1070 46, 46, 46, 45, 44, 44, 43, 44,
1074 static encode_aux_pigeonhole _vq_auxp_res_B_4 = {
1076 _vq_pigeonmap_res_B_4,
1078 _vq_fitlist_res_B_4,
1080 _vq_fitlength_res_B_4
1083 static static_codebook _vq_book_res_B_4 = {
1085 _vq_lengthlist_res_B_4,
1086 1, -527433728, 1611661312, 6, 0,
1087 _vq_quantlist_res_B_4,