#define yy_create_buffer pcap__create_buffer #define yy_delete_buffer pcap__delete_buffer #define yy_scan_buffer pcap__scan_buffer #define yy_scan_string pcap__scan_string #define yy_scan_bytes pcap__scan_bytes #define yy_flex_debug pcap__flex_debug #define yy_init_buffer pcap__init_buffer #define yy_flush_buffer pcap__flush_buffer #define yy_load_buffer_state pcap__load_buffer_state #define yy_switch_to_buffer pcap__switch_to_buffer #define yyin pcap_in #define yyleng pcap_leng #define yylex pcap_lex #define yyout pcap_out #define yyrestart pcap_restart #define yytext pcap_text #define yywrap pcap_wrap /* 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 /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */ #ifdef c_plusplus #ifndef __cplusplus #define __cplusplus #endif #endif #ifdef __cplusplus #include #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 59 #define YY_END_OF_BUFFER 60 static yyconst short int yy_accept[1033] = { 0, 0, 0, 60, 58, 42, 42, 43, 43, 43, 43, 58, 50, 50, 43, 43, 43, 43, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 58, 43, 0, 57, 46, 36, 0, 55, 50, 0, 55, 55, 55, 53, 48, 45, 47, 44, 49, 56, 56, 56, 16, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 7, 55, 55, 55, 55, 55, 55, 55, 55, 37, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 37, 51, 51, 50, 55, 0, 53, 50, 53, 53, 53, 36, 5, 55, 55, 55, 55, 1, 17, 55, 55, 55, 55, 55, 55, 55, 55, 55, 14, 20, 39, 55, 55, 55, 55, 55, 25, 38, 55, 13, 55, 3, 55, 55, 21, 55, 2, 8, 9, 55, 55, 50, 0, 55, 0, 54, 53, 53, 0, 53, 0, 53, 0, 53, 0, 55, 55, 33, 55, 55, 4, 55, 55, 24, 10, 11, 12, 55, 55, 31, 26, 55, 55, 55, 55, 27, 55, 6, 51, 51, 51, 50, 0, 53, 0, 0, 53, 0, 53, 54, 53, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 18, 55, 55, 55, 55, 15, 55, 55, 23, 22, 55, 55, 28, 55, 55, 0, 0, 53, 53, 53, 0, 0, 54, 53, 53, 54, 53, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 0, 53, 53, 0, 53, 0, 53, 0, 55, 19, 55, 55, 55, 39, 55, 55, 55, 51, 51, 51, 0, 53, 53, 0, 53, 0, 0, 53, 0, 53, 54, 53, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 55, 30, 32, 40, 55, 55, 55, 55, 0, 0, 53, 53, 53, 53, 53, 53, 0, 0, 54, 53, 53, 53, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 0, 0, 53, 53, 0, 53, 0, 53, 0, 55, 55, 41, 55, 51, 0, 53, 53, 0, 53, 53, 0, 53, 0, 0, 53, 0, 53, 54, 53, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 0, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 34, 35, 55, 0, 0, 53, 53, 53, 53, 53, 53, 53, 53, 53, 0, 0, 54, 53, 53, 53, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 0, 0, 0, 53, 53, 0, 53, 0, 53, 0, 29, 0, 53, 53, 0, 53, 53, 0, 53, 53, 0, 53, 0, 52, 53, 0, 53, 54, 53, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 0, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 0, 0, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 0, 52, 54, 53, 53, 53, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 0, 0, 0, 53, 53, 0, 53, 0, 53, 0, 0, 53, 53, 0, 53, 53, 0, 53, 53, 0, 53, 53, 0, 53, 0, 0, 0, 53, 0, 0, 53, 54, 53, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 0, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 0, 0, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 0, 0, 0, 0, 0, 53, 53, 0, 53, 54, 53, 0, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 0, 0, 0, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 0, 0, 0, 54, 0, 0, 53, 0, 0, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 0, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 0, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 0, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 0, 0, 0, 0, 0, 0, 53, 53, 0, 53, 0, 53, 0, 0, 0, 53, 0, 53, 0, 53, 53, 0, 53, 53, 0, 53, 53, 0, 53, 53, 0, 53, 0, 0, 0, 0, 53, 53, 0, 53, 0, 0, 53, 53, 53, 0, 0, 0, 0, 53, 53, 53, 0, 0, 0, 0, 0, 53, 53, 53, 0, 0, 0, 0, 0, 53, 53, 53, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 53, 0, 0, 0, 0, 0, 0, 0, 53, 53, 53, 0, 0, 0, 0, 53, 53, 53, 53, 53, 53, 0, 0, 0, 0, 53, 53, 0, 0, 0, 0, 53, 53, 53, 0, 0, 0, 0, 0, 53, 53, 53, 53, 0, 0, 0, 0, 0, 53, 53, 53, 53, 0, 0, 0, 0, 0, 53, 53, 53, 53, 0, 0, 0, 0, 0, 53, 0, 0, 0, 0, 0, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 0, 0, 0, 0, 53, 53, 0, 0, 53, 0, 0, 0, 53, 0, 0, 0, 53, 0, 0, 0, 53, 0, 0, 0, 53, 53, 53, 53, 0, 0, 0, 0, 0, 53, 53, 0, 0, 53, 53, 0, 53, 53, 53, 0, 53, 53, 53, 0, 53, 53, 53, 0, 53, 53, 53, 0, 0, 0, 0, 53, 53, 53, 0, 0, 0, 0, 0, 0, 53, 53, 53, 0, 0, 53, 53, 53, 53, 53, 0, 53, 53, 0 } ; static yyconst int yy_ec[256] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 4, 1, 1, 1, 1, 5, 1, 6, 6, 7, 7, 1, 8, 9, 7, 10, 11, 11, 11, 11, 11, 12, 11, 11, 11, 13, 1, 14, 15, 16, 1, 1, 17, 17, 17, 17, 17, 17, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 19, 18, 18, 20, 21, 20, 1, 22, 1, 23, 24, 25, 26, 27, 28, 29, 30, 31, 18, 32, 33, 34, 35, 36, 37, 18, 38, 39, 40, 41, 18, 42, 43, 44, 18, 1, 45, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 } ; static yyconst int yy_meta[46] = { 0, 1, 2, 2, 2, 1, 2, 1, 1, 3, 4, 4, 4, 5, 1, 1, 1, 4, 1, 1, 1, 1, 1, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 } ; static yyconst short int yy_base[1319] = { 0, 0, 0, 3743, 45, 3744, 3744, 3727, 3736, 3744, 46, 3744, 70, 29, 114, 35, 3725, 39, 107, 142, 127, 177, 211, 24, 31, 47, 99, 3703, 95, 33, 100, 38, 101, 126, 3715, 100, 3712, 3710, 3690, 170, 3744, 3744, 3744, 0, 162, 247, 3721, 169, 0, 266, 294, 3744, 3744, 3744, 3744, 3744, 198, 0, 0, 0, 3707, 3695, 3708, 3694, 3689, 183, 3688, 3690, 3696, 221, 3685, 3697, 3684, 3688, 23, 3697, 3708, 3679, 51, 3683, 3678, 3679, 3682, 3674, 3673, 0, 3672, 3677, 3672, 3672, 3672, 3669, 3683, 3674, 3679, 3666, 3665, 3744, 242, 231, 316, 256, 3688, 269, 3691, 336, 141, 3686, 0, 0, 3665, 3674, 3669, 288, 0, 0, 3668, 325, 3667, 3670, 3652, 3654, 3653, 3652, 3652, 0, 0, 3658, 3647, 3653, 3652, 105, 3643, 0, 0, 3658, 0, 3641, 0, 3640, 3642, 0, 3641, 0, 0, 0, 192, 370, 356, 3664, 3663, 3662, 3661, 390, 157, 3660, 3659, 215, 425, 234, 361, 0, 3639, 3644, 0, 3642, 3630, 0, 3625, 3626, 0, 3653, 0, 0, 3623, 3623, 0, 0, 3629, 3636, 3629, 3623, 0, 3622, 0, 365, 379, 3648, 410, 3643, 276, 3642, 3641, 413, 298, 445, 417, 434, 0, 3640, 455, 466, 490, 470, 510, 163, 3639, 3642, 0, 3625, 3609, 3625, 3620, 0, 3611, 3615, 0, 0, 3619, 3602, 3617, 302, 544, 3628, 3627, 564, 171, 3626, 3625, 3624, 3623, 599, 311, 3622, 3621, 485, 474, 634, 478, 654, 367, 3620, 3623, 3618, 340, 0, 499, 3617, 394, 689, 429, 530, 0, 3606, 0, 3584, 3589, 3600, 0, 3602, 3589, 3593, 539, 449, 3613, 3608, 481, 3607, 514, 3606, 3605, 3604, 533, 520, 709, 552, 584, 0, 568, 0, 588, 3603, 574, 729, 592, 619, 0, 629, 623, 3606, 643, 684, 674, 749, 678, 769, 594, 3601, 3604, 3573, 0, 0, 0, 3572, 3584, 3586, 803, 3595, 3594, 823, 631, 3593, 858, 649, 3592, 3591, 3590, 3589, 893, 685, 3588, 798, 698, 928, 738, 948, 686, 3587, 3590, 844, 758, 3589, 789, 879, 793, 983, 812, 1003, 744, 3584, 3587, 609, 0, 713, 0, 848, 3582, 733, 1038, 773, 883, 0, 3267, 3264, 0, 3272, 0, 3289, 779, 3287, 827, 3286, 3285, 833, 3284, 3283, 3282, 913, 862, 1058, 917, 922, 0, 868, 0, 937, 3281, 897, 1078, 967, 972, 0, 903, 0, 932, 0, 976, 3280, 952, 1098, 991, 1023, 0, 1033, 958, 3283, 1108, 1027, 3281, 1047, 1119, 1068, 1154, 1087, 1174, 833, 3276, 3278, 0, 0, 3251, 3271, 3270, 1209, 892, 3269, 1244, 947, 3267, 1279, 978, 3266, 3265, 3263, 3253, 1314, 980, 3252, 1125, 1130, 1349, 1136, 1369, 998, 3250, 3253, 1195, 1143, 3240, 1147, 1230, 1163, 1404, 1199, 1424, 999, 3235, 3236, 1184, 1062, 3232, 1265, 1234, 3228, 1269, 1300, 1304, 1459, 1335, 1479, 1073, 3214, 3216, 0, 1102, 0, 1178, 0, 1339, 3211, 1213, 1514, 1219, 1344, 0, 0, 3210, 1248, 1534, 1254, 1358, 1554, 1283, 1389, 1574, 1289, 1393, 3208, 3207, 1396, 1318, 1594, 1412, 1444, 0, 1324, 0, 1448, 3190, 1353, 1614, 1452, 1468, 0, 1373, 0, 1379, 0, 1499, 3188, 1408, 1634, 1503, 1508, 0, 0, 1428, 0, 1434, 0, 1523, 3187, 1463, 1654, 1542, 1563, 0, 0, 1664, 1483, 3190, 1675, 1583, 3170, 1603, 1679, 1623, 1714, 1643, 1734, 1173, 3164, 3166, 3160, 3159, 1769, 1243, 3141, 1804, 1278, 3140, 1839, 1368, 3137, 1874, 1423, 3129, 3119, 3117, 1689, 1909, 1478, 3115, 1755, 1694, 1944, 1699, 1964, 1629, 3113, 3116, 1790, 1703, 3099, 1723, 1825, 1759, 1999, 1794, 2019, 1630, 3094, 3097, 1709, 1489, 3095, 1860, 1829, 3094, 1864, 1895, 1899, 2054, 1930, 2074, 1649, 3070, 3073, 0, 1744, 1518, 3072, 1939, 1934, 3060, 1953, 1994, 1984, 2109, 1988, 2129, 1650, 3050, 3053, 0, 1538, 0, 1558, 0, 2008, 3037, 1578, 2164, 1598, 2039, 0, 3022, 1618, 2184, 1685, 2043, 2204, 1738, 2047, 2224, 1773, 2063, 2244, 1779, 2094, 3021, 2264, 1799, 3020, 3017, 1814, 2299, 3016, 2098, 0, 1843, 0, 2102, 2994, 1849, 2319, 2993, 2118, 0, 1878, 0, 1884, 0, 2149, 2874, 1913, 2339, 2868, 2154, 0, 0, 1919, 0, 1968, 0, 2158, 2867, 1974, 2359, 2855, 2173, 0, 0, 2023, 0, 2029, 0, 2193, 2854, 2058, 2379, 2835, 2213, 0, 0, 2274, 2078, 2823, 2294, 2233, 2803, 2253, 2389, 2285, 2424, 2289, 2444, 1800, 2784, 2787, 2760, 2308, 2479, 1803, 2759, 2514, 1838, 2739, 2549, 1873, 2723, 2584, 2073, 2703, 2619, 2104, 2663, 2657, 2084, 2654, 2656, 2329, 0, 2636, 2400, 2348, 2674, 2368, 2635, 2616, 2419, 2404, 2615, 2411, 2465, 2415, 2694, 2469, 2601, 2593, 2454, 2133, 2577, 2500, 2504, 2576, 2535, 2544, 2539, 2714, 2569, 2554, 2556, 0, 2572, 2139, 2555, 2607, 2611, 2543, 2642, 2649, 2663, 2734, 2684, 2519, 2512, 0, 2594, 2168, 2511, 2744, 2703, 2509, 2723, 2755, 2759, 2790, 2766, 2504, 2477, 0, 2188, 0, 2208, 0, 2770, 2472, 2228, 2810, 0, 2779, 0, 2830, 2239, 0, 2470, 2865, 0, 2783, 2885, 0, 2799, 2905, 0, 2819, 2925, 0, 2850, 2945, 0, 2854, 2860, 2874, 2965, 2895, 2469, 2429, 2431, 2426, 2268, 0, 2914, 2405, 2404, 2323, 0, 2343, 0, 2934, 2384, 2368, 0, 2363, 0, 2383, 0, 2954, 2348, 2302, 0, 2434, 0, 2448, 0, 2974, 2301, 2289, 0, 2483, 0, 2489, 0, 2985, 2253, 2247, 0, 2989, 2518, 2250, 2993, 3004, 2237, 3008, 3012, 3016, 3047, 3028, 0, 2217, 3067, 2173, 3032, 0, 0, 0, 0, 0, 0, 2524, 0, 3036, 2118, 2112, 0, 3042, 3056, 2115, 3077, 0, 3086, 2559, 2067, 3090, 3101, 2052, 3105, 0, 0, 3108, 2578, 2051, 3112, 3125, 2006, 3129, 0, 0, 3133, 2588, 2005, 3137, 3148, 1993, 3152, 0, 0, 3155, 2623, 1992, 3159, 3172, 1957, 3176, 0, 0, 2629, 0, 2645, 0, 3180, 1947, 0, 0, 3744, 0, 0, 0, 0, 0, 0, 3185, 3196, 1950, 3200, 0, 3744, 2678, 0, 3744, 0, 2698, 0, 3744, 0, 2718, 0, 3744, 0, 2738, 0, 3744, 0, 2774, 0, 3744, 0, 3203, 2794, 1938, 3207, 3220, 1918, 3224, 0, 1902, 2814, 0, 3228, 2834, 1904, 0, 3232, 2840, 1903, 0, 3242, 2889, 1871, 0, 3245, 2909, 1869, 0, 3248, 2929, 1868, 0, 2949, 0, 3744, 3258, 2969, 1836, 0, 0, 0, 0, 0, 0, 3262, 2999, 1811, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3744, 3305, 3307, 3309, 3311, 3313, 3315, 3317, 3319, 3321, 3323, 1807, 1806, 3325, 1804, 3327, 3329, 3331, 3333, 1803, 3335, 3337, 3339, 3341, 3343, 3345, 3347, 3349, 1772, 1771, 1769, 3351, 1768, 1732, 3353, 3355, 3357, 3359, 1726, 1725, 3361, 1713, 3363, 3365, 3367, 3369, 3371, 3373, 3375, 3377, 3379, 1712, 1666, 1652, 1646, 3381, 1632, 1612, 1592, 3383, 3385, 3387, 3389, 1572, 1552, 3391, 1477, 1422, 1406, 3393, 1367, 3395, 3397, 3399, 3401, 3403, 3405, 3407, 3409, 3411, 3413, 3415, 3417, 1328, 1316, 1314, 1313, 1281, 3419, 1279, 1278, 1247, 1246, 3421, 3423, 3425, 3427, 1244, 1243, 3429, 1211, 1209, 1208, 3431, 1172, 1166, 1165, 1157, 3433, 1156, 3435, 3438, 3439, 3441, 3443, 3445, 3447, 3449, 3451, 3453, 3455, 3457, 3460, 3462, 3463, 3466, 3468, 3470, 3471, 3474, 1146, 3476, 3478, 3479, 3482, 1145, 1139, 1129, 1128, 1096, 3483, 1090, 1089, 1056, 1050, 1049, 3485, 3487, 3489, 3491, 1036, 1021, 3493, 1020, 1015, 1001, 3495, 994, 896, 895, 893, 3497, 892, 861, 860, 858, 3499, 821, 815, 3502, 3504, 3505, 3508, 3509, 3511, 3513, 3515, 3517, 3519, 3521, 3523, 814, 3525, 3527, 3530, 3532, 3533, 3536, 3538, 3540, 3541, 3544, 812, 3546, 3548, 3549, 3552, 807, 3554, 3556, 3557, 3560, 802, 767, 761, 760, 747, 727, 3561, 726, 707, 687, 672, 671, 3563, 3565, 3568, 3569, 666, 3571, 665, 652, 3573, 645, 632, 613, 3575, 611, 610, 602, 3577, 562, 556, 555, 3579, 553, 3582, 3584, 548, 3586, 3587, 544, 543, 502, 501, 459, 443, 428, 3589, 427, 408, 407, 388, 381, 379, 374, 354, 353, 334, 328, 327, 320, 312, 299, 298, 292, 280, 265, 259, 258, 246, 244, 214, 212, 209, 206, 205, 194, 193, 171, 152, 145, 143, 142, 140, 125, 80 } ; static yyconst short int yy_def[1319] = { 0, 1032, 1, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 12, 1032, 1032, 1032, 1032, 12, 12, 1033, 12, 19, 22, 22, 22, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 1032, 1032, 1032, 1032, 1032, 19, 19, 19, 1034, 45, 19, 19, 1032, 1032, 1032, 1032, 1032, 1032, 1033, 1033, 1033, 19, 19, 19, 19, 19, 19, 45, 19, 19, 19, 45, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 1032, 19, 19, 45, 100, 1035, 1036, 49, 1032, 105, 1037, 19, 19, 19, 19, 19, 100, 19, 19, 19, 100, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 1038, 19, 1039, 1040, 1032, 153, 1041, 1042, 1032, 1032, 1043, 158, 1044, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 147, 19, 1045, 1046, 1047, 1048, 1049, 1032, 1032, 1050, 195, 1051, 1052, 1032, 1032, 1032, 202, 1032, 204, 1053, 1044, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 1039, 1054, 1032, 225, 1055, 1032, 1056, 1057, 1032, 231, 1041, 1058, 1032, 1032, 1032, 237, 1032, 239, 1059, 1051, 1032, 1032, 1060, 1032, 1032, 1032, 1032, 1061, 249, 1062, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 222, 1063, 1064, 195, 1065, 197, 1066, 1067, 1068, 1032, 1032, 1069, 274, 1070, 1032, 1071, 1032, 1032, 1032, 1032, 1072, 283, 1073, 1032, 1032, 1060, 1032, 1032, 1032, 1032, 293, 1032, 295, 1074, 1062, 19, 19, 19, 19, 19, 19, 19, 19, 1056, 1075, 1032, 309, 1076, 1032, 312, 1077, 1032, 1078, 1079, 1032, 318, 1080, 1032, 1032, 1032, 323, 1032, 325, 1081, 1070, 1032, 1032, 1071, 1032, 1032, 1032, 1032, 335, 1032, 337, 1082, 1073, 1032, 1083, 1032, 1084, 1032, 1032, 1032, 1032, 1085, 348, 1086, 19, 19, 19, 19, 306, 1087, 1088, 274, 1089, 276, 283, 1090, 285, 1091, 1092, 1093, 1032, 1032, 1094, 369, 1095, 1032, 1096, 1032, 1032, 1032, 1032, 1097, 378, 1098, 1032, 1099, 1032, 1100, 1032, 1032, 1032, 1032, 1101, 389, 1102, 1032, 1032, 1083, 1032, 1032, 1084, 1032, 1032, 1032, 1032, 402, 1032, 404, 1103, 1086, 19, 19, 19, 1104, 1105, 1032, 413, 1106, 1032, 416, 1107, 1032, 419, 1108, 1032, 1109, 1110, 1032, 425, 1111, 1032, 1032, 1032, 430, 1032, 432, 1112, 1095, 1032, 1032, 1096, 1032, 1032, 1032, 1032, 442, 1032, 444, 1113, 1098, 1032, 1032, 1099, 1032, 1032, 1100, 1032, 1032, 1032, 1032, 457, 1032, 459, 1114, 1102, 1115, 1032, 1116, 1032, 1117, 1032, 1032, 1032, 1032, 1118, 471, 1119, 19, 1120, 1121, 1032, 1122, 478, 1032, 1123, 481, 1032, 1124, 484, 1125, 1126, 1127, 1032, 1032, 1128, 491, 1129, 1032, 1130, 1032, 1032, 1032, 1032, 1131, 500, 1132, 1032, 1133, 1032, 1134, 1032, 1032, 1032, 1032, 1135, 511, 1136, 1137, 1032, 1138, 1032, 1139, 1032, 1032, 1032, 1032, 1140, 523, 1141, 1115, 1032, 1032, 1116, 1032, 1032, 1117, 1032, 1032, 1032, 1032, 537, 1032, 539, 1142, 1143, 1144, 1145, 1032, 545, 1146, 1032, 548, 1147, 1032, 551, 1148, 1032, 554, 1149, 1032, 1150, 1151, 1032, 560, 1152, 1032, 1032, 1032, 565, 1032, 567, 1153, 1154, 1032, 1032, 1155, 1032, 1032, 1032, 1032, 577, 1032, 579, 1156, 1157, 1032, 1032, 1158, 1032, 1032, 1159, 1032, 1032, 1032, 1032, 592, 1032, 594, 1160, 1161, 1162, 1032, 1032, 1163, 1032, 1032, 1164, 1032, 1032, 1032, 1032, 608, 1032, 610, 1165, 1166, 1167, 1032, 1168, 1032, 1169, 1032, 1032, 1032, 1032, 1170, 622, 1171, 1172, 1173, 1032, 1174, 628, 1032, 1175, 631, 1032, 1176, 634, 1032, 1177, 637, 1178, 1032, 641, 1179, 1180, 1032, 1032, 1181, 646, 1182, 1032, 1183, 1032, 1032, 1032, 1032, 1184, 655, 1185, 1032, 1186, 1032, 1187, 1032, 1032, 1032, 1032, 1188, 666, 1189, 1190, 1032, 1191, 1032, 1192, 1032, 1032, 1032, 1032, 1193, 678, 1194, 1195, 1032, 1196, 1032, 1197, 1032, 1032, 1032, 1032, 1198, 690, 1199, 1200, 1032, 1032, 1201, 1032, 1032, 1202, 1032, 1032, 1032, 1032, 704, 1032, 706, 1203, 1204, 1205, 1206, 1032, 712, 1207, 1032, 715, 1208, 1032, 718, 1209, 1032, 721, 1210, 1032, 724, 1211, 1032, 1032, 1032, 1212, 729, 1213, 1214, 1032, 1032, 1032, 736, 1215, 1216, 1032, 1032, 1217, 1032, 1032, 1032, 1032, 746, 1218, 1219, 1032, 1032, 1220, 1032, 1032, 1221, 1032, 1032, 1032, 1032, 759, 1222, 1223, 1224, 1032, 1032, 1225, 1032, 1032, 1226, 1032, 1032, 1032, 1032, 773, 1227, 1228, 1229, 1032, 1032, 1230, 1032, 1032, 1231, 1032, 1032, 1032, 1032, 787, 1232, 1233, 1234, 1032, 1235, 1032, 1236, 1032, 1032, 1032, 1032, 1237, 799, 1238, 1032, 803, 1239, 1240, 1032, 1241, 807, 1032, 1242, 810, 1032, 1243, 813, 1032, 1244, 816, 1032, 1245, 819, 1032, 1032, 1032, 824, 1246, 1247, 1248, 1249, 1032, 1250, 1032, 1032, 1251, 1032, 1252, 1032, 1253, 1032, 1032, 1254, 1255, 1032, 1256, 1032, 1257, 1032, 1032, 1258, 1259, 1032, 1260, 1032, 1261, 1032, 1032, 1262, 1263, 1032, 1264, 1032, 1265, 1032, 1032, 1266, 1267, 1032, 1032, 1268, 1032, 1032, 1269, 1032, 1032, 1032, 1032, 876, 1270, 1271, 1032, 1272, 880, 1273, 1274, 1275, 1276, 1277, 1278, 1032, 1279, 1032, 1032, 1280, 1281, 1032, 1032, 1250, 1032, 1282, 1032, 1032, 1252, 1032, 1032, 1253, 1032, 1283, 1255, 1032, 1032, 1256, 1032, 1032, 1257, 1032, 1284, 1259, 1032, 1032, 1260, 1032, 1032, 1261, 1032, 1285, 1263, 1032, 1032, 1264, 1032, 1032, 1265, 1032, 1286, 1287, 1032, 1288, 1032, 1289, 1032, 1032, 1290, 1291, 1032, 1292, 1293, 1294, 1295, 1296, 1297, 1032, 1032, 1279, 1032, 1298, 1032, 1032, 1299, 1032, 1300, 1032, 1301, 1032, 1302, 1032, 1303, 1032, 1304, 1032, 1305, 1032, 1306, 1032, 1307, 1032, 1287, 1032, 1032, 1288, 1032, 1032, 1289, 1032, 1308, 1280, 1032, 1309, 1032, 1032, 1299, 1300, 1032, 1032, 1301, 1302, 1032, 1032, 1303, 1304, 1032, 1032, 1305, 1306, 1032, 1032, 1307, 1310, 1032, 1311, 1032, 1032, 1032, 1309, 1312, 1313, 1314, 1315, 1316, 1310, 1032, 1032, 1311, 1317, 1312, 1313, 1314, 1315, 1316, 1318, 1317, 1318, 0, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032 } ; static yyconst short int yy_nxt[3790] = { 0, 4, 5, 6, 7, 8, 9, 10, 9, 11, 12, 13, 13, 14, 15, 16, 17, 18, 19, 19, 9, 20, 11, 21, 22, 18, 23, 24, 25, 26, 27, 28, 19, 29, 30, 31, 32, 33, 34, 35, 36, 37, 19, 19, 19, 38, 39, 39, 48, 51, 52, 65, 39, 39, 54, 55, 77, 122, 39, 39, 78, 123, 48, 66, 79, 83, 39, 39, 48, 48, 67, 68, 48, 69, 84, 48, 40, 40, 43, 44, 45, 45, 45, 46, 1031, 48, 127, 47, 48, 49, 128, 48, 43, 47, 47, 47, 47, 47, 47, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 49, 48, 39, 48, 47, 47, 47, 73, 39, 70, 80, 74, 92, 48, 50, 56, 1030, 75, 178, 76, 93, 56, 39, 81, 71, 94, 85, 56, 82, 86, 179, 1028, 40, 1027, 1026, 56, 1025, 48, 48, 48, 48, 48, 1032, 1024, 87, 58, 48, 1032, 48, 88, 89, 90, 48, 48, 48, 48, 48, 48, 39, 98, 99, 99, 1022, 1032, 39, 48, 101, 101, 101, 1032, 39, 1032, 48, 48, 47, 47, 47, 1032, 39, 48, 101, 101, 101, 48, 1019, 1013, 56, 1032, 40, 185, 186, 186, 56, 1032, 59, 113, 1010, 1006, 56, 60, 1003, 1032, 61, 1002, 62, 999, 56, 48, 47, 47, 47, 46, 200, 201, 201, 47, 58, 48, 101, 101, 101, 47, 47, 47, 47, 47, 47, 146, 99, 99, 99, 204, 205, 205, 117, 998, 63, 995, 146, 99, 99, 99, 64, 44, 100, 100, 100, 46, 147, 994, 991, 101, 48, 150, 150, 150, 990, 101, 101, 101, 101, 101, 101, 104, 104, 104, 153, 154, 154, 155, 104, 944, 147, 225, 226, 226, 104, 104, 104, 104, 104, 104, 39, 934, 48, 150, 150, 150, 39, 925, 916, 105, 106, 106, 39, 235, 236, 236, 107, 262, 263, 263, 39, 907, 107, 107, 107, 107, 107, 107, 165, 899, 40, 148, 148, 148, 149, 1032, 894, 985, 150, 48, 150, 150, 150, 984, 150, 150, 150, 150, 150, 150, 157, 158, 158, 158, 159, 287, 288, 288, 160, 1032, 161, 167, 982, 979, 160, 160, 160, 160, 160, 160, 44, 188, 188, 188, 149, 1032, 203, 203, 203, 221, 186, 186, 186, 976, 161, 187, 187, 187, 975, 222, 971, 1032, 187, 221, 186, 186, 186, 967, 187, 187, 187, 187, 187, 187, 194, 195, 195, 195, 196, 291, 292, 292, 197, 222, 198, 1032, 963, 959, 197, 197, 197, 197, 197, 197, 44, 188, 188, 188, 231, 232, 232, 233, 239, 240, 240, 233, 956, 953, 198, 157, 202, 202, 202, 159, 295, 296, 296, 203, 1032, 238, 238, 238, 950, 203, 203, 203, 203, 203, 203, 194, 237, 237, 237, 196, 263, 263, 263, 238, 949, 244, 201, 201, 201, 238, 238, 238, 238, 238, 238, 245, 244, 201, 201, 201, 1032, 247, 247, 247, 278, 236, 236, 236, 1032, 281, 281, 281, 309, 310, 310, 278, 236, 236, 236, 245, 157, 246, 246, 246, 159, 279, 948, 947, 247, 157, 290, 290, 290, 159, 247, 247, 247, 247, 247, 247, 248, 249, 249, 249, 250, 312, 313, 313, 251, 279, 252, 321, 322, 322, 251, 251, 251, 251, 251, 251, 1032, 294, 294, 294, 318, 319, 319, 233, 946, 945, 263, 263, 263, 942, 252, 264, 264, 264, 866, 306, 932, 929, 264, 325, 326, 326, 233, 926, 264, 264, 264, 264, 264, 264, 194, 267, 267, 267, 268, 329, 330, 330, 269, 306, 198, 333, 334, 334, 269, 269, 269, 269, 269, 269, 1032, 324, 324, 324, 194, 332, 332, 332, 268, 337, 338, 338, 233, 923, 198, 273, 274, 274, 274, 275, 1032, 920, 917, 276, 914, 277, 393, 394, 394, 276, 276, 276, 276, 276, 276, 1032, 336, 336, 336, 341, 288, 288, 288, 911, 1032, 341, 288, 288, 288, 277, 194, 280, 280, 280, 268, 342, 908, 1032, 281, 157, 290, 290, 290, 905, 281, 281, 281, 281, 281, 281, 282, 283, 283, 283, 284, 1032, 902, 897, 285, 342, 286, 1032, 888, 887, 285, 285, 285, 285, 285, 285, 343, 292, 292, 292, 1032, 346, 346, 346, 886, 1032, 343, 292, 292, 292, 286, 248, 293, 293, 293, 250, 344, 1032, 1032, 294, 373, 322, 322, 322, 885, 294, 294, 294, 294, 294, 294, 273, 323, 323, 323, 275, 396, 397, 397, 324, 344, 1032, 1032, 884, 883, 324, 324, 324, 324, 324, 324, 282, 335, 335, 335, 284, 400, 401, 401, 336, 1032, 376, 376, 376, 879, 336, 336, 336, 336, 336, 336, 248, 345, 345, 345, 250, 1032, 878, 872, 346, 382, 330, 330, 330, 869, 346, 346, 346, 346, 346, 346, 347, 348, 348, 348, 349, 404, 405, 405, 350, 1032, 351, 413, 414, 414, 350, 350, 350, 350, 350, 350, 194, 332, 332, 332, 384, 334, 334, 334, 866, 373, 322, 322, 322, 777, 351, 356, 356, 356, 763, 374, 828, 694, 356, 1032, 387, 387, 387, 790, 356, 356, 356, 356, 356, 356, 273, 359, 359, 359, 360, 416, 417, 417, 361, 374, 277, 419, 420, 420, 361, 361, 361, 361, 361, 361, 1032, 382, 330, 330, 330, 248, 399, 399, 399, 250, 783, 383, 780, 777, 277, 282, 362, 362, 362, 363, 428, 429, 429, 364, 1032, 286, 436, 437, 437, 364, 364, 364, 364, 364, 364, 383, 384, 334, 334, 334, 1032, 403, 403, 403, 776, 769, 385, 766, 763, 286, 368, 369, 369, 369, 370, 440, 441, 441, 371, 1032, 372, 448, 449, 449, 371, 371, 371, 371, 371, 371, 385, 425, 426, 426, 233, 432, 433, 433, 233, 1032, 431, 431, 431, 1032, 372, 273, 375, 375, 375, 360, 451, 452, 452, 376, 273, 439, 439, 439, 360, 376, 376, 376, 376, 376, 376, 377, 378, 378, 378, 379, 455, 456, 456, 380, 1032, 381, 394, 394, 394, 380, 380, 380, 380, 380, 380, 444, 445, 445, 233, 1032, 443, 443, 443, 282, 454, 454, 454, 363, 1032, 381, 282, 386, 386, 386, 363, 1032, 762, 1032, 387, 459, 460, 460, 233, 755, 387, 387, 387, 387, 387, 387, 388, 389, 389, 389, 390, 1032, 1032, 752, 391, 1032, 392, 1032, 749, 742, 391, 391, 391, 391, 391, 391, 1032, 458, 458, 458, 464, 397, 397, 397, 739, 1032, 1032, 394, 394, 394, 392, 347, 402, 402, 402, 349, 463, 726, 723, 403, 248, 399, 399, 399, 720, 403, 403, 403, 403, 403, 403, 368, 430, 430, 430, 370, 449, 449, 449, 431, 463, 466, 401, 401, 401, 431, 431, 431, 431, 431, 431, 377, 442, 442, 442, 379, 1032, 717, 714, 443, 1032, 469, 469, 469, 709, 443, 443, 443, 443, 443, 443, 388, 457, 457, 457, 390, 528, 529, 529, 458, 1032, 464, 397, 397, 397, 458, 458, 458, 458, 458, 458, 465, 466, 401, 401, 401, 708, 700, 495, 429, 429, 429, 467, 495, 429, 429, 429, 697, 496, 1032, 498, 498, 498, 694, 598, 465, 504, 437, 437, 437, 273, 439, 439, 439, 613, 604, 467, 347, 468, 468, 468, 349, 496, 601, 598, 469, 506, 441, 441, 441, 597, 469, 469, 469, 469, 469, 469, 470, 471, 471, 471, 472, 531, 532, 532, 473, 1032, 474, 449, 449, 449, 473, 473, 473, 473, 473, 473, 515, 504, 437, 437, 437, 1032, 509, 509, 509, 588, 585, 505, 582, 1032, 474, 368, 478, 478, 478, 479, 535, 536, 536, 480, 515, 372, 539, 540, 540, 480, 480, 480, 480, 480, 480, 505, 506, 441, 441, 441, 516, 452, 452, 452, 573, 570, 507, 556, 553, 372, 377, 481, 481, 481, 482, 545, 546, 546, 483, 1032, 381, 548, 549, 549, 483, 483, 483, 483, 483, 483, 507, 516, 452, 452, 452, 282, 454, 454, 454, 550, 547, 517, 542, 1032, 381, 388, 484, 484, 484, 485, 551, 552, 552, 486, 1032, 392, 554, 555, 555, 486, 486, 486, 486, 486, 486, 517, 518, 456, 456, 456, 518, 456, 456, 456, 541, 533, 519, 530, 1032, 392, 490, 491, 491, 491, 492, 563, 564, 564, 493, 527, 494, 571, 572, 572, 493, 493, 493, 493, 493, 493, 519, 1032, 521, 521, 521, 347, 534, 534, 534, 349, 1032, 538, 538, 538, 494, 368, 497, 497, 497, 479, 575, 576, 576, 498, 1032, 431, 431, 431, 462, 498, 498, 498, 498, 498, 498, 499, 500, 500, 500, 501, 583, 584, 584, 502, 1032, 503, 586, 587, 587, 502, 502, 502, 502, 502, 502, 1032, 443, 443, 443, 1032, 458, 458, 458, 560, 561, 561, 233, 453, 1032, 503, 377, 508, 508, 508, 482, 590, 591, 591, 509, 567, 568, 568, 233, 450, 509, 509, 509, 509, 509, 509, 510, 511, 511, 511, 512, 599, 600, 600, 513, 1032, 514, 602, 603, 603, 513, 513, 513, 513, 513, 513, 1032, 566, 566, 566, 368, 574, 574, 574, 479, 579, 580, 580, 233, 1032, 514, 388, 520, 520, 520, 485, 606, 607, 607, 521, 1032, 578, 578, 578, 447, 521, 521, 521, 521, 521, 521, 522, 523, 523, 523, 524, 529, 529, 529, 525, 1032, 526, 584, 584, 584, 525, 525, 525, 525, 525, 525, 377, 589, 589, 589, 482, 594, 595, 595, 233, 1032, 593, 593, 593, 1032, 526, 470, 537, 537, 537, 472, 600, 600, 600, 538, 388, 605, 605, 605, 485, 538, 538, 538, 538, 538, 538, 368, 430, 430, 430, 479, 695, 696, 696, 431, 610, 611, 611, 233, 438, 431, 431, 431, 431, 431, 431, 377, 442, 442, 442, 482, 698, 699, 699, 443, 1032, 609, 609, 609, 435, 443, 443, 443, 443, 443, 443, 388, 457, 457, 457, 485, 702, 703, 703, 458, 615, 532, 532, 532, 421, 458, 458, 458, 458, 458, 458, 490, 565, 565, 565, 492, 706, 707, 707, 566, 347, 534, 534, 534, 418, 566, 566, 566, 566, 566, 566, 499, 577, 577, 577, 501, 712, 713, 713, 578, 617, 536, 536, 536, 415, 578, 578, 578, 578, 578, 578, 510, 592, 592, 592, 512, 1032, 1032, 407, 593, 1032, 620, 620, 620, 406, 593, 593, 593, 593, 593, 593, 522, 608, 608, 608, 524, 1032, 1032, 398, 609, 1032, 1032, 529, 529, 529, 609, 609, 609, 609, 609, 609, 614, 615, 532, 532, 532, 617, 536, 536, 536, 1032, 1032, 616, 715, 716, 716, 618, 641, 642, 642, 643, 650, 564, 564, 564, 614, 1032, 653, 653, 653, 659, 572, 572, 572, 395, 340, 616, 584, 584, 584, 618, 470, 619, 619, 619, 472, 670, 331, 328, 620, 368, 574, 574, 574, 314, 620, 620, 620, 620, 620, 620, 621, 622, 622, 622, 623, 718, 719, 719, 624, 670, 625, 600, 600, 600, 624, 624, 624, 624, 624, 624, 682, 650, 564, 564, 564, 661, 576, 576, 576, 311, 298, 651, 297, 289, 625, 490, 628, 628, 628, 629, 721, 722, 722, 630, 682, 494, 724, 725, 725, 630, 630, 630, 630, 630, 630, 651, 659, 572, 572, 572, 1032, 664, 664, 664, 242, 227, 660, 207, 206, 494, 499, 631, 631, 631, 632, 1032, 1032, 1008, 633, 1032, 503, 734, 735, 735, 633, 633, 633, 633, 633, 633, 660, 661, 576, 576, 576, 671, 587, 587, 587, 1032, 1032, 662, 986, 1032, 503, 510, 634, 634, 634, 635, 740, 741, 741, 636, 1032, 514, 744, 745, 745, 636, 636, 636, 636, 636, 636, 662, 671, 587, 587, 587, 377, 589, 589, 589, 973, 969, 672, 965, 1032, 514, 522, 637, 637, 637, 638, 750, 751, 751, 639, 1032, 526, 753, 754, 754, 639, 639, 639, 639, 639, 639, 672, 673, 591, 591, 591, 673, 591, 591, 591, 961, 957, 674, 1032, 1032, 526, 645, 646, 646, 646, 647, 757, 758, 758, 648, 938, 649, 764, 765, 765, 648, 648, 648, 648, 648, 648, 674, 1032, 676, 676, 676, 683, 603, 603, 603, 936, 683, 603, 603, 603, 649, 490, 652, 652, 652, 629, 684, 889, 800, 653, 388, 605, 605, 605, 861, 653, 653, 653, 653, 653, 653, 654, 655, 655, 655, 656, 767, 768, 768, 657, 684, 658, 771, 772, 772, 657, 657, 657, 657, 657, 657, 685, 607, 607, 607, 1032, 688, 688, 688, 859, 853, 685, 607, 607, 607, 658, 499, 663, 663, 663, 632, 686, 851, 845, 664, 470, 701, 701, 701, 472, 664, 664, 664, 664, 664, 664, 665, 666, 666, 666, 667, 778, 779, 779, 668, 686, 669, 781, 782, 782, 668, 668, 668, 668, 668, 668, 1032, 705, 705, 705, 1032, 566, 566, 566, 1032, 578, 578, 578, 843, 837, 669, 510, 675, 675, 675, 635, 785, 786, 786, 676, 1032, 593, 593, 593, 835, 676, 676, 676, 676, 676, 676, 677, 678, 678, 678, 679, 696, 696, 696, 680, 1032, 681, 822, 823, 823, 680, 680, 680, 680, 680, 680, 1032, 609, 609, 609, 1032, 737, 737, 737, 490, 743, 743, 743, 629, 1032, 681, 522, 687, 687, 687, 638, 1032, 830, 233, 688, 1032, 747, 747, 747, 881, 688, 688, 688, 688, 688, 688, 689, 690, 690, 690, 691, 751, 751, 751, 692, 1032, 693, 765, 765, 765, 692, 692, 692, 692, 692, 692, 499, 756, 756, 756, 632, 1032, 760, 760, 760, 510, 770, 770, 770, 635, 693, 621, 704, 704, 704, 623, 779, 779, 779, 705, 1032, 774, 774, 774, 944, 705, 705, 705, 705, 705, 705, 490, 565, 565, 565, 629, 867, 868, 868, 566, 522, 784, 784, 784, 638, 566, 566, 566, 566, 566, 566, 499, 577, 577, 577, 632, 870, 871, 871, 578, 1032, 788, 788, 788, 798, 578, 578, 578, 578, 578, 578, 510, 592, 592, 592, 635, 874, 875, 875, 593, 792, 699, 699, 699, 794, 593, 593, 593, 593, 593, 593, 522, 608, 608, 608, 638, 1032, 792, 233, 609, 470, 701, 701, 701, 820, 609, 609, 609, 609, 609, 609, 728, 729, 729, 729, 730, 895, 896, 896, 731, 1032, 732, 696, 696, 696, 731, 731, 731, 731, 731, 731, 791, 794, 703, 703, 703, 1032, 797, 797, 797, 233, 792, 699, 699, 699, 732, 645, 736, 736, 736, 647, 793, 817, 233, 737, 791, 803, 804, 804, 805, 737, 737, 737, 737, 737, 737, 654, 746, 746, 746, 656, 900, 901, 901, 747, 793, 1032, 825, 825, 825, 747, 747, 747, 747, 747, 747, 665, 759, 759, 759, 667, 903, 904, 904, 760, 830, 735, 735, 735, 814, 760, 760, 760, 760, 760, 760, 677, 773, 773, 773, 679, 909, 910, 910, 774, 1032, 833, 833, 833, 233, 774, 774, 774, 774, 774, 774, 689, 787, 787, 787, 691, 912, 913, 913, 788, 811, 794, 703, 703, 703, 788, 788, 788, 788, 788, 788, 795, 830, 735, 735, 735, 835, 741, 741, 741, 233, 808, 831, 490, 743, 743, 743, 837, 745, 745, 745, 835, 741, 741, 741, 795, 621, 796, 796, 796, 623, 836, 233, 728, 797, 233, 831, 918, 919, 919, 797, 797, 797, 797, 797, 797, 798, 799, 799, 799, 800, 921, 922, 922, 801, 836, 802, 751, 751, 751, 801, 801, 801, 801, 801, 801, 842, 837, 745, 745, 745, 1032, 840, 840, 840, 233, 881, 838, 623, 689, 802, 645, 807, 807, 807, 808, 927, 928, 928, 809, 842, 649, 930, 931, 931, 809, 809, 809, 809, 809, 809, 838, 843, 754, 754, 754, 843, 754, 754, 754, 233, 685, 844, 683, 677, 649, 654, 810, 810, 810, 811, 868, 868, 868, 812, 233, 658, 951, 952, 952, 812, 812, 812, 812, 812, 812, 844, 499, 756, 756, 756, 845, 758, 758, 758, 673, 845, 758, 758, 758, 658, 665, 813, 813, 813, 814, 846, 671, 665, 815, 233, 669, 901, 901, 901, 815, 815, 815, 815, 815, 815, 1032, 848, 848, 848, 765, 765, 765, 661, 659, 846, 910, 910, 910, 850, 669, 677, 816, 816, 816, 817, 919, 919, 919, 818, 654, 681, 779, 779, 779, 818, 818, 818, 818, 818, 818, 858, 233, 850, 851, 768, 768, 768, 851, 768, 768, 768, 650, 645, 852, 681, 689, 819, 819, 819, 820, 928, 928, 928, 821, 858, 693, 977, 978, 978, 821, 821, 821, 821, 821, 821, 233, 233, 852, 510, 770, 770, 770, 980, 981, 981, 853, 772, 772, 772, 693, 728, 824, 824, 824, 730, 854, 827, 711, 825, 853, 772, 772, 772, 820, 825, 825, 825, 825, 825, 825, 645, 832, 832, 832, 808, 988, 989, 989, 833, 854, 1032, 856, 856, 856, 833, 833, 833, 833, 833, 833, 654, 839, 839, 839, 811, 992, 993, 993, 840, 859, 782, 782, 782, 817, 840, 840, 840, 840, 840, 840, 665, 847, 847, 847, 814, 996, 997, 997, 848, 522, 784, 784, 784, 814, 848, 848, 848, 848, 848, 848, 677, 855, 855, 855, 817, 1000, 1001, 1001, 856, 811, 859, 782, 782, 782, 856, 856, 856, 856, 856, 856, 860, 861, 786, 786, 786, 861, 786, 786, 786, 808, 711, 862, 1032, 864, 864, 864, 621, 873, 873, 873, 623, 1004, 1005, 1005, 860, 1032, 877, 877, 877, 1032, 737, 737, 737, 621, 800, 862, 689, 863, 863, 863, 820, 978, 978, 978, 864, 1032, 747, 747, 747, 617, 864, 864, 864, 864, 864, 864, 798, 876, 876, 876, 800, 1011, 1012, 1012, 877, 1032, 760, 760, 760, 615, 877, 877, 877, 877, 877, 877, 728, 880, 880, 880, 881, 989, 989, 989, 882, 233, 732, 993, 993, 993, 882, 882, 882, 882, 882, 882, 1032, 774, 774, 774, 1032, 788, 788, 788, 638, 233, 889, 823, 823, 823, 732, 645, 736, 736, 736, 808, 890, 635, 233, 737, 889, 823, 823, 823, 632, 737, 737, 737, 737, 737, 737, 654, 746, 746, 746, 811, 997, 997, 997, 747, 890, 1032, 892, 892, 892, 747, 747, 747, 747, 747, 747, 665, 759, 759, 759, 814, 1001, 1001, 1001, 760, 645, 898, 898, 898, 808, 760, 760, 760, 760, 760, 760, 677, 773, 773, 773, 817, 1005, 1005, 1005, 774, 654, 906, 906, 906, 811, 774, 774, 774, 774, 774, 774, 689, 787, 787, 787, 820, 1020, 1021, 1021, 788, 665, 915, 915, 915, 814, 788, 788, 788, 788, 788, 788, 728, 891, 891, 891, 881, 1012, 1012, 1012, 892, 677, 924, 924, 924, 817, 892, 892, 892, 892, 892, 892, 689, 933, 933, 933, 820, 868, 868, 868, 936, 871, 871, 871, 233, 629, 935, 1021, 1021, 1021, 937, 936, 871, 871, 871, 621, 873, 873, 873, 938, 875, 875, 875, 938, 875, 875, 875, 233, 730, 939, 935, 233, 711, 711, 937, 1032, 941, 941, 941, 1032, 825, 825, 825, 728, 954, 954, 954, 881, 472, 957, 896, 896, 896, 939, 798, 940, 940, 940, 800, 958, 522, 691, 941, 957, 896, 896, 896, 518, 941, 941, 941, 941, 941, 941, 728, 824, 824, 824, 881, 516, 510, 679, 825, 958, 645, 898, 898, 898, 825, 825, 825, 825, 825, 825, 901, 901, 901, 961, 904, 904, 904, 506, 504, 960, 499, 667, 495, 962, 961, 904, 904, 904, 654, 906, 906, 906, 910, 910, 910, 965, 913, 913, 913, 490, 656, 964, 647, 960, 559, 966, 544, 962, 965, 913, 913, 913, 665, 915, 915, 915, 638, 919, 919, 919, 969, 922, 922, 922, 635, 964, 968, 632, 629, 966, 970, 969, 922, 922, 922, 677, 924, 924, 924, 928, 928, 928, 973, 931, 931, 931, 627, 544, 972, 470, 968, 623, 974, 466, 970, 973, 931, 931, 931, 689, 933, 933, 933, 798, 983, 983, 983, 800, 986, 952, 952, 952, 972, 464, 485, 482, 974, 479, 987, 986, 952, 952, 952, 728, 954, 954, 954, 978, 978, 978, 1008, 981, 981, 981, 559, 544, 1007, 544, 349, 388, 1009, 524, 987, 1008, 981, 981, 981, 798, 983, 983, 983, 384, 989, 989, 989, 382, 993, 993, 993, 377, 1007, 1014, 512, 373, 1009, 1015, 997, 997, 997, 1001, 1001, 1001, 1005, 1005, 1005, 1016, 368, 501, 1017, 492, 489, 1018, 1012, 1012, 1012, 1014, 1021, 1021, 1021, 1015, 424, 1023, 412, 485, 482, 1029, 479, 477, 412, 1016, 475, 347, 1017, 472, 343, 1018, 341, 363, 360, 424, 412, 363, 363, 360, 360, 1023, 412, 410, 409, 1029, 57, 408, 57, 57, 57, 102, 102, 151, 151, 156, 156, 160, 160, 189, 189, 191, 191, 192, 192, 199, 199, 197, 197, 223, 223, 228, 228, 229, 229, 234, 234, 241, 241, 243, 243, 251, 251, 265, 265, 269, 269, 270, 270, 271, 271, 276, 276, 285, 285, 307, 307, 315, 315, 316, 316, 320, 320, 327, 327, 339, 339, 350, 350, 357, 357, 361, 361, 364, 364, 365, 365, 366, 366, 371, 371, 380, 380, 391, 391, 411, 411, 422, 422, 423, 423, 427, 427, 434, 434, 446, 446, 461, 461, 473, 473, 365, 365, 476, 476, 480, 480, 483, 483, 486, 486, 487, 487, 488, 488, 493, 493, 502, 502, 513, 513, 525, 525, 543, 543, 557, 557, 558, 558, 562, 562, 569, 569, 581, 581, 596, 596, 612, 612, 624, 624, 542, 542, 487, 487, 626, 626, 630, 630, 633, 633, 636, 636, 639, 639, 640, 640, 644, 644, 648, 648, 657, 657, 570, 570, 573, 573, 668, 668, 582, 582, 585, 585, 588, 588, 680, 680, 597, 597, 601, 601, 604, 604, 692, 692, 613, 613, 710, 710, 727, 727, 733, 733, 731, 731, 738, 738, 748, 748, 761, 761, 775, 775, 789, 789, 697, 697, 700, 700, 801, 801, 709, 709, 640, 640, 806, 806, 809, 809, 812, 812, 815, 815, 818, 818, 821, 821, 826, 826, 829, 829, 834, 834, 739, 739, 742, 742, 841, 841, 749, 749, 752, 752, 755, 755, 849, 849, 762, 762, 766, 766, 769, 769, 857, 857, 776, 776, 780, 780, 783, 783, 865, 865, 790, 790, 882, 882, 893, 893, 199, 199, 828, 828, 894, 894, 899, 899, 907, 907, 916, 916, 925, 925, 934, 934, 869, 869, 872, 872, 879, 879, 943, 943, 955, 955, 250, 282, 390, 278, 273, 379, 370, 367, 317, 308, 363, 360, 358, 308, 355, 354, 353, 352, 248, 349, 244, 268, 317, 308, 268, 268, 308, 221, 305, 304, 303, 302, 301, 300, 299, 159, 233, 194, 284, 275, 233, 272, 230, 224, 268, 266, 224, 261, 260, 259, 258, 257, 256, 255, 254, 253, 157, 250, 233, 230, 224, 224, 146, 220, 219, 218, 217, 216, 215, 214, 213, 212, 211, 138, 210, 209, 208, 196, 155, 193, 152, 149, 190, 138, 184, 183, 182, 181, 180, 177, 138, 176, 175, 174, 173, 172, 171, 170, 169, 168, 166, 164, 163, 162, 159, 44, 152, 145, 144, 143, 142, 141, 140, 139, 138, 137, 136, 135, 134, 133, 132, 131, 130, 129, 126, 125, 124, 121, 120, 119, 118, 116, 115, 114, 112, 111, 110, 109, 108, 103, 97, 96, 95, 91, 72, 53, 42, 41, 1032, 3, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032 } ; static yyconst short int yy_chk[3790] = { 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, 4, 10, 13, 15, 15, 23, 4, 10, 17, 17, 29, 74, 4, 10, 29, 74, 23, 23, 29, 31, 4, 10, 23, 24, 24, 24, 13, 25, 31, 24, 4, 10, 12, 12, 12, 12, 12, 12, 1318, 25, 78, 12, 12, 12, 78, 25, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 14, 18, 18, 18, 18, 28, 14, 26, 30, 28, 35, 18, 14, 20, 1317, 28, 131, 28, 35, 20, 14, 30, 26, 35, 32, 20, 30, 32, 131, 1316, 14, 1315, 1314, 20, 1313, 18, 19, 19, 19, 19, 19, 1312, 33, 20, 19, 106, 19, 33, 33, 33, 19, 19, 19, 19, 19, 19, 39, 44, 44, 44, 1311, 154, 39, 47, 47, 47, 47, 205, 39, 106, 19, 21, 21, 21, 21, 226, 39, 65, 65, 65, 65, 21, 1310, 1309, 56, 154, 39, 146, 146, 146, 56, 205, 21, 65, 1308, 1307, 56, 21, 1306, 226, 21, 1305, 21, 1304, 56, 21, 22, 22, 22, 22, 157, 157, 157, 22, 56, 69, 69, 69, 69, 22, 22, 22, 22, 22, 22, 99, 99, 99, 99, 159, 159, 159, 69, 1303, 22, 1302, 98, 98, 98, 98, 22, 45, 45, 45, 45, 45, 98, 1301, 1300, 45, 101, 101, 101, 101, 1299, 45, 45, 45, 45, 45, 45, 49, 49, 49, 103, 103, 103, 103, 49, 1298, 98, 190, 190, 190, 49, 49, 49, 49, 49, 49, 50, 1297, 113, 113, 113, 113, 50, 1296, 1295, 50, 50, 50, 50, 194, 194, 194, 50, 221, 221, 221, 50, 1294, 50, 50, 50, 50, 50, 50, 113, 1293, 50, 100, 100, 100, 100, 232, 1292, 1291, 100, 117, 117, 117, 117, 1290, 100, 100, 100, 100, 100, 100, 105, 105, 105, 105, 105, 244, 244, 244, 105, 232, 105, 117, 1289, 1288, 105, 105, 105, 105, 105, 105, 148, 148, 148, 148, 148, 160, 160, 160, 160, 185, 185, 185, 185, 1287, 105, 147, 147, 147, 1286, 185, 1285, 240, 147, 186, 186, 186, 186, 1284, 147, 147, 147, 147, 147, 147, 153, 153, 153, 153, 153, 248, 248, 248, 153, 185, 153, 240, 1283, 1282, 153, 153, 153, 153, 153, 153, 188, 188, 188, 188, 193, 193, 193, 193, 196, 196, 196, 196, 1281, 1279, 153, 158, 158, 158, 158, 158, 250, 250, 250, 158, 197, 197, 197, 197, 1278, 158, 158, 158, 158, 158, 158, 195, 195, 195, 195, 195, 263, 263, 263, 195, 1277, 200, 200, 200, 200, 195, 195, 195, 195, 195, 195, 200, 201, 201, 201, 201, 203, 203, 203, 203, 236, 236, 236, 236, 238, 238, 238, 238, 266, 266, 266, 235, 235, 235, 235, 200, 202, 202, 202, 202, 202, 235, 1276, 1275, 202, 246, 246, 246, 246, 246, 202, 202, 202, 202, 202, 202, 204, 204, 204, 204, 204, 268, 268, 268, 204, 235, 204, 273, 273, 273, 204, 204, 204, 204, 204, 204, 251, 251, 251, 251, 272, 272, 272, 272, 1274, 1273, 262, 262, 262, 1270, 204, 222, 222, 222, 1267, 262, 1265, 1264, 222, 275, 275, 275, 275, 1263, 222, 222, 222, 222, 222, 222, 225, 225, 225, 225, 225, 278, 278, 278, 225, 262, 225, 282, 282, 282, 225, 225, 225, 225, 225, 225, 276, 276, 276, 276, 280, 280, 280, 280, 280, 284, 284, 284, 284, 1261, 225, 231, 231, 231, 231, 231, 296, 1260, 1259, 231, 1257, 231, 341, 341, 341, 231, 231, 231, 231, 231, 231, 285, 285, 285, 285, 288, 288, 288, 288, 1256, 296, 287, 287, 287, 287, 231, 237, 237, 237, 237, 237, 287, 1255, 310, 237, 290, 290, 290, 290, 1253, 237, 237, 237, 237, 237, 237, 239, 239, 239, 239, 239, 313, 1252, 1250, 239, 287, 239, 310, 1245, 1244, 239, 239, 239, 239, 239, 239, 292, 292, 292, 292, 294, 294, 294, 294, 1243, 313, 291, 291, 291, 291, 239, 249, 249, 249, 249, 249, 291, 319, 326, 249, 322, 322, 322, 322, 1242, 249, 249, 249, 249, 249, 249, 274, 274, 274, 274, 274, 343, 343, 343, 274, 291, 319, 326, 1241, 1239, 274, 274, 274, 274, 274, 274, 283, 283, 283, 283, 283, 347, 347, 347, 283, 324, 324, 324, 324, 1238, 283, 283, 283, 283, 283, 283, 293, 293, 293, 293, 293, 338, 1237, 1236, 293, 330, 330, 330, 330, 1235, 293, 293, 293, 293, 293, 293, 295, 295, 295, 295, 295, 349, 349, 349, 295, 338, 295, 358, 358, 358, 295, 295, 295, 295, 295, 295, 332, 332, 332, 332, 334, 334, 334, 334, 1234, 321, 321, 321, 321, 1229, 295, 306, 306, 306, 1224, 321, 1213, 1200, 306, 336, 336, 336, 336, 1199, 306, 306, 306, 306, 306, 306, 309, 309, 309, 309, 309, 360, 360, 360, 309, 321, 309, 363, 363, 363, 309, 309, 309, 309, 309, 309, 405, 329, 329, 329, 329, 345, 345, 345, 345, 345, 1197, 329, 1196, 1195, 309, 312, 312, 312, 312, 312, 368, 368, 368, 312, 405, 312, 373, 373, 373, 312, 312, 312, 312, 312, 312, 329, 333, 333, 333, 333, 350, 350, 350, 350, 1194, 1192, 333, 1191, 1190, 312, 318, 318, 318, 318, 318, 377, 377, 377, 318, 414, 318, 382, 382, 382, 318, 318, 318, 318, 318, 318, 333, 367, 367, 367, 367, 370, 370, 370, 370, 371, 371, 371, 371, 414, 318, 323, 323, 323, 323, 323, 384, 384, 384, 323, 375, 375, 375, 375, 375, 323, 323, 323, 323, 323, 323, 325, 325, 325, 325, 325, 388, 388, 388, 325, 417, 325, 394, 394, 394, 325, 325, 325, 325, 325, 325, 379, 379, 379, 379, 380, 380, 380, 380, 386, 386, 386, 386, 386, 417, 325, 335, 335, 335, 335, 335, 420, 1189, 426, 335, 390, 390, 390, 390, 1187, 335, 335, 335, 335, 335, 335, 337, 337, 337, 337, 337, 433, 445, 1186, 337, 420, 337, 426, 1185, 1183, 337, 337, 337, 337, 337, 337, 391, 391, 391, 391, 397, 397, 397, 397, 1182, 433, 445, 393, 393, 393, 337, 348, 348, 348, 348, 348, 393, 1177, 1176, 348, 399, 399, 399, 399, 1175, 348, 348, 348, 348, 348, 348, 369, 369, 369, 369, 369, 449, 449, 449, 369, 393, 401, 401, 401, 401, 369, 369, 369, 369, 369, 369, 378, 378, 378, 378, 378, 460, 1174, 1173, 378, 403, 403, 403, 403, 1171, 378, 378, 378, 378, 378, 378, 389, 389, 389, 389, 389, 464, 464, 464, 389, 460, 396, 396, 396, 396, 389, 389, 389, 389, 389, 389, 396, 400, 400, 400, 400, 1170, 1169, 428, 428, 428, 428, 400, 429, 429, 429, 429, 1168, 428, 431, 431, 431, 431, 1167, 1162, 396, 437, 437, 437, 437, 439, 439, 439, 439, 1141, 1139, 400, 402, 402, 402, 402, 402, 428, 1138, 1137, 402, 441, 441, 441, 441, 1136, 402, 402, 402, 402, 402, 402, 404, 404, 404, 404, 404, 466, 466, 466, 404, 540, 404, 448, 448, 448, 404, 404, 404, 404, 404, 404, 448, 436, 436, 436, 436, 443, 443, 443, 443, 1134, 1133, 436, 1132, 540, 404, 413, 413, 413, 413, 413, 470, 470, 470, 413, 448, 413, 472, 472, 472, 413, 413, 413, 413, 413, 413, 436, 440, 440, 440, 440, 452, 452, 452, 452, 1130, 1129, 440, 1124, 1123, 413, 416, 416, 416, 416, 416, 477, 477, 477, 416, 546, 416, 479, 479, 479, 416, 416, 416, 416, 416, 416, 440, 451, 451, 451, 451, 454, 454, 454, 454, 1122, 1121, 451, 1119, 546, 416, 419, 419, 419, 419, 419, 482, 482, 482, 419, 549, 419, 485, 485, 485, 419, 419, 419, 419, 419, 419, 451, 455, 455, 455, 455, 456, 456, 456, 456, 1118, 1117, 455, 1116, 549, 419, 425, 425, 425, 425, 425, 490, 490, 490, 425, 1115, 425, 495, 495, 495, 425, 425, 425, 425, 425, 425, 455, 458, 458, 458, 458, 468, 468, 468, 468, 468, 473, 473, 473, 473, 425, 430, 430, 430, 430, 430, 499, 499, 499, 430, 480, 480, 480, 480, 1102, 430, 430, 430, 430, 430, 430, 432, 432, 432, 432, 432, 504, 504, 504, 432, 552, 432, 506, 506, 506, 432, 432, 432, 432, 432, 432, 483, 483, 483, 483, 486, 486, 486, 486, 489, 489, 489, 489, 1100, 552, 432, 442, 442, 442, 442, 442, 510, 510, 510, 442, 492, 492, 492, 492, 1099, 442, 442, 442, 442, 442, 442, 444, 444, 444, 444, 444, 516, 516, 516, 444, 555, 444, 518, 518, 518, 444, 444, 444, 444, 444, 444, 493, 493, 493, 493, 497, 497, 497, 497, 497, 501, 501, 501, 501, 555, 444, 457, 457, 457, 457, 457, 522, 522, 522, 457, 502, 502, 502, 502, 1098, 457, 457, 457, 457, 457, 457, 459, 459, 459, 459, 459, 529, 529, 529, 459, 561, 459, 584, 584, 584, 459, 459, 459, 459, 459, 459, 508, 508, 508, 508, 508, 512, 512, 512, 512, 513, 513, 513, 513, 561, 459, 471, 471, 471, 471, 471, 600, 600, 600, 471, 520, 520, 520, 520, 520, 471, 471, 471, 471, 471, 471, 478, 478, 478, 478, 478, 615, 615, 615, 478, 524, 524, 524, 524, 1096, 478, 478, 478, 478, 478, 478, 481, 481, 481, 481, 481, 617, 617, 617, 481, 525, 525, 525, 525, 1095, 481, 481, 481, 481, 481, 481, 484, 484, 484, 484, 484, 621, 621, 621, 484, 532, 532, 532, 532, 1090, 484, 484, 484, 484, 484, 484, 491, 491, 491, 491, 491, 623, 623, 623, 491, 534, 534, 534, 534, 1089, 491, 491, 491, 491, 491, 491, 500, 500, 500, 500, 500, 627, 627, 627, 500, 536, 536, 536, 536, 1088, 500, 500, 500, 500, 500, 500, 511, 511, 511, 511, 511, 568, 580, 1086, 511, 538, 538, 538, 538, 1085, 511, 511, 511, 511, 511, 511, 523, 523, 523, 523, 523, 595, 611, 1084, 523, 568, 580, 528, 528, 528, 523, 523, 523, 523, 523, 523, 528, 531, 531, 531, 531, 535, 535, 535, 535, 595, 611, 531, 629, 629, 629, 535, 559, 559, 559, 559, 564, 564, 564, 564, 528, 566, 566, 566, 566, 572, 572, 572, 572, 1083, 1073, 531, 583, 583, 583, 535, 537, 537, 537, 537, 537, 583, 1071, 1070, 537, 574, 574, 574, 574, 1065, 537, 537, 537, 537, 537, 537, 539, 539, 539, 539, 539, 632, 632, 632, 539, 583, 539, 599, 599, 599, 539, 539, 539, 539, 539, 539, 599, 563, 563, 563, 563, 576, 576, 576, 576, 1064, 1062, 563, 1061, 1060, 539, 545, 545, 545, 545, 545, 635, 635, 635, 545, 599, 545, 638, 638, 638, 545, 545, 545, 545, 545, 545, 563, 571, 571, 571, 571, 578, 578, 578, 578, 1051, 1046, 571, 1044, 1043, 545, 548, 548, 548, 548, 548, 642, 707, 1022, 548, 713, 548, 645, 645, 645, 548, 548, 548, 548, 548, 548, 571, 575, 575, 575, 575, 587, 587, 587, 587, 642, 707, 575, 1013, 713, 548, 551, 551, 551, 551, 551, 650, 650, 650, 551, 716, 551, 654, 654, 654, 551, 551, 551, 551, 551, 551, 575, 586, 586, 586, 586, 589, 589, 589, 589, 1006, 1002, 586, 998, 716, 551, 554, 554, 554, 554, 554, 659, 659, 659, 554, 719, 554, 661, 661, 661, 554, 554, 554, 554, 554, 554, 586, 590, 590, 590, 590, 591, 591, 591, 591, 994, 990, 590, 985, 719, 554, 560, 560, 560, 560, 560, 665, 665, 665, 560, 982, 560, 671, 671, 671, 560, 560, 560, 560, 560, 560, 590, 593, 593, 593, 593, 603, 603, 603, 603, 979, 602, 602, 602, 602, 560, 565, 565, 565, 565, 565, 602, 953, 941, 565, 605, 605, 605, 605, 932, 565, 565, 565, 565, 565, 565, 567, 567, 567, 567, 567, 673, 673, 673, 567, 602, 567, 677, 677, 677, 567, 567, 567, 567, 567, 567, 607, 607, 607, 607, 609, 609, 609, 609, 929, 923, 606, 606, 606, 606, 567, 577, 577, 577, 577, 577, 606, 920, 914, 577, 619, 619, 619, 619, 619, 577, 577, 577, 577, 577, 577, 579, 579, 579, 579, 579, 683, 683, 683, 579, 606, 579, 685, 685, 685, 579, 579, 579, 579, 579, 579, 624, 624, 624, 624, 630, 630, 630, 630, 633, 633, 633, 633, 911, 905, 579, 592, 592, 592, 592, 592, 689, 689, 689, 592, 636, 636, 636, 636, 902, 592, 592, 592, 592, 592, 592, 594, 594, 594, 594, 594, 696, 696, 696, 594, 722, 594, 728, 728, 728, 594, 594, 594, 594, 594, 594, 639, 639, 639, 639, 648, 648, 648, 648, 652, 652, 652, 652, 652, 722, 594, 608, 608, 608, 608, 608, 725, 897, 893, 608, 657, 657, 657, 657, 892, 608, 608, 608, 608, 608, 608, 610, 610, 610, 610, 610, 751, 751, 751, 610, 725, 610, 765, 765, 765, 610, 610, 610, 610, 610, 610, 663, 663, 663, 663, 663, 668, 668, 668, 668, 675, 675, 675, 675, 675, 610, 622, 622, 622, 622, 622, 779, 779, 779, 622, 680, 680, 680, 680, 881, 622, 622, 622, 622, 622, 622, 628, 628, 628, 628, 628, 792, 792, 792, 628, 687, 687, 687, 687, 687, 628, 628, 628, 628, 628, 628, 631, 631, 631, 631, 631, 794, 794, 794, 631, 692, 692, 692, 692, 879, 631, 631, 631, 631, 631, 631, 634, 634, 634, 634, 634, 798, 798, 798, 634, 699, 699, 699, 699, 872, 634, 634, 634, 634, 634, 634, 637, 637, 637, 637, 637, 804, 869, 865, 637, 701, 701, 701, 701, 864, 637, 637, 637, 637, 637, 637, 641, 641, 641, 641, 641, 830, 830, 830, 641, 804, 641, 695, 695, 695, 641, 641, 641, 641, 641, 641, 695, 703, 703, 703, 703, 705, 705, 705, 705, 857, 698, 698, 698, 698, 641, 646, 646, 646, 646, 646, 698, 856, 849, 646, 695, 711, 711, 711, 711, 646, 646, 646, 646, 646, 646, 655, 655, 655, 655, 655, 835, 835, 835, 655, 698, 731, 731, 731, 731, 655, 655, 655, 655, 655, 655, 666, 666, 666, 666, 666, 837, 837, 837, 666, 735, 735, 735, 735, 848, 666, 666, 666, 666, 666, 666, 678, 678, 678, 678, 678, 843, 843, 843, 678, 737, 737, 737, 737, 841, 678, 678, 678, 678, 678, 678, 690, 690, 690, 690, 690, 845, 845, 845, 690, 840, 702, 702, 702, 702, 690, 690, 690, 690, 690, 690, 702, 734, 734, 734, 734, 741, 741, 741, 741, 834, 833, 734, 743, 743, 743, 743, 745, 745, 745, 745, 740, 740, 740, 740, 702, 704, 704, 704, 704, 704, 740, 829, 828, 704, 827, 734, 851, 851, 851, 704, 704, 704, 704, 704, 704, 706, 706, 706, 706, 706, 853, 853, 853, 706, 740, 706, 750, 750, 750, 706, 706, 706, 706, 706, 706, 750, 744, 744, 744, 744, 747, 747, 747, 747, 826, 806, 744, 797, 790, 706, 712, 712, 712, 712, 712, 859, 859, 859, 712, 750, 712, 861, 861, 861, 712, 712, 712, 712, 712, 712, 744, 753, 753, 753, 753, 754, 754, 754, 754, 789, 783, 753, 780, 776, 712, 715, 715, 715, 715, 715, 868, 868, 868, 715, 775, 715, 889, 889, 889, 715, 715, 715, 715, 715, 715, 753, 756, 756, 756, 756, 758, 758, 758, 758, 769, 757, 757, 757, 757, 715, 718, 718, 718, 718, 718, 757, 766, 762, 718, 761, 718, 901, 901, 901, 718, 718, 718, 718, 718, 718, 760, 760, 760, 760, 764, 764, 764, 755, 752, 757, 910, 910, 910, 764, 718, 721, 721, 721, 721, 721, 919, 919, 919, 721, 749, 721, 778, 778, 778, 721, 721, 721, 721, 721, 721, 778, 748, 764, 767, 767, 767, 767, 768, 768, 768, 768, 742, 739, 767, 721, 724, 724, 724, 724, 724, 928, 928, 928, 724, 778, 724, 936, 936, 936, 724, 724, 724, 724, 724, 724, 738, 733, 767, 770, 770, 770, 770, 938, 938, 938, 771, 771, 771, 771, 724, 729, 729, 729, 729, 729, 771, 730, 727, 729, 772, 772, 772, 772, 726, 729, 729, 729, 729, 729, 729, 736, 736, 736, 736, 736, 957, 957, 957, 736, 771, 774, 774, 774, 774, 736, 736, 736, 736, 736, 736, 746, 746, 746, 746, 746, 961, 961, 961, 746, 782, 782, 782, 782, 723, 746, 746, 746, 746, 746, 746, 759, 759, 759, 759, 759, 965, 965, 965, 759, 784, 784, 784, 784, 720, 759, 759, 759, 759, 759, 759, 773, 773, 773, 773, 773, 969, 969, 969, 773, 717, 781, 781, 781, 781, 773, 773, 773, 773, 773, 773, 781, 785, 785, 785, 785, 786, 786, 786, 786, 714, 710, 785, 788, 788, 788, 788, 796, 796, 796, 796, 796, 973, 973, 973, 781, 801, 801, 801, 801, 809, 809, 809, 809, 709, 708, 785, 787, 787, 787, 787, 787, 978, 978, 978, 787, 812, 812, 812, 812, 700, 787, 787, 787, 787, 787, 787, 799, 799, 799, 799, 799, 986, 986, 986, 799, 815, 815, 815, 815, 697, 799, 799, 799, 799, 799, 799, 803, 803, 803, 803, 803, 989, 989, 989, 803, 691, 803, 993, 993, 993, 803, 803, 803, 803, 803, 803, 818, 818, 818, 818, 821, 821, 821, 821, 688, 679, 822, 822, 822, 822, 803, 807, 807, 807, 807, 807, 822, 676, 667, 807, 823, 823, 823, 823, 664, 807, 807, 807, 807, 807, 807, 810, 810, 810, 810, 810, 997, 997, 997, 810, 822, 825, 825, 825, 825, 810, 810, 810, 810, 810, 810, 813, 813, 813, 813, 813, 1001, 1001, 1001, 813, 832, 832, 832, 832, 832, 813, 813, 813, 813, 813, 813, 816, 816, 816, 816, 816, 1005, 1005, 1005, 816, 839, 839, 839, 839, 839, 816, 816, 816, 816, 816, 816, 819, 819, 819, 819, 819, 1008, 1008, 1008, 819, 847, 847, 847, 847, 847, 819, 819, 819, 819, 819, 819, 824, 824, 824, 824, 824, 1012, 1012, 1012, 824, 855, 855, 855, 855, 855, 824, 824, 824, 824, 824, 824, 863, 863, 863, 863, 863, 867, 867, 867, 870, 870, 870, 870, 656, 653, 867, 1021, 1021, 1021, 870, 871, 871, 871, 871, 873, 873, 873, 873, 874, 874, 874, 874, 875, 875, 875, 875, 647, 644, 874, 867, 643, 640, 626, 870, 877, 877, 877, 877, 882, 882, 882, 882, 891, 891, 891, 891, 891, 620, 895, 895, 895, 895, 874, 876, 876, 876, 876, 876, 895, 613, 612, 876, 896, 896, 896, 896, 604, 876, 876, 876, 876, 876, 876, 880, 880, 880, 880, 880, 601, 597, 596, 880, 895, 898, 898, 898, 898, 880, 880, 880, 880, 880, 880, 900, 900, 900, 903, 903, 903, 903, 588, 585, 900, 582, 581, 573, 903, 904, 904, 904, 904, 906, 906, 906, 906, 909, 909, 909, 912, 912, 912, 912, 570, 569, 909, 562, 900, 558, 912, 557, 903, 913, 913, 913, 913, 915, 915, 915, 915, 556, 918, 918, 918, 921, 921, 921, 921, 553, 909, 918, 550, 547, 912, 921, 922, 922, 922, 922, 924, 924, 924, 924, 927, 927, 927, 930, 930, 930, 930, 544, 543, 927, 542, 918, 541, 930, 533, 921, 931, 931, 931, 931, 933, 933, 933, 933, 940, 940, 940, 940, 940, 951, 951, 951, 951, 927, 530, 521, 509, 930, 498, 951, 952, 952, 952, 952, 954, 954, 954, 954, 977, 977, 977, 980, 980, 980, 980, 488, 487, 977, 476, 469, 462, 980, 461, 951, 981, 981, 981, 981, 983, 983, 983, 983, 453, 988, 988, 988, 450, 992, 992, 992, 447, 977, 988, 446, 438, 980, 992, 996, 996, 996, 1000, 1000, 1000, 1004, 1004, 1004, 996, 435, 434, 1000, 427, 424, 1004, 1011, 1011, 1011, 988, 1020, 1020, 1020, 992, 423, 1011, 422, 421, 418, 1020, 415, 412, 411, 996, 410, 407, 1000, 406, 398, 1004, 395, 387, 376, 366, 365, 364, 362, 361, 359, 1011, 357, 355, 353, 1020, 1033, 352, 1033, 1033, 1033, 1034, 1034, 1035, 1035, 1036, 1036, 1037, 1037, 1038, 1038, 1039, 1039, 1040, 1040, 1041, 1041, 1042, 1042, 1045, 1045, 1047, 1047, 1048, 1048, 1049, 1049, 1050, 1050, 1052, 1052, 1053, 1053, 1054, 1054, 1055, 1055, 1056, 1056, 1057, 1057, 1058, 1058, 1059, 1059, 1063, 1063, 1066, 1066, 1067, 1067, 1068, 1068, 1069, 1069, 1072, 1072, 1074, 1074, 1075, 1075, 1076, 1076, 1077, 1077, 1078, 1078, 1079, 1079, 1080, 1080, 1081, 1081, 1082, 1082, 1087, 1087, 1091, 1091, 1092, 1092, 1093, 1093, 1094, 1094, 1097, 1097, 1101, 1101, 1103, 1103, 1104, 1104, 1105, 1105, 1106, 1106, 1107, 1107, 1108, 1108, 1109, 1109, 1110, 1110, 1111, 1111, 1112, 1112, 1113, 1113, 1114, 1114, 1120, 1120, 1125, 1125, 1126, 1126, 1127, 1127, 1128, 1128, 1131, 1131, 1135, 1135, 1140, 1140, 1142, 1142, 1143, 1143, 1144, 1144, 1145, 1145, 1146, 1146, 1147, 1147, 1148, 1148, 1149, 1149, 1150, 1150, 1151, 1151, 1152, 1152, 1153, 1153, 1154, 1154, 1155, 1155, 1156, 1156, 1157, 1157, 1158, 1158, 1159, 1159, 1160, 1160, 1161, 1161, 1163, 1163, 1164, 1164, 1165, 1165, 1166, 1166, 1172, 1172, 1178, 1178, 1179, 1179, 1180, 1180, 1181, 1181, 1184, 1184, 1188, 1188, 1193, 1193, 1198, 1198, 1201, 1201, 1202, 1202, 1203, 1203, 1204, 1204, 1205, 1205, 1206, 1206, 1207, 1207, 1208, 1208, 1209, 1209, 1210, 1210, 1211, 1211, 1212, 1212, 1214, 1214, 1215, 1215, 1216, 1216, 1217, 1217, 1218, 1218, 1219, 1219, 1220, 1220, 1221, 1221, 1222, 1222, 1223, 1223, 1225, 1225, 1226, 1226, 1227, 1227, 1228, 1228, 1230, 1230, 1231, 1231, 1232, 1232, 1233, 1233, 1240, 1240, 1246, 1246, 1247, 1247, 1248, 1248, 1249, 1249, 1251, 1251, 1254, 1254, 1258, 1258, 1262, 1262, 1266, 1266, 1268, 1268, 1269, 1269, 1271, 1271, 1272, 1272, 1280, 1280, 346, 340, 339, 331, 328, 327, 320, 317, 316, 315, 314, 311, 308, 307, 305, 304, 303, 299, 298, 297, 289, 281, 271, 270, 269, 267, 265, 264, 261, 260, 259, 257, 256, 255, 253, 247, 243, 242, 241, 234, 233, 230, 229, 228, 227, 224, 223, 220, 219, 218, 215, 214, 212, 211, 210, 209, 207, 206, 199, 192, 191, 189, 187, 183, 181, 180, 179, 178, 175, 174, 171, 169, 168, 166, 165, 163, 162, 156, 155, 152, 151, 150, 149, 142, 140, 139, 137, 135, 132, 130, 129, 128, 127, 124, 123, 122, 121, 120, 119, 118, 116, 112, 111, 110, 107, 104, 102, 96, 95, 94, 93, 92, 91, 90, 89, 88, 87, 86, 84, 83, 82, 81, 80, 79, 77, 76, 75, 73, 72, 71, 70, 68, 67, 66, 64, 63, 62, 61, 60, 46, 38, 37, 36, 34, 27, 16, 8, 7, 3, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032 } ; 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[] = "@(#) $Header: /tcpdump/master/libpcap/scanner.l,v 1.60 1999/11/17 04:09:58 assar Exp $ (LBL)"; #endif #include #include #include #include #include #include "pcap-int.h" #include "gencode.h" #include #ifdef INET6 #include #include #endif /*INET6*/ #include "tokdefs.h" #include "gnuc.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 #undef YY_INPUT #define YY_INPUT(buf, result, max)\ {\ char *src = in_buffer;\ int i;\ \ if (*src == 0)\ result = YY_NULL;\ else {\ for (i = 0; *src && i < max; ++i)\ buf[i] = *src++;\ in_buffer += i;\ result = i;\ }\ } #else #undef getc #define getc(fp) (*in_buffer == 0 ? EOF : *in_buffer++) #endif #define yylval pcap_lval extern YYSTYPE yylval; static char *in_buffer; /* 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, *yy_bp; register int yy_act; #line 170 "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 >= 1033 ) 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] != 3744 ); 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 171 "scanner.l" return DST; YY_BREAK case 2: YY_RULE_SETUP #line 172 "scanner.l" return SRC; YY_BREAK case 3: YY_RULE_SETUP #line 174 "scanner.l" return LINK; YY_BREAK case 4: YY_RULE_SETUP #line 175 "scanner.l" return LINK; YY_BREAK case 5: YY_RULE_SETUP #line 176 "scanner.l" return ARP; YY_BREAK case 6: YY_RULE_SETUP #line 177 "scanner.l" return RARP; YY_BREAK case 7: YY_RULE_SETUP #line 178 "scanner.l" return IP; YY_BREAK case 8: YY_RULE_SETUP #line 179 "scanner.l" return TCP; YY_BREAK case 9: YY_RULE_SETUP #line 180 "scanner.l" return UDP; YY_BREAK case 10: YY_RULE_SETUP #line 181 "scanner.l" return ICMP; YY_BREAK case 11: YY_RULE_SETUP #line 182 "scanner.l" return IGMP; YY_BREAK case 12: YY_RULE_SETUP #line 183 "scanner.l" return IGRP; YY_BREAK case 13: YY_RULE_SETUP #line 184 "scanner.l" return PIM; YY_BREAK case 14: YY_RULE_SETUP #line 186 "scanner.l" return IPV6; YY_BREAK case 15: YY_RULE_SETUP #line 187 "scanner.l" return ICMPV6; YY_BREAK case 16: YY_RULE_SETUP #line 188 "scanner.l" return AH; YY_BREAK case 17: YY_RULE_SETUP #line 189 "scanner.l" return ESP; YY_BREAK case 18: YY_RULE_SETUP #line 191 "scanner.l" return ATALK; YY_BREAK case 19: YY_RULE_SETUP #line 192 "scanner.l" return DECNET; YY_BREAK case 20: YY_RULE_SETUP #line 193 "scanner.l" return LAT; YY_BREAK case 21: YY_RULE_SETUP #line 194 "scanner.l" return SCA; YY_BREAK case 22: YY_RULE_SETUP #line 195 "scanner.l" return MOPRC; YY_BREAK case 23: YY_RULE_SETUP #line 196 "scanner.l" return MOPDL; YY_BREAK case 24: YY_RULE_SETUP #line 198 "scanner.l" return HOST; YY_BREAK case 25: YY_RULE_SETUP #line 199 "scanner.l" return NET; YY_BREAK case 26: YY_RULE_SETUP #line 200 "scanner.l" return MASK; YY_BREAK case 27: YY_RULE_SETUP #line 201 "scanner.l" return PORT; YY_BREAK case 28: YY_RULE_SETUP #line 202 "scanner.l" return PROTO; YY_BREAK case 29: YY_RULE_SETUP #line 203 "scanner.l" { #ifdef NO_PROTOCHAIN bpf_error("%s not supported", yytext); #else return PROTOCHAIN; #endif } YY_BREAK case 30: YY_RULE_SETUP #line 211 "scanner.l" return GATEWAY; YY_BREAK case 31: YY_RULE_SETUP #line 213 "scanner.l" return LESS; YY_BREAK case 32: YY_RULE_SETUP #line 214 "scanner.l" return GREATER; YY_BREAK case 33: YY_RULE_SETUP #line 215 "scanner.l" return BYTE; YY_BREAK case 34: YY_RULE_SETUP #line 216 "scanner.l" return TK_BROADCAST; YY_BREAK case 35: YY_RULE_SETUP #line 217 "scanner.l" return TK_MULTICAST; YY_BREAK case 36: YY_RULE_SETUP #line 219 "scanner.l" return AND; YY_BREAK case 37: YY_RULE_SETUP #line 220 "scanner.l" return OR; YY_BREAK case 38: YY_RULE_SETUP #line 221 "scanner.l" return '!'; YY_BREAK case 39: YY_RULE_SETUP #line 223 "scanner.l" return LEN; YY_BREAK case 40: YY_RULE_SETUP #line 224 "scanner.l" return INBOUND; YY_BREAK case 41: YY_RULE_SETUP #line 225 "scanner.l" return OUTBOUND; YY_BREAK case 42: YY_RULE_SETUP #line 227 "scanner.l" ; YY_BREAK case 43: YY_RULE_SETUP #line 228 "scanner.l" return yytext[0]; YY_BREAK case 44: YY_RULE_SETUP #line 229 "scanner.l" return GEQ; YY_BREAK case 45: YY_RULE_SETUP #line 230 "scanner.l" return LEQ; YY_BREAK case 46: YY_RULE_SETUP #line 231 "scanner.l" return NEQ; YY_BREAK case 47: YY_RULE_SETUP #line 232 "scanner.l" return '='; YY_BREAK case 48: YY_RULE_SETUP #line 233 "scanner.l" return LSH; YY_BREAK case 49: YY_RULE_SETUP #line 234 "scanner.l" return RSH; YY_BREAK case 50: YY_RULE_SETUP #line 235 "scanner.l" { yylval.i = stoi((char *)yytext); return NUM; } YY_BREAK case 51: YY_RULE_SETUP #line 236 "scanner.l" { yylval.s = sdup((char *)yytext); return HID; } YY_BREAK case 52: YY_RULE_SETUP #line 238 "scanner.l" { yylval.e = pcap_ether_aton((char *)yytext); return EID; } YY_BREAK case 53: YY_RULE_SETUP #line 240 "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.e = sdup((char *)yytext); return HID6; } #else bpf_error("IPv6 address %s not supported", yytext); #endif /*INET6*/ } YY_BREAK case 54: YY_RULE_SETUP #line 255 "scanner.l" { bpf_error("bogus ethernet address %s", yytext); } YY_BREAK case 55: YY_RULE_SETUP #line 256 "scanner.l" { yylval.s = sdup((char *)yytext); return ID; } YY_BREAK case 56: YY_RULE_SETUP #line 258 "scanner.l" { yylval.s = sdup((char *)yytext + 1); return ID; } YY_BREAK case 57: YY_RULE_SETUP #line 259 "scanner.l" { bpf_error("illegal token: %s\n", yytext); } YY_BREAK case 58: YY_RULE_SETUP #line 261 "scanner.l" { bpf_error("illegal char '%c'", *yytext); } YY_BREAK case 59: YY_RULE_SETUP #line 262 "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 >= 1033 ) 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 >= 1033 ) 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 == 1032); return yy_is_jam ? 0 : yy_current_state; } #ifndef YY_NO_UNPUT #ifdef YY_USE_PROTOS static void yyunput( int c, register char *yy_bp ) #else static void yyunput( c, yy_bp ) int c; register char *yy_bp; #endif { register char *yy_cp = yy_c_buf_p; /* undo effects of setting up yytext */ *yy_cp = yy_hold_char; if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 ) { /* need to shift things up to make room */ /* +2 for EOB chars. */ register int number_to_move = yy_n_chars + 2; register char *dest = &yy_current_buffer->yy_ch_buf[ yy_current_buffer->yy_buf_size + 2]; register char *source = &yy_current_buffer->yy_ch_buf[number_to_move]; while ( source > yy_current_buffer->yy_ch_buf ) *--dest = *--source; yy_cp += (int) (dest - source); yy_bp += (int) (dest - source); yy_current_buffer->yy_n_chars = yy_n_chars = yy_current_buffer->yy_buf_size; if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 ) YY_FATAL_ERROR( "flex scanner push-back overflow" ); } *--yy_cp = (char) c; yytext_ptr = yy_bp; yy_hold_char = *yy_cp; yy_c_buf_p = yy_cp; } #endif /* ifndef YY_NO_UNPUT */ #ifdef __cplusplus static int yyinput() #else static int input() #endif { int c; *yy_c_buf_p = yy_hold_char; if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR ) { /* yy_c_buf_p now points to the character we want to return. * If this occurs *before* the EOB characters, then it's a * valid NUL; if not, then we've hit the end of the buffer. */ if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] ) /* This was really a NUL. */ *yy_c_buf_p = '\0'; else { /* need more input */ int offset = yy_c_buf_p - yytext_ptr; ++yy_c_buf_p; switch ( yy_get_next_buffer() ) { case EOB_ACT_LAST_MATCH: /* This happens because yy_g_n_b() * sees that we've accumulated a * token and flags that we need to * try matching the token before * proceeding. But for input(), * there's no matching to consider. * So convert the EOB_ACT_LAST_MATCH * to EOB_ACT_END_OF_FILE. */ /* Reset buffer status. */ yyrestart( yyin ); /* fall through */ case EOB_ACT_END_OF_FILE: { if ( yywrap() ) return EOF; if ( ! yy_did_buffer_switch_on_eof ) YY_NEW_FILE; #ifdef __cplusplus return yyinput(); #else return input(); #endif } case EOB_ACT_CONTINUE_SCAN: yy_c_buf_p = yytext_ptr + offset; break; } } } c = *(unsigned char *) yy_c_buf_p; /* cast for 8-bit char's */ *yy_c_buf_p = '\0'; /* preserve yytext */ yy_hold_char = *++yy_c_buf_p; return c; } #ifdef YY_USE_PROTOS void yyrestart( FILE *input_file ) #else void yyrestart( input_file ) FILE *input_file; #endif { if ( ! yy_current_buffer ) yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); yy_init_buffer( yy_current_buffer, input_file ); yy_load_buffer_state(); } #ifdef YY_USE_PROTOS void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer ) #else void yy_switch_to_buffer( new_buffer ) YY_BUFFER_STATE new_buffer; #endif { if ( yy_current_buffer == new_buffer ) return; if ( yy_current_buffer ) { /* Flush out information for old buffer. */ *yy_c_buf_p = yy_hold_char; yy_current_buffer->yy_buf_pos = yy_c_buf_p; yy_current_buffer->yy_n_chars = yy_n_chars; } yy_current_buffer = new_buffer; yy_load_buffer_state(); /* We don't actually know whether we did this switch during * EOF (yywrap()) processing, but the only time this flag * is looked at is after yywrap() is called, so it's safe * to go ahead and always set it. */ yy_did_buffer_switch_on_eof = 1; } #ifdef YY_USE_PROTOS void yy_load_buffer_state( void ) #else void yy_load_buffer_state() #endif { yy_n_chars = yy_current_buffer->yy_n_chars; yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos; yyin = yy_current_buffer->yy_input_file; yy_hold_char = *yy_c_buf_p; } #ifdef YY_USE_PROTOS YY_BUFFER_STATE yy_create_buffer( FILE *file, int size ) #else YY_BUFFER_STATE yy_create_buffer( file, size ) FILE *file; int size; #endif { YY_BUFFER_STATE b; b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) ); if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); b->yy_buf_size = size; /* yy_ch_buf has to be 2 characters longer than the size given because * we need to put in 2 end-of-buffer characters. */ b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 ); if ( ! b->yy_ch_buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); b->yy_is_our_buffer = 1; yy_init_buffer( b, file ); return b; } #ifdef YY_USE_PROTOS void yy_delete_buffer( YY_BUFFER_STATE b ) #else void yy_delete_buffer( b ) YY_BUFFER_STATE b; #endif { if ( ! b ) return; if ( b == yy_current_buffer ) yy_current_buffer = (YY_BUFFER_STATE) 0; if ( b->yy_is_our_buffer ) yy_flex_free( (void *) b->yy_ch_buf ); yy_flex_free( (void *) b ); } #ifndef YY_ALWAYS_INTERACTIVE #ifndef YY_NEVER_INTERACTIVE extern int isatty YY_PROTO(( int )); #endif #endif #ifdef YY_USE_PROTOS void yy_init_buffer( YY_BUFFER_STATE b, FILE *file ) #else void yy_init_buffer( b, file ) YY_BUFFER_STATE b; FILE *file; #endif { yy_flush_buffer( b ); b->yy_input_file = file; b->yy_fill_buffer = 1; #if YY_ALWAYS_INTERACTIVE b->yy_is_interactive = 1; #else #if YY_NEVER_INTERACTIVE b->yy_is_interactive = 0; #else b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; #endif #endif } #ifdef YY_USE_PROTOS void yy_flush_buffer( YY_BUFFER_STATE b ) #else void yy_flush_buffer( b ) YY_BUFFER_STATE b; #endif { if ( ! b ) return; b->yy_n_chars = 0; /* We always need two end-of-buffer characters. The first causes * a transition to the end-of-buffer state. The second causes * a jam in that state. */ b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR; b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR; b->yy_buf_pos = &b->yy_ch_buf[0]; b->yy_at_bol = 1; b->yy_buffer_status = YY_BUFFER_NEW; if ( b == yy_current_buffer ) yy_load_buffer_state(); } #ifndef YY_NO_SCAN_BUFFER #ifdef YY_USE_PROTOS YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size ) #else YY_BUFFER_STATE yy_scan_buffer( base, size ) char *base; yy_size_t size; #endif { YY_BUFFER_STATE b; if ( size < 2 || base[size-2] != YY_END_OF_BUFFER_CHAR || base[size-1] != YY_END_OF_BUFFER_CHAR ) /* They forgot to leave room for the EOB's. */ return 0; b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) ); if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" ); b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */ b->yy_buf_pos = b->yy_ch_buf = base; b->yy_is_our_buffer = 0; b->yy_input_file = 0; b->yy_n_chars = b->yy_buf_size; b->yy_is_interactive = 0; b->yy_at_bol = 1; b->yy_fill_buffer = 0; b->yy_buffer_status = YY_BUFFER_NEW; yy_switch_to_buffer( b ); return b; } #endif #ifndef YY_NO_SCAN_STRING #ifdef YY_USE_PROTOS YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str ) #else YY_BUFFER_STATE yy_scan_string( yy_str ) yyconst char *yy_str; #endif { int len; for ( len = 0; yy_str[len]; ++len ) ; return yy_scan_bytes( yy_str, len ); } #endif #ifndef YY_NO_SCAN_BYTES #ifdef YY_USE_PROTOS YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len ) #else YY_BUFFER_STATE yy_scan_bytes( bytes, len ) yyconst char *bytes; int len; #endif { YY_BUFFER_STATE b; char *buf; yy_size_t n; int i; /* Get memory for full buffer, including space for trailing EOB's. */ n = len + 2; buf = (char *) yy_flex_alloc( n ); if ( ! buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" ); for ( i = 0; i < len; ++i ) buf[i] = bytes[i]; buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR; b = yy_scan_buffer( buf, n ); if ( ! b ) YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" ); /* It's okay to grow etc. this buffer, and we should throw it * away when we're done. */ b->yy_is_our_buffer = 1; return b; } #endif #ifndef YY_NO_PUSH_STATE #ifdef YY_USE_PROTOS static void yy_push_state( int new_state ) #else static void yy_push_state( new_state ) int new_state; #endif { if ( yy_start_stack_ptr >= yy_start_stack_depth ) { yy_size_t new_size; yy_start_stack_depth += YY_START_STACK_INCR; new_size = yy_start_stack_depth * sizeof( int ); if ( ! yy_start_stack ) yy_start_stack = (int *) yy_flex_alloc( new_size ); else yy_start_stack = (int *) yy_flex_realloc( (void *) yy_start_stack, new_size ); if ( ! yy_start_stack ) YY_FATAL_ERROR( "out of memory expanding start-condition stack" ); } yy_start_stack[yy_start_stack_ptr++] = YY_START; BEGIN(new_state); } #endif #ifndef YY_NO_POP_STATE static void yy_pop_state() { if ( --yy_start_stack_ptr < 0 ) YY_FATAL_ERROR( "start-condition stack underflow" ); BEGIN(yy_start_stack[yy_start_stack_ptr]); } #endif #ifndef YY_NO_TOP_STATE static int yy_top_state() { return yy_start_stack[yy_start_stack_ptr - 1]; } #endif #ifndef YY_EXIT_FAILURE #define YY_EXIT_FAILURE 2 #endif #ifdef YY_USE_PROTOS static void yy_fatal_error( yyconst char msg[] ) #else static void yy_fatal_error( msg ) char msg[]; #endif { (void) fprintf( stderr, "%s\n", msg ); exit( YY_EXIT_FAILURE ); } /* Redefine yyless() so it works in section 3 code. */ #undef yyless #define yyless(n) \ do \ { \ /* Undo effects of setting up yytext. */ \ yytext[yyleng] = yy_hold_char; \ yy_c_buf_p = yytext + n; \ yy_hold_char = *yy_c_buf_p; \ *yy_c_buf_p = '\0'; \ yyleng = n; \ } \ while ( 0 ) /* Internal utility routines. */ #ifndef yytext_ptr #ifdef YY_USE_PROTOS static void yy_flex_strncpy( char *s1, yyconst char *s2, int n ) #else static void yy_flex_strncpy( s1, s2, n ) char *s1; yyconst char *s2; int n; #endif { register int i; for ( i = 0; i < n; ++i ) s1[i] = s2[i]; } #endif #ifdef YY_NEED_STRLEN #ifdef YY_USE_PROTOS static int yy_flex_strlen( yyconst char *s ) #else static int yy_flex_strlen( s ) yyconst char *s; #endif { register int n; for ( n = 0; s[n]; ++n ) ; return n; } #endif #ifdef YY_USE_PROTOS static void *yy_flex_alloc( yy_size_t size ) #else static void *yy_flex_alloc( size ) yy_size_t size; #endif { return (void *) malloc( size ); } #ifdef YY_USE_PROTOS static void *yy_flex_realloc( void *ptr, yy_size_t size ) #else static void *yy_flex_realloc( ptr, size ) void *ptr; yy_size_t size; #endif { /* The cast to (char *) in the following accommodates both * implementations that use char* generic pointers, and those * that use void* generic pointers. It works with the latter * because both ANSI C and C++ allow castless assignment from * any pointer type to void*, and deal with argument conversions * as though doing an assignment. */ return (void *) realloc( (char *) ptr, size ); } #ifdef YY_USE_PROTOS static void yy_flex_free( void *ptr ) #else static void yy_flex_free( ptr ) void *ptr; #endif { free( ptr ); } #if YY_MAIN int main() { yylex(); return 0; } #endif #line 262 "scanner.l" void lex_init(buf) char *buf; { in_buffer = buf; } /* * 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; }