/*

 * This is an open source non-commercial project. Dear PVS-Studio, please check it.

 * PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com

 */

#include <config.h>

#line 3 "toke.c"

#define  YY_INT_ALIGNED short int

/* A lexical scanner generated by flex */

#define yy_create_buffer sudoers_create_buffer

#define yy_delete_buffer sudoers_delete_buffer

#define yy_scan_buffer sudoers_scan_buffer

#define yy_scan_string sudoers_scan_string

#define yy_scan_bytes sudoers_scan_bytes

#define yy_init_buffer sudoers_init_buffer

#define yy_flush_buffer sudoers_flush_buffer

#define yy_load_buffer_state sudoers_load_buffer_state

#define yy_switch_to_buffer sudoers_switch_to_buffer

#define yypush_buffer_state sudoerspush_buffer_state

#define yypop_buffer_state sudoerspop_buffer_state

#define yyensure_buffer_stack sudoersensure_buffer_stack

#define yy_flex_debug sudoers_flex_debug

#define yyin sudoersin

#define yyleng sudoersleng

#define yylex sudoerslex

#define yylineno sudoerslineno

#define yyout sudoersout

#define yyrestart sudoersrestart

#define yytext sudoerstext

#define yywrap sudoerswrap

#define yyalloc sudoersalloc

#define yyrealloc sudoersrealloc

#define yyfree sudoersfree

#define FLEX_SCANNER

#define YY_FLEX_MAJOR_VERSION 2

#define YY_FLEX_MINOR_VERSION 6

#define YY_FLEX_SUBMINOR_VERSION 4

#if YY_FLEX_SUBMINOR_VERSION > 0

#define FLEX_BETA

#endif

#ifdef yy_create_buffer

#define sudoers_create_buffer_ALREADY_DEFINED

#else

#define yy_create_buffer sudoers_create_buffer

#endif

#ifdef yy_delete_buffer

#define sudoers_delete_buffer_ALREADY_DEFINED

#else

#define yy_delete_buffer sudoers_delete_buffer

#endif

#ifdef yy_scan_buffer

#define sudoers_scan_buffer_ALREADY_DEFINED

#else

#define yy_scan_buffer sudoers_scan_buffer

#endif

#ifdef yy_scan_string

#define sudoers_scan_string_ALREADY_DEFINED

#else

#define yy_scan_string sudoers_scan_string

#endif

#ifdef yy_scan_bytes

#define sudoers_scan_bytes_ALREADY_DEFINED

#else

#define yy_scan_bytes sudoers_scan_bytes

#endif

#ifdef yy_init_buffer

#define sudoers_init_buffer_ALREADY_DEFINED

#else

#define yy_init_buffer sudoers_init_buffer

#endif

#ifdef yy_flush_buffer

#define sudoers_flush_buffer_ALREADY_DEFINED

#else

#define yy_flush_buffer sudoers_flush_buffer

#endif

#ifdef yy_load_buffer_state

#define sudoers_load_buffer_state_ALREADY_DEFINED

#else

#define yy_load_buffer_state sudoers_load_buffer_state

#endif

#ifdef yy_switch_to_buffer

#define sudoers_switch_to_buffer_ALREADY_DEFINED

#else

#define yy_switch_to_buffer sudoers_switch_to_buffer

#endif

#ifdef yypush_buffer_state

#define sudoerspush_buffer_state_ALREADY_DEFINED

#else

#define yypush_buffer_state sudoerspush_buffer_state

#endif

#ifdef yypop_buffer_state

#define sudoerspop_buffer_state_ALREADY_DEFINED

#else

#define yypop_buffer_state sudoerspop_buffer_state

#endif

#ifdef yyensure_buffer_stack

#define sudoersensure_buffer_stack_ALREADY_DEFINED

#else

#define yyensure_buffer_stack sudoersensure_buffer_stack

#endif

#ifdef yylex

#define sudoerslex_ALREADY_DEFINED

#else

#define yylex sudoerslex

#endif

#ifdef yyrestart

#define sudoersrestart_ALREADY_DEFINED

#else

#define yyrestart sudoersrestart

#endif

#ifdef yylex_init

#define sudoerslex_init_ALREADY_DEFINED

#else

#define yylex_init sudoerslex_init

#endif

#ifdef yylex_init_extra

#define sudoerslex_init_extra_ALREADY_DEFINED

#else

#define yylex_init_extra sudoerslex_init_extra

#endif

#ifdef yylex_destroy

#define sudoerslex_destroy_ALREADY_DEFINED

#else

#define yylex_destroy sudoerslex_destroy

#endif

#ifdef yyget_debug

#define sudoersget_debug_ALREADY_DEFINED

#else

#define yyget_debug sudoersget_debug

#endif

#ifdef yyset_debug

#define sudoersset_debug_ALREADY_DEFINED

#else

#define yyset_debug sudoersset_debug

#endif

#ifdef yyget_extra

#define sudoersget_extra_ALREADY_DEFINED

#else

#define yyget_extra sudoersget_extra

#endif

#ifdef yyset_extra

#define sudoersset_extra_ALREADY_DEFINED

#else

#define yyset_extra sudoersset_extra

#endif

#ifdef yyget_in

#define sudoersget_in_ALREADY_DEFINED

#else

#define yyget_in sudoersget_in

#endif

#ifdef yyset_in

#define sudoersset_in_ALREADY_DEFINED

#else

#define yyset_in sudoersset_in

#endif

#ifdef yyget_out

#define sudoersget_out_ALREADY_DEFINED

#else

#define yyget_out sudoersget_out

#endif

#ifdef yyset_out

#define sudoersset_out_ALREADY_DEFINED

#else

#define yyset_out sudoersset_out

#endif

#ifdef yyget_leng

#define sudoersget_leng_ALREADY_DEFINED

#else

#define yyget_leng sudoersget_leng

#endif

#ifdef yyget_text

#define sudoersget_text_ALREADY_DEFINED

#else

#define yyget_text sudoersget_text

#endif

#ifdef yyget_lineno

#define sudoersget_lineno_ALREADY_DEFINED

#else

#define yyget_lineno sudoersget_lineno

#endif

#ifdef yyset_lineno

#define sudoersset_lineno_ALREADY_DEFINED

#else

#define yyset_lineno sudoersset_lineno

#endif

#ifdef yywrap

#define sudoerswrap_ALREADY_DEFINED

#else

#define yywrap sudoerswrap

#endif

#ifdef yyalloc

#define sudoersalloc_ALREADY_DEFINED

#else

#define yyalloc sudoersalloc

#endif

#ifdef yyrealloc

#define sudoersrealloc_ALREADY_DEFINED

#else

#define yyrealloc sudoersrealloc

#endif

#ifdef yyfree

#define sudoersfree_ALREADY_DEFINED

#else

#define yyfree sudoersfree

#endif

#ifdef yytext

#define sudoerstext_ALREADY_DEFINED

#else

#define yytext sudoerstext

#endif

#ifdef yyleng

#define sudoersleng_ALREADY_DEFINED

#else

#define yyleng sudoersleng

#endif

#ifdef yyin

#define sudoersin_ALREADY_DEFINED

#else

#define yyin sudoersin

#endif

#ifdef yyout

#define sudoersout_ALREADY_DEFINED

#else

#define yyout sudoersout

#endif

#ifdef yy_flex_debug

#define sudoers_flex_debug_ALREADY_DEFINED

#else

#define yy_flex_debug sudoers_flex_debug

#endif

#ifdef yylineno

#define sudoerslineno_ALREADY_DEFINED

#else

#define yylineno sudoerslineno

#endif

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

/* begin standard C headers. */

#include <stdio.h>

#include <string.h>

#include <errno.h>

#include <stdlib.h>

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

#ifndef SIZE_MAX

#define SIZE_MAX               (~(size_t)0)

#endif

#endif /* ! C99 */

#endif /* ! FLEXINT_H */

/* begin standard C++ headers. */

/* TODO: this is always defined, so inline it */

#define yyconst const

#if defined(__GNUC__) && __GNUC__ >= 3

#define yynoreturn __attribute__((__noreturn__))

#else

#define yynoreturn

#endif

/* Returned upon end-of-file. */

#define YY_NULL 0

/* Promotes a possibly negative, possibly signed char to an

 *   integer in range [0..255] for use as an array index.

 */

#define YY_SC_TO_UI(c) ((YY_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

#ifndef YY_TYPEDEF_YY_SIZE_T

#define YY_TYPEDEF_YY_SIZE_T

typedef size_t yy_size_t;

#endif

extern int yyleng;

extern FILE *yyin, *yyout;

#define EOB_ACT_CONTINUE_SCAN 0

#define EOB_ACT_END_OF_FILE 1

#define EOB_ACT_LAST_MATCH 2

    #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 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_STRUCT_YY_BUFFER_STATE

#define YY_STRUCT_YY_BUFFER_STATE

struct yy_buffer_state

  {

  FILE *yy_input_file;

  char *yy_ch_buf;    /* input buffer */

  char *yy_buf_pos;   /* current position in input buffer */

  /* Size of input buffer in bytes, not including room for EOB

   * characters.

   */

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

/* 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. */

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

/* yy_hold_char holds the character lost when yytext is formed. */

static char yy_hold_char;

static int yy_n_chars;    /* number of characters read into yy_ch_buf */

int yyleng;

/* Points to current character in buffer. */

static char *yy_c_buf_p = 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 yywrap()'s to do buffer switches

 * instead of setting up a fresh yyin.  A bit of a hack ...

 */

static int yy_did_buffer_switch_on_eof;

void yyrestart ( FILE *input_file  );

void yy_switch_to_buffer ( YY_BUFFER_STATE new_buffer  );

YY_BUFFER_STATE yy_create_buffer ( FILE *file, int size  );

void yy_delete_buffer ( YY_BUFFER_STATE b  );

void yy_flush_buffer ( YY_BUFFER_STATE b  );

void yypush_buffer_state ( YY_BUFFER_STATE new_buffer  );

void yypop_buffer_state ( void );

static void yyensure_buffer_stack ( void );

static void yy_load_buffer_state ( void );

static void yy_init_buffer ( YY_BUFFER_STATE b, FILE *file  );

#define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER )

YY_BUFFER_STATE yy_scan_buffer ( char *base, yy_size_t size  );

YY_BUFFER_STATE yy_scan_string ( const char *yy_str  );

YY_BUFFER_STATE yy_scan_bytes ( const char *bytes, int len  );

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 sudoerswrap() (/*CONSTCOND*/1)

#define YY_SKIP_YYWRAP

typedef flex_uint8_t YY_CHAR;

FILE *yyin = NULL, *yyout = NULL;

typedef int yy_state_type;

extern int yylineno;

int yylineno = 1;

extern char *yytext;

#ifdef yytext_ptr

#undef yytext_ptr

#endif

#define yytext_ptr yytext

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 ( const char* msg  );

/* Done after the current pattern has been matched and before the

 * corresponding action - sets up yytext.

 */

#define YY_DO_BEFORE_ACTION \

  (yytext_ptr) = yy_bp; \

  yyleng = (int) (yy_cp - yy_bp); \

  (yy_hold_char) = *yy_cp; \

  *yy_cp = '\0'; \

  (yy_c_buf_p) = yy_cp;

#define YY_NUM_RULES 89

#define YY_END_OF_BUFFER 90

/* 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 const flex_int16_t yy_accept[1242] =

    {   0,

        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,

        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,

       90,   75,   85,   84,   88,   83,   74,   87,   46,   78,

       79,   46,   80,   75,   75,   75,   75,   82,   81,   88,

       75,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   88,   75,   75,   75,   85,

       87,   64,   64,   64,   64,   64,    2,   88,    1,   75,

       64,   64,   64,   64,   75,   75,   17,   16,   16,   17,

       16,   16,   88,   21,   21,   19,   19,   21,   19,   20,

       88,   87,   88,    3,    9,    8,    9,    4,    9,    5,

       88,   13,   13,   13,   11,   12,   88,   23,   23,   22,

       22,   22,   23,   22,   22,   22,   22,   23,   23,   23,

       23,   23,   23,   23,   88,   22,   23,   23,   76,   76,

       77,   76,   71,   71,   71,   71,   71,   71,   71,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       88,   71,   71,   71,   75,    0,   85,   84,   83,   87,

       87,    0,    0,   75,   48,    0,   46,    0,   47,    0,

       72,   72,    0,   75,   75,    0,   75,   75,   75,   75,

        0,   51,   75,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   64,    0,   86,   75,   75,   75,    0,   73,    0,

       75,   75,   85,    0,    0,    0,    0,    0,   87,   75,

       75,   75,   75,   75,    2,    1,    0,    1,   65,   65,

        0,   64,   75,    0,   65,    0,   75,   17,   17,   15,

        0,   14,   15,   21,   21,   21,   18,   18,    0,    3,

        9,    0,    6,    7,    9,    9,   13,    0,   13,   13,

        0,   10,    0,   48,    0,    0,   47,   23,   23,    0,

       23,    0,    0,   22,   22,   22,   22,   22,   22,   23,

       23,   64,   23,   23,   23,   23,   23,   23,   23,   23,

       73,    0,   23,   23,   76,   76,   76,   71,    0,   48,

        0,   47,    0,   71,   71,    0,   71,   71,   71,   71,

       71,   71,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   64,   71,   71,   71,   71,    0,   71,   71,

       87,   87,   87,    0,   48,   75,   75,   75,   75,   75,

        0,    0,   51,   51,   75,   64,   53,   64,   64,   57,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       73,   75,   75,   75,    0,    0,    0,    0,    0,   87,

       75,   75,   75,   75,   75,   75,    0,   65,    0,   65,

       75,   75,   10,    0,    0,    0,   22,   22,   22,   23,

       23,   23,   23,   23,   23,   23,   23,   23,   23,   23,

       23,   23,   23,   23,   73,   23,   23,    0,   71,   71,

       71,   71,   71,   64,   53,   64,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   71,

       71,   71,   71,   87,   87,   87,   75,   75,   75,   75,

       75,   75,    0,   52,   52,   52,    0,    0,   51,   51,

       51,   51,   51,   51,   51,   75,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   64,   59,   64,   64,   60,

       75,   75,   75,   75,    0,    0,    0,    0,    0,    0,

       87,   75,   75,   75,   65,   75,    0,    0,    0,    0,

        0,   22,   22,   23,   23,   23,   64,   23,   23,   23,

       23,   23,   23,   23,   23,   23,   23,   23,   23,   23,

       23,   71,   71,   71,   71,   71,   71,   64,   64,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   71,   71,   71,   71,   75,   75,   75,    0,

        0,   52,   52,   52,    0,   51,   51,    0,   51,   51,

       51,   51,   51,   51,   51,   51,   51,   51,   51,   75,

       64,   64,    0,   33,   64,   64,   64,   64,   64,    0,

       42,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   62,   64,   64,   75,   75,   75,   75,   75,    0,

        0,    0,   87,   75,   75,   75,    0,    0,    0,   22,

       22,   23,   23,   64,   64,   23,   23,   23,   23,   23,

       23,   23,   23,   23,   23,   23,   23,   23,   23,   71,

       71,   71,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   71,   71,   71,   71,   71,

       75,   75,   75,   75,   75,    0,   52,    0,   51,   51,

       51,    0,    0,    0,   51,   51,   51,   51,   51,   51,

       51,   51,   51,   51,   51,   51,   51,   75,   64,   58,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   64,   64,   66,   67,   68,

       69,   75,    0,    0,   87,   75,   75,   75,    0,    0,

        0,    0,    0,   23,   23,   64,   64,   23,   23,   23,

       64,   23,   23,   23,   23,   23,   23,   23,   23,   23,

       23,   71,   71,   71,   71,   71,   64,   64,   64,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   66,

       67,   68,   69,   71,   49,   49,   49,    0,    0,   51,

       51,   51,   51,   51,   51,   51,    0,    0,    0,    0,

        0,   51,   51,   51,   51,   51,   51,   51,   51,   51,

       51,   51,   51,   51,   51,   75,   64,    0,   44,   64,

       64,   64,   64,    0,   32,   64,   64,   64,   64,    0,

       43,   64,   64,   64,   64,    0,   31,    0,   36,   54,

       75,    0,    0,   87,   75,   75,   75,   49,   49,   49,

       23,   64,   64,   23,   23,   64,   64,   23,   23,   23,

       49,   49,   49,   64,   64,   64,   64,   64,   64,   64,

       64,   64,   71,   75,   49,   49,   49,   49,    0,   51,

        0,   51,   51,   51,   51,   51,   51,   51,   51,   51,

       51,   51,    0,    0,    0,   51,   51,   51,   51,   51,

       51,   51,   51,   51,   51,   51,   51,   51,   24,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   64,   64,

       56,   64,   70,    0,    0,   87,   75,   28,   65,    0,

       49,   49,   49,   49,   23,   64,   64,   23,   23,   64,

       64,   23,   23,   23,   71,   49,   49,   49,   49,   64,

       64,   64,   64,   64,   64,   64,   64,   64,   70,   50,

       50,   50,   50,   51,    0,    0,    0,   51,   51,   51,

       51,   51,   51,   51,   51,   51,   51,   51,   51,   51,

        0,    0,    0,    0,    0,   51,   51,   51,   51,   51,

       51,   51,   51,   75,   64,   64,   64,   64,   64,    0,

       45,   64,   64,   64,    0,   30,    0,   37,   55,    0,

       28,   26,   87,   29,    0,   75,   50,   50,   50,   50,

       23,   64,   64,   23,   64,   64,   50,   50,   50,   50,

       64,   64,   64,   64,   64,   64,   75,   75,   50,   50,

       50,   50,    0,    0,    0,    0,    0,   51,   51,   51,

       51,   51,   51,   51,   51,   51,   51,   51,   51,   51,

       51,   51,   51,   51,   51,   51,   51,   75,   64,    0,

       34,   63,    0,   40,   64,   64,   64,   64,   29,   26,

       26,   26,   26,   87,   28,    0,    0,    0,    0,    0,

       28,    0,    0,    0,   50,   50,   50,   50,   64,   23,

       64,   64,   71,   71,   50,   50,   50,   50,   64,   64,

       64,   64,   75,   75,   75,    0,    0,    0,   51,   51,

       51,   51,   51,   51,   51,   51,   51,   51,   51,   51,

       51,   51,   51,   51,   51,   51,   25,   64,    0,   38,

       64,   64,   64,   26,   87,    0,   28,    0,    0,    0,

       23,   64,   64,   71,   71,   71,   64,   64,   64,   75,

       75,   75,   75,   75,    0,    0,    0,    0,    0,   51,

       51,   51,   51,   51,   51,   51,   51,   64,    0,   35,

        0,   41,   64,   27,    0,    0,    0,    0,    0,   64,

       71,   71,   71,   71,   71,   64,   75,   75,   75,   51,

       51,   51,   51,   51,   51,   64,    0,   39,   27,   27,

       27,   27,    0,    0,    0,   71,   71,   71,   75,   75,

       75,   75,   75,   51,   51,   51,   51,   51,   64,   27,

        0,    0,    0,    0,    0,   71,   71,   71,   71,   71,

       49,   49,   49,   64,   49,   49,   49,   49,   49,   49,

       49,   49,   49,   61,   49,   49,   49,   49,   49,   49,

        0

    } ;

static const YY_CHAR yy_ec[256] =

    {   0,

        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,

        4,    4,    5,    1,    1,    1,    1,    1,    1,    1,

        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,

        1,    6,    7,    8,    9,   10,   11,    1,    1,   12,

       13,   14,   15,   16,   17,   18,   19,   20,   21,   22,

       23,   24,   25,   26,   27,   28,   29,   30,    1,    1,

       31,   32,   14,   33,   34,   35,   36,   37,   38,   39,

       40,   41,   42,   43,   43,   44,   45,   46,   47,   48,

       43,   49,   50,   51,   52,   53,   54,   55,   56,   43,

       14,   57,   14,   58,   59,    1,   60,   61,   62,   63,

       64,   65,   66,   67,   68,   66,   66,   69,   70,   71,

       72,   66,   66,   73,   74,   75,   76,   66,   66,   66,

       66,   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,    1,    1,    1

    } ;

static const YY_CHAR yy_meta[77] =

    {   0,

        1,    2,    3,    4,    3,    2,    5,    6,    7,    8,

        1,    9,    9,    1,   10,   11,    1,   12,   13,   14,

       14,   14,   14,   14,   14,   14,   14,   14,   14,   15,

       16,    9,    1,   14,   14,   14,   14,   14,   14,   17,

       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,

       17,   17,   17,   17,   17,   17,   18,    1,   19,   20,

       20,   20,   20,   20,   20,   21,   21,   21,   21,   21,

       21,   21,   21,   21,   21,   21

    } ;

static const flex_int16_t yy_base[1366] =

    {   0,

        0,   75,  126,  199,   83,   91,   99,  180,  272,  347,

      422,  478,  131,  147,  535,    0,  189,  219,  611,    0,

     6517, 6458,   76, 9534, 6501, 6471, 9534,  685,  101, 9534,

     9534, 6409, 9534,  199,  697,  238,  143, 6428, 9534, 9534,

       23,  762,   35,  103,   71,  132,  819, 6411,   76, 6422,

     6385,  112, 6373, 6374,   61,  883,  914,  262,  152,  266,

      969,  251,  166, 6339,  122, 6336,  197,  338,  123,  369,

     6350, 6335, 6334, 6344, 1036,  177,    0, 9534, 6364, 6335,

     9534,    0, 1092,    0,  214, 9534, 6338, 6331, 9534, 9534,

      236, 1148,  249,    0, 6280, 9534,  239, 9534,  240, 9534,

      306, 6245,  311,  262, 9534,  320,  172, 1177, 1236, 1281,

      363,  349, 1340, 1391, 6257,   86,  254, 1448, 6231, 6215,

     6227, 6200, 6212, 6207,  294,  422,    0,  173, 6187,  323,

     9534,  397, 6180,  348, 6168,  450, 1496,  444,  373, 1561,

     6135,  272,  388, 1618, 6117, 6113, 6125, 6109, 6121, 6114,

     1682, 1713,  490,  421, 6089,  737,  304, 9534, 6138,  168,

     9534, 6141,  500,  671, 6086,  848,  446,  926, 6085,  971,

      893, 6064, 1769,  984, 1784, 6077, 6088,  939,  994,  887,

     6075,  422,  243, 1849, 1906, 6050, 6034, 6002, 6013, 5988,

     5981, 5972, 5966, 5970, 5967, 1012, 5912, 5905, 5900, 5892,

     5894, 5885,  496, 9534,  376, 1022, 1970,  449, 5868, 1024,

      417,  433, 1033, 5854, 5859, 5849, 5841, 5839,  847,  684,

      683,  418,  434,  673,  935,  318, 1089,  454, 1064, 5850,

     2026, 1086, 2057,  694, 5842, 1078,  707,    0, 5891,  528,

     5894, 9534, 9534,    0,  498, 5862, 9534, 1135, 1134,    0,

     5801, 1184, 9534, 9534, 5792, 1140, 5772, 5820,  860,  682,

     1177,  750, 5822,  943, 1075, 1250, 5767, 2114,    0, 1377,

     2173, 1196, 1196, 2215, 5793, 1250, 1263, 1208, 2266, 2323,

     5759,    0, 5764, 5757, 5732, 5726, 5715, 1451, 5705, 5692,

     9534, 1021, 5670, 5664, 5669,  891,  721, 5667, 1536, 5655,

     1725, 5654, 1756, 1660, 5646, 2387, 1679, 2402, 5670, 1769,

     1804, 1374, 2467, 2524, 5629, 5634, 5619, 5555, 5550, 5541,

     1621, 5532, 5528,  737, 1746, 2588, 5516, 1194,  714,  841,

      431,  856,  944, 1926, 1936, 2628, 2668, 2708, 2746, 5552,

     5529, 2792,  910, 2839,  866, 2904, 2961, 5517, 5503,    0,

     5511, 5489, 5494, 5489, 5436, 5450, 5438, 5445, 5424, 5392,

     5404, 5380, 5375,  259, 5361, 5346, 5360, 5359, 5290, 5288,

     3025, 3081, 1184,  830,   24, 5240, 5230, 5232, 5238, 1042,

      896,  912, 5235,  718,  925,  821, 1979, 9534, 1043, 3137,

     3193,  983,  858, 1993, 2023, 2054, 3231, 5269, 3282, 3339,

     5250, 5241, 5246, 5181, 5195, 5183, 5165, 5154, 5145, 5157,

     5156, 5126, 5102, 5106, 1063, 1036, 5071, 2089, 3387, 3427,

     3467, 3507, 5079, 3553,    0, 5048, 5027, 5031, 5008, 4998,

     4976, 4970, 4935, 4932, 4930, 4929, 4911, 4897, 4883, 3617,

     3673, 1480, 1018, 9534, 1086, 1124, 2113,  160, 3713, 3753,

     1969,  708, 4889, 4884, 2128, 1239, 4880, 4869,  924,  951,

     3793, 2139, 1814, 3840, 2174, 1050, 3905, 1103,  889, 1183,

     1056, 1117, 1308, 1508, 1498, 1342, 1208, 1341, 1062, 1449,

     1114, 1464, 1109, 1343, 1394, 1215, 4857, 1234, 1137, 4849,

     1366, 1008, 1506, 1424, 4818, 4813, 4815, 4786, 4792, 4778,

     1671,   86, 1516, 1240, 1330, 1472, 2187, 4814, 2199, 2237,

     2079, 3962, 4013, 4088, 2006, 2060, 1522, 1716, 2367, 2368,

     1973, 2361, 2374, 2404, 2405, 2444, 2562, 1189, 4798, 4793,

     4742, 2549, 1536, 4136, 4176, 2603, 1450, 4775, 1850, 4757,

     4708, 1628, 2268, 4698, 4691, 4682, 4687, 4676, 4660, 4658,

     4654, 4647, 1636, 1682, 1629, 1483, 4216, 4256, 4296, 4625,

     4624, 2609, 4605, 4584, 4583, 4575,  969, 2641, 1824, 2651,

     2066, 4336,    0, 2592, 4384, 2678, 2688, 4431, 2720, 1494,

     1268, 1728, 2442, 9534, 1681, 1717, 1679, 1720, 1810, 2443,

     9534, 1724, 1698, 1468, 1966, 1729, 1647, 1686, 1954, 1967,

     1821, 4534, 1977, 2041, 1759, 1758, 1980, 1517, 1798, 4489,

     4446, 4424, 2103, 2053, 2054, 1966, 2732, 2768, 2814, 4460,

     4459, 2445, 2877, 4442, 4430, 2880, 2999, 2842, 3000, 3006,

     3012, 2879, 3009, 2882, 4448, 4445, 4440, 4441, 4399, 4479,

     4519, 4559, 4389, 4389, 4371, 4364, 4333, 4324, 4329, 4287,

     4300, 4265, 4274, 4274, 4257, 2037, 2029, 2089, 1916, 1997,

     2694, 2050, 4599, 4639, 3043, 4257, 4242, 4240, 4217, 4677,

     2097, 2869, 3051, 3081, 2159, 2253, 2336, 3094, 2360, 4725,

        0, 3106, 4773, 3134, 3150, 4820, 3158, 2112, 2082, 4202,

     2577, 1827, 2199, 2096, 2216, 3014, 2146, 2326, 2226, 3135,

     1944, 2188, 2334, 2252, 3186, 3187, 2351, 4173, 4135, 4111,

     4098, 2314, 4078, 4077, 2577, 2385, 2358, 2401, 3206, 4111,

     3218, 3253, 3190, 3284, 3387, 4073, 4055, 3388, 3389, 3390,

     2366, 3427, 3428, 3429, 3435, 3436,    0,    0,    0,    0,

     4003, 3480, 2125, 4868, 4908, 3456, 3467, 4008, 3997, 3979,

     3508, 3973, 3869, 2367, 3509, 3863, 3868, 3510, 3517, 3856,

     3854, 3838, 3835, 2498, 4947, 4986, 5025, 3861, 3843, 3821,

     3359, 5065, 3528, 3538, 5111, 3575, 3614, 3808, 3632, 3644,

     3587, 2537, 2572, 2974, 3030, 3670, 3066, 5159,    0, 3688,

     5207, 3699, 3723, 5254, 3731, 2419, 5319, 3759, 9534, 2275,

     2756, 1190, 2412, 3760, 9534, 2403,  667, 2319, 2592, 3761,

     9534, 2406, 2068, 3776, 3758, 3762, 9534, 3794, 9534, 3745,

     2524, 3725, 3675, 2759, 2624, 2585, 2776, 3814, 3861, 3983,

     5381, 3680, 3668, 2549, 2557, 3669, 3649, 2610, 2634, 3625,

     5439, 5478, 5517, 5574, 2752, 3598, 2955, 2691, 1603, 2797,

     2980, 2858, 2977, 4075, 2073, 5632, 5671, 4114, 3614, 3601,

     4152, 2769, 4162, 2989, 5711,    0, 4188, 5724, 4199, 3763,

     5770, 4228, 4240, 4268, 4280, 3021, 3028, 3116, 3269, 4306,

     3442, 5818,    0, 4318, 5866, 4356, 3781, 4406, 3029, 5931,

     2506, 3089, 2994, 3081, 4479, 2787, 3022, 3139, 4519, 4559,

     3563, 2812, 3529, 3525, 3492, 3844, 3147, 3864, 3508, 4366,

     3502, 4491, 4531, 3994, 5993, 3466, 3416, 3842, 1729, 3415,

     3395, 4560, 4561,    0, 4572, 2744, 6051, 6090, 4417, 6147,

     3371, 2428, 4600, 3113, 2962, 3347, 4601, 4602, 3314, 6206,

     6246, 6286, 6326, 3218, 4506, 4615, 4651, 3192, 3189, 3219,

     4661, 3254, 6366,    0, 4699, 6379, 4745, 4120, 6425, 4795,

     4755, 3114, 4842, 4880, 4455, 3147, 3270, 3602, 2759, 3178,

     6473,    0, 4550, 3364, 3535, 4918, 3347, 4921, 3411, 3906,

     9534, 3628, 3412, 3629, 4229, 9534, 4269, 9534, 2995, 2920,

     3765, 3421, 3215, 2813, 4936, 4976, 4932, 4974, 4998, 5037,

     4823, 4726, 2796, 3047, 2772, 2754, 6485, 6525, 6565, 6605,

     4911, 5026, 2728, 3392, 3211, 3435, 5085, 3134, 6645, 6685,

     5016, 3410, 5095, 2706, 5133, 5181, 5145, 2653, 2613, 3633,

     3684, 5227, 3699, 6725,    0, 5276, 6738, 5237, 4625, 6784,

     5451, 5462, 5489, 5500, 3880, 2590, 3321, 2863, 3750, 4728,

     9534, 2411, 4909, 9534, 5528, 3467, 3970, 3793, 9534, 1934,

     4164, 9534, 3367, 4342, 5547, 5660, 5668, 5699, 5540, 5319,

     5707, 5906, 5658, 2403, 5747, 5792, 5193, 2359, 4910, 2196,

     2137, 1988, 5839, 3588, 6832, 6872, 5852, 3751, 5820, 1948,

     1830, 3447, 6912, 6952, 6992, 6063, 6075, 6102, 1787, 1666,

     4075, 4089, 6112, 4177, 7032,    0, 6218, 7045, 6229, 4966,

     6258, 1645, 6269, 6297, 5288, 1558, 1440, 4170, 4916, 9534,

     5546, 5904, 4069, 9534, 4481, 6307, 6336, 6348, 6401, 6447,

     5910, 5066, 1398, 7093, 7133, 7173, 6514, 6525, 1288, 6512,

     3880, 7213, 7253, 6501, 6575, 1183, 6587, 6617, 6413, 1096,

     1034, 4640, 1014,  885, 6629,    0, 4323, 3525, 5068, 9534,

     5821, 9534, 6618, 4689, 6658,  833, 6670, 6697, 6459, 6147,

     6712, 4013, 7293, 7333, 6760, 6784, 7373, 7413, 7453, 6804,

     6842, 6852,  699,    0,  514, 3256, 6148, 9534, 3517, 4825,

     9534, 3623, 6884, 6896, 6924, 7493, 7533, 7573, 6934, 4073,

     7613, 7653, 6965, 9534, 6972, 7003, 5698, 9534, 2225, 9534,

     7013,  471, 7067, 7105, 6539, 7115, 4074, 7693, 7733, 7146,

     7153, 7191, 7229, 3226, 7239, 7267, 7277, 7306, 7316, 7354,

      404, 7392, 7164,  316, 9534, 7430, 5757,  179, 7440, 7346,

     9534, 7790, 7811, 7832, 7853, 7874, 7895, 7916, 7937, 7958,

     7979, 8000, 4595, 8021, 8042, 8063, 8084, 8105, 8126, 3974,

     8147, 8168, 8189, 8210, 8231, 8252, 8273, 8294, 8315, 8336,

     8357, 8378, 8399, 8420, 8441, 8462, 8483, 8504, 8525, 8546,

     4711, 4858, 8555, 8575, 8596, 8617, 8638, 8659, 8680, 8701,

     8722, 4195, 8743, 8764, 8785, 8806, 8818, 8839, 5061, 8860,

     8881, 8902, 8923, 8944, 8965, 8986, 9007, 9028, 9049, 5015,

     9058, 9078, 9099, 9120, 9141, 5557, 5566, 5900, 9150, 9158,

     9178, 9199, 5062, 6245, 6285, 6325, 9208, 9217, 6365, 6552,

     6559, 9225, 9234, 6773, 6777, 9242, 9251, 9271, 5308, 9283,

     9304, 6822, 9314, 9322, 9331, 9351, 6561, 9363, 9384, 6868,

     9394, 9402, 9411, 9431, 9452, 9473, 6871, 9483, 5651, 6951,

     9492, 6988, 5690, 9512, 3664

    } ;

static const flex_int16_t yy_def[1366] =

    {   0,

     1241,    1,    1,    1, 1242, 1242, 1243, 1243, 1244, 1244,

     1245, 1245, 1246, 1246, 1241,   15, 1247, 1247, 1241,   19,

     1241, 1248, 1241, 1241, 1241, 1241, 1241, 1249, 1250, 1241,

     1241, 1251, 1241, 1252, 1248,   35,   35, 1253, 1241, 1241,

     1248, 1241,   42,   42,   42,   42,   42,   47,   47,   47,

       47,   47,   47,   47,   47, 1248, 1254,   35, 1248, 1241,

     1249,   42,   42,   47,   47,   47, 1241, 1241, 1241, 1255,

       42,   47,   47,   47, 1256, 1248, 1257, 1241, 1241, 1257,

     1241, 1257, 1241, 1258, 1258, 1241, 1241, 1258, 1241, 1241,

     1259, 1249, 1241, 1260, 1261, 1241, 1261, 1241, 1261, 1241,

     1262, 1263, 1263, 1263, 1241, 1241, 1264, 1265, 1266, 1241,

      110,  110,  110, 1241,  114,  114,  114,  114,  118,  118,

      118,  118,  118,  118, 1267,  110,  113,  113, 1268, 1268,

     1241, 1268, 1269, 1270, 1271, 1272, 1269,  137,  137, 1241,

      140,  140,  140,  140,  144,  144,  144,  144,  144,  144,

     1269, 1273,  137, 1269, 1274, 1274, 1241, 1241, 1241, 1275,

     1241, 1241, 1276, 1241, 1277, 1241, 1264, 1277, 1278, 1278,

     1279, 1280, 1274, 1274, 1274, 1281,  175,  175,  175,  175,

     1282, 1283, 1274, 1241,  184,  185,  185,  185,  185,  185,

      185,  185,  185,  185,  185,  185,  185,  185,  185,  185,

      185,  185, 1241, 1241, 1274, 1274, 1284, 1285, 1274, 1284,

     1274, 1274, 1241, 1241, 1241, 1241, 1241, 1241, 1275, 1274,

      175, 1274, 1274, 1274, 1241, 1241, 1241, 1241, 1286, 1287,

     1274,  185, 1288, 1289, 1274, 1288, 1274, 1290, 1290, 1241,

     1241, 1241, 1241, 1291, 1291, 1291, 1241, 1241, 1276, 1292,

     1293, 1293, 1241, 1241, 1293, 1293, 1294, 1241, 1294, 1294,

     1241, 1241, 1241, 1264, 1264, 1264, 1295, 1296, 1297, 1295,

     1298, 1241, 1241, 1297,  274,  274,  274,  274, 1241,  279,

      280, 1299,  280,  280,  280,  280,  280,  280,  280,  280,

     1241, 1285, 1297, 1297, 1300, 1300, 1300, 1301, 1301, 1302,

     1302, 1303, 1303, 1304, 1305, 1301, 1301, 1301,  308,  308,

      308,  308, 1241,  313,  314,  314,  314,  314,  314,  314,

      314,  314,  314, 1301, 1301, 1306, 1301, 1306, 1301, 1301,

     1307, 1307, 1308, 1241, 1241, 1309, 1309, 1309, 1309,  339,

     1310, 1241, 1311, 1241, 1309, 1241,  346,  347,  347,  347,

      347,  347,  347,  347,  347,  347,  347,  347,  347,  347,

      347,  347,  347,  347,  347,  347,  347,  347,  347,  347,

     1312, 1312, 1309, 1309, 1241, 1241, 1241, 1241, 1241, 1307,

     1309, 1309,  339, 1309, 1309, 1309, 1241, 1241, 1313, 1314,

     1314, 1309, 1241, 1241, 1241, 1241, 1297,  397, 1241,  399,

      400,  400,  400,  400,  400,  400,  400,  400,  400,  400,

      400,  400,  400,  400, 1315, 1297, 1297, 1241, 1301, 1301,

     1301,  308,  422,  313,  314,  314,  314,  314,  314,  314,

      314,  314,  314,  314,  314,  314,  314,  314,  314, 1306,

     1306, 1301, 1301, 1241, 1308, 1308, 1309, 1309, 1309, 1309,

     1309, 1309, 1316, 1317, 1317,  455, 1318, 1317, 1319, 1320,

     1241,  461,  461, 1241,  461, 1309, 1241,  467,  467,  467,

      467,  467,  467,  467,  467,  467,  467,  467,  467,  467,

      467,  467,  467,  467,  467,  467,  467,  467,  467,  467,

     1309, 1309, 1309, 1309, 1241, 1241, 1241, 1241, 1241, 1241,

     1321, 1309, 1309, 1309, 1322, 1309, 1241, 1241, 1241, 1241,

     1241, 1297, 1241,  513,  514,  514, 1323,  514,  514,  514,

      514,  514,  514,  514,  514,  514,  514, 1297, 1297, 1297,

     1297, 1301, 1301, 1301, 1301, 1301, 1301,  314,  314,  314,

      314,  314,  314,  314,  314,  314,  314,  314,  314,  314,

      314,  314, 1301, 1301, 1301, 1301, 1309, 1309, 1309, 1241,

     1324, 1324,  562, 1324, 1325, 1326, 1327, 1241, 1328,  464,

     1328, 1241,  572, 1328, 1241,  575,  575, 1241,  575, 1309,

      467,  467, 1241, 1241,  467,  467,  467,  467,  467, 1241,

     1241,  467,  467,  467,  467,  467,  467,  467,  467,  467,

      467,  467,  467,  467, 1309, 1309, 1309, 1309, 1309, 1241,

     1241, 1241, 1321, 1309, 1309, 1309, 1241, 1241, 1241,  512,

      513,  514,  514, 1323, 1323,  514,  514,  514,  514,  514,

      514,  514,  514,  514, 1297, 1297, 1297, 1297, 1297, 1301,

     1301, 1301,  314,  314,  314,  314,  314,  314,  314,  314,

      314,  314,  314,  314,  314, 1301, 1301, 1301, 1301, 1301,

     1309, 1309, 1309, 1309, 1309, 1329, 1329, 1330, 1331, 1241,

     1241, 1241, 1241, 1241, 1332, 1332, 1333,  578, 1333, 1241,

      680, 1333, 1241,  683,  683, 1241,  683, 1309,  467,  467,

      467,  467,  467,  467,  467,  467,  467,  467,  467,  467,

      467,  467,  467,  467,  467,  467,  467, 1309, 1309, 1309,

     1309, 1309, 1241, 1241, 1321, 1309, 1309, 1309, 1241, 1241,

     1241, 1241, 1241,  514,  514, 1323, 1323,  514,  514,  514,

     1323,  514,  514,  514,  514,  514, 1297, 1297, 1297, 1297,

     1297, 1301, 1301, 1301, 1301, 1301,  314,  314,  314,  314,

      314,  314,  314,  314,  314,  314,  314,  314,  314, 1301,

     1301, 1301, 1301, 1301, 1309, 1309, 1309, 1241, 1334, 1335,

      670, 1241,  772,  772, 1241,  772, 1241, 1241, 1241, 1241,

     1241, 1241, 1336, 1336, 1337,  686, 1337, 1241,  788, 1337,

     1241,  791,  791, 1241,  791, 1309, 1241, 1241, 1241,  797,

      797,  797,  797, 1241, 1241,  797,  797,  797,  797, 1241,

     1241,  797,  797,  797,  797, 1241, 1241, 1241, 1241,  797,

     1309, 1241, 1241, 1338, 1309, 1309, 1309, 1241, 1241, 1241,

     1241, 1339, 1339,  831,  831, 1339, 1339,  831,  831, 1340,

     1341, 1341, 1341, 1241,  844,  844,  844,  844,  844,  844,

      844,  844, 1341, 1309, 1309, 1309, 1309, 1309, 1241, 1342,

     1241, 1343,  775, 1343, 1343,  865, 1343, 1241,  868,  868,

     1241,  868, 1241, 1241, 1241, 1241, 1344, 1344, 1345,  794,

     1345, 1241,  882, 1345, 1241,  885,  885,  885, 1309, 1241,

      890,  890,  890,  890,  890,  890,  890,  890,  890,  890,

      890,  890, 1309, 1241, 1241, 1346, 1309, 1309, 1309, 1241,

     1241, 1241, 1241, 1241, 1241, 1347, 1347,  915,  915, 1347,

     1347,  915,  915, 1348, 1349, 1349, 1349, 1349, 1349, 1241,

      930,  930,  930,  930,  930,  930,  930,  930, 1349, 1309,

     1309, 1309, 1309, 1241, 1241, 1241, 1241, 1350, 1350, 1351,

      871, 1351, 1351,  953, 1351, 1241,  956,  956, 1241,  956,

     1241, 1241, 1241, 1241, 1241, 1241, 1352, 1352, 1353, 1353,

     1353,  971, 1353, 1309,  890,  890,  890,  890,  890, 1241,

     1241,  890,  890,  890, 1241, 1241, 1241, 1241,  890, 1241,

     1241, 1354, 1346, 1309, 1355, 1356, 1241, 1241, 1241, 1241,

      915, 1347, 1347,  915, 1347, 1347, 1349, 1349, 1349, 1349,

      930,  930,  930,  930,  930,  930, 1309, 1309, 1309, 1309,

     1309, 1309, 1241, 1241, 1241, 1241, 1241, 1241, 1357, 1357,

     1358,  959, 1358, 1358, 1034, 1358, 1241, 1037, 1037, 1241,

     1037, 1241, 1241, 1241, 1241, 1359, 1359, 1309,  890, 1241,

     1241,  890, 1241, 1241,  890,  890,  890,  890, 1241, 1354,

     1354, 1241, 1354, 1346, 1355, 1355, 1355, 1355, 1241, 1355,

     1356, 1356, 1241, 1241, 1241, 1241, 1241, 1241, 1347,  915,

     1347, 1347, 1349, 1349, 1349, 1349, 1349, 1349,  930,  930,

      930,  930, 1309, 1309, 1309, 1241, 1241, 1241, 1241, 1360,

     1360, 1361, 1040, 1361, 1361, 1105, 1361, 1241, 1108, 1108,

     1108, 1241, 1241, 1241, 1241, 1241, 1309,  890, 1241, 1241,

      890,  890,  890, 1241, 1346, 1241, 1241, 1241, 1241, 1241,

      915, 1347, 1347, 1349, 1349, 1349,  930,  930,  930, 1309,

     1309, 1309, 1309, 1309, 1241, 1241, 1241, 1241, 1241, 1241,

     1362, 1362, 1363, 1363, 1363, 1155, 1155,  890, 1241, 1241,

     1241, 1241,  890, 1364, 1241, 1241, 1241, 1241, 1241, 1347,

     1349, 1349, 1349, 1349, 1349,  930, 1309, 1309, 1309, 1241,

     1241, 1241, 1241, 1365, 1365,  890, 1241, 1241, 1364, 1364,

     1241, 1364, 1241, 1241, 1241, 1349, 1349, 1349, 1309, 1309,

     1309, 1309, 1309, 1241, 1241, 1241, 1241, 1241,  890, 1241,

     1241, 1241, 1241, 1241, 1241, 1349, 1349, 1349, 1349, 1349,

     1309, 1309, 1309,  890, 1241, 1241, 1241, 1349, 1349, 1349,

     1309, 1309, 1309,  890, 1241, 1241, 1241, 1349, 1349, 1349,

        0, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1241, 1241, 1241, 1241, 1241

    } ;

static const flex_int16_t yy_nxt[9611] =

    {   0,

       22,   23,   24,   22,   25,   23,   26,   27,   28,   22,

       29,   30,   31,   22,   32,   33,   22,   22,   34,   35,