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

5580 lines
207 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.17 2020/08/06 17:23:29 deraadt 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 83
#define YY_END_OF_BUFFER 84
/* 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[1184] =
{ 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 84, 69,
79, 78, 82, 77, 68, 81, 42, 72, 73, 42,
74, 69, 69, 69, 69, 76, 75, 82, 69, 59,
59, 59, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 82, 69, 69, 79, 81, 59, 59,
59, 59, 59, 2, 82, 1, 69, 59, 59, 59,
69, 17, 16, 16, 17, 16, 16, 82, 81, 82,
3, 9, 8, 9, 4, 9, 5, 82, 13, 13,
13, 11, 12, 82, 19, 19, 18, 18, 18, 19,
18, 18, 18, 18, 19, 19, 19, 19, 19, 19,
19, 18, 19, 19, 70, 70, 71, 70, 66, 66,
66, 66, 66, 66, 66, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 82, 66, 66, 69,
0, 79, 78, 77, 81, 81, 0, 0, 69, 44,
0, 42, 0, 43, 0, 67, 67, 0, 69, 69,
0, 69, 69, 69, 69, 0, 47, 69, 59, 59,
59, 59, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 0, 80, 69, 69,
69, 69, 79, 0, 0, 0, 0, 0, 81, 69,
69, 69, 69, 69, 2, 1, 0, 1, 60, 60,
0, 59, 69, 17, 17, 15, 0, 14, 15, 0,
3, 9, 0, 6, 7, 9, 9, 13, 0, 13,
13, 0, 10, 0, 44, 0, 0, 43, 19, 19,
0, 19, 0, 0, 18, 18, 18, 18, 18, 18,
19, 19, 59, 19, 19, 19, 19, 19, 19, 19,
19, 19, 19, 70, 70, 70, 66, 0, 44, 0,
43, 0, 66, 66, 0, 66, 66, 66, 66, 66,
66, 59, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 66, 66, 66, 66, 81, 81, 81, 0,
44, 69, 69, 69, 69, 69, 0, 0, 47, 47,
69, 59, 49, 59, 53, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 69, 69, 0, 0, 0,
0, 0, 81, 69, 69, 69, 69, 69, 69, 0,
69, 10, 0, 0, 0, 18, 18, 18, 19, 19,
19, 19, 19, 19, 19, 19, 19, 19, 19, 19,
19, 19, 19, 19, 19, 0, 66, 66, 66, 66,
66, 59, 49, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 59, 66, 66, 81,
81, 81, 69, 69, 69, 69, 69, 69, 0, 48,
48, 48, 0, 0, 47, 47, 47, 47, 47, 47,
47, 69, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 59, 59, 59, 59,
59, 55, 59, 59, 56, 69, 69, 69, 69, 0,
0, 0, 0, 0, 0, 81, 69, 69, 69, 69,
0, 0, 0, 0, 0, 18, 18, 19, 19, 19,
59, 19, 19, 19, 19, 19, 19, 19, 19, 19,
19, 19, 19, 19, 19, 66, 66, 66, 66, 66,
66, 59, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 66, 66, 66, 66,
69, 69, 69, 0, 0, 48, 48, 48, 0, 47,
47, 0, 47, 47, 47, 47, 47, 47, 47, 47,
47, 47, 47, 69, 59, 0, 29, 59, 59, 59,
59, 59, 0, 38, 59, 59, 59, 59, 59, 59,
59, 59, 59, 59, 57, 59, 59, 69, 69, 69,
69, 69, 0, 0, 0, 81, 69, 69, 69, 0,
0, 0, 18, 18, 19, 19, 59, 59, 19, 19,
19, 19, 19, 19, 19, 19, 19, 19, 19, 19,
19, 19, 66, 66, 66, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 59, 59, 66, 66,
66, 66, 66, 69, 69, 69, 69, 69, 0, 48,
0, 47, 47, 47, 0, 0, 0, 47, 47, 47,
47, 47, 47, 47, 47, 47, 47, 47, 47, 47,
69, 54, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 59, 59, 59, 61,
62, 63, 64, 69, 0, 0, 81, 69, 69, 69,
0, 0, 0, 0, 0, 19, 19, 59, 59, 19,
19, 19, 59, 19, 19, 19, 19, 19, 19, 19,
19, 19, 19, 66, 66, 66, 66, 66, 59, 59,
59, 59, 59, 59, 59, 59, 59, 59, 59, 59,
59, 61, 62, 63, 64, 66, 45, 45, 45, 0,
0, 47, 47, 47, 47, 47, 47, 47, 0, 0,
0, 0, 0, 47, 47, 47, 47, 47, 47, 47,
47, 47, 47, 47, 47, 47, 47, 69, 0, 40,
59, 59, 59, 59, 0, 28, 59, 59, 59, 59,
0, 39, 59, 59, 59, 59, 0, 27, 0, 32,
50, 69, 0, 0, 81, 69, 69, 69, 45, 45,
45, 19, 59, 59, 19, 19, 59, 59, 19, 19,
19, 45, 45, 45, 59, 59, 59, 59, 59, 59,
59, 59, 59, 66, 69, 45, 45, 45, 45, 0,
47, 0, 47, 47, 47, 47, 47, 47, 47, 47,
47, 47, 47, 0, 0, 0, 47, 47, 47, 47,
47, 47, 47, 47, 47, 47, 47, 47, 47, 20,
59, 59, 59, 59, 59, 59, 59, 59, 59, 59,
52, 59, 65, 0, 0, 81, 69, 24, 60, 0,
45, 45, 45, 45, 19, 59, 59, 19, 19, 59,
59, 19, 19, 19, 66, 45, 45, 45, 45, 59,
59, 59, 59, 59, 59, 59, 59, 59, 65, 46,
46, 46, 46, 47, 0, 0, 0, 47, 47, 47,
47, 47, 47, 47, 47, 47, 47, 47, 47, 47,
0, 0, 0, 0, 0, 47, 47, 47, 47, 47,
47, 47, 47, 69, 59, 59, 59, 59, 0, 41,
59, 59, 59, 0, 26, 0, 33, 51, 0, 24,
22, 81, 25, 0, 69, 46, 46, 46, 46, 19,
59, 59, 19, 59, 59, 46, 46, 46, 46, 59,
59, 59, 59, 59, 59, 69, 69, 46, 46, 46,
46, 0, 0, 0, 0, 0, 47, 47, 47, 47,
47, 47, 47, 47, 47, 47, 47, 47, 47, 47,
47, 47, 47, 47, 47, 47, 69, 0, 30, 58,
0, 36, 59, 59, 59, 59, 25, 22, 22, 22,
22, 81, 24, 0, 0, 0, 0, 0, 24, 0,
0, 0, 46, 46, 46, 46, 59, 19, 59, 59,
66, 66, 46, 46, 46, 46, 59, 59, 59, 59,
69, 69, 69, 0, 0, 0, 47, 47, 47, 47,
47, 47, 47, 47, 47, 47, 47, 47, 47, 47,
47, 47, 47, 47, 21, 0, 34, 59, 59, 59,
22, 81, 0, 24, 0, 0, 0, 19, 59, 59,
66, 66, 66, 59, 59, 59, 69, 69, 69, 69,
69, 0, 0, 0, 0, 0, 47, 47, 47, 47,
47, 47, 47, 47, 0, 31, 0, 37, 59, 23,
0, 0, 0, 0, 0, 59, 66, 66, 66, 66,
66, 59, 69, 69, 69, 47, 47, 47, 47, 47,
47, 0, 35, 23, 23, 23, 23, 0, 0, 0,
66, 66, 66, 69, 69, 69, 69, 69, 47, 47,
47, 47, 47, 23, 0, 0, 0, 0, 0, 66,
66, 66, 66, 66, 45, 45, 45, 45, 45, 45,
45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
45, 45, 0
} ;
static yyconst flex_int32_t yy_ec[256] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
4, 4, 5, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 6, 7, 8, 9, 1, 10, 1, 1, 11,
12, 13, 14, 15, 16, 17, 18, 19, 20, 21,
22, 23, 24, 25, 26, 27, 28, 29, 1, 1,
30, 31, 13, 32, 33, 34, 35, 36, 37, 38,
39, 40, 41, 42, 42, 43, 44, 45, 46, 47,
42, 48, 49, 50, 51, 52, 53, 54, 55, 42,
13, 56, 13, 1, 57, 1, 58, 59, 60, 61,
62, 63, 64, 65, 66, 64, 64, 67, 68, 69,
70, 64, 64, 71, 72, 73, 74, 64, 64, 64,
64, 64, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 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[75] =
{ 0,
1, 2, 3, 4, 3, 2, 5, 6, 7, 1,
8, 8, 1, 9, 10, 1, 11, 12, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 14, 15,
8, 1, 13, 13, 13, 13, 13, 13, 16, 16,
16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
16, 16, 16, 16, 16, 17, 18, 19, 19, 19,
19, 19, 19, 20, 20, 20, 20, 20, 20, 20,
20, 20, 20, 20
} ;
static yyconst flex_int16_t yy_base[1286] =
{ 0,
0, 73, 123, 194, 81, 97, 265, 338, 411, 466,
128, 137, 522, 0, 157, 172, 596, 0, 6774, 6717,
74, 8226, 6768, 6753, 8226, 668, 72, 8226, 8226, 6701,
8226, 174, 680, 195, 95, 6727, 8226, 8226, 29, 743,
6712, 54, 35, 77, 799, 6688, 52, 6699, 6685, 44,
6674, 6680, 50, 861, 226, 127, 225, 890, 216, 105,
6646, 76, 6643, 192, 266, 145, 359, 6668, 6667, 6679,
132, 0, 8226, 6708, 6703, 8226, 0, 427, 954, 230,
0, 6653, 8226, 116, 8226, 169, 8226, 275, 6651, 202,
182, 8226, 293, 246, 434, 982, 1026, 284, 294, 1084,
1134, 6652, 148, 106, 1190, 6649, 6647, 6659, 6645, 6647,
6640, 329, 0, 294, 6614, 227, 8226, 372, 6596, 333,
6584, 447, 1237, 360, 465, 1300, 6594, 315, 111, 1356,
6591, 6589, 6591, 6566, 6564, 6559, 1418, 485, 387, 6537,
719, 358, 8226, 6585, 259, 8226, 6553, 655, 824, 6497,
858, 436, 892, 6477, 919, 929, 6475, 1448, 981, 1463,
6488, 6499, 996, 1006, 495, 6484, 343, 100, 1526, 1582,
6449, 6432, 6441, 6439, 6432, 6414, 6408, 6401, 6395, 1086,
6385, 6392, 6353, 6343, 6329, 6324, 492, 8226, 184, 717,
307, 392, 1241, 6289, 6294, 6283, 6258, 6248, 836, 676,
194, 207, 368, 414, 927, 727, 1381, 749, 1224, 6261,
1644, 1241, 833, 0, 6309, 941, 6312, 8226, 8226, 1415,
0, 6248, 1300, 8226, 8226, 6236, 1235, 6224, 6269, 985,
366, 949, 752, 6273, 846, 879, 1498, 6219, 1653, 0,
1682, 1713, 1505, 1445, 1754, 6247, 1602, 1679, 942, 1804,
1860, 6209, 0, 6203, 6173, 6165, 6175, 6156, 1690, 6147,
6145, 6120, 6092, 6095, 1456, 665, 6083, 1790, 6071, 1895,
6059, 1922, 1753, 6055, 1952, 1729, 1967, 6087, 1919, 1949,
1612, 2030, 2086, 6047, 6052, 6039, 6031, 6041, 6026, 1969,
6017, 6007, 390, 1659, 365, 897, 457, 474, 496, 2106,
2131, 2143, 2183, 2223, 2261, 6039, 6026, 2306, 717, 2352,
911, 2415, 2471, 6008, 0, 6008, 5984, 5989, 5982, 5930,
5943, 5929, 5926, 5905, 5900, 5911, 5910, 5897, 286, 5873,
5858, 5852, 5845, 5808, 5807, 1110, 154, 370, 5779, 5769,
5748, 5753, 1392, 335, 1173, 5755, 798, 654, 782, 2183,
393, 966, 2155, 2197, 2209, 2516, 5790, 2561, 0, 5757,
5747, 5752, 5715, 5722, 5693, 5700, 5700, 5687, 5684, 5683,
5678, 5655, 5655, 1104, 5610, 2262, 2608, 2648, 2688, 2728,
5660, 2773, 0, 5640, 5624, 5627, 5596, 5609, 5583, 5586,
5567, 5554, 5564, 5549, 5544, 5525, 5536, 1389, 940, 8226,
826, 1111, 2281, 928, 2820, 2860, 1892, 464, 5543, 5527,
2233, 1118, 5488, 5487, 1122, 2326, 2900, 2372, 1657, 2946,
2493, 1227, 3009, 1193, 1240, 1257, 890, 471, 1717, 1666,
1112, 968, 1007, 801, 657, 1053, 1445, 827, 1359, 867,
1238, 5463, 1013, 1415, 5451, 1711, 1395, 1461, 1249, 5395,
5354, 5356, 5340, 5347, 5327, 1655, 1188, 1712, 1356, 1446,
2536, 5373, 2583, 2620, 2118, 3065, 3110, 1690, 5343, 5340,
1266, 2009, 5339, 5320, 5308, 5296, 5279, 5270, 5233, 5227,
5234, 3155, 1779, 1517, 1494, 2630, 1476, 3202, 3242, 2661,
1583, 5249, 2031, 5222, 5195, 1701, 2264, 5193, 5183, 5165,
5164, 5095, 5085, 5076, 5060, 5067, 1738, 1419, 1628, 1710,
3282, 3322, 3362, 5072, 5058, 2668, 5042, 5035, 5034, 5033,
1369, 2699, 1980, 2709, 2003, 3402, 0, 2750, 3449, 2793,
2291, 3495, 2832, 1420, 1906, 2353, 8226, 1504, 1775, 1689,
1863, 723, 2354, 8226, 1870, 1764, 1679, 1779, 1907, 1618,
1985, 1949, 1979, 903, 5002, 1216, 1990, 1615, 1835, 1909,
1094, 1924, 4974, 4932, 4932, 2113, 1899, 1968, 2130, 2844,
2872, 2884, 4963, 4962, 4937, 4910, 4884, 4875, 4857, 4848,
4846, 4825, 4838, 4831, 4824, 4824, 4807, 2172, 2248, 2380,
276, 2217, 3542, 3582, 3622, 4791, 4799, 4769, 4760, 4775,
4754, 4752, 4731, 4744, 4720, 4715, 4694, 4665, 2138, 2159,
2361, 2490, 2301, 2920, 2171, 3662, 3702, 2806, 4683, 4660,
4646, 4621, 3740, 2172, 2968, 3087, 3132, 2245, 2389, 2391,
3175, 2597, 3787, 0, 3214, 3834, 3225, 2503, 3880, 3254,
2302, 4565, 2563, 2238, 940, 2289, 2373, 2564, 1933, 2013,
2572, 2774, 1584, 2376, 2393, 2544, 2775, 2776, 2395, 4537,
4519, 4518, 4515, 1164, 4501, 4491, 2696, 2719, 2604, 2945,
3264, 4500, 3294, 3306, 2932, 3010, 4476, 4453, 4433, 3334,
4436, 4425, 2526, 3351, 4406, 4358, 3362, 3363, 2015, 2547,
2638, 2642, 2717, 3376, 2644, 3927, 3967, 3353, 3365, 4364,
4337, 4330, 3404, 4295, 4290, 2571, 3405, 4266, 4267, 3450,
3451, 4217, 4213, 4192, 4190, 2958, 4006, 4045, 4084, 4197,
4171, 4170, 3422, 4124, 3469, 3097, 4169, 3517, 3552, 4163,
3564, 3594, 3187, 2247, 2884, 3337, 3531, 3604, 3634, 4216,
0, 3636, 4263, 3647, 3142, 4309, 3674, 2684, 3452, 8226,
4372, 2956, 1635, 4088, 3496, 8226, 2968, 2803, 1693, 2651,
3497, 8226, 3058, 2826, 1384, 2379, 3498, 8226, 3674, 8226,
4087, 2686, 4059, 4027, 3290, 2445, 2818, 2687, 3686, 3713,
3724, 4038, 4033, 4014, 4007, 3987, 3976, 3929, 3899, 3859,
3791, 4429, 4468, 4507, 4563, 2951, 3772, 3207, 3265, 2777,
3309, 3103, 3361, 2858, 3761, 3149, 4620, 4659, 3772, 3768,
3742, 3810, 3376, 3854, 3518, 4699, 0, 3902, 4712, 3937,
3820, 4757, 3949, 3979, 3991, 4018, 3306, 3333, 3916, 4030,
4030, 4057, 4804, 0, 4059, 4851, 4070, 3864, 4096, 3356,
4914, 2880, 3665, 2497, 4125, 2949, 2656, 3590, 4126, 4127,
3544, 3205, 3445, 3401, 3379, 3631, 3184, 4107, 3305, 4145,
3319, 4190, 4237, 4201, 4975, 3222, 3169, 4264, 3545, 3165,
3137, 4265, 4266, 0, 4283, 3579, 5032, 5071, 4331, 5127,
3092, 2927, 4311, 3627, 2970, 3072, 4468, 4469, 3041, 5185,
5225, 5265, 5305, 3011, 4441, 4482, 4519, 2989, 3583, 3903,
4529, 3950, 5345, 0, 4632, 5358, 4643, 4457, 5403, 4671,
4681, 2983, 4734, 4779, 4826, 3991, 4108, 4345, 3078, 3123,
5450, 0, 4834, 3871, 4893, 3136, 4894, 2907, 4172, 8226,
3247, 3308, 3546, 4354, 8226, 4373, 8226, 2900, 2843, 4530,
3751, 4315, 2819, 4514, 5059, 5052, 5083, 5097, 5197, 5225,
4563, 2752, 3670, 2733, 2711, 5462, 5502, 5542, 5582, 5226,
5227, 2689, 3931, 3364, 3935, 5238, 3240, 5622, 5662, 5250,
3399, 5276, 2662, 5288, 5317, 4884, 2609, 2587, 4070, 4113,
5327, 4348, 5702, 0, 5380, 5715, 5423, 4744, 5760, 5474,
5485, 5513, 5524, 4330, 2573, 3488, 1460, 4806, 8226, 2478,
4807, 8226, 5404, 2452, 2396, 3500, 8226, 3236, 4509, 8226,
3767, 4176, 5569, 5577, 5609, 5620, 5635, 5127, 5664, 5797,
5568, 2344, 5674, 5686, 5436, 2321, 4888, 2266, 2147, 2122,
5735, 3699, 5812, 5852, 5747, 3762, 5841, 2093, 2086, 3611,
5892, 5932, 5972, 5829, 5873, 5904, 2088, 2016, 4349, 4455,
5839, 4543, 6012, 0, 5916, 6025, 5942, 5062, 5954, 1931,
5983, 5994, 5216, 1899, 1834, 4891, 8226, 6062, 6063, 1785,
8226, 4708, 6051, 6074, 6097, 6109, 6121, 6148, 4896, 1761,
6182, 6222, 6262, 6150, 6161, 1564, 6161, 3809, 6302, 6342,
6138, 6199, 1369, 6234, 6246, 5864, 1302, 1161, 4549, 1148,
1066, 6274, 0, 4632, 5405, 8226, 5406, 8226, 6162, 5354,
6209, 1018, 6286, 6314, 6086, 5551, 6324, 3810, 6382, 6422,
6355, 6163, 6462, 6502, 6542, 6362, 6393, 6403, 858, 0,
694, 6164, 8226, 3886, 5618, 8226, 3907, 6434, 6446, 6474,
6582, 6622, 6662, 6484, 3873, 6702, 6742, 6515, 8226, 6522,
6553, 5883, 8226, 8226, 6563, 668, 6594, 6606, 6634, 6640,
3980, 6782, 6822, 6652, 6678, 6716, 6726, 6764, 6792, 6802,
6832, 6842, 6880, 320, 6890, 6863, 8226, 6901, 6152, 134,
6928, 6911, 8226, 6984, 7004, 7024, 7044, 7064, 7084, 7104,
7124, 7144, 7164, 5304, 7184, 7204, 4654, 7224, 7244, 7264,
7284, 7304, 7324, 7344, 7364, 7384, 7404, 7424, 7444, 7464,
7484, 7504, 7524, 7544, 5501, 5541, 7553, 7572, 7592, 7612,
4724, 7632, 7652, 7672, 7692, 7704, 7724, 4903, 7744, 7764,
7784, 7804, 7824, 7844, 7864, 7884, 5600, 7893, 5617, 5621,
5655, 7901, 7920, 5117, 5787, 5791, 5811, 7929, 7938, 5928,
5971, 6011, 7946, 7955, 6341, 6378, 7963, 7972, 7991, 5798,
8003, 6381, 8013, 8021, 8030, 8049, 6419, 8061, 8081, 6501,
8091, 8099, 8108, 8127, 8147, 8167, 6538, 8177, 4345, 6541,
8186, 6581, 3917, 8205, 3533
} ;
static yyconst flex_int16_t yy_def[1286] =
{ 0,
1183, 1, 1, 1, 1184, 1184, 1185, 1185, 1186, 1186,
1187, 1187, 1183, 13, 1188, 1188, 1183, 17, 1183, 1189,
1183, 1183, 1183, 1183, 1183, 1190, 1191, 1183, 1183, 1192,
1183, 1193, 1189, 33, 33, 1194, 1183, 1183, 1189, 1183,
40, 40, 40, 40, 40, 45, 45, 45, 45, 45,
45, 45, 45, 1189, 33, 1189, 1183, 1190, 40, 40,
45, 45, 45, 1183, 1183, 1183, 1195, 45, 45, 45,
1189, 1196, 1183, 1183, 1196, 1183, 1196, 1183, 1190, 1183,
1197, 1198, 1183, 1198, 1183, 1198, 1183, 1199, 1200, 1200,
1200, 1183, 1183, 1201, 1202, 1203, 1183, 97, 97, 97,
1183, 101, 101, 101, 101, 105, 105, 105, 105, 105,
105, 97, 100, 100, 1204, 1204, 1183, 1204, 1205, 1206,
1207, 1208, 1205, 123, 123, 1183, 126, 126, 126, 126,
130, 130, 130, 130, 130, 130, 1205, 123, 1205, 1189,
1189, 1183, 1183, 1183, 1209, 1183, 1183, 1210, 1183, 1211,
1183, 1201, 1211, 1212, 1212, 1213, 1214, 1189, 1189, 1189,
1215, 160, 160, 160, 160, 1216, 1217, 1189, 1183, 169,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 1183, 1183, 1189, 1189,
1189, 1189, 1183, 1183, 1183, 1183, 1183, 1183, 1209, 1189,
160, 1189, 1189, 1189, 1183, 1183, 1183, 1183, 1218, 1219,
1189, 170, 1189, 1220, 1220, 1183, 1183, 1183, 1183, 1210,
1221, 1222, 1222, 1183, 1183, 1222, 1222, 1223, 1183, 1223,
1223, 1183, 1183, 1183, 1201, 1201, 1201, 1224, 1225, 1226,
1224, 1227, 1183, 1183, 1226, 245, 245, 245, 245, 1183,
250, 251, 1228, 251, 251, 251, 251, 251, 251, 251,
251, 1226, 1226, 1229, 1229, 1229, 1230, 1230, 1231, 1231,
1232, 1232, 1233, 1234, 1230, 1230, 1230, 277, 277, 277,
277, 1183, 282, 283, 283, 283, 283, 283, 283, 283,
283, 283, 1230, 1230, 1230, 1230, 1235, 1235, 1236, 1183,
1183, 1189, 1189, 1189, 1189, 305, 1237, 1183, 1238, 1183,
1189, 1183, 312, 313, 313, 313, 313, 313, 313, 313,
313, 313, 313, 313, 313, 313, 313, 313, 313, 313,
313, 313, 313, 313, 313, 1189, 1189, 1183, 1183, 1183,
1183, 1183, 1235, 1189, 1189, 305, 1189, 1189, 1189, 1183,
1189, 1183, 1183, 1183, 1183, 1226, 356, 250, 251, 251,
251, 251, 251, 251, 251, 251, 251, 251, 251, 251,
251, 251, 251, 1226, 1226, 1183, 1230, 1230, 1230, 277,
380, 282, 283, 283, 283, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 283, 283, 1230, 1230, 1183,
1236, 1236, 1189, 1189, 1189, 1189, 1189, 1189, 1239, 1240,
1240, 411, 1241, 1240, 1242, 310, 1183, 417, 417, 1183,
417, 1189, 1183, 423, 423, 423, 423, 423, 423, 423,
423, 423, 423, 423, 423, 423, 423, 423, 423, 423,
423, 423, 423, 423, 423, 1189, 1189, 1189, 1189, 1183,
1183, 1183, 1183, 1183, 1183, 1243, 1189, 1189, 1189, 1189,
1183, 1183, 1183, 1183, 1183, 356, 250, 251, 251, 251,
1244, 251, 251, 251, 251, 251, 251, 251, 251, 251,
251, 466, 482, 482, 482, 1230, 1230, 1230, 1230, 1230,
1230, 283, 283, 283, 283, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 283, 1230, 1230, 1230, 1230,
1189, 1189, 1189, 1183, 1245, 1245, 516, 1245, 1246, 1247,
1248, 1183, 1249, 420, 1249, 1183, 526, 1249, 1183, 529,
529, 1183, 529, 1189, 423, 1183, 1183, 423, 423, 423,
423, 423, 1183, 1183, 423, 423, 423, 423, 423, 423,
423, 423, 423, 423, 423, 423, 423, 1189, 1189, 1189,
1189, 1189, 1183, 1183, 1183, 1243, 1189, 1189, 1189, 1183,
1183, 1183, 466, 467, 251, 251, 1244, 1244, 251, 251,
251, 251, 251, 251, 251, 251, 251, 482, 482, 482,
482, 482, 1230, 1230, 1230, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 283, 283, 283, 1230, 1230,
1230, 1230, 1230, 1189, 1189, 1189, 1189, 1189, 1250, 1250,
1251, 1252, 1183, 1183, 1183, 1183, 1183, 1253, 1253, 1254,
532, 1254, 1183, 633, 1254, 1183, 636, 636, 1183, 636,
1189, 423, 423, 423, 423, 423, 423, 423, 423, 423,
423, 423, 423, 423, 423, 423, 423, 423, 423, 1189,
1189, 1189, 1189, 1189, 1183, 1183, 1243, 1189, 1189, 1189,
1183, 1183, 1183, 1183, 1183, 251, 251, 1244, 1244, 251,
251, 251, 1244, 251, 251, 251, 251, 251, 482, 482,
482, 482, 482, 1230, 1230, 1230, 1230, 1230, 283, 283,
283, 283, 283, 283, 283, 283, 283, 283, 283, 283,
283, 1230, 1230, 1230, 1230, 1230, 1189, 1189, 1189, 1183,
1255, 1256, 623, 1183, 724, 724, 1183, 724, 1183, 1183,
1183, 1183, 1183, 1183, 1257, 1257, 1258, 639, 1258, 1183,
740, 1258, 1183, 743, 743, 1183, 743, 1189, 1183, 1183,
1183, 751, 751, 751, 1183, 1183, 751, 751, 751, 751,
1183, 1183, 751, 751, 751, 751, 1183, 1183, 1183, 1183,
751, 1189, 1183, 1183, 1259, 1189, 1189, 1189, 1183, 1183,
1183, 251, 1260, 1260, 251, 251, 1260, 1260, 251, 251,
1261, 1230, 1230, 1230, 1183, 795, 795, 795, 795, 795,
795, 795, 795, 1230, 1189, 1189, 1189, 1189, 1189, 1183,
1262, 1183, 1263, 727, 1263, 1263, 816, 1263, 1183, 819,
819, 1183, 819, 1183, 1183, 1183, 1183, 1264, 1264, 1265,
746, 1265, 1183, 833, 1265, 1183, 836, 836, 836, 1189,
1183, 841, 841, 841, 841, 841, 841, 841, 841, 841,
841, 841, 1189, 1183, 1183, 1266, 1189, 1189, 1189, 1183,
1183, 1183, 1183, 1183, 1183, 1267, 1267, 865, 865, 1267,
1267, 865, 865, 1268, 1269, 1269, 1269, 1269, 1269, 1183,
880, 880, 880, 880, 880, 880, 880, 880, 1269, 1189,
1189, 1189, 1189, 1183, 1183, 1183, 1183, 1270, 1270, 1271,
822, 1271, 1271, 903, 1271, 1183, 906, 906, 1183, 906,
1183, 1183, 1183, 1183, 1183, 1183, 1272, 1272, 1273, 1273,
1273, 921, 1273, 1189, 841, 841, 841, 841, 1183, 1183,
841, 841, 841, 1183, 1183, 1183, 1183, 841, 1183, 1183,
1274, 1266, 1189, 1275, 1276, 1183, 1183, 1183, 1183, 865,
1267, 1267, 865, 1267, 1267, 1269, 1269, 1269, 1269, 880,
880, 880, 880, 880, 880, 1189, 1189, 1189, 1189, 1189,
1189, 1183, 1183, 1183, 1183, 1183, 1183, 1277, 1277, 1278,
909, 1278, 1278, 983, 1278, 1183, 986, 986, 1183, 986,
1183, 1183, 1183, 1183, 1279, 1279, 1189, 1183, 1183, 841,
1183, 1183, 841, 841, 841, 841, 1183, 1274, 1274, 1183,
1274, 1266, 1275, 1275, 1275, 1275, 1183, 1275, 1276, 1276,
1183, 1183, 1183, 1183, 1183, 1183, 1267, 865, 1267, 1267,
1269, 1269, 1269, 1269, 1269, 1269, 880, 880, 880, 880,
1189, 1189, 1189, 1183, 1183, 1183, 1183, 1280, 1280, 1281,
989, 1281, 1281, 1053, 1281, 1183, 1056, 1056, 1056, 1183,
1183, 1183, 1183, 1183, 1189, 1183, 1183, 841, 841, 841,
1183, 1266, 1183, 1183, 1183, 1183, 1183, 865, 1267, 1267,
1269, 1269, 1269, 880, 880, 880, 1189, 1189, 1189, 1189,
1189, 1183, 1183, 1183, 1183, 1183, 1183, 1282, 1282, 1283,
1283, 1283, 1102, 1102, 1183, 1183, 1183, 1183, 841, 1284,
1183, 1183, 1183, 1183, 1183, 1267, 1269, 1269, 1269, 1269,
1269, 880, 1189, 1189, 1189, 1183, 1183, 1183, 1183, 1285,
1285, 1183, 1183, 1284, 1284, 1183, 1284, 1183, 1183, 1183,
1269, 1269, 1269, 1189, 1189, 1189, 1189, 1189, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1269,
1269, 1269, 1269, 1269, 1189, 1189, 1189, 1183, 1183, 1183,
1269, 1269, 1269, 1189, 1189, 1189, 1183, 1183, 1183, 1269,
1269, 1269, 0, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183
} ;
static yyconst flex_int16_t yy_nxt[8301] =
{ 0,
20, 21, 22, 20, 23, 21, 24, 25, 26, 27,
28, 29, 20, 30, 31, 20, 20, 32, 33, 34,
35, 33, 33, 33, 33, 33, 33, 33, 36, 37,
38, 39, 40, 41, 42, 41, 43, 44, 45, 45,
46, 45, 47, 48, 49, 45, 50, 51, 52, 53,
45, 45, 45, 45, 45, 54, 20, 55, 55, 55,
55, 55, 55, 20, 20, 20, 20, 20, 20, 20,
20, 56, 20, 20, 57, 142, 181, 170, 57, 142,
151, 58, 21, 73, 141, 74, 21, 75, 174, 76,
185, 182, 177, 172, 168, 76, 170, 178, 21, 73,
152, 74, 21, 75, 186, 76, 173, 59, 60, 76,
77, 76, 61, 164, 164, 164, 164, 164, 165, 170,
62, 183, 175, 63, 64, 76, 77, 153, 64, 90,
22, 65, 23, 90, 91, 92, 78, 66, 90, 22,
67, 23, 90, 91, 92, 224, 208, 170, 251, 203,
208, 255, 78, 283, 20, 141, 286, 41, 21, 22,
38, 23, 21, 116, 117, 68, 201, 69, 311, 70,
45, 223, 45, 21, 22, 38, 23, 21, 116, 117,
157, 157, 141, 93, 157, 157, 188, 141, 231, 268,
251, 191, 93, 205, 71, 64, 191, 205, 225, 64,
192, 254, 65, 230, 157, 213, 206, 230, 66, 141,
140, 67, 118, 163, 163, 163, 163, 163, 163, 163,
163, 163, 163, 449, 223, 20, 193, 118, 41, 158,
193, 187, 188, 266, 217, 187, 68, 229, 69, 141,
70, 45, 140, 45, 162, 162, 162, 162, 162, 162,
162, 162, 162, 162, 151, 172, 346, 229, 170, 194,
195, 146, 141, 298, 196, 71, 21, 22, 173, 23,
21, 24, 197, 79, 236, 198, 227, 188, 347, 217,
227, 207, 265, 200, 149, 149, 149, 149, 149, 149,
149, 149, 149, 149, 232, 233, 692, 234, 232, 240,
228, 237, 247, 247, 247, 247, 247, 247, 247, 247,
247, 247, 248, 248, 248, 248, 248, 249, 438, 439,
80, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 21,
22, 151, 23, 21, 24, 1183, 79, 246, 246, 246,
246, 246, 246, 246, 246, 246, 246, 283, 262, 142,
308, 236, 141, 142, 336, 210, 210, 263, 285, 210,
210, 310, 231, 187, 188, 141, 217, 187, 279, 279,
279, 279, 279, 279, 279, 279, 279, 279, 270, 210,
141, 457, 188, 80, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 21, 22, 211, 23, 21, 24, 83, 79,
268, 229, 398, 141, 84, 85, 86, 265, 216, 188,
450, 217, 216, 218, 238, 219, 348, 238, 451, 218,
87, 219, 268, 238, 151, 268, 238, 141, 141, 238,
238, 295, 337, 274, 274, 219, 219, 274, 274, 146,
296, 298, 460, 240, 1183, 238, 88, 21, 22, 141,
23, 21, 24, 83, 79, 349, 400, 274, 298, 84,
85, 86, 219, 280, 280, 280, 280, 280, 281, 241,
238, 237, 161, 187, 188, 87, 217, 187, 146, 1183,
402, 267, 275, 278, 278, 278, 278, 278, 278, 278,
278, 278, 278, 306, 306, 306, 306, 306, 306, 141,
540, 88, 38, 21, 22, 38, 23, 21, 24, 38,
38, 94, 28, 29, 38, 95, 31, 38, 38, 96,
97, 98, 99, 97, 97, 97, 97, 97, 97, 97,
36, 100, 38, 38, 101, 102, 102, 102, 103, 104,
105, 105, 106, 105, 107, 108, 109, 105, 110, 105,
111, 105, 105, 105, 105, 105, 105, 80, 38, 112,
112, 112, 112, 112, 112, 113, 113, 113, 113, 113,
113, 113, 113, 114, 113, 113, 119, 21, 22, 119,
23, 21, 24, 38, 38, 120, 28, 29, 119, 121,
31, 119, 119, 122, 123, 124, 125, 123, 123, 123,
123, 123, 123, 123, 36, 37, 38, 119, 126, 127,
127, 127, 128, 129, 130, 130, 131, 130, 132, 133,
134, 130, 135, 130, 136, 130, 130, 130, 130, 130,
130, 137, 119, 138, 138, 138, 138, 138, 138, 119,
119, 119, 119, 119, 119, 119, 119, 139, 119, 119,
146, 266, 147, 149, 149, 149, 149, 149, 149, 149,
149, 149, 149, 148, 1155, 1183, 149, 149, 149, 149,
149, 149, 149, 149, 149, 149, 159, 549, 160, 160,
160, 160, 160, 160, 160, 160, 160, 160, 161, 141,
812, 459, 162, 162, 162, 162, 162, 162, 187, 188,
265, 217, 187, 140, 140, 140, 140, 140, 208, 140,
140, 141, 208, 140, 308, 141, 344, 162, 162, 162,
162, 162, 162, 140, 345, 416, 140, 140, 140, 140,
208, 1183, 140, 352, 208, 140, 140, 352, 140, 140,
140, 169, 169, 169, 169, 169, 169, 169, 169, 169,
169, 161, 141, 647, 140, 169, 169, 169, 169, 169,
169, 170, 170, 170, 170, 171, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 141, 170,
162, 162, 162, 162, 162, 162, 140, 140, 140, 140,
140, 140, 140, 140, 140, 140, 140, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 1183, 146, 1183,
402, 170, 170, 170, 170, 170, 170, 141, 146, 548,
298, 170, 149, 149, 149, 149, 149, 149, 149, 149,
149, 149, 344, 141, 1183, 1183, 140, 140, 140, 140,
140, 140, 187, 188, 552, 189, 190, 140, 140, 140,
344, 140, 140, 300, 1183, 140, 301, 301, 301, 301,
301, 301, 301, 301, 301, 301, 1051, 151, 141, 140,
140, 140, 146, 351, 147, 1183, 150, 150, 150, 150,
150, 237, 150, 150, 343, 148, 150, 1183, 149, 149,
149, 149, 149, 149, 149, 149, 149, 149, 1183, 554,
150, 150, 150, 154, 154, 154, 154, 154, 205, 154,
154, 1183, 205, 154, 237, 157, 157, 539, 657, 157,
157, 206, 187, 188, 403, 217, 187, 154, 154, 154,
232, 233, 268, 234, 232, 199, 146, 399, 147, 157,
357, 357, 357, 357, 357, 357, 141, 352, 1183, 220,
422, 352, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 157, 141, 158, 157, 230, 752, 157, 157,
230, 157, 157, 157, 157, 268, 1183, 157, 157, 302,
303, 304, 302, 302, 302, 302, 302, 302, 302, 510,
546, 240, 157, 157, 306, 306, 306, 306, 306, 306,
306, 306, 306, 306, 306, 306, 306, 306, 306, 306,
306, 306, 306, 306, 1111, 1183, 141, 243, 157, 240,
229, 1183, 244, 240, 245, 245, 245, 245, 245, 245,
245, 245, 245, 245, 161, 240, 547, 556, 246, 246,
246, 246, 246, 246, 240, 240, 240, 240, 240, 240,
240, 240, 240, 240, 240, 240, 240, 240, 240, 240,
240, 1183, 1183, 246, 246, 246, 246, 246, 246, 240,
240, 240, 240, 240, 240, 240, 240, 240, 240, 240,
1183, 550, 240, 240, 240, 240, 240, 240, 240, 240,
240, 240, 1183, 400, 663, 402, 240, 240, 240, 240,
240, 240, 322, 323, 482, 483, 324, 484, 325, 326,
446, 447, 327, 448, 328, 329, 518, 518, 518, 308,
1183, 240, 240, 240, 240, 240, 240, 240, 545, 141,
416, 240, 250, 250, 250, 250, 250, 250, 250, 250,
250, 250, 161, 240, 812, 141, 250, 250, 250, 250,
250, 250, 251, 251, 251, 251, 252, 251, 251, 251,
251, 251, 251, 251, 251, 251, 251, 251, 251, 1051,
253, 246, 246, 246, 246, 246, 246, 240, 240, 240,
240, 240, 240, 240, 240, 240, 240, 240, 251, 251,
251, 251, 251, 251, 251, 251, 251, 251, 1183, 141,
567, 1183, 251, 251, 251, 251, 251, 251, 141, 772,
210, 210, 251, 344, 210, 210, 187, 188, 535, 217,
187, 536, 193, 141, 1183, 536, 193, 240, 240, 240,
240, 240, 240, 276, 210, 277, 277, 277, 277, 277,
277, 277, 277, 277, 277, 161, 1183, 658, 537, 278,
278, 278, 278, 278, 278, 194, 195, 322, 323, 211,
196, 324, 141, 325, 326, 1183, 555, 327, 197, 328,
223, 198, 268, 534, 278, 278, 278, 278, 278, 278,
267, 222, 538, 267, 141, 222, 577, 222, 222, 267,
562, 578, 267, 267, 222, 267, 267, 267, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 161, 222,
981, 267, 282, 282, 282, 282, 282, 282, 283, 283,
283, 283, 284, 283, 283, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 268, 283, 278, 278, 278,
278, 278, 278, 267, 267, 267, 267, 267, 267, 267,
267, 267, 267, 267, 283, 283, 283, 283, 283, 283,
283, 283, 283, 283, 1183, 1092, 308, 1183, 283, 283,
283, 283, 283, 283, 146, 553, 298, 416, 283, 149,
149, 149, 149, 149, 149, 149, 149, 149, 149, 507,
508, 141, 509, 267, 267, 267, 267, 267, 267, 187,
188, 560, 293, 294, 267, 267, 267, 344, 267, 267,
170, 851, 267, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 268, 611, 267, 267, 267, 157,
141, 456, 140, 156, 140, 140, 156, 264, 140, 140,
557, 264, 156, 353, 354, 355, 353, 353, 353, 353,
353, 353, 353, 1183, 268, 141, 156, 156, 140, 159,
561, 305, 305, 305, 305, 305, 305, 305, 305, 305,
305, 161, 486, 641, 551, 305, 305, 305, 305, 305,
305, 141, 235, 235, 235, 235, 157, 569, 235, 235,
157, 265, 235, 157, 240, 141, 141, 240, 141, 157,
305, 305, 305, 305, 305, 305, 140, 235, 235, 140,
1065, 268, 1183, 157, 157, 140, 591, 240, 140, 140,
240, 140, 140, 140, 312, 312, 312, 312, 312, 312,
312, 312, 312, 312, 161, 592, 643, 140, 312, 312,
312, 312, 312, 312, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 141, 170, 305, 305, 305, 305, 305, 305, 140,
140, 140, 140, 140, 140, 140, 140, 140, 140, 140,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
1183, 161, 1183, 1122, 170, 170, 170, 170, 170, 170,
357, 357, 357, 357, 357, 357, 357, 357, 357, 357,
381, 381, 381, 381, 381, 381, 763, 660, 268, 140,
140, 140, 140, 140, 140, 210, 1183, 612, 140, 209,
140, 140, 209, 238, 140, 140, 238, 146, 209, 298,
187, 188, 238, 217, 187, 238, 653, 543, 238, 238,
141, 543, 209, 209, 140, 527, 527, 527, 527, 527,
528, 170, 240, 268, 238, 843, 238, 238, 238, 238,
238, 536, 238, 238, 544, 536, 238, 357, 357, 357,
357, 357, 357, 357, 357, 357, 357, 1183, 241, 238,
238, 238, 238, 157, 268, 650, 157, 1183, 537, 157,
157, 566, 157, 157, 157, 157, 365, 366, 157, 157,
367, 558, 368, 369, 559, 645, 370, 847, 371, 170,
161, 598, 240, 157, 157, 1183, 599, 377, 378, 379,
377, 377, 377, 377, 377, 377, 377, 541, 609, 274,
274, 610, 542, 274, 274, 268, 141, 141, 243, 157,
244, 613, 356, 356, 356, 356, 356, 356, 356, 356,
356, 356, 161, 274, 268, 568, 356, 356, 356, 356,
356, 356, 1183, 268, 267, 267, 267, 267, 267, 240,
267, 267, 240, 1183, 267, 590, 649, 1183, 275, 644,
1116, 356, 356, 356, 356, 356, 356, 240, 267, 267,
267, 240, 358, 358, 358, 358, 358, 358, 358, 358,
358, 358, 161, 240, 1109, 651, 358, 358, 358, 358,
358, 358, 251, 251, 251, 251, 251, 251, 251, 251,
251, 251, 251, 251, 251, 251, 251, 251, 251, 661,
253, 356, 356, 356, 356, 356, 356, 240, 240, 240,
240, 240, 240, 240, 240, 240, 240, 240, 251, 251,
251, 251, 251, 251, 251, 251, 251, 251, 1183, 141,
141, 1183, 251, 251, 251, 251, 251, 251, 1183, 269,
269, 269, 269, 269, 648, 269, 269, 646, 403, 269,
404, 404, 404, 404, 404, 404, 308, 240, 240, 240,
240, 240, 240, 269, 269, 269, 271, 271, 271, 271,
271, 662, 271, 271, 1183, 1183, 271, 381, 381, 381,
381, 381, 381, 381, 381, 381, 381, 141, 308, 652,
271, 271, 271, 274, 141, 642, 267, 273, 267, 267,
273, 1183, 267, 267, 141, 668, 273, 381, 381, 381,
381, 381, 381, 381, 381, 381, 381, 1183, 757, 141,
273, 273, 267, 276, 664, 380, 380, 380, 380, 380,
380, 380, 380, 380, 380, 161, 522, 308, 655, 380,
380, 380, 380, 380, 380, 389, 390, 1183, 524, 391,
543, 392, 393, 1183, 543, 394, 656, 395, 1183, 1183,
308, 654, 268, 141, 380, 380, 380, 380, 380, 380,
267, 524, 536, 267, 669, 240, 536, 544, 240, 267,
659, 1183, 267, 267, 981, 267, 267, 267, 382, 382,
382, 382, 382, 382, 382, 382, 382, 382, 161, 537,
758, 267, 382, 382, 382, 382, 382, 382, 283, 283,
283, 283, 283, 283, 283, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 268, 283, 380, 380, 380,
380, 380, 380, 267, 267, 267, 267, 267, 267, 267,
267, 267, 267, 267, 283, 283, 283, 283, 283, 283,
283, 283, 283, 283, 1183, 146, 901, 298, 283, 283,
283, 283, 283, 283, 301, 301, 301, 301, 301, 301,
301, 301, 301, 301, 461, 1085, 462, 462, 462, 462,
462, 462, 1084, 267, 267, 267, 267, 267, 267, 301,
301, 301, 301, 301, 301, 301, 301, 301, 301, 403,
712, 404, 404, 404, 404, 404, 404, 404, 404, 404,
404, 461, 1080, 462, 462, 462, 462, 462, 462, 462,
462, 462, 462, 713, 210, 141, 667, 614, 210, 308,
670, 210, 240, 268, 689, 240, 1079, 210, 141, 403,
416, 405, 405, 405, 405, 405, 405, 405, 405, 405,
405, 210, 210, 461, 268, 463, 463, 463, 463, 463,
463, 463, 463, 463, 463, 461, 141, 464, 464, 464,
464, 464, 465, 462, 462, 462, 462, 240, 141, 403,
240, 406, 406, 406, 406, 406, 407, 404, 404, 404,
404, 516, 516, 517, 518, 518, 518, 518, 518, 518,
518, 413, 308, 274, 308, 543, 1183, 274, 240, 543,
274, 240, 690, 524, 751, 524, 274, 693, 141, 408,
408, 408, 408, 408, 408, 408, 408, 408, 408, 161,
274, 274, 544, 408, 408, 408, 408, 408, 408, 511,
512, 513, 511, 511, 511, 511, 511, 511, 511, 634,
634, 634, 634, 634, 635, 1078, 141, 1183, 408, 408,
408, 408, 408, 408, 410, 411, 412, 412, 412, 412,
412, 412, 412, 412, 413, 753, 141, 1021, 414, 414,
414, 414, 414, 414, 421, 421, 421, 421, 421, 421,
421, 421, 421, 421, 536, 543, 268, 141, 536, 543,
1021, 716, 748, 414, 414, 414, 414, 414, 414, 308,
417, 418, 419, 417, 417, 417, 417, 417, 417, 417,
420, 537, 544, 714, 421, 421, 421, 421, 421, 421,
526, 526, 526, 526, 526, 526, 526, 526, 526, 526,
240, 1183, 691, 240, 1183, 522, 308, 522, 308, 421,
421, 421, 421, 421, 421, 140, 268, 524, 140, 631,
764, 1183, 754, 1183, 140, 170, 852, 140, 140, 765,
140, 140, 140, 423, 423, 423, 423, 423, 423, 423,
423, 423, 423, 161, 771, 1069, 140, 423, 423, 423,
423, 423, 423, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
141, 170, 408, 408, 408, 408, 408, 408, 140, 140,
140, 140, 140, 140, 140, 140, 140, 140, 140, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 1183,
141, 1068, 857, 170, 170, 170, 170, 170, 170, 1183,
715, 525, 525, 525, 525, 525, 525, 525, 525, 525,
525, 741, 741, 741, 741, 741, 742, 170, 140, 140,
140, 140, 140, 140, 466, 466, 466, 466, 466, 466,
466, 466, 466, 466, 161, 268, 170, 928, 466, 466,
466, 466, 466, 466, 570, 571, 572, 570, 570, 570,
570, 570, 570, 570, 749, 755, 787, 240, 749, 755,
240, 788, 1183, 466, 466, 466, 466, 466, 466, 467,
467, 467, 467, 467, 467, 467, 467, 467, 467, 766,
308, 750, 756, 467, 467, 467, 467, 467, 467, 461,
1183, 462, 462, 462, 462, 462, 462, 462, 462, 462,
462, 800, 759, 1183, 308, 901, 801, 760, 466, 466,
466, 466, 466, 466, 486, 631, 487, 487, 487, 487,
487, 487, 487, 487, 487, 487, 461, 814, 462, 462,
462, 462, 462, 462, 462, 462, 462, 462, 593, 594,
595, 593, 593, 593, 593, 593, 593, 593, 240, 141,
694, 240, 240, 268, 486, 240, 488, 488, 488, 488,
488, 488, 488, 488, 488, 488, 777, 486, 972, 487,
487, 487, 487, 487, 487, 268, 620, 620, 620, 620,
620, 620, 620, 620, 620, 620, 413, 170, 146, 268,
298, 848, 932, 268, 486, 170, 489, 489, 489, 489,
489, 490, 487, 487, 487, 487, 268, 625, 626, 627,
625, 625, 625, 625, 625, 625, 625, 533, 533, 533,
533, 533, 533, 533, 533, 533, 533, 240, 1037, 141,
240, 141, 141, 268, 267, 840, 491, 491, 491, 491,
491, 491, 491, 491, 491, 491, 775, 1030, 853, 859,
491, 491, 491, 491, 491, 491, 522, 308, 629, 629,
629, 629, 629, 629, 141, 761, 767, 769, 524, 761,
767, 769, 791, 1029, 776, 491, 491, 491, 491, 491,
491, 492, 492, 492, 492, 492, 492, 492, 492, 492,
492, 1027, 762, 768, 770, 492, 492, 492, 492, 492,
492, 633, 633, 633, 633, 633, 633, 633, 633, 633,
633, 885, 614, 283, 615, 615, 615, 615, 615, 615,
491, 491, 491, 491, 491, 491, 403, 846, 404, 404,
404, 404, 404, 404, 404, 404, 404, 404, 1183, 170,
632, 632, 632, 632, 632, 632, 632, 632, 632, 632,
671, 141, 672, 672, 672, 672, 672, 672, 672, 672,
672, 672, 170, 141, 141, 141, 403, 850, 404, 404,
404, 404, 404, 404, 404, 404, 404, 404, 671, 858,
673, 673, 673, 673, 673, 673, 673, 673, 673, 673,
671, 308, 674, 674, 674, 674, 674, 675, 672, 672,
672, 672, 631, 268, 1007, 141, 522, 308, 523, 523,
523, 523, 523, 523, 523, 523, 523, 523, 524, 170,
889, 926, 525, 525, 525, 525, 525, 525, 717, 718,
719, 717, 717, 717, 717, 717, 717, 717, 671, 170,
672, 672, 672, 672, 672, 672, 1003, 525, 525, 525,
525, 525, 525, 308, 529, 530, 531, 529, 529, 529,
529, 529, 529, 529, 532, 141, 283, 962, 533, 533,
533, 533, 533, 533, 729, 931, 730, 730, 730, 730,
730, 730, 730, 730, 730, 730, 842, 283, 170, 911,
141, 881, 170, 533, 533, 533, 533, 533, 533, 140,
778, 749, 140, 268, 170, 749, 964, 814, 140, 283,
845, 140, 140, 804, 140, 140, 140, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 161, 750, 723,
140, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 141, 170, 140, 140, 140, 140,
140, 140, 140, 140, 140, 140, 140, 140, 140, 140,
140, 140, 140, 573, 573, 573, 573, 573, 573, 573,
573, 573, 573, 849, 522, 308, 268, 573, 573, 573,
573, 573, 573, 729, 170, 731, 731, 731, 731, 731,
731, 731, 731, 731, 731, 817, 817, 817, 817, 817,
818, 965, 573, 573, 573, 573, 573, 573, 574, 574,
574, 574, 574, 574, 574, 574, 574, 574, 887, 1183,
308, 961, 574, 574, 574, 574, 574, 574, 729, 283,
732, 732, 732, 732, 732, 733, 730, 730, 730, 730,
834, 834, 834, 834, 834, 835, 805, 573, 573, 573,
573, 573, 573, 240, 240, 588, 240, 240, 589, 240,
240, 240, 240, 1183, 1000, 170, 955, 240, 240, 240,
240, 240, 240, 640, 640, 640, 640, 640, 640, 640,
640, 640, 640, 729, 141, 730, 730, 730, 730, 730,
730, 954, 240, 240, 240, 240, 240, 240, 486, 952,
487, 487, 487, 487, 487, 487, 487, 487, 487, 487,
522, 308, 736, 736, 736, 736, 736, 736, 1010, 141,
1011, 938, 631, 740, 740, 740, 740, 740, 740, 740,
740, 740, 740, 283, 170, 943, 966, 268, 486, 883,
487, 487, 487, 487, 487, 487, 487, 487, 487, 487,
1183, 951, 739, 739, 739, 739, 739, 739, 739, 739,
739, 739, 779, 780, 781, 779, 779, 779, 779, 779,
779, 779, 146, 1004, 298, 141, 170, 268, 614, 884,
615, 615, 615, 615, 615, 615, 615, 615, 615, 615,
671, 283, 672, 672, 672, 672, 672, 672, 672, 672,
672, 672, 671, 308, 672, 672, 672, 672, 672, 672,
672, 672, 672, 672, 631, 755, 860, 141, 614, 755,
616, 616, 616, 616, 616, 616, 616, 616, 616, 616,
308, 856, 761, 522, 308, 283, 761, 170, 1005, 886,
141, 738, 756, 767, 769, 631, 749, 767, 769, 694,
749, 695, 695, 695, 695, 695, 695, 141, 614, 762,
617, 617, 617, 617, 617, 618, 615, 615, 615, 615,
768, 770, 812, 750, 792, 793, 794, 792, 792, 792,
792, 792, 792, 792, 814, 755, 761, 283, 268, 755,
761, 141, 888, 283, 1039, 966, 924, 141, 522, 308,
629, 629, 629, 629, 629, 629, 629, 629, 629, 629,
524, 268, 756, 762, 628, 628, 628, 628, 628, 628,
728, 728, 728, 728, 728, 728, 728, 728, 728, 728,
940, 767, 769, 749, 141, 767, 769, 749, 939, 628,
628, 628, 628, 628, 628, 522, 308, 630, 630, 630,
630, 630, 630, 630, 630, 630, 630, 631, 768, 770,
750, 632, 632, 632, 632, 632, 632, 816, 816, 816,
816, 816, 816, 816, 816, 816, 816, 755, 761, 767,
141, 755, 761, 767, 522, 308, 632, 632, 632, 632,
632, 632, 308, 636, 637, 638, 636, 636, 636, 636,
636, 636, 636, 639, 756, 762, 768, 640, 640, 640,
640, 640, 640, 1183, 1183, 815, 815, 815, 815, 815,
815, 815, 815, 815, 815, 1153, 814, 522, 308, 170,
1070, 1153, 640, 640, 640, 640, 640, 640, 694, 738,
695, 695, 695, 695, 695, 695, 695, 695, 695, 695,
824, 825, 826, 824, 824, 824, 824, 824, 824, 824,
729, 953, 730, 730, 730, 730, 730, 730, 730, 730,
730, 730, 1006, 170, 251, 170, 875, 268, 694, 812,
696, 696, 696, 696, 696, 696, 696, 696, 696, 696,
729, 814, 730, 730, 730, 730, 730, 730, 730, 730,
730, 730, 747, 747, 747, 747, 747, 747, 747, 747,
747, 747, 941, 146, 268, 298, 941, 268, 694, 933,
697, 697, 697, 697, 697, 698, 695, 695, 695, 695,
1183, 308, 522, 308, 829, 829, 829, 829, 829, 829,
283, 1086, 738, 963, 738, 833, 833, 833, 833, 833,
833, 833, 833, 833, 833, 769, 283, 268, 614, 769,
615, 615, 615, 615, 615, 615, 615, 615, 615, 615,
1183, 942, 832, 832, 832, 832, 832, 832, 832, 832,
832, 832, 770, 860, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 927, 1031, 1028, 141, 614, 251,
615, 615, 615, 615, 615, 615, 615, 615, 615, 615,
860, 862, 862, 862, 862, 862, 862, 862, 862, 862,
862, 860, 863, 863, 863, 863, 863, 864, 861, 861,
861, 861, 1009, 1010, 268, 1011, 1009, 141, 724, 725,
726, 724, 724, 724, 724, 724, 724, 724, 727, 1071,
723, 1011, 728, 728, 728, 728, 728, 728, 1031, 890,
891, 892, 893, 890, 890, 890, 890, 890, 890, 805,
806, 806, 806, 806, 806, 806, 520, 728, 728, 728,
728, 728, 728, 522, 308, 736, 736, 736, 736, 736,
736, 736, 736, 736, 736, 631, 141, 268, 882, 735,
735, 735, 735, 735, 735, 1087, 1117, 141, 895, 896,
897, 895, 895, 895, 895, 895, 895, 895, 904, 904,
904, 904, 904, 905, 735, 735, 735, 735, 735, 735,
522, 308, 737, 737, 737, 737, 737, 737, 737, 737,
737, 737, 738, 874, 141, 268, 739, 739, 739, 739,
739, 739, 823, 823, 823, 823, 823, 823, 823, 823,
823, 823, 922, 922, 922, 922, 922, 923, 1136, 1144,
1137, 739, 739, 739, 739, 739, 739, 308, 743, 744,
745, 743, 743, 743, 743, 743, 743, 743, 746, 1154,
873, 1137, 747, 747, 747, 747, 747, 747, 812, 812,
899, 899, 899, 899, 899, 899, 141, 1130, 141, 1130,
814, 901, 522, 308, 872, 1130, 997, 747, 747, 747,
747, 747, 747, 694, 738, 695, 695, 695, 695, 695,
695, 695, 695, 695, 695, 903, 903, 903, 903, 903,
903, 903, 903, 903, 903, 1183, 1183, 902, 902, 902,
902, 902, 902, 902, 902, 902, 902, 1038, 901, 871,
283, 1040, 268, 694, 283, 695, 695, 695, 695, 695,
695, 695, 695, 695, 695, 911, 1160, 912, 912, 912,
912, 912, 912, 912, 912, 912, 912, 911, 308, 913,
913, 913, 913, 913, 913, 913, 913, 913, 913, 738,
870, 869, 268, 805, 806, 806, 806, 806, 806, 806,
806, 806, 806, 806, 911, 268, 914, 914, 914, 914,
914, 915, 912, 912, 912, 912, 522, 308, 839, 839,
839, 839, 839, 839, 839, 839, 839, 839, 831, 868,
867, 141, 805, 807, 807, 807, 807, 807, 807, 807,
807, 807, 807, 1183, 308, 522, 308, 918, 918, 918,
918, 918, 918, 866, 865, 831, 812, 831, 921, 921,
921, 921, 921, 921, 921, 921, 921, 921, 901, 855,
141, 805, 808, 808, 808, 808, 808, 809, 806, 806,
806, 806, 1183, 944, 920, 920, 920, 920, 920, 920,
920, 920, 920, 920, 854, 308, 929, 934, 936, 812,
929, 934, 936, 170, 844, 944, 831, 944, 945, 141,
812, 981, 813, 813, 813, 813, 813, 813, 813, 813,
813, 813, 814, 930, 935, 937, 815, 815, 815, 815,
815, 815, 141, 946, 947, 948, 949, 946, 946, 946,
946, 946, 946, 929, 170, 170, 170, 929, 146, 729,
298, 815, 815, 815, 815, 815, 815, 819, 820, 821,
819, 819, 819, 819, 819, 819, 819, 822, 723, 520,
930, 823, 823, 823, 823, 823, 823, 860, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 860, 861,
861, 861, 861, 861, 861, 413, 823, 823, 823, 823,
823, 823, 522, 308, 829, 829, 829, 829, 829, 829,
829, 829, 829, 829, 738, 268, 1072, 268, 828, 828,
828, 828, 828, 828, 860, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 929, 934, 936, 268, 929,
934, 936, 268, 828, 828, 828, 828, 828, 828, 522,
308, 830, 830, 830, 830, 830, 830, 830, 830, 830,
830, 831, 930, 935, 937, 832, 832, 832, 832, 832,
832, 956, 957, 958, 959, 956, 956, 956, 956, 956,
956, 803, 929, 251, 251, 251, 929, 146, 802, 298,
832, 832, 832, 832, 832, 832, 308, 836, 837, 838,
836, 836, 836, 836, 836, 836, 836, 799, 268, 930,
798, 839, 839, 839, 839, 839, 839, 308, 875, 876,
876, 876, 876, 876, 876, 934, 1064, 1064, 831, 934,
283, 522, 308, 1064, 1183, 812, 839, 839, 839, 839,
839, 839, 140, 831, 936, 140, 981, 981, 936, 797,
1012, 140, 935, 796, 140, 140, 268, 140, 140, 140,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
795, 937, 790, 140, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 841, 170,
170, 170, 170, 170, 170, 170, 170, 141, 170, 140,
140, 140, 140, 140, 140, 140, 140, 140, 140, 140,
140, 140, 140, 140, 140, 140, 875, 876, 876, 876,
876, 876, 876, 876, 876, 876, 876, 972, 789, 973,
973, 973, 973, 973, 973, 973, 973, 973, 973, 934,
936, 812, 786, 934, 936, 984, 984, 984, 984, 984,
985, 785, 784, 1051, 268, 875, 877, 877, 877, 877,
877, 877, 877, 877, 877, 877, 935, 937, 972, 783,
974, 974, 974, 974, 974, 974, 974, 974, 974, 974,
1009, 1010, 782, 1011, 1009, 1014, 671, 283, 283, 1014,
1015, 1016, 1017, 268, 875, 878, 878, 878, 878, 878,
879, 876, 876, 876, 876, 972, 944, 975, 975, 975,
975, 975, 976, 973, 973, 973, 973, 910, 910, 910,
910, 910, 910, 910, 910, 910, 910, 774, 944, 1183,
944, 944, 268, 267, 1001, 812, 267, 773, 1001, 1018,
141, 1051, 267, 141, 141, 267, 267, 1051, 267, 267,
267, 283, 283, 283, 283, 283, 283, 283, 283, 283,
283, 1002, 141, 1183, 267, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 283, 283, 283, 283, 880,
283, 283, 283, 283, 283, 283, 283, 283, 268, 283,
267, 267, 267, 267, 267, 267, 267, 267, 267, 267,
267, 267, 267, 267, 267, 267, 267, 805, 806, 806,
806, 806, 806, 806, 806, 806, 806, 806, 812, 723,
979, 979, 979, 979, 979, 979, 1130, 1130, 1130, 1130,
901, 983, 983, 983, 983, 983, 983, 983, 983, 983,
983, 221, 221, 221, 520, 141, 805, 806, 806, 806,
806, 806, 806, 806, 806, 806, 806, 1183, 413, 982,
982, 982, 982, 982, 982, 982, 982, 982, 982, 991,
992, 993, 991, 991, 991, 991, 991, 991, 991, 1110,
146, 413, 298, 1110, 141, 812, 711, 899, 899, 899,
899, 899, 899, 899, 899, 899, 899, 814, 812, 710,
900, 900, 900, 900, 900, 900, 900, 900, 900, 900,
901, 221, 221, 221, 902, 902, 902, 902, 902, 902,
911, 709, 912, 912, 912, 912, 912, 912, 912, 912,
912, 912, 1054, 1054, 1054, 1054, 1054, 1055, 708, 902,
902, 902, 902, 902, 902, 906, 907, 908, 906, 906,
906, 906, 906, 906, 906, 909, 707, 706, 705, 910,
910, 910, 910, 910, 910, 911, 704, 912, 912, 912,
912, 912, 912, 912, 912, 912, 912, 998, 1001, 703,
702, 998, 1001, 701, 910, 910, 910, 910, 910, 910,
522, 308, 918, 918, 918, 918, 918, 918, 918, 918,
918, 918, 831, 700, 999, 1002, 917, 917, 917, 917,
917, 917, 911, 699, 912, 912, 912, 912, 912, 912,
522, 308, 996, 996, 996, 996, 996, 996, 688, 687,
686, 917, 917, 917, 917, 917, 917, 522, 308, 919,
919, 919, 919, 919, 919, 919, 919, 919, 919, 685,
684, 683, 682, 920, 920, 920, 920, 920, 920, 1066,
681, 680, 1066, 1066, 998, 1001, 1066, 1107, 998, 1001,
972, 1107, 973, 973, 973, 973, 973, 973, 920, 920,
920, 920, 920, 920, 140, 253, 1067, 140, 253, 1067,
253, 999, 1002, 140, 1108, 679, 140, 140, 678, 140,
140, 140, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 677, 140, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 925, 170, 170, 170, 170, 170, 141,
170, 140, 140, 140, 140, 140, 140, 140, 140, 140,
140, 140, 140, 140, 140, 140, 140, 140, 240, 676,
1183, 1183, 240, 251, 251, 251, 251, 251, 251, 251,
251, 251, 251, 450, 240, 666, 665, 251, 251, 251,
251, 251, 251, 251, 251, 251, 251, 251, 251, 251,
251, 251, 251, 251, 950, 251, 251, 251, 251, 251,
1183, 253, 240, 240, 240, 240, 240, 240, 240, 240,
240, 240, 240, 240, 240, 240, 240, 240, 240, 875,
876, 876, 876, 876, 876, 876, 876, 876, 876, 876,
1014, 623, 520, 413, 1014, 1015, 1016, 1017, 1021, 619,
1022, 1022, 1022, 1022, 1022, 1022, 1022, 1022, 1022, 1022,
1103, 1103, 1103, 1103, 1103, 1104, 413, 268, 875, 876,
876, 876, 876, 876, 876, 876, 876, 876, 876, 1021,
167, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023,
1023, 608, 607, 1021, 1020, 1024, 1024, 1024, 1024, 1024,
1025, 1026, 1026, 1026, 1026, 606, 268, 267, 1183, 253,
267, 1013, 253, 605, 253, 604, 267, 1013, 1013, 267,
267, 1013, 267, 267, 267, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 1013, 1013, 1013, 267, 283,
283, 283, 283, 283, 283, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 283, 960, 283, 283, 283,
283, 283, 268, 283, 267, 267, 267, 267, 267, 267,
267, 267, 267, 267, 267, 267, 267, 267, 267, 267,
267, 966, 603, 967, 967, 967, 967, 967, 967, 967,
967, 967, 967, 1021, 602, 1026, 1026, 1026, 1022, 1022,
1022, 1022, 1022, 1022, 1022, 601, 998, 998, 1001, 600,
998, 998, 1001, 308, 1060, 1060, 1060, 1060, 1060, 1060,
141, 966, 597, 968, 968, 968, 968, 968, 968, 968,
968, 968, 968, 999, 999, 1002, 1041, 1042, 1043, 1041,
1041, 1041, 1041, 1041, 1041, 1041, 966, 596, 967, 967,
967, 967, 967, 967, 251, 283, 283, 161, 587, 586,
141, 966, 585, 969, 969, 969, 969, 969, 970, 971,
971, 971, 971, 141, 1044, 1045, 1046, 1044, 1044, 1044,
1044, 1044, 1044, 1044, 972, 141, 973, 973, 973, 973,
973, 973, 973, 973, 973, 973, 166, 166, 584, 583,
141, 966, 166, 971, 971, 971, 967, 967, 967, 967,
967, 967, 967, 972, 582, 973, 973, 973, 973, 973,
973, 973, 973, 973, 973, 990, 990, 990, 990, 990,
990, 990, 990, 990, 990, 1135, 1136, 581, 1137, 1135,
141, 812, 580, 979, 979, 979, 979, 979, 979, 979,
979, 979, 979, 901, 812, 579, 980, 980, 980, 980,
980, 980, 980, 980, 980, 980, 981, 576, 575, 461,
982, 982, 982, 982, 982, 982, 812, 450, 1049, 1049,
1049, 1049, 1049, 1049, 565, 1066, 1105, 1107, 981, 1066,
1105, 1107, 450, 564, 450, 982, 982, 982, 982, 982,
982, 986, 987, 988, 986, 986, 986, 986, 986, 986,
986, 989, 1067, 1106, 1108, 990, 990, 990, 990, 990,
990, 1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053,
1053, 563, 1021, 170, 1022, 1022, 1022, 1022, 1022, 1022,
990, 990, 990, 990, 990, 990, 522, 308, 996, 996,
996, 996, 996, 996, 996, 996, 996, 996, 1031, 1183,
1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032,
1183, 1183, 1052, 1052, 1052, 1052, 1052, 1052, 1052, 1052,
1052, 1052, 308, 1060, 1060, 1060, 1060, 1060, 1060, 1060,
1060, 1060, 1060, 166, 166, 413, 520, 268, 1031, 166,
1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033,
308, 1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061,
1061, 308, 1062, 1062, 1062, 1062, 1062, 1063, 1060, 1060,
1060, 1060, 1132, 307, 307, 413, 1132, 268, 1031, 307,
1034, 1034, 1034, 1034, 1034, 1035, 1036, 1036, 1036, 1036,
1183, 167, 506, 505, 1183, 1183, 1183, 1183, 1014, 1133,
504, 503, 1014, 1015, 1016, 1017, 1075, 1076, 1077, 1075,
1075, 1075, 1075, 1075, 1075, 1075, 502, 268, 1031, 501,
1036, 1036, 1036, 1032, 1032, 1032, 1032, 1032, 1032, 1032,
1183, 500, 409, 409, 1183, 1015, 1016, 1017, 409, 1135,
1136, 1183, 1137, 1135, 1018, 1183, 1183, 1183, 1017, 514,
514, 499, 1018, 515, 515, 514, 498, 268, 966, 515,
967, 967, 967, 967, 967, 967, 967, 967, 967, 967,
1073, 497, 496, 1074, 1074, 1074, 1074, 1074, 1074, 1074,
1074, 1074, 1074, 495, 1018, 1183, 494, 519, 519, 1183,
1183, 1183, 1183, 519, 493, 1018, 276, 141, 966, 485,
967, 967, 967, 967, 967, 967, 967, 967, 967, 967,
1021, 481, 1022, 1022, 1022, 1022, 1022, 1022, 1022, 1022,
1022, 1022, 1021, 480, 1022, 1022, 1022, 1022, 1022, 1022,
1022, 1022, 1022, 1022, 479, 478, 477, 141, 812, 1020,
1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049,
981, 812, 476, 1050, 1050, 1050, 1050, 1050, 1050, 1050,
1050, 1050, 1050, 1051, 475, 474, 473, 1052, 1052, 1052,
1052, 1052, 1052, 1081, 1082, 1083, 1081, 1081, 1081, 1081,
1081, 1081, 1081, 1031, 472, 1032, 1032, 1032, 1032, 1032,
1032, 471, 1052, 1052, 1052, 1052, 1052, 1052, 1056, 1057,
1058, 1056, 1056, 1056, 1056, 1056, 1056, 1056, 470, 469,
268, 468, 1059, 1059, 1059, 1059, 1059, 1059, 1183, 619,
619, 1019, 268, 621, 621, 619, 244, 1019, 1019, 621,
253, 1019, 458, 253, 455, 253, 454, 1059, 1059, 1059,
1059, 1059, 1059, 622, 622, 1019, 1019, 1019, 1031, 622,
1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032,
453, 452, 1066, 445, 444, 1092, 1066, 1093, 1093, 1093,
1093, 1093, 1093, 1093, 1093, 1093, 1093, 1059, 1059, 1059,
1059, 1059, 1059, 1059, 1059, 1059, 1059, 268, 1031, 1067,
1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032,
1092, 443, 1093, 1093, 1093, 1093, 1093, 1093, 442, 1092,
283, 1094, 1094, 1094, 1094, 1094, 1094, 1094, 1094, 1094,
1094, 1149, 1149, 1149, 1149, 1149, 1149, 268, 1087, 441,
1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088,
1092, 440, 1095, 1095, 1095, 1095, 1095, 1096, 1093, 1093,
1093, 1093, 812, 437, 1099, 1099, 1099, 1099, 1099, 1099,
720, 720, 436, 435, 1051, 434, 720, 141, 1087, 433,
1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089,
1102, 1102, 1102, 1102, 1102, 1102, 1102, 1102, 1102, 1102,
1183, 432, 1101, 1101, 1101, 1101, 1101, 1101, 1101, 1101,
1101, 1101, 431, 721, 721, 430, 429, 141, 1087, 721,
1090, 1090, 1090, 1090, 1090, 1091, 1088, 1088, 1088, 1088,
308, 1060, 1060, 1060, 1060, 1060, 1060, 1060, 1060, 1060,
1060, 308, 1060, 1060, 1060, 1060, 1060, 1060, 1060, 1060,
1060, 1060, 428, 722, 722, 427, 426, 141, 812, 722,
1099, 1099, 1099, 1099, 1099, 1099, 1099, 1099, 1099, 1099,
1051, 812, 425, 1100, 1100, 1100, 1100, 1100, 1100, 1100,
1100, 1100, 1100, 424, 167, 159, 397, 1101, 1101, 1101,
1101, 1101, 1101, 1105, 1107, 396, 388, 1105, 1107, 1074,
1074, 1074, 1074, 1074, 1074, 1074, 1074, 1074, 1074, 387,
386, 385, 1101, 1101, 1101, 1101, 1101, 1101, 384, 383,
1106, 1108, 1074, 1074, 1074, 1074, 1074, 1074, 1074, 1074,
1074, 1074, 1111, 267, 1112, 1112, 1112, 1112, 1112, 1112,
376, 170, 170, 1111, 272, 1112, 1112, 1112, 1112, 1112,
1112, 1112, 1112, 1112, 1112, 1111, 270, 1113, 1113, 1113,
1113, 1113, 1113, 1113, 1113, 1113, 1113, 1111, 268, 1114,
1114, 1114, 1114, 1114, 1115, 1112, 1112, 1112, 1112, 1105,
265, 1105, 375, 1105, 1087, 1105, 1088, 1088, 1088, 1088,
1088, 1088, 1107, 1132, 1132, 1132, 1107, 1132, 1132, 1132,
1177, 1177, 1177, 1177, 1177, 1177, 1106, 374, 1106, 1123,
1124, 1125, 1123, 1123, 1123, 1123, 1123, 1123, 1123, 1108,
1133, 1133, 1133, 141, 373, 372, 364, 251, 1117, 283,
1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118,
283, 170, 283, 363, 362, 361, 141, 1126, 1127, 1128,
1126, 1126, 1126, 1126, 1126, 1126, 1126, 1138, 1139, 1140,
1138, 1138, 1138, 1138, 1138, 1138, 1138, 268, 1117, 360,
1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119,
1092, 359, 1093, 1093, 1093, 1093, 1093, 1093, 1093, 1093,
1093, 1093, 1092, 1183, 1093, 1093, 1093, 1093, 1093, 1093,
1093, 1093, 1093, 1093, 241, 233, 228, 268, 1117, 229,
1120, 1120, 1120, 1120, 1120, 1121, 1118, 1118, 1118, 1118,
812, 223, 1131, 1131, 1131, 1131, 1131, 1131, 1131, 1131,
1131, 1131, 1111, 223, 1112, 1112, 1112, 1112, 1112, 1112,
1112, 1112, 1112, 1112, 188, 215, 350, 268, 1087, 342,
1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088,
1111, 341, 1112, 1112, 1112, 1112, 1112, 1112, 1112, 1112,
1112, 1112, 1141, 1142, 1143, 1141, 1141, 1141, 1141, 1141,
1141, 1141, 340, 810, 810, 339, 338, 141, 1087, 810,
1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 1088,
335, 1117, 334, 1118, 1118, 1118, 1118, 1118, 1118, 268,
1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149,
811, 811, 333, 894, 894, 332, 811, 141, 1117, 894,
1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118,
268, 1150, 1150, 1150, 1150, 1150, 1150, 1150, 1150, 1150,
1150, 1151, 1151, 1151, 1151, 1151, 1152, 1149, 1149, 1149,
1149, 253, 331, 330, 253, 321, 253, 268, 1117, 320,
1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118, 1118,
1155, 319, 1156, 1156, 1156, 1156, 1156, 1156, 1156, 1156,
1156, 1156, 1155, 318, 1157, 1157, 1157, 1157, 1157, 1157,
1157, 1157, 1157, 1157, 317, 316, 315, 268, 1144, 314,
1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145,
1155, 313, 1158, 1158, 1158, 1158, 1158, 1159, 1156, 1156,
1156, 1156, 1165, 1166, 1167, 1165, 1165, 1165, 1165, 1165,
1165, 1165, 167, 977, 977, 140, 167, 141, 1144, 977,
1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146,
243, 1144, 155, 1145, 1145, 1145, 1145, 1145, 1145, 141,
1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149,
1047, 1047, 153, 1097, 1097, 146, 1047, 141, 1144, 1097,
1147, 1147, 1147, 1147, 1147, 1148, 1145, 1145, 1145, 1145,
141, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149,
1149, 1168, 1169, 1170, 1168, 1168, 1168, 1168, 1168, 1168,
1168, 144, 141, 1129, 1129, 292, 291, 141, 1160, 1129,
1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161,
1155, 290, 1156, 1156, 1156, 1156, 1156, 1156, 1156, 1156,
1156, 1156, 1155, 289, 1156, 1156, 1156, 1156, 1156, 1156,
1156, 1156, 1156, 1156, 288, 287, 283, 268, 1160, 272,
1162, 1162, 1162, 1162, 1162, 1162, 1162, 1162, 1162, 1162,
1155, 268, 1156, 1156, 1156, 1156, 1156, 1156, 1171, 1172,
1173, 1171, 1171, 1171, 1171, 1171, 1171, 1171, 1160, 265,
1161, 1161, 1161, 1161, 1161, 1161, 261, 268, 1160, 260,
1163, 1163, 1163, 1163, 1163, 1164, 1161, 1161, 1161, 1161,
259, 258, 257, 256, 251, 268, 1174, 1174, 1174, 1174,
1174, 1174, 1174, 1174, 1174, 1174, 229, 268, 223, 215,
143, 181, 212, 178, 204, 202, 184, 268, 1144, 183,
1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145,
180, 179, 176, 141, 1165, 1165, 1165, 1165, 1165, 1165,
1165, 1165, 1165, 1165, 1175, 1175, 1175, 1175, 1175, 1176,
1174, 1174, 1174, 1174, 170, 167, 155, 141, 1144, 144,
1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145,
143, 141, 141, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 141, 1177, 1177, 1177, 1177, 1177, 1177, 1177, 1177,
1177, 1177, 1183, 1183, 1183, 1183, 1183, 141, 1160, 1183,
1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161,
1168, 1168, 1168, 1168, 1168, 1168, 1168, 1168, 1168, 1168,
1178, 1178, 1178, 1178, 1178, 1179, 1177, 1177, 1177, 1177,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 268, 1160, 1183,
1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161,
1180, 1180, 1180, 1180, 1180, 1180, 1180, 1180, 1180, 1180,
1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 268, 1183, 1183,
1183, 1174, 1174, 1174, 1174, 1174, 1174, 268, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 268, 1181, 1181,
1181, 1181, 1181, 1182, 1180, 1180, 1180, 1180, 1174, 1174,
1174, 1174, 1174, 1174, 1174, 1174, 1174, 1174, 141, 1177,
1177, 1177, 1177, 1177, 1177, 1177, 1177, 1177, 1177, 1180,
1180, 1180, 1180, 1180, 1180, 268, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 141, 1180, 1180, 1180, 1180,
1180, 1180, 1180, 1180, 1180, 1180, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 268, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 268, 72, 72, 72, 72, 72, 72,
72, 72, 72, 72, 72, 72, 72, 72, 72, 72,
72, 72, 72, 72, 38, 38, 38, 38, 38, 38,
38, 38, 38, 38, 38, 38, 38, 38, 38, 38,
38, 38, 38, 38, 82, 82, 82, 82, 82, 82,
82, 82, 82, 82, 82, 82, 82, 82, 82, 82,
82, 82, 82, 82, 89, 89, 89, 89, 89, 89,
89, 89, 89, 89, 89, 89, 89, 89, 89, 89,
89, 89, 89, 89, 115, 115, 115, 115, 115, 115,
115, 115, 115, 115, 115, 115, 115, 115, 115, 115,
115, 115, 115, 115, 140, 1183, 1183, 140, 1183, 1183,
1183, 1183, 140, 1183, 140, 140, 140, 1183, 1183, 140,
140, 140, 140, 140, 145, 145, 145, 145, 145, 145,
145, 145, 145, 145, 145, 145, 145, 145, 145, 145,
145, 145, 145, 145, 150, 1183, 1183, 150, 1183, 1183,
150, 1183, 150, 1183, 150, 150, 150, 150, 1183, 150,
150, 150, 150, 150, 154, 1183, 1183, 154, 1183, 1183,
1183, 1183, 154, 1183, 154, 154, 154, 1183, 1183, 154,
154, 154, 154, 154, 156, 1183, 1183, 156, 156, 156,
1183, 156, 156, 1183, 156, 156, 156, 1183, 1183, 156,
156, 156, 156, 156, 209, 1183, 1183, 209, 209, 209,
1183, 209, 209, 1183, 209, 209, 209, 1183, 1183, 209,
209, 209, 209, 209, 214, 1183, 1183, 214, 214, 214,
1183, 214, 214, 1183, 214, 214, 214, 1183, 214, 214,
1183, 214, 214, 214, 222, 1183, 1183, 222, 222, 1183,
1183, 222, 222, 1183, 222, 222, 222, 222, 1183, 222,
222, 222, 222, 222, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 228, 228, 1183, 228, 228, 1183,
228, 228, 228, 228, 228, 228, 228, 228, 228, 228,
228, 228, 228, 228, 235, 1183, 1183, 235, 1183, 1183,
235, 1183, 235, 1183, 235, 235, 235, 235, 1183, 235,
235, 235, 235, 235, 239, 1183, 1183, 239, 1183, 1183,
1183, 1183, 239, 1183, 239, 239, 239, 1183, 239, 239,
239, 239, 239, 239, 242, 1183, 1183, 242, 242, 242,
1183, 242, 242, 1183, 242, 242, 242, 1183, 242, 242,
242, 242, 242, 242, 264, 1183, 1183, 1183, 264, 264,
264, 264, 264, 264, 264, 264, 264, 264, 264, 264,
264, 264, 264, 264, 267, 1183, 1183, 267, 1183, 1183,
1183, 1183, 267, 1183, 267, 267, 267, 1183, 1183, 267,
267, 267, 267, 267, 269, 1183, 1183, 269, 1183, 1183,
269, 1183, 269, 1183, 269, 269, 269, 269, 1183, 269,
269, 269, 269, 269, 271, 1183, 1183, 271, 1183, 1183,
1183, 1183, 271, 1183, 271, 271, 271, 1183, 1183, 271,
271, 271, 271, 271, 273, 1183, 1183, 273, 273, 273,
1183, 273, 273, 1183, 273, 273, 273, 1183, 1183, 273,
273, 273, 273, 273, 297, 297, 297, 297, 297, 297,
297, 297, 297, 297, 297, 297, 297, 297, 297, 297,
297, 297, 297, 297, 299, 299, 1183, 299, 299, 299,
299, 299, 299, 299, 299, 299, 299, 299, 299, 299,
299, 299, 299, 299, 150, 1183, 1183, 150, 1183, 1183,
1183, 1183, 150, 1183, 150, 150, 150, 1183, 1183, 150,
150, 150, 150, 150, 154, 1183, 1183, 154, 1183, 1183,
1183, 1183, 154, 1183, 154, 154, 154, 1183, 1183, 154,
154, 154, 154, 154, 156, 1183, 1183, 156, 156, 156,
1183, 156, 156, 1183, 156, 156, 156, 1183, 1183, 156,
156, 156, 156, 156, 157, 1183, 1183, 157, 157, 157,
1183, 157, 157, 1183, 157, 157, 157, 1183, 1183, 157,
157, 157, 157, 157, 309, 309, 309, 1183, 1183, 1183,
1183, 309, 209, 1183, 1183, 209, 209, 209, 1183, 209,
209, 1183, 209, 209, 209, 1183, 1183, 209, 209, 209,
209, 209, 210, 1183, 1183, 210, 210, 210, 1183, 210,
210, 1183, 210, 210, 210, 1183, 1183, 210, 210, 210,
210, 210, 214, 1183, 1183, 214, 214, 214, 1183, 214,
214, 1183, 214, 214, 214, 1183, 214, 214, 1183, 214,
214, 214, 222, 1183, 1183, 222, 222, 1183, 1183, 222,
222, 1183, 222, 222, 222, 222, 1183, 222, 222, 222,
222, 222, 228, 228, 1183, 228, 228, 1183, 228, 228,
228, 228, 228, 228, 228, 228, 228, 228, 228, 228,
228, 228, 238, 1183, 1183, 238, 1183, 1183, 1183, 1183,
238, 1183, 238, 238, 238, 1183, 1183, 238, 238, 238,
238, 238, 239, 1183, 1183, 239, 1183, 1183, 1183, 1183,
239, 1183, 239, 239, 239, 1183, 239, 239, 239, 239,
239, 239, 240, 1183, 1183, 240, 240, 1183, 240, 240,
1183, 1183, 240, 240, 242, 1183, 1183, 242, 242, 242,
1183, 242, 242, 1183, 242, 242, 242, 1183, 242, 242,
242, 242, 242, 242, 264, 1183, 1183, 1183, 264, 264,
264, 264, 264, 264, 264, 264, 264, 264, 264, 264,
264, 264, 264, 264, 267, 1183, 1183, 267, 1183, 1183,
1183, 1183, 267, 1183, 267, 267, 267, 1183, 1183, 267,
267, 267, 267, 267, 269, 1183, 1183, 269, 1183, 1183,
1183, 1183, 269, 1183, 269, 269, 269, 1183, 1183, 269,
269, 269, 269, 269, 271, 1183, 1183, 271, 1183, 1183,
1183, 1183, 271, 1183, 271, 271, 271, 1183, 1183, 271,
271, 271, 271, 271, 273, 1183, 1183, 273, 273, 273,
1183, 273, 273, 1183, 273, 273, 273, 1183, 1183, 273,
273, 273, 273, 273, 274, 1183, 1183, 274, 274, 274,
1183, 274, 274, 1183, 274, 274, 274, 1183, 1183, 274,
274, 274, 274, 274, 297, 297, 297, 297, 297, 297,
297, 297, 297, 297, 297, 297, 297, 297, 297, 297,
297, 297, 297, 297, 401, 401, 401, 401, 401, 401,
401, 401, 401, 401, 401, 401, 401, 401, 401, 401,
401, 401, 401, 401, 415, 415, 415, 1183, 1183, 1183,
1183, 415, 521, 521, 521, 1183, 1183, 1183, 1183, 521,
297, 297, 297, 297, 297, 297, 297, 297, 297, 297,
297, 297, 297, 297, 297, 297, 297, 297, 297, 297,
624, 624, 624, 1183, 1183, 1183, 1183, 624, 628, 628,
628, 628, 1183, 1183, 1183, 1183, 628, 734, 734, 734,
1183, 1183, 1183, 1183, 734, 735, 735, 735, 735, 1183,
1183, 1183, 1183, 735, 827, 827, 827, 1183, 1183, 1183,
1183, 827, 828, 828, 828, 828, 1183, 1183, 1183, 1183,
828, 297, 297, 297, 297, 297, 297, 297, 297, 297,
297, 297, 297, 297, 297, 297, 297, 297, 297, 297,
297, 240, 1183, 1183, 240, 240, 1183, 240, 240, 1183,
1183, 240, 240, 898, 1183, 898, 898, 1183, 1183, 1183,
1183, 898, 916, 916, 916, 1183, 1183, 1183, 1183, 916,
917, 917, 917, 917, 1183, 1183, 1183, 1183, 917, 297,
297, 297, 297, 297, 297, 297, 297, 297, 297, 297,
297, 297, 297, 297, 297, 297, 297, 297, 297, 240,
1183, 1183, 240, 240, 1183, 240, 240, 1183, 1183, 240,
240, 267, 1183, 1183, 267, 1183, 1183, 1183, 1183, 267,
1183, 267, 267, 267, 1183, 1183, 267, 267, 267, 267,
267, 978, 1183, 978, 978, 1183, 1183, 1183, 1183, 978,
994, 994, 994, 1183, 1183, 1183, 1183, 994, 995, 995,
995, 1183, 1183, 1183, 1183, 1183, 995, 1008, 1008, 1008,
1008, 1008, 1008, 1008, 1008, 1008, 1008, 1008, 1008, 1008,
1008, 1008, 1008, 1008, 1008, 1008, 1008, 1013, 1013, 1183,
1013, 1013, 1013, 1013, 1183, 1013, 1183, 1013, 1013, 1013,
1183, 1183, 1013, 1013, 1013, 1013, 1013, 1019, 1019, 1183,
1019, 1019, 1019, 1019, 1183, 1019, 1183, 1019, 1019, 1019,
1183, 1183, 1019, 1019, 1019, 1019, 1019, 1048, 1183, 1048,
1048, 1183, 1183, 1183, 1183, 1048, 1098, 1183, 1098, 1098,
1183, 1183, 1183, 1183, 1098, 1134, 1134, 1134, 1134, 1134,
1134, 1134, 1134, 1134, 1134, 1134, 1134, 1134, 1134, 1134,
1134, 1134, 1134, 1134, 1134, 19, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183
} ;
static yyconst flex_int16_t yy_chk[8301] =
{ 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, 1, 2, 21, 50, 43, 2, 21,
27, 2, 5, 5, 39, 5, 5, 5, 43, 5,
53, 50, 47, 42, 39, 5, 42, 47, 6, 6,
27, 6, 6, 6, 53, 6, 42, 2, 2, 5,
5, 6, 2, 35, 35, 35, 35, 35, 35, 44,
2, 62, 44, 2, 3, 6, 6, 27, 3, 11,
11, 3, 11, 11, 11, 11, 5, 3, 12, 12,
3, 12, 12, 12, 12, 84, 66, 60, 104, 62,
66, 104, 6, 129, 3, 168, 129, 3, 15, 15,
15, 15, 15, 15, 15, 3, 60, 3, 168, 3,
3, 84, 3, 16, 16, 16, 16, 16, 16, 16,
32, 32, 56, 11, 32, 32, 189, 71, 91, 1180,
103, 56, 12, 64, 3, 4, 71, 64, 86, 4,
56, 103, 4, 90, 32, 71, 64, 90, 4, 337,
201, 4, 15, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 337, 86, 4, 57, 16, 4, 32,
57, 80, 80, 116, 80, 80, 4, 91, 4, 189,
4, 4, 55, 4, 55, 55, 55, 55, 55, 55,
55, 55, 55, 55, 94, 59, 201, 90, 59, 57,
57, 145, 202, 145, 57, 4, 7, 7, 59, 7,
7, 7, 57, 7, 94, 57, 88, 88, 202, 88,
88, 65, 116, 59, 65, 65, 65, 65, 65, 65,
65, 65, 65, 65, 93, 93, 591, 93, 93, 591,
93, 94, 98, 98, 98, 98, 98, 98, 98, 98,
98, 98, 99, 99, 99, 99, 99, 99, 329, 329,
7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
7, 7, 7, 7, 7, 7, 7, 7, 7, 8,
8, 120, 8, 8, 8, 112, 8, 112, 112, 112,
112, 112, 112, 112, 112, 112, 112, 128, 114, 142,
167, 120, 191, 142, 191, 67, 67, 114, 128, 67,
67, 167, 231, 118, 118, 1174, 118, 118, 124, 124,
124, 124, 124, 124, 124, 124, 124, 124, 120, 67,
344, 344, 293, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 9, 9, 67, 9, 9, 9, 9, 9,
295, 231, 295, 203, 9, 9, 9, 118, 78, 78,
338, 78, 78, 78, 95, 78, 203, 95, 338, 78,
9, 78, 139, 95, 152, 293, 95, 192, 351, 95,
95, 139, 192, 122, 122, 78, 78, 122, 122, 297,
139, 297, 351, 95, 152, 95, 9, 10, 10, 204,
10, 10, 10, 10, 10, 204, 298, 122, 298, 10,
10, 10, 78, 125, 125, 125, 125, 125, 125, 95,
95, 152, 408, 187, 187, 10, 187, 187, 299, 428,
299, 138, 122, 138, 138, 138, 138, 138, 138, 138,
138, 138, 138, 165, 165, 165, 165, 165, 165, 408,
428, 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, 13, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
26, 266, 26, 148, 148, 148, 148, 148, 148, 148,
148, 148, 148, 26, 1156, 435, 26, 26, 26, 26,
26, 26, 26, 26, 26, 26, 33, 435, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 348,
1131, 348, 33, 33, 33, 33, 33, 33, 190, 190,
266, 190, 190, 141, 141, 141, 141, 141, 206, 141,
141, 200, 206, 141, 309, 33, 200, 33, 33, 33,
33, 33, 33, 40, 200, 309, 40, 141, 141, 141,
208, 542, 40, 233, 208, 40, 40, 233, 40, 40,
40, 40, 40, 40, 40, 40, 40, 40, 40, 40,
40, 40, 190, 542, 40, 40, 40, 40, 40, 40,
40, 40, 40, 40, 40, 40, 40, 40, 40, 40,
40, 40, 40, 40, 40, 40, 40, 40, 40, 40,
40, 40, 40, 40, 40, 40, 40, 40, 40, 40,
40, 40, 40, 40, 40, 40, 40, 45, 45, 45,
45, 45, 45, 45, 45, 45, 45, 45, 401, 434,
401, 45, 45, 45, 45, 45, 45, 349, 199, 434,
199, 45, 149, 149, 149, 149, 149, 149, 149, 149,
149, 149, 349, 347, 235, 438, 45, 45, 45, 45,
45, 45, 54, 54, 438, 54, 54, 54, 54, 54,
347, 54, 54, 151, 235, 54, 151, 151, 151, 151,
151, 151, 151, 151, 151, 151, 1129, 236, 213, 54,
54, 54, 58, 213, 58, 440, 153, 153, 153, 153,
153, 235, 153, 153, 199, 58, 153, 236, 58, 58,
58, 58, 58, 58, 58, 58, 58, 58, 427, 440,
153, 153, 153, 155, 155, 155, 155, 155, 205, 155,
155, 554, 205, 155, 236, 156, 156, 427, 554, 156,
156, 205, 216, 216, 404, 216, 216, 155, 155, 155,
232, 232, 296, 232, 232, 58, 79, 296, 79, 156,
249, 249, 249, 249, 249, 249, 311, 352, 645, 79,
311, 352, 79, 79, 79, 79, 79, 79, 79, 79,
79, 79, 96, 404, 156, 96, 230, 645, 96, 96,
230, 96, 96, 96, 96, 399, 432, 96, 96, 159,
159, 159, 159, 159, 159, 159, 159, 159, 159, 399,
432, 96, 96, 96, 163, 163, 163, 163, 163, 163,
163, 163, 163, 163, 164, 164, 164, 164, 164, 164,
164, 164, 164, 164, 1112, 433, 159, 96, 96, 97,
230, 443, 97, 97, 97, 97, 97, 97, 97, 97,
97, 97, 97, 97, 97, 97, 433, 443, 97, 97,
97, 97, 97, 97, 97, 97, 97, 97, 97, 97,
97, 97, 97, 97, 97, 97, 97, 97, 97, 97,
97, 436, 1101, 97, 97, 97, 97, 97, 97, 97,
97, 97, 97, 97, 97, 97, 97, 97, 97, 97,
100, 436, 100, 100, 100, 100, 100, 100, 100, 100,
100, 100, 100, 402, 561, 402, 100, 100, 100, 100,
100, 100, 180, 180, 374, 374, 180, 374, 180, 180,
336, 336, 180, 336, 180, 180, 412, 412, 412, 415,
431, 100, 100, 100, 100, 100, 100, 101, 431, 561,
415, 101, 101, 101, 101, 101, 101, 101, 101, 101,
101, 101, 101, 101, 1100, 336, 101, 101, 101, 101,
101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
101, 101, 101, 101, 101, 101, 101, 101, 101, 1098,
101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
101, 101, 101, 101, 101, 101, 101, 101, 105, 105,
105, 105, 105, 105, 105, 105, 105, 105, 105, 664,
457, 424, 105, 105, 105, 105, 105, 105, 345, 664,
209, 209, 105, 345, 209, 209, 227, 227, 424, 227,
227, 425, 193, 457, 556, 425, 193, 105, 105, 105,
105, 105, 105, 123, 209, 123, 123, 123, 123, 123,
123, 123, 123, 123, 123, 123, 441, 556, 425, 123,
123, 123, 123, 123, 123, 193, 193, 212, 212, 209,
193, 212, 422, 212, 212, 426, 441, 212, 193, 212,
227, 193, 123, 422, 123, 123, 123, 123, 123, 123,
126, 223, 426, 126, 449, 223, 471, 223, 223, 126,
449, 471, 126, 126, 223, 126, 126, 126, 126, 126,
126, 126, 126, 126, 126, 126, 126, 126, 126, 223,
1097, 126, 126, 126, 126, 126, 126, 126, 126, 126,
126, 126, 126, 126, 126, 126, 126, 126, 126, 126,
126, 126, 126, 126, 126, 126, 126, 126, 126, 126,
126, 126, 126, 126, 126, 126, 126, 126, 126, 126,
126, 126, 126, 126, 130, 130, 130, 130, 130, 130,
130, 130, 130, 130, 130, 1093, 521, 439, 130, 130,
130, 130, 130, 130, 343, 439, 343, 521, 130, 207,
207, 207, 207, 207, 207, 207, 207, 207, 207, 398,
398, 459, 398, 130, 130, 130, 130, 130, 130, 137,
137, 447, 137, 137, 137, 137, 137, 459, 137, 137,
765, 765, 137, 220, 220, 220, 220, 220, 220, 220,
220, 220, 220, 444, 398, 508, 137, 137, 137, 158,
447, 343, 158, 158, 158, 158, 158, 265, 158, 158,
444, 265, 158, 244, 244, 244, 244, 244, 244, 244,
244, 244, 244, 437, 508, 534, 158, 158, 158, 160,
448, 160, 160, 160, 160, 160, 160, 160, 160, 160,
160, 160, 487, 534, 437, 160, 160, 160, 160, 160,
160, 460, 237, 237, 237, 237, 243, 460, 237, 237,
243, 265, 237, 243, 485, 997, 448, 485, 160, 243,
160, 160, 160, 160, 160, 160, 169, 237, 237, 169,
997, 487, 538, 243, 243, 169, 484, 484, 169, 169,
484, 169, 169, 169, 169, 169, 169, 169, 169, 169,
169, 169, 169, 169, 169, 485, 538, 169, 169, 169,
169, 169, 169, 169, 169, 169, 169, 169, 169, 169,
169, 169, 169, 169, 169, 169, 169, 169, 169, 169,
169, 169, 169, 169, 169, 169, 169, 169, 169, 169,
169, 169, 169, 169, 169, 169, 169, 169, 169, 169,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 491, 653, 1086, 170, 170, 170, 170, 170, 170,
247, 247, 247, 247, 247, 247, 247, 247, 247, 247,
281, 281, 281, 281, 281, 281, 653, 558, 491, 170,
170, 170, 170, 170, 170, 211, 550, 509, 211, 211,
211, 211, 211, 239, 211, 211, 239, 456, 211, 456,
294, 294, 239, 294, 294, 239, 550, 430, 239, 239,
558, 430, 211, 211, 211, 419, 419, 419, 419, 419,
419, 753, 239, 509, 239, 753, 241, 241, 241, 241,
241, 468, 241, 241, 430, 468, 241, 248, 248, 248,
248, 248, 248, 248, 248, 248, 248, 547, 239, 239,
241, 241, 241, 242, 294, 547, 242, 540, 468, 242,
242, 456, 242, 242, 242, 242, 259, 259, 242, 242,
259, 446, 259, 259, 446, 540, 259, 759, 259, 759,
458, 496, 242, 242, 242, 429, 496, 276, 276, 276,
276, 276, 276, 276, 276, 276, 276, 429, 507, 273,
273, 507, 429, 273, 273, 510, 446, 458, 242, 242,
245, 510, 245, 245, 245, 245, 245, 245, 245, 245,
245, 245, 245, 273, 276, 458, 245, 245, 245, 245,
245, 245, 546, 507, 268, 268, 268, 268, 268, 483,
268, 268, 483, 539, 268, 483, 546, 548, 273, 539,
1080, 245, 245, 245, 245, 245, 245, 250, 268, 268,
268, 250, 250, 250, 250, 250, 250, 250, 250, 250,
250, 250, 250, 250, 1070, 548, 250, 250, 250, 250,
250, 250, 250, 250, 250, 250, 250, 250, 250, 250,
250, 250, 250, 250, 250, 250, 250, 250, 250, 559,
250, 250, 250, 250, 250, 250, 250, 250, 250, 250,
250, 250, 250, 250, 250, 250, 250, 250, 251, 251,
251, 251, 251, 251, 251, 251, 251, 251, 251, 1065,
559, 541, 251, 251, 251, 251, 251, 251, 545, 270,
270, 270, 270, 270, 545, 270, 270, 541, 407, 270,
407, 407, 407, 407, 407, 407, 1064, 251, 251, 251,
251, 251, 251, 270, 270, 270, 272, 272, 272, 272,
272, 560, 272, 272, 535, 549, 272, 279, 279, 279,
279, 279, 279, 279, 279, 279, 279, 407, 1060, 549,
272, 272, 272, 275, 567, 535, 275, 275, 275, 275,
275, 649, 275, 275, 560, 567, 275, 280, 280, 280,
280, 280, 280, 280, 280, 280, 280, 552, 649, 562,
275, 275, 275, 277, 562, 277, 277, 277, 277, 277,
277, 277, 277, 277, 277, 277, 523, 523, 552, 277,
277, 277, 277, 277, 277, 290, 290, 553, 523, 290,
472, 290, 290, 551, 472, 290, 553, 290, 557, 525,
525, 551, 277, 568, 277, 277, 277, 277, 277, 277,
282, 525, 493, 282, 568, 689, 493, 472, 689, 282,
557, 650, 282, 282, 1048, 282, 282, 282, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 282, 493,
650, 282, 282, 282, 282, 282, 282, 282, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 282, 282,
282, 282, 282, 282, 283, 283, 283, 283, 283, 283,
283, 283, 283, 283, 283, 566, 1047, 566, 283, 283,
283, 283, 283, 283, 300, 300, 300, 300, 300, 300,
300, 300, 300, 300, 465, 1039, 465, 465, 465, 465,
465, 465, 1038, 283, 283, 283, 283, 283, 283, 301,
301, 301, 301, 301, 301, 301, 301, 301, 301, 302,
609, 302, 302, 302, 302, 302, 302, 302, 302, 302,
302, 353, 1030, 353, 353, 353, 353, 353, 353, 353,
353, 353, 353, 610, 350, 569, 566, 615, 350, 624,
569, 350, 588, 609, 588, 588, 1029, 350, 302, 303,
624, 303, 303, 303, 303, 303, 303, 303, 303, 303,
303, 350, 350, 354, 610, 354, 354, 354, 354, 354,
354, 354, 354, 354, 354, 355, 615, 355, 355, 355,
355, 355, 355, 355, 355, 355, 355, 592, 303, 304,
592, 304, 304, 304, 304, 304, 304, 304, 304, 304,
304, 411, 411, 411, 411, 411, 411, 411, 411, 411,
411, 411, 628, 376, 734, 497, 644, 376, 589, 497,
376, 589, 589, 628, 644, 734, 376, 592, 304, 305,
305, 305, 305, 305, 305, 305, 305, 305, 305, 305,
376, 376, 497, 305, 305, 305, 305, 305, 305, 403,
403, 403, 403, 403, 403, 403, 403, 403, 403, 531,
531, 531, 531, 531, 531, 1028, 305, 646, 305, 305,
305, 305, 305, 305, 308, 308, 308, 308, 308, 308,
308, 308, 308, 308, 308, 646, 403, 1026, 308, 308,
308, 308, 308, 308, 416, 416, 416, 416, 416, 416,
416, 416, 416, 416, 536, 543, 613, 641, 536, 543,
1022, 613, 641, 308, 308, 308, 308, 308, 308, 310,
310, 310, 310, 310, 310, 310, 310, 310, 310, 310,
310, 536, 543, 611, 310, 310, 310, 310, 310, 310,
418, 418, 418, 418, 418, 418, 418, 418, 418, 418,
590, 647, 590, 590, 654, 629, 629, 630, 630, 310,
310, 310, 310, 310, 310, 312, 611, 629, 312, 630,
654, 655, 647, 659, 312, 766, 766, 312, 312, 655,
312, 312, 312, 312, 312, 312, 312, 312, 312, 312,
312, 312, 312, 312, 659, 1005, 312, 312, 312, 312,
312, 312, 312, 312, 312, 312, 312, 312, 312, 312,
312, 312, 312, 312, 312, 312, 312, 312, 312, 312,
312, 312, 312, 312, 312, 312, 312, 312, 312, 312,
312, 312, 312, 312, 312, 312, 312, 312, 312, 313,
313, 313, 313, 313, 313, 313, 313, 313, 313, 313,
776, 1004, 776, 313, 313, 313, 313, 313, 313, 421,
612, 421, 421, 421, 421, 421, 421, 421, 421, 421,
421, 638, 638, 638, 638, 638, 638, 1000, 313, 313,
313, 313, 313, 313, 356, 356, 356, 356, 356, 356,
356, 356, 356, 356, 356, 612, 844, 844, 356, 356,
356, 356, 356, 356, 461, 461, 461, 461, 461, 461,
461, 461, 461, 461, 643, 648, 683, 690, 643, 648,
690, 683, 656, 356, 356, 356, 356, 356, 356, 358,
358, 358, 358, 358, 358, 358, 358, 358, 358, 656,
995, 643, 648, 358, 358, 358, 358, 358, 358, 463,
651, 463, 463, 463, 463, 463, 463, 463, 463, 463,
463, 706, 651, 632, 632, 978, 706, 651, 358, 358,
358, 358, 358, 358, 377, 632, 377, 377, 377, 377,
377, 377, 377, 377, 377, 377, 464, 977, 464, 464,
464, 464, 464, 464, 464, 464, 464, 464, 486, 486,
486, 486, 486, 486, 486, 486, 486, 486, 691, 669,
695, 691, 692, 377, 378, 692, 378, 378, 378, 378,
378, 378, 378, 378, 378, 378, 669, 490, 973, 490,
490, 490, 490, 490, 490, 486, 516, 516, 516, 516,
516, 516, 516, 516, 516, 516, 516, 760, 667, 695,
667, 760, 847, 378, 379, 847, 379, 379, 379, 379,
379, 379, 379, 379, 379, 379, 490, 522, 522, 522,
522, 522, 522, 522, 522, 522, 522, 524, 524, 524,
524, 524, 524, 524, 524, 524, 524, 693, 962, 748,
693, 772, 778, 379, 380, 748, 380, 380, 380, 380,
380, 380, 380, 380, 380, 380, 667, 955, 772, 778,
380, 380, 380, 380, 380, 380, 528, 528, 528, 528,
528, 528, 528, 528, 668, 652, 657, 658, 528, 652,
657, 658, 693, 954, 668, 380, 380, 380, 380, 380,
380, 382, 382, 382, 382, 382, 382, 382, 382, 382,
382, 952, 652, 657, 658, 382, 382, 382, 382, 382,
382, 530, 530, 530, 530, 530, 530, 530, 530, 530,
530, 800, 618, 800, 618, 618, 618, 618, 618, 618,
382, 382, 382, 382, 382, 382, 405, 758, 405, 405,
405, 405, 405, 405, 405, 405, 405, 405, 533, 758,
533, 533, 533, 533, 533, 533, 533, 533, 533, 533,
570, 618, 570, 570, 570, 570, 570, 570, 570, 570,
570, 570, 764, 777, 943, 405, 406, 764, 406, 406,
406, 406, 406, 406, 406, 406, 406, 406, 571, 777,
571, 571, 571, 571, 571, 571, 571, 571, 571, 571,
572, 735, 572, 572, 572, 572, 572, 572, 572, 572,
572, 572, 735, 804, 939, 406, 417, 417, 417, 417,
417, 417, 417, 417, 417, 417, 417, 417, 417, 842,
804, 842, 417, 417, 417, 417, 417, 417, 614, 614,
614, 614, 614, 614, 614, 614, 614, 614, 675, 938,
675, 675, 675, 675, 675, 675, 928, 417, 417, 417,
417, 417, 417, 420, 420, 420, 420, 420, 420, 420,
420, 420, 420, 420, 420, 614, 882, 882, 420, 420,
420, 420, 420, 420, 625, 846, 625, 625, 625, 625,
625, 625, 625, 625, 625, 625, 752, 796, 846, 912,
670, 796, 752, 420, 420, 420, 420, 420, 420, 423,
670, 676, 423, 716, 757, 676, 885, 898, 423, 885,
757, 423, 423, 716, 423, 423, 423, 423, 423, 423,
423, 423, 423, 423, 423, 423, 423, 423, 676, 894,
423, 423, 423, 423, 423, 423, 423, 423, 423, 423,
423, 423, 423, 423, 423, 423, 423, 423, 423, 423,
423, 423, 423, 423, 423, 423, 423, 423, 423, 423,
423, 423, 423, 423, 423, 423, 423, 423, 423, 423,
423, 423, 423, 466, 466, 466, 466, 466, 466, 466,
466, 466, 466, 763, 919, 919, 889, 466, 466, 466,
466, 466, 466, 626, 763, 626, 626, 626, 626, 626,
626, 626, 626, 626, 626, 726, 726, 726, 726, 726,
726, 886, 466, 466, 466, 466, 466, 466, 467, 467,
467, 467, 467, 467, 467, 467, 467, 467, 802, 920,
920, 881, 467, 467, 467, 467, 467, 467, 627, 802,
627, 627, 627, 627, 627, 627, 627, 627, 627, 627,
745, 745, 745, 745, 745, 745, 806, 467, 467, 467,
467, 467, 467, 482, 482, 482, 482, 482, 482, 482,
482, 482, 482, 482, 926, 926, 871, 482, 482, 482,
482, 482, 482, 631, 631, 631, 631, 631, 631, 631,
631, 631, 631, 733, 806, 733, 733, 733, 733, 733,
733, 870, 482, 482, 482, 482, 482, 482, 488, 867,
488, 488, 488, 488, 488, 488, 488, 488, 488, 488,
635, 635, 635, 635, 635, 635, 635, 635, 1008, 857,
1008, 852, 635, 637, 637, 637, 637, 637, 637, 637,
637, 637, 637, 798, 852, 857, 967, 488, 489, 798,
489, 489, 489, 489, 489, 489, 489, 489, 489, 489,
640, 866, 640, 640, 640, 640, 640, 640, 640, 640,
640, 640, 671, 671, 671, 671, 671, 671, 671, 671,
671, 671, 775, 931, 775, 967, 931, 489, 511, 799,
511, 511, 511, 511, 511, 511, 511, 511, 511, 511,
673, 799, 673, 673, 673, 673, 673, 673, 673, 673,
673, 673, 674, 827, 674, 674, 674, 674, 674, 674,
674, 674, 674, 674, 827, 680, 861, 511, 512, 680,
512, 512, 512, 512, 512, 512, 512, 512, 512, 512,
828, 775, 684, 736, 736, 801, 684, 932, 932, 801,
859, 828, 680, 687, 688, 736, 699, 687, 688, 698,
699, 698, 698, 698, 698, 698, 698, 512, 513, 684,
513, 513, 513, 513, 513, 513, 513, 513, 513, 513,
687, 688, 813, 699, 694, 694, 694, 694, 694, 694,
694, 694, 694, 694, 813, 703, 707, 803, 698, 703,
707, 840, 803, 964, 964, 971, 840, 513, 526, 526,
526, 526, 526, 526, 526, 526, 526, 526, 526, 526,
526, 694, 703, 707, 526, 526, 526, 526, 526, 526,
723, 723, 723, 723, 723, 723, 723, 723, 723, 723,
855, 710, 711, 749, 971, 710, 711, 749, 854, 526,
526, 526, 526, 526, 526, 529, 529, 529, 529, 529,
529, 529, 529, 529, 529, 529, 529, 529, 710, 711,
749, 529, 529, 529, 529, 529, 529, 725, 725, 725,
725, 725, 725, 725, 725, 725, 725, 755, 761, 767,
853, 755, 761, 767, 996, 996, 529, 529, 529, 529,
529, 529, 532, 532, 532, 532, 532, 532, 532, 532,
532, 532, 532, 532, 755, 761, 767, 532, 532, 532,
532, 532, 532, 728, 815, 728, 728, 728, 728, 728,
728, 728, 728, 728, 728, 1285, 815, 737, 737, 1006,
1006, 1285, 532, 532, 532, 532, 532, 532, 593, 737,
593, 593, 593, 593, 593, 593, 593, 593, 593, 593,
729, 729, 729, 729, 729, 729, 729, 729, 729, 729,
731, 869, 731, 731, 731, 731, 731, 731, 731, 731,
731, 731, 933, 851, 869, 933, 876, 593, 594, 899,
594, 594, 594, 594, 594, 594, 594, 594, 594, 594,
732, 899, 732, 732, 732, 732, 732, 732, 732, 732,
732, 732, 738, 738, 738, 738, 738, 738, 738, 738,
738, 738, 856, 856, 876, 856, 856, 594, 595, 848,
595, 595, 595, 595, 595, 595, 595, 595, 595, 595,
739, 739, 742, 742, 742, 742, 742, 742, 742, 742,
1040, 1040, 739, 884, 742, 744, 744, 744, 744, 744,
744, 744, 744, 744, 744, 769, 884, 595, 616, 769,
616, 616, 616, 616, 616, 616, 616, 616, 616, 616,
747, 856, 747, 747, 747, 747, 747, 747, 747, 747,
747, 747, 769, 779, 779, 779, 779, 779, 779, 779,
779, 779, 779, 779, 843, 1032, 953, 616, 617, 953,
617, 617, 617, 617, 617, 617, 617, 617, 617, 617,
780, 780, 780, 780, 780, 780, 780, 780, 780, 780,
780, 781, 781, 781, 781, 781, 781, 781, 781, 781,
781, 781, 941, 941, 1032, 941, 941, 617, 623, 623,
623, 623, 623, 623, 623, 623, 623, 623, 623, 1011,
811, 1011, 623, 623, 623, 623, 623, 623, 1036, 805,
805, 805, 805, 805, 805, 805, 805, 805, 805, 809,
809, 809, 809, 809, 809, 809, 810, 623, 623, 623,
623, 623, 623, 633, 633, 633, 633, 633, 633, 633,
633, 633, 633, 633, 633, 633, 805, 1036, 797, 633,
633, 633, 633, 633, 633, 1088, 1118, 809, 812, 812,
812, 812, 812, 812, 812, 812, 812, 812, 821, 821,
821, 821, 821, 821, 633, 633, 633, 633, 633, 633,
636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
636, 636, 636, 791, 1088, 1118, 636, 636, 636, 636,
636, 636, 814, 814, 814, 814, 814, 814, 814, 814,
814, 814, 838, 838, 838, 838, 838, 838, 1134, 1145,
1134, 636, 636, 636, 636, 636, 636, 639, 639, 639,
639, 639, 639, 639, 639, 639, 639, 639, 639, 1137,
790, 1137, 639, 639, 639, 639, 639, 639, 818, 900,
818, 818, 818, 818, 818, 818, 924, 1283, 1145, 1283,
818, 900, 829, 829, 789, 1283, 924, 639, 639, 639,
639, 639, 639, 696, 829, 696, 696, 696, 696, 696,
696, 696, 696, 696, 696, 820, 820, 820, 820, 820,
820, 820, 820, 820, 820, 823, 902, 823, 823, 823,
823, 823, 823, 823, 823, 823, 823, 963, 902, 788,
963, 965, 696, 697, 965, 697, 697, 697, 697, 697,
697, 697, 697, 697, 697, 824, 1161, 824, 824, 824,
824, 824, 824, 824, 824, 824, 824, 825, 916, 825,
825, 825, 825, 825, 825, 825, 825, 825, 825, 916,
787, 786, 697, 717, 717, 717, 717, 717, 717, 717,
717, 717, 717, 717, 826, 1161, 826, 826, 826, 826,
826, 826, 826, 826, 826, 826, 830, 830, 831, 831,
831, 831, 831, 831, 831, 831, 831, 831, 830, 785,
784, 717, 718, 718, 718, 718, 718, 718, 718, 718,
718, 718, 718, 832, 832, 835, 835, 835, 835, 835,
835, 835, 835, 783, 782, 832, 979, 835, 837, 837,
837, 837, 837, 837, 837, 837, 837, 837, 979, 774,
718, 719, 719, 719, 719, 719, 719, 719, 719, 719,
719, 719, 839, 858, 839, 839, 839, 839, 839, 839,
839, 839, 839, 839, 773, 917, 845, 849, 850, 980,
845, 849, 850, 771, 754, 858, 917, 858, 858, 719,
724, 980, 724, 724, 724, 724, 724, 724, 724, 724,
724, 724, 724, 845, 849, 850, 724, 724, 724, 724,
724, 724, 858, 860, 860, 860, 860, 860, 860, 860,
860, 860, 860, 929, 845, 849, 850, 929, 1012, 730,
1012, 724, 724, 724, 724, 724, 724, 727, 727, 727,
727, 727, 727, 727, 727, 727, 727, 727, 722, 721,
929, 727, 727, 727, 727, 727, 727, 862, 862, 862,
862, 862, 862, 862, 862, 862, 862, 862, 864, 864,
864, 864, 864, 864, 864, 720, 727, 727, 727, 727,
727, 727, 740, 740, 740, 740, 740, 740, 740, 740,
740, 740, 740, 740, 740, 715, 1012, 714, 740, 740,
740, 740, 740, 740, 863, 863, 863, 863, 863, 863,
863, 863, 863, 863, 863, 868, 872, 873, 713, 868,
872, 873, 712, 740, 740, 740, 740, 740, 740, 743,
743, 743, 743, 743, 743, 743, 743, 743, 743, 743,
743, 743, 868, 872, 873, 743, 743, 743, 743, 743,
743, 875, 875, 875, 875, 875, 875, 875, 875, 875,
875, 709, 883, 868, 872, 873, 883, 942, 708, 942,
743, 743, 743, 743, 743, 743, 746, 746, 746, 746,
746, 746, 746, 746, 746, 746, 746, 705, 875, 883,
704, 746, 746, 746, 746, 746, 746, 994, 879, 879,
879, 879, 879, 879, 879, 934, 1279, 1279, 994, 934,
883, 918, 918, 1279, 982, 1049, 746, 746, 746, 746,
746, 746, 751, 918, 936, 751, 982, 1049, 936, 702,
942, 751, 934, 701, 751, 751, 879, 751, 751, 751,
751, 751, 751, 751, 751, 751, 751, 751, 751, 751,
700, 936, 686, 751, 751, 751, 751, 751, 751, 751,
751, 751, 751, 751, 751, 751, 751, 751, 751, 751,
751, 751, 751, 751, 751, 751, 751, 751, 751, 751,
751, 751, 751, 751, 751, 751, 751, 751, 751, 751,
751, 751, 751, 751, 751, 751, 792, 792, 792, 792,
792, 792, 792, 792, 792, 792, 792, 895, 685, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 887,
888, 1050, 682, 887, 888, 908, 908, 908, 908, 908,
908, 681, 679, 1050, 792, 793, 793, 793, 793, 793,
793, 793, 793, 793, 793, 793, 887, 888, 896, 678,
896, 896, 896, 896, 896, 896, 896, 896, 896, 896,
1009, 1009, 677, 1009, 1009, 944, 672, 887, 888, 944,
944, 944, 944, 793, 794, 794, 794, 794, 794, 794,
794, 794, 794, 794, 794, 897, 940, 897, 897, 897,
897, 897, 897, 897, 897, 897, 897, 901, 901, 901,
901, 901, 901, 901, 901, 901, 901, 666, 940, 1052,
940, 940, 794, 795, 951, 1099, 795, 665, 951, 944,
663, 1052, 795, 662, 661, 795, 795, 1099, 795, 795,
795, 795, 795, 795, 795, 795, 795, 795, 795, 795,
795, 951, 660, 642, 795, 795, 795, 795, 795, 795,
795, 795, 795, 795, 795, 795, 795, 795, 795, 795,
795, 795, 795, 795, 795, 795, 795, 795, 795, 795,
795, 795, 795, 795, 795, 795, 795, 795, 795, 795,
795, 795, 795, 795, 795, 795, 795, 807, 807, 807,
807, 807, 807, 807, 807, 807, 807, 807, 905, 622,
905, 905, 905, 905, 905, 905, 1104, 1104, 1104, 1104,
905, 907, 907, 907, 907, 907, 907, 907, 907, 907,
907, 1197, 1197, 1197, 621, 807, 808, 808, 808, 808,
808, 808, 808, 808, 808, 808, 808, 910, 620, 910,
910, 910, 910, 910, 910, 910, 910, 910, 910, 911,
911, 911, 911, 911, 911, 911, 911, 911, 911, 1072,
1072, 619, 1072, 1072, 808, 816, 608, 816, 816, 816,
816, 816, 816, 816, 816, 816, 816, 816, 819, 607,
819, 819, 819, 819, 819, 819, 819, 819, 819, 819,
819, 1221, 1221, 1221, 819, 819, 819, 819, 819, 819,
913, 606, 913, 913, 913, 913, 913, 913, 913, 913,
913, 913, 988, 988, 988, 988, 988, 988, 605, 819,
819, 819, 819, 819, 819, 822, 822, 822, 822, 822,
822, 822, 822, 822, 822, 822, 604, 603, 602, 822,
822, 822, 822, 822, 822, 914, 601, 914, 914, 914,
914, 914, 914, 914, 914, 914, 914, 998, 1001, 600,
599, 998, 1001, 598, 822, 822, 822, 822, 822, 822,
833, 833, 833, 833, 833, 833, 833, 833, 833, 833,
833, 833, 833, 597, 998, 1001, 833, 833, 833, 833,
833, 833, 915, 596, 915, 915, 915, 915, 915, 915,
923, 923, 923, 923, 923, 923, 923, 923, 587, 586,
585, 833, 833, 833, 833, 833, 833, 836, 836, 836,
836, 836, 836, 836, 836, 836, 836, 836, 836, 584,
583, 582, 581, 836, 836, 836, 836, 836, 836, 1027,
580, 579, 1066, 1027, 925, 927, 1066, 1079, 925, 927,
976, 1079, 976, 976, 976, 976, 976, 976, 836, 836,
836, 836, 836, 836, 841, 1228, 1027, 841, 1228, 1066,
1228, 925, 927, 841, 1079, 578, 841, 841, 577, 841,
841, 841, 841, 841, 841, 841, 841, 841, 841, 841,
841, 841, 925, 927, 576, 841, 841, 841, 841, 841,
841, 841, 841, 841, 841, 841, 841, 841, 841, 841,
841, 841, 841, 841, 841, 841, 841, 841, 841, 841,
841, 841, 841, 841, 841, 841, 841, 841, 841, 841,
841, 841, 841, 841, 841, 841, 841, 841, 865, 575,
574, 573, 865, 865, 865, 865, 865, 865, 865, 865,
865, 865, 865, 565, 865, 564, 563, 865, 865, 865,
865, 865, 865, 865, 865, 865, 865, 865, 865, 865,
865, 865, 865, 865, 865, 865, 865, 865, 865, 865,
555, 865, 865, 865, 865, 865, 865, 865, 865, 865,
865, 865, 865, 865, 865, 865, 865, 865, 865, 877,
877, 877, 877, 877, 877, 877, 877, 877, 877, 877,
945, 520, 519, 518, 945, 945, 945, 945, 946, 517,
946, 946, 946, 946, 946, 946, 946, 946, 946, 946,
1058, 1058, 1058, 1058, 1058, 1058, 515, 877, 878, 878,
878, 878, 878, 878, 878, 878, 878, 878, 878, 947,
514, 947, 947, 947, 947, 947, 947, 947, 947, 947,
947, 506, 505, 948, 945, 948, 948, 948, 948, 948,
948, 948, 948, 948, 948, 504, 878, 880, 1018, 1244,
880, 1018, 1244, 503, 1244, 502, 880, 1018, 1018, 880,
880, 1018, 880, 880, 880, 880, 880, 880, 880, 880,
880, 880, 880, 880, 880, 1018, 1018, 1018, 880, 880,
880, 880, 880, 880, 880, 880, 880, 880, 880, 880,
880, 880, 880, 880, 880, 880, 880, 880, 880, 880,
880, 880, 880, 880, 880, 880, 880, 880, 880, 880,
880, 880, 880, 880, 880, 880, 880, 880, 880, 880,
880, 890, 501, 890, 890, 890, 890, 890, 890, 890,
890, 890, 890, 949, 500, 949, 949, 949, 949, 949,
949, 949, 949, 949, 949, 499, 950, 960, 961, 498,
950, 960, 961, 1063, 1063, 1063, 1063, 1063, 1063, 1063,
890, 891, 495, 891, 891, 891, 891, 891, 891, 891,
891, 891, 891, 950, 960, 961, 966, 966, 966, 966,
966, 966, 966, 966, 966, 966, 970, 494, 970, 970,
970, 970, 970, 970, 950, 960, 961, 492, 481, 480,
891, 892, 479, 892, 892, 892, 892, 892, 892, 892,
892, 892, 892, 966, 972, 972, 972, 972, 972, 972,
972, 972, 972, 972, 974, 970, 974, 974, 974, 974,
974, 974, 974, 974, 974, 974, 1194, 1194, 478, 477,
892, 893, 1194, 893, 893, 893, 893, 893, 893, 893,
893, 893, 893, 975, 476, 975, 975, 975, 975, 975,
975, 975, 975, 975, 975, 981, 981, 981, 981, 981,
981, 981, 981, 981, 981, 1110, 1110, 475, 1110, 1110,
893, 903, 474, 903, 903, 903, 903, 903, 903, 903,
903, 903, 903, 903, 906, 473, 906, 906, 906, 906,
906, 906, 906, 906, 906, 906, 906, 470, 469, 462,
906, 906, 906, 906, 906, 906, 985, 455, 985, 985,
985, 985, 985, 985, 454, 1003, 1105, 1107, 985, 1003,
1105, 1107, 453, 452, 451, 906, 906, 906, 906, 906,
906, 909, 909, 909, 909, 909, 909, 909, 909, 909,
909, 909, 1003, 1105, 1107, 909, 909, 909, 909, 909,
909, 987, 987, 987, 987, 987, 987, 987, 987, 987,
987, 450, 1025, 1003, 1025, 1025, 1025, 1025, 1025, 1025,
909, 909, 909, 909, 909, 909, 921, 921, 921, 921,
921, 921, 921, 921, 921, 921, 921, 921, 956, 445,
956, 956, 956, 956, 956, 956, 956, 956, 956, 956,
990, 442, 990, 990, 990, 990, 990, 990, 990, 990,
990, 990, 991, 991, 991, 991, 991, 991, 991, 991,
991, 991, 991, 1215, 1215, 414, 413, 956, 957, 1215,
957, 957, 957, 957, 957, 957, 957, 957, 957, 957,
992, 992, 992, 992, 992, 992, 992, 992, 992, 992,
992, 993, 993, 993, 993, 993, 993, 993, 993, 993,
993, 993, 1116, 1216, 1216, 410, 1116, 957, 958, 1216,
958, 958, 958, 958, 958, 958, 958, 958, 958, 958,
1013, 409, 397, 396, 1013, 1013, 1013, 1013, 1014, 1116,
395, 394, 1014, 1014, 1014, 1014, 1021, 1021, 1021, 1021,
1021, 1021, 1021, 1021, 1021, 1021, 393, 958, 959, 392,
959, 959, 959, 959, 959, 959, 959, 959, 959, 959,
1015, 391, 1237, 1237, 1015, 1015, 1015, 1015, 1237, 1135,
1135, 1016, 1135, 1135, 1013, 1016, 1016, 1016, 1016, 1239,
1239, 390, 1014, 1240, 1240, 1239, 389, 959, 968, 1240,
968, 968, 968, 968, 968, 968, 968, 968, 968, 968,
1017, 388, 387, 1017, 1017, 1017, 1017, 1017, 1017, 1017,
1017, 1017, 1017, 386, 1015, 1019, 385, 1241, 1241, 1019,
1019, 1019, 1019, 1241, 384, 1016, 381, 968, 969, 375,
969, 969, 969, 969, 969, 969, 969, 969, 969, 969,
1023, 373, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023,
1023, 1023, 1024, 372, 1024, 1024, 1024, 1024, 1024, 1024,
1024, 1024, 1024, 1024, 371, 370, 369, 969, 983, 1019,
983, 983, 983, 983, 983, 983, 983, 983, 983, 983,
983, 986, 368, 986, 986, 986, 986, 986, 986, 986,
986, 986, 986, 986, 367, 366, 365, 986, 986, 986,
986, 986, 986, 1031, 1031, 1031, 1031, 1031, 1031, 1031,
1031, 1031, 1031, 1035, 364, 1035, 1035, 1035, 1035, 1035,
1035, 363, 986, 986, 986, 986, 986, 986, 989, 989,
989, 989, 989, 989, 989, 989, 989, 989, 362, 361,
1031, 360, 989, 989, 989, 989, 989, 989, 1020, 1245,
1245, 1020, 1035, 1246, 1246, 1245, 357, 1020, 1020, 1246,
1260, 1020, 346, 1260, 342, 1260, 341, 989, 989, 989,
989, 989, 989, 1247, 1247, 1020, 1020, 1020, 1033, 1247,
1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033,
340, 339, 1037, 335, 334, 1044, 1037, 1044, 1044, 1044,
1044, 1044, 1044, 1044, 1044, 1044, 1044, 1051, 1051, 1051,
1051, 1051, 1051, 1051, 1051, 1051, 1051, 1033, 1034, 1037,
1034, 1034, 1034, 1034, 1034, 1034, 1034, 1034, 1034, 1034,
1096, 333, 1096, 1096, 1096, 1096, 1096, 1096, 332, 1045,
1037, 1045, 1045, 1045, 1045, 1045, 1045, 1045, 1045, 1045,
1045, 1152, 1152, 1152, 1152, 1152, 1152, 1034, 1041, 331,
1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041,
1046, 330, 1046, 1046, 1046, 1046, 1046, 1046, 1046, 1046,
1046, 1046, 1055, 328, 1055, 1055, 1055, 1055, 1055, 1055,
1250, 1250, 327, 326, 1055, 325, 1250, 1041, 1042, 324,
1042, 1042, 1042, 1042, 1042, 1042, 1042, 1042, 1042, 1042,
1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057,
1059, 323, 1059, 1059, 1059, 1059, 1059, 1059, 1059, 1059,
1059, 1059, 322, 1251, 1251, 321, 320, 1042, 1043, 1251,
1043, 1043, 1043, 1043, 1043, 1043, 1043, 1043, 1043, 1043,
1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061,
1061, 1062, 1062, 1062, 1062, 1062, 1062, 1062, 1062, 1062,
1062, 1062, 319, 1252, 1252, 318, 317, 1043, 1053, 1252,
1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053,
1053, 1056, 316, 1056, 1056, 1056, 1056, 1056, 1056, 1056,
1056, 1056, 1056, 314, 307, 306, 292, 1056, 1056, 1056,
1056, 1056, 1056, 1068, 1069, 291, 289, 1068, 1069, 1073,
1073, 1073, 1073, 1073, 1073, 1073, 1073, 1073, 1073, 288,
287, 286, 1056, 1056, 1056, 1056, 1056, 1056, 285, 284,
1068, 1069, 1074, 1074, 1074, 1074, 1074, 1074, 1074, 1074,
1074, 1074, 1115, 278, 1115, 1115, 1115, 1115, 1115, 1115,
274, 1068, 1069, 1075, 271, 1075, 1075, 1075, 1075, 1075,
1075, 1075, 1075, 1075, 1075, 1076, 269, 1076, 1076, 1076,
1076, 1076, 1076, 1076, 1076, 1076, 1076, 1077, 267, 1077,
1077, 1077, 1077, 1077, 1077, 1077, 1077, 1077, 1077, 1078,
264, 1084, 263, 1078, 1091, 1084, 1091, 1091, 1091, 1091,
1091, 1091, 1085, 1109, 1122, 1132, 1085, 1109, 1122, 1132,
1179, 1179, 1179, 1179, 1179, 1179, 1078, 262, 1084, 1087,
1087, 1087, 1087, 1087, 1087, 1087, 1087, 1087, 1087, 1085,
1109, 1122, 1132, 1091, 261, 260, 258, 1078, 1081, 1084,
1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
1085, 1109, 1122, 257, 256, 255, 1087, 1092, 1092, 1092,
1092, 1092, 1092, 1092, 1092, 1092, 1092, 1111, 1111, 1111,
1111, 1111, 1111, 1111, 1111, 1111, 1111, 1081, 1082, 254,
1082, 1082, 1082, 1082, 1082, 1082, 1082, 1082, 1082, 1082,
1094, 252, 1094, 1094, 1094, 1094, 1094, 1094, 1094, 1094,
1094, 1094, 1095, 246, 1095, 1095, 1095, 1095, 1095, 1095,
1095, 1095, 1095, 1095, 238, 234, 229, 1082, 1083, 228,
1083, 1083, 1083, 1083, 1083, 1083, 1083, 1083, 1083, 1083,
1102, 226, 1102, 1102, 1102, 1102, 1102, 1102, 1102, 1102,
1102, 1102, 1113, 222, 1113, 1113, 1113, 1113, 1113, 1113,
1113, 1113, 1113, 1113, 217, 215, 210, 1083, 1089, 198,
1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089,
1114, 197, 1114, 1114, 1114, 1114, 1114, 1114, 1114, 1114,
1114, 1114, 1117, 1117, 1117, 1117, 1117, 1117, 1117, 1117,
1117, 1117, 196, 1255, 1255, 195, 194, 1089, 1090, 1255,
1090, 1090, 1090, 1090, 1090, 1090, 1090, 1090, 1090, 1090,
186, 1121, 185, 1121, 1121, 1121, 1121, 1121, 1121, 1117,
1126, 1126, 1126, 1126, 1126, 1126, 1126, 1126, 1126, 1126,
1256, 1256, 184, 1262, 1262, 183, 1256, 1090, 1119, 1262,
1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119,
1121, 1127, 1127, 1127, 1127, 1127, 1127, 1127, 1127, 1127,
1127, 1128, 1128, 1128, 1128, 1128, 1128, 1128, 1128, 1128,
1128, 1267, 182, 181, 1267, 179, 1267, 1119, 1120, 178,
1120, 1120, 1120, 1120, 1120, 1120, 1120, 1120, 1120, 1120,
1138, 177, 1138, 1138, 1138, 1138, 1138, 1138, 1138, 1138,
1138, 1138, 1139, 176, 1139, 1139, 1139, 1139, 1139, 1139,
1139, 1139, 1139, 1139, 175, 174, 173, 1120, 1123, 172,
1123, 1123, 1123, 1123, 1123, 1123, 1123, 1123, 1123, 1123,
1140, 171, 1140, 1140, 1140, 1140, 1140, 1140, 1140, 1140,
1140, 1140, 1144, 1144, 1144, 1144, 1144, 1144, 1144, 1144,
1144, 1144, 166, 1270, 1270, 162, 161, 1123, 1124, 1270,
1124, 1124, 1124, 1124, 1124, 1124, 1124, 1124, 1124, 1124,
157, 1148, 154, 1148, 1148, 1148, 1148, 1148, 1148, 1144,
1150, 1150, 1150, 1150, 1150, 1150, 1150, 1150, 1150, 1150,
1277, 1277, 150, 1280, 1280, 147, 1277, 1124, 1125, 1280,
1125, 1125, 1125, 1125, 1125, 1125, 1125, 1125, 1125, 1125,
1148, 1151, 1151, 1151, 1151, 1151, 1151, 1151, 1151, 1151,
1151, 1155, 1155, 1155, 1155, 1155, 1155, 1155, 1155, 1155,
1155, 144, 140, 1282, 1282, 136, 135, 1125, 1141, 1282,
1141, 1141, 1141, 1141, 1141, 1141, 1141, 1141, 1141, 1141,
1157, 134, 1157, 1157, 1157, 1157, 1157, 1157, 1157, 1157,
1157, 1157, 1158, 133, 1158, 1158, 1158, 1158, 1158, 1158,
1158, 1158, 1158, 1158, 132, 131, 127, 1141, 1142, 121,
1142, 1142, 1142, 1142, 1142, 1142, 1142, 1142, 1142, 1142,
1159, 119, 1159, 1159, 1159, 1159, 1159, 1159, 1160, 1160,
1160, 1160, 1160, 1160, 1160, 1160, 1160, 1160, 1164, 115,
1164, 1164, 1164, 1164, 1164, 1164, 111, 1142, 1143, 110,
1143, 1143, 1143, 1143, 1143, 1143, 1143, 1143, 1143, 1143,
109, 108, 107, 106, 102, 1160, 1165, 1165, 1165, 1165,
1165, 1165, 1165, 1165, 1165, 1165, 89, 1164, 82, 75,
74, 70, 69, 68, 63, 61, 52, 1143, 1146, 51,
1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146,
49, 48, 46, 1165, 1166, 1166, 1166, 1166, 1166, 1166,
1166, 1166, 1166, 1166, 1167, 1167, 1167, 1167, 1167, 1167,
1167, 1167, 1167, 1167, 41, 36, 30, 1146, 1147, 24,
1147, 1147, 1147, 1147, 1147, 1147, 1147, 1147, 1147, 1147,
23, 1166, 20, 19, 0, 0, 0, 0, 0, 0,
0, 1167, 1168, 1168, 1168, 1168, 1168, 1168, 1168, 1168,
1168, 1168, 0, 0, 0, 0, 0, 1147, 1162, 0,
1162, 1162, 1162, 1162, 1162, 1162, 1162, 1162, 1162, 1162,
1169, 1169, 1169, 1169, 1169, 1169, 1169, 1169, 1169, 1169,
1170, 1170, 1170, 1170, 1170, 1170, 1170, 1170, 1170, 1170,
0, 0, 0, 0, 0, 0, 0, 1162, 1163, 0,
1163, 1163, 1163, 1163, 1163, 1163, 1163, 1163, 1163, 1163,
1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171,
1172, 1172, 1172, 1172, 1172, 1172, 1172, 1172, 1172, 1172,
0, 0, 0, 0, 0, 0, 0, 1163, 0, 0,
0, 1176, 1176, 1176, 1176, 1176, 1176, 1171, 0, 0,
0, 0, 0, 0, 0, 0, 0, 1172, 1173, 1173,
1173, 1173, 1173, 1173, 1173, 1173, 1173, 1173, 1175, 1175,
1175, 1175, 1175, 1175, 1175, 1175, 1175, 1175, 1176, 1178,
1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1182,
1182, 1182, 1182, 1182, 1182, 1173, 0, 0, 0, 0,
0, 0, 0, 0, 0, 1175, 1181, 1181, 1181, 1181,
1181, 1181, 1181, 1181, 1181, 1181, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 1182, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 1181, 1184, 1184, 1184, 1184, 1184, 1184,
1184, 1184, 1184, 1184, 1184, 1184, 1184, 1184, 1184, 1184,
1184, 1184, 1184, 1184, 1185, 1185, 1185, 1185, 1185, 1185,
1185, 1185, 1185, 1185, 1185, 1185, 1185, 1185, 1185, 1185,
1185, 1185, 1185, 1185, 1186, 1186, 1186, 1186, 1186, 1186,
1186, 1186, 1186, 1186, 1186, 1186, 1186, 1186, 1186, 1186,
1186, 1186, 1186, 1186, 1187, 1187, 1187, 1187, 1187, 1187,
1187, 1187, 1187, 1187, 1187, 1187, 1187, 1187, 1187, 1187,
1187, 1187, 1187, 1187, 1188, 1188, 1188, 1188, 1188, 1188,
1188, 1188, 1188, 1188, 1188, 1188, 1188, 1188, 1188, 1188,
1188, 1188, 1188, 1188, 1189, 0, 0, 1189, 0, 0,
0, 0, 1189, 0, 1189, 1189, 1189, 0, 0, 1189,
1189, 1189, 1189, 1189, 1190, 1190, 1190, 1190, 1190, 1190,
1190, 1190, 1190, 1190, 1190, 1190, 1190, 1190, 1190, 1190,
1190, 1190, 1190, 1190, 1191, 0, 0, 1191, 0, 0,
1191, 0, 1191, 0, 1191, 1191, 1191, 1191, 0, 1191,
1191, 1191, 1191, 1191, 1192, 0, 0, 1192, 0, 0,
0, 0, 1192, 0, 1192, 1192, 1192, 0, 0, 1192,
1192, 1192, 1192, 1192, 1193, 0, 0, 1193, 1193, 1193,
0, 1193, 1193, 0, 1193, 1193, 1193, 0, 0, 1193,
1193, 1193, 1193, 1193, 1195, 0, 0, 1195, 1195, 1195,
0, 1195, 1195, 0, 1195, 1195, 1195, 0, 0, 1195,
1195, 1195, 1195, 1195, 1196, 0, 0, 1196, 1196, 1196,
0, 1196, 1196, 0, 1196, 1196, 1196, 0, 1196, 1196,
0, 1196, 1196, 1196, 1198, 0, 0, 1198, 1198, 0,
0, 1198, 1198, 0, 1198, 1198, 1198, 1198, 0, 1198,
1198, 1198, 1198, 1198, 1199, 1199, 1199, 1199, 1199, 1199,
1199, 1199, 1199, 1199, 1199, 1199, 1199, 1199, 1199, 1199,
1199, 1199, 1199, 1199, 1200, 1200, 0, 1200, 1200, 0,
1200, 1200, 1200, 1200, 1200, 1200, 1200, 1200, 1200, 1200,
1200, 1200, 1200, 1200, 1201, 0, 0, 1201, 0, 0,
1201, 0, 1201, 0, 1201, 1201, 1201, 1201, 0, 1201,
1201, 1201, 1201, 1201, 1202, 0, 0, 1202, 0, 0,
0, 0, 1202, 0, 1202, 1202, 1202, 0, 1202, 1202,
1202, 1202, 1202, 1202, 1203, 0, 0, 1203, 1203, 1203,
0, 1203, 1203, 0, 1203, 1203, 1203, 0, 1203, 1203,
1203, 1203, 1203, 1203, 1204, 0, 0, 0, 1204, 1204,
1204, 1204, 1204, 1204, 1204, 1204, 1204, 1204, 1204, 1204,
1204, 1204, 1204, 1204, 1205, 0, 0, 1205, 0, 0,
0, 0, 1205, 0, 1205, 1205, 1205, 0, 0, 1205,
1205, 1205, 1205, 1205, 1206, 0, 0, 1206, 0, 0,
1206, 0, 1206, 0, 1206, 1206, 1206, 1206, 0, 1206,
1206, 1206, 1206, 1206, 1207, 0, 0, 1207, 0, 0,
0, 0, 1207, 0, 1207, 1207, 1207, 0, 0, 1207,
1207, 1207, 1207, 1207, 1208, 0, 0, 1208, 1208, 1208,
0, 1208, 1208, 0, 1208, 1208, 1208, 0, 0, 1208,
1208, 1208, 1208, 1208, 1209, 1209, 1209, 1209, 1209, 1209,
1209, 1209, 1209, 1209, 1209, 1209, 1209, 1209, 1209, 1209,
1209, 1209, 1209, 1209, 1210, 1210, 0, 1210, 1210, 1210,
1210, 1210, 1210, 1210, 1210, 1210, 1210, 1210, 1210, 1210,
1210, 1210, 1210, 1210, 1211, 0, 0, 1211, 0, 0,
0, 0, 1211, 0, 1211, 1211, 1211, 0, 0, 1211,
1211, 1211, 1211, 1211, 1212, 0, 0, 1212, 0, 0,
0, 0, 1212, 0, 1212, 1212, 1212, 0, 0, 1212,
1212, 1212, 1212, 1212, 1213, 0, 0, 1213, 1213, 1213,
0, 1213, 1213, 0, 1213, 1213, 1213, 0, 0, 1213,
1213, 1213, 1213, 1213, 1214, 0, 0, 1214, 1214, 1214,
0, 1214, 1214, 0, 1214, 1214, 1214, 0, 0, 1214,
1214, 1214, 1214, 1214, 1217, 1217, 1217, 0, 0, 0,
0, 1217, 1218, 0, 0, 1218, 1218, 1218, 0, 1218,
1218, 0, 1218, 1218, 1218, 0, 0, 1218, 1218, 1218,
1218, 1218, 1219, 0, 0, 1219, 1219, 1219, 0, 1219,
1219, 0, 1219, 1219, 1219, 0, 0, 1219, 1219, 1219,
1219, 1219, 1220, 0, 0, 1220, 1220, 1220, 0, 1220,
1220, 0, 1220, 1220, 1220, 0, 1220, 1220, 0, 1220,
1220, 1220, 1222, 0, 0, 1222, 1222, 0, 0, 1222,
1222, 0, 1222, 1222, 1222, 1222, 0, 1222, 1222, 1222,
1222, 1222, 1223, 1223, 0, 1223, 1223, 0, 1223, 1223,
1223, 1223, 1223, 1223, 1223, 1223, 1223, 1223, 1223, 1223,
1223, 1223, 1224, 0, 0, 1224, 0, 0, 0, 0,
1224, 0, 1224, 1224, 1224, 0, 0, 1224, 1224, 1224,
1224, 1224, 1225, 0, 0, 1225, 0, 0, 0, 0,
1225, 0, 1225, 1225, 1225, 0, 1225, 1225, 1225, 1225,
1225, 1225, 1226, 0, 0, 1226, 1226, 0, 1226, 1226,
0, 0, 1226, 1226, 1227, 0, 0, 1227, 1227, 1227,
0, 1227, 1227, 0, 1227, 1227, 1227, 0, 1227, 1227,
1227, 1227, 1227, 1227, 1229, 0, 0, 0, 1229, 1229,
1229, 1229, 1229, 1229, 1229, 1229, 1229, 1229, 1229, 1229,
1229, 1229, 1229, 1229, 1230, 0, 0, 1230, 0, 0,
0, 0, 1230, 0, 1230, 1230, 1230, 0, 0, 1230,
1230, 1230, 1230, 1230, 1231, 0, 0, 1231, 0, 0,
0, 0, 1231, 0, 1231, 1231, 1231, 0, 0, 1231,
1231, 1231, 1231, 1231, 1232, 0, 0, 1232, 0, 0,
0, 0, 1232, 0, 1232, 1232, 1232, 0, 0, 1232,
1232, 1232, 1232, 1232, 1233, 0, 0, 1233, 1233, 1233,
0, 1233, 1233, 0, 1233, 1233, 1233, 0, 0, 1233,
1233, 1233, 1233, 1233, 1234, 0, 0, 1234, 1234, 1234,
0, 1234, 1234, 0, 1234, 1234, 1234, 0, 0, 1234,
1234, 1234, 1234, 1234, 1235, 1235, 1235, 1235, 1235, 1235,
1235, 1235, 1235, 1235, 1235, 1235, 1235, 1235, 1235, 1235,
1235, 1235, 1235, 1235, 1236, 1236, 1236, 1236, 1236, 1236,
1236, 1236, 1236, 1236, 1236, 1236, 1236, 1236, 1236, 1236,
1236, 1236, 1236, 1236, 1238, 1238, 1238, 0, 0, 0,
0, 1238, 1242, 1242, 1242, 0, 0, 0, 0, 1242,
1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,
1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,
1248, 1248, 1248, 0, 0, 0, 0, 1248, 1249, 1249,
1249, 1249, 0, 0, 0, 0, 1249, 1253, 1253, 1253,
0, 0, 0, 0, 1253, 1254, 1254, 1254, 1254, 0,
0, 0, 0, 1254, 1257, 1257, 1257, 0, 0, 0,
0, 1257, 1258, 1258, 1258, 1258, 0, 0, 0, 0,
1258, 1259, 1259, 1259, 1259, 1259, 1259, 1259, 1259, 1259,
1259, 1259, 1259, 1259, 1259, 1259, 1259, 1259, 1259, 1259,
1259, 1261, 0, 0, 1261, 1261, 0, 1261, 1261, 0,
0, 1261, 1261, 1263, 0, 1263, 1263, 0, 0, 0,
0, 1263, 1264, 1264, 1264, 0, 0, 0, 0, 1264,
1265, 1265, 1265, 1265, 0, 0, 0, 0, 1265, 1266,
1266, 1266, 1266, 1266, 1266, 1266, 1266, 1266, 1266, 1266,
1266, 1266, 1266, 1266, 1266, 1266, 1266, 1266, 1266, 1268,
0, 0, 1268, 1268, 0, 1268, 1268, 0, 0, 1268,
1268, 1269, 0, 0, 1269, 0, 0, 0, 0, 1269,
0, 1269, 1269, 1269, 0, 0, 1269, 1269, 1269, 1269,
1269, 1271, 0, 1271, 1271, 0, 0, 0, 0, 1271,
1272, 1272, 1272, 0, 0, 0, 0, 1272, 1273, 1273,
1273, 0, 0, 0, 0, 0, 1273, 1274, 1274, 1274,
1274, 1274, 1274, 1274, 1274, 1274, 1274, 1274, 1274, 1274,
1274, 1274, 1274, 1274, 1274, 1274, 1274, 1275, 1275, 0,
1275, 1275, 1275, 1275, 0, 1275, 0, 1275, 1275, 1275,
0, 0, 1275, 1275, 1275, 1275, 1275, 1276, 1276, 0,
1276, 1276, 1276, 1276, 0, 1276, 0, 1276, 1276, 1276,
0, 0, 1276, 1276, 1276, 1276, 1276, 1278, 0, 1278,
1278, 0, 0, 0, 0, 1278, 1281, 0, 1281, 1281,
0, 0, 0, 0, 1281, 1284, 1284, 1284, 1284, 1284,
1284, 1284, 1284, 1284, 1284, 1284, 1284, 1284, 1284, 1284,
1284, 1284, 1284, 1284, 1284, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183
} ;
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-2021
* 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>
#include <string.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
// PVS Studio suppression
// -V::519, 1004, 1037
int sudolineno; /* current sudoers line number. */
char *sudoers; /* sudoers file being parsed. */
char *sudoers_errstr; /* description of last error from lexer. */
struct sudolinebuf sudolinebuf; /* sudoers line 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 pop_include(void);
static yy_size_t sudoers_input(char *buf, yy_size_t max_size);
#ifndef TRACELEXER
static struct sudo_lbuf trace_lbuf;
#endif
int (*trace_print)(const char *msg) = sudoers_trace_print;
#define ECHO ignore_result(fwrite(sudoerstext, sudoersleng, 1, sudoersout))
#define YY_INPUT(buf, result, max_size) (result) = sudoers_input(buf, max_size)
#define YY_USER_ACTION do { \
sudolinebuf.toke_start = sudolinebuf.toke_end; \
sudolinebuf.toke_end += sudoersleng; \
} while (0);
#define sudoersless(n) do { \
sudolinebuf.toke_end = sudolinebuf.toke_start + (n); \
yyless(n); \
} while (0);
#define YY_NO_INPUT 1
#line 2819 "toke.c"
#define INITIAL 0
#define GOTDEFS 1
#define GOTCMND 2
#define STARTDEFS 3
#define INDEFS 4
#define INSTR 5
#define WANTDIGEST 6
#define GOTINC 7
#define EXPECTPATH 8
#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 122 "toke.l"
#line 3041 "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 >= 1184 )
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] != 8226 );
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 123 "toke.l"
{
LEXTRACE(", ");
return ',';
} /* return ',' */
YY_BREAK
case 2:
YY_RULE_SETUP
#line 128 "toke.l"
BEGIN STARTDEFS;
YY_BREAK
case 3:
YY_RULE_SETUP
#line 130 "toke.l"
{
BEGIN INDEFS;
LEXTRACE("DEFVAR ");
if (!fill(sudoerstext, sudoersleng))
yyterminate();
return DEFVAR;
}
YY_BREAK
case 4:
YY_RULE_SETUP
#line 139 "toke.l"
{
BEGIN STARTDEFS;
LEXTRACE(", ");
return ',';
} /* return ',' */
YY_BREAK
case 5:
YY_RULE_SETUP
#line 145 "toke.l"
{
LEXTRACE("= ");
return '=';
} /* return '=' */
YY_BREAK
case 6:
YY_RULE_SETUP
#line 150 "toke.l"
{
LEXTRACE("+= ");
return '+';
} /* return '+' */
YY_BREAK
case 7:
YY_RULE_SETUP
#line 155 "toke.l"
{
LEXTRACE("-= ");
return '-';
} /* return '-' */
YY_BREAK
case 8:
YY_RULE_SETUP
#line 160 "toke.l"
{
LEXTRACE("BEGINSTR ");
sudoerslval.string = NULL;
prev_state = YY_START;
BEGIN INSTR;
}
YY_BREAK
case 9:
YY_RULE_SETUP
#line 167 "toke.l"
{
LEXTRACE("WORD(2) ");
if (!fill(sudoerstext, sudoersleng))
yyterminate();
return WORD;
}
YY_BREAK
case 10:
/* rule 10 can match eol */
YY_RULE_SETUP
#line 176 "toke.l"
{
/* Line continuation char followed by newline. */
sudolineno++;
continued = true;
}
YY_BREAK
case 11:
YY_RULE_SETUP
#line 182 "toke.l"
{
LEXTRACE("ENDSTR ");
BEGIN prev_state;
if (sudoerslval.string == NULL) {
sudoers_errstr = N_("empty string");
LEXTRACE("ERROR ");
return 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')) {
parser_leak_remove(LEAK_PTR, sudoerslval.string);
free(sudoerslval.string);
sudoers_errstr = N_("empty group");
LEXTRACE("ERROR ");
return ERROR;
}
LEXTRACE("USERGROUP ");
return USERGROUP;
case '+':
if (sudoerslval.string[1] == '\0') {
parser_leak_remove(LEAK_PTR, sudoerslval.string);
free(sudoerslval.string);
sudoers_errstr = N_("empty netgroup");
LEXTRACE("ERROR ");
return ERROR;
}
LEXTRACE("NETGROUP ");
return NETGROUP;
}
}
LEXTRACE("WORD(4) ");
return WORD;
}
YY_BREAK
case 12:
YY_RULE_SETUP
#line 221 "toke.l"
{
LEXTRACE("BACKSLASH ");
if (!append(sudoerstext, sudoersleng))
yyterminate();
}
YY_BREAK
case 13:
YY_RULE_SETUP
#line 227 "toke.l"
{
LEXTRACE("STRBODY ");
if (!append(sudoerstext, sudoersleng))
yyterminate();
}
YY_BREAK
case 14:
YY_RULE_SETUP
#line 235 "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 243 "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 251 "toke.l"
{
BEGIN INITIAL;
sudoersless(0);
yy_set_bol(0);
return COMMAND;
} /* end of command line args */
YY_BREAK
case 17:
YY_RULE_SETUP
#line 258 "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 266 "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 ");
return DIGEST;
}
BEGIN INITIAL;
sudoersless(sudoersleng);
} /* hex digest */
YY_BREAK
case 19:
YY_RULE_SETUP
#line 281 "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 ");
return DIGEST;
}
BEGIN INITIAL;
sudoersless(sudoersleng);
} /* base64 digest */
YY_BREAK
case 20:
YY_RULE_SETUP
#line 303 "toke.l"
{
if (continued) {
sudoers_errstr = N_("invalid line continuation");
LEXTRACE("ERROR ");
return ERROR;
}
BEGIN GOTINC;
LEXTRACE("INCLUDE ");
return INCLUDE;
}
YY_BREAK
case 21:
YY_RULE_SETUP
#line 315 "toke.l"
{
if (continued) {
sudoers_errstr = N_("invalid line continuation");
LEXTRACE("ERROR ");
return ERROR;
}
BEGIN GOTINC;
LEXTRACE("INCLUDEDIR ");
return INCLUDEDIR;
}
YY_BREAK
case 22:
/* rule 22 can match eol */
YY_RULE_SETUP
#line 327 "toke.l"
{
if (continued) {
sudoers_errstr = N_("invalid line continuation");
LEXTRACE("ERROR ");
return ERROR;
}
/* only consume #include */
sudoersless(sizeof("#include") - 1);
yy_set_bol(0);
BEGIN GOTINC;
LEXTRACE("INCLUDE ");
return INCLUDE;
}
YY_BREAK
case 23:
/* rule 23 can match eol */
YY_RULE_SETUP
#line 343 "toke.l"
{
if (continued) {
sudoers_errstr = N_("invalid line continuation");
LEXTRACE("ERROR ");
return ERROR;
}
/* only consume #includedir */
sudoersless(sizeof("#includedir") - 1);
yy_set_bol(0);
BEGIN GOTINC;
LEXTRACE("INCLUDEDIR ");
return INCLUDEDIR;
}
YY_BREAK
case 24:
YY_RULE_SETUP
#line 359 "toke.l"
{
char deftype;
int n;
if (continued) {
sudoers_errstr = N_("invalid line continuation");
LEXTRACE("ERROR ");
return 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 ':':
sudoersless(n);
LEXTRACE("DEFAULTS_USER ");
return DEFAULTS_USER;
case '>':
sudoersless(n);
LEXTRACE("DEFAULTS_RUNAS ");
return DEFAULTS_RUNAS;
case '@':
sudoersless(n);
LEXTRACE("DEFAULTS_HOST ");
return DEFAULTS_HOST;
case '!':
sudoersless(n);
LEXTRACE("DEFAULTS_CMND ");
return DEFAULTS_CMND;
default:
LEXTRACE("DEFAULTS ");
return DEFAULTS;
}
}
YY_BREAK
case 25:
YY_RULE_SETUP
#line 400 "toke.l"
{
int n;
if (continued) {
sudoers_errstr = N_("invalid line continuation");
LEXTRACE("ERROR ");
return ERROR;
}
for (n = 0; isblank((unsigned char)sudoerstext[n]); n++)
continue;
switch (sudoerstext[n]) {
case 'H':
LEXTRACE("HOSTALIAS ");
return HOSTALIAS;
case 'C':
LEXTRACE("CMNDALIAS ");
return CMNDALIAS;
case 'U':
LEXTRACE("USERALIAS ");
return USERALIAS;
case 'R':
LEXTRACE("RUNASALIAS ");
return RUNASALIAS;
}
}
YY_BREAK
case 26:
YY_RULE_SETUP
#line 427 "toke.l"
{
/* cmnd does not require passwd for this user */
LEXTRACE("NOPASSWD ");
return NOPASSWD;
}
YY_BREAK
case 27:
YY_RULE_SETUP
#line 433 "toke.l"
{
/* cmnd requires passwd for this user */
LEXTRACE("PASSWD ");
return PASSWD;
}
YY_BREAK
case 28:
YY_RULE_SETUP
#line 439 "toke.l"
{
LEXTRACE("NOEXEC ");
return NOEXEC;
}
YY_BREAK
case 29:
YY_RULE_SETUP
#line 444 "toke.l"
{
LEXTRACE("EXEC ");
return EXEC;
}
YY_BREAK
case 30:
YY_RULE_SETUP
#line 449 "toke.l"
{
LEXTRACE("INTERCEPT ");
return INTERCEPT;
}
YY_BREAK
case 31:
YY_RULE_SETUP
#line 454 "toke.l"
{
LEXTRACE("NOINTERCEPT ");
return NOINTERCEPT;
}
YY_BREAK
case 32:
YY_RULE_SETUP
#line 459 "toke.l"
{
LEXTRACE("SETENV ");
return SETENV;
}
YY_BREAK
case 33:
YY_RULE_SETUP
#line 464 "toke.l"
{
LEXTRACE("NOSETENV ");
return NOSETENV;
}
YY_BREAK
case 34:
YY_RULE_SETUP
#line 469 "toke.l"
{
LEXTRACE("LOG_OUTPUT ");
return LOG_OUTPUT;
}
YY_BREAK
case 35:
YY_RULE_SETUP
#line 474 "toke.l"
{
LEXTRACE("NOLOG_OUTPUT ");
return NOLOG_OUTPUT;
}
YY_BREAK
case 36:
YY_RULE_SETUP
#line 479 "toke.l"
{
LEXTRACE("LOG_INPUT ");
return LOG_INPUT;
}
YY_BREAK
case 37:
YY_RULE_SETUP
#line 484 "toke.l"
{
LEXTRACE("NOLOG_INPUT ");
return NOLOG_INPUT;
}
YY_BREAK
case 38:
YY_RULE_SETUP
#line 489 "toke.l"
{
LEXTRACE("MAIL ");
return MAIL;
}
YY_BREAK
case 39:
YY_RULE_SETUP
#line 494 "toke.l"
{
LEXTRACE("NOMAIL ");
return NOMAIL;
}
YY_BREAK
case 40:
YY_RULE_SETUP
#line 499 "toke.l"
{
LEXTRACE("FOLLOW ");
return FOLLOWLNK;
}
YY_BREAK
case 41:
YY_RULE_SETUP
#line 504 "toke.l"
{
LEXTRACE("NOFOLLOW ");
return NOFOLLOWLNK;
}
YY_BREAK
case 42:
YY_RULE_SETUP
#line 509 "toke.l"
{
if (sudoerstext[0] == '+')
sudoers_errstr = N_("empty netgroup");
else
sudoers_errstr = N_("empty group");
LEXTRACE("ERROR ");
return ERROR;
}
YY_BREAK
case 43:
YY_RULE_SETUP
#line 518 "toke.l"
{
/* netgroup */
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NETGROUP ");
return NETGROUP;
}
YY_BREAK
case 44:
YY_RULE_SETUP
#line 526 "toke.l"
{
/* group */
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("USERGROUP ");
return USERGROUP;
}
YY_BREAK
case 45:
YY_RULE_SETUP
#line 534 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
return NTWKADDR;
}
YY_BREAK
case 46:
YY_RULE_SETUP
#line 541 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
return NTWKADDR;
}
YY_BREAK
case 47:
YY_RULE_SETUP
#line 548 "toke.l"
{
if (!ipv6_valid(sudoerstext)) {
sudoers_errstr = N_("invalid IPv6 address");
LEXTRACE("ERROR ");
return ERROR;
}
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
return NTWKADDR;
}
YY_BREAK
case 48:
YY_RULE_SETUP
#line 560 "toke.l"
{
if (!ipv6_valid(sudoerstext)) {
sudoers_errstr = N_("invalid IPv6 address");
LEXTRACE("ERROR ");
return ERROR;
}
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
return NTWKADDR;
}
YY_BREAK
case 49:
YY_RULE_SETUP
#line 572 "toke.l"
{
LEXTRACE("ALL ");
return ALL;
}
YY_BREAK
case 50:
YY_RULE_SETUP
#line 578 "toke.l"
{
LEXTRACE("CMND_TIMEOUT ");
return CMND_TIMEOUT;
}
YY_BREAK
case 51:
YY_RULE_SETUP
#line 583 "toke.l"
{
LEXTRACE("NOTBEFORE ");
return NOTBEFORE;
}
YY_BREAK
case 52:
YY_RULE_SETUP
#line 588 "toke.l"
{
LEXTRACE("NOTAFTER ");
return NOTAFTER;
}
YY_BREAK
case 53:
YY_RULE_SETUP
#line 593 "toke.l"
{
LEXTRACE("CWD ");
prev_state = YY_START;
BEGIN EXPECTPATH;
return CWD;
}
YY_BREAK
case 54:
YY_RULE_SETUP
#line 600 "toke.l"
{
LEXTRACE("CHROOT ");
prev_state = YY_START;
BEGIN EXPECTPATH;
return CHROOT;
}
YY_BREAK
case 55:
YY_RULE_SETUP
#line 607 "toke.l"
{
#ifdef HAVE_SELINUX
LEXTRACE("ROLE ");
return ROLE;
#else
goto got_alias;
#endif
}
YY_BREAK
case 56:
YY_RULE_SETUP
#line 616 "toke.l"
{
#ifdef HAVE_SELINUX
LEXTRACE("TYPE ");
return TYPE;
#else
goto got_alias;
#endif
}
YY_BREAK
case 57:
YY_RULE_SETUP
#line 624 "toke.l"
{
#ifdef HAVE_PRIV_SET
LEXTRACE("PRIVS ");
return PRIVS;
#else
goto got_alias;
#endif
}
YY_BREAK
case 58:
YY_RULE_SETUP
#line 633 "toke.l"
{
#ifdef HAVE_PRIV_SET
LEXTRACE("LIMITPRIVS ");
return LIMITPRIVS;
#else
goto got_alias;
#endif
}
YY_BREAK
case 59:
YY_RULE_SETUP
#line 642 "toke.l"
{
got_alias:
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("ALIAS ");
return ALIAS;
}
YY_BREAK
case 60:
YY_RULE_SETUP
#line 650 "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 ");
return COMMAND;
}
YY_BREAK
case 61:
YY_RULE_SETUP
#line 659 "toke.l"
{
digest_type = SUDO_DIGEST_SHA224;
BEGIN WANTDIGEST;
LEXTRACE("SHA224_TOK ");
return SHA224_TOK;
}
YY_BREAK
case 62:
YY_RULE_SETUP
#line 666 "toke.l"
{
digest_type = SUDO_DIGEST_SHA256;
BEGIN WANTDIGEST;
LEXTRACE("SHA256_TOK ");
return SHA256_TOK;
}
YY_BREAK
case 63:
YY_RULE_SETUP
#line 673 "toke.l"
{
digest_type = SUDO_DIGEST_SHA384;
BEGIN WANTDIGEST;
LEXTRACE("SHA384_TOK ");
return SHA384_TOK;
}
YY_BREAK
case 64:
YY_RULE_SETUP
#line 680 "toke.l"
{
digest_type = SUDO_DIGEST_SHA512;
BEGIN WANTDIGEST;
LEXTRACE("SHA512_TOK ");
return SHA512_TOK;
}
YY_BREAK
case 65:
YY_RULE_SETUP
#line 687 "toke.l"
{
BEGIN GOTCMND;
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
} /* sudo -e */
YY_BREAK
case 66:
YY_RULE_SETUP
#line 694 "toke.l"
{
BEGIN prev_state;
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("WORD(5) ");
return WORD;
}
YY_BREAK
case 67:
YY_RULE_SETUP
#line 702 "toke.l"
{
/* directories can't have args... */
if (sudoerstext[sudoersleng - 1] == '/') {
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
return COMMAND;
}
BEGIN GOTCMND;
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
} /* a pathname */
YY_BREAK
case 68:
YY_RULE_SETUP
#line 716 "toke.l"
{
LEXTRACE("BEGINSTR ");
sudoerslval.string = NULL;
prev_state = YY_START;
BEGIN INSTR;
}
YY_BREAK
case 69:
YY_RULE_SETUP
#line 723 "toke.l"
{
/* a word */
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("WORD(6) ");
return WORD;
}
YY_BREAK
case 70:
YY_RULE_SETUP
#line 732 "toke.l"
{
/* include file/directory */
if (!fill(sudoerstext, sudoersleng))
yyterminate();
BEGIN INITIAL;
LEXTRACE("WORD(7) ");
return WORD;
}
YY_BREAK
case 71:
YY_RULE_SETUP
#line 741 "toke.l"
{
LEXTRACE("BEGINSTR ");
sudoerslval.string = NULL;
prev_state = INITIAL;
BEGIN INSTR;
}
YY_BREAK
case 72:
YY_RULE_SETUP
#line 749 "toke.l"
{
LEXTRACE("( ");
return '(';
}
YY_BREAK
case 73:
YY_RULE_SETUP
#line 754 "toke.l"
{
LEXTRACE(") ");
return ')';
}
YY_BREAK
case 74:
YY_RULE_SETUP
#line 759 "toke.l"
{
LEXTRACE(", ");
return ',';
} /* return ',' */
YY_BREAK
case 75:
YY_RULE_SETUP
#line 764 "toke.l"
{
LEXTRACE("= ");
return '=';
} /* return '=' */
YY_BREAK
case 76:
YY_RULE_SETUP
#line 769 "toke.l"
{
LEXTRACE(": ");
return ':';
} /* return ':' */
YY_BREAK
case 77:
YY_RULE_SETUP
#line 774 "toke.l"
{
if (sudoersleng & 1) {
LEXTRACE("!");
return '!'; /* return '!' */
}
}
YY_BREAK
case 78:
/* rule 78 can match eol */
YY_RULE_SETUP
#line 781 "toke.l"
{
if (YY_START == INSTR) {
/* throw away old string */
parser_leak_remove(LEAK_PTR, sudoerslval.string);
free(sudoerslval.string);
/* re-scan after changing state */
BEGIN INITIAL;
sudoersless(0);
sudoers_errstr = N_("unexpected line break in string");
LEXTRACE("ERROR ");
return ERROR;
}
BEGIN INITIAL;
sudolineno++;
continued = false;
LEXTRACE("\n");
return '\n';
} /* return newline */
YY_BREAK
case 79:
YY_RULE_SETUP
#line 800 "toke.l"
{ /* throw away space/tabs */
sawspace = true; /* but remember for fill_args */
}
YY_BREAK
case 80:
/* rule 80 can match eol */
YY_RULE_SETUP
#line 804 "toke.l"
{
sawspace = true; /* remember for fill_args */
sudolineno++;
continued = true;
} /* throw away EOL after \ */
YY_BREAK
case 81:
/* rule 81 can match eol */
YY_RULE_SETUP
#line 810 "toke.l"
{
if (sudoerstext[sudoersleng - 1] == '\n') {
/* comment ending in a newline */
BEGIN INITIAL;
sudolineno++;
continued = false;
} else if (!feof(sudoersin)) {
sudoers_errstr = strerror(errno);
LEXTRACE("ERROR ");
return ERROR;
}
LEXTRACE("#\n");
return '\n';
} /* comment, not uid/gid */
YY_BREAK
case 82:
YY_RULE_SETUP
#line 825 "toke.l"
{
LEXTRACE("NOMATCH ");
return NOMATCH;
} /* parse error, no matching token */
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):
case YY_STATE_EOF(GOTINC):
case YY_STATE_EOF(EXPECTPATH):
#line 830 "toke.l"
{
if (!pop_include())
yyterminate();
}
YY_BREAK
case 83:
YY_RULE_SETUP
#line 835 "toke.l"
ECHO;
YY_BREAK
#line 4080 "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 >= 1184 )
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 >= 1184 )
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 == 1183);
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 835 "toke.l"
struct path_list {
SLIST_ENTRY(path_list) entries;
char *path;
};
SLIST_HEAD(path_list_head, path_list);
struct include_stack {
struct sudolinebuf line;
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;
const size_t dirlen = strlen(dirpath);
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) {
const size_t namelen = NAMLEN(dent);
struct path_list *pl;
struct stat sb;
size_t len;
char *path;
/* Ignore files that end in '~' or have a '.' in them. */
if (namelen == 0 || dent->d_name[namelen - 1] == '~'
|| strchr(dent->d_name, '.') != NULL) {
continue;
}
len = dirlen + 1 + namelen;
if ((path = sudo_rcstr_alloc(len)) == NULL)
goto oom;
if ((size_t)snprintf(path, len + 1, "%s/%s", dirpath, dent->d_name) != len) {
sudo_warnx(U_("internal error, %s overflow"), __func__);
sudo_rcstr_delref(path);
goto bad;
}
if (stat(path, &sb) != 0 || !S_ISREG(sb.st_mode)) {
sudo_rcstr_delref(path);
continue;
}
pl = malloc(sizeof(*pl));
if (pl == NULL) {
sudo_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) {
sudo_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++) {
sudo_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);
#ifndef TRACELEXER
free(trace_lbuf.buf);
sudo_lbuf_init(&trace_lbuf, NULL, 0, NULL, 0);
#endif
while (idepth) {
idepth--;
while ((pl = SLIST_FIRST(&istack[idepth].more)) != NULL) {
SLIST_REMOVE_HEAD(&istack[idepth].more, entries);
sudo_rcstr_delref(pl->path);
free(pl);
}
sudo_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[idepth].line.buf);
}
free(istack);
istack = NULL;
istacksize = idepth = 0;
free(sudolinebuf.buf);
memset(&sudolinebuf, 0, sizeof(sudolinebuf));
sudolineno = 1;
keepopen = false;
sawspace = false;
continued = false;
digest_type = -1;
prev_state = INITIAL;
BEGIN INITIAL;
debug_return;
}
/*
* Expand any embedded %h (host) escapes in the given path and makes
* a relative path fully-qualified based on the current sudoers file.
* Returns a reference-counted string.
*/
static char *
expand_include(const char *opath)
{
const char *cp, *ep;
char *path, *pp;
size_t len, olen, dirlen = 0;
bool subst = false;
debug_decl(expand_include, SUDOERS_DEBUG_PARSER);
/* Strip double quotes if present. */
olen = strlen(opath);
if (olen > 1 && opath[0] == '"' && opath[olen - 1] == '"') {
opath++;
olen -= 2;
}
if (olen == 0)
debug_return_ptr(NULL);
/* Relative paths are located in the same dir as the sudoers file. */
if (*opath != '/') {
char *dirend = strrchr(sudoers, '/');
if (dirend != NULL)
dirlen = (size_t)(dirend - sudoers) + 1;
}
cp = opath;
ep = opath + olen;
len = olen;
while (cp < ep) {
if (cp[0] == '%' && cp[1] == 'h') {
subst = true;
len += strlen(user_shost);
cp += 2;
continue;
}
cp++;
}
/* Make a copy of the fully-qualified path and return it. */
path = pp = sudo_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 */
cp = opath;
while (cp < ep) {
if (cp[0] == '%' && cp[1] == 'h') {
size_t n = strlcpy(pp, user_shost, len + 1);
if (n >= len + 1)
goto oflow;
cp += 2;
pp += n;
len -= n;
continue;
}
if (len < 1)
goto oflow;
*pp++ = *cp++;
len--;
}
*pp = '\0';
} else {
memcpy(pp, opath, len);
pp[len] = '\0';
}
debug_return_str(path);
oflow:
sudo_warnx(U_("internal error, %s overflow"), __func__);
sudoerserror(NULL);
sudo_rcstr_delref(path);
debug_return_str(NULL);
}
/*
* 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.
*/
bool
push_include(const char *opath, bool isdir)
{
struct path_list *pl;
char *path;
FILE *fp;
debug_decl(push_include, SUDOERS_DEBUG_PARSER);
if ((path = expand_include(opath)) == NULL)
debug_return_bool(false);
/* push current state onto stack */
if (idepth >= istacksize) {
struct include_stack *new_istack;
if (idepth > MAX_SUDOERS_DEPTH) {
if (sudoers_warnings)
sudo_warnx(U_("%s: %s"), path, U_("too many levels of includes"));
sudoerserror(NULL);
sudo_rcstr_delref(path);
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);
sudo_rcstr_delref(path);
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. */
sudo_rcstr_delref(path);
debug_return_bool(true);
}
count = switch_dir(&istack[idepth], path);
if (count <= 0) {
/* switch_dir() called sudoerserror() for us */
sudo_rcstr_delref(path);
debug_return_bool(count ? false : true);
}
/* Parse the first dir entry we can open, leave the rest for later. */
do {
sudo_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);
sudo_rcstr_delref(path);
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].line = sudolinebuf;
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));
memset(&sudolinebuf, 0, sizeof(sudolinebuf));
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) {
sudolinebuf.len = sudolinebuf.off = 0;
sudolinebuf.toke_start = sudolinebuf.toke_end = 0;
sudo_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. */
sudo_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);
free(sudolinebuf.buf);
sudolinebuf = istack[idepth].line;
sudo_rcstr_delref(sudoers);
sudoers = istack[idepth].path;
sudolineno = istack[idepth].lineno;
keepopen = istack[idepth].keepopen;
}
debug_return_bool(true);
}
#ifdef TRACELEXER
int
sudoers_trace_print(const char *msg)
{
return fputs(msg, stderr);
}
#else
int
sudoers_trace_print(const char *msg)
{
sudo_lbuf_append(&trace_lbuf, "%s", msg);
if (strchr(msg, '\n') != NULL)
{
sudo_debug_printf2(NULL, NULL, 0, SUDOERS_DEBUG_PARSER|SUDO_DEBUG_DEBUG,
"%s:%d: %s", sudoers, sudolineno, trace_lbuf.buf);
trace_lbuf.len = 0;
}
return 0;
}
#endif /* TRACELEXER */
/*
* Custom input function that uses getdelim(3) and stores the buffer
* where the error functions can access it for better reporting.
* On success, buf is guaranteed to end in a newline and not contain
* embedded NULs. Calls YY_FATAL_ERROR on error.
*/
static yy_size_t
sudoers_input(char *buf, yy_size_t max_size)
{
char *cp;
size_t avail = sudolinebuf.len - sudolinebuf.off;
/* Refill line buffer if needed. */
if (avail == 0) {
/*
* Some getdelim(3) implementations write NUL to buf on EOF.
* We peek ahead one char to detect EOF and skip the getdelim() call.
* This will preserve the original value of the last line read.
*/
int ch = getc(sudoersin);
if (ch == EOF)
goto sudoers_eof;
ungetc(ch, sudoersin);
avail = getdelim(&sudolinebuf.buf, &sudolinebuf.size, '\n', sudoersin);
if (avail == (size_t)-1) {
sudoers_eof:
/* EOF or error. */
if (feof(sudoersin))
return 0;
YY_FATAL_ERROR("input in flex scanner failed");
}
/* getdelim() can return embedded NULs, truncate if we find one. */
cp = memchr(sudolinebuf.buf, '\0', avail);
if (cp != NULL) {
*cp++ = '\n';
*cp = '\0';
avail = (size_t)(cp - sudolinebuf.buf);
}
/* Add trailing newline if it is missing. */
if (sudolinebuf.buf[avail - 1] != '\n') {
if (avail + 2 >= sudolinebuf.size) {
cp = realloc(sudolinebuf.buf, avail + 2);
if (cp == NULL) {
YY_FATAL_ERROR("unable to allocate memory");
return 0;
}
sudolinebuf.buf = cp;
sudolinebuf.size = avail + 2;
}
sudolinebuf.buf[avail++] = '\n';
sudolinebuf.buf[avail] = '\0';
}
sudolinebuf.len = avail;
sudolinebuf.off = 0;
sudolinebuf.toke_start = sudolinebuf.toke_end = 0;
}
if (avail > max_size)
avail = max_size;
memcpy(buf, sudolinebuf.buf + sudolinebuf.off, avail);
sudolinebuf.off += avail;
return avail;
}
Reference in New Issue View Git Blame Copy Permalink