* modules/gui/skins/*: fix for msvc .dsp generation, replaced the BASIC_SKINS macro...
[vlc.git] / modules / gui / skins / parser / flex.c
1 /* A lexical scanner generated by flex */
2
3 /* Scanner skeleton version:
4  * $Header: /root/vlc-cvs/modules/gui/skins/parser/flex.c,v 1.8 2003/06/11 10:42:33 gbazin Exp $
5  */
6
7 #define FLEX_SCANNER
8 #define YY_FLEX_MAJOR_VERSION 2
9 #define YY_FLEX_MINOR_VERSION 5
10
11 #include <stdio.h>
12 #include <errno.h>
13
14 /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
15 #ifdef c_plusplus
16 #ifndef __cplusplus
17 #define __cplusplus
18 #endif
19 #endif
20
21
22 #ifdef __cplusplus
23
24 #include <stdlib.h>
25 #ifndef _WIN32
26 #include <unistd.h>
27 #else
28 #ifndef YY_ALWAYS_INTERACTIVE
29 #ifndef YY_NEVER_INTERACTIVE
30 extern int isatty YY_PROTO(( int ));
31 #endif
32 #endif
33 #endif
34
35 /* Use prototypes in function declarations. */
36 #define YY_USE_PROTOS
37
38 /* The "const" storage-class-modifier is valid. */
39 #define YY_USE_CONST
40
41 #else   /* ! __cplusplus */
42
43 #if __STDC__
44
45 #define YY_USE_PROTOS
46 #define YY_USE_CONST
47
48 #endif  /* __STDC__ */
49 #endif  /* ! __cplusplus */
50
51 #ifdef __TURBOC__
52  #pragma warn -rch
53  #pragma warn -use
54 #include <io.h>
55 #include <stdlib.h>
56 #define YY_USE_CONST
57 #define YY_USE_PROTOS
58 #endif
59
60 #ifdef YY_USE_CONST
61 #define yyconst const
62 #else
63 #define yyconst
64 #endif
65
66
67 #ifdef YY_USE_PROTOS
68 #define YY_PROTO(proto) proto
69 #else
70 #define YY_PROTO(proto) ()
71 #endif
72
73 /* Returned upon end-of-file. */
74 #define YY_NULL 0
75
76 /* Promotes a possibly negative, possibly signed char to an unsigned
77  * integer for use as an array index.  If the signed char is negative,
78  * we want to instead treat it as an 8-bit unsigned char, hence the
79  * double cast.
80  */
81 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
82
83 /* Enter a start condition.  This macro really ought to take a parameter,
84  * but we do it the disgusting crufty way forced on us by the ()-less
85  * definition of BEGIN.
86  */
87 #define BEGIN yy_start = 1 + 2 *
88
89 /* Translate the current start state into a value that can be later handed
90  * to BEGIN to return to the state.  The YYSTATE alias is for lex
91  * compatibility.
92  */
93 #define YY_START ((yy_start - 1) / 2)
94 #define YYSTATE YY_START
95
96 /* Action number for EOF rule of a given start state. */
97 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
98
99 /* Special action meaning "start processing a new file". */
100 #define YY_NEW_FILE yyrestart( yyin )
101
102 #define YY_END_OF_BUFFER_CHAR 0
103
104 /* Size of default input buffer. */
105 #define YY_BUF_SIZE 16384
106
107 typedef struct yy_buffer_state *YY_BUFFER_STATE;
108
109 extern int yyleng;
110 extern FILE *yyin, *yyout;
111
112 #define EOB_ACT_CONTINUE_SCAN 0
113 #define EOB_ACT_END_OF_FILE 1
114 #define EOB_ACT_LAST_MATCH 2
115
116 /* The funky do-while in the following #define is used to turn the definition
117  * int a single C statement (which needs a semi-colon terminator).  This
118  * avoids problems with code like:
119  *
120  *      if ( condition_holds )
121  *              yyless( 5 );
122  *      else
123  *              do_something_else();
124  *
125  * Prior to using the do-while the compiler would get upset at the
126  * "else" because it interpreted the "if" statement as being all
127  * done when it reached the ';' after the yyless() call.
128  */
129
130 /* Return all but the first 'n' matched characters back to the input stream. */
131
132 #define yyless(n) \
133         do \
134                 { \
135                 /* Undo effects of setting up yytext. */ \
136                 *yy_cp = yy_hold_char; \
137                 YY_RESTORE_YY_MORE_OFFSET \
138                 yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
139                 YY_DO_BEFORE_ACTION; /* set up yytext again */ \
140                 } \
141         while ( 0 )
142
143 #define unput(c) yyunput( c, yytext_ptr )
144
145 /* The following is because we cannot portably get our hands on size_t
146  * (without autoconf's help, which isn't available because we want
147  * flex-generated scanners to compile on their own).
148  */
149 typedef unsigned int yy_size_t;
150
151
152 struct yy_buffer_state
153         {
154         FILE *yy_input_file;
155
156         char *yy_ch_buf;                /* input buffer */
157         char *yy_buf_pos;               /* current position in input buffer */
158
159         /* Size of input buffer in bytes, not including room for EOB
160          * characters.
161          */
162         yy_size_t yy_buf_size;
163
164         /* Number of characters read into yy_ch_buf, not including EOB
165          * characters.
166          */
167         int yy_n_chars;
168
169         /* Whether we "own" the buffer - i.e., we know we created it,
170          * and can realloc() it to grow it, and should free() it to
171          * delete it.
172          */
173         int yy_is_our_buffer;
174
175         /* Whether this is an "interactive" input source; if so, and
176          * if we're using stdio for input, then we want to use getc()
177          * instead of fread(), to make sure we stop fetching input after
178          * each newline.
179          */
180         int yy_is_interactive;
181
182         /* Whether we're considered to be at the beginning of a line.
183          * If so, '^' rules will be active on the next match, otherwise
184          * not.
185          */
186         int yy_at_bol;
187
188         /* Whether to try to fill the input buffer when we reach the
189          * end of it.
190          */
191         int yy_fill_buffer;
192
193         int yy_buffer_status;
194 #define YY_BUFFER_NEW 0
195 #define YY_BUFFER_NORMAL 1
196         /* When an EOF's been seen but there's still some text to process
197          * then we mark the buffer as YY_EOF_PENDING, to indicate that we
198          * shouldn't try reading from the input source any more.  We might
199          * still have a bunch of tokens to match, though, because of
200          * possible backing-up.
201          *
202          * When we actually see the EOF, we change the status to "new"
203          * (via yyrestart()), so that the user can continue scanning by
204          * just pointing yyin at a new input file.
205          */
206 #define YY_BUFFER_EOF_PENDING 2
207         };
208
209 static YY_BUFFER_STATE yy_current_buffer = 0;
210
211 /* We provide macros for accessing buffer states in case in the
212  * future we want to put the buffer states in a more general
213  * "scanner state".
214  */
215 #define YY_CURRENT_BUFFER yy_current_buffer
216
217
218 /* yy_hold_char holds the character lost when yytext is formed. */
219 static char yy_hold_char;
220
221 static int yy_n_chars;          /* number of characters read into yy_ch_buf */
222
223
224 int yyleng;
225
226 /* Points to current character in buffer. */
227 static char *yy_c_buf_p = (char *) 0;
228 static int yy_init = 1;         /* whether we need to initialize */
229 static int yy_start = 0;        /* start state number */
230
231 /* Flag which is used to allow yywrap()'s to do buffer switches
232  * instead of setting up a fresh yyin.  A bit of a hack ...
233  */
234 static int yy_did_buffer_switch_on_eof;
235
236 void yyrestart YY_PROTO(( FILE *input_file ));
237
238 void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
239 void yy_load_buffer_state YY_PROTO(( void ));
240 YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
241 void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
242 void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
243 void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b ));
244 #define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer )
245
246 YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size ));
247 YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *yy_str ));
248 YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len ));
249
250 static void *yy_flex_alloc YY_PROTO(( yy_size_t ));
251 static void *yy_flex_realloc YY_PROTO(( void *, yy_size_t ));
252 static void yy_flex_free YY_PROTO(( void * ));
253
254 #define yy_new_buffer yy_create_buffer
255
256 #define yy_set_interactive(is_interactive) \
257         { \
258         if ( ! yy_current_buffer ) \
259                 yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
260         yy_current_buffer->yy_is_interactive = is_interactive; \
261         }
262
263 #define yy_set_bol(at_bol) \
264         { \
265         if ( ! yy_current_buffer ) \
266                 yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
267         yy_current_buffer->yy_at_bol = at_bol; \
268         }
269
270 #define YY_AT_BOL() (yy_current_buffer->yy_at_bol)
271
272
273 #define yywrap() 1
274 #define YY_SKIP_YYWRAP
275 typedef unsigned char YY_CHAR;
276 FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
277 typedef int yy_state_type;
278 extern char *yytext;
279 #define yytext_ptr yytext
280
281 static yy_state_type yy_get_previous_state YY_PROTO(( void ));
282 static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
283 static int yy_get_next_buffer YY_PROTO(( void ));
284 static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));
285
286 /* Done after the current pattern has been matched and before the
287  * corresponding action - sets up yytext.
288  */
289 #define YY_DO_BEFORE_ACTION \
290         yytext_ptr = yy_bp; \
291         yyleng = (int) (yy_cp - yy_bp); \
292         yy_hold_char = *yy_cp; \
293         *yy_cp = '\0'; \
294         yy_c_buf_p = yy_cp;
295
296 #define YY_NUM_RULES 402
297 #define YY_END_OF_BUFFER 403
298 static yyconst short int yy_accept[2490] =
299     {   0,
300         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
301         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
302         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
303         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
304         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
305         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
306         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
307         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
308         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
309         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
310
311         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
312         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
313         0,    0,    0,    0,    0,    0,    0,    0,  403,  401,
314        29,   10,   10,   29,   29,  380,   10,  380,    5,    6,
315         5,    8,    9,    8,  396,  388,  389,  397,  394,  397,
316       395,  400,  388,  389,  400,  402,  402,   35,   10,   35,
317        35,   35,   33,   35,  402,   39,   10,   39,  402,   39,
318       402,   49,   10,   49,   49,   49,   47,   49,   49,   49,
319        53,   10,   53,  402,   63,   10,   63,   63,   63,   61,
320        63,   63,   63,   67,   10,   67,  402,   85,   10,   85,
321
322        85,   85,   83,   85,   85,   85,   85,   85,   85,   89,
323        10,   89,  101,   10,  101,  101,  101,   99,  101,  101,
324       101,  101,  105,   10,  105,  402,  125,   10,  125,  125,
325       125,  123,  125,  125,  125,  125,  125,  125,  125,  125,
326       402,  129,   10,  129,  137,   10,  137,  137,  137,  135,
327       137,  137,  402,  141,   10,  141,  141,  402,  153,   10,
328       153,  153,  153,  151,  153,  153,  153,  153,  157,   10,
329       157,  402,  175,   10,  175,  175,  175,  173,  175,  175,
330       175,  175,  175,  175,  179,   10,  179,  402,  201,   10,
331       201,  201,  201,  199,  201,  201,  201,  201,  201,  201,
332
333       201,  201,  205,   10,  205,  402,  233,   10,  233,  233,
334       233,  231,  233,  233,  233,  233,  233,  233,  233,  233,
335       233,  237,   10,  237,  402,  279,   10,  279,  279,  279,
336       277,  279,  279,  279,  279,  279,  279,  279,  279,  279,
337       283,   10,  283,  402,  309,   10,  309,  309,  309,  307,
338       309,  309,  309,  309,  309,  309,  309,  309,  309,  309,
339       313,   10,  313,  402,  341,   10,  341,  341,  341,  339,
340       341,  341,  341,  341,  341,  341,  341,  341,  341,  341,
341       341,  345,   10,  345,  402,  375,   10,  375,  375,  375,
342       373,  375,  375,  375,  375,  375,  375,  375,  375,  375,
343
344       375,  375,  375,  379,   10,  379,  396,  388,  389,  397,
345       397,  396,   10,    0,    2,    2,    0,    4,    7,  391,
346       390,    0,    0,    0,    0,    0,  399,    0,   34,   36,
347        36,    0,    0,    0,    0,    0,    0,   48,   50,   50,
348        50,   50,    0,   62,   64,   64,   64,   64,    0,   84,
349        86,   86,   86,   86,   86,   86,   86,   86,    0,  100,
350       102,  102,  102,  102,  102,    0,  124,  126,  126,  126,
351       126,  126,  126,  126,    0,    0,    0,    0,    0,    0,
352       136,  138,    0,    0,    0,    0,    0,    0,    0,    0,
353         0,    0,    0,    0,    0,  152,  154,  154,  154,    0,
354
355         0,    0,    0,    0,  174,  176,  176,  176,  176,  176,
356       176,    0,    0,    0,    0,    0,  200,  202,  202,    0,
357         0,  202,  202,  202,  202,    0,    0,    0,    0,    0,
358         0,    0,  232,  234,  234,  234,  234,  234,  234,  234,
359       234,  234,    0,    0,    0,    0,    0,    0,  278,  280,
360       280,  280,  280,  280,  280,  280,  280,  280,    0,    0,
361         0,    0,    0,  308,  310,  310,  310,  310,  310,  310,
362       310,  310,  310,  310,    0,    0,    0,    0,    0,  340,
363       342,  342,  342,  342,  342,  342,  342,  342,  342,  342,
364         0,    0,    0,    0,    0,  374,  376,  376,  376,  376,
365
366       376,  376,  376,  376,  376,  376,  376,  376,    0,    0,
367         0,    0,    0,    0,    0,    0,    0,    0,    0,    3,
368         0,    0,    0,    0,    0,    0,    0,  398,    0,   36,
369         0,    0,    0,    0,    0,    0,    0,   50,   50,    0,
370         0,    0,    0,   64,    0,    0,   64,    0,    0,   86,
371        86,    0,    0,   86,   86,   86,   86,    0,    0,  102,
372       102,  102,  102,    0,    0,  126,  126,  126,    0,    0,
373       126,  126,    0,  112,  111,    0,  114,  113,    0,    0,
374         0,    0,  132,  131,    0,  134,  133,    0,    0,    0,
375         0,    0,    0,    0,    0,    0,    0,  154,  154,    0,
376
377       144,  143,    0,  146,  145,    0,    0,  176,    0,    0,
378       176,  176,  176,    0,  164,  163,    0,  166,  165,    0,
379         0,  202,    0,  192,  191,  202,    0,    0,  202,  202,
380         0,  190,  189,    0,  186,  185,    0,  188,  187,    0,
381         0,  234,  234,  234,    0,    0,  234,  234,  234,    0,
382         0,  234,    0,  212,  211,    0,  214,  213,    0,    0,
383       280,  280,  280,    0,    0,  280,  280,  280,  280,  280,
384         0,  244,  243,    0,  246,  245,    0,    0,  310,  310,
385       310,    0,    0,  310,  310,  310,    0,    0,  310,    0,
386       290,  289,    0,  292,  291,    0,    0,  342,  342,  342,
387
388       342,    0,    0,  342,  342,  342,  342,    0,  320,  319,
389         0,  322,  321,    0,    0,  376,  376,  376,    0,    0,
390       376,  376,  376,  376,  376,  376,  376,    0,  352,  351,
391         0,  354,  353,    0,    0,    0,  393,    0,   28,    1,
392         0,    0,  386,    0,    0,    0,  383,  382,    0,    0,
393        36,    0,    0,    0,   38,    0,    0,    0,    0,    0,
394        50,   50,    0,   42,   41,    0,    0,   52,    0,   64,
395         0,   56,   55,    0,    0,    0,    0,   66,    0,   86,
396        86,    0,   70,   69,   86,   86,   86,   86,    0,    0,
397        88,    0,  102,  102,  102,  102,    0,    0,  104,    0,
398
399       126,  126,  126,    0,  108,  107,  126,  126,    0,    0,
400         0,  128,    0,    0,    0,    0,    0,    0,    0,    0,
401         0,    0,    0,  140,    0,  154,  154,    0,    0,  156,
402         0,  176,    0,  160,  159,  176,  176,  176,    0,    0,
403       178,    0,  202,  202,    0,  182,  181,  202,  202,    0,
404         0,  204,    0,  234,  234,  234,    0,  208,  207,  234,
405       234,  234,    0,  216,  215,  234,    0,    0,  236,    0,
406       280,  280,  280,    0,  240,  239,  280,  280,  280,  280,
407       280,  280,    0,    0,  282,    0,    0,    0,  310,  310,
408         0,  286,  285,    0,    0,  310,  310,    0,  296,  295,
409
410       310,    0,    0,  312,    0,  342,  342,  342,  342,    0,
411       316,  315,  342,  342,  342,  342,    0,    0,  344,    0,
412         0,    0,  376,  376,    0,  348,  347,  376,  376,    0,
413         0,  376,  376,  376,  376,    0,    0,  378,    0,    0,
414         0,    0,  387,  381,    0,    0,    0,   36,    0,    0,
415         0,    0,   68,    0,   50,    0,    0,    0,   64,    0,
416        60,   59,    0,   86,    0,    0,   86,    0,    0,   86,
417        86,    0,  102,  102,    0,    0,  102,    0,  126,  126,
418       126,  126,  126,    0,    0,    0,    0,    0,    0,    0,
419         0,    0,    0,    0,  154,  154,    0,    0,    0,  176,
420
421       176,  176,    0,  202,    0,    0,  202,  202,    0,  234,
422         0,    0,    0,    0,  234,  234,  234,  234,    0,  280,
423       280,    0,    0,    0,    0,    0,    0,  280,  280,  280,
424       280,    0,    0,  300,  299,    0,    0,    0,    0,    0,
425       302,  301,  310,    0,    0,  310,    0,  342,  342,    0,
426         0,    0,    0,  342,    0,    0,  342,  342,    0,    0,
427       366,  365,    0,    0,    0,    0,  376,  376,    0,  368,
428       367,  376,  376,  376,  376,    0,    0,    0,    0,    0,
429        12,    0,  384,  385,   30,   36,    0,    0,    0,   54,
430        68,    0,   50,    0,   44,   43,    0,    0,    0,    0,
431
432         0,    0,    0,   72,   71,   86,    0,   74,   73,   86,
433        86,    0,  102,    0,    0,    0,   92,   91,  102,    0,
434         0,    0,  126,  126,  126,  126,    0,    0,    0,    0,
435         0,    0,    0,    0,    0,    0,    0,  154,    0,    0,
436         0,    0,  172,  171,    0,    0,  176,  176,    0,    0,
437         0,    0,  198,  197,  202,  202,    0,  234,    0,  218,
438       217,    0,  230,  229,  234,  234,  234,  234,    0,  280,
439       280,    0,  276,  275,    0,  248,  247,    0,  252,  251,
440       280,  280,  280,  280,    0,    0,  298,  297,    0,  306,
441       305,  310,    0,  294,  293,  310,    0,    0,    0,  342,
442
443         0,  326,  325,    0,  338,  337,  342,    0,  324,  323,
444       342,    0,    0,    0,    0,  360,  359,    0,  370,  369,
445       376,  376,  376,  376,  376,    0,    0,    0,    0,    0,
446         0,   11,   30,    0,    0,    0,    0,   40,   54,  106,
447        50,    0,    0,   58,   57,    0,    0,   76,   75,    0,
448         0,   86,    0,    0,    0,   87,    0,    0,    0,   96,
449        95,  102,    0,    0,  118,  117,  126,  126,  126,  126,
450         0,    0,  142,    0,    0,    0,    0,    0,    0,    0,
451         0,  154,    0,  150,  149,    0,    0,  168,  167,  176,
452       176,    0,    0,  194,  193,  202,  202,    0,  234,  234,
453
454       234,  234,  234,    0,  280,  280,  280,  280,  280,  280,
455         0,  310,  310,    0,    0,  328,  327,  342,    0,    0,
456       342,  342,    0,  330,  329,    0,  376,  376,  376,  376,
457       376,    0,  356,  355,    0,    0,    0,    0,    0,   32,
458        31,    0,    0,   37,   40,  106,   50,    0,    0,   65,
459         0,   80,   79,   86,    0,   78,   77,    0,   94,   93,
460         0,    0,    0,  126,  126,  126,    0,    0,    0,    0,
461       142,    0,    0,    0,    0,    0,    0,    0,    0,  154,
462         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
463         0,  234,    0,    0,  234,  234,    0,    0,    0,  280,
464
465       280,  280,  280,  280,  280,    0,    0,    0,  310,    0,
466         0,    0,    0,    0,    0,  334,  333,  342,    0,    0,
467         0,  376,  376,  376,  376,    0,    0,    0,    0,    0,
468         0,    0,   50,    0,   51,   86,    0,   98,   97,    0,
469         0,    0,    0,    0,  126,    0,  110,  109,    0,    0,
470       127,    0,    0,    0,    0,    0,    0,    0,    0,    0,
471         0,    0,  155,    0,  170,  169,    0,  162,  161,    0,
472         0,  196,  195,    0,  184,  183,    0,    0,    0,    0,
473       222,  221,  234,  234,  234,    0,  210,  209,    0,  280,
474       280,  280,  280,    0,    0,    0,    0,  280,  280,  280,
475
476         0,  242,  241,    0,  310,    0,  288,  287,    0,    0,
477       332,  331,  342,    0,  318,  317,    0,  376,  376,    0,
478         0,    0,    0,    0,  350,  349,    0,  392,    0,    0,
479        90,   50,    0,    0,    0,    0,  122,  121,    0,  116,
480       115,    0,    0,    0,    0,    0,    0,    0,    0,    0,
481         0,    0,    0,  148,  147,    0,    0,    0,  220,  219,
482       234,  234,  234,    0,    0,    0,    0,    0,    0,    0,
483         0,    0,    0,  260,  259,    0,  262,  261,  280,  280,
484       280,    0,  310,    0,  342,    0,    0,    0,  376,    0,
485       362,  361,    0,  364,  363,    0,    0,    0,    0,    0,
486
487         0,    0,    0,    0,    0,    0,    0,    0,   90,    0,
488         0,    0,   82,   81,    0,    0,  120,  119,    0,    0,
489         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
490         0,  234,  234,    0,    0,  250,  249,    0,  254,  253,
491         0,  256,  255,    0,  258,  257,  280,  280,  280,  280,
492         0,  310,    0,  342,    0,    0,  358,  357,  376,    0,
493         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
494         0,    0,    0,    0,    0,    0,   46,   45,    0,  103,
495         0,    0,    0,    0,    0,    0,    0,  314,    0,    0,
496         0,    0,  226,  225,    0,    0,    0,    0,    0,    0,
497
498         0,    0,    0,  280,  280,  280,  280,    0,    0,    0,
499         0,    0,    0,    0,  376,    0,    0,    0,    0,    0,
500         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
501         0,  130,    0,    0,  158,    0,    0,    0,  314,    0,
502         0,    0,    0,  224,  223,    0,  228,  227,    0,    0,
503       266,  265,    0,  270,  269,    0,    0,    0,    0,    0,
504         0,    0,    0,    0,    0,  304,  303,    0,    0,  336,
505       335,    0,    0,    0,    0,    0,    0,    0,    0,    0,
506         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
507         0,  130,  206,    0,  158,    0,    0,  284,    0,    0,
508
509         0,    0,    0,  264,  263,    0,  268,  267,    0,  272,
510       271,    0,  274,  273,    0,    0,    0,  343,    0,  372,
511       371,    0,    0,    0,    0,    0,    0,    0,    0,    0,
512         0,    0,    0,    0,    0,    0,    0,    0,    0,  206,
513         0,    0,    0,  284,    0,  139,    0,  177,    0,    0,
514         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
515         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
516       238,  346,    0,    0,    0,  235,    0,    0,  311,    0,
517         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
518         0,    0,    0,    0,    0,    0,  238,  346,  180,    0,
519
520         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
521         0,    0,    0,    0,    0,    0,    0,  180,    0,    0,
522       281,    0,  377,    0,    0,    0,    0,    0,    0,    0,
523         0,    0,    0,    0,    0,    0,    0,    0,    0,  203,
524         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
525         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
526         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
527         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
528         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
529         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
530
531         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
532         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
533         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
534         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
535         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
536         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
537         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
538         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
539         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
540         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
541
542         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
543         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
544         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
545         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
546         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
547         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
548         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
549         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
550         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
551         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
552
553         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
554         0,   16,    0,    0,    0,    0,    0,    0,    0,    0,
555         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
556         0,    0,    0,    0,   14,    0,    0,    0,    0,    0,
557         0,    0,    0,    0,    0,   17,    0,    0,    0,    0,
558        18,    0,   22,    0,    0,    0,    0,    0,    0,    0,
559         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
560         0,    0,   21,    0,    0,    0,    0,    0,    0,    0,
561         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
562         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
563
564         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
565         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
566         0,    0,    0,    0,    0,   19,    0,    0,    0,    0,
567         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
568         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
569         0,    0,    0,    0,   27,    0,    0,    0,    0,   20,
570         0,   23,    0,    0,    0,    0,    0,    0,   13,    0,
571         0,    0,    0,    0,    0,    0,   25,    0,    0,    0,
572         0,    0,   24,    0,   26,    0,    0,   15,    0
573     } ;
574
575 static yyconst int yy_ec[256] =
576     {   0,
577         1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
578         1,    2,    4,    1,    1,    1,    1,    1,    1,    1,
579         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
580         1,    2,    5,    6,    7,    1,    1,    8,    9,    1,
581         1,    1,    1,    1,   10,   11,   12,   13,   14,   15,
582        13,   13,   13,   13,   13,   13,   13,   16,   17,   18,
583        19,   20,   21,    1,   22,   23,   24,   25,   26,   27,
584        28,   16,   29,   16,   16,   30,   31,   16,   32,   33,
585        16,   34,   35,   36,   16,   16,   37,   16,   38,   16,
586        39,    1,   40,    1,   16,    1,   41,   42,   43,   44,
587
588        45,   46,   47,   48,   49,   16,   50,   51,   52,   53,
589        54,   55,   56,   57,   58,   59,   60,   61,   62,   63,
590        64,   65,    1,    1,    1,    1,    1,    1,    1,    1,
591         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
592         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
593         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
594         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
595         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
596         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
597         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
598
599         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
600         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
601         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
602         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
603         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
604         1,    1,    1,    1,    1
605     } ;
606
607 static yyconst int yy_meta[66] =
608     {   0,
609         1,    2,    2,    2,    1,    1,    1,    1,    1,    3,
610         3,    1,    4,    4,    4,    5,    6,    1,    7,    8,
611         1,    9,    9,    9,    9,    9,    9,    5,    5,    5,
612         5,    5,    5,    5,    5,    5,    5,    5,    1,    1,
613         9,    9,    9,    9,    9,    9,    5,    5,    5,    5,
614         5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
615         5,    5,    5,    5,    5
616     } ;
617
618 static yyconst short int yy_base[2652] =
619     {   0,
620         0,    0,    0,    3,    6,    9,   12,   29,   16,   19,
621        14,   17,   33,   36,   49,   55,   45,   61,   66,   72,
622       101,  153,   75,   78,  121,  124,  127,  130,  133,  173,
623       176,  179,  182,  185,  205,  254,  225,  229,  232,  235,
624       303,  353,  274,  278,  281,  284,  403,    0,  323,  326,
625       329,  332,  468,  530,  373,  376,  379,  382,  592,    0,
626       488,  492,  496,  499,  550,  554,  657,  721,  558,  561,
627       677,  680,  683,  686,  689,  741,  744,  747,  785,  849,
628       750,  753,  805,  808,  913,    0,  811,  814,  817,  869,
629       978,    0,  872,  875,  878,  881, 1043,    0, 1107, 1110,
630
631      1113, 1116, 1134,    0, 1198, 1201, 1204, 1207, 1225,    0,
632      1289, 1292, 1295, 1298, 1316,    0, 1380, 1383, 1386, 1389,
633      1407,    0, 1471, 1474, 1477, 1480, 1482, 1493, 7317, 8204,
634      8204,   84,   95,   29,   41, 8204,  238,   51, 8204, 8204,
635      7306, 8204, 8204, 7295, 8204, 7306, 7306, 1480, 8204, 8204,
636      8204, 8204, 7304, 7300, 7262, 8204, 1483, 8204,  287, 7281,
637         0,  499, 8204, 7255, 1488, 8204,  335, 1502, 1489,  506,
638       561, 8204,  385, 7275,    0,  507, 8204, 7243, 7240, 7244,
639      8204,  520,  568,  689, 8204,  583, 7267,    0,  569, 8204,
640      7221, 7237, 7235, 8204,  709,  697,  753, 8204,  773, 7255,
641
642         0,  695, 8204, 7220, 7219,  655, 7219, 7214, 7221, 8204,
643       779,  758, 8204,  834, 7241,    0,  698, 8204, 7200, 7207,
644      7213, 7208, 8204,  841,  886, 1497, 8204,  898, 7232,    0,
645       825, 8204, 7196, 7189, 7204, 7196, 7185, 7189, 1538, 1541,
646       887, 8204, 1119, 1525, 8204, 1210, 6943,    0,  826, 8204,
647      1545, 1548, 1563, 8204, 1301, 6950, 1549, 1550, 8204, 1392,
648      6941,    0,  889, 8204, 6903, 6918, 1571, 1574, 8204, 1577,
649      1583, 1584, 8204, 1598, 6938,    0, 1548, 8204, 6912,   39,
650      6903, 6906, 1604, 1607, 8204, 1612, 1607, 1612, 8204, 1618,
651      6933,    0, 1561, 8204, 6898, 1628, 6907, 6897, 6895, 1632,
652
653      1635, 1638, 8204, 1641, 1643, 1644, 8204, 1656, 6923,    0,
654      1645, 8204,   17, 6896, 6896, 6881, 6861, 6855, 6860, 1659,
655      1666, 8204, 1672, 1667, 1666, 8204, 1678, 6887,    0, 1672,
656      8204, 6855, 6847, 6832,   48, 6823, 6820, 6824, 1692, 1695,
657      8204, 1698, 1698, 1686, 8204, 1702, 6851,    0, 1687, 8204,
658      6810, 6789, 6795, 6789, 6757,  451, 6754, 6758, 1713, 1720,
659      8204, 1723, 1708, 1707, 8204, 1731, 6786,    0, 1725, 8204,
660      6753, 6746, 6736, 6742, 6741, 6738, 6731, 6719, 6718, 1734,
661      1738, 8204, 1745, 1739, 1740, 8204, 1752, 6744,    0, 1745,
662      8204, 6720, 6703, 6711,   94, 6696, 6688, 6693, 6696, 6690,
663
664      6685, 1760, 1765, 8204, 1768, 1753, 8204, 6729, 6719, 1745,
665      6716, 6678, 1773,   18, 6653, 8204, 6693, 6682, 8204, 8204,
666      8204, 1767,   91, 6640, 6625, 6623, 6662, 6629, 8204,    0,
667      6629, 6626, 6629, 6615, 6594, 6596, 6600, 8204,    0, 6592,
668      6595, 1785, 6621, 8204,    0, 6598, 1791, 6577, 6610, 8204,
669         0, 6577, 6574, 1795, 6584, 6557, 6573, 6567, 6577, 8204,
670         0, 6543, 6560, 6542, 6547, 6550, 8204,    0, 6505, 6514,
671      6508, 1803, 6480, 6468, 1809, 1814, 1822, 1829, 6471, 6486,
672      8204,    0, 1840, 1843, 1851, 1854, 6469, 6460,   41, 6467,
673      6466, 6456, 6441, 6446, 6465, 8204,    0, 6439, 6429, 1862,
674
675      1865, 1873, 1876, 6445, 8204,    0, 6415, 1884, 6424, 6420,
676      6401, 1887, 1891, 1905, 1908, 6429, 8204,    0, 6396, 1916,
677      1919, 6383, 1927, 6383, 6367, 1930, 1934, 1948, 1951, 1959,
678      1962, 6390, 8204,    0, 6364, 6350, 6356, 1970,  147, 6352,
679      1973, 6337, 1977, 1981, 1991, 1995, 6371, 6343, 8204,    0,
680      6341, 6325, 6331, 2003, 6333,  152, 6325, 6319, 2009, 2012,
681      2021, 2027, 6345, 8204,    0, 6300, 6295, 6299, 2035, 6305,
682      6291, 6289, 2039, 6279, 2042, 2046, 2060, 2063, 6294, 8204,
683         0, 6274, 6264, 6267, 6266, 2071, 6241, 6215, 6208, 6221,
684      2074, 2078, 2092, 2095, 6215, 8204,    0, 6192, 6191, 6190,
685
686      2103, 6193, 6185, 6192, 6194, 6182, 6173, 6184, 2106, 2110,
687      2124, 2127, 6177, 6168, 6185, 6180, 6178,  535, 6135, 8204,
688      2124,    0, 6130, 6126, 6162, 6160, 6118, 8204, 6126, 6116,
689      6119, 2142, 2145, 6104, 6116, 6107, 6101, 6102, 6071, 2148,
690      2151, 2166, 2169, 6059, 2172, 2175, 2192, 2195, 2199, 6050,
691      6039, 2202, 2220, 6046, 6050, 6038, 6035, 2205, 2210, 6028,
692      6022, 6025, 6005, 2229, 2232, 6011, 6010, 6004, 2235, 2238,
693      6003, 5997, 2253, 8204, 8204, 2263, 8204, 8204, 5992, 2271,
694      2274, 2279, 8204, 8204, 2293, 8204, 8204, 6000, 5979, 5992,
695      5990, 5989, 5985, 5971, 5956, 2301, 2304, 5963, 5963, 2307,
696
697      8204, 8204, 2316, 8204, 8204, 2324, 2327, 5953, 2330, 2333,
698      5956, 5950, 5950, 2348, 8204, 8204, 2357, 8204, 8204, 2365,
699      2368, 5941, 2372, 8204, 8204, 5938, 2380, 2387, 5941, 5941,
700      2398, 8204, 8204, 2406, 8204, 8204, 2415, 8204, 8204, 2423,
701      2426, 5940, 5927, 5915, 2429, 2432, 5915, 5910, 5912, 2447,
702      2450, 5909, 2458, 8204, 8204, 2466, 8204, 8204, 2474, 2477,
703      5911, 5910, 5890, 2480, 2483,  135, 5875, 5867, 5868, 5869,
704      2498, 8204, 8204, 2506, 8204, 8204, 2514, 2518, 2521, 2524,
705      2527, 2545, 2548, 2556, 2559, 2566, 2569, 2577, 2587, 2590,
706      8204, 8204, 2598, 8204, 8204, 2610, 2613, 5869, 5853, 5848,
707
708      5847, 2616, 2619, 5847, 5840, 5841, 5830, 2635, 8204, 8204,
709      2643, 8204, 8204, 2651, 2654, 2657, 2663, 2666, 2675, 2684,
710      2693, 2698, 2701, 2704, 2707, 2711, 2725, 2729, 8204, 8204,
711      2737, 8204, 8204, 2749, 2752, 5863, 8204, 5866, 8204, 8204,
712       178, 5832, 8204, 5865, 5863, 5804, 8204, 8204, 5802, 5799,
713      5805, 5787, 2755, 2759, 8204, 2762, 5786, 5783, 5776, 5789,
714      5787, 2774, 2783, 8204, 8204, 2792, 2795, 8204, 2798, 5768,
715      2802, 8204, 8204, 2817, 2820, 2828, 2831, 8204, 2835, 5768,
716      2839, 2843, 8204, 8204, 5771, 2857, 5757, 5764, 2861, 2864,
717      8204, 2867, 5754, 5747, 2870, 5751, 2875, 2888, 8204, 2894,
718
719      5747, 5735, 5715, 2897, 8204, 8204, 5732, 5729, 5707, 2907,
720      2913, 8204, 2920, 5713, 5699, 5710, 5705, 5683, 5682, 5696,
721      5675, 2926, 2932, 8204, 2939, 5663, 5674, 2945, 2951, 8204,
722      2954, 2958, 2966, 8204, 8204, 2976, 2979, 2982, 2985, 3000,
723      8204, 3005, 5660, 3008, 3013, 8204, 8204, 5663, 5669, 3027,
724      3030, 8204, 3033, 5667, 3036, 3039, 3057, 8204, 8204, 5655,
725      5643, 5638, 3065, 8204, 8204, 5652, 3075, 3078, 8204, 3081,
726      5643, 5649, 3084, 3087, 8204, 8204, 3102, 3105, 5641, 5627,
727      5627, 5626, 3108, 3111, 8204, 3114, 3123, 3135, 3143, 3146,
728      3149, 8204, 8204, 3164, 3167, 3175, 3178, 3182, 8204, 8204,
729
730      3196, 3199, 3202, 8204, 3205, 5613, 5614, 3208, 3214, 3226,
731      8204, 8204, 5612, 3237, 5618, 5610, 3240, 3243, 8204, 3246,
732      3249, 3255, 3267, 3270, 3273, 8204, 8204, 3281, 3288, 3291,
733      3295, 3309, 3312, 3316, 3319, 3322, 3337, 8204, 3342, 5616,
734      1783, 3348, 8204, 8204, 5621, 5616, 5573, 5542, 5553, 3345,
735      5549, 5524, 3357, 5519, 5507, 3368, 3371, 3382, 3386, 3389,
736      8204, 8204, 3397, 3404, 3407, 3410, 3418, 3425, 3429, 3437,
737      3443, 3449, 5485, 3455, 3461, 3464, 5485, 3473, 3479, 3482,
738      3487, 3492, 3501, 5465, 3510, 5453, 5450, 5436, 5439, 5446,
739      5416, 5408, 5424, 3513, 5386, 3519, 3525, 3538, 3544, 3556,
740
741      3559, 3562, 3565, 3580, 3584, 3587, 3602, 3605, 3612, 5356,
742      3615, 3624, 3633, 3637, 5354, 5337, 5339, 5287, 3645, 5285,
743      5249, 3651, 3655, 3664, 3670, 3678, 3682, 5247, 5225, 5208,
744      5179, 3690, 3696, 8204, 8204, 3704, 3709, 3717, 3722, 3735,
745      8204, 8204, 5178, 3743, 3746, 5151, 3754, 3757, 3761, 3764,
746      3769, 3782, 3785, 3793, 3801, 3804, 3812, 3815, 3819, 3823,
747      8204, 8204, 3833, 3839, 3847, 3851, 5141, 5138, 3865, 8204,
748      8204, 5113, 5073, 5060, 3873, 3877, 5086,  210, 5059, 3881,
749      8204, 5044, 8204, 8204, 3884, 3887, 5034, 3891, 4977, 3896,
750      3900, 4964, 4960, 3906, 8204, 8204, 3914, 3918, 3921, 3929,
751
752      3941, 3944, 3955, 8204, 8204, 3963, 3966, 8204, 8204, 3974,
753      3977, 3936, 3981, 3987, 3995, 4005, 8204, 8204, 4949, 4013,
754      4016, 4022, 4034, 4037, 4040, 4045, 4928, 4048, 4917, 4914,
755      4929, 4878, 4836, 4831, 4825, 4803, 4058, 4783, 4063, 4067,
756      4077, 4090, 8204, 8204, 4081, 4101, 4109, 4115, 4118, 4121,
757      4133, 4141, 8204, 8204, 4149, 4152, 4162, 4794, 4170, 8204,
758      8204, 4181, 8204, 8204, 4752, 4706, 4695, 4703, 4189, 4681,
759      4648, 4192, 8204, 8204, 4202, 8204, 8204, 4210, 8204, 8204,
760      4640, 4629, 4572, 4575, 4218, 4221, 8204, 8204, 4230, 8204,
761      8204, 4553, 4238, 8204, 8204, 4516, 4246, 4250, 4253, 4261,
762
763      4268, 8204, 8204, 4279, 8204, 8204, 4290, 4293, 8204, 8204,
764      4301, 4304, 4308, 4325, 4328, 8204, 8204, 4338, 8204, 8204,
765      4421, 4395, 4390, 4377, 4256, 4348, 4351, 4359, 4242,  464,
766       124, 8204, 4362, 4366, 4369, 4205, 4378, 4384, 4388, 4391,
767      4151, 4397, 4400, 8204, 8204, 4408, 4412, 8204, 8204, 4420,
768      4423, 4431, 4434, 4438, 4452, 8204, 4455, 4458, 4467, 8204,
769      8204, 4475, 4478, 4483, 8204, 8204, 4493, 4497, 4501, 4506,
770      4111, 4511, 4515, 4137, 4095, 4087, 4028, 4008, 3989, 3942,
771      4520, 3923, 4524, 8204, 8204, 4532, 4535, 8204, 8204, 4543,
772      4551, 4555, 4562, 8204, 8204, 4574, 4578, 4581, 3907, 4584,
773
774      3872, 3855, 4588, 4592, 3860, 3820,  283, 3807, 3741, 4596,
775      4602, 3720, 4607, 4615, 4627, 8204, 8204, 4635, 4638, 4644,
776      4656, 4659, 4662, 8204, 8204, 4677, 3718, 3677, 3570, 3540,
777      4680, 4683, 8204, 8204, 4692, 3554,  320,    3, 4698, 8204,
778      8204, 3478, 4706, 8204, 4711, 4714, 3443, 4717, 4720, 8204,
779      4726, 8204, 8204, 4740, 4743, 8204, 8204, 4751, 8204, 8204,
780      4759, 4762, 4770, 4773, 4777, 4780, 4784, 4791, 3451, 4802,
781      4805, 3376, 3318, 3326, 3317, 3282, 3252, 3246, 4808, 4811,
782      4814, 4822, 4829, 4841, 4844, 4852, 4859, 4862, 4871, 4877,
783      4885, 4889, 4892, 4895,  335, 3257, 4910, 4913, 4921,  511,
784
785       563, 4924, 4931,  645, 3210, 4934, 4945, 4953, 3168, 4956,
786      4959, 4967, 4974, 4977, 4986, 8204, 8204, 4994, 4997, 5000,
787      5008, 3088, 3070, 5015, 5018, 5021, 5027, 5039, 3080, 5042,
788       781, 3019, 3008, 5045, 8204, 5048, 5051, 8204, 8204, 5066,
789      5069, 5072, 5080, 5087, 5098, 5101, 8204, 8204, 2995, 5111,
790      8204, 2995, 2966, 2823, 2793, 2722, 2622, 2574, 5116, 5119,
791      5123, 5131, 8204, 5137, 8204, 8204, 5146, 8204, 8204, 5154,
792      5157, 8204, 8204, 5166, 8204, 8204, 5174, 5177, 5180, 5189,
793      8204, 8204, 2568, 2560, 2492, 5197, 8204, 8204, 5206, 5209,
794      5212, 5215, 5218, 5236, 5239, 5247, 5250, 2434, 2446, 2425,
795
796      5259, 8204, 8204, 5267, 2381, 5270, 8204, 8204, 5278, 5282,
797      8204, 8204, 5290, 5293, 8204, 8204, 5301, 5304, 2356, 5308,
798      5311, 5322, 5333, 5341, 8204, 8204, 5349, 8204, 5407,  539,
799      5352, 5355, 5359, 5362, 5378, 5381, 8204, 8204, 5390, 8204,
800      8204, 5398, 5410, 2333, 2256, 2235, 2131, 2131, 1976, 1897,
801      1782, 5401, 5443, 8204, 8204, 5435, 5457, 5460, 8204, 8204,
802      5468, 1733, 1726, 5471, 5476, 5479, 5494, 5497, 5506, 5512,
803      5524, 5527, 5535, 8204, 8204, 5543, 8204, 8204,  752, 1721,
804      1672, 5551, 1570, 5554, 5557, 5560, 5563, 5575, 1513, 5583,
805      8204, 8204, 5591, 8204, 8204, 5601, 1479, 1780, 1893,  329,
806
807      1571,  299,  201, 1493,  250, 1789,  688, 1598, 5373, 5607,
808      5610, 5625, 8204, 8204, 5620, 5633, 8204, 8204, 1503, 1505,
809      1455, 1449, 1352, 1348, 1340, 1263, 5641, 5644, 5647, 5650,
810      5653, 5670, 5673, 5676, 5679, 8204, 8204, 5696, 8204, 8204,
811      5704, 8204, 8204, 5712, 8204, 8204, 5720, 5723,  758,  813,
812      5726, 5729, 5734, 5741, 5747, 5753, 8204, 8204, 1264, 5761,
813        74, 1497, 1500, 1538, 1574, 1664, 1633,  845, 1583,  473,
814      1486, 1739, 1763, 1636, 1795, 5766, 8204, 8204, 5774, 8204,
815      1251, 1166, 1159, 1164, 1073,  842,  780, 5420, 5780, 5783,
816      5787, 5793, 8204, 8204, 5802, 5807, 5815, 5820, 5828, 5840,
817
818      5843, 5851, 5854, 5862, 5865, 5869, 5872, 5875, 5890, 5894,
819      5902, 5908, 5911, 5921, 5927, 5930, 1853,  349, 1885, 1807,
820      1949, 1819, 1950,  499,  132, 1968, 1882, 1997, 1831, 1895,
821      5933, 5566,  771,  144, 5936,  192,  220,  294, 5940, 5945,
822      5953, 5958, 5965, 8204, 8204, 5973, 8204, 8204, 5982, 5985,
823      8204, 8204, 6003, 8204, 8204, 5994, 6012, 6020, 6023, 6031,
824      6038, 6049, 6052, 6060, 6063, 8204, 8204, 6071, 6075, 8204,
825      8204, 6083, 6086, 6090, 6098, 1842, 1907, 1966, 1771, 1841,
826      2012, 6104, 2006,  561, 1962, 2014,  885, 2015, 1999, 6107,
827      6111, 6119, 6126,  345, 6130,  475,  616, 6133, 6136, 6139,
828
829      6142, 6145, 6149, 8204, 8204, 6164, 8204, 8204, 6172, 8204,
830      8204, 6180, 8204, 8204, 6188, 6191, 6195, 8204, 6200, 8204,
831      8204, 6210, 2063, 1663, 1938, 1104, 2037, 6214, 6217, 1106,
832      1896, 2050, 2066, 2048, 6220, 2027, 6223, 6267, 6307, 6244,
833       666,  713,  715, 6251, 6257, 8204, 6260, 8204, 6279, 6298,
834      6301, 6328, 6331, 6336, 6339, 1109, 2080, 2112, 6358, 2097,
835      2104, 1884, 2068, 1197, 2065, 6361, 2139, 6350, 6396, 6436,
836      6254, 6287,  727, 6364, 6369, 8204, 6372, 6407, 8204, 6426,
837      6429, 6448, 2136, 1939,  813, 2144, 1864, 2163, 2141, 2197,
838      2207, 2225, 2190, 2120, 6458, 1203, 6290, 6293, 6384, 6467,
839
840      6470, 6477, 2230, 2233, 2167, 1288, 2243, 2223, 2250, 2231,
841      1291, 2267, 2226, 2281, 2320, 2294, 2326, 6417, 6482, 6492,
842      8204, 6496, 8204, 2321, 2342, 2333, 2325, 2383, 2375,  877,
843      2366, 2385, 1379, 2386, 2393, 2378, 6501, 2420, 6504, 8204,
844      2422, 2437, 2454, 2443, 2445, 1380, 2475, 2478, 2483, 2499,
845      2519, 2493, 2272, 6507, 2567, 2396, 2515, 2513, 2525, 2554,
846      2577, 6511, 2575, 2604, 2545, 2630, 6526, 2609, 2642, 2622,
847      2612, 2652, 2698, 2714, 6530, 6533, 6545, 6536, 2716, 2614,
848      2763, 6541, 6555, 2790, 2661, 6560, 6564, 6567, 2671, 6570,
849      6579, 2122, 2631, 6575, 2796, 2717, 6589, 2678, 6594, 2808,
850
851      6604, 6609, 6617, 6628, 2789, 2704, 2836, 2855, 2323, 2833,
852      2750, 2834, 2884, 6631, 2931, 2868, 2873, 2892, 6636, 2887,
853      2905, 2956, 2986, 2899, 6650, 3029, 2882, 2944, 2072, 2345,
854      3037, 6655, 3003, 2980, 2885, 2976, 3025, 2760, 2993, 3036,
855      3042, 3050, 3079, 3082, 3100, 6658, 3136, 2699, 3140, 3077,
856      3134, 3154, 6665, 6669, 3201, 2924, 3143, 3144, 6677, 3176,
857      3217, 3175, 3268, 3283, 3288, 3242, 3123, 2973, 3276, 3310,
858      2770, 3203, 3261, 3137, 6684, 3358, 3102, 3362, 3383, 6692,
859      3307, 3376, 3434, 3479, 3498, 3517, 3398, 3245, 3200, 3489,
860      3499, 2273, 2470, 3333, 3472, 3316, 3422, 6688, 3515, 3560,
861
862      3536, 3580, 3524, 3572, 3590, 3600, 3611, 3631, 3429, 3435,
863      6703, 2842, 2947, 3384, 3603, 6707, 3559, 3514, 3658, 6711,
864      3511, 3554, 3640, 3667, 3723, 3731, 3657, 3683, 3696, 3709,
865      6722, 3452, 6726, 3655, 3676, 3710, 3749, 6734, 3624, 3804,
866      6745, 3712, 3770, 3779, 3813, 3762, 3810, 3826, 3838, 3876,
867      3893, 3943, 3951, 6749, 3761, 3789, 3934, 3885, 3942, 1485,
868      3853, 3954, 3974, 4014, 3643, 6757, 3953, 4007, 3985, 4002,
869      4001, 4010, 4055, 4057, 4054, 4086, 4088, 4089, 4071, 4128,
870      6768, 4107, 4138, 2536, 4158, 6771, 4150, 4157, 6776, 4149,
871      4209, 4215, 4052, 4126, 2807, 4206, 3845, 3908, 4217, 4231,
872
873      3689, 4208, 4225, 4267, 4240, 4266, 6780, 4161, 4169, 6790,
874      6795, 8204, 4264, 4269, 6799, 6809, 4306, 4357, 4226, 4280,
875      6814, 4278, 4295, 4315, 4388, 6818, 6821, 4356, 4364, 4316,
876      4338, 4410, 4468, 6824, 8204, 4549, 4596, 4425, 4448, 6833,
877      4399, 4400, 4455, 4482, 6828, 8204, 4067, 4431, 6843, 6847,
878      8204, 6852, 8204, 4603, 4623, 4594, 4601, 4540, 4552, 4714,
879      4716, 4653, 4719, 4471, 4612, 4635, 4685, 4299, 4339, 4512,
880      4523, 6855, 8204, 4747, 4778, 4649, 4657, 4608, 4647, 4807,
881      4832, 4771, 4809, 4799, 4817, 4889, 4910, 4491, 4781, 4318,
882      4604, 4887, 4898, 4816, 4850, 4926, 4946, 5007, 5018, 4857,
883
884      4919, 5036, 5038, 4900, 4920, 4964, 4995, 6858, 5078, 5086,
885      5142, 5153, 5072, 5110, 5127, 5185, 5177, 5212, 5075, 5089,
886      5145, 5165, 4750, 5224, 6862, 8204, 5257, 5296, 5302, 5328,
887      5074, 5226, 5258, 5227, 5329, 5347, 5247, 5308, 5406, 5445,
888      6866, 5269, 5309, 5311, 5359, 6877, 6881, 5366, 5369, 5448,
889      5473, 5400, 5447, 6885, 8204, 6888, 5491, 5528, 6891, 8204,
890      6896, 8204, 5571, 5576, 5395, 5431, 6900, 6910, 8204, 5499,
891      5503, 5514, 5531, 5586, 5588, 6915, 8204, 6919, 6922, 5664,
892      5579, 6925, 8204, 6929, 8204, 6934, 6944, 8204, 8204, 6964,
893      6973, 6982, 6991, 7000, 7009, 7018, 7027, 7036, 7045, 7054,
894
895      7063, 7072, 7081, 7090, 7099, 7108, 7117, 7126, 7135, 7144,
896      7153, 7162, 7171, 7180, 7189, 7198, 7207, 7216, 7225, 7232,
897      7239, 7246, 7253, 7260, 7267, 7274, 7281, 7288, 7295, 7302,
898      7309, 7316, 7323, 7330, 7339, 7344, 7349, 7354, 7359, 7364,
899      7369, 7374, 7379, 7384, 7389, 7394, 7399, 7404, 7409, 7414,
900      7423, 7429, 7436, 7444, 7451, 7459, 7466, 7474, 7481, 7489,
901      7496, 7504, 7511, 7519, 7527, 7534, 7542, 7549, 7557, 7564,
902      7572, 7579, 7587, 7594, 7602, 7610, 7618, 7625, 7633, 7641,
903      7649, 7658, 7664, 7671, 7679, 7686, 7694, 7701, 7709, 7716,
904      7724, 7731, 7739, 7746, 7754, 7762, 7769, 7777, 7785, 7793,
905
906      7800, 7808, 7815, 7823, 7830, 7838, 7846, 7854, 7861, 7869,
907      7877, 7885, 7894, 7903, 7910, 7918, 7925, 7933, 7941, 7949,
908      7957, 7965, 7972, 7980, 7988, 7996, 8004, 8011, 8019, 8027,
909      8035, 8043, 8051, 8058, 8066, 8073, 8081, 8088, 8096, 8104,
910      8112, 8119, 8127, 8136, 8145, 8153, 8161, 8168, 8176, 8185,
911      8194
912     } ;
913
914 static yyconst short int yy_def[2652] =
915     {   0,
916      2490, 2490, 2491, 2491, 2491, 2491, 2492, 2492, 2493, 2493,
917      2494, 2494, 2495, 2495, 2495, 2495, 2496, 2496, 2497, 2497,
918      2498, 2498, 2497, 2497, 2499, 2499, 2497, 2497, 2499, 2499,
919      2499, 2499, 2497, 2497, 2500, 2500, 2501, 2501, 2497, 2497,
920      2502, 2502, 2503, 2503, 2497, 2497, 2489,   47, 2504, 2504,
921      2497, 2497, 2505, 2505, 2506, 2506, 2497, 2497, 2489,   59,
922      2497, 2497, 2507, 2507, 2497, 2497, 2508, 2508, 2497, 2497,
923      2497, 2497, 2509, 2509, 2509, 2509, 2497, 2497, 2510, 2510,
924      2511, 2511, 2497, 2497, 2489,   85, 2512, 2512, 2497, 2497,
925      2489,   91, 2513, 2513, 2497, 2497, 2489,   97, 2514, 2514,
926
927      2497, 2497, 2489,  103, 2515, 2515, 2497, 2497, 2489,  109,
928      2516, 2516, 2497, 2497, 2489,  115, 2517, 2517, 2497, 2497,
929      2489,  121, 2497, 2497, 2518, 2518, 2519, 2519, 2489, 2489,
930      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
931      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
932      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
933      2520, 2489, 2489, 2520, 2489, 2489, 2489, 2489, 2489, 2489,
934      2489, 2489, 2489, 2489, 2521, 2489, 2489, 2521, 2521, 2521,
935      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2522, 2489, 2489,
936      2522, 2522, 2522, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
937
938      2523, 2489, 2489, 2523, 2523, 2523, 2523, 2523, 2523, 2489,
939      2489, 2489, 2489, 2489, 2489, 2524, 2489, 2489, 2524, 2524,
940      2524, 2524, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2525,
941      2489, 2489, 2525, 2525, 2525, 2525, 2525, 2525, 2525, 2525,
942      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2526, 2489, 2489,
943      2526, 2526, 2489, 2489, 2489,  253, 2489, 2489, 2489, 2489,
944      2489, 2527, 2489, 2489, 2527, 2527, 2527, 2527, 2489, 2489,
945      2489, 2489, 2489, 2489, 2489, 2528, 2489, 2489, 2528, 2528,
946      2528, 2528, 2528, 2528, 2489, 2489, 2489, 2489, 2489, 2489,
947      2489, 2529, 2489, 2489, 2529, 2529, 2529, 2529, 2529, 2529,
948
949      2529, 2529, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2530,
950      2489, 2489, 2530, 2530, 2530, 2530, 2530, 2530, 2530, 2530,
951      2530, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2531, 2489,
952      2489, 2531, 2531, 2531, 2531, 2531, 2531, 2531, 2531, 2531,
953      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2532, 2489, 2489,
954      2532, 2532, 2532, 2532, 2532, 2532, 2532, 2532, 2532, 2532,
955      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2533, 2489, 2489,
956      2533, 2533, 2533, 2533, 2533, 2533, 2533, 2533, 2533, 2533,
957      2533, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2534, 2489,
958      2489, 2534, 2534, 2534, 2534, 2534, 2534, 2534, 2534, 2534,
959
960      2534, 2534, 2534, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
961      2489, 2489, 2489, 2535, 2489, 2489, 2489, 2489, 2489, 2489,
962      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2520,
963      2520, 2489, 2536, 2489, 2489, 2489, 2489, 2489, 2521, 2521,
964      2521, 2521, 2537, 2489, 2522, 2522, 2522, 2522, 2538, 2489,
965      2523, 2523, 2523, 2523, 2523, 2523, 2523, 2523, 2539, 2489,
966      2524, 2524, 2524, 2524, 2524, 2540, 2489, 2525, 2525, 2525,
967      2525, 2525, 2525, 2525, 2489, 2489, 2489, 2489, 2489, 2541,
968      2489, 2526, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
969      2489, 2489, 2489, 2489, 2542, 2489, 2527, 2527, 2527, 2489,
970
971      2489, 2489, 2489, 2543, 2489, 2528, 2528, 2528, 2528, 2528,
972      2528, 2489, 2489, 2489, 2489, 2544, 2489, 2529, 2529, 2489,
973      2489, 2529, 2529, 2529, 2529, 2489, 2489, 2489, 2489, 2489,
974      2489, 2545, 2489, 2530, 2530, 2530, 2530, 2530, 2530, 2530,
975      2530, 2530, 2489, 2489, 2489, 2489, 2546, 2489, 2489, 2531,
976      2531, 2531, 2531, 2531, 2531, 2531, 2531, 2531, 2489, 2489,
977      2489, 2489, 2547, 2489, 2532, 2532, 2532, 2532, 2532, 2532,
978      2532, 2532, 2532, 2532, 2489, 2489, 2489, 2489, 2548, 2489,
979      2533, 2533, 2533, 2533, 2533, 2533, 2533, 2533, 2533, 2533,
980      2489, 2489, 2489, 2489, 2549, 2489, 2534, 2534, 2534, 2534,
981
982      2534, 2534, 2534, 2534, 2534, 2534, 2534, 2534, 2489, 2489,
983      2489, 2489, 2550, 2489, 2489, 2551, 2489, 2551, 2489, 2489,
984      2489, 2552, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2553,
985      2489, 2554, 2554, 2489, 2489, 2489, 2489, 2555, 2555, 2489,
986      2489, 2556, 2556, 2557, 2489, 2489, 2557, 2558, 2558, 2559,
987      2559, 2489, 2489, 2559, 2559, 2559, 2559, 2560, 2560, 2561,
988      2561, 2561, 2561, 2562, 2562, 2563, 2563, 2563, 2489, 2489,
989      2563, 2563, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2564,
990      2564, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
991      2489, 2489, 2489, 2489, 2489, 2565, 2565, 2566, 2566, 2489,
992
993      2489, 2489, 2489, 2489, 2489, 2567, 2567, 2568, 2489, 2489,
994      2568, 2568, 2568, 2489, 2489, 2489, 2489, 2489, 2489, 2569,
995      2569, 2570, 2489, 2489, 2489, 2570, 2489, 2489, 2570, 2570,
996      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2571,
997      2571, 2572, 2572, 2572, 2489, 2489, 2572, 2572, 2572, 2489,
998      2489, 2572, 2489, 2489, 2489, 2489, 2489, 2489, 2573, 2573,
999      2574, 2574, 2574, 2489, 2489, 2574, 2574, 2574, 2574, 2574,
1000      2489, 2489, 2489, 2489, 2489, 2489, 2575, 2575, 2576, 2576,
1001      2576, 2489, 2489, 2576, 2576, 2576, 2489, 2489, 2576, 2489,
1002      2489, 2489, 2489, 2489, 2489, 2577, 2577, 2578, 2578, 2578,
1003
1004      2578, 2489, 2489, 2578, 2578, 2578, 2578, 2489, 2489, 2489,
1005      2489, 2489, 2489, 2579, 2579, 2580, 2580, 2580, 2489, 2489,
1006      2580, 2580, 2580, 2580, 2580, 2580, 2580, 2489, 2489, 2489,
1007      2489, 2489, 2489, 2581, 2581, 2489, 2489, 2582, 2489, 2489,
1008      2582, 2489, 2489, 2583, 2489, 2489, 2489, 2489, 2489, 2489,
1009      2584, 2489, 2489, 2585, 2489, 2585, 2489, 2489, 2489, 2489,
1010      2586, 2586, 2489, 2489, 2489, 2489, 2587, 2489, 2587, 2588,
1011      2489, 2489, 2489, 2489, 2489, 2489, 2589, 2489, 2589, 2590,
1012      2590, 2489, 2489, 2489, 2590, 2590, 2590, 2590, 2489, 2591,
1013      2489, 2591, 2592, 2592, 2592, 2592, 2489, 2593, 2489, 2593,
1014
1015      2594, 2594, 2594, 2489, 2489, 2489, 2594, 2594, 2489, 2489,
1016      2595, 2489, 2595, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1017      2489, 2489, 2596, 2489, 2596, 2597, 2597, 2489, 2598, 2489,
1018      2598, 2599, 2489, 2489, 2489, 2599, 2599, 2599, 2489, 2600,
1019      2489, 2600, 2601, 2601, 2489, 2489, 2489, 2601, 2601, 2489,
1020      2602, 2489, 2602, 2603, 2603, 2603, 2489, 2489, 2489, 2603,
1021      2603, 2603, 2489, 2489, 2489, 2603, 2489, 2604, 2489, 2604,
1022      2605, 2605, 2605, 2489, 2489, 2489, 2605, 2605, 2605, 2605,
1023      2605, 2605, 2489, 2606, 2489, 2606, 2489, 2489, 2607, 2607,
1024      2489, 2489, 2489, 2489, 2489, 2607, 2607, 2489, 2489, 2489,
1025
1026      2607, 2489, 2608, 2489, 2608, 2609, 2609, 2609, 2609, 2489,
1027      2489, 2489, 2609, 2609, 2609, 2609, 2489, 2610, 2489, 2610,
1028      2489, 2489, 2611, 2611, 2489, 2489, 2489, 2611, 2611, 2489,
1029      2489, 2611, 2611, 2611, 2611, 2489, 2612, 2489, 2612, 2489,
1030      2613, 2614, 2489, 2489, 2489, 2489, 2489, 2615, 2489, 2616,
1031      2489, 2489, 2489, 2489, 2617, 2489, 2489, 2618, 2619, 2489,
1032      2489, 2489, 2620, 2621, 2489, 2489, 2621, 2489, 2489, 2621,
1033      2621, 2622, 2623, 2623, 2489, 2489, 2623, 2624, 2625, 2625,
1034      2625, 2625, 2625, 2489, 2626, 2489, 2489, 2489, 2489, 2489,
1035      2489, 2489, 2489, 2627, 2628, 2628, 2629, 2489, 2489, 2630,
1036
1037      2630, 2630, 2631, 2632, 2489, 2489, 2632, 2632, 2633, 2634,
1038      2489, 2489, 2489, 2489, 2634, 2634, 2634, 2634, 2635, 2636,
1039      2636, 2489, 2489, 2489, 2489, 2489, 2489, 2636, 2636, 2636,
1040      2636, 2637, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1041      2489, 2489, 2638, 2489, 2489, 2638, 2639, 2640, 2640, 2489,
1042      2489, 2489, 2489, 2640, 2489, 2489, 2640, 2640, 2641, 2489,
1043      2489, 2489, 2489, 2489, 2489, 2489, 2642, 2642, 2489, 2489,
1044      2489, 2642, 2642, 2642, 2642, 2643, 2489, 2644, 2645, 2645,
1045      2489, 2645, 2489, 2489, 2489, 2646, 2489, 2647, 2489, 2489,
1046      2489, 2489, 2648, 2489, 2489, 2489, 2649, 2489, 2489, 2620,
1047
1048      2489, 2489, 2489, 2489, 2489, 2621, 2489, 2489, 2489, 2621,
1049      2621, 2622, 2623, 2489, 2489, 2489, 2489, 2489, 2623, 2624,
1050      2489, 2489, 2625, 2625, 2625, 2625, 2489, 2626, 2489, 2489,
1051      2489, 2489, 2489, 2489, 2489, 2489, 2627, 2628, 2489, 2489,
1052      2629, 2489, 2489, 2489, 2489, 2489, 2630, 2630, 2631, 2489,
1053      2489, 2489, 2489, 2489, 2632, 2632, 2633, 2634, 2489, 2489,
1054      2489, 2489, 2489, 2489, 2634, 2634, 2634, 2634, 2635, 2636,
1055      2636, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1056      2636, 2636, 2636, 2636, 2637, 2489, 2489, 2489, 2489, 2489,
1057      2489, 2638, 2489, 2489, 2489, 2638, 2639, 2489, 2489, 2640,
1058
1059      2489, 2489, 2489, 2489, 2489, 2489, 2640, 2489, 2489, 2489,
1060      2640, 2489, 2489, 2641, 2489, 2489, 2489, 2489, 2489, 2489,
1061      2642, 2642, 2642, 2642, 2642, 2489, 2489, 2643, 2489, 2644,
1062      2645, 2489, 2489, 2489, 2489, 2489, 2647, 2489, 2489, 2489,
1063      2648, 2649, 2489, 2489, 2489, 2620, 2489, 2489, 2489, 2489,
1064      2489, 2621, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1065      2489, 2623, 2624, 2489, 2489, 2489, 2625, 2625, 2625, 2625,
1066      2489, 2626, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1067      2627, 2628, 2489, 2489, 2489, 2629, 2489, 2489, 2489, 2630,
1068      2630, 2631, 2489, 2489, 2489, 2632, 2632, 2633, 2634, 2634,
1069
1070      2634, 2634, 2634, 2635, 2636, 2636, 2636, 2636, 2636, 2636,
1071      2637, 2638, 2638, 2639, 2489, 2489, 2489, 2640, 2489, 2489,
1072      2640, 2640, 2489, 2489, 2489, 2641, 2642, 2642, 2642, 2642,
1073      2642, 2489, 2489, 2489, 2643, 2489, 2644, 2645, 2489, 2489,
1074      2489, 2489, 2489, 2489, 2489, 2489, 2648, 2649, 2489, 2489,
1075      2489, 2489, 2489, 2621, 2489, 2489, 2489, 2489, 2489, 2489,
1076      2489, 2489, 2624, 2625, 2625, 2625, 2489, 2489, 2489, 2626,
1077      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2627, 2628,
1078      2629, 2489, 2489, 2489, 2489, 2631, 2489, 2489, 2489, 2489,
1079      2633, 2634, 2489, 2489, 2634, 2634, 2489, 2489, 2635, 2636,
1080
1081      2636, 2636, 2636, 2636, 2636, 2489, 2489, 2637, 2638, 2489,
1082      2489, 2639, 2489, 2489, 2489, 2489, 2489, 2640, 2489, 2489,
1083      2641, 2642, 2642, 2642, 2642, 2489, 2489, 2643, 2489, 2644,
1084      2645, 2489, 2648, 2489, 2489, 2621, 2489, 2489, 2489, 2624,
1085      2489, 2489, 2489, 2489, 2625, 2489, 2489, 2489, 2489, 2489,
1086      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2627, 2489,
1087      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2631,
1088      2489, 2489, 2489, 2489, 2489, 2489, 2633, 2489, 2489, 2489,
1089      2489, 2489, 2634, 2634, 2634, 2489, 2489, 2489, 2635, 2636,
1090      2636, 2636, 2636, 2489, 2489, 2489, 2489, 2636, 2636, 2636,
1091
1092      2489, 2489, 2489, 2637, 2638, 2489, 2489, 2489, 2639, 2489,
1093      2489, 2489, 2640, 2489, 2489, 2489, 2641, 2642, 2642, 2489,
1094      2489, 2489, 2489, 2489, 2489, 2489, 2643, 2489, 2644, 2645,
1095      2489, 2648, 2489, 2489, 2624, 2489, 2489, 2489, 2489, 2489,
1096      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1097      2489, 2627, 2489, 2489, 2489, 2631, 2633, 2489, 2489, 2489,
1098      2634, 2634, 2634, 2635, 2489, 2489, 2489, 2489, 2489, 2489,
1099      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2636, 2636,
1100      2636, 2637, 2638, 2639, 2640, 2641, 2489, 2489, 2642, 2489,
1101      2489, 2489, 2489, 2489, 2489, 2643, 2644, 2644, 2644, 2644,
1102
1103      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2645, 2489, 2489,
1104      2489, 2489, 2489, 2489, 2624, 2489, 2489, 2489, 2489, 2489,
1105      2489, 2489, 2489, 2489, 2489, 2489, 2627, 2631, 2633, 2489,
1106      2489, 2634, 2634, 2635, 2489, 2489, 2489, 2489, 2489, 2489,
1107      2489, 2489, 2489, 2489, 2489, 2489, 2636, 2636, 2636, 2636,
1108      2637, 2638, 2639, 2640, 2641, 2489, 2489, 2489, 2642, 2643,
1109      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1110      2644, 2644, 2644, 2644, 2645, 2489, 2489, 2489, 2489, 2489,
1111      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2627, 2631,
1112      2633, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2635, 2489,
1113
1114      2489, 2489, 2489, 2636, 2636, 2636, 2636, 2637, 2489, 2489,
1115      2639, 2489, 2489, 2641, 2642, 2643, 2644, 2644, 2644, 2644,
1116      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1117      2645, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2627,
1118      2631, 2633, 2489, 2489, 2489, 2489, 2489, 2489, 2635, 2489,
1119      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1120      2489, 2489, 2489, 2637, 2489, 2489, 2489, 2639, 2489, 2489,
1121      2489, 2641, 2489, 2489, 2643, 2644, 2644, 2644, 2644, 2644,
1122      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2645,
1123      2645, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2627, 2631,
1124
1125      2633, 2635, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1126      2489, 2489, 2489, 2489, 2637, 2639, 2489, 2489, 2489, 2489,
1127      2489, 2643, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1128      2644, 2644, 2644, 2644, 2644, 2644, 2645, 2650, 2651, 2489,
1129      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2633, 2635,
1130      2637, 2639, 2643, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1131      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2650, 2651,
1132      2489, 2489, 2489, 2633, 2489, 2489, 2637, 2489, 2489, 2643,
1133      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1134      2644, 2644, 2644, 2644, 2644, 2645, 2489, 2489, 2489, 2633,
1135
1136      2637, 2643, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1137      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2489, 2633, 2489,
1138      2489, 2489, 2489, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1139      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2489, 2489,
1140      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1141      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1142      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1143      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1144      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1145      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1146
1147      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1148      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1149      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1150      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1151      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1152      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1153      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1154      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1155      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1156      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1157
1158      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1159      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1160      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1161      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1162      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1163      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1164      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1165      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1166      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1167      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1168
1169      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1170      2644, 2489, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1171      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1172      2644, 2644, 2644, 2644, 2489, 2644, 2644, 2644, 2644, 2644,
1173      2644, 2644, 2644, 2644, 2644, 2489, 2644, 2644, 2644, 2644,
1174      2489, 2644, 2489, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1175      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1176      2644, 2644, 2489, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1177      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1178      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1179
1180      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1181      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1182      2644, 2644, 2644, 2644, 2644, 2489, 2644, 2644, 2644, 2644,
1183      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1184      2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644, 2644,
1185      2644, 2644, 2644, 2644, 2489, 2644, 2644, 2644, 2644, 2489,
1186      2644, 2489, 2644, 2644, 2644, 2644, 2644, 2644, 2489, 2644,
1187      2644, 2644, 2644, 2644, 2644, 2644, 2489, 2644, 2644, 2644,
1188      2644, 2644, 2489, 2644, 2489, 2644, 2644, 2489,    0, 2489,
1189      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1190
1191      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1192      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1193      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1194      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1195      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1196      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1197      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1198      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1199      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1200      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1201
1202      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1203      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1204      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1205      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1206      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
1207      2489
1208     } ;
1209
1210 static yyconst short int yy_nxt[8270] =
1211     {   0,
1212      2489,  132,  133,  132,  132,  133,  132,  132,  133,  132,
1213       132,  133,  132,  137,  133,  137,  143,  134,  140,  143,
1214       134,  140, 1181,  135, 2489,  141,  135,  617,  141,  138,
1215       137,  133,  137,  414,  144,  146,  147,  144,  146,  147,
1216       148,  149,  618,  148,  149,  414,  138,  153,  154,  415,
1217       150,  146,  147,  150,  151,  417,  148,  146,  147, 1531,
1218       151,  416,  148,  153,  154,  535,  150,  133,  133,  133,
1219       536,  416,  150,  133,  133,  133,  133,  133,  133,  133,
1220       133,  133,  508,  157,  155,  413,  413,  413,  690,  157,
1221       509,  554,  165,  839,  679,  165,  413,  413,  413,  555,
1222
1223       155,  158,  159,  133,  159,  158,  158,  158,  158,  158,
1224       158,  158,  160,  158,  158,  158, 1817,  158,  162,  158,
1225       163,  158,  167,  133,  167,  167,  133,  167,  133,  133,
1226       133,  133,  133,  133,  167,  133,  167,  601,  168,  158,
1227       158,  168,  623, 1181,  169,  624,  602,  169,  977,  978,
1228       168,  839,  164,  158,  159,  133,  159,  158,  158,  158,
1229       158,  158,  158,  158,  160,  158,  158,  158, 1438,  158,
1230       162,  158,  163,  158,  167,  133,  167,  167,  133,  167,
1231       167,  133,  167,  133,  133,  133,  133,  133,  133,  747,
1232       168,  158,  158,  170,  767, 1884,  170,  839,  748,  171,
1233
1234      1894, 1041,  171,  768,  164,  172,  173,  133,  173,  172,
1235       172,  172,  172,  172,  172,  172,  174,  172,  172,  172,
1236       839,  172,  176,  172,  177,  172,  182,  133,  182,  839,
1237       182,  133,  182,  133,  133,  133,  133,  133,  133,  413,
1238       413,  413,  183,  172,  172,  178,  183, 1330, 1896,  184,
1239       179, 1769,  184,  180,  172,  173,  133,  173,  172,  172,
1240       172,  172,  172,  172,  172,  174,  172,  172,  172,  839,
1241       172,  176,  172,  177,  172,  195,  133,  195, 1897,  195,
1242       133,  195,  133,  133,  133,  133,  133,  133,  413,  413,
1243       413,  196,  172,  172,  178,  196, 1502, 1503,  197,  179,
1244
1245      1771,  197,  180,  185,  186,  133,  186,  185,  185,  185,
1246       185,  185,  185,  185,  187,  185,  185,  185,  839,  185,
1247       189,  185,  190,  185,  211,  133,  211,  211,  133,  211,
1248       133,  133,  133,  133,  133,  133,  413,  413,  413,  839,
1249       212,  185,  185,  212, 1898, 1530,  165,  191,  839,  165,
1250      1768,  192,  193,  185,  186,  133,  186,  185,  185,  185,
1251       185,  185,  185,  185,  187,  185,  185,  185,  839,  185,
1252       189,  185,  190,  185,  224,  133,  224,  224,  133,  224,
1253       133,  133,  133,  133,  133,  133,  413,  413,  413, 1766,
1254       225,  185,  185,  225, 1583, 1584,  226,  191, 1941,  226,
1255
1256      1877,  192,  193,  198,  199,  133,  199,  198,  198,  198,
1257       198,  198,  198,  198,  200,  198,  198,  198,  201,  198,
1258       202,  198,  203,  198,  201,  201,  201,  201,  201,  201,
1259       201,  201,  201,  201,  201,  201,  201,  201,  201,  201,
1260       201,  198,  198,  201,  201,  204,  201,  201,  205,  201,
1261       201,  206,  201,  201,  201,  201,  201,  201,  201,  201,
1262       207,  201,  208,  201,  209,  201,  201,  201,  213,  214,
1263       133,  214,  213,  213,  213,  213,  213,  213,  213,  215,
1264       213,  213,  213,  839,  213,  217,  213,  218,  213,  133,
1265       133,  133,  839,  133,  133,  133, 1437,  243,  133,  243,
1266
1267       243,  133,  243,  417,  571,  241,  213,  213,  219,  241,
1268       417,  417,  220,  244,  572, 1826,  244,  433,  839,  416,
1269       221,  413,  413,  413, 1590, 1591,  416,  416, 1942,  222,
1270       213,  214,  133,  214,  213,  213,  213,  213,  213,  213,
1271       213,  215,  213,  213,  213, 1883,  213,  217,  213,  218,
1272       213,  133,  133,  133,  839,  133,  133,  133, 1181,  133,
1273       133,  133,  133,  133,  133,  417,  841,  241,  213,  213,
1274       219,  241,  417,  417,  220,  253, 1592, 1593,  253,  443,
1275       839,  416,  221,  434,  413,  413,  413, 1708,  416,  416,
1276      1931,  222,  227,  228,  133,  228,  227,  227,  227,  227,
1277
1278       227,  227,  227,  229,  227,  227,  227,  230,  227,  231,
1279       227,  232,  227,  230,  230,  230,  230,  230,  230,  230,
1280       230,  230,  230,  230,  230,  230,  230,  230,  230,  230,
1281       227,  227,  233,  230,  230,  234,  230,  235,  230,  230,
1282       236,  230,  230,  237,  230,  230,  230,  230,  230,  230,
1283       230,  230,  238,  230,  239,  240,  230,  245,  246,  133,
1284       246,  245,  245,  245,  245,  245,  245,  245,  247,  245,
1285       245,  245, 1943,  245,  249,  245,  250,  245,  133,  133,
1286       133,  133,  133,  133,  255,  133,  255,  255,  133,  255,
1287       255,  133,  255,  417,  253,  245,  245,  253,  454,  417,
1288
1289       256,  417,  417,  256, 1598, 1599,  257,  839,  449,  416,
1290       413,  413,  413,  455,  435,  416, 1971,  416,  416,  251,
1291       252,  245,  246,  133,  246,  245,  245,  245,  245,  245,
1292       245,  245,  247,  245,  245,  245, 1774,  245,  249,  245,
1293       250,  245,  255,  133,  255,  133,  133,  133,  133,  133,
1294       133,  270,  133,  270,  270,  133,  270,  417,  257,  245,
1295       245,  258,  417, 1972,  258, 1747, 1748,  271, 1973,  459,
1296       271, 1804, 1805,  416,  413,  413,  413, 1999,  416,  436,
1297       413,  413,  413,  251,  252,  259,  260,  133,  260,  259,
1298       259,  259,  259,  259,  259,  259,  261,  259,  259,  259,
1299
1300      1181,  259,  263,  259,  264,  259,  133,  133,  133,  133,
1301       133,  133,  286,  133,  286,  286,  133,  286,  133,  133,
1302       133, 1893,  272,  259,  259,  272, 1806, 1807,  287,  417,
1303       417,  287,  839, 1838,  288,  413,  413,  413, 1630,  265,
1304      2007,  266,  413,  413,  413,  416,  416,  267,  268,  259,
1305       260,  133,  260,  259,  259,  259,  259,  259,  259,  259,
1306       261,  259,  259,  259,  839,  259,  263,  259,  264,  259,
1307       133,  133,  133,  304,  133,  304,  304,  133,  304,  133,
1308       133,  133,  133,  133,  133, 1824,  288,  259,  259,  305,
1309       417,  417,  305,  417, 1837,  306,  839,  466,  306,  413,
1310
1311       413,  413, 2047,  265,  839,  266,  416,  416, 1934,  416,
1312       479,  267,  268,  273,  274,  133,  274,  273,  273,  273,
1313       273,  273,  273,  273,  275,  273,  273,  273,  276,  273,
1314       277,  273,  278,  273,  276,  276,  276,  276,  276,  276,
1315       276,  276,  276,  276,  276,  276,  276,  276,  276,  276,
1316       276,  273,  273,  276,  276,  276,  276,  276,  276,  276,
1317       279,  280,  276,  276,  276,  276,  281,  276,  276,  276,
1318       276,  276,  276,  282,  276,  283,  284,  276,  289,  290,
1319       133,  290,  289,  289,  289,  289,  289,  289,  289,  291,
1320       289,  289,  289,  292,  289,  293,  289,  294,  289,  292,
1321
1322       292,  292,  292,  292,  292,  292,  292,  292,  292,  292,
1323       292,  292,  292,  292,  292,  292,  289,  289,  292,  292,
1324       295,  292,  292,  292,  292,  296,  297,  292,  292,  292,
1325       292,  298,  292,  292,  292,  292,  292,  292,  299,  300,
1326       301,  302,  292,  307,  308,  133,  308,  307,  307,  307,
1327       307,  307,  307,  307,  309,  307,  307,  307,  310,  307,
1328       311,  307,  312,  307,  310,  310,  310,  310,  310,  310,
1329       310,  310,  310,  310,  310,  310,  310,  310,  310,  310,
1330       310,  307,  307,  310,  310,  310,  313,  310,  310,  310,
1331       314,  315,  310,  310,  310,  310,  316,  310,  310,  310,
1332
1333       310,  317,  318,  319,  310,  320,  321,  310,  323,  133,
1334       323,  323,  133,  323,  133,  133,  133,  133,  133,  133,
1335       413,  413,  413,  839,  324,  839, 1957,  324,  839, 1961,
1336       325, 1836, 1983,  325,  326,  327,  133,  327,  326,  326,
1337       326,  326,  326,  326,  326,  328,  326,  326,  326,  329,
1338       326,  330,  326,  331,  326,  329,  329,  329,  329,  329,
1339       329,  329,  329,  329,  329,  329,  329,  329,  329,  329,
1340       329,  329,  326,  326,  329,  329,  332,  333,  329,  329,
1341       329,  334,  335,  329,  329,  329,  329,  336,  329,  329,
1342       329,  329,  337,  329,  338,  329,  339,  340,  329,  342,
1343
1344       133,  342,  342,  133,  342,  133,  133,  133,  133,  133,
1345       133,  413,  413,  413, 1835,  343,  839, 1834,  343, 1833,
1346      1991,  344, 1181, 1182,  344,  345,  346,  133,  346,  345,
1347       345,  345,  345,  345,  345,  345,  347,  345,  345,  345,
1348       348,  345,  349,  345,  350,  345,  348,  348,  348,  348,
1349       348,  348,  348,  348,  348,  348,  348,  348,  348,  348,
1350       348,  348,  348,  345,  345,  351,  348,  348,  352,  348,
1351       348,  348,  353,  354,  348,  348,  348,  348,  355,  348,
1352       348,  348,  348,  356,  357,  358,  348,  359,  360,  348,
1353       362,  133,  362,  362,  133,  362,  133,  133,  133,  133,
1354
1355       133,  133,  413,  413,  413, 1832,  363,  839, 1815,  363,
1356       839, 2027,  364, 1788, 2032,  364,  365,  366,  133,  366,
1357       365,  365,  365,  365,  365,  365,  365,  367,  365,  365,
1358       365,  368,  365,  369,  365,  370,  365,  368,  368,  368,
1359       368,  368,  368,  368,  368,  368,  368,  368,  368,  368,
1360       368,  368,  368,  368,  365,  365,  371,  368,  368,  372,
1361       368,  373,  368,  374,  375,  368,  368,  368,  368,  368,
1362       368,  368,  368,  376,  377,  368,  378,  379,  380,  381,
1363       368,  383,  133,  383,  383,  133,  383,  133,  133,  133,
1364       133,  133,  133,  413,  413,  413, 1787,  384,  839,  839,
1365
1366       384, 1786, 2050,  385, 1785, 2061,  385,  386,  387,  133,
1367       387,  386,  386,  386,  386,  386,  386,  386,  388,  386,
1368       386,  386,  389,  386,  390,  386,  391,  386,  389,  389,
1369       389,  389,  389,  389,  389,  389,  389,  389,  389,  389,
1370       389,  389,  389,  389,  389,  386,  386,  392,  389,  389,
1371       389,  389,  393,  389,  394,  395,  389,  396,  389,  389,
1372       397,  398,  389,  389,  399,  389,  389,  400,  401,  402,
1373       403,  389,  133,  133,  133,  133,  133,  133,  405,  133,
1374       405,  405,  133,  405,  408,  409,  422,  417,  344,  410,
1375      2286,  344,  417,  417,  406,  408,  409,  406,  839,  411,
1376
1377       410,  417, 1784,  416,  839,  839,  417, 1783,  416,  416,
1378       411,  434,  839,  433,  435,  436,  839,  416,  428,  839,
1379       423,  412,  416,  432,  434,  437,  424,  435,  436,  417,
1380       425, 1761,  412,  437, 1827,  426,  480, 1770,  437,  475,
1381       475,  475,  477,  477,  477,  416,  483,  483,  483,  485,
1382       485,  485,  417,  417,  417, 1818,  476,  839, 1819,  478,
1383       495, 1782, 1781,  484, 1759,  417,  486,  417,  416,  416,
1384       416,  487,  500,  500,  500,  502,  502,  502,  413,  413,
1385       413,  416, 1820,  416,  487,  488,  489,  417,  417,  501,
1386       839,  490,  503,  839,  504,  491,  492,  493,  494,  413,
1387
1388       413,  413,  839,  416,  416,  512,  512,  512,  514,  514,
1389       514,  417,  490,  413,  413,  413,  417, 1181,  516,  413,
1390       413,  413,  513, 1825, 1767,  515, 1821,  416, 1752,  520,
1391       520,  520,  416,  526,  526,  526,  528,  528,  528,  530,
1392       530,  530,  413,  413,  413,  492,  521,  417,  417,  417,
1393       527, 1775,  839,  529,  532,  839,  531,  413,  413,  413,
1394       543,  543,  543,  416,  416,  416,  488,  545,  545,  545,
1395       417,  417,  522,  413,  413,  413,  417,  544,  547,  413,
1396       413,  413,  839,  839,  546, 1823,  416,  416, 1830,  548,
1397       417,  417,  416,  559,  559,  559,  561,  561,  561,  413,
1398
1399       413,  413,  417,  413,  413,  413,  416,  416, 1822,  563,
1400       560,  417,  417,  562,  575,  575,  575, 1955,  416,  579,
1401       493,  577,  577,  577,  413,  413,  413,  416,  416,  417,
1402      1750,  576,  413,  413,  413,  591,  591,  591,  578,  593,
1403       593,  593,  494,  417,  417,  416,  413,  413,  413,  417,
1404       595,  422,  592,  413,  413,  413,  594,  417,  839,  416,
1405       416,  609,  609,  609,  613,  416,  611,  611,  611,  413,
1406       413,  413,  491,  416,  413,  413,  413, 1749,  610,  621,
1407       621,  621,  839,  612, 1733,  423,  640,  640,  640, 1732,
1408       839,  424,  645,  645,  645,  425,  652,  652,  652,  839,
1409
1410       426, 1828,  839,  641,  669,  669,  669, 1829,  839,  646,
1411       475,  475,  475,  653, 1181,  673,  673,  673, 1178,  674,
1412      1926,  670,  675,  477,  477,  477,  839,  476, 1762,  622,
1413       676,  676,  676, 1772,  677, 1726, 1773,  678,  839, 1763,
1414       478,  483,  483,  483,  682,  682,  682, 1831,  683, 1879,
1415       839,  684,  485,  485,  485,  685,  685,  685,  484,  686,
1416       839,  839,  687,  500,  500,  500,  700,  700,  700,  486,
1417       701, 1881,  839,  702,  502,  502,  502,  703,  703,  703,
1418       501,  704, 1888,  839,  705,  709,  709,  709,  512,  512,
1419       512,  503,  714,  714,  714, 1923,  715, 1927, 2009,  716,
1420
1421      1876,  839,  710,  839,  839,  513,  514,  514,  514,  717,
1422       717,  717,  839,  718,  839,  839,  719,  520,  520,  520,
1423       723,  723,  723,  515,  724, 1886,  839,  725,  727,  727,
1424       727,  526,  526,  526,  521,  731,  731,  731, 1889,  732,
1425      1764, 1989,  733, 1878, 1962,  728, 1765, 1924,  527,  528,
1426       528,  528,  734,  734,  734, 1725,  735,  839,  839,  736,
1427       530,  530,  530,  737,  737,  737,  529,  738,  839,  839,
1428       739,  745,  745,  745,  750,  750,  750,  531,  543,  543,
1429       543,  839,  753,  753,  753,  839,  754,  839,  746,  755,
1430      1956,  751,  545,  545,  545,  544,  756,  756,  756, 1724,
1431
1432       757, 2006, 1932,  758,  764,  764,  764, 1880, 1882,  546,
1433       559,  559,  559,  771,  771,  771,  839,  772,  839, 1925,
1434       773,  765,  561,  561,  561,  839, 1885,  560,  774,  774,
1435       774,  839,  775,  839,  839,  776,  782,  782,  782,  562,
1436       787,  787,  787,  575,  575,  575,  839,  790,  790,  790,
1437      1930,  791, 1936,  783,  792, 1887,  839,  788, 1933, 1935,
1438       576,  577,  577,  577,  793,  793,  793,  839,  794,  839,
1439      1928,  795,  802,  802,  802,  591,  591,  591,  578,  808,
1440       808,  808,  839,  809,  839,  839,  810,  839, 1968,  803,
1441      1958,  839,  592,  593,  593,  593,  811,  811,  811,  839,
1442
1443       812, 1965, 1963,  813,  819,  819,  819,  609,  609,  609,
1444       594,  828,  828,  828, 1990,  829,  839, 1992,  830, 1954,
1445      2150,  820, 1964,  839,  610,  611,  611,  611,  831,  831,
1446       831,  839,  832, 1984, 1987,  833,  621,  621,  621,  839,
1447       843,  839,  612,  853,  853,  853,  853,  853,  853,  640,
1448       640,  640,  863,  863,  863,  839,  864, 1988,  839,  865,
1449       839,  855, 1985,  839,  855, 2016,  641,  866,  866,  866,
1450       866,  866,  866,  645,  645,  645,  871,  871,  871, 2109,
1451       872, 2008,  839,  873, 1723,  868,  839, 1722,  868, 2005,
1452       646, 1994,  856,  874,  874,  874,  876,  876,  876, 2011,
1453
1454       876,  876,  876,  652,  652,  652,  889,  889,  889,  839,
1455       875,  889,  889,  889,  878, 2010,  839,  869,  878, 2026,
1456       653,  882,  882,  882,  891,  883,  839, 2015,  884,  891,
1457       897,  897,  897,  897,  897,  897,  669,  669,  669,  904,
1458       904,  904,  839,  905,  839,  839,  906, 2012,  899,  839,
1459       839,  899,  839,  670,  673,  673,  673, 2029,  674,  879,
1460      2013,  675,  839,  892,  676,  676,  676, 2024,  677,  839,
1461      2025,  678,  910,  910,  910,  910,  910,  910, 2034,  900,
1462       682,  682,  682, 2014,  683, 2030,  839,  684, 1721, 2031,
1463       912,  839,  839,  912,  685,  685,  685, 2068,  686, 2028,
1464
1465       839,  687,  922,  922,  922,  922,  922,  922,  700,  700,
1466       700, 2033,  701,  839, 1720,  702, 2214,  703,  703,  703,
1467       924,  704,  913,  924,  705,  928,  928,  928,  928,  928,
1468       928,  709,  709,  709,  933,  933,  933, 2035,  934,  839,
1469       839,  935,  839,  930,  839,  839,  930, 2037,  710,  714,
1470       714,  714,  839,  715, 2036, 2041,  716,  925,  717,  717,
1471       717,  839,  718, 2038,  839,  719,  939,  939,  939,  939,
1472       939,  939, 2129,  723,  723,  723, 2042,  724, 2044,  931,
1473       725,  727,  727,  727,  941,  839, 1719,  941,  945,  945,
1474       945, 2043,  946, 2151,  839,  947, 1689,  839,  728,  731,
1475
1476       731,  731,  839,  732,  839,  839,  733,  734,  734,  734,
1477      2046,  735,  839, 2053,  736,  839,  737,  737,  737,  942,
1478       738, 2071, 2048,  739,  950,  950,  950,  950,  950,  950,
1479       745,  745,  745,  957,  957,  957, 2045,  958, 2049,  839,
1480       959,  839,  952, 1683, 2051,  952, 2052,  746,  750,  750,
1481       750,  963,  963,  963, 2055,  964,  839, 2056,  965,  753,
1482       753,  753,  839,  754,  839,  751,  755,  756,  756,  756,
1483       953,  757, 2057,  839,  758,  967,  967,  967,  967,  967,
1484       967,  764,  764,  764,  974,  974,  974, 1681,  975,  839,
1485      1680,  976, 1679,  969,  839, 2059,  969,  839,  765,  771,
1486
1487       771,  771,  839,  772, 2060, 2062,  773,  774,  774,  774,
1488      2058,  775,  839, 2215,  776,  983,  983,  983,  839,  983,
1489       983,  983,  987,  987,  987, 2489, 2489, 2489, 2489, 2489,
1490      2489, 2063,  839,  985,  839, 2064,  970,  985,  839,  988,
1491      2072, 2310, 2489, 2067,  839, 2489,  782,  782,  782,  991,
1492       991,  991, 2065,  992, 1663,  839,  993,  994,  994,  994,
1493      2489, 2489, 2489,  783,  839,  986, 2073, 2489, 2489, 2489,
1494       787,  787,  787,  839,  995, 2066,  989, 2489,  998,  998,
1495       998,  990,  999, 2074, 2489, 1000,  839,  788, 2489, 2489,
1496      2489,  790,  790,  790,  839,  791,  839, 2080,  792,  793,
1497
1498       793,  793, 2070,  794, 1662, 2489,  795, 2076, 2075,  996,
1499       997, 1002, 1002, 1002, 1002, 1002, 1002,  802,  802,  802,
1500      1010, 1010, 1010,  839, 1011, 2078, 1661, 1012,  839, 1004,
1501      1651,  839, 1004,  839,  803, 1001,  808,  808,  808, 2083,
1502       809,  839, 2086,  810,  811,  811,  811, 2085,  812,  839,
1503       839,  813, 1017, 1017, 1017, 1017, 1017, 1017, 1021, 1021,
1504      1021,  839, 2079, 1005, 2489, 2489, 2489, 2489, 2489, 2489,
1505      1019,  839, 2096, 1019, 1650, 1022,  819,  819,  819, 2084,
1506       839, 2489, 2087, 2081, 2489, 1025, 1025, 1025, 2110, 1026,
1507       839, 2101, 1027,  820, 2489, 2489, 2489,  839, 1020, 2489,
1508
1509      2489, 2489, 1030, 1030, 1030, 2489, 2489, 2489, 2489, 2489,
1510      2489, 2489, 2489, 2489, 2489, 2115, 2489,  839,  839, 1031,
1511      1024, 1023, 2489,  839, 2105, 2489, 2489, 2489, 2489, 2489,
1512       828,  828,  828,  839,  829,  839,  839,  830,  831,  831,
1513       831, 2126,  832, 2489, 1029,  833, 1028, 2169, 2088, 1033,
1514      1036, 1036, 1036, 1036, 1036, 1036,  853,  853,  853, 1034,
1515       853,  853,  853,  853,  853,  853, 1649, 1032, 1038,  839,
1516      2089, 1038, 2095, 2113,  855, 1056, 1056, 1056,  855,  839,
1517      2192,  855,  839, 1035,  863,  863,  863, 2131,  864,  839,
1518      2159,  865, 1057,  866,  866,  866,  866,  866,  866,  866,
1519
1520       866,  866, 1039,  871,  871,  871, 1050,  872,  839,  839,
1521       873,  868, 2321, 2097,  868,  839, 1648,  868,  874,  874,
1522       874, 1060, 1060, 1060, 2100, 1061,  839,  839, 1062,  876,
1523       876,  876,  876,  876,  876,  875,  876,  876,  876, 2125,
1524      1065, 1065, 1065, 2118,  882,  882,  882,  878,  883, 2112,
1525       878,  884,  839,  839,  878,  839, 1058, 1066, 1068, 1068,
1526      1068,  839,  889,  889,  889,  889,  889,  889,  889,  889,
1527       889, 1075, 1075, 1075,  839, 1069,  897,  897,  897, 1063,
1528       891, 1647, 2130,  891, 2132, 2234,  891,  839, 1076,  897,
1529       897,  897,  839, 2127,  899,  897,  897,  897,  904,  904,
1530
1531       904,  839,  905,  839,  839,  906,  839,  899,  910,  910,
1532       910,  839, 2128,  899,  910,  910,  910, 2138,  839, 1072,
1533      2156,  910,  910,  910,  839, 2136,  912,  922,  922,  922,
1534      2137, 2148,  912,  922,  922,  922, 2145, 2133, 1078,  912,
1535       922,  922,  922,  839, 2141,  924,  928,  928,  928, 2177,
1536       839,  924,  928,  928,  928,  928,  928,  928,  924, 1098,
1537      1098, 1098, 2142,  839,  930, 2135,  839,  933,  933,  933,
1538       930,  934, 1085,  930,  935,  839, 1099, 2489, 2489, 2489,
1539      2489, 2489, 2489, 2489, 2489, 2489,  939,  939,  939, 1646,
1540      2235, 1094,  839, 2149, 2489,  839, 1097, 2489, 2189,  839,
1541
1542      2489,  939,  939,  939,  941,  839,  939,  939,  939, 1105,
1543      1105, 1105,  839, 2143,  945,  945,  945, 2155,  946,  941,
1544      1100,  947,  839, 1102,  941, 2157, 1106, 1101,  950,  950,
1545       950,  950,  950,  950,  950,  950,  950, 1111, 1111, 1111,
1546      1113, 1113, 1113, 2144,  839, 1103,  952, 1645,  839,  952,
1547      2160, 1644,  952, 2154, 1112,  839,  839, 1114,  957,  957,
1548       957,  839,  958, 2147, 1632,  959,  963,  963,  963,  839,
1549       964, 2152, 1631,  965, 2158, 1109,  967,  967,  967,  967,
1550       967,  967,  967,  967,  967, 1122, 1122, 1122,  974,  974,
1551       974, 2162,  975, 2161,  969,  976,  839,  969,  839, 2163,
1552
1553       969,  839, 1123, 1124, 1124, 1124, 1126, 1126, 1126,  983,
1554       983,  983,  983,  983,  983,  983,  983,  983, 1628,  839,
1555      1125,  839, 1619, 1127,  987,  987,  987,  985, 2164, 2171,
1556       985, 2165, 2198,  985, 2166, 1618, 1133, 1133, 1133, 1119,
1557      1134,  988,  839, 1135, 1136, 1136, 1136, 1138, 1138, 1138,
1558       991,  991,  991,  839,  992,  839,  839,  993, 1132,  839,
1559      2188, 1137,  839,  839, 1139,  994,  994,  994, 1140, 1140,
1560      1140, 2168, 1141,  839, 2195, 1142, 2489, 2489, 2489, 1144,
1561      1144, 1144,  995,  998,  998,  998, 2172,  999, 2170, 2173,
1562      1000, 2178, 2179, 2489,  839,  839, 1145, 2489, 2489, 2489,
1563
1564      1002, 1002, 1002, 1002, 1002, 1002, 1002, 1002, 1002, 1150,
1565      1150, 1150, 1605, 2193, 2489, 1152, 1152, 1152, 1004,  839,
1566       839, 1004,  839, 2183, 1004, 2181, 1151, 1010, 1010, 1010,
1567      2211, 1011, 1153, 1143, 1012, 2176,  839, 1146, 1155, 1155,
1568      1155, 1017, 1017, 1017, 1017, 1017, 1017, 1017, 1017, 1017,
1569      1021, 1021, 1021, 1147, 1600, 1156, 1160, 1160, 1160, 1019,
1570      1161,  839, 1019, 1162,  839, 1019, 2182, 1022, 1163, 1163,
1571      1163, 1165, 1165, 1165, 1025, 1025, 1025, 2187, 1026, 2210,
1572       839, 1027, 2489, 2489, 2489, 1164, 2194,  839, 1166, 2489,
1573      2489, 2489, 1030, 1030, 1030,  839, 1169, 1169, 1169, 2489,
1574
1575      1170, 1585,  839, 1171, 1558, 1557, 2489,  839, 1159, 1031,
1576      2489, 2489, 2489, 2489, 2489, 2489, 2184, 2489, 2489, 2489,
1577      2489, 2489, 2489, 1036, 1036, 1036,  839, 2489, 2190,  839,
1578      2489, 2185, 1556, 1168, 2489,  839, 2186, 2489, 1036, 1036,
1579      1036, 1038, 1167, 1036, 1036, 1036,  853,  853,  853, 1180,
1580      1180, 1180,  839, 2218, 1172, 2203, 1038, 1174, 1191, 1191,
1581      1191, 1038, 2191, 2216,  855, 1173, 1175, 1181, 1182, 1056,
1582      1056, 1056, 1194, 1194, 1194, 1555, 1195,  839, 1554, 1196,
1583      1553,  839, 1176,  866,  866,  866, 1057, 1198, 1198, 1198,
1584      1060, 1060, 1060, 2197, 1061,  839, 1188, 1062,  876,  876,
1585
1586       876,  868,  839,  839, 1199, 1201, 1201, 1201, 1065, 1065,
1587      1065, 1203, 1203, 1203, 2199, 1204,  878,  839, 1205, 2489,
1588      2489, 2489, 1202, 2209, 2204, 1066, 1068, 1068, 1068, 1552,
1589      1207, 1207, 1207, 1197, 1208, 2200, 2489, 1209, 2489, 2489,
1590      2489,  839, 2236, 1069, 2489, 2489, 2489, 2219,  839, 1200,
1591       889,  889,  889,  839,  839, 2489, 1214, 1214, 1214, 2231,
1592      1206, 2489, 1075, 1075, 1075, 1216, 1216, 1216,  891, 1217,
1593      2232,  839, 1218, 1215,  897,  897,  897, 2255, 1549, 1076,
1594      1221, 1221, 1221, 2489, 2489, 2489, 2205, 1210, 2489, 2489,
1595      2489,  839,  899, 2489, 2489, 2489, 1533, 1222,  839, 2212,
1596
1597      2489, 1211, 2489, 2489, 2489, 2489, 2217, 1212,  839, 2213,
1598      2489,  910,  910,  910,  922,  922,  922,  839,  839, 2489,
1599      1239, 1239, 1239, 1532, 1220, 2221,  928,  928,  928,  912,
1600       839, 2206,  924,  839,  839, 1224,  839, 1240, 1223, 1098,
1601      1098, 1098, 1225,  839,  930, 1242, 1242, 1242, 2240, 1243,
1602      2207, 1226, 1244, 1228, 2244,  839, 1099, 1245, 1245, 1245,
1603      2489, 2489, 2489, 2489, 2489, 2489,  939,  939,  939, 2208,
1604      2222, 1237, 1241,  839, 1246, 1529, 2225, 2489,  839,  839,
1605      2489, 1250, 1250, 1250,  941, 1105, 1105, 1105, 1252, 1252,
1606      1252,  839, 1253, 2223, 2239, 1254, 1525, 2245, 1251,  839,
1607
1608      2227, 1247, 1106, 2489, 2489, 2489, 2489, 2489, 2489,  839,
1609      2228, 1249, 1248,  950,  950,  950, 1111, 1111, 1111,  839,
1610      2489, 2229,  839, 2489, 2226, 1259, 1259, 1259, 1524, 1260,
1611       839,  952, 1261, 1112, 1113, 1113, 1113, 2224, 1262, 1262,
1612      1262, 2230, 1263,  839, 1255, 1264,  967,  967,  967, 2264,
1613       839, 1114, 1122, 1122, 1122, 1256, 1272, 1272, 1272,  839,
1614      1273, 2237,  839, 1274,  969, 1124, 1124, 1124, 2290, 1123,
1615      1257, 1275, 1275, 1275,  839, 1276,  839,  839, 1277, 1126,
1616      1126, 1126, 1125, 1278, 1278, 1278,  839, 1279, 2241, 2246,
1617      1280,  983,  983,  983, 2326,  839, 1127, 1133, 1133, 1133,
1618
1619      2250, 1134,  839, 1269, 1135, 1136, 1136, 1136,  839,  985,
1620      1286, 1286, 1286, 2258, 1287,  839, 2247, 1288, 1138, 1138,
1621      1138, 1523, 1137, 1289, 1289, 1289, 2251, 1290,  839,  839,
1622      1291,  839, 1285, 2248, 2259, 1139, 1140, 1140, 1140, 2252,
1623      1141, 2249,  839, 1142, 1144, 1144, 1144, 1293, 1293, 1293,
1624       839, 1294, 2253, 2260, 1295, 1002, 1002, 1002, 1298, 1298,
1625      1298, 1145, 2489, 2489, 2489, 1150, 1150, 1150,  839, 2267,
1626      1301, 1301, 1301, 1004, 1302, 1299, 1522, 1303, 1509, 2489,
1627       839,  839, 1151, 1152, 1152, 1152, 1304, 1304, 1304,  839,
1628      1305, 2281, 2261, 1306, 2489, 2489, 2489, 1297,  839, 1505,
1629
1630      1153, 1300, 1155, 1155, 1155, 1308, 1308, 1308,  839, 1309,
1631      2271, 2489, 1310, 2489, 2489, 2489, 1312, 1312, 1312, 1156,
1632      1017, 1017, 1017,  839, 1160, 1160, 1160, 2268, 1161,  839,
1633      2489, 1162,  839, 1313, 1163, 1163, 1163, 2269, 1019, 2265,
1634      1315, 1315, 1315, 1307, 1316,  839, 2282, 1317, 1165, 1165,
1635      1165, 1164, 1318, 1318, 1318, 2322, 1319,  839, 2272, 1320,
1636      1504, 2286, 1311, 1501,  839, 1166, 1169, 1169, 1169, 2273,
1637      1170, 2270,  839, 1171, 1326, 1326, 1326, 1314, 1036, 1036,
1638      1036, 2274, 1180, 1180, 1180, 1333, 1333, 1333, 1334, 1334,
1639      1334, 1327,  853,  853,  853,  839, 1038, 1339, 1339, 1339,
1640
1641      1181, 1191, 1191, 1191,  839, 1335, 1500, 1194, 1194, 1194,
1642       855, 1195,  839, 1496, 1196,  866,  866,  866, 2323, 1198,
1643      1198, 1198, 1343, 1343, 1343, 1495, 1344,  839, 2284, 1345,
1644       876,  876,  876,  868, 2275, 1337, 1199, 1355, 1355, 1355,
1645      1328, 1331, 1201, 1201, 1201, 1347, 1347, 1347,  878, 1348,
1646      1492, 2276, 1349,  839, 1342, 1356, 1203, 1203, 1203, 1202,
1647      1204,  839,  839, 1205, 1350, 1350, 1350, 1207, 1207, 1207,
1648       839, 1208,  839,  839, 1209, 2489, 2489, 2489, 1353, 1353,
1649      1353, 1351, 1357, 1357, 1357, 2285, 1480, 1346, 1214, 1214,
1650      1214, 2283, 2489,  839, 1478, 1354, 1359, 1359, 1359, 1358,
1651
1652      1360, 2277, 2293, 1361,  839, 1215, 1216, 1216, 1216, 2278,
1653      1217, 2287, 1477, 1218,  897,  897,  897, 1221, 1221, 1221,
1654       839,  839, 1352, 1364, 1364, 1364,  839, 1365, 2295,  839,
1655      1366, 2288,  899,  839, 1222, 2489, 2489, 2489, 2489, 2489,
1656      2489, 2489, 2489, 2489, 2289, 2296, 2489, 2489, 2489,  910,
1657       910,  910, 2489, 2297, 1476, 2489, 2294, 1363, 2489,  922,
1658       922,  922, 2298, 2489, 1239, 1239, 1239,  912, 1383, 1383,
1659      1383,  839, 1384,  839,  839, 1385,  839,  924,  928,  928,
1660       928, 1240, 1245, 1245, 1245, 1475,  839, 1367, 1368, 1370,
1661       839, 1242, 1242, 1242, 1369, 1243,  930, 2301, 1244, 1246,
1662
1663      2319, 1372, 1387, 1387, 1387,  839, 1388,  839,  839, 1389,
1664      2489, 2489, 2489, 2299, 1381, 2300, 2489, 2489, 2489,  939,
1665       939,  939, 1250, 1250, 1250, 2370,  839, 2489, 2305, 2302,
1666      1386, 2303, 2304, 2489, 1393, 1393, 1393,  941, 1394, 1251,
1667      1474, 1395, 1252, 1252, 1252,  839, 1253,  839, 1473, 1254,
1668      2489, 2489, 2489, 2489, 2489, 2489, 2308,  839, 1390, 1391,
1669      1472, 1469, 1392,  950,  950,  950, 2310, 2489,  839,  839,
1670      2489, 1259, 1259, 1259, 2320, 1260,  839,  839, 1261, 2316,
1671       839,  952, 1262, 1262, 1262, 2306, 1263, 2309,  839, 1264,
1672       967,  967,  967, 1272, 1272, 1272, 1397, 1273, 1396, 2313,
1673
1674      1274, 1447, 1398, 1275, 1275, 1275, 2314, 1276,  969, 2332,
1675      1277, 1278, 1278, 1278, 2321, 1279, 2326, 2333, 1280,  983,
1676       983,  983, 1286, 1286, 1286,  839, 1287,  839,  839, 1288,
1677      2327, 1289, 1289, 1289,  839, 1290,  839,  985, 1291, 1293,
1678      1293, 1293, 1404, 1294,  839,  839, 1295, 1002, 1002, 1002,
1679       839, 1298, 1298, 1298, 1415, 1415, 1415, 1442, 1416,  839,
1680      2324, 1417, 2489, 2489, 2489, 1004, 2317, 1411, 1299, 1301,
1681      1301, 1301, 2318, 1302, 2325, 2327, 1303, 1436, 2343, 2489,
1682      1304, 1304, 1304,  839, 1305,  839,  839, 1306,  839, 2328,
1683      1414, 1419, 1419, 1419, 1308, 1308, 1308,  839, 1309,  839,
1684
1685      1431, 1310, 2489, 2489, 2489, 1312, 1312, 1312, 1420, 1423,
1686      1423, 1423, 2336, 1424,  839, 2329, 1425, 2337,  839, 2489,
1687      2349, 2347, 1313, 2408, 1418,  839, 1017, 1017, 1017, 1315,
1688      1315, 1315, 2344, 1316,  839,  839, 1317,  839, 2348, 1318,
1689      1318, 1318, 2388, 1319, 1019, 1422, 1320, 1421, 1426, 1326,
1690      1326, 1326, 1432, 1432, 1432, 2341, 1433,  839,  839, 1434,
1691      1036, 1036, 1036, 1333, 1333, 1333, 1327, 1334, 1334, 1334,
1692      1439, 1439, 1439, 2356, 1440,  839,  839, 1441, 1038, 1443,
1693      1443, 1443, 2389,  839, 1335, 1445, 1445, 1445, 1435, 1339,
1694      1339, 1339, 1446, 1446, 1446, 2357, 2349, 1444,  866,  866,
1695
1696       866, 1343, 1343, 1343, 2354, 1344, 2342,  839, 1345, 1449,
1697      1449, 1449, 2355, 1347, 1347, 1347,  868, 1348,  839,  839,
1698      1349, 1350, 1350, 1350, 1451, 1451, 1451, 1450, 1452,  839,
1699      1430, 1453, 2489, 2489, 2489, 1353, 1353, 1353, 1351, 1455,
1700      1455, 1455, 1429, 1456,  839, 1428, 1457, 2366, 2367, 2489,
1701       839, 1448, 1354, 1355, 1355, 1355, 1357, 1357, 1357, 1458,
1702      1458, 1458, 2358, 1459, 1427, 2368, 1460,  839, 1359, 1359,
1703      1359, 1356, 1360, 1358,  839, 1361, 1461, 1461, 1461,  897,
1704       897,  897, 2362, 1454, 1364, 1364, 1364,  839, 1365, 2371,
1705       839, 1366, 2369, 1462, 2489, 2489, 2489,  899, 2489, 2489,
1706
1707      2489,  839, 2489, 2489, 2489, 2363, 1463, 1467, 1467, 1467,
1708       839, 2489,  910,  910,  910, 2489, 1471, 1471, 1471, 2489,
1709      2359,  922,  922,  922, 1468, 1383, 1383, 1383, 2384, 1384,
1710       912,  839, 1385,  928,  928,  928, 1387, 1387, 1387,  924,
1711      1388, 1465,  839, 1389, 1482, 1482, 1482, 1464, 1466, 2406,
1712      2378,  930, 1484, 1484, 1484, 2390,  939,  939,  939,  839,
1713      1413, 1483, 2379, 1393, 1393, 1393, 2391, 1394,  839, 1485,
1714      1395,  839, 1470, 1479,  941, 1487, 1487, 1487, 1486, 1489,
1715      1489, 1489,  950,  950,  950, 1493, 1493, 1493, 1481, 1497,
1716      1497, 1497, 1488,  967,  967,  967, 1490, 1506, 1506, 1506,
1717
1718       952, 2360, 1494,  983,  983,  983, 1498, 1412, 1510, 1510,
1719      1510,  969, 2408,  839, 1507,  839, 1002, 1002, 1002, 1410,
1720       839,  985,  839,  839, 1508, 1511, 1409,  839, 1415, 1415,
1721      1415,  839, 1416, 1491, 1004, 1417, 1513, 1513, 1513, 1419,
1722      1419, 1419,  839, 2376, 1499, 1515, 1515, 1515, 2361, 1516,
1723      2377, 2396, 1517, 1514,  839, 2374, 1420, 2489, 2489, 2489,
1724      1519, 1519, 1519, 1423, 1423, 1423,  839, 1424,  839, 2385,
1725      1425, 1512,  839, 1408, 2489, 2375,  839, 1520, 1017, 1017,
1726      1017, 1526, 1526, 1526, 1432, 1432, 1432, 2386, 1433, 1407,
1727      2397, 1434, 1406, 1036, 1036, 1036, 1019, 2394, 1527, 1439,
1728
1729      1439, 1439, 2382, 1440,  839, 2395, 1441, 1443, 1443, 1443,
1730      1518, 1038, 1445, 1445, 1445, 1446, 1446, 1446, 1534, 1534,
1731      1534, 1449, 1449, 1449, 2380, 1444, 2381, 1451, 1451, 1451,
1732      1521, 1452, 1405,  839, 1453,  839, 1535, 2387,  839, 1450,
1733      1528, 2489, 2489, 2489, 1455, 1455, 1455, 1403, 1456, 1402,
1734      1401, 1457, 1458, 1458, 1458, 2441, 1459, 2392, 2489, 1460,
1735      1461, 1461, 1461, 1537, 1537, 1537,  839, 1538, 2383,  839,
1736      1539,  897,  897,  897, 1541, 1541, 1541, 1462, 1543, 1543,
1737      1543, 2489, 2489, 2489, 1536, 1467, 1467, 1467, 2393,  899,
1738       839, 1542, 1546, 1546, 1546, 1544, 1547,  839, 2489, 1548,
1739
1740       839, 1400, 1468, 1550, 1550, 1550, 1471, 1471, 1471,  922,
1741       922,  922, 1560, 1560, 1560, 1562, 1562, 1562,  839, 2400,
1742      1545, 1551, 1540, 1482, 1482, 1482,  839,  924,  839, 1561,
1743      1564, 1564, 1564, 1563, 1565,  839,  839, 1566, 1399, 2407,
1744      1483, 1382, 1484, 1484, 1484, 1567, 1567, 1567, 2402, 1568,
1745      2398,  839, 1569,  939,  939,  939, 1380, 2401, 1559, 1485,
1746      1487, 1487, 1487, 1571, 1571, 1571, 2403, 1572, 2411,  839,
1747      1573,  941, 1489, 1489, 1489, 2399,  839, 1488, 1574, 1574,
1748      1574, 1379, 1575, 1378, 1377, 1576,  950,  950,  950, 1490,
1749      1578, 1578, 1578, 1493, 1493, 1493, 1580, 1580, 1580, 2404,
1750
1751      1581, 1376, 2412, 1582,  952, 1570,  839, 1579,  839, 2417,
1752      1494, 1497, 1497, 1497, 1586, 1586, 1586,  839, 1587,  839,
1753      2405, 1588,  967,  967,  967, 1594, 1594, 1594, 1498,  839,
1754      2409, 1577, 1596, 1596, 1596, 1506, 1506, 1506,  839,  839,
1755       969, 2410, 1595, 2421, 1589,  839, 1601, 1601, 1601, 1597,
1756      1602, 1375, 1507, 1603,  983,  983,  983, 1510, 1510, 1510,
1757      1606, 1606, 1606, 2422, 1607,  839, 1374, 1608, 1002, 1002,
1758      1002, 2418,  985, 1373, 1511, 1513, 1513, 1513, 1610, 1610,
1759      1610, 1371, 1611,  839, 2413, 1612, 1004, 1515, 1515, 1515,
1760      1609, 1516, 1514, 1362, 1517, 2489, 2489, 2489, 1519, 1519,
1761
1762      1519, 1614, 1614, 1614, 2414, 1615, 1604, 2423, 1616, 1017,
1763      1017, 1017, 2489, 1341,  839, 1520, 1620, 1620, 1620, 1622,
1764      1622, 1622, 1526, 1526, 1526, 1340,  839, 1019, 1624, 1624,
1765      1624, 1338, 1625, 1621, 1613, 1626, 1623,  839, 2424, 1527,
1766      1036, 1036, 1036, 1629, 1629, 1629, 1534, 1534, 1534, 1633,
1767      1633, 1633, 1537, 1537, 1537,  839, 1538,  839, 1038, 1539,
1768      1617,  839, 1336, 1332, 1535, 2415, 1634,  897,  897,  897,
1769      1541, 1541, 1541, 1636, 1636, 1636, 2416, 1637, 1181, 2446,
1770      1638, 1543, 1543, 1543, 2419,  899, 2420, 1542, 1639, 1639,
1771      1639,  839, 1640,  839,  839, 1641, 1627,  839, 1544, 1642,
1772
1773      1642, 1642, 1546, 1546, 1546,  839, 1547, 1329,  839, 1548,
1774      1325, 1635, 1550, 1550, 1550, 2431, 1643,  922,  922,  922,
1775      1560, 1560, 1560, 1324, 1653, 1653, 1653, 2437, 1654,  839,
1776      1551, 1655, 1562, 1562, 1562,  924, 2427, 1561, 1564, 1564,
1777      1564, 2438, 1565, 1652, 2428, 1566,  839, 1567, 1567, 1567,
1778      1563, 1568, 2429, 2432, 1569,  939,  939,  939, 1571, 1571,
1779      1571,  839, 1572, 2430,  839, 1573, 1323, 1574, 1574, 1574,
1780      2433, 1575,  839,  941, 1576,  950,  950,  950, 1578, 1578,
1781      1578, 1658, 1658, 1658,  839, 1659, 1322, 2435, 1660, 1321,
1782      1580, 1580, 1580,  952, 1581, 1579,  839, 1582, 1586, 1586,
1783
1784      1586, 1296, 1587, 2439,  839, 1588, 1656,  967,  967,  967,
1785      1665, 1665, 1665, 1667, 1667, 1667, 1669, 1669, 1669, 1671,
1786      1671, 1671, 2436, 2440, 1657,  969, 1292, 1666, 2434, 1284,
1787      1668,  839, 2441, 1670, 2446, 2447, 1672, 1594, 1594, 1594,
1788      1673, 1673, 1673,  839, 1674,  839,  839, 1675, 1596, 1596,
1789      1596, 1676, 1676, 1676, 1595, 1677, 1283, 2450, 1678, 1664,
1790      1601, 1601, 1601, 2447, 1602, 1597,  839, 1603,  983,  983,
1791       983, 1606, 1606, 1606, 2456, 1607,  839,  839, 1608, 1002,
1792      1002, 1002, 1282, 1610, 1610, 1610,  985, 1611,  839, 1281,
1793      1612, 2489, 2489, 2489, 1614, 1614, 1614, 1004, 1615, 1271,
1794
1795      2442, 1616, 1017, 1017, 1017, 1687, 1687, 1687, 2489, 1620,
1796      1620, 1620, 1690, 1690, 1690,  839, 1691, 2456, 2451, 1692,
1797      1019,  839, 1688, 1622, 1622, 1622, 1621,  839,  839, 1682,
1798       839, 1684, 1685, 1270, 1693, 1693, 1693, 1268, 1694, 2443,
1799      1623, 1695, 1624, 1624, 1624, 2444, 1625,  839,  839, 1626,
1800      1036, 1036, 1036, 1709, 1709, 1709, 1710, 1710, 1710, 1686,
1801      1633, 1633, 1633, 1712, 1712, 1712,  839, 1713, 1038, 2457,
1802      1714, 2445, 2448, 1711, 1709, 1709, 1709, 1634,  839,  897,
1803       897,  897, 1636, 1636, 1636,  839, 1637, 1267,  839, 1638,
1804      2449, 1639, 1639, 1639, 1266, 1640, 1265,  899, 1641, 1642,
1805
1806      1642, 1642,  922,  922,  922, 2467, 1258, 1696, 1629, 1629,
1807      1629, 1716, 1716, 1716,  839, 1717, 1643, 2458, 1718,  839,
1808       924, 1839, 1839, 1839, 2463,  839,  839, 2464, 1697, 1698,
1809      1699, 1715, 1700, 1701, 1238, 1702,  939,  939,  939, 1703,
1810      1704, 1705, 1706, 1707, 1653, 1653, 1653, 1236, 1654, 2452,
1811       839, 1655, 1235, 2474,  941, 2467, 1234, 1727,  950,  950,
1812       950, 1658, 1658, 1658,  839, 1659,  839,  839, 1660, 1730,
1813      1730, 1730,  967,  967,  967, 1233,  952, 1665, 1665, 1665,
1814      1735, 1735, 1735, 1232, 1736, 1231, 1731, 1737, 2453, 2475,
1815       969, 2465,  839, 1728, 1666, 1667, 1667, 1667, 1738, 1738,
1816
1817      1738, 1729, 1739, 1230, 2478, 1740, 1229, 1669, 1669, 1669,
1818       839, 2478, 1668, 1741, 1741, 1741, 2466, 1742,  839, 2479,
1819      1743, 1227,  839, 1734, 1670, 1671, 1671, 1671, 1744, 1744,
1820      1744, 1219, 1745,  839, 2470, 1746, 1673, 1673, 1673, 2479,
1821      1674, 1213, 1672, 1675, 1676, 1676, 1676,  839, 1677, 1193,
1822       839, 1678,  983,  983,  983, 1002, 1002, 1002, 2489, 2489,
1823      2489, 1017, 1017, 1017, 1687, 1687, 1687, 1892, 1892, 1892,
1824       985, 2471, 1192, 1004, 1751, 2489, 1756, 1756, 1756, 1019,
1825      1757, 1688, 1190, 1758, 1690, 1690, 1690, 2486, 1691, 1189,
1826       839, 1692, 1693, 1693, 1693,  839, 1694, 1187,  839, 1695,
1827
1828      1186, 1754, 1036, 1036, 1036,  839, 1753,  839, 1710, 1710,
1829      1710, 1776, 1776, 1776, 2472, 1777, 1755, 1185, 1778, 2473,
1830      1038, 1779, 1779, 1779, 1760, 1711, 1712, 1712, 1712, 2480,
1831      1713, 2481, 1184, 1714, 1716, 1716, 1716, 1183, 1717, 1780,
1832      1177, 1718,  922,  922,  922,  939,  939,  939,  950,  950,
1833       950, 1730, 1730, 1730, 1792, 1792, 1792, 1158, 1793, 1157,
1834       924, 1794, 1154,  941, 1149, 1148,  952, 1131, 1731, 2486,
1835      1791, 1795, 1795, 1795, 1797, 1797, 1797,  967,  967,  967,
1836      1735, 1735, 1735,  839, 1736, 1130, 1129, 1737, 1796, 1128,
1837      1121, 1798, 1120, 1118, 1789,  969, 1117, 1738, 1738, 1738,
1838
1839      1790, 1739, 1116, 1115, 1740, 1741, 1741, 1741, 1110, 1742,
1840      1108, 1107, 1743, 1744, 1744, 1744, 1104, 1745, 1096, 1095,
1841      1746, 1800, 1800, 1800, 1802, 1802, 1802,  983,  983,  983,
1842      1809, 1809, 1809, 1093, 1799, 1002, 1002, 1002, 1801, 1092,
1843      1091, 1803, 1812, 1812, 1812,  985, 1090, 1810, 1017, 1017,
1844      1017, 1089, 1088, 1004, 1756, 1756, 1756, 1087, 1757, 1813,
1845      1086, 1758, 1036, 1036, 1036, 1084, 1019, 1776, 1776, 1776,
1846      1083, 1777, 1082, 1081, 1778, 1779, 1779, 1779, 1080, 1808,
1847      1038,  922,  922,  922,  939,  939,  939, 1079,  950,  950,
1848       950, 1077, 1811, 1780, 1792, 1792, 1792, 1074, 1793,  924,
1849
1850      1814, 1794,  941, 1795, 1795, 1795,  952, 1073, 1843, 1843,
1851      1843, 1071, 1844, 1070, 1816, 1845, 1797, 1797, 1797, 1067,
1852      1796, 1846, 1846, 1846, 1064, 1847, 1059, 1055, 1848,  967,
1853       967,  967, 1054, 1798, 1053, 1052, 1841, 1051, 1049, 1840,
1854      1842, 1800, 1800, 1800, 1850, 1850, 1850,  969, 1851, 1048,
1855      1047, 1852, 1802, 1802, 1802, 1853, 1853, 1853, 1801, 1854,
1856      1046, 1045, 1855, 1856, 1856, 1856, 1858, 1858, 1858, 1803,
1857      1860, 1860, 1860, 1862, 1862, 1862,  983,  983,  983, 1044,
1858      1857, 1043, 1042, 1859, 1849,  839, 1040, 1861, 1016, 1015,
1859      1863, 1809, 1809, 1809,  985, 1865, 1865, 1865, 1014, 1866,
1860
1861      1013, 1009, 1867, 1002, 1002, 1002, 1008, 1007, 1810, 1812,
1862      1812, 1812, 1869, 1869, 1869, 1006, 1870,  982,  981, 1871,
1863       980, 1004, 1017, 1017, 1017,  979, 1813, 1864, 1873, 1873,
1864      1873, 1036, 1036, 1036, 1890, 1890, 1890, 1895, 1895, 1895,
1865      1019, 1839, 1839, 1839,  973, 1874,  922,  922,  922, 1038,
1866       972, 1891, 1181,  971,  939,  939,  939,  966, 1868,  950,
1867       950,  950,  962,  961,  924,  960, 1843, 1843, 1843,  956,
1868      1844, 1872,  941, 1845, 1846, 1846, 1846,  952, 1847,  955,
1869       954, 1848, 1875,  967,  967,  967, 1850, 1850, 1850,  949,
1870      1851,  948,  944, 1852,  943, 1856, 1856, 1856,  938, 1899,
1871
1872       937,  969,  936, 1900, 1853, 1853, 1853,  932, 1854,  927,
1873      1901, 1855, 1857, 1903, 1903, 1903,  926, 1904,  921,  920,
1874      1905, 1858, 1858, 1858, 1906, 1906, 1906,  919, 1907,  918,
1875       917, 1908, 1860, 1860, 1860, 1902,  916,  915, 1859, 1909,
1876      1909, 1909,  914, 1910,  909,  908, 1911,  907,  903, 1861,
1877      1862, 1862, 1862, 1912, 1912, 1912,  902, 1913,  901,  896,
1878      1914,  983,  983,  983, 1865, 1865, 1865, 1863, 1866,  895,
1879       894, 1867, 1002, 1002, 1002,  893, 1869, 1869, 1869,  985,
1880      1870,  888,  887, 1871, 1917, 1917, 1917, 1873, 1873, 1873,
1881      1004, 1919, 1919, 1919,  886, 1920,  885,  881, 1921, 1036,
1882
1883      1036, 1036, 1918,  880, 1874, 1929, 1929, 1929, 1890, 1890,
1884      1890,  870, 1937, 1937, 1937,  862, 1938, 1038, 1915, 1939,
1885      1892, 1892, 1892,  839, 1916, 1891, 1181, 1940, 1940, 1940,
1886      1181, 1895, 1895, 1895, 1944, 1944, 1944, 1945, 1945, 1945,
1887      1947, 1947, 1947,  950,  950,  950,  967,  967,  967,  861,
1888      1903, 1903, 1903,  860, 1904, 1946, 1922, 1905, 1948,  859,
1889       858,  952,  857,  852,  969, 1906, 1906, 1906,  851, 1907,
1890       850,  849, 1908, 1909, 1909, 1909,  848, 1910,  847,  846,
1891      1911, 1912, 1912, 1912,  845, 1913,  842,  840, 1914,  983,
1892       983,  983, 1002, 1002, 1002, 1950, 1917, 1917, 1917,  839,
1893
1894      1949, 1919, 1919, 1919,  837, 1920,  836,  985, 1921,  835,
1895      1004, 1036, 1036, 1036, 1918, 1959, 1959, 1959, 1929, 1929,
1896      1929, 1966, 1966, 1966, 1937, 1937, 1937,  827, 1938, 1038,
1897       826, 1939,  825,  839,  824,  823,  839,  822,  821,  839,
1898       818, 1952, 1181,  817, 1951, 1940, 1940, 1940, 1967,  816,
1899       815, 1960, 1944, 1944, 1944, 1997, 1997, 1997, 1945, 1945,
1900      1945, 1947, 1947, 1947,  807,  806, 1953, 1179, 1179, 1179,
1901      1179, 1179, 1179, 1179, 1179, 1179, 1946,  805, 1179, 1948,
1902       950,  950,  950, 1179, 1179, 1179, 1181, 1179, 1998, 1998,
1903      1998, 1997, 1997, 1997, 1998, 1998, 1998,  804,  952, 1975,
1904
1905      1975, 1975,  983,  983,  983, 1179, 1179, 1179, 1179, 1179,
1906      1179, 1179, 1179, 1179, 1179, 1179,  801, 1976, 1179,  800,
1907       985,  799,  798, 1179, 1179, 1179, 1181, 1179,  797, 1978,
1908      1978, 1978, 1036, 1036, 1036, 1974,  789, 1981, 1981, 1981,
1909      1982, 1982, 1982,  786,  785, 1179, 1179, 1979,  784,  781,
1910      1038, 1995, 1995, 1995, 1977,  839,  780,  779,  839, 1959,
1911      1959, 1959, 1966, 1966, 1966,  950,  950,  950,  778,  839,
1912      1975, 1975, 1975,  983,  983,  983,  770,  839,  769,  766,
1913       839,  763,  762,  952, 1980, 2018, 2018, 2018, 1976,  761,
1914       690,  985, 1986,  760,  752, 1993, 1179, 1179, 1179, 1179,
1915
1916      1179, 1996, 1179, 1179, 1179,  749,  744, 1179, 1978, 1978,
1917      1978,  743, 1179, 1179, 1179, 1181, 1179, 2000, 2018, 2018,
1918      2018,  742, 2001,  741,  730,  729, 1979, 1036, 1036, 1036,
1919      1981, 1981, 1981,  726, 1179, 1179, 1179, 1179, 1179, 1179,
1920      1179, 1179, 1179, 1179, 1996, 1038,  722, 1179,  839, 1982,
1921      1982, 1982, 1179, 1179, 1179, 1181, 1179,  721,  713, 1995,
1922      1995, 1995,  712, 2003,  711,  708,  707,  839,  950,  950,
1923       950, 2020, 2020, 2020, 1179, 1179, 2002,  839, 2022, 2022,
1924      2022,  699, 2004, 2039, 2039, 2039,  952,  698,  697, 2021,
1925       695,  694, 2017, 2020, 2020, 2020, 2023, 2022, 2022, 2022,
1926
1927       693, 2040, 2054, 2054, 2054, 2039, 2039, 2039, 2054, 2054,
1928      2054, 2021, 2077, 2077, 2077, 2023,  692, 2019,  691,  689,
1929       839,  688,  681, 2040,  679,  672,  839, 2082, 2082, 2082,
1930       839, 2090, 2090, 2090, 2091, 2091, 2091, 2094, 2094, 2094,
1931       671, 2069, 2082, 2082, 2082,  839, 2077, 2077, 2077,  839,
1932      2092,  668,  839, 2093,  667,  839, 2099, 2099, 2099,  666,
1933       839, 2102, 2102, 2102,  839, 2103, 2103, 2103, 2104, 2104,
1934      2104, 2090, 2090, 2090,  839, 2098, 2094, 2094, 2094,  839,
1935      2091, 2091, 2091,  839, 2107,  665,  839, 2108,  663,  839,
1936      2114, 2114, 2114,  662,  839, 2099, 2099, 2099,  839, 2116,
1937
1938       661,  660, 2117,  659, 2106, 2119, 2119, 2119,  839, 2111,
1939      2102, 2102, 2102,  839, 2120,  657,  656, 2121, 2103, 2103,
1940      2103,  655, 2122,  839,  654, 2123,  651,  650,  839, 2104,
1941      2104, 2104, 2114, 2114, 2114,  649,  839, 2119, 2119, 2119,
1942       647, 2139,  644,  643, 2140,  639,  638,  839,  637,  636,
1943       839, 2146, 2146, 2146,  635,  839, 2153, 2153, 2153, 2146,
1944      2146, 2146, 2124,  634,  633, 2134, 2153, 2153, 2153,  839,
1945      2175, 2175, 2175,  631,  839,  630,  629,  839, 2180, 2180,
1946      2180,  628,  627,  626,  839, 2175, 2175, 2175,  839, 2220,
1947      2220, 2220, 2167, 2180, 2180, 2180,  839, 2201,  625, 2174,
1948
1949      2202,  620,  617,  839, 2233, 2233, 2233,  839, 2238, 2238,
1950      2238,  839, 2220, 2220, 2220,  619, 2242,  615, 2196, 2243,
1951       614,  421,  839, 2254, 2254, 2254,  839, 2233, 2233, 2233,
1952       839, 2256,  420,  608, 2257, 2238, 2238, 2238,  607, 2262,
1953       606,  839, 2263,  605,  604,  839, 2266, 2266, 2266,  603,
1954      2254, 2254, 2254,  839, 2279,  600,  599, 2280, 2266, 2266,
1955      2266,  598, 2291,  596,  839, 2292,  590,  589,  839, 2307,
1956      2307, 2307, 2311, 2311, 2311,  588,  839, 2315, 2315, 2315,
1957       587, 2307, 2307, 2307,  586, 2330,  585,  839, 2331,  584,
1958      2312, 2334, 2334, 2334,  583,  839, 2311, 2311, 2311,  839,
1959
1960      2315, 2315, 2315,  582, 2338,  580,  574, 2339,  573, 2335,
1961      2340, 2340, 2340,  570, 2312, 2345, 2345, 2345,  839, 2350,
1962      2350, 2350, 2352, 2352, 2352, 2334, 2334, 2334,  839, 2345,
1963      2345, 2345,  569, 2346, 2340, 2340, 2340, 2351, 2364,  568,
1964      2353, 2365,  567, 2335, 2372, 2372, 2372, 2346, 2350, 2350,
1965      2350,  566,  839, 2352, 2352, 2352, 2372, 2372, 2372, 2425,
1966      2425, 2425, 2373, 2425, 2425, 2425, 2351, 2454, 2454, 2454,
1967       564, 2353,  558,  557, 2373,  556,  553, 2426, 2459, 2459,
1968      2459, 2426, 2461, 2461, 2461, 2455, 2454, 2454, 2454, 2468,
1969      2468, 2468, 2459, 2459, 2459,  552, 2460, 2461, 2461, 2461,
1970
1971      2462, 2476, 2476, 2476, 2455,  551,  549, 2469,  542,  541,
1972      2460, 2468, 2468, 2468,  540, 2462, 2476, 2476, 2476, 2477,
1973      2482, 2482, 2482, 2484, 2484, 2484, 2482, 2482, 2482, 2469,
1974      2484, 2484, 2484,  539, 2477, 2487, 2487, 2487, 2483,  538,
1975       537, 2485,  533,  525, 2483, 2487, 2487, 2487, 2485,  524,
1976       523,  519,  517, 2488,  511,  510,  507,  505,  499,  498,
1977       496,  495,  481, 2488,  130,  130,  130,  130,  130,  130,
1978       130,  130,  130,  131,  131,  131,  131,  131,  131,  131,
1979       131,  131,  136,  136,  136,  136,  136,  136,  136,  136,
1980       136,  139,  139,  139,  139,  139,  139,  139,  139,  139,
1981
1982       142,  142,  142,  142,  142,  142,  142,  142,  142,  145,
1983       145,  145,  145,  145,  145,  145,  145,  145,  152,  152,
1984       152,  152,  152,  152,  152,  152,  152,  156,  156,  156,
1985       156,  156,  156,  156,  156,  156,  161,  161,  161,  161,
1986       161,  161,  161,  161,  161,  166,  166,  166,  166,  166,
1987       166,  166,  166,  166,  175,  175,  175,  175,  175,  175,
1988       175,  175,  175,  181,  181,  181,  181,  181,  181,  181,
1989       181,  181,  188,  188,  188,  188,  188,  188,  188,  188,
1990       188,  194,  194,  194,  194,  194,  194,  194,  194,  194,
1991       210,  210,  210,  210,  210,  210,  210,  210,  210,  216,
1992
1993       216,  216,  216,  216,  216,  216,  216,  216,  223,  223,
1994       223,  223,  223,  223,  223,  223,  223,  242,  242,  242,
1995       242,  242,  242,  242,  242,  242,  248,  248,  248,  248,
1996       248,  248,  248,  248,  248,  254,  254,  254,  254,  254,
1997       254,  254,  254,  254,  262,  262,  262,  262,  262,  262,
1998       262,  262,  262,  269,  269,  269,  269,  269,  269,  269,
1999       269,  269,  285,  285,  285,  285,  285,  285,  285,  285,
2000       285,  303,  303,  303,  303,  303,  303,  303,  303,  303,
2001       322,  322,  322,  322,  322,  322,  322,  322,  322,  341,
2002       341,  341,  341,  341,  341,  341,  341,  341,  361,  361,
2003
2004       361,  361,  361,  361,  361,  361,  361,  382,  382,  382,
2005       382,  382,  382,  382,  382,  382,  404,  404,  404,  404,
2006       404,  404,  404,  404,  404,  407,  407,  407,  407,  407,
2007       407,  407,  407,  407,  430,  430,  430,  474,  473,  472,
2008       430,  439,  439,  439,  471,  470,  469,  439,  445,  445,
2009       445,  467,  465,  464,  445,  451,  451,  451,  463,  462,
2010       460,  451,  461,  461,  461,  458,  457,  456,  461,  468,
2011       468,  468,  453,  452,  450,  468,  482,  482,  482,  448,
2012       447,  446,  482,  497,  497,  497,  444,  442,  441,  497,
2013       506,  506,  506,  440,  438,  431,  506,  518,  518,  518,
2014
2015       429,  427,  421,  518,  534,  534,  534,  420,  421,  420,
2016       534,  550,  550,  550,  419,  418, 2489,  550,  565,  565,
2017       565, 2489, 2489, 2489,  565,  581,  581,  581, 2489, 2489,
2018      2489,  581,  597,  597,  597, 2489, 2489, 2489,  597,  616,
2019       616,  616,  616,  616,  616,  616, 2489,  616,  632, 2489,
2020      2489, 2489,  632,  642, 2489, 2489, 2489,  642,  648, 2489,
2021      2489, 2489,  648,  658, 2489, 2489, 2489,  658,  664, 2489,
2022      2489, 2489,  664,  680, 2489, 2489, 2489,  680,  696, 2489,
2023      2489, 2489,  696,  706, 2489, 2489, 2489,  706,  720, 2489,
2024      2489, 2489,  720,  740, 2489, 2489, 2489,  740,  759, 2489,
2025
2026      2489, 2489,  759,  777, 2489, 2489, 2489,  777,  796, 2489,
2027      2489, 2489,  796,  814, 2489, 2489, 2489,  814,  834, 2489,
2028      2489, 2489,  834,  838,  838,  838,  838,  838,  838,  838,
2029       838,  838,  844, 2489, 2489, 2489, 2489,  844,  430,  430,
2030       430, 2489, 2489, 2489,  430,  854,  854,  854,  854, 2489,
2031      2489,  854,  854,  439,  439,  439, 2489, 2489, 2489,  439,
2032       867,  867,  867,  867, 2489, 2489,  867,  867,  445,  445,
2033       445, 2489, 2489, 2489,  445,  877,  877,  877,  877, 2489,
2034      2489,  877,  877,  451,  451,  451, 2489, 2489, 2489,  451,
2035       890,  890,  890,  890, 2489, 2489,  890,  890,  461,  461,
2036
2037       461, 2489, 2489, 2489,  461,  898,  898,  898,  898, 2489,
2038      2489,  898,  898,  468,  468,  468, 2489, 2489, 2489,  468,
2039       911,  911,  911,  911, 2489, 2489,  911,  911,  923,  923,
2040       923,  923, 2489, 2489,  923,  923,  497,  497,  497, 2489,
2041      2489, 2489,  497,  929,  929,  929,  929, 2489, 2489,  929,
2042       929,  506,  506,  506, 2489, 2489, 2489,  506,  940,  940,
2043       940,  940, 2489, 2489,  940,  940,  518,  518,  518, 2489,
2044      2489, 2489,  518,  951,  951,  951,  951, 2489, 2489,  951,
2045       951,  534,  534,  534, 2489, 2489, 2489,  534,  968,  968,
2046       968,  968, 2489, 2489,  968,  968,  550,  550,  550, 2489,
2047
2048      2489, 2489,  550,  984,  984,  984,  984, 2489, 2489,  984,
2049       984,  565,  565,  565,  565, 2489,  565, 2489,  565, 1003,
2050      1003, 1003, 1003, 2489, 2489, 1003, 1003,  581,  581,  581,
2051      2489, 2489, 2489,  581, 1018, 1018, 1018, 1018, 2489, 2489,
2052      1018, 1018,  597,  597,  597,  597, 2489,  597, 2489,  597,
2053      1037, 1037, 1037, 1037, 2489, 2489, 1037, 1037,  838,  838,
2054       838,  838,  838,  838,  838,  838,  838,  844, 2489,  844,
2055      2489, 2489,  844,  430,  430,  430, 2489, 2489, 2489,  430,
2056       854,  854,  854,  854, 2489, 2489,  854,  854,  439,  439,
2057       439, 2489, 2489, 2489,  439,  867,  867,  867,  867, 2489,
2058
2059      2489,  867,  867,  445,  445,  445, 2489, 2489, 2489,  445,
2060       877,  877,  877,  877, 2489, 2489,  877,  877,  451,  451,
2061       451, 2489, 2489, 2489,  451,  890,  890,  890,  890, 2489,
2062      2489,  890,  890,  461,  461,  461, 2489, 2489, 2489,  461,
2063       898,  898,  898,  898, 2489, 2489,  898,  898,  468,  468,
2064       468, 2489, 2489, 2489,  468,  911,  911,  911,  911, 2489,
2065      2489,  911,  911,  923,  923,  923,  923, 2489, 2489,  923,
2066       923,  497,  497,  497, 2489, 2489, 2489,  497,  929,  929,
2067       929,  929, 2489, 2489,  929,  929,  506,  506,  506,  506,
2068      2489,  506, 2489,  506,  940,  940,  940,  940, 2489, 2489,
2069
2070       940,  940,  518,  518,  518, 2489, 2489, 2489,  518,  951,
2071       951,  951,  951, 2489, 2489,  951,  951,  534,  534,  534,
2072      2489, 2489, 2489,  534,  968,  968,  968,  968, 2489, 2489,
2073       968,  968,  550,  550,  550, 2489, 2489, 2489,  550,  984,
2074       984,  984,  984, 2489, 2489,  984,  984,  565,  565,  565,
2075       565, 2489,  565, 2489,  565, 1003, 1003, 1003, 1003, 2489,
2076      2489, 1003, 1003,  581,  581,  581, 2489, 2489, 2489,  581,
2077      1018, 1018, 1018, 1018, 2489, 2489, 1018, 1018,  597,  597,
2078       597,  597, 2489,  597, 2489,  597, 1037, 1037, 1037, 1037,
2079      2489, 2489, 1037, 1037,  838,  838,  838,  838,  838,  838,
2080
2081       838,  838,  838, 1179, 1179, 1179, 1179, 1179, 1179, 1179,
2082      1179, 1179,  430,  430,  430, 2489, 2489, 2489,  430,  854,
2083       854,  854,  854, 2489, 2489,  854,  854,  439,  439,  439,
2084      2489, 2489, 2489,  439,  867,  867,  867,  867, 2489, 2489,
2085       867,  867,  445,  445,  445,  445, 2489,  445, 2489,  445,
2086       877,  877,  877,  877, 2489, 2489,  877,  877,  451,  451,
2087       451,  451, 2489,  451, 2489,  451,  890,  890,  890,  890,
2088      2489, 2489,  890,  890,  461,  461,  461, 2489, 2489, 2489,
2089       461,  898,  898,  898,  898, 2489, 2489,  898,  898,  468,
2090       468,  468,  468, 2489,  468, 2489,  468,  911,  911,  911,
2091
2092       911, 2489, 2489,  911,  911,  923,  923,  923,  923, 2489,
2093      2489,  923,  923,  497,  497,  497, 2489, 2489, 2489,  497,
2094       929,  929,  929,  929, 2489, 2489,  929,  929,  506,  506,
2095       506,  506, 2489,  506, 2489,  506,  940,  940,  940,  940,
2096      2489, 2489,  940,  940,  518,  518,  518,  518, 2489,  518,
2097      2489,  518,  951,  951,  951,  951, 2489, 2489,  951,  951,
2098       534,  534,  534, 2489, 2489, 2489,  534,  968,  968,  968,
2099       968, 2489, 2489,  968,  968,  550,  550,  550, 2489, 2489,
2100      2489,  550,  984,  984,  984,  984, 2489, 2489,  984,  984,
2101       565,  565,  565, 2489, 2489, 2489,  565, 1003, 1003, 1003,
2102
2103      1003, 2489, 2489, 1003, 1003,  581,  581,  581,  581, 2489,
2104       581, 2489,  581, 1018, 1018, 1018, 1018, 2489, 2489, 1018,
2105      1018,  597,  597,  597, 2489, 2489, 2489,  597, 1037, 1037,
2106      1037, 1037, 2489, 2489, 1037, 1037,  838,  838,  838,  838,
2107       838,  838,  838,  838,  838, 1179, 1179, 1179, 1179, 1179,
2108      1179, 1179, 1179, 1179,  430,  430,  430,  430, 2489,  430,
2109      2489,  430,  854,  854,  854,  854, 2489, 2489,  854,  854,
2110       439,  439,  439, 2489, 2489, 2489,  439,  867,  867,  867,
2111       867, 2489, 2489,  867,  867, 1969, 1969, 1969, 1969, 1969,
2112      1969, 1969, 1969, 1969, 1970, 1970, 1970, 1970, 1970, 1970,
2113
2114      1970, 1970, 1970,  129, 2489, 2489, 2489, 2489, 2489, 2489,
2115      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
2116      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
2117      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
2118      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
2119      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489,
2120      2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489, 2489
2121     } ;
2122
2123 static yyconst short int yy_chk[8270] =
2124     {   0,
2125         0,    3,    3,    3,    4,    4,    4,    5,    5,    5,
2126         6,    6,    6,    7,    7,    7,   11,    3,    9,   12,
2127         4,   10, 1438,    5,    0,    9,    6,  414,   10,    7,
2128         8,    8,    8,  134,   11,   13,   13,   12,   14,   14,
2129        13,   13,  414,   14,   14,  135,    8,   17,   17,  134,
2130        13,   15,   15,   14,   15,  138,   15,   16,   16, 1438,
2131        16,  135,   16,   18,   18,  313,   15,   19,   19,   19,
2132       313,  138,   16,   20,   20,   20,   23,   23,   23,   24,
2133        24,   24,  280,   19,   17,  132,  132,  132,  489,   20,
2134       280,  335,   23, 1761,  489,   24,  133,  133,  133,  335,
2135
2136        18,   21,   21,   21,   21,   21,   21,   21,   21,   21,
2137        21,   21,   21,   21,   21,   21, 1761,   21,   21,   21,
2138        21,   21,   25,   25,   25,   26,   26,   26,   27,   27,
2139        27,   28,   28,   28,   29,   29,   29,  395,   25,   21,
2140        21,   26,  423, 1331,   27,  423,  395,   28,  766,  766,
2141        29, 1825,   21,   22,   22,   22,   22,   22,   22,   22,
2142        22,   22,   22,   22,   22,   22,   22,   22, 1331,   22,
2143        22,   22,   22,   22,   30,   30,   30,   31,   31,   31,
2144        32,   32,   32,   33,   33,   33,   34,   34,   34,  539,
2145        30,   22,   22,   31,  556, 1825,   32,  841,  539,   33,
2146
2147      1834,  841,   34,  556,   22,   35,   35,   35,   35,   35,
2148        35,   35,   35,   35,   35,   35,   35,   35,   35,   35,
2149      1703,   35,   35,   35,   35,   35,   37,   37,   37, 1178,
2150        38,   38,   38,   39,   39,   39,   40,   40,   40,  137,
2151       137,  137,   37,   35,   35,   35,   38, 1178, 1836,   39,
2152        35, 1703,   40,   35,   36,   36,   36,   36,   36,   36,
2153        36,   36,   36,   36,   36,   36,   36,   36,   36, 1705,
2154        36,   36,   36,   36,   36,   43,   43,   43, 1837,   44,
2155        44,   44,   45,   45,   45,   46,   46,   46,  159,  159,
2156       159,   43,   36,   36,   36,   44, 1407, 1407,   45,   36,
2157
2158      1705,   46,   36,   41,   41,   41,   41,   41,   41,   41,
2159        41,   41,   41,   41,   41,   41,   41,   41, 1702,   41,
2160        41,   41,   41,   41,   49,   49,   49,   50,   50,   50,
2161        51,   51,   51,   52,   52,   52,  167,  167,  167, 1437,
2162        49,   41,   41,   50, 1838, 1437,   51,   41, 1700,   52,
2163      1702,   41,   41,   42,   42,   42,   42,   42,   42,   42,
2164        42,   42,   42,   42,   42,   42,   42,   42, 1818,   42,
2165        42,   42,   42,   42,   55,   55,   55,   56,   56,   56,
2166        57,   57,   57,   58,   58,   58,  173,  173,  173, 1700,
2167        55,   42,   42,   56, 1495, 1495,   57,   42, 1894,   58,
2168
2169      1818,   42,   42,   47,   47,   47,   47,   47,   47,   47,
2170        47,   47,   47,   47,   47,   47,   47,   47,   47,   47,
2171        47,   47,   47,   47,   47,   47,   47,   47,   47,   47,
2172        47,   47,   47,   47,   47,   47,   47,   47,   47,   47,
2173        47,   47,   47,   47,   47,   47,   47,   47,   47,   47,
2174        47,   47,   47,   47,   47,   47,   47,   47,   47,   47,
2175        47,   47,   47,   47,   47,   47,   47,   47,   53,   53,
2176        53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
2177        53,   53,   53, 1330,   53,   53,   53,   53,   53,   61,
2178        61,   61, 1770,   62,   62,   62, 1330,   63,   63,   63,
2179
2180        64,   64,   64,  162,  356,   61,   53,   53,   53,   62,
2181       170,  176,   53,   63,  356, 1770,   64,  170, 1824,  162,
2182        53,  182,  182,  182, 1500, 1500,  170,  176, 1896,   53,
2183        54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
2184        54,   54,   54,   54,   54, 1824,   54,   54,   54,   54,
2185        54,   65,   65,   65,  618,   66,   66,   66, 1630,   69,
2186        69,   69,   70,   70,   70,  171,  618,   65,   54,   54,
2187        54,   66,  183,  189,   54,   69, 1501, 1501,   70,  183,
2188      1884,  171,   54,  171,  186,  186,  186, 1630,  183,  189,
2189      1884,   54,   59,   59,   59,   59,   59,   59,   59,   59,
2190
2191        59,   59,   59,   59,   59,   59,   59,   59,   59,   59,
2192        59,   59,   59,   59,   59,   59,   59,   59,   59,   59,
2193        59,   59,   59,   59,   59,   59,   59,   59,   59,   59,
2194        59,   59,   59,   59,   59,   59,   59,   59,   59,   59,
2195        59,   59,   59,   59,   59,   59,   59,   59,   59,   59,
2196        59,   59,   59,   59,   59,   59,   59,   67,   67,   67,
2197        67,   67,   67,   67,   67,   67,   67,   67,   67,   67,
2198        67,   67, 1897,   67,   67,   67,   67,   67,   71,   71,
2199        71,   72,   72,   72,   73,   73,   73,   74,   74,   74,
2200        75,   75,   75,  184,   71,   67,   67,   72,  206,  202,
2201
2202        73,  196,  217,   74, 1504, 1504,   75, 1707,  196,  184,
2203       195,  195,  195,  206,  184,  202, 1941,  196,  217,   67,
2204        67,   68,   68,   68,   68,   68,   68,   68,   68,   68,
2205        68,   68,   68,   68,   68,   68, 1707,   68,   68,   68,
2206        68,   68,   76,   76,   76,   77,   77,   77,   78,   78,
2207        78,   81,   81,   81,   82,   82,   82,  197,   76,   68,
2208        68,   77,  212, 1942,   78, 1679, 1679,   81, 1943,  212,
2209        82, 1749, 1749,  197,  199,  199,  199, 1973,  212,  197,
2210       211,  211,  211,   68,   68,   79,   79,   79,   79,   79,
2211        79,   79,   79,   79,   79,   79,   79,   79,   79,   79,
2212
2213      1531,   79,   79,   79,   79,   79,   83,   83,   83,   84,
2214        84,   84,   87,   87,   87,   88,   88,   88,   89,   89,
2215        89, 1833,   83,   79,   79,   84, 1750, 1750,   87,  231,
2216       249,   88, 1985, 1787,   89,  214,  214,  214, 1531,   79,
2217      1985,   79,  224,  224,  224,  231,  249,   79,   79,   80,
2218        80,   80,   80,   80,   80,   80,   80,   80,   80,   80,
2219        80,   80,   80,   80, 1768,   80,   80,   80,   80,   80,
2220        90,   90,   90,   93,   93,   93,   94,   94,   94,   95,
2221        95,   95,   96,   96,   96, 1768,   90,   80,   80,   93,
2222       225,  241,   94,  263, 1786,   95, 2030,  225,   96,  228,
2223
2224       228,  228, 2030,   80, 1887,   80,  225,  241, 1887,  263,
2225       241,   80,   80,   85,   85,   85,   85,   85,   85,   85,
2226        85,   85,   85,   85,   85,   85,   85,   85,   85,   85,
2227        85,   85,   85,   85,   85,   85,   85,   85,   85,   85,
2228        85,   85,   85,   85,   85,   85,   85,   85,   85,   85,
2229        85,   85,   85,   85,   85,   85,   85,   85,   85,   85,
2230        85,   85,   85,   85,   85,   85,   85,   85,   85,   85,
2231        85,   85,   85,   85,   85,   85,   85,   85,   91,   91,
2232        91,   91,   91,   91,   91,   91,   91,   91,   91,   91,
2233        91,   91,   91,   91,   91,   91,   91,   91,   91,   91,
2234
2235        91,   91,   91,   91,   91,   91,   91,   91,   91,   91,
2236        91,   91,   91,   91,   91,   91,   91,   91,   91,   91,
2237        91,   91,   91,   91,   91,   91,   91,   91,   91,   91,
2238        91,   91,   91,   91,   91,   91,   91,   91,   91,   91,
2239        91,   91,   91,   97,   97,   97,   97,   97,   97,   97,
2240        97,   97,   97,   97,   97,   97,   97,   97,   97,   97,
2241        97,   97,   97,   97,   97,   97,   97,   97,   97,   97,
2242        97,   97,   97,   97,   97,   97,   97,   97,   97,   97,
2243        97,   97,   97,   97,   97,   97,   97,   97,   97,   97,
2244        97,   97,   97,   97,   97,   97,   97,   97,   97,   97,
2245
2246        97,   97,   97,   97,   97,   97,   97,   97,   99,   99,
2247        99,  100,  100,  100,  101,  101,  101,  102,  102,  102,
2248       243,  243,  243, 1926,   99, 1930, 1926,  100, 1956, 1930,
2249       101, 1785, 1956,  102,  103,  103,  103,  103,  103,  103,
2250       103,  103,  103,  103,  103,  103,  103,  103,  103,  103,
2251       103,  103,  103,  103,  103,  103,  103,  103,  103,  103,
2252       103,  103,  103,  103,  103,  103,  103,  103,  103,  103,
2253       103,  103,  103,  103,  103,  103,  103,  103,  103,  103,
2254       103,  103,  103,  103,  103,  103,  103,  103,  103,  103,
2255       103,  103,  103,  103,  103,  103,  103,  103,  103,  105,
2256
2257       105,  105,  106,  106,  106,  107,  107,  107,  108,  108,
2258       108,  246,  246,  246, 1784,  105, 1964, 1783,  106, 1782,
2259      1964,  107, 1996, 1996,  108,  109,  109,  109,  109,  109,
2260       109,  109,  109,  109,  109,  109,  109,  109,  109,  109,
2261       109,  109,  109,  109,  109,  109,  109,  109,  109,  109,
2262       109,  109,  109,  109,  109,  109,  109,  109,  109,  109,
2263       109,  109,  109,  109,  109,  109,  109,  109,  109,  109,
2264       109,  109,  109,  109,  109,  109,  109,  109,  109,  109,
2265       109,  109,  109,  109,  109,  109,  109,  109,  109,  109,
2266       111,  111,  111,  112,  112,  112,  113,  113,  113,  114,
2267
2268       114,  114,  255,  255,  255, 1781,  111, 2006, 1759,  112,
2269      2011, 2006,  113, 1726, 2011,  114,  115,  115,  115,  115,
2270       115,  115,  115,  115,  115,  115,  115,  115,  115,  115,
2271       115,  115,  115,  115,  115,  115,  115,  115,  115,  115,
2272       115,  115,  115,  115,  115,  115,  115,  115,  115,  115,
2273       115,  115,  115,  115,  115,  115,  115,  115,  115,  115,
2274       115,  115,  115,  115,  115,  115,  115,  115,  115,  115,
2275       115,  115,  115,  115,  115,  115,  115,  115,  115,  115,
2276       115,  117,  117,  117,  118,  118,  118,  119,  119,  119,
2277       120,  120,  120,  260,  260,  260, 1725,  117, 2033, 2046,
2278
2279       118, 1724, 2033,  119, 1723, 2046,  120,  121,  121,  121,
2280       121,  121,  121,  121,  121,  121,  121,  121,  121,  121,
2281       121,  121,  121,  121,  121,  121,  121,  121,  121,  121,
2282       121,  121,  121,  121,  121,  121,  121,  121,  121,  121,
2283       121,  121,  121,  121,  121,  121,  121,  121,  121,  121,
2284       121,  121,  121,  121,  121,  121,  121,  121,  121,  121,
2285       121,  121,  121,  121,  121,  121,  121,  121,  121,  121,
2286       121,  121,  123,  123,  123,  124,  124,  124,  125,  125,
2287       125,  126,  126,  126,  127,  127,  148,  157,  123,  127,
2288      2260,  124,  165,  169,  125,  128,  128,  126, 1697,  127,
2289
2290       128,  226, 1722,  157, 2260, 1771,  168, 1721,  165,  169,
2291       128,  169, 1704,  168,  169,  169, 1762,  226,  157, 1763,
2292       148,  127,  168,  165,  168,  169,  148,  168,  168,  244,
2293       148, 1697,  128,  226, 1771,  148,  244, 1704,  168,  239,
2294       239,  239,  240,  240,  240,  244,  251,  251,  251,  252,
2295       252,  252,  277,  257,  258, 1762,  239, 1764, 1763,  240,
2296       257, 1720, 1719,  251, 1689,  293,  252,  253,  277,  257,
2297       258,  258,  267,  267,  267,  268,  268,  268,  270,  270,
2298       270,  293, 1764,  253,  253,  253,  253,  271,  272,  267,
2299      1701,  253,  268, 1765,  271,  253,  253,  253,  253,  274,
2300
2301       274,  274, 1769,  271,  272,  283,  283,  283,  284,  284,
2302       284,  287,  272,  286,  286,  286,  288, 1708,  287,  290,
2303       290,  290,  283, 1769, 1701,  284, 1765,  287, 1683,  296,
2304       296,  296,  288,  300,  300,  300,  301,  301,  301,  302,
2305       302,  302,  304,  304,  304,  288,  296,  305,  306,  311,
2306       300, 1708, 1767,  301,  305, 1774,  302,  308,  308,  308,
2307       320,  320,  320,  305,  306,  311,  306,  321,  321,  321,
2308       325,  324,  296,  323,  323,  323,  330,  320,  324,  327,
2309       327,  327, 1924, 1766,  321, 1767,  325,  324, 1774,  325,
2310       344,  349,  330,  339,  339,  339,  340,  340,  340,  342,
2311
2312       342,  342,  343,  346,  346,  346,  344,  349, 1766,  343,
2313       339,  364,  363,  340,  359,  359,  359, 1924,  343,  363,
2314       344,  360,  360,  360,  362,  362,  362,  364,  363,  369,
2315      1681,  359,  366,  366,  366,  380,  380,  380,  360,  381,
2316       381,  381,  364,  384,  385,  369,  383,  383,  383,  390,
2317       384,  410,  380,  387,  387,  387,  381,  406, 1772,  384,
2318       385,  402,  402,  402,  406,  390,  403,  403,  403,  405,
2319       405,  405,  385,  406,  413,  413,  413, 1680,  402,  422,
2320       422,  422, 1773,  403, 1663,  410,  442,  442,  442, 1662,
2321      1879,  410,  447,  447,  447,  410,  454,  454,  454, 1698,
2322
2323       410, 1772, 1041,  442,  472,  472,  472, 1773, 1706,  447,
2324       475,  475,  475,  454, 1775,  476,  476,  476, 1041,  476,
2325      1879,  472,  476,  477,  477,  477, 1820,  475, 1698,  422,
2326       478,  478,  478, 1706,  478, 1651, 1706,  478, 1822, 1698,
2327       477,  483,  483,  483,  484,  484,  484, 1775,  484, 1820,
2328      1829,  484,  485,  485,  485,  486,  486,  486,  483,  486,
2329      1880, 1876,  486,  500,  500,  500,  501,  501,  501,  485,
2330       501, 1822, 1817,  501,  502,  502,  502,  503,  503,  503,
2331       500,  503, 1829, 1987,  503,  508,  508,  508,  512,  512,
2332       512,  502,  513,  513,  513, 1876,  513, 1880, 1987,  513,
2333
2334      1817, 1827,  508, 1962, 1819,  512,  514,  514,  514,  515,
2335       515,  515, 1699,  515, 1830, 1931,  515,  520,  520,  520,
2336       521,  521,  521,  514,  521, 1827, 1877,  521,  523,  523,
2337       523,  526,  526,  526,  520,  527,  527,  527, 1830,  527,
2338      1699, 1962,  527, 1819, 1931,  523, 1699, 1877,  526,  528,
2339       528,  528,  529,  529,  529, 1650,  529, 1925, 1984,  529,
2340       530,  530,  530,  531,  531,  531,  528,  531, 1821, 1823,
2341       531,  538,  538,  538,  541,  541,  541,  530,  543,  543,
2342       543, 1885,  544,  544,  544, 1878,  544, 1826,  538,  544,
2343      1925,  541,  545,  545,  545,  543,  546,  546,  546, 1649,
2344
2345       546, 1984, 1885,  546,  554,  554,  554, 1821, 1823,  545,
2346       559,  559,  559,  560,  560,  560, 1828,  560, 1889, 1878,
2347       560,  554,  561,  561,  561, 1883, 1826,  559,  562,  562,
2348       562, 1881,  562, 1886, 1888,  562,  569,  569,  569,  561,
2349       573,  573,  573,  575,  575,  575, 1936,  576,  576,  576,
2350      1883,  576, 1889,  569,  576, 1828, 1927,  573, 1886, 1888,
2351       575,  577,  577,  577,  578,  578,  578, 1934,  578, 1932,
2352      1881,  578,  586,  586,  586,  591,  591,  591,  577,  592,
2353       592,  592, 1923,  592, 1965, 1933,  592, 1963, 1936,  586,
2354      1927, 2129,  591,  593,  593,  593,  594,  594,  594, 1957,
2355
2356       594, 1934, 1932,  594,  601,  601,  601,  609,  609,  609,
2357       593,  610,  610,  610, 1963,  610, 1960, 1965,  610, 1923,
2358      2129,  601, 1933, 1961,  609,  611,  611,  611,  612,  612,
2359       612, 1958,  612, 1957, 1960,  612,  621,  621,  621, 1994,
2360       621, 2092,  611,  632,  632,  632,  633,  633,  633,  640,
2361       640,  640,  641,  641,  641, 1983,  641, 1961, 1967,  641,
2362      1989,  632, 1958, 1986,  633, 1994,  640,  642,  642,  642,
2363       643,  643,  643,  645,  645,  645,  646,  646,  646, 2092,
2364       646, 1986, 1988,  646, 1648,  642, 2005, 1647,  643, 1983,
2365       645, 1967,  633,  647,  647,  647,  648,  648,  648, 1989,
2366
2367       649,  649,  649,  652,  652,  652,  658,  658,  658, 1993,
2368       647,  659,  659,  659,  648, 1988, 1990,  643,  649, 2005,
2369       652,  653,  653,  653,  658,  653, 1991, 1993,  653,  659,
2370       664,  664,  664,  665,  665,  665,  669,  669,  669,  670,
2371       670,  670, 2008,  670, 1992, 2013,  670, 1990,  664, 2003,
2372      2010,  665, 2004,  669,  673,  673,  673, 2008,  673,  649,
2373      1991,  673, 2007,  659,  676,  676,  676, 2003,  676, 2009,
2374      2004,  676,  680,  680,  680,  681,  681,  681, 2013,  665,
2375       682,  682,  682, 1992,  682, 2009, 2012,  682, 1646, 2010,
2376       680, 2053, 2192,  681,  685,  685,  685, 2053,  685, 2007,
2377
2378      2014,  685,  696,  696,  696,  697,  697,  697,  700,  700,
2379       700, 2012,  700, 2016, 1645,  700, 2192,  703,  703,  703,
2380       696,  703,  681,  697,  703,  706,  706,  706,  707,  707,
2381       707,  709,  709,  709,  710,  710,  710, 2014,  710, 2015,
2382      2024,  710, 2109,  706, 2027, 2017,  707, 2016,  709,  714,
2383       714,  714, 2026,  714, 2015, 2024,  714,  697,  717,  717,
2384       717, 2025,  717, 2017, 2130,  717,  720,  720,  720,  721,
2385       721,  721, 2109,  723,  723,  723, 2025,  723, 2027,  707,
2386       723,  727,  727,  727,  720, 2031, 1644,  721,  728,  728,
2387       728, 2026,  728, 2130, 2029,  728, 1619, 2036,  727,  731,
2388
2389       731,  731, 2028,  731, 2032, 2034,  731,  734,  734,  734,
2390      2029,  734, 2035, 2036,  734, 2056,  737,  737,  737,  721,
2391       737, 2056, 2031,  737,  740,  740,  740,  741,  741,  741,
2392       745,  745,  745,  746,  746,  746, 2028,  746, 2032, 2038,
2393       746, 2041,  740, 1605, 2034,  741, 2035,  745,  750,  750,
2394       750,  751,  751,  751, 2038,  751, 2042, 2041,  751,  753,
2395       753,  753, 2044,  753, 2045,  750,  753,  756,  756,  756,
2396       741,  756, 2042, 2043,  756,  759,  759,  759,  760,  760,
2397       760,  764,  764,  764,  765,  765,  765, 1600,  765, 2193,
2398      1599,  765, 1598,  759, 2047, 2044,  760, 2048,  764,  771,
2399
2400       771,  771, 2049,  771, 2045, 2047,  771,  774,  774,  774,
2401      2043,  774, 2052, 2193,  774,  777,  777,  777, 2050,  778,
2402       778,  778,  779,  779,  779,  780,  780,  780,  781,  781,
2403       781, 2048, 2058,  777, 2057, 2049,  760,  778, 2051,  779,
2404      2057, 2284,  780, 2052, 2059,  781,  782,  782,  782,  783,
2405       783,  783, 2050,  783, 1585, 2284,  783,  784,  784,  784,
2406       785,  785,  785,  782, 2065,  778, 2058,  786,  786,  786,
2407       787,  787,  787, 2060,  784, 2051,  780,  785,  788,  788,
2408       788,  781,  788, 2059,  786,  788, 2055,  787,  789,  789,
2409       789,  790,  790,  790, 2063,  790, 2061, 2065,  790,  793,
2410
2411       793,  793, 2055,  793, 1584,  789,  793, 2061, 2060,  785,
2412       786,  796,  796,  796,  797,  797,  797,  802,  802,  802,
2413       803,  803,  803, 2064,  803, 2063, 1583,  803, 2068,  796,
2414      1558, 2071,  797, 2080,  802,  789,  808,  808,  808, 2068,
2415       808, 2070, 2071,  808,  811,  811,  811, 2070,  811, 2066,
2416      2093,  811,  814,  814,  814,  815,  815,  815,  816,  816,
2417       816, 2069, 2064,  797,  817,  817,  817,  818,  818,  818,
2418       814, 2072, 2080,  815, 1557,  816,  819,  819,  819, 2069,
2419      2085,  817, 2072, 2066,  818,  820,  820,  820, 2093,  820,
2420      2089, 2085,  820,  819,  821,  821,  821, 2098,  815,  822,
2421
2422       822,  822,  823,  823,  823,  824,  824,  824,  825,  825,
2423       825,  821,  826,  826,  826, 2098,  822, 2073, 2148,  823,
2424       818,  817,  824, 2106, 2089,  825,  827,  827,  827,  826,
2425       828,  828,  828, 2074,  828, 2079, 2096,  828,  831,  831,
2426       831, 2106,  831,  827,  822,  831,  821, 2148, 2073,  825,
2427       834,  834,  834,  835,  835,  835,  853,  853,  853,  826,
2428       854,  854,  854,  856,  856,  856, 1556,  824,  834, 2111,
2429      2074,  835, 2079, 2096,  853,  862,  862,  862,  854, 2138,
2430      2171,  856, 2081,  827,  863,  863,  863, 2111,  863, 2171,
2431      2138,  863,  862,  866,  866,  866,  867,  867,  867,  869,
2432
2433       869,  869,  835,  871,  871,  871,  856,  871, 2105, 2084,
2434       871,  866, 2295, 2081,  867, 2095, 1555,  869,  874,  874,
2435       874,  875,  875,  875, 2084,  875, 2295, 2100,  875,  876,
2436       876,  876,  877,  877,  877,  874,  879,  879,  879, 2105,
2437       881,  881,  881, 2100,  882,  882,  882,  876,  882, 2095,
2438       877,  882, 2110, 2112,  879, 2107,  869,  881,  886,  886,
2439       886, 2212,  889,  889,  889,  890,  890,  890,  892,  892,
2440       892,  895,  895,  895, 2108,  886,  897,  897,  897,  879,
2441       889, 1554, 2110,  890, 2112, 2212,  892, 2116,  895,  898,
2442       898,  898, 2117, 2107,  897,  900,  900,  900,  904,  904,
2443
2444       904, 2127,  904, 2113, 2135,  904, 2120,  898,  910,  910,
2445       910, 2118, 2108,  900,  911,  911,  911, 2118, 2124,  892,
2446      2135,  913,  913,  913, 2121, 2116,  910,  922,  922,  922,
2447      2117, 2127,  911,  923,  923,  923, 2124, 2113,  900,  913,
2448       925,  925,  925, 2156, 2120,  922,  928,  928,  928, 2156,
2449      2115,  923,  929,  929,  929,  931,  931,  931,  925,  932,
2450       932,  932, 2121, 2128,  928, 2115, 2213,  933,  933,  933,
2451       929,  933,  913,  931,  933, 2122,  932,  936,  936,  936,
2452       937,  937,  937,  938,  938,  938,  939,  939,  939, 1553,
2453      2213,  925, 2168, 2128,  936, 2136,  931,  937, 2168, 2134,
2454
2455       938,  940,  940,  940,  939, 2123,  942,  942,  942,  944,
2456       944,  944, 2139, 2122,  945,  945,  945, 2134,  945,  940,
2457       936,  945, 2133,  938,  942, 2136,  944,  937,  950,  950,
2458       950,  951,  951,  951,  953,  953,  953,  955,  955,  955,
2459       956,  956,  956, 2123, 2137,  942,  950, 1552, 2126,  951,
2460      2139, 1549,  953, 2133,  955, 2140, 2131,  956,  957,  957,
2461       957, 2141,  957, 2126, 1533,  957,  963,  963,  963, 2142,
2462       963, 2131, 1532,  963, 2137,  953,  967,  967,  967,  968,
2463       968,  968,  970,  970,  970,  973,  973,  973,  974,  974,
2464       974, 2141,  974, 2140,  967,  974, 2150,  968, 2143, 2142,
2465
2466       970, 2144,  973,  977,  977,  977,  978,  978,  978,  983,
2467       983,  983,  984,  984,  984,  986,  986,  986, 1529, 2145,
2468       977, 2177, 1523,  978,  987,  987,  987,  983, 2143, 2150,
2469       984, 2144, 2177,  986, 2145, 1522,  988,  988,  988,  970,
2470       988,  987, 2167,  988,  989,  989,  989,  990,  990,  990,
2471       991,  991,  991, 2151,  991, 2147, 2174,  991,  986, 2149,
2472      2167,  989, 2157, 2158,  990,  994,  994,  994,  995,  995,
2473       995, 2147,  995, 2152, 2174,  995,  996,  996,  996,  997,
2474       997,  997,  994,  998,  998,  998, 2151,  998, 2149, 2152,
2475       998, 2157, 2158,  996, 2162, 2160,  997, 1001, 1001, 1001,
2476
2477      1002, 1002, 1002, 1003, 1003, 1003, 1005, 1005, 1005, 1008,
2478      1008, 1008, 1509, 2172, 1001, 1009, 1009, 1009, 1002, 2189,
2479      2155, 1003, 2172, 2162, 1005, 2160, 1008, 1010, 1010, 1010,
2480      2189, 1010, 1009,  996, 1010, 2155, 2161, 1001, 1014, 1014,
2481      1014, 1017, 1017, 1017, 1018, 1018, 1018, 1020, 1020, 1020,
2482      1021, 1021, 1021, 1005, 1505, 1014, 1022, 1022, 1022, 1017,
2483      1022, 2166, 1018, 1022, 2188, 1020, 2161, 1021, 1023, 1023,
2484      1023, 1024, 1024, 1024, 1025, 1025, 1025, 2166, 1025, 2188,
2485      2173, 1025, 1028, 1028, 1028, 1023, 2173, 2163, 1024, 1029,
2486      1029, 1029, 1030, 1030, 1030, 2169, 1031, 1031, 1031, 1028,
2487
2488      1031, 1496, 2164, 1031, 1478, 1477, 1029, 2165, 1020, 1030,
2489      1032, 1032, 1032, 1033, 1033, 1033, 2163, 1034, 1034, 1034,
2490      1035, 1035, 1035, 1036, 1036, 1036, 2181, 1032, 2169, 2170,
2491      1033, 2164, 1476, 1029, 1034, 2196, 2165, 1035, 1037, 1037,
2492      1037, 1036, 1028, 1039, 1039, 1039, 1050, 1050, 1050, 1042,
2493      1042, 1042, 2194, 2196, 1032, 2181, 1037, 1034, 1053, 1053,
2494      1053, 1039, 2170, 2194, 1050, 1033, 1035, 1042, 1042, 1056,
2495      1056, 1056, 1057, 1057, 1057, 1475, 1057, 2176, 1474, 1057,
2496      1473, 2178, 1039, 1058, 1058, 1058, 1056, 1059, 1059, 1059,
2497      1060, 1060, 1060, 2176, 1060, 2182, 1050, 1060, 1063, 1063,
2498
2499      1063, 1058, 2179, 2214, 1059, 1064, 1064, 1064, 1065, 1065,
2500      1065, 1066, 1066, 1066, 2178, 1066, 1063, 2187, 1066, 1067,
2501      1067, 1067, 1064, 2187, 2182, 1065, 1068, 1068, 1068, 1472,
2502      1069, 1069, 1069, 1058, 1069, 2179, 1067, 1069, 1070, 1070,
2503      1070, 2197, 2214, 1068, 1071, 1071, 1071, 2197, 2209, 1063,
2504      1072, 1072, 1072, 2183, 2210, 1070, 1074, 1074, 1074, 2209,
2505      1067, 1071, 1075, 1075, 1075, 1076, 1076, 1076, 1072, 1076,
2506      2210, 2232, 1076, 1074, 1078, 1078, 1078, 2232, 1469, 1075,
2507      1079, 1079, 1079, 1080, 1080, 1080, 2183, 1070, 1081, 1081,
2508      1081, 2195, 1078, 1082, 1082, 1082, 1447, 1079, 2184, 2190,
2509
2510      1080, 1071, 1083, 1083, 1083, 1081, 2195, 1072, 2190, 2191,
2511      1082, 1085, 1085, 1085, 1094, 1094, 1094, 2185, 2191, 1083,
2512      1096, 1096, 1096, 1442, 1078, 2199, 1097, 1097, 1097, 1085,
2513      2221, 2184, 1094, 2218, 2199, 1081, 2186, 1096, 1080, 1098,
2514      1098, 1098, 1082, 2203, 1097, 1099, 1099, 1099, 2218, 1099,
2515      2185, 1083, 1099, 1085, 2221, 2201, 1098, 1100, 1100, 1100,
2516      1101, 1101, 1101, 1102, 1102, 1102, 1103, 1103, 1103, 2186,
2517      2200, 1094, 1097, 2222, 1100, 1436, 2203, 1101, 2217, 2200,
2518      1102, 1104, 1104, 1104, 1103, 1105, 1105, 1105, 1106, 1106,
2519      1106, 2204, 1106, 2201, 2217, 1106, 1430, 2222, 1104, 2202,
2520
2521      2205, 1101, 1105, 1107, 1107, 1107, 1108, 1108, 1108, 2205,
2522      2206, 1103, 1102, 1109, 1109, 1109, 1111, 1111, 1111, 2206,
2523      1107, 2207, 2215, 1108, 2204, 1112, 1112, 1112, 1429, 1112,
2524      2207, 1109, 1112, 1111, 1113, 1113, 1113, 2202, 1114, 1114,
2525      1114, 2208, 1114, 2239, 1107, 1114, 1119, 1119, 1119, 2239,
2526      2208, 1113, 1122, 1122, 1122, 1108, 1123, 1123, 1123, 2223,
2527      1123, 2215, 2265, 1123, 1119, 1124, 1124, 1124, 2265, 1122,
2528      1109, 1125, 1125, 1125, 2234, 1125, 2227, 2219, 1125, 1126,
2529      1126, 1126, 1124, 1127, 1127, 1127, 2224, 1127, 2219, 2223,
2530      1127, 1132, 1132, 1132, 2301, 2235, 1126, 1133, 1133, 1133,
2531
2532      2227, 1133, 2228, 1119, 1133, 1136, 1136, 1136, 2301, 1132,
2533      1137, 1137, 1137, 2234, 1137, 2229, 2224, 1137, 1138, 1138,
2534      1138, 1428, 1136, 1139, 1139, 1139, 2228, 1139, 2230, 2236,
2535      1139, 2242, 1132, 2225, 2235, 1138, 1140, 1140, 1140, 2229,
2536      1140, 2226, 2225, 1140, 1144, 1144, 1144, 1145, 1145, 1145,
2537      2226, 1145, 2230, 2236, 1145, 1147, 1147, 1147, 1148, 1148,
2538      1148, 1144, 1149, 1149, 1149, 1150, 1150, 1150, 2237, 2242,
2539      1151, 1151, 1151, 1147, 1151, 1148, 1427, 1151, 1412, 1149,
2540      2255, 2246, 1150, 1152, 1152, 1152, 1153, 1153, 1153, 2243,
2541      1153, 2255, 2237, 1153, 1154, 1154, 1154, 1147, 2244, 1409,
2542
2543      1152, 1149, 1155, 1155, 1155, 1156, 1156, 1156, 2256, 1156,
2544      2246, 1154, 1156, 1157, 1157, 1157, 1158, 1158, 1158, 1155,
2545      1159, 1159, 1159, 2240, 1160, 1160, 1160, 2243, 1160, 2247,
2546      1157, 1160, 2245, 1158, 1163, 1163, 1163, 2244, 1159, 2240,
2547      1164, 1164, 1164, 1154, 1164, 2248, 2256, 1164, 1165, 1165,
2548      1165, 1163, 1166, 1166, 1166, 2297, 1166, 2249, 2247, 1166,
2549      1408, 2261, 1157, 1406, 2297, 1165, 1169, 1169, 1169, 2248,
2550      1169, 2245, 2261, 1169, 1175, 1175, 1175, 1159, 1176, 1176,
2551      1176, 2249, 1180, 1180, 1180, 1185, 1185, 1185, 1186, 1186,
2552      1186, 1175, 1188, 1188, 1188, 2250, 1176, 1190, 1190, 1190,
2553
2554      1180, 1191, 1191, 1191, 2258, 1186, 1405, 1194, 1194, 1194,
2555      1188, 1194, 2251, 1402, 1194, 1197, 1197, 1197, 2298, 1198,
2556      1198, 1198, 1199, 1199, 1199, 1401, 1199, 2298, 2258, 1199,
2557      1200, 1200, 1200, 1197, 2250, 1188, 1198, 1212, 1212, 1212,
2558      1176, 1180, 1201, 1201, 1201, 1202, 1202, 1202, 1200, 1202,
2559      1399, 2251, 1202, 2257, 1197, 1212, 1203, 1203, 1203, 1201,
2560      1203, 2259, 2252, 1203, 1206, 1206, 1206, 1207, 1207, 1207,
2561      2253, 1207, 2267, 2262, 1207, 1210, 1210, 1210, 1211, 1211,
2562      1211, 1206, 1213, 1213, 1213, 2259, 1382, 1200, 1214, 1214,
2563      1214, 2257, 1210, 2263, 1380, 1211, 1215, 1215, 1215, 1213,
2564
2565      1215, 2252, 2267, 1215, 2269, 1214, 1216, 1216, 1216, 2253,
2566      1216, 2262, 1379, 1216, 1220, 1220, 1220, 1221, 1221, 1221,
2567      2271, 2270, 1210, 1222, 1222, 1222, 2268, 1222, 2269, 2272,
2568      1222, 2263, 1220, 2264, 1221, 1223, 1223, 1223, 1224, 1224,
2569      1224, 1225, 1225, 1225, 2264, 2270, 1226, 1226, 1226, 1228,
2570      1228, 1228, 1223, 2271, 1378, 1224, 2268, 1220, 1225, 1237,
2571      1237, 1237, 2272, 1226, 1239, 1239, 1239, 1228, 1240, 1240,
2572      1240, 2293, 1240, 2275, 2273, 1240, 2274, 1237, 1241, 1241,
2573      1241, 1239, 1245, 1245, 1245, 1377, 2347, 1223, 1224, 1226,
2574      2279, 1242, 1242, 1242, 1225, 1242, 1241, 2275, 1242, 1245,
2575
2576      2293, 1228, 1246, 1246, 1246, 2276, 1246, 2277, 2278, 1246,
2577      1247, 1247, 1247, 2273, 1237, 2274, 1248, 1248, 1248, 1249,
2578      1249, 1249, 1250, 1250, 1250, 2347, 2282, 1247, 2279, 2276,
2579      1241, 2277, 2278, 1248, 1251, 1251, 1251, 1249, 1251, 1250,
2580      1376, 1251, 1252, 1252, 1252, 2294, 1252, 2280, 1375, 1252,
2581      1255, 1255, 1255, 1256, 1256, 1256, 2282, 2283, 1247, 1248,
2582      1374, 1371, 1249, 1257, 1257, 1257, 2285, 1255, 2290, 2287,
2583      1256, 1259, 1259, 1259, 2294, 1259, 2288, 2285, 1259, 2290,
2584      2308, 1257, 1262, 1262, 1262, 2280, 1262, 2283, 2309, 1262,
2585      1269, 1269, 1269, 1272, 1272, 1272, 1256, 1272, 1255, 2287,
2586
2587      1272, 1341, 1257, 1275, 1275, 1275, 2288, 1275, 1269, 2308,
2588      1275, 1278, 1278, 1278, 2296, 1278, 2302, 2309, 1278, 1285,
2589      1285, 1285, 1286, 1286, 1286, 2296, 1286, 2302, 2291, 1286,
2590      2303, 1289, 1289, 1289, 2292, 1289, 2299, 1285, 1289, 1293,
2591      1293, 1293, 1269, 1293, 2303, 2319, 1293, 1297, 1297, 1297,
2592      2300, 1298, 1298, 1298, 1299, 1299, 1299, 1336, 1299, 2305,
2593      2299, 1299, 1300, 1300, 1300, 1297, 2291, 1285, 1298, 1301,
2594      1301, 1301, 2292, 1301, 2300, 2304, 1301, 1329, 2319, 1300,
2595      1304, 1304, 1304, 2313, 1304, 2306, 2304, 1304, 2314, 2305,
2596      1297, 1307, 1307, 1307, 1308, 1308, 1308, 2322, 1308, 2320,
2597
2598      1325, 1308, 1311, 1311, 1311, 1312, 1312, 1312, 1307, 1313,
2599      1313, 1313, 2313, 1313, 2323, 2306, 1313, 2314, 2368, 1311,
2600      2324, 2322, 1312, 2390, 1300, 2317, 1314, 1314, 1314, 1315,
2601      1315, 1315, 2320, 1315, 2324, 2330, 1315, 2390, 2323, 1318,
2602      1318, 1318, 2368, 1318, 1314, 1311, 1318, 1307, 1314, 1326,
2603      1326, 1326, 1327, 1327, 1327, 2317, 1327, 2331, 2369, 1327,
2604      1328, 1328, 1328, 1333, 1333, 1333, 1326, 1334, 1334, 1334,
2605      1335, 1335, 1335, 2330, 1335, 2328, 2318, 1335, 1328, 1337,
2606      1337, 1337, 2369, 2329, 1334, 1338, 1338, 1338, 1328, 1339,
2607      1339, 1339, 1340, 1340, 1340, 2331, 2325, 1337, 1342, 1342,
2608
2609      1342, 1343, 1343, 1343, 2328, 1343, 2318, 2325, 1343, 1346,
2610      1346, 1346, 2329, 1347, 1347, 1347, 1342, 1347, 2341, 2342,
2611      1347, 1350, 1350, 1350, 1351, 1351, 1351, 1346, 1351, 2332,
2612      1324, 1351, 1352, 1352, 1352, 1353, 1353, 1353, 1350, 1354,
2613      1354, 1354, 1323, 1354, 2338, 1322, 1354, 2341, 2342, 1352,
2614      2348, 1342, 1353, 1355, 1355, 1355, 1357, 1357, 1357, 1358,
2615      1358, 1358, 2332, 1358, 1321, 2343, 1358, 2339, 1359, 1359,
2616      1359, 1355, 1359, 1357, 2343, 1359, 1362, 1362, 1362, 1363,
2617      1363, 1363, 2338, 1352, 1364, 1364, 1364, 2333, 1364, 2348,
2618      2364, 1364, 2344, 1362, 1367, 1367, 1367, 1363, 1368, 1368,
2619
2620      1368, 2344, 1369, 1369, 1369, 2339, 1363, 1370, 1370, 1370,
2621      2388, 1367, 1372, 1372, 1372, 1368, 1373, 1373, 1373, 1369,
2622      2333, 1381, 1381, 1381, 1370, 1383, 1383, 1383, 2364, 1383,
2623      1372, 2370, 1383, 1386, 1386, 1386, 1387, 1387, 1387, 1381,
2624      1387, 1368, 2371, 1387, 1390, 1390, 1390, 1367, 1369, 2388,
2625      2358, 1386, 1391, 1391, 1391, 2370, 1392, 1392, 1392, 2358,
2626      1296, 1390, 2359, 1393, 1393, 1393, 2371, 1393, 2336, 1391,
2627      1393, 2359, 1372, 1381, 1392, 1396, 1396, 1396, 1392, 1397,
2628      1397, 1397, 1398, 1398, 1398, 1400, 1400, 1400, 1386, 1403,
2629      1403, 1403, 1396, 1404, 1404, 1404, 1397, 1410, 1410, 1410,
2630
2631      1398, 2336, 1400, 1411, 1411, 1411, 1403, 1292, 1413, 1413,
2632      1413, 1404, 2391, 2356, 1410, 2337, 1414, 1414, 1414, 1284,
2633      2357, 1411, 2354, 2391, 1411, 1413, 1283, 2378, 1415, 1415,
2634      1415, 2365, 1415, 1398, 1414, 1415, 1418, 1418, 1418, 1419,
2635      1419, 1419, 2355, 2356, 1404, 1420, 1420, 1420, 2337, 1420,
2636      2357, 2378, 1420, 1418, 2366, 2354, 1419, 1421, 1421, 1421,
2637      1422, 1422, 1422, 1423, 1423, 1423, 2379, 1423, 2376, 2365,
2638      1423, 1414, 2362, 1282, 1421, 2355, 2377, 1422, 1426, 1426,
2639      1426, 1431, 1431, 1431, 1432, 1432, 1432, 2366, 1432, 1281,
2640      2379, 1432, 1271, 1435, 1435, 1435, 1426, 2376, 1431, 1439,
2641
2642      1439, 1439, 2362, 1439, 2367, 2377, 1439, 1443, 1443, 1443,
2643      1421, 1435, 1445, 1445, 1445, 1446, 1446, 1446, 1448, 1448,
2644      1448, 1449, 1449, 1449, 2360, 1443, 2361, 1451, 1451, 1451,
2645      1426, 1451, 1270, 2360, 1451, 2361, 1448, 2367, 2363, 1449,
2646      1435, 1454, 1454, 1454, 1455, 1455, 1455, 1268, 1455, 1267,
2647      1266, 1455, 1458, 1458, 1458, 2423, 1458, 2374, 1454, 1458,
2648      1461, 1461, 1461, 1462, 1462, 1462, 2374, 1462, 2363, 2423,
2649      1462, 1463, 1463, 1463, 1464, 1464, 1464, 1461, 1465, 1465,
2650      1465, 1466, 1466, 1466, 1454, 1467, 1467, 1467, 2375, 1463,
2651      2382, 1464, 1468, 1468, 1468, 1465, 1468, 2375, 1466, 1468,
2652
2653      2389, 1265, 1467, 1470, 1470, 1470, 1471, 1471, 1471, 1479,
2654      1479, 1479, 1480, 1480, 1480, 1481, 1481, 1481, 2384, 2382,
2655      1466, 1470, 1463, 1482, 1482, 1482, 2380, 1479, 2383, 1480,
2656      1483, 1483, 1483, 1481, 1483, 2394, 2385, 1483, 1258, 2389,
2657      1482, 1238, 1484, 1484, 1484, 1485, 1485, 1485, 2384, 1485,
2658      2380, 2381, 1485, 1486, 1486, 1486, 1236, 2383, 1479, 1484,
2659      1487, 1487, 1487, 1488, 1488, 1488, 2385, 1488, 2394, 2395,
2660      1488, 1486, 1489, 1489, 1489, 2381, 2400, 1487, 1490, 1490,
2661      1490, 1235, 1490, 1234, 1233, 1490, 1491, 1491, 1491, 1489,
2662      1492, 1492, 1492, 1493, 1493, 1493, 1494, 1494, 1494, 2386,
2663
2664      1494, 1232, 2395, 1494, 1491, 1486, 2392, 1492, 2386, 2400,
2665      1493, 1497, 1497, 1497, 1498, 1498, 1498, 2393, 1498, 2404,
2666      2387, 1498, 1499, 1499, 1499, 1502, 1502, 1502, 1497, 2387,
2667      2392, 1491, 1503, 1503, 1503, 1506, 1506, 1506, 2401, 2405,
2668      1499, 2393, 1502, 2404, 1499, 2396, 1507, 1507, 1507, 1503,
2669      1507, 1231, 1506, 1507, 1508, 1508, 1508, 1510, 1510, 1510,
2670      1511, 1511, 1511, 2405, 1511, 2397, 1230, 1511, 1512, 1512,
2671      1512, 2401, 1508, 1229, 1510, 1513, 1513, 1513, 1514, 1514,
2672      1514, 1227, 1514, 2406, 2396, 1514, 1512, 1515, 1515, 1515,
2673      1512, 1515, 1513, 1219, 1515, 1518, 1518, 1518, 1519, 1519,
2674
2675      1519, 1520, 1520, 1520, 2397, 1520, 1508, 2406, 1520, 1521,
2676      1521, 1521, 1518, 1193, 2407, 1519, 1524, 1524, 1524, 1525,
2677      1525, 1525, 1526, 1526, 1526, 1192, 2398, 1521, 1527, 1527,
2678      1527, 1189, 1527, 1524, 1518, 1527, 1525, 2399, 2407, 1526,
2679      1528, 1528, 1528, 1530, 1530, 1530, 1534, 1534, 1534, 1536,
2680      1536, 1536, 1537, 1537, 1537, 2402, 1537, 2403, 1528, 1537,
2681      1521, 1530, 1187, 1182, 1534, 2398, 1536, 1540, 1540, 1540,
2682      1541, 1541, 1541, 1542, 1542, 1542, 2399, 1542, 1179, 2431,
2683      1542, 1543, 1543, 1543, 2402, 1540, 2403, 1541, 1544, 1544,
2684      1544, 2413, 1544, 2431, 2419, 1544, 1528, 2409, 1543, 1545,
2685
2686      1545, 1545, 1546, 1546, 1546, 2410, 1546, 1177, 2420, 1546,
2687      1174, 1540, 1550, 1550, 1550, 2413, 1545, 1559, 1559, 1559,
2688      1560, 1560, 1560, 1173, 1561, 1561, 1561, 2419, 1561, 2414,
2689      1550, 1561, 1562, 1562, 1562, 1559, 2409, 1560, 1564, 1564,
2690      1564, 2420, 1564, 1559, 2410, 1564, 2415, 1567, 1567, 1567,
2691      1562, 1567, 2411, 2414, 1567, 1570, 1570, 1570, 1571, 1571,
2692      1571, 2411, 1571, 2412, 2421, 1571, 1172, 1574, 1574, 1574,
2693      2415, 1574, 2412, 1570, 1574, 1577, 1577, 1577, 1578, 1578,
2694      1578, 1579, 1579, 1579, 2422, 1579, 1168, 2417, 1579, 1167,
2695      1580, 1580, 1580, 1577, 1580, 1578, 2417, 1580, 1586, 1586,
2696
2697      1586, 1146, 1586, 2421, 2416, 1586, 1570, 1589, 1589, 1589,
2698      1590, 1590, 1590, 1591, 1591, 1591, 1592, 1592, 1592, 1593,
2699      1593, 1593, 2418, 2422, 1577, 1589, 1143, 1590, 2416, 1131,
2700      1591, 2418, 2424, 1592, 2432, 2434, 1593, 1594, 1594, 1594,
2701      1595, 1595, 1595, 2424, 1595, 2432, 2434, 1595, 1596, 1596,
2702      1596, 1597, 1597, 1597, 1594, 1597, 1130, 2437, 1597, 1589,
2703      1601, 1601, 1601, 2433, 1601, 1596, 2437, 1601, 1604, 1604,
2704      1604, 1606, 1606, 1606, 2442, 1606, 2427, 2433, 1606, 1609,
2705      1609, 1609, 1129, 1610, 1610, 1610, 1604, 1610, 2442, 1128,
2706      1610, 1613, 1613, 1613, 1614, 1614, 1614, 1609, 1614, 1121,
2707
2708      2427, 1614, 1617, 1617, 1617, 1618, 1618, 1618, 1613, 1620,
2709      1620, 1620, 1621, 1621, 1621, 2428, 1621, 2443, 2438, 1621,
2710      1617, 2429, 1618, 1622, 1622, 1622, 1620, 2438, 2443, 1604,
2711      2444, 1609, 1613, 1120, 1623, 1623, 1623, 1118, 1623, 2428,
2712      1622, 1623, 1624, 1624, 1624, 2429, 1624, 2430, 2435, 1624,
2713      1627, 1627, 1627, 1631, 1631, 1631, 1632, 1632, 1632, 1617,
2714      1633, 1633, 1633, 1634, 1634, 1634, 2436, 1634, 1627, 2444,
2715      1634, 2430, 2435, 1632, 1709, 1709, 1709, 1633, 2445, 1635,
2716      1635, 1635, 1636, 1636, 1636, 2448, 1636, 1117, 2449, 1636,
2717      2436, 1639, 1639, 1639, 1116, 1639, 1115, 1635, 1639, 1642,
2718
2719      1642, 1642, 1652, 1652, 1652, 2452, 1110, 1627, 1629, 1629,
2720      1629, 1643, 1643, 1643, 2465, 1643, 1642, 2445, 1643, 2452,
2721      1652, 1788, 1788, 1788, 2448, 2439, 1629, 2449, 1629, 1629,
2722      1629, 1635, 1629, 1629, 1095, 1629, 1656, 1656, 1656, 1629,
2723      1629, 1629, 1629, 1629, 1653, 1653, 1653, 1093, 1653, 2439,
2724      2466, 1653, 1092, 2465, 1656, 2453, 1091, 1652, 1657, 1657,
2725      1657, 1658, 1658, 1658, 2440, 1658, 2453, 2450, 1658, 1661,
2726      1661, 1661, 1664, 1664, 1664, 1090, 1657, 1665, 1665, 1665,
2727      1666, 1666, 1666, 1089, 1666, 1088, 1661, 1666, 2440, 2466,
2728      1664, 2450, 2451, 1656, 1665, 1667, 1667, 1667, 1668, 1668,
2729
2730      1668, 1657, 1668, 1087, 2470, 1668, 1086, 1669, 1669, 1669,
2731      2457, 2471, 1667, 1670, 1670, 1670, 2451, 1670, 2470, 2472,
2732      1670, 1084, 2471, 1664, 1669, 1671, 1671, 1671, 1672, 1672,
2733      1672, 1077, 1672, 2472, 2457, 1672, 1673, 1673, 1673, 2473,
2734      1673, 1073, 1671, 1673, 1676, 1676, 1676, 2458, 1676, 1055,
2735      2473, 1676, 1682, 1682, 1682, 1684, 1684, 1684, 1685, 1685,
2736      1685, 1686, 1686, 1686, 1687, 1687, 1687, 1832, 1832, 1832,
2737      1682, 2458, 1054, 1684, 1682, 1685, 1688, 1688, 1688, 1686,
2738      1688, 1687, 1052, 1688, 1690, 1690, 1690, 2481, 1690, 1051,
2739      2463, 1690, 1693, 1693, 1693, 2464, 1693, 1049, 2481, 1693,
2740
2741      1048, 1685, 1696, 1696, 1696, 2474, 1684, 2475, 1710, 1710,
2742      1710, 1711, 1711, 1711, 2463, 1711, 1686, 1047, 1711, 2464,
2743      1696, 1715, 1715, 1715, 1696, 1710, 1712, 1712, 1712, 2474,
2744      1712, 2475, 1046, 1712, 1716, 1716, 1716, 1045, 1716, 1715,
2745      1040, 1716, 1727, 1727, 1727, 1728, 1728, 1728, 1729, 1729,
2746      1729, 1730, 1730, 1730, 1731, 1731, 1731, 1016, 1731, 1015,
2747      1727, 1731, 1013, 1728, 1007, 1006, 1729,  982, 1730, 2480,
2748      1729, 1732, 1732, 1732, 1733, 1733, 1733, 1734, 1734, 1734,
2749      1735, 1735, 1735, 2480, 1735,  981,  980, 1735, 1732,  979,
2750       972, 1733,  971,  966, 1727, 1734,  962, 1738, 1738, 1738,
2751
2752      1728, 1738,  961,  960, 1738, 1741, 1741, 1741,  954, 1741,
2753       949,  948, 1741, 1744, 1744, 1744,  943, 1744,  927,  926,
2754      1744, 1747, 1747, 1747, 1748, 1748, 1748, 1751, 1751, 1751,
2755      1752, 1752, 1752,  921, 1734, 1753, 1753, 1753, 1747,  920,
2756       919, 1748, 1754, 1754, 1754, 1751,  918, 1752, 1755, 1755,
2757      1755,  917,  916, 1753, 1756, 1756, 1756,  915, 1756, 1754,
2758       914, 1756, 1760, 1760, 1760,  909, 1755, 1776, 1776, 1776,
2759       908, 1776,  907,  903, 1776, 1779, 1779, 1779,  902, 1751,
2760      1760, 1789, 1789, 1789, 1790, 1790, 1790,  901, 1791, 1791,
2761      1791,  896, 1753, 1779, 1792, 1792, 1792,  894, 1792, 1789,
2762
2763      1755, 1792, 1790, 1795, 1795, 1795, 1791,  893, 1796, 1796,
2764      1796,  888, 1796,  887, 1760, 1796, 1797, 1797, 1797,  885,
2765      1795, 1798, 1798, 1798,  880, 1798,  870,  861, 1798, 1799,
2766      1799, 1799,  860, 1797,  859,  858, 1790,  857,  852, 1789,
2767      1791, 1800, 1800, 1800, 1801, 1801, 1801, 1799, 1801,  851,
2768       850, 1801, 1802, 1802, 1802, 1803, 1803, 1803, 1800, 1803,
2769       849,  846, 1803, 1804, 1804, 1804, 1805, 1805, 1805, 1802,
2770      1806, 1806, 1806, 1807, 1807, 1807, 1808, 1808, 1808,  845,
2771      1804,  844,  842, 1805, 1799,  838,  836, 1806,  807,  806,
2772      1807, 1809, 1809, 1809, 1808, 1810, 1810, 1810,  805, 1810,
2773
2774       804,  801, 1810, 1811, 1811, 1811,  800,  799, 1809, 1812,
2775      1812, 1812, 1813, 1813, 1813,  798, 1813,  770,  769, 1813,
2776       768, 1811, 1814, 1814, 1814,  767, 1812, 1808, 1815, 1815,
2777      1815, 1816, 1816, 1816, 1831, 1831, 1831, 1835, 1835, 1835,
2778      1814, 1839, 1839, 1839,  763, 1815, 1840, 1840, 1840, 1816,
2779       762, 1831, 1831,  761, 1841, 1841, 1841,  752, 1811, 1842,
2780      1842, 1842,  749,  748, 1840,  747, 1843, 1843, 1843,  744,
2781      1843, 1814, 1841, 1843, 1846, 1846, 1846, 1842, 1846,  743,
2782       742, 1846, 1816, 1849, 1849, 1849, 1850, 1850, 1850,  730,
2783      1850,  729,  726, 1850,  722, 1856, 1856, 1856,  713, 1840,
2784
2785       712, 1849,  711, 1841, 1853, 1853, 1853,  708, 1853,  699,
2786      1842, 1853, 1856, 1857, 1857, 1857,  698, 1857,  695,  694,
2787      1857, 1858, 1858, 1858, 1859, 1859, 1859,  693, 1859,  692,
2788       691,&n