#line 2 "vclex.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>
/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
#ifdef c_plusplus
#ifndef __cplusplus
#define __cplusplus
#endif
#endif
#ifdef __cplusplus
#include <stdlib.h>
#include <unistd.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 43
#define YY_END_OF_BUFFER 44
static yyconst short int yy_accept[1502] =
{ 0,
0, 0, 44, 43, 43, 43, 43, 43, 28, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 0, 0, 0, 0, 0, 0, 0, 0, 0,
28, 0, 0, 29, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 21, 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, 33, 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, 34, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
35, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 32, 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, 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, 23, 0, 0, 22, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 30, 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,
0, 24, 27, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 13,
0, 0, 14, 0, 0, 0, 0, 0, 0, 13,
0, 0, 0, 14, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 25, 0, 0,
0, 0, 0, 13, 14, 0, 0, 0, 0, 0,
0, 13, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 36, 0, 0, 0, 0, 0, 0, 39,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
11, 0, 0, 0, 26, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 31, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 15, 0, 0, 42,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 23, 0, 0, 22, 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, 23, 0, 0, 22, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 23,
0, 0, 22, 0, 0, 0, 0, 37, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 12, 0, 0, 0, 0, 0, 0, 0,
0, 0, 16, 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, 22, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 23, 0, 0,
22, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 20, 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, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
9, 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, 1, 0, 0, 0,
2, 0, 0, 0, 10, 0, 0, 0, 0, 0,
0, 0, 0, 23, 0, 0, 22, 0, 0, 0,
0, 0, 0, 0, 23, 0, 0, 22, 0, 0,
0, 0, 0, 0, 17, 0, 38, 0, 0, 0,
0, 0, 0, 11, 0, 0, 11, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 23, 0, 0, 22,
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, 0, 0, 0, 0, 0, 0,
0, 0, 22, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 19, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 22, 0, 0, 0, 0, 0, 0, 0,
0, 22, 0, 0, 0, 0, 23, 0, 0, 22,
0, 0, 0, 41, 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, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 40, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 5, 0, 0, 0, 0, 6, 0, 0,
0, 0, 0, 0, 0, 0, 0, 22, 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, 20, 0, 0, 20,
0, 0, 0, 3, 0, 0, 0, 4, 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, 7, 8, 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, 22, 0, 0, 0, 0,
0, 0, 22, 0, 0, 0, 0, 0, 23, 0,
0, 22, 0, 0, 0, 0, 11, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 22, 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, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 22, 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,
23, 0, 0, 22, 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, 20, 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, 0, 22, 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, 22, 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, 18,
0
} ;
static yyconst int yy_ec[256] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 4, 1, 1, 5, 1, 1, 1, 1, 1,
1, 6, 7, 8, 9, 10, 11, 12, 12, 12,
12, 12, 12, 12, 12, 12, 12, 13, 14, 15,
16, 17, 1, 1, 5, 5, 18, 5, 5, 5,
5, 5, 5, 5, 5, 5, 5, 5, 5, 19,
5, 20, 21, 5, 5, 5, 22, 5, 5, 5,
1, 1, 1, 5, 5, 1, 23, 24, 25, 26,
27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
37, 38, 5, 39, 40, 41, 42, 43, 44, 5,
45, 5, 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[46] =
{ 0,
1, 1, 2, 1, 3, 1, 3, 4, 5, 6,
1, 3, 1, 6, 1, 6, 1, 3, 3, 3,
3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
3, 3, 3, 3, 3
} ;
static yyconst short int yy_base[1577] =
{ 0,
0, 14, 2740, 4350, 2719, 2717, 2704, 59, 4350, 1,
0, 54, 4, 60, 74, 58, 71, 72, 73, 75,
76, 78, 77, 83, 80, 84, 85, 91, 92, 79,
86, 2661, 91, 2663, 88, 131, 148, 94, 119, 126,
4350, 163, 132, 4350, 135, 149, 147, 145, 95, 165,
166, 171, 172, 161, 169, 170, 173, 174, 177, 175,
96, 178, 179, 181, 184, 182, 186, 2638, 172, 2592,
227, 192, 183, 195, 197, 190, 207, 202, 228, 217,
218, 203, 226, 239, 240, 241, 244, 245, 246, 248,
247, 249, 250, 256, 257, 251, 258, 262, 267, 2589,
2582, 2530, 2519, 259, 268, 269, 270, 272, 276, 273,
287, 281, 284, 286, 291, 289, 294, 295, 293, 290,
304, 316, 300, 302, 303, 313, 315, 319, 317, 324,
322, 326, 2511, 2483, 2479, 2448, 327, 323, 328, 330,
2, 335, 333, 338, 337, 340, 339, 341, 344, 343,
354, 348, 350, 360, 357, 4350, 361, 368, 371, 347,
382, 364, 374, 381, 385, 388, 393, 2442, 2450, 2425,
2433, 391, 392, 396, 398, 397, 401, 399, 403, 405,
408, 407, 410, 412, 409, 411, 417, 420, 416, 418,
419, 429, 423, 437, 443, 4350, 444, 440, 441, 447,
445, 446, 448, 451, 455, 452, 2381, 2351, 2317, 2299,
461, 457, 454, 458, 464, 472, 470, 471, 473, 474,
476, 481, 482, 485, 486, 492, 489, 496, 4350, 498,
501, 494, 495, 504, 503, 514, 522, 523, 524, 526,
4350, 530, 511, 512, 529, 531, 532, 535, 2330, 2288,
2280, 2248, 4350, 541, 538, 539, 544, 546, 545, 547,
548, 550, 551, 555, 553, 556, 558, 559, 562, 574,
564, 571, 573, 577, 566, 561, 598, 578, 583, 601,
586, 591, 603, 600, 606, 604, 2177, 2157, 2102, 2025,
608, 614, 605, 616, 617, 620, 623, 613, 621, 622,
627, 628, 629, 635, 632, 633, 641, 634, 642, 643,
644, 638, 646, 668, 651, 649, 676, 650, 659, 677,
654, 657, 666, 2044, 2044, 0, 2003, 680, 664, 686,
693, 4350, 696, 697, 4350, 699, 702, 742, 704, 679,
705, 710, 695, 703, 713, 4350, 717, 711, 720, 714,
722, 724, 730, 723, 726, 716, 760, 762, 729, 756,
770, 739, 741, 774, 766, 758, 767, 779, 1977, 1969,
1941, 784, 769, 210, 786, 794, 807, 824, 841, 792,
779, 791, 793, 806, 804, 856, 819, 840, 854, 858,
857, 4350, 4350, 864, 861, 821, 870, 874, 862, 863,
877, 886, 808, 888, 867, 880, 882, 884, 1960, 0,
1896, 1851, 1845, 1814, 795, 889, 892, 901, 904, 918,
935, 1754, 0, 908, 895, 894, 902, 917, 932, 922,
919, 952, 950, 958, 959, 961, 946, 960, 970, 957,
971, 978, 963, 969, 980, 981, 979, 4350, 990, 991,
977, 987, 1770, 0, 4350, 1729, 993, 1003, 1000, 1006,
1010, 1025, 1004, 1012, 1009, 1014, 1015, 1026, 1020, 1047,
1029, 1051, 4350, 1055, 1057, 1063, 1060, 1061, 1067, 4350,
1069, 1044, 1075, 1078, 1068, 1076, 1084, 1086, 1087, 1093,
4350, 1094, 1097, 1103, 4350, 1077, 1085, 1107, 1679, 1115,
1095, 1117, 1123, 1125, 1132, 1135, 1108, 1096, 1106, 1114,
1121, 1128, 1134, 1137, 1147, 1149, 1145, 4350, 1158, 1159,
1165, 1168, 1166, 1167, 1174, 1151, 1178, 1180, 1157, 1143,
1187, 1189, 1188, 1195, 1194, 1179, 4350, 1662, 1181, 4350,
1201, 1202, 1209, 1212, 1198, 1205, 1206, 1208, 1214, 1215,
1216, 1217, 1224, 1225, 1227, 1239, 1246, 1247, 893, 1248,
1254, 1221, 1256, 4350, 1260, 1262, 4350, 1263, 1238, 988,
1264, 1270, 1267, 1277, 1279, 1275, 1653, 1261, 1286, 1288,
1294, 1296, 1276, 1268, 1278, 1285, 825, 1287, 1300, 1301,
1308, 1310, 1316, 1322, 1324, 4350, 1326, 1330, 4350, 1332,
1328, 1228, 1339, 1315, 1341, 1347, 1344, 1302, 1350, 4350,
1353, 1356, 4350, 1357, 1309, 1359, 1363, 4350, 1369, 1372,
1607, 1355, 1375, 1378, 1381, 1384, 1362, 1382, 1365, 1383,
1386, 1389, 1394, 1395, 1401, 1403, 1407, 1415, 1417, 1424,
1426, 1400, 1423, 1430, 1434, 1432, 1441, 1444, 1446, 1433,
1452, 1454, 1451, 1462, 1464, 1471, 1468, 1481, 1443, 1474,
1475, 1478, 1481, 1460, 1483, 1477, 1480, 1461, 1484, 1486,
1487, 1494, 1495, 1496, 1503, 1505, 1507, 1515, 1517, 1520,
1523, 1527, 1529, 1535, 1538, 1537, 1524, 1548, 1551, 1531,
1554, 1561, 1563, 1496, 1550, 1564, 4350, 1565, 1568, 1552,
1566, 1574, 1572, 1569, 1575, 1578, 1581, 4350, 1585, 1587,
4350, 1589, 1595, 1591, 1602, 1610, 1608, 1612, 1499, 1621,
1627, 1583, 1630, 1633, 1637, 1640, 1642, 1601, 1648, 1650,
1658, 1664, 1661, 1652, 4350, 1670, 1671, 1496, 1599, 1677,
1667, 1669, 1713, 1730, 1678, 1679, 1681, 1685, 1687, 1693,
1695, 1701, 1703, 1745, 1747, 1749, 1751, 1758, 1708, 1760,
1766, 1754, 1734, 1768, 1770, 1776, 1700, 1767, 1780, 1783,
1787, 1790, 1797, 1799, 1801, 1803, 1810, 1137, 1811, 1813,
1812, 1800, 1611, 1832, 1849, 1892, 1909, 1819, 1725, 1786,
4350, 1864, 1866, 1872, 1874, 1820, 1822, 1880, 1876, 1911,
1878, 1686, 1834, 1836, 1846, 1926, 1928, 1934, 1936, 1938,
1853, 1946, 1948, 1950, 1952, 1896, 1913, 1956, 1962, 1971,
1033, 1865, 1969, 1935, 1821, 1925, 4350, 1065, 0, 1410,
4350, 1001, 0, 1923, 4350, 1973, 1894, 1960, 1979, 1987,
1989, 1990, 1996, 4350, 1997, 1998, 4350, 2000, 2006, 2008,
2014, 2016, 1851, 2018, 4350, 2020, 2022, 4350, 2024, 2007,
2033, 2041, 2043, 2049, 4350, 2030, 4350, 2047, 2056, 2058,
2065, 2067, 2069, 4350, 2071, 2073, 4350, 2075, 2081, 2083,
2085, 902, 2023, 2089, 2093, 2027, 2072, 2074, 2046, 2005,
2087, 2096, 2100, 2107, 2114, 2104, 4350, 2117, 2118, 4350,
2124, 2125, 2127, 2133, 2135, 2141, 2143, 2111, 2149, 2151,
2126, 2153, 2155, 2161, 2163, 2169, 2171, 2177, 2179, 2185,
2187, 2193, 2195, 2201, 2199, 2203, 2207, 2142, 2210, 2212,
2220, 2216, 2218, 1882, 2132, 2230, 2231, 2233, 2234, 2241,
2248, 2250, 2256, 2254, 2258, 2260, 2262, 2238, 2268, 2270,
1593, 2274, 4350, 2276, 2277, 2280, 2283, 2284, 2286, 2292,
2294, 2296, 2298, 2300, 2302, 4350, 2304, 2310, 2312, 2317,
2318, 2315, 2316, 2327, 2329, 2335, 2337, 2343, 2345, 2347,
2349, 2351, 4350, 2357, 2178, 2358, 2360, 2217, 2368, 2371,
2374, 4350, 2375, 2381, 2384, 2394, 4350, 2395, 2398, 4350,
2401, 2404, 2407, 4350, 2413, 2416, 2444, 2461, 2377, 2387,
2419, 2422, 2425, 2428, 2432, 2434, 2476, 2478, 2480, 2487,
2489, 2431, 2491, 2495, 2498, 2502, 2186, 2505, 2509, 2511,
2518, 2520, 2522, 2524, 2531, 2533, 2539, 2541, 2547, 2448,
2465, 2555, 2572, 2170, 2615, 2632, 2261, 2675, 2692, 2545,
2557, 2559, 2574, 2585, 2587, 2589, 2596, 2603, 2599, 2634,
2645, 2606, 2576, 4350, 2619, 2647, 2649, 2653, 2657, 2583,
2665, 2696, 2707, 2714, 2711, 2717, 2721, 2724, 2727, 2733,
2636, 2664, 4350, 752, 0, 2212, 2405, 4350, 711, 0,
2511, 2592, 2741, 2758, 2801, 2818, 2679, 4350, 2731, 2760,
2773, 2762, 2775, 2782, 2784, 2790, 2792, 2831, 2833, 2839,
2841, 2847, 2849, 2655, 2851, 2855, 2862, 2864, 2866, 2874,
2876, 2882, 2884, 2886, 2888, 2743, 4350, 2805, 2745, 4350,
2868, 2803, 2820, 4350, 161, 0, 2560, 4350, 69, 0,
2707, 2896, 2902, 2904, 2910, 2912, 2918, 2920, 2926, 2928,
2930, 2932, 2939, 2941, 2947, 2949, 2955, 2301, 2953, 2957,
2964, 2970, 2968, 2972, 2979, 2981, 2987, 2989, 2991, 2993,
2995, 3002, 3004, 3010, 4350, 4350, 3012, 3018, 3020, 3026,
3028, 2822, 2890, 2961, 3030, 3032, 3034, 3036, 3038, 3044,
3045, 3047, 2544, 3053, 3055, 3057, 3059, 3061, 3063, 3065,
3067, 3071, 3073, 3074, 3077, 3080, 3081, 3090, 3092, 3096,
3084, 3098, 3099, 3100, 3106, 4350, 3107, 3109, 3115, 3113,
3117, 3121, 4350, 3124, 3126, 3132, 3134, 3125, 4350, 3136,
3138, 4350, 3140, 3148, 3150, 3152, 4350, 3154, 3160, 3162,
3168, 3170, 3172, 3181, 3183, 3185, 3174, 4350, 3192, 3195,
3198, 3201, 3204, 3205, 3207, 2154, 3214, 3215, 3216, 3222,
3224, 3230, 3233, 3236, 3239, 3242, 3245, 3248, 3251, 3255,
3258, 3262, 3265, 3268, 3274, 3272, 3278, 3280, 3286, 3288,
2909, 3294, 3296, 3298, 3300, 3306, 3304, 3308, 3310, 3312,
3314, 3316, 3318, 3320, 3329, 3335, 3337, 3339, 3347, 3349,
3353, 2508, 3355, 3357, 3366, 3341, 4350, 3368, 3374, 3376,
3382, 3384, 3390, 3392, 3394, 3396, 3398, 3405, 3407, 3409,
3411, 2192, 3413, 3420, 3422, 3424, 3431, 3433, 3440, 3442,
3448, 3450, 3456, 3454, 3458, 3460, 3462, 3464, 3470, 3472,
4350, 3474, 3480, 4350, 3481, 3482, 3483, 2749, 3490, 3492,
3494, 3500, 3502, 3512, 3510, 3519, 3520, 3522, 3523, 3526,
3529, 3532, 3538, 3541, 3544, 3547, 3550, 2819, 3553, 3556,
3559, 3562, 3565, 3568, 3571, 3574, 4350, 3575, 3581, 3584,
3587, 3590, 3593, 3596, 3599, 3602, 1893, 3605, 3608, 3611,
3617, 3619, 3625, 3623, 3627, 3634, 3636, 3642, 3640, 3644,
3646, 3648, 3650, 3656, 2759, 3657, 3659, 3663, 3665, 3666,
3667, 3669, 3673, 3675, 3677, 3681, 3684, 3687, 3691, 3694,
3141, 3698, 4350, 3701, 3704, 3707, 3710, 3713, 3714, 3721,
3723, 2978, 3731, 3733, 3739, 3737, 3745, 3747, 3753, 3755,
3761, 2670, 3763, 3725, 3765, 3767, 3769, 3777, 3779, 3785,
3787, 2362, 3789, 3797, 3799, 3771, 3791, 3803, 3805, 2894,
3806, 3809, 3816, 3818, 3820, 4350, 3822, 3247, 3824, 3826,
3828, 3830, 3836, 3221, 3839, 3842, 3845, 3017, 3848, 3851,
3854, 2605, 3858, 3864, 3865, 3867, 3326, 3874, 3875, 3504,
3877, 3884, 3885, 3886, 3895, 3852, 3893, 3897, 3899, 4350,
4350, 3911, 3917, 3923, 3929, 3935, 3941, 3947, 3953, 3959,
3965, 3969, 3973, 3977, 3980, 3986, 3992, 3996, 4001, 4007,
4013, 4019, 4025, 4031, 4037, 4043, 4049, 4055, 4061, 4067,
4073, 4079, 4085, 4091, 4097, 4103, 4109, 4115, 4121, 4127,
4133, 4139, 4145, 4151, 4157, 4163, 4169, 4175, 4181, 4187,
4193, 4199, 4205, 4211, 4217, 4223, 4229, 4235, 4241, 4247,
4253, 4259, 4265, 4271, 4277, 4283, 4289, 4295, 4301, 4307,
4313, 4319, 4325, 4331, 4337, 4343
} ;
static yyconst short int yy_def[1577] =
{ 0,
1502, 1501, 1501, 1501, 1501, 1501, 1503, 1504, 1501, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1501, 1501, 1503, 1503, 1505, 1504, 1503, 1503, 1503,
1501, 1503, 1503, 1501, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1501, 1501, 1501,
1505, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1501,
1501, 1501, 1501, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1501, 1501, 1501, 1501, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1501, 1503, 1506, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1501, 1501, 1501,
1501, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1507, 1503, 1503,
1503, 1503, 1503, 1503, 1506, 1501, 1506, 1503, 1503, 1508,
1503, 1503, 1503, 1503, 1503, 1503, 1501, 1501, 1501, 1501,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1507, 1501, 1507,
1503, 1503, 1503, 1503, 1503, 1503, 1506, 1503, 1503, 1508,
1501, 1508, 1503, 1503, 1503, 1503, 1503, 1503, 1501, 1501,
1501, 1501, 1501, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1507,
1503, 1503, 1503, 1503, 1503, 1503, 1506, 1503, 1503, 1508,
1503, 1503, 1503, 1503, 1503, 1503, 1501, 1501, 1501, 1501,
1503, 1503, 1503, 1509, 1510, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1511, 1503, 1503, 1507, 1503, 1503, 1503,
1503, 1503, 1503, 1506, 1503, 1503, 1508, 1503, 1503, 1503,
1503, 1503, 1503, 1501, 1501, 1512, 1501, 1503, 1503, 1503,
1509, 1501, 1509, 1510, 1501, 1510, 1503, 1513, 1503, 1503,
1503, 1503, 1503, 1503, 1511, 1501, 1511, 1503, 1503, 1507,
1503, 1503, 1503, 1503, 1503, 1503, 1506, 1506, 1503, 1503,
1508, 1503, 1503, 1503, 1503, 1503, 1503, 1501, 1514, 1515,
1501, 1503, 1503, 1503, 1509, 1510, 1516, 1517, 1517, 1503,
1503, 1503, 1503, 1503, 1503, 1511, 1503, 1503, 1507, 1507,
1503, 1501, 1501, 1503, 1503, 1503, 1506, 1506, 1503, 1503,
1508, 1508, 1503, 1503, 1503, 1503, 1503, 1503, 1501, 1518,
1514, 1515, 1501, 1501, 1503, 1503, 1503, 1509, 1510, 1519,
1516, 379, 379, 1503, 379, 1503, 1503, 1503, 1503, 1503,
1503, 1511, 1503, 1520, 1507, 1507, 1503, 1503, 1521, 1503,
1506, 1506, 1503, 1503, 1508, 1508, 1503, 1501, 1522, 1503,
1503, 1503, 1501, 1518, 1501, 1501, 1503, 1503, 1503, 1509,
1510, 1519, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1511,
1523, 1520, 1501, 1520, 1507, 1507, 1503, 1503, 1521, 1501,
1521, 1503, 1506, 1506, 1503, 1503, 1508, 1508, 1503, 1522,
1501, 1522, 1522, 1522, 1501, 1503, 1503, 1501, 1501, 1503,
1503, 1503, 1509, 1509, 1510, 1510, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1511, 1511, 1523, 1501, 1523, 1520,
1507, 1507, 1503, 1503, 1521, 1503, 1524, 1525, 1503, 1503,
1508, 1508, 1503, 1522, 1503, 1503, 1501, 1501, 1503, 1501,
1509, 1509, 1510, 1510, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1503, 1511, 1511, 1523, 1520, 1526, 1527, 1503, 1503,
1521, 1503, 1524, 1501, 1524, 1525, 1501, 1525, 1503, 1503,
1528, 1529, 1503, 1522, 1530, 1503, 1501, 1503, 1509, 1509,
1510, 1510, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1511, 1511, 1523, 1520, 1526, 1501, 1526, 1527, 1501, 1527,
1503, 1503, 1521, 1503, 1524, 1525, 1503, 1503, 1528, 1501,
1528, 1529, 1501, 1529, 1503, 1522, 1530, 1501, 1530, 1503,
1501, 1503, 1509, 1509, 1510, 1510, 1503, 1503, 1503, 1503,
1503, 1503, 1503, 1503, 1511, 1511, 1523, 1520, 1520, 1526,
1527, 1503, 1503, 1521, 1521, 1503, 1524, 1525, 1503, 1503,
1528, 1529, 1503, 1522, 1522, 1530, 1503, 1501, 1503, 1509,
1531, 1531, 1510, 1503, 1503, 1503, 1503, 1503, 1503, 1503,
1503, 1532, 1533, 1523, 1523, 1520, 1520, 1526, 1527, 1503,
1521, 1521, 1503, 1524, 1525, 1503, 1503, 1528, 1529, 1522,
1522, 1530, 1534, 1501, 1503, 1531, 1501, 1531, 1503, 1503,
1503, 1503, 1503, 1503, 1503, 1503, 1532, 1501, 1532, 1533,
1501, 1533, 1523, 1523, 1520, 1520, 1526, 1527, 1503, 1521,
1521, 1503, 1524, 1524, 1525, 1525, 1503, 1503, 1528, 1529,
1522, 1522, 1530, 1534, 1501, 1534, 1534, 1501, 1503, 1531,
1503, 1503, 1535, 1536, 1503, 1503, 1503, 1503, 1532, 1533,
1523, 1523, 1520, 1520, 1526, 1526, 1527, 1527, 1503, 1521,
1521, 1503, 1524, 1524, 1525, 1525, 1503, 1503, 1528, 1528,
1529, 1529, 1522, 1522, 1530, 1530, 1534, 1501, 1503, 1531,
1503, 1503, 1503, 1537, 1537, 1538, 1538, 1503, 1503, 1503,
1501, 1532, 1533, 1523, 1523, 1539, 1540, 1526, 1526, 1527,
1527, 1503, 1541, 1542, 1503, 1524, 1524, 1525, 1525, 1503,
1543, 1528, 1528, 1529, 1529, 1544, 1545, 1530, 1530, 1534,
1501, 1503, 1531, 1503, 1503, 1503, 1501, 785, 785, 785,
1501, 787, 787, 787, 1501, 1503, 1503, 1503, 1532, 1533,
1546, 1547, 1539, 1501, 1539, 1540, 1501, 1540, 1526, 1526,
1527, 1527, 1503, 1541, 1501, 1541, 1542, 1501, 1542, 1503,
1524, 1524, 1525, 1525, 1501, 1543, 1501, 1543, 1528, 1528,
1529, 1529, 1544, 1501, 1544, 1545, 1501, 1545, 1530, 1530,
1534, 1501, 1503, 1531, 1531, 1503, 1503, 1503, 1503, 1503,
1503, 1532, 1532, 1533, 1533, 1546, 1501, 1546, 1547, 1501,
1547, 1539, 1540, 1526, 1526, 1527, 1527, 1503, 1541, 1542,
1503, 1524, 1548, 1548, 1525, 1543, 1528, 1528, 1529, 1529,
1544, 1545, 1530, 1530, 1534, 1534, 1501, 1503, 1531, 1531,
1503, 1503, 1503, 1503, 1503, 1532, 1532, 1533, 1533, 1546,
1547, 1539, 1540, 1526, 1549, 1549, 1527, 1503, 1541, 1542,
1503, 1548, 1501, 1548, 1543, 1528, 1550, 1550, 1529, 1544,
1545, 1551, 1552, 1534, 1534, 1501, 1503, 1531, 1531, 1503,
1503, 1503, 1503, 1532, 1532, 1533, 1533, 1546, 1547, 1539,
1540, 1549, 1501, 1549, 1503, 1541, 1542, 1503, 1548, 1543,
1550, 1501, 1550, 1544, 1545, 1551, 1501, 1551, 1552, 1501,
1552, 1534, 1534, 1501, 1531, 1531, 1553, 1554, 1503, 1503,
1532, 1532, 1533, 1533, 1546, 1547, 1539, 1539, 1540, 1540,
1549, 1555, 1541, 1541, 1542, 1542, 1503, 1548, 1543, 1543,
1550, 1544, 1544, 1545, 1545, 1551, 1552, 1534, 1534, 1531,
1531, 1556, 1556, 1503, 1557, 1557, 1503, 1558, 1559, 1532,
1560, 1560, 1533, 1546, 1546, 1547, 1547, 1539, 1539, 1540,
1540, 1549, 1555, 1501, 1555, 1541, 1541, 1542, 1542, 1503,
1548, 1543, 1543, 1550, 1544, 1544, 1545, 1545, 1551, 1552,
1561, 1562, 1501, 1043, 1043, 1043, 1503, 1501, 1046, 1046,
1046, 1503, 1563, 1563, 1564, 1564, 1560, 1501, 1560, 1546,
1546, 1547, 1547, 1539, 1539, 1540, 1540, 1549, 1555, 1541,
1541, 1542, 1542, 1503, 1548, 1548, 1543, 1543, 1550, 1544,
1544, 1545, 1545, 1551, 1552, 1561, 1501, 1561, 1562, 1501,
1562, 1503, 1503, 1501, 1094, 1094, 1094, 1501, 1096, 1096,
1096, 1560, 1546, 1546, 1547, 1547, 1539, 1539, 1540, 1540,
1549, 1549, 1555, 1541, 1541, 1542, 1542, 1503, 1548, 1548,
1543, 1543, 1550, 1550, 1544, 1544, 1545, 1545, 1551, 1551,
1552, 1552, 1561, 1562, 1501, 1501, 1560, 1546, 1546, 1547,
1547, 1539, 1565, 1565, 1540, 1549, 1549, 1555, 1541, 1566,
1566, 1542, 1503, 1548, 1548, 1567, 1568, 1550, 1550, 1544,
1569, 1569, 1545, 1551, 1551, 1552, 1552, 1561, 1562, 1560,
1546, 1570, 1570, 1547, 1565, 1501, 1565, 1549, 1549, 1555,
1555, 1566, 1501, 1566, 1503, 1548, 1548, 1567, 1501, 1567,
1568, 1501, 1568, 1550, 1550, 1569, 1501, 1569, 1551, 1551,
1552, 1552, 1561, 1562, 1560, 1560, 1570, 1501, 1570, 1565,
1549, 1549, 1555, 1555, 1566, 1503, 1548, 1548, 1567, 1568,
1550, 1550, 1569, 1551, 1551, 1552, 1552, 1561, 1561, 1562,
1562, 1560, 1560, 1570, 1565, 1549, 1549, 1555, 1555, 1566,
1503, 1567, 1568, 1550, 1550, 1569, 1551, 1571, 1571, 1552,
1561, 1561, 1562, 1562, 1560, 1560, 1570, 1565, 1555, 1555,
1566, 1503, 1567, 1568, 1569, 1571, 1501, 1571, 1561, 1561,
1562, 1562, 1560, 1560, 1570, 1565, 1565, 1572, 1573, 1566,
1566, 1503, 1567, 1567, 1568, 1568, 1569, 1569, 1571, 1561,
1561, 1562, 1562, 1560, 1560, 1570, 1570, 1565, 1565, 1572,
1501, 1572, 1573, 1501, 1573, 1566, 1566, 1503, 1567, 1567,
1568, 1568, 1569, 1569, 1571, 1561, 1574, 1574, 1562, 1570,
1570, 1565, 1565, 1572, 1573, 1566, 1566, 1503, 1567, 1567,
1568, 1568, 1569, 1569, 1571, 1574, 1501, 1574, 1570, 1570,
1565, 1565, 1572, 1573, 1566, 1566, 1503, 1567, 1567, 1568,
1568, 1569, 1569, 1571, 1571, 1574, 1570, 1570, 1565, 1565,
1572, 1573, 1566, 1566, 1503, 1567, 1575, 1575, 1568, 1569,
1569, 1571, 1571, 1574, 1570, 1570, 1572, 1572, 1573, 1573,
1503, 1575, 1501, 1575, 1571, 1571, 1574, 1572, 1572, 1573,
1573, 1503, 1575, 1571, 1571, 1574, 1574, 1572, 1572, 1573,
1573, 1503, 1575, 1571, 1571, 1574, 1574, 1572, 1572, 1573,
1573, 1503, 1575, 1574, 1574, 1572, 1576, 1576, 1573, 1503,
1575, 1575, 1574, 1574, 1576, 1501, 1576, 1503, 1575, 1575,
1574, 1574, 1576, 1503, 1575, 1575, 1576, 1503, 1575, 1575,
1576, 1503, 1575, 1575, 1576, 1576, 1503, 1576, 1576, 1503,
1576, 1576, 1503, 1576, 1576, 1503, 1576, 1576, 1503, 1501,
0, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501
} ;
static yyconst short int yy_nxt[4396] =
{ 0,
1501, 1501, 1501, 5, 38, 39, 41, 35, 35, 35,
176, 35, 42, 6, 7, 8, 9, 10, 7, 11,
7, 12, 13, 7, 7, 7, 7, 14, 7, 15,
7, 7, 16, 17, 7, 18, 19, 20, 21, 22,
7, 23, 7, 24, 25, 7, 26, 27, 7, 28,
7, 7, 29, 30, 31, 7, 7, 7, 7, 34,
34, 35, 34, 43, 34, 35, 35, 35, 34, 34,
37, 34, 34, 34, 34, 34, 44, 46, 35, 35,
35, 35, 35, 35, 35, 35, 35, 35, 47, 45,
35, 35, 35, 35, 69, 35, 40, 49, 35, 35,
54, 35, 35, 35, 55, 51, 52, 57, 48, 58,
60, 1139, 53, 50, 56, 59, 63, 62, 64, 81,
93, 61, 67, 66, 74, 65, 35, 73, 70, 75,
40, 34, 34, 35, 34, 76, 34, 44, 35, 35,
34, 34, 35, 72, 34, 34, 34, 34, 34, 34,
45, 34, 35, 34, 35, 35, 35, 34, 34, 37,
34, 34, 34, 34, 34, 41, 78, 79, 35, 77,
35, 42, 35, 35, 84, 85, 35, 35, 35, 35,
35, 35, 35, 80, 35, 35, 35, 82, 35, 35,
35, 35, 83, 35, 101, 104, 90, 35, 106, 35,
107, 86, 35, 1135, 35, 88, 89, 91, 87, 35,
35, 102, 108, 105, 35, 417, 98, 35, 95, 92,
97, 94, 111, 96, 35, 35, 99, 34, 34, 109,
34, 112, 34, 35, 35, 35, 34, 34, 115, 72,
34, 34, 34, 34, 114, 110, 35, 35, 35, 113,
116, 35, 35, 35, 35, 35, 35, 35, 35, 127,
128, 117, 118, 35, 35, 35, 35, 119, 120, 35,
137, 121, 122, 123, 35, 35, 35, 35, 141, 35,
35, 129, 126, 35, 142, 131, 130, 124, 35, 132,
146, 35, 125, 35, 35, 139, 35, 35, 35, 145,
35, 35, 35, 138, 140, 154, 156, 35, 147, 35,
35, 35, 158, 143, 148, 150, 144, 152, 153, 157,
35, 151, 35, 35, 35, 149, 35, 165, 155, 35,
35, 35, 159, 35, 35, 35, 172, 35, 137, 160,
35, 163, 35, 177, 35, 35, 35, 35, 35, 173,
35, 35, 161, 162, 35, 35, 164, 35, 166, 167,
179, 35, 174, 192, 35, 181, 175, 35, 35, 185,
196, 35, 188, 178, 182, 197, 186, 183, 35, 180,
189, 35, 184, 187, 190, 199, 191, 193, 35, 35,
201, 194, 35, 198, 200, 35, 206, 202, 35, 35,
35, 214, 211, 35, 35, 35, 35, 204, 35, 216,
35, 203, 35, 215, 35, 35, 35, 35, 35, 35,
227, 205, 229, 35, 35, 35, 35, 230, 217, 221,
35, 212, 223, 213, 220, 219, 35, 222, 224, 226,
234, 231, 225, 218, 35, 196, 196, 35, 35, 241,
197, 197, 35, 35, 242, 35, 232, 233, 35, 35,
235, 35, 35, 253, 35, 35, 239, 257, 35, 254,
172, 35, 211, 238, 246, 258, 236, 35, 35, 35,
35, 35, 244, 35, 245, 247, 237, 243, 35, 35,
248, 256, 35, 35, 255, 268, 35, 260, 229, 35,
229, 35, 35, 230, 271, 230, 259, 263, 35, 261,
35, 35, 267, 262, 274, 234, 264, 276, 35, 35,
265, 35, 269, 266, 196, 277, 278, 279, 241, 197,
35, 35, 241, 242, 272, 273, 35, 242, 35, 35,
270, 281, 35, 275, 291, 35, 35, 294, 35, 295,
282, 35, 35, 35, 35, 35, 285, 35, 35, 297,
35, 286, 35, 35, 283, 35, 35, 284, 35, 35,
304, 35, 280, 35, 299, 293, 229, 307, 35, 302,
35, 230, 292, 296, 35, 35, 305, 300, 311, 298,
35, 301, 306, 35, 308, 303, 312, 309, 35, 310,
196, 314, 313, 241, 317, 197, 320, 35, 242, 322,
35, 35, 35, 35, 328, 35, 315, 329, 332, 335,
35, 35, 316, 333, 336, 318, 338, 35, 35, 35,
35, 319, 337, 330, 35, 35, 35, 346, 321, 35,
35, 35, 347, 229, 350, 35, 323, 340, 230, 35,
35, 35, 339, 35, 354, 311, 35, 35, 35, 344,
341, 35, 348, 343, 35, 342, 35, 352, 353, 351,
196, 35, 349, 35, 355, 197, 357, 359, 241, 361,
362, 356, 358, 242, 35, 363, 35, 35, 364, 374,
360, 372, 366, 35, 365, 332, 367, 373, 332, 335,
333, 335, 35, 333, 336, 377, 336, 380, 382, 35,
35, 35, 35, 383, 381, 346, 229, 35, 35, 346,
347, 230, 389, 35, 347, 391, 392, 35, 390, 35,
35, 35, 393, 35, 394, 384, 35, 35, 375, 385,
396, 376, 34, 34, 387, 34, 35, 34, 35, 379,
34, 34, 34, 1089, 34, 34, 34, 34, 34, 386,
388, 395, 196, 35, 196, 35, 404, 197, 397, 197,
398, 399, 241, 35, 35, 403, 35, 242, 401, 400,
407, 35, 409, 405, 402, 364, 35, 415, 332, 418,
368, 35, 406, 333, 1084, 372, 335, 419, 35, 35,
35, 336, 35, 457, 427, 416, 408, 34, 34, 430,
34, 35, 34, 35, 35, 35, 34, 34, 421, 34,
34, 34, 34, 34, 34, 34, 35, 34, 35, 34,
426, 423, 35, 428, 34, 429, 34, 424, 34, 431,
34, 34, 34, 447, 34, 433, 34, 35, 423, 631,
440, 34, 434, 34, 424, 34, 229, 34, 346, 432,
229, 230, 435, 347, 35, 230, 436, 438, 35, 35,
35, 35, 196, 439, 35, 394, 196, 197, 449, 241,
437, 197, 442, 425, 242, 445, 441, 35, 241, 35,
448, 35, 443, 242, 446, 35, 35, 459, 75, 35,
35, 35, 444, 332, 460, 450, 335, 461, 333, 35,
455, 336, 601, 927, 452, 35, 451, 458, 34, 34,
463, 34, 469, 34, 35, 35, 35, 34, 34, 35,
34, 34, 34, 34, 34, 34, 34, 422, 34, 35,
34, 464, 35, 465, 34, 34, 421, 34, 34, 34,
34, 34, 467, 35, 346, 470, 468, 35, 466, 347,
473, 229, 471, 229, 35, 474, 230, 35, 230, 476,
35, 478, 480, 196, 483, 475, 35, 481, 197, 482,
196, 484, 241, 241, 35, 197, 35, 242, 242, 488,
477, 489, 491, 495, 35, 35, 487, 492, 35, 493,
35, 494, 485, 496, 500, 502, 501, 35, 332, 486,
35, 35, 335, 333, 503, 508, 35, 336, 505, 35,
504, 35, 35, 497, 506, 34, 34, 35, 34, 608,
34, 518, 35, 35, 34, 34, 519, 34, 34, 34,
34, 34, 882, 832, 821, 514, 507, 509, 512, 346,
511, 35, 510, 473, 347, 515, 513, 473, 474, 229,
521, 516, 474, 523, 230, 229, 522, 35, 35, 480,
230, 480, 478, 524, 481, 35, 481, 196, 527, 526,
196, 528, 197, 35, 35, 197, 241, 531, 241, 532,
533, 242, 35, 242, 35, 491, 491, 520, 529, 491,
492, 492, 35, 35, 492, 491, 530, 828, 494, 537,
492, 525, 493, 35, 494, 35, 535, 537, 498, 540,
536, 35, 35, 546, 35, 332, 500, 332, 35, 539,
333, 541, 333, 542, 335, 35, 534, 335, 545, 336,
543, 35, 336, 544, 35, 547, 549, 518, 821, 346,
35, 346, 519, 548, 347, 553, 347, 554, 35, 550,
518, 473, 556, 552, 35, 519, 474, 229, 557, 551,
229, 558, 230, 35, 35, 230, 480, 561, 560, 562,
564, 481, 567, 570, 559, 565, 35, 568, 35, 241,
571, 241, 572, 569, 242, 35, 242, 491, 574, 573,
555, 35, 492, 332, 332, 35, 575, 578, 333, 333,
580, 335, 35, 35, 335, 35, 336, 579, 576, 336,
582, 35, 35, 35, 35, 581, 346, 346, 35, 518,
593, 347, 347, 592, 519, 35, 585, 583, 586, 643,
591, 473, 594, 584, 587, 35, 474, 604, 596, 599,
590, 588, 589, 597, 600, 35, 480, 603, 564, 560,
602, 481, 564, 565, 567, 567, 610, 565, 35, 568,
568, 611, 613, 607, 35, 35, 615, 614, 573, 491,
616, 618, 35, 35, 492, 35, 619, 620, 332, 623,
332, 624, 35, 333, 35, 333, 335, 625, 335, 626,
622, 336, 605, 336, 628, 606, 627, 35, 35, 35,
346, 635, 346, 636, 629, 347, 35, 347, 518, 637,
653, 630, 35, 519, 473, 632, 596, 634, 596, 474,
638, 597, 599, 597, 599, 35, 639, 600, 633, 600,
646, 480, 650, 564, 647, 642, 481, 644, 565, 567,
648, 35, 610, 645, 568, 610, 649, 611, 613, 613,
611, 491, 35, 614, 614, 618, 492, 654, 640, 35,
619, 618, 35, 655, 641, 657, 619, 332, 660, 35,
332, 661, 333, 335, 662, 333, 335, 663, 336, 35,
35, 336, 669, 35, 659, 651, 35, 670, 664, 652,
666, 35, 35, 346, 672, 346, 673, 35, 347, 518,
347, 656, 668, 75, 519, 674, 665, 473, 667, 473,
680, 675, 474, 676, 474, 677, 596, 678, 599, 679,
35, 597, 480, 600, 643, 671, 480, 481, 681, 35,
35, 481, 682, 564, 684, 683, 567, 685, 565, 686,
35, 568, 828, 35, 610, 688, 613, 689, 35, 611,
615, 614, 653, 687, 491, 695, 491, 35, 35, 492,
690, 492, 691, 618, 692, 35, 332, 697, 619, 693,
697, 333, 698, 335, 35, 698, 700, 35, 336, 701,
35, 35, 702, 35, 35, 699, 708, 711, 518, 778,
703, 709, 712, 519, 713, 518, 35, 473, 738, 473,
519, 714, 474, 706, 474, 716, 694, 596, 717, 599,
718, 715, 597, 719, 600, 480, 704, 35, 705, 480,
481, 35, 722, 491, 481, 721, 35, 564, 492, 720,
567, 759, 565, 723, 35, 568, 725, 731, 727, 724,
610, 729, 726, 613, 730, 611, 491, 35, 614, 35,
728, 492, 732, 618, 733, 735, 697, 697, 619, 743,
736, 698, 698, 35, 737, 35, 35, 744, 739, 35,
741, 35, 35, 708, 745, 35, 742, 708, 709, 711,
35, 711, 709, 518, 712, 746, 712, 518, 519, 752,
35, 747, 519, 748, 473, 753, 35, 740, 35, 474,
596, 751, 473, 754, 599, 597, 755, 474, 35, 600,
757, 762, 756, 480, 760, 779, 758, 749, 481, 480,
761, 750, 564, 988, 481, 564, 768, 565, 763, 567,
565, 764, 567, 658, 568, 765, 826, 568, 766, 35,
610, 767, 613, 727, 735, 611, 769, 614, 771, 736,
491, 773, 770, 618, 772, 492, 491, 774, 619, 775,
781, 492, 735, 735, 35, 776, 35, 736, 736, 697,
780, 788, 737, 621, 698, 35, 35, 791, 35, 708,
792, 782, 35, 35, 709, 711, 793, 518, 794, 783,
712, 577, 519, 518, 795, 473, 796, 35, 519, 538,
474, 810, 777, 34, 34, 35, 34, 789, 34, 790,
785, 34, 34, 34, 853, 34, 34, 34, 34, 34,
34, 34, 35, 34, 802, 34, 564, 787, 34, 34,
34, 565, 34, 34, 34, 34, 34, 473, 797, 596,
806, 596, 474, 599, 597, 798, 597, 799, 600, 800,
599, 35, 480, 803, 837, 600, 801, 481, 480, 804,
564, 499, 567, 481, 35, 565, 807, 568, 567, 811,
805, 498, 610, 568, 809, 610, 808, 611, 812, 613,
611, 813, 613, 35, 614, 814, 422, 614, 815, 491,
816, 491, 817, 618, 492, 618, 492, 35, 619, 818,
619, 819, 735, 820, 822, 697, 823, 736, 35, 35,
698, 835, 844, 824, 847, 838, 35, 845, 35, 848,
836, 825, 34, 34, 827, 34, 855, 34, 858, 829,
456, 856, 34, 859, 34, 34, 34, 455, 34, 34,
34, 827, 34, 35, 34, 867, 829, 887, 35, 34,
868, 34, 34, 34, 413, 34, 708, 839, 711, 840,
883, 709, 35, 712, 518, 841, 518, 842, 596, 519,
599, 519, 596, 597, 850, 600, 852, 597, 860, 35,
908, 830, 34, 34, 831, 34, 849, 34, 874, 833,
35, 35, 34, 875, 34, 34, 34, 411, 34, 34,
34, 831, 34, 599, 34, 877, 833, 972, 600, 34,
878, 34, 34, 34, 890, 34, 75, 851, 564, 861,
564, 862, 35, 565, 1405, 565, 567, 863, 567, 864,
865, 568, 35, 568, 886, 35, 824, 767, 610, 810,
610, 834, 613, 611, 613, 611, 870, 614, 618, 614,
872, 888, 869, 619, 618, 832, 871, 35, 453, 619,
880, 697, 879, 735, 881, 835, 698, 884, 736, 414,
35, 708, 413, 885, 836, 889, 709, 892, 411, 711,
891, 897, 900, 893, 712, 894, 898, 901, 844, 844,
847, 895, 847, 845, 845, 848, 371, 848, 596, 904,
596, 905, 35, 597, 35, 597, 599, 906, 599, 907,
855, 600, 855, 600, 858, 856, 858, 856, 928, 859,
35, 859, 867, 911, 35, 564, 912, 868, 931, 902,
565, 934, 903, 564, 913, 567, 914, 369, 565, 867,
568, 567, 915, 35, 868, 368, 568, 836, 610, 917,
610, 918, 909, 611, 327, 611, 910, 613, 919, 613,
920, 874, 614, 874, 614, 877, 875, 877, 875, 35,
878, 35, 878, 618, 923, 618, 924, 735, 619, 916,
619, 697, 736, 925, 35, 697, 698, 929, 708, 926,
698, 930, 708, 709, 936, 326, 897, 709, 937, 711,
932, 898, 933, 921, 712, 938, 711, 922, 35, 897,
900, 712, 939, 935, 898, 901, 900, 844, 942, 847,
943, 901, 845, 35, 848, 596, 944, 596, 945, 35,
597, 948, 597, 599, 946, 599, 947, 967, 600, 35,
600, 855, 949, 858, 950, 564, 856, 953, 859, 940,
565, 35, 954, 953, 951, 567, 941, 973, 954, 325,
568, 867, 955, 610, 956, 1087, 868, 35, 611, 610,
957, 613, 958, 324, 611, 35, 614, 613, 959, 874,
960, 1281, 614, 35, 875, 877, 961, 618, 962, 35,
878, 735, 619, 618, 963, 735, 736, 964, 619, 966,
736, 965, 697, 1022, 697, 75, 882, 698, 927, 698,
969, 1070, 966, 35, 35, 35, 968, 35, 970, 886,
971, 931, 708, 708, 1348, 711, 711, 709, 709, 975,
712, 712, 977, 897, 978, 35, 974, 1027, 898, 976,
900, 979, 844, 980, 1084, 901, 596, 845, 847, 981,
983, 597, 983, 848, 599, 984, 1092, 984, 35, 600,
855, 986, 858, 987, 985, 856, 953, 859, 953, 867,
990, 954, 610, 954, 868, 992, 992, 611, 613, 290,
993, 993, 289, 614, 874, 994, 877, 995, 997, 875,
1000, 878, 735, 998, 735, 1001, 1004, 736, 35, 736,
1003, 35, 697, 1005, 697, 1006, 1002, 698, 989, 698,
1007, 1008, 35, 35, 35, 35, 288, 1009, 1010, 708,
1011, 708, 1012, 287, 709, 252, 709, 711, 1013, 711,
1014, 1193, 712, 251, 712, 897, 1015, 900, 1016, 844,
898, 847, 901, 983, 845, 1017, 848, 1019, 984, 983,
855, 1018, 858, 1020, 984, 856, 1023, 859, 1025, 35,
953, 1028, 1024, 867, 1026, 954, 992, 992, 868, 1029,
1048, 993, 993, 874, 35, 1030, 877, 250, 875, 1032,
1049, 878, 1034, 249, 35, 1033, 997, 997, 1035, 1021,
1000, 998, 998, 1000, 1460, 1001, 735, 1038, 1001, 735,
1039, 736, 35, 1132, 736, 697, 1040, 1031, 697, 1041,
698, 708, 1050, 698, 708, 1051, 709, 711, 1052, 709,
711, 1053, 712, 1064, 897, 712, 900, 1036, 1065, 898,
1054, 901, 1056, 1037, 34, 34, 1055, 34, 1057, 34,
697, 1043, 1044, 34, 34, 698, 34, 34, 34, 34,
34, 34, 34, 210, 34, 209, 34, 697, 1046, 1047,
34, 34, 698, 34, 34, 34, 34, 34, 844, 208,
844, 207, 847, 845, 1058, 845, 1059, 848, 1060, 847,
171, 983, 1062, 855, 848, 1061, 984, 855, 856, 1066,
858, 170, 856, 1067, 858, 859, 1068, 953, 1071, 859,
1069, 867, 954, 867, 75, 35, 868, 1072, 868, 1073,
992, 1074, 874, 169, 874, 993, 877, 875, 1075, 875,
1076, 878, 1077, 877, 1322, 997, 1079, 168, 878, 1078,
998, 1000, 1080, 735, 1081, 136, 1001, 708, 736, 735,
1082, 35, 709, 1089, 736, 34, 34, 1083, 34, 1098,
34, 1098, 1085, 75, 1099, 34, 1099, 34, 34, 34,
135, 34, 34, 34, 1083, 34, 711, 34, 1064, 1085,
1225, 712, 34, 1065, 34, 34, 34, 897, 34, 897,
35, 900, 898, 1100, 898, 1101, 901, 1102, 900, 35,
1133, 844, 1135, 901, 1103, 844, 845, 1105, 983, 1108,
845, 1114, 35, 984, 1086, 34, 34, 1088, 34, 1104,
34, 1064, 1090, 134, 133, 34, 1065, 34, 34, 34,
103, 34, 34, 34, 1088, 34, 847, 34, 1127, 1090,
1487, 848, 34, 1128, 34, 34, 34, 847, 34, 855,
1106, 855, 848, 1107, 856, 858, 856, 1111, 1158, 858,
859, 1109, 35, 1110, 859, 1113, 1130, 953, 100, 1112,
35, 1131, 954, 1115, 1091, 34, 34, 35, 34, 1116,
34, 1098, 1094, 34, 34, 34, 1099, 34, 34, 34,
34, 34, 34, 34, 68, 34, 1452, 34, 867, 1096,
34, 34, 34, 868, 34, 34, 34, 34, 34, 867,
75, 35, 1117, 874, 868, 1118, 992, 1119, 875, 874,
33, 993, 32, 877, 875, 1121, 877, 1120, 878, 997,
1124, 878, 1123, 1098, 998, 1000, 1125, 1122, 1099, 1501,
1001, 34, 34, 1134, 34, 1127, 34, 1130, 1136, 1139,
1128, 34, 1131, 34, 34, 34, 35, 34, 34, 34,
1134, 34, 897, 34, 900, 1136, 35, 898, 34, 901,
34, 34, 34, 1142, 34, 897, 1143, 900, 1145, 1368,
898, 1144, 901, 1146, 844, 1147, 844, 1148, 1501, 845,
1501, 845, 847, 1149, 847, 1150, 1501, 848, 1421, 848,
1137, 34, 34, 1138, 34, 1175, 34, 1127, 1140, 1501,
35, 34, 1128, 34, 34, 34, 1501, 34, 34, 34,
1138, 34, 1176, 34, 844, 1140, 35, 35, 34, 845,
34, 34, 34, 983, 34, 1064, 1153, 1501, 984, 1151,
1065, 855, 1154, 855, 1155, 1152, 856, 1173, 856, 858,
1156, 858, 1157, 953, 859, 1387, 859, 953, 954, 1159,
1141, 1501, 954, 1160, 867, 1161, 867, 1162, 992, 868,
1130, 868, 1501, 993, 1163, 1131, 874, 1165, 874, 1166,
1164, 875, 1501, 875, 877, 1167, 877, 1168, 997, 878,
1000, 878, 1216, 998, 1169, 1001, 1171, 1217, 1098, 1177,
1170, 35, 1172, 1099, 897, 1178, 897, 1179, 1501, 898,
1174, 898, 900, 1180, 900, 1181, 35, 901, 1501, 901,
844, 1182, 844, 1183, 1468, 845, 1501, 845, 847, 1184,
847, 1185, 983, 848, 983, 848, 1501, 984, 1186, 984,
1187, 1064, 1188, 855, 1189, 1501, 1065, 1302, 856, 855,
1190, 858, 1191, 1501, 856, 953, 859, 858, 1192, 953,
954, 1501, 859, 1216, 954, 1195, 867, 1196, 1217, 1194,
992, 868, 867, 1197, 992, 993, 1198, 868, 1501, 993,
1199, 874, 1200, 874, 1201, 35, 875, 1501, 875, 877,
1202, 877, 1203, 997, 878, 997, 878, 1000, 998, 1204,
998, 1205, 1001, 1206, 1000, 1501, 1127, 1208, 1501, 1001,
1207, 1128, 1130, 1209, 1098, 1210, 1442, 1131, 1501, 1099,
897, 1211, 897, 1212, 35, 898, 1501, 898, 900, 1213,
900, 1214, 847, 901, 983, 901, 983, 848, 1064, 984,
855, 984, 1219, 1065, 1220, 856, 1223, 1223, 1218, 858,
1221, 1224, 1224, 1482, 859, 953, 1226, 953, 1227, 1229,
954, 1232, 954, 992, 1230, 992, 1233, 874, 993, 1237,
993, 1235, 875, 1237, 1238, 877, 997, 1234, 1238, 997,
878, 998, 1000, 1000, 998, 1240, 897, 1001, 1001, 1242,
1239, 898, 1127, 1243, 1130, 1244, 1241, 1128, 1098, 1131,
1248, 1248, 900, 1099, 1245, 1249, 1249, 901, 1216, 1216,
1246, 983, 1251, 1217, 1217, 1064, 984, 983, 1252, 1064,
1065, 1253, 984, 1223, 1065, 1254, 1223, 1229, 1224, 1256,
1501, 1224, 1230, 35, 953, 1257, 953, 1258, 1229, 954,
1232, 954, 1232, 1230, 1432, 1233, 1501, 1233, 35, 1250,
992, 1261, 992, 1262, 1237, 993, 1237, 993, 1501, 1238,
1501, 1238, 997, 1264, 997, 1265, 1255, 998, 1501, 998,
1000, 1266, 1000, 1267, 1127, 1001, 1248, 1001, 1259, 1128,
1268, 1249, 1260, 1130, 1501, 1098, 1269, 1098, 1131, 1270,
1099, 1272, 1099, 1273, 1248, 1271, 1263, 1216, 1275, 1249,
983, 1276, 1217, 983, 1277, 984, 1064, 1064, 984, 1223,
1280, 1065, 1065, 1279, 1224, 1501, 953, 953, 1229, 1282,
1278, 954, 954, 1230, 1232, 1283, 992, 1284, 35, 1233,
1501, 993, 992, 1285, 1274, 1237, 1286, 993, 997, 1287,
1238, 997, 1288, 998, 1000, 1289, 998, 1000, 1290, 1001,
1127, 1478, 1001, 1127, 35, 1128, 1291, 1130, 1128, 1292,
1130, 1501, 1131, 1293, 1098, 1131, 1294, 1098, 1501, 1099,
1248, 1297, 1099, 1296, 983, 1249, 1216, 1298, 1295, 984,
983, 1217, 1064, 1299, 1501, 984, 1474, 1065, 1064, 1300,
1223, 1301, 1501, 1065, 1501, 1224, 1229, 1303, 1232, 1304,
992, 1230, 992, 1233, 1501, 993, 997, 993, 1237, 1305,
1307, 998, 1307, 1238, 1000, 1308, 1127, 1308, 1127, 1001,
1130, 1128, 1130, 1128, 1310, 1131, 1501, 1131, 1312, 1490,
1309, 1098, 1313, 35, 1311, 1501, 1099, 1098, 1314, 1248,
1315, 1216, 1099, 1307, 1249, 1501, 1217, 1316, 1308, 1064,
1318, 1064, 1319, 1317, 1065, 1223, 1065, 1229, 1501, 1232,
1224, 1320, 1230, 1323, 1233, 1325, 1501, 1321, 1237, 1324,
1307, 1326, 1501, 1238, 1327, 1308, 1127, 1330, 1127, 1331,
1328, 1128, 1501, 1128, 1130, 1332, 1130, 1333, 1501, 1131,
1501, 1131, 1098, 1334, 1098, 1335, 1248, 1099, 1216, 1099,
1216, 1249, 1336, 1217, 1338, 1217, 1339, 1341, 1337, 1344,
1329, 1223, 1342, 1223, 1345, 1229, 1224, 1346, 1224, 1347,
1230, 1349, 1229, 1501, 1232, 1501, 1232, 1230, 1350, 1233,
1351, 1233, 1352, 1237, 1501, 1237, 1501, 1501, 1238, 1353,
1238, 1354, 1307, 1355, 1127, 1356, 1501, 1308, 1501, 1128,
1127, 1357, 1130, 1358, 1501, 1128, 1098, 1131, 1130, 1359,
1098, 1099, 1248, 1131, 1248, 1099, 1216, 1249, 1360, 1249,
1361, 1217, 1216, 1501, 1341, 1501, 1341, 1217, 1363, 1342,
1362, 1342, 1344, 1344, 1223, 1223, 1501, 1345, 1345, 1224,
1224, 1367, 1229, 1501, 1229, 1501, 1232, 1230, 1366, 1230,
1370, 1233, 1232, 1501, 1237, 1501, 1369, 1233, 1372, 1238,
1371, 35, 1307, 1375, 1237, 1493, 1364, 1308, 1373, 1238,
1374, 1127, 1377, 1365, 1377, 1130, 1128, 1378, 1248, 1378,
1131, 1248, 1501, 1249, 1216, 1381, 1249, 1380, 1501, 1217,
1216, 1382, 1379, 1341, 1383, 1217, 1344, 1384, 1342, 1223,
1385, 1345, 1223, 1386, 1224, 1229, 1388, 1224, 1229, 1389,
1230, 1232, 1390, 1230, 1232, 1391, 1233, 1237, 1392, 1233,
1237, 1393, 1238, 1307, 1501, 1238, 1377, 1377, 1308, 1394,
1501, 1378, 1378, 1248, 1397, 1395, 1248, 1398, 1249, 1216,
1399, 1249, 1216, 1400, 1217, 1341, 1401, 1217, 1344, 1402,
1342, 1223, 1403, 1345, 1223, 1404, 1224, 1229, 1406, 1224,
1229, 1407, 1230, 1232, 1408, 1230, 1501, 1396, 1233, 1232,
1409, 1237, 1410, 1501, 1233, 1307, 1238, 1237, 1411, 1307,
1308, 1412, 1238, 1501, 1308, 1413, 1377, 1414, 1248, 1415,
1501, 1378, 1216, 1249, 1248, 1416, 1216, 1217, 1341, 1249,
1344, 1217, 1223, 1342, 1417, 1345, 1419, 1224, 1223, 1229,
1418, 1423, 1420, 1224, 1230, 1423, 1424, 1232, 1237, 1237,
1424, 1307, 1233, 1238, 1238, 1307, 1308, 1377, 1427, 1248,
1308, 1426, 1378, 1248, 1249, 1425, 1341, 1501, 1249, 1341,
1501, 1342, 1428, 1344, 1342, 1429, 1344, 1501, 1345, 1430,
1423, 1345, 1431, 1423, 1501, 1424, 1307, 1434, 1424, 1307,
1435, 1308, 1377, 1501, 1308, 1341, 1341, 1378, 1436, 1501,
1342, 1342, 1439, 1344, 1437, 1344, 1501, 1307, 1345, 1438,
1345, 1441, 1308, 1423, 1443, 1307, 1444, 1440, 1424, 1377,
1308, 1307, 1445, 1433, 1378, 1446, 1308, 1377, 1501, 1341,
1448, 1501, 1378, 1447, 1342, 1341, 1449, 1344, 1450, 1501,
1342, 1501, 1345, 1344, 1451, 1423, 1453, 1307, 1345, 1377,
1424, 1377, 1308, 1341, 1378, 1501, 1378, 1455, 1342, 1341,
1456, 1341, 1457, 1454, 1342, 1501, 1342, 1344, 1458, 1344,
1459, 1423, 1345, 1466, 1345, 1501, 1424, 1461, 1467, 1377,
1463, 1377, 1464, 1462, 1378, 1466, 1378, 1344, 1423, 1501,
1467, 1423, 1345, 1424, 1469, 1501, 1424, 1470, 1377, 1471,
1377, 1472, 1466, 1378, 1466, 1378, 1423, 1467, 1423, 1467,
1377, 1424, 1377, 1424, 1476, 1378, 1501, 1378, 1466, 1477,
1475, 1423, 1479, 1467, 1423, 1480, 1424, 1466, 1481, 1424,
1423, 1483, 1467, 1423, 1484, 1424, 1466, 1501, 1424, 35,
1423, 1467, 1485, 1499, 1473, 1424, 1423, 1466, 1486, 1466,
1501, 1424, 1467, 1488, 1467, 1489, 1466, 1466, 1501, 1466,
1494, 1467, 1467, 1492, 1467, 1501, 1466, 1495, 1466, 1497,
1491, 1467, 35, 1467, 1496, 1466, 1493, 1466, 1498, 1466,
1467, 1500, 1467, 1501, 1467, 1501, 35, 1501, 1496, 1501,
1499, 4, 4, 4, 4, 4, 4, 34, 1501, 34,
34, 34, 34, 36, 1501, 36, 36, 36, 36, 71,
1501, 71, 71, 71, 71, 195, 195, 195, 195, 195,
195, 228, 228, 228, 228, 228, 228, 240, 240, 240,
240, 240, 240, 331, 331, 331, 331, 331, 331, 334,
334, 334, 334, 334, 334, 345, 345, 345, 345, 345,
345, 370, 370, 378, 1501, 378, 378, 378, 378, 410,
1501, 410, 412, 412, 412, 412, 420, 1501, 420, 420,
420, 420, 422, 1501, 422, 422, 422, 422, 454, 1501,
454, 462, 1501, 462, 462, 462, 462, 472, 472, 472,
472, 472, 472, 479, 479, 479, 479, 479, 479, 490,
490, 490, 490, 490, 490, 517, 517, 517, 517, 517,
517, 563, 563, 563, 563, 563, 563, 566, 566, 566,
566, 566, 566, 595, 595, 595, 595, 595, 595, 598,
598, 598, 598, 598, 598, 609, 609, 609, 609, 609,
609, 612, 612, 612, 612, 612, 612, 617, 617, 617,
617, 617, 617, 696, 696, 696, 696, 696, 696, 707,
707, 707, 707, 707, 707, 710, 710, 710, 710, 710,
710, 734, 734, 734, 734, 734, 734, 784, 1501, 784,
784, 784, 784, 786, 1501, 786, 786, 786, 786, 828,
828, 828, 828, 828, 828, 832, 832, 832, 832, 832,
832, 843, 843, 843, 843, 843, 843, 846, 846, 846,
846, 846, 846, 854, 854, 854, 854, 854, 854, 857,
857, 857, 857, 857, 857, 866, 866, 866, 866, 866,
866, 873, 873, 873, 873, 873, 873, 876, 876, 876,
876, 876, 876, 896, 896, 896, 896, 896, 896, 899,
899, 899, 899, 899, 899, 952, 952, 952, 952, 952,
952, 982, 982, 982, 982, 982, 982, 991, 991, 991,
991, 991, 991, 996, 996, 996, 996, 996, 996, 999,
999, 999, 999, 999, 999, 1042, 1501, 1042, 1042, 1042,
1042, 1045, 1501, 1045, 1045, 1045, 1045, 1063, 1063, 1063,
1063, 1063, 1063, 1084, 1084, 1084, 1084, 1084, 1084, 1089,
1089, 1089, 1089, 1089, 1089, 1093, 1501, 1093, 1093, 1093,
1093, 1095, 1501, 1095, 1095, 1095, 1095, 1097, 1097, 1097,
1097, 1097, 1097, 1126, 1126, 1126, 1126, 1126, 1126, 1129,
1129, 1129, 1129, 1129, 1129, 1135, 1135, 1135, 1135, 1135,
1135, 1139, 1139, 1139, 1139, 1139, 1139, 1215, 1215, 1215,
1215, 1215, 1215, 1222, 1222, 1222, 1222, 1222, 1222, 1228,
1228, 1228, 1228, 1228, 1228, 1231, 1231, 1231, 1231, 1231,
1231, 1236, 1236, 1236, 1236, 1236, 1236, 1247, 1247, 1247,
1247, 1247, 1247, 1306, 1306, 1306, 1306, 1306, 1306, 1340,
1340, 1340, 1340, 1340, 1340, 1343, 1343, 1343, 1343, 1343,
1343, 1376, 1376, 1376, 1376, 1376, 1376, 1422, 1422, 1422,
1422, 1422, 1422, 1465, 1465, 1465, 1465, 1465, 1465, 3,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501
} ;
static yyconst short int yy_chk[4396] =
{ 0,
0, 0, 0, 1, 10, 11, 13, 11, 10, 141,
141, 13, 13, 1, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 8,
8, 12, 8, 14, 8, 16, 8, 14, 8, 8,
8, 8, 8, 8, 8, 8, 15, 16, 17, 18,
19, 15, 20, 21, 23, 22, 30, 25, 17, 15,
24, 26, 27, 31, 33, 35, 12, 19, 28, 29,
22, 38, 49, 61, 22, 21, 21, 23, 18, 24,
26, 1139, 21, 20, 22, 25, 29, 28, 29, 49,
61, 27, 31, 30, 39, 29, 39, 38, 33, 40,
35, 36, 36, 40, 36, 43, 36, 45, 36, 43,
36, 36, 45, 36, 36, 36, 36, 36, 37, 37,
45, 37, 48, 37, 47, 37, 46, 37, 37, 37,
37, 37, 37, 37, 37, 42, 46, 47, 54, 43,
42, 42, 50, 51, 52, 53, 55, 56, 52, 53,
57, 58, 60, 48, 59, 62, 63, 50, 64, 66,
73, 65, 51, 67, 69, 72, 58, 76, 74, 72,
75, 54, 74, 1135, 75, 56, 57, 59, 55, 78,
82, 69, 76, 73, 77, 374, 66, 374, 63, 60,
65, 62, 78, 64, 80, 81, 67, 71, 71, 76,
71, 79, 71, 83, 71, 79, 71, 71, 82, 71,
71, 71, 71, 71, 81, 77, 84, 85, 86, 80,
83, 87, 88, 89, 91, 90, 92, 93, 96, 94,
95, 84, 85, 94, 95, 97, 104, 86, 87, 98,
104, 88, 89, 90, 99, 105, 106, 107, 107, 108,
110, 96, 93, 109, 107, 98, 97, 91, 112, 99,
111, 113, 92, 114, 111, 106, 116, 120, 115, 110,
119, 117, 118, 105, 106, 119, 121, 123, 112, 124,
125, 121, 123, 108, 113, 115, 109, 117, 118, 122,
126, 116, 127, 122, 129, 114, 128, 130, 120, 131,
138, 130, 124, 132, 137, 139, 137, 140, 137, 125,
143, 128, 142, 142, 145, 144, 147, 146, 148, 138,
150, 149, 126, 127, 160, 152, 129, 153, 131, 132,
144, 151, 139, 154, 155, 146, 140, 154, 157, 147,
158, 162, 150, 143, 146, 158, 148, 146, 159, 145,
151, 163, 146, 149, 152, 160, 153, 155, 164, 161,
162, 157, 165, 159, 161, 166, 167, 163, 172, 173,
167, 175, 172, 174, 176, 175, 178, 165, 177, 177,
179, 164, 180, 176, 182, 181, 185, 183, 186, 184,
187, 166, 188, 189, 187, 190, 191, 188, 178, 182,
193, 173, 183, 174, 181, 180, 192, 182, 184, 186,
192, 189, 185, 179, 194, 195, 197, 198, 199, 200,
195, 197, 201, 202, 200, 203, 190, 191, 204, 206,
193, 213, 205, 211, 212, 214, 199, 215, 211, 212,
211, 215, 211, 198, 204, 216, 194, 217, 218, 216,
219, 220, 202, 221, 203, 205, 197, 201, 222, 223,
206, 214, 224, 225, 213, 226, 227, 218, 228, 226,
230, 232, 233, 228, 231, 230, 217, 221, 231, 219,
235, 234, 225, 220, 234, 234, 222, 236, 243, 244,
223, 236, 227, 224, 237, 237, 238, 239, 240, 237,
238, 239, 242, 240, 232, 233, 245, 242, 246, 247,
230, 243, 248, 235, 254, 255, 256, 257, 254, 258,
244, 257, 259, 258, 260, 261, 247, 262, 263, 260,
265, 248, 264, 266, 245, 267, 268, 246, 276, 269,
267, 271, 242, 275, 262, 256, 270, 270, 272, 265,
273, 270, 255, 259, 274, 278, 268, 263, 274, 261,
279, 264, 269, 281, 271, 266, 275, 272, 282, 273,
277, 277, 276, 280, 280, 277, 283, 284, 280, 285,
283, 286, 293, 285, 291, 291, 278, 292, 294, 295,
298, 292, 279, 294, 295, 281, 297, 296, 299, 300,
297, 282, 296, 293, 301, 302, 303, 304, 284, 305,
306, 308, 304, 307, 307, 312, 286, 299, 307, 309,
310, 311, 298, 313, 311, 311, 316, 318, 315, 303,
300, 321, 305, 302, 322, 301, 319, 309, 310, 308,
314, 329, 306, 323, 312, 314, 314, 315, 317, 317,
318, 313, 314, 317, 320, 319, 340, 328, 320, 330,
316, 328, 322, 330, 321, 331, 323, 329, 333, 334,
331, 336, 343, 333, 334, 337, 336, 339, 341, 337,
344, 339, 341, 342, 340, 345, 350, 342, 348, 347,
345, 350, 350, 356, 347, 351, 352, 349, 350, 351,
354, 352, 353, 355, 354, 343, 359, 353, 333, 344,
356, 336, 338, 338, 348, 338, 362, 338, 363, 338,
338, 338, 338, 1089, 338, 338, 338, 338, 338, 347,
349, 355, 357, 360, 358, 366, 363, 357, 357, 358,
358, 359, 361, 365, 367, 362, 373, 361, 361, 360,
366, 364, 368, 364, 361, 364, 381, 372, 375, 375,
368, 372, 365, 375, 1084, 372, 376, 376, 382, 380,
383, 376, 415, 415, 381, 373, 367, 377, 377, 384,
377, 385, 377, 384, 377, 403, 377, 377, 377, 377,
377, 377, 377, 377, 378, 378, 387, 378, 396, 378,
380, 378, 587, 382, 378, 383, 378, 378, 378, 385,
378, 379, 379, 403, 379, 387, 379, 388, 379, 587,
396, 379, 388, 379, 379, 379, 389, 379, 386, 386,
390, 389, 389, 386, 391, 390, 390, 394, 395, 399,
400, 394, 397, 395, 405, 394, 398, 397, 405, 401,
391, 398, 398, 379, 401, 401, 397, 406, 402, 407,
404, 408, 399, 402, 402, 404, 416, 417, 425, 417,
559, 426, 400, 418, 418, 406, 419, 419, 418, 427,
424, 419, 559, 882, 408, 424, 407, 416, 420, 420,
426, 420, 431, 420, 428, 420, 431, 420, 420, 430,
420, 420, 420, 420, 420, 421, 421, 425, 421, 429,
421, 427, 421, 428, 421, 421, 421, 421, 421, 421,
421, 421, 430, 437, 432, 432, 430, 433, 429, 432,
434, 435, 433, 436, 440, 434, 435, 438, 436, 436,
443, 438, 439, 441, 441, 435, 444, 439, 441, 440,
442, 442, 445, 446, 451, 442, 447, 445, 446, 446,
437, 447, 449, 450, 452, 570, 445, 449, 450, 449,
457, 449, 443, 451, 457, 459, 458, 459, 460, 444,
458, 463, 461, 460, 460, 464, 465, 461, 461, 464,
460, 466, 467, 452, 461, 462, 462, 469, 462, 570,
462, 471, 462, 468, 462, 462, 471, 462, 462, 462,
462, 462, 821, 832, 821, 469, 463, 465, 468, 470,
467, 482, 466, 472, 470, 470, 468, 474, 472, 475,
475, 470, 474, 477, 475, 476, 476, 477, 478, 479,
476, 481, 478, 478, 479, 485, 481, 483, 483, 482,
484, 484, 483, 486, 496, 484, 487, 487, 488, 488,
489, 487, 497, 488, 489, 490, 492, 474, 485, 493,
490, 492, 501, 508, 493, 494, 486, 828, 493, 498,
494, 481, 494, 509, 494, 507, 496, 500, 498, 502,
497, 510, 500, 508, 502, 503, 500, 504, 511, 501,
503, 503, 504, 504, 505, 512, 492, 506, 507, 505,
505, 513, 506, 506, 514, 509, 511, 517, 778, 515,
530, 516, 517, 510, 515, 515, 516, 516, 526, 512,
519, 520, 520, 514, 529, 519, 520, 521, 521, 513,
522, 522, 521, 523, 524, 522, 525, 525, 524, 526,
527, 525, 528, 530, 523, 527, 536, 528, 539, 531,
531, 532, 532, 529, 531, 533, 532, 534, 534, 533,
519, 535, 534, 541, 542, 545, 535, 539, 541, 542,
542, 543, 546, 547, 544, 548, 543, 541, 536, 544,
544, 549, 550, 551, 552, 543, 553, 554, 562, 555,
555, 553, 554, 554, 555, 602, 547, 545, 548, 602,
553, 556, 556, 546, 549, 569, 556, 562, 557, 558,
552, 550, 551, 557, 558, 560, 561, 561, 563, 560,
560, 561, 565, 563, 566, 568, 571, 565, 578, 566,
568, 571, 572, 569, 573, 584, 573, 572, 573, 574,
574, 575, 576, 583, 574, 585, 575, 576, 579, 579,
580, 580, 586, 579, 588, 580, 581, 581, 582, 582,
578, 581, 565, 582, 584, 568, 583, 589, 590, 608,
591, 591, 592, 592, 585, 591, 615, 592, 593, 593,
615, 586, 604, 593, 594, 588, 595, 590, 597, 594,
594, 595, 598, 597, 600, 601, 594, 598, 589, 600,
604, 603, 608, 605, 605, 601, 603, 603, 605, 606,
606, 607, 609, 603, 606, 611, 607, 609, 612, 614,
611, 616, 622, 612, 614, 617, 616, 616, 597, 627,
617, 619, 629, 616, 600, 620, 619, 623, 623, 620,
624, 624, 623, 625, 625, 624, 626, 626, 625, 628,
630, 626, 632, 631, 622, 611, 632, 633, 627, 614,
629, 633, 634, 635, 635, 636, 636, 642, 635, 637,
636, 619, 631, 830, 637, 637, 628, 638, 630, 639,
642, 637, 638, 638, 639, 639, 640, 640, 641, 641,
643, 640, 644, 641, 643, 634, 645, 644, 644, 646,
650, 645, 645, 647, 647, 646, 648, 648, 647, 649,
659, 648, 830, 649, 651, 651, 652, 652, 653, 651,
653, 652, 653, 650, 654, 659, 655, 664, 668, 654,
654, 655, 655, 656, 656, 657, 660, 661, 656, 657,
662, 660, 661, 663, 666, 662, 665, 667, 663, 666,
665, 669, 667, 670, 671, 664, 672, 673, 674, 738,
668, 672, 673, 674, 674, 675, 719, 676, 694, 677,
675, 675, 676, 671, 677, 677, 658, 678, 678, 679,
679, 676, 678, 680, 679, 681, 669, 680, 670, 682,
681, 687, 683, 690, 682, 682, 683, 684, 690, 681,
685, 719, 684, 684, 686, 685, 685, 690, 686, 684,
688, 688, 685, 689, 689, 688, 691, 695, 689, 700,
687, 691, 691, 692, 692, 693, 696, 698, 692, 701,
693, 696, 698, 701, 693, 699, 704, 702, 695, 703,
699, 702, 705, 707, 703, 706, 700, 709, 707, 710,
722, 712, 709, 714, 710, 704, 712, 713, 714, 714,
951, 705, 713, 706, 715, 715, 739, 698, 728, 715,
717, 713, 716, 716, 718, 717, 717, 716, 783, 718,
718, 722, 717, 720, 720, 739, 718, 709, 720, 721,
721, 712, 723, 951, 721, 724, 728, 723, 723, 725,
724, 724, 726, 621, 725, 725, 783, 726, 726, 727,
729, 727, 730, 727, 734, 729, 729, 730, 730, 734,
731, 731, 729, 733, 730, 731, 732, 732, 733, 733,
741, 732, 736, 737, 741, 733, 742, 736, 737, 740,
740, 745, 737, 577, 740, 745, 746, 748, 747, 749,
749, 742, 748, 802, 749, 750, 750, 751, 751, 742,
750, 538, 751, 752, 752, 753, 753, 767, 752, 499,
753, 767, 736, 743, 743, 759, 743, 746, 743, 747,
743, 743, 743, 743, 802, 743, 743, 743, 743, 743,
744, 744, 789, 744, 759, 744, 763, 744, 744, 744,
744, 763, 744, 744, 744, 744, 744, 754, 754, 755,
763, 756, 754, 757, 755, 755, 756, 756, 757, 757,
758, 762, 760, 760, 789, 758, 758, 760, 761, 761,
764, 456, 765, 761, 768, 764, 764, 765, 766, 768,
762, 453, 769, 766, 766, 770, 765, 769, 769, 771,
770, 770, 772, 790, 771, 771, 422, 772, 772, 773,
773, 774, 774, 775, 773, 776, 774, 782, 775, 775,
776, 776, 777, 777, 779, 780, 780, 777, 779, 781,
780, 788, 796, 781, 797, 790, 788, 796, 825, 797,
788, 782, 784, 784, 784, 784, 803, 784, 804, 784,
414, 803, 784, 804, 784, 784, 784, 413, 784, 785,
785, 785, 785, 805, 785, 811, 785, 825, 853, 785,
811, 785, 785, 785, 412, 785, 792, 792, 793, 793,
822, 792, 822, 793, 794, 794, 795, 795, 799, 794,
801, 795, 798, 799, 799, 801, 801, 798, 805, 934,
853, 785, 786, 786, 786, 786, 798, 786, 816, 786,
1387, 837, 786, 816, 786, 786, 786, 411, 786, 787,
787, 787, 787, 800, 787, 817, 787, 934, 800, 787,
817, 787, 787, 787, 837, 787, 834, 800, 806, 806,
807, 807, 826, 806, 1387, 807, 808, 808, 809, 809,
810, 808, 824, 809, 824, 810, 824, 810, 812, 810,
813, 787, 814, 812, 815, 813, 813, 814, 818, 815,
815, 826, 812, 818, 819, 834, 814, 838, 409, 819,
819, 823, 818, 820, 820, 836, 823, 823, 820, 371,
836, 839, 370, 823, 836, 836, 839, 839, 369, 840,
838, 841, 842, 839, 840, 840, 841, 842, 843, 845,
846, 840, 848, 843, 845, 846, 327, 848, 849, 849,
850, 850, 890, 849, 860, 850, 851, 851, 852, 852,
854, 851, 856, 852, 857, 854, 859, 856, 883, 857,
883, 859, 866, 860, 886, 861, 861, 866, 886, 845,
861, 890, 848, 862, 862, 863, 863, 325, 862, 868,
863, 864, 864, 889, 868, 324, 864, 889, 869, 869,
870, 870, 856, 869, 290, 870, 859, 871, 871, 872,
872, 873, 871, 875, 872, 876, 873, 878, 875, 887,
876, 888, 878, 879, 879, 880, 880, 881, 879, 868,
880, 884, 881, 881, 891, 885, 884, 884, 892, 881,
885, 885, 893, 892, 892, 289, 896, 893, 893, 894,
887, 896, 888, 875, 894, 894, 895, 878, 908, 898,
899, 895, 895, 891, 898, 899, 901, 902, 902, 903,
903, 901, 902, 911, 903, 904, 904, 905, 905, 935,
904, 908, 905, 906, 906, 907, 907, 928, 906, 928,
907, 909, 909, 910, 910, 912, 909, 913, 910, 898,
912, 1256, 913, 914, 911, 915, 901, 935, 914, 288,
915, 916, 916, 917, 917, 1044, 916, 1044, 917, 918,
918, 919, 919, 287, 918, 985, 919, 920, 920, 921,
921, 1256, 920, 1027, 921, 922, 922, 923, 923, 1322,
922, 925, 923, 924, 924, 926, 925, 925, 924, 927,
926, 926, 929, 985, 930, 1086, 927, 929, 927, 930,
930, 1027, 931, 932, 988, 933, 929, 931, 932, 931,
933, 931, 936, 937, 1322, 938, 939, 936, 937, 937,
938, 939, 939, 940, 940, 948, 936, 988, 940, 938,
941, 941, 942, 942, 1086, 941, 944, 942, 943, 943,
945, 944, 946, 943, 947, 945, 1047, 946, 1047, 947,
949, 949, 950, 950, 948, 949, 952, 950, 954, 955,
955, 952, 956, 954, 955, 957, 958, 956, 959, 252,
957, 958, 251, 959, 960, 960, 961, 961, 962, 960,
963, 961, 964, 962, 965, 963, 967, 964, 1158, 965,
965, 967, 968, 968, 969, 969, 964, 968, 954, 969,
970, 971, 972, 973, 970, 971, 250, 972, 973, 974,
974, 975, 975, 249, 974, 210, 975, 976, 976, 977,
977, 1158, 976, 209, 977, 978, 978, 979, 979, 980,
978, 981, 979, 982, 980, 980, 981, 981, 982, 984,
986, 980, 987, 981, 984, 986, 986, 987, 987, 1452,
989, 989, 986, 990, 987, 989, 991, 993, 990, 990,
1009, 991, 993, 994, 1009, 990, 995, 208, 994, 994,
1010, 995, 995, 207, 1010, 994, 996, 998, 995, 984,
999, 996, 998, 1001, 1452, 999, 1002, 1002, 1001, 1003,
1003, 1002, 1087, 1087, 1003, 1005, 1005, 993, 1006, 1006,
1005, 1011, 1011, 1006, 1012, 1012, 1011, 1013, 1013, 1012,
1014, 1014, 1013, 1022, 1015, 1014, 1016, 998, 1022, 1015,
1015, 1016, 1016, 1001, 1007, 1007, 1015, 1007, 1016, 1007,
1040, 1007, 1007, 1007, 1007, 1040, 1007, 1007, 1007, 1007,
1007, 1008, 1008, 171, 1008, 170, 1008, 1041, 1008, 1008,
1008, 1008, 1041, 1008, 1008, 1008, 1008, 1008, 1017, 169,
1018, 168, 1019, 1017, 1017, 1018, 1018, 1019, 1019, 1020,
136, 1021, 1021, 1023, 1020, 1020, 1021, 1024, 1023, 1023,
1025, 135, 1024, 1024, 1026, 1025, 1025, 1028, 1028, 1026,
1026, 1029, 1028, 1030, 1091, 1302, 1029, 1029, 1030, 1030,
1031, 1031, 1032, 134, 1033, 1031, 1034, 1032, 1032, 1033,
1033, 1034, 1034, 1035, 1302, 1036, 1036, 133, 1035, 1035,
1036, 1037, 1037, 1038, 1038, 103, 1037, 1050, 1038, 1039,
1039, 1193, 1050, 1091, 1039, 1042, 1042, 1042, 1042, 1051,
1042, 1052, 1042, 1137, 1051, 1042, 1052, 1042, 1042, 1042,
102, 1042, 1043, 1043, 1043, 1043, 1053, 1043, 1063, 1043,
1193, 1053, 1043, 1063, 1043, 1043, 1043, 1054, 1043, 1055,
1070, 1056, 1054, 1054, 1055, 1055, 1056, 1056, 1057, 1092,
1092, 1059, 1137, 1057, 1057, 1058, 1059, 1059, 1062, 1062,
1058, 1070, 1482, 1062, 1043, 1045, 1045, 1045, 1045, 1058,
1045, 1065, 1045, 101, 100, 1045, 1065, 1045, 1045, 1045,
70, 1045, 1046, 1046, 1046, 1046, 1060, 1046, 1081, 1046,
1482, 1060, 1046, 1081, 1046, 1046, 1046, 1061, 1046, 1066,
1060, 1067, 1061, 1061, 1066, 1068, 1067, 1067, 1114, 1069,
1068, 1065, 1114, 1066, 1069, 1069, 1082, 1071, 68, 1068,
34, 1082, 1071, 1071, 1046, 1048, 1048, 1442, 1048, 1071,
1048, 1097, 1048, 1048, 1048, 1048, 1097, 1048, 1048, 1048,
1048, 1048, 1049, 1049, 32, 1049, 1442, 1049, 1072, 1049,
1049, 1049, 1049, 1072, 1049, 1049, 1049, 1049, 1049, 1073,
1141, 7, 1072, 1075, 1073, 1073, 1074, 1074, 1075, 1076,
6, 1074, 5, 1077, 1076, 1076, 1078, 1075, 1077, 1079,
1079, 1078, 1078, 1099, 1079, 1080, 1080, 1077, 1099, 3,
1080, 1093, 1093, 1093, 1093, 1126, 1093, 1129, 1093, 1141,
1126, 1093, 1129, 1093, 1093, 1093, 1348, 1093, 1094, 1094,
1094, 1094, 1100, 1094, 1102, 1094, 1405, 1100, 1094, 1102,
1094, 1094, 1094, 1099, 1094, 1101, 1100, 1103, 1102, 1348,
1101, 1101, 1103, 1103, 1104, 1104, 1105, 1105, 0, 1104,
0, 1105, 1106, 1106, 1107, 1107, 0, 1106, 1405, 1107,
1094, 1095, 1095, 1095, 1095, 1132, 1095, 1128, 1095, 0,
1132, 1095, 1128, 1095, 1095, 1095, 0, 1095, 1096, 1096,
1096, 1096, 1133, 1096, 1182, 1096, 1368, 1133, 1096, 1182,
1096, 1096, 1096, 1108, 1096, 1109, 1109, 0, 1108, 1108,
1109, 1110, 1110, 1111, 1111, 1108, 1110, 1128, 1111, 1112,
1112, 1113, 1113, 1115, 1112, 1368, 1113, 1116, 1115, 1115,
1096, 0, 1116, 1116, 1117, 1117, 1118, 1118, 1119, 1117,
1131, 1118, 0, 1119, 1119, 1131, 1120, 1120, 1121, 1121,
1119, 1120, 0, 1121, 1122, 1122, 1123, 1123, 1124, 1122,
1125, 1123, 1183, 1124, 1124, 1125, 1125, 1183, 1142, 1142,
1124, 1460, 1125, 1142, 1143, 1143, 1144, 1144, 0, 1143,
1131, 1144, 1145, 1145, 1146, 1146, 1281, 1145, 0, 1146,
1147, 1147, 1148, 1148, 1460, 1147, 0, 1148, 1149, 1149,
1150, 1150, 1151, 1149, 1152, 1150, 0, 1151, 1151, 1152,
1152, 1153, 1153, 1154, 1154, 0, 1153, 1281, 1154, 1155,
1155, 1156, 1156, 0, 1155, 1159, 1156, 1157, 1157, 1160,
1159, 0, 1157, 1184, 1160, 1160, 1161, 1161, 1184, 1159,
1163, 1161, 1162, 1162, 1164, 1163, 1163, 1162, 0, 1164,
1164, 1165, 1165, 1166, 1166, 1432, 1165, 0, 1166, 1167,
1167, 1168, 1168, 1169, 1167, 1170, 1168, 1171, 1169, 1169,
1170, 1170, 1171, 1171, 1172, 0, 1173, 1173, 0, 1172,
1172, 1173, 1174, 1174, 1177, 1177, 1432, 1174, 0, 1177,
1178, 1178, 1179, 1179, 1478, 1178, 0, 1179, 1180, 1180,
1181, 1181, 1185, 1180, 1186, 1181, 1187, 1185, 1188, 1186,
1189, 1187, 1187, 1188, 1188, 1189, 1190, 1191, 1186, 1192,
1188, 1190, 1191, 1478, 1192, 1194, 1194, 1195, 1195, 1196,
1194, 1197, 1195, 1198, 1196, 1199, 1197, 1200, 1198, 1201,
1199, 1199, 1200, 1202, 1201, 1203, 1204, 1198, 1202, 1205,
1203, 1204, 1206, 1207, 1205, 1205, 1211, 1206, 1207, 1207,
1204, 1211, 1208, 1208, 1209, 1209, 1206, 1208, 1210, 1209,
1212, 1213, 1214, 1210, 1210, 1212, 1213, 1214, 1215, 1217,
1210, 1218, 1218, 1215, 1217, 1220, 1218, 1219, 1219, 1221,
1220, 1220, 1219, 1222, 1221, 1221, 1224, 1228, 1222, 1225,
0, 1224, 1228, 1225, 1226, 1226, 1227, 1227, 1230, 1226,
1231, 1227, 1233, 1230, 1421, 1231, 0, 1233, 1421, 1217,
1234, 1234, 1235, 1235, 1236, 1234, 1238, 1235, 0, 1236,
0, 1238, 1239, 1239, 1240, 1240, 1224, 1239, 0, 1240,
1241, 1241, 1242, 1242, 1243, 1241, 1247, 1242, 1230, 1243,
1243, 1247, 1233, 1244, 0, 1245, 1243, 1246, 1244, 1244,
1245, 1245, 1246, 1246, 1249, 1244, 1238, 1250, 1250, 1249,
1251, 1251, 1250, 1252, 1252, 1251, 1253, 1254, 1252, 1255,
1255, 1253, 1254, 1254, 1255, 0, 1257, 1258, 1259, 1259,
1253, 1257, 1258, 1259, 1260, 1260, 1261, 1261, 1474, 1260,
0, 1261, 1262, 1262, 1249, 1263, 1263, 1262, 1264, 1264,
1263, 1265, 1265, 1264, 1266, 1266, 1265, 1267, 1267, 1266,
1268, 1474, 1267, 1269, 1468, 1268, 1268, 1270, 1269, 1269,
1271, 0, 1270, 1270, 1272, 1271, 1271, 1273, 0, 1272,
1274, 1274, 1273, 1273, 1276, 1274, 1275, 1275, 1272, 1276,
1277, 1275, 1278, 1278, 0, 1277, 1468, 1278, 1279, 1279,
1280, 1280, 0, 1279, 0, 1280, 1282, 1282, 1283, 1283,
1284, 1282, 1285, 1283, 0, 1284, 1287, 1285, 1286, 1286,
1288, 1287, 1289, 1286, 1290, 1288, 1291, 1289, 1292, 1290,
1293, 1291, 1294, 1292, 1292, 1293, 0, 1294, 1294, 1487,
1291, 1295, 1295, 1487, 1293, 0, 1295, 1296, 1296, 1297,
1297, 1298, 1296, 1306, 1297, 0, 1298, 1298, 1306, 1299,
1299, 1300, 1300, 1298, 1299, 1301, 1300, 1303, 0, 1304,
1301, 1301, 1303, 1303, 1304, 1304, 0, 1301, 1305, 1303,
1308, 1304, 0, 1305, 1305, 1308, 1309, 1309, 1310, 1310,
1305, 1309, 0, 1310, 1311, 1311, 1312, 1312, 0, 1311,
0, 1312, 1313, 1313, 1314, 1314, 1315, 1313, 1316, 1314,
1317, 1315, 1315, 1316, 1316, 1317, 1317, 1318, 1315, 1319,
1308, 1320, 1318, 1321, 1319, 1323, 1320, 1320, 1321, 1321,
1323, 1323, 1324, 0, 1325, 0, 1326, 1324, 1324, 1325,
1325, 1326, 1326, 1327, 0, 1328, 0, 0, 1327, 1327,
1328, 1328, 1329, 1329, 1330, 1330, 0, 1329, 0, 1330,
1331, 1331, 1332, 1332, 0, 1331, 1334, 1332, 1333, 1333,
1335, 1334, 1336, 1333, 1337, 1335, 1338, 1336, 1336, 1337,
1337, 1338, 1339, 0, 1340, 0, 1342, 1339, 1339, 1340,
1338, 1342, 1343, 1345, 1346, 1347, 0, 1343, 1345, 1346,
1347, 1347, 1349, 0, 1350, 0, 1351, 1349, 1346, 1350,
1350, 1351, 1352, 0, 1353, 0, 1349, 1352, 1352, 1353,
1351, 1490, 1355, 1355, 1354, 1490, 1342, 1355, 1353, 1354,
1354, 1356, 1357, 1345, 1358, 1359, 1356, 1357, 1360, 1358,
1359, 1361, 0, 1360, 1362, 1362, 1361, 1361, 0, 1362,
1363, 1363, 1360, 1364, 1364, 1363, 1365, 1365, 1364, 1366,
1366, 1365, 1367, 1367, 1366, 1369, 1369, 1367, 1370, 1370,
1369, 1371, 1371, 1370, 1372, 1372, 1371, 1373, 1373, 1372,
1374, 1374, 1373, 1375, 0, 1374, 1376, 1378, 1375, 1375,
0, 1376, 1378, 1379, 1379, 1375, 1380, 1380, 1379, 1381,
1381, 1380, 1382, 1382, 1381, 1383, 1383, 1382, 1384, 1384,
1383, 1385, 1385, 1384, 1386, 1386, 1385, 1388, 1388, 1386,
1389, 1389, 1388, 1390, 1390, 1389, 0, 1378, 1390, 1391,
1391, 1392, 1392, 0, 1391, 1394, 1392, 1393, 1393, 1395,
1394, 1394, 1393, 0, 1395, 1395, 1396, 1396, 1397, 1397,
0, 1396, 1399, 1397, 1398, 1398, 1400, 1399, 1401, 1398,
1402, 1400, 1403, 1401, 1401, 1402, 1402, 1403, 1404, 1406,
1401, 1407, 1402, 1404, 1406, 1408, 1407, 1409, 1410, 1411,
1408, 1412, 1409, 1410, 1411, 1413, 1412, 1414, 1414, 1415,
1413, 1413, 1414, 1416, 1415, 1412, 1417, 0, 1416, 1418,
0, 1417, 1417, 1419, 1418, 1418, 1420, 0, 1419, 1419,
1422, 1420, 1420, 1424, 0, 1422, 1425, 1425, 1424, 1426,
1426, 1425, 1427, 0, 1426, 1428, 1429, 1427, 1427, 0,
1428, 1429, 1429, 1430, 1427, 1431, 0, 1444, 1430, 1428,
1431, 1431, 1444, 1433, 1433, 1434, 1434, 1430, 1433, 1436,
1434, 1435, 1435, 1424, 1436, 1436, 1435, 1437, 0, 1438,
1438, 0, 1437, 1437, 1438, 1439, 1439, 1440, 1440, 0,
1439, 0, 1440, 1441, 1441, 1443, 1443, 1445, 1441, 1446,
1443, 1447, 1445, 1456, 1446, 0, 1447, 1447, 1456, 1448,
1448, 1449, 1449, 1446, 1448, 0, 1449, 1450, 1450, 1451,
1451, 1453, 1450, 1457, 1451, 0, 1453, 1453, 1457, 1454,
1454, 1455, 1455, 1453, 1454, 1458, 1455, 1459, 1461, 0,
1458, 1462, 1459, 1461, 1461, 0, 1462, 1462, 1463, 1463,
1464, 1464, 1465, 1463, 1467, 1464, 1469, 1465, 1470, 1467,
1471, 1469, 1472, 1470, 1470, 1471, 0, 1472, 1473, 1473,
1469, 1475, 1475, 1473, 1476, 1476, 1475, 1477, 1477, 1476,
1479, 1479, 1477, 1480, 1480, 1479, 1481, 0, 1480, 1496,
1483, 1481, 1481, 1496, 1467, 1483, 1484, 1485, 1481, 1486,
0, 1484, 1485, 1485, 1486, 1486, 1488, 1489, 0, 1491,
1491, 1488, 1489, 1489, 1491, 0, 1492, 1492, 1494, 1494,
1488, 1492, 1493, 1494, 1493, 1497, 1493, 1495, 1495, 1498,
1497, 1499, 1495, 0, 1498, 0, 1499, 0, 1499, 0,
1499, 1502, 1502, 1502, 1502, 1502, 1502, 1503, 0, 1503,
1503, 1503, 1503, 1504, 0, 1504, 1504, 1504, 1504, 1505,
0, 1505, 1505, 1505, 1505, 1506, 1506, 1506, 1506, 1506,
1506, 1507, 1507, 1507, 1507, 1507, 1507, 1508, 1508, 1508,
1508, 1508, 1508, 1509, 1509, 1509, 1509, 1509, 1509, 1510,
1510, 1510, 1510, 1510, 1510, 1511, 1511, 1511, 1511, 1511,
1511, 1512, 1512, 1513, 0, 1513, 1513, 1513, 1513, 1514,
0, 1514, 1515, 1515, 1515, 1515, 1516, 0, 1516, 1516,
1516, 1516, 1517, 0, 1517, 1517, 1517, 1517, 1518, 0,
1518, 1519, 0, 1519, 1519, 1519, 1519, 1520, 1520, 1520,
1520, 1520, 1520, 1521, 1521, 1521, 1521, 1521, 1521, 1522,
1522, 1522, 1522, 1522, 1522, 1523, 1523, 1523, 1523, 1523,
1523, 1524, 1524, 1524, 1524, 1524, 1524, 1525, 1525, 1525,
1525, 1525, 1525, 1526, 1526, 1526, 1526, 1526, 1526, 1527,
1527, 1527, 1527, 1527, 1527, 1528, 1528, 1528, 1528, 1528,
1528, 1529, 1529, 1529, 1529, 1529, 1529, 1530, 1530, 1530,
1530, 1530, 1530, 1531, 1531, 1531, 1531, 1531, 1531, 1532,
1532, 1532, 1532, 1532, 1532, 1533, 1533, 1533, 1533, 1533,
1533, 1534, 1534, 1534, 1534, 1534, 1534, 1535, 0, 1535,
1535, 1535, 1535, 1536, 0, 1536, 1536, 1536, 1536, 1537,
1537, 1537, 1537, 1537, 1537, 1538, 1538, 1538, 1538, 1538,
1538, 1539, 1539, 1539, 1539, 1539, 1539, 1540, 1540, 1540,
1540, 1540, 1540, 1541, 1541, 1541, 1541, 1541, 1541, 1542,
1542, 1542, 1542, 1542, 1542, 1543, 1543, 1543, 1543, 1543,
1543, 1544, 1544, 1544, 1544, 1544, 1544, 1545, 1545, 1545,
1545, 1545, 1545, 1546, 1546, 1546, 1546, 1546, 1546, 1547,
1547, 1547, 1547, 1547, 1547, 1548, 1548, 1548, 1548, 1548,
1548, 1549, 1549, 1549, 1549, 1549, 1549, 1550, 1550, 1550,
1550, 1550, 1550, 1551, 1551, 1551, 1551, 1551, 1551, 1552,
1552, 1552, 1552, 1552, 1552, 1553, 0, 1553, 1553, 1553,
1553, 1554, 0, 1554, 1554, 1554, 1554, 1555, 1555, 1555,
1555, 1555, 1555, 1556, 1556, 1556, 1556, 1556, 1556, 1557,
1557, 1557, 1557, 1557, 1557, 1558, 0, 1558, 1558, 1558,
1558, 1559, 0, 1559, 1559, 1559, 1559, 1560, 1560, 1560,
1560, 1560, 1560, 1561, 1561, 1561, 1561, 1561, 1561, 1562,
1562, 1562, 1562, 1562, 1562, 1563, 1563, 1563, 1563, 1563,
1563, 1564, 1564, 1564, 1564, 1564, 1564, 1565, 1565, 1565,
1565, 1565, 1565, 1566, 1566, 1566, 1566, 1566, 1566, 1567,
1567, 1567, 1567, 1567, 1567, 1568, 1568, 1568, 1568, 1568,
1568, 1569, 1569, 1569, 1569, 1569, 1569, 1570, 1570, 1570,
1570, 1570, 1570, 1571, 1571, 1571, 1571, 1571, 1571, 1572,
1572, 1572, 1572, 1572, 1572, 1573, 1573, 1573, 1573, 1573,
1573, 1574, 1574, 1574, 1574, 1574, 1574, 1575, 1575, 1575,
1575, 1575, 1575, 1576, 1576, 1576, 1576, 1576, 1576, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
1501, 1501, 1501, 1501, 1501
} ;
static yy_state_type yy_last_accepting_state;
static char *yy_last_accepting_cpos;
/* The intent behind this definition is that it'll catch
* any uses of REJECT which flex missed.
*/
#define REJECT reject_used_but_not_detected
#define yymore() yymore_used_but_not_detected
#define YY_MORE_ADJ 0
#define YY_RESTORE_YY_MORE_OFFSET
char *yytext;
#line 1 "vclex.l"
#define INITIAL 0
/* -*-Mode: C++;-*-
* PRCS - The Project Revision Control System
* Copyright (C) 1997 Josh MacDonald
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
* as published by the Free Software Foundation; either version 2
* of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
*
* $Id: vclex.l 1.5.1.1.1.16.1.9 Sun, 28 Oct 2001 00:54:02 -0700 jmacd $
*/
#define YY_NO_UNPUT 1
#define YY_NO_INPUT 1
#define YY_NEVER_INTERACTIVE 1
#define YY_STACK_USED 0
#line 31 "vclex.l"
/* use this to allow yyout to be NULL and avoid echoing */
#include "utils.h"
#include "vc.h"
#include <ctype.h>
#include <string.h>
#include <errno.h>
void vc_lex_fatal_error(const char* msg);
char* rcs_text;
static char* killnl(char*);
static char* stop_at_ws(char*);
#define ECHO { if(yyout) (void)fwrite( yytext, yyleng, 1, yyout ); }
#define YY_FATAL_ERROR(msg) vc_lex_fatal_error(msg)
/* Note: how would (errno == EAGAIN) occur in the code below? this
* scanner is always called on a pipe opened from an RCS process, so
* the local fd should not block. However, it may apparently be
* interupted, according to a report addressed to prcs-list by
* Christian Hudon on Tue, 26 Jan 1999 16:00:20 -0500.
*/
#define YY_INPUT(buf, result, max_size) { \
int nread; \
clearerr (yyin); \
errno = 0; \
do nread = fread (buf, 1, max_size, yyin); \
while (nread == 0 && (errno == EAGAIN || errno == EINTR)); \
if (nread == 0 && ferror (yyin)) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
else \
result = nread; \
}
#line 1905 "vclex.c"
/* Macros after this point can all be overridden by user definitions in
* section 1.
*/
#ifndef YY_SKIP_YYWRAP
#ifdef __cplusplus
extern "C" int yywrap YY_PROTO(( void ));
#else
extern int yywrap YY_PROTO(( void ));
#endif
#endif
#ifndef YY_NO_UNPUT
static void yyunput YY_PROTO(( int c, char *buf_ptr ));
#endif
#ifndef yytext_ptr
static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int ));
#endif
#ifdef YY_NEED_STRLEN
static int yy_flex_strlen YY_PROTO(( yyconst char * ));
#endif
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput YY_PROTO(( void ));
#else
static int input YY_PROTO(( void ));
#endif
#endif
#if YY_STACK_USED
static int yy_start_stack_ptr = 0;
static int yy_start_stack_depth = 0;
static int *yy_start_stack = 0;
#ifndef YY_NO_PUSH_STATE
static void yy_push_state YY_PROTO(( int new_state ));
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state YY_PROTO(( void ));
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state YY_PROTO(( void ));
#endif
#else
#define YY_NO_PUSH_STATE 1
#define YY_NO_POP_STATE 1
#define YY_NO_TOP_STATE 1
#endif
#ifdef YY_MALLOC_DECL
YY_MALLOC_DECL
#else
#if __STDC__
#ifndef __cplusplus
#include <stdlib.h>
#endif
#else
/* Just try to get by without declaring the routines. This will fail
* miserably on non-ANSI systems for which sizeof(size_t) != sizeof(int)
* or sizeof(void*) != sizeof(int).
*/
#endif
#endif
/* Amount of stuff to slurp up with each read. */
#ifndef YY_READ_BUF_SIZE
#define YY_READ_BUF_SIZE 8192
#endif
/* Copy whatever the last rule matched to the standard output. */
#ifndef ECHO
/* This used to be an fputs(), but since the string might contain NUL's,
* we now use fwrite().
*/
#define ECHO (void) fwrite( yytext, yyleng, 1, yyout )
#endif
/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
* is returned in "result".
*/
#ifndef YY_INPUT
#define YY_INPUT(buf,result,max_size) \
if ( yy_current_buffer->yy_is_interactive ) \
{ \
int c = '*', n; \
for ( n = 0; n < max_size && \
(c = getc( yyin )) != EOF && c != '\n'; ++n ) \
buf[n] = (char) c; \
if ( c == '\n' ) \
buf[n++] = (char) c; \
if ( c == EOF && ferror( yyin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
result = n; \
} \
else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \
&& ferror( yyin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" );
#endif
/* No semi-colon after return; correct usage is to write "yyterminate();" -
* we don't want an extra ';' after the "return" because that will cause
* some compilers to complain about unreachable statements.
*/
#ifndef yyterminate
#define yyterminate() return YY_NULL
#endif
/* Number of entries by which start-condition stack grows. */
#ifndef YY_START_STACK_INCR
#define YY_START_STACK_INCR 25
#endif
/* Report a fatal error. */
#ifndef YY_FATAL_ERROR
#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
#endif
/* Default declaration of generated scanner - a define so the user can
* easily add parameters.
*/
#ifndef YY_DECL
#define YY_DECL int yylex YY_PROTO(( void ))
#endif
/* Code executed at the beginning of each rule, after yytext and yyleng
* have been set up.
*/
#ifndef YY_USER_ACTION
#define YY_USER_ACTION
#endif
/* Code executed at the end of each rule. */
#ifndef YY_BREAK
#define YY_BREAK break;
#endif
#define YY_RULE_SETUP \
if ( yyleng > 0 ) \
yy_current_buffer->yy_at_bol = \
(yytext[yyleng - 1] == '\n'); \
YY_USER_ACTION
YY_DECL
{
register yy_state_type yy_current_state;
register char *yy_cp, *yy_bp;
register int yy_act;
#line 79 "vclex.l"
/* The rlog information that I am interested in */
#line 2063 "vclex.c"
if ( yy_init )
{
yy_init = 0;
#ifdef YY_USER_INIT
YY_USER_INIT;
#endif
if ( ! yy_start )
yy_start = 1; /* first start state */
if ( ! yyin )
yyin = stdin;
if ( ! yyout )
yyout = stdout;
if ( ! yy_current_buffer )
yy_current_buffer =
yy_create_buffer( yyin, YY_BUF_SIZE );
yy_load_buffer_state();
}
while ( 1 ) /* loops until end-of-file is reached */
{
yy_cp = yy_c_buf_p;
/* Support of yytext. */
*yy_cp = yy_hold_char;
/* yy_bp points to the position in yy_ch_buf of the start of
* the current run.
*/
yy_bp = yy_cp;
yy_current_state = yy_start;
yy_current_state += YY_AT_BOL();
yy_match:
do
{
register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
if ( yy_accept[yy_current_state] )
{
yy_last_accepting_state = yy_current_state;
yy_last_accepting_cpos = yy_cp;
}
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 1502 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
++yy_cp;
}
while ( yy_base[yy_current_state] != 4350 );
yy_find_action:
yy_act = yy_accept[yy_current_state];
if ( yy_act == 0 )
{ /* have to back up */
yy_cp = yy_last_accepting_cpos;
yy_current_state = yy_last_accepting_state;
yy_act = yy_accept[yy_current_state];
}
YY_DO_BEFORE_ACTION;
do_action: /* This label is used only to access EOF actions. */
switch ( yy_act )
{ /* beginning of action switch */
case 0: /* must back up */
/* undo the effects of YY_DO_BEFORE_ACTION */
*yy_cp = yy_hold_char;
yy_cp = yy_last_accepting_cpos;
yy_current_state = yy_last_accepting_state;
goto yy_find_action;
case 1:
YY_RULE_SETUP
#line 82 "vclex.l"
{ rcs_text = killnl(yytext + 20);
return PrcsMajorVersion; }
YY_BREAK
case 2:
YY_RULE_SETUP
#line 84 "vclex.l"
{ rcs_text = killnl(yytext + 20);
return PrcsMinorVersion; }
YY_BREAK
case 3:
YY_RULE_SETUP
#line 86 "vclex.l"
{ rcs_text = killnl(yytext + 27);
return PrcsParentMajorVersion; }
YY_BREAK
case 4:
YY_RULE_SETUP
#line 88 "vclex.l"
{ rcs_text = killnl(yytext + 27);
return PrcsParentMinorVersion; }
YY_BREAK
case 5:
YY_RULE_SETUP
#line 90 "vclex.l"
{ rcs_text = killnl(yytext + 26);
return PrcsDescendsMajorVersion; }
YY_BREAK
case 6:
YY_RULE_SETUP
#line 92 "vclex.l"
{ rcs_text = killnl(yytext + 26);
return PrcsDescendsMinorVersion;}
YY_BREAK
case 7:
YY_RULE_SETUP
#line 94 "vclex.l"
{ }
YY_BREAK
case 8:
YY_RULE_SETUP
#line 95 "vclex.l"
{ }
YY_BREAK
case 9:
YY_RULE_SETUP
#line 96 "vclex.l"
{ return PrcsVersionDeleted; }
YY_BREAK
case 10:
YY_RULE_SETUP
#line 97 "vclex.l"
{ rcs_text = killnl(yytext + 21);
return PrcsParents; }
YY_BREAK
/* this also serves as the co revision name */
case 11:
YY_RULE_SETUP
#line 101 "vclex.l"
{ rcs_text = stop_at_ws(yytext + 9);
return RlogVersion; }
YY_BREAK
case 12:
YY_RULE_SETUP
#line 103 "vclex.l"
{ rcs_text = yytext + 6;
return RlogDate; }
YY_BREAK
case 13:
YY_RULE_SETUP
#line 105 "vclex.l"
{ rcs_text = yytext + 11;
return RlogAuthor; }
YY_BREAK
case 14:
YY_RULE_SETUP
#line 107 "vclex.l"
{ }
YY_BREAK
case 15:
YY_RULE_SETUP
#line 108 "vclex.l"
{ rcs_text = yytext + 9;
return RlogLines; }
YY_BREAK
/* checkin stuff */
case 16:
YY_RULE_SETUP
#line 112 "vclex.l"
{ rcs_text = yytext + 14;
return NewRevision; }
YY_BREAK
case 17:
YY_RULE_SETUP
#line 114 "vclex.l"
{ rcs_text = killnl(yytext + 18);
return InitialRevision; }
YY_BREAK
case 18:
YY_RULE_SETUP
#line 116 "vclex.l"
{
rcs_text = killnl(yytext + 50);
return PrevRevision; }
YY_BREAK
case 19:
YY_RULE_SETUP
#line 119 "vclex.l"
{ }
YY_BREAK
case 20:
YY_RULE_SETUP
#line 121 "vclex.l"
{ rcs_text = yytext + 17;
return RlogTotalRevisions; }
YY_BREAK
case 21:
YY_RULE_SETUP
#line 124 "vclex.l"
{ }
YY_BREAK
case 22:
YY_RULE_SETUP
#line 125 "vclex.l"
{ }
YY_BREAK
case 23:
YY_RULE_SETUP
#line 126 "vclex.l"
{ }
YY_BREAK
case 24:
YY_RULE_SETUP
#line 128 "vclex.l"
{ return RcsAbort; }
YY_BREAK
case 25:
YY_RULE_SETUP
#line 129 "vclex.l"
{ return RcsAbort; }
YY_BREAK
case 26:
YY_RULE_SETUP
#line 130 "vclex.l"
{ return RcsAbort; }
YY_BREAK
case 27:
YY_RULE_SETUP
#line 131 "vclex.l"
{ return RcsAbort; }
YY_BREAK
/* Stuff I'm not interested in. Mostly the rlog header. */
case 28:
YY_RULE_SETUP
#line 134 "vclex.l"
{ }
YY_BREAK
case 29:
YY_RULE_SETUP
#line 135 "vclex.l"
{ }
YY_BREAK
case 30:
YY_RULE_SETUP
#line 136 "vclex.l"
{ }
YY_BREAK
case 31:
YY_RULE_SETUP
#line 137 "vclex.l"
{ }
YY_BREAK
case 32:
YY_RULE_SETUP
#line 138 "vclex.l"
{ }
YY_BREAK
/* \t"locked by: "{login}";"\n { } */
case 33:
YY_RULE_SETUP
#line 140 "vclex.l"
{ }
YY_BREAK
case 34:
YY_RULE_SETUP
#line 141 "vclex.l"
{ }
YY_BREAK
case 35:
YY_RULE_SETUP
#line 142 "vclex.l"
{ }
YY_BREAK
case 36:
YY_RULE_SETUP
#line 143 "vclex.l"
{ }
YY_BREAK
case 37:
YY_RULE_SETUP
#line 144 "vclex.l"
{ }
YY_BREAK
case 38:
YY_RULE_SETUP
#line 145 "vclex.l"
{ }
YY_BREAK
case 39:
YY_RULE_SETUP
#line 146 "vclex.l"
{ }
YY_BREAK
case 40:
YY_RULE_SETUP
#line 147 "vclex.l"
{ }
YY_BREAK
case 41:
YY_RULE_SETUP
#line 148 "vclex.l"
{ } /* This shouldn't really happen. */
YY_BREAK
case 42:
YY_RULE_SETUP
#line 149 "vclex.l"
{ } /* This shouldn't really happen. */
YY_BREAK
case 43:
YY_RULE_SETUP
#line 151 "vclex.l"
ECHO;
YY_BREAK
#line 2382 "vclex.c"
case YY_STATE_EOF(INITIAL):
yyterminate();
case YY_END_OF_BUFFER:
{
/* Amount of text matched not including the EOB char. */
int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1;
/* Undo the effects of YY_DO_BEFORE_ACTION. */
*yy_cp = yy_hold_char;
YY_RESTORE_YY_MORE_OFFSET
if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW )
{
/* We're scanning a new file or input source. It's
* possible that this happened because the user
* just pointed yyin at a new source and called
* yylex(). If so, then we have to assure
* consistency between yy_current_buffer and our
* globals. Here is the right place to do so, because
* this is the first action (other than possibly a
* back-up) that will match for the new input source.
*/
yy_n_chars = yy_current_buffer->yy_n_chars;
yy_current_buffer->yy_input_file = yyin;
yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL;
}
/* Note that here we test for yy_c_buf_p "<=" to the position
* of the first EOB in the buffer, since yy_c_buf_p will
* already have been incremented past the NUL character
* (since all states make transitions on EOB to the
* end-of-buffer state). Contrast this with the test
* in input().
*/
if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
{ /* This was really a NUL. */
yy_state_type yy_next_state;
yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state();
/* Okay, we're now positioned to make the NUL
* transition. We couldn't have
* yy_get_previous_state() go ahead and do it
* for us because it doesn't know how to deal
* with the possibility of jamming (and we don't
* want to build jamming into it because then it
* will run more slowly).
*/
yy_next_state = yy_try_NUL_trans( yy_current_state );
yy_bp = yytext_ptr + YY_MORE_ADJ;
if ( yy_next_state )
{
/* Consume the NUL. */
yy_cp = ++yy_c_buf_p;
yy_current_state = yy_next_state;
goto yy_match;
}
else
{
yy_cp = yy_c_buf_p;
goto yy_find_action;
}
}
else switch ( yy_get_next_buffer() )
{
case EOB_ACT_END_OF_FILE:
{
yy_did_buffer_switch_on_eof = 0;
if ( yywrap() )
{
/* Note: because we've taken care in
* yy_get_next_buffer() to have set up
* yytext, we can now set up
* yy_c_buf_p so that if some total
* hoser (like flex itself) wants to
* call the scanner after we return the
* YY_NULL, it'll still work - another
* YY_NULL will get returned.
*/
yy_c_buf_p = yytext_ptr + YY_MORE_ADJ;
yy_act = YY_STATE_EOF(YY_START);
goto do_action;
}
else
{
if ( ! yy_did_buffer_switch_on_eof )
YY_NEW_FILE;
}
break;
}
case EOB_ACT_CONTINUE_SCAN:
yy_c_buf_p =
yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state();
yy_cp = yy_c_buf_p;
yy_bp = yytext_ptr + YY_MORE_ADJ;
goto yy_match;
case EOB_ACT_LAST_MATCH:
yy_c_buf_p =
&yy_current_buffer->yy_ch_buf[yy_n_chars];
yy_current_state = yy_get_previous_state();
yy_cp = yy_c_buf_p;
yy_bp = yytext_ptr + YY_MORE_ADJ;
goto yy_find_action;
}
break;
}
default:
YY_FATAL_ERROR(
"fatal flex scanner internal error--no action found" );
} /* end of action switch */
} /* end of scanning one token */
} /* end of yylex */
/* yy_get_next_buffer - try to read in a new buffer
*
* Returns a code representing an action:
* EOB_ACT_LAST_MATCH -
* EOB_ACT_CONTINUE_SCAN - continue scanning from current position
* EOB_ACT_END_OF_FILE - end of file
*/
static int yy_get_next_buffer()
{
register char *dest = yy_current_buffer->yy_ch_buf;
register char *source = yytext_ptr;
register int number_to_move, i;
int ret_val;
if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
YY_FATAL_ERROR(
"fatal flex scanner internal error--end of buffer missed" );
if ( yy_current_buffer->yy_fill_buffer == 0 )
{ /* Don't try to fill the buffer, so this is an EOF. */
if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 )
{
/* We matched a single character, the EOB, so
* treat this as a final EOF.
*/
return EOB_ACT_END_OF_FILE;
}
else
{
/* We matched some text prior to the EOB, first
* process it.
*/
return EOB_ACT_LAST_MATCH;
}
}
/* Try to read more data. */
/* First move last chars to start of buffer. */
number_to_move = (int) (yy_c_buf_p - yytext_ptr) - 1;
for ( i = 0; i < number_to_move; ++i )
*(dest++) = *(source++);
if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_EOF_PENDING )
/* don't do the read, it's not guaranteed to return an EOF,
* just force an EOF
*/
yy_current_buffer->yy_n_chars = yy_n_chars = 0;
else
{
int num_to_read =
yy_current_buffer->yy_buf_size - number_to_move - 1;
while ( num_to_read <= 0 )
{ /* Not enough room in the buffer - grow it. */
#ifdef YY_USES_REJECT
YY_FATAL_ERROR(
"input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
#else
/* just a shorter name for the current buffer */
YY_BUFFER_STATE b = yy_current_buffer;
int yy_c_buf_p_offset =
(int) (yy_c_buf_p - b->yy_ch_buf);
if ( b->yy_is_our_buffer )
{
int new_size = b->yy_buf_size * 2;
if ( new_size <= 0 )
b->yy_buf_size += b->yy_buf_size / 8;
else
b->yy_buf_size *= 2;
b->yy_ch_buf = (char *)
/* Include room in for 2 EOB chars. */
yy_flex_realloc( (void *) b->yy_ch_buf,
b->yy_buf_size + 2 );
}
else
/* Can't grow it, we don't own it. */
b->yy_ch_buf = 0;
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR(
"fatal error - scanner input buffer overflow" );
yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];
num_to_read = yy_current_buffer->yy_buf_size -
number_to_move - 1;
#endif
}
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
/* Read in more data. */
YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
yy_n_chars, num_to_read );
yy_current_buffer->yy_n_chars = yy_n_chars;
}
if ( yy_n_chars == 0 )
{
if ( number_to_move == YY_MORE_ADJ )
{
ret_val = EOB_ACT_END_OF_FILE;
yyrestart( yyin );
}
else
{
ret_val = EOB_ACT_LAST_MATCH;
yy_current_buffer->yy_buffer_status =
YY_BUFFER_EOF_PENDING;
}
}
else
ret_val = EOB_ACT_CONTINUE_SCAN;
yy_n_chars += number_to_move;
yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
yytext_ptr = &yy_current_buffer->yy_ch_buf[0];
return ret_val;
}
/* yy_get_previous_state - get the state just before the EOB char was reached */
static yy_state_type yy_get_previous_state()
{
register yy_state_type yy_current_state;
register char *yy_cp;
yy_current_state = yy_start;
yy_current_state += YY_AT_BOL();
for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
{
register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
if ( yy_accept[yy_current_state] )
{
yy_last_accepting_state = yy_current_state;
yy_last_accepting_cpos = yy_cp;
}
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 1502 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
}
return yy_current_state;
}
/* yy_try_NUL_trans - try to make a transition on the NUL character
*
* synopsis
* next_state = yy_try_NUL_trans( current_state );
*/
#ifdef YY_USE_PROTOS
static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state )
#else
static yy_state_type yy_try_NUL_trans( yy_current_state )
yy_state_type yy_current_state;
#endif
{
register int yy_is_jam;
register char *yy_cp = yy_c_buf_p;
register YY_CHAR yy_c = 1;
if ( yy_accept[yy_current_state] )
{
yy_last_accepting_state = yy_current_state;
yy_last_accepting_cpos = yy_cp;
}
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 1502 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
yy_is_jam = (yy_current_state == 1501);
return yy_is_jam ? 0 : yy_current_state;
}
#ifndef YY_NO_UNPUT
#ifdef YY_USE_PROTOS
static void yyunput( int c, register char *yy_bp )
#else
static void yyunput( c, yy_bp )
int c;
register char *yy_bp;
#endif
{
register char *yy_cp = yy_c_buf_p;
/* undo effects of setting up yytext */
*yy_cp = yy_hold_char;
if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
{ /* need to shift things up to make room */
/* +2 for EOB chars. */
register int number_to_move = yy_n_chars + 2;
register char *dest = &yy_current_buffer->yy_ch_buf[
yy_current_buffer->yy_buf_size + 2];
register char *source =
&yy_current_buffer->yy_ch_buf[number_to_move];
while ( source > yy_current_buffer->yy_ch_buf )
*--dest = *--source;
yy_cp += (int) (dest - source);
yy_bp += (int) (dest - source);
yy_current_buffer->yy_n_chars =
yy_n_chars = yy_current_buffer->yy_buf_size;
if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
YY_FATAL_ERROR( "flex scanner push-back overflow" );
}
*--yy_cp = (char) c;
yytext_ptr = yy_bp;
yy_hold_char = *yy_cp;
yy_c_buf_p = yy_cp;
}
#endif /* ifndef YY_NO_UNPUT */
#ifdef __cplusplus
static int yyinput()
#else
static int input()
#endif
{
int c;
*yy_c_buf_p = yy_hold_char;
if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
{
/* yy_c_buf_p now points to the character we want to return.
* If this occurs *before* the EOB characters, then it's a
* valid NUL; if not, then we've hit the end of the buffer.
*/
if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
/* This was really a NUL. */
*yy_c_buf_p = '\0';
else
{ /* need more input */
int offset = yy_c_buf_p - yytext_ptr;
++yy_c_buf_p;
switch ( yy_get_next_buffer() )
{
case EOB_ACT_LAST_MATCH:
/* This happens because yy_g_n_b()
* sees that we've accumulated a
* token and flags that we need to
* try matching the token before
* proceeding. But for input(),
* there's no matching to consider.
* So convert the EOB_ACT_LAST_MATCH
* to EOB_ACT_END_OF_FILE.
*/
/* Reset buffer status. */
yyrestart( yyin );
/* fall through */
case EOB_ACT_END_OF_FILE:
{
if ( yywrap() )
return EOF;
if ( ! yy_did_buffer_switch_on_eof )
YY_NEW_FILE;
#ifdef __cplusplus
return yyinput();
#else
return input();
#endif
}
case EOB_ACT_CONTINUE_SCAN:
yy_c_buf_p = yytext_ptr + offset;
break;
}
}
}
c = *(unsigned char *) yy_c_buf_p; /* cast for 8-bit char's */
*yy_c_buf_p = '\0'; /* preserve yytext */
yy_hold_char = *++yy_c_buf_p;
yy_current_buffer->yy_at_bol = (c == '\n');
return c;
}
#ifdef YY_USE_PROTOS
void yyrestart( FILE *input_file )
#else
void yyrestart( input_file )
FILE *input_file;
#endif
{
if ( ! yy_current_buffer )
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );
yy_init_buffer( yy_current_buffer, input_file );
yy_load_buffer_state();
}
#ifdef YY_USE_PROTOS
void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
#else
void yy_switch_to_buffer( new_buffer )
YY_BUFFER_STATE new_buffer;
#endif
{
if ( yy_current_buffer == new_buffer )
return;
if ( yy_current_buffer )
{
/* Flush out information for old buffer. */
*yy_c_buf_p = yy_hold_char;
yy_current_buffer->yy_buf_pos = yy_c_buf_p;
yy_current_buffer->yy_n_chars = yy_n_chars;
}
yy_current_buffer = new_buffer;
yy_load_buffer_state();
/* We don't actually know whether we did this switch during
* EOF (yywrap()) processing, but the only time this flag
* is looked at is after yywrap() is called, so it's safe
* to go ahead and always set it.
*/
yy_did_buffer_switch_on_eof = 1;
}
#ifdef YY_USE_PROTOS
void yy_load_buffer_state( void )
#else
void yy_load_buffer_state()
#endif
{
yy_n_chars = yy_current_buffer->yy_n_chars;
yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
yyin = yy_current_buffer->yy_input_file;
yy_hold_char = *yy_c_buf_p;
}
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
#else
YY_BUFFER_STATE yy_create_buffer( file, size )
FILE *file;
int size;
#endif
{
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_buf_size = size;
/* yy_ch_buf has to be 2 characters longer than the size given because
* we need to put in 2 end-of-buffer characters.
*/
b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 );
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_is_our_buffer = 1;
yy_init_buffer( b, file );
return b;
}
#ifdef YY_USE_PROTOS
void yy_delete_buffer( YY_BUFFER_STATE b )
#else
void yy_delete_buffer( b )
YY_BUFFER_STATE b;
#endif
{
if ( ! b )
return;
if ( b == yy_current_buffer )
yy_current_buffer = (YY_BUFFER_STATE) 0;
if ( b->yy_is_our_buffer )
yy_flex_free( (void *) b->yy_ch_buf );
yy_flex_free( (void *) b );
}
#ifndef YY_ALWAYS_INTERACTIVE
#ifndef YY_NEVER_INTERACTIVE
#include<unistd.h>
#endif
#endif
#ifdef YY_USE_PROTOS
void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
#else
void yy_init_buffer( b, file )
YY_BUFFER_STATE b;
FILE *file;
#endif
{
yy_flush_buffer( b );
b->yy_input_file = file;
b->yy_fill_buffer = 1;
#if YY_ALWAYS_INTERACTIVE
b->yy_is_interactive = 1;
#else
#if YY_NEVER_INTERACTIVE
b->yy_is_interactive = 0;
#else
b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
#endif
#endif
}
#ifdef YY_USE_PROTOS
void yy_flush_buffer( YY_BUFFER_STATE b )
#else
void yy_flush_buffer( b )
YY_BUFFER_STATE b;
#endif
{
if ( ! b )
return;
b->yy_n_chars = 0;
/* We always need two end-of-buffer characters. The first causes
* a transition to the end-of-buffer state. The second causes
* a jam in that state.
*/
b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
b->yy_buf_pos = &b->yy_ch_buf[0];
b->yy_at_bol = 1;
b->yy_buffer_status = YY_BUFFER_NEW;
if ( b == yy_current_buffer )
yy_load_buffer_state();
}
#ifndef YY_NO_SCAN_BUFFER
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size )
#else
YY_BUFFER_STATE yy_scan_buffer( base, size )
char *base;
yy_size_t size;
#endif
{
YY_BUFFER_STATE b;
if ( size < 2 ||
base[size-2] != YY_END_OF_BUFFER_CHAR ||
base[size-1] != YY_END_OF_BUFFER_CHAR )
/* They forgot to leave room for the EOB's. */
return 0;
b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
b->yy_buf_pos = b->yy_ch_buf = base;
b->yy_is_our_buffer = 0;
b->yy_input_file = 0;
b->yy_n_chars = b->yy_buf_size;
b->yy_is_interactive = 0;
b->yy_at_bol = 1;
b->yy_fill_buffer = 0;
b->yy_buffer_status = YY_BUFFER_NEW;
yy_switch_to_buffer( b );
return b;
}
#endif
#ifndef YY_NO_SCAN_STRING
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str )
#else
YY_BUFFER_STATE yy_scan_string( yy_str )
yyconst char *yy_str;
#endif
{
int len;
for ( len = 0; yy_str[len]; ++len )
;
return yy_scan_bytes( yy_str, len );
}
#endif
#ifndef YY_NO_SCAN_BYTES
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len )
#else
YY_BUFFER_STATE yy_scan_bytes( bytes, len )
yyconst char *bytes;
int len;
#endif
{
YY_BUFFER_STATE b;
char *buf;
yy_size_t n;
int i;
/* Get memory for full buffer, including space for trailing EOB's. */
n = len + 2;
buf = (char *) yy_flex_alloc( n );
if ( ! buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
for ( i = 0; i < len; ++i )
buf[i] = bytes[i];
buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;
b = yy_scan_buffer( buf, n );
if ( ! b )
YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
/* It's okay to grow etc. this buffer, and we should throw it
* away when we're done.
*/
b->yy_is_our_buffer = 1;
return b;
}
#endif
#ifndef YY_NO_PUSH_STATE
#ifdef YY_USE_PROTOS
static void yy_push_state( int new_state )
#else
static void yy_push_state( new_state )
int new_state;
#endif
{
if ( yy_start_stack_ptr >= yy_start_stack_depth )
{
yy_size_t new_size;
yy_start_stack_depth += YY_START_STACK_INCR;
new_size = yy_start_stack_depth * sizeof( int );
if ( ! yy_start_stack )
yy_start_stack = (int *) yy_flex_alloc( new_size );
else
yy_start_stack = (int *) yy_flex_realloc(
(void *) yy_start_stack, new_size );
if ( ! yy_start_stack )
YY_FATAL_ERROR(
"out of memory expanding start-condition stack" );
}
yy_start_stack[yy_start_stack_ptr++] = YY_START;
BEGIN(new_state);
}
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state()
{
if ( --yy_start_stack_ptr < 0 )
YY_FATAL_ERROR( "start-condition stack underflow" );
BEGIN(yy_start_stack[yy_start_stack_ptr]);
}
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state()
{
return yy_start_stack[yy_start_stack_ptr - 1];
}
#endif
#ifndef YY_EXIT_FAILURE
#define YY_EXIT_FAILURE 2
#endif
#ifdef YY_USE_PROTOS
static void yy_fatal_error( yyconst char msg[] )
#else
static void yy_fatal_error( msg )
char msg[];
#endif
{
(void) fprintf( stderr, "%s\n", msg );
exit( YY_EXIT_FAILURE );
}
/* Redefine yyless() so it works in section 3 code. */
#undef yyless
#define yyless(n) \
do \
{ \
/* Undo effects of setting up yytext. */ \
yytext[yyleng] = yy_hold_char; \
yy_c_buf_p = yytext + n; \
yy_hold_char = *yy_c_buf_p; \
*yy_c_buf_p = '\0'; \
yyleng = n; \
} \
while ( 0 )
/* Internal utility routines. */
#ifndef yytext_ptr
#ifdef YY_USE_PROTOS
static void yy_flex_strncpy( char *s1, yyconst char *s2, int n )
#else
static void yy_flex_strncpy( s1, s2, n )
char *s1;
yyconst char *s2;
int n;
#endif
{
register int i;
for ( i = 0; i < n; ++i )
s1[i] = s2[i];
}
#endif
#ifdef YY_NEED_STRLEN
#ifdef YY_USE_PROTOS
static int yy_flex_strlen( yyconst char *s )
#else
static int yy_flex_strlen( s )
yyconst char *s;
#endif
{
register int n;
for ( n = 0; s[n]; ++n )
;
return n;
}
#endif
#ifdef YY_USE_PROTOS
static void *yy_flex_alloc( yy_size_t size )
#else
static void *yy_flex_alloc( size )
yy_size_t size;
#endif
{
return (void *) malloc( size );
}
#ifdef YY_USE_PROTOS
static void *yy_flex_realloc( void *ptr, yy_size_t size )
#else
static void *yy_flex_realloc( ptr, size )
void *ptr;
yy_size_t size;
#endif
{
/* The cast to (char *) in the following accommodates both
* implementations that use char* generic pointers, and those
* that use void* generic pointers. It works with the latter
* because both ANSI C and C++ allow castless assignment from
* any pointer type to void*, and deal with argument conversions
* as though doing an assignment.
*/
return (void *) realloc( (char *) ptr, size );
}
#ifdef YY_USE_PROTOS
static void yy_flex_free( void *ptr )
#else
static void yy_flex_free( ptr )
void *ptr;
#endif
{
free( ptr );
}
#if YY_MAIN
int main()
{
yylex();
return 0;
}
#endif
#line 151 "vclex.l"
/*
* VC_get_token --
*
* from the lex parser, a function which matches one of the
* tokens named in include/vc.h. This is used to determine what
* type of output some rcs command has and the interesting information.
* if its argument is NULL, it continues matching from the end
* of the last match. text of the token match is left in rcs_text.
* Results:
* one of the token types.
* Side effects:
* the stream is advanced.
* Parameters:
* new stream or NULL.
*/
static YY_BUFFER_STATE buffer = NULL;
int VC_get_token(FILE* is)
{
yyout = stderr;
if(is) {
if(buffer)
yy_delete_buffer(buffer);
yyin = is;
buffer = yy_create_buffer(yyin, YY_BUF_SIZE);
yy_switch_to_buffer(buffer);
}
return yylex();
}
int VC_init_seg_get_c(char* seg, size_t len)
{
if(buffer)
yy_delete_buffer(buffer);
buffer = yy_scan_buffer(seg, len);
yy_switch_to_buffer(buffer);
}
/* check_token_match --
*
* used in checking that a given string will match a type of token
* so that bad tokens are not inserted into the rcs log
* information.
* Results:
* return value is 1 if it matches, 0 if it doesn't, -1 if
* type is invalid.
* Side effects:
* None.
* Parameters:
* TYPE must be one of "number", which checks that the string
* contains only digits, "label" which checks that the string *
* satisfies the definition of label in prcs.texi ([A-Za-z0- 9#^\-
* *_+=,.]+), and "login", which checks that the number satisfies
* ([a- * zA-Z][a-zA-Z0-9\-_]*). This uses the exact same
* patterns * VC_get_token does, so if this fails it means using
* that token will * cause output to be misconstrued at some later
* date.
*/
int VC_check_token_match(const char* token, const char* type)
{
YY_BUFFER_STATE buffer;
int ret, len;
char* test;
const char* p;
yyout = NULL;
switch (type[2]) {
case /*lo*/'g'/*in*/:
test = NEWVEC(char, 32 + strlen(token));
strcpy(test, "; author: ");
strcat(test, token);
len = strlen(test);
test[len] = test[len + 1] = YY_END_OF_BUFFER_CHAR;
buffer = yy_scan_buffer(test, len + 2);
ret = yylex();
free(test);
yy_delete_buffer (buffer);
if (ret == RlogAuthor && yyleng == len) {
return 1;
} else {
return 0;
}
break;
case /*la*/'b'/*el*/:
test = NEWVEC(char, 32 + strlen(token));
strcpy(test, "PRCS major version: ");
strcat(test, token);
strcat(test, "\n");
len = strlen(test);
test[len] = test[len + 1] = YY_END_OF_BUFFER_CHAR;
buffer = yy_scan_buffer(test, len + 2);
ret = yylex();
free(test);
yy_delete_buffer (buffer);
if (ret == PrcsMajorVersion && yyleng == len) {
return 1;
} else {
return 0;
}
break;
case /*nu*/'m'/*ber*/:
p = token;
if(token[0] == '0' && token[1] != '\0') {
return 0;
}
while(*p != '\0') {
if(!isdigit(*p)) {
return 0;
}
p += 1;
}
return 1;
break;
case /*an*/'y':
return 1;
break;
default:
return -1;
}
}
/*
* killnl --
*
* Kills a newlines at the end of patterns.
* Results:
* Actually, it will kill the last character of any string.
* Side Effects:
* Modifies s.
* Parameters:
* Don't let s be "" or NULL.
*/
static char* killnl(char* s)
{
s[strlen(s) - 1] = '\0';
return s;
}
static char* stop_at_ws(char* s)
{
char* s0 = s;
while(!isspace(*s)) { s += 1; }
*s = 0;
return s0;
}
#if 0
int main()
{
int it;
while(1) {
it = VC_get_token(stdin);
fprintf(stdout, "got token %d\n", it);
}
}
#endif
syntax highlighted by Code2HTML, v. 0.9.1