isa/sudo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
ac61b5655d5b0437e3dec29c823ab4591db204e3
sudo/plugins/sudoers/toke.c

4810 lines
171 KiB
C
Raw Blame History

/*
* 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
/* $OpenBSD: flex.skl,v 1.16 2017/05/02 19:16:19 millert Exp $ */
/* A lexical scanner generated by flex */
#define yy_create_buffer sudoers_create_buffer
#define yy_delete_buffer sudoers_delete_buffer
#define yy_flex_debug sudoers_flex_debug
#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 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 5
#define YY_FLEX_SUBMINOR_VERSION 39
#if YY_FLEX_SUBMINOR_VERSION > 0
#define FLEX_BETA
#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. */
/* $OpenBSD: flexint.h,v 1.1 2015/11/19 19:43:40 tedu Exp $ */
/* 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 */
#ifdef __cplusplus
/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST
#else /* ! __cplusplus */
/* C99 requires __STDC__ to be defined as 1. */
#if defined (__STDC__)
#define YY_USE_CONST
#endif /* defined (__STDC__) */
#endif /* ! __cplusplus */
#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#endif
/* Returned upon end-of-file. */
#define YY_NULL 0
/* Promotes a possibly negative, possibly signed char to an unsigned
* integer for use as an array index. If the signed char is negative,
* we want to instead treat it as an 8-bit unsigned char, hence the
* double cast.
*/
#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
/* Enter a start condition. This macro really ought to take a parameter,
* but we do it the disgusting crufty way forced on us by the ()-less
* definition of BEGIN.
*/
#define BEGIN (yy_start) = 1 + 2 *
/* Translate the current start state into a value that can be later handed
* to BEGIN to return to the state. The YYSTATE alias is for lex
* compatibility.
*/
#define YY_START (((yy_start) - 1) / 2)
#define YYSTATE YY_START
/* Action number for EOF rule of a given start state. */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
/* Special action meaning "start processing a new file". */
#define YY_NEW_FILE sudoersrestart(sudoersin )
#define YY_END_OF_BUFFER_CHAR 0
/* Size of default input buffer. */
#ifndef YY_BUF_SIZE
#define YY_BUF_SIZE 16384
#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 yy_size_t sudoersleng;
extern FILE *sudoersin, *sudoersout;
#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 sudoerstext. */ \
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 sudoerstext 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.
*/
yy_size_t yy_buf_size;
/* Number of characters read into yy_ch_buf, not including EOB
* characters.
*/
yy_size_t 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 sudoersrestart()), so that the user can continue scanning by
* just pointing sudoersin 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 = 0; /**< 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 sudoerstext is formed. */
static char yy_hold_char;
static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */
yy_size_t sudoersleng;
/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 0; /* whether we need to initialize */
static int yy_start = 0; /* start state number */
/* Flag which is used to allow sudoerswrap()'s to do buffer switches
* instead of setting up a fresh sudoersin. A bit of a hack ...
*/
static int yy_did_buffer_switch_on_eof;
void sudoersrestart (FILE *input_file );
void sudoers_switch_to_buffer (YY_BUFFER_STATE new_buffer );
YY_BUFFER_STATE sudoers_create_buffer (FILE *file,int size );
void sudoers_delete_buffer (YY_BUFFER_STATE b );
void sudoers_flush_buffer (YY_BUFFER_STATE b );
void sudoerspush_buffer_state (YY_BUFFER_STATE new_buffer );
void sudoerspop_buffer_state (void );
static void sudoersensure_buffer_stack (void );
static void sudoers_load_buffer_state (void );
static void sudoers_init_buffer (YY_BUFFER_STATE b,FILE *file );
#define YY_FLUSH_BUFFER sudoers_flush_buffer(YY_CURRENT_BUFFER )
YY_BUFFER_STATE sudoers_scan_buffer (char *base,yy_size_t size );
YY_BUFFER_STATE sudoers_scan_string (yyconst char *yy_str );
YY_BUFFER_STATE sudoers_scan_bytes (yyconst char *bytes,yy_size_t len );
void *sudoersalloc (yy_size_t );
void *sudoersrealloc (void *,yy_size_t );
void sudoersfree (void * );
#define yy_new_buffer sudoers_create_buffer
#define yy_set_interactive(is_interactive) \
{ \
if ( ! YY_CURRENT_BUFFER ){ \
sudoersensure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
sudoers_create_buffer(sudoersin,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
}
#define yy_set_bol(at_bol) \
{ \
if ( ! YY_CURRENT_BUFFER ){\
sudoersensure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
sudoers_create_buffer(sudoersin,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() 1
#define YY_SKIP_YYWRAP
typedef unsigned char YY_CHAR;
FILE *sudoersin = (FILE *) 0, *sudoersout = (FILE *) 0;
typedef int yy_state_type;
extern int sudoerslineno;
int sudoerslineno = 1;
extern char *sudoerstext;
#define yytext_ptr sudoerstext
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 yy_fatal_error (yyconst char msg[] );
/* Done after the current pattern has been matched and before the
* corresponding action - sets up sudoerstext.
*/
#define YY_DO_BEFORE_ACTION \
(yytext_ptr) = yy_bp; \
sudoersleng = (size_t) (yy_cp - yy_bp); \
(yy_hold_char) = *yy_cp; \
*yy_cp = '\0'; \
(yy_c_buf_p) = yy_cp;
#define YY_NUM_RULES 74
#define YY_END_OF_BUFFER 75
/* 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[896] =
{ 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 75, 62, 70, 69, 73, 68,
61, 72, 38, 63, 64, 38, 65, 62, 62, 62,
62, 67, 66, 73, 53, 53, 53, 53, 53, 53,
53, 53, 53, 53, 53, 53, 73, 62, 62, 70,
72, 53, 53, 53, 53, 53, 2, 73, 1, 62,
53, 53, 53, 62, 17, 16, 16, 17, 16, 16,
73, 72, 73, 3, 9, 8, 9, 4, 9, 5,
73, 13, 13, 13, 11, 12, 73, 19, 19, 18,
18, 18, 19, 18, 18, 18, 18, 19, 19, 19,
19, 19, 19, 18, 19, 19, 62, 0, 70, 69,
68, 72, 72, 0, 0, 62, 40, 0, 38, 0,
39, 0, 60, 60, 0, 62, 62, 0, 62, 62,
62, 62, 0, 43, 53, 53, 53, 53, 53, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 0,
71, 62, 62, 62, 62, 70, 0, 0, 0, 0,
0, 72, 62, 62, 62, 62, 62, 2, 1, 0,
1, 54, 54, 0, 53, 62, 17, 17, 15, 0,
14, 15, 0, 3, 9, 0, 6, 7, 9, 9,
13, 0, 13, 13, 0, 10, 0, 40, 0, 0,
39, 19, 19, 0, 19, 0, 0, 18, 18, 18,
18, 18, 18, 19, 19, 53, 19, 19, 19, 19,
19, 19, 19, 19, 19, 72, 72, 72, 0, 40,
62, 62, 62, 62, 62, 0, 0, 43, 43, 53,
45, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 62,
62, 0, 0, 0, 0, 0, 72, 62, 62, 62,
62, 62, 0, 62, 10, 0, 0, 0, 18, 18,
18, 19, 19, 19, 19, 19, 19, 19, 19, 19,
19, 19, 19, 19, 19, 19, 72, 72, 72, 62,
62, 62, 62, 62, 62, 0, 44, 44, 44, 0,
0, 43, 43, 43, 43, 43, 43, 43, 53, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53, 53, 49, 53, 53, 50, 62, 62,
62, 62, 0, 0, 0, 0, 0, 72, 62, 62,
62, 62, 0, 0, 0, 0, 0, 18, 18, 19,
19, 53, 19, 19, 19, 19, 19, 19, 19, 19,
19, 19, 19, 19, 19, 62, 62, 62, 0, 0,
44, 44, 44, 0, 43, 43, 0, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 0, 27,
53, 53, 53, 53, 0, 34, 53, 53, 53, 53,
53, 53, 53, 53, 53, 51, 53, 53, 62, 62,
62, 62, 62, 0, 0, 0, 72, 62, 62, 62,
0, 0, 0, 18, 18, 19, 53, 53, 19, 19,
19, 19, 19, 19, 19, 19, 19, 19, 19, 19,
19, 62, 62, 62, 62, 62, 0, 44, 0, 43,
43, 43, 0, 0, 0, 43, 43, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 53, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53, 55, 56, 57, 58, 62, 0, 0,
72, 62, 62, 62, 0, 0, 0, 0, 0, 19,
53, 53, 19, 19, 53, 19, 19, 19, 19, 19,
19, 19, 19, 19, 19, 41, 41, 41, 0, 0,
43, 43, 43, 43, 43, 43, 43, 0, 0, 0,
0, 0, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 43, 43, 43, 43, 0, 36, 53, 53,
53, 0, 26, 53, 53, 53, 0, 35, 53, 53,
53, 53, 0, 25, 0, 28, 46, 62, 0, 0,
72, 62, 62, 62, 41, 41, 41, 53, 53, 19,
53, 53, 19, 19, 19, 62, 41, 41, 41, 41,
0, 43, 0, 43, 43, 43, 43, 43, 43, 43,
43, 43, 43, 43, 0, 0, 0, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
53, 53, 53, 53, 53, 53, 53, 53, 48, 53,
59, 0, 0, 72, 62, 22, 54, 0, 41, 41,
41, 41, 53, 53, 19, 53, 53, 19, 19, 19,
42, 42, 42, 42, 43, 0, 0, 0, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 0, 0, 0, 0, 0, 43, 43, 43, 43,
43, 43, 43, 43, 53, 53, 53, 0, 37, 53,
53, 0, 24, 0, 29, 47, 0, 22, 72, 72,
62, 0, 62, 42, 42, 42, 42, 53, 53, 53,
53, 62, 62, 42, 42, 42, 42, 0, 0, 0,
0, 0, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 52, 0, 32, 53, 53, 53, 0, 72,
72, 20, 72, 72, 23, 22, 0, 0, 0, 0,
0, 22, 0, 0, 0, 42, 42, 42, 42, 53,
53, 53, 62, 62, 62, 0, 0, 0, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 43, 43, 43, 43, 0, 30, 53, 53,
23, 20, 72, 0, 22, 0, 0, 0, 53, 53,
62, 62, 62, 62, 62, 0, 0, 0, 0, 0,
43, 43, 43, 43, 43, 43, 43, 43, 0, 33,
53, 72, 0, 0, 0, 0, 0, 53, 62, 62,
62, 43, 43, 43, 43, 43, 43, 0, 31, 72,
72, 21, 72, 0, 0, 0, 62, 62, 62, 62,
62, 43, 43, 43, 43, 43, 21, 0, 0, 0,
0, 0, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 0
} ;
static yyconst flex_int32_t yy_ec[256] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
1, 1, 4, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 5, 6, 7, 8, 1, 9, 1, 1, 10,
11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
21, 22, 23, 24, 25, 26, 27, 28, 1, 1,
29, 30, 12, 31, 32, 33, 34, 35, 36, 37,
38, 39, 40, 41, 41, 42, 43, 44, 45, 46,
41, 47, 48, 49, 50, 51, 52, 53, 54, 41,
12, 55, 12, 1, 56, 1, 57, 58, 59, 60,
61, 62, 63, 64, 65, 63, 63, 66, 67, 68,
69, 63, 63, 70, 71, 72, 73, 63, 63, 63,
63, 63, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1
} ;
static yyconst flex_int32_t yy_meta[74] =
{ 0,
1, 2, 3, 3, 2, 4, 5, 6, 1, 7,
7, 1, 8, 9, 10, 11, 12, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 14, 15, 7,
1, 16, 16, 16, 16, 16, 16, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 18, 19, 20, 20, 20, 20,
20, 20, 21, 21, 21, 21, 21, 21, 21, 21,
21, 21, 21
} ;
static yyconst flex_int16_t yy_base[1020] =
{ 0,
0, 72, 121, 191, 81, 88, 261, 333, 405, 459,
142, 148, 514, 0, 4774, 4718, 73, 6207, 4769, 4765,
6207, 585, 73, 6207, 6207, 4715, 6207, 151, 597, 153,
164, 4741, 6207, 6207, 659, 4726, 46, 34, 715, 58,
4724, 4710, 50, 4709, 4717, 60, 776, 791, 57, 189,
816, 66, 63, 4683, 59, 4680, 113, 4735, 129, 204,
4704, 4703, 4715, 134, 0, 6207, 4743, 4739, 6207, 0,
880, 933, 137, 0, 4689, 6207, 135, 6207, 140, 6207,
214, 4688, 154, 194, 6207, 239, 193, 259, 960, 1004,
258, 232, 1062, 1112, 4700, 160, 180, 1168, 4696, 4708,
4694, 4706, 4701, 1215, 0, 156, 4681, 1239, 225, 6207,
4729, 228, 6207, 4731, 273, 283, 4678, 4717, 332, 1266,
4676, 1293, 415, 4675, 1322, 1335, 1375, 4681, 4681, 324,
343, 334, 4657, 228, 1437, 1493, 4631, 4625, 4607, 4594,
4587, 4573, 335, 4553, 4549, 4535, 4516, 4514, 4510, 371,
6207, 157, 425, 215, 65, 442, 4488, 4493, 4484, 4479,
4480, 355, 218, 369, 133, 369, 325, 434, 256, 431,
377, 584, 4495, 1554, 448, 378, 0, 4543, 412, 4545,
6207, 6207, 479, 0, 4492, 633, 6207, 6207, 4491, 438,
4490, 4537, 591, 440, 505, 430, 4540, 736, 737, 659,
4487, 843, 0, 1581, 1611, 794, 842, 1650, 4525, 892,
902, 740, 1700, 1756, 4498, 0, 4503, 4490, 4493, 4490,
752, 4481, 4469, 4448, 4433, 308, 465, 475, 920, 959,
1803, 974, 748, 1843, 4465, 4441, 1888, 454, 1934, 1979,
0, 4423, 4410, 4411, 4394, 4407, 4395, 4402, 4401, 4413,
4412, 4407, 454, 4394, 4390, 4404, 4402, 4401, 4398, 825,
573, 4357, 4362, 4352, 4354, 4360, 594, 588, 4363, 572,
232, 581, 1098, 778, 597, 4403, 4402, 2026, 2036, 4401,
2081, 0, 4382, 4373, 4358, 4371, 4358, 4365, 4362, 4326,
4325, 4320, 4294, 4303, 733, 4269, 6207, 508, 646, 2126,
730, 0, 0, 800, 773, 4308, 4307, 2164, 831, 4306,
4305, 609, 984, 2177, 1193, 882, 2223, 2270, 4304, 851,
4286, 4281, 830, 960, 4271, 4257, 4260, 4257, 4248, 4246,
4257, 4246, 4229, 4226, 0, 4229, 4227, 0, 834, 111,
774, 606, 4211, 4197, 4181, 4195, 4159, 946, 821, 1193,
404, 742, 1236, 4212, 4211, 4199, 1095, 2280, 2325, 1100,
4157, 833, 1204, 4163, 4156, 4159, 4156, 4147, 4145, 4141,
4118, 867, 4133, 4139, 4096, 2372, 2384, 2396, 4128, 4127,
2406, 4127, 4125, 4084, 4060, 804, 1263, 879, 1290, 1076,
2419, 0, 1321, 2466, 1345, 1355, 2512, 2559, 1377, 6207,
4028, 4033, 4034, 4027, 1378, 6207, 4031, 4022, 4007, 4020,
4007, 4018, 4004, 3998, 3993, 0, 3959, 3959, 875, 202,
909, 851, 908, 3952, 3923, 3912, 1219, 1220, 1142, 958,
3955, 3952, 2571, 2581, 2626, 3915, 3922, 3915, 3930, 3921,
3906, 3889, 3863, 3851, 3851, 3821, 3849, 3846, 3846, 3839,
3753, 2671, 877, 2711, 2723, 1515, 3770, 3767, 3766, 3746,
2733, 1274, 3750, 3746, 2780, 1303, 1318, 1397, 1397, 1411,
2792, 0, 1580, 2839, 1521, 1366, 2885, 2932, 2959, 1588,
1602, 1629, 1438, 1634, 1653, 1439, 1792, 1686, 1623, 1803,
1687, 1804, 1805, 3701, 3694, 3684, 3664, 1036, 3670, 3627,
1139, 1326, 1152, 1467, 1553, 3640, 3632, 3631, 1681, 1832,
3585, 3553, 1844, 3532, 974, 1845, 3512, 3507, 1869, 1889,
0, 0, 0, 0, 3483, 3016, 1863, 1780, 3456, 3426,
3402, 1908, 3056, 1954, 1820, 3101, 3148, 1999, 3398, 3340,
3321, 1920, 1414, 1577, 1616, 1621, 2056, 1636, 3160, 0,
2103, 3207, 2136, 1964, 3253, 3300, 1890, 6207, 3327, 1517,
1279, 1891, 6207, 1253, 1407, 1574, 2082, 6207, 1610, 1603,
1566, 1616, 2083, 6207, 2084, 6207, 3277, 1494, 3243, 3236,
1106, 1564, 1374, 1732, 3266, 3245, 3384, 3166, 3163, 3399,
3164, 3140, 1760, 882, 3093, 3455, 1882, 3494, 0, 2003,
3103, 3084, 2146, 1290, 2197, 1553, 3534, 0, 2245, 3547,
2300, 2114, 3592, 3639, 3095, 3090, 3651, 1677, 1678, 2015,
2259, 3088, 2337, 3663, 0, 2350, 3710, 2439, 2156, 3757,
3784, 1296, 923, 2226, 1614, 1802, 2328, 2467, 3036, 1228,
3031, 3005, 2992, 2502, 1800, 2626, 3000, 2490, 2971, 2956,
2952, 2533, 2916, 2899, 3856, 2886, 2882, 2224, 2225, 0,
3914, 2601, 2646, 1945, 2866, 2871, 2863, 3954, 2850, 2246,
2347, 2841, 2348, 3966, 0, 2683, 3979, 2694, 2545, 4024,
4071, 2753, 2828, 2807, 2781, 2765, 1768, 1828, 2805, 1018,
1043, 4083, 0, 2818, 2079, 2468, 1939, 2306, 6207, 1057,
2285, 2327, 6207, 2469, 6207, 2738, 2725, 2603, 2267, 2063,
1625, 2840, 2875, 2747, 2659, 4095, 2541, 2672, 2886, 2887,
2888, 4105, 1508, 4145, 0, 2683, 1700, 3026, 2639, 2620,
2594, 3038, 2530, 2514, 2361, 2385, 3076, 2560, 4185, 0,
3123, 4198, 3180, 2905, 4243, 4290, 2504, 2458, 4301, 2815,
2311, 1630, 4328, 2934, 6207, 2961, 2229, 2183, 2154, 1832,
2720, 6207, 2005, 2608, 2125, 2054, 3102, 2878, 2224, 2050,
4398, 1980, 4425, 3227, 1994, 1973, 1928, 3046, 1882, 3208,
3209, 3210, 4440, 4452, 4464, 1836, 1795, 4476, 1758, 1703,
2712, 2913, 3273, 3057, 4488, 0, 3467, 4501, 3478, 3283,
4548, 1673, 1644, 1598, 3312, 1506, 3254, 6207, 3279, 1399,
6207, 6207, 3145, 3504, 3514, 1410, 1388, 4560, 3593, 3594,
4572, 2074, 4584, 4596, 3685, 3567, 1332, 1262, 1249, 3614,
1223, 1170, 3124, 1063, 971, 4608, 0, 3129, 3595, 6207,
3640, 3489, 3691, 875, 814, 739, 3732, 3736, 4620, 4632,
4644, 3924, 3934, 3999, 617, 0, 585, 3758, 6207, 2030,
3504, 6207, 2088, 576, 497, 4656, 4668, 2319, 4680, 4692,
4011, 6207, 4049, 4115, 3524, 6207, 6207, 4125, 467, 297,
231, 3844, 4702, 4740, 4778, 4155, 4165, 4218, 58, 4816,
4228, 6207, 4266, 3769, 6207, 4871, 4892, 4913, 4934, 4955,
4976, 4997, 5018, 5039, 5048, 2666, 5068, 5089, 2187, 5110,
5131, 5152, 5173, 5194, 5215, 5236, 5257, 5278, 2957, 5299,
5320, 5341, 5350, 5358, 5367, 5387, 5408, 5429, 2429, 5450,
5471, 5492, 5513, 5534, 5543, 5562, 5571, 5580, 2509, 2530,
5588, 5596, 5604, 5613, 5621, 5628, 5636, 5644, 5653, 5663,
2624, 2669, 5671, 5679, 5687, 2751, 2857, 5696, 5706, 5726,
2927, 5735, 5743, 3119, 5752, 5762, 5782, 2297, 2368, 5791,
5803, 5812, 5822, 3178, 3244, 5831, 5841, 5850, 5870, 2455,
5879, 5891, 3250, 3344, 5900, 5910, 5918, 3402, 5927, 5937,
5957, 5978, 5999, 3416, 3565, 6019, 3590, 6026, 6036, 2617,
2818, 6045, 6065, 6086, 6107, 3328, 6128, 3627, 3628, 6137,
6147, 3633, 3681, 6155, 6165, 6185, 3745, 3746, 3801
} ;
static yyconst flex_int16_t yy_def[1020] =
{ 0,
895, 1, 1, 1, 896, 896, 897, 897, 898, 898,
899, 899, 895, 13, 895, 900, 895, 895, 895, 895,
895, 901, 902, 895, 895, 903, 895, 904, 900, 29,
29, 905, 895, 895, 895, 35, 35, 35, 35, 39,
39, 39, 39, 39, 39, 39, 900, 29, 900, 895,
901, 35, 35, 39, 39, 39, 895, 906, 895, 907,
39, 39, 39, 900, 908, 895, 895, 908, 895, 908,
895, 901, 895, 909, 910, 895, 910, 895, 910, 895,
911, 912, 912, 912, 895, 895, 913, 914, 915, 895,
90, 90, 90, 895, 94, 94, 94, 94, 98, 98,
98, 98, 98, 90, 93, 93, 900, 900, 895, 895,
895, 916, 895, 895, 917, 895, 918, 919, 913, 918,
920, 920, 921, 922, 900, 900, 900, 923, 127, 127,
127, 127, 924, 925, 895, 135, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 895,
895, 900, 900, 900, 900, 895, 895, 895, 895, 895,
895, 916, 900, 127, 900, 900, 900, 895, 895, 895,
895, 926, 927, 900, 136, 900, 928, 928, 895, 895,
895, 895, 917, 929, 930, 930, 895, 895, 930, 930,
931, 895, 931, 931, 895, 895, 895, 913, 913, 913,
932, 933, 93, 932, 934, 895, 895, 90, 208, 208,
208, 208, 895, 213, 214, 935, 214, 214, 214, 214,
214, 214, 214, 93, 93, 916, 916, 936, 895, 895,
900, 231, 231, 127, 234, 937, 895, 938, 895, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 900,
900, 895, 895, 895, 895, 895, 916, 900, 234, 900,
900, 900, 895, 900, 895, 939, 940, 895, 93, 279,
213, 214, 214, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 93, 93, 895, 936, 936, 900,
900, 231, 231, 231, 900, 941, 942, 942, 308, 943,
942, 944, 239, 895, 314, 314, 895, 314, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 900, 900,
900, 900, 895, 895, 895, 895, 895, 916, 900, 900,
900, 900, 895, 895, 939, 939, 895, 279, 213, 214,
214, 945, 214, 214, 214, 214, 214, 214, 214, 214,
214, 93, 93, 93, 93, 231, 231, 231, 895, 946,
946, 381, 946, 947, 948, 949, 895, 950, 317, 950,
895, 391, 950, 895, 394, 394, 895, 394, 895, 895,
136, 136, 136, 136, 895, 895, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 900, 900,
900, 900, 900, 895, 895, 895, 916, 900, 900, 900,
951, 952, 895, 93, 214, 214, 945, 945, 214, 214,
214, 214, 214, 214, 214, 214, 93, 93, 93, 93,
93, 900, 900, 231, 231, 900, 953, 953, 954, 955,
895, 895, 956, 957, 895, 958, 958, 959, 397, 959,
895, 471, 959, 895, 474, 474, 895, 474, 895, 479,
479, 479, 479, 479, 479, 479, 479, 479, 479, 479,
479, 479, 479, 900, 900, 900, 900, 900, 895, 895,
960, 900, 900, 900, 895, 895, 961, 961, 895, 214,
945, 945, 214, 214, 945, 214, 214, 214, 214, 214,
93, 93, 93, 93, 93, 900, 526, 526, 895, 962,
963, 461, 895, 533, 533, 895, 533, 895, 895, 964,
964, 895, 895, 965, 965, 966, 477, 966, 895, 549,
966, 895, 552, 552, 895, 552, 895, 895, 895, 559,
559, 895, 895, 559, 559, 559, 895, 895, 559, 559,
559, 559, 895, 895, 895, 895, 559, 900, 895, 895,
967, 900, 900, 900, 968, 969, 895, 970, 970, 895,
970, 970, 590, 590, 971, 900, 900, 900, 598, 598,
895, 972, 895, 973, 536, 973, 973, 607, 973, 895,
610, 610, 895, 610, 974, 975, 895, 895, 976, 976,
977, 978, 977, 895, 624, 977, 895, 627, 627, 627,
895, 631, 631, 631, 631, 631, 631, 631, 631, 631,
900, 895, 895, 979, 900, 900, 900, 895, 895, 980,
980, 895, 981, 981, 895, 981, 981, 655, 655, 982,
900, 661, 661, 661, 895, 983, 984, 895, 985, 985,
986, 987, 986, 986, 674, 986, 895, 677, 677, 895,
677, 895, 895, 988, 988, 895, 895, 989, 989, 990,
990, 990, 692, 990, 631, 631, 631, 895, 895, 631,
631, 895, 895, 895, 895, 631, 895, 895, 991, 979,
900, 992, 993, 994, 995, 895, 994, 996, 996, 996,
996, 900, 900, 900, 724, 724, 900, 895, 895, 997,
997, 895, 895, 998, 998, 999, 680, 999, 999, 739,
999, 895, 742, 742, 895, 742, 1000, 1001, 895, 895,
1002, 1002, 895, 895, 895, 753, 753, 753, 895, 1003,
1003, 895, 1003, 1004, 900, 1005, 1005, 1005, 1005, 1006,
1005, 1007, 1007, 895, 895, 994, 994, 895, 895, 996,
996, 996, 724, 724, 724, 1008, 1009, 895, 895, 1010,
1010, 1011, 745, 1011, 1011, 795, 1011, 895, 798, 798,
798, 895, 1000, 1000, 895, 895, 895, 895, 753, 753,
895, 895, 1004, 895, 895, 1012, 1013, 895, 996, 996,
724, 900, 724, 724, 900, 895, 895, 1008, 1008, 895,
895, 1014, 1014, 1015, 1015, 1015, 836, 836, 895, 895,
753, 1016, 895, 895, 1012, 1012, 895, 996, 724, 724,
724, 895, 895, 895, 895, 1017, 1017, 895, 895, 1016,
1016, 895, 1016, 1018, 1019, 895, 724, 900, 724, 724,
900, 895, 895, 895, 895, 895, 895, 895, 895, 1018,
1018, 895, 900, 900, 900, 895, 895, 895, 900, 900,
900, 895, 895, 895, 0, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895
} ;
static yyconst flex_int16_t yy_nxt[6281] =
{ 0,
16, 17, 18, 19, 17, 20, 21, 22, 23, 24,
25, 16, 26, 27, 16, 16, 28, 29, 30, 31,
29, 29, 29, 29, 29, 29, 29, 32, 33, 34,
16, 35, 36, 36, 36, 37, 38, 39, 39, 39,
39, 40, 41, 42, 39, 43, 44, 45, 46, 39,
39, 39, 39, 39, 47, 16, 48, 48, 48, 48,
48, 48, 16, 16, 16, 16, 16, 16, 16, 16,
49, 16, 16, 50, 109, 136, 50, 109, 139, 51,
118, 144, 17, 66, 67, 17, 68, 136, 69, 17,
66, 67, 17, 68, 69, 69, 145, 140, 138, 148,
119, 69, 141, 146, 136, 52, 53, 136, 69, 70,
54, 108, 108, 149, 168, 69, 70, 168, 55, 108,
154, 56, 57, 164, 261, 57, 169, 120, 58, 155,
171, 166, 163, 171, 59, 71, 421, 60, 150, 151,
180, 150, 71, 83, 18, 19, 83, 84, 85, 83,
18, 19, 83, 84, 85, 193, 124, 124, 193, 151,
124, 124, 61, 187, 62, 108, 63, 39, 188, 39,
130, 130, 130, 130, 130, 130, 130, 130, 130, 130,
124, 131, 131, 131, 131, 131, 132, 108, 108, 186,
156, 64, 57, 156, 186, 57, 86, 154, 58, 194,
118, 214, 86, 270, 59, 125, 176, 60, 192, 173,
173, 108, 217, 173, 173, 190, 151, 180, 190, 224,
199, 214, 157, 158, 218, 495, 109, 159, 225, 109,
113, 227, 61, 173, 62, 160, 63, 39, 161, 39,
195, 196, 197, 195, 237, 191, 878, 200, 192, 211,
211, 211, 211, 211, 212, 239, 108, 171, 174, 201,
171, 64, 17, 18, 19, 17, 20, 201, 72, 108,
201, 260, 108, 201, 201, 210, 210, 210, 210, 210,
210, 210, 210, 210, 210, 268, 108, 203, 351, 201,
116, 116, 116, 116, 116, 116, 116, 116, 116, 116,
116, 116, 116, 116, 116, 116, 116, 116, 116, 116,
113, 227, 878, 204, 201, 73, 74, 74, 74, 74,
74, 74, 74, 74, 74, 74, 74, 74, 74, 74,
74, 74, 74, 74, 17, 18, 19, 17, 20, 118,
72, 235, 235, 235, 235, 235, 235, 235, 235, 235,
235, 235, 235, 235, 235, 235, 235, 113, 227, 895,
235, 235, 235, 235, 235, 235, 235, 235, 235, 235,
247, 248, 150, 151, 180, 150, 249, 250, 171, 108,
251, 171, 252, 253, 107, 272, 200, 73, 74, 74,
74, 74, 74, 74, 74, 74, 74, 74, 74, 74,
74, 74, 74, 74, 74, 74, 17, 18, 19, 17,
20, 76, 72, 150, 151, 180, 150, 77, 78, 79,
124, 124, 267, 108, 124, 124, 150, 151, 180, 150,
269, 275, 108, 80, 275, 168, 271, 274, 168, 150,
151, 180, 150, 156, 124, 194, 156, 169, 116, 116,
116, 116, 116, 116, 116, 116, 116, 116, 108, 81,
17, 18, 19, 17, 20, 76, 72, 297, 227, 125,
237, 77, 78, 79, 349, 157, 158, 113, 299, 108,
159, 313, 878, 247, 248, 331, 332, 80, 160, 249,
250, 161, 186, 251, 192, 252, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 195, 196, 197, 195,
113, 299, 878, 81, 34, 17, 18, 19, 17, 20,
34, 34, 87, 24, 25, 34, 88, 27, 34, 34,
89, 90, 91, 92, 90, 90, 90, 90, 90, 90,
90, 32, 93, 34, 34, 94, 95, 95, 95, 96,
97, 98, 98, 98, 98, 99, 100, 101, 98, 102,
98, 103, 98, 98, 98, 98, 98, 98, 73, 34,
104, 104, 104, 104, 104, 104, 105, 105, 105, 105,
105, 105, 105, 105, 106, 105, 105, 113, 114, 173,
173, 878, 193, 173, 173, 193, 113, 227, 275, 115,
603, 275, 116, 116, 116, 116, 116, 116, 116, 116,
116, 116, 126, 173, 127, 127, 127, 127, 127, 127,
127, 127, 127, 127, 128, 237, 108, 108, 129, 129,
129, 129, 129, 129, 185, 108, 313, 185, 174, 185,
185, 342, 108, 349, 793, 192, 185, 349, 297, 299,
349, 108, 348, 129, 129, 129, 129, 129, 129, 107,
108, 185, 198, 198, 198, 198, 423, 107, 198, 198,
107, 107, 198, 107, 107, 107, 135, 135, 135, 135,
135, 135, 135, 135, 135, 135, 128, 198, 198, 107,
135, 135, 135, 135, 135, 135, 136, 136, 136, 136,
137, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 108, 136, 129, 129, 129, 129, 129,
129, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 107, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 895, 895, 118, 300, 136, 136, 136, 136,
136, 136, 372, 373, 843, 374, 136, 280, 280, 280,
280, 280, 280, 895, 895, 303, 303, 303, 303, 303,
304, 107, 107, 107, 107, 107, 107, 150, 151, 152,
153, 107, 107, 107, 108, 107, 107, 287, 288, 107,
200, 200, 422, 289, 290, 124, 108, 291, 124, 292,
128, 124, 430, 107, 107, 107, 107, 124, 129, 129,
129, 129, 129, 129, 129, 129, 129, 129, 113, 114,
237, 124, 124, 107, 107, 107, 107, 108, 108, 843,
115, 313, 108, 116, 116, 116, 116, 116, 116, 116,
116, 116, 116, 201, 339, 340, 352, 341, 383, 383,
383, 201, 399, 419, 201, 399, 420, 201, 201, 276,
277, 278, 276, 276, 276, 276, 276, 276, 276, 403,
497, 203, 437, 201, 404, 108, 428, 438, 400, 108,
162, 179, 151, 180, 179, 181, 447, 182, 108, 448,
843, 181, 452, 182, 387, 237, 494, 204, 201, 392,
392, 392, 392, 392, 393, 108, 389, 182, 182, 280,
280, 280, 280, 280, 280, 280, 280, 280, 280, 280,
280, 280, 280, 280, 280, 280, 280, 280, 280, 108,
496, 108, 659, 214, 182, 113, 114, 230, 230, 230,
230, 230, 230, 230, 230, 230, 230, 183, 113, 227,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
124, 405, 108, 108, 405, 124, 124, 498, 124, 124,
124, 124, 697, 136, 124, 124, 230, 230, 230, 230,
230, 230, 230, 230, 230, 230, 895, 406, 203, 124,
124, 302, 302, 302, 302, 302, 302, 302, 302, 302,
302, 318, 318, 318, 318, 318, 318, 318, 318, 318,
318, 427, 108, 591, 206, 124, 203, 504, 592, 207,
203, 208, 208, 208, 208, 208, 208, 208, 208, 208,
208, 128, 203, 387, 237, 209, 209, 209, 209, 209,
209, 203, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 895, 237,
209, 209, 209, 209, 209, 209, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 895, 603, 203,
203, 203, 203, 203, 203, 203, 203, 203, 203, 895,
108, 895, 237, 203, 203, 203, 203, 203, 203, 173,
578, 399, 173, 389, 399, 173, 757, 136, 113, 227,
353, 173, 354, 354, 354, 354, 354, 354, 203, 203,
203, 203, 203, 203, 203, 173, 173, 400, 203, 213,
213, 213, 213, 213, 213, 213, 213, 213, 213, 128,
203, 113, 227, 213, 213, 213, 213, 213, 213, 214,
214, 214, 214, 215, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 214, 214, 644, 216, 209, 209,
209, 209, 209, 209, 203, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 214, 214, 214, 214, 214,
214, 214, 214, 214, 214, 895, 108, 793, 581, 214,
214, 214, 214, 214, 214, 405, 108, 503, 405, 214,
391, 391, 391, 391, 391, 391, 391, 391, 391, 391,
128, 113, 227, 583, 203, 203, 203, 203, 203, 203,
895, 406, 209, 209, 209, 209, 209, 209, 209, 209,
209, 209, 107, 107, 107, 107, 107, 108, 107, 107,
737, 502, 107, 431, 432, 433, 431, 431, 431, 431,
431, 431, 431, 706, 826, 429, 107, 107, 107, 117,
117, 117, 117, 117, 108, 117, 117, 826, 136, 117,
463, 464, 465, 463, 463, 463, 463, 463, 463, 463,
237, 501, 136, 117, 117, 117, 121, 121, 121, 121,
121, 313, 121, 121, 634, 603, 121, 398, 398, 398,
398, 398, 398, 398, 398, 398, 398, 605, 136, 237,
121, 121, 121, 124, 633, 107, 123, 107, 107, 123,
389, 107, 107, 387, 237, 123, 387, 237, 467, 467,
467, 467, 467, 467, 696, 389, 136, 826, 389, 123,
123, 107, 231, 232, 233, 231, 231, 231, 231, 231,
231, 231, 471, 471, 471, 471, 471, 471, 471, 471,
471, 471, 472, 472, 472, 472, 472, 473, 399, 405,
108, 399, 405, 550, 550, 550, 550, 550, 551, 108,
126, 582, 234, 234, 234, 234, 234, 234, 234, 234,
234, 234, 128, 843, 400, 406, 234, 234, 234, 234,
234, 234, 387, 237, 478, 478, 478, 478, 478, 478,
478, 478, 478, 478, 469, 843, 895, 237, 108, 108,
237, 234, 234, 234, 234, 234, 234, 107, 469, 562,
567, 389, 562, 567, 646, 107, 136, 841, 107, 107,
635, 107, 107, 107, 240, 240, 240, 240, 240, 240,
240, 240, 240, 240, 128, 563, 568, 107, 240, 240,
240, 240, 240, 240, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 108, 136, 234, 234, 234, 234, 234, 234, 107,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
895, 108, 237, 722, 136, 136, 136, 136, 136, 136,
452, 584, 453, 453, 453, 453, 453, 453, 549, 549,
549, 549, 549, 549, 549, 549, 549, 549, 108, 107,
107, 107, 107, 107, 107, 173, 136, 107, 172, 107,
107, 172, 108, 107, 107, 641, 632, 172, 895, 108,
585, 586, 587, 585, 585, 585, 585, 585, 585, 585,
605, 172, 172, 107, 201, 201, 201, 201, 201, 895,
201, 201, 895, 237, 201, 387, 237, 545, 545, 545,
545, 545, 545, 895, 469, 136, 895, 469, 201, 201,
201, 124, 639, 136, 237, 895, 124, 124, 108, 124,
124, 124, 124, 636, 895, 124, 124, 895, 645, 895,
895, 387, 237, 895, 559, 895, 387, 237, 895, 203,
124, 124, 136, 469, 637, 387, 237, 560, 547, 136,
895, 895, 237, 638, 895, 136, 895, 895, 571, 700,
237, 895, 640, 547, 136, 206, 124, 279, 279, 279,
279, 279, 279, 279, 279, 279, 279, 561, 564, 108,
895, 279, 279, 279, 279, 279, 279, 895, 573, 237,
895, 573, 565, 237, 237, 765, 505, 566, 506, 506,
506, 506, 506, 506, 469, 547, 279, 279, 279, 279,
279, 279, 203, 895, 574, 722, 203, 281, 281, 281,
281, 281, 281, 281, 281, 281, 281, 128, 203, 570,
737, 281, 281, 281, 281, 281, 281, 214, 214, 214,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 108, 216, 279, 279, 279, 279,
279, 279, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 203, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 895, 237, 672, 108, 214, 214, 214,
214, 214, 214, 895, 658, 547, 895, 599, 599, 599,
599, 599, 600, 647, 895, 575, 895, 895, 575, 895,
826, 214, 203, 203, 203, 203, 203, 203, 300, 895,
301, 301, 301, 301, 301, 301, 301, 301, 301, 301,
895, 576, 895, 557, 762, 763, 557, 608, 608, 608,
608, 608, 609, 569, 237, 562, 567, 572, 562, 567,
701, 826, 136, 577, 108, 622, 711, 108, 107, 558,
305, 305, 305, 305, 305, 305, 305, 305, 305, 305,
573, 563, 568, 573, 305, 305, 305, 305, 305, 305,
598, 598, 598, 598, 598, 598, 598, 598, 598, 598,
575, 557, 562, 575, 557, 562, 574, 774, 596, 305,
305, 305, 305, 305, 305, 307, 308, 309, 309, 309,
309, 309, 309, 309, 309, 310, 576, 558, 563, 311,
311, 311, 311, 311, 311, 537, 537, 537, 537, 537,
537, 537, 537, 537, 537, 538, 108, 539, 539, 539,
539, 539, 539, 774, 311, 311, 311, 311, 311, 311,
237, 314, 315, 316, 314, 314, 314, 314, 314, 314,
314, 317, 727, 727, 727, 318, 318, 318, 318, 318,
318, 607, 607, 607, 607, 607, 607, 607, 607, 607,
607, 625, 625, 625, 625, 625, 626, 756, 774, 136,
318, 318, 318, 318, 318, 318, 319, 319, 319, 319,
319, 319, 319, 319, 319, 319, 128, 812, 763, 774,
319, 319, 319, 319, 319, 319, 615, 616, 617, 615,
615, 615, 615, 615, 615, 615, 107, 107, 107, 107,
387, 237, 862, 863, 773, 305, 305, 305, 305, 305,
305, 353, 547, 356, 356, 356, 356, 356, 357, 354,
354, 354, 354, 358, 358, 358, 358, 358, 358, 358,
358, 358, 358, 128, 814, 113, 227, 358, 358, 358,
358, 358, 358, 556, 556, 556, 556, 556, 556, 556,
556, 556, 556, 567, 573, 575, 567, 573, 575, 821,
877, 863, 358, 358, 358, 358, 358, 358, 359, 359,
359, 359, 359, 359, 359, 359, 359, 359, 771, 568,
574, 576, 359, 359, 359, 359, 359, 359, 387, 237,
620, 620, 620, 620, 620, 620, 753, 764, 108, 136,
547, 675, 675, 675, 675, 675, 676, 358, 358, 358,
358, 358, 358, 376, 377, 378, 376, 376, 376, 376,
376, 376, 376, 624, 624, 624, 624, 624, 624, 624,
624, 624, 624, 666, 667, 668, 666, 666, 666, 666,
666, 666, 666, 693, 693, 693, 693, 693, 694, 108,
108, 381, 381, 382, 383, 383, 383, 383, 383, 383,
383, 310, 387, 237, 388, 388, 388, 388, 388, 388,
388, 388, 388, 388, 389, 184, 184, 184, 390, 390,
390, 390, 390, 390, 614, 614, 614, 614, 614, 614,
614, 614, 614, 614, 811, 702, 704, 698, 702, 704,
698, 770, 810, 390, 390, 390, 390, 390, 390, 237,
394, 395, 396, 394, 394, 394, 394, 394, 394, 394,
397, 703, 705, 699, 398, 398, 398, 398, 398, 398,
603, 603, 670, 670, 670, 670, 670, 670, 761, 762,
763, 761, 605, 605, 387, 237, 136, 809, 771, 398,
398, 398, 398, 398, 398, 895, 622, 390, 390, 390,
390, 390, 390, 390, 390, 390, 390, 434, 434, 434,
434, 434, 434, 434, 434, 434, 434, 698, 649, 649,
698, 434, 434, 434, 434, 434, 434, 674, 674, 674,
674, 674, 674, 674, 674, 674, 674, 237, 702, 702,
758, 702, 702, 699, 867, 136, 434, 434, 434, 434,
434, 434, 435, 435, 435, 435, 435, 435, 435, 435,
435, 435, 895, 237, 703, 703, 435, 435, 435, 435,
435, 435, 603, 895, 622, 387, 237, 689, 689, 689,
689, 689, 689, 108, 672, 672, 603, 622, 136, 650,
650, 434, 434, 434, 434, 434, 434, 452, 672, 453,
453, 453, 453, 453, 453, 453, 453, 453, 453, 452,
603, 454, 454, 454, 454, 454, 454, 454, 454, 454,
454, 452, 737, 455, 455, 455, 455, 455, 456, 453,
453, 453, 453, 458, 458, 458, 458, 458, 458, 458,
458, 458, 458, 310, 387, 237, 467, 467, 467, 467,
467, 467, 467, 467, 467, 467, 389, 184, 184, 184,
466, 466, 466, 466, 466, 466, 692, 692, 692, 692,
692, 692, 692, 692, 692, 692, 649, 649, 704, 754,
704, 704, 754, 704, 237, 466, 466, 466, 466, 466,
466, 387, 237, 468, 468, 468, 468, 468, 468, 468,
468, 468, 468, 469, 705, 755, 705, 470, 470, 470,
470, 470, 470, 709, 113, 227, 709, 714, 715, 716,
717, 714, 714, 714, 714, 714, 714, 136, 136, 354,
237, 354, 470, 470, 470, 470, 470, 470, 237, 474,
475, 476, 474, 474, 474, 474, 474, 474, 474, 477,
355, 672, 355, 478, 478, 478, 478, 478, 478, 648,
649, 649, 649, 649, 649, 649, 774, 605, 779, 779,
779, 710, 740, 740, 740, 740, 740, 741, 478, 478,
478, 478, 478, 478, 895, 895, 470, 470, 470, 470,
470, 470, 470, 470, 470, 470, 505, 737, 508, 508,
508, 508, 508, 509, 506, 506, 506, 506, 434, 434,
434, 434, 434, 434, 434, 434, 434, 434, 712, 728,
113, 227, 434, 434, 434, 434, 434, 434, 724, 724,
724, 724, 724, 724, 724, 724, 724, 724, 802, 802,
712, 712, 712, 712, 506, 728, 506, 434, 434, 434,
434, 434, 434, 435, 435, 435, 435, 435, 435, 435,
435, 435, 435, 712, 728, 712, 713, 435, 435, 435,
435, 435, 435, 725, 725, 725, 725, 725, 726, 727,
727, 727, 727, 754, 774, 116, 754, 813, 116, 507,
108, 507, 434, 434, 434, 434, 434, 434, 526, 527,
528, 526, 526, 526, 526, 526, 526, 526, 603, 755,
735, 735, 735, 735, 735, 735, 107, 107, 107, 107,
672, 739, 739, 739, 739, 739, 739, 739, 739, 739,
739, 761, 762, 763, 761, 108, 452, 603, 453, 453,
453, 453, 453, 453, 453, 453, 453, 453, 452, 737,
453, 453, 453, 453, 453, 453, 453, 453, 453, 453,
533, 534, 535, 533, 533, 533, 533, 533, 533, 533,
536, 539, 774, 539, 537, 537, 537, 537, 537, 537,
747, 748, 749, 747, 747, 747, 747, 747, 747, 747,
682, 759, 683, 683, 683, 683, 683, 683, 136, 537,
537, 537, 537, 537, 537, 538, 682, 541, 541, 541,
541, 541, 542, 539, 539, 539, 539, 387, 237, 545,
545, 545, 545, 545, 545, 545, 545, 545, 545, 469,
387, 237, 682, 544, 544, 544, 544, 544, 544, 803,
803, 237, 622, 387, 237, 752, 752, 752, 752, 752,
752, 767, 622, 682, 767, 768, 769, 770, 544, 544,
544, 544, 544, 544, 387, 237, 546, 546, 546, 546,
546, 546, 546, 546, 546, 546, 547, 540, 680, 540,
548, 548, 548, 548, 548, 548, 767, 605, 728, 767,
768, 769, 770, 768, 769, 770, 728, 895, 895, 895,
895, 895, 895, 532, 771, 548, 548, 548, 548, 548,
548, 237, 552, 553, 554, 552, 552, 552, 552, 552,
552, 552, 555, 895, 895, 895, 556, 556, 556, 556,
556, 556, 796, 796, 796, 796, 796, 797, 603, 773,
721, 720, 771, 782, 780, 754, 781, 506, 754, 506,
793, 556, 556, 556, 556, 556, 556, 895, 719, 548,
548, 548, 548, 548, 548, 548, 548, 548, 548, 107,
557, 755, 807, 557, 718, 807, 230, 107, 648, 230,
107, 107, 648, 107, 107, 107, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 558, 648, 808, 107,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 108, 136, 107, 107, 107, 107, 107,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 107, 596, 597, 597, 597, 597, 597, 597, 597,
597, 597, 597, 786, 787, 788, 786, 786, 786, 786,
786, 786, 786, 728, 108, 729, 729, 729, 729, 729,
729, 774, 708, 775, 775, 775, 775, 775, 775, 707,
108, 603, 895, 604, 604, 604, 604, 604, 604, 604,
604, 604, 604, 605, 793, 108, 136, 606, 606, 606,
606, 606, 606, 746, 746, 746, 746, 746, 746, 746,
746, 746, 746, 767, 237, 682, 767, 768, 769, 770,
682, 532, 606, 606, 606, 606, 606, 606, 610, 611,
612, 610, 610, 610, 610, 610, 610, 610, 613, 539,
385, 539, 614, 614, 614, 614, 614, 614, 603, 603,
791, 791, 791, 791, 791, 791, 842, 113, 227, 842,
737, 793, 856, 856, 856, 856, 771, 614, 614, 614,
614, 614, 614, 895, 660, 606, 606, 606, 606, 606,
606, 606, 606, 606, 606, 387, 237, 620, 620, 620,
620, 620, 620, 620, 620, 620, 620, 547, 683, 657,
683, 619, 619, 619, 619, 619, 619, 795, 795, 795,
795, 795, 795, 795, 795, 795, 795, 656, 654, 807,
895, 895, 807, 895, 895, 653, 619, 619, 619, 619,
619, 619, 387, 237, 621, 621, 621, 621, 621, 621,
621, 621, 621, 621, 622, 808, 895, 895, 623, 623,
623, 623, 623, 623, 816, 817, 818, 816, 816, 816,
816, 816, 816, 816, 684, 807, 684, 819, 807, 820,
729, 648, 729, 623, 623, 623, 623, 623, 623, 237,
627, 628, 629, 627, 627, 627, 627, 627, 627, 627,
839, 808, 648, 839, 630, 630, 630, 630, 630, 630,
801, 801, 801, 801, 801, 801, 801, 801, 801, 801,
837, 837, 837, 837, 837, 838, 840, 643, 642, 630,
630, 630, 630, 630, 630, 895, 136, 623, 623, 623,
623, 623, 623, 623, 623, 623, 623, 107, 237, 802,
802, 802, 802, 802, 802, 107, 538, 815, 107, 107,
815, 107, 107, 107, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 730, 538, 730, 107, 136, 136,
136, 136, 136, 136, 136, 136, 631, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 108, 136, 107, 107, 107, 107, 107, 107, 107,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
648, 651, 651, 651, 651, 651, 652, 649, 649, 649,
649, 203, 683, 538, 683, 203, 214, 214, 214, 214,
214, 214, 214, 214, 214, 214, 775, 203, 775, 532,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
655, 214, 214, 385, 216, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 661, 662, 663, 664, 661, 661, 661, 661,
661, 661, 603, 310, 833, 833, 833, 833, 833, 833,
861, 862, 863, 861, 793, 836, 836, 836, 836, 836,
836, 836, 836, 836, 836, 861, 862, 863, 861, 108,
596, 597, 597, 597, 597, 597, 597, 597, 597, 597,
597, 815, 815, 815, 815, 815, 815, 815, 815, 815,
815, 815, 815, 815, 815, 815, 815, 815, 815, 815,
815, 872, 872, 872, 872, 872, 872, 595, 108, 603,
594, 670, 670, 670, 670, 670, 670, 670, 670, 670,
670, 605, 603, 593, 671, 671, 671, 671, 671, 671,
671, 671, 671, 671, 672, 776, 590, 776, 673, 673,
673, 673, 673, 673, 852, 853, 854, 852, 852, 852,
852, 852, 852, 852, 839, 895, 839, 839, 895, 839,
729, 589, 729, 673, 673, 673, 673, 673, 673, 677,
678, 679, 677, 677, 677, 677, 677, 677, 677, 680,
840, 895, 840, 681, 681, 681, 681, 681, 681, 826,
588, 827, 827, 827, 827, 827, 827, 827, 828, 827,
828, 858, 848, 844, 858, 844, 505, 505, 681, 681,
681, 681, 681, 681, 895, 505, 673, 673, 673, 673,
673, 673, 673, 673, 673, 673, 682, 859, 685, 685,
685, 685, 685, 686, 683, 683, 683, 683, 387, 237,
689, 689, 689, 689, 689, 689, 689, 689, 689, 689,
622, 845, 580, 845, 688, 688, 688, 688, 688, 688,
821, 579, 822, 822, 822, 822, 822, 822, 864, 865,
866, 864, 864, 864, 864, 864, 864, 864, 108, 688,
688, 688, 688, 688, 688, 387, 237, 690, 690, 690,
690, 690, 690, 690, 690, 690, 690, 858, 108, 108,
858, 691, 691, 691, 691, 691, 691, 843, 108, 844,
844, 844, 844, 844, 844, 108, 879, 876, 879, 858,
876, 538, 858, 859, 876, 538, 691, 691, 691, 691,
691, 691, 895, 532, 691, 691, 691, 691, 691, 691,
691, 691, 691, 691, 107, 859, 892, 892, 892, 892,
892, 892, 107, 385, 310, 107, 107, 310, 107, 107,
107, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 880, 525, 880, 107, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 695, 136, 136, 136, 108, 136,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 107, 107, 107, 107, 107, 107, 698, 524, 878,
698, 879, 879, 879, 879, 879, 879, 523, 203, 522,
521, 520, 203, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 699, 203, 519, 518, 214, 214, 214,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
517, 216, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 203, 722,
516, 723, 723, 723, 723, 723, 723, 723, 723, 723,
723, 872, 872, 872, 872, 872, 872, 872, 872, 872,
872, 873, 873, 873, 873, 873, 873, 873, 873, 873,
873, 515, 514, 513, 512, 511, 510, 505, 108, 728,
505, 731, 731, 731, 731, 731, 732, 729, 729, 729,
729, 603, 424, 735, 735, 735, 735, 735, 735, 735,
735, 735, 735, 672, 603, 500, 736, 736, 736, 736,
736, 736, 736, 736, 736, 736, 737, 499, 493, 492,
738, 738, 738, 738, 738, 738, 874, 874, 874, 874,
874, 875, 872, 872, 872, 872, 867, 491, 868, 868,
868, 868, 868, 868, 490, 738, 738, 738, 738, 738,
738, 742, 743, 744, 742, 742, 742, 742, 742, 742,
742, 745, 489, 488, 487, 746, 746, 746, 746, 746,
746, 486, 485, 484, 483, 108, 872, 872, 872, 872,
872, 872, 872, 872, 872, 872, 482, 481, 480, 479,
746, 746, 746, 746, 746, 746, 895, 461, 738, 738,
738, 738, 738, 738, 738, 738, 738, 738, 387, 237,
752, 752, 752, 752, 752, 752, 752, 752, 752, 752,
774, 385, 777, 777, 777, 777, 777, 778, 779, 779,
779, 779, 783, 784, 785, 783, 783, 783, 783, 783,
783, 783, 872, 872, 872, 872, 872, 872, 872, 872,
872, 872, 886, 887, 888, 886, 886, 886, 886, 886,
886, 886, 310, 457, 310, 134, 451, 450, 449, 108,
722, 446, 723, 723, 723, 723, 723, 723, 723, 723,
723, 723, 892, 892, 892, 892, 892, 892, 892, 892,
892, 892, 886, 886, 886, 886, 886, 886, 886, 886,
886, 886, 445, 444, 443, 442, 441, 440, 439, 108,
603, 436, 791, 791, 791, 791, 791, 791, 791, 791,
791, 791, 737, 603, 353, 792, 792, 792, 792, 792,
792, 792, 792, 792, 792, 793, 353, 353, 424, 794,
794, 794, 794, 794, 794, 893, 893, 893, 893, 893,
894, 892, 892, 892, 892, 889, 889, 889, 889, 889,
889, 426, 424, 425, 794, 794, 794, 794, 794, 794,
798, 799, 800, 798, 798, 798, 798, 798, 798, 798,
424, 418, 417, 416, 801, 801, 801, 801, 801, 801,
415, 414, 108, 892, 892, 892, 892, 892, 892, 892,
892, 892, 892, 413, 412, 411, 410, 409, 408, 801,
801, 801, 801, 801, 801, 895, 407, 794, 794, 794,
794, 794, 794, 794, 794, 794, 794, 237, 804, 804,
804, 804, 804, 805, 802, 802, 802, 802, 107, 402,
401, 128, 310, 385, 310, 134, 107, 375, 371, 107,
107, 370, 107, 107, 107, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 369, 368, 367, 107, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 108, 136, 107, 107, 107, 107, 107, 107,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 766, 766, 766, 766, 766, 366, 766, 766, 365,
364, 766, 363, 362, 361, 360, 207, 353, 353, 350,
347, 346, 345, 344, 343, 766, 766, 766, 772, 772,
772, 772, 772, 338, 772, 772, 337, 336, 772, 335,
334, 333, 330, 329, 328, 327, 326, 325, 324, 323,
322, 321, 772, 772, 772, 821, 320, 822, 822, 822,
822, 822, 822, 822, 822, 822, 822, 821, 134, 823,
823, 823, 823, 823, 823, 823, 823, 823, 823, 821,
126, 824, 824, 824, 824, 824, 825, 822, 822, 822,
822, 826, 296, 829, 829, 829, 829, 829, 830, 827,
827, 827, 827, 603, 295, 833, 833, 833, 833, 833,
833, 833, 833, 833, 833, 793, 603, 294, 834, 834,
834, 834, 834, 834, 834, 834, 834, 834, 293, 286,
285, 284, 835, 835, 835, 835, 835, 835, 283, 282,
895, 204, 196, 191, 192, 186, 186, 151, 178, 273,
266, 265, 264, 263, 262, 259, 258, 835, 835, 835,
835, 835, 835, 895, 257, 835, 835, 835, 835, 835,
835, 835, 835, 835, 835, 843, 256, 846, 846, 846,
846, 846, 847, 844, 844, 844, 844, 107, 255, 849,
850, 851, 849, 849, 849, 849, 849, 849, 849, 821,
254, 822, 822, 822, 822, 822, 822, 822, 822, 822,
822, 821, 246, 822, 822, 822, 822, 822, 822, 822,
822, 822, 822, 603, 245, 857, 857, 857, 857, 857,
857, 857, 857, 857, 857, 867, 244, 868, 868, 868,
868, 868, 868, 868, 868, 868, 868, 867, 243, 869,
869, 869, 869, 869, 869, 869, 869, 869, 869, 867,
242, 870, 870, 870, 870, 870, 871, 868, 868, 868,
868, 878, 241, 881, 881, 881, 881, 881, 882, 879,
879, 879, 879, 107, 134, 883, 884, 885, 883, 883,
883, 883, 883, 883, 883, 867, 107, 868, 868, 868,
868, 868, 868, 868, 868, 868, 868, 867, 134, 868,
868, 868, 868, 868, 868, 868, 868, 868, 868, 889,
889, 889, 889, 889, 889, 889, 889, 889, 889, 206,
122, 229, 120, 113, 111, 108, 223, 222, 221, 220,
219, 214, 192, 186, 178, 110, 144, 175, 141, 170,
167, 165, 147, 146, 143, 142, 108, 883, 883, 883,
883, 883, 883, 883, 883, 883, 883, 136, 134, 122,
111, 110, 108, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 108, 890, 890, 890, 890, 890,
891, 889, 889, 889, 889, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 108, 889, 889, 889, 889, 889, 889, 889,
889, 889, 889, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
108, 65, 65, 65, 65, 65, 65, 65, 65, 65,
65, 65, 65, 65, 65, 65, 65, 65, 65, 65,
65, 65, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 75, 75, 75, 75, 75, 75, 75,
75, 75, 75, 75, 75, 75, 75, 75, 75, 75,
75, 75, 75, 75, 82, 82, 82, 82, 82, 82,
82, 82, 82, 82, 82, 82, 82, 82, 82, 82,
82, 82, 82, 82, 82, 107, 895, 895, 895, 895,
895, 895, 107, 895, 107, 107, 107, 107, 895, 895,
107, 107, 107, 107, 107, 107, 112, 112, 112, 112,
112, 112, 112, 112, 112, 112, 112, 112, 112, 112,
112, 112, 112, 112, 112, 112, 112, 117, 895, 895,
895, 895, 117, 895, 117, 895, 117, 117, 117, 117,
117, 895, 117, 117, 117, 117, 117, 117, 121, 895,
895, 895, 895, 895, 895, 121, 895, 121, 121, 121,
121, 895, 895, 121, 121, 121, 121, 121, 121, 123,
895, 895, 123, 123, 895, 123, 123, 895, 123, 123,
123, 123, 895, 895, 123, 123, 123, 123, 123, 123,
133, 133, 895, 133, 895, 895, 895, 133, 172, 895,
895, 172, 172, 895, 172, 172, 895, 172, 172, 172,
172, 895, 895, 172, 172, 172, 172, 172, 172, 177,
895, 895, 177, 177, 895, 177, 177, 895, 177, 177,
177, 177, 895, 177, 177, 177, 895, 177, 177, 177,
185, 895, 895, 185, 895, 895, 185, 185, 895, 185,
185, 185, 185, 185, 895, 185, 185, 185, 185, 185,
185, 189, 189, 189, 189, 189, 189, 189, 189, 189,
189, 189, 189, 189, 189, 189, 189, 189, 189, 189,
189, 189, 191, 191, 895, 191, 895, 191, 191, 191,
191, 191, 191, 191, 191, 191, 191, 191, 191, 191,
191, 191, 191, 198, 895, 895, 895, 895, 198, 895,
198, 895, 198, 198, 198, 198, 198, 895, 198, 198,
198, 198, 198, 198, 202, 895, 895, 895, 895, 895,
895, 202, 895, 202, 202, 202, 202, 895, 202, 202,
202, 202, 202, 202, 202, 205, 895, 895, 205, 205,
895, 205, 205, 895, 205, 205, 205, 205, 895, 205,
205, 205, 205, 205, 205, 205, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 228, 228, 895,
228, 228, 228, 228, 228, 228, 228, 228, 228, 228,
228, 228, 228, 228, 228, 228, 228, 228, 117, 895,
895, 895, 895, 895, 895, 117, 895, 117, 117, 117,
117, 895, 895, 117, 117, 117, 117, 117, 117, 121,
895, 895, 895, 895, 895, 895, 121, 895, 121, 121,
121, 121, 895, 895, 121, 121, 121, 121, 121, 121,
123, 895, 895, 123, 123, 895, 123, 123, 895, 123,
123, 123, 123, 895, 895, 123, 123, 123, 123, 123,
123, 124, 895, 895, 124, 124, 895, 124, 124, 895,
124, 124, 124, 124, 895, 895, 124, 124, 124, 124,
124, 124, 133, 133, 895, 133, 895, 895, 895, 133,
236, 236, 895, 236, 895, 895, 895, 236, 238, 238,
238, 895, 238, 895, 895, 895, 238, 172, 895, 895,
172, 172, 895, 172, 172, 895, 172, 172, 172, 172,
895, 895, 172, 172, 172, 172, 172, 172, 173, 895,
895, 173, 173, 895, 173, 173, 895, 173, 173, 173,
173, 895, 895, 173, 173, 173, 173, 173, 173, 177,
895, 895, 177, 177, 895, 177, 177, 895, 177, 177,
177, 177, 895, 177, 177, 177, 895, 177, 177, 177,
185, 895, 895, 185, 895, 895, 185, 185, 895, 185,
185, 185, 185, 185, 895, 185, 185, 185, 185, 185,
185, 191, 191, 895, 191, 895, 191, 191, 191, 191,
191, 191, 191, 191, 191, 191, 191, 191, 191, 191,
191, 191, 201, 895, 895, 895, 895, 895, 895, 201,
895, 201, 201, 201, 201, 895, 895, 201, 201, 201,
201, 201, 201, 202, 895, 895, 895, 895, 895, 895,
202, 895, 202, 202, 202, 202, 895, 202, 202, 202,
202, 202, 202, 202, 205, 895, 895, 205, 205, 895,
205, 205, 895, 205, 205, 205, 205, 895, 205, 205,
205, 205, 205, 205, 205, 216, 895, 895, 216, 216,
895, 216, 298, 298, 298, 298, 298, 298, 298, 298,
298, 298, 298, 298, 298, 298, 298, 298, 298, 298,
298, 298, 298, 306, 306, 895, 306, 895, 895, 895,
306, 312, 312, 312, 895, 312, 895, 895, 895, 312,
379, 379, 895, 379, 895, 895, 895, 379, 380, 380,
895, 380, 895, 895, 895, 380, 384, 384, 895, 384,
895, 895, 895, 384, 386, 386, 386, 895, 386, 895,
895, 895, 386, 216, 895, 895, 216, 216, 895, 216,
457, 457, 895, 457, 895, 895, 895, 457, 459, 459,
895, 459, 895, 895, 895, 459, 460, 460, 895, 460,
895, 895, 895, 460, 462, 462, 462, 895, 462, 895,
895, 895, 462, 466, 466, 466, 466, 895, 466, 895,
895, 895, 466, 529, 529, 895, 529, 895, 895, 895,
529, 530, 530, 895, 530, 895, 895, 895, 530, 531,
531, 895, 531, 895, 895, 895, 531, 543, 543, 543,
895, 543, 895, 895, 895, 543, 544, 544, 544, 544,
895, 544, 895, 895, 895, 544, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 601, 601, 895,
601, 895, 895, 895, 601, 602, 602, 895, 602, 895,
895, 895, 602, 618, 618, 618, 895, 618, 895, 895,
895, 618, 619, 619, 619, 619, 895, 619, 895, 895,
895, 619, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 216, 895, 895, 216, 216, 895, 216,
203, 895, 895, 895, 203, 203, 895, 203, 203, 203,
895, 895, 203, 203, 665, 665, 895, 665, 895, 895,
895, 665, 669, 895, 669, 669, 895, 669, 895, 895,
895, 669, 687, 687, 687, 895, 687, 895, 895, 895,
687, 688, 688, 688, 688, 895, 688, 895, 895, 895,
688, 630, 630, 895, 895, 630, 895, 895, 895, 630,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 216, 895, 895, 216, 216, 895, 216, 203, 895,
895, 895, 203, 203, 895, 203, 203, 203, 895, 895,
203, 203, 733, 733, 895, 733, 895, 895, 895, 733,
734, 895, 734, 734, 895, 734, 895, 895, 895, 734,
681, 681, 895, 681, 895, 895, 895, 681, 750, 750,
750, 895, 750, 895, 895, 895, 750, 751, 751, 751,
895, 895, 751, 895, 895, 895, 751, 760, 760, 760,
760, 760, 760, 760, 760, 760, 760, 760, 760, 760,
760, 760, 760, 760, 760, 760, 760, 760, 766, 766,
895, 766, 766, 766, 895, 766, 895, 766, 766, 766,
766, 895, 895, 766, 766, 766, 766, 766, 766, 772,
772, 895, 772, 772, 772, 895, 772, 895, 772, 772,
772, 772, 895, 895, 772, 772, 772, 772, 772, 772,
216, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 216, 216, 895, 216, 216, 895, 216, 789, 789,
895, 789, 895, 895, 895, 789, 790, 895, 790, 790,
895, 790, 895, 895, 895, 790, 806, 806, 895, 895,
806, 895, 895, 895, 806, 760, 760, 760, 760, 760,
760, 760, 760, 760, 760, 760, 760, 760, 760, 760,
760, 760, 760, 760, 760, 760, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 766, 895, 895,
895, 895, 895, 895, 766, 895, 766, 766, 766, 766,
895, 895, 766, 766, 766, 766, 766, 766, 772, 895,
895, 895, 895, 895, 895, 772, 895, 772, 772, 772,
772, 895, 895, 772, 772, 772, 772, 772, 772, 831,
831, 895, 831, 895, 895, 895, 831, 832, 895, 832,
832, 895, 832, 895, 895, 895, 832, 855, 855, 895,
855, 895, 895, 895, 855, 856, 895, 856, 895, 895,
856, 895, 895, 895, 856, 860, 860, 860, 860, 860,
860, 860, 860, 860, 860, 860, 860, 860, 860, 860,
860, 860, 860, 860, 860, 860, 15, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895
} ;
static yyconst flex_int16_t yy_chk[6281] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 2, 17, 38, 2, 17, 38, 2,
23, 43, 5, 5, 5, 5, 5, 37, 5, 6,
6, 6, 6, 6, 5, 6, 43, 40, 37, 46,
23, 6, 40, 55, 53, 2, 2, 52, 5, 5,
2, 49, 889, 46, 57, 6, 6, 57, 2, 155,
49, 2, 3, 53, 155, 3, 57, 23, 3, 49,
59, 55, 52, 59, 3, 5, 340, 3, 73, 73,
73, 73, 6, 11, 11, 11, 11, 11, 11, 12,
12, 12, 12, 12, 12, 83, 28, 28, 83, 152,
28, 28, 3, 77, 3, 340, 3, 3, 79, 3,
30, 30, 30, 30, 30, 30, 30, 30, 30, 30,
28, 31, 31, 31, 31, 31, 31, 165, 64, 77,
50, 3, 4, 50, 79, 4, 11, 64, 4, 84,
87, 96, 12, 165, 4, 28, 64, 4, 83, 60,
60, 152, 96, 60, 60, 81, 81, 81, 81, 106,
87, 97, 50, 50, 97, 420, 109, 50, 106, 109,
112, 112, 4, 60, 4, 50, 4, 4, 50, 4,
86, 86, 86, 86, 134, 86, 881, 87, 84, 92,
92, 92, 92, 92, 92, 134, 420, 169, 60, 88,
169, 4, 7, 7, 7, 7, 7, 88, 7, 154,
88, 154, 163, 88, 88, 91, 91, 91, 91, 91,
91, 91, 91, 91, 91, 163, 271, 88, 271, 88,
115, 115, 115, 115, 115, 115, 115, 115, 115, 115,
116, 116, 116, 116, 116, 116, 116, 116, 116, 116,
226, 226, 880, 88, 88, 7, 7, 7, 7, 7,
7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
7, 7, 7, 7, 8, 8, 8, 8, 8, 119,
8, 130, 130, 130, 130, 130, 130, 130, 130, 130,
130, 132, 132, 132, 132, 132, 132, 162, 162, 119,
131, 131, 131, 131, 131, 131, 131, 131, 131, 131,
143, 143, 150, 150, 150, 150, 143, 143, 171, 167,
143, 171, 143, 143, 164, 167, 119, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 8, 8, 9, 9, 9, 9,
9, 9, 9, 179, 179, 179, 179, 9, 9, 9,
123, 123, 162, 166, 123, 123, 153, 153, 153, 153,
164, 196, 176, 9, 196, 168, 166, 176, 168, 190,
190, 190, 190, 156, 123, 194, 156, 168, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 351, 9,
10, 10, 10, 10, 10, 10, 10, 227, 227, 123,
238, 10, 10, 10, 351, 156, 156, 228, 228, 153,
156, 238, 879, 175, 175, 253, 253, 10, 156, 175,
175, 156, 190, 175, 194, 175, 183, 183, 183, 183,
183, 183, 183, 183, 183, 183, 195, 195, 195, 195,
298, 298, 865, 10, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 22, 22, 172,
172, 864, 193, 172, 172, 193, 267, 267, 275, 22,
857, 275, 22, 22, 22, 22, 22, 22, 22, 22,
22, 22, 29, 172, 29, 29, 29, 29, 29, 29,
29, 29, 29, 29, 29, 312, 270, 261, 29, 29,
29, 29, 29, 29, 186, 272, 312, 186, 172, 186,
186, 261, 268, 270, 855, 193, 186, 268, 299, 299,
272, 29, 267, 29, 29, 29, 29, 29, 29, 35,
342, 186, 200, 200, 200, 200, 342, 35, 200, 200,
35, 35, 200, 35, 35, 35, 35, 35, 35, 35,
35, 35, 35, 35, 35, 35, 35, 200, 200, 35,
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
35, 35, 39, 39, 39, 39, 39, 39, 39, 39,
39, 39, 39, 198, 199, 301, 39, 39, 39, 39,
39, 39, 295, 295, 846, 295, 39, 212, 212, 212,
212, 212, 212, 198, 199, 233, 233, 233, 233, 233,
233, 39, 39, 39, 39, 39, 39, 47, 47, 47,
47, 47, 47, 47, 301, 47, 47, 221, 221, 47,
198, 199, 341, 221, 221, 206, 352, 221, 206, 221,
305, 206, 352, 47, 47, 47, 48, 206, 48, 48,
48, 48, 48, 48, 48, 48, 48, 48, 51, 51,
386, 206, 206, 304, 304, 304, 304, 305, 341, 845,
51, 386, 274, 51, 51, 51, 51, 51, 51, 51,
51, 51, 51, 202, 260, 260, 274, 260, 309, 309,
309, 202, 320, 339, 202, 320, 339, 202, 202, 207,
207, 207, 207, 207, 207, 207, 207, 207, 207, 323,
422, 202, 362, 202, 323, 349, 349, 362, 320, 260,
51, 71, 71, 71, 71, 71, 372, 71, 339, 372,
844, 71, 453, 71, 388, 388, 419, 202, 202, 316,
316, 316, 316, 316, 316, 422, 388, 71, 71, 210,
210, 210, 210, 210, 210, 210, 210, 210, 210, 211,
211, 211, 211, 211, 211, 211, 211, 211, 211, 419,
421, 453, 594, 594, 71, 72, 72, 229, 229, 229,
229, 229, 229, 229, 229, 229, 229, 72, 348, 348,
72, 72, 72, 72, 72, 72, 72, 72, 72, 72,
89, 324, 423, 421, 324, 89, 89, 423, 89, 89,
89, 89, 633, 633, 89, 89, 230, 230, 230, 230,
230, 230, 230, 230, 230, 230, 835, 324, 89, 89,
89, 232, 232, 232, 232, 232, 232, 232, 232, 232,
232, 313, 313, 313, 313, 313, 313, 313, 313, 313,
313, 348, 430, 515, 89, 89, 90, 430, 515, 90,
90, 90, 90, 90, 90, 90, 90, 90, 90, 90,
90, 90, 90, 690, 690, 90, 90, 90, 90, 90,
90, 90, 90, 90, 90, 90, 90, 90, 90, 90,
90, 90, 90, 90, 90, 90, 90, 90, 691, 691,
90, 90, 90, 90, 90, 90, 90, 90, 90, 90,
90, 90, 90, 90, 90, 90, 90, 93, 834, 93,
93, 93, 93, 93, 93, 93, 93, 93, 93, 93,
498, 390, 390, 93, 93, 93, 93, 93, 93, 273,
498, 360, 273, 390, 360, 273, 700, 700, 581, 581,
357, 273, 357, 357, 357, 357, 357, 357, 93, 93,
93, 93, 93, 93, 94, 273, 273, 360, 94, 94,
94, 94, 94, 94, 94, 94, 94, 94, 94, 94,
94, 501, 501, 94, 94, 94, 94, 94, 94, 94,
94, 94, 94, 94, 94, 94, 94, 94, 94, 94,
94, 94, 94, 94, 94, 94, 581, 94, 94, 94,
94, 94, 94, 94, 94, 94, 94, 94, 94, 94,
94, 94, 94, 94, 94, 98, 98, 98, 98, 98,
98, 98, 98, 98, 98, 98, 429, 832, 501, 98,
98, 98, 98, 98, 98, 363, 503, 429, 363, 98,
315, 315, 315, 315, 315, 315, 315, 315, 315, 315,
350, 427, 427, 503, 98, 98, 98, 98, 98, 98,
104, 363, 104, 104, 104, 104, 104, 104, 104, 104,
104, 104, 108, 108, 108, 108, 108, 350, 108, 108,
831, 428, 108, 353, 353, 353, 353, 353, 353, 353,
353, 353, 353, 640, 829, 350, 108, 108, 108, 120,
120, 120, 120, 120, 428, 120, 120, 828, 640, 120,
387, 387, 387, 387, 387, 387, 387, 387, 387, 387,
462, 427, 564, 120, 120, 120, 122, 122, 122, 122,
122, 462, 122, 122, 564, 604, 122, 389, 389, 389,
389, 389, 389, 389, 389, 389, 389, 604, 561, 466,
122, 122, 122, 125, 561, 125, 125, 125, 125, 125,
466, 125, 125, 467, 467, 125, 393, 393, 393, 393,
393, 393, 393, 393, 632, 467, 632, 827, 393, 125,
125, 125, 126, 126, 126, 126, 126, 126, 126, 126,
126, 126, 395, 395, 395, 395, 395, 395, 395, 395,
395, 395, 396, 396, 396, 396, 396, 396, 399, 405,
502, 399, 405, 476, 476, 476, 476, 476, 476, 126,
127, 502, 127, 127, 127, 127, 127, 127, 127, 127,
127, 127, 127, 817, 399, 405, 127, 127, 127, 127,
127, 127, 468, 468, 469, 469, 469, 469, 469, 469,
469, 469, 469, 469, 468, 816, 470, 470, 583, 127,
543, 127, 127, 127, 127, 127, 127, 135, 470, 483,
486, 543, 483, 486, 583, 135, 565, 810, 135, 135,
565, 135, 135, 135, 135, 135, 135, 135, 135, 135,
135, 135, 135, 135, 135, 483, 486, 135, 135, 135,
135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 504, 806, 723, 136, 136, 136, 136, 136, 136,
456, 504, 456, 456, 456, 456, 456, 456, 475, 475,
475, 475, 475, 475, 475, 475, 475, 475, 578, 136,
136, 136, 136, 136, 136, 174, 560, 174, 174, 174,
174, 174, 723, 174, 174, 578, 560, 174, 606, 456,
505, 505, 505, 505, 505, 505, 505, 505, 505, 505,
606, 174, 174, 174, 204, 204, 204, 204, 204, 480,
204, 204, 480, 544, 204, 473, 473, 473, 473, 473,
473, 473, 473, 481, 544, 571, 481, 473, 204, 204,
204, 205, 571, 566, 804, 480, 205, 205, 582, 205,
205, 205, 205, 566, 489, 205, 205, 489, 582, 481,
482, 545, 545, 482, 480, 484, 546, 546, 484, 205,
205, 205, 570, 545, 569, 752, 752, 481, 546, 569,
489, 548, 548, 570, 485, 572, 482, 485, 489, 635,
803, 484, 572, 548, 635, 205, 205, 208, 208, 208,
208, 208, 208, 208, 208, 208, 208, 482, 484, 711,
485, 208, 208, 208, 208, 208, 208, 488, 491, 802,
488, 491, 485, 618, 619, 711, 509, 485, 509, 509,
509, 509, 509, 509, 618, 619, 208, 208, 208, 208,
208, 208, 213, 488, 491, 727, 213, 213, 213, 213,
213, 213, 213, 213, 213, 213, 213, 213, 213, 488,
790, 213, 213, 213, 213, 213, 213, 213, 213, 213,
213, 213, 213, 213, 213, 213, 213, 213, 213, 213,
213, 213, 213, 213, 727, 213, 213, 213, 213, 213,
213, 213, 213, 213, 213, 213, 213, 213, 213, 213,
213, 213, 213, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 687, 789, 584, 214, 214, 214,
214, 214, 214, 487, 593, 687, 487, 528, 528, 528,
528, 528, 528, 584, 490, 492, 493, 490, 492, 493,
787, 593, 214, 214, 214, 214, 214, 214, 231, 487,
231, 231, 231, 231, 231, 231, 231, 231, 231, 231,
490, 492, 493, 510, 760, 760, 510, 535, 535, 535,
535, 535, 535, 487, 688, 513, 516, 490, 513, 516,
636, 786, 636, 493, 645, 688, 645, 231, 234, 510,
234, 234, 234, 234, 234, 234, 234, 234, 234, 234,
519, 513, 516, 519, 234, 234, 234, 234, 234, 234,
527, 527, 527, 527, 527, 527, 527, 527, 527, 527,
520, 557, 562, 520, 557, 562, 519, 779, 597, 234,
234, 234, 234, 234, 234, 237, 237, 237, 237, 237,
237, 237, 237, 237, 237, 237, 520, 557, 562, 237,
237, 237, 237, 237, 237, 532, 532, 532, 532, 532,
532, 532, 532, 532, 532, 542, 597, 542, 542, 542,
542, 542, 542, 777, 237, 237, 237, 237, 237, 237,
239, 239, 239, 239, 239, 239, 239, 239, 239, 239,
239, 239, 664, 664, 664, 239, 239, 239, 239, 239,
239, 534, 534, 534, 534, 534, 534, 534, 534, 534,
534, 554, 554, 554, 554, 554, 554, 697, 776, 697,
239, 239, 239, 239, 239, 239, 240, 240, 240, 240,
240, 240, 240, 240, 240, 240, 240, 763, 763, 775,
240, 240, 240, 240, 240, 240, 538, 538, 538, 538,
538, 538, 538, 538, 538, 538, 600, 600, 600, 600,
620, 620, 860, 860, 772, 240, 240, 240, 240, 240,
240, 278, 620, 278, 278, 278, 278, 278, 278, 278,
278, 278, 278, 279, 279, 279, 279, 279, 279, 279,
279, 279, 279, 279, 770, 710, 710, 279, 279, 279,
279, 279, 279, 547, 547, 547, 547, 547, 547, 547,
547, 547, 547, 567, 573, 575, 567, 573, 575, 822,
863, 863, 279, 279, 279, 279, 279, 279, 281, 281,
281, 281, 281, 281, 281, 281, 281, 281, 766, 567,
573, 575, 281, 281, 281, 281, 281, 281, 551, 551,
551, 551, 551, 551, 551, 551, 695, 710, 822, 695,
551, 612, 612, 612, 612, 612, 612, 281, 281, 281,
281, 281, 281, 300, 300, 300, 300, 300, 300, 300,
300, 300, 300, 553, 553, 553, 553, 553, 553, 553,
553, 553, 553, 603, 603, 603, 603, 603, 603, 603,
603, 603, 603, 629, 629, 629, 629, 629, 629, 765,
300, 308, 308, 308, 308, 308, 308, 308, 308, 308,
308, 308, 314, 314, 314, 314, 314, 314, 314, 314,
314, 314, 314, 314, 314, 909, 909, 909, 314, 314,
314, 314, 314, 314, 605, 605, 605, 605, 605, 605,
605, 605, 605, 605, 759, 658, 659, 634, 658, 659,
634, 769, 758, 314, 314, 314, 314, 314, 314, 317,
317, 317, 317, 317, 317, 317, 317, 317, 317, 317,
317, 658, 659, 634, 317, 317, 317, 317, 317, 317,
609, 670, 609, 609, 609, 609, 609, 609, 709, 709,
709, 709, 609, 670, 621, 621, 634, 757, 769, 317,
317, 317, 317, 317, 317, 318, 621, 318, 318, 318,
318, 318, 318, 318, 318, 318, 318, 358, 358, 358,
358, 358, 358, 358, 358, 358, 358, 698, 968, 968,
698, 358, 358, 358, 358, 358, 358, 611, 611, 611,
611, 611, 611, 611, 611, 611, 611, 751, 702, 637,
701, 702, 637, 698, 868, 701, 358, 358, 358, 358,
358, 358, 359, 359, 359, 359, 359, 359, 359, 359,
359, 359, 623, 623, 702, 637, 359, 359, 359, 359,
359, 359, 671, 673, 623, 626, 626, 626, 626, 626,
626, 626, 626, 868, 671, 673, 735, 626, 637, 969,
969, 359, 359, 359, 359, 359, 359, 376, 735, 376,
376, 376, 376, 376, 376, 376, 376, 376, 376, 377,
736, 377, 377, 377, 377, 377, 377, 377, 377, 377,
377, 378, 736, 378, 378, 378, 378, 378, 378, 378,
378, 378, 378, 381, 381, 381, 381, 381, 381, 381,
381, 381, 381, 381, 391, 391, 391, 391, 391, 391,
391, 391, 391, 391, 391, 391, 391, 929, 929, 929,
391, 391, 391, 391, 391, 391, 628, 628, 628, 628,
628, 628, 628, 628, 628, 628, 980, 980, 638, 696,
704, 638, 696, 704, 748, 391, 391, 391, 391, 391,
391, 394, 394, 394, 394, 394, 394, 394, 394, 394,
394, 394, 394, 394, 638, 696, 704, 394, 394, 394,
394, 394, 394, 644, 644, 644, 644, 648, 648, 648,
648, 648, 648, 648, 648, 648, 648, 638, 696, 939,
747, 939, 394, 394, 394, 394, 394, 394, 397, 397,
397, 397, 397, 397, 397, 397, 397, 397, 397, 397,
940, 734, 940, 397, 397, 397, 397, 397, 397, 652,
652, 652, 652, 652, 652, 652, 717, 733, 717, 717,
717, 644, 679, 679, 679, 679, 679, 679, 397, 397,
397, 397, 397, 397, 398, 738, 398, 398, 398, 398,
398, 398, 398, 398, 398, 398, 433, 738, 433, 433,
433, 433, 433, 433, 433, 433, 433, 433, 434, 434,
434, 434, 434, 434, 434, 434, 434, 434, 708, 731,
764, 764, 434, 434, 434, 434, 434, 434, 662, 662,
662, 662, 662, 662, 662, 662, 662, 662, 1000, 1000,
708, 646, 708, 708, 951, 730, 951, 434, 434, 434,
434, 434, 434, 435, 435, 435, 435, 435, 435, 435,
435, 435, 435, 646, 729, 646, 646, 435, 435, 435,
435, 435, 435, 663, 663, 663, 663, 663, 663, 663,
663, 663, 663, 718, 715, 906, 718, 764, 906, 952,
646, 952, 435, 435, 435, 435, 435, 435, 452, 452,
452, 452, 452, 452, 452, 452, 452, 452, 676, 718,
676, 676, 676, 676, 676, 676, 726, 726, 726, 726,
676, 678, 678, 678, 678, 678, 678, 678, 678, 678,
678, 761, 761, 761, 761, 452, 454, 791, 454, 454,
454, 454, 454, 454, 454, 454, 454, 454, 455, 791,
455, 455, 455, 455, 455, 455, 455, 455, 455, 455,
461, 461, 461, 461, 461, 461, 461, 461, 461, 461,
461, 956, 714, 956, 461, 461, 461, 461, 461, 461,
682, 682, 682, 682, 682, 682, 682, 682, 682, 682,
686, 707, 686, 686, 686, 686, 686, 686, 706, 461,
461, 461, 461, 461, 461, 465, 685, 465, 465, 465,
465, 465, 465, 465, 465, 465, 465, 471, 471, 471,
471, 471, 471, 471, 471, 471, 471, 471, 471, 471,
689, 689, 684, 471, 471, 471, 471, 471, 471, 1001,
1001, 750, 689, 694, 694, 694, 694, 694, 694, 694,
694, 712, 750, 683, 712, 712, 712, 712, 471, 471,
471, 471, 471, 471, 474, 474, 474, 474, 474, 474,
474, 474, 474, 474, 474, 474, 474, 957, 672, 957,
474, 474, 474, 474, 474, 474, 713, 669, 667, 713,
713, 713, 713, 768, 768, 768, 666, 719, 720, 721,
719, 720, 721, 665, 712, 474, 474, 474, 474, 474,
474, 477, 477, 477, 477, 477, 477, 477, 477, 477,
477, 477, 477, 719, 720, 721, 477, 477, 477, 477,
477, 477, 744, 744, 744, 744, 744, 744, 792, 713,
657, 656, 768, 721, 719, 754, 720, 961, 754, 961,
792, 477, 477, 477, 477, 477, 477, 478, 654, 478,
478, 478, 478, 478, 478, 478, 478, 478, 478, 479,
479, 754, 756, 479, 653, 756, 919, 479, 651, 919,
479, 479, 650, 479, 479, 479, 479, 479, 479, 479,
479, 479, 479, 479, 479, 479, 479, 649, 756, 479,
479, 479, 479, 479, 479, 479, 479, 479, 479, 479,
479, 479, 479, 479, 479, 479, 479, 479, 479, 479,
479, 479, 479, 479, 479, 479, 479, 479, 479, 479,
479, 479, 479, 479, 479, 479, 479, 479, 479, 479,
479, 479, 526, 526, 526, 526, 526, 526, 526, 526,
526, 526, 526, 728, 728, 728, 728, 728, 728, 728,
728, 728, 728, 732, 647, 732, 732, 732, 732, 732,
732, 778, 643, 778, 778, 778, 778, 778, 778, 642,
526, 533, 794, 533, 533, 533, 533, 533, 533, 533,
533, 533, 533, 533, 794, 641, 639, 533, 533, 533,
533, 533, 533, 737, 737, 737, 737, 737, 737, 737,
737, 737, 737, 767, 622, 616, 767, 767, 767, 767,
615, 602, 533, 533, 533, 533, 533, 533, 536, 536,
536, 536, 536, 536, 536, 536, 536, 536, 536, 964,
601, 964, 536, 536, 536, 536, 536, 536, 741, 833,
741, 741, 741, 741, 741, 741, 813, 813, 813, 813,
741, 833, 838, 838, 838, 838, 767, 536, 536, 536,
536, 536, 536, 537, 595, 537, 537, 537, 537, 537,
537, 537, 537, 537, 537, 549, 549, 549, 549, 549,
549, 549, 549, 549, 549, 549, 549, 549, 974, 592,
974, 549, 549, 549, 549, 549, 549, 743, 743, 743,
743, 743, 743, 743, 743, 743, 743, 591, 589, 780,
781, 782, 780, 781, 782, 588, 549, 549, 549, 549,
549, 549, 552, 552, 552, 552, 552, 552, 552, 552,
552, 552, 552, 552, 552, 780, 781, 782, 552, 552,
552, 552, 552, 552, 774, 774, 774, 774, 774, 774,
774, 774, 774, 774, 975, 807, 975, 781, 807, 782,
983, 586, 983, 552, 552, 552, 552, 552, 552, 555,
555, 555, 555, 555, 555, 555, 555, 555, 555, 555,
809, 807, 585, 809, 555, 555, 555, 555, 555, 555,
793, 793, 793, 793, 793, 793, 793, 793, 793, 793,
800, 800, 800, 800, 800, 800, 809, 580, 579, 555,
555, 555, 555, 555, 555, 556, 577, 556, 556, 556,
556, 556, 556, 556, 556, 556, 556, 559, 805, 805,
805, 805, 805, 805, 805, 559, 541, 1006, 559, 559,
1006, 559, 559, 559, 559, 559, 559, 559, 559, 559,
559, 559, 559, 559, 984, 540, 984, 559, 559, 559,
559, 559, 559, 559, 559, 559, 559, 559, 559, 559,
559, 559, 559, 559, 559, 559, 559, 559, 559, 559,
559, 559, 559, 559, 559, 559, 559, 559, 559, 559,
559, 559, 559, 559, 559, 559, 559, 559, 559, 559,
587, 587, 587, 587, 587, 587, 587, 587, 587, 587,
587, 590, 988, 539, 988, 590, 590, 590, 590, 590,
590, 590, 590, 590, 590, 590, 994, 590, 994, 531,
590, 590, 590, 590, 590, 590, 590, 590, 590, 590,
590, 590, 590, 590, 590, 590, 590, 590, 590, 590,
590, 590, 590, 530, 590, 590, 590, 590, 590, 590,
590, 590, 590, 590, 590, 590, 590, 590, 590, 590,
590, 590, 596, 596, 596, 596, 596, 596, 596, 596,
596, 596, 797, 529, 797, 797, 797, 797, 797, 797,
842, 842, 842, 842, 797, 799, 799, 799, 799, 799,
799, 799, 799, 799, 799, 861, 861, 861, 861, 596,
598, 598, 598, 598, 598, 598, 598, 598, 598, 598,
598, 814, 814, 814, 814, 814, 814, 814, 814, 814,
814, 815, 815, 815, 815, 815, 815, 815, 815, 815,
815, 875, 875, 875, 875, 875, 875, 525, 598, 607,
518, 607, 607, 607, 607, 607, 607, 607, 607, 607,
607, 607, 610, 517, 610, 610, 610, 610, 610, 610,
610, 610, 610, 610, 610, 995, 514, 995, 610, 610,
610, 610, 610, 610, 826, 826, 826, 826, 826, 826,
826, 826, 826, 826, 819, 820, 839, 819, 820, 839,
997, 512, 997, 610, 610, 610, 610, 610, 610, 613,
613, 613, 613, 613, 613, 613, 613, 613, 613, 613,
819, 820, 839, 613, 613, 613, 613, 613, 613, 830,
511, 830, 830, 830, 830, 830, 830, 1008, 1009, 1008,
1009, 841, 820, 1012, 841, 1012, 508, 507, 613, 613,
613, 613, 613, 613, 614, 506, 614, 614, 614, 614,
614, 614, 614, 614, 614, 614, 617, 841, 617, 617,
617, 617, 617, 617, 617, 617, 617, 617, 624, 624,
624, 624, 624, 624, 624, 624, 624, 624, 624, 624,
624, 1013, 500, 1013, 624, 624, 624, 624, 624, 624,
825, 499, 825, 825, 825, 825, 825, 825, 843, 843,
843, 843, 843, 843, 843, 843, 843, 843, 497, 624,
624, 624, 624, 624, 624, 627, 627, 627, 627, 627,
627, 627, 627, 627, 627, 627, 627, 848, 496, 825,
848, 627, 627, 627, 627, 627, 627, 847, 495, 847,
847, 847, 847, 847, 847, 494, 1018, 1017, 1018, 858,
1017, 464, 858, 848, 1017, 463, 627, 627, 627, 627,
627, 627, 630, 460, 630, 630, 630, 630, 630, 630,
630, 630, 630, 630, 631, 858, 894, 894, 894, 894,
894, 894, 631, 459, 458, 631, 631, 457, 631, 631,
631, 631, 631, 631, 631, 631, 631, 631, 631, 631,
631, 1019, 451, 1019, 631, 631, 631, 631, 631, 631,
631, 631, 631, 631, 631, 631, 631, 631, 631, 631,
631, 631, 631, 631, 631, 631, 631, 631, 631, 631,
631, 631, 631, 631, 631, 631, 631, 631, 631, 631,
631, 631, 631, 631, 631, 631, 631, 655, 450, 882,
655, 882, 882, 882, 882, 882, 882, 449, 655, 448,
447, 446, 655, 655, 655, 655, 655, 655, 655, 655,
655, 655, 655, 655, 655, 445, 444, 655, 655, 655,
655, 655, 655, 655, 655, 655, 655, 655, 655, 655,
655, 655, 655, 655, 655, 655, 655, 655, 655, 655,
443, 655, 655, 655, 655, 655, 655, 655, 655, 655,
655, 655, 655, 655, 655, 655, 655, 655, 655, 661,
442, 661, 661, 661, 661, 661, 661, 661, 661, 661,
661, 852, 852, 852, 852, 852, 852, 852, 852, 852,
852, 853, 853, 853, 853, 853, 853, 853, 853, 853,
853, 441, 440, 439, 438, 437, 436, 432, 661, 668,
431, 668, 668, 668, 668, 668, 668, 668, 668, 668,
668, 674, 426, 674, 674, 674, 674, 674, 674, 674,
674, 674, 674, 674, 677, 425, 677, 677, 677, 677,
677, 677, 677, 677, 677, 677, 677, 424, 418, 417,
677, 677, 677, 677, 677, 677, 854, 854, 854, 854,
854, 854, 854, 854, 854, 854, 871, 415, 871, 871,
871, 871, 871, 871, 414, 677, 677, 677, 677, 677,
677, 680, 680, 680, 680, 680, 680, 680, 680, 680,
680, 680, 413, 412, 411, 680, 680, 680, 680, 680,
680, 410, 409, 408, 407, 871, 873, 873, 873, 873,
873, 873, 873, 873, 873, 873, 404, 403, 402, 401,
680, 680, 680, 680, 680, 680, 681, 385, 681, 681,
681, 681, 681, 681, 681, 681, 681, 681, 692, 692,
692, 692, 692, 692, 692, 692, 692, 692, 692, 692,
716, 384, 716, 716, 716, 716, 716, 716, 716, 716,
716, 716, 722, 722, 722, 722, 722, 722, 722, 722,
722, 722, 874, 874, 874, 874, 874, 874, 874, 874,
874, 874, 878, 878, 878, 878, 878, 878, 878, 878,
878, 878, 383, 382, 380, 379, 375, 374, 373, 722,
724, 371, 724, 724, 724, 724, 724, 724, 724, 724,
724, 724, 886, 886, 886, 886, 886, 886, 886, 886,
886, 886, 887, 887, 887, 887, 887, 887, 887, 887,
887, 887, 370, 369, 368, 367, 366, 365, 364, 724,
739, 361, 739, 739, 739, 739, 739, 739, 739, 739,
739, 739, 739, 742, 356, 742, 742, 742, 742, 742,
742, 742, 742, 742, 742, 742, 355, 354, 347, 742,
742, 742, 742, 742, 742, 888, 888, 888, 888, 888,
888, 888, 888, 888, 888, 891, 891, 891, 891, 891,
891, 346, 345, 344, 742, 742, 742, 742, 742, 742,
745, 745, 745, 745, 745, 745, 745, 745, 745, 745,
343, 337, 336, 334, 745, 745, 745, 745, 745, 745,
333, 332, 891, 893, 893, 893, 893, 893, 893, 893,
893, 893, 893, 331, 330, 329, 328, 327, 326, 745,
745, 745, 745, 745, 745, 746, 325, 746, 746, 746,
746, 746, 746, 746, 746, 746, 746, 749, 749, 749,
749, 749, 749, 749, 749, 749, 749, 749, 753, 322,
321, 319, 311, 310, 307, 306, 753, 296, 294, 753,
753, 293, 753, 753, 753, 753, 753, 753, 753, 753,
753, 753, 753, 753, 753, 292, 291, 290, 753, 753,
753, 753, 753, 753, 753, 753, 753, 753, 753, 753,
753, 753, 753, 753, 753, 753, 753, 753, 753, 753,
753, 753, 753, 753, 753, 753, 753, 753, 753, 753,
753, 753, 753, 753, 753, 753, 753, 753, 753, 753,
753, 771, 771, 771, 771, 771, 289, 771, 771, 288,
287, 771, 286, 285, 284, 283, 280, 277, 276, 269,
266, 265, 264, 263, 262, 771, 771, 771, 773, 773,
773, 773, 773, 259, 773, 773, 258, 257, 773, 256,
255, 254, 252, 251, 250, 249, 248, 247, 246, 245,
244, 243, 773, 773, 773, 783, 242, 783, 783, 783,
783, 783, 783, 783, 783, 783, 783, 784, 236, 784,
784, 784, 784, 784, 784, 784, 784, 784, 784, 785,
235, 785, 785, 785, 785, 785, 785, 785, 785, 785,
785, 788, 225, 788, 788, 788, 788, 788, 788, 788,
788, 788, 788, 795, 224, 795, 795, 795, 795, 795,
795, 795, 795, 795, 795, 795, 798, 223, 798, 798,
798, 798, 798, 798, 798, 798, 798, 798, 222, 220,
219, 218, 798, 798, 798, 798, 798, 798, 217, 215,
209, 201, 197, 192, 191, 189, 185, 180, 178, 173,
161, 160, 159, 158, 157, 149, 148, 798, 798, 798,
798, 798, 798, 801, 147, 801, 801, 801, 801, 801,
801, 801, 801, 801, 801, 818, 146, 818, 818, 818,
818, 818, 818, 818, 818, 818, 818, 821, 145, 821,
821, 821, 821, 821, 821, 821, 821, 821, 821, 823,
144, 823, 823, 823, 823, 823, 823, 823, 823, 823,
823, 824, 142, 824, 824, 824, 824, 824, 824, 824,
824, 824, 824, 836, 141, 836, 836, 836, 836, 836,
836, 836, 836, 836, 836, 849, 140, 849, 849, 849,
849, 849, 849, 849, 849, 849, 849, 850, 139, 850,
850, 850, 850, 850, 850, 850, 850, 850, 850, 851,
138, 851, 851, 851, 851, 851, 851, 851, 851, 851,
851, 866, 137, 866, 866, 866, 866, 866, 866, 866,
866, 866, 866, 867, 133, 867, 867, 867, 867, 867,
867, 867, 867, 867, 867, 869, 129, 869, 869, 869,
869, 869, 869, 869, 869, 869, 869, 870, 128, 870,
870, 870, 870, 870, 870, 870, 870, 870, 870, 883,
883, 883, 883, 883, 883, 883, 883, 883, 883, 124,
121, 118, 117, 114, 111, 107, 103, 102, 101, 100,
99, 95, 82, 75, 68, 67, 63, 62, 61, 58,
56, 54, 45, 44, 42, 41, 883, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 36, 32, 26,
20, 19, 16, 15, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 884, 885, 885, 885, 885, 885,
885, 885, 885, 885, 885, 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, 885, 890, 890, 890, 890, 890, 890, 890,
890, 890, 890, 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,
890, 896, 896, 896, 896, 896, 896, 896, 896, 896,
896, 896, 896, 896, 896, 896, 896, 896, 896, 896,
896, 896, 897, 897, 897, 897, 897, 897, 897, 897,
897, 897, 897, 897, 897, 897, 897, 897, 897, 897,
897, 897, 897, 898, 898, 898, 898, 898, 898, 898,
898, 898, 898, 898, 898, 898, 898, 898, 898, 898,
898, 898, 898, 898, 899, 899, 899, 899, 899, 899,
899, 899, 899, 899, 899, 899, 899, 899, 899, 899,
899, 899, 899, 899, 899, 900, 0, 0, 0, 0,
0, 0, 900, 0, 900, 900, 900, 900, 0, 0,
900, 900, 900, 900, 900, 900, 901, 901, 901, 901,
901, 901, 901, 901, 901, 901, 901, 901, 901, 901,
901, 901, 901, 901, 901, 901, 901, 902, 0, 0,
0, 0, 902, 0, 902, 0, 902, 902, 902, 902,
902, 0, 902, 902, 902, 902, 902, 902, 903, 0,
0, 0, 0, 0, 0, 903, 0, 903, 903, 903,
903, 0, 0, 903, 903, 903, 903, 903, 903, 904,
0, 0, 904, 904, 0, 904, 904, 0, 904, 904,
904, 904, 0, 0, 904, 904, 904, 904, 904, 904,
905, 905, 0, 905, 0, 0, 0, 905, 907, 0,
0, 907, 907, 0, 907, 907, 0, 907, 907, 907,
907, 0, 0, 907, 907, 907, 907, 907, 907, 908,
0, 0, 908, 908, 0, 908, 908, 0, 908, 908,
908, 908, 0, 908, 908, 908, 0, 908, 908, 908,
910, 0, 0, 910, 0, 0, 910, 910, 0, 910,
910, 910, 910, 910, 0, 910, 910, 910, 910, 910,
910, 911, 911, 911, 911, 911, 911, 911, 911, 911,
911, 911, 911, 911, 911, 911, 911, 911, 911, 911,
911, 911, 912, 912, 0, 912, 0, 912, 912, 912,
912, 912, 912, 912, 912, 912, 912, 912, 912, 912,
912, 912, 912, 913, 0, 0, 0, 0, 913, 0,
913, 0, 913, 913, 913, 913, 913, 0, 913, 913,
913, 913, 913, 913, 914, 0, 0, 0, 0, 0,
0, 914, 0, 914, 914, 914, 914, 0, 914, 914,
914, 914, 914, 914, 914, 915, 0, 0, 915, 915,
0, 915, 915, 0, 915, 915, 915, 915, 0, 915,
915, 915, 915, 915, 915, 915, 916, 916, 916, 916,
916, 916, 916, 916, 916, 916, 916, 916, 916, 916,
916, 916, 916, 916, 916, 916, 916, 917, 917, 0,
917, 917, 917, 917, 917, 917, 917, 917, 917, 917,
917, 917, 917, 917, 917, 917, 917, 917, 918, 0,
0, 0, 0, 0, 0, 918, 0, 918, 918, 918,
918, 0, 0, 918, 918, 918, 918, 918, 918, 920,
0, 0, 0, 0, 0, 0, 920, 0, 920, 920,
920, 920, 0, 0, 920, 920, 920, 920, 920, 920,
921, 0, 0, 921, 921, 0, 921, 921, 0, 921,
921, 921, 921, 0, 0, 921, 921, 921, 921, 921,
921, 922, 0, 0, 922, 922, 0, 922, 922, 0,
922, 922, 922, 922, 0, 0, 922, 922, 922, 922,
922, 922, 923, 923, 0, 923, 0, 0, 0, 923,
924, 924, 0, 924, 0, 0, 0, 924, 925, 925,
925, 0, 925, 0, 0, 0, 925, 926, 0, 0,
926, 926, 0, 926, 926, 0, 926, 926, 926, 926,
0, 0, 926, 926, 926, 926, 926, 926, 927, 0,
0, 927, 927, 0, 927, 927, 0, 927, 927, 927,
927, 0, 0, 927, 927, 927, 927, 927, 927, 928,
0, 0, 928, 928, 0, 928, 928, 0, 928, 928,
928, 928, 0, 928, 928, 928, 0, 928, 928, 928,
930, 0, 0, 930, 0, 0, 930, 930, 0, 930,
930, 930, 930, 930, 0, 930, 930, 930, 930, 930,
930, 931, 931, 0, 931, 0, 931, 931, 931, 931,
931, 931, 931, 931, 931, 931, 931, 931, 931, 931,
931, 931, 932, 0, 0, 0, 0, 0, 0, 932,
0, 932, 932, 932, 932, 0, 0, 932, 932, 932,
932, 932, 932, 933, 0, 0, 0, 0, 0, 0,
933, 0, 933, 933, 933, 933, 0, 933, 933, 933,
933, 933, 933, 933, 934, 0, 0, 934, 934, 0,
934, 934, 0, 934, 934, 934, 934, 0, 934, 934,
934, 934, 934, 934, 934, 935, 0, 0, 935, 935,
0, 935, 936, 936, 936, 936, 936, 936, 936, 936,
936, 936, 936, 936, 936, 936, 936, 936, 936, 936,
936, 936, 936, 937, 937, 0, 937, 0, 0, 0,
937, 938, 938, 938, 0, 938, 0, 0, 0, 938,
941, 941, 0, 941, 0, 0, 0, 941, 942, 942,
0, 942, 0, 0, 0, 942, 943, 943, 0, 943,
0, 0, 0, 943, 944, 944, 944, 0, 944, 0,
0, 0, 944, 945, 0, 0, 945, 945, 0, 945,
946, 946, 0, 946, 0, 0, 0, 946, 947, 947,
0, 947, 0, 0, 0, 947, 948, 948, 0, 948,
0, 0, 0, 948, 949, 949, 949, 0, 949, 0,
0, 0, 949, 950, 950, 950, 950, 0, 950, 0,
0, 0, 950, 953, 953, 0, 953, 0, 0, 0,
953, 954, 954, 0, 954, 0, 0, 0, 954, 955,
955, 0, 955, 0, 0, 0, 955, 958, 958, 958,
0, 958, 0, 0, 0, 958, 959, 959, 959, 959,
0, 959, 0, 0, 0, 959, 960, 960, 960, 960,
960, 960, 960, 960, 960, 960, 960, 960, 960, 960,
960, 960, 960, 960, 960, 960, 960, 962, 962, 0,
962, 0, 0, 0, 962, 963, 963, 0, 963, 0,
0, 0, 963, 965, 965, 965, 0, 965, 0, 0,
0, 965, 966, 966, 966, 966, 0, 966, 0, 0,
0, 966, 967, 967, 967, 967, 967, 967, 967, 967,
967, 967, 967, 967, 967, 967, 967, 967, 967, 967,
967, 967, 967, 970, 0, 0, 970, 970, 0, 970,
971, 0, 0, 0, 971, 971, 0, 971, 971, 971,
0, 0, 971, 971, 972, 972, 0, 972, 0, 0,
0, 972, 973, 0, 973, 973, 0, 973, 0, 0,
0, 973, 976, 976, 976, 0, 976, 0, 0, 0,
976, 977, 977, 977, 977, 0, 977, 0, 0, 0,
977, 978, 978, 0, 0, 978, 0, 0, 0, 978,
979, 979, 979, 979, 979, 979, 979, 979, 979, 979,
979, 979, 979, 979, 979, 979, 979, 979, 979, 979,
979, 981, 0, 0, 981, 981, 0, 981, 982, 0,
0, 0, 982, 982, 0, 982, 982, 982, 0, 0,
982, 982, 985, 985, 0, 985, 0, 0, 0, 985,
986, 0, 986, 986, 0, 986, 0, 0, 0, 986,
987, 987, 0, 987, 0, 0, 0, 987, 989, 989,
989, 0, 989, 0, 0, 0, 989, 990, 990, 990,
0, 0, 990, 0, 0, 0, 990, 991, 991, 991,
991, 991, 991, 991, 991, 991, 991, 991, 991, 991,
991, 991, 991, 991, 991, 991, 991, 991, 992, 992,
0, 992, 992, 992, 0, 992, 0, 992, 992, 992,
992, 0, 0, 992, 992, 992, 992, 992, 992, 993,
993, 0, 993, 993, 993, 0, 993, 0, 993, 993,
993, 993, 0, 0, 993, 993, 993, 993, 993, 993,
996, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 996, 996, 0, 996, 996, 0, 996, 998, 998,
0, 998, 0, 0, 0, 998, 999, 0, 999, 999,
0, 999, 0, 0, 0, 999, 1002, 1002, 0, 0,
1002, 0, 0, 0, 1002, 1003, 1003, 1003, 1003, 1003,
1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003,
1003, 1003, 1003, 1003, 1003, 1003, 1004, 1004, 1004, 1004,
1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004,
1004, 1004, 1004, 1004, 1004, 1004, 1004, 1005, 0, 0,
0, 0, 0, 0, 1005, 0, 1005, 1005, 1005, 1005,
0, 0, 1005, 1005, 1005, 1005, 1005, 1005, 1007, 0,
0, 0, 0, 0, 0, 1007, 0, 1007, 1007, 1007,
1007, 0, 0, 1007, 1007, 1007, 1007, 1007, 1007, 1010,
1010, 0, 1010, 0, 0, 0, 1010, 1011, 0, 1011,
1011, 0, 1011, 0, 0, 0, 1011, 1014, 1014, 0,
1014, 0, 0, 0, 1014, 1015, 0, 1015, 0, 0,
1015, 0, 0, 0, 1015, 1016, 1016, 1016, 1016, 1016,
1016, 1016, 1016, 1016, 1016, 1016, 1016, 1016, 1016, 1016,
1016, 1016, 1016, 1016, 1016, 1016, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 895
} ;
static yy_state_type yy_last_accepting_state;
static char *yy_last_accepting_cpos;
extern int sudoers_flex_debug;
int sudoers_flex_debug = 0;
/* The intent behind this definition is that it'll catch
* any uses of REJECT which flex missed.
*/
#define REJECT reject_used_but_not_detected
#define yymore() yymore_used_but_not_detected
#define YY_MORE_ADJ 0
#define YY_RESTORE_YY_MORE_OFFSET
char *sudoerstext;
#line 1 "toke.l"
#line 2 "toke.l"
/*
* SPDX-License-Identifier: ISC
*
* Copyright (c) 1996, 1998-2005, 2007-2017
* Todd C. Miller <Todd.Miller@sudo.ws>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*
* Sponsored in part by the Defense Advanced Research Projects
* Agency (DARPA) and Air Force Research Laboratory, Air Force
* Materiel Command, USAF, under agreement number F39502-99-1-0512.
*/
#include <config.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <stdio.h>
#include <stdlib.h>
#ifdef HAVE_STRING_H
# include <string.h>
#endif /* HAVE_STRING_H */
#ifdef HAVE_STRINGS_H
# include <strings.h>
#endif /* HAVE_STRINGS_H */
#if defined(HAVE_STDINT_H)
# include <stdint.h>
#elif defined(HAVE_INTTYPES_H)
# include <inttypes.h>
#endif
#include <unistd.h>
#include <dirent.h>
#include <errno.h>
#include <ctype.h>
#include "sudoers.h"
#include "toke.h"
#include <gram.h>
#include "sudo_digest.h"
#include "sudo_lbuf.h"
#if defined(HAVE_STRUCT_DIRENT_D_NAMLEN) && HAVE_STRUCT_DIRENT_D_NAMLEN
# define NAMLEN(dirent) (dirent)->d_namlen
#else
# define NAMLEN(dirent) strlen((dirent)->d_name)
#endif
int sudolineno; /* current sudoers line number. */
int last_token; /* last token that was parsed. */
char *sudoers; /* sudoers file being parsed. */
/* Default sudoers path, mode and owner (may be set via sudo.conf) */
const char *sudoers_file = _PATH_SUDOERS;
mode_t sudoers_mode = SUDOERS_MODE;
uid_t sudoers_uid = SUDOERS_UID;
gid_t sudoers_gid = SUDOERS_GID;
static bool continued, sawspace;
static int prev_state;
static int digest_type = -1;
static bool push_include_int(char *, bool);
static bool pop_include(void);
static char *parse_include_int(const char *, bool);
int (*trace_print)(const char *msg) = sudoers_trace_print;
#define LEXRETURN(n) do { \
last_token = (n); \
return (n); \
} while (0)
#define ECHO ignore_result(fwrite(sudoerstext, sudoersleng, 1, sudoersout))
#define parse_include(_p) (parse_include_int((_p), false))
#define parse_includedir(_p) (parse_include_int((_p), true))
#define push_include(_p) (push_include_int((_p), false))
#define push_includedir(_p) (push_include_int((_p), true))
#define YY_NO_INPUT 1
#line 2277 "toke.c"
#define INITIAL 0
#define GOTDEFS 1
#define GOTCMND 2
#define STARTDEFS 3
#define INDEFS 4
#define INSTR 5
#define WANTDIGEST 6
#ifndef YY_NO_UNISTD_H
/* Special case for "unistd.h", since it is non-ANSI. We include it way
* down here because we want the user's section 1 to have been scanned first.
* The user has a chance to override it with an option.
*/
#include <unistd.h>
#endif
#ifndef YY_EXTRA_TYPE
#define YY_EXTRA_TYPE void *
#endif
static int yy_init_globals (void );
/* Accessor methods to globals.
These are made visible to non-reentrant scanners for convenience. */
int sudoerslex_destroy (void );
int sudoersget_debug (void );
void sudoersset_debug (int debug_flag );
YY_EXTRA_TYPE sudoersget_extra (void );
void sudoersset_extra (YY_EXTRA_TYPE user_defined );
FILE *sudoersget_in (void );
void sudoersset_in (FILE * in_str );
FILE *sudoersget_out (void );
void sudoersset_out (FILE * out_str );
yy_size_t sudoersget_leng (void );
char *sudoersget_text (void );
int sudoersget_lineno (void );
void sudoersset_lineno (int line_number );
/* Macros after this point can all be overridden by user definitions in
* section 1.
*/
#ifndef YY_SKIP_YYWRAP
#ifdef __cplusplus
extern "C" int sudoerswrap (void );
#else
extern int sudoerswrap (void );
#endif
#endif
#ifndef yytext_ptr
static void yy_flex_strncpy (char *,yyconst char *,int );
#endif
#ifdef YY_NEED_STRLEN
static int yy_flex_strlen (yyconst char * );
#endif
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput (void );
#else
static int input (void );
#endif
#endif
/* Amount of stuff to slurp up with each read. */
#ifndef YY_READ_BUF_SIZE
#define YY_READ_BUF_SIZE 8192
#endif
/* Copy whatever the last rule matched to the standard output. */
#ifndef ECHO
/* This used to be an fputs(), but since the string might contain NUL's,
* we now use fwrite().
*/
#define ECHO do { if (fwrite( sudoerstext, sudoersleng, 1, sudoersout )) {} } while (0)
#endif
/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
* is returned in "result".
*/
#ifndef YY_INPUT
#define YY_INPUT(buf,result,max_size) \
if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
{ \
int c = '*'; \
size_t n; \
for ( n = 0; n < max_size && \
(c = getc( sudoersin )) != EOF && c != '\n'; ++n ) \
buf[n] = (char) c; \
if ( c == '\n' ) \
buf[n++] = (char) c; \
if ( c == EOF && ferror( sudoersin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
result = n; \
} \
else \
{ \
errno=0; \
while ( (result = fread(buf, 1, max_size, sudoersin))==0 && ferror(sudoersin)) \
{ \
if( errno != EINTR) \
{ \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
break; \
} \
errno=0; \
clearerr(sudoersin); \
} \
}\
\
#endif
/* No semi-colon after return; correct usage is to write "yyterminate();" -
* we don't want an extra ';' after the "return" because that will cause
* some compilers to complain about unreachable statements.
*/
#ifndef yyterminate
#define yyterminate() return YY_NULL
#endif
/* Number of entries by which start-condition stack grows. */
#ifndef YY_START_STACK_INCR
#define YY_START_STACK_INCR 25
#endif
/* Report a fatal error. */
#ifndef YY_FATAL_ERROR
#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
#endif
/* end tables serialization structures and prototypes */
/* Default declaration of generated scanner - a define so the user can
* easily add parameters.
*/
#ifndef YY_DECL
#define YY_DECL_IS_OURS 1
extern int sudoerslex (void);
#define YY_DECL int sudoerslex (void)
#endif /* !YY_DECL */
/* Code executed at the beginning of each rule, after sudoerstext and sudoersleng
* have been set up.
*/
#ifndef YY_USER_ACTION
#define YY_USER_ACTION
#endif
/* Code executed at the end of each rule. */
#ifndef YY_BREAK
#define YY_BREAK break;
#endif
#define YY_RULE_SETUP \
if ( sudoersleng > 0 ) \
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = \
(sudoerstext[sudoersleng - 1] == '\n'); \
YY_USER_ACTION
/** The main scanner function which does all the work.
*/
YY_DECL
{
yy_state_type yy_current_state;
char *yy_cp, *yy_bp;
int yy_act;
if ( !(yy_init) )
{
(yy_init) = 1;
#ifdef YY_USER_INIT
YY_USER_INIT;
#endif
if ( ! (yy_start) )
(yy_start) = 1; /* first start state */
if ( ! sudoersin )
sudoersin = stdin;
if ( ! sudoersout )
sudoersout = stdout;
if ( ! YY_CURRENT_BUFFER ) {
sudoersensure_buffer_stack ();
YY_CURRENT_BUFFER_LVALUE =
sudoers_create_buffer(sudoersin,YY_BUF_SIZE );
}
sudoers_load_buffer_state( );
}
{
#line 115 "toke.l"
#line 2495 "toke.c"
while ( 1 ) /* loops until end-of-file is reached */
{
yy_cp = (yy_c_buf_p);
/* Support of sudoerstext. */
*yy_cp = (yy_hold_char);
/* yy_bp points to the position in yy_ch_buf of the start of
* the current run.
*/
yy_bp = yy_cp;
yy_current_state = (yy_start);
yy_current_state += YY_AT_BOL();
yy_match:
do
{
YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ;
if ( yy_accept[yy_current_state] )
{
(yy_last_accepting_state) = yy_current_state;
(yy_last_accepting_cpos) = yy_cp;
}
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 896 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
++yy_cp;
}
while ( yy_base[yy_current_state] != 6207 );
yy_find_action:
yy_act = yy_accept[yy_current_state];
if ( yy_act == 0 )
{ /* have to back up */
yy_cp = (yy_last_accepting_cpos);
yy_current_state = (yy_last_accepting_state);
yy_act = yy_accept[yy_current_state];
}
YY_DO_BEFORE_ACTION;
do_action: /* This label is used only to access EOF actions. */
switch ( yy_act )
{ /* beginning of action switch */
case 0: /* must back up */
/* undo the effects of YY_DO_BEFORE_ACTION */
*yy_cp = (yy_hold_char);
yy_cp = (yy_last_accepting_cpos);
yy_current_state = (yy_last_accepting_state);
goto yy_find_action;
case 1:
YY_RULE_SETUP
#line 116 "toke.l"
{
LEXTRACE(", ");
LEXRETURN(',');
} /* return ',' */
YY_BREAK
case 2:
YY_RULE_SETUP
#line 121 "toke.l"
BEGIN STARTDEFS;
YY_BREAK
case 3:
YY_RULE_SETUP
#line 123 "toke.l"
{
BEGIN INDEFS;
LEXTRACE("DEFVAR ");
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXRETURN(DEFVAR);
}
YY_BREAK
case 4:
YY_RULE_SETUP
#line 132 "toke.l"
{
BEGIN STARTDEFS;
LEXTRACE(", ");
LEXRETURN(',');
} /* return ',' */
YY_BREAK
case 5:
YY_RULE_SETUP
#line 138 "toke.l"
{
LEXTRACE("= ");
LEXRETURN('=');
} /* return '=' */
YY_BREAK
case 6:
YY_RULE_SETUP
#line 143 "toke.l"
{
LEXTRACE("+= ");
LEXRETURN('+');
} /* return '+' */
YY_BREAK
case 7:
YY_RULE_SETUP
#line 148 "toke.l"
{
LEXTRACE("-= ");
LEXRETURN('-');
} /* return '-' */
YY_BREAK
case 8:
YY_RULE_SETUP
#line 153 "toke.l"
{
LEXTRACE("BEGINSTR ");
sudoerslval.string = NULL;
prev_state = YY_START;
BEGIN INSTR;
}
YY_BREAK
case 9:
YY_RULE_SETUP
#line 160 "toke.l"
{
LEXTRACE("WORD(2) ");
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXRETURN(WORD);
}
YY_BREAK
case 10:
/* rule 10 can match eol */
YY_RULE_SETUP
#line 169 "toke.l"
{
/* Line continuation char followed by newline. */
sudolineno++;
continued = true;
}
YY_BREAK
case 11:
YY_RULE_SETUP
#line 175 "toke.l"
{
LEXTRACE("ENDSTR ");
BEGIN prev_state;
if (sudoerslval.string == NULL) {
LEXTRACE("ERROR "); /* empty string */
LEXRETURN(ERROR);
}
if (prev_state == INITIAL || prev_state == GOTDEFS) {
switch (sudoerslval.string[0]) {
case '%':
if (sudoerslval.string[1] == '\0' ||
(sudoerslval.string[1] == ':' &&
sudoerslval.string[2] == '\0')) {
LEXTRACE("ERROR "); /* empty group */
LEXRETURN(ERROR);
}
LEXTRACE("USERGROUP ");
LEXRETURN(USERGROUP);
case '+':
if (sudoerslval.string[1] == '\0') {
LEXTRACE("ERROR "); /* empty netgroup */
LEXRETURN(ERROR);
}
LEXTRACE("NETGROUP ");
LEXRETURN(NETGROUP);
}
}
LEXTRACE("WORD(4) ");
LEXRETURN(WORD);
}
YY_BREAK
case 12:
YY_RULE_SETUP
#line 207 "toke.l"
{
LEXTRACE("BACKSLASH ");
if (!append(sudoerstext, sudoersleng))
yyterminate();
}
YY_BREAK
case 13:
YY_RULE_SETUP
#line 213 "toke.l"
{
LEXTRACE("STRBODY ");
if (!append(sudoerstext, sudoersleng))
yyterminate();
}
YY_BREAK
case 14:
YY_RULE_SETUP
#line 221 "toke.l"
{
/* quoted fnmatch glob char, pass verbatim */
LEXTRACE("QUOTEDCHAR ");
if (!fill_args(sudoerstext, 2, sawspace))
yyterminate();
sawspace = false;
}
YY_BREAK
case 15:
YY_RULE_SETUP
#line 229 "toke.l"
{
/* quoted sudoers special char, strip backslash */
LEXTRACE("QUOTEDCHAR ");
if (!fill_args(sudoerstext + 1, 1, sawspace))
yyterminate();
sawspace = false;
}
YY_BREAK
case 16:
/* rule 16 can match eol */
YY_RULE_SETUP
#line 237 "toke.l"
{
BEGIN INITIAL;
yyless(0);
LEXRETURN(COMMAND);
} /* end of command line args */
YY_BREAK
case 17:
YY_RULE_SETUP
#line 243 "toke.l"
{
LEXTRACE("ARG ");
if (!fill_args(sudoerstext, sudoersleng, sawspace))
yyterminate();
sawspace = false;
} /* a command line arg */
YY_BREAK
case 18:
YY_RULE_SETUP
#line 251 "toke.l"
{
/* Only return DIGEST if the length is correct. */
yy_size_t digest_len =
sudo_digest_getlen(digest_type);
if ((yy_size_t)sudoersleng == digest_len * 2) {
if (!fill(sudoerstext, sudoersleng))
yyterminate();
BEGIN INITIAL;
LEXTRACE("DIGEST ");
LEXRETURN(DIGEST);
}
BEGIN INITIAL;
yyless(sudoersleng);
} /* hex digest */
YY_BREAK
case 19:
YY_RULE_SETUP
#line 266 "toke.l"
{
/* Only return DIGEST if the length is correct. */
yy_size_t len, digest_len =
sudo_digest_getlen(digest_type);
if (sudoerstext[sudoersleng - 1] == '=') {
/* use padding */
len = 4 * ((digest_len + 2) / 3);
} else {
/* no padding */
len = (4 * digest_len + 2) / 3;
}
if ((yy_size_t)sudoersleng == len) {
if (!fill(sudoerstext, sudoersleng))
yyterminate();
BEGIN INITIAL;
LEXTRACE("DIGEST ");
LEXRETURN(DIGEST);
}
BEGIN INITIAL;
yyless(sudoersleng);
} /* base64 digest */
YY_BREAK
case 20:
/* rule 20 can match eol */
YY_RULE_SETUP
#line 288 "toke.l"
{
char *path;
if (continued) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if ((path = parse_include(sudoerstext)) == NULL)
yyterminate();
LEXTRACE("INCLUDE\n");
/* Push current buffer and switch to include file */
if (!push_include(path))
yyterminate();
}
YY_BREAK
case 21:
/* rule 21 can match eol */
YY_RULE_SETUP
#line 306 "toke.l"
{
char *path;
if (continued) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if ((path = parse_includedir(sudoerstext)) == NULL)
yyterminate();
LEXTRACE("INCLUDEDIR\n");
/*
* Push current buffer and switch to include file,
* ignoring missing or empty directories.
*/
if (!push_includedir(path))
yyterminate();
}
YY_BREAK
case 22:
YY_RULE_SETUP
#line 327 "toke.l"
{
char deftype;
int n;
if (continued) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
for (n = 0; isblank((unsigned char)sudoerstext[n]); n++)
continue;
n += sizeof("Defaults") - 1;
if ((deftype = sudoerstext[n++]) != '\0') {
while (isblank((unsigned char)sudoerstext[n]))
n++;
}
BEGIN GOTDEFS;
switch (deftype) {
case ':':
yyless(n);
LEXTRACE("DEFAULTS_USER ");
LEXRETURN(DEFAULTS_USER);
case '>':
yyless(n);
LEXTRACE("DEFAULTS_RUNAS ");
LEXRETURN(DEFAULTS_RUNAS);
case '@':
yyless(n);
LEXTRACE("DEFAULTS_HOST ");
LEXRETURN(DEFAULTS_HOST);
case '!':
yyless(n);
LEXTRACE("DEFAULTS_CMND ");
LEXRETURN(DEFAULTS_CMND);
default:
LEXTRACE("DEFAULTS ");
LEXRETURN(DEFAULTS);
}
}
YY_BREAK
case 23:
YY_RULE_SETUP
#line 367 "toke.l"
{
int n;
if (continued) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
for (n = 0; isblank((unsigned char)sudoerstext[n]); n++)
continue;
switch (sudoerstext[n]) {
case 'H':
LEXTRACE("HOSTALIAS ");
LEXRETURN(HOSTALIAS);
case 'C':
LEXTRACE("CMNDALIAS ");
LEXRETURN(CMNDALIAS);
case 'U':
LEXTRACE("USERALIAS ");
LEXRETURN(USERALIAS);
case 'R':
LEXTRACE("RUNASALIAS ");
LEXRETURN(RUNASALIAS);
}
}
YY_BREAK
case 24:
YY_RULE_SETUP
#line 393 "toke.l"
{
/* cmnd does not require passwd for this user */
LEXTRACE("NOPASSWD ");
LEXRETURN(NOPASSWD);
}
YY_BREAK
case 25:
YY_RULE_SETUP
#line 399 "toke.l"
{
/* cmnd requires passwd for this user */
LEXTRACE("PASSWD ");
LEXRETURN(PASSWD);
}
YY_BREAK
case 26:
YY_RULE_SETUP
#line 405 "toke.l"
{
LEXTRACE("NOEXEC ");
LEXRETURN(NOEXEC);
}
YY_BREAK
case 27:
YY_RULE_SETUP
#line 410 "toke.l"
{
LEXTRACE("EXEC ");
LEXRETURN(EXEC);
}
YY_BREAK
case 28:
YY_RULE_SETUP
#line 415 "toke.l"
{
LEXTRACE("SETENV ");
LEXRETURN(SETENV);
}
YY_BREAK
case 29:
YY_RULE_SETUP
#line 420 "toke.l"
{
LEXTRACE("NOSETENV ");
LEXRETURN(NOSETENV);
}
YY_BREAK
case 30:
YY_RULE_SETUP
#line 425 "toke.l"
{
LEXTRACE("LOG_OUTPUT ");
LEXRETURN(LOG_OUTPUT);
}
YY_BREAK
case 31:
YY_RULE_SETUP
#line 430 "toke.l"
{
LEXTRACE("NOLOG_OUTPUT ");
LEXRETURN(NOLOG_OUTPUT);
}
YY_BREAK
case 32:
YY_RULE_SETUP
#line 435 "toke.l"
{
LEXTRACE("LOG_INPUT ");
LEXRETURN(LOG_INPUT);
}
YY_BREAK
case 33:
YY_RULE_SETUP
#line 440 "toke.l"
{
LEXTRACE("NOLOG_INPUT ");
LEXRETURN(NOLOG_INPUT);
}
YY_BREAK
case 34:
YY_RULE_SETUP
#line 445 "toke.l"
{
LEXTRACE("MAIL ");
LEXRETURN(MAIL);
}
YY_BREAK
case 35:
YY_RULE_SETUP
#line 450 "toke.l"
{
LEXTRACE("NOMAIL ");
LEXRETURN(NOMAIL);
}
YY_BREAK
case 36:
YY_RULE_SETUP
#line 455 "toke.l"
{
LEXTRACE("FOLLOW ");
LEXRETURN(FOLLOWLNK);
}
YY_BREAK
case 37:
YY_RULE_SETUP
#line 460 "toke.l"
{
LEXTRACE("NOFOLLOW ");
LEXRETURN(NOFOLLOWLNK);
}
YY_BREAK
case 38:
YY_RULE_SETUP
#line 465 "toke.l"
{
/* empty group or netgroup */
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
YY_BREAK
case 39:
YY_RULE_SETUP
#line 471 "toke.l"
{
/* netgroup */
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NETGROUP ");
LEXRETURN(NETGROUP);
}
YY_BREAK
case 40:
YY_RULE_SETUP
#line 479 "toke.l"
{
/* group */
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("USERGROUP ");
LEXRETURN(USERGROUP);
}
YY_BREAK
case 41:
YY_RULE_SETUP
#line 487 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
LEXRETURN(NTWKADDR);
}
YY_BREAK
case 42:
YY_RULE_SETUP
#line 494 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
LEXRETURN(NTWKADDR);
}
YY_BREAK
case 43:
YY_RULE_SETUP
#line 501 "toke.l"
{
if (!ipv6_valid(sudoerstext)) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
LEXRETURN(NTWKADDR);
}
YY_BREAK
case 44:
YY_RULE_SETUP
#line 512 "toke.l"
{
if (!ipv6_valid(sudoerstext)) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
LEXRETURN(NTWKADDR);
}
YY_BREAK
case 45:
YY_RULE_SETUP
#line 523 "toke.l"
{
LEXTRACE("ALL ");
LEXRETURN(ALL);
}
YY_BREAK
case 46:
YY_RULE_SETUP
#line 529 "toke.l"
{
LEXTRACE("CMND_TIMEOUT ");
LEXRETURN(CMND_TIMEOUT);
}
YY_BREAK
case 47:
YY_RULE_SETUP
#line 534 "toke.l"
{
LEXTRACE("NOTBEFORE ");
LEXRETURN(NOTBEFORE);
}
YY_BREAK
case 48:
YY_RULE_SETUP
#line 539 "toke.l"
{
LEXTRACE("NOTAFTER ");
LEXRETURN(NOTAFTER);
}
YY_BREAK
case 49:
YY_RULE_SETUP
#line 544 "toke.l"
{
#ifdef HAVE_SELINUX
LEXTRACE("ROLE ");
LEXRETURN(ROLE);
#else
goto got_alias;
#endif
}
YY_BREAK
case 50:
YY_RULE_SETUP
#line 553 "toke.l"
{
#ifdef HAVE_SELINUX
LEXTRACE("TYPE ");
LEXRETURN(TYPE);
#else
goto got_alias;
#endif
}
YY_BREAK
case 51:
YY_RULE_SETUP
#line 561 "toke.l"
{
#ifdef HAVE_PRIV_SET
LEXTRACE("PRIVS ");
LEXRETURN(PRIVS);
#else
goto got_alias;
#endif
}
YY_BREAK
case 52:
YY_RULE_SETUP
#line 570 "toke.l"
{
#ifdef HAVE_PRIV_SET
LEXTRACE("LIMITPRIVS ");
LEXRETURN(LIMITPRIVS);
#else
goto got_alias;
#endif
}
YY_BREAK
case 53:
YY_RULE_SETUP
#line 579 "toke.l"
{
got_alias:
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("ALIAS ");
LEXRETURN(ALIAS);
}
YY_BREAK
case 54:
YY_RULE_SETUP
#line 587 "toke.l"
{
/* XXX - no way to specify digest for command */
/* no command args allowed for Defaults!/path */
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("COMMAND ");
LEXRETURN(COMMAND);
}
YY_BREAK
case 55:
YY_RULE_SETUP
#line 596 "toke.l"
{
digest_type = SUDO_DIGEST_SHA224;
BEGIN WANTDIGEST;
LEXTRACE("SHA224_TOK ");
LEXRETURN(SHA224_TOK);
}
YY_BREAK
case 56:
YY_RULE_SETUP
#line 603 "toke.l"
{
digest_type = SUDO_DIGEST_SHA256;
BEGIN WANTDIGEST;
LEXTRACE("SHA256_TOK ");
LEXRETURN(SHA256_TOK);
}
YY_BREAK
case 57:
YY_RULE_SETUP
#line 610 "toke.l"
{
digest_type = SUDO_DIGEST_SHA384;
BEGIN WANTDIGEST;
LEXTRACE("SHA384_TOK ");
LEXRETURN(SHA384_TOK);
}
YY_BREAK
case 58:
YY_RULE_SETUP
#line 617 "toke.l"
{
digest_type = SUDO_DIGEST_SHA512;
BEGIN WANTDIGEST;
LEXTRACE("SHA512_TOK ");
LEXRETURN(SHA512_TOK);
}
YY_BREAK
case 59:
YY_RULE_SETUP
#line 624 "toke.l"
{
BEGIN GOTCMND;
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
} /* sudo -e */
YY_BREAK
case 60:
YY_RULE_SETUP
#line 631 "toke.l"
{
/* directories can't have args... */
if (sudoerstext[sudoersleng - 1] == '/') {
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
LEXRETURN(COMMAND);
} else {
BEGIN GOTCMND;
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
}
} /* a pathname */
YY_BREAK
case 61:
YY_RULE_SETUP
#line 646 "toke.l"
{
LEXTRACE("BEGINSTR ");
sudoerslval.string = NULL;
prev_state = YY_START;
BEGIN INSTR;
}
YY_BREAK
case 62:
YY_RULE_SETUP
#line 653 "toke.l"
{
/* a word */
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("WORD(5) ");
LEXRETURN(WORD);
}
YY_BREAK
case 63:
YY_RULE_SETUP
#line 661 "toke.l"
{
LEXTRACE("( ");
LEXRETURN('(');
}
YY_BREAK
case 64:
YY_RULE_SETUP
#line 666 "toke.l"
{
LEXTRACE(") ");
LEXRETURN(')');
}
YY_BREAK
case 65:
YY_RULE_SETUP
#line 671 "toke.l"
{
LEXTRACE(", ");
LEXRETURN(',');
} /* return ',' */
YY_BREAK
case 66:
YY_RULE_SETUP
#line 676 "toke.l"
{
LEXTRACE("= ");
LEXRETURN('=');
} /* return '=' */
YY_BREAK
case 67:
YY_RULE_SETUP
#line 681 "toke.l"
{
LEXTRACE(": ");
LEXRETURN(':');
} /* return ':' */
YY_BREAK
case 68:
YY_RULE_SETUP
#line 686 "toke.l"
{
if (sudoersleng & 1) {
LEXTRACE("!");
LEXRETURN('!'); /* return '!' */
}
}
YY_BREAK
case 69:
/* rule 69 can match eol */
YY_RULE_SETUP
#line 693 "toke.l"
{
if (YY_START == INSTR) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR); /* line break in string */
}
BEGIN INITIAL;
sudolineno++;
continued = false;
LEXTRACE("\n");
LEXRETURN(COMMENT);
} /* return newline */
YY_BREAK
case 70:
YY_RULE_SETUP
#line 705 "toke.l"
{ /* throw away space/tabs */
sawspace = true; /* but remember for fill_args */
}
YY_BREAK
case 71:
/* rule 71 can match eol */
YY_RULE_SETUP
#line 709 "toke.l"
{
sawspace = true; /* remember for fill_args */
sudolineno++;
continued = true;
} /* throw away EOL after \ */
YY_BREAK
case 72:
/* rule 72 can match eol */
YY_RULE_SETUP
#line 715 "toke.l"
{
if (sudoerstext[sudoersleng - 1] == '\n') {
/* comment ending in a newline */
BEGIN INITIAL;
sudolineno++;
continued = false;
} else if (!feof(sudoersin)) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
LEXTRACE("#\n");
LEXRETURN(COMMENT);
} /* comment, not uid/gid */
YY_BREAK
case 73:
YY_RULE_SETUP
#line 729 "toke.l"
{
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
} /* parse error */
YY_BREAK
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(GOTDEFS):
case YY_STATE_EOF(GOTCMND):
case YY_STATE_EOF(STARTDEFS):
case YY_STATE_EOF(INDEFS):
case YY_STATE_EOF(INSTR):
case YY_STATE_EOF(WANTDIGEST):
#line 734 "toke.l"
{
if (YY_START != INITIAL) {
BEGIN INITIAL;
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if (!pop_include())
yyterminate();
}
YY_BREAK
case 74:
YY_RULE_SETUP
#line 744 "toke.l"
ECHO;
YY_BREAK
#line 3421 "toke.c"
case YY_END_OF_BUFFER:
{
/* Amount of text matched not including the EOB char. */
int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
/* Undo the effects of YY_DO_BEFORE_ACTION. */
*yy_cp = (yy_hold_char);
YY_RESTORE_YY_MORE_OFFSET
if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
{
/* We're scanning a new file or input source. It's
* possible that this happened because the user
* just pointed sudoersin at a new source and called
* sudoerslex(). If so, then we have to assure
* consistency between YY_CURRENT_BUFFER and our
* globals. Here is the right place to do so, because
* this is the first action (other than possibly a
* back-up) that will match for the new input source.
*/
(yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
YY_CURRENT_BUFFER_LVALUE->yy_input_file = sudoersin;
YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
}
/* Note that here we test for yy_c_buf_p "<=" to the position
* of the first EOB in the buffer, since yy_c_buf_p will
* already have been incremented past the NUL character
* (since all states make transitions on EOB to the
* end-of-buffer state). Contrast this with the test
* in input().
*/
if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
{ /* This was really a NUL. */
yy_state_type yy_next_state;
(yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state( );
/* Okay, we're now positioned to make the NUL
* transition. We couldn't have
* yy_get_previous_state() go ahead and do it
* for us because it doesn't know how to deal
* with the possibility of jamming (and we don't
* want to build jamming into it because then it
* will run more slowly).
*/
yy_next_state = yy_try_NUL_trans( yy_current_state );
yy_bp = (yytext_ptr) + YY_MORE_ADJ;
if ( yy_next_state )
{
/* Consume the NUL. */
yy_cp = ++(yy_c_buf_p);
yy_current_state = yy_next_state;
goto yy_match;
}
else
{
yy_cp = (yy_c_buf_p);
goto yy_find_action;
}
}
else switch ( yy_get_next_buffer( ) )
{
case EOB_ACT_END_OF_FILE:
{
(yy_did_buffer_switch_on_eof) = 0;
if ( sudoerswrap( ) )
{
/* Note: because we've taken care in
* yy_get_next_buffer() to have set up
* sudoerstext, we can now set up
* yy_c_buf_p so that if some total
* hoser (like flex itself) wants to
* call the scanner after we return the
* YY_NULL, it'll still work - another
* YY_NULL will get returned.
*/
(yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
yy_act = YY_STATE_EOF(YY_START);
goto do_action;
}
else
{
if ( ! (yy_did_buffer_switch_on_eof) )
YY_NEW_FILE;
}
break;
}
case EOB_ACT_CONTINUE_SCAN:
(yy_c_buf_p) =
(yytext_ptr) + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state( );
yy_cp = (yy_c_buf_p);
yy_bp = (yytext_ptr) + YY_MORE_ADJ;
goto yy_match;
case EOB_ACT_LAST_MATCH:
(yy_c_buf_p) =
&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
yy_current_state = yy_get_previous_state( );
yy_cp = (yy_c_buf_p);
yy_bp = (yytext_ptr) + YY_MORE_ADJ;
goto yy_find_action;
}
break;
}
default:
YY_FATAL_ERROR(
"fatal flex scanner internal error--no action found" );
} /* end of action switch */
} /* end of scanning one token */
} /* end of user's declarations */
} /* end of sudoerslex */
/* yy_get_next_buffer - try to read in a new buffer
*
* Returns a code representing an action:
* EOB_ACT_LAST_MATCH -
* EOB_ACT_CONTINUE_SCAN - continue scanning from current position
* EOB_ACT_END_OF_FILE - end of file
*/
static int yy_get_next_buffer (void)
{
char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
char *source = (yytext_ptr);
int number_to_move, i;
int ret_val;
if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
YY_FATAL_ERROR(
"fatal flex scanner internal error--end of buffer missed" );
if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
{ /* Don't try to fill the buffer, so this is an EOF. */
if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
{
/* We matched a single character, the EOB, so
* treat this as a final EOF.
*/
return EOB_ACT_END_OF_FILE;
}
else
{
/* We matched some text prior to the EOB, first
* process it.
*/
return EOB_ACT_LAST_MATCH;
}
}
/* Try to read more data. */
/* First move last chars to start of buffer. */
number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
for ( i = 0; i < number_to_move; ++i )
*(dest++) = *(source++);
if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
/* don't do the read, it's not guaranteed to return an EOF,
* just force an EOF
*/
YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
else
{
yy_size_t num_to_read =
YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
while ( num_to_read <= 0 )
{ /* Not enough room in the buffer - grow it. */
/* just a shorter name for the current buffer */
YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
int yy_c_buf_p_offset =
(int) ((yy_c_buf_p) - b->yy_ch_buf);
if ( b->yy_is_our_buffer )
{
yy_size_t new_size = b->yy_buf_size * 2;
if ( new_size <= 0 )
b->yy_buf_size += b->yy_buf_size / 8;
else
b->yy_buf_size *= 2;
b->yy_ch_buf = (char *)
/* Include room in for 2 EOB chars. */
sudoersrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 );
}
else
/* Can't grow it, we don't own it. */
b->yy_ch_buf = 0;
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR(
"fatal error - scanner input buffer overflow" );
(yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
number_to_move - 1;
}
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
/* Read in more data. */
YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
(yy_n_chars), num_to_read );
YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
}
if ( (yy_n_chars) == 0 )
{
if ( number_to_move == YY_MORE_ADJ )
{
ret_val = EOB_ACT_END_OF_FILE;
sudoersrestart(sudoersin );
}
else
{
ret_val = EOB_ACT_LAST_MATCH;
YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
YY_BUFFER_EOF_PENDING;
}
}
else
ret_val = EOB_ACT_CONTINUE_SCAN;
if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
/* Extend the array by 50%, plus the number we really need. */
yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) sudoersrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
/* "- 2" to take care of EOB's */
YY_CURRENT_BUFFER_LVALUE->yy_buf_size = (int) (new_size - 2);
}
(yy_n_chars) += number_to_move;
YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
(yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
return ret_val;
}
/* yy_get_previous_state - get the state just before the EOB char was reached */
static yy_state_type yy_get_previous_state (void)
{
yy_state_type yy_current_state;
char *yy_cp;
yy_current_state = (yy_start);
yy_current_state += YY_AT_BOL();
for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
{
YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
if ( yy_accept[yy_current_state] )
{
(yy_last_accepting_state) = yy_current_state;
(yy_last_accepting_cpos) = yy_cp;
}
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 896 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
}
return yy_current_state;
}
/* yy_try_NUL_trans - try to make a transition on the NUL character
*
* synopsis
* next_state = yy_try_NUL_trans( current_state );
*/
static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
{
int yy_is_jam;
char *yy_cp = (yy_c_buf_p);
YY_CHAR yy_c = 1;
if ( yy_accept[yy_current_state] )
{
(yy_last_accepting_state) = yy_current_state;
(yy_last_accepting_cpos) = yy_cp;
}
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 896 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
yy_is_jam = (yy_current_state == 895);
return yy_is_jam ? 0 : yy_current_state;
}
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput (void)
#else
static int input (void)
#endif
{
int c;
*(yy_c_buf_p) = (yy_hold_char);
if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
{
/* yy_c_buf_p now points to the character we want to return.
* If this occurs *before* the EOB characters, then it's a
* valid NUL; if not, then we've hit the end of the buffer.
*/
if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
/* This was really a NUL. */
*(yy_c_buf_p) = '\0';
else
{ /* need more input */
yy_size_t offset = (yy_c_buf_p) - (yytext_ptr);
++(yy_c_buf_p);
switch ( yy_get_next_buffer( ) )
{
case EOB_ACT_LAST_MATCH:
/* This happens because yy_g_n_b()
* sees that we've accumulated a
* token and flags that we need to
* try matching the token before
* proceeding. But for input(),
* there's no matching to consider.
* So convert the EOB_ACT_LAST_MATCH
* to EOB_ACT_END_OF_FILE.
*/
/* Reset buffer status. */
sudoersrestart(sudoersin );
/*FALLTHROUGH*/
case EOB_ACT_END_OF_FILE:
{
if ( sudoerswrap( ) )
return EOF;
if ( ! (yy_did_buffer_switch_on_eof) )
YY_NEW_FILE;
#ifdef __cplusplus
return yyinput();
#else
return input();
#endif
}
case EOB_ACT_CONTINUE_SCAN:
(yy_c_buf_p) = (yytext_ptr) + offset;
break;
}
}
}
c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
*(yy_c_buf_p) = '\0'; /* preserve sudoerstext */
(yy_hold_char) = *++(yy_c_buf_p);
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = (c == '\n');
return c;
}
#endif /* ifndef YY_NO_INPUT */
/** Immediately switch to a different input stream.
* @param input_file A readable stream.
*
* @note This function does not reset the start condition to @c INITIAL .
*/
void sudoersrestart (FILE * input_file )
{
if ( ! YY_CURRENT_BUFFER ){
sudoersensure_buffer_stack ();
YY_CURRENT_BUFFER_LVALUE =
sudoers_create_buffer(sudoersin,YY_BUF_SIZE );
}
sudoers_init_buffer(YY_CURRENT_BUFFER,input_file );
sudoers_load_buffer_state( );
}
/** Switch to a different input buffer.
* @param new_buffer The new input buffer.
*
*/
void sudoers_switch_to_buffer (YY_BUFFER_STATE new_buffer )
{
/* TODO. We should be able to replace this entire function body
* with
* sudoerspop_buffer_state();
* sudoerspush_buffer_state(new_buffer);
*/
sudoersensure_buffer_stack ();
if ( YY_CURRENT_BUFFER == new_buffer )
return;
if ( YY_CURRENT_BUFFER )
{
/* Flush out information for old buffer. */
*(yy_c_buf_p) = (yy_hold_char);
YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
}
YY_CURRENT_BUFFER_LVALUE = new_buffer;
sudoers_load_buffer_state( );
/* We don't actually know whether we did this switch during
* EOF (sudoerswrap()) processing, but the only time this flag
* is looked at is after sudoerswrap() is called, so it's safe
* to go ahead and always set it.
*/
(yy_did_buffer_switch_on_eof) = 1;
}
static void sudoers_load_buffer_state (void)
{
(yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
(yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
sudoersin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
(yy_hold_char) = *(yy_c_buf_p);
}
/** Allocate and initialize an input buffer state.
* @param file A readable stream.
* @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
*
* @return the allocated buffer state.
*/
YY_BUFFER_STATE sudoers_create_buffer (FILE * file, int size )
{
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) sudoersalloc(sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in sudoers_create_buffer()" );
b->yy_buf_size = size;
/* yy_ch_buf has to be 2 characters longer than the size given because
* we need to put in 2 end-of-buffer characters.
*/
b->yy_ch_buf = (char *) sudoersalloc(b->yy_buf_size + 2 );
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR( "out of dynamic memory in sudoers_create_buffer()" );
b->yy_is_our_buffer = 1;
sudoers_init_buffer(b,file );
return b;
}
/** Destroy the buffer.
* @param b a buffer created with sudoers_create_buffer()
*
*/
void sudoers_delete_buffer (YY_BUFFER_STATE b )
{
if ( ! b )
return;
if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
if ( b->yy_is_our_buffer )
sudoersfree((void *) b->yy_ch_buf );
sudoersfree((void *) b );
}
/* Initializes or reinitializes a buffer.
* This function is sometimes called more than once on the same buffer,
* such as during a sudoersrestart() or at EOF.
*/
static void sudoers_init_buffer (YY_BUFFER_STATE b, FILE * file )
{
int oerrno = errno;
sudoers_flush_buffer(b );
b->yy_input_file = file;
b->yy_fill_buffer = 1;
/* If b is the current buffer, then sudoers_init_buffer was _probably_
* called from sudoersrestart() or through yy_get_next_buffer.
* In that case, we don't want to reset the lineno or column.
*/
if (b != YY_CURRENT_BUFFER){
b->yy_bs_lineno = 1;
b->yy_bs_column = 0;
}
b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
errno = oerrno;
}
/** Discard all buffered characters. On the next scan, YY_INPUT will be called.
* @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
*
*/
void sudoers_flush_buffer (YY_BUFFER_STATE b )
{
if ( ! b )
return;
b->yy_n_chars = 0;
/* We always need two end-of-buffer characters. The first causes
* a transition to the end-of-buffer state. The second causes
* a jam in that state.
*/
b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
b->yy_buf_pos = &b->yy_ch_buf[0];
b->yy_at_bol = 1;
b->yy_buffer_status = YY_BUFFER_NEW;
if ( b == YY_CURRENT_BUFFER )
sudoers_load_buffer_state( );
}
/** Pushes the new state onto the stack. The new state becomes
* the current state. This function will allocate the stack
* if necessary.
* @param new_buffer The new state.
*
*/
void sudoerspush_buffer_state (YY_BUFFER_STATE new_buffer )
{
if (new_buffer == NULL)
return;
sudoersensure_buffer_stack();
/* This block is copied from sudoers_switch_to_buffer. */
if ( YY_CURRENT_BUFFER )
{
/* Flush out information for old buffer. */
*(yy_c_buf_p) = (yy_hold_char);
YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
}
/* Only push if top exists. Otherwise, replace top. */
if (YY_CURRENT_BUFFER)
(yy_buffer_stack_top)++;
YY_CURRENT_BUFFER_LVALUE = new_buffer;
/* copied from sudoers_switch_to_buffer. */
sudoers_load_buffer_state( );
(yy_did_buffer_switch_on_eof) = 1;
}
/** Removes and deletes the top of the stack, if present.
* The next element becomes the new top.
*
*/
void sudoerspop_buffer_state (void)
{
if (!YY_CURRENT_BUFFER)
return;
sudoers_delete_buffer(YY_CURRENT_BUFFER );
YY_CURRENT_BUFFER_LVALUE = NULL;
if ((yy_buffer_stack_top) > 0)
--(yy_buffer_stack_top);
if (YY_CURRENT_BUFFER) {
sudoers_load_buffer_state( );
(yy_did_buffer_switch_on_eof) = 1;
}
}
/* Allocates the stack if it does not exist.
* Guarantees space for at least one push.
*/
static void sudoersensure_buffer_stack (void)
{
yy_size_t num_to_alloc;
if (!(yy_buffer_stack)) {
/* First allocation is just for 2 elements, since we don't know if this
* scanner will even need a stack. We use 2 instead of 1 to avoid an
* immediate realloc on the next call.
*/
num_to_alloc = 1;
(yy_buffer_stack) = (struct yy_buffer_state**)sudoersalloc
(num_to_alloc * sizeof(struct yy_buffer_state*)
);
if ( ! (yy_buffer_stack) )
YY_FATAL_ERROR( "out of dynamic memory in sudoersensure_buffer_stack()" );
memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
(yy_buffer_stack_max) = num_to_alloc;
(yy_buffer_stack_top) = 0;
return;
}
if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
/* Increase the buffer to prepare for a possible push. */
int grow_size = 8 /* arbitrary grow size */;
num_to_alloc = (yy_buffer_stack_max) + grow_size;
(yy_buffer_stack) = (struct yy_buffer_state**)sudoersrealloc
((yy_buffer_stack),
num_to_alloc * sizeof(struct yy_buffer_state*)
);
if ( ! (yy_buffer_stack) )
YY_FATAL_ERROR( "out of dynamic memory in sudoersensure_buffer_stack()" );
/* zero only the new slots.*/
memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
(yy_buffer_stack_max) = num_to_alloc;
}
}
/** Setup the input buffer state to scan directly from a user-specified character buffer.
* @param base the character buffer
* @param size the size in bytes of the character buffer
*
* @return the newly allocated buffer state object.
*/
YY_BUFFER_STATE sudoers_scan_buffer (char * base, yy_size_t size )
{
YY_BUFFER_STATE b;
if ( size < 2 ||
base[size-2] != YY_END_OF_BUFFER_CHAR ||
base[size-1] != YY_END_OF_BUFFER_CHAR )
/* They forgot to leave room for the EOB's. */
return 0;
b = (YY_BUFFER_STATE) sudoersalloc(sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in sudoers_scan_buffer()" );
b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
b->yy_buf_pos = b->yy_ch_buf = base;
b->yy_is_our_buffer = 0;
b->yy_input_file = 0;
b->yy_n_chars = b->yy_buf_size;
b->yy_is_interactive = 0;
b->yy_at_bol = 1;
b->yy_fill_buffer = 0;
b->yy_buffer_status = YY_BUFFER_NEW;
sudoers_switch_to_buffer(b );
return b;
}
/** Setup the input buffer state to scan a string. The next call to sudoerslex() will
* scan from a @e copy of @a str.
* @param yystr a NUL-terminated string to scan
*
* @return the newly allocated buffer state object.
* @note If you want to scan bytes that may contain NUL values, then use
* sudoers_scan_bytes() instead.
*/
YY_BUFFER_STATE sudoers_scan_string (yyconst char * yystr )
{
return sudoers_scan_bytes(yystr,strlen(yystr) );
}
/** Setup the input buffer state to scan the given bytes. The next call to sudoerslex() will
* scan from a @e copy of @a bytes.
* @param yybytes the byte buffer to scan
* @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
*
* @return the newly allocated buffer state object.
*/
YY_BUFFER_STATE sudoers_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
{
YY_BUFFER_STATE b;
char *buf;
yy_size_t n;
yy_size_t i;
/* Get memory for full buffer, including space for trailing EOB's. */
n = _yybytes_len + 2;
buf = (char *) sudoersalloc(n );
if ( ! buf )
YY_FATAL_ERROR( "out of dynamic memory in sudoers_scan_bytes()" );
for ( i = 0; i < _yybytes_len; ++i )
buf[i] = yybytes[i];
buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
b = sudoers_scan_buffer(buf,n );
if ( ! b )
YY_FATAL_ERROR( "bad buffer in sudoers_scan_bytes()" );
/* It's okay to grow etc. this buffer, and we should throw it
* away when we're done.
*/
b->yy_is_our_buffer = 1;
return b;
}
#ifndef YY_EXIT_FAILURE
#define YY_EXIT_FAILURE 2
#endif
static void yy_fatal_error (yyconst char* msg )
{
(void) fprintf( stderr, "%s\n", msg );
exit( YY_EXIT_FAILURE );
}
/* Redefine yyless() so it works in section 3 code. */
#undef yyless
#define yyless(n) \
do \
{ \
/* Undo effects of setting up sudoerstext. */ \
int yyless_macro_arg = (n); \
YY_LESS_LINENO(yyless_macro_arg);\
sudoerstext[sudoersleng] = (yy_hold_char); \
(yy_c_buf_p) = sudoerstext + yyless_macro_arg; \
(yy_hold_char) = *(yy_c_buf_p); \
*(yy_c_buf_p) = '\0'; \
sudoersleng = yyless_macro_arg; \
} \
while ( 0 )
/* Accessor methods (get/set functions) to struct members. */
/** Get the current line number.
*
*/
int sudoersget_lineno (void)
{
return sudoerslineno;
}
/** Get the input stream.
*
*/
FILE *sudoersget_in (void)
{
return sudoersin;
}
/** Get the output stream.
*
*/
FILE *sudoersget_out (void)
{
return sudoersout;
}
/** Get the length of the current token.
*
*/
yy_size_t sudoersget_leng (void)
{
return sudoersleng;
}
/** Get the current token.
*
*/
char *sudoersget_text (void)
{
return sudoerstext;
}
/** Set the current line number.
* @param line_number
*
*/
void sudoersset_lineno (int line_number )
{
sudoerslineno = line_number;
}
/** Set the input stream. This does not discard the current
* input buffer.
* @param in_str A readable stream.
*
* @see sudoers_switch_to_buffer
*/
void sudoersset_in (FILE * in_str )
{
sudoersin = in_str ;
}
void sudoersset_out (FILE * out_str )
{
sudoersout = out_str ;
}
int sudoersget_debug (void)
{
return sudoers_flex_debug;
}
void sudoersset_debug (int bdebug )
{
sudoers_flex_debug = bdebug ;
}
static int yy_init_globals (void)
{
/* Initialization is the same as for the non-reentrant scanner.
* This function is called from sudoerslex_destroy(), so don't allocate here.
*/
(yy_buffer_stack) = 0;
(yy_buffer_stack_top) = 0;
(yy_buffer_stack_max) = 0;
(yy_c_buf_p) = (char *) 0;
(yy_init) = 0;
(yy_start) = 0;
/* Defined in main.c */
#ifdef YY_STDINIT
sudoersin = stdin;
sudoersout = stdout;
#else
sudoersin = (FILE *) 0;
sudoersout = (FILE *) 0;
#endif
/* For future reference: Set errno on error, since we are called by
* sudoerslex_init()
*/
return 0;
}
/* sudoerslex_destroy is for both reentrant and non-reentrant scanners. */
int sudoerslex_destroy (void)
{
/* Pop the buffer stack, destroying each element. */
while(YY_CURRENT_BUFFER){
sudoers_delete_buffer(YY_CURRENT_BUFFER );
YY_CURRENT_BUFFER_LVALUE = NULL;
sudoerspop_buffer_state();
}
/* Destroy the stack itself. */
sudoersfree((yy_buffer_stack) );
(yy_buffer_stack) = NULL;
/* Reset the globals. This is important in a non-reentrant scanner so the next time
* sudoerslex() is called, initialization will occur. */
yy_init_globals( );
return 0;
}
/*
* Internal utility routines.
*/
#ifndef yytext_ptr
static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
{
int i;
for ( i = 0; i < n; ++i )
s1[i] = s2[i];
}
#endif
#ifdef YY_NEED_STRLEN
static int yy_flex_strlen (yyconst char * s )
{
int n;
for ( n = 0; s[n]; ++n )
;
return n;
}
#endif
void *sudoersalloc (yy_size_t size )
{
return (void *) malloc( size );
}
void *sudoersrealloc (void * ptr, yy_size_t size )
{
/* The cast to (char *) in the following accommodates both
* implementations that use char* generic pointers, and those
* that use void* generic pointers. It works with the latter
* because both ANSI C and C++ allow castless assignment from
* any pointer type to void*, and deal with argument conversions
* as though doing an assignment.
*/
return (void *) realloc( (char *) ptr, size );
}
void sudoersfree (void * ptr )
{
free( (char *) ptr ); /* see sudoersrealloc() for (char *) cast */
}
#define YYTABLES_NAME "yytables"
#line 744 "toke.l"
struct path_list {
SLIST_ENTRY(path_list) entries;
char *path;
};
SLIST_HEAD(path_list_head, path_list);
struct include_stack {
YY_BUFFER_STATE bs;
char *path;
struct path_list_head more; /* more files in case of includedir */
int lineno;
bool keepopen;
};
/*
* Compare two struct path_list structs in reverse order.
*/
static int
pl_compare(const void *v1, const void *v2)
{
const struct path_list * const *p1 = v1;
const struct path_list * const *p2 = v2;
return strcmp((*p2)->path, (*p1)->path);
}
/*
* Open dirpath and fill in pathsp with an array of regular files
* that do not end in '~' or contain a '.'.
* Returns the number of files or -1 on error.
* If zero files are found, NULL is stored in pathsp.
*/
static int
read_dir_files(const char *dirpath, struct path_list ***pathsp)
{
DIR *dir;
int i, count = 0;
int max_paths = 32;
struct dirent *dent;
struct path_list **paths = NULL;
debug_decl(read_dir_files, SUDOERS_DEBUG_PARSER);
dir = opendir(dirpath);
if (dir == NULL) {
if (errno == ENOENT)
goto done;
sudo_warn("%s", dirpath);
goto bad;
}
paths = reallocarray(NULL, max_paths, sizeof(*paths));
if (paths == NULL)
goto oom;
while ((dent = readdir(dir)) != NULL) {
struct path_list *pl;
struct stat sb;
size_t len;
char *path;
/* Ignore files that end in '~' or have a '.' in them. */
if (dent->d_name[0] == '\0' || dent->d_name[NAMLEN(dent) - 1] == '~'
|| strchr(dent->d_name, '.') != NULL) {
continue;
}
len = strlen(dirpath) + 1 + NAMLEN(dent);
if ((path = rcstr_alloc(len)) == NULL)
goto oom;
(void)snprintf(path, len + 1, "%s/%s", dirpath, dent->d_name);
if (stat(path, &sb) != 0 || !S_ISREG(sb.st_mode)) {
rcstr_delref(path);
continue;
}
pl = malloc(sizeof(*pl));
if (pl == NULL) {
rcstr_delref(path);
goto oom;
}
pl->path = path;
if (count >= max_paths) {
struct path_list **tmp;
max_paths <<= 1;
tmp = reallocarray(paths, max_paths, sizeof(*paths));
if (tmp == NULL) {
rcstr_delref(path);
free(pl);
goto oom;
}
paths = tmp;
}
paths[count++] = pl;
}
closedir(dir);
if (count == 0) {
free(paths);
paths = NULL;
}
done:
*pathsp = paths;
debug_return_int(count);
oom:
sudo_warnx(U_("%s: %s"), __func__, U_("unable to allocate memory"));
bad:
sudoerserror(NULL);
if (dir != NULL)
closedir(dir);
for (i = 0; i < count; i++) {
rcstr_delref(paths[i]->path);
free(paths[i]);
}
free(paths);
debug_return_int(-1);
}
/*
* Push a list of all files in dirpath onto stack.
* Returns the number of files or -1 on error.
*/
static int
switch_dir(struct include_stack *stack, char *dirpath)
{
struct path_list **paths = NULL;
int count, i;
debug_decl(switch_dir, SUDOERS_DEBUG_PARSER);
count = read_dir_files(dirpath, &paths);
if (count > 0) {
/* Sort the list as an array in reverse order. */
qsort(paths, count, sizeof(*paths), pl_compare);
/* Build up the list in sorted order. */
for (i = 0; i < count; i++) {
SLIST_INSERT_HEAD(&stack->more, paths[i], entries);
}
free(paths);
}
debug_return_int(count);
}
#define MAX_SUDOERS_DEPTH 128
#define SUDOERS_STACK_INCREMENT 16
static size_t istacksize, idepth;
static struct include_stack *istack;
static bool keepopen;
void
init_lexer(void)
{
struct path_list *pl;
debug_decl(init_lexer, SUDOERS_DEBUG_PARSER);
while (idepth) {
idepth--;
while ((pl = SLIST_FIRST(&istack[idepth].more)) != NULL) {
SLIST_REMOVE_HEAD(&istack[idepth].more, entries);
rcstr_delref(pl->path);
free(pl);
}
rcstr_delref(istack[idepth].path);
if (idepth && !istack[idepth].keepopen)
fclose(istack[idepth].bs->yy_input_file);
sudoers_delete_buffer(istack[idepth].bs);
}
free(istack);
istack = NULL;
istacksize = idepth = 0;
sudolineno = 1;
keepopen = false;
sawspace = false;
continued = false;
digest_type = -1;
prev_state = INITIAL;
debug_return;
}
/*
* Open an include file (or file from a directory), push the old
* sudoers file buffer and switch to the new one.
* A missing or insecure include dir is simply ignored.
* Returns false on error, else true.
*/
static bool
push_include_int(char *path, bool isdir)
{
struct path_list *pl;
FILE *fp;
debug_decl(push_include_int, SUDOERS_DEBUG_PARSER);
/* push current state onto stack */
if (idepth >= istacksize) {
struct include_stack *new_istack;
if (idepth > MAX_SUDOERS_DEPTH) {
sudoerserror(N_("too many levels of includes"));
debug_return_bool(false);
}
istacksize += SUDOERS_STACK_INCREMENT;
new_istack = reallocarray(istack, istacksize, sizeof(*istack));
if (new_istack == NULL) {
sudo_warnx(U_("%s: %s"), __func__, U_("unable to allocate memory"));
sudoerserror(NULL);
debug_return_bool(false);
}
istack = new_istack;
}
SLIST_INIT(&istack[idepth].more);
if (isdir) {
struct stat sb;
int count, status;
status = sudo_secure_dir(path, sudoers_uid, sudoers_gid, &sb);
if (status != SUDO_PATH_SECURE) {
if (sudoers_warnings) {
switch (status) {
case SUDO_PATH_BAD_TYPE:
errno = ENOTDIR;
sudo_warn("%s", path);
break;
case SUDO_PATH_WRONG_OWNER:
sudo_warnx(U_("%s is owned by uid %u, should be %u"),
path, (unsigned int) sb.st_uid,
(unsigned int) sudoers_uid);
break;
case SUDO_PATH_WORLD_WRITABLE:
sudo_warnx(U_("%s is world writable"), path);
break;
case SUDO_PATH_GROUP_WRITABLE:
sudo_warnx(U_("%s is owned by gid %u, should be %u"),
path, (unsigned int) sb.st_gid,
(unsigned int) sudoers_gid);
break;
default:
break;
}
}
/* A missing or insecure include dir is not a fatal error. */
debug_return_bool(true);
}
count = switch_dir(&istack[idepth], path);
if (count <= 0) {
/* switch_dir() called sudoerserror() for us */
rcstr_delref(path);
debug_return_bool(count ? false : true);
}
/* Parse the first dir entry we can open, leave the rest for later. */
do {
rcstr_delref(path);
if ((pl = SLIST_FIRST(&istack[idepth].more)) == NULL) {
/* Unable to open any files in include dir, not an error. */
debug_return_bool(true);
}
SLIST_REMOVE_HEAD(&istack[idepth].more, entries);
path = pl->path;
free(pl);
} while ((fp = open_sudoers(path, false, &keepopen)) == NULL);
} else {
if ((fp = open_sudoers(path, true, &keepopen)) == NULL) {
/* The error was already printed by open_sudoers() */
sudoerserror(NULL);
debug_return_bool(false);
}
}
/* Push the old (current) file and open the new one. */
istack[idepth].path = sudoers; /* push old path (and its ref) */
istack[idepth].bs = YY_CURRENT_BUFFER;
istack[idepth].lineno = sudolineno;
istack[idepth].keepopen = keepopen;
idepth++;
sudolineno = 1;
sudoers = path;
sudoers_switch_to_buffer(sudoers_create_buffer(fp, YY_BUF_SIZE));
debug_return_bool(true);
}
/*
* Restore the previous sudoers file and buffer, or, in the case
* of an includedir, switch to the next file in the dir.
* Returns false if there is nothing to pop, else true.
*/
static bool
pop_include(void)
{
struct path_list *pl;
FILE *fp;
debug_decl(pop_include, SUDOERS_DEBUG_PARSER);
if (idepth == 0 || YY_CURRENT_BUFFER == NULL)
debug_return_bool(false);
if (!keepopen)
fclose(YY_CURRENT_BUFFER->yy_input_file);
sudoers_delete_buffer(YY_CURRENT_BUFFER);
/* If we are in an include dir, move to the next file. */
while ((pl = SLIST_FIRST(&istack[idepth - 1].more)) != NULL) {
SLIST_REMOVE_HEAD(&istack[idepth - 1].more, entries);
fp = open_sudoers(pl->path, false, &keepopen);
if (fp != NULL) {
rcstr_delref(sudoers);
sudoers = pl->path;
sudolineno = 1;
sudoers_switch_to_buffer(sudoers_create_buffer(fp, YY_BUF_SIZE));
free(pl);
break;
}
/* Unable to open path in include dir, go to next one. */
rcstr_delref(pl->path);
free(pl);
}
/* If no path list, just pop the last dir on the stack. */
if (pl == NULL) {
idepth--;
sudoers_switch_to_buffer(istack[idepth].bs);
rcstr_delref(sudoers);
sudoers = istack[idepth].path;
sudolineno = istack[idepth].lineno;
keepopen = istack[idepth].keepopen;
}
debug_return_bool(true);
}
static char *
parse_include_int(const char *base, bool isdir)
{
const char *cp, *ep;
char *path, *pp;
int dirlen = 0, len = 0, subst = 0;
size_t shost_len = 0;
debug_decl(parse_include, SUDOERS_DEBUG_PARSER);
/* Pull out path from #include line. */
cp = base + (isdir ? sizeof("#includedir") : sizeof("#include"));
while (isblank((unsigned char) *cp))
cp++;
ep = cp;
while (*ep != '\0' && !isspace((unsigned char) *ep)) {
if (ep[0] == '%' && ep[1] == 'h') {
shost_len = strlen(user_shost);
len += shost_len - 2;
subst = 1;
}
ep++;
}
/* Relative paths are located in the same dir as the sudoers file. */
if (*cp != '/') {
char *dirend = strrchr(sudoers, '/');
if (dirend != NULL)
dirlen = (int)(dirend - sudoers) + 1;
}
/* Make a copy of the fully-qualified path and return it. */
len += (int)(ep - cp);
path = pp = rcstr_alloc(len + dirlen);
if (path == NULL) {
sudo_warnx(U_("%s: %s"), __func__, U_("unable to allocate memory"));
sudoerserror(NULL);
debug_return_str(NULL);
}
if (dirlen) {
memcpy(path, sudoers, dirlen);
pp += dirlen;
}
if (subst) {
/* substitute for %h */
while (cp < ep) {
if (cp[0] == '%' && cp[1] == 'h') {
memcpy(pp, user_shost, shost_len);
pp += shost_len;
cp += 2;
continue;
}
*pp++ = *cp++;
}
*pp = '\0';
} else {
memcpy(pp, cp, len);
pp[len] = '\0';
}
/* Push any excess characters (e.g. comment, newline) back to the lexer */
if (*ep != '\0')
yyless((int)(ep - base));
debug_return_str(path);
}
#ifdef TRACELEXER
int
sudoers_trace_print(const char *msg)
{
return fputs(msg, stderr);
}
#else
int
sudoers_trace_print(const char *msg)
{
static bool initialized;
static struct sudo_lbuf lbuf;
if (!initialized) {
initialized = true;
sudo_lbuf_init(&lbuf, NULL, 0, NULL, 0);
}
sudo_lbuf_append(&lbuf, "%s", msg);
/* XXX - assumes a final newline */
if (strchr(msg, '\n') != NULL)
{
sudo_debug_printf2(NULL, NULL, 0, SUDOERS_DEBUG_PARSER|SUDO_DEBUG_DEBUG,
"%s:%d %s", sudoers, sudolineno, lbuf.buf);
lbuf.len = 0;
}
return 0;
}
#endif /* TRACELEXER */
Reference in New Issue View Git Blame Copy Permalink