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-2000 *
9 * by Monty <monty@xiph.org> and the XIPHOPHORUS Company *
10 * http://www.xiph.org/ *
12 ********************************************************************
14 function: static codebook autogenerated by vq/somethingorother
16 ********************************************************************/
18 #ifndef _V_lsp12_0_VQH_
19 #define _V_lsp12_0_VQH_
22 static long _vq_quantlist_lsp12_0[] = {
38 static long _vq_lengthlist_lsp12_0[] = {
39 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
40 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
41 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
42 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
43 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
44 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
45 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
46 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
47 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
48 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
49 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
50 0, 0,16,15, 0, 0, 0, 0, 0, 0, 0, 0, 0,15,14,14,
51 0, 0, 0, 0, 8, 0, 0, 0, 0,16,15,16, 0, 0, 0, 0,
52 0, 0, 0, 0, 0, 0,14,14,16, 0, 0, 0, 0, 0, 0, 0,
53 0, 0,16,16,15, 0,16, 0, 0, 0, 0, 0, 0, 0,13,15,
54 0, 0,15,13, 0, 0, 0, 0, 0, 0,15,14, 0, 0,15,14,
55 15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0,
56 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
57 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
58 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
59 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
60 0, 0, 0, 0, 0, 0, 0,16,15,15, 0,16, 0, 0, 0, 0,
61 0,15, 0, 0,16,15, 0, 0, 0, 0, 0, 0, 0, 0,15, 0,
62 14,14,14,15,14,16, 0, 0, 0, 0, 0,15,12,12,13,13,
63 13,16, 0, 0, 0, 0, 0, 0,16,12,12,13,11,11,14, 0,
64 0, 0, 0, 0, 0, 0,12,12,12,10,11,12,15, 0, 0, 0,
65 0, 0,14,14,12,10,10,10,12, 0,16, 0, 0, 0, 0, 0,
66 14,13,11,11,11,13,16, 0, 0, 0, 0, 0, 0, 0,14,13,
67 14,13,15, 0, 0, 0, 0, 0, 0, 0, 0,16,15, 0, 0,16,
68 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
69 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
70 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
71 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
72 0, 0, 0, 0, 0, 0, 0,14,15,13,14,14,13,16,15,16,
73 0, 0, 0, 0,14,13,10,11,12,12,13, 0, 0, 0, 0, 0,
74 0,14,10, 9, 9, 9,10,12,16, 0, 0, 0, 0, 0,14,11,
75 9, 8, 9,10,12,15, 0, 0, 0, 0, 0,14,12, 9, 9, 9,
76 9,12, 0, 0, 0, 0, 0, 0,14,13,11,10, 9,10,14, 0,
77 0, 0, 0, 0, 0, 0,14,13,13,12,13,16, 0, 0, 0, 0,
78 0, 0, 0, 0,15,16, 0,14, 0, 0, 0, 0, 0, 0, 0, 0,
79 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
80 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
81 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
82 0, 0, 0, 0, 0, 0, 0, 0, 0,15,16, 0, 0, 0, 0, 0,
83 14,13,12,12,12,12,14, 0,15,16, 0, 0,15, 8, 9, 8,
84 9,10,11,12,16, 0, 0, 0, 0,15, 9, 6, 7, 6, 7, 9,
85 11, 0, 0, 0, 0, 0, 0,11, 8, 6, 5, 7, 8,12,16, 0,
86 0, 0, 0, 0,12,10, 7, 7, 7, 8,12,15,16, 0, 0, 0,
87 0,14,12, 9, 8, 8, 9,13, 0, 0, 0, 0, 0, 0,14,13,
88 11,11,12,12,15, 0, 0, 0, 0, 0, 0,16,16,15,16,15,
89 15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
90 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
91 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
92 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
93 0,14,15,16, 0, 0, 0, 0,14,13,12,10,11, 8,12,14,
94 16,16, 0, 0, 0, 0,14, 7, 7, 8, 9,10,12,16, 0, 0,
95 0, 0, 0, 8, 6, 5, 5, 6, 8,11,14, 0, 0, 0, 0, 0,
96 10, 6, 5, 4, 5, 7,11,15, 0, 0, 0, 0, 0,12, 9, 6,
97 6, 6, 8,11,15, 0, 0, 0, 0, 0,13,10, 8, 7, 7, 9,
98 13, 0, 0, 0, 0, 0,13,13,12,10,11,11,11,14, 0, 0,
99 0, 0, 0, 0,16, 0, 0, 0,15,15, 0, 0, 0, 0, 0, 0,
100 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
101 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
102 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
103 0, 0, 0, 0, 0,15, 0, 0,16,14,13,14, 0,16, 0, 0,
104 0,14,13,12,11,11,12,12,14,16, 0, 0, 0, 0, 0,12,
105 10, 9, 8, 9,10,12, 0, 0, 0, 0, 0, 0,10, 8, 6, 6,
106 6, 8,10,15, 0, 0, 0, 0, 0,10, 8, 6, 5, 6, 7,10,
107 0, 0, 0, 0, 0, 0,11, 9, 7, 6, 6, 8,10,15, 0, 0,
108 0, 0,14,11,10, 8, 7, 7, 8,12, 0,16, 0, 0, 0,13,
109 13,13,11,11,11,11,15,15, 0, 0, 0, 0, 0, 0,16,16,
110 16,16,14,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
111 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
112 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
113 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0,
114 15,16,14,14, 0, 0, 0, 0, 0, 0,15,12,13,12,12,12,
115 12,15, 0, 0, 0, 0, 0,15,12,11,10,10, 9,10,12,16,
116 0, 0, 0, 0,16,11,10, 8, 7, 7, 8,10,16, 0, 0, 0,
117 0,15,11, 9, 8, 6, 6, 6,10,15, 0, 0, 0, 0,14,11,
118 10, 8, 7, 6, 7,11,15, 0, 0, 0, 0,14,12,10, 8, 7,
119 7, 7,13,15, 0, 0, 0, 0,15,14,12,10,10,12,13,14,
120 0, 0, 0, 0, 0, 0, 0, 0,16, 0,16, 0, 0, 0, 0, 0,
121 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
122 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
123 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
124 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0,16, 0, 0, 0,16,
125 0, 0, 0, 0,12,14,12,12,14,14,14, 0,16, 0, 0, 0,
126 0,13,14,12,11,12,12,13, 0, 0, 0, 0, 0,16,13,13,
127 11,10, 9,10,13,15, 0, 0, 0, 0,15,12,11,11, 8, 8,
128 9,12, 0, 0, 0, 0, 0,14,13,12, 9, 8, 8,10,15, 0,
129 0, 0, 0, 0, 0,12,12, 9, 9,10,11,16, 0,16, 0, 0,
130 0, 0, 0,14,13,13,14,15,16, 0, 0, 0, 0, 0, 0, 0,
131 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
132 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
133 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
134 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
135 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14,15,15,
136 15, 0, 0,16, 0, 0, 0, 0, 0, 0,15, 0,16,16, 0,16,
137 0, 0, 0, 0, 0, 0, 0,14, 0,14,15, 0,16,16, 0, 0,
138 0, 0, 0, 0,16, 0,15,15, 0,15, 0, 0, 0, 0, 0, 0,
139 0,16,16,15,14,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
140 15,15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0,
141 16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
142 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
143 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
144 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
145 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
146 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
147 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
148 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0,
149 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15,
150 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16,16, 0, 0, 0, 0,
151 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
152 0, 0, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0,
153 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
154 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
155 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
156 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
157 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
158 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
159 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
160 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
161 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
162 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
163 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 8, 0, 0, 0, 0, 0,
164 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
165 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
166 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
167 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 0, 0, 0, 0, 0, 0, 0, 0,
170 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0,
173 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
174 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
175 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
179 static long _vq_pigeonmap_lsp12_0[] = {
180 0, 0, 0, 0, 0, 1, 1, 1,
181 2, 2, 3, 3, 3, 4, 4, 4,
182 4, 4, 5, 5, 5, 5, 5, 5,
183 5, 5, 5, 5, 5, 5, 5, 5,
184 5, 6, 6, 6, 6, 6, 6, 6,
187 static long _vq_fitlist_lsp12_0[] = {
188 196, 353, 343, 344, 345, 356, 366, 379,
189 535, 189, 357, 201, 368, 380, 238, 250,
190 392, 536, 548, 716, 226, 381, 393, 537,
191 549, 704, 369, 561, 705, 202, 214, 227,
192 239, 251, 370, 382, 394, 406, 538, 550,
193 562, 706, 215, 717, 418, 574, 718, 730,
194 873, 874, 1032, 1200, 707, 865, 875, 1033,
195 1201, 729, 872, 1029, 1198, 886, 1042, 563,
196 575, 719, 731, 743, 887, 899, 1043, 343,
197 344, 189, 345, 178, 190, 201, 202, 356,
198 357, 214, 368, 369, 215, 226, 370, 191,
199 203, 227, 347, 371, 538, 381, 537, 382,
200 539, 865, 228, 383, 384, 540, 552, 697,
201 708, 550, 551, 706, 707, 1032, 1033, 1034,
202 866, 709, 1202, 394, 719, 875, 876, 395,
203 720, 877, 1203, 1201, 396, 553, 564, 721,
204 878, 889, 1035, 1045, 1046, 1200, 565, 722,
205 733, 890, 1047, 1058, 1214, 1215, 178, 189,
206 344, 345, 179, 190, 191, 347, 202, 203,
207 216, 215, 230, 373, 372, 242, 385, 541,
208 698, 867, 243, 542, 228, 371, 697, 398,
209 554, 255, 256, 412, 568, 710, 724, 254,
210 267, 397, 410, 411, 567, 543, 581, 438,
211 712, 750, 763, 906, 424, 881, 540, 866,
212 384, 357, 1035, 553, 709, 880, 865, 722,
213 878, 723, 879, 893, 1037, 1049, 179, 191,
214 543, 1037, 712, 881, 426, 713, 230, 243,
215 256, 373, 542, 412, 568, 764, 724, 698,
216 880, 867, 581, 893, 438, 1049, 1375, 1388,
217 750, 906, 1048, 1217, 1115, 763, 1453, 1231,
218 1413, 196, 353, 366, 716, 872, 379, 535,
219 729, 1041, 392, 548, 704, 380, 536, 238,
220 250, 368, 561, 717, 226, 393, 549, 418,
221 574, 730, 406, 562, 587, 873, 743, 886,
222 419, 575, 251, 239, 600, 407, 420, 432,
223 588, 601, 950, 1106, 1236, 1249, 1262, 756,
224 769, 408, 421, 433, 576, 589, 602, 614,
225 757, 770, 782, 394, 744, 899, 1275, 912,
226 925, 1119, 563, 938, 434, 446, 758, 1223,
227 926, 590, 615, 771, 783, 939, 951, 718,
228 1055, 1288, 1094, 1107, 603, 795, 952, 1120,
229 1042, 189, 190, 201, 202, 214, 178, 226,
230 215, 227, 191, 203, 228, 238, 239, 216,
231 357, 371, 370, 369, 383, 384, 540, 697,
232 382, 395, 539, 396, 254, 372, 397, 189,
233 201, 202, 214, 226, 238, 250, 368, 227,
234 239, 251, 215, 228, 369, 381, 370, 382,
235 394, 383, 395, 393, 406, 538, 550, 371,
236 407, 539, 551, 419, 563, 384, 396, 397,
237 408, 409, 420, 421, 432, 433, 540, 552,
238 553, 564, 565, 576, 577, 589, 708, 720,
239 721, 733, 190, 201, 202, 214, 215, 226,
240 227, 238, 239, 251, 203, 228, 191, 216,
241 254, 242, 267, 384, 397, 255, 372, 385,
242 371, 383, 396, 395, 408, 540, 552, 409,
243 410, 421, 422, 541, 553, 565, 566, 578,
244 709, 722, 398, 423, 554, 579, 710, 420,
245 433, 434, 564, 577, 590, 721, 734, 201,
246 238, 250, 356, 366, 368, 379, 380, 392,
247 535, 536, 548, 704, 226, 393, 214, 239,
248 251, 561, 227, 549, 381, 717, 418, 406,
249 419, 407, 420, 432, 394, 574, 587, 575,
250 588, 600, 383, 395, 396, 408, 409, 421,
251 433, 564, 576, 577, 589, 601, 745, 757,
252 562, 730, 382, 563, 743, 550, 731, 744,
253 756, 551, 732, 769, 434, 590, 602, 758,
254 770, 201, 202, 214, 215, 226, 227, 238,
255 239, 250, 251, 228, 254, 203, 216, 267,
256 396, 408, 409, 421, 395, 407, 420, 432,
257 433, 383, 384, 397, 565, 577, 371, 410,
258 419, 422, 434, 552, 553, 564, 576, 578,
259 588, 589, 590, 601, 602, 733, 745, 746,
260 758, 423, 435, 446, 591, 603, 370, 382,
261 394, 406, 539, 551, 563, 575, 720, 732,
262 540, 566, 721, 734, 579, 747, 759, 614,
263 771, 436, 447, 592, 604, 615, 760, 772,
264 203, 215, 216, 227, 228, 239, 251, 242,
265 254, 267, 255, 230, 243, 384, 396, 397,
266 409, 423, 436, 256, 411, 424, 410, 398,
267 422, 435, 448, 592, 605, 412, 437, 449,
268 580, 593, 749, 421, 434, 566, 578, 385,
269 579, 567, 591, 447, 554, 604, 748, 761,
270 736, 446, 603, 616, 760, 773, 617, 774,
271 606, 618, 762, 230, 242, 254, 255, 267,
272 243, 256, 412, 438, 543, 581, 426, 450,
273 463, 712, 750, 763, 881, 424, 568, 411,
274 437, 580, 593, 932, 606, 373, 398, 436,
275 542, 567, 736, 749, 449, 762, 775, 619,
276 788, 764, 631, 645, 1127, 1115, 1139, 618,
277 385, 554, 723, 724, 880, 893, 906, 919,
278 892, 905, 918, 1049, 1061, 1075, 1074, 931,
279 1101, 944, 957, 1257, 1270, 1283, 1087, 1100,
280 1126, 1113, 1295, 226, 238, 250, 251, 239,
281 227, 418, 419, 432, 228, 254, 396, 407,
282 408, 409, 420, 421, 433, 406, 600, 588,
283 589, 601, 267, 397, 410, 422, 434, 435,
284 446, 577, 578, 590, 602, 603, 614, 576,
285 769, 615, 758, 770, 771, 782, 423, 447,
286 591, 757, 783, 459, 436, 448, 604, 616,
287 784, 587, 395, 564, 565, 575, 759, 795,
288 939, 951, 460, 628, 796, 383, 745, 394,
289 756, 938, 952, 393, 562, 563, 574, 743,
290 744, 964, 925, 926, 927, 1107, 1120, 629,
291 797, 215, 226, 227, 228, 238, 239, 251,
292 254, 267, 384, 395, 396, 397, 407, 408,
293 409, 420, 421, 432, 433, 434, 422, 242,
294 435, 446, 255, 447, 423, 436, 448, 459,
295 615, 449, 460, 604, 605, 616, 617, 592,
296 628, 784, 785, 424, 437, 618, 629, 786,
297 577, 589, 590, 602, 410, 603, 591, 614,
298 578, 772, 773, 797, 798, 759, 771, 631,
299 787, 799, 579, 760, 450, 800, 955, 956,
300 968, 242, 254, 255, 267, 230, 243, 256,
301 436, 424, 437, 449, 411, 423, 435, 447,
302 448, 459, 460, 593, 605, 617, 618, 412,
303 450, 606, 580, 616, 628, 629, 774, 786,
304 787, 438, 463, 581, 619, 631, 775, 799,
305 788, 592, 604, 798, 800, 398, 446, 761,
306 773, 762, 567, 749, 956, 968, 969, 955,
307 785, 797, 1137, 1138, 645, 1139, 1136, 1306,
308 957, 1126, 1476, 426, 764, 713, 1115, 645,
309 1453, 1815, 1994, 1993, 1139, 1138, 1295, 1464,
310 1476, 1127, 1283, 1632, 1438, 1451, 1581, 1762,
311 1775, 1787, 1270, 1413, 1463, 1388, 1375, 1399,
312 1412, 1425, 1555, 1580, 1593, 1257, 1786, 750,
313 763, 775, 906, 919, 931, 932, 944, 1075,
314 1087, 1100, 1113, 1231, 1244, 1256, 1269, 1282,
315 788, 957, 1101, 619, 1126, 238, 250, 251,
316 379, 380, 392, 393, 406, 418, 419, 548,
317 549, 561, 562, 574, 575, 587, 600, 717,
318 729, 730, 743, 756, 950, 1106, 1249, 1262,
319 1275, 432, 588, 769, 239, 407, 420, 601,
320 744, 757, 925, 1119, 408, 421, 433, 576,
321 589, 602, 614, 770, 782, 938, 434, 446,
322 577, 590, 603, 615, 758, 771, 783, 939,
323 951, 912, 926, 795, 254, 267, 422, 435,
324 447, 459, 784, 952, 1288, 1107, 796, 964,
325 1120, 616, 628, 1094, 448, 460, 797, 953,
326 629, 798, 1289, 1134, 617, 799, 1135, 449,
327 631, 800, 968, 1136, 1304, 618, 786, 787,
328 969, 1137, 785, 463, 956, 1138, 1306, 955,
329 954, 619, 645, 788, 1139, 1476, 1123, 1124,
330 1125, 899, 1122, 1292, 1293, 1294, 1121, 1291,
331 1276, 1290, 1461, 1462, 1460, 1463, 1630, 251,
332 254, 267, 409, 420, 421, 422, 432, 433,
333 434, 435, 446, 447, 459, 589, 590, 601,
334 602, 603, 614, 615, 758, 770, 771, 782,
335 783, 784, 795, 951, 448, 604, 616, 628,
336 436, 460, 617, 796, 952, 449, 629, 797,
337 964, 618, 798, 631, 799, 450, 787, 800,
338 968, 1136, 463, 619, 956, 969, 1137, 1135,
339 786, 1138, 788, 1304, 1306, 645, 1139, 957,
340 1476, 1134, 955, 1126, 953, 785, 1125, 954,
341 1124, 1295, 1294, 256, 424, 437, 438, 448,
342 449, 450, 459, 460, 463, 606, 617, 618,
343 619, 629, 631, 775, 786, 787, 798, 799,
344 800, 788, 968, 969, 645, 1139, 956, 1453,
345 1138, 1127, 1815, 436, 447, 605, 616, 774,
346 593, 412, 581, 762, 931, 944, 955, 957,
347 785, 943, 1125, 1124, 1137, 954, 1112, 1113,
348 1126, 1295, 1306, 1123, 1281, 1100, 1282, 1136,
349 1293, 1294, 1476, 1292, 1269, 1283, 1464, 450,
350 463, 426, 645, 764, 1127, 1115, 1453, 1815,
351 1139, 1994, 1993, 619, 631, 788, 799, 800,
352 957, 968, 969, 1137, 1138, 1126, 1295, 1306,
353 1476, 932, 1101, 763, 1270, 1283, 1464, 438,
354 459, 460, 463, 628, 629, 631, 645, 796,
355 797, 798, 799, 800, 956, 964, 968, 969,
356 1124, 1125, 1134, 1135, 1136, 1137, 1138, 1293,
357 1304, 1306, 1476, 1139, 1294, 1462, 1463, 1994,
358 1993, 1815, 446, 447, 615, 616, 783, 784,
359 795, 952, 953, 785, 617, 786, 954, 618,
360 787, 955, 1123, 957, 1126, 1122, 1292, 1295,
361 1291, 1464, 1632, 449, 619, 788, 1461, 1460,
362 1630, 196, 353, 343, 344, 356, 366, 379,
363 535, 345, 1029, 536, 704, 1198, 716, 872,
364 357, 368, 380, 548, 705, 873, 729, 1041,
365 1366, 392, 537, 549, 717, 874, 1032, 1042,
366 1200, 561, 706, 718, 886, 1043, 1201, 1211,
367 369, 381, 538, 1033, 393, 550, 875, 370,
368 382, 394, 539, 551, 562, 707, 719, 865,
369 876, 887, 1034, 1044, 1202, 189, 201, 356,
370 357, 366, 368, 369, 379, 380, 381, 392,
371 535, 536, 537, 548, 549, 705, 202, 214,
372 226, 238, 370, 382, 393, 538, 550, 706,
373 394, 250, 406, 562, 215, 227, 239, 251,
374 371, 383, 395, 407, 539, 551, 563, 707,
375 718, 719, 575, 731, 875, 396, 408, 540,
376 552, 564, 576, 708, 720, 732, 876, 874,
377 1032, 865, 1033, 887, 888, 419, 744, 900,
378 1044, 384, 420, 565, 577, 709, 721, 733,
379 745, 877, 889, 901, 1045, 190, 201, 202,
380 214, 215, 226, 227, 238, 239, 357, 368,
381 369, 370, 371, 381, 382, 383, 394, 537,
382 538, 539, 550, 551, 707, 865, 203, 228,
383 384, 395, 540, 552, 697, 708, 191, 216,
384 372, 396, 553, 709, 866, 254, 385, 397,
385 409, 541, 565, 566, 722, 408, 564, 410,
386 721, 878, 1035, 720, 577, 733, 877, 578,
387 734, 398, 554, 579, 710, 735, 876, 1034,
388 698, 890, 891, 1047, 889, 421, 746, 902,
389 1046, 422, 747, 903, 423, 567, 723, 748,
390 879, 904, 191, 203, 216, 228, 371, 372,
391 384, 385, 397, 540, 541, 553, 697, 698,
392 866, 242, 373, 554, 710, 867, 230, 398,
393 542, 243, 256, 412, 568, 724, 880, 893,
394 255, 567, 723, 543, 581, 750, 906, 1037,
395 1049, 411, 424, 580, 438, 712, 879, 736,
396 593, 749, 763, 919, 892, 1048, 1075, 1231,
397 905, 881, 1061, 1217, 1244, 918, 1074, 932,
398 1230, 1257, 1375, 762, 1087, 1243, 1101, 196,
399 716, 872, 353, 729, 1041, 366, 535, 379,
400 548, 704, 380, 392, 536, 561, 717, 873,
401 549, 705, 730, 886, 1366, 1042, 1210, 1223,
402 1236, 393, 574, 718, 874, 899, 1055, 1029,
403 1198, 1211, 1249, 418, 562, 743, 887, 1043,
404 1068, 1106, 1224, 1262, 1405, 587, 731, 912,
405 1056, 1212, 1237, 1275, 343, 344, 1200, 1032,
406 1201, 1380, 706, 875, 1033, 1044, 1202, 1213,
407 1225, 1381, 1418, 366, 379, 380, 392, 535,
408 536, 548, 704, 368, 381, 393, 537, 549,
409 561, 705, 717, 226, 238, 250, 369, 382,
410 394, 406, 418, 538, 550, 562, 574, 706,
411 718, 730, 239, 251, 395, 407, 419, 551,
412 563, 575, 587, 719, 731, 873, 874, 886,
413 707, 743, 875, 887, 899, 420, 432, 564,
414 576, 588, 600, 720, 732, 744, 756, 888,
415 900, 1042, 1043, 1055, 876, 912, 1044, 1056,
416 1068, 408, 589, 601, 733, 745, 757, 769,
417 889, 901, 913, 925, 1057, 1069, 214, 226,
418 227, 238, 239, 250, 251, 369, 370, 381,
419 382, 383, 393, 394, 395, 406, 407, 419,
420 538, 539, 550, 551, 562, 563, 575, 707,
421 719, 215, 228, 371, 384, 396, 408, 420,
422 540, 552, 564, 576, 708, 720, 432, 588,
423 732, 397, 409, 421, 433, 553, 565, 577,
424 589, 721, 733, 731, 744, 876, 888, 709,
425 745, 877, 889, 601, 757, 901, 422, 434,
426 566, 578, 590, 602, 722, 734, 746, 758,
427 890, 902, 900, 913, 1045, 1057, 878, 914,
428 1046, 1058, 770, 926, 1070, 410, 591, 603,
429 735, 747, 759, 771, 891, 903, 915, 927,
430 1059, 1071, 228, 371, 383, 384, 395, 396,
431 397, 408, 409, 421, 540, 552, 553, 564,
432 565, 577, 709, 721, 216, 254, 372, 385,
433 410, 422, 541, 566, 578, 722, 242, 267,
434 398, 423, 554, 579, 710, 434, 590, 734,
435 435, 591, 735, 255, 411, 436, 567, 592,
436 723, 733, 746, 878, 890, 747, 891, 748,
437 879, 603, 759, 903, 604, 760, 904, 424,
438 580, 605, 736, 761, 892, 902, 915, 1047,
439 1059, 916, 1060, 917, 1048, 772, 928, 1072,
440 773, 929, 1073, 593, 749, 774, 905, 930,
441 1061, 196, 716, 729, 872, 1041, 366, 379,
442 380, 392, 535, 536, 548, 561, 704, 717,
443 873, 393, 549, 574, 730, 418, 886, 250,
444 406, 562, 575, 587, 705, 718, 731, 743,
445 899, 1042, 1106, 1223, 1236, 1249, 1262, 756,
446 912, 1055, 419, 600, 1210, 950, 1211, 1275,
447 1068, 588, 744, 769, 925, 874, 887, 1405,
448 1224, 900, 1081, 432, 757, 913, 938, 1094,
449 1119, 238, 250, 368, 379, 380, 381, 392,
450 393, 394, 406, 418, 536, 537, 548, 549,
451 550, 561, 562, 574, 575, 587, 705, 717,
452 718, 730, 731, 743, 886, 899, 251, 407,
453 419, 563, 239, 382, 395, 408, 420, 432,
454 551, 564, 576, 588, 600, 732, 744, 756,
455 421, 433, 577, 589, 601, 745, 757, 769,
456 912, 925, 434, 590, 602, 758, 770, 719,
457 900, 720, 733, 901, 913, 746, 914, 926,
458 938, 446, 603, 614, 759, 771, 782, 927,
459 939, 887, 1068, 888, 1069, 1081, 889, 902,
460 1070, 1082, 1094, 915, 1083, 1095, 1107, 615,
461 772, 783, 928, 940, 951, 1096, 1108, 383,
462 395, 396, 407, 408, 409, 419, 420, 421,
463 432, 433, 552, 564, 565, 576, 577, 588,
464 589, 601, 733, 745, 254, 384, 397, 410,
465 422, 434, 553, 566, 578, 590, 602, 734,
466 746, 758, 267, 423, 435, 446, 579, 591,
467 603, 747, 759, 614, 771, 436, 447, 592,
468 604, 615, 760, 772, 721, 757, 770, 902,
469 914, 722, 735, 903, 915, 927, 748, 916,
470 928, 783, 940, 448, 605, 616, 761, 773,
471 784, 929, 941, 890, 926, 939, 1071, 1083,
472 891, 904, 1072, 1084, 1096, 917, 1085, 1097,
473 952, 1109, 459, 617, 774, 785, 930, 942,
474 953, 1098, 1110, 254, 267, 397, 409, 410,
475 421, 422, 423, 434, 435, 566, 578, 579,
476 590, 591, 603, 735, 747, 242, 255, 385,
477 398, 411, 436, 554, 567, 592, 604, 748,
478 424, 580, 605, 736, 447, 760, 448, 761,
479 437, 449, 593, 749, 616, 773, 460, 606,
480 617, 618, 762, 774, 786, 930, 943, 759,
481 772, 904, 916, 723, 917, 905, 929, 918,
482 785, 942, 450, 775, 787, 931, 928, 941,
483 1073, 1085, 892, 1086, 1074, 1098, 1099, 1087,
484 954, 1111, 955, 1112, 619, 944, 956, 1100,
485 716, 729, 1223, 1236, 379, 392, 535, 548,
486 561, 574, 704, 717, 730, 1106, 1249, 1262,
487 250, 380, 393, 406, 418, 536, 549, 562,
488 575, 587, 600, 705, 718, 731, 743, 756,
489 873, 886, 899, 912, 950, 1042, 1055, 1068,
490 1275, 419, 432, 588, 601, 744, 757, 769,
491 925, 1119, 938, 1081, 770, 782, 1094, 1288,
492 420, 433, 576, 589, 602, 614, 745, 758,
493 771, 783, 913, 926, 939, 951, 1095, 1107,
494 1263, 1276, 446, 795, 1120, 615, 784, 796,
495 952, 964, 1405, 1418, 1041, 1210, 1082, 1108,
496 1121, 1289, 407, 418, 419, 420, 432, 433,
497 575, 576, 587, 588, 589, 600, 601, 744,
498 756, 757, 769, 770, 925, 938, 408, 421,
499 434, 577, 590, 602, 614, 745, 758, 771,
500 782, 926, 939, 409, 422, 435, 446, 578,
501 591, 603, 615, 746, 759, 772, 783, 927,
502 940, 1107, 951, 447, 784, 795, 952, 448,
503 459, 604, 616, 628, 785, 796, 953, 1120,
504 964, 1121, 460, 797, 617, 629, 798, 913,
505 1094, 914, 1095, 1108, 1134, 786, 954, 1135,
506 1082, 1263, 1276, 928, 941, 1109, 1289, 1122,
507 799, 955, 1123, 1136, 1304, 422, 434, 435,
508 446, 447, 591, 603, 604, 614, 615, 772,
509 423, 436, 448, 459, 592, 605, 616, 773,
510 784, 449, 460, 617, 628, 785, 618, 629,
511 786, 797, 631, 787, 798, 799, 955, 800,
512 956, 968, 1136, 760, 783, 941, 761, 774,
513 942, 796, 953, 954, 1124, 1135, 969, 1137,
514 929, 952, 1110, 930, 943, 1111, 1122, 1123,
515 1304, 1125, 1138, 1306, 950, 1106, 1119, 1275,
516 1288, 600, 769, 782, 432, 601, 614, 770,
517 783, 795, 938, 939, 951, 1107, 1120, 1276,
518 446, 615, 796, 952, 964, 1289, 459, 784,
519 628, 797, 460, 629, 953, 1134, 1121, 785,
520 798, 954, 1122, 1135, 1304, 799, 968, 1123,
521 1136, 1290, 1291, 631, 800, 955, 969, 1124,
522 1137, 1292, 1306, 1138, 1293, 1125, 1294, 1476,
523 1459, 463, 1139, 1460, 1461, 1462, 645, 1463,
524 1630, 1632, 1108, 1445, 190, 347, 697, 865,
525 1034, 191, 698, 866, 1035, 867, 371, 1203,
526 372, 373, 542, 724, 880, 541, 568, 893,
527 1049, 384, 385, 397, 540, 553, 554, 566,
528 709, 710, 722, 878, 879, 891, 1047, 398,
529 567, 723, 892, 1048, 412, 581, 906, 1037,
530 1033, 1202, 735, 1060, 1216, 736, 1061, 1217,
531 1231, 366, 379, 535, 548, 704, 716, 729,
532 872, 873, 1029, 1041, 1198, 536, 705, 717,
533 368, 380, 392, 537, 549, 561, 706, 718,
534 874, 886, 1032, 1042, 1200, 730, 369, 381,
535 393, 538, 550, 562, 574, 719, 731, 875,
536 887, 899, 1043, 1055, 743, 1211, 382, 394,
537 406, 418, 551, 563, 575, 587, 707, 732,
538 744, 876, 888, 900, 912, 1044, 1056, 1068,
539 1212, 1210, 1223, 1201, 1224, 720, 756, 901,
540 913, 1045, 1057, 1069, 1081, 1213, 1225, 1237,
541 368, 369, 380, 381, 393, 536, 537, 538,
542 549, 550, 562, 705, 706, 707, 718, 719,
543 874, 875, 887, 1032, 1033, 1043, 1201, 370,
544 382, 394, 539, 551, 563, 708, 720, 865,
545 876, 888, 1034, 1044, 1202, 406, 575, 731,
546 732, 900, 1056, 371, 383, 395, 407, 540,
547 552, 564, 576, 721, 733, 877, 889, 901,
548 1045, 1057, 419, 588, 744, 745, 913, 1069,
549 1213, 384, 396, 408, 420, 553, 565, 577,
550 589, 709, 734, 746, 878, 890, 902, 914,
551 1046, 1058, 1070, 1214, 1212, 1203, 1225, 1226,
552 757, 1082, 1238, 722, 758, 903, 915, 1047,
553 1059, 1071, 1083, 1215, 1227, 1239, 370, 371,
554 382, 383, 395, 538, 539, 540, 551, 552,
555 564, 707, 708, 709, 720, 721, 865, 876,
556 877, 889, 1034, 1045, 1203, 384, 396, 553,
557 565, 697, 722, 866, 878, 890, 1035, 1046,
558 372, 385, 397, 409, 410, 541, 554, 566,
559 578, 698, 710, 734, 735, 867, 879, 891,
560 903, 1047, 1059, 1060, 1216, 408, 577, 733,
561 902, 1058, 579, 723, 904, 421, 590, 746,
562 747, 915, 1071, 1215, 422, 591, 748, 916,
563 1072, 398, 423, 567, 592, 736, 892, 917,
564 1048, 1073, 1214, 1228, 1229, 1227, 759, 1084,
565 1240, 760, 1085, 1241, 761, 905, 1061, 1086,
566 1217, 1242, 380, 392, 393, 536, 548, 549,
567 561, 562, 574, 704, 705, 717, 718, 730,
568 743, 873, 874, 886, 887, 899, 1042, 1043,
569 1055, 1211, 381, 394, 406, 418, 537, 550,
570 563, 575, 587, 706, 719, 731, 744, 756,
571 875, 888, 900, 912, 1044, 1056, 1068, 1212,
572 1224, 382, 395, 407, 419, 538, 551, 564,
573 576, 588, 600, 707, 720, 732, 745, 757,
574 876, 889, 901, 913, 925, 1045, 1057, 1069,
575 1081, 1213, 1225, 769, 1237, 408, 420, 432,
576 577, 589, 601, 733, 758, 770, 902, 914,
577 926, 938, 1058, 1070, 1082, 1094, 1226, 1238,
578 1214, 1250, 746, 927, 939, 1071, 1083, 1095,
579 1107, 1227, 1239, 1251, 1263, 383, 395, 396,
580 407, 408, 419, 420, 432, 539, 551, 552,
581 563, 564, 565, 575, 576, 577, 588, 589,
582 601, 707, 708, 719, 720, 721, 732, 733,
583 744, 745, 746, 757, 758, 876, 877, 888,
584 889, 890, 900, 901, 902, 913, 914, 926,
585 1045, 1046, 1057, 1058, 1069, 1070, 1082, 1214,
586 1226, 384, 397, 409, 421, 433, 540, 553,
587 566, 578, 590, 602, 709, 722, 734, 747,
588 759, 878, 891, 903, 915, 927, 1047, 1059,
589 1071, 1083, 1215, 1227, 770, 771, 939, 1095,
590 1239, 410, 422, 434, 579, 591, 603, 735,
591 760, 772, 904, 916, 928, 940, 1060, 1072,
592 1084, 1096, 1228, 1240, 1238, 1251, 1216, 1252,
593 1108, 1264, 748, 929, 941, 1073, 1085, 1097,
594 1109, 1229, 1241, 1253, 1265, 397, 409, 410,
595 421, 422, 434, 553, 565, 566, 577, 578,
596 579, 590, 591, 603, 709, 721, 722, 734,
597 735, 746, 747, 748, 759, 760, 878, 890,
598 891, 902, 903, 904, 915, 916, 928, 1047,
599 1059, 1060, 1071, 1072, 1084, 1216, 1228, 385,
600 398, 423, 435, 541, 554, 567, 592, 604,
601 710, 723, 761, 879, 892, 917, 929, 1048,
602 1073, 1085, 1229, 411, 436, 580, 605, 736,
603 749, 905, 930, 1061, 1086, 1217, 772, 773,
604 941, 1097, 1241, 774, 942, 1098, 1242, 424,
605 593, 762, 918, 943, 1074, 1099, 1230, 1240,
606 1253, 1254, 1255, 1110, 1266, 1111, 1267, 931,
607 1087, 1112, 1243, 1268, 411, 424, 542, 567,
608 568, 580, 593, 723, 724, 736, 749, 762,
609 880, 892, 893, 905, 918, 1049, 1061, 1074,
610 1230, 412, 437, 581, 606, 750, 906, 931,
611 1087, 763, 919, 1075, 1231, 438, 543, 712,
612 881, 932, 1101, 1244, 1257, 775, 1243, 944,
613 1100, 1270, 426, 1283, 1256, 1113, 1269, 764,
614 1127, 1388, 450, 619, 788, 957, 463, 1126,
615 1295, 1282, 1139, 1115, 1399, 1413, 1412, 1425,
616 1438, 1581, 1451, 716, 729, 872, 1041, 1210,
617 1223, 1236, 1249, 379, 392, 418, 548, 561,
618 574, 704, 717, 730, 743, 873, 886, 899,
619 1042, 1055, 1068, 1106, 1211, 1224, 1262, 1405,
620 393, 406, 549, 562, 575, 587, 718, 731,
621 756, 874, 887, 900, 912, 1043, 1056, 1081,
622 1237, 1275, 950, 419, 588, 600, 744, 769,
623 913, 925, 1069, 1094, 1119, 1250, 1418, 432,
624 601, 757, 926, 938, 1082, 1107, 1263, 1288,
625 1212, 1225, 1238, 770, 1095, 1251, 1276, 406,
626 418, 419, 562, 574, 575, 587, 588, 600,
627 730, 731, 743, 744, 756, 769, 887, 899,
628 900, 912, 913, 925, 1056, 1068, 1069, 1081,
629 1237, 407, 420, 432, 563, 576, 589, 601,
630 732, 745, 757, 770, 888, 901, 914, 926,
631 938, 1057, 1070, 1082, 1094, 1238, 1250, 408,
632 421, 433, 564, 577, 590, 602, 733, 746,
633 758, 771, 889, 902, 915, 927, 939, 1058,
634 1071, 1083, 1095, 1107, 1239, 1251, 782, 1263,
635 434, 603, 614, 759, 783, 928, 940, 951,
636 1084, 1096, 1108, 1252, 1264, 1276, 446, 615,
637 772, 784, 941, 952, 1097, 1109, 1120, 1265,
638 1277, 1225, 1226, 1227, 1240, 1253, 795, 953,
639 1110, 1121, 1266, 1278, 1289, 409, 421, 422,
640 433, 434, 565, 577, 578, 589, 590, 591,
641 601, 602, 603, 614, 733, 734, 745, 746,
642 747, 758, 759, 770, 771, 772, 890, 902,
643 903, 914, 915, 916, 926, 927, 928, 939,
644 940, 1059, 1071, 1072, 1083, 1084, 1095, 1096,
645 1108, 1240, 1252, 410, 423, 435, 446, 566,
646 579, 592, 604, 615, 735, 748, 760, 773,
647 891, 904, 917, 929, 941, 1060, 1073, 1085,
648 1097, 1109, 1241, 1253, 783, 784, 952, 1265,
649 436, 447, 605, 616, 761, 785, 930, 942,
650 953, 1086, 1098, 1110, 1254, 1266, 1121, 1278,
651 448, 459, 617, 628, 774, 786, 943, 954,
652 1099, 1111, 1122, 1267, 1279, 1228, 1264, 1277,
653 1229, 1242, 1255, 796, 1290, 797, 955, 1112,
654 1123, 1268, 1280, 1291, 423, 435, 436, 447,
655 579, 591, 592, 603, 604, 605, 616, 735,
656 747, 748, 760, 761, 772, 773, 774, 904,
657 916, 917, 928, 929, 930, 941, 942, 1073,
658 1085, 1086, 1097, 1098, 1110, 1242, 1254, 411,
659 424, 448, 567, 580, 593, 617, 736, 749,
660 892, 905, 918, 943, 1061, 1074, 1099, 1111,
661 1255, 437, 449, 606, 618, 762, 775, 931,
662 1087, 1112, 1243, 785, 786, 954, 1267, 787,
663 955, 1268, 944, 956, 1100, 1256, 460, 629,
664 1123, 1280, 1124, 1281, 450, 619, 631, 788,
665 1113, 1125, 1269, 1266, 1279, 1230, 798, 1292,
666 799, 1293, 800, 957, 1282, 1294, 729, 1106,
667 1223, 1236, 1249, 1262, 1275, 1405, 1418, 950,
668 1119, 432, 588, 600, 601, 756, 757, 769,
669 770, 782, 913, 925, 926, 938, 939, 1081,
670 1082, 1094, 1095, 1107, 1250, 1263, 1276, 1288,
671 614, 951, 1108, 1120, 1431, 783, 795, 952,
672 1289, 964, 1121, 1445, 796, 1251, 1264, 1277,
673 1432, 1290, 1134, 1419, 1459, 1420, 1433, 1446,
674 1601, 1122, 1135, 1291, 1460, 1588, 1602, 1447,
675 1304, 1616, 601, 614, 769, 770, 782, 926,
676 938, 939, 951, 1095, 1107, 1108, 1276, 446,
677 602, 615, 771, 783, 795, 927, 940, 952,
678 1096, 1109, 1120, 1277, 447, 603, 616, 772,
679 784, 796, 928, 941, 953, 964, 1097, 1110,
680 1121, 1278, 1289, 459, 628, 785, 797, 954,
681 1122, 1290, 460, 629, 1123, 1134, 1291, 798,
682 1135, 1304, 799, 955, 968, 1124, 1136, 1292,
683 1264, 1265, 1266, 1279, 1137, 1293, 447, 448,
684 459, 604, 615, 616, 617, 628, 772, 773,
685 784, 785, 796, 797, 929, 941, 942, 952,
686 953, 954, 1098, 1110, 1111, 1121, 1122, 1279,
687 449, 460, 605, 618, 629, 774, 786, 798,
688 930, 943, 955, 1099, 1112, 1123, 1280, 1134,
689 1291, 787, 799, 956, 1124, 1135, 1292, 631,
690 968, 1125, 1136, 1293, 1304, 800, 969, 1137,
691 1306, 1138, 1294, 1267, 1290, 1268, 1281, 950,
692 1119, 1288, 782, 795, 951, 1107, 1120, 1276,
693 1289, 614, 783, 952, 964, 1121, 796, 1134,
694 1290, 1445, 459, 628, 797, 1122, 1135, 1291,
695 1304, 1459, 629, 798, 1136, 799, 968, 1292,
696 1460, 1137, 1306, 1461, 631, 800, 969, 1138,
697 1293, 1462, 1630, 1463, 1476, 1632, 645, 1139,
698 1815, 1993, 1994, 1277, 1432, 1601, 1446, 1786,
699 1787, 1464, 1602, 1616, 1433, 1588, 1757, 1617,
700 1447, 1603, 1590, 1732, 1604, 1775, 343, 344,
701 345, 356, 1029, 1198, 357, 535, 536, 704,
702 1032, 1200, 1201, 366, 873, 705, 1033, 874,
703 706, 865, 875, 1202, 537, 718, 887, 1043,
704 1044, 1212, 538, 707, 719, 876, 888, 1034,
705 1045, 1203, 1213, 1056, 1057, 1214, 1371, 900,
706 1055, 1068, 1069, 1211, 1224, 1225, 1226, 1237,
707 1380, 1381, 1382, 1393, 345, 356, 357, 1032,
708 1033, 1200, 1201, 865, 1034, 1202, 1203, 697,
709 866, 540, 708, 709, 877, 1035, 707, 876,
710 878, 539, 720, 889, 1045, 1046, 1214, 1371,
711 371, 384, 552, 553, 565, 721, 722, 733,
712 734, 890, 891, 902, 1047, 1058, 1059, 1215,
713 1216, 1227, 903, 1060, 1071, 1228, 1383, 1384,
714 541, 710, 735, 867, 879, 904, 1048, 1072,
715 1229, 1385, 1057, 1070, 1213, 1226, 1239, 1382,
716 1395, 1240, 1396, 1073, 1217, 1241, 1397, 347,
717 697, 865, 866, 1033, 1034, 1035, 1202, 1203,
718 698, 867, 373, 542, 880, 1049, 541, 710,
719 568, 724, 893, 1037, 879, 723, 892, 1048,
720 1217, 906, 1231, 372, 385, 554, 722, 735,
721 878, 891, 904, 1047, 1060, 1216, 1229, 567,
722 736, 1061, 905, 1230, 1371, 1386, 1074, 1073,
723 1385, 1075, 1375, 1059, 1072, 1215, 1228, 1241,
724 1242, 1384, 1397, 1398, 1243, 1399, 1244, 919,
725 366, 379, 535, 536, 548, 704, 705, 717,
726 729, 873, 886, 1029, 1042, 1198, 1200, 1210,
727 1211, 1223, 1236, 874, 1043, 1055, 537, 549,
728 706, 718, 730, 875, 887, 899, 1032, 1044,
729 1056, 1201, 1212, 1224, 561, 1068, 550, 562,
730 707, 719, 731, 743, 876, 888, 900, 912,
731 1057, 1069, 1213, 1225, 1237, 574, 1081, 1380,
732 563, 575, 720, 732, 744, 756, 889, 901,
733 913, 925, 1045, 1070, 1082, 1214, 1226, 1238,
734 1250, 1381, 1393, 1058, 1094, 1239, 1251, 1382,
735 1394, 1406, 1249, 1405, 1549, 1227, 1263, 1383,
736 1395, 1407, 1419, 1550, 538, 550, 706, 707,
737 718, 719, 731, 874, 875, 876, 887, 888,
738 900, 1032, 1033, 1043, 1044, 1045, 1056, 1057,
739 1201, 1202, 1212, 1213, 1225, 539, 551, 708,
740 720, 732, 865, 877, 889, 901, 1034, 1046,
741 1058, 1203, 1214, 1226, 1371, 563, 744, 913,
742 1069, 1070, 1238, 552, 564, 709, 721, 733,
743 745, 878, 890, 902, 914, 1059, 1071, 1215,
744 1227, 1239, 576, 757, 926, 1082, 1083, 1251,
745 1382, 565, 577, 722, 734, 746, 758, 891,
746 903, 915, 927, 1047, 1072, 1084, 1216, 1228,
747 1240, 1252, 1383, 1381, 1394, 1395, 1095, 1407,
748 1060, 1096, 1241, 1253, 1384, 1396, 1408, 1264,
749 1420, 1551, 1229, 1265, 1385, 1397, 1409, 1421,
750 1552, 540, 552, 708, 709, 720, 721, 733,
751 876, 877, 878, 889, 890, 902, 1034, 1045,
752 1046, 1047, 1058, 1059, 1203, 1214, 1215, 1227,
753 553, 722, 734, 866, 891, 903, 1035, 1060,
754 1216, 1228, 372, 385, 541, 554, 566, 579,
755 698, 710, 723, 735, 747, 748, 867, 879,
756 892, 904, 916, 1048, 1072, 1073, 1217, 1229,
757 1241, 1385, 565, 746, 915, 1071, 1240, 917,
758 1061, 1242, 578, 759, 928, 1084, 1085, 1253,
759 1384, 760, 929, 1086, 1254, 567, 736, 761,
760 905, 930, 1074, 1230, 1255, 1383, 1397, 1398,
761 1396, 1097, 1409, 1098, 1410, 1099, 1243, 1386,
762 1411, 1266, 1422, 1267, 1423, 1268, 1399, 1424,
763 554, 710, 723, 867, 879, 892, 1048, 1061,
764 1217, 373, 542, 567, 580, 724, 736, 749,
765 880, 893, 905, 1049, 1074, 1230, 1386, 568,
766 581, 750, 906, 1037, 1075, 1231, 543, 712,
767 919, 1244, 1375, 918, 1243, 763, 881, 932,
768 1101, 1257, 1413, 1087, 762, 931, 1256, 1270,
769 1399, 1100, 1412, 1283, 1388, 1555, 1269, 1425,
770 1581, 1113, 1282, 1438, 1451, 1464, 1580, 1593,
771 1762, 1632, 1775, 1295, 1127, 716, 729, 872,
772 1041, 1210, 1223, 1366, 1236, 1249, 548, 561,
773 574, 704, 705, 717, 718, 730, 743, 873,
774 874, 886, 887, 899, 1042, 1043, 1055, 1068,
775 1106, 1211, 1212, 1224, 1262, 1380, 1405, 1418,
776 587, 731, 756, 900, 912, 1056, 1081, 1225,
777 1237, 1275, 1393, 1431, 925, 950, 1069, 1250,
778 1381, 1406, 1549, 1094, 1119, 1238, 1394, 1562,
779 1263, 1288, 1419, 1550, 1575, 1407, 1432, 1588,
780 1601, 1732, 574, 718, 730, 731, 743, 874,
781 886, 887, 899, 900, 912, 1042, 1043, 1055,
782 1056, 1068, 1081, 1211, 1212, 1224, 1225, 1237,
783 1380, 575, 587, 719, 732, 744, 756, 875,
784 888, 901, 913, 925, 1044, 1057, 1069, 1082,
785 1094, 1213, 1226, 1238, 1250, 1381, 1393, 576,
786 588, 720, 733, 745, 757, 769, 876, 889,
787 902, 914, 926, 938, 1045, 1058, 1070, 1083,
788 1095, 1214, 1227, 1239, 1251, 1263, 1382, 1394,
789 600, 1107, 1406, 589, 601, 746, 758, 770,
790 915, 927, 939, 1071, 1096, 1108, 1240, 1252,
791 1264, 1276, 1395, 1407, 1383, 1419, 1084, 1265,
792 1277, 1396, 1408, 1420, 1432, 1549, 1550, 1562,
793 1551, 1575, 1253, 1409, 1421, 1433, 1445, 1564,
794 577, 589, 721, 733, 734, 745, 746, 757,
795 758, 770, 877, 889, 890, 901, 902, 903,
796 913, 914, 915, 926, 927, 939, 1045, 1046,
797 1057, 1058, 1059, 1070, 1071, 1082, 1083, 1084,
798 1095, 1096, 1214, 1215, 1226, 1227, 1228, 1238,
799 1239, 1240, 1251, 1252, 1264, 1383, 1395, 578,
800 590, 722, 735, 747, 759, 771, 878, 891,
801 904, 916, 928, 940, 1047, 1060, 1072, 1085,
802 1097, 1216, 1229, 1241, 1253, 1265, 1384, 1396,
803 602, 1108, 1109, 1277, 1408, 591, 603, 748,
804 760, 772, 917, 929, 941, 1073, 1098, 1110,
805 1242, 1254, 1266, 1278, 1397, 1409, 1407, 1420,
806 1385, 1421, 1433, 1086, 1267, 1279, 1398, 1410,
807 1422, 1434, 1552, 1564, 1565, 1446, 1577, 1255,
808 1411, 1423, 1435, 1447, 1578, 579, 591, 735,
809 747, 748, 759, 760, 772, 891, 903, 904,
810 915, 916, 917, 928, 929, 941, 1047, 1059,
811 1060, 1072, 1073, 1084, 1085, 1086, 1097, 1098,
812 1216, 1228, 1229, 1240, 1241, 1242, 1253, 1254,
813 1266, 1385, 1397, 592, 723, 736, 761, 773,
814 879, 892, 905, 930, 942, 1048, 1061, 1099,
815 1217, 1230, 1255, 1267, 1398, 580, 749, 774,
816 918, 943, 1074, 1087, 1243, 1268, 1386, 604,
817 1110, 1111, 1279, 1410, 605, 1112, 1280, 1411,
818 593, 762, 931, 1100, 1256, 1281, 1399, 1409,
819 1422, 1423, 1424, 1435, 1436, 1269, 1412, 1437,
820 1567, 1555, 1448, 1449, 1580, 1425, 1450, 426,
821 764, 881, 1388, 1115, 713, 1453, 1127, 716,
822 729, 872, 1041, 1210, 1223, 1236, 1249, 1405,
823 1106, 1262, 1275, 1418, 574, 587, 600, 730,
824 731, 743, 744, 756, 769, 887, 899, 900,
825 912, 913, 925, 950, 1055, 1056, 1068, 1069,
826 1081, 1094, 1119, 1212, 1224, 1225, 1237, 1238,
827 1250, 1380, 1393, 1406, 1431, 757, 926, 938,
828 1082, 1107, 1251, 1263, 1288, 1419, 770, 782,
829 939, 1095, 1264, 1276, 1432, 1381, 1394, 1407,
830 951, 1108, 1420, 1445, 1549, 1562, 1575, 1588,
831 1120, 1277, 1433, 1601, 600, 744, 756, 757,
832 769, 900, 912, 913, 925, 926, 938, 1068,
833 1069, 1081, 1082, 1094, 1107, 1225, 1237, 1238,
834 1250, 1251, 1263, 1406, 601, 745, 758, 770,
835 901, 914, 927, 939, 1070, 1083, 1095, 1108,
836 1226, 1239, 1252, 1264, 1276, 1407, 1419, 602,
837 746, 759, 771, 782, 902, 915, 928, 940,
838 951, 1071, 1084, 1096, 1109, 1227, 1240, 1253,
839 1265, 1277, 1408, 1420, 1120, 1432, 614, 772,
840 783, 941, 952, 1097, 1121, 1266, 1278, 1289,
841 1421, 1433, 1445, 615, 784, 795, 953, 964,
842 1110, 1122, 1279, 1290, 1434, 1446, 1394, 1395,
843 1396, 1409, 1422, 1291, 1435, 1447, 1575, 1588,
844 1577, 1601, 1590, 1602, 1448, 1459, 1603, 603,
845 747, 759, 760, 771, 772, 783, 903, 915,
846 916, 927, 928, 929, 939, 940, 941, 952,
847 1071, 1072, 1083, 1084, 1085, 1096, 1097, 1108,
848 1109, 1110, 1228, 1240, 1241, 1252, 1253, 1254,
849 1264, 1265, 1266, 1277, 1278, 1409, 1421, 604,
850 748, 761, 773, 784, 904, 917, 930, 942,
851 953, 1073, 1086, 1098, 1111, 1229, 1242, 1255,
852 1267, 1279, 1410, 1422, 615, 1121, 1122, 1290,
853 1434, 616, 774, 785, 943, 954, 1099, 1123,
854 1268, 1280, 1291, 1423, 1435, 796, 1447, 617,
855 786, 797, 955, 1112, 1124, 1281, 1292, 1436,
856 1448, 1397, 1433, 1446, 1398, 1411, 1424, 1134,
857 1459, 1135, 1293, 1437, 1449, 1460, 1578, 1590,
858 1591, 1603, 1604, 1616, 1304, 1450, 1461, 1605,
859 1617, 605, 761, 773, 774, 785, 917, 929,
860 930, 941, 942, 943, 954, 1073, 1085, 1086,
861 1098, 1099, 1110, 1111, 1112, 1242, 1254, 1255,
862 1266, 1267, 1268, 1279, 1280, 1411, 1423, 749,
863 762, 786, 905, 918, 931, 955, 1074, 1087,
864 1230, 1243, 1256, 1281, 1424, 606, 775, 787,
865 944, 956, 1100, 1113, 1269, 1412, 617, 1123,
866 1124, 1292, 1436, 618, 1125, 1293, 1437, 1282,
867 1294, 1425, 798, 1449, 799, 968, 1450, 619,
868 788, 800, 957, 969, 1126, 1438, 1435, 1448,
869 1399, 1136, 1461, 1137, 1462, 1138, 1295, 1451,
870 1463, 1580, 1593, 1581, 1605, 1306, 782, 783,
871 939, 951, 952, 1107, 1108, 1120, 1264, 1276,
872 1277, 1289, 1445, 784, 795, 940, 953, 964,
873 1109, 1121, 1265, 1278, 1290, 1446, 785, 796,
874 941, 954, 1110, 1122, 1134, 1266, 1279, 1291,
875 1447, 628, 797, 1123, 1135, 1292, 1459, 798,
876 1304, 1460, 1136, 799, 968, 1137, 1293, 1306,
877 1461, 1433, 1434, 1435, 1448, 1462, 1630, 1616,
878 1602, 1138, 1294, 1463, 628, 785, 786, 796,
879 797, 942, 953, 954, 955, 1110, 1111, 1122,
880 1123, 1134, 1135, 1267, 1279, 1280, 1290, 1291,
881 1292, 1448, 629, 787, 798, 943, 956, 1112,
882 1124, 1136, 1268, 1281, 1293, 1304, 1449, 1460,
883 799, 968, 1125, 1137, 1294, 1461, 800, 969,
884 1306, 1462, 1138, 1463, 1476, 1436, 1459, 1437,
885 1450, 1630, 1632, 1617, 1139, 645, 1464, 1815,
886 1993, 1994, 1605, 1787, 1786, 1762, 1775, 787,
887 798, 799, 955, 956, 968, 1112, 1124, 1125,
888 1136, 1137, 1281, 1292, 1293, 1294, 1450, 631,
889 788, 800, 944, 957, 969, 1113, 1138, 1269,
890 1282, 1306, 1126, 1295, 1451, 1462, 1463, 1139,
891 1464, 1476, 645, 1127, 1461, 1438, 1632, 196,
892 1366, 1029, 1041, 1198, 1210, 872, 1223, 1236,
893 873, 1042, 1211, 1249, 1405, 1380, 1418, 1200,
894 1549, 1381, 1393, 1431, 1562, 1550, 1575, 1406,
895 1551, 1732, 1588, 1757, 1262, 1275, 1032, 1201,
896 1043, 1212, 1224, 1371, 1382, 1394, 1395, 1407,
897 1552, 1564, 1786, 1762, 1775, 1787, 1202, 1383,
898 1384, 1396, 1565, 1577, 1578, 1590, 1591, 1567,
899 1603, 1604, 1580, 1616, 1029, 1198, 1366, 872,
900 1041, 1210, 1200, 1032, 1042, 1201, 1211, 1223,
901 704, 873, 1380, 874, 1043, 1055, 1212, 1224,
902 717, 886, 1236, 1249, 1405, 875, 887, 1044,
903 1056, 1068, 1202, 1213, 1225, 1237, 1381, 1393,
904 1549, 1418, 1371, 1382, 1394, 1550, 1406, 1562,
905 1551, 1575, 1033, 1034, 1203, 876, 888, 1045,
906 1057, 1069, 1214, 1226, 1238, 1383, 1395, 1046,
907 1058, 1215, 1227, 1239, 1384, 1396, 1407, 1552,
908 1408, 1564, 1565, 1577, 1032, 1033, 1200, 1201,
909 1202, 1371, 865, 1034, 1203, 697, 866, 1035,
910 1046, 1215, 1214, 878, 1047, 1059, 1216, 1228,
911 1384, 709, 877, 890, 1045, 1058, 1071, 1227,
912 1240, 1383, 1385, 1396, 1552, 891, 1060, 1072,
913 1229, 1241, 1397, 1226, 1239, 1382, 1395, 1551,
914 879, 1048, 1073, 1217, 1242, 1398, 1408, 1564,
915 1409, 1565, 1386, 1410, 1411, 1423, 1555, 1567,
916 1550, 1577, 1578, 1422, 1580, 1590, 1591, 697,
917 866, 1034, 1035, 1203, 1371, 698, 867, 879,
918 1048, 1217, 373, 542, 723, 724, 880, 892,
919 893, 905, 1037, 1049, 1061, 1074, 1230, 1231,
920 1386, 1399, 1047, 1216, 710, 1060, 1229, 1385,
921 736, 1243, 1555, 878, 891, 1215, 1228, 1384,
922 1073, 1242, 1398, 906, 1075, 1375, 904, 1241,
923 1397, 1244, 1412, 1087, 1256, 1410, 1411, 1567,
924 1425, 1581, 919, 1257, 1413, 1046, 1383, 1552,
925 1059, 1396, 1565, 1438, 1227, 1409, 1551, 1580,
926 1388, 1578, 1270, 1366, 1041, 1210, 872, 1223,
927 1198, 1236, 873, 1042, 1211, 1249, 1405, 1055,
928 1224, 1262, 1380, 1418, 716, 1068, 1106, 1212,
929 1237, 1275, 1393, 1431, 1549, 1381, 1406, 1562,
930 1550, 1575, 1419, 1588, 1551, 1732, 1432, 1564,
931 1601, 1757, 1288, 1786, 1762, 1787, 1445, 1775,
932 1602, 1119, 1616, 1617, 1993, 1081, 1094, 1107,
933 1238, 1250, 1251, 1263, 1276, 1394, 1407, 950,
934 1264, 1420, 1120, 1277, 1289, 1433, 1446, 873,
935 886, 1042, 1043, 1055, 1200, 1211, 1212, 1224,
936 1236, 1249, 1380, 1405, 1381, 1393, 1044, 1056,
937 1213, 1225, 1237, 1382, 1394, 1549, 1068, 1406,
938 1057, 1069, 1214, 1226, 1238, 1250, 1395, 1407,
939 1550, 1562, 1081, 1419, 1070, 1082, 1227, 1239,
940 1251, 1263, 1383, 1408, 1420, 1551, 1575, 1418,
941 1396, 1432, 1552, 1564, 1588, 1577, 1565, 1601,
942 1732, 1421, 1433, 1578, 1590, 1602, 1757, 1045,
943 1057, 1213, 1214, 1225, 1226, 1238, 1371, 1381,
944 1382, 1383, 1394, 1395, 1550, 1046, 1058, 1215,
945 1227, 1239, 1384, 1396, 1551, 1070, 1251, 1407,
946 1408, 1059, 1071, 1216, 1228, 1240, 1252, 1397,
947 1409, 1552, 1564, 1083, 1264, 1420, 1421, 1072,
948 1084, 1229, 1241, 1253, 1265, 1385, 1410, 1422,
949 1565, 1577, 1433, 1398, 1434, 1578, 1590, 1591,
950 1602, 1567, 1603, 1575, 1588, 1732, 1601, 1757,
951 1423, 1435, 1580, 1604, 1616, 1047, 1059, 1215,
952 1216, 1227, 1228, 1240, 1383, 1384, 1385, 1396,
953 1397, 1552, 1060, 1229, 1241, 1398, 879, 892,
954 1048, 1061, 1073, 1086, 1217, 1230, 1242, 1254,
955 1255, 1386, 1410, 1411, 1567, 1072, 1253, 1409,
956 1565, 1399, 1085, 1266, 1422, 1423, 1578, 1267,
957 1424, 1074, 1243, 1268, 1412, 1555, 1580, 1435,
958 1591, 1436, 1437, 1593, 1408, 1421, 1564, 1577,
959 1434, 1590, 1581, 1603, 1604, 1605, 1425, 1450,
960 1616, 1617, 1762, 1081, 1225, 1237, 1238, 1250,
961 1380, 1381, 1393, 1394, 1406, 1419, 1549, 1550,
962 1562, 1082, 1094, 1226, 1239, 1251, 1263, 1382,
963 1395, 1407, 1420, 1432, 1551, 1575, 1083, 1095,
964 1227, 1240, 1252, 1264, 1276, 1383, 1396, 1408,
965 1421, 1433, 1552, 1564, 1588, 1107, 1445, 1096,
966 1108, 1253, 1265, 1277, 1409, 1434, 1446, 1565,
967 1577, 1601, 1422, 1578, 1590, 1602, 1603, 1732,
968 1591, 1757, 1447, 1604, 1616, 1084, 1096, 1228,
969 1240, 1241, 1252, 1253, 1264, 1265, 1277, 1383,
970 1384, 1395, 1396, 1397, 1408, 1409, 1420, 1421,
971 1422, 1433, 1434, 1552, 1564, 1565, 1577, 1085,
972 1097, 1229, 1242, 1254, 1266, 1278, 1385, 1398,
973 1410, 1423, 1435, 1578, 1590, 1109, 1446, 1447,
974 1602, 1098, 1110, 1255, 1267, 1279, 1411, 1436,
975 1448, 1567, 1591, 1603, 1424, 1580, 1604, 1616,
976 1605, 1617, 1593, 1732, 1757, 1449, 1086, 1098,
977 1242, 1254, 1255, 1266, 1267, 1279, 1385, 1397,
978 1398, 1410, 1411, 1422, 1423, 1424, 1435, 1436,
979 1567, 1578, 1591, 1099, 1230, 1243, 1268, 1280,
980 1386, 1399, 1437, 1555, 1580, 1087, 1256, 1281,
981 1412, 1425, 1593, 1111, 1448, 1449, 1604, 1112,
982 1450, 1605, 1100, 1269, 1438, 1581, 1617, 1462,
983 1630, 1762, 1451, 1463, 1775, 1616, 1786, 1787,
984 1632, 1107, 1251, 1263, 1264, 1276, 1406, 1407,
985 1419, 1420, 1432, 1445, 1575, 1588, 1108, 1252,
986 1265, 1277, 1408, 1421, 1433, 1446, 1564, 1577,
987 1601, 1109, 1253, 1266, 1278, 1289, 1409, 1422,
988 1434, 1447, 1565, 1578, 1590, 1602, 1120, 1121,
989 1279, 1290, 1435, 1459, 1591, 1603, 1122, 1291,
990 1448, 1460, 1604, 1616, 1617, 1757, 1732, 1461,
991 1605, 1630, 1786, 1110, 1254, 1266, 1267, 1278,
992 1279, 1290, 1409, 1410, 1421, 1422, 1423, 1434,
993 1435, 1446, 1447, 1448, 1578, 1590, 1591, 1602,
994 1603, 1111, 1255, 1268, 1280, 1291, 1411, 1424,
995 1436, 1449, 1567, 1580, 1604, 1616, 1122, 1459,
996 1460, 1123, 1281, 1292, 1437, 1461, 1593, 1605,
997 1617, 1124, 1293, 1304, 1450, 1462, 1630, 1762,
998 1786, 1775, 1787, 1632, 1112, 1268, 1280, 1281,
999 1292, 1411, 1423, 1424, 1436, 1437, 1448, 1449,
1000 1450, 1580, 1593, 1604, 1605, 1617, 1256, 1269,
1001 1293, 1412, 1425, 1581, 1113, 1282, 1294, 1438,
1002 1451, 1124, 1461, 1462, 1125, 1463, 1630, 1306,
1003 1126, 1295, 1464, 1632, 1476, 1762, 1413, 1775,
1004 1787, 1786, 950, 1106, 1119, 1262, 1275, 1288,
1005 1418, 1431, 951, 1107, 1120, 1263, 1264, 1276,
1006 1277, 1289, 1419, 1420, 1432, 1433, 1445, 1575,
1007 1588, 1601, 1446, 1602, 964, 1121, 1290, 1459,
1008 795, 1134, 1291, 1447, 1603, 1616, 796, 1460,
1009 1757, 952, 1135, 1304, 1461, 1278, 1434, 1590,
1010 1292, 1617, 1630, 1562, 1604, 1136, 1786, 1732,
1011 1448, 1591, 1605, 1787, 1293, 1462, 1137, 1306,
1012 968, 1138, 1294, 1463, 1476, 1632, 1449, 1775,
1013 1762, 1137, 1294, 1306, 1450, 1462, 1463, 1630,
1014 1138, 1295, 1451, 1476, 1632, 1464, 1139, 1127,
1015 645, 1815, 1775, 1787, 1203, 1371, 1381, 1382,
1016 1383, 1549, 1550, 1551, 1552, 1214, 1215, 1384,
1017 1395, 1396, 1564, 1565, 1035, 1216, 1228, 1385,
1018 1397, 1409, 1577, 1394, 1562, 1229, 1398, 1410,
1019 1567, 1578, 1217, 1386, 1411, 1422, 1423, 1555,
1020 1580, 1590, 1591, 1732, 1399, 1593, 1575, 1602,
1021 1603, 1757, 1604, 1605, 1616, 1581, 1762, 1424,
1022 1617, 1786, 1775, 1787, 1408, 1588, 1601, 1434,
1023 1435, 1436, 1448, 1412, 1425, 1437, 1449, 1815,
1024 1993, 1994, 1216, 1217, 1228, 1229, 1383, 1384,
1025 1385, 1386, 1396, 1397, 1398, 1409, 1410, 1552,
1026 1564, 1565, 1567, 1578, 1048, 1230, 1242, 1399,
1027 1411, 1555, 1580, 1412, 1037, 1049, 1231, 1375,
1028 1413, 1581, 1423, 1591, 1244, 1425, 1438, 1593,
1029 1257, 1388, 1270, 1451, 1422, 1577, 1762, 1775,
1030 1605, 1787, 1283, 1464, 1632, 1732, 1786, 1604,
1031 1453, 1815, 1993, 1994, 1393, 1549, 1550, 1562,
1032 1394, 1406, 1551, 1575, 1395, 1407, 1552, 1564,
1033 1588, 1732, 1419, 1565, 1577, 1601, 1757, 1786,
1034 1762, 1787, 1775, 1432, 1551, 1564, 1575, 1577,
1035 1588, 1601, 1732, 1757, 1565, 1578, 1590, 1591,
1036 1602, 1603, 1447, 1604, 1616, 1617, 1605, 1786,
1037 1580, 1593, 1762, 1787, 1775, 1993, 1435, 1567,
1038 1436, 1448, 1449, 1460, 1994, 1119, 1275, 1288,
1039 1406, 1418, 1419, 1431, 1445, 1549, 1562, 1459,
1040 1630, 1304, 1461, 1134, 1135, 1437, 1555, 1581,
1041 1632, 1815, 1476, 1290, 1289, 1446, 1306, 1462,
1045 static long _vq_fitmap_lsp12_0[] = {
1046 0, 0, 0, 71, 142, 206, 206, 241,
1047 0, 0, 329, 142, 206, 206, 241, 0,
1048 359, 410, 142, 206, 206, 241, 463, 529,
1049 608, 667, 206, 206, 241, 739, 825, 897,
1050 667, 963, 963, 1021, 1151, 897, 1227, 1295,
1051 963, 963, 1328, 1328, 1328, 1295, 963, 963,
1052 963, 241, 1393, 0, 71, 142, 206, 206,
1053 1393, 0, 1453, 1533, 1618, 206, 206, 1687,
1054 1755, 1838, 1938, 667, 206, 206, 2025, 2089,
1055 2191, 2291, 667, 963, 206, 2376, 2466, 2557,
1056 1227, 1295, 963, 963, 2620, 1328, 1328, 1295,
1057 963, 963, 963, 1328, 963, 963, 963, 963,
1058 963, 963, 1687, 1393, 1393, 71, 2692, 206,
1059 206, 1687, 2745, 2824, 2926, 1618, 206, 206,
1060 1687, 3026, 3133, 3253, 3356, 206, 206, 3427,
1061 3503, 3613, 3732, 3356, 963, 963, 3830, 3898,
1062 3966, 1227, 1295, 963, 963, 4031, 1328, 1328,
1063 1295, 963, 963, 963, 1328, 963, 963, 963,
1064 963, 963, 963, 1687, 1687, 4102, 4156, 4231,
1065 206, 206, 1687, 4296, 4388, 4497, 4600, 206,
1066 206, 4669, 4738, 4848, 4965, 3356, 5063, 206,
1067 5071, 5148, 5255, 5369, 963, 206, 206, 3830,
1068 5462, 5524, 5591, 1295, 206, 206, 4031, 5524,
1069 1328, 963, 963, 963, 963, 963, 963, 963,
1070 963, 963, 963, 963, 5631, 5692, 5692, 5764,
1071 5831, 206, 206, 5907, 5975, 6039, 6109, 4600,
1072 206, 206, 4669, 6179, 6245, 6310, 963, 5063,
1073 206, 5907, 6369, 6427, 6484, 963, 206, 206,
1074 6530, 6530, 5524, 6601, 963, 963, 963, 4031,
1075 4031, 963, 963, 963, 963, 963, 963, 963,
1076 963, 963, 963, 963, 963, 5631, 5631, 5631,
1077 6620, 6690, 963, 963, 5907, 6748, 6620, 6620,
1078 963, 963, 963, 5907, 6771, 6771, 6771, 963,
1079 963, 963, 5907, 6771, 6771, 5524, 963, 963,
1080 963, 6771, 6771, 5524, 963, 963, 963, 963,
1081 6771, 4031, 963, 963, 963, 963, 963, 963,
1082 963, 963, 963, 963, 963, 963, 5631, 5907,
1083 6620, 6620, 5524, 963, 963, 5907, 6620, 5524,
1084 5524, 963, 963, 963, 6620, 5524, 5524, 963,
1085 963, 963, 963, 6620, 5524, 963, 963, 963,
1086 963, 963, 6620, 963, 963, 963, 963, 963,
1087 963, 963, 963, 963, 963, 963, 963, 963,
1088 963, 963, 963, 963, 963, 963, 963,
1091 static long _vq_fitlength_lsp12_0[] = {
1092 71, 71, 71, 71, 64, 35, 35, 88,
1093 71, 71, 30, 64, 35, 35, 88, 71,
1094 51, 53, 64, 35, 35, 88, 66, 79,
1095 59, 72, 35, 35, 88, 86, 72, 66,
1096 72, 58, 58, 130, 76, 66, 68, 33,
1097 58, 58, 65, 65, 65, 33, 58, 58,
1098 58, 88, 60, 71, 71, 64, 35, 35,
1099 60, 71, 80, 85, 69, 35, 35, 68,
1100 83, 100, 87, 72, 35, 35, 64, 102,
1101 100, 85, 72, 58, 35, 90, 91, 63,
1102 68, 33, 58, 58, 72, 65, 65, 33,
1103 58, 58, 58, 65, 58, 58, 58, 58,
1104 58, 58, 68, 60, 60, 71, 53, 35,
1105 35, 68, 79, 102, 100, 69, 35, 35,
1106 68, 107, 120, 103, 71, 35, 35, 76,
1107 110, 119, 98, 71, 58, 58, 68, 68,
1108 65, 68, 33, 58, 58, 71, 65, 65,
1109 33, 58, 58, 58, 65, 58, 58, 58,
1110 58, 58, 58, 68, 68, 54, 75, 65,
1111 35, 35, 68, 92, 109, 103, 69, 35,
1112 35, 69, 110, 117, 98, 71, 8, 35,
1113 77, 107, 114, 93, 58, 35, 35, 68,
1114 62, 67, 40, 33, 35, 35, 71, 67,
1115 65, 58, 58, 58, 58, 58, 58, 58,
1116 58, 58, 58, 58, 61, 72, 72, 67,
1117 76, 35, 35, 68, 64, 70, 70, 69,
1118 35, 35, 69, 66, 65, 59, 58, 8,
1119 35, 68, 58, 57, 46, 58, 35, 35,
1120 71, 71, 67, 19, 58, 58, 58, 71,
1121 71, 58, 58, 58, 58, 58, 58, 58,
1122 58, 58, 58, 58, 58, 61, 61, 61,
1123 70, 58, 58, 58, 68, 23, 70, 70,
1124 58, 58, 58, 68, 62, 62, 62, 58,
1125 58, 58, 68, 62, 62, 67, 58, 58,
1126 58, 62, 62, 67, 58, 58, 58, 58,
1127 62, 71, 58, 58, 58, 58, 58, 58,
1128 58, 58, 58, 58, 58, 58, 61, 68,
1129 70, 70, 67, 58, 58, 68, 70, 67,
1130 67, 58, 58, 58, 70, 67, 67, 58,
1131 58, 58, 58, 70, 67, 58, 58, 58,
1132 58, 58, 70, 58, 58, 58, 58, 58,
1133 58, 58, 58, 58, 58, 58, 58, 58,
1134 58, 58, 58, 58, 58, 58, 58,
1137 static encode_aux_pigeonhole _vq_auxp_lsp12_0 = {
1139 _vq_pigeonmap_lsp12_0,
1141 _vq_fitlist_lsp12_0,
1143 _vq_fitlength_lsp12_0
1146 static static_codebook _vq_book_lsp12_0 = {
1148 _vq_lengthlist_lsp12_0,
1149 1, 1605579571, 1597274849, 6, 1,
1150 _vq_quantlist_lsp12_0,