isa/sudo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
3de3de8b75bde21dbbe055e5f0558dc7ad5e5de9
sudo/plugins/sudoers/toke.c
Todd C. Miller 8c08f5ef03 Allow Cmd_Alias in addition to Cmnd_Alias. 
Some people find using Cmd_Alias more natural.
2020-03-11 11:17:38 -06:00

4804 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, 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, 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,
20, 72, 23, 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,
23, 20, 20, 20, 20, 72, 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, 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, 21, 0, 0, 0, 0, 0, 53, 62, 62,
62, 43, 43, 43, 43, 43, 43, 0, 31, 21,
21, 21, 21, 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, 4805, 4738, 73, 6175, 4778, 4763,
6175, 585, 73, 6175, 6175, 4702, 6175, 151, 597, 153,
164, 4717, 6175, 6175, 659, 4691, 46, 34, 715, 58,
4689, 4664, 50, 4652, 4649, 60, 776, 791, 57, 189,
816, 66, 63, 4604, 59, 4590, 113, 4634, 129, 204,
4592, 4580, 4581, 134, 0, 6175, 4598, 4583, 6175, 0,
880, 933, 137, 0, 4522, 6175, 135, 6175, 140, 6175,
214, 4510, 154, 194, 6175, 239, 193, 259, 960, 1004,
258, 232, 1062, 1112, 4515, 160, 180, 1168, 4511, 4523,
4509, 4521, 4516, 1215, 0, 156, 4496, 1239, 225, 6175,
4544, 228, 6175, 4546, 273, 283, 4493, 4532, 332, 1266,
4491, 1293, 415, 4490, 1322, 1335, 1375, 4516, 4527, 324,
343, 334, 4514, 228, 1437, 1493, 4499, 4504, 4497, 4489,
4493, 4490, 335, 4481, 4478, 4463, 4444, 4438, 4423, 371,
6175, 157, 425, 215, 65, 442, 4390, 4391, 4382, 4377,
4378, 355, 378, 369, 133, 218, 325, 434, 256, 431,
377, 584, 4393, 1554, 448, 377, 0, 4441, 412, 4443,
6175, 6175, 479, 0, 4390, 633, 6175, 6175, 4389, 438,
4388, 4435, 591, 453, 507, 466, 4438, 736, 737, 659,
4385, 843, 0, 1581, 1611, 794, 842, 1650, 4422, 892,
902, 740, 1700, 1756, 4395, 0, 4398, 4383, 4386, 4383,
752, 4374, 4372, 4363, 4359, 308, 475, 479, 920, 959,
1803, 974, 748, 1843, 4402, 4389, 1888, 407, 1934, 1979,
0, 4382, 4373, 4374, 4357, 4369, 4357, 4362, 4313, 4325,
4324, 4306, 454, 4291, 4287, 4300, 4299, 4298, 4297, 825,
573, 576, 4270, 4260, 4262, 4246, 594, 546, 588, 4242,
595, 232, 777, 1098, 582, 751, 4282, 4281, 2026, 2036,
4280, 2081, 0, 4261, 4252, 4237, 4250, 4238, 4245, 4244,
4256, 4255, 4250, 4237, 4248, 804, 4214, 6175, 623, 751,
2126, 730, 0, 0, 851, 773, 4254, 4253, 2164, 831,
4246, 4245, 862, 984, 2177, 1193, 882, 2223, 2270, 4244,
828, 4226, 4205, 781, 868, 4217, 4210, 4213, 4210, 4201,
4199, 4210, 4210, 4193, 4196, 0, 4199, 4197, 0, 834,
111, 774, 414, 4185, 4180, 4182, 4166, 4180, 4166, 946,
875, 1193, 590, 452, 1236, 4213, 4212, 4211, 1095, 2280,
2325, 960, 4170, 923, 1100, 4166, 4157, 4160, 4157, 4148,
4146, 4142, 4149, 911, 4136, 4140, 4097, 2372, 2384, 2396,
4129, 4128, 2406, 4128, 4126, 4125, 4084, 878, 1263, 1076,
1290, 1181, 2419, 0, 1321, 2466, 1345, 1355, 2512, 2559,
1377, 6175, 4036, 4034, 4035, 4028, 1378, 6175, 4043, 4034,
4019, 4032, 4025, 4036, 4006, 4017, 4018, 0, 3984, 3984,
1087, 202, 1088, 877, 958, 4001, 3959, 3960, 1219, 1209,
1236, 959, 4014, 4013, 2571, 2581, 2626, 3976, 3983, 3959,
3962, 3941, 3915, 3926, 3883, 3875, 3852, 3835, 3850, 3847,
3837, 3793, 3738, 2671, 1151, 2711, 2723, 1515, 3767, 3746,
3738, 3713, 2733, 1303, 3724, 3677, 2780, 1317, 1397, 1399,
1521, 1401, 2792, 0, 1580, 2839, 1553, 1366, 2885, 2932,
2959, 1419, 1588, 1602, 1417, 1633, 1651, 1439, 1652, 1653,
1803, 1660, 1631, 1687, 1792, 3613, 3601, 3593, 3586, 909,
3555, 3536, 1031, 1270, 1152, 1467, 1824, 3582, 3561, 3535,
1627, 1688, 3502, 3459, 1804, 3462, 1383, 1805, 3452, 3410,
1832, 1869, 0, 0, 0, 0, 3365, 3016, 1863, 1680,
3386, 3328, 3313, 1908, 3056, 1954, 1780, 3101, 3148, 1999,
3322, 3321, 3301, 1920, 1364, 1403, 1423, 1597, 2056, 1678,
3160, 0, 2103, 3207, 2136, 1834, 3253, 3300, 1889, 6175,
3327, 1517, 757, 1890, 6175, 1253, 847, 1565, 1891, 6175,
1408, 1588, 552, 1061, 1980, 6175, 1981, 6175, 3269, 1494,
3236, 3211, 1343, 1574, 1371, 1659, 3265, 3246, 3384, 3206,
3209, 3399, 3172, 3159, 1752, 1008, 3136, 3455, 1564, 3494,
0, 1963, 3162, 3137, 2146, 1290, 2197, 1578, 3534, 0,
2245, 3547, 2300, 2009, 3592, 3639, 3134, 3096, 3651, 1635,
1768, 2259, 2337, 3094, 2339, 3663, 0, 2352, 3710, 2439,
2066, 3757, 3784, 1787, 1201, 2226, 1586, 1914, 2467, 2468,
3051, 2076, 3040, 3030, 3015, 2172, 1589, 2626, 3015, 2486,
2971, 2952, 2948, 2311, 2892, 2883, 3856, 2878, 2846, 2224,
2225, 0, 3914, 2532, 2601, 2015, 2820, 2825, 2815, 3954,
2795, 2246, 2348, 2794, 2350, 3966, 0, 2648, 3979, 2681,
2114, 4024, 4071, 2691, 2781, 2748, 2709, 2544, 2745, 2746,
2755, 1262, 1507, 4083, 0, 2759, 2221, 2469, 2016, 2607,
6175, 1761, 1789, 2840, 6175, 2841, 6175, 2673, 2649, 2649,
2306, 2511, 2627, 2828, 2879, 2649, 2595, 4095, 2703, 2842,
2886, 2887, 2921, 4105, 1882, 4145, 0, 2648, 2074, 3026,
2594, 2572, 2552, 2909, 2533, 2489, 2361, 2385, 3036, 2712,
4185, 0, 3078, 4198, 3121, 2766, 4243, 4290, 2458, 2431,
4301, 2804, 2346, 1856, 4328, 2888, 6175, 2934, 2184, 2158,
6175, 2088, 2835, 6175, 2106, 2446, 2056, 3102, 2623, 2170,
2051, 4398, 1988, 4425, 3180, 1994, 1968, 1948, 3133, 1928,
2961, 3208, 3209, 4440, 4452, 4464, 1883, 1779, 4476, 1758,
1727, 2866, 3057, 3227, 3265, 4488, 0, 3276, 4501, 3465,
3046, 4548, 1713, 1647, 1607, 3312, 1552, 3210, 6175, 3256,
1514, 6175, 2875, 3475, 3504, 1332, 1303, 4560, 3504, 3536,
4572, 4584, 4596, 4608, 4620, 3568, 1249, 1216, 1192, 3524,
1171, 1079, 3275, 1063, 971, 4632, 0, 3281, 3594, 6175,
3595, 3531, 3612, 957, 917, 877, 3624, 3710, 4644, 4656,
4668, 3683, 3730, 3924, 843, 0, 837, 3711, 6175, 2176,
3756, 6175, 2203, 633, 479, 4680, 4692, 4704, 4716, 4728,
4740, 6175, 3934, 3999, 3768, 6175, 6175, 4044, 297, 231,
97, 3844, 4752, 4764, 4776, 4115, 4125, 4155, 4788, 4800,
4812, 6175, 4165, 3944, 6175, 4839, 4860, 4881, 4902, 4923,
4944, 4965, 4986, 5007, 5016, 2623, 5036, 5057, 2522, 5078,
5099, 5120, 5141, 5162, 5183, 5204, 5225, 5246, 2624, 5267,
5288, 5309, 5318, 5326, 5335, 5355, 5376, 5397, 3111, 5418,
5439, 5460, 5481, 5502, 5511, 5530, 5539, 5548, 2117, 2368,
5556, 5564, 5572, 5581, 5589, 5596, 5604, 5612, 5621, 5631,
2927, 3092, 5639, 5647, 5655, 3178, 3249, 5664, 5674, 5694,
3289, 5703, 5711, 3344, 5720, 5730, 5750, 2258, 2266, 5759,
5771, 5780, 5790, 3402, 3416, 5799, 5809, 5818, 5838, 2323,
5847, 5859, 3492, 3526, 5868, 5878, 5886, 3565, 5895, 5905,
5925, 5946, 5967, 3590, 3681, 5987, 3706, 5994, 6004, 2455,
2509, 6013, 6033, 6054, 6075, 2960, 6096, 3751, 3752, 6105,
6115, 3781, 3801, 6123, 6133, 6153, 3698, 3857, 3997
} ;
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, 900, 234,
900, 900, 900, 895, 900, 895, 939, 940, 895, 93,
280, 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, 309,
943, 942, 944, 239, 895, 315, 315, 895, 315, 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, 895, 916,
900, 900, 900, 900, 895, 895, 939, 939, 895, 280,
213, 214, 214, 945, 214, 214, 214, 214, 214, 214,
214, 214, 214, 93, 93, 93, 93, 231, 231, 231,
895, 946, 946, 383, 946, 947, 948, 949, 895, 950,
318, 950, 895, 393, 950, 895, 396, 396, 895, 396,
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,
399, 959, 895, 473, 959, 895, 476, 476, 895, 476,
895, 481, 481, 481, 481, 481, 481, 481, 481, 481,
481, 481, 481, 481, 481, 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, 528, 528,
895, 962, 963, 463, 895, 535, 535, 895, 535, 895,
895, 964, 964, 895, 895, 965, 965, 966, 479, 966,
895, 551, 966, 895, 554, 554, 895, 554, 895, 895,
895, 561, 561, 895, 895, 561, 561, 561, 895, 895,
561, 561, 561, 561, 895, 895, 895, 895, 561, 900,
895, 895, 967, 900, 900, 900, 968, 969, 895, 970,
970, 895, 970, 970, 592, 592, 971, 900, 900, 900,
600, 600, 895, 972, 895, 973, 538, 973, 973, 609,
973, 895, 612, 612, 895, 612, 974, 975, 895, 895,
976, 976, 977, 978, 977, 895, 626, 977, 895, 629,
629, 629, 895, 633, 633, 633, 633, 633, 633, 633,
633, 633, 900, 895, 895, 979, 900, 900, 900, 895,
895, 980, 980, 895, 981, 981, 895, 981, 981, 657,
657, 982, 900, 663, 663, 663, 895, 983, 984, 895,
985, 985, 986, 987, 986, 986, 676, 986, 895, 679,
679, 895, 679, 895, 895, 988, 988, 895, 895, 989,
989, 990, 990, 990, 694, 990, 633, 633, 633, 895,
895, 633, 633, 895, 895, 895, 895, 633, 895, 895,
991, 979, 900, 992, 993, 994, 995, 895, 994, 996,
996, 996, 996, 900, 900, 900, 726, 726, 900, 895,
895, 997, 997, 895, 895, 998, 998, 999, 682, 999,
999, 741, 999, 895, 744, 744, 895, 744, 1000, 1001,
895, 895, 1002, 1002, 895, 895, 895, 755, 755, 755,
895, 1003, 1003, 895, 1003, 1004, 1005, 1005, 1005, 1005,
1006, 1005, 1007, 1007, 895, 895, 994, 994, 895, 895,
996, 996, 996, 726, 726, 726, 1008, 1009, 895, 895,
1010, 1010, 1011, 747, 1011, 1011, 796, 1011, 895, 799,
799, 799, 895, 1000, 1000, 895, 895, 895, 895, 755,
755, 895, 1004, 895, 895, 1012, 1013, 895, 996, 996,
726, 726, 726, 726, 726, 895, 895, 1008, 1008, 895,
895, 1014, 1014, 1015, 1015, 1015, 836, 836, 895, 895,
755, 1016, 895, 895, 1012, 1012, 895, 996, 726, 726,
726, 895, 895, 895, 895, 1017, 1017, 895, 895, 1016,
1016, 895, 1016, 1018, 1019, 895, 726, 726, 726, 726,
726, 895, 895, 895, 895, 895, 895, 895, 895, 1018,
1018, 895, 726, 726, 726, 895, 895, 895, 726, 726,
726, 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[6249] =
{ 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, 878, 149, 168, 69, 70, 168, 55, 108,
154, 56, 57, 164, 261, 57, 169, 120, 58, 155,
171, 166, 163, 171, 59, 71, 423, 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, 271, 59, 125, 176, 60, 192, 173,
173, 108, 217, 173, 173, 190, 151, 180, 190, 224,
199, 214, 157, 158, 218, 497, 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, 272, 108, 203, 353, 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, 273, 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, 237, 124, 124, 150, 151, 180, 150,
270, 108, 108, 80, 314, 168, 275, 268, 168, 150,
151, 180, 150, 156, 124, 269, 156, 169, 116, 116,
116, 116, 116, 116, 116, 116, 116, 116, 194, 81,
17, 18, 19, 17, 20, 76, 72, 276, 108, 125,
276, 77, 78, 79, 425, 157, 158, 298, 227, 108,
159, 113, 300, 247, 248, 332, 333, 80, 160, 249,
250, 161, 186, 251, 878, 252, 895, 895, 895, 895,
895, 895, 895, 895, 895, 895, 108, 192, 195, 196,
197, 195, 432, 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, 136, 193, 173, 173, 193, 113, 227, 641, 115,
108, 351, 116, 116, 116, 116, 116, 116, 116, 116,
116, 116, 126, 173, 127, 127, 127, 127, 127, 127,
127, 127, 127, 127, 128, 113, 300, 108, 129, 129,
129, 129, 129, 129, 185, 344, 108, 185, 174, 185,
185, 343, 108, 345, 108, 192, 185, 268, 878, 108,
354, 108, 350, 129, 129, 129, 129, 129, 129, 107,
268, 185, 198, 198, 198, 198, 268, 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, 301, 136, 136, 136, 136,
136, 136, 276, 298, 300, 276, 136, 281, 281, 281,
281, 281, 281, 895, 895, 304, 304, 304, 304, 304,
305, 107, 107, 107, 107, 107, 107, 150, 151, 152,
153, 107, 107, 107, 108, 107, 107, 288, 289, 107,
200, 200, 424, 290, 291, 124, 136, 292, 124, 293,
128, 124, 635, 107, 107, 107, 107, 124, 129, 129,
129, 129, 129, 129, 129, 129, 129, 129, 113, 114,
405, 124, 124, 374, 375, 406, 376, 108, 108, 401,
115, 108, 401, 116, 116, 116, 116, 116, 116, 116,
116, 116, 116, 201, 340, 341, 268, 342, 385, 385,
385, 201, 605, 421, 201, 402, 422, 201, 201, 277,
278, 279, 277, 277, 277, 277, 277, 277, 277, 407,
794, 203, 407, 201, 107, 107, 107, 107, 237, 108,
162, 179, 151, 180, 179, 181, 136, 182, 108, 314,
637, 181, 843, 182, 237, 408, 499, 204, 201, 394,
394, 394, 394, 394, 395, 314, 430, 182, 182, 281,
281, 281, 281, 281, 281, 281, 281, 281, 281, 281,
281, 281, 281, 281, 281, 281, 281, 281, 281, 108,
449, 108, 843, 450, 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, 401, 439, 108, 401, 124, 124, 440, 124, 124,
124, 124, 843, 580, 124, 124, 230, 230, 230, 230,
230, 230, 230, 230, 230, 230, 895, 402, 203, 124,
124, 303, 303, 303, 303, 303, 303, 303, 303, 303,
303, 319, 319, 319, 319, 319, 319, 319, 319, 319,
319, 429, 108, 108, 206, 124, 203, 500, 506, 207,
203, 208, 208, 208, 208, 208, 208, 208, 208, 208,
208, 128, 203, 113, 227, 209, 209, 209, 209, 209,
209, 203, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 661, 214,
209, 209, 209, 209, 209, 209, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 895, 605, 203,
203, 203, 203, 203, 203, 203, 203, 203, 203, 895,
583, 389, 237, 203, 203, 203, 203, 203, 203, 173,
136, 407, 173, 391, 407, 173, 794, 642, 496, 498,
355, 173, 356, 356, 356, 356, 356, 356, 203, 203,
203, 203, 203, 203, 203, 173, 173, 408, 203, 213,
213, 213, 213, 213, 213, 213, 213, 213, 213, 128,
203, 108, 108, 213, 213, 213, 213, 213, 213, 214,
214, 214, 214, 215, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 214, 214, 454, 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, 895, 237, 739, 214,
214, 214, 214, 214, 214, 108, 108, 826, 391, 214,
393, 393, 393, 393, 393, 393, 393, 393, 393, 393,
128, 113, 227, 585, 203, 203, 203, 203, 203, 203,
895, 826, 209, 209, 209, 209, 209, 209, 209, 209,
209, 209, 107, 107, 107, 107, 107, 108, 107, 107,
699, 136, 107, 433, 434, 435, 433, 433, 433, 433,
433, 433, 433, 108, 826, 431, 107, 107, 107, 117,
117, 117, 117, 117, 504, 117, 117, 389, 237, 117,
465, 466, 467, 465, 465, 465, 465, 465, 465, 465,
108, 503, 136, 117, 117, 117, 121, 121, 121, 121,
121, 505, 121, 121, 636, 605, 121, 400, 400, 400,
400, 400, 400, 400, 400, 400, 400, 607, 843, 237,
121, 121, 121, 124, 108, 107, 123, 107, 107, 123,
314, 107, 107, 237, 584, 123, 389, 237, 469, 469,
469, 469, 469, 469, 391, 113, 227, 843, 391, 123,
123, 107, 231, 232, 233, 231, 231, 231, 231, 231,
231, 231, 473, 473, 473, 473, 473, 473, 473, 473,
473, 473, 474, 474, 474, 474, 474, 475, 401, 407,
237, 401, 407, 552, 552, 552, 552, 552, 553, 108,
126, 391, 234, 234, 234, 234, 234, 234, 234, 234,
234, 234, 128, 646, 402, 408, 234, 234, 234, 234,
234, 234, 389, 237, 389, 237, 895, 237, 564, 237,
895, 564, 593, 895, 391, 108, 471, 594, 471, 108,
471, 234, 234, 234, 234, 234, 234, 107, 389, 237,
569, 648, 639, 569, 565, 107, 895, 136, 107, 107,
471, 107, 107, 107, 240, 240, 240, 240, 240, 240,
240, 240, 240, 240, 128, 561, 570, 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, 895, 237, 136, 136, 136, 136, 136, 136,
454, 586, 455, 455, 455, 455, 455, 455, 480, 480,
480, 480, 480, 480, 480, 480, 480, 480, 108, 107,
107, 107, 107, 107, 107, 173, 136, 107, 172, 107,
107, 172, 841, 107, 107, 643, 634, 172, 237, 108,
551, 551, 551, 551, 551, 551, 551, 551, 551, 551,
598, 172, 172, 107, 201, 201, 201, 201, 201, 895,
201, 201, 895, 895, 201, 389, 237, 547, 547, 547,
547, 547, 547, 895, 136, 607, 895, 471, 201, 201,
201, 124, 389, 237, 638, 895, 124, 124, 108, 124,
124, 124, 124, 237, 549, 124, 124, 136, 108, 895,
647, 702, 575, 562, 895, 575, 136, 895, 640, 203,
124, 124, 507, 108, 508, 508, 508, 508, 508, 508,
563, 237, 895, 895, 895, 895, 895, 895, 576, 713,
895, 895, 471, 237, 895, 206, 124, 280, 280, 280,
280, 280, 280, 280, 280, 280, 280, 566, 895, 895,
895, 280, 280, 280, 280, 280, 280, 895, 577, 559,
567, 577, 559, 895, 237, 568, 572, 601, 601, 601,
601, 601, 602, 571, 574, 549, 280, 280, 280, 280,
280, 280, 203, 108, 578, 560, 203, 282, 282, 282,
282, 282, 282, 282, 282, 282, 282, 128, 203, 237,
649, 282, 282, 282, 282, 282, 282, 214, 214, 214,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 739, 216, 280, 280, 280, 280,
280, 280, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 203, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 895, 237, 674, 660, 214, 214, 214,
214, 214, 214, 895, 826, 549, 895, 610, 610, 610,
610, 610, 611, 214, 895, 564, 569, 895, 564, 569,
759, 136, 203, 203, 203, 203, 203, 203, 301, 895,
302, 302, 302, 302, 302, 302, 302, 302, 302, 302,
895, 565, 570, 575, 760, 698, 575, 136, 573, 136,
579, 587, 588, 589, 587, 587, 587, 587, 587, 587,
587, 627, 627, 627, 627, 627, 628, 108, 107, 576,
306, 306, 306, 306, 306, 306, 306, 306, 306, 306,
577, 389, 237, 577, 306, 306, 306, 306, 306, 306,
600, 600, 600, 600, 600, 600, 600, 600, 600, 600,
559, 564, 569, 559, 564, 569, 578, 724, 826, 306,
306, 306, 306, 306, 306, 308, 309, 310, 310, 310,
310, 310, 310, 310, 310, 311, 560, 565, 570, 312,
312, 312, 312, 312, 312, 539, 539, 539, 539, 539,
539, 539, 539, 539, 539, 540, 108, 541, 541, 541,
541, 541, 541, 775, 312, 312, 312, 312, 312, 312,
237, 315, 316, 317, 315, 315, 315, 315, 315, 315,
315, 318, 703, 775, 136, 319, 319, 319, 319, 319,
319, 609, 609, 609, 609, 609, 609, 609, 609, 609,
609, 575, 577, 775, 575, 577, 107, 107, 107, 107,
319, 319, 319, 319, 319, 319, 320, 320, 320, 320,
320, 320, 320, 320, 320, 320, 128, 576, 578, 775,
320, 320, 320, 320, 320, 320, 617, 618, 619, 617,
617, 617, 617, 617, 617, 617, 677, 677, 677, 677,
677, 678, 729, 729, 729, 306, 306, 306, 306, 306,
306, 355, 774, 358, 358, 358, 358, 358, 359, 356,
356, 356, 356, 360, 360, 360, 360, 360, 360, 360,
360, 360, 360, 128, 758, 814, 136, 360, 360, 360,
360, 360, 360, 558, 558, 558, 558, 558, 558, 558,
558, 558, 558, 695, 695, 695, 695, 695, 696, 724,
764, 765, 360, 360, 360, 360, 360, 360, 361, 361,
361, 361, 361, 361, 361, 361, 361, 361, 812, 765,
772, 708, 361, 361, 361, 361, 361, 361, 389, 237,
622, 622, 622, 622, 622, 622, 136, 356, 108, 356,
549, 742, 742, 742, 742, 742, 743, 360, 360, 360,
360, 360, 360, 378, 379, 380, 378, 378, 378, 378,
378, 378, 378, 626, 626, 626, 626, 626, 626, 626,
626, 626, 626, 668, 669, 670, 668, 668, 668, 668,
668, 668, 668, 711, 113, 227, 711, 771, 862, 863,
108, 383, 383, 384, 385, 385, 385, 385, 385, 385,
385, 311, 389, 237, 390, 390, 390, 390, 390, 390,
390, 390, 390, 390, 391, 877, 863, 811, 392, 392,
392, 392, 392, 392, 616, 616, 616, 616, 616, 616,
616, 616, 616, 616, 772, 704, 706, 700, 704, 706,
700, 712, 810, 392, 392, 392, 392, 392, 392, 237,
396, 397, 398, 396, 396, 396, 396, 396, 396, 396,
399, 705, 707, 701, 400, 400, 400, 400, 400, 400,
605, 605, 672, 672, 672, 672, 672, 672, 755, 651,
651, 136, 607, 607, 389, 237, 136, 652, 652, 400,
400, 400, 400, 400, 400, 895, 549, 392, 392, 392,
392, 392, 392, 392, 392, 392, 392, 436, 436, 436,
436, 436, 436, 436, 436, 436, 436, 763, 764, 765,
763, 436, 436, 436, 436, 436, 436, 676, 676, 676,
676, 676, 676, 676, 676, 676, 676, 650, 651, 651,
651, 651, 651, 651, 651, 651, 436, 436, 436, 436,
436, 436, 437, 437, 437, 437, 437, 437, 437, 437,
437, 437, 389, 237, 895, 237, 437, 437, 437, 437,
437, 437, 237, 605, 624, 895, 624, 389, 237, 691,
691, 691, 691, 691, 691, 674, 605, 674, 357, 624,
357, 436, 436, 436, 436, 436, 436, 454, 674, 455,
455, 455, 455, 455, 455, 455, 455, 455, 455, 454,
605, 456, 456, 456, 456, 456, 456, 456, 456, 456,
456, 454, 739, 457, 457, 457, 457, 457, 458, 455,
455, 455, 455, 460, 460, 460, 460, 460, 460, 460,
460, 460, 460, 311, 389, 237, 469, 469, 469, 469,
469, 469, 469, 469, 469, 469, 391, 237, 113, 227,
468, 468, 468, 468, 468, 468, 694, 694, 694, 694,
694, 694, 694, 694, 694, 694, 803, 803, 704, 706,
756, 704, 706, 756, 237, 468, 468, 468, 468, 468,
468, 389, 237, 470, 470, 470, 470, 470, 470, 470,
470, 470, 470, 471, 705, 707, 757, 472, 472, 472,
472, 472, 472, 716, 717, 718, 719, 716, 716, 716,
716, 716, 716, 113, 227, 813, 674, 136, 136, 136,
804, 804, 472, 472, 472, 472, 472, 472, 237, 476,
477, 478, 476, 476, 476, 476, 476, 476, 476, 479,
184, 184, 184, 480, 480, 480, 480, 480, 480, 726,
726, 726, 726, 726, 726, 726, 726, 726, 726, 684,
607, 685, 685, 685, 685, 685, 685, 730, 480, 480,
480, 480, 480, 480, 895, 766, 472, 472, 472, 472,
472, 472, 472, 472, 472, 472, 507, 730, 510, 510,
510, 510, 510, 511, 508, 508, 508, 508, 436, 436,
436, 436, 436, 436, 436, 436, 436, 436, 700, 730,
775, 700, 436, 436, 436, 436, 436, 436, 727, 727,
727, 727, 727, 728, 729, 729, 729, 729, 769, 770,
771, 714, 116, 230, 701, 116, 230, 436, 436, 436,
436, 436, 436, 437, 437, 437, 437, 437, 437, 437,
437, 437, 437, 714, 714, 714, 715, 437, 437, 437,
437, 437, 437, 605, 775, 737, 737, 737, 737, 737,
737, 107, 107, 107, 107, 674, 714, 772, 714, 714,
108, 108, 436, 436, 436, 436, 436, 436, 528, 529,
530, 528, 528, 528, 528, 528, 528, 528, 741, 741,
741, 741, 741, 741, 741, 741, 741, 741, 749, 750,
751, 749, 749, 749, 749, 749, 749, 749, 775, 761,
780, 780, 780, 136, 684, 108, 454, 895, 455, 455,
455, 455, 455, 455, 455, 455, 455, 455, 454, 739,
455, 455, 455, 455, 455, 455, 455, 455, 455, 455,
535, 536, 537, 535, 535, 535, 535, 535, 535, 535,
538, 237, 237, 684, 539, 539, 539, 539, 539, 539,
389, 237, 549, 624, 389, 237, 754, 754, 754, 754,
754, 754, 624, 797, 797, 797, 797, 797, 798, 539,
539, 539, 539, 539, 539, 540, 684, 543, 543, 543,
543, 543, 544, 541, 541, 541, 541, 389, 237, 547,
547, 547, 547, 547, 547, 547, 547, 547, 547, 471,
237, 682, 607, 546, 546, 546, 546, 546, 546, 768,
730, 624, 768, 769, 770, 771, 763, 764, 765, 763,
730, 704, 706, 756, 704, 706, 756, 534, 546, 546,
546, 546, 546, 546, 389, 237, 548, 548, 548, 548,
548, 548, 548, 548, 548, 548, 549, 705, 707, 757,
550, 550, 550, 550, 550, 550, 842, 113, 227, 842,
768, 605, 772, 768, 769, 770, 771, 895, 895, 756,
895, 895, 756, 739, 723, 550, 550, 550, 550, 550,
550, 237, 554, 555, 556, 554, 554, 554, 554, 554,
554, 554, 557, 895, 895, 757, 558, 558, 558, 558,
558, 558, 895, 722, 730, 895, 731, 731, 731, 731,
731, 731, 721, 774, 781, 808, 782, 508, 808, 508,
720, 558, 558, 558, 558, 558, 558, 895, 895, 550,
550, 550, 550, 550, 550, 550, 550, 550, 550, 107,
559, 809, 808, 559, 650, 808, 783, 107, 650, 815,
107, 107, 815, 107, 107, 107, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 560, 650, 809, 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, 598, 599, 599, 599, 599, 599, 599, 599,
599, 599, 599, 787, 788, 789, 787, 787, 787, 787,
787, 787, 787, 748, 748, 748, 748, 748, 748, 748,
748, 748, 748, 837, 837, 837, 837, 837, 838, 108,
108, 605, 605, 606, 606, 606, 606, 606, 606, 606,
606, 606, 606, 607, 794, 710, 709, 608, 608, 608,
608, 608, 608, 605, 108, 792, 792, 792, 792, 792,
792, 136, 509, 768, 509, 739, 768, 769, 770, 771,
237, 684, 608, 608, 608, 608, 608, 608, 612, 613,
614, 612, 612, 612, 612, 612, 612, 612, 615, 184,
184, 184, 616, 616, 616, 616, 616, 616, 796, 796,
796, 796, 796, 796, 796, 796, 796, 796, 775, 684,
776, 776, 776, 776, 776, 776, 772, 616, 616, 616,
616, 616, 616, 895, 534, 608, 608, 608, 608, 608,
608, 608, 608, 608, 608, 389, 237, 622, 622, 622,
622, 622, 622, 622, 622, 622, 622, 549, 541, 387,
541, 621, 621, 621, 621, 621, 621, 816, 817, 818,
816, 816, 816, 816, 816, 816, 816, 662, 659, 895,
895, 808, 895, 895, 808, 658, 621, 621, 621, 621,
621, 621, 389, 237, 623, 623, 623, 623, 623, 623,
623, 623, 623, 623, 624, 895, 895, 809, 625, 625,
625, 625, 625, 625, 802, 802, 802, 802, 802, 802,
802, 802, 802, 802, 656, 655, 819, 839, 820, 542,
839, 542, 650, 625, 625, 625, 625, 625, 625, 237,
629, 630, 631, 629, 629, 629, 629, 629, 629, 629,
895, 650, 645, 840, 632, 632, 632, 632, 632, 632,
605, 605, 794, 833, 833, 833, 833, 833, 833, 508,
644, 508, 794, 794, 856, 856, 856, 856, 136, 632,
632, 632, 632, 632, 632, 895, 540, 625, 625, 625,
625, 625, 625, 625, 625, 625, 625, 107, 237, 803,
803, 803, 803, 803, 803, 107, 540, 540, 107, 107,
534, 107, 107, 107, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 541, 387, 541, 107, 136, 136,
136, 136, 136, 136, 136, 136, 633, 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,
650, 653, 653, 653, 653, 653, 654, 651, 651, 651,
651, 203, 685, 311, 685, 203, 214, 214, 214, 214,
214, 214, 214, 214, 214, 214, 686, 203, 686, 597,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
657, 214, 214, 596, 216, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 663, 664, 665, 666, 663, 663, 663, 663,
663, 663, 836, 836, 836, 836, 836, 836, 836, 836,
836, 836, 815, 815, 815, 815, 815, 815, 815, 815,
815, 815, 731, 595, 731, 839, 592, 591, 839, 108,
598, 599, 599, 599, 599, 599, 599, 599, 599, 599,
599, 815, 815, 815, 815, 815, 815, 815, 815, 815,
815, 840, 861, 862, 863, 861, 732, 895, 732, 826,
895, 827, 827, 827, 827, 827, 827, 590, 108, 605,
507, 672, 672, 672, 672, 672, 672, 672, 672, 672,
672, 607, 605, 895, 673, 673, 673, 673, 673, 673,
673, 673, 673, 673, 674, 685, 507, 685, 675, 675,
675, 675, 675, 675, 848, 852, 853, 854, 852, 852,
852, 852, 852, 852, 852, 839, 858, 507, 839, 858,
776, 582, 776, 675, 675, 675, 675, 675, 675, 679,
680, 681, 679, 679, 679, 679, 679, 679, 679, 682,
581, 840, 859, 683, 683, 683, 683, 683, 683, 864,
865, 866, 864, 864, 864, 864, 864, 864, 864, 843,
108, 844, 844, 844, 844, 844, 844, 108, 683, 683,
683, 683, 683, 683, 895, 108, 675, 675, 675, 675,
675, 675, 675, 675, 675, 675, 684, 108, 687, 687,
687, 687, 687, 688, 685, 685, 685, 685, 389, 237,
691, 691, 691, 691, 691, 691, 691, 691, 691, 691,
624, 777, 540, 777, 690, 690, 690, 690, 690, 690,
872, 872, 872, 872, 872, 872, 872, 872, 872, 872,
876, 858, 858, 876, 858, 858, 731, 876, 731, 690,
690, 690, 690, 690, 690, 389, 237, 692, 692, 692,
692, 692, 692, 692, 692, 692, 692, 859, 859, 540,
534, 693, 693, 693, 693, 693, 693, 873, 873, 873,
873, 873, 873, 873, 873, 873, 873, 861, 862, 863,
861, 827, 828, 827, 828, 387, 693, 693, 693, 693,
693, 693, 895, 311, 693, 693, 693, 693, 693, 693,
693, 693, 693, 693, 107, 872, 872, 872, 872, 872,
872, 844, 107, 844, 311, 107, 107, 527, 107, 107,
107, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 845, 526, 845, 107, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 697, 136, 136, 136, 108, 136,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 107, 107, 107, 107, 107, 107, 700, 525, 878,
700, 879, 879, 879, 879, 879, 879, 879, 203, 879,
524, 523, 203, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 701, 203, 522, 521, 214, 214, 214,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
214, 214, 214, 214, 214, 214, 214, 214, 214, 214,
520, 216, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 203, 724,
519, 725, 725, 725, 725, 725, 725, 725, 725, 725,
725, 874, 874, 874, 874, 874, 875, 872, 872, 872,
872, 872, 872, 872, 872, 872, 872, 872, 872, 872,
872, 892, 892, 892, 892, 892, 892, 518, 108, 730,
517, 733, 733, 733, 733, 733, 734, 731, 731, 731,
731, 605, 516, 737, 737, 737, 737, 737, 737, 737,
737, 737, 737, 674, 605, 515, 738, 738, 738, 738,
738, 738, 738, 738, 738, 738, 739, 880, 514, 880,
740, 740, 740, 740, 740, 740, 872, 872, 872, 872,
872, 872, 872, 872, 872, 872, 513, 512, 507, 507,
344, 502, 501, 495, 494, 740, 740, 740, 740, 740,
740, 744, 745, 746, 744, 744, 744, 744, 744, 744,
744, 747, 493, 492, 491, 748, 748, 748, 748, 748,
748, 886, 887, 888, 886, 886, 886, 886, 886, 886,
886, 490, 489, 488, 487, 486, 485, 484, 483, 482,
748, 748, 748, 748, 748, 748, 895, 481, 740, 740,
740, 740, 740, 740, 740, 740, 740, 740, 389, 237,
754, 754, 754, 754, 754, 754, 754, 754, 754, 754,
775, 463, 778, 778, 778, 778, 778, 779, 780, 780,
780, 780, 784, 785, 786, 784, 784, 784, 784, 784,
784, 784, 892, 892, 892, 892, 892, 892, 892, 892,
892, 892, 886, 886, 886, 886, 886, 886, 886, 886,
886, 886, 387, 311, 459, 311, 134, 453, 452, 108,
724, 451, 725, 725, 725, 725, 725, 725, 725, 725,
725, 725, 893, 893, 893, 893, 893, 894, 892, 892,
892, 892, 892, 892, 892, 892, 892, 892, 892, 892,
892, 892, 448, 447, 446, 445, 444, 443, 442, 108,
605, 441, 792, 792, 792, 792, 792, 792, 792, 792,
792, 792, 739, 605, 438, 793, 793, 793, 793, 793,
793, 793, 793, 793, 793, 794, 355, 355, 355, 795,
795, 795, 795, 795, 795, 344, 428, 344, 427, 344,
426, 420, 419, 418, 417, 416, 415, 414, 413, 412,
411, 410, 409, 404, 795, 795, 795, 795, 795, 795,
799, 800, 801, 799, 799, 799, 799, 799, 799, 799,
403, 128, 311, 387, 802, 802, 802, 802, 802, 802,
311, 134, 377, 373, 372, 371, 370, 369, 368, 367,
366, 365, 364, 363, 362, 207, 355, 355, 352, 802,
802, 802, 802, 802, 802, 895, 349, 795, 795, 795,
795, 795, 795, 795, 795, 795, 795, 237, 805, 805,
805, 805, 805, 806, 803, 803, 803, 803, 107, 348,
347, 346, 339, 338, 337, 336, 107, 335, 334, 107,
107, 331, 107, 107, 107, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 330, 329, 328, 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, 767, 767, 767, 767, 767, 327, 767, 767, 326,
325, 767, 324, 323, 322, 321, 134, 126, 297, 296,
295, 294, 287, 286, 285, 767, 767, 767, 773, 773,
773, 773, 773, 284, 773, 773, 283, 895, 773, 204,
196, 191, 192, 186, 186, 151, 178, 274, 266, 265,
264, 263, 773, 773, 773, 821, 262, 822, 822, 822,
822, 822, 822, 822, 822, 822, 822, 821, 259, 823,
823, 823, 823, 823, 823, 823, 823, 823, 823, 821,
258, 824, 824, 824, 824, 824, 825, 822, 822, 822,
822, 826, 257, 829, 829, 829, 829, 829, 830, 827,
827, 827, 827, 605, 256, 833, 833, 833, 833, 833,
833, 833, 833, 833, 833, 794, 605, 255, 834, 834,
834, 834, 834, 834, 834, 834, 834, 834, 254, 246,
245, 244, 835, 835, 835, 835, 835, 835, 243, 242,
241, 134, 107, 134, 206, 122, 229, 120, 113, 111,
108, 223, 222, 221, 220, 219, 214, 835, 835, 835,
835, 835, 835, 895, 192, 835, 835, 835, 835, 835,
835, 835, 835, 835, 835, 843, 186, 846, 846, 846,
846, 846, 847, 844, 844, 844, 844, 107, 178, 849,
850, 851, 849, 849, 849, 849, 849, 849, 849, 821,
110, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 821, 144, 822, 822, 822, 822, 822, 822, 822,
822, 822, 822, 821, 175, 822, 822, 822, 822, 822,
822, 822, 822, 822, 822, 821, 141, 822, 822, 822,
822, 822, 822, 107, 107, 107, 107, 605, 170, 857,
857, 857, 857, 857, 857, 857, 857, 857, 857, 867,
167, 868, 868, 868, 868, 868, 868, 868, 868, 868,
868, 867, 165, 869, 869, 869, 869, 869, 869, 869,
869, 869, 869, 867, 147, 870, 870, 870, 870, 870,
871, 868, 868, 868, 868, 878, 146, 881, 881, 881,
881, 881, 882, 879, 879, 879, 879, 107, 143, 883,
884, 885, 883, 883, 883, 883, 883, 883, 883, 867,
142, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 867, 136, 868, 868, 868, 868, 868, 868, 868,
868, 868, 868, 867, 134, 868, 868, 868, 868, 868,
868, 868, 868, 868, 868, 867, 122, 868, 868, 868,
868, 868, 868, 107, 107, 107, 107, 107, 111, 889,
889, 889, 889, 889, 889, 889, 889, 889, 889, 107,
110, 883, 883, 883, 883, 883, 883, 883, 883, 883,
883, 107, 108, 890, 890, 890, 890, 890, 891, 889,
889, 889, 889, 107, 895, 107, 107, 107, 107, 107,
107, 107, 107, 107, 107, 107, 895, 889, 889, 889,
889, 889, 889, 889, 889, 889, 889, 107, 895, 889,
889, 889, 889, 889, 889, 107, 107, 107, 107, 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,
299, 299, 299, 299, 299, 299, 299, 299, 299, 299,
299, 299, 299, 299, 299, 299, 299, 299, 299, 299,
299, 307, 307, 895, 307, 895, 895, 895, 307, 313,
313, 313, 895, 313, 895, 895, 895, 313, 381, 381,
895, 381, 895, 895, 895, 381, 382, 382, 895, 382,
895, 895, 895, 382, 386, 386, 895, 386, 895, 895,
895, 386, 388, 388, 388, 895, 388, 895, 895, 895,
388, 216, 895, 895, 216, 216, 895, 216, 459, 459,
895, 459, 895, 895, 895, 459, 461, 461, 895, 461,
895, 895, 895, 461, 462, 462, 895, 462, 895, 895,
895, 462, 464, 464, 464, 895, 464, 895, 895, 895,
464, 468, 468, 468, 468, 895, 468, 895, 895, 895,
468, 531, 531, 895, 531, 895, 895, 895, 531, 532,
532, 895, 532, 895, 895, 895, 532, 533, 533, 895,
533, 895, 895, 895, 533, 545, 545, 545, 895, 545,
895, 895, 895, 545, 546, 546, 546, 546, 895, 546,
895, 895, 895, 546, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 603, 603, 895, 603, 895,
895, 895, 603, 604, 604, 895, 604, 895, 895, 895,
604, 620, 620, 620, 895, 620, 895, 895, 895, 620,
621, 621, 621, 621, 895, 621, 895, 895, 895, 621,
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, 667, 667, 895, 667, 895, 895, 895, 667,
671, 895, 671, 671, 895, 671, 895, 895, 895, 671,
689, 689, 689, 895, 689, 895, 895, 895, 689, 690,
690, 690, 690, 895, 690, 895, 895, 895, 690, 632,
632, 895, 895, 632, 895, 895, 895, 632, 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,
735, 735, 895, 735, 895, 895, 895, 735, 736, 895,
736, 736, 895, 736, 895, 895, 895, 736, 683, 683,
895, 683, 895, 895, 895, 683, 752, 752, 752, 895,
752, 895, 895, 895, 752, 753, 753, 753, 895, 895,
753, 895, 895, 895, 753, 762, 762, 762, 762, 762,
762, 762, 762, 762, 762, 762, 762, 762, 762, 762,
762, 762, 762, 762, 762, 762, 767, 767, 895, 767,
767, 767, 895, 767, 895, 767, 767, 767, 767, 895,
895, 767, 767, 767, 767, 767, 767, 773, 773, 895,
773, 773, 773, 895, 773, 895, 773, 773, 773, 773,
895, 895, 773, 773, 773, 773, 773, 773, 216, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 216,
216, 895, 216, 216, 895, 216, 790, 790, 895, 790,
895, 895, 895, 790, 791, 895, 791, 791, 895, 791,
895, 895, 895, 791, 807, 807, 895, 895, 807, 895,
895, 895, 807, 762, 762, 762, 762, 762, 762, 762,
762, 762, 762, 762, 762, 762, 762, 762, 762, 762,
762, 762, 762, 762, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 767, 895, 895, 895, 895,
895, 895, 767, 895, 767, 767, 767, 767, 895, 895,
767, 767, 767, 767, 767, 767, 773, 895, 895, 895,
895, 895, 895, 773, 895, 773, 773, 773, 773, 895,
895, 773, 773, 773, 773, 773, 773, 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[6249] =
{ 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, 881, 46, 57, 6, 6, 57, 2, 155,
49, 2, 3, 53, 155, 3, 57, 23, 3, 49,
59, 55, 52, 59, 3, 5, 341, 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, 341, 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, 422, 109, 50, 106, 109,
112, 112, 4, 60, 4, 50, 4, 4, 50, 4,
86, 86, 86, 86, 134, 86, 880, 87, 84, 92,
92, 92, 92, 92, 92, 134, 422, 169, 60, 88,
169, 4, 7, 7, 7, 7, 7, 88, 7, 154,
88, 154, 166, 88, 88, 91, 91, 91, 91, 91,
91, 91, 91, 91, 91, 166, 272, 88, 272, 88,
115, 115, 115, 115, 115, 115, 115, 115, 115, 115,
116, 116, 116, 116, 116, 116, 116, 116, 116, 116,
226, 226, 879, 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, 238, 123, 123, 153, 153, 153, 153,
164, 176, 163, 9, 238, 168, 176, 163, 168, 190,
190, 190, 190, 156, 123, 163, 156, 168, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 194, 9,
10, 10, 10, 10, 10, 10, 10, 196, 343, 123,
196, 10, 10, 10, 343, 156, 156, 227, 227, 153,
156, 228, 228, 175, 175, 253, 253, 10, 156, 175,
175, 156, 190, 175, 865, 175, 183, 183, 183, 183,
183, 183, 183, 183, 183, 183, 354, 194, 195, 195,
195, 195, 354, 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, 573, 193, 172, 172, 193, 267, 267, 573, 22,
268, 268, 22, 22, 22, 22, 22, 22, 22, 22,
22, 22, 29, 172, 29, 29, 29, 29, 29, 29,
29, 29, 29, 29, 29, 299, 299, 261, 29, 29,
29, 29, 29, 29, 186, 262, 275, 186, 172, 186,
186, 261, 269, 262, 353, 193, 186, 269, 864, 271,
275, 29, 267, 29, 29, 29, 29, 29, 29, 35,
353, 186, 200, 200, 200, 200, 271, 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, 302, 39, 39, 39, 39,
39, 39, 276, 300, 300, 276, 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, 302, 47, 47, 221, 221, 47,
198, 199, 342, 221, 221, 206, 563, 221, 206, 221,
306, 206, 563, 47, 47, 47, 48, 206, 48, 48,
48, 48, 48, 48, 48, 48, 48, 48, 51, 51,
324, 206, 206, 296, 296, 324, 296, 306, 342, 321,
51, 273, 321, 51, 51, 51, 51, 51, 51, 51,
51, 51, 51, 202, 260, 260, 273, 260, 310, 310,
310, 202, 857, 340, 202, 321, 340, 202, 202, 207,
207, 207, 207, 207, 207, 207, 207, 207, 207, 325,
855, 202, 325, 202, 305, 305, 305, 305, 313, 260,
51, 71, 71, 71, 71, 71, 567, 71, 340, 313,
567, 71, 846, 71, 388, 325, 424, 202, 202, 317,
317, 317, 317, 317, 317, 388, 351, 71, 71, 210,
210, 210, 210, 210, 210, 210, 210, 210, 210, 211,
211, 211, 211, 211, 211, 211, 211, 211, 211, 351,
374, 424, 845, 374, 71, 72, 72, 229, 229, 229,
229, 229, 229, 229, 229, 229, 229, 72, 350, 350,
72, 72, 72, 72, 72, 72, 72, 72, 72, 72,
89, 362, 364, 500, 362, 89, 89, 364, 89, 89,
89, 89, 844, 500, 89, 89, 230, 230, 230, 230,
230, 230, 230, 230, 230, 230, 835, 362, 89, 89,
89, 232, 232, 232, 232, 232, 232, 232, 232, 232,
232, 314, 314, 314, 314, 314, 314, 314, 314, 314,
314, 350, 425, 432, 89, 89, 90, 425, 432, 90,
90, 90, 90, 90, 90, 90, 90, 90, 90, 90,
90, 90, 90, 503, 503, 90, 90, 90, 90, 90,
90, 90, 90, 90, 90, 90, 90, 90, 90, 90,
90, 90, 90, 90, 90, 90, 90, 90, 596, 596,
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,
503, 390, 390, 93, 93, 93, 93, 93, 93, 274,
574, 365, 274, 390, 365, 274, 832, 574, 421, 423,
359, 274, 359, 359, 359, 359, 359, 359, 93, 93,
93, 93, 93, 93, 94, 274, 274, 365, 94, 94,
94, 94, 94, 94, 94, 94, 94, 94, 94, 94,
94, 421, 423, 94, 94, 94, 94, 94, 94, 94,
94, 94, 94, 94, 94, 94, 94, 94, 94, 94,
94, 94, 94, 94, 94, 94, 455, 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, 392, 392, 831, 98,
98, 98, 98, 98, 98, 455, 505, 829, 392, 98,
316, 316, 316, 316, 316, 316, 316, 316, 316, 316,
352, 429, 429, 505, 98, 98, 98, 98, 98, 98,
104, 828, 104, 104, 104, 104, 104, 104, 104, 104,
104, 104, 108, 108, 108, 108, 108, 352, 108, 108,
635, 635, 108, 355, 355, 355, 355, 355, 355, 355,
355, 355, 355, 430, 827, 352, 108, 108, 108, 120,
120, 120, 120, 120, 430, 120, 120, 692, 692, 120,
389, 389, 389, 389, 389, 389, 389, 389, 389, 389,
431, 429, 566, 120, 120, 120, 122, 122, 122, 122,
122, 431, 122, 122, 566, 606, 122, 391, 391, 391,
391, 391, 391, 391, 391, 391, 391, 606, 817, 464,
122, 122, 122, 125, 504, 125, 125, 125, 125, 125,
464, 125, 125, 468, 504, 125, 395, 395, 395, 395,
395, 395, 395, 395, 468, 583, 583, 816, 395, 125,
125, 125, 126, 126, 126, 126, 126, 126, 126, 126,
126, 126, 397, 397, 397, 397, 397, 397, 397, 397,
397, 397, 398, 398, 398, 398, 398, 398, 401, 407,
545, 401, 407, 478, 478, 478, 478, 478, 478, 126,
127, 545, 127, 127, 127, 127, 127, 127, 127, 127,
127, 127, 127, 583, 401, 407, 127, 127, 127, 127,
127, 127, 469, 469, 470, 470, 472, 472, 485, 546,
482, 485, 517, 482, 469, 585, 470, 517, 472, 127,
546, 127, 127, 127, 127, 127, 127, 135, 547, 547,
488, 585, 571, 488, 485, 135, 482, 571, 135, 135,
547, 135, 135, 135, 135, 135, 135, 135, 135, 135,
135, 135, 135, 135, 135, 482, 488, 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, 506, 693, 693, 136, 136, 136, 136, 136, 136,
458, 506, 458, 458, 458, 458, 458, 458, 471, 471,
471, 471, 471, 471, 471, 471, 471, 471, 580, 136,
136, 136, 136, 136, 136, 174, 562, 174, 174, 174,
174, 174, 811, 174, 174, 580, 562, 174, 807, 458,
477, 477, 477, 477, 477, 477, 477, 477, 477, 477,
599, 174, 174, 174, 204, 204, 204, 204, 204, 483,
204, 204, 483, 608, 204, 475, 475, 475, 475, 475,
475, 475, 475, 484, 568, 608, 484, 475, 204, 204,
204, 205, 548, 548, 568, 483, 205, 205, 599, 205,
205, 205, 205, 805, 548, 205, 205, 572, 584, 484,
584, 637, 493, 483, 486, 493, 637, 486, 572, 205,
205, 205, 511, 647, 511, 511, 511, 511, 511, 511,
484, 620, 487, 489, 490, 487, 489, 490, 493, 647,
486, 492, 620, 804, 492, 205, 205, 208, 208, 208,
208, 208, 208, 208, 208, 208, 208, 486, 487, 489,
490, 208, 208, 208, 208, 208, 208, 492, 494, 512,
487, 494, 512, 550, 550, 487, 490, 530, 530, 530,
530, 530, 530, 489, 492, 550, 208, 208, 208, 208,
208, 208, 213, 586, 494, 512, 213, 213, 213, 213,
213, 213, 213, 213, 213, 213, 213, 213, 213, 803,
586, 213, 213, 213, 213, 213, 213, 213, 213, 213,
213, 213, 213, 213, 213, 213, 213, 213, 213, 213,
213, 213, 213, 213, 791, 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, 621, 790, 595, 214, 214, 214,
214, 214, 214, 495, 788, 621, 495, 537, 537, 537,
537, 537, 537, 595, 491, 515, 518, 491, 515, 518,
702, 702, 214, 214, 214, 214, 214, 214, 231, 495,
231, 231, 231, 231, 231, 231, 231, 231, 231, 231,
491, 515, 518, 521, 703, 634, 521, 634, 491, 703,
495, 507, 507, 507, 507, 507, 507, 507, 507, 507,
507, 556, 556, 556, 556, 556, 556, 231, 234, 521,
234, 234, 234, 234, 234, 234, 234, 234, 234, 234,
522, 754, 754, 522, 234, 234, 234, 234, 234, 234,
529, 529, 529, 529, 529, 529, 529, 529, 529, 529,
559, 564, 569, 559, 564, 569, 522, 725, 787, 234,
234, 234, 234, 234, 234, 237, 237, 237, 237, 237,
237, 237, 237, 237, 237, 237, 559, 564, 569, 237,
237, 237, 237, 237, 237, 534, 534, 534, 534, 534,
534, 534, 534, 534, 534, 544, 725, 544, 544, 544,
544, 544, 544, 780, 237, 237, 237, 237, 237, 237,
239, 239, 239, 239, 239, 239, 239, 239, 239, 239,
239, 239, 638, 778, 638, 239, 239, 239, 239, 239,
239, 536, 536, 536, 536, 536, 536, 536, 536, 536,
536, 575, 577, 777, 575, 577, 602, 602, 602, 602,
239, 239, 239, 239, 239, 239, 240, 240, 240, 240,
240, 240, 240, 240, 240, 240, 240, 575, 577, 776,
240, 240, 240, 240, 240, 240, 540, 540, 540, 540,
540, 540, 540, 540, 540, 540, 614, 614, 614, 614,
614, 614, 666, 666, 666, 240, 240, 240, 240, 240,
240, 279, 773, 279, 279, 279, 279, 279, 279, 279,
279, 279, 279, 280, 280, 280, 280, 280, 280, 280,
280, 280, 280, 280, 699, 771, 699, 280, 280, 280,
280, 280, 280, 549, 549, 549, 549, 549, 549, 549,
549, 549, 549, 631, 631, 631, 631, 631, 631, 729,
762, 762, 280, 280, 280, 280, 280, 280, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 765, 765,
767, 642, 282, 282, 282, 282, 282, 282, 553, 553,
553, 553, 553, 553, 553, 553, 642, 939, 729, 939,
553, 681, 681, 681, 681, 681, 681, 282, 282, 282,
282, 282, 282, 301, 301, 301, 301, 301, 301, 301,
301, 301, 301, 555, 555, 555, 555, 555, 555, 555,
555, 555, 555, 605, 605, 605, 605, 605, 605, 605,
605, 605, 605, 646, 646, 646, 646, 770, 860, 860,
301, 309, 309, 309, 309, 309, 309, 309, 309, 309,
309, 309, 315, 315, 315, 315, 315, 315, 315, 315,
315, 315, 315, 315, 315, 863, 863, 760, 315, 315,
315, 315, 315, 315, 607, 607, 607, 607, 607, 607,
607, 607, 607, 607, 770, 660, 661, 636, 660, 661,
636, 646, 759, 315, 315, 315, 315, 315, 315, 318,
318, 318, 318, 318, 318, 318, 318, 318, 318, 318,
318, 660, 661, 636, 318, 318, 318, 318, 318, 318,
611, 672, 611, 611, 611, 611, 611, 611, 697, 968,
968, 697, 611, 672, 622, 622, 636, 969, 969, 318,
318, 318, 318, 318, 318, 319, 622, 319, 319, 319,
319, 319, 319, 319, 319, 319, 319, 360, 360, 360,
360, 360, 360, 360, 360, 360, 360, 711, 711, 711,
711, 360, 360, 360, 360, 360, 360, 613, 613, 613,
613, 613, 613, 613, 613, 613, 613, 654, 654, 654,
654, 654, 654, 654, 980, 980, 360, 360, 360, 360,
360, 360, 361, 361, 361, 361, 361, 361, 361, 361,
361, 361, 623, 623, 625, 625, 361, 361, 361, 361,
361, 361, 753, 673, 623, 675, 625, 628, 628, 628,
628, 628, 628, 628, 628, 673, 737, 675, 940, 628,
940, 361, 361, 361, 361, 361, 361, 378, 737, 378,
378, 378, 378, 378, 378, 378, 378, 378, 378, 379,
738, 379, 379, 379, 379, 379, 379, 379, 379, 379,
379, 380, 738, 380, 380, 380, 380, 380, 380, 380,
380, 380, 380, 383, 383, 383, 383, 383, 383, 383,
383, 383, 383, 383, 393, 393, 393, 393, 393, 393,
393, 393, 393, 393, 393, 393, 393, 750, 766, 766,
393, 393, 393, 393, 393, 393, 630, 630, 630, 630,
630, 630, 630, 630, 630, 630, 1000, 1000, 639, 640,
698, 639, 640, 698, 749, 393, 393, 393, 393, 393,
393, 396, 396, 396, 396, 396, 396, 396, 396, 396,
396, 396, 396, 396, 639, 640, 698, 396, 396, 396,
396, 396, 396, 650, 650, 650, 650, 650, 650, 650,
650, 650, 650, 712, 712, 766, 736, 639, 640, 698,
1001, 1001, 396, 396, 396, 396, 396, 396, 399, 399,
399, 399, 399, 399, 399, 399, 399, 399, 399, 399,
909, 909, 909, 399, 399, 399, 399, 399, 399, 664,
664, 664, 664, 664, 664, 664, 664, 664, 664, 688,
735, 688, 688, 688, 688, 688, 688, 733, 399, 399,
399, 399, 399, 399, 400, 712, 400, 400, 400, 400,
400, 400, 400, 400, 400, 400, 435, 732, 435, 435,
435, 435, 435, 435, 435, 435, 435, 435, 436, 436,
436, 436, 436, 436, 436, 436, 436, 436, 700, 731,
717, 700, 436, 436, 436, 436, 436, 436, 665, 665,
665, 665, 665, 665, 665, 665, 665, 665, 769, 769,
769, 648, 906, 919, 700, 906, 919, 436, 436, 436,
436, 436, 436, 437, 437, 437, 437, 437, 437, 437,
437, 437, 437, 648, 710, 648, 648, 437, 437, 437,
437, 437, 437, 678, 716, 678, 678, 678, 678, 678,
678, 728, 728, 728, 728, 678, 710, 769, 710, 710,
648, 713, 437, 437, 437, 437, 437, 437, 454, 454,
454, 454, 454, 454, 454, 454, 454, 454, 680, 680,
680, 680, 680, 680, 680, 680, 680, 680, 684, 684,
684, 684, 684, 684, 684, 684, 684, 684, 719, 709,
719, 719, 719, 708, 687, 454, 456, 740, 456, 456,
456, 456, 456, 456, 456, 456, 456, 456, 457, 740,
457, 457, 457, 457, 457, 457, 457, 457, 457, 457,
463, 463, 463, 463, 463, 463, 463, 463, 463, 463,
463, 689, 690, 686, 463, 463, 463, 463, 463, 463,
691, 691, 689, 690, 696, 696, 696, 696, 696, 696,
696, 696, 691, 746, 746, 746, 746, 746, 746, 463,
463, 463, 463, 463, 463, 467, 685, 467, 467, 467,
467, 467, 467, 467, 467, 467, 467, 473, 473, 473,
473, 473, 473, 473, 473, 473, 473, 473, 473, 473,
752, 674, 671, 473, 473, 473, 473, 473, 473, 714,
669, 752, 714, 714, 714, 714, 763, 763, 763, 763,
668, 704, 706, 720, 704, 706, 720, 667, 473, 473,
473, 473, 473, 473, 476, 476, 476, 476, 476, 476,
476, 476, 476, 476, 476, 476, 476, 704, 706, 720,
476, 476, 476, 476, 476, 476, 813, 813, 813, 813,
715, 792, 714, 715, 715, 715, 715, 721, 722, 756,
721, 722, 756, 792, 659, 476, 476, 476, 476, 476,
476, 479, 479, 479, 479, 479, 479, 479, 479, 479,
479, 479, 479, 721, 722, 756, 479, 479, 479, 479,
479, 479, 723, 658, 734, 723, 734, 734, 734, 734,
734, 734, 656, 715, 721, 758, 722, 951, 758, 951,
655, 479, 479, 479, 479, 479, 479, 480, 723, 480,
480, 480, 480, 480, 480, 480, 480, 480, 480, 481,
481, 758, 781, 481, 653, 781, 723, 481, 652, 1006,
481, 481, 1006, 481, 481, 481, 481, 481, 481, 481,
481, 481, 481, 481, 481, 481, 481, 651, 781, 481,
481, 481, 481, 481, 481, 481, 481, 481, 481, 481,
481, 481, 481, 481, 481, 481, 481, 481, 481, 481,
481, 481, 481, 481, 481, 481, 481, 481, 481, 481,
481, 481, 481, 481, 481, 481, 481, 481, 481, 481,
481, 481, 528, 528, 528, 528, 528, 528, 528, 528,
528, 528, 528, 730, 730, 730, 730, 730, 730, 730,
730, 730, 730, 739, 739, 739, 739, 739, 739, 739,
739, 739, 739, 801, 801, 801, 801, 801, 801, 649,
528, 535, 793, 535, 535, 535, 535, 535, 535, 535,
535, 535, 535, 535, 793, 645, 644, 535, 535, 535,
535, 535, 535, 743, 643, 743, 743, 743, 743, 743,
743, 641, 952, 768, 952, 743, 768, 768, 768, 768,
624, 618, 535, 535, 535, 535, 535, 535, 538, 538,
538, 538, 538, 538, 538, 538, 538, 538, 538, 929,
929, 929, 538, 538, 538, 538, 538, 538, 745, 745,
745, 745, 745, 745, 745, 745, 745, 745, 779, 617,
779, 779, 779, 779, 779, 779, 768, 538, 538, 538,
538, 538, 538, 539, 604, 539, 539, 539, 539, 539,
539, 539, 539, 539, 539, 551, 551, 551, 551, 551,
551, 551, 551, 551, 551, 551, 551, 551, 956, 603,
956, 551, 551, 551, 551, 551, 551, 775, 775, 775,
775, 775, 775, 775, 775, 775, 775, 597, 594, 782,
783, 808, 782, 783, 808, 593, 551, 551, 551, 551,
551, 551, 554, 554, 554, 554, 554, 554, 554, 554,
554, 554, 554, 554, 554, 782, 783, 808, 554, 554,
554, 554, 554, 554, 794, 794, 794, 794, 794, 794,
794, 794, 794, 794, 591, 590, 782, 810, 783, 957,
810, 957, 588, 554, 554, 554, 554, 554, 554, 557,
557, 557, 557, 557, 557, 557, 557, 557, 557, 557,
795, 587, 582, 810, 557, 557, 557, 557, 557, 557,
833, 798, 795, 798, 798, 798, 798, 798, 798, 961,
581, 961, 833, 798, 838, 838, 838, 838, 579, 557,
557, 557, 557, 557, 557, 558, 543, 558, 558, 558,
558, 558, 558, 558, 558, 558, 558, 561, 806, 806,
806, 806, 806, 806, 806, 561, 542, 541, 561, 561,
533, 561, 561, 561, 561, 561, 561, 561, 561, 561,
561, 561, 561, 561, 964, 532, 964, 561, 561, 561,
561, 561, 561, 561, 561, 561, 561, 561, 561, 561,
561, 561, 561, 561, 561, 561, 561, 561, 561, 561,
561, 561, 561, 561, 561, 561, 561, 561, 561, 561,
561, 561, 561, 561, 561, 561, 561, 561, 561, 561,
589, 589, 589, 589, 589, 589, 589, 589, 589, 589,
589, 592, 974, 531, 974, 592, 592, 592, 592, 592,
592, 592, 592, 592, 592, 592, 975, 592, 975, 527,
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
592, 592, 592, 520, 592, 592, 592, 592, 592, 592,
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
592, 592, 598, 598, 598, 598, 598, 598, 598, 598,
598, 598, 800, 800, 800, 800, 800, 800, 800, 800,
800, 800, 814, 814, 814, 814, 814, 814, 814, 814,
814, 814, 983, 519, 983, 819, 516, 514, 819, 598,
600, 600, 600, 600, 600, 600, 600, 600, 600, 600,
600, 815, 815, 815, 815, 815, 815, 815, 815, 815,
815, 819, 842, 842, 842, 842, 984, 820, 984, 830,
820, 830, 830, 830, 830, 830, 830, 513, 600, 609,
510, 609, 609, 609, 609, 609, 609, 609, 609, 609,
609, 609, 612, 820, 612, 612, 612, 612, 612, 612,
612, 612, 612, 612, 612, 988, 509, 988, 612, 612,
612, 612, 612, 612, 820, 826, 826, 826, 826, 826,
826, 826, 826, 826, 826, 839, 841, 508, 839, 841,
994, 502, 994, 612, 612, 612, 612, 612, 612, 615,
615, 615, 615, 615, 615, 615, 615, 615, 615, 615,
501, 839, 841, 615, 615, 615, 615, 615, 615, 843,
843, 843, 843, 843, 843, 843, 843, 843, 843, 847,
499, 847, 847, 847, 847, 847, 847, 498, 615, 615,
615, 615, 615, 615, 616, 497, 616, 616, 616, 616,
616, 616, 616, 616, 616, 616, 619, 496, 619, 619,
619, 619, 619, 619, 619, 619, 619, 619, 626, 626,
626, 626, 626, 626, 626, 626, 626, 626, 626, 626,
626, 995, 466, 995, 626, 626, 626, 626, 626, 626,
852, 852, 852, 852, 852, 852, 852, 852, 852, 852,
1017, 848, 858, 1017, 848, 858, 997, 1017, 997, 626,
626, 626, 626, 626, 626, 629, 629, 629, 629, 629,
629, 629, 629, 629, 629, 629, 629, 848, 858, 465,
462, 629, 629, 629, 629, 629, 629, 853, 853, 853,
853, 853, 853, 853, 853, 853, 853, 861, 861, 861,
861, 1008, 1009, 1008, 1009, 461, 629, 629, 629, 629,
629, 629, 632, 460, 632, 632, 632, 632, 632, 632,
632, 632, 632, 632, 633, 875, 875, 875, 875, 875,
875, 1012, 633, 1012, 459, 633, 633, 453, 633, 633,
633, 633, 633, 633, 633, 633, 633, 633, 633, 633,
633, 1013, 452, 1013, 633, 633, 633, 633, 633, 633,
633, 633, 633, 633, 633, 633, 633, 633, 633, 633,
633, 633, 633, 633, 633, 633, 633, 633, 633, 633,
633, 633, 633, 633, 633, 633, 633, 633, 633, 633,
633, 633, 633, 633, 633, 633, 633, 657, 451, 882,
657, 882, 882, 882, 882, 882, 882, 1018, 657, 1018,
450, 449, 657, 657, 657, 657, 657, 657, 657, 657,
657, 657, 657, 657, 657, 448, 447, 657, 657, 657,
657, 657, 657, 657, 657, 657, 657, 657, 657, 657,
657, 657, 657, 657, 657, 657, 657, 657, 657, 657,
446, 657, 657, 657, 657, 657, 657, 657, 657, 657,
657, 657, 657, 657, 657, 657, 657, 657, 657, 663,
445, 663, 663, 663, 663, 663, 663, 663, 663, 663,
663, 854, 854, 854, 854, 854, 854, 854, 854, 854,
854, 873, 873, 873, 873, 873, 873, 873, 873, 873,
873, 894, 894, 894, 894, 894, 894, 444, 663, 670,
443, 670, 670, 670, 670, 670, 670, 670, 670, 670,
670, 676, 442, 676, 676, 676, 676, 676, 676, 676,
676, 676, 676, 676, 679, 441, 679, 679, 679, 679,
679, 679, 679, 679, 679, 679, 679, 1019, 440, 1019,
679, 679, 679, 679, 679, 679, 874, 874, 874, 874,
874, 874, 874, 874, 874, 874, 439, 438, 434, 433,
428, 427, 426, 420, 419, 679, 679, 679, 679, 679,
679, 682, 682, 682, 682, 682, 682, 682, 682, 682,
682, 682, 417, 416, 415, 682, 682, 682, 682, 682,
682, 878, 878, 878, 878, 878, 878, 878, 878, 878,
878, 414, 413, 412, 411, 410, 409, 406, 405, 404,
682, 682, 682, 682, 682, 682, 683, 403, 683, 683,
683, 683, 683, 683, 683, 683, 683, 683, 694, 694,
694, 694, 694, 694, 694, 694, 694, 694, 694, 694,
718, 387, 718, 718, 718, 718, 718, 718, 718, 718,
718, 718, 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, 386, 385, 384, 382, 381, 377, 376, 724,
726, 375, 726, 726, 726, 726, 726, 726, 726, 726,
726, 726, 888, 888, 888, 888, 888, 888, 888, 888,
888, 888, 893, 893, 893, 893, 893, 893, 893, 893,
893, 893, 373, 372, 371, 370, 369, 368, 367, 726,
741, 366, 741, 741, 741, 741, 741, 741, 741, 741,
741, 741, 741, 744, 363, 744, 744, 744, 744, 744,
744, 744, 744, 744, 744, 744, 358, 357, 356, 744,
744, 744, 744, 744, 744, 349, 348, 347, 346, 345,
344, 338, 337, 335, 334, 333, 332, 331, 330, 329,
328, 327, 326, 323, 744, 744, 744, 744, 744, 744,
747, 747, 747, 747, 747, 747, 747, 747, 747, 747,
322, 320, 312, 311, 747, 747, 747, 747, 747, 747,
308, 307, 297, 295, 294, 293, 292, 291, 290, 289,
288, 287, 286, 285, 284, 281, 278, 277, 270, 747,
747, 747, 747, 747, 747, 748, 266, 748, 748, 748,
748, 748, 748, 748, 748, 748, 748, 751, 751, 751,
751, 751, 751, 751, 751, 751, 751, 751, 755, 265,
264, 263, 259, 258, 257, 256, 755, 255, 254, 755,
755, 252, 755, 755, 755, 755, 755, 755, 755, 755,
755, 755, 755, 755, 755, 251, 250, 249, 755, 755,
755, 755, 755, 755, 755, 755, 755, 755, 755, 755,
755, 755, 755, 755, 755, 755, 755, 755, 755, 755,
755, 755, 755, 755, 755, 755, 755, 755, 755, 755,
755, 755, 755, 755, 755, 755, 755, 755, 755, 755,
755, 772, 772, 772, 772, 772, 248, 772, 772, 247,
246, 772, 245, 244, 243, 242, 236, 235, 225, 224,
223, 222, 220, 219, 218, 772, 772, 772, 774, 774,
774, 774, 774, 217, 774, 774, 215, 209, 774, 201,
197, 192, 191, 189, 185, 180, 178, 173, 161, 160,
159, 158, 774, 774, 774, 784, 157, 784, 784, 784,
784, 784, 784, 784, 784, 784, 784, 785, 149, 785,
785, 785, 785, 785, 785, 785, 785, 785, 785, 786,
148, 786, 786, 786, 786, 786, 786, 786, 786, 786,
786, 789, 147, 789, 789, 789, 789, 789, 789, 789,
789, 789, 789, 796, 146, 796, 796, 796, 796, 796,
796, 796, 796, 796, 796, 796, 799, 145, 799, 799,
799, 799, 799, 799, 799, 799, 799, 799, 144, 142,
141, 140, 799, 799, 799, 799, 799, 799, 139, 138,
137, 133, 129, 128, 124, 121, 118, 117, 114, 111,
107, 103, 102, 101, 100, 99, 95, 799, 799, 799,
799, 799, 799, 802, 82, 802, 802, 802, 802, 802,
802, 802, 802, 802, 802, 818, 75, 818, 818, 818,
818, 818, 818, 818, 818, 818, 818, 821, 68, 821,
821, 821, 821, 821, 821, 821, 821, 821, 821, 822,
67, 822, 822, 822, 822, 822, 822, 822, 822, 822,
822, 823, 63, 823, 823, 823, 823, 823, 823, 823,
823, 823, 823, 824, 62, 824, 824, 824, 824, 824,
824, 824, 824, 824, 824, 825, 61, 825, 825, 825,
825, 825, 825, 825, 825, 825, 825, 836, 58, 836,
836, 836, 836, 836, 836, 836, 836, 836, 836, 849,
56, 849, 849, 849, 849, 849, 849, 849, 849, 849,
849, 850, 54, 850, 850, 850, 850, 850, 850, 850,
850, 850, 850, 851, 45, 851, 851, 851, 851, 851,
851, 851, 851, 851, 851, 866, 44, 866, 866, 866,
866, 866, 866, 866, 866, 866, 866, 867, 42, 867,
867, 867, 867, 867, 867, 867, 867, 867, 867, 868,
41, 868, 868, 868, 868, 868, 868, 868, 868, 868,
868, 869, 36, 869, 869, 869, 869, 869, 869, 869,
869, 869, 869, 870, 32, 870, 870, 870, 870, 870,
870, 870, 870, 870, 870, 871, 26, 871, 871, 871,
871, 871, 871, 871, 871, 871, 871, 883, 20, 883,
883, 883, 883, 883, 883, 883, 883, 883, 883, 884,
19, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 885, 16, 885, 885, 885, 885, 885, 885, 885,
885, 885, 885, 889, 15, 889, 889, 889, 889, 889,
889, 889, 889, 889, 889, 890, 0, 890, 890, 890,
890, 890, 890, 890, 890, 890, 890, 891, 0, 891,
891, 891, 891, 891, 891, 891, 891, 891, 891, 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-2020
* 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 2271 "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 2489 "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] != 6175 );
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 3415 "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