/* 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 #include /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */ #ifdef c_plusplus #ifndef __cplusplus #define __cplusplus #endif #endif #ifdef __cplusplus #include /* 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 #include #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) 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 131 #define YY_END_OF_BUFFER 132 static yyconst short int yy_accept[1317] = { 0, 0, 0, 132, 129, 89, 89, 89, 90, 129, 90, 90, 90, 130, 98, 98, 90, 90, 90, 90, 127, 127, 129, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 90, 129, 93, 97, 57, 0, 127, 98, 0, 127, 127, 127, 101, 95, 92, 94, 91, 96, 128, 128, 127, 127, 19, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 7, 127, 33, 34, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 79, 127, 58, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 73, 127, 127, 127, 127, 127, 127, 127, 4, 127, 127, 127, 127, 127, 127, 58, 97, 99, 99, 98, 127, 0, 101, 98, 101, 101, 101, 127, 127, 57, 5, 127, 68, 127, 127, 127, 127, 127, 127, 87, 1, 0, 127, 20, 127, 127, 127, 127, 127, 127, 127, 127, 127, 35, 127, 127, 17, 42, 0, 127, 28, 127, 24, 60, 127, 127, 66, 36, 127, 127, 127, 127, 127, 45, 59, 69, 86, 127, 14, 127, 3, 127, 127, 127, 127, 127, 81, 127, 127, 25, 127, 85, 127, 88, 37, 2, 127, 41, 127, 9, 10, 76, 127, 75, 127, 127, 127, 127, 98, 0, 127, 0, 102, 101, 101, 0, 101, 0, 101, 0, 101, 0, 22, 127, 127, 127, 54, 40, 127, 38, 127, 127, 29, 127, 127, 127, 44, 11, 127, 12, 13, 127, 127, 127, 31, 65, 127, 52, 46, 127, 127, 127, 64, 127, 127, 127, 127, 47, 127, 39, 127, 6, 127, 80, 127, 8, 82, 127, 0, 127, 63, 15, 99, 99, 99, 98, 0, 101, 0, 0, 101, 0, 101, 102, 101, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 127, 21, 127, 127, 127, 30, 127, 127, 0, 18, 127, 127, 127, 74, 127, 32, 127, 67, 27, 26, 127, 127, 70, 127, 127, 49, 16, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 0, 0, 101, 101, 101, 0, 0, 102, 101, 101, 102, 101, 0, 0, 101, 101, 101, 101, 101, 0, 0, 0, 0, 101, 101, 0, 101, 0, 101, 0, 84, 127, 127, 23, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 60, 127, 127, 127, 127, 127, 127, 127, 127, 83, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 99, 99, 99, 0, 101, 101, 0, 101, 0, 0, 101, 0, 101, 102, 101, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 127, 127, 51, 53, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 61, 127, 127, 43, 71, 72, 127, 127, 127, 127, 125, 121, 127, 123, 122, 126, 127, 127, 0, 0, 101, 101, 101, 101, 101, 101, 0, 0, 102, 101, 101, 101, 0, 0, 101, 101, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 0, 0, 0, 0, 101, 101, 0, 101, 0, 101, 0, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 104, 103, 127, 127, 62, 127, 127, 127, 124, 120, 99, 0, 101, 101, 0, 101, 101, 0, 101, 0, 0, 101, 0, 101, 102, 101, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 0, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 55, 127, 109, 116, 127, 127, 127, 127, 127, 127, 127, 127, 127, 56, 48, 127, 127, 0, 0, 101, 101, 101, 101, 101, 101, 101, 101, 101, 0, 0, 102, 101, 101, 101, 0, 0, 101, 101, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 0, 0, 0, 0, 0, 101, 101, 0, 101, 0, 101, 0, 77, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, 50, 0, 101, 101, 0, 101, 101, 0, 101, 101, 0, 101, 0, 100, 101, 0, 101, 102, 101, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 0, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 0, 0, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 127, 127, 127, 127, 127, 127, 127, 127, 114, 127, 78, 0, 0, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 0, 100, 102, 101, 101, 101, 0, 0, 101, 101, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 0, 0, 0, 0, 0, 101, 101, 0, 101, 0, 101, 0, 127, 127, 127, 118, 127, 127, 127, 127, 127, 127, 127, 106, 0, 101, 101, 0, 101, 101, 0, 101, 101, 0, 101, 101, 0, 101, 0, 0, 0, 101, 0, 0, 101, 102, 101, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 0, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 0, 0, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 0, 0, 0, 0, 0, 101, 101, 0, 101, 102, 101, 0, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 0, 127, 127, 127, 127, 108, 127, 127, 127, 112, 127, 0, 0, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, 0, 0, 0, 102, 0, 0, 101, 0, 0, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 0, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 0, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 0, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 0, 0, 0, 0, 0, 0, 101, 101, 0, 101, 0, 101, 0, 105, 117, 119, 113, 127, 127, 127, 127, 0, 0, 101, 0, 101, 0, 101, 101, 0, 101, 101, 0, 101, 101, 0, 101, 101, 0, 101, 0, 0, 0, 0, 101, 101, 0, 101, 0, 0, 101, 101, 101, 0, 0, 0, 0, 101, 101, 101, 0, 0, 0, 0, 0, 101, 101, 101, 0, 0, 0, 0, 0, 101, 101, 101, 0, 0, 0, 0, 0, 101, 101, 101, 101, 101, 101, 0, 0, 0, 0, 0, 0, 0, 101, 101, 101, 0, 127, 127, 127, 127, 0, 0, 0, 101, 101, 101, 101, 101, 101, 0, 0, 0, 0, 101, 101, 0, 0, 0, 0, 101, 101, 101, 0, 0, 0, 0, 0, 101, 101, 101, 101, 0, 0, 0, 0, 0, 101, 101, 101, 101, 0, 0, 0, 0, 0, 101, 101, 101, 101, 0, 0, 0, 0, 0, 101, 0, 0, 0, 0, 0, 101, 101, 101, 127, 127, 127, 115, 101, 101, 101, 101, 101, 101, 101, 101, 0, 0, 0, 0, 101, 101, 0, 0, 101, 0, 0, 0, 101, 0, 0, 0, 101, 0, 0, 0, 101, 0, 0, 0, 101, 101, 101, 101, 0, 0, 0, 0, 0, 101, 110, 127, 107, 101, 0, 0, 101, 101, 0, 101, 101, 101, 0, 101, 101, 101, 0, 101, 101, 101, 0, 101, 101, 101, 0, 0, 0, 0, 101, 111, 101, 101, 0, 0, 0, 0, 0, 0, 101, 101, 101, 0, 0, 101, 101, 101, 101, 101, 0, 101, 101, 0 } ; static yyconst int yy_ec[256] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 1, 1, 6, 1, 7, 1, 8, 8, 9, 9, 1, 10, 11, 9, 12, 13, 14, 15, 16, 15, 17, 15, 15, 15, 18, 1, 19, 20, 21, 1, 1, 22, 22, 22, 22, 22, 22, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 24, 23, 23, 25, 26, 25, 1, 27, 1, 28, 29, 30, 31, 32, 33, 34, 35, 36, 23, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 23, 1, 52, 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[53] = { 0, 1, 2, 2, 1, 2, 1, 3, 2, 1, 4, 5, 6, 6, 6, 6, 6, 6, 7, 3, 3, 3, 8, 4, 9, 3, 1, 4, 8, 8, 8, 8, 8, 8, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 4, 3 } ; static yyconst short int yy_base[1690] = { 0, 0, 0, 3414, 52, 6592, 6592, 53, 3392, 59, 3386, 6592, 63, 6592, 80, 49, 131, 55, 3372, 62, 147, 186, 147, 106, 36, 129, 134, 55, 3360, 110, 3348, 190, 193, 140, 101, 149, 198, 205, 148, 125, 3356, 211, 3348, 3333, 250, 6592, 0, 6592, 0, 248, 266, 3352, 258, 0, 288, 321, 6592, 6592, 6592, 6592, 6592, 305, 0, 344, 40, 0, 3338, 3326, 3339, 183, 3325, 3318, 3323, 3322, 3312, 192, 3321, 3284, 248, 3294, 213, 3282, 3294, 3279, 3284, 3282, 100, 3272, 3267, 3276, 38, 305, 0, 0, 165, 135, 3264, 3273, 3259, 3255, 3253, 3247, 3250, 3229, 3220, 3219, 3222, 0, 3230, 0, 3213, 3205, 3199, 3200, 3200, 3200, 282, 3210, 3192, 3194, 3187, 220, 3163, 326, 3160, 302, 3158, 3169, 3155, 0, 3154, 3145, 3152, 3143, 3134, 3147, 6592, 6592, 378, 159, 417, 352, 3156, 439, 3162, 462, 243, 3145, 3100, 3105, 0, 0, 3102, 361, 3110, 3104, 3093, 3094, 3082, 502, 0, 0, 3087, 3057, 0, 3069, 107, 3068, 3070, 3049, 3052, 3056, 3020, 3019, 0, 3024, 3017, 0, 0, 3020, 3010, 0, 3022, 0, 3010, 2998, 2985, 0, 0, 2984, 2992, 339, 2973, 2970, 2986, 0, 2981, 0, 2975, 0, 2957, 0, 2936, 2939, 2944, 2936, 2931, 0, 2929, 2942, 0, 2910, 0, 2909, 0, 0, 0, 2906, 0, 2905, 275, 0, 0, 2908, 0, 2904, 2905, 384, 531, 554, 2926, 2877, 2876, 2875, 562, 262, 2874, 2873, 391, 602, 624, 398, 0, 0, 2848, 2851, 2856, 0, 0, 2841, 0, 2840, 2826, 0, 2826, 2820, 2821, 0, 479, 2827, 0, 0, 2835, 2778, 2779, 0, 0, 2777, 0, 0, 2792, 2783, 2789, 0, 2782, 2785, 2787, 2761, 2757, 2759, 0, 2758, 0, 2756, 0, 145, 0, 0, 2749, 455, 2757, 0, 0, 647, 392, 2744, 2736, 2735, 686, 2734, 2733, 708, 405, 731, 753, 515, 0, 2731, 412, 522, 776, 585, 799, 413, 2730, 2736, 2693, 0, 2702, 2701, 2684, 0, 2701, 2695, 818, 0, 2685, 2674, 2659, 0, 2650, 0, 2654, 2647, 0, 0, 2657, 2638, 393, 2637, 2655, 2639, 0, 2628, 2620, 2634, 2627, 2633, 2626, 2614, 2595, 2588, 2594, 2609, 491, 854, 2618, 2616, 877, 416, 2615, 2614, 2593, 2592, 917, 435, 2591, 2590, 499, 592, 957, 661, 980, 474, 2589, 2594, 2586, 653, 0, 368, 2585, 667, 1020, 1042, 674, 0, 0, 2574, 2543, 0, 2537, 2543, 2556, 2541, 2555, 2554, 479, 2540, 505, 2518, 2526, 2514, 2524, 0, 2513, 2524, 2515, 2507, 2506, 2495, 2494, 2496, 0, 2491, 2483, 2474, 2468, 2464, 2458, 2455, 2460, 2465, 2451, 1064, 531, 2473, 2465, 1103, 2464, 1125, 2460, 2459, 2444, 1147, 821, 1170, 1192, 828, 0, 899, 0, 369, 2443, 905, 1215, 1237, 940, 0, 599, 947, 2449, 1003, 681, 1010, 1260, 1078, 1283, 532, 2441, 2447, 2411, 2416, 0, 0, 2419, 2407, 2393, 2392, 2403, 2371, 2368, 2375, 2366, 2366, 2346, 2345, 0, 2336, 2327, 0, 0, 0, 2340, 2321, 2326, 2313, 0, 0, 2317, 0, 0, 0, 2304, 1322, 2329, 2319, 1345, 533, 2318, 1385, 561, 2297, 2296, 2295, 2293, 1425, 597, 2290, 682, 1085, 1465, 1092, 1488, 598, 2289, 2281, 683, 1306, 2280, 1313, 685, 1368, 1528, 1375, 1551, 601, 2271, 2277, 1070, 0, 1407, 0, 447, 2268, 1413, 1591, 1613, 1448, 0, 2239, 2239, 2233, 2209, 2214, 2222, 2212, 2198, 2185, 2176, 2197, 2191, 0, 0, 2190, 2175, 0, 2157, 2152, 2140, 0, 0, 0, 2167, 1635, 1658, 1680, 1455, 1703, 1725, 1511, 2165, 2164, 1747, 1517, 1770, 1792, 1574, 0, 1580, 0, 540, 2163, 1814, 1821, 1843, 1866, 0, 1872, 0, 1878, 0, 632, 2153, 1884, 1891, 1913, 1936, 0, 704, 1942, 2159, 848, 1949, 2138, 1956, 850, 1963, 1970, 1993, 2000, 705, 2130, 2136, 297, 700, 416, 955, 956, 2009, 1018, 746, 318, 414, 2010, 454, 747, 617, 618, 1103, 2013, 2127, 2124, 2042, 726, 2123, 2082, 772, 2091, 2122, 775, 2090, 2089, 2085, 2084, 2162, 776, 2083, 1099, 2030, 2202, 2065, 2225, 796, 2073, 2079, 1100, 2072, 2058, 2105, 1321, 2112, 2265, 2145, 2288, 823, 2049, 2052, 827, 2151, 2016, 1382, 2185, 2014, 2192, 1524, 2248, 2328, 2255, 2351, 828, 1979, 1985, 0, 2310, 0, 2316, 0, 693, 1977, 2373, 2391, 2413, 2380, 0, 685, 770, 848, 974, 1019, 1033, 1102, 1141, 1162, 1589, 913, 1463, 791, 1976, 2435, 2458, 2480, 2503, 2510, 2532, 2555, 2562, 2584, 2607, 1975, 1973, 2613, 2635, 2642, 2664, 2687, 0, 2693, 0, 740, 1972, 2699, 2706, 2728, 2751, 0, 2757, 0, 2763, 0, 761, 1971, 2769, 2776, 2798, 2821, 0, 0, 2827, 0, 2833, 0, 837, 1921, 2839, 2846, 2868, 2891, 0, 0, 829, 2897, 1923, 1587, 2904, 1907, 2911, 1629, 2918, 2925, 2948, 2955, 953, 1899, 1858, 1590, 2389, 2390, 1321, 1118, 1526, 1464, 1164, 2024, 1117, 915, 1850, 1849, 2995, 957, 1830, 3035, 1016, 1826, 3075, 1017, 1795, 3115, 1143, 1779, 1777, 1776, 3154, 3177, 1147, 1754, 1674, 2978, 3217, 2985, 3240, 1166, 1752, 1741, 2015, 3018, 1739, 3025, 2119, 3058, 3280, 3065, 3303, 1188, 1730, 1696, 1189, 3097, 1695, 2324, 3104, 1651, 3138, 2387, 3145, 3343, 3200, 3366, 1191, 1636, 1623, 0, 1210, 3206, 1607, 2429, 3263, 1604, 3270, 3072, 3326, 3406, 3333, 3429, 1211, 1596, 1565, 0, 3388, 0, 3394, 0, 885, 1552, 3451, 3469, 3491, 3458, 0, 3499, 3500, 3501, 1209, 3502, 2200, 1252, 3504, 1384, 1253, 1254, 1230, 1533, 3534, 3557, 3579, 3602, 3609, 3631, 3654, 3661, 3683, 3706, 3713, 3735, 3758, 1531, 3765, 1316, 1529, 1519, 3787, 3805, 1495, 3794, 0, 3827, 0, 886, 1490, 3833, 3840, 1474, 3863, 0, 3869, 0, 3875, 0, 926, 1468, 3881, 3888, 1466, 3911, 0, 0, 3917, 0, 3923, 0, 1200, 1430, 3929, 3936, 1428, 3959, 0, 0, 3965, 0, 3971, 0, 1291, 1392, 3977, 3984, 1386, 4007, 0, 0, 1318, 4013, 1359, 3153, 4020, 1338, 4027, 3213, 4034, 4041, 4064, 4071, 1322, 1325, 1330, 1650, 1672, 1695, 1277, 1337, 1718, 3506, 1545, 1423, 3515, 1290, 4110, 4133, 1384, 1267, 4173, 1461, 1240, 4213, 1464, 1238, 4253, 1465, 1224, 4293, 1528, 1199, 1177, 4093, 4333, 1152, 4100, 0, 1148, 3402, 4156, 4356, 4163, 1108, 1111, 3465, 4196, 1110, 4203, 3530, 4236, 4379, 4243, 1051, 1057, 1586, 4275, 1052, 4109, 4282, 1036, 4316, 4250, 4323, 4402, 4425, 1026, 1028, 0, 1588, 4431, 994, 4330, 4438, 969, 4445, 4452, 4453, 4492, 4466, 960, 965, 0, 1609, 4472, 927, 4487, 4479, 925, 4515, 4488, 4528, 4535, 4558, 908, 913, 0, 4564, 0, 4570, 0, 1292, 884, 4576, 4583, 0, 4606, 0, 1629, 1651, 1673, 1716, 1717, 2471, 4597, 4598, 4627, 1631, 0, 863, 4667, 0, 4615, 4690, 0, 4650, 4713, 0, 4657, 4736, 0, 4759, 4766, 0, 4789, 4664, 4796, 4803, 4826, 838, 806, 808, 785, 4832, 0, 1394, 777, 734, 4838, 0, 4844, 0, 1433, 695, 624, 0, 4850, 0, 4856, 0, 1434, 611, 608, 0, 4862, 0, 4868, 0, 1756, 571, 570, 0, 4874, 0, 4880, 0, 1778, 569, 536, 0, 1634, 4886, 541, 4893, 4894, 529, 4907, 4901, 4915, 4941, 4922, 0, 511, 2201, 1741, 1763, 2011, 4964, 503, 4933, 0, 0, 0, 0, 0, 0, 4986, 0, 1800, 483, 469, 0, 4980, 4994, 416, 5001, 0, 1679, 5007, 374, 5014, 5020, 373, 5028, 0, 0, 1680, 5034, 371, 5041, 5042, 370, 5055, 0, 0, 1767, 5061, 333, 5068, 5069, 329, 5082, 0, 0, 1791, 5088, 318, 5095, 5096, 281, 5109, 0, 0, 5115, 0, 5121, 0, 1801, 273, 0, 2263, 2523, 1835, 1836, 0, 6592, 0, 0, 0, 0, 0, 0, 5128, 5142, 278, 5149, 0, 6592, 5134, 0, 6592, 0, 5155, 0, 6592, 0, 5167, 0, 6592, 0, 5173, 0, 6592, 0, 5179, 0, 6592, 0, 1792, 5185, 276, 5192, 5193, 236, 5206, 0, 1837, 2324, 1905, 0, 5212, 0, 1816, 5218, 235, 0, 1886, 5224, 201, 0, 1887, 5231, 199, 0, 1888, 5237, 134, 0, 1890, 5243, 95, 0, 5249, 0, 6592, 1906, 2011, 5255, 94, 0, 0, 0, 0, 0, 0, 2081, 5261, 65, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6592, 5278, 5286, 5290, 5293, 5296, 5299, 5302, 5305, 5308, 5311, 5314, 5317, 5320, 5323, 5326, 5329, 5332, 5336, 5340, 5343, 5346, 5349, 5352, 5355, 5359, 5363, 5366, 5370, 5372, 5375, 5378, 5381, 5384, 5387, 5391, 5393, 5397, 5402, 5406, 5409, 5412, 5415, 5418, 5421, 5424, 5427, 5431, 5435, 5439, 5444, 5448, 5451, 5454, 5458, 5460, 5463, 5466, 5469, 5472, 5475, 5479, 5481, 5484, 5487, 5491, 5493, 5496, 5501, 5506, 5510, 5514, 5518, 5523, 5527, 5530, 5533, 5536, 5539, 5542, 5545, 5548, 5552, 5556, 5560, 5564, 5569, 5573, 5577, 5581, 5584, 5589, 5593, 5598, 5602, 5606, 5610, 5613, 5616, 5619, 5623, 5625, 5630, 5634, 5637, 5640, 5643, 5646, 5650, 5652, 5655, 5658, 5662, 5664, 5667, 5670, 5673, 5677, 5679, 5682, 5685, 5690, 5694, 5699, 5703, 5707, 5711, 5716, 5720, 5723, 5726, 5729, 5732, 5735, 5738, 5741, 5745, 5749, 5753, 5757, 5762, 5766, 5770, 5774, 5777, 5782, 5786, 5791, 5795, 5799, 5803, 5806, 5809, 5814, 5818, 5823, 5827, 5831, 5835, 5838, 5841, 5844, 5848, 5850, 5855, 5859, 5862, 5865, 5868, 5871, 5874, 5877, 5881, 5883, 5886, 5889, 5892, 5896, 5898, 5901, 5904, 5907, 5910, 5914, 5916, 5919, 5922, 5925, 5928, 5932, 5934, 5937, 5940, 5943, 5948, 5952, 5957, 5961, 5965, 5969, 5974, 5978, 5981, 5984, 5987, 5990, 5993, 5996, 5999, 6002, 6006, 6010, 6014, 6018, 6023, 6027, 6031, 6035, 6038, 6043, 6047, 6052, 6056, 6060, 6064, 6067, 6070, 6075, 6079, 6084, 6088, 6092, 6096, 6099, 6102, 6107, 6111, 6116, 6120, 6124, 6128, 6131, 6134, 6137, 6141, 6143, 6146, 6151, 6155, 6158, 6161, 6164, 6167, 6170, 6173, 6177, 6181, 6184, 6188, 6191, 6194, 6198, 6200, 6203, 6206, 6210, 6212, 6215, 6218, 6221, 6225, 6227, 6230, 6233, 6236, 6240, 6242, 6245, 6248, 6251, 6255, 6257, 6260, 6263, 6268, 6272, 6277, 6281, 6285, 6289, 6294, 6298, 6301, 6304, 6307, 6310, 6313, 6316, 6319, 6323, 6325, 6328, 6332, 6337, 6340, 6343, 6348, 6352, 6357, 6360, 6363, 6366, 6371, 6375, 6380, 6383, 6386, 6389, 6394, 6398, 6403, 6406, 6409, 6412, 6417, 6421, 6426, 6429, 6432, 6435, 6438, 6442, 6444, 6449, 6453, 6456, 6459, 6462, 6465, 6468, 6471, 6475, 6480, 6483, 6486, 6489, 6492, 6495, 6498, 6501, 6504, 6507, 6510, 6513, 6518, 6522, 6525, 6528, 6531, 6535, 6539, 6543, 6547, 6551, 6554, 6557, 6561, 6564, 6567, 6570, 6573, 6576, 6580, 6583 } ; static yyconst short int yy_def[1690] = { 0, 1316, 1, 1316, 1316, 1316, 1316, 1316, 1316, 1317, 1316, 1316, 1316, 1316, 1316, 14, 1316, 1316, 1316, 1316, 14, 20, 1318, 20, 20, 20, 20, 20, 20, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 1316, 1316, 1316, 1319, 1316, 21, 21, 20, 1320, 50, 21, 21, 1316, 1316, 1316, 1316, 1316, 1316, 1318, 1318, 50, 63, 21, 21, 21, 21, 63, 21, 21, 21, 21, 21, 63, 21, 21, 21, 21, 63, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 1316, 1316, 21, 138, 50, 140, 1321, 1316, 54, 1316, 145, 1322, 21, 21, 21, 21, 21, 140, 21, 21, 21, 21, 21, 140, 21, 21, 21, 21, 21, 21, 159, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 1323, 21, 1324, 1325, 1316, 234, 1326, 1327, 1316, 1316, 1316, 239, 1328, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 293, 228, 229, 1329, 1316, 1330, 1331, 1316, 1316, 1316, 1316, 303, 1332, 1333, 1334, 1316, 1316, 310, 1316, 312, 1335, 1328, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 1324, 1336, 1316, 358, 1337, 1316, 1338, 1339, 1316, 364, 1326, 1340, 1341, 1316, 1316, 370, 1316, 372, 1342, 1332, 1316, 1316, 1343, 1344, 1316, 1316, 1316, 1316, 382, 1345, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 423, 355, 1346, 1316, 303, 1316, 305, 1347, 1348, 1316, 1316, 1316, 1316, 435, 1349, 1316, 1350, 1351, 1316, 1316, 1316, 1316, 444, 1352, 1353, 1316, 1343, 1316, 1354, 1316, 1316, 454, 1316, 456, 1355, 1345, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 1356, 1357, 1316, 496, 1358, 1316, 499, 1359, 1316, 1360, 1361, 1316, 505, 1362, 1363, 1316, 1316, 510, 1316, 512, 1364, 1349, 1365, 1316, 1350, 1316, 1366, 1316, 1316, 522, 1316, 524, 1367, 1352, 1316, 1368, 1316, 1369, 1370, 1316, 1316, 1316, 1316, 535, 1371, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 493, 1372, 1316, 1316, 1316, 564, 1316, 1316, 567, 1373, 1374, 1316, 1316, 1316, 1316, 574, 1375, 1316, 1376, 1377, 1316, 1316, 1316, 1316, 583, 1378, 1316, 1379, 1316, 1380, 1381, 1316, 1316, 1316, 1316, 594, 1382, 1383, 1316, 1368, 1384, 1316, 1385, 1316, 1386, 1316, 1316, 607, 1316, 609, 1387, 1388, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1390, 1391, 1316, 632, 1392, 1316, 635, 1393, 1316, 638, 1394, 1316, 1395, 1396, 1316, 644, 1397, 1398, 1316, 1316, 649, 1316, 651, 1399, 1400, 1401, 1316, 1402, 1316, 1403, 1316, 1316, 661, 1316, 663, 1404, 1405, 1406, 1316, 1407, 1408, 1316, 1409, 1316, 1410, 1316, 1316, 676, 1316, 678, 1411, 1412, 1413, 1316, 1414, 1316, 1415, 1416, 1316, 1316, 1316, 1316, 690, 1417, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1419, 1316, 1316, 1316, 709, 1316, 1316, 712, 1316, 1316, 715, 1420, 1421, 1316, 1316, 1316, 1316, 722, 1422, 1316, 1423, 1424, 1316, 1316, 1316, 1316, 731, 1425, 1316, 1426, 1316, 1427, 1428, 1316, 1316, 1316, 1316, 742, 1429, 1430, 1316, 1431, 1316, 1432, 1433, 1316, 1316, 1316, 1316, 754, 1434, 1435, 1436, 1316, 1437, 1438, 1316, 1439, 1316, 1440, 1316, 1316, 768, 1316, 770, 1441, 1442, 1443, 1443, 1443, 1443, 1443, 1443, 1443, 1443, 1443, 1443, 1443, 1444, 1445, 1316, 787, 1446, 1316, 790, 1447, 1316, 793, 1448, 1316, 796, 1449, 1316, 1450, 1316, 1316, 802, 1451, 1452, 1316, 1316, 807, 1316, 809, 1453, 1454, 1455, 1316, 1456, 1316, 1457, 1316, 1316, 819, 1316, 821, 1458, 1459, 1460, 1316, 1461, 1462, 1316, 1463, 1316, 1464, 1316, 1316, 834, 1316, 836, 1465, 1466, 1467, 1468, 1316, 1469, 1470, 1316, 1471, 1316, 1472, 1316, 1316, 850, 1316, 852, 1473, 1474, 1475, 1316, 1476, 1316, 1477, 1478, 1316, 1316, 1316, 1316, 864, 1479, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1481, 1316, 1316, 1316, 882, 1316, 1316, 885, 1316, 1316, 888, 1316, 1316, 891, 1482, 1316, 895, 1483, 1484, 1316, 1316, 1485, 900, 1486, 1316, 1487, 1488, 1316, 1316, 1316, 1489, 909, 1490, 1316, 1491, 1316, 1492, 1493, 1316, 1316, 1316, 1494, 920, 1495, 1496, 1316, 1497, 1316, 1498, 1499, 1316, 1316, 1316, 1500, 932, 1501, 1502, 1316, 1503, 1316, 1504, 1505, 1316, 1316, 1316, 1506, 944, 1507, 1508, 1509, 1316, 1510, 1511, 1316, 1512, 1316, 1513, 1316, 1316, 958, 1316, 960, 1514, 1515, 1516, 1516, 1516, 1516, 1516, 1516, 1516, 1516, 1516, 1516, 1517, 1316, 1316, 976, 1518, 1316, 979, 1519, 1316, 982, 1520, 1316, 985, 1521, 1316, 988, 1522, 1316, 1316, 1316, 1523, 993, 1524, 1525, 1526, 1316, 1316, 1000, 1527, 1528, 1529, 1316, 1530, 1316, 1531, 1316, 1316, 1010, 1532, 1533, 1534, 1316, 1535, 1536, 1316, 1537, 1316, 1538, 1316, 1316, 1023, 1539, 1540, 1541, 1542, 1316, 1543, 1544, 1316, 1545, 1316, 1546, 1316, 1316, 1037, 1547, 1548, 1549, 1550, 1316, 1551, 1552, 1316, 1553, 1316, 1554, 1316, 1316, 1051, 1555, 1556, 1557, 1316, 1558, 1316, 1559, 1560, 1316, 1316, 1316, 1561, 1063, 1562, 1563, 1563, 1563, 1563, 1563, 1563, 1563, 1563, 1316, 1075, 1564, 1565, 1316, 1566, 1079, 1316, 1567, 1082, 1316, 1568, 1085, 1316, 1569, 1088, 1316, 1570, 1091, 1571, 1316, 1316, 1096, 1572, 1573, 1574, 1575, 1316, 1576, 1577, 1316, 1578, 1316, 1579, 1316, 1580, 1581, 1316, 1582, 1583, 1316, 1584, 1316, 1585, 1586, 1316, 1587, 1588, 1316, 1589, 1316, 1590, 1591, 1316, 1592, 1593, 1316, 1594, 1316, 1595, 1596, 1316, 1597, 1598, 1599, 1316, 1600, 1601, 1316, 1602, 1316, 1603, 1316, 1316, 1148, 1604, 1605, 1606, 1606, 1606, 1606, 1316, 1607, 1156, 1608, 1609, 1610, 1611, 1612, 1613, 1316, 1614, 1615, 1316, 1616, 1617, 1618, 1316, 1619, 1316, 1620, 1621, 1316, 1622, 1623, 1316, 1624, 1316, 1625, 1626, 1627, 1316, 1628, 1629, 1316, 1630, 1316, 1631, 1632, 1633, 1316, 1634, 1635, 1316, 1636, 1316, 1637, 1638, 1639, 1316, 1640, 1641, 1316, 1642, 1316, 1643, 1644, 1316, 1645, 1316, 1646, 1647, 1316, 1648, 1649, 1649, 1649, 1649, 1650, 1316, 1651, 1652, 1653, 1654, 1655, 1656, 1657, 1316, 1658, 1316, 1659, 1316, 1316, 1660, 1316, 1661, 1316, 1662, 1316, 1663, 1316, 1664, 1316, 1665, 1316, 1666, 1316, 1667, 1316, 1668, 1316, 1644, 1669, 1316, 1645, 1670, 1316, 1646, 1316, 1671, 1649, 1649, 1649, 1672, 1316, 1673, 1674, 1316, 1660, 1661, 1675, 1316, 1662, 1663, 1676, 1316, 1664, 1665, 1677, 1316, 1666, 1667, 1678, 1316, 1668, 1679, 1316, 1680, 1316, 1649, 1681, 1316, 1673, 1682, 1683, 1684, 1685, 1686, 1679, 1687, 1316, 1680, 1688, 1682, 1683, 1684, 1685, 1686, 1689, 1688, 1689, 0, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316 } ; static yyconst short int yy_nxt[6645] = { 0, 4, 5, 6, 7, 8, 9, 10, 11, 12, 11, 13, 14, 15, 15, 15, 15, 15, 16, 17, 18, 19, 20, 21, 21, 11, 22, 13, 23, 24, 25, 26, 27, 28, 29, 30, 31, 21, 32, 33, 34, 35, 36, 21, 37, 38, 39, 40, 41, 42, 21, 21, 43, 44, 44, 177, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 69, 44, 44, 44, 44, 44, 44, 53, 56, 57, 1291, 44, 44, 44, 70, 44, 59, 60, 53, 44, 149, 71, 178, 44, 48, 49, 50, 50, 50, 50, 50, 50, 51, 53, 78, 79, 52, 53, 54, 1269, 1253, 48, 52, 52, 52, 52, 52, 52, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 54, 53, 44, 104, 63, 44, 64, 44, 81, 172, 44, 65, 105, 129, 173, 1249, 66, 53, 61, 55, 67, 61, 68, 61, 82, 128, 61, 44, 53, 52, 52, 52, 52, 52, 52, 61, 75, 72, 99, 129, 73, 53, 100, 61, 74, 184, 76, 106, 121, 77, 185, 101, 102, 53, 122, 344, 123, 103, 124, 107, 345, 108, 125, 109, 126, 127, 110, 53, 53, 53, 53, 53, 53, 53, 1316, 182, 92, 93, 53, 53, 1245, 183, 1241, 153, 53, 53, 53, 53, 53, 53, 84, 94, 159, 85, 86, 95, 87, 53, 88, 96, 89, 97, 90, 116, 111, 91, 53, 117, 98, 112, 113, 131, 114, 115, 166, 118, 1237, 1214, 210, 132, 119, 44, 120, 133, 44, 134, 44, 53, 162, 44, 138, 139, 139, 139, 139, 139, 211, 1316, 44, 53, 141, 141, 141, 141, 141, 141, 44, 49, 140, 140, 140, 140, 140, 140, 163, 289, 1316, 1212, 141, 1165, 164, 1064, 1133, 1316, 141, 141, 141, 141, 141, 141, 144, 144, 144, 144, 144, 144, 61, 48, 290, 61, 144, 61, 1316, 204, 61, 179, 144, 144, 144, 144, 144, 144, 44, 61, 48, 44, 205, 44, 48, 1131, 44, 61, 216, 145, 146, 146, 146, 146, 146, 44, 1125, 180, 217, 147, 1123, 48, 181, 44, 701, 147, 147, 147, 147, 147, 147, 53, 141, 141, 141, 141, 141, 141, 213, 53, 231, 231, 231, 231, 231, 231, 271, 214, 53, 231, 231, 231, 231, 231, 231, 238, 302, 1117, 1115, 272, 1109, 1107, 240, 429, 148, 227, 139, 139, 139, 139, 139, 139, 293, 294, 294, 294, 294, 294, 228, 308, 309, 309, 309, 309, 309, 1316, 311, 311, 311, 311, 311, 311, 53, 368, 369, 369, 369, 369, 369, 377, 48, 407, 48, 1102, 228, 229, 229, 229, 229, 229, 229, 230, 378, 1316, 408, 231, 1316, 48, 53, 48, 702, 231, 231, 231, 231, 231, 231, 234, 235, 235, 235, 235, 235, 236, 381, 1316, 695, 237, 378, 1316, 48, 383, 1316, 237, 237, 237, 237, 237, 237, 238, 239, 239, 239, 239, 239, 239, 240, 48, 704, 347, 241, 1316, 242, 366, 348, 324, 241, 241, 241, 241, 241, 241, 325, 349, 1316, 350, 351, 1157, 352, 423, 424, 424, 424, 424, 424, 326, 439, 468, 242, 53, 231, 231, 231, 231, 231, 231, 469, 1224, 1062, 440, 1316, 327, 1316, 371, 371, 371, 371, 371, 371, 377, 309, 309, 309, 309, 309, 309, 1058, 471, 251, 295, 295, 295, 295, 295, 295, 440, 472, 434, 1056, 295, 366, 53, 1316, 1316, 565, 295, 295, 295, 295, 295, 295, 49, 296, 296, 296, 296, 296, 296, 230, 302, 303, 303, 303, 303, 303, 303, 304, 53, 1316, 1316, 305, 1316, 306, 1092, 366, 1089, 305, 305, 305, 305, 305, 305, 1316, 380, 380, 380, 380, 380, 380, 439, 369, 369, 369, 369, 369, 369, 528, 1316, 306, 238, 310, 310, 310, 310, 310, 310, 240, 1316, 1316, 529, 311, 1316, 366, 48, 48, 1086, 311, 311, 311, 311, 311, 311, 312, 313, 313, 313, 313, 313, 366, 443, 48, 48, 314, 1316, 1316, 529, 568, 1316, 314, 314, 314, 314, 314, 314, 354, 294, 294, 294, 294, 294, 294, 448, 449, 449, 449, 449, 449, 355, 1316, 442, 442, 442, 442, 442, 442, 452, 453, 453, 453, 453, 453, 1316, 455, 455, 455, 455, 455, 455, 530, 578, 587, 48, 589, 355, 358, 359, 359, 359, 359, 359, 534, 531, 579, 588, 360, 590, 48, 536, 48, 1083, 360, 360, 360, 360, 360, 360, 364, 365, 365, 365, 365, 365, 366, 48, 682, 1316, 367, 531, 579, 588, 694, 590, 367, 367, 367, 367, 367, 367, 302, 370, 370, 370, 370, 370, 370, 304, 1316, 573, 366, 371, 682, 1316, 48, 48, 710, 371, 371, 371, 371, 371, 371, 372, 373, 373, 373, 373, 373, 366, 582, 48, 48, 374, 1316, 705, 700, 713, 48, 374, 374, 374, 374, 374, 374, 238, 379, 379, 379, 379, 379, 379, 240, 1080, 1316, 48, 380, 1316, 1316, 48, 774, 366, 380, 380, 380, 380, 380, 380, 381, 382, 382, 382, 382, 382, 382, 383, 48, 992, 1316, 384, 1316, 385, 366, 1316, 1316, 384, 384, 384, 384, 384, 384, 508, 509, 509, 509, 509, 509, 1316, 511, 511, 511, 511, 511, 511, 1316, 1316, 593, 385, 392, 746, 1316, 856, 393, 716, 366, 394, 48, 683, 395, 685, 396, 397, 398, 399, 425, 425, 425, 425, 425, 425, 684, 1316, 686, 48, 425, 746, 1316, 856, 775, 1157, 425, 425, 425, 425, 425, 425, 302, 428, 428, 428, 428, 428, 428, 429, 689, 721, 684, 430, 686, 306, 865, 691, 883, 430, 430, 430, 430, 430, 430, 516, 517, 517, 517, 517, 517, 520, 521, 521, 521, 521, 521, 48, 943, 48, 366, 306, 434, 435, 435, 435, 435, 435, 435, 436, 939, 730, 937, 437, 48, 438, 48, 783, 886, 437, 437, 437, 437, 437, 437, 1316, 523, 523, 523, 523, 523, 523, 528, 449, 449, 449, 449, 449, 449, 48, 48, 438, 302, 441, 441, 441, 441, 441, 441, 429, 931, 1316, 366, 442, 927, 1316, 48, 48, 48, 442, 442, 442, 442, 442, 442, 443, 444, 444, 444, 444, 444, 444, 445, 696, 697, 48, 446, 1316, 447, 925, 776, 1316, 446, 446, 446, 446, 446, 446, 238, 451, 451, 451, 451, 451, 451, 530, 453, 453, 453, 453, 453, 453, 48, 48, 447, 381, 454, 454, 454, 454, 454, 454, 383, 919, 1316, 1316, 455, 48, 366, 48, 48, 915, 455, 455, 455, 455, 455, 455, 456, 457, 457, 457, 457, 457, 48, 777, 699, 913, 458, 778, 1316, 1316, 908, 366, 458, 458, 458, 458, 458, 458, 424, 424, 424, 424, 424, 424, 598, 599, 599, 599, 599, 599, 493, 1316, 533, 533, 533, 533, 533, 533, 578, 509, 509, 509, 509, 509, 509, 1316, 581, 581, 581, 581, 581, 581, 726, 735, 48, 48, 493, 496, 497, 497, 497, 497, 497, 904, 899, 727, 736, 498, 366, 48, 48, 48, 48, 498, 498, 498, 498, 498, 498, 499, 500, 500, 500, 500, 500, 706, 48, 48, 779, 501, 873, 727, 736, 48, 879, 501, 501, 501, 501, 501, 501, 505, 506, 506, 506, 506, 506, 366, 366, 1316, 48, 507, 1099, 1316, 48, 780, 48, 507, 507, 507, 507, 507, 507, 434, 510, 510, 510, 510, 510, 510, 436, 48, 1316, 48, 511, 1316, 781, 975, 877, 1316, 511, 511, 511, 511, 511, 511, 512, 513, 513, 513, 513, 513, 366, 741, 1316, 924, 514, 1316, 1316, 1092, 889, 48, 514, 514, 514, 514, 514, 514, 443, 522, 522, 522, 522, 522, 522, 445, 936, 1316, 48, 523, 1316, 924, 48, 1316, 1089, 523, 523, 523, 523, 523, 523, 524, 525, 525, 525, 525, 525, 366, 1086, 48, 1083, 526, 936, 1316, 48, 48, 48, 526, 526, 526, 526, 526, 526, 381, 532, 532, 532, 532, 532, 532, 383, 48, 48, 48, 533, 969, 972, 1080, 973, 48, 533, 533, 533, 533, 533, 533, 534, 535, 535, 535, 535, 535, 535, 536, 753, 863, 48, 537, 1070, 538, 975, 892, 865, 537, 537, 537, 537, 537, 537, 587, 517, 517, 517, 517, 517, 517, 302, 519, 519, 519, 519, 519, 519, 48, 737, 538, 561, 561, 561, 561, 561, 561, 1316, 863, 1055, 1064, 561, 738, 1316, 48, 48, 859, 561, 561, 561, 561, 561, 561, 434, 564, 564, 564, 564, 564, 564, 565, 48, 872, 1316, 566, 1055, 438, 857, 738, 1316, 566, 566, 566, 566, 566, 566, 589, 521, 521, 521, 521, 521, 521, 1316, 592, 592, 592, 592, 592, 592, 747, 48, 438, 443, 567, 567, 567, 567, 567, 567, 568, 366, 899, 748, 569, 1316, 447, 892, 48, 1080, 569, 569, 569, 569, 569, 569, 601, 602, 602, 602, 602, 602, 605, 606, 606, 606, 606, 606, 971, 748, 48, 1316, 447, 573, 574, 574, 574, 574, 574, 574, 575, 908, 919, 366, 576, 889, 577, 48, 1083, 1086, 576, 576, 576, 576, 576, 576, 1316, 608, 608, 608, 608, 608, 608, 1316, 511, 511, 511, 511, 511, 511, 48, 48, 577, 434, 580, 580, 580, 580, 580, 580, 565, 366, 1316, 886, 581, 1316, 1316, 48, 48, 366, 581, 581, 581, 581, 581, 581, 582, 583, 583, 583, 583, 583, 583, 584, 876, 883, 784, 585, 1316, 586, 366, 1316, 1316, 585, 585, 585, 585, 585, 585, 1316, 523, 523, 523, 523, 523, 523, 647, 648, 648, 648, 648, 648, 749, 48, 994, 586, 443, 591, 591, 591, 591, 591, 591, 568, 366, 750, 975, 592, 975, 1316, 48, 874, 48, 592, 592, 592, 592, 592, 592, 593, 594, 594, 594, 594, 594, 594, 595, 691, 875, 48, 596, 750, 597, 753, 1073, 1316, 596, 596, 596, 596, 596, 596, 1316, 650, 650, 650, 650, 650, 650, 655, 656, 656, 656, 656, 656, 857, 48, 48, 597, 534, 607, 607, 607, 607, 607, 607, 536, 1114, 858, 1122, 608, 945, 749, 48, 48, 747, 608, 608, 608, 608, 608, 608, 609, 610, 610, 610, 610, 610, 782, 868, 1130, 741, 611, 1114, 858, 1122, 48, 859, 611, 611, 611, 611, 611, 611, 632, 633, 633, 633, 633, 633, 860, 933, 1316, 48, 634, 1211, 1130, 48, 48, 737, 634, 634, 634, 634, 634, 634, 434, 510, 510, 510, 510, 510, 510, 565, 48, 48, 860, 511, 1316, 48, 48, 1211, 904, 511, 511, 511, 511, 511, 511, 635, 636, 636, 636, 636, 636, 905, 48, 48, 1067, 637, 1240, 1244, 48, 735, 730, 637, 637, 637, 637, 637, 637, 443, 522, 522, 522, 522, 522, 522, 568, 48, 1068, 905, 523, 48, 48, 48, 1240, 1244, 523, 523, 523, 523, 523, 523, 638, 639, 639, 639, 639, 639, 48, 48, 48, 1069, 640, 921, 1152, 726, 48, 721, 640, 640, 640, 640, 640, 640, 644, 645, 645, 645, 645, 645, 366, 1071, 931, 48, 646, 910, 1220, 901, 48, 1089, 646, 646, 646, 646, 646, 646, 573, 649, 649, 649, 649, 649, 649, 575, 943, 48, 1248, 650, 1221, 801, 786, 1092, 892, 650, 650, 650, 650, 650, 650, 651, 652, 652, 652, 652, 652, 366, 992, 1062, 889, 653, 1252, 1290, 1248, 1157, 1064, 653, 653, 653, 653, 653, 653, 659, 660, 660, 660, 660, 660, 582, 661, 661, 661, 661, 661, 661, 584, 1298, 1252, 1290, 662, 886, 48, 48, 48, 883, 662, 662, 662, 662, 662, 662, 663, 664, 664, 664, 664, 664, 366, 48, 48, 48, 665, 1298, 881, 786, 689, 1267, 665, 665, 665, 665, 665, 665, 1316, 662, 662, 662, 662, 662, 662, 667, 668, 668, 668, 668, 668, 670, 671, 671, 671, 671, 671, 674, 675, 675, 675, 675, 675, 593, 676, 676, 676, 676, 676, 676, 595, 1299, 1300, 1301, 677, 1302, 48, 48, 865, 685, 677, 677, 677, 677, 677, 677, 678, 679, 679, 679, 679, 679, 366, 48, 48, 683, 680, 1299, 1300, 1301, 716, 1302, 680, 680, 680, 680, 680, 680, 1316, 677, 677, 677, 677, 677, 677, 599, 599, 599, 599, 599, 599, 683, 602, 602, 602, 602, 602, 602, 381, 604, 604, 604, 604, 604, 604, 685, 606, 606, 606, 606, 606, 606, 534, 687, 687, 687, 687, 687, 687, 536, 713, 710, 801, 688, 786, 786, 536, 593, 755, 688, 688, 688, 688, 688, 688, 1316, 688, 688, 688, 688, 688, 688, 689, 690, 690, 690, 690, 690, 690, 691, 48, 48, 48, 692, 48, 693, 589, 913, 587, 692, 692, 692, 692, 692, 692, 48, 1307, 48, 48, 48, 914, 48, 726, 648, 648, 648, 648, 648, 648, 698, 703, 693, 48, 287, 573, 709, 709, 709, 709, 709, 709, 710, 1307, 1222, 582, 711, 914, 577, 743, 878, 578, 711, 711, 711, 711, 711, 711, 1316, 729, 729, 729, 729, 729, 729, 735, 656, 656, 656, 656, 656, 656, 573, 732, 577, 582, 712, 712, 712, 712, 712, 712, 713, 723, 720, 643, 714, 1313, 586, 631, 716, 713, 714, 714, 714, 714, 714, 714, 434, 658, 658, 658, 658, 658, 658, 737, 660, 660, 660, 660, 660, 660, 915, 1313, 586, 593, 715, 715, 715, 715, 715, 715, 716, 710, 708, 916, 717, 631, 597, 534, 691, 530, 717, 717, 717, 717, 717, 717, 1316, 740, 740, 740, 740, 740, 740, 668, 668, 668, 668, 668, 668, 916, 528, 568, 597, 721, 722, 722, 722, 722, 722, 722, 723, 565, 643, 631, 724, 631, 725, 629, 628, 627, 724, 724, 724, 724, 724, 724, 747, 671, 671, 671, 671, 671, 671, 443, 673, 673, 673, 673, 673, 673, 48, 48, 725, 573, 728, 728, 728, 728, 728, 728, 710, 626, 625, 624, 729, 623, 622, 48, 48, 621, 729, 729, 729, 729, 729, 729, 730, 731, 731, 731, 731, 731, 731, 732, 620, 1219, 968, 733, 619, 734, 618, 617, 616, 733, 733, 733, 733, 733, 733, 749, 675, 675, 675, 675, 675, 675, 1316, 752, 752, 752, 752, 752, 752, 48, 615, 734, 582, 739, 739, 739, 739, 739, 739, 713, 614, 613, 383, 740, 443, 595, 48, 439, 434, 740, 740, 740, 740, 740, 740, 741, 742, 742, 742, 742, 742, 742, 743, 584, 575, 1265, 744, 572, 745, 504, 495, 568, 744, 744, 744, 744, 744, 744, 759, 760, 760, 760, 760, 760, 762, 763, 763, 763, 763, 763, 48, 925, 565, 563, 745, 593, 751, 751, 751, 751, 751, 751, 716, 495, 926, 560, 752, 48, 559, 558, 557, 556, 752, 752, 752, 752, 752, 752, 753, 754, 754, 754, 754, 754, 754, 755, 1294, 555, 554, 756, 926, 757, 553, 552, 551, 756, 756, 756, 756, 756, 756, 766, 767, 767, 767, 767, 767, 1316, 769, 769, 769, 769, 769, 769, 927, 48, 48, 757, 689, 768, 768, 768, 768, 768, 768, 691, 550, 928, 549, 769, 548, 547, 48, 48, 546, 769, 769, 769, 769, 769, 769, 770, 771, 771, 771, 771, 771, 869, 870, 871, 545, 772, 544, 928, 543, 542, 937, 772, 772, 772, 772, 772, 772, 787, 788, 788, 788, 788, 788, 938, 541, 540, 539, 789, 381, 536, 377, 429, 504, 789, 789, 789, 789, 789, 789, 573, 649, 649, 649, 649, 649, 649, 710, 495, 429, 938, 650, 48, 429, 495, 354, 492, 650, 650, 650, 650, 650, 650, 790, 791, 791, 791, 791, 791, 48, 491, 490, 489, 792, 488, 487, 486, 485, 1153, 792, 792, 792, 792, 792, 792, 1316, 650, 650, 650, 650, 650, 650, 582, 661, 661, 661, 661, 661, 661, 713, 284, 207, 484, 662, 48, 483, 482, 481, 480, 662, 662, 662, 662, 662, 662, 793, 794, 794, 794, 794, 794, 48, 479, 478, 477, 795, 476, 475, 474, 473, 1266, 795, 795, 795, 795, 795, 795, 1316, 662, 662, 662, 662, 662, 662, 593, 676, 676, 676, 676, 676, 676, 716, 470, 467, 466, 677, 465, 464, 463, 462, 461, 677, 677, 677, 677, 677, 677, 796, 797, 797, 797, 797, 797, 460, 240, 366, 302, 798, 445, 436, 366, 433, 363, 798, 798, 798, 798, 798, 798, 1316, 677, 677, 677, 677, 677, 677, 802, 803, 803, 803, 803, 803, 366, 357, 429, 427, 804, 357, 422, 421, 420, 419, 804, 804, 804, 804, 804, 804, 805, 806, 806, 806, 806, 806, 721, 807, 807, 807, 807, 807, 807, 723, 418, 417, 416, 808, 415, 414, 413, 412, 411, 808, 808, 808, 808, 808, 808, 809, 810, 810, 810, 810, 810, 366, 410, 409, 406, 811, 405, 404, 403, 402, 107, 811, 811, 811, 811, 811, 811, 1316, 808, 808, 808, 808, 808, 808, 813, 814, 814, 814, 814, 814, 817, 818, 818, 818, 818, 818, 730, 819, 819, 819, 819, 819, 819, 732, 401, 400, 391, 820, 390, 389, 388, 387, 386, 820, 820, 820, 820, 820, 820, 821, 822, 822, 822, 822, 822, 366, 238, 383, 366, 823, 363, 357, 357, 1316, 227, 823, 823, 823, 823, 823, 823, 1316, 820, 820, 820, 820, 820, 820, 825, 826, 826, 826, 826, 826, 828, 829, 829, 829, 829, 829, 832, 833, 833, 833, 833, 833, 741, 834, 834, 834, 834, 834, 834, 743, 353, 346, 343, 835, 342, 341, 340, 339, 338, 835, 835, 835, 835, 835, 835, 836, 837, 837, 837, 837, 837, 366, 337, 336, 335, 838, 334, 333, 332, 331, 330, 838, 838, 838, 838, 838, 838, 1316, 835, 835, 835, 835, 835, 835, 841, 842, 842, 842, 842, 842, 844, 845, 845, 845, 845, 845, 848, 849, 849, 849, 849, 849, 753, 850, 850, 850, 850, 850, 850, 755, 329, 328, 323, 851, 322, 201, 321, 320, 319, 851, 851, 851, 851, 851, 851, 852, 853, 853, 853, 853, 853, 366, 318, 317, 316, 854, 304, 236, 301, 233, 230, 854, 854, 854, 854, 854, 854, 1316, 851, 851, 851, 851, 851, 851, 760, 760, 760, 760, 760, 760, 857, 763, 763, 763, 763, 763, 763, 534, 765, 765, 765, 765, 765, 765, 859, 767, 767, 767, 767, 767, 767, 689, 861, 861, 861, 861, 861, 861, 691, 298, 129, 292, 862, 291, 288, 287, 201, 286, 862, 862, 862, 862, 862, 862, 1316, 862, 862, 862, 862, 862, 862, 863, 864, 864, 864, 864, 864, 864, 865, 285, 284, 283, 866, 282, 867, 281, 280, 279, 866, 866, 866, 866, 866, 866, 904, 806, 806, 806, 806, 806, 806, 1316, 907, 907, 907, 907, 907, 907, 278, 277, 867, 721, 882, 882, 882, 882, 882, 882, 883, 276, 275, 274, 884, 273, 725, 270, 269, 201, 884, 884, 884, 884, 884, 884, 913, 814, 814, 814, 814, 814, 814, 573, 816, 816, 816, 816, 816, 816, 268, 267, 725, 730, 885, 885, 885, 885, 885, 885, 886, 266, 265, 264, 887, 263, 734, 262, 261, 260, 887, 887, 887, 887, 887, 887, 915, 818, 818, 818, 818, 818, 818, 1316, 918, 918, 918, 918, 918, 918, 939, 259, 734, 741, 888, 888, 888, 888, 888, 888, 889, 258, 257, 940, 890, 256, 745, 255, 254, 253, 890, 890, 890, 890, 890, 890, 826, 826, 826, 826, 826, 826, 925, 829, 829, 829, 829, 829, 829, 940, 252, 250, 745, 753, 891, 891, 891, 891, 891, 891, 892, 249, 248, 247, 893, 246, 757, 245, 244, 243, 893, 893, 893, 893, 893, 893, 582, 831, 831, 831, 831, 831, 831, 927, 833, 833, 833, 833, 833, 833, 240, 1056, 757, 895, 896, 896, 896, 896, 896, 897, 49, 233, 226, 898, 1057, 225, 224, 223, 222, 898, 898, 898, 898, 898, 898, 899, 900, 900, 900, 900, 900, 900, 901, 221, 220, 219, 902, 218, 903, 215, 1057, 212, 902, 902, 902, 902, 902, 902, 1316, 930, 930, 930, 930, 930, 930, 842, 842, 842, 842, 842, 842, 1058, 209, 208, 903, 721, 906, 906, 906, 906, 906, 906, 883, 207, 1059, 206, 907, 203, 202, 201, 200, 199, 907, 907, 907, 907, 907, 907, 908, 909, 909, 909, 909, 909, 909, 910, 198, 197, 196, 911, 1059, 912, 195, 194, 193, 911, 911, 911, 911, 911, 911, 937, 845, 845, 845, 845, 845, 845, 593, 847, 847, 847, 847, 847, 847, 192, 191, 912, 730, 917, 917, 917, 917, 917, 917, 886, 190, 189, 188, 918, 187, 186, 176, 175, 174, 918, 918, 918, 918, 918, 918, 919, 920, 920, 920, 920, 920, 920, 921, 171, 170, 169, 922, 168, 923, 167, 165, 161, 922, 922, 922, 922, 922, 922, 939, 849, 849, 849, 849, 849, 849, 1316, 942, 942, 942, 942, 942, 942, 160, 158, 923, 741, 929, 929, 929, 929, 929, 929, 889, 157, 156, 155, 930, 154, 152, 151, 150, 143, 930, 930, 930, 930, 930, 930, 931, 932, 932, 932, 932, 932, 932, 933, 136, 135, 130, 934, 83, 935, 80, 58, 47, 934, 934, 934, 934, 934, 934, 949, 950, 950, 950, 950, 950, 952, 953, 953, 953, 953, 953, 45, 1102, 1316, 1316, 935, 753, 941, 941, 941, 941, 941, 941, 892, 1316, 1103, 1316, 942, 1316, 1316, 1316, 1316, 1316, 942, 942, 942, 942, 942, 942, 943, 944, 944, 944, 944, 944, 944, 945, 1316, 1316, 1316, 946, 1103, 947, 1316, 1316, 1316, 946, 946, 946, 946, 946, 946, 956, 957, 957, 957, 957, 957, 1316, 959, 959, 959, 959, 959, 959, 1107, 1316, 1316, 947, 863, 958, 958, 958, 958, 958, 958, 865, 1316, 1108, 1316, 959, 1316, 1316, 1316, 1316, 1316, 959, 959, 959, 959, 959, 959, 960, 961, 961, 961, 961, 961, 48, 48, 48, 48, 962, 48, 1108, 48, 1316, 1316, 962, 962, 962, 962, 962, 962, 48, 48, 48, 48, 48, 1316, 48, 1316, 48, 1316, 1316, 1316, 964, 965, 966, 1316, 1109, 48, 967, 1072, 970, 976, 977, 977, 977, 977, 977, 1316, 1316, 1110, 1316, 978, 1074, 1316, 1316, 1316, 1316, 978, 978, 978, 978, 978, 978, 721, 807, 807, 807, 807, 807, 807, 883, 1316, 1316, 1316, 808, 1110, 1316, 1316, 1316, 1316, 808, 808, 808, 808, 808, 808, 979, 980, 980, 980, 980, 980, 1316, 1316, 1316, 1316, 981, 1316, 1316, 1316, 1316, 1316, 981, 981, 981, 981, 981, 981, 1316, 808, 808, 808, 808, 808, 808, 730, 819, 819, 819, 819, 819, 819, 886, 1316, 1316, 1316, 820, 1316, 1316, 1316, 1316, 1316, 820, 820, 820, 820, 820, 820, 982, 983, 983, 983, 983, 983, 1316, 1316, 1316, 1316, 984, 1316, 1316, 1316, 1316, 1316, 984, 984, 984, 984, 984, 984, 1316, 820, 820, 820, 820, 820, 820, 741, 834, 834, 834, 834, 834, 834, 889, 1316, 1316, 1316, 835, 1316, 1316, 1316, 1316, 1316, 835, 835, 835, 835, 835, 835, 985, 986, 986, 986, 986, 986, 1316, 1316, 1316, 1316, 987, 1316, 1316, 1316, 1316, 1316, 987, 987, 987, 987, 987, 987, 1316, 835, 835, 835, 835, 835, 835, 753, 850, 850, 850, 850, 850, 850, 892, 1316, 1316, 1316, 851, 1316, 1316, 1316, 1316, 1316, 851, 851, 851, 851, 851, 851, 988, 989, 989, 989, 989, 989, 1316, 1316, 1316, 1316, 990, 1316, 1316, 1316, 1316, 1316, 990, 990, 990, 990, 990, 990, 1316, 851, 851, 851, 851, 851, 851, 992, 993, 993, 993, 993, 993, 993, 994, 1316, 1316, 1316, 995, 1316, 996, 1316, 1316, 1316, 995, 995, 995, 995, 995, 995, 998, 999, 999, 999, 999, 999, 1316, 1001, 1001, 1001, 1001, 1001, 1001, 1316, 1316, 1316, 996, 899, 1000, 1000, 1000, 1000, 1000, 1000, 901, 1316, 1316, 1316, 1001, 1316, 1316, 1316, 1316, 1316, 1001, 1001, 1001, 1001, 1001, 1001, 1004, 1005, 1005, 1005, 1005, 1005, 1008, 1009, 1009, 1009, 1009, 1009, 908, 1010, 1010, 1010, 1010, 1010, 1010, 910, 1316, 1316, 1316, 1011, 1316, 1316, 1316, 1316, 1316, 1011, 1011, 1011, 1011, 1011, 1011, 1316, 1011, 1011, 1011, 1011, 1011, 1011, 1014, 1015, 1015, 1015, 1015, 1015, 1017, 1018, 1018, 1018, 1018, 1018, 1021, 1022, 1022, 1022, 1022, 1022, 919, 1023, 1023, 1023, 1023, 1023, 1023, 921, 1316, 1316, 1316, 1024, 1316, 1316, 1316, 1316, 1316, 1024, 1024, 1024, 1024, 1024, 1024, 1316, 1024, 1024, 1024, 1024, 1024, 1024, 1028, 1029, 1029, 1029, 1029, 1029, 1031, 1032, 1032, 1032, 1032, 1032, 1035, 1036, 1036, 1036, 1036, 1036, 931, 1037, 1037, 1037, 1037, 1037, 1037, 933, 1316, 1316, 1316, 1038, 1316, 1316, 1316, 1316, 1316, 1038, 1038, 1038, 1038, 1038, 1038, 1316, 1038, 1038, 1038, 1038, 1038, 1038, 1042, 1043, 1043, 1043, 1043, 1043, 1045, 1046, 1046, 1046, 1046, 1046, 1049, 1050, 1050, 1050, 1050, 1050, 943, 1051, 1051, 1051, 1051, 1051, 1051, 945, 1316, 1316, 1316, 1052, 1316, 1316, 1316, 1316, 1316, 1052, 1052, 1052, 1052, 1052, 1052, 1316, 1052, 1052, 1052, 1052, 1052, 1052, 950, 950, 950, 950, 950, 950, 1056, 953, 953, 953, 953, 953, 953, 689, 955, 955, 955, 955, 955, 955, 1058, 957, 957, 957, 957, 957, 957, 863, 1060, 1060, 1060, 1060, 1060, 1060, 865, 1316, 1316, 1316, 1061, 1316, 1316, 1316, 1316, 1316, 1061, 1061, 1061, 1061, 1061, 1061, 1316, 1061, 1061, 1061, 1061, 1061, 1061, 1062, 1063, 1063, 1063, 1063, 1063, 1063, 1064, 1316, 1316, 1316, 1065, 1316, 1066, 1316, 1316, 1316, 1065, 1065, 1065, 1065, 1065, 1065, 1094, 1095, 1095, 1095, 1095, 1095, 1316, 1097, 1097, 1097, 1097, 1097, 1097, 1316, 1316, 1115, 1066, 1075, 1076, 1076, 1076, 1076, 1076, 1077, 1316, 1316, 1316, 1078, 1116, 1316, 1316, 1316, 1316, 1078, 1078, 1078, 1078, 1078, 1078, 899, 1079, 1079, 1079, 1079, 1079, 1079, 1080, 1316, 1316, 1316, 1081, 1316, 903, 1316, 1116, 1316, 1081, 1081, 1081, 1081, 1081, 1081, 1102, 999, 999, 999, 999, 999, 999, 1316, 1105, 1105, 1105, 1105, 1105, 1105, 1316, 1316, 903, 908, 1082, 1082, 1082, 1082, 1082, 1082, 1083, 1316, 1316, 1316, 1084, 1316, 912, 1316, 1316, 1316, 1084, 1084, 1084, 1084, 1084, 1084, 1107, 1005, 1005, 1005, 1005, 1005, 1005, 721, 1007, 1007, 1007, 1007, 1007, 1007, 1316, 1316, 912, 919, 1085, 1085, 1085, 1085, 1085, 1085, 1086, 1316, 1316, 1316, 1087, 1316, 923, 1316, 1316, 1316, 1087, 1087, 1087, 1087, 1087, 1087, 1109, 1009, 1009, 1009, 1009, 1009, 1009, 1316, 1112, 1112, 1112, 1112, 1112, 1112, 1117, 1316, 923, 931, 1088, 1088, 1088, 1088, 1088, 1088, 1089, 1316, 1316, 1118, 1090, 1316, 935, 1316, 1316, 1316, 1090, 1090, 1090, 1090, 1090, 1090, 1015, 1015, 1015, 1015, 1015, 1015, 1115, 1018, 1018, 1018, 1018, 1018, 1018, 1118, 1316, 1316, 935, 943, 1091, 1091, 1091, 1091, 1091, 1091, 1092, 1316, 1316, 1316, 1093, 1316, 947, 1316, 1316, 1316, 1093, 1093, 1093, 1093, 1093, 1093, 730, 1020, 1020, 1020, 1020, 1020, 1020, 1117, 1022, 1022, 1022, 1022, 1022, 1022, 1123, 1316, 947, 992, 1096, 1096, 1096, 1096, 1096, 1096, 994, 1316, 1316, 1124, 1097, 1316, 1316, 1316, 1316, 1316, 1097, 1097, 1097, 1097, 1097, 1097, 899, 1104, 1104, 1104, 1104, 1104, 1104, 1080, 1316, 1316, 1316, 1105, 1316, 1124, 1316, 1316, 1316, 1105, 1105, 1105, 1105, 1105, 1105, 908, 1111, 1111, 1111, 1111, 1111, 1111, 1083, 1316, 1316, 1316, 1112, 1316, 1316, 1316, 1316, 1316, 1112, 1112, 1112, 1112, 1112, 1112, 919, 1119, 1119, 1119, 1119, 1119, 1119, 1086, 1316, 1316, 1316, 1120, 1316, 1316, 1316, 1316, 1316, 1120, 1120, 1120, 1120, 1120, 1120, 1316, 1120, 1120, 1120, 1120, 1120, 1120, 1029, 1029, 1029, 1029, 1029, 1029, 1123, 1032, 1032, 1032, 1032, 1032, 1032, 741, 1034, 1034, 1034, 1034, 1034, 1034, 1125, 1125, 1036, 1036, 1036, 1036, 1036, 1036, 1316, 1316, 1316, 1316, 1316, 1126, 1316, 1128, 1128, 1128, 1128, 1128, 1128, 1043, 1043, 1043, 1043, 1043, 1043, 1131, 1046, 1046, 1046, 1046, 1046, 1046, 1316, 1131, 1133, 1316, 1316, 1126, 931, 1127, 1127, 1127, 1127, 1127, 1127, 1089, 1132, 1134, 1316, 1128, 1316, 1316, 1316, 1316, 1316, 1128, 1128, 1128, 1128, 1128, 1128, 753, 1048, 1048, 1048, 1048, 1048, 1048, 1316, 1316, 1316, 1316, 1132, 1134, 1133, 1050, 1050, 1050, 1050, 1050, 1050, 943, 1135, 1135, 1135, 1135, 1135, 1135, 1092, 1316, 1316, 1316, 1136, 1316, 1316, 1316, 1316, 1316, 1136, 1136, 1136, 1136, 1136, 1136, 1316, 1136, 1136, 1136, 1136, 1136, 1136, 1139, 1140, 1140, 1140, 1140, 1140, 1142, 1143, 1143, 1143, 1143, 1143, 1146, 1147, 1147, 1147, 1147, 1147, 1062, 1148, 1148, 1148, 1148, 1148, 1148, 1064, 1316, 1316, 1316, 1149, 1316, 48, 48, 1316, 1316, 1149, 1149, 1149, 1149, 1149, 1149, 1316, 1149, 1149, 1149, 1149, 1149, 1149, 48, 48, 1316, 1001, 1001, 1001, 1001, 1001, 1001, 1316, 1316, 1316, 1155, 1154, 992, 1156, 1156, 1156, 1156, 1156, 1156, 1157, 1316, 1316, 1316, 1158, 1316, 996, 1316, 1316, 1316, 1158, 1158, 1158, 1158, 1158, 1158, 1316, 1011, 1011, 1011, 1011, 1011, 1011, 1316, 1024, 1024, 1024, 1024, 1024, 1024, 1165, 1316, 996, 899, 1000, 1000, 1000, 1000, 1000, 1000, 1080, 1316, 1316, 1166, 1001, 1316, 1316, 1316, 1316, 1316, 1001, 1001, 1001, 1001, 1001, 1001, 908, 1010, 1010, 1010, 1010, 1010, 1010, 1083, 1316, 1316, 1316, 1011, 1316, 1166, 1316, 1316, 1316, 1011, 1011, 1011, 1011, 1011, 1011, 919, 1023, 1023, 1023, 1023, 1023, 1023, 1086, 1316, 1316, 1316, 1024, 1316, 1316, 1316, 1316, 1316, 1024, 1024, 1024, 1024, 1024, 1024, 931, 1037, 1037, 1037, 1037, 1037, 1037, 1089, 1316, 1316, 1316, 1038, 1316, 1316, 1316, 1316, 1316, 1038, 1038, 1038, 1038, 1038, 1038, 1316, 1038, 1038, 1038, 1038, 1038, 1038, 943, 1051, 1051, 1051, 1051, 1051, 1051, 1092, 1316, 1316, 1316, 1052, 1316, 1316, 1316, 1316, 1316, 1052, 1052, 1052, 1052, 1052, 1052, 1316, 1052, 1052, 1052, 1052, 1052, 1052, 1165, 1095, 1095, 1095, 1095, 1095, 1095, 992, 1167, 1167, 1167, 1167, 1167, 1167, 1157, 1316, 1316, 1316, 1168, 1316, 1316, 1316, 1316, 1316, 1168, 1168, 1168, 1168, 1168, 1168, 1316, 1168, 1168, 1168, 1168, 1168, 1168, 1171, 1172, 1172, 1172, 1172, 1172, 1176, 1177, 1177, 1177, 1177, 1177, 1179, 1180, 1180, 1180, 1180, 1180, 1185, 1186, 1186, 1186, 1186, 1186, 1188, 1189, 1189, 1189, 1189, 1189, 1194, 1195, 1195, 1195, 1195, 1195, 1197, 1198, 1198, 1198, 1198, 1198, 1203, 1204, 1204, 1204, 1204, 1204, 1206, 1207, 1207, 1207, 1207, 1207, 1140, 1140, 1140, 1140, 1140, 1140, 1212, 1212, 1143, 1143, 1143, 1143, 1143, 1143, 1214, 1316, 1316, 1316, 1316, 1213, 863, 1145, 1145, 1145, 1145, 1145, 1145, 1215, 1214, 1147, 1147, 1147, 1147, 1147, 1147, 1316, 1217, 1217, 1217, 1217, 1217, 1217, 1316, 1316, 1316, 1213, 1316, 1097, 1097, 1097, 1097, 1097, 1097, 1215, 1062, 1216, 1216, 1216, 1216, 1216, 1216, 1064, 1316, 1316, 1316, 1217, 1316, 1316, 1316, 1316, 1316, 1217, 1217, 1217, 1217, 1217, 1217, 992, 1096, 1096, 1096, 1096, 1096, 1096, 1157, 1316, 1316, 1316, 1097, 1316, 1316, 1316, 1316, 1237, 1097, 1097, 1097, 1097, 1097, 1097, 1231, 1232, 1232, 1232, 1232, 1232, 1238, 1237, 1172, 1172, 1172, 1172, 1172, 1172, 899, 1174, 1174, 1174, 1174, 1174, 1174, 1177, 1177, 1177, 1177, 1177, 1177, 1241, 1316, 1316, 1316, 1316, 1238, 1241, 1180, 1180, 1180, 1180, 1180, 1180, 1242, 908, 1182, 1182, 1182, 1182, 1182, 1182, 1186, 1186, 1186, 1186, 1186, 1186, 1245, 1245, 1189, 1189, 1189, 1189, 1189, 1189, 1316, 1316, 1316, 1316, 1242, 1246, 919, 1191, 1191, 1191, 1191, 1191, 1191, 1195, 1195, 1195, 1195, 1195, 1195, 1249, 1249, 1198, 1198, 1198, 1198, 1198, 1198, 1316, 1316, 1316, 1316, 1246, 1250, 931, 1200, 1200, 1200, 1200, 1200, 1200, 1204, 1204, 1204, 1204, 1204, 1204, 1253, 1253, 1207, 1207, 1207, 1207, 1207, 1207, 1316, 1316, 1316, 1316, 1250, 1254, 943, 1209, 1209, 1209, 1209, 1209, 1209, 1257, 1258, 1258, 1258, 1258, 1258, 1260, 1261, 1261, 1261, 1261, 1261, 1269, 1316, 1316, 1316, 1316, 1316, 1254, 1271, 1272, 1272, 1272, 1272, 1272, 1270, 1269, 1232, 1232, 1232, 1232, 1232, 1232, 992, 1234, 1234, 1234, 1234, 1234, 1234, 1275, 1276, 1276, 1276, 1276, 1276, 1316, 1316, 1316, 1316, 1316, 1270, 1279, 1280, 1280, 1280, 1280, 1280, 1283, 1284, 1284, 1284, 1284, 1284, 1287, 1288, 1288, 1288, 1288, 1288, 1258, 1258, 1258, 1258, 1258, 1258, 1291, 1291, 1261, 1261, 1261, 1261, 1261, 1261, 1316, 1316, 1316, 1316, 1316, 1292, 1062, 1263, 1263, 1263, 1263, 1263, 1263, 1295, 1296, 1296, 1296, 1296, 1296, 1272, 1272, 1272, 1272, 1272, 1272, 1276, 1276, 1276, 1276, 1276, 1276, 1292, 1280, 1280, 1280, 1280, 1280, 1280, 1284, 1284, 1284, 1284, 1284, 1284, 1288, 1288, 1288, 1288, 1288, 1288, 1304, 1305, 1305, 1305, 1305, 1305, 1296, 1296, 1296, 1296, 1296, 1296, 1305, 1305, 1305, 1305, 1305, 1305, 46, 1316, 1316, 1316, 1316, 46, 46, 46, 62, 1316, 62, 62, 62, 62, 62, 62, 62, 137, 1316, 137, 142, 142, 142, 232, 232, 232, 241, 241, 241, 297, 297, 297, 299, 299, 299, 300, 300, 300, 307, 307, 307, 305, 305, 305, 315, 1316, 315, 356, 356, 356, 361, 361, 361, 362, 362, 362, 375, 1316, 375, 376, 376, 376, 309, 309, 1316, 1316, 309, 384, 384, 384, 426, 426, 426, 430, 430, 430, 431, 431, 431, 432, 432, 432, 437, 437, 437, 369, 369, 1316, 1316, 369, 446, 446, 446, 450, 1316, 450, 451, 451, 451, 459, 1316, 459, 494, 494, 494, 502, 502, 502, 503, 503, 503, 515, 1316, 515, 518, 1316, 518, 519, 519, 519, 527, 1316, 527, 449, 449, 1316, 1316, 449, 453, 453, 1316, 1316, 453, 537, 537, 537, 431, 431, 431, 562, 562, 562, 566, 566, 566, 569, 569, 569, 570, 570, 570, 571, 571, 571, 576, 576, 576, 509, 509, 1316, 1316, 509, 585, 585, 585, 517, 517, 1316, 1316, 517, 521, 521, 1316, 1316, 521, 596, 596, 596, 600, 1316, 600, 603, 1316, 603, 604, 604, 604, 612, 1316, 612, 630, 630, 630, 641, 641, 641, 642, 642, 642, 654, 1316, 654, 657, 1316, 657, 658, 658, 658, 666, 1316, 666, 669, 1316, 669, 672, 1316, 672, 673, 673, 673, 681, 1316, 681, 599, 1316, 1316, 599, 602, 602, 1316, 1316, 602, 603, 603, 1316, 603, 606, 606, 1316, 1316, 606, 692, 692, 692, 612, 612, 1316, 612, 53, 53, 53, 1316, 53, 53, 570, 570, 570, 707, 707, 707, 711, 711, 711, 714, 714, 714, 717, 717, 717, 718, 718, 718, 719, 719, 719, 724, 724, 724, 648, 648, 1316, 1316, 648, 733, 733, 733, 654, 654, 1316, 654, 656, 656, 1316, 1316, 656, 657, 657, 1316, 657, 660, 660, 1316, 1316, 660, 744, 744, 744, 666, 666, 1316, 666, 668, 1316, 1316, 668, 669, 669, 1316, 669, 671, 671, 1316, 1316, 671, 672, 672, 1316, 672, 675, 675, 1316, 1316, 675, 756, 756, 756, 681, 681, 1316, 681, 758, 1316, 758, 761, 1316, 761, 764, 1316, 764, 765, 765, 765, 773, 1316, 773, 53, 53, 53, 1316, 53, 53, 785, 785, 785, 799, 799, 799, 800, 800, 800, 812, 1316, 812, 815, 1316, 815, 816, 816, 816, 824, 1316, 824, 827, 1316, 827, 830, 1316, 830, 831, 831, 831, 839, 1316, 839, 840, 1316, 840, 843, 1316, 843, 846, 1316, 846, 847, 847, 847, 855, 1316, 855, 758, 1316, 758, 760, 1316, 1316, 760, 761, 761, 1316, 761, 763, 763, 1316, 1316, 763, 764, 764, 1316, 764, 767, 767, 1316, 1316, 767, 866, 866, 866, 773, 773, 1316, 773, 53, 53, 53, 1316, 53, 53, 718, 718, 718, 880, 880, 880, 884, 884, 884, 887, 887, 887, 890, 890, 890, 893, 893, 893, 894, 894, 894, 902, 902, 902, 806, 806, 1316, 1316, 806, 911, 911, 911, 812, 812, 1316, 812, 814, 814, 1316, 1316, 814, 815, 815, 1316, 815, 818, 818, 1316, 1316, 818, 922, 922, 922, 824, 824, 1316, 824, 826, 1316, 1316, 826, 827, 827, 1316, 827, 829, 829, 1316, 1316, 829, 830, 830, 1316, 830, 833, 833, 1316, 1316, 833, 934, 934, 934, 839, 839, 1316, 839, 840, 1316, 840, 842, 1316, 1316, 842, 843, 843, 1316, 843, 845, 845, 1316, 1316, 845, 846, 846, 1316, 846, 849, 849, 1316, 1316, 849, 946, 946, 946, 855, 855, 1316, 855, 948, 1316, 948, 951, 1316, 951, 954, 1316, 954, 955, 955, 955, 963, 1316, 963, 53, 53, 53, 1316, 53, 53, 974, 974, 974, 991, 991, 991, 997, 997, 997, 995, 995, 995, 1002, 1002, 1002, 1003, 1316, 1003, 1006, 1316, 1006, 1007, 1007, 1007, 1012, 1012, 1012, 1013, 1316, 1013, 1016, 1316, 1016, 1019, 1316, 1019, 1020, 1020, 1020, 1025, 1025, 1025, 1026, 1316, 1026, 1027, 1316, 1027, 1030, 1316, 1030, 1033, 1316, 1033, 1034, 1034, 1034, 1039, 1039, 1039, 1040, 1316, 1040, 1041, 1316, 1041, 1044, 1316, 1044, 1047, 1316, 1047, 1048, 1048, 1048, 1053, 1053, 1053, 1054, 1316, 1054, 948, 1316, 948, 950, 1316, 1316, 950, 951, 951, 1316, 951, 953, 953, 1316, 1316, 953, 954, 954, 1316, 954, 957, 957, 1316, 1316, 957, 1065, 1065, 1065, 963, 963, 1316, 963, 53, 53, 53, 1316, 53, 53, 894, 894, 894, 1081, 1081, 1081, 1084, 1084, 1084, 1087, 1087, 1087, 1090, 1090, 1090, 1093, 1093, 1093, 1098, 1098, 1098, 1100, 1316, 1100, 1101, 1101, 1101, 999, 999, 1316, 1316, 999, 1106, 1106, 1106, 1003, 1003, 1316, 1003, 1005, 1005, 1316, 1316, 1005, 1006, 1006, 1316, 1006, 1009, 1009, 1316, 1316, 1009, 1113, 1113, 1113, 1013, 1013, 1316, 1013, 1015, 1316, 1316, 1015, 1016, 1016, 1316, 1016, 1018, 1018, 1316, 1316, 1018, 1019, 1019, 1316, 1019, 1022, 1022, 1316, 1316, 1022, 1121, 1121, 1121, 1026, 1026, 1316, 1026, 1027, 1316, 1027, 1029, 1316, 1316, 1029, 1030, 1030, 1316, 1030, 1032, 1032, 1316, 1316, 1032, 1033, 1033, 1316, 1033, 1036, 1036, 1316, 1316, 1036, 1129, 1129, 1129, 1040, 1040, 1316, 1040, 1041, 1316, 1041, 1043, 1316, 1316, 1043, 1044, 1044, 1316, 1044, 1046, 1046, 1316, 1316, 1046, 1047, 1047, 1316, 1047, 1050, 1050, 1316, 1316, 1050, 1137, 1137, 1137, 1054, 1054, 1316, 1054, 1138, 1316, 1138, 1141, 1316, 1141, 1144, 1316, 1144, 1145, 1145, 1145, 1150, 1316, 1150, 1151, 1316, 1151, 53, 53, 53, 1316, 53, 53, 1159, 1316, 1159, 1158, 1158, 1158, 1160, 1316, 1160, 1161, 1316, 1161, 1162, 1316, 1162, 1163, 1316, 1163, 1164, 1316, 1164, 1095, 1095, 1316, 1316, 1095, 1169, 1169, 1169, 307, 307, 307, 1100, 1100, 1316, 1100, 1170, 1170, 1170, 1173, 1316, 1173, 1174, 1174, 1174, 1175, 1175, 1175, 1178, 1316, 1178, 1181, 1316, 1181, 1182, 1182, 1182, 1183, 1183, 1183, 1184, 1316, 1184, 1187, 1316, 1187, 1190, 1316, 1190, 1191, 1191, 1191, 1192, 1192, 1192, 1193, 1316, 1193, 1196, 1316, 1196, 1199, 1316, 1199, 1200, 1200, 1200, 1201, 1201, 1201, 1202, 1316, 1202, 1205, 1316, 1205, 1208, 1316, 1208, 1209, 1209, 1209, 1210, 1210, 1210, 1138, 1316, 1138, 1140, 1316, 1316, 1140, 1141, 1141, 1316, 1141, 1143, 1143, 1316, 1316, 1143, 1144, 1144, 1316, 1144, 1147, 1147, 1316, 1316, 1147, 1218, 1316, 1218, 1151, 1151, 1316, 1151, 53, 53, 53, 1316, 53, 53, 1223, 1223, 1223, 1225, 1316, 1225, 1226, 1316, 1226, 1227, 1316, 1227, 1228, 1316, 1228, 1229, 1316, 1229, 1230, 1316, 1230, 1233, 1316, 1233, 1234, 1234, 1234, 1235, 1235, 1235, 1236, 1316, 1236, 1172, 1172, 1316, 1316, 1172, 1173, 1173, 1316, 1173, 1239, 1316, 1239, 1177, 1316, 1316, 1177, 1178, 1178, 1316, 1178, 1180, 1180, 1316, 1316, 1180, 1181, 1181, 1316, 1181, 1243, 1316, 1243, 1184, 1316, 1184, 1186, 1316, 1316, 1186, 1187, 1187, 1316, 1187, 1189, 1189, 1316, 1316, 1189, 1190, 1190, 1316, 1190, 1247, 1316, 1247, 1193, 1316, 1193, 1195, 1316, 1316, 1195, 1196, 1196, 1316, 1196, 1198, 1198, 1316, 1316, 1198, 1199, 1199, 1316, 1199, 1251, 1316, 1251, 1202, 1316, 1202, 1204, 1316, 1316, 1204, 1205, 1205, 1316, 1205, 1207, 1207, 1316, 1316, 1207, 1208, 1208, 1316, 1208, 1255, 1316, 1255, 1256, 1316, 1256, 1259, 1316, 1259, 1262, 1316, 1262, 1263, 1263, 1263, 1264, 1316, 1264, 53, 53, 53, 1316, 53, 53, 1268, 1316, 1268, 1170, 1316, 1170, 1175, 1316, 1175, 1183, 1316, 1183, 1192, 1316, 1192, 1201, 1316, 1201, 1210, 1316, 1210, 1232, 1232, 1316, 1316, 1232, 1233, 1233, 1316, 1233, 1224, 1316, 1224, 1273, 1316, 1273, 1274, 1316, 1274, 1277, 1316, 1277, 1278, 1316, 1278, 1281, 1316, 1281, 1282, 1316, 1282, 1285, 1316, 1285, 1286, 1316, 1286, 1289, 1316, 1289, 1258, 1316, 1316, 1258, 1261, 1261, 1316, 1316, 1261, 1293, 1316, 1293, 1235, 1316, 1235, 1297, 1316, 1297, 1272, 1316, 1316, 1272, 1276, 1316, 1316, 1276, 1280, 1316, 1316, 1280, 1284, 1316, 1316, 1284, 1288, 1316, 1316, 1288, 1303, 1316, 1303, 1306, 1316, 1306, 1296, 1316, 1316, 1296, 1308, 1316, 1308, 1309, 1316, 1309, 1310, 1316, 1310, 1311, 1316, 1311, 1312, 1316, 1312, 1305, 1316, 1316, 1305, 1314, 1316, 1314, 1315, 1316, 1315, 3, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316 } ; static yyconst short int yy_chk[6645] = { 0, 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, 4, 7, 90, 4, 7, 4, 7, 9, 4, 7, 9, 12, 9, 24, 12, 9, 12, 4, 7, 12, 15, 17, 17, 1306, 9, 4, 7, 24, 12, 19, 19, 64, 9, 64, 24, 90, 12, 14, 14, 14, 14, 14, 14, 14, 14, 14, 15, 27, 27, 14, 14, 14, 1297, 1289, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 16, 34, 23, 16, 23, 16, 29, 86, 16, 23, 34, 166, 86, 1285, 23, 166, 22, 16, 23, 22, 23, 22, 29, 39, 22, 16, 20, 20, 20, 20, 20, 20, 20, 22, 26, 25, 33, 39, 25, 20, 33, 22, 25, 95, 26, 35, 38, 26, 95, 33, 33, 139, 38, 285, 38, 33, 38, 35, 285, 35, 38, 35, 38, 38, 35, 20, 21, 21, 21, 21, 21, 21, 21, 94, 32, 32, 21, 139, 1281, 94, 1277, 69, 21, 21, 21, 21, 21, 21, 31, 32, 75, 31, 31, 32, 31, 69, 31, 32, 31, 32, 31, 37, 36, 31, 75, 37, 32, 36, 36, 41, 36, 36, 80, 37, 1273, 1262, 121, 41, 37, 44, 37, 41, 44, 41, 44, 80, 78, 44, 49, 49, 49, 49, 49, 49, 121, 146, 44, 52, 52, 52, 52, 52, 52, 52, 44, 50, 50, 50, 50, 50, 50, 50, 78, 220, 235, 1259, 50, 1233, 78, 1217, 1208, 146, 50, 50, 50, 50, 50, 50, 54, 54, 54, 54, 54, 54, 61, 613, 220, 61, 54, 61, 235, 116, 61, 91, 54, 54, 54, 54, 54, 54, 55, 61, 613, 55, 116, 55, 621, 1205, 55, 61, 125, 55, 55, 55, 55, 55, 55, 55, 1199, 91, 125, 55, 1196, 621, 91, 55, 621, 55, 55, 55, 55, 55, 55, 63, 63, 63, 63, 63, 63, 63, 123, 141, 141, 141, 141, 141, 141, 141, 191, 123, 153, 153, 153, 153, 153, 153, 153, 379, 441, 1190, 1187, 191, 1181, 1178, 379, 441, 63, 138, 138, 138, 138, 138, 138, 138, 227, 227, 227, 227, 227, 227, 138, 238, 238, 238, 238, 238, 238, 241, 241, 241, 241, 241, 241, 241, 294, 302, 302, 302, 302, 302, 302, 308, 622, 338, 615, 1173, 138, 140, 140, 140, 140, 140, 140, 140, 308, 313, 338, 140, 359, 622, 294, 615, 622, 140, 140, 140, 140, 140, 140, 143, 143, 143, 143, 143, 143, 143, 532, 365, 615, 143, 308, 313, 624, 532, 359, 143, 143, 143, 143, 143, 143, 145, 145, 145, 145, 145, 145, 145, 145, 624, 624, 289, 145, 365, 145, 1169, 289, 258, 145, 145, 145, 145, 145, 145, 258, 289, 373, 289, 289, 1168, 289, 354, 354, 354, 354, 354, 354, 258, 368, 396, 145, 159, 159, 159, 159, 159, 159, 159, 396, 1157, 1151, 368, 373, 258, 305, 305, 305, 305, 305, 305, 305, 309, 309, 309, 309, 309, 309, 309, 1144, 398, 159, 228, 228, 228, 228, 228, 228, 368, 398, 580, 1141, 228, 1137, 424, 457, 497, 580, 228, 228, 228, 228, 228, 228, 229, 229, 229, 229, 229, 229, 229, 229, 234, 234, 234, 234, 234, 234, 234, 234, 424, 457, 497, 234, 500, 234, 1136, 1129, 1128, 234, 234, 234, 234, 234, 234, 311, 311, 311, 311, 311, 311, 311, 369, 369, 369, 369, 369, 369, 369, 448, 500, 234, 239, 239, 239, 239, 239, 239, 239, 239, 506, 513, 448, 239, 525, 1121, 626, 627, 1120, 239, 239, 239, 239, 239, 239, 240, 240, 240, 240, 240, 240, 1113, 591, 626, 627, 240, 506, 513, 448, 591, 525, 240, 240, 240, 240, 240, 240, 293, 293, 293, 293, 293, 293, 293, 377, 377, 377, 377, 377, 377, 293, 371, 371, 371, 371, 371, 371, 371, 381, 381, 381, 381, 381, 381, 384, 384, 384, 384, 384, 384, 384, 452, 508, 516, 694, 520, 293, 298, 298, 298, 298, 298, 298, 687, 452, 508, 516, 298, 520, 614, 687, 694, 1112, 298, 298, 298, 298, 298, 298, 301, 301, 301, 301, 301, 301, 301, 614, 598, 610, 301, 452, 508, 516, 614, 520, 301, 301, 301, 301, 301, 301, 303, 303, 303, 303, 303, 303, 303, 303, 633, 728, 1106, 303, 598, 610, 620, 625, 728, 303, 303, 303, 303, 303, 303, 304, 304, 304, 304, 304, 304, 304, 739, 620, 625, 304, 633, 625, 620, 739, 695, 304, 304, 304, 304, 304, 304, 310, 310, 310, 310, 310, 310, 310, 310, 1105, 636, 695, 310, 639, 645, 706, 695, 1101, 310, 310, 310, 310, 310, 310, 312, 312, 312, 312, 312, 312, 312, 312, 706, 1100, 652, 312, 636, 312, 1099, 639, 645, 312, 312, 312, 312, 312, 312, 434, 434, 434, 434, 434, 434, 437, 437, 437, 437, 437, 437, 437, 652, 664, 751, 312, 324, 667, 679, 759, 324, 751, 1098, 324, 696, 601, 324, 605, 324, 324, 324, 324, 355, 355, 355, 355, 355, 355, 601, 664, 605, 696, 355, 667, 679, 759, 696, 1078, 355, 355, 355, 355, 355, 355, 358, 358, 358, 358, 358, 358, 358, 358, 861, 906, 601, 358, 605, 358, 1061, 861, 906, 358, 358, 358, 358, 358, 358, 439, 439, 439, 439, 439, 439, 443, 443, 443, 443, 443, 443, 704, 1054, 784, 1053, 358, 364, 364, 364, 364, 364, 364, 364, 364, 1047, 917, 1044, 364, 704, 364, 784, 704, 917, 364, 364, 364, 364, 364, 364, 446, 446, 446, 446, 446, 446, 446, 449, 449, 449, 449, 449, 449, 449, 616, 617, 364, 370, 370, 370, 370, 370, 370, 370, 370, 1040, 771, 1039, 370, 1033, 788, 616, 617, 697, 370, 370, 370, 370, 370, 370, 372, 372, 372, 372, 372, 372, 372, 372, 616, 617, 697, 372, 771, 372, 1030, 697, 788, 372, 372, 372, 372, 372, 372, 451, 451, 451, 451, 451, 451, 451, 453, 453, 453, 453, 453, 453, 453, 619, 698, 372, 382, 382, 382, 382, 382, 382, 382, 382, 1026, 791, 794, 382, 699, 1025, 619, 698, 1019, 382, 382, 382, 382, 382, 382, 383, 383, 383, 383, 383, 383, 699, 698, 619, 1016, 383, 699, 791, 794, 1013, 1012, 383, 383, 383, 383, 383, 383, 423, 423, 423, 423, 423, 423, 528, 528, 528, 528, 528, 528, 423, 455, 455, 455, 455, 455, 455, 455, 509, 509, 509, 509, 509, 509, 509, 511, 511, 511, 511, 511, 511, 511, 647, 655, 700, 628, 423, 427, 427, 427, 427, 427, 427, 1006, 1003, 647, 655, 427, 1002, 783, 778, 700, 628, 427, 427, 427, 427, 427, 427, 429, 429, 429, 429, 429, 429, 628, 783, 778, 700, 429, 778, 647, 655, 701, 783, 429, 429, 429, 429, 429, 429, 433, 433, 433, 433, 433, 433, 433, 997, 797, 701, 433, 994, 803, 702, 701, 781, 433, 433, 433, 433, 433, 433, 435, 435, 435, 435, 435, 435, 435, 435, 702, 810, 781, 435, 797, 702, 991, 781, 803, 435, 435, 435, 435, 435, 435, 436, 436, 436, 436, 436, 436, 436, 929, 822, 825, 436, 837, 810, 990, 929, 871, 436, 436, 436, 436, 436, 436, 444, 444, 444, 444, 444, 444, 444, 444, 841, 853, 871, 444, 822, 825, 879, 837, 987, 444, 444, 444, 444, 444, 444, 445, 445, 445, 445, 445, 445, 445, 984, 879, 981, 445, 841, 853, 874, 877, 878, 445, 445, 445, 445, 445, 445, 454, 454, 454, 454, 454, 454, 454, 454, 874, 877, 878, 454, 874, 877, 978, 878, 967, 454, 454, 454, 454, 454, 454, 456, 456, 456, 456, 456, 456, 456, 456, 941, 1060, 967, 456, 967, 456, 974, 941, 1060, 456, 456, 456, 456, 456, 456, 517, 517, 517, 517, 517, 517, 517, 519, 519, 519, 519, 519, 519, 519, 777, 659, 456, 493, 493, 493, 493, 493, 493, 896, 963, 949, 962, 493, 659, 961, 968, 777, 954, 493, 493, 493, 493, 493, 493, 496, 496, 496, 496, 496, 496, 496, 496, 968, 777, 896, 496, 949, 496, 951, 659, 961, 496, 496, 496, 496, 496, 496, 521, 521, 521, 521, 521, 521, 521, 523, 523, 523, 523, 523, 523, 523, 670, 876, 496, 499, 499, 499, 499, 499, 499, 499, 499, 945, 1104, 670, 499, 977, 499, 942, 876, 1104, 499, 499, 499, 499, 499, 499, 530, 530, 530, 530, 530, 530, 534, 534, 534, 534, 534, 534, 876, 670, 972, 977, 499, 505, 505, 505, 505, 505, 505, 505, 505, 1111, 1119, 933, 505, 930, 505, 972, 1111, 1119, 505, 505, 505, 505, 505, 505, 537, 537, 537, 537, 537, 537, 537, 566, 566, 566, 566, 566, 566, 566, 705, 780, 505, 510, 510, 510, 510, 510, 510, 510, 510, 921, 980, 918, 510, 983, 986, 705, 780, 910, 510, 510, 510, 510, 510, 510, 512, 512, 512, 512, 512, 512, 512, 512, 780, 907, 705, 512, 980, 512, 901, 983, 986, 512, 512, 512, 512, 512, 512, 569, 569, 569, 569, 569, 569, 569, 573, 573, 573, 573, 573, 573, 674, 779, 898, 512, 522, 522, 522, 522, 522, 522, 522, 522, 897, 674, 894, 522, 880, 989, 779, 779, 971, 522, 522, 522, 522, 522, 522, 524, 524, 524, 524, 524, 524, 524, 524, 862, 779, 971, 524, 674, 524, 855, 971, 989, 524, 524, 524, 524, 524, 524, 576, 576, 576, 576, 576, 576, 576, 578, 578, 578, 578, 578, 578, 762, 703, 774, 524, 535, 535, 535, 535, 535, 535, 535, 535, 1014, 762, 1028, 535, 854, 846, 703, 774, 843, 535, 535, 535, 535, 535, 535, 536, 536, 536, 536, 536, 536, 703, 774, 1042, 839, 536, 1014, 762, 1028, 1067, 766, 536, 536, 536, 536, 536, 536, 563, 563, 563, 563, 563, 563, 766, 838, 1076, 1067, 563, 1139, 1042, 964, 1068, 830, 563, 563, 563, 563, 563, 563, 564, 564, 564, 564, 564, 564, 564, 564, 964, 1068, 766, 564, 1076, 965, 1069, 1139, 805, 564, 564, 564, 564, 564, 564, 565, 565, 565, 565, 565, 565, 805, 965, 1069, 964, 565, 1176, 1185, 966, 827, 824, 565, 565, 565, 565, 565, 565, 567, 567, 567, 567, 567, 567, 567, 567, 966, 965, 805, 567, 1070, 1071, 969, 1176, 1185, 567, 567, 567, 567, 567, 567, 568, 568, 568, 568, 568, 568, 1070, 1071, 969, 966, 568, 823, 1071, 815, 1153, 812, 568, 568, 568, 568, 568, 568, 572, 572, 572, 572, 572, 572, 572, 969, 1127, 1153, 572, 811, 1153, 804, 1154, 1127, 572, 572, 572, 572, 572, 572, 574, 574, 574, 574, 574, 574, 574, 574, 1135, 1154, 1194, 574, 1154, 800, 799, 1135, 798, 574, 574, 574, 574, 574, 574, 575, 575, 575, 575, 575, 575, 575, 1167, 1216, 795, 575, 1203, 1257, 1194, 1167, 1216, 575, 575, 575, 575, 575, 575, 582, 582, 582, 582, 582, 582, 583, 583, 583, 583, 583, 583, 583, 583, 1271, 1203, 1257, 583, 792, 1221, 1222, 1265, 789, 583, 583, 583, 583, 583, 583, 584, 584, 584, 584, 584, 584, 584, 1221, 1222, 1265, 584, 1271, 786, 785, 773, 1221, 584, 584, 584, 584, 584, 584, 585, 585, 585, 585, 585, 585, 585, 587, 587, 587, 587, 587, 587, 589, 589, 589, 589, 589, 589, 593, 593, 593, 593, 593, 593, 594, 594, 594, 594, 594, 594, 594, 594, 1275, 1279, 1283, 594, 1287, 1267, 1294, 772, 764, 594, 594, 594, 594, 594, 594, 595, 595, 595, 595, 595, 595, 595, 1267, 1294, 761, 595, 1275, 1279, 1283, 752, 1287, 595, 595, 595, 595, 595, 595, 596, 596, 596, 596, 596, 596, 596, 599, 599, 599, 599, 599, 599, 602, 602, 602, 602, 602, 602, 602, 604, 604, 604, 604, 604, 604, 604, 606, 606, 606, 606, 606, 606, 606, 607, 607, 607, 607, 607, 607, 607, 607, 740, 729, 719, 607, 718, 707, 688, 681, 680, 607, 607, 607, 607, 607, 607, 608, 608, 608, 608, 608, 608, 608, 609, 609, 609, 609, 609, 609, 609, 609, 618, 623, 1155, 609, 629, 609, 672, 813, 669, 609, 609, 609, 609, 609, 609, 782, 1295, 618, 623, 1155, 813, 629, 648, 648, 648, 648, 648, 648, 648, 618, 623, 609, 782, 629, 632, 632, 632, 632, 632, 632, 632, 632, 1295, 1155, 666, 632, 813, 632, 665, 782, 657, 632, 632, 632, 632, 632, 632, 650, 650, 650, 650, 650, 650, 650, 656, 656, 656, 656, 656, 656, 656, 654, 653, 632, 635, 635, 635, 635, 635, 635, 635, 635, 646, 643, 642, 635, 1304, 635, 641, 640, 637, 635, 635, 635, 635, 635, 635, 658, 658, 658, 658, 658, 658, 658, 660, 660, 660, 660, 660, 660, 660, 817, 1304, 635, 638, 638, 638, 638, 638, 638, 638, 638, 634, 631, 817, 638, 630, 638, 612, 611, 603, 638, 638, 638, 638, 638, 638, 662, 662, 662, 662, 662, 662, 662, 668, 668, 668, 668, 668, 668, 817, 600, 592, 638, 644, 644, 644, 644, 644, 644, 644, 644, 581, 571, 570, 644, 562, 644, 558, 557, 556, 644, 644, 644, 644, 644, 644, 671, 671, 671, 671, 671, 671, 671, 673, 673, 673, 673, 673, 673, 673, 873, 1152, 644, 649, 649, 649, 649, 649, 649, 649, 649, 554, 553, 550, 649, 549, 548, 873, 1152, 547, 649, 649, 649, 649, 649, 649, 651, 651, 651, 651, 651, 651, 651, 651, 546, 1152, 873, 651, 545, 651, 544, 543, 542, 651, 651, 651, 651, 651, 651, 675, 675, 675, 675, 675, 675, 675, 677, 677, 677, 677, 677, 677, 677, 1219, 541, 651, 661, 661, 661, 661, 661, 661, 661, 661, 540, 539, 533, 661, 527, 526, 1219, 518, 515, 661, 661, 661, 661, 661, 661, 663, 663, 663, 663, 663, 663, 663, 663, 514, 507, 1219, 663, 504, 663, 503, 502, 501, 663, 663, 663, 663, 663, 663, 683, 683, 683, 683, 683, 683, 685, 685, 685, 685, 685, 685, 1266, 828, 498, 495, 663, 676, 676, 676, 676, 676, 676, 676, 676, 494, 828, 492, 676, 1266, 488, 485, 484, 483, 676, 676, 676, 676, 676, 676, 678, 678, 678, 678, 678, 678, 678, 678, 1266, 482, 478, 678, 828, 678, 477, 475, 474, 678, 678, 678, 678, 678, 678, 689, 689, 689, 689, 689, 689, 692, 692, 692, 692, 692, 692, 692, 832, 775, 776, 678, 690, 690, 690, 690, 690, 690, 690, 690, 473, 832, 472, 690, 471, 470, 775, 776, 469, 690, 690, 690, 690, 690, 690, 691, 691, 691, 691, 691, 691, 775, 776, 776, 468, 691, 467, 832, 466, 465, 844, 691, 691, 691, 691, 691, 691, 708, 708, 708, 708, 708, 708, 844, 464, 461, 460, 708, 459, 458, 450, 442, 432, 708, 708, 708, 708, 708, 708, 709, 709, 709, 709, 709, 709, 709, 709, 431, 430, 844, 709, 1072, 428, 426, 425, 422, 709, 709, 709, 709, 709, 709, 710, 710, 710, 710, 710, 710, 1072, 421, 420, 419, 710, 418, 417, 416, 415, 1072, 710, 710, 710, 710, 710, 710, 711, 711, 711, 711, 711, 711, 711, 712, 712, 712, 712, 712, 712, 712, 712, 414, 413, 411, 712, 1220, 410, 409, 408, 407, 712, 712, 712, 712, 712, 712, 713, 713, 713, 713, 713, 713, 1220, 406, 405, 404, 713, 402, 401, 400, 399, 1220, 713, 713, 713, 713, 713, 713, 714, 714, 714, 714, 714, 714, 714, 715, 715, 715, 715, 715, 715, 715, 715, 397, 395, 394, 715, 393, 392, 391, 390, 388, 715, 715, 715, 715, 715, 715, 716, 716, 716, 716, 716, 716, 387, 380, 376, 375, 716, 374, 367, 366, 363, 362, 716, 716, 716, 716, 716, 716, 717, 717, 717, 717, 717, 717, 717, 720, 720, 720, 720, 720, 720, 720, 361, 360, 357, 720, 356, 353, 352, 351, 350, 720, 720, 720, 720, 720, 720, 721, 721, 721, 721, 721, 721, 722, 722, 722, 722, 722, 722, 722, 722, 349, 348, 347, 722, 346, 345, 344, 343, 341, 722, 722, 722, 722, 722, 722, 723, 723, 723, 723, 723, 723, 723, 340, 339, 337, 723, 336, 333, 332, 330, 328, 723, 723, 723, 723, 723, 723, 724, 724, 724, 724, 724, 724, 724, 726, 726, 726, 726, 726, 726, 730, 730, 730, 730, 730, 730, 731, 731, 731, 731, 731, 731, 731, 731, 327, 326, 323, 731, 322, 320, 319, 318, 316, 731, 731, 731, 731, 731, 731, 732, 732, 732, 732, 732, 732, 732, 315, 314, 307, 732, 300, 299, 297, 296, 295, 732, 732, 732, 732, 732, 732, 733, 733, 733, 733, 733, 733, 733, 735, 735, 735, 735, 735, 735, 737, 737, 737, 737, 737, 737, 741, 741, 741, 741, 741, 741, 742, 742, 742, 742, 742, 742, 742, 742, 290, 288, 283, 742, 281, 279, 278, 277, 276, 742, 742, 742, 742, 742, 742, 743, 743, 743, 743, 743, 743, 743, 275, 274, 272, 743, 271, 270, 267, 264, 263, 743, 743, 743, 743, 743, 743, 744, 744, 744, 744, 744, 744, 744, 747, 747, 747, 747, 747, 747, 749, 749, 749, 749, 749, 749, 753, 753, 753, 753, 753, 753, 754, 754, 754, 754, 754, 754, 754, 754, 262, 259, 256, 754, 255, 254, 252, 251, 249, 754, 754, 754, 754, 754, 754, 755, 755, 755, 755, 755, 755, 755, 246, 245, 244, 755, 237, 236, 233, 232, 231, 755, 755, 755, 755, 755, 755, 756, 756, 756, 756, 756, 756, 756, 760, 760, 760, 760, 760, 760, 763, 763, 763, 763, 763, 763, 763, 765, 765, 765, 765, 765, 765, 765, 767, 767, 767, 767, 767, 767, 767, 768, 768, 768, 768, 768, 768, 768, 768, 230, 226, 225, 768, 223, 219, 217, 213, 211, 768, 768, 768, 768, 768, 768, 769, 769, 769, 769, 769, 769, 769, 770, 770, 770, 770, 770, 770, 770, 770, 209, 208, 206, 770, 205, 770, 204, 203, 202, 770, 770, 770, 770, 770, 770, 806, 806, 806, 806, 806, 806, 806, 808, 808, 808, 808, 808, 808, 808, 200, 198, 770, 787, 787, 787, 787, 787, 787, 787, 787, 196, 194, 193, 787, 192, 787, 190, 189, 186, 787, 787, 787, 787, 787, 787, 814, 814, 814, 814, 814, 814, 814, 816, 816, 816, 816, 816, 816, 816, 185, 184, 787, 790, 790, 790, 790, 790, 790, 790, 790, 182, 180, 179, 790, 176, 790, 175, 173, 172, 790, 790, 790, 790, 790, 790, 818, 818, 818, 818, 818, 818, 818, 820, 820, 820, 820, 820, 820, 820, 848, 171, 790, 793, 793, 793, 793, 793, 793, 793, 793, 170, 169, 848, 793, 168, 793, 167, 165, 163, 793, 793, 793, 793, 793, 793, 826, 826, 826, 826, 826, 826, 829, 829, 829, 829, 829, 829, 829, 848, 162, 158, 793, 796, 796, 796, 796, 796, 796, 796, 796, 157, 156, 155, 796, 154, 796, 152, 149, 148, 796, 796, 796, 796, 796, 796, 831, 831, 831, 831, 831, 831, 831, 833, 833, 833, 833, 833, 833, 833, 147, 952, 796, 801, 801, 801, 801, 801, 801, 801, 144, 142, 135, 801, 952, 134, 133, 132, 131, 801, 801, 801, 801, 801, 801, 802, 802, 802, 802, 802, 802, 802, 802, 130, 128, 127, 802, 126, 802, 124, 952, 122, 802, 802, 802, 802, 802, 802, 835, 835, 835, 835, 835, 835, 835, 842, 842, 842, 842, 842, 842, 956, 120, 119, 802, 807, 807, 807, 807, 807, 807, 807, 807, 118, 956, 117, 807, 115, 114, 113, 112, 111, 807, 807, 807, 807, 807, 807, 809, 809, 809, 809, 809, 809, 809, 809, 110, 108, 106, 809, 956, 809, 105, 104, 103, 809, 809, 809, 809, 809, 809, 845, 845, 845, 845, 845, 845, 845, 847, 847, 847, 847, 847, 847, 847, 102, 101, 809, 819, 819, 819, 819, 819, 819, 819, 819, 100, 99, 98, 819, 97, 96, 89, 88, 87, 819, 819, 819, 819, 819, 819, 821, 821, 821, 821, 821, 821, 821, 821, 85, 84, 83, 821, 82, 821, 81, 79, 77, 821, 821, 821, 821, 821, 821, 849, 849, 849, 849, 849, 849, 849, 851, 851, 851, 851, 851, 851, 851, 76, 74, 821, 834, 834, 834, 834, 834, 834, 834, 834, 73, 72, 71, 834, 70, 68, 67, 66, 51, 834, 834, 834, 834, 834, 834, 836, 836, 836, 836, 836, 836, 836, 836, 43, 42, 40, 836, 30, 836, 28, 18, 10, 836, 836, 836, 836, 836, 836, 857, 857, 857, 857, 857, 857, 859, 859, 859, 859, 859, 859, 8, 998, 3, 0, 836, 850, 850, 850, 850, 850, 850, 850, 850, 0, 998, 0, 850, 0, 0, 0, 0, 0, 850, 850, 850, 850, 850, 850, 852, 852, 852, 852, 852, 852, 852, 852, 0, 0, 0, 852, 998, 852, 0, 0, 0, 852, 852, 852, 852, 852, 852, 863, 863, 863, 863, 863, 863, 866, 866, 866, 866, 866, 866, 866, 1004, 0, 0, 852, 864, 864, 864, 864, 864, 864, 864, 864, 0, 1004, 0, 864, 0, 0, 0, 0, 0, 864, 864, 864, 864, 864, 864, 865, 865, 865, 865, 865, 865, 868, 869, 870, 872, 865, 875, 1004, 970, 0, 0, 865, 865, 865, 865, 865, 865, 973, 868, 869, 870, 872, 0, 875, 0, 970, 0, 0, 0, 868, 869, 870, 0, 1008, 973, 872, 970, 875, 881, 881, 881, 881, 881, 881, 0, 0, 1008, 0, 881, 973, 0, 0, 0, 0, 881, 881, 881, 881, 881, 881, 882, 882, 882, 882, 882, 882, 882, 882, 0, 0, 0, 882, 1008, 0, 0, 0, 0, 882, 882, 882, 882, 882, 882, 883, 883, 883, 883, 883, 883, 0, 0, 0, 0, 883, 0, 0, 0, 0, 0, 883, 883, 883, 883, 883, 883, 884, 884, 884, 884, 884, 884, 884, 885, 885, 885, 885, 885, 885, 885, 885, 0, 0, 0, 885, 0, 0, 0, 0, 0, 885, 885, 885, 885, 885, 885, 886, 886, 886, 886, 886, 886, 0, 0, 0, 0, 886, 0, 0, 0, 0, 0, 886, 886, 886, 886, 886, 886, 887, 887, 887, 887, 887, 887, 887, 888, 888, 888, 888, 888, 888, 888, 888, 0, 0, 0, 888, 0, 0, 0, 0, 0, 888, 888, 888, 888, 888, 888, 889, 889, 889, 889, 889, 889, 0, 0, 0, 0, 889, 0, 0, 0, 0, 0, 889, 889, 889, 889, 889, 889, 890, 890, 890, 890, 890, 890, 890, 891, 891, 891, 891, 891, 891, 891, 891, 0, 0, 0, 891, 0, 0, 0, 0, 0, 891, 891, 891, 891, 891, 891, 892, 892, 892, 892, 892, 892, 0, 0, 0, 0, 892, 0, 0, 0, 0, 0, 892, 892, 892, 892, 892, 892, 893, 893, 893, 893, 893, 893, 893, 895, 895, 895, 895, 895, 895, 895, 895, 0, 0, 0, 895, 0, 895, 0, 0, 0, 895, 895, 895, 895, 895, 895, 899, 899, 899, 899, 899, 899, 902, 902, 902, 902, 902, 902, 902, 0, 0, 0, 895, 900, 900, 900, 900, 900, 900, 900, 900, 0, 0, 0, 900, 0, 0, 0, 0, 0, 900, 900, 900, 900, 900, 900, 904, 904, 904, 904, 904, 904, 908, 908, 908, 908, 908, 908, 909, 909, 909, 909, 909, 909, 909, 909, 0, 0, 0, 909, 0, 0, 0, 0, 0, 909, 909, 909, 909, 909, 909, 911, 911, 911, 911, 911, 911, 911, 913, 913, 913, 913, 913, 913, 915, 915, 915, 915, 915, 915, 919, 919, 919, 919, 919, 919, 920, 920, 920, 920, 920, 920, 920, 920, 0, 0, 0, 920, 0, 0, 0, 0, 0, 920, 920, 920, 920, 920, 920, 922, 922, 922, 922, 922, 922, 922, 925, 925, 925, 925, 925, 925, 927, 927, 927, 927, 927, 927, 931, 931, 931, 931, 931, 931, 932, 932, 932, 932, 932, 932, 932, 932, 0, 0, 0, 932, 0, 0, 0, 0, 0, 932, 932, 932, 932, 932, 932, 934, 934, 934, 934, 934, 934, 934, 937, 937, 937, 937, 937, 937, 939, 939, 939, 939, 939, 939, 943, 943, 943, 943, 943, 943, 944, 944, 944, 944, 944, 944, 944, 944, 0, 0, 0, 944, 0, 0, 0, 0, 0, 944, 944, 944, 944, 944, 944, 946, 946, 946, 946, 946, 946, 946, 950, 950, 950, 950, 950, 950, 953, 953, 953, 953, 953, 953, 953, 955, 955, 955, 955, 955, 955, 955, 957, 957, 957, 957, 957, 957, 957, 958, 958, 958, 958, 958, 958, 958, 958, 0, 0, 0, 958, 0, 0, 0, 0, 0, 958, 958, 958, 958, 958, 958, 959, 959, 959, 959, 959, 959, 959, 960, 960, 960, 960, 960, 960, 960, 960, 0, 0, 0, 960, 0, 960, 0, 0, 0, 960, 960, 960, 960, 960, 960, 992, 992, 992, 992, 992, 992, 995, 995, 995, 995, 995, 995, 995, 0, 0, 1017, 960, 975, 975, 975, 975, 975, 975, 975, 0, 0, 0, 975, 1017, 0, 0, 0, 0, 975, 975, 975, 975, 975, 975, 976, 976, 976, 976, 976, 976, 976, 976, 0, 0, 0, 976, 0, 976, 0, 1017, 0, 976, 976, 976, 976, 976, 976, 999, 999, 999, 999, 999, 999, 999, 1001, 1001, 1001, 1001, 1001, 1001, 1001, 0, 0, 976, 979, 979, 979, 979, 979, 979, 979, 979, 0, 0, 0, 979, 0, 979, 0, 0, 0, 979, 979, 979, 979, 979, 979, 1005, 1005, 1005, 1005, 1005, 1005, 1005, 1007, 1007, 1007, 1007, 1007, 1007, 1007, 0, 0, 979, 982, 982, 982, 982, 982, 982, 982, 982, 0, 0, 0, 982, 0, 982, 0, 0, 0, 982, 982, 982, 982, 982, 982, 1009, 1009, 1009, 1009, 1009, 1009, 1009, 1011, 1011, 1011, 1011, 1011, 1011, 1011, 1021, 0, 982, 985, 985, 985, 985, 985, 985, 985, 985, 0, 0, 1021, 985, 0, 985, 0, 0, 0, 985, 985, 985, 985, 985, 985, 1015, 1015, 1015, 1015, 1015, 1015, 1018, 1018, 1018, 1018, 1018, 1018, 1018, 1021, 0, 0, 985, 988, 988, 988, 988, 988, 988, 988, 988, 0, 0, 0, 988, 0, 988, 0, 0, 0, 988, 988, 988, 988, 988, 988, 1020, 1020, 1020, 1020, 1020, 1020, 1020, 1022, 1022, 1022, 1022, 1022, 1022, 1022, 1031, 0, 988, 993, 993, 993, 993, 993, 993, 993, 993, 0, 0, 1031, 993, 0, 0, 0, 0, 0, 993, 993, 993, 993, 993, 993, 1000, 1000, 1000, 1000, 1000, 1000, 1000, 1000, 0, 0, 0, 1000, 0, 1031, 0, 0, 0, 1000, 1000, 1000, 1000, 1000, 1000, 1010, 1010, 1010, 1010, 1010, 1010, 1010, 1010, 0, 0, 0, 1010, 0, 0, 0, 0, 0, 1010, 1010, 1010, 1010, 1010, 1010, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 0, 0, 0, 1023, 0, 0, 0, 0, 0, 1023, 1023, 1023, 1023, 1023, 1023, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1029, 1029, 1029, 1029, 1029, 1029, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1034, 1034, 1034, 1034, 1034, 1034, 1034, 1035, 1036, 1036, 1036, 1036, 1036, 1036, 1036, 0, 0, 0, 0, 0, 1035, 1038, 1038, 1038, 1038, 1038, 1038, 1038, 1043, 1043, 1043, 1043, 1043, 1043, 1046, 1046, 1046, 1046, 1046, 1046, 1046, 0, 1045, 1049, 0, 0, 1035, 1037, 1037, 1037, 1037, 1037, 1037, 1037, 1037, 1045, 1049, 0, 1037, 0, 0, 0, 0, 0, 1037, 1037, 1037, 1037, 1037, 1037, 1048, 1048, 1048, 1048, 1048, 1048, 1048, 0, 0, 0, 0, 1045, 1049, 1050, 1050, 1050, 1050, 1050, 1050, 1050, 1051, 1051, 1051, 1051, 1051, 1051, 1051, 1051, 0, 0, 0, 1051, 0, 0, 0, 0, 0, 1051, 1051, 1051, 1051, 1051, 1051, 1052, 1052, 1052, 1052, 1052, 1052, 1052, 1056, 1056, 1056, 1056, 1056, 1056, 1058, 1058, 1058, 1058, 1058, 1058, 1062, 1062, 1062, 1062, 1062, 1062, 1063, 1063, 1063, 1063, 1063, 1063, 1063, 1063, 0, 0, 0, 1063, 0, 1073, 1074, 0, 0, 1063, 1063, 1063, 1063, 1063, 1063, 1065, 1065, 1065, 1065, 1065, 1065, 1065, 1073, 1074, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 0, 0, 0, 1074, 1073, 1075, 1075, 1075, 1075, 1075, 1075, 1075, 1075, 0, 0, 0, 1075, 0, 1075, 0, 0, 0, 1075, 1075, 1075, 1075, 1075, 1075, 1084, 1084, 1084, 1084, 1084, 1084, 1084, 1087, 1087, 1087, 1087, 1087, 1087, 1087, 1094, 0, 1075, 1079, 1079, 1079, 1079, 1079, 1079, 1079, 1079, 0, 0, 1094, 1079, 0, 0, 0, 0, 0, 1079, 1079, 1079, 1079, 1079, 1079, 1082, 1082, 1082, 1082, 1082, 1082, 1082, 1082, 0, 0, 0, 1082, 0, 1094, 0, 0, 0, 1082, 1082, 1082, 1082, 1082, 1082, 1085, 1085, 1085, 1085, 1085, 1085, 1085, 1085, 0, 0, 0, 1085, 0, 0, 0, 0, 0, 1085, 1085, 1085, 1085, 1085, 1085, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 0, 0, 0, 1088, 0, 0, 0, 0, 0, 1088, 1088, 1088, 1088, 1088, 1088, 1090, 1090, 1090, 1090, 1090, 1090, 1090, 1091, 1091, 1091, 1091, 1091, 1091, 1091, 1091, 0, 0, 0, 1091, 0, 0, 0, 0, 0, 1091, 1091, 1091, 1091, 1091, 1091, 1093, 1093, 1093, 1093, 1093, 1093, 1093, 1095, 1095, 1095, 1095, 1095, 1095, 1095, 1096, 1096, 1096, 1096, 1096, 1096, 1096, 1096, 0, 0, 0, 1096, 0, 0, 0, 0, 0, 1096, 1096, 1096, 1096, 1096, 1096, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1102, 1102, 1102, 1102, 1102, 1102, 1107, 1107, 1107, 1107, 1107, 1107, 1109, 1109, 1109, 1109, 1109, 1109, 1115, 1115, 1115, 1115, 1115, 1115, 1117, 1117, 1117, 1117, 1117, 1117, 1123, 1123, 1123, 1123, 1123, 1123, 1125, 1125, 1125, 1125, 1125, 1125, 1131, 1131, 1131, 1131, 1131, 1131, 1133, 1133, 1133, 1133, 1133, 1133, 1140, 1140, 1140, 1140, 1140, 1140, 1142, 1143, 1143, 1143, 1143, 1143, 1143, 1143, 1146, 0, 0, 0, 0, 1142, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1146, 1147, 1147, 1147, 1147, 1147, 1147, 1147, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 0, 0, 0, 1142, 1158, 1158, 1158, 1158, 1158, 1158, 1158, 1146, 1148, 1148, 1148, 1148, 1148, 1148, 1148, 1148, 0, 0, 0, 1148, 0, 0, 0, 0, 0, 1148, 1148, 1148, 1148, 1148, 1148, 1156, 1156, 1156, 1156, 1156, 1156, 1156, 1156, 0, 0, 0, 1156, 0, 0, 0, 0, 1171, 1156, 1156, 1156, 1156, 1156, 1156, 1165, 1165, 1165, 1165, 1165, 1165, 1171, 1172, 1172, 1172, 1172, 1172, 1172, 1172, 1174, 1174, 1174, 1174, 1174, 1174, 1174, 1177, 1177, 1177, 1177, 1177, 1177, 1179, 0, 0, 0, 0, 1171, 1180, 1180, 1180, 1180, 1180, 1180, 1180, 1179, 1182, 1182, 1182, 1182, 1182, 1182, 1182, 1186, 1186, 1186, 1186, 1186, 1186, 1188, 1189, 1189, 1189, 1189, 1189, 1189, 1189, 0, 0, 0, 0, 1179, 1188, 1191, 1191, 1191, 1191, 1191, 1191, 1191, 1195, 1195, 1195, 1195, 1195, 1195, 1197, 1198, 1198, 1198, 1198, 1198, 1198, 1198, 0, 0, 0, 0, 1188, 1197, 1200, 1200, 1200, 1200, 1200, 1200, 1200, 1204, 1204, 1204, 1204, 1204, 1204, 1206, 1207, 1207, 1207, 1207, 1207, 1207, 1207, 0, 0, 0, 0, 1197, 1206, 1209, 1209, 1209, 1209, 1209, 1209, 1209, 1212, 1212, 1212, 1212, 1212, 1212, 1214, 1214, 1214, 1214, 1214, 1214, 1231, 0, 0, 0, 0, 0, 1206, 1237, 1237, 1237, 1237, 1237, 1237, 1231, 1232, 1232, 1232, 1232, 1232, 1232, 1232, 1234, 1234, 1234, 1234, 1234, 1234, 1234, 1241, 1241, 1241, 1241, 1241, 1241, 0, 0, 0, 0, 0, 1231, 1245, 1245, 1245, 1245, 1245, 1245, 1249, 1249, 1249, 1249, 1249, 1249, 1253, 1253, 1253, 1253, 1253, 1253, 1258, 1258, 1258, 1258, 1258, 1258, 1260, 1261, 1261, 1261, 1261, 1261, 1261, 1261, 0, 0, 0, 0, 0, 1260, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1269, 1269, 1269, 1269, 1269, 1269, 1272, 1272, 1272, 1272, 1272, 1272, 1276, 1276, 1276, 1276, 1276, 1276, 1260, 1280, 1280, 1280, 1280, 1280, 1280, 1284, 1284, 1284, 1284, 1284, 1284, 1288, 1288, 1288, 1288, 1288, 1288, 1291, 1291, 1291, 1291, 1291, 1291, 1296, 1296, 1296, 1296, 1296, 1296, 1305, 1305, 1305, 1305, 1305, 1305, 1317, 0, 0, 0, 0, 1317, 1317, 1317, 1318, 0, 1318, 1318, 1318, 1318, 1318, 1318, 1318, 1319, 0, 1319, 1320, 1320, 1320, 1321, 1321, 1321, 1322, 1322, 1322, 1323, 1323, 1323, 1324, 1324, 1324, 1325, 1325, 1325, 1326, 1326, 1326, 1327, 1327, 1327, 1328, 0, 1328, 1329, 1329, 1329, 1330, 1330, 1330, 1331, 1331, 1331, 1332, 0, 1332, 1333, 1333, 1333, 1334, 1334, 0, 0, 1334, 1335, 1335, 1335, 1336, 1336, 1336, 1337, 1337, 1337, 1338, 1338, 1338, 1339, 1339, 1339, 1340, 1340, 1340, 1341, 1341, 0, 0, 1341, 1342, 1342, 1342, 1343, 0, 1343, 1344, 1344, 1344, 1345, 0, 1345, 1346, 1346, 1346, 1347, 1347, 1347, 1348, 1348, 1348, 1349, 0, 1349, 1350, 0, 1350, 1351, 1351, 1351, 1352, 0, 1352, 1353, 1353, 0, 0, 1353, 1354, 1354, 0, 0, 1354, 1355, 1355, 1355, 1356, 1356, 1356, 1357, 1357, 1357, 1358, 1358, 1358, 1359, 1359, 1359, 1360, 1360, 1360, 1361, 1361, 1361, 1362, 1362, 1362, 1363, 1363, 0, 0, 1363, 1364, 1364, 1364, 1365, 1365, 0, 0, 1365, 1366, 1366, 0, 0, 1366, 1367, 1367, 1367, 1368, 0, 1368, 1369, 0, 1369, 1370, 1370, 1370, 1371, 0, 1371, 1372, 1372, 1372, 1373, 1373, 1373, 1374, 1374, 1374, 1375, 0, 1375, 1376, 0, 1376, 1377, 1377, 1377, 1378, 0, 1378, 1379, 0, 1379, 1380, 0, 1380, 1381, 1381, 1381, 1382, 0, 1382, 1383, 0, 0, 1383, 1384, 1384, 0, 0, 1384, 1385, 1385, 0, 1385, 1386, 1386, 0, 0, 1386, 1387, 1387, 1387, 1388, 1388, 0, 1388, 1389, 1389, 1389, 0, 1389, 1389, 1390, 1390, 1390, 1391, 1391, 1391, 1392, 1392, 1392, 1393, 1393, 1393, 1394, 1394, 1394, 1395, 1395, 1395, 1396, 1396, 1396, 1397, 1397, 1397, 1398, 1398, 0, 0, 1398, 1399, 1399, 1399, 1400, 1400, 0, 1400, 1401, 1401, 0, 0, 1401, 1402, 1402, 0, 1402, 1403, 1403, 0, 0, 1403, 1404, 1404, 1404, 1405, 1405, 0, 1405, 1406, 0, 0, 1406, 1407, 1407, 0, 1407, 1408, 1408, 0, 0, 1408, 1409, 1409, 0, 1409, 1410, 1410, 0, 0, 1410, 1411, 1411, 1411, 1412, 1412, 0, 1412, 1413, 0, 1413, 1414, 0, 1414, 1415, 0, 1415, 1416, 1416, 1416, 1417, 0, 1417, 1418, 1418, 1418, 0, 1418, 1418, 1419, 1419, 1419, 1420, 1420, 1420, 1421, 1421, 1421, 1422, 0, 1422, 1423, 0, 1423, 1424, 1424, 1424, 1425, 0, 1425, 1426, 0, 1426, 1427, 0, 1427, 1428, 1428, 1428, 1429, 0, 1429, 1430, 0, 1430, 1431, 0, 1431, 1432, 0, 1432, 1433, 1433, 1433, 1434, 0, 1434, 1435, 0, 1435, 1436, 0, 0, 1436, 1437, 1437, 0, 1437, 1438, 1438, 0, 0, 1438, 1439, 1439, 0, 1439, 1440, 1440, 0, 0, 1440, 1441, 1441, 1441, 1442, 1442, 0, 1442, 1443, 1443, 1443, 0, 1443, 1443, 1444, 1444, 1444, 1445, 1445, 1445, 1446, 1446, 1446, 1447, 1447, 1447, 1448, 1448, 1448, 1449, 1449, 1449, 1450, 1450, 1450, 1451, 1451, 1451, 1452, 1452, 0, 0, 1452, 1453, 1453, 1453, 1454, 1454, 0, 1454, 1455, 1455, 0, 0, 1455, 1456, 1456, 0, 1456, 1457, 1457, 0, 0, 1457, 1458, 1458, 1458, 1459, 1459, 0, 1459, 1460, 0, 0, 1460, 1461, 1461, 0, 1461, 1462, 1462, 0, 0, 1462, 1463, 1463, 0, 1463, 1464, 1464, 0, 0, 1464, 1465, 1465, 1465, 1466, 1466, 0, 1466, 1467, 0, 1467, 1468, 0, 0, 1468, 1469, 1469, 0, 1469, 1470, 1470, 0, 0, 1470, 1471, 1471, 0, 1471, 1472, 1472, 0, 0, 1472, 1473, 1473, 1473, 1474, 1474, 0, 1474, 1475, 0, 1475, 1476, 0, 1476, 1477, 0, 1477, 1478, 1478, 1478, 1479, 0, 1479, 1480, 1480, 1480, 0, 1480, 1480, 1481, 1481, 1481, 1482, 1482, 1482, 1483, 1483, 1483, 1484, 1484, 1484, 1485, 1485, 1485, 1486, 0, 1486, 1487, 0, 1487, 1488, 1488, 1488, 1489, 1489, 1489, 1490, 0, 1490, 1491, 0, 1491, 1492, 0, 1492, 1493, 1493, 1493, 1494, 1494, 1494, 1495, 0, 1495, 1496, 0, 1496, 1497, 0, 1497, 1498, 0, 1498, 1499, 1499, 1499, 1500, 1500, 1500, 1501, 0, 1501, 1502, 0, 1502, 1503, 0, 1503, 1504, 0, 1504, 1505, 1505, 1505, 1506, 1506, 1506, 1507, 0, 1507, 1508, 0, 1508, 1509, 0, 0, 1509, 1510, 1510, 0, 1510, 1511, 1511, 0, 0, 1511, 1512, 1512, 0, 1512, 1513, 1513, 0, 0, 1513, 1514, 1514, 1514, 1515, 1515, 0, 1515, 1516, 1516, 1516, 0, 1516, 1516, 1517, 1517, 1517, 1518, 1518, 1518, 1519, 1519, 1519, 1520, 1520, 1520, 1521, 1521, 1521, 1522, 1522, 1522, 1523, 1523, 1523, 1524, 0, 1524, 1525, 1525, 1525, 1526, 1526, 0, 0, 1526, 1527, 1527, 1527, 1528, 1528, 0, 1528, 1529, 1529, 0, 0, 1529, 1530, 1530, 0, 1530, 1531, 1531, 0, 0, 1531, 1532, 1532, 1532, 1533, 1533, 0, 1533, 1534, 0, 0, 1534, 1535, 1535, 0, 1535, 1536, 1536, 0, 0, 1536, 1537, 1537, 0, 1537, 1538, 1538, 0, 0, 1538, 1539, 1539, 1539, 1540, 1540, 0, 1540, 1541, 0, 1541, 1542, 0, 0, 1542, 1543, 1543, 0, 1543, 1544, 1544, 0, 0, 1544, 1545, 1545, 0, 1545, 1546, 1546, 0, 0, 1546, 1547, 1547, 1547, 1548, 1548, 0, 1548, 1549, 0, 1549, 1550, 0, 0, 1550, 1551, 1551, 0, 1551, 1552, 1552, 0, 0, 1552, 1553, 1553, 0, 1553, 1554, 1554, 0, 0, 1554, 1555, 1555, 1555, 1556, 1556, 0, 1556, 1557, 0, 1557, 1558, 0, 1558, 1559, 0, 1559, 1560, 1560, 1560, 1561, 0, 1561, 1562, 0, 1562, 1563, 1563, 1563, 0, 1563, 1563, 1564, 0, 1564, 1565, 1565, 1565, 1566, 0, 1566, 1567, 0, 1567, 1568, 0, 1568, 1569, 0, 1569, 1570, 0, 1570, 1571, 1571, 0, 0, 1571, 1572, 1572, 1572, 1573, 1573, 1573, 1574, 1574, 0, 1574, 1575, 1575, 1575, 1576, 0, 1576, 1577, 1577, 1577, 1578, 1578, 1578, 1579, 0, 1579, 1580, 0, 1580, 1581, 1581, 1581, 1582, 1582, 1582, 1583, 0, 1583, 1584, 0, 1584, 1585, 0, 1585, 1586, 1586, 1586, 1587, 1587, 1587, 1588, 0, 1588, 1589, 0, 1589, 1590, 0, 1590, 1591, 1591, 1591, 1592, 1592, 1592, 1593, 0, 1593, 1594, 0, 1594, 1595, 0, 1595, 1596, 1596, 1596, 1597, 1597, 1597, 1598, 0, 1598, 1599, 0, 0, 1599, 1600, 1600, 0, 1600, 1601, 1601, 0, 0, 1601, 1602, 1602, 0, 1602, 1603, 1603, 0, 0, 1603, 1604, 0, 1604, 1605, 1605, 0, 1605, 1606, 1606, 1606, 0, 1606, 1606, 1607, 1607, 1607, 1608, 0, 1608, 1609, 0, 1609, 1610, 0, 1610, 1611, 0, 1611, 1612, 0, 1612, 1613, 0, 1613, 1614, 0, 1614, 1615, 1615, 1615, 1616, 1616, 1616, 1617, 0, 1617, 1618, 1618, 0, 0, 1618, 1619, 1619, 0, 1619, 1620, 0, 1620, 1621, 0, 0, 1621, 1622, 1622, 0, 1622, 1623, 1623, 0, 0, 1623, 1624, 1624, 0, 1624, 1625, 0, 1625, 1626, 0, 1626, 1627, 0, 0, 1627, 1628, 1628, 0, 1628, 1629, 1629, 0, 0, 1629, 1630, 1630, 0, 1630, 1631, 0, 1631, 1632, 0, 1632, 1633, 0, 0, 1633, 1634, 1634, 0, 1634, 1635, 1635, 0, 0, 1635, 1636, 1636, 0, 1636, 1637, 0, 1637, 1638, 0, 1638, 1639, 0, 0, 1639, 1640, 1640, 0, 1640, 1641, 1641, 0, 0, 1641, 1642, 1642, 0, 1642, 1643, 0, 1643, 1644, 0, 1644, 1645, 0, 1645, 1646, 0, 1646, 1647, 1647, 1647, 1648, 0, 1648, 1649, 1649, 1649, 0, 1649, 1649, 1650, 0, 1650, 1651, 0, 1651, 1652, 0, 1652, 1653, 0, 1653, 1654, 0, 1654, 1655, 0, 1655, 1656, 0, 1656, 1657, 1657, 0, 0, 1657, 1658, 1658, 0, 1658, 1659, 0, 1659, 1660, 0, 1660, 1661, 0, 1661, 1662, 0, 1662, 1663, 0, 1663, 1664, 0, 1664, 1665, 0, 1665, 1666, 0, 1666, 1667, 0, 1667, 1668, 0, 1668, 1669, 0, 0, 1669, 1670, 1670, 0, 0, 1670, 1671, 0, 1671, 1672, 0, 1672, 1673, 0, 1673, 1674, 0, 0, 1674, 1675, 0, 0, 1675, 1676, 0, 0, 1676, 1677, 0, 0, 1677, 1678, 0, 0, 1678, 1679, 0, 1679, 1680, 0, 1680, 1681, 0, 0, 1681, 1682, 0, 1682, 1683, 0, 1683, 1684, 0, 1684, 1685, 0, 1685, 1686, 0, 1686, 1687, 0, 0, 1687, 1688, 0, 1688, 1689, 0, 1689, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316 } ; 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 "scanner.l" #define INITIAL 0 #line 2 "scanner.l" /* * Copyright (c) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997 * The Regents of the University of California. All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that: (1) source code distributions * retain the above copyright notice and this paragraph in its entirety, (2) * distributions including binary code include the above copyright notice and * this paragraph in its entirety in the documentation or other materials * provided with the distribution, and (3) all advertising materials mentioning * features or use of this software display the following acknowledgement: * ``This product includes software developed by the University of California, * Lawrence Berkeley Laboratory and its contributors.'' Neither the name of * the University nor the names of its contributors may be used to endorse * or promote products derived from this software without specific prior * written permission. * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. */ #ifndef lint static const char rcsid[] _U_ = "@(#) $Header$ (LBL)"; #endif #ifdef HAVE_CONFIG_H #include "config.h" #endif #include #include #include "pcap-int.h" #include "gencode.h" #ifdef INET6 #ifdef WIN32 #include #ifdef __MINGW32__ #include "IP6_misc.h" #endif #else /* WIN32 */ #include /* for "struct sockaddr" in "struct addrinfo" */ #include /* for "struct addrinfo" */ #endif /* WIN32 */ /* Workaround for AIX 4.3 */ #if !defined(AI_NUMERICHOST) #define AI_NUMERICHOST 0x04 #endif #endif /*INET6*/ #include #include "tokdefs.h" #ifdef HAVE_OS_PROTO_H #include "os-proto.h" #endif static int stoi(char *); static inline int xdtoi(int); #ifdef FLEX_SCANNER #define YY_NO_UNPUT static YY_BUFFER_STATE in_buffer; #else static char *in_buffer; #undef getc #define getc(fp) (*in_buffer == 0 ? EOF : *in_buffer++) #endif #define yylval pcap_lval extern YYSTYPE yylval; /* 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 #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 \ YY_USER_ACTION YY_DECL { register yy_state_type yy_current_state; register char *yy_cp = NULL, *yy_bp = NULL; register int yy_act; #line 169 "scanner.l" 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_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 >= 1317 ) 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] != 6592 ); 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 170 "scanner.l" return DST; YY_BREAK case 2: YY_RULE_SETUP #line 171 "scanner.l" return SRC; YY_BREAK case 3: YY_RULE_SETUP #line 173 "scanner.l" return LINK; YY_BREAK case 4: YY_RULE_SETUP #line 174 "scanner.l" return LINK; YY_BREAK case 5: YY_RULE_SETUP #line 175 "scanner.l" return ARP; YY_BREAK case 6: YY_RULE_SETUP #line 176 "scanner.l" return RARP; YY_BREAK case 7: YY_RULE_SETUP #line 177 "scanner.l" return IP; YY_BREAK case 8: YY_RULE_SETUP #line 178 "scanner.l" return SCTP; YY_BREAK case 9: YY_RULE_SETUP #line 179 "scanner.l" return TCP; YY_BREAK case 10: YY_RULE_SETUP #line 180 "scanner.l" return UDP; YY_BREAK case 11: YY_RULE_SETUP #line 181 "scanner.l" return ICMP; YY_BREAK case 12: YY_RULE_SETUP #line 182 "scanner.l" return IGMP; YY_BREAK case 13: YY_RULE_SETUP #line 183 "scanner.l" return IGRP; YY_BREAK case 14: YY_RULE_SETUP #line 184 "scanner.l" return PIM; YY_BREAK case 15: YY_RULE_SETUP #line 185 "scanner.l" return VRRP; YY_BREAK case 16: YY_RULE_SETUP #line 186 "scanner.l" return RADIO; YY_BREAK case 17: YY_RULE_SETUP #line 188 "scanner.l" { #ifdef INET6 return IPV6; #else bpf_error("%s not supported", yytext); #endif } YY_BREAK case 18: YY_RULE_SETUP #line 195 "scanner.l" { #ifdef INET6 return ICMPV6; #else bpf_error("%s not supported", yytext); #endif } YY_BREAK case 19: YY_RULE_SETUP #line 202 "scanner.l" return AH; YY_BREAK case 20: YY_RULE_SETUP #line 203 "scanner.l" return ESP; YY_BREAK case 21: YY_RULE_SETUP #line 205 "scanner.l" return ATALK; YY_BREAK case 22: YY_RULE_SETUP #line 206 "scanner.l" return AARP; YY_BREAK case 23: YY_RULE_SETUP #line 207 "scanner.l" return DECNET; YY_BREAK case 24: YY_RULE_SETUP #line 208 "scanner.l" return LAT; YY_BREAK case 25: YY_RULE_SETUP #line 209 "scanner.l" return SCA; YY_BREAK case 26: YY_RULE_SETUP #line 210 "scanner.l" return MOPRC; YY_BREAK case 27: YY_RULE_SETUP #line 211 "scanner.l" return MOPDL; YY_BREAK case 28: YY_RULE_SETUP #line 213 "scanner.l" return ISO; YY_BREAK case 29: YY_RULE_SETUP #line 214 "scanner.l" return ESIS; YY_BREAK case 30: YY_RULE_SETUP #line 215 "scanner.l" return ESIS; YY_BREAK case 31: YY_RULE_SETUP #line 216 "scanner.l" return ISIS; YY_BREAK case 32: YY_RULE_SETUP #line 217 "scanner.l" return ISIS; YY_BREAK case 33: YY_RULE_SETUP #line 218 "scanner.l" return L1; YY_BREAK case 34: YY_RULE_SETUP #line 219 "scanner.l" return L2; YY_BREAK case 35: YY_RULE_SETUP #line 220 "scanner.l" return IIH; YY_BREAK case 36: YY_RULE_SETUP #line 221 "scanner.l" return LSP; YY_BREAK case 37: YY_RULE_SETUP #line 222 "scanner.l" return SNP; YY_BREAK case 38: YY_RULE_SETUP #line 223 "scanner.l" return CSNP; YY_BREAK case 39: YY_RULE_SETUP #line 224 "scanner.l" return PSNP; YY_BREAK case 40: YY_RULE_SETUP #line 226 "scanner.l" return CLNP; YY_BREAK case 41: YY_RULE_SETUP #line 228 "scanner.l" return STP; YY_BREAK case 42: YY_RULE_SETUP #line 230 "scanner.l" return IPX; YY_BREAK case 43: YY_RULE_SETUP #line 232 "scanner.l" return NETBEUI; YY_BREAK case 44: YY_RULE_SETUP #line 234 "scanner.l" return HOST; YY_BREAK case 45: YY_RULE_SETUP #line 235 "scanner.l" return NET; YY_BREAK case 46: YY_RULE_SETUP #line 236 "scanner.l" return NETMASK; YY_BREAK case 47: YY_RULE_SETUP #line 237 "scanner.l" return PORT; YY_BREAK case 48: YY_RULE_SETUP #line 238 "scanner.l" return PORTRANGE; YY_BREAK case 49: YY_RULE_SETUP #line 239 "scanner.l" return PROTO; YY_BREAK case 50: YY_RULE_SETUP #line 240 "scanner.l" { #ifdef NO_PROTOCHAIN bpf_error("%s not supported", yytext); #else return PROTOCHAIN; #endif } YY_BREAK case 51: YY_RULE_SETUP #line 248 "scanner.l" return GATEWAY; YY_BREAK case 52: YY_RULE_SETUP #line 250 "scanner.l" return LESS; YY_BREAK case 53: YY_RULE_SETUP #line 251 "scanner.l" return GREATER; YY_BREAK case 54: YY_RULE_SETUP #line 252 "scanner.l" return CBYTE; YY_BREAK case 55: YY_RULE_SETUP #line 253 "scanner.l" return TK_BROADCAST; YY_BREAK case 56: YY_RULE_SETUP #line 254 "scanner.l" return TK_MULTICAST; YY_BREAK case 57: YY_RULE_SETUP #line 256 "scanner.l" return AND; YY_BREAK case 58: YY_RULE_SETUP #line 257 "scanner.l" return OR; YY_BREAK case 59: YY_RULE_SETUP #line 258 "scanner.l" return '!'; YY_BREAK case 60: YY_RULE_SETUP #line 260 "scanner.l" return LEN; YY_BREAK case 61: YY_RULE_SETUP #line 261 "scanner.l" return INBOUND; YY_BREAK case 62: YY_RULE_SETUP #line 262 "scanner.l" return OUTBOUND; YY_BREAK case 63: YY_RULE_SETUP #line 264 "scanner.l" return VLAN; YY_BREAK case 64: YY_RULE_SETUP #line 265 "scanner.l" return MPLS; YY_BREAK case 65: YY_RULE_SETUP #line 267 "scanner.l" return LANE; YY_BREAK case 66: YY_RULE_SETUP #line 268 "scanner.l" return LLC; YY_BREAK case 67: YY_RULE_SETUP #line 269 "scanner.l" return METAC; YY_BREAK case 68: YY_RULE_SETUP #line 270 "scanner.l" return BCC; YY_BREAK case 69: YY_RULE_SETUP #line 271 "scanner.l" return OAM; YY_BREAK case 70: YY_RULE_SETUP #line 272 "scanner.l" return OAMF4; YY_BREAK case 71: YY_RULE_SETUP #line 273 "scanner.l" return OAMF4EC; YY_BREAK case 72: YY_RULE_SETUP #line 274 "scanner.l" return OAMF4SC; YY_BREAK case 73: YY_RULE_SETUP #line 275 "scanner.l" return SC; YY_BREAK case 74: YY_RULE_SETUP #line 276 "scanner.l" return ILMIC; YY_BREAK case 75: YY_RULE_SETUP #line 277 "scanner.l" return VPI; YY_BREAK case 76: YY_RULE_SETUP #line 278 "scanner.l" return VCI; YY_BREAK case 77: YY_RULE_SETUP #line 279 "scanner.l" return CONNECTMSG; YY_BREAK case 78: YY_RULE_SETUP #line 280 "scanner.l" return METACONNECT; YY_BREAK case 79: YY_RULE_SETUP #line 282 "scanner.l" return PF_IFNAME; YY_BREAK case 80: YY_RULE_SETUP #line 283 "scanner.l" return PF_RSET; YY_BREAK case 81: YY_RULE_SETUP #line 284 "scanner.l" return PF_RNR; YY_BREAK case 82: YY_RULE_SETUP #line 285 "scanner.l" return PF_SRNR; YY_BREAK case 83: YY_RULE_SETUP #line 286 "scanner.l" return PF_REASON; YY_BREAK case 84: YY_RULE_SETUP #line 287 "scanner.l" return PF_ACTION; YY_BREAK case 85: YY_RULE_SETUP #line 289 "scanner.l" return SIO; YY_BREAK case 86: YY_RULE_SETUP #line 290 "scanner.l" return OPC; YY_BREAK case 87: YY_RULE_SETUP #line 291 "scanner.l" return DPC; YY_BREAK case 88: YY_RULE_SETUP #line 292 "scanner.l" return SLS; YY_BREAK case 89: YY_RULE_SETUP #line 294 "scanner.l" ; YY_BREAK case 90: YY_RULE_SETUP #line 295 "scanner.l" return yytext[0]; YY_BREAK case 91: YY_RULE_SETUP #line 296 "scanner.l" return GEQ; YY_BREAK case 92: YY_RULE_SETUP #line 297 "scanner.l" return LEQ; YY_BREAK case 93: YY_RULE_SETUP #line 298 "scanner.l" return NEQ; YY_BREAK case 94: YY_RULE_SETUP #line 299 "scanner.l" return '='; YY_BREAK case 95: YY_RULE_SETUP #line 300 "scanner.l" return LSH; YY_BREAK case 96: YY_RULE_SETUP #line 301 "scanner.l" return RSH; YY_BREAK case 97: YY_RULE_SETUP #line 302 "scanner.l" { yylval.e = pcap_ether_aton(((char *)yytext)+1); return AID; } YY_BREAK case 98: YY_RULE_SETUP #line 304 "scanner.l" { yylval.i = stoi((char *)yytext); return NUM; } YY_BREAK case 99: YY_RULE_SETUP #line 305 "scanner.l" { yylval.s = sdup((char *)yytext); return HID; } YY_BREAK case 100: YY_RULE_SETUP #line 307 "scanner.l" { yylval.e = pcap_ether_aton((char *)yytext); return EID; } YY_BREAK case 101: YY_RULE_SETUP #line 309 "scanner.l" { #ifdef INET6 struct addrinfo hints, *res; memset(&hints, 0, sizeof(hints)); hints.ai_family = AF_INET6; hints.ai_flags = AI_NUMERICHOST; if (getaddrinfo(yytext, NULL, &hints, &res)) bpf_error("bogus IPv6 address %s", yytext); else { yylval.s = sdup((char *)yytext); return HID6; } #else bpf_error("IPv6 address %s not supported", yytext); #endif /*INET6*/ } YY_BREAK case 102: YY_RULE_SETUP #line 324 "scanner.l" { bpf_error("bogus ethernet address %s", yytext); } YY_BREAK case 103: YY_RULE_SETUP #line 325 "scanner.l" { yylval.i = 0; return NUM; } YY_BREAK case 104: YY_RULE_SETUP #line 326 "scanner.l" { yylval.i = 1; return NUM; } YY_BREAK case 105: YY_RULE_SETUP #line 327 "scanner.l" { yylval.i = 0; return NUM; } YY_BREAK case 106: YY_RULE_SETUP #line 328 "scanner.l" { yylval.i = 3; return NUM; } YY_BREAK case 107: YY_RULE_SETUP #line 329 "scanner.l" { yylval.i = 4; return NUM; } YY_BREAK case 108: YY_RULE_SETUP #line 330 "scanner.l" { yylval.i = 5; return NUM; } YY_BREAK case 109: YY_RULE_SETUP #line 331 "scanner.l" { yylval.i = 8; return NUM; } YY_BREAK case 110: YY_RULE_SETUP #line 332 "scanner.l" { yylval.i = 9; return NUM; } YY_BREAK case 111: YY_RULE_SETUP #line 333 "scanner.l" { yylval.i = 10; return NUM; } YY_BREAK case 112: YY_RULE_SETUP #line 334 "scanner.l" { yylval.i = 11; return NUM; } YY_BREAK case 113: YY_RULE_SETUP #line 335 "scanner.l" { yylval.i = 12; return NUM; } YY_BREAK case 114: YY_RULE_SETUP #line 336 "scanner.l" { yylval.i = 13; return NUM; } YY_BREAK case 115: YY_RULE_SETUP #line 337 "scanner.l" { yylval.i = 14; return NUM; } YY_BREAK case 116: YY_RULE_SETUP #line 338 "scanner.l" { yylval.i = 15; return NUM; } YY_BREAK case 117: YY_RULE_SETUP #line 339 "scanner.l" { yylval.i = 16; return NUM; } YY_BREAK case 118: YY_RULE_SETUP #line 340 "scanner.l" { yylval.i = 17; return NUM; } YY_BREAK case 119: YY_RULE_SETUP #line 341 "scanner.l" { yylval.i = 18; return NUM; } YY_BREAK case 120: YY_RULE_SETUP #line 342 "scanner.l" { yylval.i = 13; return NUM; } YY_BREAK case 121: YY_RULE_SETUP #line 343 "scanner.l" { yylval.i = 0x01; return NUM; } YY_BREAK case 122: YY_RULE_SETUP #line 344 "scanner.l" { yylval.i = 0x02; return NUM; } YY_BREAK case 123: YY_RULE_SETUP #line 345 "scanner.l" { yylval.i = 0x04; return NUM; } YY_BREAK case 124: YY_RULE_SETUP #line 346 "scanner.l" { yylval.i = 0x08; return NUM; } YY_BREAK case 125: YY_RULE_SETUP #line 347 "scanner.l" { yylval.i = 0x10; return NUM; } YY_BREAK case 126: YY_RULE_SETUP #line 348 "scanner.l" { yylval.i = 0x20; return NUM; } YY_BREAK case 127: YY_RULE_SETUP #line 349 "scanner.l" { yylval.s = sdup((char *)yytext); return ID; } YY_BREAK case 128: YY_RULE_SETUP #line 351 "scanner.l" { yylval.s = sdup((char *)yytext + 1); return ID; } YY_BREAK case 129: YY_RULE_SETUP #line 352 "scanner.l" { bpf_error("illegal token: %s", yytext); } YY_BREAK case 130: YY_RULE_SETUP #line 354 "scanner.l" { bpf_error("illegal char '%c'", *yytext); } YY_BREAK case 131: YY_RULE_SETUP #line 355 "scanner.l" ECHO; YY_BREAK 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; 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 >= 1317 ) 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 >= 1317 ) 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 == 1316); 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 */ #ifndef YY_NO_INPUT #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; return c; } #endif /* YY_NO_INPUT */ #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 ); } #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 355 "scanner.l" void lex_init(buf) char *buf; { #ifdef FLEX_SCANNER in_buffer = yy_scan_string(buf); #else in_buffer = buf; #endif } /* * Do any cleanup necessary after parsing. */ void lex_cleanup() { #ifdef FLEX_SCANNER if (in_buffer != NULL) yy_delete_buffer(in_buffer); in_buffer = NULL; #endif } /* * Also define a yywrap. Note that if we're using flex, it will * define a macro to map this identifier to pcap_wrap. */ int yywrap() { return 1; } /* Hex digit to integer. */ static inline int xdtoi(c) register int c; { if (isdigit(c)) return c - '0'; else if (islower(c)) return c - 'a' + 10; else return c - 'A' + 10; } /* * Convert string to integer. Just like atoi(), but checks for * preceding 0x or 0 and uses hex or octal instead of decimal. */ static int stoi(s) char *s; { int base = 10; int n = 0; if (*s == '0') { if (s[1] == 'x' || s[1] == 'X') { s += 2; base = 16; } else { base = 8; s += 1; } } while (*s) n = n * base + xdtoi(*s++); return n; }