diff options
Diffstat (limited to 'omega/omega_calc/obj/lex.yy.cc')
| -rwxr-xr-x | omega/omega_calc/obj/lex.yy.cc | 3966 |
1 files changed, 0 insertions, 3966 deletions
diff --git a/omega/omega_calc/obj/lex.yy.cc b/omega/omega_calc/obj/lex.yy.cc deleted file mode 100755 index 49a85e1..0000000 --- a/omega/omega_calc/obj/lex.yy.cc +++ /dev/null @@ -1,3966 +0,0 @@ - -#line 3 "lex.yy.cc" - -#define YY_INT_ALIGNED short int - -/* A lexical scanner generated by flex */ - -#define FLEX_SCANNER -#define YY_FLEX_MAJOR_VERSION 2 -#define YY_FLEX_MINOR_VERSION 5 -#define YY_FLEX_SUBMINOR_VERSION 35 -#if YY_FLEX_SUBMINOR_VERSION > 0 -#define FLEX_BETA -#endif - - /* The c++ scanner is a mess. The FlexLexer.h header file relies on the - * following macro. This is required in order to pass the c++-multiple-scanners - * test in the regression suite. We get reports that it breaks inheritance. - * We will address this in a future release of flex, or omit the C++ scanner - * altogether. - */ - #define yyFlexLexer yyFlexLexer - -/* First, we deal with platform-specific or compiler-specific issues. */ - -/* begin standard C headers. */ - -/* end standard C headers. */ - -/* flex integer type definitions */ - -#ifndef FLEXINT_H -#define FLEXINT_H - -/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */ - -#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L - -/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h, - * if you want the limit (max/min) macros for int types. - */ -#ifndef __STDC_LIMIT_MACROS -#define __STDC_LIMIT_MACROS 1 -#endif - -#include <inttypes.h> -typedef int8_t flex_int8_t; -typedef uint8_t flex_uint8_t; -typedef int16_t flex_int16_t; -typedef uint16_t flex_uint16_t; -typedef int32_t flex_int32_t; -typedef uint32_t flex_uint32_t; -#else -typedef signed char flex_int8_t; -typedef short int flex_int16_t; -typedef int flex_int32_t; -typedef unsigned char flex_uint8_t; -typedef unsigned short int flex_uint16_t; -typedef unsigned int flex_uint32_t; - -/* Limits of integral types. */ -#ifndef INT8_MIN -#define INT8_MIN (-128) -#endif -#ifndef INT16_MIN -#define INT16_MIN (-32767-1) -#endif -#ifndef INT32_MIN -#define INT32_MIN (-2147483647-1) -#endif -#ifndef INT8_MAX -#define INT8_MAX (127) -#endif -#ifndef INT16_MAX -#define INT16_MAX (32767) -#endif -#ifndef INT32_MAX -#define INT32_MAX (2147483647) -#endif -#ifndef UINT8_MAX -#define UINT8_MAX (255U) -#endif -#ifndef UINT16_MAX -#define UINT16_MAX (65535U) -#endif -#ifndef UINT32_MAX -#define UINT32_MAX (4294967295U) -#endif - -#endif /* ! C99 */ - -#endif /* ! FLEXINT_H */ - -/* begin standard C++ headers. */ -#include <iostream> -#include <errno.h> -#include <cstdlib> -#include <cstdio> -#include <cstring> -/* end standard C++ headers. */ - -#ifdef __cplusplus - -/* The "const" storage-class-modifier is valid. */ -#define YY_USE_CONST - -#else /* ! __cplusplus */ - -/* C99 requires __STDC__ to be defined as 1. */ -#if defined (__STDC__) - -#define YY_USE_CONST - -#endif /* defined (__STDC__) */ -#endif /* ! __cplusplus */ - -#ifdef YY_USE_CONST -#define yyconst const -#else -#define yyconst -#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. */ -#ifndef YY_BUF_SIZE -#ifdef __ia64__ -/* On IA-64, the buffer size is 16k, not 8k. - * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case. - * Ditto for the __ia64__ case accordingly. - */ -#define YY_BUF_SIZE 32768 -#else -#define YY_BUF_SIZE 16384 -#endif /* __ia64__ */ -#endif - -/* The state buf must be large enough to hold one state per character in the main buffer. - */ -#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) - -#ifndef YY_TYPEDEF_YY_BUFFER_STATE -#define YY_TYPEDEF_YY_BUFFER_STATE -typedef struct yy_buffer_state *YY_BUFFER_STATE; -#endif - -extern int yyleng; - -#define EOB_ACT_CONTINUE_SCAN 0 -#define EOB_ACT_END_OF_FILE 1 -#define EOB_ACT_LAST_MATCH 2 - - /* Note: We specifically omit the test for yy_rule_can_match_eol because it requires - * access to the local variable yy_act. Since yyless() is a macro, it would break - * existing scanners that call yyless() from OUTSIDE yylex. - * One obvious solution it to make yy_act a global. I tried that, and saw - * a 5% performance hit in a non-yylineno scanner, because yy_act is - * normally declared as a register variable-- so it is not worth it. - */ - #define YY_LESS_LINENO(n) \ - do { \ - int yyl;\ - for ( yyl = n; yyl < yyleng; ++yyl )\ - if ( yytext[yyl] == '\n' )\ - --yylineno;\ - }while(0) - -/* Return all but the first "n" matched characters back to the input stream. */ -#define yyless(n) \ - do \ - { \ - /* Undo effects of setting up yytext. */ \ - int yyless_macro_arg = (n); \ - YY_LESS_LINENO(yyless_macro_arg);\ - *yy_cp = (yy_hold_char); \ - YY_RESTORE_YY_MORE_OFFSET \ - (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \ - YY_DO_BEFORE_ACTION; /* set up yytext again */ \ - } \ - while ( 0 ) - -#define unput(c) yyunput( c, (yytext_ptr) ) - -#ifndef YY_TYPEDEF_YY_SIZE_T -#define YY_TYPEDEF_YY_SIZE_T -typedef size_t yy_size_t; -#endif - -#ifndef YY_STRUCT_YY_BUFFER_STATE -#define YY_STRUCT_YY_BUFFER_STATE -struct yy_buffer_state - { - - std::istream* 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; - - int yy_bs_lineno; /**< The line count. */ - int yy_bs_column; /**< The column count. */ - - /* 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 - - }; -#endif /* !YY_STRUCT_YY_BUFFER_STATE */ - -/* 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". - * - * Returns the top of the stack, or NULL. - */ -#define YY_CURRENT_BUFFER ( (yy_buffer_stack) \ - ? (yy_buffer_stack)[(yy_buffer_stack_top)] \ - : NULL) - -/* Same as previous macro, but useful when we know that the buffer stack is not - * NULL or when we need an lvalue. For internal use only. - */ -#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] - -void *yyalloc (yy_size_t ); -void *yyrealloc (void *,yy_size_t ); -void yyfree (void * ); - -#define yy_new_buffer yy_create_buffer - -#define yy_set_interactive(is_interactive) \ - { \ - if ( ! YY_CURRENT_BUFFER ){ \ - yyensure_buffer_stack (); \ - YY_CURRENT_BUFFER_LVALUE = \ - yy_create_buffer( yyin, YY_BUF_SIZE ); \ - } \ - YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \ - } - -#define yy_set_bol(at_bol) \ - { \ - if ( ! YY_CURRENT_BUFFER ){\ - yyensure_buffer_stack (); \ - YY_CURRENT_BUFFER_LVALUE = \ - yy_create_buffer( yyin, YY_BUF_SIZE ); \ - } \ - YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \ - } - -#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) - -/* Begin user sect3 */ -#define YY_SKIP_YYWRAP - -typedef unsigned char YY_CHAR; - -#define yytext_ptr yytext -#define YY_INTERACTIVE - -#include <FlexLexer.h> - -int yyFlexLexer::yywrap() { return 1; } - -/* 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 = (size_t) (yy_cp - yy_bp); \ - (yy_hold_char) = *yy_cp; \ - *yy_cp = '\0'; \ - (yy_c_buf_p) = yy_cp; - -#define YY_NUM_RULES 147 -#define YY_END_OF_BUFFER 148 -/* This struct is not used in this scanner, - but its presence is necessary. */ -struct yy_trans_info - { - flex_int32_t yy_verify; - flex_int32_t yy_nxt; - }; -static yyconst flex_int16_t yy_accept[2067] = - { 0, - 0, 0, 0, 0, 0, 0, 7, 7, 148, 146, - 5, 16, 117, 146, 6, 146, 109, 146, 46, 108, - 144, 146, 132, 134, 133, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 103, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 17, 110, 19, 15, - 146, 103, 30, 146, 5, 3, 3, 117, 146, 6, - 146, 109, 146, 46, 108, 144, 146, 132, 134, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 103, 136, 136, 136, 136, 136, 136, 136, 136, 136, - - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 17, 110, 19, 7, 5, 7, 7, 6, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 5, 130, 0, 145, 10, 111, 121, 144, - 120, 1, 124, 135, 127, 136, 0, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - - 136, 136, 122, 136, 136, 136, 136, 136, 114, 136, - 136, 136, 0, 136, 136, 136, 136, 136, 136, 112, - 9, 4, 13, 140, 14, 140, 140, 140, 140, 140, - 140, 140, 11, 140, 140, 12, 18, 20, 0, 0, - 5, 130, 0, 145, 0, 10, 111, 121, 144, 120, - 1, 124, 135, 136, 0, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 122, 136, 136, 136, 136, 136, 114, 136, 136, 136, - 0, 136, 136, 136, 136, 136, 136, 112, 7, 5, - - 7, 7, 7, 7, 7, 7, 7, 7, 1, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 0, 0, 0, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 113, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 118, 136, 136, 136, 136, 0, 136, 136, - - 28, 136, 136, 136, 136, 8, 0, 140, 140, 140, - 140, 140, 140, 129, 140, 140, 126, 140, 140, 140, - 140, 31, 2, 2, 0, 0, 0, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 113, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 118, - 136, 136, 136, 136, 0, 136, 136, 28, 136, 136, - 136, 136, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 0, 0, 0, 136, 136, 136, 136, 72, 136, 136, - 136, 136, 136, 136, 56, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 87, 136, 136, - 136, 47, 136, 136, 136, 136, 136, 136, 136, 32, - 136, 136, 136, 136, 49, 136, 136, 136, 0, 0, - 0, 25, 140, 23, 140, 140, 128, 140, 140, 125, - 116, 29, 119, 131, 140, 0, 0, 0, 136, 136, - 136, 136, 72, 136, 136, 136, 136, 136, 136, 56, - - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 87, 136, 136, 136, 47, 136, 136, 136, - 136, 136, 136, 136, 32, 136, 136, 136, 136, 49, - 136, 136, 136, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 137, 0, 0, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - - 136, 136, 136, 136, 136, 136, 136, 136, 88, 136, - 136, 136, 136, 136, 136, 51, 136, 136, 136, 136, - 136, 136, 136, 22, 136, 136, 136, 0, 0, 0, - 35, 140, 140, 45, 115, 140, 137, 0, 0, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 88, 136, 136, 136, 136, 136, 136, - 51, 136, 136, 136, 136, 136, 136, 136, 22, 136, - 136, 136, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 139, 138, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 48, - 136, 55, 73, 53, 136, 136, 136, 136, 136, 136, - 136, 136, 90, 136, 136, 136, 136, 136, 89, 136, - 141, 0, 0, 140, 140, 140, 139, 138, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 48, 136, 55, - - 73, 53, 136, 136, 136, 136, 136, 136, 136, 136, - 90, 136, 136, 136, 136, 136, 89, 136, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 91, 136, - 36, 136, 136, 136, 97, 136, 33, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - - 143, 142, 54, 52, 140, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 91, 136, 36, 136, 136, 136, 97, - 136, 33, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 62, 136, - - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 78, 77, 0, 136, 136, 136, 136, 136, 95, 136, - 136, 27, 136, 136, 136, 140, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 62, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 78, 77, 136, 136, 136, 136, 136, 95, 136, - 136, 27, 136, 136, 136, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - - 7, 7, 7, 7, 7, 136, 136, 67, 136, 136, - 136, 136, 136, 136, 136, 136, 136, 71, 136, 136, - 136, 136, 136, 136, 136, 38, 136, 136, 136, 0, - 136, 136, 0, 136, 136, 0, 0, 136, 136, 136, - 136, 99, 136, 136, 136, 136, 136, 136, 136, 136, - 140, 136, 136, 67, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 71, 136, 136, 136, 136, 136, 136, - 136, 38, 136, 136, 136, 0, 136, 136, 0, 136, - 136, 136, 136, 136, 136, 99, 136, 136, 136, 136, - 136, 136, 136, 136, 7, 7, 7, 7, 7, 7, - - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 136, - 66, 136, 136, 64, 136, 136, 136, 68, 136, 136, - 63, 136, 136, 136, 98, 34, 0, 136, 136, 37, - 136, 136, 0, 0, 136, 136, 0, 0, 136, 136, - 0, 0, 136, 136, 136, 136, 0, 136, 136, 136, - 136, 94, 136, 136, 136, 136, 140, 136, 66, 136, - 136, 64, 136, 136, 136, 68, 136, 136, 63, 136, - - 136, 136, 98, 34, 0, 136, 136, 37, 136, 136, - 0, 0, 136, 136, 0, 0, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 94, 136, 136, 136, - 136, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 136, 70, - 136, 136, 136, 136, 136, 136, 21, 136, 136, 0, - 136, 136, 136, 93, 0, 0, 136, 136, 0, 0, - - 136, 136, 0, 0, 136, 136, 136, 136, 0, 136, - 136, 136, 136, 96, 50, 92, 136, 123, 136, 70, - 136, 136, 136, 136, 136, 136, 21, 136, 136, 0, - 136, 136, 136, 93, 0, 0, 136, 136, 0, 0, - 136, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 96, 50, 92, 136, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 136, 136, 136, 136, 136, 136, 136, - - 136, 136, 0, 136, 136, 24, 0, 0, 136, 136, - 0, 0, 136, 136, 0, 0, 136, 136, 136, 136, - 100, 136, 136, 136, 136, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 0, 136, 136, 24, 0, - 0, 136, 136, 0, 0, 136, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 136, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 136, - 136, 136, 136, 136, 69, 136, 136, 136, 0, 136, - - 136, 0, 0, 136, 82, 0, 0, 136, 81, 0, - 0, 136, 136, 136, 136, 136, 105, 136, 136, 136, - 136, 136, 136, 136, 136, 69, 136, 136, 136, 0, - 136, 136, 0, 0, 136, 82, 0, 0, 136, 81, - 136, 136, 136, 136, 136, 105, 136, 136, 136, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 136, 136, 136, 136, 136, 136, 136, 136, 0, 136, - 136, 0, 80, 86, 0, 79, 85, 0, 0, 136, - - 136, 136, 136, 102, 136, 104, 136, 136, 136, 136, - 136, 136, 136, 136, 136, 0, 136, 136, 0, 80, - 86, 0, 79, 85, 136, 136, 136, 136, 102, 136, - 104, 136, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 136, - 136, 136, 136, 136, 136, 136, 136, 0, 136, 74, - 84, 83, 0, 0, 136, 136, 136, 136, 101, 136, - 136, 136, 136, 136, 136, 136, 136, 136, 0, 136, - 74, 84, 83, 136, 136, 136, 136, 101, 136, 7, - - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 136, 136, 136, 136, 136, 136, 136, 136, 75, 76, - 0, 0, 136, 44, 136, 136, 26, 136, 136, 136, - 136, 136, 136, 136, 136, 75, 76, 136, 44, 136, - 136, 26, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 61, - 58, 136, 136, 60, 136, 136, 136, 0, 0, 136, - 136, 136, 61, 58, 136, 136, 60, 136, 136, 136, - 136, 136, 136, 7, 7, 7, 7, 7, 7, 7, - - 7, 7, 7, 7, 7, 7, 136, 136, 136, 136, - 136, 0, 42, 41, 136, 43, 136, 136, 136, 136, - 136, 41, 136, 43, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 136, 65, 59, 106, 136, 0, - 136, 136, 65, 59, 106, 136, 136, 7, 7, 7, - 7, 7, 7, 7, 57, 107, 39, 40, 57, 107, - 40, 7, 7, 7, 7, 0 - } ; - -static yyconst flex_int32_t yy_ec[256] = - { 0, - 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 4, 5, 6, 7, 8, 1, 9, 10, 11, - 12, 1, 1, 1, 13, 14, 15, 16, 16, 16, - 16, 16, 16, 16, 16, 16, 16, 17, 1, 18, - 19, 20, 1, 1, 21, 22, 23, 24, 22, 22, - 22, 25, 26, 22, 22, 27, 22, 22, 28, 29, - 30, 31, 32, 33, 34, 35, 22, 22, 22, 22, - 1, 36, 1, 1, 37, 1, 38, 39, 40, 41, - - 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, - 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, - 62, 63, 64, 65, 66, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 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 flex_int32_t yy_meta[67] = - { 0, - 1, 1, 2, 3, 4, 1, 1, 1, 1, 5, - 6, 1, 1, 1, 1, 7, 1, 1, 1, 1, - 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, - 8, 8, 8, 8, 8, 4, 7, 8, 8, 8, - 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, - 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, - 8, 8, 8, 4, 1, 4 - } ; - -static yyconst flex_int16_t yy_base[2080] = - { 0, - 0, 0, 64, 65, 130, 0, 196, 0, 3618, 3619, - 67, 3619, 3598, 3610, 3619, 3607, 3605, 3593, 3619, 3619, - 3596, 3592, 56, 3591, 3590, 66, 68, 70, 72, 253, - 74, 255, 257, 76, 78, 81, 3619, 3598, 261, 264, - 267, 259, 270, 272, 274, 276, 278, 285, 280, 287, - 289, 83, 323, 293, 295, 316, 3619, 3542, 3619, 3619, - 3598, 382, 3540, 3584, 93, 3619, 94, 83, 332, 3583, - 91, 95, 3582, 3581, 3580, 90, 88, 108, 97, 448, - 514, 3547, 3556, 3539, 3550, 67, 3537, 3552, 3547, 3550, - 3571, 580, 294, 272, 307, 3529, 291, 3543, 3537, 3535, - - 3534, 317, 3533, 3529, 3528, 316, 307, 3536, 241, 3535, - 3560, 331, 3559, 0, 362, 3559, 270, 0, 3569, 3567, - 3555, 0, 0, 3558, 3554, 322, 3553, 3552, 646, 712, - 3518, 3527, 3510, 3521, 318, 3508, 3523, 3518, 3521, 0, - 778, 320, 322, 315, 3501, 330, 3515, 3509, 3507, 3506, - 334, 3505, 3501, 3500, 337, 378, 3508, 337, 3507, 0, - 3487, 0, 387, 3619, 3545, 3619, 3619, 3619, 3619, 3534, - 3619, 3619, 3619, 3619, 3619, 3539, 367, 367, 373, 390, - 387, 393, 396, 398, 424, 441, 403, 459, 466, 3538, - 461, 482, 484, 409, 489, 463, 468, 486, 472, 494, - - 496, 545, 548, 527, 536, 542, 532, 551, 400, 554, - 558, 564, 3490, 623, 534, 560, 566, 614, 556, 3619, - 3543, 3619, 3619, 3534, 3619, 632, 487, 434, 530, 616, - 631, 603, 629, 626, 497, 3533, 3619, 3619, 3523, 3522, - 615, 3521, 671, 3520, 469, 3519, 3518, 3517, 401, 3516, - 3515, 3514, 3513, 392, 660, 0, 3489, 3480, 3490, 3480, - 3477, 3481, 3470, 3479, 3484, 3473, 3471, 844, 3480, 3467, - 3463, 3463, 440, 3477, 3473, 3465, 377, 3459, 3458, 429, - 371, 3466, 3451, 3449, 3458, 3451, 0, 3455, 3455, 573, - 676, 579, 3455, 3454, 3457, 3449, 3444, 3480, 0, 619, - - 0, 554, 0, 0, 0, 0, 3483, 0, 0, 0, - 0, 0, 3488, 653, 0, 3454, 3445, 3455, 3445, 3442, - 3446, 3435, 3444, 3449, 3438, 3436, 910, 3445, 3432, 3428, - 3428, 581, 3442, 3438, 3430, 590, 3424, 3423, 582, 636, - 3431, 3416, 3414, 3423, 3416, 0, 3420, 3420, 646, 3413, - 648, 3419, 3418, 3421, 3413, 3408, 0, 3413, 3405, 3420, - 688, 693, 695, 697, 725, 739, 727, 730, 743, 746, - 750, 732, 748, 764, 752, 794, 755, 758, 805, 734, - 810, 812, 817, 801, 814, 824, 827, 830, 819, 863, - 821, 867, 807, 879, 887, 892, 876, 3447, 881, 865, - - 924, 928, 884, 930, 932, 3619, 853, 3449, 59, 889, - 698, 836, 890, 717, 936, 704, 895, 893, 939, 940, - 941, 3448, 3619, 3452, 782, 761, 259, 3411, 580, 3404, - 3406, 3412, 3398, 3406, 3411, 3393, 3396, 3397, 0, 3392, - 3404, 3390, 3402, 3390, 3390, 3398, 3402, 3389, 3382, 3389, - 3398, 3378, 3392, 3391, 3390, 3380, 3388, 3383, 3382, 0, - 3380, 3382, 3385, 3367, 680, 3367, 3380, 916, 3379, 3368, - 3377, 3373, 3366, 3358, 3373, 3368, 767, 3361, 3363, 3369, - 3355, 3363, 3368, 3350, 3353, 3354, 0, 3349, 3361, 3347, - 3359, 3347, 3347, 3355, 3359, 3346, 3339, 3346, 3355, 3335, - - 3349, 3348, 3347, 3337, 3345, 3340, 3339, 0, 3337, 3339, - 3342, 3324, 3366, 3323, 3336, 917, 3335, 3324, 3333, 3329, - 3361, 3315, 3314, 947, 949, 954, 956, 873, 968, 958, - 976, 980, 982, 989, 991, 993, 998, 1000, 1005, 1002, - 1009, 1014, 1011, 1016, 1019, 1021, 1024, 1026, 1029, 1031, - 1033, 1050, 1052, 1054, 1060, 1064, 1067, 1071, 1073, 3619, - 1079, 1081, 1083, 1085, 1087, 1089, 1091, 1101, 3319, 3311, - 3326, 3356, 977, 3355, 753, 1012, 3354, 1057, 1044, 3353, - 3352, 3351, 3350, 3349, 960, 876, 1046, 1067, 3308, 3318, - 3315, 3298, 0, 3317, 3294, 3296, 3304, 3326, 3301, 0, - - 3297, 3293, 3301, 3302, 1065, 3287, 1080, 3298, 3290, 3285, - 3303, 3291, 0, 3288, 3283, 3282, 0, 3281, 3285, 3284, - 3291, 3290, 3286, 3275, 3309, 3286, 3272, 3284, 3273, 3284, - 3272, 3267, 847, 3309, 3263, 3262, 3267, 3277, 3274, 3257, - 0, 3276, 3253, 3255, 3263, 3285, 3260, 0, 3256, 3252, - 3260, 3261, 1066, 3246, 1087, 3257, 3249, 3244, 3262, 3250, - 0, 3247, 3242, 3241, 0, 3240, 3244, 3243, 3250, 3249, - 3245, 3234, 0, 3246, 3232, 3244, 3233, 3244, 3232, 3227, - 1006, 3619, 3269, 3268, 1120, 1123, 1128, 1131, 1133, 1139, - 1141, 1144, 1146, 1148, 1150, 1153, 1155, 1157, 1160, 1162, - - 1164, 1167, 1169, 1171, 1181, 1183, 1185, 1195, 1190, 1197, - 1202, 1205, 1210, 1215, 1217, 1221, 1224, 1226, 1235, 1237, - 1239, 1241, 1249, 1244, 1254, 1256, 1258, 3267, 3221, 3220, - 3265, 1172, 1165, 3264, 3263, 1222, 3253, 961, 1251, 3230, - 3246, 3209, 3216, 3213, 3221, 3220, 3240, 3206, 3221, 3201, - 3204, 3218, 3217, 3216, 3201, 3203, 3203, 3199, 3202, 3203, - 3195, 3194, 3200, 0, 3192, 3191, 3209, 3199, 3198, 3203, - 0, 3204, 3195, 3183, 3183, 3177, 3188, 3187, 0, 3198, - 3183, 3175, 0, 3220, 3219, 3188, 3204, 3167, 3174, 3171, - 3179, 3178, 3198, 3164, 3179, 3159, 3162, 3176, 3175, 3174, - - 3159, 3161, 3161, 3157, 3160, 3161, 3153, 3152, 3158, 0, - 3150, 3149, 3167, 3157, 3156, 3161, 0, 3162, 3153, 3141, - 3141, 3135, 3146, 3145, 0, 3156, 3141, 3133, 3619, 3619, - 1263, 1265, 1271, 1273, 1294, 1298, 1267, 1300, 1302, 1304, - 1310, 1323, 1314, 1317, 1320, 1325, 1327, 1330, 1332, 1334, - 1336, 1338, 1342, 1352, 1354, 1361, 1369, 1371, 1373, 1375, - 1377, 1379, 1381, 1383, 1388, 1391, 1394, 1396, 1399, 1401, - 3619, 3178, 3177, 1187, 1269, 1094, 3168, 3167, 972, 3128, - 1264, 3136, 1215, 3128, 3124, 3124, 3132, 3155, 3133, 1089, - 3137, 3126, 3126, 3133, 3125, 3142, 3130, 0, 3129, 0, - - 0, 0, 3128, 3127, 3129, 3104, 3103, 3108, 3125, 3123, - 3110, 3119, 3122, 3104, 3090, 3087, 0, 3062, 0, 0, - 1274, 3060, 1390, 3062, 1278, 3054, 3036, 3036, 3042, 3065, - 3043, 1332, 3043, 3018, 3018, 3025, 3017, 3034, 3022, 0, - 3021, 0, 0, 0, 3020, 3019, 3021, 2996, 2995, 3000, - 3017, 3015, 3002, 3010, 3013, 3003, 2996, 3008, 0, 2989, - 1407, 1412, 1417, 1419, 1428, 1430, 1432, 1437, 1434, 1439, - 1441, 1444, 1446, 1450, 1452, 1458, 1465, 1467, 1469, 1474, - 1477, 1480, 1486, 1488, 1490, 1495, 1500, 1502, 1504, 1507, - 1515, 1510, 1519, 1521, 1523, 1527, 1530, 1534, 1537, 1545, - - 3619, 3619, 3034, 3033, 1295, 2991, 2984, 2992, 1027, 32, - 352, 363, 449, 505, 573, 588, 648, 913, 925, 998, - 1068, 1077, 1108, 0, 1144, 0, 1161, 1167, 1172, 0, - 1230, 0, 1233, 1290, 1297, 1546, 1310, 1316, 1332, 1320, - 1345, 1357, 1344, 1362, 1383, 1372, 1373, 1404, 1506, 1407, - 1425, 1431, 1430, 1436, 1461, 1465, 1475, 1478, 1484, 1503, - 1506, 1502, 1524, 0, 1520, 0, 1521, 1523, 1515, 0, - 1528, 0, 1517, 1529, 1530, 1571, 1524, 1521, 1536, 1524, - 1534, 1545, 1530, 1535, 1551, 1583, 1585, 1587, 1590, 1592, - 1594, 1596, 1599, 1601, 1603, 1605, 1607, 1609, 1611, 1613, - - 1615, 1627, 1634, 1636, 1644, 1646, 1649, 1653, 1655, 1657, - 1659, 1663, 1589, 1667, 1669, 1671, 1679, 1695, 1681, 1686, - 1691, 1697, 1700, 1706, 1714, 1580, 1579, 1582, 1590, 1606, - 1600, 1612, 1618, 1643, 1636, 1639, 1671, 1676, 1654, 0, - 1664, 1684, 1672, 1678, 1691, 1680, 1692, 1685, 1695, 1679, - 1679, 1726, 1727, 1681, 1691, 1705, 1703, 1722, 0, 1695, - 1695, 0, 1691, 1692, 1695, 1702, 1705, 1706, 1714, 1710, - 1712, 1709, 1722, 1715, 1717, 1746, 1748, 1723, 0, 1724, - 1736, 1719, 1725, 1738, 1727, 1738, 1731, 1743, 1727, 1727, - 1773, 1774, 1750, 1729, 1739, 1753, 1750, 1769, 0, 1742, - - 1742, 0, 1738, 1739, 1742, 1793, 1797, 1799, 1801, 1806, - 1808, 1810, 1812, 1814, 1820, 1816, 1823, 1826, 1828, 1832, - 1838, 1840, 1844, 1848, 1857, 1852, 1861, 1863, 1868, 1758, - 1870, 1872, 1811, 1874, 1876, 1741, 1789, 1880, 1888, 1882, - 1897, 1891, 1901, 1905, 1913, 1917, 1920, 1922, 1924, 1926, - 1836, 1805, 1807, 0, 1820, 1825, 1848, 1849, 1890, 1878, - 1872, 1880, 1877, 0, 1889, 1882, 1902, 1885, 1882, 1888, - 1933, 0, 1905, 1903, 1899, 1932, 1899, 1917, 1937, 1904, - 1920, 1921, 1929, 1902, 1912, 1960, 1913, 1928, 1926, 1928, - 1925, 1924, 1929, 1936, 1944, 1935, 0, 1945, 1947, 1939, - - 1934, 1967, 1952, 1944, 1949, 1943, 0, 1947, 1940, 1960, - 1943, 1938, 1944, 1989, 0, 1961, 1958, 1954, 1965, 1955, - 1970, 1968, 1958, 1973, 1952, 1962, 1976, 1983, 1956, 1966, - 2014, 1967, 1983, 1981, 1981, 1976, 1972, 1977, 1983, 2020, - 2023, 2027, 2030, 2032, 2035, 2037, 2039, 2041, 2044, 2046, - 2048, 2050, 2052, 2057, 2054, 2059, 1992, 2061, 2063, 2068, - 2070, 2072, 1987, 2006, 2077, 2080, 2001, 2046, 2083, 2087, - 2061, 2096, 2092, 2095, 2097, 2100, 2060, 2105, 2107, 2109, - 2113, 2115, 2118, 2129, 2131, 2133, 2103, 2075, 0, 2082, - 2086, 0, 2092, 2084, 2099, 0, 2104, 2097, 0, 2106, - - 2092, 2112, 0, 0, 2132, 2110, 2118, 0, 2107, 2121, - 2144, 2146, 2115, 2116, 2148, 2149, 2120, 2122, 2112, 2114, - 2139, 2141, 2129, 2129, 2129, 2144, 0, 2143, 2144, 2147, - 2139, 2144, 0, 2143, 2146, 0, 2151, 2142, 2149, 0, - 2155, 2148, 0, 2157, 2144, 2164, 0, 0, 2160, 2161, - 2167, 0, 2154, 2166, 2156, 2171, 2160, 2160, 2160, 2175, - 2164, 2164, 2178, 2213, 2156, 2157, 2182, 2184, 2170, 2173, - 2173, 2173, 2188, 0, 2185, 2186, 2188, 2180, 2221, 2223, - 2225, 2227, 2229, 2231, 2233, 2235, 2237, 2239, 2241, 2215, - 2246, 2244, 2249, 2251, 2208, 2212, 2254, 2257, 2216, 2218, - - 2267, 2260, 2213, 2223, 2276, 2278, 2280, 2283, 2238, 2285, - 2292, 2296, 2299, 2301, 2303, 2305, 2307, 2286, 2268, 0, - 2269, 2265, 2271, 2273, 2285, 2287, 0, 2281, 2272, 2310, - 2293, 2277, 2282, 0, 2314, 2315, 2299, 2294, 2320, 2321, - 2305, 2300, 2313, 2297, 2287, 2295, 2314, 2309, 2304, 2304, - 0, 0, 0, 2303, 2306, 0, 2307, 2303, 2310, 2311, - 2323, 2326, 0, 2321, 2311, 2331, 2333, 2318, 2323, 0, - 2325, 2325, 2339, 2334, 2329, 2329, 2343, 2338, 2321, 2328, - 2353, 2336, 2325, 2332, 2346, 2352, 2347, 2342, 2342, 0, - 0, 0, 2341, 2385, 2387, 2389, 2391, 2394, 2396, 2399, - - 2401, 2403, 2348, 2405, 2407, 2409, 2370, 2377, 2416, 2419, - 2384, 2380, 2423, 2425, 2424, 2375, 2428, 2431, 2436, 2441, - 3619, 2443, 2453, 2448, 2455, 2461, 2402, 2405, 2406, 2397, - 2430, 2426, 2429, 2420, 2431, 2458, 2424, 2432, 0, 2462, - 2461, 2437, 2442, 2468, 2465, 2441, 2449, 2430, 2454, 2457, - 2434, 2451, 2456, 2463, 2458, 2455, 2469, 2470, 2469, 2453, - 2476, 2467, 2470, 2461, 2472, 2464, 2465, 2473, 0, 2484, - 2479, 2478, 2483, 2488, 2483, 2482, 2487, 2526, 2469, 2470, - 2494, 2497, 2473, 0, 2490, 2495, 2500, 2495, 2491, 2531, - 2533, 2535, 2537, 2539, 2541, 2543, 2546, 2548, 2507, 2550, - - 2553, 2516, 2523, 2556, 2558, 2524, 2529, 2562, 2564, 2520, - 2527, 2570, 2572, 2574, 2582, 2589, 2591, 2595, 2600, 2598, - 2521, 2530, 2544, 2555, 2546, 0, 2561, 2571, 2559, 2597, - 2568, 2580, 2601, 2606, 2568, 0, 2603, 2608, 2571, 0, - 2575, 2575, 2573, 2581, 2582, 0, 2588, 2593, 2590, 2580, - 2581, 2588, 2601, 2589, 0, 2600, 2609, 2597, 2606, 2607, - 2618, 2611, 2616, 2608, 0, 2614, 2619, 2611, 0, 2607, - 2614, 2615, 2614, 2611, 2618, 2618, 0, 2624, 2629, 2626, - 2663, 2665, 2667, 2669, 2671, 2674, 2676, 2678, 2645, 2680, - 2682, 2643, 3619, 2685, 2646, 3619, 2688, 2638, 2662, 2692, - - 2694, 2696, 2703, 2705, 2709, 2715, 2718, 2662, 2664, 2666, - 2666, 2686, 2695, 2688, 2692, 2716, 2699, 2683, 2720, 2721, - 0, 2724, 2725, 0, 2707, 2698, 2686, 2710, 0, 2699, - 0, 2708, 2706, 2707, 2698, 2695, 2711, 2721, 2716, 2720, - 2726, 2727, 2710, 2716, 0, 0, 2717, 0, 0, 2707, - 2731, 2733, 2724, 2712, 2737, 0, 2726, 0, 2735, 2769, - 2771, 2773, 2775, 2777, 2779, 2781, 2784, 2737, 2786, 2788, - 3619, 3619, 2751, 2750, 2793, 2795, 2797, 2802, 2799, 2804, - 2764, 2765, 2780, 2795, 2770, 2767, 2787, 2780, 2807, 2772, - 0, 2811, 2812, 2781, 2778, 2785, 2785, 0, 2776, 2787, - - 2788, 2803, 2818, 2792, 2789, 2810, 2803, 2794, 2796, 0, - 0, 0, 2803, 2803, 2804, 2801, 2808, 2807, 0, 2798, - 2851, 2854, 2857, 2859, 2861, 2863, 2865, 2868, 3619, 2870, - 2838, 2833, 2873, 2875, 2877, 2879, 2881, 2842, 2843, 2838, - 2838, 2846, 2852, 2860, 2862, 2881, 0, 2854, 0, 2868, - 2859, 0, 2859, 2860, 2856, 2857, 2867, 2873, 2881, 2883, - 0, 0, 2884, 2875, 2876, 0, 2887, 2878, 0, 2919, - 2921, 2923, 2925, 2927, 2929, 2931, 2933, 2893, 2890, 2937, - 2939, 2941, 0, 0, 2907, 2905, 0, 2903, 2907, 2918, - 2902, 2907, 2904, 0, 0, 2915, 2913, 0, 2911, 2915, - - 2926, 2914, 2911, 2912, 2918, 2915, 2965, 2967, 2972, 2976, - 2978, 2924, 3619, 2974, 2984, 2988, 2927, 2941, 2941, 2954, - 2951, 0, 2952, 0, 2950, 2954, 2953, 2963, 2957, 2958, - 0, 0, 2959, 0, 2999, 3001, 3003, 3009, 3011, 2959, - 3014, 2975, 0, 0, 0, 2986, 2973, 2979, 0, 0, - 0, 2989, 2976, 2978, 3025, 3027, 3619, 3029, 0, 0, - 0, 0, 0, 0, 0, 3619, 3070, 3074, 3078, 3084, - 3092, 3100, 3108, 3116, 3124, 3132, 3140, 3148, 3151 - } ; - -static yyconst flex_int16_t yy_def[2080] = - { 0, - 2066, 1, 1, 1, 2066, 5, 2066, 7, 2066, 2066, - 2066, 2066, 2066, 2067, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2069, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2066, 2066, 2066, - 2066, 2070, 2066, 2071, 2071, 2066, 2066, 2071, 2072, 2071, - 2071, 2071, 2071, 2071, 2071, 2071, 2071, 2071, 2071, 2073, - 2073, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 2071, 2074, 81, 81, 81, 81, 81, 81, 81, 81, - - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 2071, 2071, 2071, 2075, 2075, 2075, 2076, 2075, 2075, 2075, - 2075, 2075, 2075, 2075, 2075, 2075, 2075, 2075, 2077, 2077, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 2075, - 2078, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 2075, - 2075, 2075, 2066, 2066, 2067, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2069, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2066, 2068, 2068, 2068, 2068, 2068, 2068, 2066, - 2066, 2066, 2066, 2079, 2066, 2079, 2079, 2079, 2079, 2079, - 2079, 2079, 2079, 2079, 2079, 2079, 2066, 2066, 2071, 2066, - 2071, 2071, 2072, 2071, 2067, 2071, 2071, 2066, 2071, 2071, - 2071, 2071, 2071, 2071, 2071, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 2074, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 2071, 81, 81, 81, 81, 81, 81, 2071, 2075, 2075, - - 2075, 2076, 2075, 2075, 2075, 2075, 2075, 2075, 2075, 2075, - 2075, 2075, 2075, 2075, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 2078, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 2075, - 130, 130, 130, 130, 130, 130, 2075, 2066, 2066, 2066, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2068, 2068, - - 2068, 2068, 2068, 2068, 2068, 2066, 2066, 2079, 2079, 2079, - 2079, 2079, 2079, 2079, 2079, 2079, 2079, 2079, 2079, 2079, - 2079, 2079, 2066, 2067, 2071, 2071, 2071, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 2071, 81, 81, 81, 81, 81, - 81, 81, 2075, 2075, 2075, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 2075, 130, 130, 130, 130, 130, 130, 130, - 2066, 2066, 2066, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2066, - 2066, 2079, 2079, 2079, 2079, 2079, 2079, 2079, 2079, 2079, - 2079, 2079, 2079, 2079, 2079, 2071, 2071, 2071, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 2071, 81, 81, 81, 81, 81, - 81, 81, 81, 2075, 2075, 2075, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 2075, 130, 130, 130, 130, 130, 130, 130, - 130, 2066, 2066, 2066, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2066, 2066, - 2079, 2079, 2079, 2079, 2079, 2079, 2071, 2071, 2071, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 2075, 2075, 2075, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 2066, 2066, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2066, 2066, 2066, 2079, 2079, 2079, 2071, 2071, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 2075, 2075, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - - 2066, 2066, 2079, 2079, 2079, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2066, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2079, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 2075, 130, 130, 130, 130, 130, 130, 130, - - 130, 130, 130, 130, 130, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, - 2068, 2068, 2066, 2068, 2068, 2066, 2066, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2079, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 2071, 81, 81, 2071, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 130, 130, 130, 130, 130, 130, - - 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 2075, 130, - 130, 2075, 130, 130, 2075, 2075, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2068, 2068, 2068, - 2068, 2068, 2066, 2066, 2068, 2068, 2066, 2066, 2068, 2068, - 2066, 2066, 2068, 2068, 2068, 2068, 2066, 2068, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2079, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - - 81, 81, 81, 81, 2071, 81, 81, 81, 81, 81, - 2071, 2071, 81, 81, 2071, 2071, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 2075, 130, - 130, 130, 130, 130, 2075, 2075, 130, 130, 2075, 2075, - 130, 130, 2075, 2075, 130, 130, 130, 130, 2075, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 2068, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, - 2068, 2068, 2068, 2068, 2066, 2066, 2068, 2068, 2066, 2066, - - 2068, 2068, 2066, 2066, 2068, 2068, 2068, 2068, 2066, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2079, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 2071, - 81, 81, 81, 81, 2071, 2071, 81, 81, 2071, 2071, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 2075, 130, 130, 130, 130, - 2075, 2075, 130, 130, 2075, 2075, 130, 130, 2075, 2075, - 130, 130, 130, 130, 2075, 130, 130, 130, 130, 130, - 130, 130, 130, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - - 2068, 2068, 2066, 2068, 2068, 2068, 2066, 2066, 2068, 2068, - 2066, 2066, 2068, 2068, 2066, 2066, 2068, 2068, 2068, 2068, - 2066, 2068, 2068, 2068, 2068, 2068, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 2071, 81, 81, 81, 2071, - 2071, 81, 81, 2071, 2071, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 2075, 130, 130, 130, 2075, - 2075, 130, 130, 2075, 2075, 130, 130, 2075, 2075, 130, - 130, 130, 130, 2075, 130, 130, 130, 130, 130, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2068, - - 2068, 2066, 2066, 2068, 2068, 2066, 2066, 2068, 2068, 2066, - 2066, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 2071, - 81, 81, 2071, 2071, 81, 81, 2071, 2071, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 2075, 130, - 130, 2075, 2075, 130, 130, 2075, 2075, 130, 130, 2075, - 2075, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2068, - 2068, 2066, 2066, 2068, 2066, 2066, 2068, 2066, 2066, 2068, - - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 81, 81, 81, - 81, 81, 81, 81, 81, 2071, 81, 81, 2071, 2071, - 81, 2071, 2071, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 130, 130, 130, 130, 130, 130, 130, 130, - 2075, 130, 130, 2075, 2075, 130, 2075, 2075, 130, 2075, - 2075, 130, 130, 130, 130, 130, 130, 130, 130, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2068, 2068, - 2066, 2066, 2066, 2066, 2068, 2068, 2068, 2068, 2068, 2068, - 81, 81, 81, 81, 81, 81, 81, 81, 2071, 81, - 81, 2071, 2071, 81, 81, 81, 81, 81, 81, 130, - - 130, 130, 130, 130, 130, 130, 130, 2075, 130, 130, - 2075, 2075, 2075, 2075, 130, 130, 130, 130, 130, 130, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2068, - 2066, 2066, 2068, 2068, 2068, 2068, 2068, 81, 81, 81, - 81, 81, 81, 81, 81, 2071, 81, 81, 81, 81, - 81, 81, 130, 130, 130, 130, 130, 130, 130, 130, - 2075, 130, 2075, 2075, 130, 130, 130, 130, 130, 2068, - 2068, 2068, 2068, 2068, 2068, 2068, 2068, 2066, 2066, 2068, - 2068, 2068, 81, 81, 81, 81, 81, 81, 81, 81, - 81, 81, 81, 130, 130, 130, 130, 130, 130, 130, - - 130, 2075, 2075, 130, 130, 130, 2068, 2068, 2068, 2068, - 2068, 2066, 2066, 2068, 2068, 2068, 81, 81, 81, 81, - 81, 81, 81, 81, 130, 130, 130, 130, 130, 2075, - 2075, 130, 130, 130, 2068, 2068, 2068, 2068, 2068, 2066, - 2068, 81, 81, 81, 81, 81, 81, 130, 130, 130, - 130, 130, 2075, 130, 2068, 2068, 2066, 2068, 81, 81, - 81, 130, 130, 2075, 130, 0, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066 - } ; - -static yyconst flex_int16_t yy_nxt[3686] = - { 0, - 10, 11, 12, 11, 13, 14, 15, 16, 17, 10, - 10, 10, 18, 19, 20, 21, 22, 23, 24, 25, - 26, 27, 28, 29, 30, 27, 31, 27, 32, 33, - 34, 35, 27, 27, 36, 37, 38, 39, 27, 40, - 41, 42, 43, 44, 27, 45, 46, 27, 47, 48, - 49, 50, 51, 27, 52, 53, 54, 55, 27, 56, - 27, 27, 27, 57, 58, 59, 60, 60, 163, 407, - 163, 61, 61, 172, 173, 176, 177, 176, 177, 176, - 177, 176, 177, 176, 177, 176, 177, 176, 177, 1132, - 176, 177, 176, 177, 241, 163, 163, 163, 246, 62, - - 62, 242, 240, 247, 262, 249, 250, 240, 179, 240, - 240, 572, 240, 181, 240, 253, 240, 187, 263, 183, - 211, 180, 189, 188, 212, 251, 252, 240, 63, 63, - 64, 65, 66, 67, 68, 69, 70, 71, 72, 64, - 64, 64, 73, 74, 75, 76, 77, 78, 79, 25, - 80, 81, 82, 83, 84, 81, 85, 81, 86, 87, - 88, 89, 81, 81, 90, 91, 92, 93, 81, 94, - 95, 96, 97, 98, 81, 99, 100, 81, 101, 102, - 103, 104, 105, 81, 106, 107, 108, 109, 81, 110, - 81, 81, 81, 111, 112, 113, 114, 115, 12, 115, - - 116, 117, 118, 119, 120, 114, 114, 114, 121, 122, - 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, - 133, 130, 134, 130, 135, 136, 137, 138, 130, 130, - 139, 140, 141, 142, 130, 143, 144, 145, 146, 147, - 130, 148, 149, 130, 150, 151, 152, 153, 154, 130, - 155, 156, 157, 158, 130, 159, 130, 130, 130, 160, - 161, 162, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 165, 176, 177, 303, 176, 177, 240, 176, - 177, 176, 177, 176, 177, 176, 177, 176, 177, 176, - 177, 295, 184, 296, 176, 177, 176, 177, 176, 177, - - 588, 194, 176, 177, 176, 177, 185, 200, 196, 272, - 182, 191, 197, 192, 186, 195, 193, 202, 198, 199, - 291, 201, 206, 273, 203, 176, 177, 204, 278, 205, - 207, 208, 176, 177, 165, 165, 213, 244, 216, 309, - 310, 209, 279, 210, 269, 217, 270, 218, 274, 271, - 240, 245, 275, 289, 284, 321, 333, 290, 276, 331, - 334, 219, 285, 300, 292, 300, 335, 337, 293, 322, - 328, 343, 329, 332, 348, 330, 176, 177, 349, 344, - 214, 338, 176, 177, 215, 222, 223, 354, 163, 355, - 163, 350, 358, 1133, 359, 298, 176, 177, 360, 176, - - 177, 254, 176, 177, 1134, 176, 177, 176, 177, 176, - 177, 240, 176, 177, 448, 361, 249, 225, 176, 177, - 240, 226, 449, 227, 228, 229, 363, 454, 230, 455, - 231, 232, 233, 176, 177, 351, 234, 235, 236, 352, - 362, 364, 369, 366, 407, 237, 365, 238, 239, 239, - 176, 177, 239, 239, 239, 239, 239, 254, 255, 239, - 239, 239, 239, 375, 239, 239, 239, 240, 176, 177, - 176, 177, 176, 177, 166, 176, 177, 176, 177, 367, - 443, 176, 177, 239, 452, 413, 368, 453, 424, 444, - 257, 176, 177, 176, 177, 176, 177, 407, 176, 177, - - 1135, 372, 378, 176, 177, 176, 177, 407, 370, 381, - 379, 239, 239, 239, 239, 239, 371, 382, 239, 239, - 239, 239, 239, 254, 255, 239, 239, 239, 239, 376, - 239, 239, 239, 240, 373, 380, 176, 177, 377, 374, - 407, 176, 177, 176, 177, 176, 177, 412, 383, 239, - 384, 176, 177, 422, 176, 177, 165, 176, 177, 303, - 176, 177, 1136, 176, 177, 176, 177, 176, 177, 176, - 177, 414, 389, 176, 177, 176, 177, 239, 239, 239, - 239, 239, 392, 401, 239, 239, 239, 239, 239, 254, - 239, 239, 239, 239, 239, 390, 239, 239, 239, 240, - - 385, 396, 391, 386, 387, 394, 388, 393, 395, 402, - 463, 403, 405, 407, 1137, 239, 241, 466, 163, 397, - 300, 491, 300, 176, 177, 590, 407, 496, 464, 1138, - 492, 467, 176, 177, 240, 497, 407, 500, 591, 407, - 501, 407, 407, 239, 239, 239, 299, 299, 419, 299, - 299, 299, 299, 299, 299, 313, 314, 299, 299, 299, - 299, 399, 299, 299, 299, 299, 404, 415, 416, 409, - 420, 421, 417, 165, 165, 400, 244, 410, 473, 240, - 474, 299, 418, 511, 475, 425, 514, 426, 316, 411, - 245, 427, 502, 625, 503, 240, 1139, 176, 177, 240, - - 515, 512, 176, 177, 176, 177, 176, 177, 407, 299, - 299, 299, 299, 299, 407, 299, 299, 299, 299, 299, - 299, 313, 314, 299, 299, 299, 299, 407, 299, 299, - 299, 299, 465, 524, 176, 177, 176, 177, 525, 176, - 177, 176, 177, 176, 177, 528, 527, 299, 176, 177, - 574, 526, 176, 177, 579, 176, 177, 176, 177, 176, - 177, 176, 177, 407, 176, 177, 529, 176, 177, 532, - 577, 543, 531, 176, 177, 299, 299, 299, 299, 299, - 240, 299, 299, 299, 299, 299, 299, 313, 299, 299, - 299, 299, 299, 530, 299, 299, 299, 299, 534, 533, - - 535, 240, 536, 176, 177, 537, 538, 540, 732, 541, - 176, 177, 638, 299, 176, 177, 176, 177, 587, 176, - 177, 176, 177, 176, 177, 639, 176, 177, 176, 177, - 176, 177, 586, 176, 177, 539, 176, 177, 547, 176, - 177, 299, 299, 299, 239, 239, 407, 542, 239, 239, - 239, 239, 239, 254, 239, 239, 239, 239, 239, 544, - 239, 239, 239, 240, 546, 549, 554, 545, 550, 552, - 548, 551, 176, 177, 176, 177, 176, 177, 569, 239, - 570, 575, 176, 177, 571, 176, 177, 737, 176, 177, - 176, 177, 781, 176, 177, 240, 176, 177, 782, 407, - - 407, 176, 177, 407, 553, 407, 562, 239, 239, 239, - 299, 299, 555, 299, 299, 299, 299, 299, 299, 313, - 299, 299, 299, 299, 299, 556, 299, 299, 299, 299, - 557, 558, 559, 176, 177, 566, 561, 176, 177, 176, - 177, 176, 177, 573, 576, 299, 407, 581, 580, 407, - 407, 407, 628, 676, 629, 677, 176, 177, 176, 177, - 563, 1140, 564, 176, 177, 176, 177, 176, 177, 565, - 407, 567, 877, 299, 299, 299, 568, 176, 177, 582, - 240, 578, 1141, 583, 585, 176, 177, 407, 686, 176, - 177, 176, 177, 584, 1006, 687, 1007, 685, 176, 177, - - 176, 177, 176, 177, 736, 689, 693, 176, 177, 176, - 177, 176, 177, 688, 176, 177, 731, 690, 176, 177, - 176, 177, 407, 176, 177, 176, 177, 692, 176, 177, - 176, 177, 691, 176, 177, 176, 177, 694, 176, 177, - 176, 177, 176, 177, 695, 697, 702, 1142, 698, 733, - 699, 827, 696, 700, 407, 703, 704, 828, 707, 176, - 177, 176, 177, 176, 177, 240, 701, 407, 705, 176, - 177, 1130, 708, 176, 177, 706, 176, 177, 1131, 709, - 176, 177, 176, 177, 735, 710, 240, 711, 176, 177, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - - 176, 177, 738, 713, 407, 715, 712, 734, 716, 714, - 176, 177, 757, 754, 800, 717, 755, 801, 1143, 803, - 719, 758, 1021, 739, 721, 1022, 723, 718, 804, 176, - 177, 1005, 176, 177, 1144, 720, 722, 176, 177, 724, - 176, 177, 176, 177, 1145, 725, 726, 832, 176, 177, - 176, 177, 727, 176, 177, 176, 177, 176, 177, 176, - 177, 831, 176, 177, 176, 177, 176, 177, 838, 176, - 177, 176, 177, 176, 177, 407, 176, 177, 176, 177, - 176, 177, 407, 834, 836, 1146, 837, 835, 833, 840, - 176, 177, 176, 177, 176, 177, 843, 407, 844, 176, - - 177, 845, 1147, 839, 176, 177, 176, 177, 1148, 842, - 841, 176, 177, 875, 176, 177, 847, 846, 848, 176, - 177, 850, 1149, 849, 176, 177, 176, 177, 874, 851, - 176, 177, 407, 176, 177, 176, 177, 1013, 852, 1014, - 853, 857, 1003, 854, 176, 177, 176, 177, 176, 177, - 176, 177, 855, 176, 177, 858, 860, 856, 176, 177, - 859, 861, 878, 176, 177, 176, 177, 176, 177, 1150, - 240, 862, 176, 177, 176, 177, 176, 177, 876, 407, - 176, 177, 176, 177, 1151, 961, 1009, 962, 1010, 866, - 868, 863, 864, 964, 1011, 965, 1046, 867, 1047, 865, - - 1053, 966, 1054, 176, 177, 407, 869, 176, 177, 176, - 177, 176, 177, 176, 177, 870, 968, 1004, 969, 176, - 177, 967, 963, 176, 177, 971, 176, 177, 974, 176, - 177, 1152, 176, 177, 176, 177, 176, 177, 1153, 176, - 177, 176, 177, 176, 177, 176, 177, 176, 177, 1126, - 973, 176, 177, 970, 978, 975, 976, 972, 1157, 977, - 983, 176, 177, 176, 177, 1061, 981, 979, 1062, 980, - 176, 177, 1158, 984, 1159, 982, 1160, 985, 176, 177, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 176, 177, 1161, 986, 1162, 176, 177, 1163, - - 176, 177, 987, 176, 177, 176, 177, 988, 176, 177, - 176, 177, 1049, 1164, 1050, 992, 176, 177, 993, 1165, - 1051, 176, 177, 1166, 995, 996, 176, 177, 176, 177, - 1167, 991, 994, 989, 999, 990, 997, 176, 177, 176, - 177, 176, 177, 176, 177, 998, 176, 177, 176, 177, - 176, 177, 1168, 176, 177, 176, 177, 1000, 1086, 176, - 177, 176, 177, 1089, 1171, 1088, 1172, 176, 177, 1087, - 1090, 1092, 1173, 1093, 176, 177, 176, 177, 176, 177, - 1096, 1174, 1097, 176, 177, 1091, 176, 177, 1094, 176, - 177, 1095, 1098, 1175, 1099, 176, 177, 176, 177, 176, - - 177, 1101, 1176, 1104, 176, 177, 1177, 1100, 1102, 176, - 177, 176, 177, 176, 177, 1105, 176, 177, 1113, 176, - 177, 1106, 1103, 1178, 176, 177, 1179, 1107, 176, 177, - 176, 177, 176, 177, 1109, 1114, 176, 177, 1108, 176, - 177, 1180, 1115, 176, 177, 1111, 176, 177, 1112, 1113, - 1169, 1116, 1181, 1110, 176, 177, 1182, 1170, 1117, 1183, - 1184, 1185, 1186, 1119, 1187, 1188, 1154, 1189, 1190, 1122, - 1191, 1192, 1197, 1155, 1193, 1118, 1121, 1198, 1199, 1120, - 1200, 1125, 1156, 1201, 1202, 1203, 1204, 1205, 1124, 1123, - 407, 1194, 176, 177, 176, 177, 176, 177, 1195, 176, - - 177, 176, 177, 176, 177, 176, 177, 1196, 176, 177, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 176, 177, 176, 177, 1236, 1216, 1252, 1217, - 1253, 1209, 1206, 1207, 1251, 1208, 176, 177, 1254, 1213, - 1237, 1210, 1211, 176, 177, 176, 177, 1255, 1212, 1256, - 1214, 1215, 1220, 176, 177, 176, 177, 1218, 176, 177, - 1257, 1219, 176, 177, 176, 177, 176, 177, 176, 177, - 1258, 1230, 176, 177, 1223, 1233, 176, 177, 176, 177, - 176, 177, 1221, 1259, 1222, 1260, 1225, 1261, 176, 177, - 176, 177, 1227, 1262, 1224, 176, 177, 1226, 1263, 1231, - - 176, 177, 1264, 1234, 176, 177, 176, 177, 1240, 176, - 177, 1228, 1265, 1232, 1229, 176, 177, 1235, 1243, 1239, - 1242, 1266, 1241, 176, 177, 1244, 1238, 1267, 1268, 1269, - 1270, 1245, 1271, 1272, 1273, 1274, 1275, 1246, 1276, 1279, - 1282, 1283, 1284, 1247, 1286, 1287, 1290, 1291, 1292, 1293, - 1294, 1295, 1288, 1296, 1297, 1298, 1285, 1248, 1289, 1299, - 1300, 1301, 1302, 1249, 1303, 1304, 1277, 1280, 1305, 1250, - 1306, 1307, 1308, 1309, 1310, 1311, 1312, 1313, 1314, 1315, - 1278, 1281, 1316, 1317, 1318, 1319, 1322, 1325, 1327, 1328, - 1329, 1331, 1332, 1335, 1336, 1337, 1338, 1339, 1363, 1333, - - 1371, 1326, 176, 177, 1330, 1334, 176, 177, 176, 177, - 176, 177, 1364, 1320, 1323, 176, 177, 176, 177, 176, - 177, 176, 177, 176, 177, 176, 177, 1321, 1324, 176, - 177, 1340, 176, 177, 1346, 176, 177, 176, 177, 1372, - 1342, 176, 177, 1388, 1343, 1341, 407, 176, 177, 176, - 177, 1367, 1347, 176, 177, 1389, 1344, 176, 177, 1390, - 1349, 176, 177, 1391, 1345, 1368, 176, 177, 1348, 1357, - 176, 177, 176, 177, 1350, 1353, 1351, 176, 177, 176, - 177, 176, 177, 176, 177, 176, 177, 1387, 1352, 176, - 177, 176, 177, 1358, 1377, 1354, 1392, 176, 177, 1359, - - 176, 177, 1360, 1393, 1356, 1355, 176, 177, 1361, 1366, - 176, 177, 1394, 1370, 176, 177, 1395, 1373, 1362, 1374, - 1396, 1365, 176, 177, 1397, 1369, 176, 177, 1398, 176, - 177, 176, 177, 176, 177, 176, 177, 1399, 1400, 1401, - 1402, 1375, 1379, 1403, 1404, 1405, 1408, 1376, 1409, 1410, - 1413, 240, 1378, 1380, 1414, 1417, 240, 1418, 1419, 1382, - 1420, 1421, 1422, 1377, 1423, 1424, 1425, 1381, 1383, 1406, - 1427, 1386, 1411, 1428, 1385, 1407, 1384, 1415, 1429, 1430, - 1426, 1431, 1432, 1433, 1434, 1435, 1412, 1436, 1437, 1438, - 1439, 1416, 1440, 1441, 1442, 1443, 1444, 1445, 1446, 1447, - - 1448, 1449, 1452, 1453, 1454, 1455, 1457, 1458, 1459, 1461, - 1462, 1463, 1464, 1465, 1466, 1467, 1468, 1469, 1470, 1456, - 1471, 1472, 1460, 1474, 1475, 1450, 1476, 1477, 1478, 176, - 177, 1451, 176, 177, 1490, 1473, 176, 177, 1495, 176, - 177, 176, 177, 1496, 176, 177, 176, 177, 176, 177, - 176, 177, 1499, 176, 177, 176, 177, 176, 177, 176, - 177, 176, 177, 176, 177, 1479, 176, 177, 176, 177, - 176, 177, 176, 177, 1480, 1481, 1482, 176, 177, 176, - 177, 176, 177, 1500, 1484, 1485, 176, 177, 1483, 176, - 177, 1487, 176, 177, 1489, 1486, 176, 177, 1503, 1504, - - 1492, 176, 177, 1491, 176, 177, 176, 177, 1488, 176, - 177, 1509, 1494, 407, 176, 177, 176, 177, 176, 177, - 1519, 1493, 176, 177, 176, 177, 1497, 176, 177, 1520, - 1498, 1521, 1501, 1522, 1507, 1523, 1508, 1502, 176, 177, - 176, 177, 176, 177, 1524, 1525, 1526, 1527, 1528, 1529, - 1513, 240, 1531, 1505, 1510, 1532, 1506, 1511, 1533, 1514, - 1512, 1534, 1518, 240, 1537, 240, 1538, 240, 240, 1541, - 1515, 1516, 1542, 1543, 1530, 1544, 1545, 1546, 1547, 1548, - 1549, 1550, 1517, 1536, 1551, 1552, 1540, 1553, 1554, 1555, - 1556, 1557, 1558, 1559, 1560, 1535, 1561, 1562, 1563, 1539, - - 1564, 1565, 1566, 1567, 1568, 1569, 1570, 1571, 1572, 1573, - 1574, 1575, 1576, 1577, 1578, 1579, 1580, 1581, 1582, 1583, - 1584, 1585, 1586, 1587, 1588, 1589, 1590, 1591, 1592, 1593, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 1603, 176, 177, 176, 177, 1607, 176, 177, - 176, 177, 1608, 176, 177, 1611, 176, 177, 1612, 176, - 177, 1594, 1599, 1600, 1615, 1595, 176, 177, 1616, 1597, - 1621, 1598, 1596, 1604, 1601, 176, 177, 176, 177, 176, - 177, 1609, 176, 177, 176, 177, 407, 1602, 1605, 1606, - - 1610, 176, 177, 1614, 1613, 176, 177, 1617, 176, 177, - 176, 177, 176, 177, 176, 177, 176, 177, 1627, 1628, - 1629, 1630, 1622, 1631, 1632, 1633, 1634, 1618, 1635, 240, - 1637, 1638, 1639, 240, 240, 1623, 1642, 1643, 1620, 240, - 240, 1619, 1646, 1647, 1648, 1624, 1649, 1636, 1650, 1625, - 1651, 1652, 1653, 1654, 1655, 1656, 1657, 1658, 1659, 1626, - 1660, 1661, 1662, 1640, 1663, 1641, 1664, 1665, 1666, 1644, - 1667, 1645, 1668, 1669, 1670, 1671, 1672, 1673, 1674, 1675, - 1676, 1677, 1678, 1679, 1680, 1681, 1682, 1683, 1684, 1685, - 1686, 1687, 1688, 1689, 176, 177, 176, 177, 176, 177, - - 176, 177, 1699, 176, 177, 176, 177, 1702, 176, 177, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - 1703, 1706, 1690, 1707, 1691, 176, 177, 1710, 176, 177, - 1692, 1694, 176, 177, 176, 177, 1711, 176, 177, 1721, - 176, 177, 1722, 1695, 1696, 176, 177, 1723, 1698, 1693, - 176, 177, 176, 177, 1701, 1724, 1697, 176, 177, 1700, - 1705, 1704, 176, 177, 176, 177, 1709, 1725, 1708, 1713, - 176, 177, 1714, 1726, 1727, 1728, 1729, 240, 1731, 1732, - 240, 240, 1735, 1736, 240, 1718, 1739, 240, 1716, 1712, - 1740, 1741, 1742, 1743, 1717, 1744, 1745, 1746, 1719, 1733, - - 1747, 1748, 1715, 1749, 1734, 1737, 1750, 1751, 1738, 1720, - 1752, 1753, 1730, 1754, 1755, 1756, 1757, 1758, 1759, 1760, - 1761, 1762, 1763, 1764, 1765, 1766, 1767, 1768, 1769, 1770, - 1771, 1772, 1773, 1774, 1775, 1776, 1777, 1778, 1779, 1780, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 176, 177, 1789, 176, 177, 176, 177, 176, - 177, 1792, 176, 177, 1793, 176, 177, 176, 177, 1795, - 1796, 176, 177, 176, 177, 1798, 1799, 1808, 1784, 176, - 177, 176, 177, 176, 177, 1783, 1809, 1781, 1787, 1782, - 1791, 176, 177, 1786, 1810, 1785, 1811, 1790, 176, 177, - - 176, 177, 1812, 1788, 176, 177, 1794, 176, 177, 176, - 177, 1813, 1797, 1814, 1815, 1817, 240, 1818, 1821, 1800, - 240, 1824, 240, 1801, 1825, 240, 1826, 240, 1827, 1802, - 1828, 1803, 1829, 1830, 1831, 1832, 1833, 1834, 1835, 1804, - 1805, 1806, 1836, 1807, 1816, 1837, 1819, 1820, 1822, 1823, - 1838, 1839, 1840, 1841, 1842, 1843, 1844, 1845, 1846, 1847, - 1848, 1849, 1850, 1851, 1852, 1853, 1854, 1855, 1856, 1857, - 1858, 1859, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 1868, 176, 177, 176, 177, 176, 177, 176, - 177, 176, 177, 1871, 176, 177, 1872, 176, 177, 1873, - - 1874, 176, 177, 176, 177, 176, 177, 1881, 1860, 1882, - 1861, 1865, 176, 177, 176, 177, 1864, 1869, 176, 177, - 1867, 1866, 1883, 1862, 176, 177, 1884, 176, 177, 1863, - 1875, 1885, 1886, 1887, 1888, 240, 1890, 1870, 1891, 240, - 240, 1878, 1876, 240, 240, 1894, 1895, 1896, 1897, 1898, - 1899, 1900, 1901, 1889, 1902, 1903, 1904, 1877, 1905, 1879, - 1880, 1906, 1907, 1908, 1909, 1910, 1911, 1912, 1913, 1914, - 1892, 1915, 1916, 1917, 1893, 1918, 1919, 1920, 176, 177, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 1929, 176, 177, 176, 177, 176, 177, 1924, - - 1931, 1932, 176, 177, 176, 177, 176, 177, 176, 177, - 1923, 176, 177, 176, 177, 1938, 1939, 1940, 1927, 1941, - 1921, 1942, 1922, 1943, 1944, 1945, 240, 1947, 1925, 1928, - 240, 240, 1948, 1949, 1950, 1926, 1951, 1952, 1953, 1954, - 1955, 1930, 1956, 1957, 1933, 1958, 1935, 1959, 1960, 1961, - 1934, 1962, 1963, 1936, 1964, 1965, 1966, 1967, 1968, 1969, - 176, 177, 1946, 176, 177, 1937, 176, 177, 176, 177, - 176, 177, 176, 177, 176, 177, 1978, 176, 177, 176, - 177, 1979, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 1990, - - 240, 1970, 1991, 1976, 1971, 1977, 1992, 1993, 1975, 1994, - 1995, 1974, 1996, 1972, 1997, 1981, 1973, 1998, 1999, 2000, - 2001, 1980, 2002, 2003, 2004, 2005, 2006, 1982, 176, 177, - 176, 177, 176, 177, 176, 177, 176, 177, 176, 177, - 176, 177, 176, 177, 2012, 2013, 176, 177, 176, 177, - 176, 177, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, - 2025, 2026, 2027, 2028, 2029, 2030, 2031, 2032, 2007, 2033, - 2034, 2011, 2040, 2008, 176, 177, 176, 177, 2042, 2010, - 2009, 176, 177, 176, 177, 176, 177, 176, 177, 2043, - 2015, 2044, 2014, 176, 177, 2045, 2016, 176, 177, 2046, - - 2047, 2048, 2049, 2050, 2051, 2052, 2053, 2054, 176, 177, - 176, 177, 176, 177, 2057, 2036, 2035, 2038, 176, 177, - 176, 177, 2037, 176, 177, 2059, 2039, 2060, 2061, 2062, - 2063, 2064, 2041, 2065, 176, 177, 176, 177, 176, 177, - 1129, 1128, 1127, 407, 407, 1085, 1084, 1083, 1082, 2055, - 1081, 1080, 2056, 1079, 1078, 1077, 1076, 1075, 1074, 1073, - 1072, 1071, 1070, 1069, 1068, 1067, 1066, 1065, 1064, 2058, - 165, 165, 165, 165, 165, 165, 165, 165, 178, 178, - 178, 178, 190, 1063, 190, 190, 224, 224, 1060, 1059, - 1058, 224, 239, 1057, 1056, 239, 239, 239, 239, 239, - - 243, 243, 243, 243, 243, 243, 243, 243, 256, 1055, - 1052, 256, 256, 256, 256, 256, 268, 1048, 1045, 268, - 268, 268, 268, 268, 299, 1044, 299, 299, 299, 299, - 299, 299, 302, 302, 302, 302, 302, 302, 302, 302, - 315, 1043, 315, 315, 315, 315, 315, 315, 327, 1042, - 327, 327, 327, 327, 327, 327, 408, 408, 408, 1041, - 1040, 1039, 1038, 1037, 1036, 1035, 1034, 1033, 1032, 1031, - 1030, 1029, 1028, 1027, 1026, 1025, 1024, 1023, 1020, 1019, - 1018, 1017, 1016, 1015, 1012, 1008, 240, 240, 1002, 1001, - 960, 959, 958, 957, 956, 955, 954, 953, 952, 951, - - 950, 949, 948, 947, 946, 945, 944, 943, 942, 941, - 940, 939, 938, 937, 936, 935, 934, 933, 932, 931, - 930, 929, 928, 927, 926, 925, 924, 923, 922, 921, - 920, 919, 918, 917, 916, 915, 914, 913, 912, 911, - 910, 909, 908, 907, 906, 905, 904, 903, 902, 901, - 900, 899, 898, 897, 896, 895, 894, 893, 892, 891, - 890, 889, 888, 887, 886, 885, 884, 883, 882, 881, - 880, 879, 240, 407, 407, 407, 873, 872, 871, 830, - 829, 826, 825, 824, 823, 822, 821, 820, 819, 818, - 817, 816, 815, 814, 813, 812, 811, 810, 809, 808, - - 807, 806, 805, 802, 799, 798, 797, 796, 795, 794, - 793, 792, 791, 790, 789, 788, 787, 786, 785, 784, - 783, 780, 779, 778, 777, 776, 775, 774, 240, 773, - 772, 771, 770, 769, 768, 767, 766, 765, 764, 763, - 762, 761, 760, 759, 756, 753, 752, 751, 750, 749, - 748, 747, 746, 745, 744, 743, 742, 741, 740, 407, - 407, 407, 407, 407, 407, 407, 407, 730, 729, 728, - 684, 683, 682, 681, 680, 679, 678, 675, 674, 673, - 672, 671, 670, 669, 668, 667, 666, 665, 664, 663, - 662, 661, 660, 659, 658, 657, 656, 655, 654, 653, - - 652, 651, 650, 649, 648, 647, 646, 645, 644, 643, - 642, 641, 640, 637, 636, 635, 634, 633, 632, 631, - 630, 627, 626, 624, 623, 622, 621, 620, 619, 618, - 617, 616, 615, 614, 613, 612, 611, 610, 609, 608, - 607, 606, 605, 604, 603, 602, 601, 600, 599, 598, - 597, 596, 595, 594, 593, 592, 589, 166, 407, 407, - 560, 523, 522, 521, 520, 519, 518, 517, 516, 513, - 510, 509, 508, 507, 506, 505, 504, 499, 498, 495, - 494, 493, 490, 489, 488, 487, 486, 485, 484, 483, - 482, 481, 480, 479, 478, 477, 476, 313, 307, 240, - - 472, 471, 470, 469, 468, 462, 461, 460, 459, 458, - 457, 456, 451, 450, 447, 446, 445, 442, 441, 440, - 439, 438, 437, 436, 435, 434, 433, 432, 431, 430, - 429, 428, 240, 240, 240, 240, 423, 240, 240, 240, - 240, 423, 240, 407, 407, 406, 398, 176, 176, 170, - 166, 357, 356, 353, 347, 346, 345, 342, 341, 340, - 339, 336, 326, 325, 324, 323, 320, 319, 318, 317, - 312, 311, 308, 307, 306, 305, 304, 301, 240, 240, - 297, 294, 288, 287, 286, 283, 282, 281, 280, 277, - 240, 267, 266, 265, 264, 261, 260, 259, 258, 240, - - 240, 248, 240, 240, 220, 221, 220, 176, 175, 174, - 171, 170, 169, 168, 167, 166, 164, 2066, 9, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066 - } ; - -static yyconst flex_int16_t yy_chk[3686] = - { 0, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 1, 1, 1, 3, 4, 11, 409, - 11, 3, 4, 23, 23, 26, 26, 27, 27, 28, - 28, 29, 29, 31, 31, 34, 34, 35, 35, 1010, - 36, 36, 52, 52, 65, 67, 65, 67, 71, 3, - - 4, 68, 68, 72, 86, 76, 77, 77, 26, 76, - 71, 409, 65, 29, 72, 79, 79, 34, 86, 31, - 52, 28, 36, 35, 52, 78, 78, 78, 3, 4, - 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, - 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, - 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, - 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, - 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, - 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, - 5, 5, 5, 5, 5, 5, 7, 7, 7, 7, - - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, - 7, 7, 30, 30, 32, 32, 33, 33, 42, 42, - 39, 39, 117, 40, 40, 117, 41, 41, 427, 43, - 43, 44, 44, 45, 45, 46, 46, 47, 47, 49, - 49, 109, 32, 109, 48, 48, 50, 50, 51, 51, - - 427, 40, 54, 54, 55, 55, 32, 43, 41, 94, - 30, 39, 41, 39, 33, 40, 39, 44, 41, 42, - 107, 43, 48, 94, 45, 56, 56, 46, 97, 47, - 48, 49, 53, 53, 69, 69, 53, 69, 54, 126, - 126, 50, 97, 51, 93, 55, 93, 55, 95, 93, - 112, 69, 95, 106, 102, 135, 144, 106, 95, 143, - 144, 56, 102, 115, 107, 115, 144, 146, 107, 135, - 142, 151, 142, 143, 155, 142, 178, 178, 155, 151, - 53, 146, 179, 179, 53, 62, 62, 158, 163, 158, - 163, 156, 177, 1011, 177, 112, 181, 181, 177, 180, - - 180, 254, 182, 182, 1012, 183, 183, 184, 184, 209, - 209, 254, 187, 187, 277, 179, 249, 62, 194, 194, - 249, 62, 277, 62, 62, 62, 181, 281, 62, 281, - 62, 62, 62, 185, 185, 156, 62, 62, 62, 156, - 180, 182, 187, 184, 228, 62, 183, 62, 80, 80, - 186, 186, 80, 80, 80, 80, 80, 80, 80, 80, - 80, 80, 80, 194, 80, 80, 80, 80, 188, 188, - 191, 191, 196, 196, 245, 189, 189, 197, 197, 185, - 273, 199, 199, 80, 280, 228, 186, 280, 245, 273, - 80, 192, 192, 193, 193, 198, 198, 227, 195, 195, - - 1013, 191, 196, 200, 200, 201, 201, 235, 188, 199, - 197, 80, 80, 80, 81, 81, 189, 199, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 81, 195, - 81, 81, 81, 81, 192, 198, 204, 204, 195, 193, - 229, 207, 207, 215, 215, 205, 205, 227, 200, 81, - 201, 206, 206, 235, 202, 202, 302, 203, 203, 302, - 208, 208, 1014, 210, 210, 219, 219, 211, 211, 216, - 216, 229, 204, 212, 212, 217, 217, 81, 81, 81, - 92, 92, 207, 215, 92, 92, 92, 92, 92, 92, - 92, 92, 92, 92, 92, 205, 92, 92, 92, 92, - - 202, 212, 206, 202, 203, 210, 203, 208, 211, 216, - 290, 217, 219, 232, 1015, 92, 241, 292, 241, 212, - 300, 332, 300, 218, 218, 429, 230, 336, 290, 1016, - 332, 292, 214, 214, 241, 336, 234, 339, 429, 233, - 339, 231, 226, 92, 92, 92, 129, 129, 232, 129, - 129, 129, 129, 129, 129, 129, 129, 129, 129, 129, - 129, 214, 129, 129, 129, 129, 218, 230, 231, 226, - 233, 234, 231, 243, 243, 214, 243, 226, 314, 255, - 314, 129, 231, 349, 314, 255, 351, 255, 129, 226, - 243, 255, 340, 465, 340, 291, 1017, 361, 361, 465, - - 351, 349, 362, 362, 363, 363, 364, 364, 411, 129, - 129, 129, 130, 130, 416, 130, 130, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 414, 130, 130, - 130, 130, 291, 361, 365, 365, 367, 367, 362, 368, - 368, 372, 372, 380, 380, 364, 363, 130, 366, 366, - 411, 362, 369, 369, 416, 370, 370, 373, 373, 371, - 371, 375, 375, 575, 377, 377, 365, 378, 378, 368, - 414, 380, 367, 374, 374, 130, 130, 130, 141, 141, - 426, 141, 141, 141, 141, 141, 141, 141, 141, 141, - 141, 141, 141, 366, 141, 141, 141, 141, 370, 369, - - 371, 425, 373, 376, 376, 374, 375, 377, 575, 378, - 384, 384, 477, 141, 379, 379, 393, 393, 426, 381, - 381, 382, 382, 385, 385, 477, 383, 383, 389, 389, - 391, 391, 425, 386, 386, 376, 387, 387, 384, 388, - 388, 141, 141, 141, 268, 268, 412, 379, 268, 268, - 268, 268, 268, 268, 268, 268, 268, 268, 268, 381, - 268, 268, 268, 268, 383, 386, 391, 382, 387, 389, - 385, 388, 390, 390, 400, 400, 392, 392, 407, 268, - 407, 412, 528, 528, 407, 397, 397, 586, 394, 394, - 399, 399, 633, 403, 403, 586, 395, 395, 633, 410, - - 413, 396, 396, 418, 390, 417, 400, 268, 268, 268, - 327, 327, 392, 327, 327, 327, 327, 327, 327, 327, - 327, 327, 327, 327, 327, 394, 327, 327, 327, 327, - 395, 396, 397, 401, 401, 403, 399, 402, 402, 404, - 404, 405, 405, 410, 413, 327, 415, 418, 417, 419, - 420, 421, 468, 516, 468, 516, 524, 524, 525, 525, - 401, 1018, 401, 526, 526, 527, 527, 530, 530, 402, - 585, 404, 738, 327, 327, 327, 405, 529, 529, 419, - 738, 415, 1019, 420, 421, 531, 531, 573, 525, 532, - 532, 533, 533, 420, 879, 526, 879, 524, 534, 534, - - 535, 535, 536, 536, 585, 529, 533, 537, 537, 538, - 538, 540, 540, 527, 539, 539, 573, 530, 541, 541, - 543, 543, 576, 542, 542, 544, 544, 532, 545, 545, - 546, 546, 531, 547, 547, 548, 548, 534, 549, 549, - 550, 550, 551, 551, 536, 538, 542, 1020, 539, 576, - 540, 681, 537, 540, 579, 542, 543, 681, 546, 552, - 552, 553, 553, 554, 554, 587, 541, 578, 544, 555, - 555, 1009, 547, 556, 556, 545, 557, 557, 1009, 549, - 558, 558, 559, 559, 579, 550, 588, 551, 561, 561, - 562, 562, 563, 563, 564, 564, 565, 565, 566, 566, - - 567, 567, 587, 554, 876, 556, 553, 578, 557, 555, - 568, 568, 607, 605, 653, 558, 605, 653, 1021, 655, - 561, 607, 890, 588, 563, 890, 565, 559, 655, 685, - 685, 876, 686, 686, 1022, 562, 564, 687, 687, 566, - 688, 688, 689, 689, 1023, 567, 568, 686, 690, 690, - 691, 691, 568, 692, 692, 693, 693, 694, 694, 695, - 695, 685, 696, 696, 697, 697, 698, 698, 692, 699, - 699, 700, 700, 701, 701, 733, 702, 702, 703, 703, - 704, 704, 732, 688, 690, 1025, 691, 689, 687, 694, - 705, 705, 706, 706, 707, 707, 697, 874, 698, 709, - - 709, 699, 1027, 693, 708, 708, 710, 710, 1028, 696, - 695, 711, 711, 733, 712, 712, 701, 700, 702, 713, - 713, 704, 1029, 703, 714, 714, 715, 715, 732, 705, - 716, 716, 736, 717, 717, 718, 718, 883, 706, 883, - 707, 712, 874, 708, 719, 719, 720, 720, 721, 721, - 722, 722, 710, 724, 724, 713, 715, 711, 723, 723, - 714, 717, 739, 725, 725, 726, 726, 727, 727, 1031, - 739, 718, 831, 831, 832, 832, 837, 837, 736, 875, - 833, 833, 834, 834, 1033, 831, 881, 831, 881, 722, - 725, 719, 720, 833, 881, 833, 921, 723, 921, 721, - - 925, 833, 925, 835, 835, 1005, 726, 836, 836, 838, - 838, 839, 839, 840, 840, 727, 835, 875, 835, 841, - 841, 834, 832, 843, 843, 837, 844, 844, 840, 845, - 845, 1034, 842, 842, 846, 846, 847, 847, 1035, 848, - 848, 849, 849, 850, 850, 851, 851, 852, 852, 1005, - 839, 853, 853, 836, 843, 841, 842, 838, 1037, 842, - 848, 854, 854, 855, 855, 932, 846, 844, 932, 845, - 856, 856, 1038, 849, 1039, 847, 1040, 851, 857, 857, - 858, 858, 859, 859, 860, 860, 861, 861, 862, 862, - 863, 863, 864, 864, 1041, 855, 1042, 865, 865, 1043, - - 866, 866, 856, 867, 867, 868, 868, 857, 869, 869, - 870, 870, 923, 1044, 923, 861, 961, 961, 862, 1045, - 923, 962, 962, 1046, 864, 865, 963, 963, 964, 964, - 1047, 860, 863, 858, 868, 859, 866, 965, 965, 966, - 966, 967, 967, 969, 969, 867, 968, 968, 970, 970, - 971, 971, 1048, 972, 972, 973, 973, 870, 961, 974, - 974, 975, 975, 964, 1050, 963, 1051, 976, 976, 962, - 964, 966, 1052, 967, 977, 977, 978, 978, 979, 979, - 970, 1053, 971, 980, 980, 965, 981, 981, 968, 982, - 982, 969, 972, 1054, 973, 983, 983, 984, 984, 985, - - 985, 975, 1055, 978, 986, 986, 1056, 974, 976, 987, - 987, 988, 988, 989, 989, 980, 990, 990, 991, 992, - 992, 982, 977, 1057, 991, 991, 1058, 983, 993, 993, - 994, 994, 995, 995, 986, 991, 996, 996, 984, 997, - 997, 1059, 991, 998, 998, 989, 999, 999, 990, 1036, - 1049, 991, 1060, 988, 1000, 1000, 1061, 1049, 992, 1062, - 1063, 1065, 1067, 994, 1068, 1069, 1036, 1071, 1073, 997, - 1074, 1075, 1077, 1036, 1076, 993, 996, 1078, 1079, 995, - 1080, 1000, 1036, 1081, 1082, 1083, 1084, 1085, 999, 998, - 1126, 1076, 1086, 1086, 1087, 1087, 1088, 1088, 1076, 1089, - - 1089, 1090, 1090, 1091, 1091, 1092, 1092, 1076, 1093, 1093, - 1094, 1094, 1095, 1095, 1096, 1096, 1097, 1097, 1098, 1098, - 1099, 1099, 1100, 1100, 1101, 1101, 1113, 1096, 1127, 1097, - 1128, 1089, 1086, 1087, 1126, 1088, 1102, 1102, 1129, 1093, - 1113, 1090, 1091, 1103, 1103, 1104, 1104, 1130, 1092, 1131, - 1094, 1095, 1101, 1105, 1105, 1106, 1106, 1098, 1107, 1107, - 1132, 1100, 1108, 1108, 1109, 1109, 1110, 1110, 1111, 1111, - 1133, 1111, 1112, 1112, 1104, 1112, 1114, 1114, 1115, 1115, - 1116, 1116, 1102, 1134, 1103, 1135, 1106, 1136, 1117, 1117, - 1119, 1119, 1108, 1137, 1105, 1120, 1120, 1107, 1138, 1111, - - 1121, 1121, 1139, 1112, 1118, 1118, 1122, 1122, 1116, 1123, - 1123, 1109, 1141, 1111, 1110, 1124, 1124, 1112, 1118, 1115, - 1117, 1142, 1116, 1125, 1125, 1118, 1114, 1143, 1144, 1145, - 1146, 1118, 1147, 1148, 1149, 1150, 1151, 1120, 1152, 1153, - 1154, 1155, 1156, 1121, 1157, 1158, 1160, 1161, 1163, 1164, - 1165, 1166, 1158, 1167, 1168, 1169, 1156, 1123, 1158, 1170, - 1171, 1172, 1173, 1124, 1174, 1175, 1152, 1153, 1176, 1125, - 1177, 1178, 1180, 1181, 1182, 1183, 1184, 1185, 1186, 1187, - 1152, 1153, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, - 1196, 1197, 1198, 1200, 1201, 1203, 1204, 1205, 1230, 1198, - - 1236, 1193, 1206, 1206, 1196, 1198, 1207, 1207, 1208, 1208, - 1209, 1209, 1230, 1191, 1192, 1210, 1210, 1211, 1211, 1212, - 1212, 1213, 1213, 1214, 1214, 1216, 1216, 1191, 1192, 1215, - 1215, 1206, 1217, 1217, 1213, 1218, 1218, 1219, 1219, 1237, - 1209, 1220, 1220, 1252, 1210, 1207, 1251, 1221, 1221, 1222, - 1222, 1233, 1214, 1223, 1223, 1253, 1211, 1224, 1224, 1255, - 1216, 1226, 1226, 1256, 1212, 1233, 1225, 1225, 1215, 1225, - 1227, 1227, 1228, 1228, 1217, 1221, 1219, 1229, 1229, 1231, - 1231, 1232, 1232, 1234, 1234, 1235, 1235, 1251, 1220, 1238, - 1238, 1240, 1240, 1225, 1242, 1222, 1257, 1239, 1239, 1225, - - 1242, 1242, 1227, 1258, 1224, 1223, 1241, 1241, 1228, 1232, - 1243, 1243, 1259, 1235, 1244, 1244, 1260, 1238, 1229, 1239, - 1261, 1231, 1245, 1245, 1262, 1234, 1246, 1246, 1263, 1247, - 1247, 1248, 1248, 1249, 1249, 1250, 1250, 1265, 1266, 1267, - 1268, 1240, 1244, 1269, 1270, 1271, 1273, 1241, 1274, 1275, - 1277, 1276, 1243, 1245, 1278, 1280, 1279, 1281, 1282, 1246, - 1283, 1284, 1285, 1286, 1287, 1288, 1289, 1245, 1247, 1271, - 1290, 1250, 1276, 1291, 1249, 1271, 1248, 1279, 1292, 1293, - 1289, 1294, 1295, 1296, 1298, 1299, 1276, 1300, 1301, 1302, - 1303, 1279, 1304, 1305, 1306, 1308, 1309, 1310, 1311, 1312, - - 1313, 1314, 1316, 1317, 1318, 1319, 1320, 1321, 1322, 1323, - 1324, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1319, - 1333, 1334, 1322, 1335, 1336, 1314, 1337, 1338, 1339, 1340, - 1340, 1314, 1341, 1341, 1357, 1334, 1342, 1342, 1363, 1343, - 1343, 1344, 1344, 1364, 1345, 1345, 1346, 1346, 1347, 1347, - 1348, 1348, 1367, 1349, 1349, 1350, 1350, 1351, 1351, 1352, - 1352, 1353, 1353, 1355, 1355, 1340, 1354, 1354, 1356, 1356, - 1358, 1358, 1359, 1359, 1342, 1343, 1345, 1360, 1360, 1361, - 1361, 1362, 1362, 1368, 1347, 1349, 1365, 1365, 1346, 1366, - 1366, 1352, 1369, 1369, 1354, 1350, 1370, 1370, 1371, 1372, - - 1359, 1373, 1373, 1358, 1374, 1374, 1375, 1375, 1353, 1376, - 1376, 1377, 1362, 1387, 1378, 1378, 1379, 1379, 1380, 1380, - 1388, 1361, 1381, 1381, 1382, 1382, 1365, 1383, 1383, 1390, - 1366, 1391, 1369, 1393, 1375, 1394, 1376, 1370, 1384, 1384, - 1385, 1385, 1386, 1386, 1395, 1397, 1398, 1400, 1401, 1402, - 1381, 1405, 1406, 1373, 1378, 1407, 1374, 1379, 1409, 1383, - 1380, 1410, 1387, 1411, 1413, 1412, 1414, 1415, 1416, 1417, - 1384, 1385, 1418, 1419, 1405, 1420, 1421, 1422, 1423, 1424, - 1425, 1426, 1386, 1412, 1428, 1429, 1416, 1430, 1431, 1432, - 1434, 1435, 1437, 1438, 1439, 1411, 1441, 1442, 1444, 1415, - - 1445, 1446, 1449, 1450, 1451, 1453, 1454, 1455, 1456, 1457, - 1458, 1459, 1460, 1461, 1462, 1463, 1464, 1465, 1466, 1467, - 1468, 1469, 1470, 1471, 1472, 1473, 1475, 1476, 1477, 1478, - 1479, 1479, 1480, 1480, 1481, 1481, 1482, 1482, 1483, 1483, - 1484, 1484, 1485, 1485, 1486, 1486, 1487, 1487, 1488, 1488, - 1489, 1489, 1490, 1492, 1492, 1491, 1491, 1495, 1493, 1493, - 1494, 1494, 1496, 1497, 1497, 1499, 1498, 1498, 1500, 1502, - 1502, 1479, 1485, 1486, 1503, 1481, 1501, 1501, 1504, 1483, - 1509, 1484, 1482, 1491, 1488, 1505, 1505, 1506, 1506, 1507, - 1507, 1497, 1508, 1508, 1510, 1510, 1518, 1489, 1492, 1493, - - 1498, 1511, 1511, 1502, 1501, 1512, 1512, 1505, 1513, 1513, - 1514, 1514, 1515, 1515, 1516, 1516, 1517, 1517, 1519, 1521, - 1522, 1523, 1510, 1524, 1525, 1526, 1528, 1506, 1529, 1530, - 1531, 1532, 1533, 1535, 1536, 1511, 1537, 1538, 1508, 1539, - 1540, 1507, 1541, 1542, 1543, 1512, 1544, 1530, 1545, 1513, - 1546, 1547, 1548, 1549, 1550, 1554, 1555, 1557, 1558, 1517, - 1559, 1560, 1561, 1535, 1562, 1536, 1564, 1565, 1566, 1539, - 1567, 1540, 1568, 1569, 1571, 1572, 1573, 1574, 1575, 1576, - 1577, 1578, 1579, 1580, 1581, 1582, 1583, 1584, 1585, 1586, - 1587, 1588, 1589, 1593, 1594, 1594, 1595, 1595, 1596, 1596, - - 1597, 1597, 1603, 1598, 1598, 1599, 1599, 1607, 1600, 1600, - 1601, 1601, 1602, 1602, 1604, 1604, 1605, 1605, 1606, 1606, - 1608, 1611, 1594, 1612, 1595, 1609, 1609, 1615, 1610, 1610, - 1596, 1598, 1613, 1613, 1614, 1614, 1616, 1617, 1617, 1627, - 1618, 1618, 1628, 1599, 1600, 1619, 1619, 1629, 1602, 1597, - 1620, 1620, 1622, 1622, 1605, 1630, 1601, 1624, 1624, 1604, - 1610, 1609, 1623, 1623, 1625, 1625, 1614, 1631, 1613, 1618, - 1626, 1626, 1619, 1632, 1633, 1634, 1635, 1636, 1637, 1638, - 1641, 1640, 1642, 1643, 1645, 1624, 1646, 1644, 1622, 1617, - 1647, 1648, 1649, 1650, 1623, 1651, 1652, 1653, 1625, 1640, - - 1654, 1655, 1620, 1656, 1641, 1644, 1657, 1658, 1645, 1626, - 1659, 1660, 1636, 1661, 1662, 1663, 1664, 1665, 1666, 1667, - 1668, 1670, 1671, 1672, 1673, 1674, 1675, 1676, 1677, 1678, - 1679, 1680, 1681, 1682, 1683, 1685, 1686, 1687, 1688, 1689, - 1690, 1690, 1691, 1691, 1692, 1692, 1693, 1693, 1694, 1694, - 1695, 1695, 1696, 1696, 1699, 1697, 1697, 1698, 1698, 1700, - 1700, 1702, 1701, 1701, 1703, 1704, 1704, 1705, 1705, 1706, - 1707, 1708, 1708, 1709, 1709, 1710, 1711, 1721, 1693, 1712, - 1712, 1713, 1713, 1714, 1714, 1692, 1722, 1690, 1697, 1691, - 1701, 1715, 1715, 1696, 1723, 1694, 1724, 1700, 1716, 1716, - - 1717, 1717, 1725, 1698, 1718, 1718, 1704, 1720, 1720, 1719, - 1719, 1727, 1708, 1728, 1729, 1731, 1730, 1732, 1735, 1712, - 1733, 1739, 1737, 1713, 1741, 1734, 1742, 1738, 1743, 1714, - 1744, 1715, 1745, 1747, 1748, 1749, 1750, 1751, 1752, 1716, - 1718, 1719, 1753, 1720, 1730, 1754, 1733, 1734, 1737, 1738, - 1756, 1757, 1758, 1759, 1760, 1761, 1762, 1763, 1764, 1766, - 1767, 1768, 1770, 1771, 1772, 1773, 1774, 1775, 1776, 1778, - 1779, 1780, 1781, 1781, 1782, 1782, 1783, 1783, 1784, 1784, - 1785, 1785, 1789, 1786, 1786, 1787, 1787, 1788, 1788, 1790, - 1790, 1791, 1791, 1792, 1794, 1794, 1795, 1797, 1797, 1798, - - 1799, 1800, 1800, 1801, 1801, 1802, 1802, 1808, 1781, 1809, - 1782, 1786, 1803, 1803, 1804, 1804, 1785, 1790, 1805, 1805, - 1788, 1787, 1810, 1783, 1806, 1806, 1811, 1807, 1807, 1784, - 1800, 1812, 1813, 1814, 1815, 1816, 1817, 1791, 1818, 1819, - 1820, 1803, 1801, 1822, 1823, 1825, 1826, 1827, 1828, 1830, - 1832, 1833, 1834, 1816, 1835, 1836, 1837, 1802, 1838, 1805, - 1807, 1839, 1840, 1841, 1842, 1843, 1844, 1847, 1850, 1851, - 1819, 1852, 1853, 1854, 1822, 1855, 1857, 1859, 1860, 1860, - 1861, 1861, 1862, 1862, 1863, 1863, 1864, 1864, 1865, 1865, - 1866, 1866, 1868, 1867, 1867, 1869, 1869, 1870, 1870, 1863, - - 1873, 1874, 1875, 1875, 1876, 1876, 1877, 1877, 1879, 1879, - 1862, 1878, 1878, 1880, 1880, 1881, 1882, 1883, 1866, 1884, - 1860, 1885, 1861, 1886, 1887, 1888, 1889, 1890, 1864, 1867, - 1892, 1893, 1894, 1895, 1896, 1865, 1897, 1899, 1900, 1901, - 1902, 1869, 1903, 1904, 1875, 1905, 1877, 1906, 1907, 1908, - 1876, 1909, 1913, 1878, 1914, 1915, 1916, 1917, 1918, 1920, - 1921, 1921, 1889, 1922, 1922, 1880, 1923, 1923, 1924, 1924, - 1925, 1925, 1926, 1926, 1927, 1927, 1931, 1928, 1928, 1930, - 1930, 1932, 1933, 1933, 1934, 1934, 1935, 1935, 1936, 1936, - 1937, 1937, 1938, 1939, 1940, 1941, 1942, 1943, 1944, 1945, - - 1946, 1921, 1948, 1927, 1922, 1928, 1950, 1951, 1926, 1953, - 1954, 1925, 1955, 1923, 1956, 1935, 1924, 1957, 1958, 1959, - 1960, 1933, 1963, 1964, 1965, 1967, 1968, 1936, 1970, 1970, - 1971, 1971, 1972, 1972, 1973, 1973, 1974, 1974, 1975, 1975, - 1976, 1976, 1977, 1977, 1978, 1979, 1980, 1980, 1981, 1981, - 1982, 1982, 1985, 1986, 1988, 1989, 1990, 1991, 1992, 1993, - 1996, 1997, 1999, 2000, 2001, 2002, 2003, 2004, 1972, 2005, - 2006, 1977, 2012, 1973, 2007, 2007, 2008, 2008, 2017, 1976, - 1975, 2009, 2009, 2014, 2014, 2010, 2010, 2011, 2011, 2018, - 1981, 2019, 1980, 2015, 2015, 2020, 1982, 2016, 2016, 2021, - - 2023, 2025, 2026, 2027, 2028, 2029, 2030, 2033, 2035, 2035, - 2036, 2036, 2037, 2037, 2040, 2008, 2007, 2010, 2038, 2038, - 2039, 2039, 2009, 2041, 2041, 2042, 2011, 2046, 2047, 2048, - 2052, 2053, 2015, 2054, 2055, 2055, 2056, 2056, 2058, 2058, - 1008, 1007, 1006, 1004, 1003, 960, 958, 957, 956, 2035, - 955, 954, 2039, 953, 952, 951, 950, 949, 948, 947, - 946, 945, 941, 939, 938, 937, 936, 935, 934, 2041, - 2067, 2067, 2067, 2067, 2067, 2067, 2067, 2067, 2068, 2068, - 2068, 2068, 2069, 933, 2069, 2069, 2070, 2070, 931, 930, - 929, 2070, 2071, 928, 927, 2071, 2071, 2071, 2071, 2071, - - 2072, 2072, 2072, 2072, 2072, 2072, 2072, 2072, 2073, 926, - 924, 2073, 2073, 2073, 2073, 2073, 2074, 922, 918, 2074, - 2074, 2074, 2074, 2074, 2075, 916, 2075, 2075, 2075, 2075, - 2075, 2075, 2076, 2076, 2076, 2076, 2076, 2076, 2076, 2076, - 2077, 915, 2077, 2077, 2077, 2077, 2077, 2077, 2078, 914, - 2078, 2078, 2078, 2078, 2078, 2078, 2079, 2079, 2079, 913, - 912, 911, 910, 909, 908, 907, 906, 905, 904, 903, - 899, 897, 896, 895, 894, 893, 892, 891, 889, 888, - 887, 886, 885, 884, 882, 880, 878, 877, 873, 872, - 828, 827, 826, 824, 823, 822, 821, 820, 819, 818, - - 816, 815, 814, 813, 812, 811, 809, 808, 807, 806, - 805, 804, 803, 802, 801, 800, 799, 798, 797, 796, - 795, 794, 793, 792, 791, 790, 789, 788, 787, 786, - 785, 784, 782, 781, 780, 778, 777, 776, 775, 774, - 773, 772, 770, 769, 768, 767, 766, 765, 763, 762, - 761, 760, 759, 758, 757, 756, 755, 754, 753, 752, - 751, 750, 749, 748, 747, 746, 745, 744, 743, 742, - 741, 740, 737, 735, 734, 731, 730, 729, 728, 684, - 683, 680, 679, 678, 677, 676, 675, 674, 672, 671, - 670, 669, 668, 667, 666, 664, 663, 662, 660, 659, - - 658, 657, 656, 654, 652, 651, 650, 649, 647, 646, - 645, 644, 643, 642, 640, 639, 638, 637, 636, 635, - 634, 632, 631, 630, 629, 628, 627, 626, 625, 624, - 623, 622, 621, 620, 619, 618, 616, 615, 614, 612, - 611, 610, 609, 608, 606, 604, 603, 602, 601, 599, - 598, 597, 596, 595, 594, 592, 591, 590, 589, 584, - 583, 582, 581, 580, 577, 574, 572, 571, 570, 569, - 523, 522, 521, 520, 519, 518, 517, 515, 514, 513, - 512, 511, 510, 509, 507, 506, 505, 504, 503, 502, - 501, 500, 499, 498, 497, 496, 495, 494, 493, 492, - - 491, 490, 489, 488, 486, 485, 484, 483, 482, 481, - 480, 479, 478, 476, 475, 474, 473, 472, 471, 470, - 469, 467, 466, 464, 463, 462, 461, 459, 458, 457, - 456, 455, 454, 453, 452, 451, 450, 449, 448, 447, - 446, 445, 444, 443, 442, 441, 440, 438, 437, 436, - 435, 434, 433, 432, 431, 430, 428, 424, 422, 408, - 398, 360, 359, 358, 356, 355, 354, 353, 352, 350, - 348, 347, 345, 344, 343, 342, 341, 338, 337, 335, - 334, 333, 331, 330, 329, 328, 326, 325, 324, 323, - 322, 321, 320, 319, 318, 317, 316, 313, 307, 298, - - 297, 296, 295, 294, 293, 289, 288, 286, 285, 284, - 283, 282, 279, 278, 276, 275, 274, 272, 271, 270, - 269, 267, 266, 265, 264, 263, 262, 261, 260, 259, - 258, 257, 253, 252, 251, 250, 248, 247, 246, 244, - 242, 240, 239, 236, 224, 221, 213, 190, 176, 170, - 165, 161, 159, 157, 154, 153, 152, 150, 149, 148, - 147, 145, 139, 138, 137, 136, 134, 133, 132, 131, - 128, 127, 125, 124, 121, 120, 119, 116, 113, 111, - 110, 108, 105, 104, 103, 101, 100, 99, 98, 96, - 91, 90, 89, 88, 87, 85, 84, 83, 82, 75, - - 74, 73, 70, 64, 63, 61, 58, 38, 25, 24, - 22, 21, 18, 17, 16, 14, 13, 9, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, 2066, - 2066, 2066, 2066, 2066, 2066 - } ; - -/* Table of booleans, true if rule could match eol. */ -static yyconst flex_int32_t yy_rule_can_match_eol[148] = - { 0, -0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 1, 0, 0, }; - -/* 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 -#line 1 "../src/parser.ll" -/***************************************************************************** - Copyright (C) 1994-2000 the Omega Project Team - Copyright (C) 2005-2011 Chun Chen - All Rights Reserved. - - Purpose: - lex parser for calculator. - - Notes: - - History: - 02/04/11 migrate to flex c++ mode, Chun Chen -*****************************************************************************/ -#line 16 "../src/parser.ll" -#include <stdio.h> -#include <string.h> -#include <string> -#include <sstream> -#include <iostream> -#include <fstream> -#include <omega_calc/AST.h> -#include <basic/Dynamic_Array.h> -#include "parser.tab.hh" -#include <omega_calc/myflex.h> - -myFlexLexer mylexer; -bool is_interactive; -const char *PROMPT_STRING = ">>>"; - -#define BUFFER scanBuf += yytext -std::string scanBuf; -std::string err_msg; - -extern bool need_coef; - -void yyerror(const std::string &s); -void flushScanBuffer(); - - -#line 1974 "lex.yy.cc" - -#define INITIAL 0 -#define LATEX 1 -#define INCLUDE 2 -#define COMMENT 3 - -#ifndef YY_NO_UNISTD_H -/* Special case for "unistd.h", since it is non-ANSI. We include it way - * down here because we want the user's section 1 to have been scanned first. - * The user has a chance to override it with an option. - */ -#include <unistd.h> -#endif - -#ifndef YY_EXTRA_TYPE -#define YY_EXTRA_TYPE void * -#endif - -#ifndef yytext_ptr -static void yy_flex_strncpy (char *,yyconst char *,int ); -#endif - -#ifdef YY_NEED_STRLEN -static int yy_flex_strlen (yyconst char * ); -#endif - -#ifndef YY_NO_INPUT - -#endif - -/* Amount of stuff to slurp up with each read. */ -#ifndef YY_READ_BUF_SIZE -#ifdef __ia64__ -/* On IA-64, the buffer size is 16k, not 8k */ -#define YY_READ_BUF_SIZE 16384 -#else -#define YY_READ_BUF_SIZE 8192 -#endif /* __ia64__ */ -#endif - -/* Copy whatever the last rule matched to the standard output. */ -#ifndef ECHO -#define ECHO LexerOutput( yytext, yyleng ) -#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 ( (result = LexerInput( (char *) buf, max_size )) < 0 ) \ - 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) LexerError( msg ) -#endif - -/* end tables serialization structures and prototypes */ - -/* Default declaration of generated scanner - a define so the user can - * easily add parameters. - */ -#ifndef YY_DECL -#define YY_DECL_IS_OURS 1 -#define YY_DECL int yyFlexLexer::yylex() -#endif /* !YY_DECL */ - -/* 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 - -/** The main scanner function which does all the work. - */ -YY_DECL -{ - register yy_state_type yy_current_state; - register char *yy_cp, *yy_bp; - register int yy_act; - -#line 46 "../src/parser.ll" - - -#line 2085 "lex.yy.cc" - - if ( !(yy_init) ) - { - (yy_init) = 1; - -#ifdef YY_USER_INIT - YY_USER_INIT; -#endif - - if ( ! (yy_start) ) - (yy_start) = 1; /* first start state */ - - if ( ! yyin ) - yyin = & std::cin; - - if ( ! yyout ) - yyout = & std::cout; - - if ( ! YY_CURRENT_BUFFER ) { - yyensure_buffer_stack (); - YY_CURRENT_BUFFER_LVALUE = - 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 >= 2067 ) - 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] != 3619 ); - -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; - - if ( yy_act != YY_END_OF_BUFFER && yy_rule_can_match_eol[yy_act] ) - { - int yyl; - for ( yyl = 0; yyl < yyleng; ++yyl ) - if ( yytext[yyl] == '\n' ) - - yylineno++; -; - } - -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 48 "../src/parser.ll" -{ BUFFER; BEGIN(INCLUDE); } - YY_BREAK -case 2: -YY_RULE_SETUP -#line 49 "../src/parser.ll" -{ - BUFFER; - scanBuf += "\n"; - flushScanBuffer(); - - if (is_interactive) { - std::cout << "file include disabled in interactive mode\n"; - } - else { - char *s = yytext; - while (*s != '>') s++; - *s = '\0'; - std::ifstream *ifs = new std::ifstream(yytext, std::ifstream::in); - if (!ifs->is_open()) { - fprintf(stderr, "Can't open file %s\n", yytext); - } - else { - yy_buffer_state *bs = mylexer.yy_create_buffer(ifs, 8092); - mylexer.yypush_buffer_state(bs); - } - } - BEGIN(INITIAL); -} - YY_BREAK -case 3: -/* rule 3 can match eol */ -YY_RULE_SETUP -#line 72 "../src/parser.ll" -{ - std::cout << "Error in include syntax\n"; - std::cout << "Use <<fname>> to include the file named fname\n"; - BEGIN(INITIAL); - if(is_interactive) { - std::cout << PROMPT_STRING << ' '; - std::cout.flush(); - } -} - YY_BREAK -case 4: -YY_RULE_SETUP -#line 86 "../src/parser.ll" -{ BUFFER; } - YY_BREAK -case 5: -YY_RULE_SETUP -#line 87 "../src/parser.ll" -{ BUFFER; } - YY_BREAK -case 6: -YY_RULE_SETUP -#line 88 "../src/parser.ll" -{ BUFFER; BEGIN(COMMENT); } - YY_BREAK -case 7: -YY_RULE_SETUP -#line 89 "../src/parser.ll" -{ BUFFER; } - YY_BREAK -case 8: -/* rule 8 can match eol */ -YY_RULE_SETUP -#line 90 "../src/parser.ll" -{ BUFFER; BEGIN(INITIAL); } - YY_BREAK -case 9: -YY_RULE_SETUP -#line 91 "../src/parser.ll" -{ BUFFER; BEGIN(INITIAL); } - YY_BREAK -case 10: -YY_RULE_SETUP -#line 92 "../src/parser.ll" -{ BUFFER; BEGIN(LATEX); } - YY_BREAK -case 11: -YY_RULE_SETUP -#line 93 "../src/parser.ll" -{ BUFFER; } - YY_BREAK -case 12: -YY_RULE_SETUP -#line 94 "../src/parser.ll" -{ BUFFER; } - YY_BREAK -case 13: -YY_RULE_SETUP -#line 95 "../src/parser.ll" -{ BUFFER; } - YY_BREAK -case 14: -YY_RULE_SETUP -#line 96 "../src/parser.ll" -{ BUFFER; } - YY_BREAK -case 15: -/* rule 15 can match eol */ -YY_RULE_SETUP -#line 97 "../src/parser.ll" -{ BUFFER; } - YY_BREAK -case 16: -/* rule 16 can match eol */ -YY_RULE_SETUP -#line 100 "../src/parser.ll" -{ - BUFFER; - BEGIN(INITIAL); - if(is_interactive) { - std::cout << PROMPT_STRING << ' '; - std::cout.flush(); - } -} - YY_BREAK -case 17: -YY_RULE_SETUP -#line 113 "../src/parser.ll" -{ BUFFER; return OPEN_BRACE; } - YY_BREAK -case 18: -YY_RULE_SETUP -#line 114 "../src/parser.ll" -{ BUFFER; return OPEN_BRACE; } - YY_BREAK -case 19: -YY_RULE_SETUP -#line 115 "../src/parser.ll" -{ BUFFER; return CLOSE_BRACE; } - YY_BREAK -case 20: -YY_RULE_SETUP -#line 116 "../src/parser.ll" -{ BUFFER; return CLOSE_BRACE; } - YY_BREAK -case 21: -YY_RULE_SETUP -#line 117 "../src/parser.ll" -{ BUFFER; return APPROX; } - YY_BREAK -case 22: -YY_RULE_SETUP -#line 118 "../src/parser.ll" -{ BUFFER; return UNION; } - YY_BREAK -case 23: -YY_RULE_SETUP -#line 119 "../src/parser.ll" -{ BUFFER; return UNION; } - YY_BREAK -case 24: -YY_RULE_SETUP -#line 120 "../src/parser.ll" -{ BUFFER; return INTERSECTION; } - YY_BREAK -case 25: -YY_RULE_SETUP -#line 121 "../src/parser.ll" -{ BUFFER; return INTERSECTION; } - YY_BREAK -case 26: -YY_RULE_SETUP -#line 122 "../src/parser.ll" -{ BUFFER; return NO_SIMPLIFY; } - YY_BREAK -case 27: -YY_RULE_SETUP -#line 123 "../src/parser.ll" -{ BUFFER; return SYMBOLIC; } - YY_BREAK -case 28: -YY_RULE_SETUP -#line 124 "../src/parser.ll" -{ BUFFER; return SYMBOLIC; } - YY_BREAK -case 29: -YY_RULE_SETUP -#line 125 "../src/parser.ll" -{ BUFFER; return VERTICAL_BAR; } - YY_BREAK -case 30: -YY_RULE_SETUP -#line 126 "../src/parser.ll" -{ BUFFER; return VERTICAL_BAR; } - YY_BREAK -case 31: -YY_RULE_SETUP -#line 127 "../src/parser.ll" -{ BUFFER; return SUCH_THAT; } - YY_BREAK -case 32: -YY_RULE_SETUP -#line 128 "../src/parser.ll" -{ BUFFER; return SUCH_THAT; } - YY_BREAK -case 33: -YY_RULE_SETUP -#line 129 "../src/parser.ll" -{ BUFFER; return INVERSE; } - YY_BREAK -case 34: -YY_RULE_SETUP -#line 130 "../src/parser.ll" -{ BUFFER; return COMPLEMENT; } - YY_BREAK -case 35: -YY_RULE_SETUP -#line 131 "../src/parser.ll" -{ BUFFER; return COMPOSE; } - YY_BREAK -case 36: -YY_RULE_SETUP -#line 132 "../src/parser.ll" -{ BUFFER; return COMPOSE; } - YY_BREAK -case 37: -YY_RULE_SETUP -#line 133 "../src/parser.ll" -{ BUFFER; return DIFFERENCE; } - YY_BREAK -case 38: -YY_RULE_SETUP -#line 134 "../src/parser.ll" -{ BUFFER; return DIFFERENCE_TO_RELATION; } - YY_BREAK -case 39: -YY_RULE_SETUP -#line 135 "../src/parser.ll" -{ BUFFER; return PROJECT_AWAY_SYMBOLS; } - YY_BREAK -case 40: -YY_RULE_SETUP -#line 136 "../src/parser.ll" -{ BUFFER; return PROJECT_AWAY_SYMBOLS; } - YY_BREAK -case 41: -YY_RULE_SETUP -#line 137 "../src/parser.ll" -{ BUFFER; return PROJECT_AWAY_SYMBOLS; } - YY_BREAK -case 42: -YY_RULE_SETUP -#line 138 "../src/parser.ll" -{ BUFFER; return PROJECT_ON_SYMBOLS; } - YY_BREAK -case 43: -YY_RULE_SETUP -#line 139 "../src/parser.ll" -{ BUFFER; return PROJECT_ON_SYMBOLS; } - YY_BREAK -case 44: -YY_RULE_SETUP -#line 140 "../src/parser.ll" -{ BUFFER; return PROJECT_ON_SYMBOLS; } - YY_BREAK -case 45: -YY_RULE_SETUP -#line 141 "../src/parser.ll" -{ BUFFER; return JOIN; } - YY_BREAK -case 46: -YY_RULE_SETUP -#line 142 "../src/parser.ll" -{ BUFFER; return JOIN; } - YY_BREAK -case 47: -YY_RULE_SETUP -#line 143 "../src/parser.ll" -{ BUFFER; return JOIN; } - YY_BREAK -case 48: -YY_RULE_SETUP -#line 144 "../src/parser.ll" -{ BUFFER; return DOMAIN; } - YY_BREAK -case 49: -YY_RULE_SETUP -#line 145 "../src/parser.ll" -{ BUFFER; return TIME; } - YY_BREAK -case 50: -YY_RULE_SETUP -#line 146 "../src/parser.ll" -{ BUFFER; return TIMECLOSURE; } - YY_BREAK -case 51: -YY_RULE_SETUP -#line 147 "../src/parser.ll" -{ BUFFER; return RANGE; } - YY_BREAK -case 52: -YY_RULE_SETUP -#line 148 "../src/parser.ll" -{ BUFFER; return FORALL; } - YY_BREAK -case 53: -YY_RULE_SETUP -#line 149 "../src/parser.ll" -{ BUFFER; return FORALL; } - YY_BREAK -case 54: -YY_RULE_SETUP -#line 150 "../src/parser.ll" -{ BUFFER; return EXISTS; } - YY_BREAK -case 55: -YY_RULE_SETUP -#line 151 "../src/parser.ll" -{ BUFFER; return EXISTS; } - YY_BREAK -case 56: -YY_RULE_SETUP -#line 153 "../src/parser.ll" -{ BUFFER; return VENN; } - YY_BREAK -case 57: -YY_RULE_SETUP -#line 154 "../src/parser.ll" -{ BUFFER; return CONVEX_REPRESENTATION; } - YY_BREAK -case 58: -YY_RULE_SETUP -#line 155 "../src/parser.ll" -{ BUFFER; return CONVEX_COMBINATION; } - YY_BREAK -case 59: -YY_RULE_SETUP -#line 156 "../src/parser.ll" -{ BUFFER; return POSITIVE_COMBINATION; } - YY_BREAK -case 60: -YY_RULE_SETUP -#line 157 "../src/parser.ll" -{ BUFFER; return LINEAR_COMBINATION; } - YY_BREAK -case 61: -YY_RULE_SETUP -#line 158 "../src/parser.ll" -{ BUFFER; return AFFINE_COMBINATION; } - YY_BREAK -case 62: -YY_RULE_SETUP -#line 159 "../src/parser.ll" -{ /*deprecated*/ BUFFER; return RECT_HULL; } - YY_BREAK -case 63: -YY_RULE_SETUP -#line 160 "../src/parser.ll" -{ BUFFER; return SIMPLE_HULL; } - YY_BREAK -case 64: -YY_RULE_SETUP -#line 161 "../src/parser.ll" -{ BUFFER; return CONVEX_HULL; } - YY_BREAK -case 65: -YY_RULE_SETUP -#line 162 "../src/parser.ll" -{ BUFFER; return DECOUPLED_CONVEX_HULL; } - YY_BREAK -case 66: -YY_RULE_SETUP -#line 163 "../src/parser.ll" -{ BUFFER; return AFFINE_HULL; } - YY_BREAK -case 67: -YY_RULE_SETUP -#line 164 "../src/parser.ll" -{ BUFFER; return CONIC_HULL; } - YY_BREAK -case 68: -YY_RULE_SETUP -#line 165 "../src/parser.ll" -{ BUFFER; return LINEAR_HULL; } - YY_BREAK -case 69: -YY_RULE_SETUP -#line 166 "../src/parser.ll" -{ /*deprecated*/ BUFFER; return PAIRWISE_CHECK; } - YY_BREAK -case 70: -YY_RULE_SETUP -#line 167 "../src/parser.ll" -{ /*deprecated*/ BUFFER; return CONVEX_CHECK; } - YY_BREAK -case 71: -YY_RULE_SETUP -#line 168 "../src/parser.ll" -{ /*deprecated*/ BUFFER; return QUICK_HULL; } - YY_BREAK -case 72: -YY_RULE_SETUP -#line 169 "../src/parser.ll" -{ BUFFER; return HULL; } - YY_BREAK -case 73: -YY_RULE_SETUP -#line 170 "../src/parser.ll" -{ BUFFER; return FARKAS; } - YY_BREAK -case 74: -YY_RULE_SETUP -#line 171 "../src/parser.ll" -{ BUFFER; return DECOUPLED_FARKAS; } - YY_BREAK -case 75: -YY_RULE_SETUP -#line 172 "../src/parser.ll" -{ BUFFER; return DECOUPLED_FARKAS; } - YY_BREAK -case 76: -YY_RULE_SETUP -#line 173 "../src/parser.ll" -{ BUFFER; return DECOUPLED_FARKAS; } - YY_BREAK -case 77: -YY_RULE_SETUP -#line 175 "../src/parser.ll" -{ BUFFER; return MINIMIZE; } - YY_BREAK -case 78: -YY_RULE_SETUP -#line 176 "../src/parser.ll" -{ BUFFER; return MAXIMIZE; } - YY_BREAK -case 79: -YY_RULE_SETUP -#line 177 "../src/parser.ll" -{ BUFFER; return MINIMIZE_RANGE; } - YY_BREAK -case 80: -YY_RULE_SETUP -#line 178 "../src/parser.ll" -{ BUFFER; return MAXIMIZE_RANGE; } - YY_BREAK -case 81: -YY_RULE_SETUP -#line 179 "../src/parser.ll" -{ BUFFER; return MINIMIZE_RANGE; } - YY_BREAK -case 82: -YY_RULE_SETUP -#line 180 "../src/parser.ll" -{ BUFFER; return MAXIMIZE_RANGE; } - YY_BREAK -case 83: -YY_RULE_SETUP -#line 181 "../src/parser.ll" -{ BUFFER; return MINIMIZE_DOMAIN; } - YY_BREAK -case 84: -YY_RULE_SETUP -#line 182 "../src/parser.ll" -{ BUFFER; return MAXIMIZE_DOMAIN; } - YY_BREAK -case 85: -YY_RULE_SETUP -#line 183 "../src/parser.ll" -{ BUFFER; return MINIMIZE_DOMAIN; } - YY_BREAK -case 86: -YY_RULE_SETUP -#line 184 "../src/parser.ll" -{ BUFFER; return MAXIMIZE_DOMAIN; } - YY_BREAK -case 87: -YY_RULE_SETUP -#line 185 "../src/parser.ll" -{ BUFFER; return GIST; } - YY_BREAK -case 88: -YY_RULE_SETUP -#line 186 "../src/parser.ll" -{ BUFFER; return GIVEN; } - YY_BREAK -case 89: -YY_RULE_SETUP -#line 187 "../src/parser.ll" -{ BUFFER; return WITHIN; } - YY_BREAK -case 90: -YY_RULE_SETUP -#line 188 "../src/parser.ll" -{ BUFFER; return SUBSET; } - YY_BREAK -case 91: -YY_RULE_SETUP -#line 189 "../src/parser.ll" -{ BUFFER; return CODEGEN; } - YY_BREAK -case 92: -YY_RULE_SETUP -#line 190 "../src/parser.ll" -{ BUFFER; return MAKE_UPPER_BOUND; } - YY_BREAK -case 93: -YY_RULE_SETUP -#line 191 "../src/parser.ll" -{ BUFFER; return MAKE_LOWER_BOUND; } - YY_BREAK -case 94: -YY_RULE_SETUP -#line 192 "../src/parser.ll" -{ BUFFER; return SUPERSETOF;} - YY_BREAK -case 95: -YY_RULE_SETUP -#line 193 "../src/parser.ll" -{ BUFFER; return SUBSETOF;} - YY_BREAK -case 96: -YY_RULE_SETUP -#line 194 "../src/parser.ll" -{ BUFFER; return SYM_SAMPLE;} - YY_BREAK -case 97: -YY_RULE_SETUP -#line 195 "../src/parser.ll" -{ BUFFER; return SAMPLE;} - YY_BREAK -case 98: -YY_RULE_SETUP -#line 196 "../src/parser.ll" -{ BUFFER; return CARRIED_BY;} - YY_BREAK -case 99: -YY_RULE_SETUP -#line 197 "../src/parser.ll" -{ BUFFER; return REACHABLE_FROM; } - YY_BREAK -case 100: -YY_RULE_SETUP -#line 198 "../src/parser.ll" -{ BUFFER; return REACHABLE_OF; } - YY_BREAK -case 101: -YY_RULE_SETUP -#line 199 "../src/parser.ll" -{ BUFFER; return RESTRICT_DOMAIN; } - YY_BREAK -case 102: -YY_RULE_SETUP -#line 200 "../src/parser.ll" -{ BUFFER; return RESTRICT_DOMAIN; } - YY_BREAK -case 103: -YY_RULE_SETUP -#line 201 "../src/parser.ll" -{ BUFFER; return RESTRICT_DOMAIN; } - YY_BREAK -case 104: -YY_RULE_SETUP -#line 202 "../src/parser.ll" -{ BUFFER; return RESTRICT_RANGE; } - YY_BREAK -case 105: -YY_RULE_SETUP -#line 203 "../src/parser.ll" -{ BUFFER; return RESTRICT_RANGE; } - YY_BREAK -case 106: -YY_RULE_SETUP -#line 204 "../src/parser.ll" -{ BUFFER; return ASSERT_UNSAT; } - YY_BREAK -case 107: -YY_RULE_SETUP -#line 205 "../src/parser.ll" -{ BUFFER; return ASSERT_UNSAT; } - YY_BREAK -case 108: -YY_RULE_SETUP -#line 207 "../src/parser.ll" -{ BUFFER; return RESTRICT_RANGE; } - YY_BREAK -case 109: -YY_RULE_SETUP -#line 208 "../src/parser.ll" -{ BUFFER; return AND; } - YY_BREAK -case 110: -YY_RULE_SETUP -#line 209 "../src/parser.ll" -{ BUFFER; return OR; } - YY_BREAK -case 111: -YY_RULE_SETUP -#line 210 "../src/parser.ll" -{ BUFFER; return AND; } - YY_BREAK -case 112: -YY_RULE_SETUP -#line 211 "../src/parser.ll" -{ BUFFER; return OR; } - YY_BREAK -case 113: -YY_RULE_SETUP -#line 212 "../src/parser.ll" -{ BUFFER; return AND; } - YY_BREAK -case 114: -YY_RULE_SETUP -#line 213 "../src/parser.ll" -{ BUFFER; return OR; } - YY_BREAK -case 115: -YY_RULE_SETUP -#line 214 "../src/parser.ll" -{ BUFFER; return AND; } - YY_BREAK -case 116: -YY_RULE_SETUP -#line 215 "../src/parser.ll" -{ BUFFER; return OR; } - YY_BREAK -case 117: -YY_RULE_SETUP -#line 216 "../src/parser.ll" -{ BUFFER; return NOT; } - YY_BREAK -case 118: -YY_RULE_SETUP -#line 217 "../src/parser.ll" -{ BUFFER; return NOT; } - YY_BREAK -case 119: -YY_RULE_SETUP -#line 218 "../src/parser.ll" -{ BUFFER; return NOT; } - YY_BREAK -case 120: -YY_RULE_SETUP -#line 219 "../src/parser.ll" -{ BUFFER; return IS_ASSIGNED; } - YY_BREAK -case 121: -YY_RULE_SETUP -#line 220 "../src/parser.ll" -{ BUFFER; return GOES_TO; } - YY_BREAK -case 122: -YY_RULE_SETUP -#line 221 "../src/parser.ll" -{ BUFFER; return IN; } - YY_BREAK -case 123: -YY_RULE_SETUP -#line 222 "../src/parser.ll" -{ BUFFER; return GOES_TO; } - YY_BREAK -case 124: -YY_RULE_SETUP -#line 223 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = leq; return REL_OP; } - YY_BREAK -case 125: -YY_RULE_SETUP -#line 224 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = leq; return REL_OP; } - YY_BREAK -case 126: -YY_RULE_SETUP -#line 225 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = leq; return REL_OP; } - YY_BREAK -case 127: -YY_RULE_SETUP -#line 226 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = geq; return REL_OP; } - YY_BREAK -case 128: -YY_RULE_SETUP -#line 227 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = geq; return REL_OP; } - YY_BREAK -case 129: -YY_RULE_SETUP -#line 228 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = geq; return REL_OP; } - YY_BREAK -case 130: -YY_RULE_SETUP -#line 229 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = neq; return REL_OP; } - YY_BREAK -case 131: -YY_RULE_SETUP -#line 230 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = neq; return REL_OP; } - YY_BREAK -case 132: -YY_RULE_SETUP -#line 231 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = lt; return REL_OP; } - YY_BREAK -case 133: -YY_RULE_SETUP -#line 232 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = gt; return REL_OP; } - YY_BREAK -case 134: -YY_RULE_SETUP -#line 233 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = eq; return REL_OP; } - YY_BREAK -case 135: -YY_RULE_SETUP -#line 234 "../src/parser.ll" -{ BUFFER; yylval.REL_OPERATOR = eq; return REL_OP; } - YY_BREAK -case 136: -YY_RULE_SETUP -#line 236 "../src/parser.ll" -{ - BUFFER; - yylval.VAR_NAME = new char[yyleng+1]; - strcpy(yylval.VAR_NAME,yytext); - return VAR; -} - YY_BREAK -case 137: -YY_RULE_SETUP -#line 242 "../src/parser.ll" -{ - BUFFER; - yylval.VAR_NAME = new char[yyleng+1]; - strcpy(yylval.VAR_NAME,yytext); - yylval.VAR_NAME[yyleng-3] = 'i'; // lowercase - yylval.VAR_NAME[yyleng-2] = 'n'; - return VAR; -} - YY_BREAK -case 138: -YY_RULE_SETUP -#line 250 "../src/parser.ll" -{ - BUFFER; - yylval.VAR_NAME = new char[yyleng+1]; - strcpy(yylval.VAR_NAME,yytext); - yylval.VAR_NAME[yyleng-4] = 'i'; // Change to "in" - yylval.VAR_NAME[yyleng-3] = 'n'; // Be afraid - yylval.VAR_NAME[yyleng-2] = ')'; - yylval.VAR_NAME[yyleng-1] = '\0'; - return VAR; -} - YY_BREAK -case 139: -YY_RULE_SETUP -#line 260 "../src/parser.ll" -{ - BUFFER; - yylval.VAR_NAME = new char[yyleng+1]; - strcpy(yylval.VAR_NAME,yytext); - yylval.VAR_NAME[yyleng-4] = 'o'; // lowercase - yylval.VAR_NAME[yyleng-3] = 'u'; - yylval.VAR_NAME[yyleng-2] = 't'; - return VAR; -} - YY_BREAK -case 140: -YY_RULE_SETUP -#line 269 "../src/parser.ll" -{ - BUFFER; - yylval.VAR_NAME = new char[yyleng+1]; - strcpy(yylval.VAR_NAME,yytext); - return VAR; - } - YY_BREAK -case 141: -YY_RULE_SETUP -#line 275 "../src/parser.ll" -{ - BUFFER; - yylval.VAR_NAME = new char[yyleng+1]; - strcpy(yylval.VAR_NAME,yytext); - yylval.VAR_NAME[yyleng-3] = 'i'; // lowercase - yylval.VAR_NAME[yyleng-2] = 'n'; - return VAR; - } - YY_BREAK -case 142: -YY_RULE_SETUP -#line 283 "../src/parser.ll" -{ - BUFFER; - yylval.VAR_NAME = new char[yyleng+1]; - strcpy(yylval.VAR_NAME,yytext); - yylval.VAR_NAME[yyleng-4] = 'i'; // Change to "in" - yylval.VAR_NAME[yyleng-3] = 'n'; // Be afraid - yylval.VAR_NAME[yyleng-2] = ')'; - yylval.VAR_NAME[yyleng-1] = '\0'; - return VAR; - } - YY_BREAK -case 143: -YY_RULE_SETUP -#line 293 "../src/parser.ll" -{ - BUFFER; - yylval.VAR_NAME = new char[yyleng+1]; - strcpy(yylval.VAR_NAME,yytext); - yylval.VAR_NAME[yyleng-4] = 'o'; // lowercase - yylval.VAR_NAME[yyleng-3] = 'u'; - yylval.VAR_NAME[yyleng-2] = 't'; - return VAR; - } - YY_BREAK -case 144: -YY_RULE_SETUP -#line 303 "../src/parser.ll" -{ BUFFER; - if (need_coef) { - sscanf(yytext, coef_fmt, &yylval.COEF_VALUE); - return COEF; - } - else { - yylval.INT_VALUE = atoi(yytext); - return INT; - } -} - YY_BREAK -case 145: -/* rule 145 can match eol */ -YY_RULE_SETUP -#line 314 "../src/parser.ll" -{ BUFFER; - yytext[yyleng-1]='\0'; - yylval.STRING_VALUE = new std::string(yytext+1); - return STRING; -} - YY_BREAK -case YY_STATE_EOF(INITIAL): -case YY_STATE_EOF(LATEX): -case YY_STATE_EOF(INCLUDE): -case YY_STATE_EOF(COMMENT): -#line 321 "../src/parser.ll" -{ - mylexer.yypop_buffer_state(); - if (!YY_CURRENT_BUFFER) { - flushScanBuffer(); - return YY_NULL; - } -} - YY_BREAK -case 146: -YY_RULE_SETUP -#line 329 "../src/parser.ll" -{ BUFFER; return yytext[0]; } - YY_BREAK -case 147: -YY_RULE_SETUP -#line 332 "../src/parser.ll" -ECHO; - YY_BREAK -#line 3039 "lex.yy.cc" - - 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_LVALUE->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_LVALUE->yy_n_chars; - YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin; - YY_CURRENT_BUFFER_LVALUE->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_LVALUE->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_LVALUE->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 */ - -/* The contents of this function are C++ specific, so the () macro is not used. - */ -yyFlexLexer::yyFlexLexer( std::istream* arg_yyin, std::ostream* arg_yyout ) -{ - yyin = arg_yyin; - yyout = arg_yyout; - yy_c_buf_p = 0; - yy_init = 0; - yy_start = 0; - yy_flex_debug = 0; - yylineno = 1; // this will only get updated if %option yylineno - - yy_did_buffer_switch_on_eof = 0; - - yy_looking_for_trail_begin = 0; - yy_more_flag = 0; - yy_more_len = 0; - yy_more_offset = yy_prev_more_offset = 0; - - yy_start_stack_ptr = yy_start_stack_depth = 0; - yy_start_stack = NULL; - - yy_buffer_stack = 0; - yy_buffer_stack_top = 0; - yy_buffer_stack_max = 0; - - yy_state_buf = 0; - -} - -/* The contents of this function are C++ specific, so the () macro is not used. - */ -yyFlexLexer::~yyFlexLexer() -{ - delete [] yy_state_buf; - yyfree(yy_start_stack ); - yy_delete_buffer( YY_CURRENT_BUFFER ); - yyfree(yy_buffer_stack ); -} - -/* The contents of this function are C++ specific, so the () macro is not used. - */ -void yyFlexLexer::switch_streams( std::istream* new_in, std::ostream* new_out ) -{ - if ( new_in ) - { - yy_delete_buffer( YY_CURRENT_BUFFER ); - yy_switch_to_buffer( yy_create_buffer( new_in, YY_BUF_SIZE ) ); - } - - if ( new_out ) - yyout = new_out; -} - -#ifdef YY_INTERACTIVE -int yyFlexLexer::LexerInput( char* buf, int /* max_size */ ) -#else -int yyFlexLexer::LexerInput( char* buf, int max_size ) -#endif -{ - if ( yyin->eof() || yyin->fail() ) - return 0; - -#ifdef YY_INTERACTIVE - yyin->get( buf[0] ); - - if ( yyin->eof() ) - return 0; - - if ( yyin->bad() ) - return -1; - - return 1; - -#else - (void) yyin->read( buf, max_size ); - - if ( yyin->bad() ) - return -1; - else - return yyin->gcount(); -#endif -} - -void yyFlexLexer::LexerOutput( const char* buf, int size ) -{ - (void) yyout->write( buf, size ); -} - -/* 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 - */ -int yyFlexLexer::yy_get_next_buffer() -{ - register char *dest = YY_CURRENT_BUFFER_LVALUE->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_LVALUE->yy_ch_buf[(yy_n_chars) + 1] ) - YY_FATAL_ERROR( - "fatal flex scanner internal error--end of buffer missed" ); - - if ( YY_CURRENT_BUFFER_LVALUE->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_LVALUE->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_LVALUE->yy_n_chars = (yy_n_chars) = 0; - - else - { - int num_to_read = - YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1; - - while ( num_to_read <= 0 ) - { /* Not enough room in the buffer - grow it. */ - - /* 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. */ - yyrealloc((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_LVALUE->yy_buf_size - - number_to_move - 1; - - } - - if ( num_to_read > YY_READ_BUF_SIZE ) - num_to_read = YY_READ_BUF_SIZE; - - /* Read in more data. */ - YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]), - (yy_n_chars), (size_t) num_to_read ); - - YY_CURRENT_BUFFER_LVALUE->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_LVALUE->yy_buffer_status = - YY_BUFFER_EOF_PENDING; - } - } - - else - ret_val = EOB_ACT_CONTINUE_SCAN; - - if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) { - /* Extend the array by 50%, plus the number we really need. */ - yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1); - YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size ); - if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) - YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" ); - } - - (yy_n_chars) += number_to_move; - YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR; - YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR; - - (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0]; - - return ret_val; -} - -/* yy_get_previous_state - get the state just before the EOB char was reached */ - - yy_state_type yyFlexLexer::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 >= 2067 ) - 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 ); - */ - yy_state_type yyFlexLexer::yy_try_NUL_trans( yy_state_type yy_current_state ) -{ - 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 >= 2067 ) - 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 == 2066); - - return yy_is_jam ? 0 : yy_current_state; -} - - void yyFlexLexer::yyunput( int c, register char* yy_bp) -{ - register char *yy_cp; - - yy_cp = (yy_c_buf_p); - - /* undo effects of setting up yytext */ - *yy_cp = (yy_hold_char); - - if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->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_LVALUE->yy_ch_buf[ - YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2]; - register char *source = - &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]; - - while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) - *--dest = *--source; - - yy_cp += (int) (dest - source); - yy_bp += (int) (dest - source); - YY_CURRENT_BUFFER_LVALUE->yy_n_chars = - (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size; - - if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) - YY_FATAL_ERROR( "flex scanner push-back overflow" ); - } - - *--yy_cp = (char) c; - - if ( c == '\n' ){ - --yylineno; - } - - (yytext_ptr) = yy_bp; - (yy_hold_char) = *yy_cp; - (yy_c_buf_p) = yy_cp; -} - - int yyFlexLexer::yyinput() -{ - 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_LVALUE->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 ); - - /*FALLTHROUGH*/ - - 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); - - if ( c == '\n' ) - - yylineno++; -; - - return c; -} - -/** Immediately switch to a different input stream. - * @param input_file A readable stream. - * - * @note This function does not reset the start condition to @c INITIAL . - */ - void yyFlexLexer::yyrestart( std::istream* input_file ) -{ - - if ( ! YY_CURRENT_BUFFER ){ - yyensure_buffer_stack (); - YY_CURRENT_BUFFER_LVALUE = - yy_create_buffer( yyin, YY_BUF_SIZE ); - } - - yy_init_buffer( YY_CURRENT_BUFFER, input_file ); - yy_load_buffer_state( ); -} - -/** Switch to a different input buffer. - * @param new_buffer The new input buffer. - * - */ - void yyFlexLexer::yy_switch_to_buffer( YY_BUFFER_STATE new_buffer ) -{ - - /* TODO. We should be able to replace this entire function body - * with - * yypop_buffer_state(); - * yypush_buffer_state(new_buffer); - */ - yyensure_buffer_stack (); - 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_LVALUE->yy_buf_pos = (yy_c_buf_p); - YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars); - } - - YY_CURRENT_BUFFER_LVALUE = 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; -} - - void yyFlexLexer::yy_load_buffer_state() -{ - (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; - (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos; - yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file; - (yy_hold_char) = *(yy_c_buf_p); -} - -/** Allocate and initialize an input buffer state. - * @param file A readable stream. - * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE. - * - * @return the allocated buffer state. - */ - YY_BUFFER_STATE yyFlexLexer::yy_create_buffer( std::istream* file, int size ) -{ - YY_BUFFER_STATE b; - - b = (YY_BUFFER_STATE) yyalloc(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 *) yyalloc(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; -} - -/** Destroy the buffer. - * @param b a buffer created with yy_create_buffer() - * - */ - void yyFlexLexer::yy_delete_buffer( YY_BUFFER_STATE b ) -{ - - if ( ! b ) - return; - - if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */ - YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0; - - if ( b->yy_is_our_buffer ) - yyfree((void *) b->yy_ch_buf ); - - yyfree((void *) b ); -} - -extern "C" int isatty (int ); - -/* Initializes or reinitializes a buffer. - * This function is sometimes called more than once on the same buffer, - * such as during a yyrestart() or at EOF. - */ - void yyFlexLexer::yy_init_buffer( YY_BUFFER_STATE b, std::istream* file ) - -{ - int oerrno = errno; - - yy_flush_buffer( b ); - - b->yy_input_file = file; - b->yy_fill_buffer = 1; - - /* If b is the current buffer, then yy_init_buffer was _probably_ - * called from yyrestart() or through yy_get_next_buffer. - * In that case, we don't want to reset the lineno or column. - */ - if (b != YY_CURRENT_BUFFER){ - b->yy_bs_lineno = 1; - b->yy_bs_column = 0; - } - - b->yy_is_interactive = 0; - errno = oerrno; -} - -/** Discard all buffered characters. On the next scan, YY_INPUT will be called. - * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER. - * - */ - void yyFlexLexer::yy_flush_buffer( YY_BUFFER_STATE b ) -{ - 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( ); -} - -/** Pushes the new state onto the stack. The new state becomes - * the current state. This function will allocate the stack - * if necessary. - * @param new_buffer The new state. - * - */ -void yyFlexLexer::yypush_buffer_state (YY_BUFFER_STATE new_buffer) -{ - if (new_buffer == NULL) - return; - - yyensure_buffer_stack(); - - /* This block is copied from yy_switch_to_buffer. */ - if ( YY_CURRENT_BUFFER ) - { - /* Flush out information for old buffer. */ - *(yy_c_buf_p) = (yy_hold_char); - YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p); - YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars); - } - - /* Only push if top exists. Otherwise, replace top. */ - if (YY_CURRENT_BUFFER) - (yy_buffer_stack_top)++; - YY_CURRENT_BUFFER_LVALUE = new_buffer; - - /* copied from yy_switch_to_buffer. */ - yy_load_buffer_state( ); - (yy_did_buffer_switch_on_eof) = 1; -} - -/** Removes and deletes the top of the stack, if present. - * The next element becomes the new top. - * - */ -void yyFlexLexer::yypop_buffer_state (void) -{ - if (!YY_CURRENT_BUFFER) - return; - - yy_delete_buffer(YY_CURRENT_BUFFER ); - YY_CURRENT_BUFFER_LVALUE = NULL; - if ((yy_buffer_stack_top) > 0) - --(yy_buffer_stack_top); - - if (YY_CURRENT_BUFFER) { - yy_load_buffer_state( ); - (yy_did_buffer_switch_on_eof) = 1; - } -} - -/* Allocates the stack if it does not exist. - * Guarantees space for at least one push. - */ -void yyFlexLexer::yyensure_buffer_stack(void) -{ - int num_to_alloc; - - if (!(yy_buffer_stack)) { - - /* First allocation is just for 2 elements, since we don't know if this - * scanner will even need a stack. We use 2 instead of 1 to avoid an - * immediate realloc on the next call. - */ - num_to_alloc = 1; - (yy_buffer_stack) = (struct yy_buffer_state**)yyalloc - (num_to_alloc * sizeof(struct yy_buffer_state*) - ); - if ( ! (yy_buffer_stack) ) - YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" ); - - memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*)); - - (yy_buffer_stack_max) = num_to_alloc; - (yy_buffer_stack_top) = 0; - return; - } - - if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){ - - /* Increase the buffer to prepare for a possible push. */ - int grow_size = 8 /* arbitrary grow size */; - - num_to_alloc = (yy_buffer_stack_max) + grow_size; - (yy_buffer_stack) = (struct yy_buffer_state**)yyrealloc - ((yy_buffer_stack), - num_to_alloc * sizeof(struct yy_buffer_state*) - ); - if ( ! (yy_buffer_stack) ) - YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" ); - - /* zero only the new slots.*/ - memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*)); - (yy_buffer_stack_max) = num_to_alloc; - } -} - - void yyFlexLexer::yy_push_state( int new_state ) -{ - 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 *) yyalloc(new_size ); - - else - (yy_start_stack) = (int *) yyrealloc((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); -} - - void yyFlexLexer::yy_pop_state() -{ - if ( --(yy_start_stack_ptr) < 0 ) - YY_FATAL_ERROR( "start-condition stack underflow" ); - - BEGIN((yy_start_stack)[(yy_start_stack_ptr)]); -} - - int yyFlexLexer::yy_top_state() -{ - return (yy_start_stack)[(yy_start_stack_ptr) - 1]; -} - -#ifndef YY_EXIT_FAILURE -#define YY_EXIT_FAILURE 2 -#endif - -void yyFlexLexer::LexerError( yyconst char msg[] ) -{ - std::cerr << msg << std::endl; - 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. */ \ - int yyless_macro_arg = (n); \ - YY_LESS_LINENO(yyless_macro_arg);\ - yytext[yyleng] = (yy_hold_char); \ - (yy_c_buf_p) = yytext + yyless_macro_arg; \ - (yy_hold_char) = *(yy_c_buf_p); \ - *(yy_c_buf_p) = '\0'; \ - yyleng = yyless_macro_arg; \ - } \ - while ( 0 ) - -/* Accessor methods (get/set functions) to struct members. */ - -/* - * Internal utility routines. - */ - -#ifndef yytext_ptr -static void yy_flex_strncpy (char* s1, yyconst char * s2, int n ) -{ - register int i; - for ( i = 0; i < n; ++i ) - s1[i] = s2[i]; -} -#endif - -#ifdef YY_NEED_STRLEN -static int yy_flex_strlen (yyconst char * s ) -{ - register int n; - for ( n = 0; s[n]; ++n ) - ; - - return n; -} -#endif - -void *yyalloc (yy_size_t size ) -{ - return (void *) malloc( size ); -} - -void *yyrealloc (void * ptr, yy_size_t size ) -{ - /* 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 ); -} - -void yyfree (void * ptr ) -{ - free( (char *) ptr ); /* see yyrealloc() for (char *) cast */ -} - -#define YYTABLES_NAME "yytables" - -#line 332 "../src/parser.ll" - - - -void flushScanBuffer() { - if (scanBuf.size() == 0) - return; - if (!is_interactive) { - size_t prev_pos = 0; - if (scanBuf[0] == '\n') - prev_pos = 1; - for (size_t pos = prev_pos; pos <= scanBuf.size(); pos++) { - if (pos == scanBuf.size() || scanBuf[pos] == '\n') { - std::cout << PROMPT_STRING << " " << scanBuf.substr(prev_pos, pos-prev_pos) << std::endl; - prev_pos = pos+1; - } - } - } - - scanBuf.clear(); -} - |