dhcp6_lexer.cc

#line 2 "dhcp6_lexer.cc"

#line 4 "dhcp6_lexer.cc"

#define  YY_INT_ALIGNED short int

/* A lexical scanner generated by flex */

/* %not-for-header */

/* %if-c-only */
/* %if-not-reentrant */
#define yy_create_buffer parser6__create_buffer
#define yy_delete_buffer parser6__delete_buffer
#define yy_flex_debug parser6__flex_debug
#define yy_init_buffer parser6__init_buffer
#define yy_flush_buffer parser6__flush_buffer
#define yy_load_buffer_state parser6__load_buffer_state
#define yy_switch_to_buffer parser6__switch_to_buffer
#define yyin parser6_in
#define yyleng parser6_leng
#define yylex parser6_lex
#define yylineno parser6_lineno
#define yyout parser6_out
#define yyrestart parser6_restart
#define yytext parser6_text
#define yywrap parser6_wrap
#define yyalloc parser6_alloc
#define yyrealloc parser6_realloc
#define yyfree parser6_free

/* %endif */
/* %endif */
/* %ok-for-header */

#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 6
#define YY_FLEX_SUBMINOR_VERSION 1
#if YY_FLEX_SUBMINOR_VERSION > 0
#define FLEX_BETA
#endif

/* %if-c++-only */
/* %endif */

/* %if-c-only */
    
/* %endif */

/* %if-c-only */

/* %endif */

/* First, we deal with  platform-specific or compiler-specific issues. */

/* begin standard C headers. */
/* %if-c-only */
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
/* %endif */

/* %if-tables-serialization */
/* %endif */
/* end standard C headers. */

/* %if-c-or-c++ */
/* 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 */

/* %endif */

/* %if-c++-only */
/* %endif */

/* TODO: this is always defined, so inline it */
#define yyconst const

#if defined(__GNUC__) && __GNUC__ >= 3
#define yynoreturn __attribute__((__noreturn__))
#else
#define yynoreturn
#endif

/* %not-for-header */

/* Returned upon end-of-file. */
#define YY_NULL 0
/* %ok-for-header */

/* %not-for-header */

/* 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)
/* %ok-for-header */

/* %if-reentrant */
/* %endif */

/* %if-not-reentrant */

/* %endif */

/* 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 parser6_restart(parser6_in  )

#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

#ifndef YY_TYPEDEF_YY_SIZE_T
#define YY_TYPEDEF_YY_SIZE_T
typedef size_t yy_size_t;
#endif

/* %if-not-reentrant */
extern int parser6_leng;
/* %endif */

/* %if-c-only */
/* %if-not-reentrant */
extern FILE *parser6_in, *parser6_out;
/* %endif */
/* %endif */

#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2

    #define YY_LESS_LINENO(n)
    #define YY_LINENO_REWIND_TO(ptr)
    
/* Return all but the first "n" matched characters back to the input stream. */
#define yyless(n) \
	do \
		{ \
		/* Undo effects of setting up parser6_text. */ \
        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 parser6_text again */ \
		} \
	while ( 0 )

#define unput(c) yyunput( c, (yytext_ptr)  )

#ifndef YY_STRUCT_YY_BUFFER_STATE
#define YY_STRUCT_YY_BUFFER_STATE
struct yy_buffer_state
	{
/* %if-c-only */
	FILE *yy_input_file;
/* %endif */

/* %if-c++-only */
/* %endif */

	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.
	 */
	int 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 parser6_restart()), so that the user can continue scanning by
	 * just pointing parser6_in at a new input file.
	 */
#define YY_BUFFER_EOF_PENDING 2

	};
#endif /* !YY_STRUCT_YY_BUFFER_STATE */

/* %if-c-only Standard (non-C++) definition */
/* %not-for-header */

/* %if-not-reentrant */

/* Stack of input buffers. */
static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
static YY_BUFFER_STATE * yy_buffer_stack = NULL; /**< Stack as an array. */
/* %endif */
/* %ok-for-header */

/* %endif */

/* 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)]

/* %if-c-only Standard (non-C++) definition */

/* %if-not-reentrant */
/* %not-for-header */

/* yy_hold_char holds the character lost when parser6_text is formed. */
static char yy_hold_char;
static int yy_n_chars;		/* number of characters read into yy_ch_buf */
int parser6_leng;

/* Points to current character in buffer. */
static char *yy_c_buf_p = NULL;
static int yy_init = 0;		/* whether we need to initialize */
static int yy_start = 0;	/* start state number */

/* Flag which is used to allow parser6_wrap()'s to do buffer switches
 * instead of setting up a fresh parser6_in.  A bit of a hack ...
 */
static int yy_did_buffer_switch_on_eof;
/* %ok-for-header */

/* %endif */

void parser6_restart (FILE *input_file  );
void parser6__switch_to_buffer (YY_BUFFER_STATE new_buffer  );
YY_BUFFER_STATE parser6__create_buffer (FILE *file,int size  );
void parser6__delete_buffer (YY_BUFFER_STATE b  );
void parser6__flush_buffer (YY_BUFFER_STATE b  );
void parser6_push_buffer_state (YY_BUFFER_STATE new_buffer  );
void parser6_pop_buffer_state (void );

static void parser6_ensure_buffer_stack (void );
static void parser6__load_buffer_state (void );
static void parser6__init_buffer (YY_BUFFER_STATE b,FILE *file  );

#define YY_FLUSH_BUFFER parser6__flush_buffer(YY_CURRENT_BUFFER )

YY_BUFFER_STATE parser6__scan_buffer (char *base,yy_size_t size  );
YY_BUFFER_STATE parser6__scan_string (yyconst char *yy_str  );
YY_BUFFER_STATE parser6__scan_bytes (yyconst char *bytes,int len  );

/* %endif */

void *parser6_alloc (yy_size_t  );
void *parser6_realloc (void *,yy_size_t  );
void parser6_free (void *  );

#define yy_new_buffer parser6__create_buffer

#define yy_set_interactive(is_interactive) \
	{ \
	if ( ! YY_CURRENT_BUFFER ){ \
        parser6_ensure_buffer_stack (); \
		YY_CURRENT_BUFFER_LVALUE =    \
            parser6__create_buffer(parser6_in,YY_BUF_SIZE ); \
	} \
	YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
	}

#define yy_set_bol(at_bol) \
	{ \
	if ( ! YY_CURRENT_BUFFER ){\
        parser6_ensure_buffer_stack (); \
		YY_CURRENT_BUFFER_LVALUE =    \
            parser6__create_buffer(parser6_in,YY_BUF_SIZE ); \
	} \
	YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
	}

#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)

/* %% [1.0] parser6_text/parser6_in/parser6_out/yy_state_type/parser6_lineno etc. def's & init go here */
/* Begin user sect3 */

#define parser6_wrap() (/*CONSTCOND*/1)
#define YY_SKIP_YYWRAP

#define FLEX_DEBUG

typedef unsigned char YY_CHAR;

FILE *parser6_in = NULL, *parser6_out = NULL;

typedef int yy_state_type;

extern int parser6_lineno;

int parser6_lineno = 1;

extern char *parser6_text;
#ifdef yytext_ptr
#undef yytext_ptr
#endif
#define yytext_ptr parser6_text

/* %% [1.5] DFA */

/* %if-c-only Standard (non-C++) definition */

static yy_state_type yy_get_previous_state (void );
static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
static int yy_get_next_buffer (void );
static void yynoreturn yy_fatal_error (yyconst char* msg  );

/* %endif */

/* Done after the current pattern has been matched and before the
 * corresponding action - sets up parser6_text.
 */
#define YY_DO_BEFORE_ACTION \
	(yytext_ptr) = yy_bp; \
/* %% [2.0] code to fiddle parser6_text and parser6_leng for yymore() goes here \ */\
	parser6_leng = (int) (yy_cp - yy_bp); \
	(yy_hold_char) = *yy_cp; \
	*yy_cp = '\0'; \
/* %% [3.0] code to copy yytext_ptr to parser6_text[] goes here, if %array \ */\
	(yy_c_buf_p) = yy_cp;

/* %% [4.0] data tables for the DFA and the user's section 1 definitions go here */
#define YY_NUM_RULES 161
#define YY_END_OF_BUFFER 162
/* 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[1266] =
    {   0,
      154,  154,    0,    0,    0,    0,    0,    0,    0,    0,
      162,  160,   10,   11,  160,    1,  154,  151,  154,  154,
      160,  153,  152,  160,  160,  160,  160,  160,  147,  148,
      160,  160,  160,  149,  150,    5,    5,    5,  160,  160,
      160,   10,   11,    0,    0,  143,    0,    0,    0,    0,
        0,    0,    0,    0,    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,  154,
      154,    0,  153,  154,    3,    2,    6,    0,  154,    0,
        0,    0,    0,    0,    0,    4,    0,    0,    9,    0,

      144,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,  146,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    2,    0,    0,    0,    0,    0,    0,    0,
        8,    0,    0,    0,    0,  122,    0,    0,  123,    0,
        0,    0,    0,    0,    0,    0,    0,  145,    0,    0,

        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,   80,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,  159,  157,
        0,  156,  155,    0,    0,    0,    0,    0,    0,    0,
      121,    0,    0,   27,    0,   26,    0,    0,   86,    0,

        0,    0,    0,    0,    0,   46,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,   84,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
      158,  155,    0,    0,    0,    0,    0,    0,    0,    0,
       28,    0,    0,   30,    0,    0,    0,    0,    0,   87,

        0,    0,    0,    0,   66,    0,    0,    0,    0,    0,
        0,  106,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,   49,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,   65,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,   75,    0,   50,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,  102,  126,
       42,    0,   47,    0,    0,    0,    0,    0,    0,  140,
       35,    0,   32,    0,   31,    0,    0,    0,  114,    0,

        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,   95,    0,    0,    0,
        0,    0,    0,    0,  125,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
       44,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,   68,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,  115,    0,    0,    0,    0,    0,    0,    0,
        0,    0,  110,    0,    0,    0,    0,    7,   33,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,

        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,   97,    0,    0,    0,    0,    0,   94,    0,
        0,    0,    0,    0,    0,    0,    0,   70,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,   77,    0,    0,    0,
        0,    0,    0,   91,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,  109,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,  119,

       92,    0,    0,    0,   96,   43,    0,    0,    0,    0,
        0,    0,    0,    0,    0,   51,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,   61,
        0,    0,    0,    0,  141,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,   83,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
      108,    0,    0,    0,    0,    0,   54,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
       48,   69,    0,    0,    0,  105,    0,    0,    0,   41,

        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,   99,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,  139,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,   78,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
       38,    0,    0,    0,    0,    0,    0,    0,   16,    0,
      120,   14,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,  111,   98,

        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,  107,  124,    0,   37,    0,  116,
        0,    0,    0,    0,    0,    0,   20,    0,    0,   63,
        0,    0,    0,    0,  118,   45,    0,   71,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,   67,
        0,    0,    0,    0,    0,    0,    0,    0,  113,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,   88,    0,    0,    0,   64,   85,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,   58,

        0,    0,    0,   17,   15,    0,  138,  137,    0,    0,
        0,    0,    0,   29,    0,  101,    0,    0,    0,    0,
        0,    0,  135,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,   79,    0,  104,    0,   52,    0,    0,
        0,   19,    0,    0,    0,    0,    0,   81,   59,    0,
      112,    0,    0,    0,  103,    0,    0,   76,    0,  142,
        0,    0,    0,    0,    0,    0,    0,   74,    0,  127,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,  100,    0,   55,

      136,    0,   12,    0,    0,    0,    0,    0,    0,    0,
       40,    0,   39,   18,    0,    0,   93,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,   57,    0,    0,
       53,    0,   72,    0,    0,    0,    0,    0,  117,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,   62,    0,   34,    0,    0,    0,    0,    0,   25,
        0,    0,    0,    0,  133,    0,    0,    0,    0,    0,
        0,    0,   82,    0,    0,    0,    0,    0,    0,    0,
        0,   36,    0,    0,    0,    0,   13,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,  132,    0,

       22,   56,    0,    0,    0,    0,   21,    0,   73,    0,
        0,  131,    0,    0,    0,    0,   24,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,   23,    0,
       89,    0,    0,    0,    0,    0,  129,  134,   60,    0,
        0,    0,  128,    0,    0,    0,    0,    0,    0,    0,
       90,    0,    0,  130,    0
    } ;

static yyconst YY_CHAR yy_ec[256] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
        1,    1,    2,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    4,    5,    6,    7,    5,    5,    5,    5,    5,
        5,    8,    9,   10,   11,   12,   13,   14,   14,   14,
       14,   15,   14,   16,   14,   14,   14,   17,    5,   18,
        5,   19,   20,    5,   21,   22,   23,   24,   25,   26,
        5,   27,    5,   28,    5,   29,    5,   30,   31,   32,
        5,   33,   34,   35,   36,   37,   38,    5,   39,    5,
       40,   41,   42,    5,   43,    5,   44,   45,   46,   47,

       48,   49,   50,   51,   52,   53,   54,   55,   56,   57,
       58,   59,   60,   61,   62,   63,   64,   65,   66,   67,
       68,   69,   70,    5,   71,    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,    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
    } ;

static yyconst YY_CHAR yy_meta[72] =
    {   0,
        1,    1,    2,    3,    3,    4,    3,    3,    3,    3,
        3,    3,    3,    5,    5,    5,    3,    3,    3,    3,
        5,    5,    5,    5,    5,    5,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    5,    5,    5,    5,    5,    5,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3
    } ;

static yyconst flex_uint16_t yy_base[1278] =
    {   0,
        0,   70,   19,   29,   41,   49,   52,   58,   87,   95,
     1628, 1629,   32, 1624,  141,    0,  201, 1629,  206,   88,
       11,  213, 1629, 1606,  114,   25,    2,    6, 1629, 1629,
       73,   11,   17, 1629, 1629, 1629,  104, 1612, 1567,    0,
     1604,  107, 1619,  217,  241, 1629,  185, 1563, 1569, 1589,
       93,   58,  190,   91,  211,  200,   14,  267,  213,  175,
      269,   64,  231, 1570,  187,   75, 1569,  274,  188,  290,
      276,  295, 1552,  195,  296,  325,  305, 1571,    0,  349,
      354,  367,  373,  376, 1629,    0, 1629,  267,  295,  290,
      317,  339,  351,  355,  358, 1629, 1568, 1607, 1629,  308,

     1629,  394,  357, 1555, 1565, 1604,  370,  220,  249, 1559,
      367,  377,  369,  379,  302, 1602,    0,  445,  374, 1546,
     1554,  304, 1550, 1539, 1540,  371, 1556, 1539, 1548,  374,
      200,  366, 1542,  386, 1530, 1586,  402, 1533, 1584, 1526,
     1549, 1546, 1546, 1540,  367, 1533, 1526, 1531, 1525, 1536,
     1521, 1520, 1534,  366, 1570, 1519,  384, 1531, 1534, 1518,
      441,  415, 1532, 1529, 1530, 1528, 1510, 1515, 1511, 1503,
     1520, 1512,    0,  385,  420,  406,  419,  427,  440, 1511,
     1629,    0,  453, 1502, 1505, 1629,  439,  447, 1629, 1557,
     1512,  454, 1555,  458, 1554,  448, 1553, 1629,  493, 1552,

      478, 1513, 1508, 1507,  463, 1548, 1542, 1508, 1487, 1495,
     1501, 1489, 1503, 1499, 1500, 1500, 1495, 1487, 1489, 1473,
     1477, 1490, 1490, 1482, 1472, 1475, 1489, 1629, 1475, 1483,
     1486, 1467, 1466, 1516, 1465, 1475, 1513,  484, 1474, 1462,
     1473, 1509, 1513, 1466,    9, 1456, 1472, 1453, 1455, 1451,
     1457, 1448, 1447, 1460, 1453, 1455, 1459, 1458, 1452,   80,
     1459, 1454, 1446, 1452, 1452, 1433, 1449, 1435, 1441, 1448,
     1436, 1429, 1443, 1442, 1445, 1427, 1435,  485, 1629, 1629,
      486, 1629, 1629, 1422,    0,  445, 1424,  508,  487, 1478,
     1629, 1431,  492, 1629, 1476, 1629, 1470,  540, 1629,  482,

     1412, 1422, 1472, 1429,  483, 1629, 1427, 1469, 1424, 1421,
     1422,  532, 1426, 1464, 1414, 1409, 1406, 1402, 1404, 1453,
     1412, 1401, 1450, 1398,  546, 1411, 1411, 1394, 1395, 1408,
     1395, 1405, 1400, 1407, 1402, 1387,  402, 1396, 1399, 1394,
     1390, 1438,  499, 1629, 1385, 1384, 1377, 1379, 1383, 1372,
     1379, 1384,  353, 1429, 1384,  519, 1381, 1385, 1383, 1372,
     1372, 1384, 1366, 1358, 1359, 1380, 1362, 1374, 1373, 1359,
     1371, 1370, 1369, 1368, 1409, 1408, 1407, 1351,  525, 1364,
     1629, 1629, 1363,    0,  511, 1351, 1402, 1401, 1359, 1399,
     1629, 1347, 1397, 1629,  538,  595,  517, 1396, 1338, 1629,

     1354, 1353, 1340, 1339, 1629, 1341, 1338, 1350, 1346, 1334,
     1336, 1629, 1342, 1327, 1329, 1340, 1338, 1333,  563, 1340,
     1322, 1371, 1629, 1320, 1336, 1368, 1372, 1330, 1324, 1326,
     1327, 1329, 1361, 1314, 1309, 1308, 1310, 1303, 1318, 1296,
     1303, 1308, 1356, 1629, 1303, 1299, 1302, 1309, 1294, 1304,
     1307, 1296, 1295, 1290, 1629, 1345, 1629, 1289, 1288, 1281,
     1298, 1335, 1282, 1287, 1296, 1290, 1294,  566, 1329, 1293,
     1273, 1276, 1275, 1283, 1287, 1270, 1326, 1268, 1629, 1629,
     1629, 1273, 1629, 1283, 1317, 1279,    0, 1320, 1270, 1629,
     1629, 1267, 1629, 1273, 1629,  544,  543,  572, 1629, 1311,

     1258, 1257, 1264, 1257, 1269, 1268, 1252, 1267, 1297, 1264,
     1300, 1246, 1248, 1260, 1260, 1259, 1629, 1244, 1241, 1255,
     1247, 1253, 1244, 1252, 1629, 1237, 1248, 1252, 1234, 1248,
     1246, 1229, 1223, 1228, 1225, 1240, 1241, 1238, 1279, 1236,
     1629, 1222, 1224, 1270, 1269,  553, 1232, 1215, 1216, 1221,
     1212, 1629, 1226, 1212,  587, 1204, 1225, 1222, 1214, 1257,
     1211, 1255, 1629, 1203, 1201, 1215, 1218, 1250, 1249, 1196,
     1247, 1246, 1629,  574, 1208, 1197, 1199, 1629, 1629, 1242,
     1190, 1245,  559,  557,  529, 1204, 1238, 1237, 1236, 1190,
     1180, 1233, 1195, 1185, 1230, 1193, 1175, 1183, 1185, 1189,

     1224, 1228, 1185, 1184, 1185, 1178, 1167, 1180, 1183, 1178,
     1173, 1178, 1175, 1174, 1177, 1172, 1213, 1212, 1156, 1152,
     1160, 1208, 1629, 1207, 1156, 1148, 1163, 1150, 1629, 1150,
     1159, 1158, 1158, 1142, 1197, 1140, 1153, 1629, 1145, 1137,
     1146, 1139, 1150, 1127, 1131, 1182, 1129, 1127, 1138, 1178,
     1125,  540,  548, 1119, 1129,  549, 1629, 1179, 1137, 1126,
     1130, 1137, 1174, 1629, 1168,  567, 1121, 1129, 1121, 1112,
     1115, 1111, 1128, 1123, 1111, 1122, 1106, 1108, 1160, 1106,
     1120, 1101, 1151, 1106, 1629, 1114, 1112, 1103, 1112, 1108,
     1149, 1091, 1091, 1104, 1103, 1088, 1143, 1085, 1086, 1629,

     1629, 1100, 1097, 1100, 1629, 1629, 1099, 1084,  579, 1083,
     1081, 1128, 1077, 1131, 1130, 1629, 1075, 1087, 1085, 1126,
     1074, 1074,   61,  120,  189,  197,  195,  259,  281,  311,
      344,  405,  470,  566,  471,  524,  512,  570,  547, 1629,
      613,  563,  579,  580, 1629,  599,  607,  587,  577,  592,
      585,  580,  587,  583,  592,  587,  638,  644,  593, 1629,
      605,  590,  606,  597,  609,  604,  649,  617,  601,  602,
     1629,  620,  603,  605,  661,  606, 1629,  625,  605,  623,
      662,  622,  612,  630,  614,  629,  621,  617,  635,  620,
     1629, 1629,  628,  673,  628, 1629,  636,  631,  682, 1629,

      633,  638,  632,  634,  646,  640,  638,  691,  637,  693,
      694,  640, 1629,  639,  647,  645,  644,  658,  659,  660,
      676,  681,  655,  665,  651,  658,  663,  670,  711,  712,
      661,  665, 1629,  660,  678,  676,  714,  665,  683,  684,
      670,  678,  687,  667,  688,  728,  729, 1629,  684,  733,
      734,  696,  698,  681,  683,  690,  741,  690,  705,  744,
      696,  700,  698,  696,  749,  750,  702,  752,  748,  708,
     1629,  713,  706,  715,  709,  704,  714,  710, 1629,  705,
     1629, 1629,  706,  704,  723,  724,  725,  707,  712,  719,
      752,  743,  715,  774,  719,  735,  727,  731, 1629, 1629,

      741,  739,  725,  726,  784,  739,  744,  731,  742,  734,
      740,  736,  754,  755, 1629, 1629,  754, 1629,  756, 1629,
      741,  760,  750,  801,  756,  798, 1629,  755,  805, 1629,
      806,  755,  762,  804, 1629, 1629,  764, 1629,  755,  755,
      758,  772,  759,  770,  817,  776,  814,  820,  821,  770,
      823,  824,  785,  769,  781,  771,  801,  830,  790, 1629,
      832,  781,  777,  793,  798,  786,  838,  797, 1629,  799,
      798,  800,  793,  802,  803,  800,  790,  792,  849,  798,
      851,  796,  853, 1629,  791,  806,  856, 1629, 1629,  807,
      817,  802,  818,  804,  864,  865,  811,  867,  826, 1629,

      818,  821,  872, 1629, 1629,  818, 1629, 1629,  826,  876,
      827,  878,  860, 1629,  838, 1629,  825,  824,  827,  827,
      828,  886, 1629,  831,  888,  843,  834,  849,  849,  852,
      852,  849,  854, 1629,  846, 1629,  856, 1629,  857,  858,
      855, 1629,  847,  853,  852,  864,  864, 1629, 1629,  903,
     1629,  868,  853,  859, 1629,  864,  875, 1629,  872, 1629,
      891,  911,  917,  861,  919,  920,  875, 1629,  922, 1629,
      862,  919,  884,  880,  922,  872,  877,  930,  888,  932,
      933,  896,  885,  936,  880,  897,  882,  897,  881,  938,
      939,  904,  890,  901,  948,  920,  907, 1629,  951, 1629,

     1629,  900, 1629,  953,  901,  950,  895,  900,  959,  909,
     1629,  915, 1629, 1629,  906,  921, 1629,  959,  927,  920,
      921,  930,  917,  919,  929,  972,  923, 1629,  974,  921,
     1629,  925, 1629,  929,  924,  923,  981,  936, 1629,  978,
      940,  943,  986,  929,  931,  939,  929,  945,  939,  955,
      994, 1629,  990, 1629,  955,  992,  956,  947,  954, 1629,
      951,  956, 1003,  948, 1629,  952,  964,  965, 1008,  952,
      953,  961, 1629,  972,  962,  961,  964,  976,  967,  976,
      978, 1629, 1020,  980, 1022, 1023, 1629, 1019,  979,  984,
      965, 1028,  987, 1030,  989,  990, 1033,  992, 1629,  997,

     1629, 1629,  979,  985, 1038,  999, 1629,  985, 1629,  985,
      987, 1629,  992,  987,  999,  995, 1629,  998, 1002,  993,
     1045,  994, 1010, 1003,  998, 1013, 1004, 1011,  998, 1013,
     1060, 1019, 1062, 1007, 1023, 1014, 1028, 1024, 1629, 1068,
     1629, 1069, 1070, 1027, 1026, 1027, 1629, 1629, 1629, 1074,
     1018, 1034, 1629, 1072, 1023, 1022, 1024, 1035, 1082, 1033,
     1629, 1042, 1085, 1629, 1629, 1091, 1096, 1101, 1106, 1111,
     1116, 1121, 1124, 1098, 1103, 1105, 1118
    } ;

static yyconst flex_int16_t yy_def[1278] =
    {   0,
     1266, 1266, 1267, 1267, 1266, 1266, 1266, 1266, 1266, 1266,
     1265, 1265, 1265, 1265, 1265, 1268, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1269,
     1265, 1265, 1265, 1270,   15, 1265,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45, 1271,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45, 1268, 1265,
     1265, 1265, 1265, 1265, 1265, 1272, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1269, 1265, 1270,

     1265, 1265,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45, 1273,   45, 1271,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45, 1272, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1265, 1274,   45,   45,   45, 1265,   45,   45, 1265,   45,
       45,   45,   45,   45,   45,   45, 1273, 1265, 1271,   45,

       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45, 1265,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1275,   45,   45,   45,   45,   45,
     1265,   45,   45, 1265,   45, 1265,   45, 1271, 1265,   45,

       45,   45,   45,   45,   45, 1265,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45, 1265,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
     1265, 1265, 1265, 1276,   45,   45,   45,   45,   45,   45,
     1265,   45,   45, 1265,   45, 1271,   45,   45,   45, 1265,

       45,   45,   45,   45, 1265,   45,   45,   45,   45,   45,
       45, 1265,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45, 1265,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45, 1265,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45, 1265,   45, 1265,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45, 1265, 1265,
     1265,   45, 1265,   45,   45, 1265, 1277,   45,   45, 1265,
     1265,   45, 1265,   45, 1265,   45,   45,   45, 1265,   45,

       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45, 1265,   45,   45,   45,
       45,   45,   45,   45, 1265,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
     1265,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45, 1265,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45, 1265,   45,   45,   45,   45,   45,   45,   45,
       45,   45, 1265,   45,   45,   45,   45, 1265, 1265,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,

       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45, 1265,   45,   45,   45,   45,   45, 1265,   45,
       45,   45,   45,   45,   45,   45,   45, 1265,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45, 1265,   45,   45,   45,
       45,   45,   45, 1265,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45, 1265,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45, 1265,

     1265,   45,   45,   45, 1265, 1265,   45,   45,   45,   45,
       45,   45,   45,   45,   45, 1265,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45, 1265,
       45,   45,   45,   45, 1265,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45, 1265,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
     1265,   45,   45,   45,   45,   45, 1265,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
     1265, 1265,   45,   45,   45, 1265,   45,   45,   45, 1265,

       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45, 1265,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45, 1265,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45, 1265,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
     1265,   45,   45,   45,   45,   45,   45,   45, 1265,   45,
     1265, 1265,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45, 1265, 1265,

       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45, 1265, 1265,   45, 1265,   45, 1265,
       45,   45,   45,   45,   45,   45, 1265,   45,   45, 1265,
       45,   45,   45,   45, 1265, 1265,   45, 1265,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45, 1265,
       45,   45,   45,   45,   45,   45,   45,   45, 1265,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45, 1265,   45,   45,   45, 1265, 1265,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45, 1265,

       45,   45,   45, 1265, 1265,   45, 1265, 1265,   45,   45,
       45,   45,   45, 1265,   45, 1265,   45,   45,   45,   45,
       45,   45, 1265,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45, 1265,   45, 1265,   45, 1265,   45,   45,
       45, 1265,   45,   45,   45,   45,   45, 1265, 1265,   45,
     1265,   45,   45,   45, 1265,   45,   45, 1265,   45, 1265,
       45,   45,   45,   45,   45,   45,   45, 1265,   45, 1265,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45, 1265,   45, 1265,

     1265,   45, 1265,   45,   45,   45,   45,   45,   45,   45,
     1265,   45, 1265, 1265,   45,   45, 1265,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45, 1265,   45,   45,
     1265,   45, 1265,   45,   45,   45,   45,   45, 1265,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45, 1265,   45, 1265,   45,   45,   45,   45,   45, 1265,
       45,   45,   45,   45, 1265,   45,   45,   45,   45,   45,
       45,   45, 1265,   45,   45,   45,   45,   45,   45,   45,
       45, 1265,   45,   45,   45,   45, 1265,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45, 1265,   45,

     1265, 1265,   45,   45,   45,   45, 1265,   45, 1265,   45,
       45, 1265,   45,   45,   45,   45, 1265,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45, 1265,   45,
     1265,   45,   45,   45,   45,   45, 1265, 1265, 1265,   45,
       45,   45, 1265,   45,   45,   45,   45,   45,   45,   45,
     1265,   45,   45, 1265,    0, 1265, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265
    } ;

static yyconst flex_uint16_t yy_nxt[1701] =
    {   0,
     1265,   13,   14,   13, 1265,   15,   16, 1265,   17,   18,
       19,   20,   21,   22,   22,   22,   23,   24,   85,  346,
       37,   14,   37,   86,   25,   26,   38, 1265, 1265,   27,
       37,   14,   37,   42,   28,   42,   38,   91,   92,   29,
      115,   30,   13,   14,   13,   90,   91,   25,   31,   92,
       13,   14,   13,   13,   14,   13,   32,   40, 1265,   13,
       14,   13,   33,   40,  115,   91,   92,  347,   90,   34,
       35,   13,   14,   13,   94,   15,   16,   95,   17,   18,
       19,   20,   21,   22,   22,   22,   23,   24,   13,   14,
       13,  108,   39,   90,   25,   26,   13,   14,   13,   27,

       39,   84,   84,   84,   28,   42,   41,   42,   42,   29,
       42,   30,   82,  107,   41,  111,   93,   25,   31,  108,
      130,  137,   88,  799,   88,  800,   32,   89,   89,   89,
      131,  138,   33,  139,  362,   82,  107,  363,  111,   34,
       35,   44,   44,   44,   45,   45,   46,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   47,   45,   48,   49,   50,   51,   45,   52,   53,
       54,   45,   45,   45,   45,   55,   56,   45,   57,   45,
       45,   58,   45,   45,   59,   45,   60,   61,   62,   63,
       64,   65,   66,   52,   67,   68,   69,   70,   71,   72,

       73,   74,   75,   76,   77,   78,   57,   45,   45,   45,
       45,   45,   80,  103,   81,   81,   81,   80,  109,   83,
       83,   83,  101,  114,   80,   82,   83,   83,   83,  121,
       82,  145,  122,  112,  123,  146,  124,   82,  160,  103,
      801,  103,  161,  113,  134,  218,  114,  110,   82,  135,
      188,  107,  136,   82,  189,  147,  112,  102,  219,  802,
       82,   45,  803,   45,   45,   45,   45,  119,   45,   45,
       45,  113,  117,  120,  107,   45,   45,  188,   45,   45,
       89,   89,   89,  190,   45,  132,   45,   45,   45,   45,
       45,   45,   45,   45,   45,   45,   45,   45,   45,   45,

       45,   45,   45,   45,   45,   45,   45,   45,   89,   89,
       89,   45,  125,  101,  111,   45,  126,  804,  174,  127,
      128,  141,  142,   45,  150,  143,  196,   45,  114,   45,
      118,  144,  129,  148,  151,  149,  805,  111,  154,  152,
      153,  155,  156,  162,  174,  175,  163,  112,  102,  196,
      204,  114,  157,  164,  165,  158,  806,  113,  455,  166,
      205,  170,   84,   84,   84,   80,  171,   81,   81,   81,
      112,  175,  167,   82,  176,   88,  168,   88,   82,  174,
       89,   89,   89,  175,   80,  113,   83,   83,   83,   84,
       84,   84,  169,  176,  183,  807,   82,   82,  187,  100,

       82,   82,  176,  192,  194,  177,  100,  228,  193,  178,
      195,  183,  237,  220,  456,  209,  210,  215,  278,  216,
       82,  179,  183,   82,  187,  211,  247,  248,  200,  221,
      280,  192,  194,  238,  100,  193,  217,  195,  100,  201,
      223,  251,  100,  224,  252,  253,  278,  225,  279,  229,
      100,  257,  278,  280,  100,  279,  100,  182,  199,  199,
      199,  438,  439,  808,  280,  199,  199,  199,  199,  199,
      199,  265,  289,  286,  279,  266,  290,  297,  293,  267,
      281,  282,  295,  385,  258,  259,  260,  283,  199,  199,
      199,  199,  199,  199,  337,  261,  286,  262,  286,  263,

      289,  293,  264,  290,  297,  295,  298,  298,  298,  381,
      381,  390,  385,  298,  298,  298,  298,  298,  298,  304,
      385,  300,  387,  388,  393,  305,  402,  809,  812,  813,
      483,  389,  381,  382,  390,  484,  298,  298,  298,  298,
      298,  298,  409,  403,  488,  338,  410,  445,  339,  397,
      488,  423,  393,  396,  396,  396,  424,  446,  629,  814,
      396,  396,  396,  396,  396,  396,  459,  496,  517,  497,
      460,  563,  488,  518,  583,  584,  564,  579,  498,  657,
      667,  666,  585,  396,  396,  396,  396,  396,  396,  658,
      668,  732,  638,  665,  496,  630,  497,  639,  733,  734,

      747,  583,  425,  584,  666,  738,  735,  426,   45,   45,
       45,  739,  810,  815,  816,   45,   45,   45,   45,   45,
       45,  665,  785,  817,  811,  818,  786,  819,  747,  820,
      821,  822,  823,  824,  640,  825,  826,  827,   45,   45,
       45,   45,   45,   45,  828,  829,  830,  831,  832,  833,
      834,  835,  836,  837,  822,  838,  839,  821,  840,  841,
      842,  843,  844,  845,  846,  847,  848,  851,  852,  853,
      854,  849,  855,  856,  857,  858,  859,  860,  861,  862,
      863,  865,  866,  867,  868,  869,  870,  871,  872,  873,
      874,  864,  875,  876,  877,  878,  879,  880,  881,  882,

      883,  884,  885,  886,  887,  888,  889,  890,  891,  893,
      892,  894,  895,  896,  897,  898,  899,  900,  901,  902,
      903,  904,  850,  905,  906,  907,  908,  909,  910,  911,
      912,  913,  914,  915,  916,  917,  891,  892,  918,  920,
      922,  923,  924,  919,  925,  926,  927,  928,  929,  930,
      931,  932,  933,  934,  935,  936,  937,  938,  939,  940,
      941,  942,  943,  944,  945,  946,  947,  948,  949,  950,
      951,  952,  953,  954,  955,  956,  957,  958,  959,  960,
      961,  921,  962,  963,  964,  965,  966,  967,  968,  969,
      970,  971,  972,  973,  974,  975,  976,  977,  978,  957,

      979,  980,  981,  982,  983,  958,  984,  985,  986,  987,
      988,  989,  990,  991,  992,  993,  994,  995,  996,  997,
      998,  999, 1000, 1001, 1002, 1004, 1005, 1006, 1007, 1008,
     1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1018, 1019,
     1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029,
     1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039,
     1040, 1042, 1013, 1043, 1044, 1045, 1046, 1047, 1041, 1048,
     1049, 1050, 1051, 1052, 1053, 1003, 1054, 1055, 1056, 1017,
     1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066,
     1067, 1068, 1069, 1070, 1071, 1072, 1073, 1074, 1075, 1076,

     1077, 1078, 1079, 1080, 1081, 1082, 1083, 1061, 1084, 1085,
     1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095,
     1096, 1097, 1098, 1099, 1100, 1101, 1102, 1103, 1104, 1105,
     1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115,
     1116, 1117, 1118, 1119, 1120, 1121, 1122, 1096, 1123, 1124,
     1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1135,
     1136, 1137, 1138, 1134, 1139, 1140, 1141, 1142, 1143, 1144,
     1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1154,
     1155, 1156, 1129, 1157, 1158, 1159, 1160, 1161, 1162, 1163,
     1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173,

     1174, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182, 1183,
     1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193,
     1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203,
     1204, 1205, 1206, 1207, 1208, 1209, 1210, 1211, 1212, 1213,
     1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223,
     1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233,
     1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243,
     1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253,
     1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263,
     1264,   12,   12,   12,   12,   12,   36,   36,   36,   36,

       36,   79,  285,   79,   79,   79,   98,  384,   98,  487,
       98,  100,  100,  100,  100,  100,  116,  116,  116,  116,
      116,  173,  100,  173,  173,  173,  197,  197,  197,  798,
      797,  796,  795,  794,  793,  792,  791,  790,  789,  788,
      787,  784,  783,  782,  781,  780,  779,  778,  777,  776,
      775,  774,  773,  772,  771,  770,  769,  768,  767,  766,
      765,  764,  763,  762,  761,  760,  759,  758,  757,  756,
      755,  754,  753,  752,  751,  750,  749,  748,  746,  745,
      744,  743,  742,  741,  740,  737,  736,  731,  730,  729,
      728,  727,  726,  725,  724,  723,  722,  721,  720,  719,

      718,  717,  716,  715,  714,  713,  712,  711,  710,  709,
      708,  707,  706,  705,  704,  703,  702,  701,  700,  699,
      698,  697,  696,  695,  694,  693,  692,  691,  690,  689,
      688,  687,  686,  685,  684,  683,  682,  681,  680,  679,
      678,  677,  676,  675,  674,  673,  672,  671,  670,  669,
      664,  663,  662,  661,  660,  659,  656,  655,  654,  653,
      652,  651,  650,  649,  648,  647,  646,  645,  644,  643,
      642,  641,  637,  636,  635,  634,  633,  632,  631,  628,
      627,  626,  625,  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,  591,  590,  589,  588,
      587,  586,  582,  581,  580,  579,  578,  577,  576,  575,
      574,  573,  572,  571,  570,  569,  568,  567,  566,  565,
      562,  561,  560,  559,  558,  557,  556,  555,  554,  553,
      552,  551,  550,  549,  548,  547,  546,  545,  544,  543,
      542,  541,  540,  539,  538,  537,  536,  535,  534,  533,
      532,  531,  530,  529,  528,  527,  526,  525,  524,  523,
      522,  521,  520,  519,  516,  515,  514,  513,  512,  511,
      510,  509,  508,  507,  506,  505,  504,  503,  502,  501,

      500,  499,  495,  494,  493,  492,  491,  490,  489,  486,
      485,  482,  481,  480,  479,  478,  477,  476,  475,  474,
      473,  472,  471,  470,  469,  468,  467,  466,  465,  464,
      463,  462,  461,  458,  457,  454,  453,  452,  451,  450,
      449,  448,  447,  444,  443,  442,  441,  440,  437,  436,
      435,  434,  433,  432,  431,  430,  429,  428,  427,  422,
      421,  420,  419,  418,  417,  416,  415,  414,  413,  412,
      411,  408,  407,  406,  405,  404,  401,  400,  399,  398,
      395,  394,  392,  391,  386,  383,  380,  379,  378,  377,
      376,  375,  374,  373,  372,  371,  370,  369,  368,  367,

      366,  365,  364,  361,  360,  359,  358,  357,  356,  355,
      354,  353,  352,  351,  350,  349,  348,  345,  344,  343,
      342,  341,  340,  336,  335,  334,  333,  332,  331,  330,
      329,  328,  327,  326,  325,  324,  323,  322,  321,  320,
      319,  318,  317,  316,  315,  314,  313,  312,  311,  310,
      309,  308,  307,  306,  303,  302,  301,  299,  198,  296,
      294,  292,  291,  288,  287,  284,  277,  276,  275,  274,
      273,  272,  271,  270,  269,  268,  256,  255,  254,  250,
      249,  246,  245,  244,  243,  242,  241,  240,  239,  236,
      235,  234,  233,  232,  231,  230,  227,  226,  222,  214,

      213,  212,  208,  207,  206,  203,  202,  198,  191,  186,
      185,  184,  181,  180,  172,  159,  140,  133,  106,  105,
      104,   43,   99,   97,   96,   87,   43, 1265,   11, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265, 1265

    } ;

static yyconst flex_int16_t yy_chk[1701] =
    {   0,