#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[1244] =

    {   0,

        0,    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[1368] =

    {   0,

        0,   75,  126,  199,   83,   91,   99,  162,  180,  204,

      272,  347,  422,  478,  131,  147,  535,    0,  219,  260,

      611,    0, 6367, 6285,   76, 9534, 6337, 6332, 9534,  685,

      101, 9534, 9534, 6260, 9534,  294,  697,  262,  174, 6272,

     9534, 9534,   23,  762,   35,  103,  186,  132,  819, 6255,

       76, 6253, 6239,   92, 6238, 6246,   53,  883,  914,  337,

      179,  399,  969,  251,  194, 6205,   70, 6191,  238,  350,

      210,  434, 6214, 6214, 6213, 6215, 1036,  236,    0, 9534,

     6234, 6218, 9534,    0, 1092,    0,  247, 9534, 6176, 6156,

     9534, 9534,  308, 1148,  313,    0, 6103, 9534,  160, 9534,

      171, 9534,  322, 6102,  386,  174, 9534,  378,  425, 1177,

     1236, 1281,  436,  373, 1340, 1391, 6112,  215,  119, 1448,

     6109, 6098, 6109, 6060, 6060, 6044,  163,  449,    0,  184,

     6024,  265, 9534,  397, 5994,  459, 5993,  684, 1496,  476,

      490, 1561, 5982,  225,  250, 1618, 5979, 5976, 5977, 5963,

     5975, 5925, 1682, 1713,  499,  671, 5890,  737,  250, 9534,

     5937,  293, 9534, 5940,  848,  880, 5883,  911,  721,  945,

     5882,  994,  952, 5879, 1769,  993, 1784, 5895, 5889, 1007,

     1033,  509, 5867,  290,  311, 1849, 1906, 5852, 5829, 5827,

     5836, 5821, 5805, 5777, 5780, 5784, 5778, 1031, 5753, 5760,

     5757, 5732, 5730, 5720,  698, 9534,  387, 1081, 1970,  375,

     5710, 1100,  392,   62, 1083, 5695, 5700, 5684, 5679, 5669,

      847,  854,  427,   46,  699,  266,  964,  298, 1119,  385,

      955, 5659, 2026, 1116, 2057,  683, 5658, 1102,  632,    0,

     5706,  859, 5709, 9534, 9534,    0,  692, 5704, 9534,  976,

     1176,    0, 5646, 1207, 9534, 9534, 5631, 1123, 5615, 5655,

      891,  853, 1111,  746, 5580, 1106, 1122, 1250, 5525, 2114,

        0, 1377, 2173, 1536, 1204, 2215, 5563, 1250, 1263, 1197,

     2266, 2323, 5536,    0, 5535, 5526, 5518, 5494, 5491, 1451,

     5482, 5480, 9534, 1031, 5449, 5432, 5382,  892,  912, 5381,

     1725, 5357, 1756, 5356, 1824, 1536, 5354, 2387, 1643, 2402,

     5381, 1681, 1769, 1374, 2467, 2524, 5354, 5359, 5284, 5275,

     5267, 5253, 1908, 5236, 5234,  736, 1671, 2588, 5227, 1952,

      714,  866,  485,  503,  938, 1967, 1990, 2628, 2668, 2708,

     2746, 5247, 5232, 2792,  488, 2839,  885, 2904, 2961, 5226,

     5201,    0, 5204, 5195, 5180, 5175, 5141, 5148, 5136, 5121,

     5106, 5104, 5090, 5089, 5084,  730, 5071, 5060, 5068, 5060,

     5059, 5058, 3025, 3081, 1480,  794,  666, 5019, 5007, 5009,

     5005, 1075,  926,  948, 4997,   86, 1014,  931, 2020, 9534,

     1035, 3137, 3193,  951, 1045, 2054, 2072, 2084, 3231, 5012,

     3282, 3339, 4993, 4984, 4986, 4958, 4956, 4931, 4932, 4932,

     4917, 4929, 4928, 4901, 4872, 4883, 1157, 1160, 4848, 2120,

     3387, 3427, 3467, 3507, 4881, 3553,    0, 4851, 4835, 4840,

     4809, 4817, 4798, 4805, 4805, 4759, 4770, 4732, 4720, 4706,

     4680, 3617, 3673, 1636, 1046, 9534, 1060, 1181, 2132,  737,

     3713, 3753, 2119, 1034, 4680, 4679, 2172, 1239, 4678, 4665,

     1222, 1361, 3793, 2187, 1726, 3840, 2199, 1064, 3905,  829,

      403, 1498,  926, 1047, 1160, 1499, 1534, 1343, 1162, 1308,

      199, 1209,  339, 1341, 1449, 1468, 1394, 1215, 4645, 1234,

     1267, 4640, 1105, 1535, 1366, 1490, 4599, 4592, 4594, 4578,

     4582, 4542, 1755, 1155, 1697, 1423, 1517, 1513, 2235, 4586,

     2345, 2384, 2023, 3962, 4013, 4088, 1973, 1832, 1508, 2019,

     2132, 2562, 2563, 2440, 2569, 2449, 2572, 2575, 2601, 1469,

     4547, 4553, 4500, 2612, 1642, 4136, 4176, 2357, 1283, 4533,

     2173, 4515, 4486, 1650, 2268, 4496, 4489, 4473, 4483, 4480,

     4463, 4460, 4455, 4452, 1758, 1683, 1494, 1660, 4216, 4256,

     4296, 4460, 4456, 2638, 4443, 4434, 4433, 4387, 1656, 2650,

     1798, 2678, 1919, 4336,    0, 2690, 4384, 2718, 2143, 4431,

     2730, 1659, 1722, 1688, 2442, 9534, 1712, 1723, 1042, 1342,

     1104, 2443, 9534, 1821, 1163, 1797, 1925, 1692, 1909, 1935,

     1930, 1813, 1828, 4386, 1773, 1809, 1940, 1948, 1980, 1941,

     1967, 4381, 4319, 4313, 2057, 1983, 1997, 1998, 2768, 2814,

     2861, 4356, 4355, 2842, 3000, 4338, 4317, 3009, 2999, 3010,

     3012, 3048, 3045, 3047, 3066, 3056, 4344, 4341, 4326, 4305,

     4252, 4479, 4519, 4559, 4258, 4275, 4264, 4235, 4236, 4226,

     4230, 4176, 4188, 4181, 4157, 4155, 4138, 2029, 2059, 2060,

     2046, 2064, 3094, 2073, 4599, 4639, 3106, 4160, 4138, 4136,

     4110, 4677, 2116, 3152, 3164, 3190, 2199, 2253, 2439, 3206,

     2537, 4725,    0, 3136, 4773, 3216, 3112, 4820, 3253, 2125,

     1795, 4109, 2905, 1969, 2216, 2218, 1955, 3068, 2237, 2367,

     2405, 3074, 2269, 2404, 2326, 2368, 3284, 3387, 2118, 4064,

     4063, 4049, 4014, 2333, 4001, 3977, 2567, 2386, 2399, 2523,

     3359, 4027, 3400, 3412, 3439, 3389, 3440, 3982, 3978, 3467,

     3469, 3470, 1737, 3475, 3496, 3477, 3480, 3507,    0,    0,

        0,    0, 3953, 3536, 2216, 4868, 4908, 3577, 3509, 3982,

     3889, 3867, 3601, 3870, 3858, 2566, 3602, 3838, 3835, 3620,

     3633, 3794, 3789, 3768, 3752, 2553, 4947, 4986, 5025, 3772,

     3771, 3742, 3631, 5065, 3644, 3620, 5111, 3670, 3686, 3726,

     3698, 3725, 3737, 2596, 2597, 2876, 2879, 3763, 2974, 5159,

        0, 3775, 5207, 3813, 3743, 5254, 3862, 2396, 5319, 3726,

     9534, 1601, 2434, 1899, 2071, 3841, 9534, 2563, 2233, 2527,

     2530, 3842, 9534, 2384, 1520, 3653, 3638, 3843, 9534, 3891,

     9534, 3597, 2567, 3518, 3478, 2713, 2565, 2509, 2703, 3983,

     4076, 4109, 5381, 3486, 3474, 2633, 2561, 3475, 3466, 2750,

     2669, 3392, 5439, 5478, 5517, 5574, 2632, 3418, 2673, 2713,

     2716, 2671, 2843, 2751, 2748, 4149, 2625, 5632, 5671, 4122,

     3367, 3366, 4160, 2815, 4187, 2989, 5711,    0, 4199, 5724,

     4226, 3993, 5770, 4238, 4268, 4280, 4308, 2990, 2998, 3122,

     3269, 4318, 3536, 5818,    0, 4358, 5866, 4404, 4369, 4453,

     2853, 5931, 2861, 2993, 3008, 2951, 4508, 2209, 3025, 3010,

     4519, 4559, 3256, 2317, 3241, 3161, 3133, 3546, 3007, 4455,

     3141, 4414, 3123, 4531, 4571, 4507, 5993, 3055, 3049, 4599,

     3028, 3017, 2962, 4600, 4601,    0, 4612, 2744, 6051, 6090,

     4589, 6147, 2957, 2773, 4641, 3145, 2798, 2943, 4642, 4643,

     2879, 6206, 6246, 6286, 6326, 2887, 4656, 4699, 4747, 2883,

     3254, 3376, 4793, 3413, 6366,    0, 4842, 6379, 4803, 4495,

     6425, 4880, 4890, 2829, 4920, 4932, 4548, 3080, 3270, 3566,

     2832, 2852, 6473,    0, 4711, 3444, 3455, 4921, 3112, 4996,

     3049, 3906, 9534, 3458, 3145, 3535, 4269, 9534, 4775, 9534,

     2720, 2650, 4750, 3801, 3217, 2626, 4867, 4975, 4967, 5013,

     5038, 5050, 5112, 4995, 2592, 3012, 2576, 2509, 6485, 6525,

     6565, 6605, 5113, 5114, 2447, 3054, 2841, 3198, 5133, 3089,

     6645, 6685, 5181, 3107, 5187, 2457, 5229, 5276, 4998, 2431,

     2361, 3450, 3490, 5449, 3699, 6725,    0, 5087, 6738, 5459,

     4666, 6784, 5490, 5501, 5528, 5539, 3591, 2335, 3229, 3401,

     2985, 4997, 9534, 2265, 5257, 9534, 5671, 3339, 3561, 3488,

     9534, 2797, 3893, 9534, 3259, 3821, 5660, 5700, 5712, 5764,

     5658, 5319, 5772, 5574, 5790, 2160, 5840, 5888, 5288, 2131,

     5820, 2072, 2020, 1828, 6063, 3447, 6832, 6872, 6075, 3619,

     5821, 1645, 1600, 3288, 6912, 6952, 6992, 6113, 6218, 6230,

     1509, 1477, 4001, 4089, 6101, 4137, 7032,    0, 6258, 7045,

     6269, 5469, 6298, 1462, 6309, 6337, 5899, 1430, 1282, 4171,

     5868, 9534, 6339, 6474, 3577, 9534, 3908, 6350, 6399, 6497,

     6537, 6549, 6427, 5869, 1247, 7093, 7133, 7173, 6428, 6594,

     1191, 6581, 3620, 7213, 7253, 6593, 6445, 1082, 6631, 6657,

     6514, 1009,  925, 4239,  894,  869, 6669,    0, 4199, 3224,

     5931, 9534, 5932, 9534, 6538, 4346, 6695,  757, 6707, 6760,

     6619, 6147, 6805, 3643, 7293, 7333, 6817, 6861, 7373, 7413,

     7453, 6855, 6882, 6893,  669,    0,  408, 3106, 6148, 9534,

     3367, 5164, 9534, 3847, 6924, 6936, 6964, 7493, 7533, 7573,

     6974, 3644, 7613, 7653, 7018, 9534, 7065, 7075, 5702, 9534,

     1964, 9534, 7103,  290, 7115, 7145, 6772, 7155, 3751, 7693,

     7733, 7186, 7193, 7231, 7269, 3333, 7279, 7307, 7317, 7346,

     7356, 7394,  214, 7432, 7204,  144, 9534, 7470, 6081,   30,

     7480, 7386, 9534, 7790, 7811, 7832, 7853, 7874, 7895, 7916,

     7937, 7958, 7979, 8000, 3591, 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, 4469, 4764, 8555, 8575, 8596, 8617, 8638, 8659,

     8680, 8701, 8722, 4072, 8743, 8764, 8785, 8806, 8818, 8839,

     5247, 8860, 8881, 8902, 8923, 8944, 8965, 8986, 9007, 9028,

     9049, 5557, 9058, 9078, 9099, 9120, 9141, 5650, 5690, 5762,

     9150, 9158, 9178, 9199, 5308, 6285, 6417, 6724, 9208, 9217,

     6850, 6911, 6991, 9225, 9234, 7008, 7010, 9242, 9251, 9271,

     5657, 9283, 9304, 7012, 9314, 9322, 9331, 9351, 6852, 9363,

     9384, 7031, 9394, 9402, 9411, 9431, 9452, 9473, 7132, 9483,

     4857, 7172, 9492, 7248, 6132, 9512, 3664

    } ;

static const flex_int16_t yy_def[1368] =

    {   0,

     1243,    1,    1,    1, 1244, 1244, 1244, 1244, 1245, 1245,

     1246, 1246, 1247, 1247, 1248, 1248, 1243,   17, 1249, 1249,

     1243,   21, 1243, 1250, 1243, 1243, 1243, 1243, 1243, 1251,

     1252, 1243, 1243, 1253, 1243, 1254, 1250,   37,   37, 1255,

     1243, 1243, 1250, 1243,   44,   44,   44,   44,   44,   49,

       49,   49,   49,   49,   49,   49,   49, 1250, 1256,   37,

     1250, 1243, 1251,   44,   44,   49,   49,   49, 1243, 1243,

     1243, 1257,   44,   49,   49,   49, 1258, 1250, 1259, 1243,

     1243, 1259, 1243, 1259, 1243, 1260, 1260, 1243, 1243, 1260,

     1243, 1243, 1261, 1251, 1243, 1262, 1263, 1243, 1263, 1243,

     1263, 1243, 1264, 1265, 1265, 1265, 1243, 1243, 1266, 1267,

     1268, 1243,  112,  112,  112, 1243,  116,  116,  116,  116,

      120,  120,  120,  120,  120,  120, 1269,  112,  115,  115,

     1270, 1270, 1243, 1270, 1271, 1272, 1273, 1274, 1271,  139,

      139, 1243,  142,  142,  142,  142,  146,  146,  146,  146,

      146,  146, 1271, 1275,  139, 1271, 1276, 1276, 1243, 1243,

     1243, 1277, 1243, 1243, 1278, 1243, 1279, 1243, 1266, 1279,

     1280, 1280, 1281, 1282, 1276, 1276, 1276, 1283,  177,  177,

      177,  177, 1284, 1285, 1276, 1243,  186,  187,  187,  187,

      187,  187,  187,  187,  187,  187,  187,  187,  187,  187,

      187,  187,  187,  187, 1243, 1243, 1276, 1276, 1286, 1287,

     1276, 1286, 1276, 1276, 1243, 1243, 1243, 1243, 1243, 1243,

     1277, 1276,  177, 1276, 1276, 1276, 1243, 1243, 1243, 1243,

     1288, 1289, 1276,  187, 1290, 1291, 1276, 1290, 1276, 1292,

     1292, 1243, 1243, 1243, 1243, 1293, 1293, 1293, 1243, 1243,

     1278, 1294, 1295, 1295, 1243, 1243, 1295, 1295, 1296, 1243,

     1296, 1296, 1243, 1243, 1243, 1266, 1266, 1266, 1297, 1298,

     1299, 1297, 1300, 1243, 1243, 1299,  276,  276,  276,  276,

     1243,  281,  282, 1301,  282,  282,  282,  282,  282,  282,

      282,  282, 1243, 1287, 1299, 1299, 1302, 1302, 1302, 1303,

     1303, 1304, 1304, 1305, 1305, 1306, 1307, 1303, 1303, 1303,

      310,  310,  310,  310, 1243,  315,  316,  316,  316,  316,

      316,  316,  316,  316,  316, 1303, 1303, 1308, 1303, 1308,

     1303, 1303, 1309, 1309, 1310, 1243, 1243, 1311, 1311, 1311,

     1311,  341, 1312, 1243, 1313, 1243, 1311, 1243,  348,  349,

      349,  349,  349,  349,  349,  349,  349,  349,  349,  349,

      349,  349,  349,  349,  349,  349,  349,  349,  349,  349,

      349,  349, 1314, 1314, 1311, 1311, 1243, 1243, 1243, 1243,

     1243, 1309, 1311, 1311,  341, 1311, 1311, 1311, 1243, 1243,

     1315, 1316, 1316, 1311, 1243, 1243, 1243, 1243, 1299,  399,

     1243,  401,  402,  402,  402,  402,  402,  402,  402,  402,

      402,  402,  402,  402,  402,  402, 1317, 1299, 1299, 1243,

     1303, 1303, 1303,  310,  424,  315,  316,  316,  316,  316,

      316,  316,  316,  316,  316,  316,  316,  316,  316,  316,

      316, 1308, 1308, 1303, 1303, 1243, 1310, 1310, 1311, 1311,

     1311, 1311, 1311, 1311, 1318, 1319, 1319,  457, 1320, 1319,

     1321, 1322, 1243,  463,  463, 1243,  463, 1311, 1243,  469,

      469,  469,  469,  469,  469,  469,  469,  469,  469,  469,

      469,  469,  469,  469,  469,  469,  469,  469,  469,  469,

      469,  469, 1311, 1311, 1311, 1311, 1243, 1243, 1243, 1243,

     1243, 1243, 1323, 1311, 1311, 1311, 1324, 1311, 1243, 1243,

     1243, 1243, 1243, 1299, 1243,  515,  516,  516, 1325,  516,

      516,  516,  516,  516,  516,  516,  516,  516,  516, 1299,

     1299, 1299, 1299, 1303, 1303, 1303, 1303, 1303, 1303,  316,

      316,  316,  316,  316,  316,  316,  316,  316,  316,  316,

      316,  316,  316,  316, 1303, 1303, 1303, 1303, 1311, 1311,

     1311, 1243, 1326, 1326,  564, 1326, 1327, 1328, 1329, 1243,

     1330,  466, 1330, 1243,  574, 1330, 1243,  577,  577, 1243,

      577, 1311,  469,  469, 1243, 1243,  469,  469,  469,  469,

      469, 1243, 1243,  469,  469,  469,  469,  469,  469,  469,

      469,  469,  469,  469,  469,  469, 1311, 1311, 1311, 1311,

     1311, 1243, 1243, 1243, 1323, 1311, 1311, 1311, 1243, 1243,

     1243,  514,  515,  516,  516, 1325, 1325,  516,  516,  516,

      516,  516,  516,  516,  516,  516, 1299, 1299, 1299, 1299,

     1299, 1303, 1303, 1303,  316,  316,  316,  316,  316,  316,

      316,  316,  316,  316,  316,  316,  316, 1303, 1303, 1303,

     1303, 1303, 1311, 1311, 1311, 1311, 1311, 1331, 1331, 1332,

     1333, 1243, 1243, 1243, 1243, 1243, 1334, 1334, 1335,  580,

     1335, 1243,  682, 1335, 1243,  685,  685, 1243,  685, 1311,

      469,  469,  469,  469,  469,  469,  469,  469,  469,  469,

      469,  469,  469,  469,  469,  469,  469,  469,  469, 1311,

     1311, 1311, 1311, 1311, 1243, 1243, 1323, 1311, 1311, 1311,

     1243, 1243, 1243, 1243, 1243,  516,  516, 1325, 1325,  516,

      516,  516, 1325,  516,  516,  516,  516,  516, 1299, 1299,

     1299, 1299, 1299, 1303, 1303, 1303, 1303, 1303,  316,  316,

      316,  316,  316,  316,  316,  316,  316,  316,  316,  316,

      316, 1303, 1303, 1303, 1303, 1303, 1311, 1311, 1311, 1243,

     1336, 1337,  672, 1243,  774,  774, 1243,  774, 1243, 1243,

     1243, 1243, 1243, 1243, 1338, 1338, 1339,  688, 1339, 1243,

      790, 1339, 1243,  793,  793, 1243,  793, 1311, 1243, 1243,

     1243,  799,  799,  799,  799, 1243, 1243,  799,  799,  799,

      799, 1243, 1243,  799,  799,  799,  799, 1243, 1243, 1243,

     1243,  799, 1311, 1243, 1243, 1340, 1311, 1311, 1311, 1243,

     1243, 1243, 1243, 1341, 1341,  833,  833, 1341, 1341,  833,

      833, 1342, 1343, 1343, 1343, 1243,  846,  846,  846,  846,

      846,  846,  846,  846, 1343, 1311, 1311, 1311, 1311, 1311,

     1243, 1344, 1243, 1345,  777, 1345, 1345,  867, 1345, 1243,

      870,  870, 1243,  870, 1243, 1243, 1243, 1243, 1346, 1346,

     1347,  796, 1347, 1243,  884, 1347, 1243,  887,  887,  887,

     1311, 1243,  892,  892,  892,  892,  892,  892,  892,  892,

      892,  892,  892,  892, 1311, 1243, 1243, 1348, 1311, 1311,

     1311, 1243, 1243, 1243, 1243, 1243, 1243, 1349, 1349,  917,

      917, 1349, 1349,  917,  917, 1350, 1351, 1351, 1351, 1351,

     1351, 1243,  932,  932,  932,  932,  932,  932,  932,  932,

     1351, 1311, 1311, 1311, 1311, 1243, 1243, 1243, 1243, 1352,

     1352, 1353,  873, 1353, 1353,  955, 1353, 1243,  958,  958,

     1243,  958, 1243, 1243, 1243, 1243, 1243, 1243, 1354, 1354,

     1355, 1355, 1355,  973, 1355, 1311,  892,  892,  892,  892,

      892, 1243, 1243,  892,  892,  892, 1243, 1243, 1243, 1243,

      892, 1243, 1243, 1356, 1348, 1311, 1357, 1358, 1243, 1243,

     1243, 1243,  917, 1349, 1349,  917, 1349, 1349, 1351, 1351,

     1351, 1351,  932,  932,  932,  932,  932,  932, 1311, 1311,

     1311, 1311, 1311, 1311, 1243, 1243, 1243, 1243, 1243, 1243,

     1359, 1359, 1360,  961, 1360, 1360, 1036, 1360, 1243, 1039,

     1039, 1243, 1039, 1243, 1243, 1243, 1243, 1361, 1361, 1311,

      892, 1243, 1243,  892, 1243, 1243,  892,  892,  892,  892,

     1243, 1356, 1356, 1243, 1356, 1348, 1357, 1357, 1357, 1357,

     1243, 1357, 1358, 1358, 1243, 1243, 1243, 1243, 1243, 1243,

     1349,  917, 1349, 1349, 1351, 1351, 1351, 1351, 1351, 1351,

      932,  932,  932,  932, 1311, 1311, 1311, 1243, 1243, 1243,

     1243, 1362, 1362, 1363, 1042, 1363, 1363, 1107, 1363, 1243,

     1110, 1110, 1110, 1243, 1243, 1243, 1243, 1243, 1311,  892,

     1243, 1243,  892,  892,  892, 1243, 1348, 1243, 1243, 1243,

     1243, 1243,  917, 1349, 1349, 1351, 1351, 1351,  932,  932,

      932, 1311, 1311, 1311, 1311, 1311, 1243, 1243, 1243, 1243,

     1243, 1243, 1364, 1364, 1365, 1365, 1365, 1157, 1157,  892,

     1243, 1243, 1243, 1243,  892, 1366, 1243, 1243, 1243, 1243,

     1243, 1349, 1351, 1351, 1351, 1351, 1351,  932, 1311, 1311,

     1311, 1243, 1243, 1243, 1243, 1367, 1367,  892, 1243, 1243,

     1366, 1366, 1243, 1366, 1243, 1243, 1243, 1351, 1351, 1351,

     1311, 1311, 1311, 1311, 1311, 1243, 1243, 1243, 1243, 1243,

      892, 1243, 1243, 1243, 1243, 1243, 1243, 1351, 1351, 1351,

     1351, 1351, 1311, 1311, 1311,  892, 1243, 1243, 1243, 1351,

     1351, 1351, 1311, 1311, 1311,  892, 1243, 1243, 1243, 1351,

     1351, 1351,    0, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,