You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

4570 lines
147 KiB

3 years ago
#define yy_create_buffer jive_yy_create_buffer
#define yy_delete_buffer jive_yy_delete_buffer
#define yy_scan_buffer jive_yy_scan_buffer
#define yy_scan_string jive_yy_scan_string
#define yy_scan_bytes jive_yy_scan_bytes
#define yy_flex_debug jive_yy_flex_debug
#define yy_init_buffer jive_yy_init_buffer
#define yy_flush_buffer jive_yy_flush_buffer
#define yy_load_buffer_state jive_yy_load_buffer_state
#define yy_switch_to_buffer jive_yy_switch_to_buffer
#define yyin jive_yyin
#define yyleng jive_yyleng
#define yylex jive_yylex
#define yyout jive_yyout
#define yyrestart jive_yyrestart
#define yytext jive_yytext
#line 19 "jive.c"
/* A lexical scanner generated by flex */
/* Scanner skeleton version:
* $Header: /home/daffy/u0/vern/flex/RCS/flex.skl,v 2.91 96/09/10 16:58:48 vern Exp $
*/
#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5
#include <stdio.h>
#include <unistd.h>
/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
#ifdef c_plusplus
#ifndef __cplusplus
#define __cplusplus
#endif
#endif
#ifdef __cplusplus
#include <stdlib.h>
/* Use prototypes in function declarations. */
#define YY_USE_PROTOS
/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST
#else /* ! __cplusplus */
#if __STDC__
#define YY_USE_PROTOS
#define YY_USE_CONST
#endif /* __STDC__ */
#endif /* ! __cplusplus */
#ifdef __TURBOC__
#pragma warn -rch
#pragma warn -use
#include <io.h>
#include <stdlib.h>
#define YY_USE_CONST
#define YY_USE_PROTOS
#endif
#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#endif
#ifdef YY_USE_PROTOS
#define YY_PROTO(proto) proto
#else
#define YY_PROTO(proto) ()
#endif
/* Returned upon end-of-file. */
#define YY_NULL 0
/* Promotes a possibly negative, possibly signed char to an unsigned
* integer for use as an array index. If the signed char is negative,
* we want to instead treat it as an 8-bit unsigned char, hence the
* double cast.
*/
#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
/* Enter a start condition. This macro really ought to take a parameter,
* but we do it the disgusting crufty way forced on us by the ()-less
* definition of BEGIN.
*/
#define BEGIN yy_start = 1 + 2 *
/* Translate the current start state into a value that can be later handed
* to BEGIN to return to the state. The YYSTATE alias is for lex
* compatibility.
*/
#define YY_START ((yy_start - 1) / 2)
#define YYSTATE YY_START
/* Action number for EOF rule of a given start state. */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
/* Special action meaning "start processing a new file". */
#define YY_NEW_FILE yyrestart( yyin )
#define YY_END_OF_BUFFER_CHAR 0
/* Size of default input buffer. */
#define YY_BUF_SIZE 16384
typedef struct yy_buffer_state *YY_BUFFER_STATE;
extern int yyleng;
extern FILE *yyin, *yyout;
#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2
/* The funky do-while in the following #define is used to turn the definition
* int a single C statement (which needs a semi-colon terminator). This
* avoids problems with code like:
*
* if ( condition_holds )
* yyless( 5 );
* else
* do_something_else();
*
* Prior to using the do-while the compiler would get upset at the
* "else" because it interpreted the "if" statement as being all
* done when it reached the ';' after the yyless() call.
*/
/* Return all but the first 'n' matched characters back to the input stream. */
#define yyless(n) \
do \
{ \
/* Undo effects of setting up yytext. */ \
*yy_cp = yy_hold_char; \
YY_RESTORE_YY_MORE_OFFSET \
yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
YY_DO_BEFORE_ACTION; /* set up yytext again */ \
} \
while ( 0 )
#define unput(c) yyunput( c, yytext_ptr )
/* The following is because we cannot portably get our hands on size_t
* (without autoconf's help, which isn't available because we want
* flex-generated scanners to compile on their own).
*/
typedef unsigned int yy_size_t;
struct yy_buffer_state
{
FILE *yy_input_file;
char *yy_ch_buf; /* input buffer */
char *yy_buf_pos; /* current position in input buffer */
/* Size of input buffer in bytes, not including room for EOB
* characters.
*/
yy_size_t yy_buf_size;
/* Number of characters read into yy_ch_buf, not including EOB
* characters.
*/
int yy_n_chars;
/* Whether we "own" the buffer - i.e., we know we created it,
* and can realloc() it to grow it, and should free() it to
* delete it.
*/
int yy_is_our_buffer;
/* Whether this is an "interactive" input source; if so, and
* if we're using stdio for input, then we want to use getc()
* instead of fread(), to make sure we stop fetching input after
* each newline.
*/
int yy_is_interactive;
/* Whether we're considered to be at the beginning of a line.
* If so, '^' rules will be active on the next match, otherwise
* not.
*/
int yy_at_bol;
/* Whether to try to fill the input buffer when we reach the
* end of it.
*/
int yy_fill_buffer;
int yy_buffer_status;
#define YY_BUFFER_NEW 0
#define YY_BUFFER_NORMAL 1
/* When an EOF's been seen but there's still some text to process
* then we mark the buffer as YY_EOF_PENDING, to indicate that we
* shouldn't try reading from the input source any more. We might
* still have a bunch of tokens to match, though, because of
* possible backing-up.
*
* When we actually see the EOF, we change the status to "new"
* (via yyrestart()), so that the user can continue scanning by
* just pointing yyin at a new input file.
*/
#define YY_BUFFER_EOF_PENDING 2
};
static YY_BUFFER_STATE yy_current_buffer = 0;
/* We provide macros for accessing buffer states in case in the
* future we want to put the buffer states in a more general
* "scanner state".
*/
#define YY_CURRENT_BUFFER yy_current_buffer
/* yy_hold_char holds the character lost when yytext is formed. */
static char yy_hold_char;
static int yy_n_chars; /* number of characters read into yy_ch_buf */
int yyleng;
/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 1; /* whether we need to initialize */
static int yy_start = 0; /* start state number */
/* Flag which is used to allow yywrap()'s to do buffer switches
* instead of setting up a fresh yyin. A bit of a hack ...
*/
static int yy_did_buffer_switch_on_eof;
void yyrestart YY_PROTO(( FILE *input_file ));
void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
void yy_load_buffer_state YY_PROTO(( void ));
YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b ));
#define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer )
YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size ));
YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *yy_str ));
YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len ));
static void *yy_flex_alloc YY_PROTO(( yy_size_t ));
static void *yy_flex_realloc YY_PROTO(( void *, yy_size_t ));
static void yy_flex_free YY_PROTO(( void * ));
#define yy_new_buffer yy_create_buffer
#define yy_set_interactive(is_interactive) \
{ \
if ( ! yy_current_buffer ) \
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
yy_current_buffer->yy_is_interactive = is_interactive; \
}
#define yy_set_bol(at_bol) \
{ \
if ( ! yy_current_buffer ) \
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
yy_current_buffer->yy_at_bol = at_bol; \
}
#define YY_AT_BOL() (yy_current_buffer->yy_at_bol)
#define yywrap() 1
#define YY_SKIP_YYWRAP
typedef unsigned char YY_CHAR;
FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
typedef int yy_state_type;
extern char *yytext;
#define yytext_ptr yytext
static yy_state_type yy_get_previous_state YY_PROTO(( void ));
static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
static int yy_get_next_buffer YY_PROTO(( void ));
static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));
/* Done after the current pattern has been matched and before the
* corresponding action - sets up yytext.
*/
#define YY_DO_BEFORE_ACTION \
yytext_ptr = yy_bp; \
yyleng = (int) (yy_cp - yy_bp); \
yy_hold_char = *yy_cp; \
*yy_cp = '\0'; \
yy_c_buf_p = yy_cp;
#define YY_NUM_RULES 264
#define YY_END_OF_BUFFER 265
static yyconst short int yy_accept[1354] =
{ 0,
0, 0, 0, 0, 0, 0, 265, 263, 262, 264,
236, 263, 236, 236, 236, 236, 236, 236, 236, 236,
236, 236, 236, 236, 236, 236, 236, 236, 236, 236,
236, 236, 236, 236, 236, 236, 236, 236, 236, 236,
236, 236, 236, 236, 236, 236, 236, 236, 236, 236,
236, 236, 236, 236, 236, 236, 261, 261, 261, 249,
263, 263, 263, 263, 263, 263, 263, 263, 263, 263,
263, 263, 263, 263, 263, 263, 263, 263, 263, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 225,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
233, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 202, 202, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 224, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 235, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 227, 0, 0, 0, 0, 225, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 224, 0, 0, 0, 0, 0, 0,
0, 0, 235, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 238, 237, 260, 239, 0, 0, 240,
0, 0, 241, 242, 0, 243, 244, 259, 245, 0,
246, 247, 248, 0, 0, 1, 0, 0, 0, 0,
0, 0, 0, 0, 225, 223, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 71,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 232,
0, 0, 0, 0, 0, 0, 0, 43, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 197, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 119, 0, 0, 224, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
115, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 184, 184, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 176,
176, 228, 0, 0, 0, 0, 134, 0, 0, 165,
0, 0, 0, 0, 0, 0, 0, 0, 192, 0,
0, 0, 0, 0, 0, 260, 0, 0, 256, 254,
255, 0, 259, 0, 0, 0, 0, 0, 226, 0,
0, 231, 231, 0, 0, 0, 181, 0, 0, 0,
180, 0, 0, 142, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 38, 0, 0,
0, 0, 94, 0, 172, 0, 133, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 60, 0, 0, 166, 0, 198, 163,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 148, 0, 156, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 35, 0, 0, 0, 127, 0,
0, 0, 0, 37, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 61, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
154, 0, 0, 0, 4, 0, 0, 46, 0, 0,
0, 0, 0, 0, 0, 0, 0, 205, 0, 0,
0, 0, 0, 0, 0, 230, 0, 0, 0, 0,
173, 171, 0, 0, 0, 0, 0, 0, 108, 0,
0, 0, 0, 0, 0, 231, 0, 0, 0, 0,
0, 0, 135, 73, 0, 124, 0, 0, 77, 0,
0, 0, 0, 103, 103, 0, 190, 0, 66, 66,
0, 0, 0, 0, 0, 0, 0, 0, 41, 0,
0, 177, 0, 0, 0, 0, 0, 0, 0, 134,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 191, 107, 0, 0, 0, 258, 0,
0, 220, 220, 1, 0, 0, 0, 0, 0, 0,
0, 0, 122, 0, 0, 0, 0, 186, 0, 0,
0, 52, 0, 0, 0, 0, 32, 110, 19, 5,
0, 0, 92, 0, 93, 0, 0, 0, 0, 3,
0, 0, 31, 102, 0, 18, 39, 0, 128, 0,
0, 178, 0, 0, 215, 0, 0, 0, 0, 54,
0, 0, 0, 141, 0, 0, 30, 144, 144, 0,
137, 14, 0, 0, 0, 0, 0, 150, 149, 0,
0, 0, 0, 0, 0, 0, 0, 0, 87, 81,
0, 130, 0, 62, 145, 0, 0, 0, 0, 0,
158, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 63, 0, 0, 0, 0, 0, 0,
0, 42, 28, 0, 0, 0, 0, 0, 0, 0,
132, 121, 121, 0, 0, 0, 229, 0, 44, 0,
0, 0, 0, 0, 0, 0, 101, 0, 0, 0,
0, 0, 0, 0, 167, 69, 69, 193, 0, 0,
0, 118, 0, 0, 0, 189, 65, 65, 97, 0,
0, 0, 136, 0, 0, 99, 123, 0, 0, 117,
49, 0, 0, 88, 0, 0, 112, 0, 0, 0,
86, 116, 12, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 17, 78, 0, 194, 0, 0, 0, 0,
0, 0, 162, 147, 0, 29, 76, 20, 2, 109,
0, 0, 0, 0, 0, 0, 206, 105, 152, 0,
0, 0, 153, 0, 120, 155, 0, 74, 74, 0,
0, 0, 0, 168, 211, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 170, 0, 0,
0, 0, 216, 182, 0, 0, 0, 196, 0, 0,
0, 0, 0, 0, 0, 0, 234, 0, 0, 185,
13, 33, 79, 0, 36, 126, 113, 0, 0, 104,
0, 195, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 34,
188, 0, 0, 83, 0, 11, 0, 0, 0, 0,
251, 253, 250, 0, 252, 169, 0, 0, 0, 56,
0, 0, 0, 0, 72, 160, 0, 0, 0, 0,
0, 0, 218, 0, 0, 16, 0, 0, 0, 0,
0, 0, 50, 0, 0, 0, 0, 0, 0, 80,
129, 85, 84, 0, 159, 0, 0, 7, 0, 70,
143, 219, 0, 0, 0, 0, 111, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 106, 55, 0,
0, 213, 0, 82, 0, 0, 48, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 257, 151, 0, 59, 0, 0, 15, 0, 100,
146, 51, 0, 0, 138, 68, 0, 64, 0, 0,
27, 0, 0, 0, 26, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 161, 179, 0, 203,
0, 0, 217, 0, 221, 0, 114, 58, 0, 139,
0, 0, 0, 64, 0, 0, 0, 125, 0, 0,
0, 183, 0, 0, 0, 47, 0, 57, 0, 0,
89, 6, 0, 0, 0, 0, 0, 91, 157, 0,
199, 0, 0, 0, 0, 10, 10, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
214, 0, 25, 0, 0, 187, 0, 0, 0, 222,
0, 164, 67, 0, 0, 0, 0, 0, 0, 0,
95, 0, 9, 45, 0, 40, 0, 204, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
200, 201, 0, 0, 23, 0, 0, 210, 0, 0,
0, 0, 0, 0, 90, 212, 0, 98, 0, 0,
0, 174, 0, 207, 0, 0, 0, 0, 131, 208,
0, 75, 24, 0, 0, 140, 21, 22, 0, 0,
0, 0, 53, 0, 0, 175, 209, 96, 0, 0,
0, 8, 0
} ;
static yyconst int yy_ec[256] =
{ 0,
1, 1, 1, 2, 1, 1, 1, 1, 3, 4,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 3, 5, 1, 1, 1, 1, 1, 6, 1,
1, 1, 1, 7, 1, 8, 9, 10, 11, 12,
11, 11, 13, 11, 11, 14, 15, 16, 1, 17,
1, 18, 1, 1, 19, 20, 21, 22, 23, 24,
25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
35, 36, 37, 38, 39, 40, 41, 42, 43, 35,
44, 1, 1, 1, 1, 1, 45, 46, 47, 48,
49, 50, 51, 52, 53, 54, 55, 56, 57, 58,
59, 60, 61, 62, 63, 64, 65, 66, 67, 68,
69, 70, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1
} ;
static yyconst int yy_meta[71] =
{ 0,
1, 1, 1, 2, 1, 3, 1, 1, 4, 5,
5, 5, 5, 5, 5, 1, 1, 1, 6, 6,
6, 6, 6, 6, 6, 6, 6, 6, 6, 6,
6, 6, 6, 6, 6, 6, 6, 6, 6, 6,
6, 6, 6, 1, 7, 6, 6, 8, 9, 10,
6, 6, 11, 6, 6, 6, 10, 12, 6, 6,
6, 13, 14, 6, 10, 6, 6, 6, 6, 6
} ;
static yyconst short int yy_base[1574] =
{ 0,
0, 0, 0, 0, 70, 0, 2369, 88, 89, 2370,
93, 134, 103, 119, 129, 150, 149, 162, 176, 188,
252, 218, 223, 253, 274, 239, 289, 301, 313, 327,
345, 273, 346, 366, 367, 431, 397, 407, 447, 412,
454, 472, 490, 173, 495, 509, 519, 531, 548, 560,
572, 590, 611, 616, 632, 567, 2370, 2370, 2370, 2370,
2370, 537, 146, 163, 296, 637, 181, 184, 200, 212,
2352, 214, 235, 226, 257, 384, 270, 305, 312, 2309,
2313, 2356, 2346, 231, 151, 148, 2318, 175, 2317, 213,
2306, 94, 2311, 2311, 201, 122, 279, 302, 368, 2289,
2294, 281, 234, 311, 2292, 348, 200, 310, 324, 328,
2308, 2290, 421, 282, 2300, 2305, 2287, 249, 520, 363,
629, 445, 2292, 601, 2370, 307, 2301, 325, 2301, 2285,
472, 392, 2283, 2285, 347, 2285, 2281, 2278, 396, 2288,
423, 444, 366, 645, 2277, 501, 2282, 2287, 475, 0,
2292, 2287, 405, 511, 2286, 2269, 411, 648, 662, 2285,
2268, 462, 2279, 2272, 612, 462, 2284, 520, 553, 2266,
536, 2271, 429, 0, 2278, 2263, 569, 673, 497, 2266,
2266, 2269, 2256, 2370, 657, 686, 2272, 487, 663, 526,
677, 675, 655, 384, 591, 549, 693, 678, 513, 2255,
690, 579, 691, 2270, 697, 2248, 694, 697, 2254, 716,
745, 2253, 503, 2251, 718, 671, 717, 720, 709, 731,
2250, 765, 0, 737, 727, 624, 744, 566, 740, 748,
2259, 725, 751, 726, 2252, 2262, 0, 743, 780, 760,
752, 2244, 2244, 2370, 2370, 2245, 2370, 2242, 2241, 2370,
0, 751, 2370, 2370, 2253, 2370, 2370, 2241, 2370, 2238,
2370, 2370, 2370, 2250, 2282, 2370, 446, 794, 2246, 2234,
0, 2245, 2234, 817, 2370, 2370, 2233, 2231, 0, 758,
2248, 0, 2245, 2244, 0, 2235, 2238, 2243, 2232, 2370,
2234, 2227, 2220, 766, 2227, 2219, 2221, 2231, 0, 2232,
2225, 2229, 2214, 2227, 2211, 2267, 0, 528, 2214, 2370,
2219, 2221, 2206, 2212, 2205, 674, 2211, 2370, 2209, 2216,
2215, 2211, 2216, 2198, 2211, 2200, 0, 2208, 2193, 2207,
2198, 0, 2370, 2204, 2203, 2188, 772, 2193, 2190, 2195,
2191, 2191, 775, 0, 2196, 0, 2186, 2194, 2178, 2177,
2184, 2172, 2176, 824, 2174, 2178, 0, 774, 2171, 2228,
2180, 2170, 2186, 0, 2181, 2177, 2175, 2170, 2177, 2163,
2175, 2172, 2370, 2153, 2163, 2370, 2171, 2157, 2162, 2157,
2153, 2162, 2150, 827, 2147, 2149, 777, 781, 2158, 2145,
2160, 791, 2149, 2159, 2200, 2141, 2155, 2139, 2146, 2136,
2147, 2130, 2143, 793, 2135, 2131, 2121, 2123, 836, 2110,
2370, 2115, 2091, 2092, 0, 2103, 2086, 2085, 2090, 2096,
2080, 2079, 2079, 797, 802, 792, 835, 2078, 2075, 2073,
850, 800, 2072, 2063, 2055, 2050, 0, 0, 808, 0,
2051, 800, 2047, 0, 2044, 803, 2040, 2042, 857, 2040,
2022, 859, 2032, 2013, 2008, 2370, 2011, 2010, 1997, 2002,
821, 1986, 1986, 1996, 1996, 1992, 1984, 1965, 817, 2370,
1968, 2370, 1966, 1974, 1970, 870, 826, 1973, 1971, 2370,
1955, 1960, 1967, 1943, 1950, 1946, 1945, 1947, 2370, 1928,
1937, 1928, 0, 871, 1928, 2370, 1924, 1920, 2370, 2370,
2370, 1915, 2370, 1912, 0, 933, 1909, 1907, 2370, 1893,
1887, 2370, 1881, 1943, 1903, 1888, 2370, 0, 1882, 1880,
2370, 1891, 1884, 2370, 0, 1883, 1876, 1878, 0, 814,
1871, 879, 1854, 0, 0, 0, 0, 2370, 1866, 1863,
0, 1848, 2370, 0, 2370, 1839, 2370, 1850, 1840, 1842,
1824, 1819, 0, 0, 1821, 0, 0, 1816, 0, 1822,
1804, 0, 1800, 2370, 881, 0, 2370, 1800, 2370, 2370,
1786, 1802, 1785, 1794, 0, 1783, 1790, 1778, 0, 1770,
1754, 2370, 0, 2370, 883, 1759, 0, 0, 1766, 1753,
1738, 1746, 0, 1748, 2370, 0, 0, 1730, 2370, 1728,
1740, 1724, 1722, 2370, 1706, 1722, 1720, 1710, 0, 1700,
0, 1706, 1702, 1685, 2370, 0, 1687, 1680, 1688, 1678,
844, 0, 1679, 1670, 1670, 1653, 1647, 1648, 1641, 1637,
2370, 1639, 1638, 1628, 2370, 1606, 0, 2370, 1609, 1594,
1593, 1606, 1594, 1587, 1583, 0, 0, 891, 1577, 1613,
1623, 1573, 1565, 0, 887, 2370, 1564, 1576, 1576, 1616,
2370, 2370, 1572, 1568, 1554, 1551, 1547, 839, 2370, 1539,
1546, 0, 1530, 1530, 1536, 838, 1532, 1532, 1524, 1518,
1506, 0, 2370, 2370, 895, 2370, 0, 1515, 2370, 1514,
1516, 0, 1511, 2370, 1492, 1490, 2370, 0, 2370, 1484,
897, 0, 1482, 899, 0, 906, 908, 0, 2370, 0,
1470, 2370, 1479, 0, 0, 1481, 1466, 0, 1455, 2370,
1460, 0, 1449, 910, 1461, 1445, 864, 0, 0, 1442,
917, 1451, 919, 2370, 2370, 1447, 1443, 1439, 2370, 1426,
1434, 2370, 1464, 2370, 1429, 1415, 1421, 1421, 1418, 1412,
1427, 1413, 2370, 1413, 1399, 0, 0, 2370, 1394, 0,
1396, 2370, 1391, 875, 1387, 1378, 2370, 2370, 2370, 2370,
0, 0, 2370, 1385, 2370, 0, 0, 0, 1358, 2370,
0, 0, 2370, 2370, 1368, 2370, 2370, 1348, 2370, 1355,
1344, 2370, 1353, 1347, 2370, 0, 0, 1361, 0, 2370,
1356, 1345, 1357, 2370, 1332, 0, 2370, 2370, 1370, 1347,
2370, 2370, 1350, 0, 0, 1343, 922, 2370, 2370, 1326,
0, 1342, 1323, 1328, 0, 1322, 0, 1320, 2370, 2370,
1320, 2370, 1333, 2370, 2370, 1331, 1320, 1325, 1323, 1313,
2370, 1326, 1322, 927, 1324, 1315, 0, 1308, 1298, 1313,
1311, 1303, 0, 2370, 0, 1313, 1305, 1307, 0, 1304,
1303, 2370, 2370, 879, 1294, 1296, 1295, 1278, 0, 1273,
2370, 2370, 1268, 0, 0, 0, 2370, 0, 2370, 1260,
0, 0, 0, 1268, 1276, 0, 2370, 1260, 0, 1264,
1258, 1259, 1249, 1244, 2370, 2370, 1251, 2370, 1251, 1250,
1261, 2370, 1241, 1244, 1241, 2370, 2370, 1227, 2370, 1238,
1224, 1221, 2370, 1206, 1212, 2370, 2370, 1214, 0, 2370,
2370, 1217, 0, 2370, 1206, 1211, 2370, 0, 1200, 0,
2370, 2370, 2370, 1192, 944, 1187, 852, 0, 0, 0,
1196, 0, 1179, 1180, 1172, 1191, 1174, 0, 1174, 1188,
1185, 1182, 2370, 2370, 0, 2370, 0, 1169, 1160, 1161,
1152, 1167, 2370, 2370, 1151, 2370, 2370, 2370, 2370, 2370,
0, 1156, 1148, 0, 1155, 1151, 2370, 2370, 2370, 950,
1161, 1144, 2370, 1149, 2370, 2370, 0, 2370, 1130, 1144,
1128, 1126, 1135, 2370, 2370, 1119, 0, 0, 0, 0,
1132, 1134, 0, 1131, 901, 1121, 1099, 2370, 0, 0,
0, 0, 2370, 2370, 1076, 95, 953, 2370, 170, 0,
231, 272, 334, 559, 590, 613, 2370, 634, 687, 2370,
2370, 2370, 2370, 690, 2370, 2370, 2370, 867, 0, 2370,
0, 2370, 862, 899, 911, 911, 0, 939, 898, 907,
0, 907, 906, 918, 917, 917, 910, 920, 913, 2370,
2370, 907, 924, 2370, 924, 2370, 911, 912, 933, 920,
2370, 2370, 2370, 0, 2370, 2370, 0, 923, 920, 2370,
931, 0, 920, 0, 2370, 2370, 0, 0, 935, 939,
927, 0, 2370, 0, 927, 2370, 942, 0, 940, 933,
0, 936, 2370, 936, 951, 0, 947, 950, 954, 2370,
2370, 2370, 2370, 945, 2370, 943, 949, 946, 939, 2370,
2370, 2370, 956, 948, 960, 0, 2370, 0, 944, 0,
951, 946, 0, 966, 0, 1009, 0, 2370, 2370, 952,
970, 2370, 0, 2370, 954, 961, 2370, 969, 0, 969,
1017, 957, 0, 974, 1021, 964, 0, 982, 969, 963,
0, 2370, 2370, 966, 2370, 0, 965, 2370, 976, 2370,
2370, 2370, 971, 0, 2370, 2370, 0, 2370, 985, 976,
2370, 978, 0, 973, 2370, 975, 0, 985, 0, 977,
984, 994, 980, 1042, 996, 989, 2370, 2370, 997, 2370,
1001, 995, 2370, 994, 2370, 1041, 2370, 2370, 998, 2370,
996, 0, 999, 2370, 0, 999, 997, 2370, 0, 1014,
1016, 2370, 1005, 0, 1015, 2370, 0, 2370, 1016, 0,
2370, 2370, 1004, 1010, 1012, 1010, 1021, 2370, 2370, 1022,
2370, 0, 1022, 1014, 1028, 2370, 1055, 0, 1031, 0,
1031, 1033, 1072, 1071, 1063, 1064, 1050, 1055, 1034, 1025,
2370, 1028, 2370, 1043, 1091, 2370, 1051, 1041, 1050, 2370,
1096, 2370, 2370, 0, 0, 1049, 1045, 0, 1047, 0,
2370, 1044, 2370, 2370, 1050, 2370, 1060, 2370, 1047, 1058,
1102, 0, 0, 1064, 0, 1064, 1070, 1069, 1064, 1054,
2370, 2370, 1056, 0, 2370, 1069, 1063, 2370, 1058, 1072,
0, 0, 1066, 1115, 2370, 2370, 0, 2370, 0, 1063,
1072, 2370, 0, 2370, 0, 0, 1079, 1076, 2370, 2370,
1079, 2370, 2370, 1068, 0, 2370, 2370, 2370, 1070, 1075,
0, 0, 2370, 0, 1085, 2370, 2370, 2370, 1086, 1074,
0, 2370, 2370, 1133, 1147, 1161, 1175, 1187, 1191, 1195,
1199, 1203, 1207, 1220, 1224, 1228, 1232, 1244, 1248, 1252,
1256, 1260, 1268, 1272, 1276, 1280, 1284, 1288, 1292, 1296,
1300, 1312, 1316, 1329, 1333, 1337, 1341, 1345, 1349, 1363,
1375, 1389, 1393, 1406, 1417, 1421, 1435, 1439, 1443, 1447,
1451, 1455, 1459, 1463, 1467, 1471, 1485, 1489, 1493, 1497,
1501, 1505, 1509, 1513, 1517, 1521, 1525, 1529, 1533, 1537,
1541, 1545, 1549, 1553, 1557, 1566, 1570, 1574, 1578, 1582,
1586, 1590, 1594, 1598, 1602, 1606, 1610, 1614, 1618, 1630,
1634, 1638, 1642, 1646, 1650, 1654, 1658, 1662, 1666, 1670,
1684, 1688, 1692, 1696, 1700, 1704, 1708, 1712, 1716, 1720,
1724, 1728, 1732, 1736, 1740, 1744, 1748, 1752, 1756, 1760,
1764, 1768, 1772, 1776, 1780, 1784, 1788, 1792, 1796, 1800,
1804, 1808, 1812, 1816, 1820, 1824, 1828, 1832, 1836, 1840,
1844, 1848, 1852, 1856, 1860, 1864, 1868, 1872, 1876, 1880,
1884, 1888, 1892, 1896, 1900, 1904, 1908, 1912, 1916, 1920,
1924, 1928, 1932, 1936, 1940, 1953, 1957, 1961, 1965, 1969,
1973, 1977, 1981, 1985, 1989, 1993, 1997, 2001, 2005, 2009,
2013, 2026, 2030, 2034, 2038, 2042, 2046, 2050, 2054, 2058,
2062, 2066, 2070, 2074, 2078, 2082, 2086, 2090, 2094, 2098,
2102, 2106, 2110, 2114, 2118, 2122, 2126, 2130, 2134, 2138,
2149, 2153, 2157, 2161, 2165, 2169, 2173, 2177, 2181, 2185,
2189, 2193, 2197
} ;
static yyconst short int yy_def[1574] =
{ 0,
1353, 1, 1, 1, 1353, 5, 1353, 1353, 1353, 1353,
1353, 1354, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 21, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1354, 1355, 1355, 1355, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1356,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1357, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1358,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1359, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1360, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1361, 1362, 1353, 1353, 1353, 1353, 1353, 1353, 1363,
1353, 1353, 1353, 1353, 1359, 1353, 1364, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1365, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1355, 1353, 1355, 1355, 1353, 1353,
1366, 1353, 1353, 1367, 1353, 1353, 1353, 1353, 1368, 1353,
1353, 1369, 1353, 1353, 1370, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1371, 1353,
1353, 1353, 1353, 1372, 1353, 1353, 1373, 1373, 1373, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1374, 1353, 1353, 1353,
1353, 1375, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1376, 1353, 1377, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1378, 1353, 1353, 1379,
1353, 1353, 1353, 1380, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1381, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1382, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1383, 1353, 1353, 1353,
1367, 1353, 1353, 1353, 1353, 1353, 1384, 1385, 1353, 1386,
1353, 1353, 1353, 1387, 1353, 1353, 1353, 1353, 1388, 1353,
1389, 1390, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1391, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1392, 1393, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1394, 1353, 1353, 1395, 1396, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1397, 1353, 1353,
1353, 1353, 1353, 1353, 1398, 1353, 1353, 1353, 1399, 1353,
1353, 1353, 1353, 1400, 1401, 1402, 1403, 1353, 1353, 1353,
1404, 1353, 1353, 1405, 1353, 1353, 1353, 1353, 1353, 1353,
1406, 1353, 1407, 1408, 1353, 1409, 1410, 1353, 1411, 1353,
1353, 1412, 1353, 1353, 1353, 1413, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1414, 1353, 1353, 1353, 1415, 1353,
1353, 1353, 1416, 1353, 1417, 1353, 1418, 1419, 1353, 1353,
1353, 1353, 1420, 1353, 1353, 1421, 1422, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1423, 1353,
1424, 1353, 1425, 1353, 1353, 1426, 1353, 1353, 1353, 1353,
1353, 1427, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1428, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1429, 1430, 1353, 1353, 1353,
1353, 1353, 1353, 1431, 1432, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1433, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1434, 1353, 1353, 1435, 1353, 1436, 1353, 1353, 1353,
1353, 1437, 1353, 1353, 1353, 1353, 1353, 1438, 1353, 1353,
1439, 1440, 1353, 1353, 1441, 1353, 1353, 1442, 1353, 1443,
1353, 1353, 1353, 1444, 1445, 1353, 1353, 1446, 1353, 1353,
1353, 1447, 1353, 1353, 1353, 1430, 1353, 1448, 1449, 1353,
1432, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1450, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1451, 1452, 1353, 1353, 1453,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1454, 1455, 1353, 1353, 1353, 1456, 1457, 1458, 1353, 1353,
1459, 1460, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1461, 1462, 1353, 1463, 1353,
1353, 1353, 1353, 1353, 1353, 1464, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1465, 1466, 1353, 1467, 1353, 1353, 1353,
1468, 1353, 1353, 1353, 1469, 1353, 1470, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1471, 1353, 1353, 1353,
1353, 1353, 1472, 1353, 1473, 1353, 1353, 1353, 1474, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1475, 1353,
1353, 1353, 1353, 1476, 1477, 1478, 1353, 1479, 1353, 1353,
1480, 1481, 1482, 1353, 1353, 1483, 1353, 1353, 1484, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1457, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1485, 1353,
1353, 1353, 1486, 1353, 1353, 1353, 1353, 1487, 1353, 1488,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1489, 1490, 1491,
1353, 1492, 1353, 1353, 1353, 1353, 1353, 1493, 1353, 1353,
1353, 1353, 1353, 1353, 1494, 1353, 1495, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1496, 1353, 1353, 1497, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1498, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1499, 1500, 1501, 1502,
1353, 1353, 1503, 1353, 1353, 1353, 1353, 1353, 1504, 1505,
1506, 1507, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1508,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1509, 1353,
1510, 1353, 1353, 1353, 1353, 1353, 1511, 1353, 1353, 1353,
1512, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1513, 1353, 1353, 1514, 1353, 1515, 1353,
1353, 1516, 1353, 1517, 1353, 1353, 1518, 1519, 1353, 1353,
1353, 1520, 1353, 1521, 1353, 1353, 1353, 1522, 1353, 1353,
1523, 1353, 1353, 1353, 1353, 1524, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1525, 1353, 1526, 1353, 1527,
1353, 1353, 1528, 1353, 1529, 1353, 1530, 1353, 1353, 1531,
1353, 1353, 1532, 1353, 1353, 1353, 1353, 1353, 1533, 1353,
1353, 1353, 1534, 1353, 1353, 1353, 1535, 1353, 1353, 1353,
1536, 1353, 1353, 1353, 1353, 1537, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1538, 1353, 1353, 1539, 1353, 1353, 1353,
1353, 1353, 1540, 1353, 1353, 1353, 1541, 1353, 1542, 1353,
1353, 1353, 1353, 1543, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1544, 1353, 1353, 1545, 1353, 1353, 1353, 1546, 1353,
1353, 1353, 1353, 1547, 1353, 1353, 1548, 1353, 1353, 1549,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1550, 1353, 1353, 1353, 1353, 1353, 1551, 1353, 1552,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1553, 1554, 1353, 1353, 1555, 1353, 1556,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1557, 1558, 1353, 1559, 1353, 1353, 1353, 1560, 1353,
1353, 1353, 1353, 1561, 1353, 1353, 1353, 1353, 1353, 1353,
1562, 1563, 1353, 1353, 1353, 1353, 1564, 1353, 1565, 1353,
1353, 1353, 1566, 1353, 1567, 1568, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1569, 1353, 1353, 1353, 1353, 1353,
1570, 1571, 1353, 1572, 1353, 1353, 1353, 1353, 1353, 1353,
1573, 1353, 0, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,
1353, 1353, 1353
} ;
static yyconst short int yy_nxt[2441] =
{ 0,
8, 9, 8, 10, 8, 11, 8, 8, 8, 11,
11, 11, 11, 11, 11, 8, 12, 8, 13, 14,
15, 16, 17, 18, 19, 20, 21, 22, 23, 24,
25, 26, 27, 28, 11, 29, 30, 31, 32, 33,
34, 11, 35, 8, 36, 37, 38, 39, 40, 41,
42, 43, 44, 45, 46, 47, 48, 26, 49, 50,
11, 51, 52, 53, 54, 33, 55, 11, 56, 11,
57, 58, 57, 59, 60, 61, 57, 57, 57, 61,
61, 61, 61, 61, 61, 57, 57, 57, 61, 61,
61, 61, 61, 61, 61, 61, 61, 61, 61, 61,
61, 61, 61, 61, 61, 61, 61, 61, 61, 61,
61, 61, 61, 57, 62, 63, 64, 65, 66, 67,
68, 68, 69, 70, 71, 71, 72, 72, 73, 74,
75, 75, 71, 76, 77, 77, 78, 78, 79, 79,
80, 80, 82, 81, 81, 80, 80, 1124, 81, 81,
81, 81, 81, 244, 81, 80, 81, 277, 86, 87,
88, 245, 89, 94, 90, 91, 92, 95, 266, 93,
247, 96, 282, 101, 97, 125, 125, 98, 245, 264,
99, 80, 81, 100, 102, 283, 84, 103, 250, 85,
104, 253, 81, 105, 106, 85, 245, 85, 107, 245,
80, 80, 108, 268, 81, 81, 112, 254, 109, 269,
81, 110, 81, 81, 113, 245, 111, 81, 1126, 254,
114, 256, 271, 115, 117, 81, 116, 245, 118, 245,
210, 81, 121, 257, 119, 211, 122, 120, 272, 81,
123, 245, 257, 81, 302, 280, 124, 281, 266, 81,
245, 81, 125, 125, 126, 126, 125, 255, 125, 125,
125, 274, 129, 303, 259, 80, 130, 125, 125, 125,
131, 134, 245, 81, 275, 135, 132, 261, 81, 81,
136, 81, 133, 147, 81, 245, 81, 148, 267, 1128,
294, 149, 295, 296, 81, 125, 258, 137, 248, 248,
81, 138, 81, 247, 80, 139, 264, 81, 81, 127,
319, 245, 262, 81, 81, 128, 81, 150, 141, 263,
245, 140, 142, 284, 1129, 80, 143, 245, 81, 81,
175, 80, 144, 292, 81, 81, 81, 81, 145, 293,
314, 80, 146, 151, 81, 156, 315, 285, 152, 157,
153, 338, 154, 80, 155, 297, 81, 160, 304, 158,
286, 161, 159, 80, 81, 80, 287, 264, 81, 341,
339, 162, 305, 163, 81, 164, 81, 80, 165, 80,
308, 306, 166, 167, 1130, 168, 260, 260, 81, 171,
169, 170, 309, 172, 176, 299, 173, 80, 80, 245,
81, 81, 351, 174, 264, 300, 81, 81, 81, 81,
177, 323, 362, 301, 178, 80, 288, 179, 180, 80,
80, 81, 81, 264, 181, 183, 289, 182, 81, 81,
81, 184, 184, 184, 184, 184, 80, 184, 184, 184,
346, 190, 293, 347, 355, 191, 184, 184, 184, 96,
329, 193, 97, 264, 348, 192, 200, 80, 99, 80,
81, 100, 194, 266, 80, 195, 376, 201, 104, 380,
81, 105, 381, 81, 184, 81, 312, 409, 264, 111,
357, 410, 313, 80, 358, 359, 185, 186, 187, 330,
188, 196, 189, 91, 92, 107, 506, 93, 112, 197,
331, 360, 81, 368, 368, 198, 113, 391, 199, 81,
81, 361, 202, 332, 80, 203, 204, 81, 116, 392,
117, 371, 320, 320, 118, 372, 398, 81, 344, 264,
205, 273, 264, 120, 207, 81, 206, 345, 122, 243,
243, 421, 123, 212, 244, 81, 430, 213, 208, 422,
81, 81, 245, 81, 209, 423, 81, 134, 81, 214,
264, 215, 377, 80, 81, 442, 216, 138, 345, 400,
81, 217, 81, 279, 81, 218, 401, 443, 321, 219,
81, 322, 81, 143, 402, 264, 81, 140, 432, 220,
406, 407, 81, 548, 81, 221, 299, 223, 246, 222,
80, 403, 151, 81, 225, 80, 300, 152, 226, 224,
478, 154, 80, 155, 404, 81, 160, 1131, 158, 80,
228, 227, 81, 81, 80, 242, 414, 81, 81, 390,
81, 415, 416, 81, 1132, 81, 229, 446, 164, 249,
249, 165, 80, 315, 250, 166, 167, 439, 230, 295,
296, 81, 245, 169, 170, 232, 231, 334, 335, 172,
395, 1133, 233, 234, 396, 336, 81, 337, 80, 235,
397, 81, 81, 236, 81, 237, 238, 81, 417, 81,
239, 324, 380, 179, 240, 477, 325, 81, 429, 429,
241, 326, 327, 182, 328, 81, 363, 1134, 251, 320,
320, 364, 365, 382, 252, 383, 385, 384, 366, 80,
386, 431, 437, 428, 387, 80, 438, 291, 269, 462,
388, 280, 555, 281, 275, 418, 305, 434, 419, 352,
270, 264, 433, 286, 420, 306, 435, 436, 445, 287,
440, 304, 80, 316, 441, 1135, 324, 457, 457, 447,
264, 325, 1136, 334, 335, 321, 452, 327, 322, 453,
449, 336, 450, 340, 460, 463, 360, 471, 471, 455,
465, 464, 466, 351, 264, 461, 361, 357, 467, 483,
407, 473, 359, 264, 486, 417, 474, 364, 365, 80,
475, 393, 386, 468, 366, 476, 387, 400, 376, 484,
490, 479, 388, 485, 401, 415, 416, 491, 425, 481,
500, 266, 402, 501, 532, 492, 573, 424, 493, 513,