#include <config.h>
#define yy_create_buffer sudoers_create_buffer
#define yy_delete_buffer sudoers_delete_buffer
#define yy_scan_buffer sudoers_scan_buffer
#define yy_scan_string sudoers_scan_string
#define yy_scan_bytes sudoers_scan_bytes
#define yy_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 yyout sudoersout
#define yyrestart sudoersrestart
#define yytext sudoerstext
#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5
#include <stdio.h>
#include <errno.h>
#ifdef c_plusplus
#ifndef __cplusplus
#define __cplusplus
#endif
#endif
#ifdef __cplusplus
#include <stdlib.h>
#include <unistd.h>
#define YY_USE_PROTOS
#define YY_USE_CONST
#else
#ifdef __STDC__
#define YY_USE_PROTOS
#define YY_USE_CONST
#endif
#endif
#ifdef __TURBOC__
#pragma warn -rch
#pragma warn -use
#include <io.h>
#include <stdlib.h>
#define YY_USE_CONST
#define YY_USE_PROTOS
#endif
#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#endif
#ifdef YY_USE_PROTOS
#define YY_PROTO(proto) proto
#else
#define YY_PROTO(proto) ()
#endif
#define YY_NULL 0
#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
#define BEGIN yy_start = 1 + 2 *
#define YY_START ((yy_start - 1) / 2)
#define YYSTATE YY_START
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
#define YY_NEW_FILE yyrestart( yyin )
#define YY_END_OF_BUFFER_CHAR 0
#define YY_BUF_SIZE 16384
typedef struct yy_buffer_state *YY_BUFFER_STATE;
extern int yyleng;
extern FILE *yyin, *yyout;
#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2
#define yyless(n) \
do \
{ \
\
*yy_cp = yy_hold_char; \
YY_RESTORE_YY_MORE_OFFSET \
yy_cp = yy_bp + n - YY_MORE_ADJ; \
YY_DO_BEFORE_ACTION; \
} \
while ( 0 )
#define unput(c) yyunput( c, yytext_ptr )
typedef unsigned int yy_size_t;
struct yy_buffer_state
{
FILE *yy_input_file;
char *yy_ch_buf;
char *yy_buf_pos;
yy_size_t yy_buf_size;
int yy_n_chars;
int yy_is_our_buffer;
int yy_is_interactive;
int yy_at_bol;
int yy_fill_buffer;
int yy_buffer_status;
#define YY_BUFFER_NEW 0
#define YY_BUFFER_NORMAL 1
#define YY_BUFFER_EOF_PENDING 2
};
static YY_BUFFER_STATE yy_current_buffer = 0;
#define YY_CURRENT_BUFFER yy_current_buffer
static char yy_hold_char;
static int yy_n_chars;
int yyleng;
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 1;
static int yy_start = 0;
static int yy_did_buffer_switch_on_eof;
void yyrestart YY_PROTO(( FILE *input_file ));
void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
void yy_load_buffer_state YY_PROTO(( void ));
YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b ));
#define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer )
YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size ));
YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *yy_str ));
YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len ));
static void *yy_flex_alloc YY_PROTO(( yy_size_t ));
static void *yy_flex_realloc YY_PROTO(( void *, yy_size_t ));
static void yy_flex_free YY_PROTO(( void * ));
#define yy_new_buffer yy_create_buffer
#define yy_set_interactive(is_interactive) \
{ \
if ( ! yy_current_buffer ) \
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
yy_current_buffer->yy_is_interactive = is_interactive; \
}
#define yy_set_bol(at_bol) \
{ \
if ( ! yy_current_buffer ) \
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
yy_current_buffer->yy_at_bol = at_bol; \
}
#define YY_AT_BOL() (yy_current_buffer->yy_at_bol)
#define yywrap() 1
#define YY_SKIP_YYWRAP
typedef unsigned char YY_CHAR;
FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
typedef int yy_state_type;
extern char *yytext;
#define yytext_ptr yytext
static yy_state_type yy_get_previous_state YY_PROTO(( void ));
static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
static int yy_get_next_buffer YY_PROTO(( void ));
static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));
#define YY_DO_BEFORE_ACTION \
yytext_ptr = yy_bp; \
yyleng = (int) (yy_cp - yy_bp); \
yy_hold_char = *yy_cp; \
*yy_cp = '\0'; \
yy_c_buf_p = yy_cp;
#define YY_NUM_RULES 71
#define YY_END_OF_BUFFER 72
static yyconst short int yy_accept[862] =
{ 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 72, 59, 67, 66, 65, 58,
69, 38, 60, 61, 38, 62, 59, 59, 59, 59,
64, 63, 70, 50, 50, 50, 50, 50, 50, 50,
50, 50, 50, 50, 50, 70, 59, 59, 67, 69,
50, 50, 50, 50, 50, 2, 70, 1, 59, 50,
50, 59, 17, 16, 17, 16, 16, 70, 69, 70,
3, 9, 8, 9, 4, 9, 5, 70, 13, 13,
13, 11, 12, 70, 19, 19, 18, 18, 18, 19,
18, 18, 18, 18, 19, 19, 19, 19, 19, 19,
18, 19, 19, 59, 0, 67, 65, 69, 69, 0,
59, 40, 0, 38, 0, 39, 0, 57, 57, 0,
59, 59, 0, 59, 59, 59, 59, 0, 43, 50,
50, 50, 50, 50, 50, 50, 50, 50, 50, 50,
50, 50, 50, 59, 68, 59, 59, 67, 0, 0,
0, 0, 0, 69, 59, 59, 59, 59, 59, 2,
1, 0, 1, 51, 51, 0, 59, 17, 17, 15,
14, 15, 0, 0, 3, 9, 0, 6, 7, 9,
9, 13, 0, 13, 13, 0, 10, 40, 0, 0,
39, 19, 19, 0, 19, 0, 0, 18, 18, 18,
18, 18, 18, 19, 19, 50, 19, 19, 19, 19,
19, 19, 19, 19, 19, 69, 69, 0, 40, 59,
59, 59, 59, 59, 0, 0, 43, 43, 50, 45,
50, 50, 50, 50, 50, 50, 50, 50, 50, 50,
50, 50, 50, 50, 50, 50, 59, 59, 0, 0,
0, 0, 0, 69, 59, 59, 59, 59, 59, 0,
59, 10, 0, 0, 0, 18, 18, 18, 19, 19,
19, 19, 19, 19, 19, 19, 19, 19, 19, 19,
19, 19, 19, 69, 59, 59, 59, 59, 59, 59,
0, 44, 44, 44, 0, 0, 43, 43, 43, 43,
43, 43, 43, 50, 50, 50, 50, 50, 50, 50,
50, 50, 50, 50, 50, 50, 50, 46, 50, 47,
59, 59, 59, 59, 0, 0, 0, 0, 0, 69,
59, 59, 59, 59, 0, 0, 0, 0, 0, 18,
18, 19, 19, 50, 19, 19, 19, 19, 19, 19,
19, 19, 19, 19, 19, 19, 19, 59, 59, 59,
0, 0, 44, 44, 44, 0, 43, 43, 0, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
0, 27, 50, 50, 50, 50, 0, 34, 50, 50,
50, 50, 50, 50, 50, 48, 50, 59, 59, 59,
59, 59, 0, 0, 0, 69, 59, 59, 59, 0,
0, 0, 18, 18, 19, 50, 50, 19, 19, 19,
19, 19, 19, 19, 19, 19, 19, 19, 19, 19,
59, 59, 59, 59, 59, 0, 44, 0, 43, 43,
43, 0, 0, 0, 43, 43, 43, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 50, 50, 50,
50, 50, 50, 50, 50, 50, 50, 50, 50, 52,
53, 54, 55, 59, 0, 0, 69, 59, 59, 59,
0, 0, 0, 0, 0, 19, 50, 50, 19, 19,
50, 19, 19, 19, 19, 19, 19, 19, 19, 19,
19, 41, 41, 41, 0, 0, 43, 43, 43, 43,
43, 43, 43, 0, 0, 0, 0, 0, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 0, 36, 50, 50, 50, 0, 26, 50,
50, 50, 0, 35, 50, 50, 0, 25, 0, 28,
59, 0, 0, 69, 59, 59, 59, 41, 41, 41,
50, 50, 19, 50, 50, 19, 19, 19, 59, 41,
41, 41, 41, 0, 43, 0, 43, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 0, 0, 0,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 43, 50, 50, 50, 50, 50, 50, 50,
50, 56, 0, 0, 69, 59, 22, 51, 0, 41,
41, 41, 41, 50, 50, 19, 50, 50, 19, 19,
19, 42, 42, 42, 42, 43, 0, 0, 0, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 0, 0, 0, 0, 0, 43, 43, 43,
43, 43, 43, 43, 43, 50, 50, 50, 0, 37,
50, 50, 0, 24, 0, 29, 0, 22, 69, 69,
59, 0, 59, 42, 42, 42, 42, 50, 50, 50,
50, 59, 59, 42, 42, 42, 42, 0, 0, 0,
0, 0, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 49, 0, 32, 50, 50, 50, 0, 69,
69, 20, 69, 23, 22, 0, 0, 0, 0, 0,
22, 0, 0, 0, 42, 42, 42, 42, 50, 50,
50, 59, 59, 59, 0, 0, 0, 43, 43, 43,
43, 43, 43, 43, 43, 43, 43, 43, 43, 43,
43, 43, 43, 43, 43, 0, 30, 50, 50, 23,
69, 0, 22, 0, 0, 0, 50, 50, 59, 59,
59, 59, 59, 0, 0, 0, 0, 0, 43, 43,
43, 43, 43, 43, 43, 43, 0, 33, 50, 69,
0, 0, 0, 0, 0, 50, 59, 59, 59, 43,
43, 43, 43, 43, 43, 0, 31, 69, 69, 21,
0, 0, 0, 59, 59, 59, 59, 59, 43, 43,
43, 43, 43, 0, 0, 0, 0, 0, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
0
} ;
static yyconst int yy_ec[256] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 2, 4, 5, 6, 1, 7, 1, 1, 8,
9, 10, 11, 12, 13, 14, 15, 16, 17, 18,
19, 20, 21, 22, 23, 24, 25, 26, 1, 1,
27, 28, 10, 29, 30, 31, 32, 33, 34, 35,
36, 37, 38, 39, 39, 40, 41, 42, 43, 44,
39, 45, 46, 47, 48, 49, 50, 51, 52, 39,
10, 53, 10, 1, 54, 1, 55, 56, 57, 58,
59, 60, 61, 62, 63, 61, 61, 64, 65, 66,
67, 61, 61, 68, 69, 70, 71, 61, 61, 61,
61, 61, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 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 int yy_meta[72] =
{ 0,
1, 2, 3, 4, 5, 6, 1, 7, 7, 1,
8, 9, 10, 11, 12, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 14, 15, 7, 1, 16,
16, 16, 16, 16, 16, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 18, 19, 20, 20, 20, 20, 20, 20,
21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
21
} ;
static yyconst short int yy_base[979] =
{ 0,
0, 70, 72, 80, 87, 126, 178, 248, 156, 200,
132, 140, 319, 0, 4925, 4863, 4908, 5587, 4903, 5587,
388, 95, 5587, 5587, 4853, 5587, 142, 400, 198, 155,
4878, 5587, 5587, 460, 4863, 37, 40, 516, 62, 4868,
4851, 49, 4846, 4852, 4831, 575, 590, 125, 223, 613,
33, 45, 4815, 38, 4805, 94, 4860, 4866, 434, 4822,
4832, 136, 0, 5587, 4857, 5587, 0, 615, 674, 108,
0, 4800, 5587, 70, 5587, 104, 5587, 152, 4799, 73,
135, 5587, 161, 171, 651, 705, 749, 256, 245, 807,
857, 4807, 82, 151, 913, 4801, 4811, 4797, 4807, 4802,
960, 0, 94, 4782, 645, 4831, 4824, 4824, 5587, 266,
541, 204, 4813, 614, 718, 4771, 843, 947, 4767, 984,
997, 1035, 4793, 4804, 572, 719, 276, 4790, 175, 1080,
1125, 4767, 4772, 4761, 4757, 4759, 4756, 406, 4728, 4705,
4698, 4688, 4688, 391, 5587, 173, 339, 637, 4666, 4663,
4650, 4644, 4645, 397, 133, 385, 139, 349, 395, 257,
4711, 731, 4710, 1019, 4658, 1036, 345, 0, 4706, 296,
5587, 5587, 941, 393, 0, 4649, 654, 5587, 5587, 4643,
552, 4641, 4687, 435, 595, 425, 4689, 649, 981, 1159,
4637, 1165, 0, 1194, 1222, 1189, 1057, 1261, 4675, 1100,
1221, 840, 1311, 1367, 4631, 0, 4635, 4599, 4597, 4592,
991, 4583, 4580, 4571, 4563, 4614, 4609, 1236, 1246, 1414,
1281, 985, 1454, 4595, 4580, 1499, 674, 1545, 1590, 1635,
4573, 4557, 4558, 4537, 4548, 4534, 4541, 4538, 4550, 4549,
4543, 4522, 4518, 4528, 4525, 4522, 976, 398, 4489, 4487,
4477, 4475, 4480, 541, 411, 4483, 396, 490, 499, 1438,
515, 4535, 4522, 4521, 1682, 1692, 4520, 1737, 0, 4494,
4480, 4464, 4476, 4464, 4471, 4470, 4454, 4453, 4444, 4430,
4441, 625, 4407, 4470, 1782, 415, 0, 0, 1061, 658,
4446, 4445, 1820, 606, 4358, 4357, 702, 1387, 1833, 1435,
1110, 1879, 1926, 4356, 660, 4338, 4333, 645, 677, 4345,
4338, 4341, 4338, 4329, 4327, 4323, 4326, 0, 4329, 0,
832, 176, 419, 648, 4312, 4314, 4298, 4312, 4298, 660,
516, 1081, 708, 672, 1474, 4351, 4350, 4349, 1191, 1936,
1981, 776, 4319, 678, 820, 4327, 4320, 4323, 4320, 4300,
4298, 4294, 4301, 249, 4318, 4324, 4281, 2028, 2040, 2052,
4313, 4312, 2062, 4312, 4310, 4309, 4308, 828, 1519, 1139,
1565, 1162, 2075, 0, 1612, 2122, 1655, 1291, 2168, 2215,
884, 5587, 4283, 4288, 4289, 4282, 965, 5587, 4276, 4267,
4252, 4265, 4258, 4269, 4269, 0, 4251, 533, 781, 709,
980, 896, 4244, 4226, 4227, 937, 1079, 1109, 1116, 4280,
4279, 2227, 2237, 4244, 4143, 4139, 4121, 4125, 4095, 4069,
4071, 4053, 4053, 4042, 4014, 4031, 4017, 4011, 4006, 3948,
2282, 1035, 2322, 2334, 1667, 3979, 3978, 3977, 3966, 2344,
1178, 3965, 3953, 2391, 1198, 1299, 1403, 1712, 1749, 2403,
0, 1762, 2450, 1792, 1484, 2496, 2543, 2568, 1188, 1246,
1394, 1313, 1419, 1880, 1338, 1393, 1440, 1481, 1524, 3902,
3890, 3855, 3847, 946, 3863, 3811, 1167, 1164, 575, 983,
1802, 3860, 3859, 3858, 1577, 1525, 3811, 3801, 1526, 3786,
1510, 1547, 3753, 3736, 1615, 1616, 0, 0, 0, 0,
3712, 2625, 1853, 1722, 3737, 3734, 3687, 1908, 2665, 1956,
1812, 2710, 2757, 2001, 3675, 3667, 3666, 1968, 1454, 1758,
1893, 2017, 2095, 2135, 2769, 0, 2148, 2816, 2188, 2105,
2862, 2909, 1617, 5587, 2934, 1023, 1596, 1637, 5587, 1411,
1001, 2122, 1695, 5587, 1752, 2181, 1763, 5587, 1858, 5587,
1393, 3591, 3557, 1130, 2210, 1220, 1721, 3604, 3595, 2991,
3549, 3540, 3006, 3490, 3464, 1829, 786, 3418, 3062, 1493,
3101, 0, 1391, 3461, 3446, 2258, 2041, 2292, 2145, 3141,
0, 2304, 3154, 2364, 2268, 3199, 3246, 3449, 3378, 3258,
2311, 2380, 2416, 2425, 3364, 2429, 3270, 0, 2472, 3317,
2516, 2429, 3364, 3389, 1040, 893, 1915, 1836, 1498, 1981,
2102, 3301, 3282, 3252, 2100, 1519, 2519, 3264, 2635, 3292,
3282, 3258, 2646, 3206, 3179, 3459, 3182, 3161, 2007, 2008,
0, 3517, 2652, 2685, 1619, 3173, 3177, 3142, 3557, 3087,
2305, 2427, 2730, 2532, 3569, 0, 2791, 3582, 2836, 2483,
3627, 3674, 2882, 3098, 3077, 3020, 2697, 2746, 2898, 3074,
1273, 1309, 3686, 0, 2848, 1837, 2171, 1615, 2170, 5587,
1399, 1871, 2216, 5587, 2264, 5587, 2834, 2368, 1742, 1858,
2280, 2817, 3088, 2802, 2750, 3698, 2742, 2430, 2548, 2523,
2452, 3708, 1976, 3748, 0, 2192, 2318, 3085, 2743, 2723,
2705, 3113, 2686, 2570, 2666, 2792, 3126, 3006, 3788, 0,
3176, 3801, 3219, 3119, 3846, 3893, 2509, 2482, 3904, 3235,
2442, 1772, 2403, 2736, 5587, 2794, 1916, 1979, 2329, 2288,
2173, 5587, 2261, 2212, 3199, 3304, 3309, 3314, 2182, 2934,
1982, 3389, 3527, 1994, 1948, 1908, 3448, 1902, 2737, 2889,
3180, 3916, 3928, 3940, 1873, 1867, 3952, 1808, 1740, 3085,
3155, 3537, 3298, 3964, 0, 3604, 3977, 3647, 3547, 4024,
1731, 1704, 1674, 3658, 1667, 2886, 5587, 2888, 2080, 5587,
2219, 3718, 3728, 1630, 1585, 4036, 2914, 3296, 4048, 2320,
4060, 4072, 3763, 3769, 1578, 1492, 1467, 3615, 1368, 1248,
3330, 1233, 1220, 4084, 0, 2368, 3033, 5587, 3297, 2325,
3821, 1183, 1094, 1016, 3833, 3126, 4096, 4108, 4120, 3866,
3997, 4130, 924, 0, 830, 3181, 5587, 754, 2492, 5587,
694, 586, 4142, 4154, 3100, 4166, 4178, 3878, 5587, 4188,
4198, 3738, 5587, 4208, 571, 286, 244, 4009, 4218, 4256,
4294, 4228, 4238, 4266, 55, 4332, 4248, 5587, 4304, 3779,
5587, 4385, 4406, 4427, 4448, 4469, 4490, 4511, 4532, 4553,
4562, 2563, 4582, 4603, 2523, 4624, 4645, 4666, 4687, 4708,
4729, 4750, 4771, 2567, 4792, 4801, 4809, 4818, 4838, 4859,
4880, 2794, 4901, 4922, 4943, 4964, 4985, 4994, 5013, 5022,
5031, 2466, 2897, 5039, 5047, 5055, 5064, 5072, 5079, 5087,
5095, 5104, 5114, 2898, 3084, 5122, 5130, 5138, 3085, 3187,
5147, 5157, 5177, 3234, 5186, 5194, 3235, 5203, 5213, 5233,
2681, 2785, 5242, 5254, 5263, 5273, 3238, 3342, 5282, 5292,
5301, 5321, 2832, 5330, 5342, 3347, 3348, 5351, 5361, 3352,
5370, 5380, 5400, 5421, 5442, 3353, 3357, 5462, 3358, 5469,
5479, 2926, 3006, 5488, 3559, 5508, 3460, 3598, 5517, 5527,
3615, 3643, 5535, 5545, 5565, 4279, 3763, 3817
} ;
static yyconst short int yy_def[979] =
{ 0,
861, 1, 1, 1, 862, 862, 863, 863, 864, 864,
865, 865, 861, 13, 861, 866, 861, 861, 861, 861,
867, 868, 861, 861, 869, 861, 870, 866, 28, 28,
871, 861, 861, 861, 34, 34, 34, 34, 38, 38,
38, 38, 38, 38, 38, 866, 28, 866, 861, 867,
34, 34, 38, 38, 38, 861, 872, 861, 873, 38,
38, 866, 874, 861, 874, 861, 874, 861, 867, 861,
875, 876, 861, 876, 861, 876, 861, 877, 878, 878,
878, 861, 861, 879, 880, 881, 861, 87, 87, 87,
861, 91, 91, 91, 91, 95, 95, 95, 95, 95,
87, 90, 90, 866, 866, 861, 861, 882, 861, 883,
861, 868, 884, 879, 868, 869, 869, 870, 885, 866,
866, 28, 886, 122, 122, 122, 122, 887, 888, 38,
130, 131, 131, 131, 131, 131, 131, 131, 131, 131,
131, 131, 131, 866, 861, 866, 866, 861, 861, 861,
861, 861, 861, 882, 866, 122, 866, 866, 866, 861,
861, 861, 861, 889, 890, 866, 866, 891, 891, 861,
861, 861, 883, 861, 892, 893, 893, 861, 861, 893,
893, 894, 861, 894, 894, 861, 861, 879, 879, 879,
895, 896, 90, 895, 897, 861, 861, 87, 198, 198,
198, 198, 861, 203, 204, 898, 204, 204, 204, 204,
204, 204, 204, 90, 90, 882, 899, 861, 861, 866,
220, 220, 122, 223, 900, 861, 901, 861, 131, 229,
230, 230, 230, 230, 230, 230, 230, 230, 230, 230,
230, 230, 230, 230, 230, 230, 866, 866, 861, 861,
861, 861, 861, 882, 866, 223, 866, 866, 866, 861,
866, 861, 902, 903, 861, 90, 266, 203, 204, 204,
204, 204, 204, 204, 204, 204, 204, 204, 204, 204,
204, 90, 90, 899, 866, 866, 220, 220, 220, 866,
904, 905, 905, 293, 906, 905, 907, 228, 861, 299,
299, 861, 299, 230, 230, 230, 230, 230, 230, 230,
230, 230, 230, 230, 230, 230, 230, 230, 230, 230,
866, 866, 866, 866, 861, 861, 861, 861, 861, 882,
866, 866, 866, 866, 861, 861, 902, 902, 861, 266,
203, 204, 204, 908, 204, 204, 204, 204, 204, 204,
204, 204, 204, 90, 90, 90, 90, 220, 220, 220,
861, 909, 909, 363, 909, 910, 911, 912, 861, 913,
302, 913, 861, 373, 913, 861, 376, 376, 861, 376,
861, 861, 230, 230, 230, 230, 861, 861, 230, 230,
230, 230, 230, 230, 230, 230, 230, 866, 866, 866,
866, 866, 861, 861, 861, 882, 866, 866, 866, 914,
915, 861, 90, 341, 204, 908, 908, 204, 204, 204,
204, 204, 204, 204, 204, 90, 90, 90, 90, 90,
866, 866, 220, 220, 866, 916, 916, 917, 918, 861,
861, 919, 920, 861, 921, 921, 922, 379, 922, 861,
450, 922, 861, 453, 453, 861, 453, 861, 458, 458,
458, 458, 458, 458, 458, 458, 458, 458, 458, 866,
866, 866, 866, 866, 861, 861, 923, 866, 866, 866,
861, 861, 924, 924, 861, 204, 908, 908, 204, 204,
908, 204, 204, 204, 204, 204, 90, 90, 90, 90,
90, 866, 502, 502, 861, 925, 926, 440, 861, 509,
509, 861, 509, 861, 861, 927, 927, 861, 861, 928,
928, 929, 456, 929, 861, 525, 929, 861, 528, 528,
861, 528, 861, 861, 861, 535, 535, 861, 861, 535,
535, 535, 861, 861, 535, 535, 861, 861, 861, 861,
866, 861, 861, 930, 866, 866, 866, 931, 932, 861,
933, 933, 861, 933, 933, 563, 563, 934, 866, 866,
866, 571, 571, 861, 935, 861, 936, 512, 936, 936,
580, 936, 861, 583, 583, 861, 583, 937, 938, 861,
861, 939, 939, 940, 941, 940, 861, 597, 940, 861,
600, 600, 600, 861, 604, 604, 604, 604, 604, 604,
604, 866, 861, 861, 942, 866, 866, 866, 861, 861,
943, 943, 861, 944, 944, 861, 944, 944, 626, 626,
945, 866, 632, 632, 632, 861, 946, 947, 861, 948,
948, 949, 586, 949, 949, 645, 949, 861, 648, 648,
861, 648, 861, 861, 950, 950, 861, 861, 951, 951,
952, 952, 952, 663, 952, 604, 604, 604, 861, 861,
604, 604, 861, 861, 861, 861, 861, 861, 953, 942,
866, 954, 955, 956, 957, 861, 956, 958, 958, 958,
958, 866, 866, 866, 694, 694, 866, 861, 861, 959,
959, 861, 861, 960, 960, 961, 651, 961, 961, 709,
961, 861, 712, 712, 861, 712, 962, 963, 861, 861,
964, 964, 604, 861, 861, 604, 604, 604, 861, 953,
953, 861, 942, 866, 954, 954, 954, 954, 965, 954,
966, 966, 861, 861, 956, 956, 861, 861, 958, 958,
958, 694, 694, 694, 967, 968, 861, 861, 969, 969,
970, 715, 970, 970, 764, 970, 861, 767, 767, 767,
861, 962, 962, 861, 861, 861, 861, 604, 604, 861,
942, 861, 861, 971, 972, 861, 958, 958, 694, 866,
694, 694, 866, 861, 861, 967, 967, 861, 861, 973,
973, 974, 974, 974, 804, 804, 861, 861, 604, 975,
861, 861, 971, 971, 861, 958, 694, 694, 694, 861,
861, 861, 861, 976, 976, 861, 861, 975, 975, 861,
977, 978, 861, 694, 866, 694, 694, 866, 861, 861,
861, 861, 861, 861, 861, 977, 977, 861, 866, 866,
866, 861, 861, 861, 866, 866, 866, 861, 861, 861,
0, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861
} ;
static yyconst short int yy_nxt[5659] =
{ 0,
16, 17, 18, 19, 20, 21, 22, 23, 24, 16,
25, 26, 16, 16, 27, 28, 29, 30, 28, 28,
28, 28, 28, 28, 28, 31, 32, 33, 16, 34,
35, 35, 35, 36, 37, 38, 38, 38, 38, 39,
40, 41, 38, 42, 43, 44, 45, 38, 38, 38,
38, 38, 46, 16, 47, 47, 47, 47, 47, 47,
16, 16, 16, 16, 16, 16, 16, 16, 48, 16,
16, 49, 131, 56, 184, 50, 131, 57, 139, 131,
141, 56, 134, 58, 131, 57, 59, 133, 17, 64,
65, 58, 66, 140, 59, 160, 178, 155, 66, 135,
113, 51, 52, 156, 136, 161, 53, 105, 158, 174,
145, 60, 66, 67, 54, 61, 38, 55, 38, 60,
114, 204, 177, 61, 38, 183, 38, 17, 64, 65,
179, 66, 207, 80, 18, 81, 82, 66, 185, 68,
62, 80, 18, 81, 82, 119, 119, 115, 62, 119,
119, 66, 67, 181, 145, 214, 177, 17, 18, 19,
73, 69, 186, 187, 215, 182, 74, 75, 76, 119,
126, 126, 126, 126, 126, 127, 113, 105, 68, 17,
18, 19, 77, 69, 83, 105, 146, 183, 105, 226,
204, 105, 83, 208, 120, 147, 189, 146, 255, 400,
228, 17, 18, 19, 73, 69, 167, 257, 78, 861,
74, 75, 76, 125, 125, 125, 125, 125, 125, 125,
125, 125, 125, 190, 148, 105, 77, 247, 105, 861,
70, 71, 71, 71, 71, 71, 71, 71, 71, 71,
71, 71, 71, 71, 71, 71, 71, 71, 71, 17,
18, 19, 78, 69, 149, 150, 115, 844, 160, 151,
201, 201, 201, 201, 201, 202, 426, 152, 161, 427,
153, 200, 200, 200, 200, 200, 200, 200, 200, 200,
200, 111, 111, 111, 111, 111, 111, 111, 111, 111,
111, 224, 224, 224, 224, 224, 224, 174, 145, 844,
70, 71, 71, 71, 71, 71, 71, 71, 71, 71,
71, 71, 71, 71, 71, 71, 71, 71, 71, 33,
17, 18, 19, 33, 33, 84, 23, 24, 33, 85,
26, 33, 33, 86, 87, 88, 89, 87, 87, 87,
87, 87, 87, 87, 31, 90, 33, 33, 91, 92,
92, 92, 93, 94, 95, 95, 95, 95, 96, 97,
98, 95, 99, 95, 100, 95, 95, 95, 95, 95,
95, 70, 33, 101, 101, 101, 101, 101, 101, 102,
102, 102, 102, 102, 102, 102, 102, 103, 102, 102,
109, 105, 174, 145, 174, 145, 248, 105, 104, 109,
110, 105, 261, 111, 111, 111, 111, 111, 111, 111,
111, 111, 111, 121, 258, 122, 122, 122, 122, 122,
122, 122, 122, 122, 122, 123, 186, 187, 285, 124,
124, 124, 124, 124, 124, 401, 184, 165, 165, 236,
237, 165, 165, 105, 256, 238, 239, 105, 105, 240,
105, 241, 105, 259, 124, 124, 124, 124, 124, 124,
104, 165, 254, 105, 324, 331, 104, 105, 331, 104,
104, 105, 104, 104, 104, 130, 130, 130, 130, 130,
130, 130, 130, 130, 130, 123, 166, 183, 104, 130,
130, 130, 130, 130, 130, 131, 131, 131, 131, 132,
131, 131, 131, 131, 131, 131, 131, 131, 131, 131,
131, 131, 105, 131, 124, 124, 124, 124, 124, 124,
104, 104, 104, 104, 104, 104, 104, 104, 104, 104,
104, 131, 131, 131, 131, 131, 131, 131, 131, 131,
131, 861, 105, 109, 333, 131, 131, 131, 131, 131,
131, 105, 470, 174, 145, 131, 111, 111, 111, 111,
111, 111, 111, 111, 111, 111, 331, 105, 105, 407,
104, 104, 104, 104, 104, 104, 144, 145, 104, 104,
104, 334, 104, 104, 844, 105, 104, 224, 224, 224,
224, 224, 224, 224, 224, 224, 224, 330, 185, 844,
104, 104, 104, 104, 177, 124, 124, 124, 124, 124,
124, 124, 124, 124, 124, 109, 170, 145, 171, 113,
172, 365, 365, 365, 171, 110, 172, 105, 111, 111,
111, 111, 111, 111, 111, 111, 111, 111, 148, 861,
172, 172, 354, 355, 556, 356, 104, 183, 104, 104,
104, 191, 104, 104, 861, 176, 104, 191, 176, 176,
191, 381, 109, 191, 191, 176, 190, 172, 149, 150,
104, 104, 104, 151, 861, 154, 109, 193, 387, 191,
176, 152, 385, 123, 153, 382, 173, 386, 226, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 298,
105, 190, 388, 194, 191, 119, 402, 844, 119, 119,
105, 119, 119, 119, 119, 416, 226, 119, 119, 112,
417, 112, 112, 406, 105, 112, 112, 298, 472, 112,
409, 193, 119, 119, 224, 224, 224, 224, 224, 224,
224, 224, 224, 224, 112, 112, 111, 111, 111, 111,
111, 111, 111, 111, 111, 111, 830, 196, 119, 193,
105, 105, 197, 193, 198, 198, 198, 198, 198, 198,
198, 198, 198, 198, 123, 193, 331, 381, 199, 199,
199, 199, 199, 199, 193, 193, 193, 193, 193, 193,
193, 193, 193, 193, 193, 193, 193, 193, 193, 193,
193, 382, 471, 199, 199, 199, 199, 199, 199, 193,
193, 193, 193, 193, 193, 193, 193, 193, 193, 193,
861, 387, 193, 193, 193, 193, 193, 193, 193, 193,
193, 193, 861, 105, 630, 204, 193, 193, 193, 193,
193, 193, 226, 576, 116, 388, 116, 116, 116, 398,
116, 116, 399, 298, 116, 267, 267, 267, 267, 267,
267, 193, 193, 193, 193, 193, 193, 193, 116, 116,
116, 193, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 123, 193, 105, 381, 203, 203, 203, 203,
203, 203, 204, 204, 204, 204, 205, 204, 204, 204,
204, 204, 204, 204, 204, 204, 204, 204, 204, 382,
206, 199, 199, 199, 199, 199, 199, 193, 193, 193,
193, 193, 193, 193, 193, 193, 193, 193, 204, 204,
204, 204, 204, 204, 204, 204, 204, 204, 861, 109,
668, 131, 204, 204, 204, 204, 204, 204, 105, 762,
119, 119, 204, 474, 119, 119, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 387, 193, 193, 193,
193, 193, 193, 861, 119, 199, 199, 199, 199, 199,
199, 199, 199, 199, 199, 118, 113, 104, 104, 118,
388, 104, 104, 321, 322, 118, 323, 473, 105, 120,
288, 288, 288, 288, 288, 289, 861, 477, 551, 118,
118, 104, 220, 221, 222, 220, 220, 220, 220, 220,
220, 220, 165, 165, 274, 275, 165, 165, 105, 811,
276, 277, 105, 190, 278, 105, 279, 164, 131, 104,
104, 164, 608, 104, 104, 557, 165, 164, 431, 105,
223, 223, 223, 223, 223, 223, 223, 223, 223, 223,
131, 164, 164, 104, 223, 223, 223, 223, 223, 223,
605, 166, 263, 264, 265, 263, 263, 263, 263, 263,
263, 263, 104, 104, 104, 104, 667, 105, 131, 223,
223, 223, 223, 223, 223, 229, 229, 229, 229, 229,
229, 229, 229, 229, 229, 123, 123, 811, 478, 229,
229, 229, 229, 229, 229, 267, 267, 267, 267, 267,
267, 267, 267, 267, 267, 374, 374, 374, 374, 374,
375, 105, 109, 105, 223, 223, 223, 223, 223, 223,
131, 131, 131, 131, 131, 131, 131, 131, 131, 131,
861, 408, 369, 226, 131, 131, 131, 131, 131, 131,
188, 105, 188, 188, 371, 191, 188, 188, 105, 109,
188, 191, 479, 480, 191, 861, 226, 191, 191, 104,
104, 104, 104, 104, 104, 188, 188, 371, 615, 861,
119, 193, 226, 191, 119, 191, 811, 191, 191, 191,
119, 191, 191, 298, 335, 191, 336, 336, 336, 336,
336, 336, 226, 861, 119, 119, 105, 194, 191, 191,
191, 191, 119, 371, 554, 119, 119, 555, 119, 119,
119, 119, 535, 861, 119, 119, 267, 267, 267, 267,
267, 267, 267, 267, 267, 267, 576, 861, 193, 119,
119, 219, 219, 219, 219, 219, 219, 219, 219, 219,
219, 219, 219, 219, 219, 219, 219, 219, 219, 219,
219, 861, 105, 762, 196, 119, 266, 266, 266, 266,
266, 266, 266, 266, 266, 266, 369, 226, 617, 536,
266, 266, 266, 266, 266, 266, 287, 287, 287, 287,
287, 287, 287, 287, 287, 287, 451, 451, 451, 451,
451, 452, 369, 226, 538, 266, 266, 266, 266, 266,
266, 193, 861, 226, 371, 193, 268, 268, 268, 268,
268, 268, 268, 268, 268, 268, 123, 193, 539, 543,
268, 268, 268, 268, 268, 268, 204, 204, 204, 204,
204, 204, 204, 204, 204, 204, 204, 204, 204, 204,
204, 204, 204, 544, 206, 266, 266, 266, 266, 266,
266, 193, 193, 193, 193, 193, 193, 193, 193, 193,
193, 193, 204, 204, 204, 204, 204, 204, 204, 204,
204, 204, 861, 707, 861, 861, 204, 204, 204, 204,
204, 204, 303, 303, 303, 303, 303, 303, 303, 303,
303, 303, 104, 104, 104, 104, 369, 226, 861, 861,
861, 193, 193, 193, 193, 193, 193, 285, 448, 286,
286, 286, 286, 286, 286, 286, 286, 286, 286, 165,
537, 861, 545, 165, 861, 105, 727, 131, 131, 165,
373, 373, 373, 373, 373, 373, 373, 373, 373, 373,
607, 540, 612, 165, 165, 861, 105, 104, 226, 290,
290, 290, 290, 290, 290, 290, 290, 290, 290, 371,
794, 546, 547, 290, 290, 290, 290, 290, 290, 410,
411, 412, 410, 410, 410, 410, 410, 410, 410, 526,
526, 526, 526, 526, 527, 794, 548, 569, 290, 290,
290, 290, 290, 290, 292, 293, 294, 294, 294, 294,
294, 294, 294, 294, 295, 549, 533, 538, 296, 296,
296, 296, 296, 296, 442, 443, 444, 442, 442, 442,
442, 442, 442, 442, 672, 105, 131, 564, 543, 550,
534, 539, 565, 296, 296, 296, 296, 296, 296, 226,
299, 300, 301, 299, 299, 299, 299, 299, 299, 299,
302, 105, 544, 681, 303, 303, 303, 303, 303, 303,
380, 380, 380, 380, 380, 380, 380, 380, 380, 380,
481, 794, 482, 482, 482, 482, 482, 482, 811, 303,
303, 303, 303, 303, 303, 304, 304, 304, 304, 304,
304, 304, 304, 304, 304, 123, 547, 549, 533, 304,
304, 304, 304, 304, 304, 369, 226, 446, 446, 446,
446, 446, 446, 131, 697, 697, 697, 371, 538, 606,
548, 550, 534, 811, 290, 290, 290, 290, 290, 290,
131, 131, 131, 131, 131, 131, 131, 131, 131, 131,
861, 726, 539, 131, 131, 131, 131, 131, 131, 131,
450, 450, 450, 450, 450, 450, 450, 450, 450, 450,
431, 226, 432, 432, 432, 432, 432, 432, 226, 104,
104, 104, 104, 104, 104, 335, 543, 338, 338, 338,
338, 338, 339, 336, 336, 336, 336, 340, 340, 340,
340, 340, 340, 340, 340, 340, 340, 123, 226, 105,
544, 340, 340, 340, 340, 340, 340, 457, 457, 457,
457, 457, 457, 457, 457, 457, 457, 572, 572, 572,
572, 572, 573, 731, 732, 226, 340, 340, 340, 340,
340, 340, 341, 341, 341, 341, 341, 341, 341, 341,
341, 341, 861, 226, 547, 707, 341, 341, 341, 341,
341, 341, 226, 105, 448, 369, 226, 521, 521, 521,
521, 521, 521, 448, 610, 369, 226, 448, 548, 131,
618, 340, 340, 340, 340, 340, 340, 358, 359, 360,
358, 358, 358, 358, 358, 358, 358, 525, 525, 525,
525, 525, 525, 525, 525, 525, 525, 558, 559, 560,
558, 558, 558, 558, 558, 558, 558, 581, 581, 581,
581, 581, 582, 643, 105, 363, 363, 364, 365, 365,
365, 365, 365, 365, 365, 295, 369, 226, 370, 370,
370, 370, 370, 370, 370, 370, 370, 370, 371, 549,
109, 629, 372, 372, 372, 372, 372, 372, 571, 571,
571, 571, 571, 571, 571, 571, 571, 571, 204, 671,
794, 861, 723, 550, 131, 131, 794, 372, 372, 372,
372, 372, 372, 226, 376, 377, 378, 376, 376, 376,
376, 376, 376, 376, 379, 861, 369, 226, 380, 380,
380, 380, 380, 380, 728, 743, 669, 541, 448, 131,
733, 743, 542, 513, 513, 513, 513, 513, 513, 513,
513, 513, 513, 380, 380, 380, 380, 380, 380, 861,
670, 372, 372, 372, 372, 372, 372, 372, 372, 372,
372, 413, 413, 413, 413, 413, 413, 413, 413, 413,
413, 743, 778, 131, 131, 413, 413, 413, 413, 413,
413, 580, 580, 580, 580, 580, 580, 580, 580, 580,
580, 514, 673, 515, 515, 515, 515, 515, 515, 692,
413, 413, 413, 413, 413, 413, 414, 414, 414, 414,
414, 414, 414, 414, 414, 414, 674, 743, 673, 675,
414, 414, 414, 414, 414, 414, 588, 589, 590, 588,
588, 588, 588, 588, 588, 588, 779, 131, 105, 131,
369, 226, 674, 676, 742, 413, 413, 413, 413, 413,
413, 431, 523, 432, 432, 432, 432, 432, 432, 432,
432, 432, 432, 431, 576, 433, 433, 433, 433, 433,
433, 433, 433, 433, 433, 431, 578, 434, 434, 434,
434, 434, 435, 432, 432, 432, 432, 437, 437, 437,
437, 437, 437, 437, 437, 437, 437, 295, 369, 226,
446, 446, 446, 446, 446, 446, 446, 446, 446, 446,
371, 679, 109, 675, 445, 445, 445, 445, 445, 445,
532, 532, 532, 532, 532, 532, 532, 532, 532, 532,
598, 598, 598, 598, 598, 599, 809, 676, 131, 445,
445, 445, 445, 445, 445, 369, 226, 447, 447, 447,
447, 447, 447, 447, 447, 447, 447, 448, 861, 226,
131, 449, 449, 449, 449, 449, 449, 680, 861, 131,
523, 369, 226, 593, 593, 593, 593, 593, 593, 609,
578, 669, 724, 523, 731, 732, 449, 449, 449, 449,
449, 449, 226, 453, 454, 455, 453, 453, 453, 453,
453, 453, 453, 456, 782, 670, 725, 457, 457, 457,
457, 457, 457, 597, 597, 597, 597, 597, 597, 597,
597, 597, 597, 104, 104, 104, 104, 673, 131, 131,
810, 109, 457, 457, 457, 457, 457, 457, 861, 611,
449, 449, 449, 449, 449, 449, 449, 449, 449, 449,
481, 674, 484, 484, 484, 484, 484, 485, 482, 482,
482, 482, 413, 413, 413, 413, 413, 413, 413, 413,
413, 413, 105, 109, 105, 675, 413, 413, 413, 413,
413, 413, 616, 637, 638, 639, 637, 637, 637, 637,
637, 637, 637, 646, 646, 646, 646, 646, 647, 676,
732, 413, 413, 413, 413, 413, 413, 502, 503, 504,
502, 502, 502, 502, 502, 502, 502, 587, 587, 587,
587, 587, 587, 587, 587, 587, 587, 576, 576, 641,
641, 641, 641, 641, 641, 226, 829, 830, 781, 578,
578, 692, 105, 789, 105, 431, 448, 432, 432, 432,
432, 432, 432, 432, 432, 432, 432, 431, 734, 432,
432, 432, 432, 432, 432, 432, 432, 432, 432, 509,
510, 511, 509, 509, 509, 509, 509, 509, 509, 512,
105, 682, 105, 513, 513, 513, 513, 513, 513, 645,
645, 645, 645, 645, 645, 645, 645, 645, 645, 824,
824, 824, 824, 682, 226, 682, 682, 780, 513, 513,
513, 513, 513, 513, 514, 523, 517, 517, 517, 517,
517, 518, 515, 515, 515, 515, 369, 226, 521, 521,
521, 521, 521, 521, 521, 521, 521, 521, 448, 369,
226, 724, 520, 520, 520, 520, 520, 520, 369, 226,
576, 523, 861, 226, 664, 664, 664, 664, 664, 665,
595, 131, 643, 861, 595, 725, 226, 520, 520, 520,
520, 520, 520, 369, 226, 522, 522, 522, 522, 522,
522, 522, 522, 522, 522, 523, 336, 861, 336, 524,
524, 524, 524, 524, 524, 369, 226, 660, 660, 660,
660, 660, 660, 829, 830, 751, 226, 595, 710, 710,
710, 710, 710, 711, 524, 524, 524, 524, 524, 524,
226, 528, 529, 530, 528, 528, 528, 528, 528, 528,
528, 531, 682, 226, 861, 532, 532, 532, 532, 532,
532, 663, 663, 663, 663, 663, 663, 663, 663, 663,
663, 175, 175, 175, 682, 861, 682, 683, 861, 861,
532, 532, 532, 532, 532, 532, 861, 643, 524, 524,
524, 524, 524, 524, 524, 524, 524, 524, 104, 533,
750, 105, 111, 861, 104, 111, 219, 104, 104, 219,
104, 104, 104, 131, 131, 131, 131, 131, 131, 131,
131, 131, 131, 534, 749, 643, 104, 131, 131, 131,
131, 131, 131, 131, 131, 131, 131, 131, 131, 131,
131, 131, 131, 131, 131, 131, 131, 131, 131, 131,
105, 131, 104, 104, 104, 104, 104, 104, 104, 104,
104, 104, 104, 104, 104, 104, 104, 104, 104, 569,
570, 570, 570, 570, 570, 570, 570, 570, 570, 570,
684, 685, 686, 687, 684, 684, 684, 684, 684, 684,
619, 620, 620, 620, 620, 620, 620, 694, 694, 694,
694, 694, 694, 694, 694, 694, 694, 105, 576, 576,
577, 577, 577, 577, 577, 577, 577, 577, 577, 577,
578, 643, 620, 620, 579, 579, 579, 579, 579, 579,
695, 695, 695, 695, 695, 696, 697, 697, 697, 697,
653, 578, 654, 654, 654, 654, 654, 654, 698, 579,
579, 579, 579, 579, 579, 583, 584, 585, 583, 583,
583, 583, 583, 583, 583, 586, 698, 724, 776, 587,
587, 587, 587, 587, 587, 652, 652, 652, 652, 652,
652, 652, 652, 652, 652, 743, 698, 748, 748, 748,
226, 725, 777, 743, 587, 587, 587, 587, 587, 587,
861, 523, 579, 579, 579, 579, 579, 579, 579, 579,
579, 579, 369, 226, 593, 593, 593, 593, 593, 593,
593, 593, 593, 593, 523, 776, 621, 621, 592, 592,
592, 592, 592, 592, 576, 576, 705, 705, 705, 705,
705, 705, 175, 175, 175, 743, 643, 707, 736, 777,
737, 738, 739, 592, 592, 592, 592, 592, 592, 369,
226, 594, 594, 594, 594, 594, 594, 594, 594, 594,
594, 595, 131, 620, 620, 596, 596, 596, 596, 596,
596, 709, 709, 709, 709, 709, 709, 709, 709, 709,
709, 369, 226, 722, 722, 722, 722, 722, 722, 740,
596, 596, 596, 596, 596, 596, 226, 600, 601, 602,
600, 600, 600, 600, 600, 600, 600, 776, 729, 807,
861, 603, 603, 603, 603, 603, 603, 717, 718, 719,
717, 717, 717, 717, 717, 717, 717, 337, 482, 337,
482, 777, 226, 808, 861, 807, 603, 603, 603, 603,
603, 603, 861, 595, 596, 596, 596, 596, 596, 596,
596, 596, 596, 596, 104, 787, 131, 771, 771, 808,
104, 735, 735, 104, 104, 735, 104, 104, 104, 131,
131, 131, 131, 131, 131, 131, 131, 131, 131, 735,
735, 735, 104, 131, 131, 131, 131, 131, 131, 131,
131, 604, 131, 131, 131, 131, 131, 131, 131, 131,
131, 131, 131, 131, 131, 131, 105, 131, 104, 104,
104, 104, 104, 104, 104, 104, 104, 104, 104, 104,
104, 104, 104, 104, 104, 619, 622, 622, 622, 622,
622, 623, 620, 620, 620, 620, 193, 772, 772, 861,
193, 204, 204, 204, 204, 204, 204, 204, 204, 204,
204, 707, 193, 653, 807, 204, 204, 204, 204, 204,
204, 204, 204, 204, 204, 204, 204, 204, 204, 204,
204, 204, 204, 204, 204, 626, 204, 204, 808, 206,
193, 193, 193, 193, 193, 193, 193, 193, 193, 193,
193, 193, 193, 193, 193, 193, 193, 632, 633, 634,
635, 632, 632, 632, 632, 632, 632, 369, 226, 736,
653, 737, 738, 739, 483, 515, 483, 515, 576, 595,
755, 756, 757, 755, 755, 755, 755, 755, 755, 755,
707, 653, 578, 834, 105, 569, 570, 570, 570, 570,
570, 570, 570, 570, 570, 570, 698, 826, 699, 699,
699, 699, 699, 699, 765, 765, 765, 765, 765, 766,
742, 716, 716, 716, 716, 716, 716, 716, 716, 716,
716, 827, 105, 105, 576, 698, 641, 641, 641, 641,
641, 641, 641, 641, 641, 641, 578, 576, 576, 642,
642, 642, 642, 642, 642, 642, 642, 642, 642, 643,
762, 861, 826, 644, 644, 644, 644, 644, 644, 576,
698, 760, 760, 760, 760, 760, 760, 516, 508, 516,
861, 707, 861, 861, 861, 861, 827, 691, 644, 644,
644, 644, 644, 644, 648, 649, 650, 648, 648, 648,
648, 648, 648, 648, 651, 690, 689, 788, 652, 652,
652, 652, 652, 652, 764, 764, 764, 764, 764, 764,
764, 764, 764, 764, 482, 515, 482, 515, 654, 226,
654, 740, 688, 652, 652, 652, 652, 652, 652, 861,
595, 644, 644, 644, 644, 644, 644, 644, 644, 644,
644, 653, 619, 656, 656, 656, 656, 656, 657, 654,
654, 654, 654, 369, 226, 660, 660, 660, 660, 660,
660, 660, 660, 660, 660, 595, 619, 861, 826, 659,
659, 659, 659, 659, 659, 736, 619, 737, 738, 739,
861, 861, 737, 738, 739, 861, 105, 861, 861, 739,
678, 861, 827, 762, 659, 659, 659, 659, 659, 659,
369, 226, 661, 661, 661, 661, 661, 661, 661, 661,
661, 661, 816, 576, 677, 131, 662, 662, 662, 662,
662, 662, 655, 105, 655, 762, 740, 699, 700, 699,
700, 740, 654, 744, 654, 744, 740, 745, 699, 745,
699, 662, 662, 662, 662, 662, 662, 861, 226, 662,
662, 662, 662, 662, 662, 662, 662, 662, 662, 104,
741, 653, 741, 741, 741, 104, 741, 741, 104, 104,
741, 104, 104, 104, 131, 131, 131, 131, 131, 131,
131, 131, 131, 131, 741, 741, 741, 104, 131, 131,
131, 131, 131, 131, 131, 131, 131, 131, 131, 131,
131, 131, 131, 131, 131, 131, 131, 666, 131, 131,
131, 105, 131, 104, 104, 104, 104, 104, 104, 104,
104, 104, 104, 104, 104, 104, 104, 104, 104, 104,
669, 743, 653, 744, 744, 744, 744, 744, 744, 193,
795, 508, 795, 193, 204, 204, 204, 204, 204, 204,
204, 204, 204, 204, 670, 193, 367, 631, 204, 204,
204, 204, 204, 204, 204, 204, 204, 204, 204, 204,
204, 204, 204, 204, 204, 204, 204, 204, 204, 204,
204, 628, 206, 193, 193, 193, 193, 193, 193, 193,
193, 193, 193, 193, 193, 193, 193, 193, 193, 193,
692, 627, 693, 693, 693, 693, 693, 693, 693, 693,
693, 693, 784, 785, 786, 784, 784, 784, 784, 784,
784, 784, 770, 770, 770, 770, 770, 770, 770, 770,
770, 770, 805, 805, 805, 805, 805, 806, 783, 105,
698, 783, 701, 701, 701, 701, 701, 702, 699, 699,
699, 699, 576, 625, 705, 705, 705, 705, 705, 705,
705, 705, 705, 705, 643, 576, 624, 706, 706, 706,
706, 706, 706, 706, 706, 706, 706, 707, 796, 619,
796, 708, 708, 708, 708, 708, 708, 576, 619, 801,
801, 801, 801, 801, 801, 812, 614, 812, 794, 762,
795, 795, 795, 795, 795, 795, 708, 708, 708, 708,
708, 708, 712, 713, 714, 712, 712, 712, 712, 712,
712, 712, 715, 813, 613, 813, 716, 716, 716, 716,
716, 716, 804, 804, 804, 804, 804, 804, 804, 804,
804, 804, 226, 771, 771, 771, 771, 771, 771, 514,
514, 716, 716, 716, 716, 716, 716, 861, 514, 708,
708, 708, 708, 708, 708, 708, 708, 708, 708, 369,
226, 722, 722, 722, 722, 722, 722, 722, 722, 722,
722, 743, 508, 746, 746, 746, 746, 746, 747, 748,
748, 748, 748, 752, 753, 754, 752, 752, 752, 752,
752, 752, 752, 783, 783, 783, 783, 783, 783, 783,
783, 783, 783, 783, 783, 783, 783, 783, 783, 783,
783, 783, 783, 839, 839, 839, 839, 839, 839, 367,
105, 692, 295, 693, 693, 693, 693, 693, 693, 693,
693, 693, 693, 845, 568, 845, 789, 567, 790, 790,
790, 790, 790, 790, 820, 821, 822, 820, 820, 820,
820, 820, 820, 820, 858, 858, 858, 858, 858, 858,
105, 576, 566, 760, 760, 760, 760, 760, 760, 760,
760, 760, 760, 707, 576, 105, 761, 761, 761, 761,
761, 761, 761, 761, 761, 761, 762, 846, 563, 846,
763, 763, 763, 763, 763, 763, 831, 832, 833, 831,
831, 831, 831, 831, 831, 831, 811, 562, 812, 812,
812, 812, 812, 812, 561, 763, 763, 763, 763, 763,
763, 767, 768, 769, 767, 767, 767, 767, 767, 767,
767, 481, 481, 481, 553, 770, 770, 770, 770, 770,
770, 839, 839, 839, 839, 839, 839, 839, 839, 839,
839, 834, 552, 835, 835, 835, 835, 835, 835, 105,
770, 770, 770, 770, 770, 770, 861, 105, 763, 763,
763, 763, 763, 763, 763, 763, 763, 763, 226, 773,
773, 773, 773, 773, 774, 771, 771, 771, 771, 789,
105, 790, 790, 790, 790, 790, 790, 790, 790, 790,
790, 789, 105, 791, 791, 791, 791, 791, 791, 791,
791, 791, 791, 789, 105, 792, 792, 792, 792, 792,
793, 790, 790, 790, 790, 794, 514, 797, 797, 797,
797, 797, 798, 795, 795, 795, 795, 576, 514, 801,
801, 801, 801, 801, 801, 801, 801, 801, 801, 762,
576, 508, 802, 802, 802, 802, 802, 802, 802, 802,
802, 802, 367, 295, 295, 501, 803, 803, 803, 803,
803, 803, 840, 840, 840, 840, 840, 840, 840, 840,
840, 840, 844, 500, 845, 845, 845, 845, 845, 845,
499, 803, 803, 803, 803, 803, 803, 861, 498, 803,
803, 803, 803, 803, 803, 803, 803, 803, 803, 811,
497, 814, 814, 814, 814, 814, 815, 812, 812, 812,
812, 104, 496, 817, 818, 819, 817, 817, 817, 817,
817, 817, 817, 789, 495, 790, 790, 790, 790, 790,
790, 790, 790, 790, 790, 789, 494, 790, 790, 790,
790, 790, 790, 790, 790, 790, 790, 576, 493, 825,
825, 825, 825, 825, 825, 825, 825, 825, 825, 834,
492, 835, 835, 835, 835, 835, 835, 835, 835, 835,
835, 834, 491, 836, 836, 836, 836, 836, 836, 836,
836, 836, 836, 834, 490, 837, 837, 837, 837, 837,
838, 835, 835, 835, 835, 841, 841, 841, 841, 841,
842, 839, 839, 839, 839, 844, 489, 847, 847, 847,
847, 847, 848, 845, 845, 845, 845, 104, 488, 849,
850, 851, 849, 849, 849, 849, 849, 849, 849, 834,
487, 835, 835, 835, 835, 835, 835, 835, 835, 835,
835, 834, 486, 835, 835, 835, 835, 835, 835, 835,
835, 835, 835, 839, 839, 839, 839, 839, 839, 839,
839, 839, 839, 839, 839, 839, 839, 839, 839, 839,
839, 839, 839, 852, 853, 854, 852, 852, 852, 852,
852, 852, 852, 855, 855, 855, 855, 855, 855, 855,
855, 855, 855, 858, 858, 858, 858, 858, 858, 858,
858, 858, 858, 852, 852, 852, 852, 852, 852, 852,
852, 852, 852, 855, 855, 855, 855, 855, 855, 861,
105, 849, 849, 849, 849, 849, 849, 849, 849, 849,
849, 859, 859, 859, 859, 859, 860, 858, 858, 858,
858, 843, 481, 481, 843, 403, 476, 475, 843, 469,
105, 468, 467, 466, 465, 464, 463, 462, 105, 856,
856, 856, 856, 856, 857, 855, 855, 855, 855, 858,
858, 858, 858, 858, 858, 858, 858, 858, 858, 461,
460, 459, 458, 440, 367, 295, 436, 295, 129, 430,
429, 428, 425, 424, 423, 422, 105, 855, 855, 855,
855, 855, 855, 855, 855, 855, 855, 421, 420, 419,
418, 415, 335, 335, 335, 403, 405, 403, 404, 403,
397, 396, 395, 394, 393, 392, 391, 390, 389, 384,
383, 123, 295, 367, 105, 63, 63, 63, 63, 63,
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
63, 63, 63, 63, 63, 63, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 72, 72, 72,
72, 72, 72, 72, 72, 72, 72, 72, 72, 72,
72, 72, 72, 72, 72, 72, 72, 72, 79, 79,
79, 79, 79, 79, 79, 79, 79, 79, 79, 79,
79, 79, 79, 79, 79, 79, 79, 79, 79, 104,
295, 129, 109, 357, 353, 352, 104, 351, 104, 104,
104, 104, 350, 349, 104, 104, 104, 104, 104, 104,
108, 108, 108, 108, 108, 108, 108, 108, 108, 108,
108, 108, 108, 108, 108, 108, 108, 108, 108, 108,
108, 112, 348, 347, 346, 345, 112, 344, 112, 343,
112, 112, 112, 112, 112, 342, 112, 112, 112, 112,
112, 112, 116, 197, 335, 335, 262, 332, 329, 116,
328, 116, 116, 116, 116, 327, 326, 116, 116, 116,
116, 116, 116, 118, 325, 320, 118, 118, 319, 118,
118, 318, 118, 118, 118, 118, 317, 316, 118, 118,
118, 118, 118, 118, 128, 128, 315, 128, 314, 313,
312, 128, 164, 311, 310, 164, 164, 309, 164, 164,
308, 164, 164, 164, 164, 307, 306, 164, 164, 164,
164, 164, 164, 168, 305, 129, 168, 168, 121, 168,
168, 109, 168, 168, 168, 168, 109, 168, 168, 168,
283, 168, 168, 168, 176, 282, 281, 176, 280, 273,
176, 176, 272, 176, 176, 176, 176, 176, 271, 176,
176, 176, 176, 176, 176, 180, 180, 180, 180, 180,
180, 180, 180, 180, 180, 180, 180, 180, 180, 180,
180, 180, 180, 180, 180, 180, 182, 182, 270, 182,
269, 182, 182, 182, 182, 182, 182, 182, 182, 182,
182, 182, 182, 182, 182, 182, 182, 188, 861, 194,
262, 182, 188, 183, 188, 177, 188, 188, 188, 188,
188, 177, 188, 188, 188, 188, 188, 188, 192, 169,
260, 163, 163, 253, 252, 192, 251, 192, 192, 192,
192, 250, 192, 192, 192, 192, 192, 192, 192, 195,
249, 246, 195, 195, 245, 195, 195, 244, 195, 195,
195, 195, 243, 195, 195, 195, 195, 195, 195, 195,
216, 216, 216, 216, 216, 216, 216, 216, 216, 216,
216, 216, 216, 216, 216, 216, 216, 216, 216, 216,
216, 217, 217, 242, 217, 217, 217, 217, 217, 217,
217, 217, 217, 217, 217, 217, 217, 217, 217, 217,
217, 217, 119, 235, 234, 119, 119, 233, 119, 119,
232, 119, 119, 119, 119, 231, 230, 119, 119, 119,
119, 119, 119, 128, 128, 129, 128, 104, 129, 196,
128, 225, 225, 117, 225, 218, 109, 107, 225, 227,
227, 227, 106, 227, 105, 213, 212, 227, 164, 211,
210, 164, 164, 209, 164, 164, 204, 164, 164, 164,
164, 183, 177, 164, 164, 164, 164, 164, 164, 165,
169, 139, 165, 165, 136, 165, 165, 163, 165, 165,
165, 165, 162, 159, 165, 165, 165, 165, 165, 165,
168, 157, 143, 168, 168, 142, 168, 168, 141, 168,
168, 168, 168, 138, 168, 168, 168, 137, 168, 168,
168, 176, 131, 129, 176, 117, 107, 176, 176, 106,
176, 176, 176, 176, 176, 105, 176, 176, 176, 176,
176, 176, 182, 182, 861, 182, 861, 182, 182, 182,
182, 182, 182, 182, 182, 182, 182, 182, 182, 182,
182, 182, 182, 191, 861, 861, 861, 861, 861, 861,
191, 861, 191, 191, 191, 191, 861, 861, 191, 191,
191, 191, 191, 191, 192, 861, 861, 861, 861, 861,
861, 192, 861, 192, 192, 192, 192, 861, 192, 192,
192, 192, 192, 192, 192, 195, 861, 861, 195, 195,
861, 195, 195, 861, 195, 195, 195, 195, 861, 195,
195, 195, 195, 195, 195, 195, 206, 861, 861, 206,
206, 861, 206, 284, 284, 284, 284, 284, 284, 284,
284, 284, 284, 284, 284, 284, 284, 284, 284, 284,
284, 284, 284, 284, 291, 291, 861, 291, 861, 861,
861, 291, 297, 297, 297, 861, 297, 861, 861, 861,
297, 361, 361, 861, 361, 861, 861, 861, 361, 362,
362, 861, 362, 861, 861, 861, 362, 366, 366, 861,
366, 861, 861, 861, 366, 368, 368, 368, 861, 368,
861, 861, 861, 368, 206, 861, 861, 206, 206, 861,
206, 436, 436, 861, 436, 861, 861, 861, 436, 438,
438, 861, 438, 861, 861, 861, 438, 439, 439, 861,
439, 861, 861, 861, 439, 441, 441, 441, 861, 441,
861, 861, 861, 441, 445, 445, 445, 445, 861, 445,
861, 861, 861, 445, 505, 505, 861, 505, 861, 861,
861, 505, 506, 506, 861, 506, 861, 861, 861, 506,
507, 507, 861, 507, 861, 861, 861, 507, 519, 519,
519, 861, 519, 861, 861, 861, 519, 520, 520, 520,
520, 861, 520, 861, 861, 861, 520, 216, 216, 216,
216, 216, 216, 216, 216, 216, 216, 216, 216, 216,
216, 216, 216, 216, 216, 216, 216, 216, 574, 574,
861, 574, 861, 861, 861, 574, 575, 575, 861, 575,
861, 861, 861, 575, 591, 591, 591, 861, 591, 861,
861, 861, 591, 592, 592, 592, 592, 861, 592, 861,
861, 861, 592, 216, 216, 216, 216, 216, 216, 216,
216, 216, 216, 216, 216, 216, 216, 216, 216, 216,
216, 216, 216, 216, 206, 861, 861, 206, 206, 861,
206, 193, 861, 861, 861, 193, 193, 861, 193, 193,
193, 861, 861, 193, 193, 636, 636, 861, 636, 861,
861, 861, 636, 640, 861, 640, 640, 861, 640, 861,
861, 861, 640, 658, 658, 658, 861, 658, 861, 861,
861, 658, 659, 659, 659, 659, 861, 659, 861, 861,
861, 659, 603, 603, 861, 861, 603, 861, 861, 861,
603, 216, 216, 216, 216, 216, 216, 216, 216, 216,
216, 216, 216, 216, 216, 216, 216, 216, 216, 216,
216, 216, 206, 861, 861, 206, 206, 861, 206, 193,
861, 861, 861, 193, 193, 861, 193, 193, 193, 861,
861, 193, 193, 703, 703, 861, 703, 861, 861, 861,
703, 704, 861, 704, 704, 861, 704, 861, 861, 861,
704, 720, 720, 720, 861, 720, 861, 861, 861, 720,
721, 721, 721, 861, 861, 721, 861, 861, 861, 721,
730, 730, 730, 730, 730, 730, 730, 730, 730, 730,
730, 730, 730, 730, 730, 730, 730, 730, 730, 730,
730, 735, 735, 861, 735, 735, 735, 861, 735, 861,
735, 735, 735, 735, 861, 861, 735, 735, 735, 735,
735, 735, 741, 741, 861, 741, 741, 741, 861, 741,
861, 741, 741, 741, 741, 861, 861, 741, 741, 741,
741, 741, 741, 206, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 206, 206, 861, 206, 206, 861,
206, 758, 758, 861, 758, 861, 861, 861, 758, 759,
861, 759, 759, 861, 759, 861, 861, 861, 759, 775,
775, 861, 861, 775, 861, 861, 861, 775, 741, 861,
861, 861, 861, 861, 861, 741, 861, 741, 741, 741,
741, 861, 861, 741, 741, 741, 741, 741, 741, 799,
799, 861, 799, 861, 861, 861, 799, 800, 861, 800,
800, 861, 800, 861, 861, 861, 800, 823, 823, 861,
823, 861, 861, 861, 823, 824, 861, 824, 861, 861,
824, 861, 861, 861, 824, 828, 828, 828, 828, 828,
828, 828, 828, 828, 828, 828, 828, 828, 828, 828,
828, 828, 828, 828, 828, 828, 15, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861
} ;
static yyconst short int yy_chk[5659] =
{ 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, 2, 51, 3, 80, 2, 36, 3, 42, 37,
54, 4, 37, 3, 52, 4, 3, 36, 5, 5,
5, 4, 5, 42, 4, 56, 74, 51, 5, 39,
22, 2, 2, 52, 39, 56, 2, 855, 54, 70,
70, 3, 5, 5, 2, 3, 3, 2, 3, 4,
22, 93, 74, 4, 4, 80, 4, 6, 6, 6,
76, 6, 93, 11, 11, 11, 11, 6, 81, 5,
3, 12, 12, 12, 12, 27, 27, 22, 4, 27,
27, 6, 6, 78, 78, 103, 76, 9, 9, 9,
9, 9, 83, 83, 103, 83, 9, 9, 9, 27,
30, 30, 30, 30, 30, 30, 84, 48, 6, 7,
7, 7, 9, 7, 11, 155, 48, 81, 62, 129,
94, 157, 12, 94, 27, 48, 84, 62, 155, 322,
129, 10, 10, 10, 10, 10, 62, 157, 9, 112,
10, 10, 10, 29, 29, 29, 29, 29, 29, 29,
29, 29, 29, 84, 49, 146, 10, 146, 322, 112,
7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
7, 7, 7, 7, 7, 7, 7, 7, 7, 8,
8, 8, 10, 8, 49, 49, 112, 847, 160, 49,
89, 89, 89, 89, 89, 89, 354, 49, 160, 354,
49, 88, 88, 88, 88, 88, 88, 88, 88, 88,
88, 110, 110, 110, 110, 110, 110, 110, 110, 110,
110, 127, 127, 127, 127, 127, 127, 170, 170, 846,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 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,
21, 147, 144, 144, 174, 174, 147, 167, 156, 154,
21, 158, 167, 21, 21, 21, 21, 21, 21, 21,
21, 21, 21, 28, 158, 28, 28, 28, 28, 28,
28, 28, 28, 28, 28, 28, 186, 186, 286, 28,
28, 28, 28, 28, 28, 323, 184, 59, 59, 138,
138, 59, 59, 144, 156, 138, 138, 159, 257, 138,
248, 138, 28, 159, 28, 28, 28, 28, 28, 28,
34, 59, 154, 255, 248, 257, 34, 286, 255, 34,
34, 323, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 59, 184, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 38, 38, 38, 38, 38, 38, 38, 38, 38,
38, 38, 258, 254, 258, 38, 38, 38, 38, 38,
38, 259, 398, 181, 181, 38, 111, 111, 111, 111,
111, 111, 111, 111, 111, 111, 259, 261, 331, 331,
38, 38, 38, 38, 38, 38, 46, 46, 46, 46,
46, 261, 46, 46, 845, 398, 46, 125, 125, 125,
125, 125, 125, 125, 125, 125, 125, 254, 185, 832,
46, 46, 46, 47, 181, 47, 47, 47, 47, 47,
47, 47, 47, 47, 47, 50, 68, 68, 68, 114,
68, 294, 294, 294, 68, 50, 68, 479, 50, 50,
50, 50, 50, 50, 50, 50, 50, 50, 148, 114,
68, 68, 282, 282, 479, 282, 105, 185, 105, 105,
105, 85, 105, 105, 188, 177, 105, 85, 177, 177,
85, 305, 330, 85, 85, 177, 114, 68, 148, 148,
105, 105, 105, 148, 188, 50, 69, 85, 309, 85,
177, 148, 308, 290, 148, 305, 69, 308, 227, 69,
69, 69, 69, 69, 69, 69, 69, 69, 69, 227,
324, 188, 309, 85, 85, 86, 324, 831, 86, 86,
290, 86, 86, 86, 86, 344, 297, 86, 86, 115,
344, 115, 115, 330, 334, 115, 115, 297, 400, 115,
334, 86, 86, 86, 126, 126, 126, 126, 126, 126,
126, 126, 126, 126, 115, 115, 162, 162, 162, 162,
162, 162, 162, 162, 162, 162, 828, 86, 86, 87,
333, 400, 87, 87, 87, 87, 87, 87, 87, 87,
87, 87, 87, 87, 87, 87, 333, 342, 87, 87,
87, 87, 87, 87, 87, 87, 87, 87, 87, 87,
87, 87, 87, 87, 87, 87, 87, 87, 87, 87,
87, 342, 399, 87, 87, 87, 87, 87, 87, 87,
87, 87, 87, 87, 87, 87, 87, 87, 87, 87,
90, 345, 90, 90, 90, 90, 90, 90, 90, 90,
90, 90, 90, 399, 567, 567, 90, 90, 90, 90,
90, 90, 368, 825, 117, 345, 117, 117, 117, 321,
117, 117, 321, 368, 117, 202, 202, 202, 202, 202,
202, 90, 90, 90, 90, 90, 90, 91, 117, 117,
117, 91, 91, 91, 91, 91, 91, 91, 91, 91,
91, 91, 91, 91, 321, 381, 91, 91, 91, 91,
91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
91, 91, 91, 91, 91, 91, 91, 91, 91, 381,
91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
91, 91, 91, 91, 91, 91, 91, 91, 95, 95,
95, 95, 95, 95, 95, 95, 95, 95, 95, 406,
606, 606, 95, 95, 95, 95, 95, 95, 402, 823,
118, 118, 95, 402, 118, 118, 173, 173, 173, 173,
173, 173, 173, 173, 173, 173, 387, 95, 95, 95,
95, 95, 95, 101, 118, 101, 101, 101, 101, 101,
101, 101, 101, 101, 101, 120, 189, 120, 120, 120,
387, 120, 120, 247, 247, 120, 247, 401, 474, 118,
222, 222, 222, 222, 222, 222, 189, 406, 474, 120,
120, 120, 121, 121, 121, 121, 121, 121, 121, 121,
121, 121, 164, 164, 211, 211, 164, 164, 247, 814,
211, 211, 401, 189, 211, 480, 211, 166, 541, 166,
166, 166, 541, 166, 166, 480, 164, 166, 432, 121,
122, 122, 122, 122, 122, 122, 122, 122, 122, 122,
536, 166, 166, 166, 122, 122, 122, 122, 122, 122,
536, 164, 197, 197, 197, 197, 197, 197, 197, 197,
197, 197, 289, 289, 289, 289, 605, 432, 605, 122,
122, 122, 122, 122, 122, 130, 130, 130, 130, 130,
130, 130, 130, 130, 130, 130, 332, 813, 407, 130,
130, 130, 130, 130, 130, 200, 200, 200, 200, 200,
200, 200, 200, 200, 200, 301, 301, 301, 301, 301,
301, 407, 554, 332, 130, 130, 130, 130, 130, 130,
131, 131, 131, 131, 131, 131, 131, 131, 131, 131,
131, 332, 370, 370, 131, 131, 131, 131, 131, 131,
190, 408, 190, 190, 370, 192, 190, 190, 409, 477,
190, 192, 408, 409, 192, 372, 372, 192, 192, 131,
131, 131, 131, 131, 131, 190, 190, 372, 554, 459,
196, 192, 441, 192, 196, 194, 812, 194, 194, 194,
196, 194, 194, 441, 339, 194, 339, 339, 339, 339,
339, 339, 445, 459, 196, 196, 478, 192, 192, 194,
194, 194, 195, 445, 477, 195, 195, 478, 195, 195,
195, 195, 459, 803, 195, 195, 201, 201, 201, 201,
201, 201, 201, 201, 201, 201, 802, 460, 195, 195,
195, 218, 218, 218, 218, 218, 218, 218, 218, 218,
218, 219, 219, 219, 219, 219, 219, 219, 219, 219,
219, 460, 556, 800, 195, 195, 198, 198, 198, 198,
198, 198, 198, 198, 198, 198, 661, 661, 556, 460,
198, 198, 198, 198, 198, 198, 221, 221, 221, 221,
221, 221, 221, 221, 221, 221, 378, 378, 378, 378,
378, 378, 446, 446, 462, 198, 198, 198, 198, 198,
198, 203, 662, 662, 446, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 462, 465,
203, 203, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 203, 465, 203, 203, 203, 203, 203, 203,
203, 203, 203, 203, 203, 203, 203, 203, 203, 203,
203, 203, 204, 204, 204, 204, 204, 204, 204, 204,
204, 204, 204, 799, 466, 461, 204, 204, 204, 204,
204, 204, 298, 298, 298, 298, 298, 298, 298, 298,
298, 298, 573, 573, 573, 573, 447, 447, 466, 461,
463, 204, 204, 204, 204, 204, 204, 220, 447, 220,
220, 220, 220, 220, 220, 220, 220, 220, 220, 260,
461, 467, 466, 260, 463, 551, 671, 671, 540, 260,
300, 300, 300, 300, 300, 300, 300, 300, 300, 300,
540, 463, 551, 260, 260, 467, 220, 223, 519, 223,
223, 223, 223, 223, 223, 223, 223, 223, 223, 519,
797, 467, 468, 223, 223, 223, 223, 223, 223, 335,
335, 335, 335, 335, 335, 335, 335, 335, 335, 455,
455, 455, 455, 455, 455, 796, 468, 570, 223, 223,
223, 223, 223, 223, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 469, 486, 489, 226, 226,
226, 226, 226, 226, 369, 369, 369, 369, 369, 369,
369, 369, 369, 369, 609, 570, 609, 491, 492, 469,
486, 489, 491, 226, 226, 226, 226, 226, 226, 228,
228, 228, 228, 228, 228, 228, 228, 228, 228, 228,
228, 616, 492, 616, 228, 228, 228, 228, 228, 228,
371, 371, 371, 371, 371, 371, 371, 371, 371, 371,
485, 795, 485, 485, 485, 485, 485, 485, 785, 228,
228, 228, 228, 228, 228, 229, 229, 229, 229, 229,
229, 229, 229, 229, 229, 229, 495, 496, 533, 229,
229, 229, 229, 229, 229, 375, 375, 375, 375, 375,
375, 375, 375, 537, 635, 635, 635, 375, 538, 537,
495, 496, 533, 784, 229, 229, 229, 229, 229, 229,
230, 230, 230, 230, 230, 230, 230, 230, 230, 230,
230, 668, 538, 668, 230, 230, 230, 230, 230, 230,
377, 377, 377, 377, 377, 377, 377, 377, 377, 377,
435, 775, 435, 435, 435, 435, 435, 435, 773, 230,
230, 230, 230, 230, 230, 265, 543, 265, 265, 265,
265, 265, 265, 265, 265, 265, 265, 266, 266, 266,
266, 266, 266, 266, 266, 266, 266, 266, 772, 435,
543, 266, 266, 266, 266, 266, 266, 448, 448, 448,
448, 448, 448, 448, 448, 448, 448, 504, 504, 504,
504, 504, 504, 679, 679, 771, 266, 266, 266, 266,
266, 266, 268, 268, 268, 268, 268, 268, 268, 268,
268, 268, 449, 449, 547, 759, 268, 268, 268, 268,
268, 268, 520, 557, 449, 452, 452, 452, 452, 452,
452, 452, 452, 520, 545, 722, 722, 452, 547, 545,
557, 268, 268, 268, 268, 268, 268, 285, 285, 285,
285, 285, 285, 285, 285, 285, 285, 454, 454, 454,
454, 454, 454, 454, 454, 454, 454, 481, 481, 481,
481, 481, 481, 481, 481, 481, 481, 511, 511, 511,
511, 511, 511, 758, 285, 293, 293, 293, 293, 293,
293, 293, 293, 293, 293, 293, 299, 299, 299, 299,
299, 299, 299, 299, 299, 299, 299, 299, 299, 549,
680, 566, 299, 299, 299, 299, 299, 299, 503, 503,
503, 503, 503, 503, 503, 503, 503, 503, 566, 608,
756, 464, 666, 549, 608, 666, 755, 299, 299, 299,
299, 299, 299, 302, 302, 302, 302, 302, 302, 302,
302, 302, 302, 302, 302, 464, 521, 521, 302, 302,
302, 302, 302, 302, 672, 748, 607, 464, 521, 672,
680, 746, 464, 508, 508, 508, 508, 508, 508, 508,
508, 508, 508, 302, 302, 302, 302, 302, 302, 303,
607, 303, 303, 303, 303, 303, 303, 303, 303, 303,
303, 340, 340, 340, 340, 340, 340, 340, 340, 340,
340, 745, 727, 607, 727, 340, 340, 340, 340, 340,
340, 510, 510, 510, 510, 510, 510, 510, 510, 510,
510, 518, 610, 518, 518, 518, 518, 518, 518, 693,
340, 340, 340, 340, 340, 340, 341, 341, 341, 341,
341, 341, 341, 341, 341, 341, 610, 744, 629, 630,
341, 341, 341, 341, 341, 341, 514, 514, 514, 514,
514, 514, 514, 514, 514, 514, 728, 728, 693, 610,
522, 522, 629, 630, 741, 341, 341, 341, 341, 341,
341, 358, 522, 358, 358, 358, 358, 358, 358, 358,
358, 358, 358, 359, 577, 359, 359, 359, 359, 359,
359, 359, 359, 359, 359, 360, 577, 360, 360, 360,
360, 360, 360, 360, 360, 360, 360, 363, 363, 363,
363, 363, 363, 363, 363, 363, 363, 363, 373, 373,
373, 373, 373, 373, 373, 373, 373, 373, 373, 373,
373, 615, 615, 611, 373, 373, 373, 373, 373, 373,
523, 523, 523, 523, 523, 523, 523, 523, 523, 523,
530, 530, 530, 530, 530, 530, 779, 611, 779, 373,
373, 373, 373, 373, 373, 376, 376, 376, 376, 376,
376, 376, 376, 376, 376, 376, 376, 376, 524, 524,
611, 376, 376, 376, 376, 376, 376, 615, 579, 542,
524, 527, 527, 527, 527, 527, 527, 527, 527, 542,
579, 669, 667, 527, 731, 731, 376, 376, 376, 376,
376, 376, 379, 379, 379, 379, 379, 379, 379, 379,
379, 379, 379, 379, 739, 669, 667, 379, 379, 379,
379, 379, 379, 529, 529, 529, 529, 529, 529, 529,
529, 529, 529, 696, 696, 696, 696, 673, 546, 667,
781, 781, 379, 379, 379, 379, 379, 379, 380, 546,
380, 380, 380, 380, 380, 380, 380, 380, 380, 380,
412, 673, 412, 412, 412, 412, 412, 412, 412, 412,
412, 412, 413, 413, 413, 413, 413, 413, 413, 413,
413, 413, 555, 733, 734, 675, 413, 413, 413, 413,
413, 413, 555, 576, 576, 576, 576, 576, 576, 576,
576, 576, 576, 585, 585, 585, 585, 585, 585, 675,
730, 413, 413, 413, 413, 413, 413, 431, 431, 431,
431, 431, 431, 431, 431, 431, 431, 578, 578, 578,
578, 578, 578, 578, 578, 578, 578, 582, 641, 582,
582, 582, 582, 582, 582, 591, 810, 810, 733, 582,
641, 697, 681, 790, 431, 433, 591, 433, 433, 433,
433, 433, 433, 433, 433, 433, 433, 434, 681, 434,
434, 434, 434, 434, 434, 434, 434, 434, 434, 440,
440, 440, 440, 440, 440, 440, 440, 440, 440, 440,
697, 678, 790, 440, 440, 440, 440, 440, 440, 584,
584, 584, 584, 584, 584, 584, 584, 584, 584, 806,
806, 806, 806, 678, 592, 678, 678, 729, 440, 440,
440, 440, 440, 440, 444, 592, 444, 444, 444, 444,
444, 444, 444, 444, 444, 444, 450, 450, 450, 450,
450, 450, 450, 450, 450, 450, 450, 450, 450, 593,
593, 688, 450, 450, 450, 450, 450, 450, 594, 594,
642, 593, 596, 596, 602, 602, 602, 602, 602, 602,
594, 723, 642, 691, 596, 688, 721, 450, 450, 450,
450, 450, 450, 453, 453, 453, 453, 453, 453, 453,
453, 453, 453, 453, 453, 453, 902, 691, 902, 453,
453, 453, 453, 453, 453, 599, 599, 599, 599, 599,
599, 599, 599, 829, 829, 691, 718, 599, 650, 650,
650, 650, 650, 650, 453, 453, 453, 453, 453, 453,
456, 456, 456, 456, 456, 456, 456, 456, 456, 456,
456, 456, 617, 717, 690, 456, 456, 456, 456, 456,
456, 601, 601, 601, 601, 601, 601, 601, 601, 601,
601, 875, 875, 875, 617, 644, 617, 617, 690, 689,
456, 456, 456, 456, 456, 456, 457, 644, 457, 457,
457, 457, 457, 457, 457, 457, 457, 457, 458, 458,
690, 617, 872, 689, 458, 872, 884, 458, 458, 884,
458, 458, 458, 458, 458, 458, 458, 458, 458, 458,
458, 458, 458, 458, 689, 704, 458, 458, 458, 458,
458, 458, 458, 458, 458, 458, 458, 458, 458, 458,
458, 458, 458, 458, 458, 458, 458, 458, 458, 458,
458, 458, 458, 458, 458, 458, 458, 458, 458, 458,
458, 458, 458, 458, 458, 458, 458, 458, 458, 502,
502, 502, 502, 502, 502, 502, 502, 502, 502, 502,
619, 619, 619, 619, 619, 619, 619, 619, 619, 619,
623, 623, 623, 623, 623, 623, 623, 633, 633, 633,
633, 633, 633, 633, 633, 633, 633, 502, 509, 705,
509, 509, 509, 509, 509, 509, 509, 509, 509, 509,
509, 705, 931, 931, 509, 509, 509, 509, 509, 509,
634, 634, 634, 634, 634, 634, 634, 634, 634, 634,
657, 703, 657, 657, 657, 657, 657, 657, 701, 509,
509, 509, 509, 509, 509, 512, 512, 512, 512, 512,
512, 512, 512, 512, 512, 512, 700, 724, 749, 512,
512, 512, 512, 512, 512, 643, 643, 643, 643, 643,
643, 643, 643, 643, 643, 687, 699, 687, 687, 687,
658, 724, 749, 685, 512, 512, 512, 512, 512, 512,
513, 658, 513, 513, 513, 513, 513, 513, 513, 513,
513, 513, 525, 525, 525, 525, 525, 525, 525, 525,
525, 525, 525, 525, 525, 726, 932, 932, 525, 525,
525, 525, 525, 525, 647, 706, 647, 647, 647, 647,
647, 647, 892, 892, 892, 684, 647, 706, 682, 726,
682, 682, 682, 525, 525, 525, 525, 525, 525, 528,
528, 528, 528, 528, 528, 528, 528, 528, 528, 528,
528, 528, 726, 943, 943, 528, 528, 528, 528, 528,
528, 649, 649, 649, 649, 649, 649, 649, 649, 649,
649, 665, 665, 665, 665, 665, 665, 665, 665, 682,
528, 528, 528, 528, 528, 528, 531, 531, 531, 531,
531, 531, 531, 531, 531, 531, 531, 776, 677, 778,
750, 531, 531, 531, 531, 531, 531, 653, 653, 653,
653, 653, 653, 653, 653, 653, 653, 903, 914, 903,
914, 776, 659, 778, 750, 787, 531, 531, 531, 531,
531, 531, 532, 659, 532, 532, 532, 532, 532, 532,
532, 532, 532, 532, 535, 750, 778, 962, 962, 787,
535, 740, 740, 535, 535, 740, 535, 535, 535, 535,
535, 535, 535, 535, 535, 535, 535, 535, 535, 740,
740, 740, 535, 535, 535, 535, 535, 535, 535, 535,
535, 535, 535, 535, 535, 535, 535, 535, 535, 535,
535, 535, 535, 535, 535, 535, 535, 535, 535, 535,
535, 535, 535, 535, 535, 535, 535, 535, 535, 535,
535, 535, 535, 535, 535, 560, 560, 560, 560, 560,
560, 560, 560, 560, 560, 560, 563, 963, 963, 708,
563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
563, 708, 563, 656, 807, 563, 563, 563, 563, 563,
563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
563, 563, 563, 563, 563, 563, 563, 563, 807, 563,
563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
563, 563, 563, 563, 563, 563, 563, 569, 569, 569,
569, 569, 569, 569, 569, 569, 569, 660, 660, 683,
655, 683, 683, 683, 915, 919, 915, 919, 760, 660,
698, 698, 698, 698, 698, 698, 698, 698, 698, 698,
760, 654, 640, 835, 569, 571, 571, 571, 571, 571,
571, 571, 571, 571, 571, 571, 702, 816, 702, 702,
702, 702, 702, 702, 714, 714, 714, 714, 714, 714,
683, 707, 707, 707, 707, 707, 707, 707, 707, 707,
707, 816, 835, 571, 580, 638, 580, 580, 580, 580,
580, 580, 580, 580, 580, 580, 580, 583, 761, 583,
583, 583, 583, 583, 583, 583, 583, 583, 583, 583,
761, 751, 826, 583, 583, 583, 583, 583, 583, 711,
637, 711, 711, 711, 711, 711, 711, 920, 636, 920,
735, 711, 735, 735, 735, 751, 826, 628, 583, 583,
583, 583, 583, 583, 586, 586, 586, 586, 586, 586,
586, 586, 586, 586, 586, 627, 625, 751, 586, 586,
586, 586, 586, 586, 713, 713, 713, 713, 713, 713,
713, 713, 713, 713, 924, 927, 924, 927, 937, 720,
937, 735, 624, 586, 586, 586, 586, 586, 586, 587,
720, 587, 587, 587, 587, 587, 587, 587, 587, 587,
587, 590, 622, 590, 590, 590, 590, 590, 590, 590,
590, 590, 590, 597, 597, 597, 597, 597, 597, 597,
597, 597, 597, 597, 597, 597, 621, 788, 809, 597,
597, 597, 597, 597, 597, 736, 620, 736, 736, 736,
737, 763, 737, 737, 737, 738, 618, 738, 738, 738,
614, 788, 809, 763, 597, 597, 597, 597, 597, 597,
600, 600, 600, 600, 600, 600, 600, 600, 600, 600,
600, 600, 788, 801, 613, 809, 600, 600, 600, 600,
600, 600, 938, 612, 938, 801, 736, 946, 947, 946,
947, 737, 950, 956, 950, 956, 738, 957, 959, 957,
959, 600, 600, 600, 600, 600, 600, 603, 595, 603,
603, 603, 603, 603, 603, 603, 603, 603, 603, 604,
742, 589, 742, 742, 742, 604, 742, 742, 604, 604,
742, 604, 604, 604, 604, 604, 604, 604, 604, 604,
604, 604, 604, 604, 742, 742, 742, 604, 604, 604,
604, 604, 604, 604, 604, 604, 604, 604, 604, 604,
604, 604, 604, 604, 604, 604, 604, 604, 604, 604,
604, 604, 604, 604, 604, 604, 604, 604, 604, 604,
604, 604, 604, 604, 604, 604, 604, 604, 604, 604,
626, 747, 588, 747, 747, 747, 747, 747, 747, 626,
967, 575, 967, 626, 626, 626, 626, 626, 626, 626,
626, 626, 626, 626, 626, 626, 574, 568, 626, 626,
626, 626, 626, 626, 626, 626, 626, 626, 626, 626,
626, 626, 626, 626, 626, 626, 626, 626, 626, 626,
626, 565, 626, 626, 626, 626, 626, 626, 626, 626,
626, 626, 626, 626, 626, 626, 626, 626, 626, 626,
632, 564, 632, 632, 632, 632, 632, 632, 632, 632,
632, 632, 743, 743, 743, 743, 743, 743, 743, 743,
743, 743, 762, 762, 762, 762, 762, 762, 762, 762,
762, 762, 769, 769, 769, 769, 769, 769, 965, 632,
639, 965, 639, 639, 639, 639, 639, 639, 639, 639,
639, 639, 645, 562, 645, 645, 645, 645, 645, 645,
645, 645, 645, 645, 645, 648, 561, 648, 648, 648,
648, 648, 648, 648, 648, 648, 648, 648, 968, 559,
968, 648, 648, 648, 648, 648, 648, 766, 558, 766,
766, 766, 766, 766, 766, 971, 553, 971, 798, 766,
798, 798, 798, 798, 798, 798, 648, 648, 648, 648,
648, 648, 651, 651, 651, 651, 651, 651, 651, 651,
651, 651, 651, 972, 552, 972, 651, 651, 651, 651,
651, 651, 768, 768, 768, 768, 768, 768, 768, 768,
768, 768, 774, 774, 774, 774, 774, 774, 774, 517,
516, 651, 651, 651, 651, 651, 651, 652, 515, 652,
652, 652, 652, 652, 652, 652, 652, 652, 652, 663,
663, 663, 663, 663, 663, 663, 663, 663, 663, 663,
663, 686, 507, 686, 686, 686, 686, 686, 686, 686,
686, 686, 686, 692, 692, 692, 692, 692, 692, 692,
692, 692, 692, 782, 782, 782, 782, 782, 782, 782,
782, 782, 782, 783, 783, 783, 783, 783, 783, 783,
783, 783, 783, 842, 842, 842, 842, 842, 842, 506,
692, 694, 505, 694, 694, 694, 694, 694, 694, 694,
694, 694, 694, 977, 501, 977, 793, 494, 793, 793,
793, 793, 793, 793, 794, 794, 794, 794, 794, 794,
794, 794, 794, 794, 860, 860, 860, 860, 860, 860,
694, 709, 493, 709, 709, 709, 709, 709, 709, 709,
709, 709, 709, 709, 712, 793, 712, 712, 712, 712,
712, 712, 712, 712, 712, 712, 712, 978, 490, 978,
712, 712, 712, 712, 712, 712, 811, 811, 811, 811,
811, 811, 811, 811, 811, 811, 815, 488, 815, 815,
815, 815, 815, 815, 487, 712, 712, 712, 712, 712,
712, 715, 715, 715, 715, 715, 715, 715, 715, 715,
715, 484, 483, 482, 476, 715, 715, 715, 715, 715,
715, 820, 820, 820, 820, 820, 820, 820, 820, 820,
820, 838, 475, 838, 838, 838, 838, 838, 838, 473,
715, 715, 715, 715, 715, 715, 716, 472, 716, 716,
716, 716, 716, 716, 716, 716, 716, 716, 719, 719,
719, 719, 719, 719, 719, 719, 719, 719, 719, 752,
838, 752, 752, 752, 752, 752, 752, 752, 752, 752,
752, 753, 471, 753, 753, 753, 753, 753, 753, 753,
753, 753, 753, 754, 470, 754, 754, 754, 754, 754,
754, 754, 754, 754, 754, 757, 443, 757, 757, 757,
757, 757, 757, 757, 757, 757, 757, 764, 442, 764,
764, 764, 764, 764, 764, 764, 764, 764, 764, 764,
767, 439, 767, 767, 767, 767, 767, 767, 767, 767,
767, 767, 438, 437, 436, 430, 767, 767, 767, 767,
767, 767, 821, 821, 821, 821, 821, 821, 821, 821,
821, 821, 848, 429, 848, 848, 848, 848, 848, 848,
428, 767, 767, 767, 767, 767, 767, 770, 427, 770,
770, 770, 770, 770, 770, 770, 770, 770, 770, 786,
426, 786, 786, 786, 786, 786, 786, 786, 786, 786,
786, 789, 425, 789, 789, 789, 789, 789, 789, 789,
789, 789, 789, 791, 424, 791, 791, 791, 791, 791,
791, 791, 791, 791, 791, 792, 423, 792, 792, 792,
792, 792, 792, 792, 792, 792, 792, 804, 422, 804,
804, 804, 804, 804, 804, 804, 804, 804, 804, 817,
421, 817, 817, 817, 817, 817, 817, 817, 817, 817,
817, 818, 420, 818, 818, 818, 818, 818, 818, 818,
818, 818, 818, 819, 419, 819, 819, 819, 819, 819,
819, 819, 819, 819, 819, 822, 822, 822, 822, 822,
822, 822, 822, 822, 822, 833, 418, 833, 833, 833,
833, 833, 833, 833, 833, 833, 833, 834, 417, 834,
834, 834, 834, 834, 834, 834, 834, 834, 834, 836,
416, 836, 836, 836, 836, 836, 836, 836, 836, 836,
836, 837, 415, 837, 837, 837, 837, 837, 837, 837,
837, 837, 837, 840, 840, 840, 840, 840, 840, 840,
840, 840, 840, 841, 841, 841, 841, 841, 841, 841,
841, 841, 841, 844, 844, 844, 844, 844, 844, 844,
844, 844, 844, 849, 849, 849, 849, 849, 849, 849,
849, 849, 849, 852, 852, 852, 852, 852, 852, 852,
852, 852, 852, 853, 853, 853, 853, 853, 853, 853,
853, 853, 853, 857, 857, 857, 857, 857, 857, 414,
849, 850, 850, 850, 850, 850, 850, 850, 850, 850,
850, 854, 854, 854, 854, 854, 854, 854, 854, 854,
854, 976, 411, 410, 976, 405, 404, 403, 976, 397,
857, 395, 394, 393, 392, 391, 390, 389, 850, 851,
851, 851, 851, 851, 851, 851, 851, 851, 851, 859,
859, 859, 859, 859, 859, 859, 859, 859, 859, 386,
385, 384, 383, 367, 366, 365, 364, 362, 361, 357,
356, 355, 353, 352, 351, 350, 851, 856, 856, 856,
856, 856, 856, 856, 856, 856, 856, 349, 348, 347,
346, 343, 338, 337, 336, 329, 328, 327, 326, 325,
319, 317, 316, 315, 314, 313, 312, 311, 310, 307,
306, 304, 296, 295, 856, 862, 862, 862, 862, 862,
862, 862, 862, 862, 862, 862, 862, 862, 862, 862,
862, 862, 862, 862, 862, 862, 863, 863, 863, 863,
863, 863, 863, 863, 863, 863, 863, 863, 863, 863,
863, 863, 863, 863, 863, 863, 863, 864, 864, 864,
864, 864, 864, 864, 864, 864, 864, 864, 864, 864,
864, 864, 864, 864, 864, 864, 864, 864, 865, 865,
865, 865, 865, 865, 865, 865, 865, 865, 865, 865,
865, 865, 865, 865, 865, 865, 865, 865, 865, 866,
292, 291, 284, 283, 281, 280, 866, 279, 866, 866,
866, 866, 278, 277, 866, 866, 866, 866, 866, 866,
867, 867, 867, 867, 867, 867, 867, 867, 867, 867,
867, 867, 867, 867, 867, 867, 867, 867, 867, 867,
867, 868, 276, 275, 274, 273, 868, 272, 868, 271,
868, 868, 868, 868, 868, 270, 868, 868, 868, 868,
868, 868, 869, 267, 264, 263, 262, 256, 253, 869,
252, 869, 869, 869, 869, 251, 250, 869, 869, 869,
869, 869, 869, 870, 249, 246, 870, 870, 245, 870,
870, 244, 870, 870, 870, 870, 243, 242, 870, 870,
870, 870, 870, 870, 871, 871, 241, 871, 240, 239,
238, 871, 873, 237, 236, 873, 873, 235, 873, 873,
234, 873, 873, 873, 873, 233, 232, 873, 873, 873,
873, 873, 873, 874, 231, 225, 874, 874, 224, 874,
874, 217, 874, 874, 874, 874, 216, 874, 874, 874,
215, 874, 874, 874, 876, 214, 213, 876, 212, 210,
876, 876, 209, 876, 876, 876, 876, 876, 208, 876,
876, 876, 876, 876, 876, 877, 877, 877, 877, 877,
877, 877, 877, 877, 877, 877, 877, 877, 877, 877,
877, 877, 877, 877, 877, 877, 878, 878, 207, 878,
205, 878, 878, 878, 878, 878, 878, 878, 878, 878,
878, 878, 878, 878, 878, 878, 878, 879, 199, 191,
187, 183, 879, 182, 879, 180, 879, 879, 879, 879,
879, 176, 879, 879, 879, 879, 879, 879, 880, 169,
165, 163, 161, 153, 152, 880, 151, 880, 880, 880,
880, 150, 880, 880, 880, 880, 880, 880, 880, 881,
149, 143, 881, 881, 142, 881, 881, 141, 881, 881,
881, 881, 140, 881, 881, 881, 881, 881, 881, 881,
882, 882, 882, 882, 882, 882, 882, 882, 882, 882,
882, 882, 882, 882, 882, 882, 882, 882, 882, 882,
882, 883, 883, 139, 883, 883, 883, 883, 883, 883,
883, 883, 883, 883, 883, 883, 883, 883, 883, 883,
883, 883, 885, 137, 136, 885, 885, 135, 885, 885,
134, 885, 885, 885, 885, 133, 132, 885, 885, 885,
885, 885, 885, 886, 886, 128, 886, 124, 123, 119,
886, 887, 887, 116, 887, 113, 108, 107, 887, 888,
888, 888, 106, 888, 104, 100, 99, 888, 889, 98,
97, 889, 889, 96, 889, 889, 92, 889, 889, 889,
889, 79, 72, 889, 889, 889, 889, 889, 889, 890,
65, 61, 890, 890, 60, 890, 890, 58, 890, 890,
890, 890, 57, 55, 890, 890, 890, 890, 890, 890,
891, 53, 45, 891, 891, 44, 891, 891, 43, 891,
891, 891, 891, 41, 891, 891, 891, 40, 891, 891,
891, 893, 35, 31, 893, 25, 19, 893, 893, 17,
893, 893, 893, 893, 893, 16, 893, 893, 893, 893,
893, 893, 894, 894, 15, 894, 0, 894, 894, 894,
894, 894, 894, 894, 894, 894, 894, 894, 894, 894,
894, 894, 894, 895, 0, 0, 0, 0, 0, 0,
895, 0, 895, 895, 895, 895, 0, 0, 895, 895,
895, 895, 895, 895, 896, 0, 0, 0, 0, 0,
0, 896, 0, 896, 896, 896, 896, 0, 896, 896,
896, 896, 896, 896, 896, 897, 0, 0, 897, 897,
0, 897, 897, 0, 897, 897, 897, 897, 0, 897,
897, 897, 897, 897, 897, 897, 898, 0, 0, 898,
898, 0, 898, 899, 899, 899, 899, 899, 899, 899,
899, 899, 899, 899, 899, 899, 899, 899, 899, 899,
899, 899, 899, 899, 900, 900, 0, 900, 0, 0,
0, 900, 901, 901, 901, 0, 901, 0, 0, 0,
901, 904, 904, 0, 904, 0, 0, 0, 904, 905,
905, 0, 905, 0, 0, 0, 905, 906, 906, 0,
906, 0, 0, 0, 906, 907, 907, 907, 0, 907,
0, 0, 0, 907, 908, 0, 0, 908, 908, 0,
908, 909, 909, 0, 909, 0, 0, 0, 909, 910,
910, 0, 910, 0, 0, 0, 910, 911, 911, 0,
911, 0, 0, 0, 911, 912, 912, 912, 0, 912,
0, 0, 0, 912, 913, 913, 913, 913, 0, 913,
0, 0, 0, 913, 916, 916, 0, 916, 0, 0,
0, 916, 917, 917, 0, 917, 0, 0, 0, 917,
918, 918, 0, 918, 0, 0, 0, 918, 921, 921,
921, 0, 921, 0, 0, 0, 921, 922, 922, 922,
922, 0, 922, 0, 0, 0, 922, 923, 923, 923,
923, 923, 923, 923, 923, 923, 923, 923, 923, 923,
923, 923, 923, 923, 923, 923, 923, 923, 925, 925,
0, 925, 0, 0, 0, 925, 926, 926, 0, 926,
0, 0, 0, 926, 928, 928, 928, 0, 928, 0,
0, 0, 928, 929, 929, 929, 929, 0, 929, 0,
0, 0, 929, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 933, 0, 0, 933, 933, 0,
933, 934, 0, 0, 0, 934, 934, 0, 934, 934,
934, 0, 0, 934, 934, 935, 935, 0, 935, 0,
0, 0, 935, 936, 0, 936, 936, 0, 936, 0,
0, 0, 936, 939, 939, 939, 0, 939, 0, 0,
0, 939, 940, 940, 940, 940, 0, 940, 0, 0,
0, 940, 941, 941, 0, 0, 941, 0, 0, 0,
941, 942, 942, 942, 942, 942, 942, 942, 942, 942,
942, 942, 942, 942, 942, 942, 942, 942, 942, 942,
942, 942, 944, 0, 0, 944, 944, 0, 944, 945,
0, 0, 0, 945, 945, 0, 945, 945, 945, 0,
0, 945, 945, 948, 948, 0, 948, 0, 0, 0,
948, 949, 0, 949, 949, 0, 949, 0, 0, 0,
949, 951, 951, 951, 0, 951, 0, 0, 0, 951,
952, 952, 952, 0, 0, 952, 0, 0, 0, 952,
953, 953, 953, 953, 953, 953, 953, 953, 953, 953,
953, 953, 953, 953, 953, 953, 953, 953, 953, 953,
953, 954, 954, 0, 954, 954, 954, 0, 954, 0,
954, 954, 954, 954, 0, 0, 954, 954, 954, 954,
954, 954, 955, 955, 0, 955, 955, 955, 0, 955,
0, 955, 955, 955, 955, 0, 0, 955, 955, 955,
955, 955, 955, 958, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 958, 958, 0, 958, 958, 0,
958, 960, 960, 0, 960, 0, 0, 0, 960, 961,
0, 961, 961, 0, 961, 0, 0, 0, 961, 964,
964, 0, 0, 964, 0, 0, 0, 964, 966, 0,
0, 0, 0, 0, 0, 966, 0, 966, 966, 966,
966, 0, 0, 966, 966, 966, 966, 966, 966, 969,
969, 0, 969, 0, 0, 0, 969, 970, 0, 970,
970, 0, 970, 0, 0, 0, 970, 973, 973, 0,
973, 0, 0, 0, 973, 974, 0, 974, 0, 0,
974, 0, 0, 0, 974, 975, 975, 975, 975, 975,
975, 975, 975, 975, 975, 975, 975, 975, 975, 975,
975, 975, 975, 975, 975, 975, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861, 861, 861,
861, 861, 861, 861, 861, 861, 861, 861
} ;
static yy_state_type yy_last_accepting_state;
static char *yy_last_accepting_cpos;
#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 *yytext;
#line 1 "toke.l"
#define INITIAL 0
#line 2 "toke.l"
#include <config.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <stdio.h>
#include <stdlib.h>
#ifdef HAVE_STRING_H
# include <string.h>
#endif
#ifdef HAVE_STRINGS_H
# include <strings.h>
#endif
#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 "parse.h"
#include "toke.h"
#include <gram.h>
#include "sudo_lbuf.h"
#ifdef HAVE_SHA224UPDATE
# include <sha2.h>
#else
# include "compat/sha2.h"
#endif
#if defined(HAVE_STRUCT_DIRENT_D_NAMLEN) && HAVE_STRUCT_DIRENT_D_NAMLEN
# define NAMLEN(dirent) (dirent)->d_namlen
#else
# define NAMLEN(dirent) strlen((dirent)->d_name)
#endif
int sudolineno;
int last_token;
char *sudoers;
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 yy_size_t digest_len;
static bool push_include_int(char *, bool);
static bool pop_include(void);
static char *parse_include(char *);
int (*trace_print)(const char *msg) = sudoers_trace_print;
#define LEXRETURN(n) do { \
last_token = (n); \
return (n); \
} while (0)
#define ECHO ignore_result(fwrite(sudoerstext, sudoersleng, 1, sudoersout))
#define push_include(_p) (push_include_int((_p), false))
#define push_includedir(_p) (push_include_int((_p), true))
#define YY_NO_INPUT 1
#define YY_NO_UNPUT 1
#define GOTDEFS 1
#define GOTCMND 2
#define STARTDEFS 3
#define INDEFS 4
#define INSTR 5
#define WANTDIGEST 6
#line 2048 "lex.sudoers.c"
#ifndef YY_SKIP_YYWRAP
#ifdef __cplusplus
extern "C" int yywrap YY_PROTO(( void ));
#else
extern int yywrap YY_PROTO(( void ));
#endif
#endif
#ifndef YY_NO_UNPUT
static void yyunput YY_PROTO(( int c, char *buf_ptr ));
#endif
#ifndef yytext_ptr
static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int ));
#endif
#ifdef YY_NEED_STRLEN
static int yy_flex_strlen YY_PROTO(( yyconst char * ));
#endif
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput YY_PROTO(( void ));
#else
static int input YY_PROTO(( void ));
#endif
#endif
#if defined(YY_STACK_USED) && YY_STACK_USED
static int yy_start_stack_ptr = 0;
static int yy_start_stack_depth = 0;
static int *yy_start_stack = 0;
#ifndef YY_NO_PUSH_STATE
static void yy_push_state YY_PROTO(( int new_state ));
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state YY_PROTO(( void ));
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state YY_PROTO(( void ));
#endif
#else
#define YY_NO_PUSH_STATE 1
#define YY_NO_POP_STATE 1
#define YY_NO_TOP_STATE 1
#endif
#ifdef YY_MALLOC_DECL
YY_MALLOC_DECL
#else
#ifdef __STDC__
#ifndef __cplusplus
#include <stdlib.h>
#endif
#else
#endif
#endif
#ifndef YY_READ_BUF_SIZE
#define YY_READ_BUF_SIZE 8192
#endif
#ifndef ECHO
#define ECHO (void) fwrite( yytext, yyleng, 1, yyout )
#endif
#ifndef YY_INPUT
#define YY_INPUT(buf,result,max_size) \
if ( yy_current_buffer->yy_is_interactive ) \
{ \
int c = '*', n; \
for ( n = 0; n < max_size && \
(c = getc( yyin )) != EOF && c != '\n'; ++n ) \
buf[n] = (char) c; \
if ( c == '\n' ) \
buf[n++] = (char) c; \
if ( c == EOF && ferror( yyin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
result = n; \
} \
else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \
&& ferror( yyin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" );
#endif
#ifndef yyterminate
#define yyterminate() return YY_NULL
#endif
#ifndef YY_START_STACK_INCR
#define YY_START_STACK_INCR 25
#endif
#ifndef YY_FATAL_ERROR
#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
#endif
#ifndef YY_DECL
#define YY_DECL int yylex YY_PROTO(( void ))
#endif
#ifndef YY_USER_ACTION
#define YY_USER_ACTION
#endif
#ifndef YY_BREAK
#define YY_BREAK break;
#endif
#define YY_RULE_SETUP \
if ( yyleng > 0 ) \
yy_current_buffer->yy_at_bol = \
(yytext[yyleng - 1] == '\n'); \
YY_USER_ACTION
YY_DECL
{
register yy_state_type yy_current_state;
register char *yy_cp, *yy_bp;
register int yy_act;
#line 120 "toke.l"
#line 2204 "lex.sudoers.c"
if ( yy_init )
{
yy_init = 0;
#ifdef YY_USER_INIT
YY_USER_INIT;
#endif
if ( ! yy_start )
yy_start = 1;
if ( ! yyin )
yyin = stdin;
if ( ! yyout )
yyout = stdout;
if ( ! yy_current_buffer )
yy_current_buffer =
yy_create_buffer( yyin, YY_BUF_SIZE );
yy_load_buffer_state();
}
while ( 1 )
{
yy_cp = yy_c_buf_p;
*yy_cp = yy_hold_char;
yy_bp = yy_cp;
yy_current_state = yy_start;
yy_current_state += YY_AT_BOL();
yy_match:
do
{
register 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 >= 862 )
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] != 5587 );
yy_find_action:
yy_act = yy_accept[yy_current_state];
if ( yy_act == 0 )
{
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:
switch ( yy_act )
{
case 0:
*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 121 "toke.l"
{
LEXTRACE(", ");
LEXRETURN(',');
}
YY_BREAK
case 2:
YY_RULE_SETUP
#line 126 "toke.l"
BEGIN STARTDEFS;
YY_BREAK
case 3:
YY_RULE_SETUP
#line 128 "toke.l"
{
BEGIN INDEFS;
LEXTRACE("DEFVAR ");
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXRETURN(DEFVAR);
}
YY_BREAK
case 4:
YY_RULE_SETUP
#line 137 "toke.l"
{
BEGIN STARTDEFS;
LEXTRACE(", ");
LEXRETURN(',');
}
YY_BREAK
case 5:
YY_RULE_SETUP
#line 143 "toke.l"
{
LEXTRACE("= ");
LEXRETURN('=');
}
YY_BREAK
case 6:
YY_RULE_SETUP
#line 148 "toke.l"
{
LEXTRACE("+= ");
LEXRETURN('+');
}
YY_BREAK
case 7:
YY_RULE_SETUP
#line 153 "toke.l"
{
LEXTRACE("-= ");
LEXRETURN('-');
}
YY_BREAK
case 8:
YY_RULE_SETUP
#line 158 "toke.l"
{
LEXTRACE("BEGINSTR ");
sudoerslval.string = NULL;
prev_state = YY_START;
BEGIN INSTR;
}
YY_BREAK
case 9:
YY_RULE_SETUP
#line 165 "toke.l"
{
LEXTRACE("WORD(2) ");
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXRETURN(WORD);
}
YY_BREAK
case 10:
YY_RULE_SETUP
#line 174 "toke.l"
{
sudolineno++;
continued = true;
}
YY_BREAK
case 11:
YY_RULE_SETUP
#line 180 "toke.l"
{
LEXTRACE("ENDSTR ");
BEGIN prev_state;
if (sudoerslval.string == NULL) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if (prev_state == INITIAL) {
switch (sudoerslval.string[0]) {
case '%':
if (sudoerslval.string[1] == '\0' ||
(sudoerslval.string[1] == ':' &&
sudoerslval.string[2] == '\0')) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
LEXTRACE("USERGROUP ");
LEXRETURN(USERGROUP);
case '+':
if (sudoerslval.string[1] == '\0') {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
LEXTRACE("NETGROUP ");
LEXRETURN(NETGROUP);
}
}
LEXTRACE("WORD(4) ");
LEXRETURN(WORD);
}
YY_BREAK
case 12:
YY_RULE_SETUP
#line 212 "toke.l"
{
LEXTRACE("BACKSLASH ");
if (!append(sudoerstext, sudoersleng))
yyterminate();
}
YY_BREAK
case 13:
YY_RULE_SETUP
#line 218 "toke.l"
{
LEXTRACE("STRBODY ");
if (!append(sudoerstext, sudoersleng))
yyterminate();
}
YY_BREAK
case 14:
YY_RULE_SETUP
#line 226 "toke.l"
{
LEXTRACE("QUOTEDCHAR ");
if (!fill_args(sudoerstext, 2, sawspace))
yyterminate();
sawspace = false;
}
YY_BREAK
case 15:
YY_RULE_SETUP
#line 234 "toke.l"
{
LEXTRACE("QUOTEDCHAR ");
if (!fill_args(sudoerstext + 1, 1, sawspace))
yyterminate();
sawspace = false;
}
YY_BREAK
case 16:
YY_RULE_SETUP
#line 242 "toke.l"
{
BEGIN INITIAL;
yyless(0);
LEXRETURN(COMMAND);
}
YY_BREAK
case 17:
YY_RULE_SETUP
#line 248 "toke.l"
{
LEXTRACE("ARG ");
if (!fill_args(sudoerstext, sudoersleng, sawspace))
yyterminate();
sawspace = false;
}
YY_BREAK
case 18:
YY_RULE_SETUP
#line 256 "toke.l"
{
if ((yy_size_t)sudoersleng == digest_len * 2) {
if (!fill(sudoerstext, sudoersleng))
yyterminate();
BEGIN INITIAL;
LEXTRACE("DIGEST ");
LEXRETURN(DIGEST);
}
BEGIN INITIAL;
yyless(sudoersleng);
}
YY_BREAK
case 19:
YY_RULE_SETUP
#line 269 "toke.l"
{
yy_size_t len;
if (sudoerstext[sudoersleng - 1] == '=') {
len = 4 * ((digest_len + 2) / 3);
} else {
len = (4 * digest_len + 2) / 3;
}
if ((yy_size_t)sudoersleng == len) {
if (!fill(sudoerstext, sudoersleng))
yyterminate();
BEGIN INITIAL;
LEXTRACE("DIGEST ");
LEXRETURN(DIGEST);
}
BEGIN INITIAL;
yyless(sudoersleng);
}
YY_BREAK
case 20:
YY_RULE_SETUP
#line 290 "toke.l"
{
char *path;
if (continued) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if ((path = parse_include(sudoerstext)) == NULL)
yyterminate();
LEXTRACE("INCLUDE\n");
if (!push_include(path))
yyterminate();
}
YY_BREAK
case 21:
YY_RULE_SETUP
#line 308 "toke.l"
{
char *path;
if (continued) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if ((path = parse_include(sudoerstext)) == NULL)
yyterminate();
LEXTRACE("INCLUDEDIR\n");
if (!push_includedir(path))
yyterminate();
}
YY_BREAK
case 22:
YY_RULE_SETUP
#line 329 "toke.l"
{
char deftype;
int n;
if (continued) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
for (n = 0; isblank((unsigned char)sudoerstext[n]); n++)
continue;
n += sizeof("Defaults") - 1;
if ((deftype = sudoerstext[n++]) != '\0') {
while (isblank((unsigned char)sudoerstext[n]))
n++;
}
BEGIN GOTDEFS;
switch (deftype) {
case ':':
yyless(n);
LEXTRACE("DEFAULTS_USER ");
LEXRETURN(DEFAULTS_USER);
case '>':
yyless(n);
LEXTRACE("DEFAULTS_RUNAS ");
LEXRETURN(DEFAULTS_RUNAS);
case '@':
yyless(n);
LEXTRACE("DEFAULTS_HOST ");
LEXRETURN(DEFAULTS_HOST);
case '!':
yyless(n);
LEXTRACE("DEFAULTS_CMND ");
LEXRETURN(DEFAULTS_CMND);
default:
LEXTRACE("DEFAULTS ");
LEXRETURN(DEFAULTS);
}
}
YY_BREAK
case 23:
YY_RULE_SETUP
#line 369 "toke.l"
{
int n;
if (continued) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
for (n = 0; isblank((unsigned char)sudoerstext[n]); n++)
continue;
switch (sudoerstext[n]) {
case 'H':
LEXTRACE("HOSTALIAS ");
LEXRETURN(HOSTALIAS);
case 'C':
LEXTRACE("CMNDALIAS ");
LEXRETURN(CMNDALIAS);
case 'U':
LEXTRACE("USERALIAS ");
LEXRETURN(USERALIAS);
case 'R':
LEXTRACE("RUNASALIAS ");
LEXRETURN(RUNASALIAS);
}
}
YY_BREAK
case 24:
YY_RULE_SETUP
#line 395 "toke.l"
{
LEXTRACE("NOPASSWD ");
LEXRETURN(NOPASSWD);
}
YY_BREAK
case 25:
YY_RULE_SETUP
#line 401 "toke.l"
{
LEXTRACE("PASSWD ");
LEXRETURN(PASSWD);
}
YY_BREAK
case 26:
YY_RULE_SETUP
#line 407 "toke.l"
{
LEXTRACE("NOEXEC ");
LEXRETURN(NOEXEC);
}
YY_BREAK
case 27:
YY_RULE_SETUP
#line 412 "toke.l"
{
LEXTRACE("EXEC ");
LEXRETURN(EXEC);
}
YY_BREAK
case 28:
YY_RULE_SETUP
#line 417 "toke.l"
{
LEXTRACE("SETENV ");
LEXRETURN(SETENV);
}
YY_BREAK
case 29:
YY_RULE_SETUP
#line 422 "toke.l"
{
LEXTRACE("NOSETENV ");
LEXRETURN(NOSETENV);
}
YY_BREAK
case 30:
YY_RULE_SETUP
#line 427 "toke.l"
{
LEXTRACE("LOG_OUTPUT ");
LEXRETURN(LOG_OUTPUT);
}
YY_BREAK
case 31:
YY_RULE_SETUP
#line 432 "toke.l"
{
LEXTRACE("NOLOG_OUTPUT ");
LEXRETURN(NOLOG_OUTPUT);
}
YY_BREAK
case 32:
YY_RULE_SETUP
#line 437 "toke.l"
{
LEXTRACE("LOG_INPUT ");
LEXRETURN(LOG_INPUT);
}
YY_BREAK
case 33:
YY_RULE_SETUP
#line 442 "toke.l"
{
LEXTRACE("NOLOG_INPUT ");
LEXRETURN(NOLOG_INPUT);
}
YY_BREAK
case 34:
YY_RULE_SETUP
#line 447 "toke.l"
{
LEXTRACE("MAIL ");
LEXRETURN(MAIL);
}
YY_BREAK
case 35:
YY_RULE_SETUP
#line 452 "toke.l"
{
LEXTRACE("NOMAIL ");
LEXRETURN(NOMAIL);
}
YY_BREAK
case 36:
YY_RULE_SETUP
#line 457 "toke.l"
{
LEXTRACE("FOLLOW ");
LEXRETURN(FOLLOW);
}
YY_BREAK
case 37:
YY_RULE_SETUP
#line 462 "toke.l"
{
LEXTRACE("NOFOLLOW ");
LEXRETURN(NOFOLLOW);
}
YY_BREAK
case 38:
YY_RULE_SETUP
#line 467 "toke.l"
{
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
YY_BREAK
case 39:
YY_RULE_SETUP
#line 473 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NETGROUP ");
LEXRETURN(NETGROUP);
}
YY_BREAK
case 40:
YY_RULE_SETUP
#line 481 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("USERGROUP ");
LEXRETURN(USERGROUP);
}
YY_BREAK
case 41:
YY_RULE_SETUP
#line 489 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
LEXRETURN(NTWKADDR);
}
YY_BREAK
case 42:
YY_RULE_SETUP
#line 496 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
LEXRETURN(NTWKADDR);
}
YY_BREAK
case 43:
YY_RULE_SETUP
#line 503 "toke.l"
{
if (!ipv6_valid(sudoerstext)) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
LEXRETURN(NTWKADDR);
}
YY_BREAK
case 44:
YY_RULE_SETUP
#line 514 "toke.l"
{
if (!ipv6_valid(sudoerstext)) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("NTWKADDR ");
LEXRETURN(NTWKADDR);
}
YY_BREAK
case 45:
YY_RULE_SETUP
#line 525 "toke.l"
{
LEXTRACE("ALL ");
LEXRETURN(ALL);
}
YY_BREAK
case 46:
YY_RULE_SETUP
#line 531 "toke.l"
{
#ifdef HAVE_SELINUX
LEXTRACE("ROLE ");
LEXRETURN(ROLE);
#else
goto got_alias;
#endif
}
YY_BREAK
case 47:
YY_RULE_SETUP
#line 540 "toke.l"
{
#ifdef HAVE_SELINUX
LEXTRACE("TYPE ");
LEXRETURN(TYPE);
#else
goto got_alias;
#endif
}
YY_BREAK
case 48:
YY_RULE_SETUP
#line 548 "toke.l"
{
#ifdef HAVE_PRIV_SET
LEXTRACE("PRIVS ");
LEXRETURN(PRIVS);
#else
goto got_alias;
#endif
}
YY_BREAK
case 49:
YY_RULE_SETUP
#line 557 "toke.l"
{
#ifdef HAVE_PRIV_SET
LEXTRACE("LIMITPRIVS ");
LEXRETURN(LIMITPRIVS);
#else
goto got_alias;
#endif
}
YY_BREAK
case 50:
YY_RULE_SETUP
#line 566 "toke.l"
{
got_alias:
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("ALIAS ");
LEXRETURN(ALIAS);
}
YY_BREAK
case 51:
YY_RULE_SETUP
#line 574 "toke.l"
{
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("COMMAND ");
LEXRETURN(COMMAND);
}
YY_BREAK
case 52:
YY_RULE_SETUP
#line 583 "toke.l"
{
digest_len = SHA224_DIGEST_LENGTH;
BEGIN WANTDIGEST;
LEXTRACE("SHA224_TOK ");
LEXRETURN(SHA224_TOK);
}
YY_BREAK
case 53:
YY_RULE_SETUP
#line 590 "toke.l"
{
digest_len = SHA256_DIGEST_LENGTH;
BEGIN WANTDIGEST;
LEXTRACE("SHA256_TOK ");
LEXRETURN(SHA256_TOK);
}
YY_BREAK
case 54:
YY_RULE_SETUP
#line 597 "toke.l"
{
digest_len = SHA384_DIGEST_LENGTH;
BEGIN WANTDIGEST;
LEXTRACE("SHA384_TOK ");
LEXRETURN(SHA384_TOK);
}
YY_BREAK
case 55:
YY_RULE_SETUP
#line 604 "toke.l"
{
digest_len = SHA512_DIGEST_LENGTH;
BEGIN WANTDIGEST;
LEXTRACE("SHA512_TOK ");
LEXRETURN(SHA512_TOK);
}
YY_BREAK
case 56:
YY_RULE_SETUP
#line 611 "toke.l"
{
BEGIN GOTCMND;
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
}
YY_BREAK
case 57:
YY_RULE_SETUP
#line 618 "toke.l"
{
if (sudoerstext[sudoersleng - 1] == '/') {
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
LEXRETURN(COMMAND);
} else {
BEGIN GOTCMND;
LEXTRACE("COMMAND ");
if (!fill_cmnd(sudoerstext, sudoersleng))
yyterminate();
}
}
YY_BREAK
case 58:
YY_RULE_SETUP
#line 633 "toke.l"
{
LEXTRACE("BEGINSTR ");
sudoerslval.string = NULL;
prev_state = YY_START;
BEGIN INSTR;
}
YY_BREAK
case 59:
YY_RULE_SETUP
#line 640 "toke.l"
{
if (!fill(sudoerstext, sudoersleng))
yyterminate();
LEXTRACE("WORD(5) ");
LEXRETURN(WORD);
}
YY_BREAK
case 60:
YY_RULE_SETUP
#line 648 "toke.l"
{
LEXTRACE("( ");
LEXRETURN('(');
}
YY_BREAK
case 61:
YY_RULE_SETUP
#line 653 "toke.l"
{
LEXTRACE(") ");
LEXRETURN(')');
}
YY_BREAK
case 62:
YY_RULE_SETUP
#line 658 "toke.l"
{
LEXTRACE(", ");
LEXRETURN(',');
}
YY_BREAK
case 63:
YY_RULE_SETUP
#line 663 "toke.l"
{
LEXTRACE("= ");
LEXRETURN('=');
}
YY_BREAK
case 64:
YY_RULE_SETUP
#line 668 "toke.l"
{
LEXTRACE(": ");
LEXRETURN(':');
}
YY_BREAK
case 65:
YY_RULE_SETUP
#line 673 "toke.l"
{
if (sudoersleng & 1) {
LEXTRACE("!");
LEXRETURN('!');
}
}
YY_BREAK
case 66:
YY_RULE_SETUP
#line 680 "toke.l"
{
if (YY_START == INSTR) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
BEGIN INITIAL;
sudolineno++;
continued = false;
LEXTRACE("\n");
LEXRETURN(COMMENT);
}
YY_BREAK
case 67:
YY_RULE_SETUP
#line 692 "toke.l"
{
sawspace = true;
}
YY_BREAK
case 68:
YY_RULE_SETUP
#line 696 "toke.l"
{
sawspace = true;
sudolineno++;
continued = true;
}
YY_BREAK
case 69:
YY_RULE_SETUP
#line 702 "toke.l"
{
if (sudoerstext[sudoersleng - 1] == '\n') {
BEGIN INITIAL;
sudolineno++;
continued = false;
} else if (!feof(yyin)) {
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
LEXTRACE("#\n");
LEXRETURN(COMMENT);
}
YY_BREAK
case 70:
YY_RULE_SETUP
#line 716 "toke.l"
{
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
YY_BREAK
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(GOTDEFS):
case YY_STATE_EOF(GOTCMND):
case YY_STATE_EOF(STARTDEFS):
case YY_STATE_EOF(INDEFS):
case YY_STATE_EOF(INSTR):
case YY_STATE_EOF(WANTDIGEST):
#line 721 "toke.l"
{
if (YY_START != INITIAL) {
BEGIN INITIAL;
LEXTRACE("ERROR ");
LEXRETURN(ERROR);
}
if (!pop_include())
yyterminate();
}
YY_BREAK
case 71:
YY_RULE_SETUP
#line 731 "toke.l"
ECHO;
YY_BREAK
#line 3122 "lex.sudoers.c"
case YY_END_OF_BUFFER:
{
int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1;
*yy_cp = yy_hold_char;
YY_RESTORE_YY_MORE_OFFSET
if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW )
{
yy_n_chars = yy_current_buffer->yy_n_chars;
yy_current_buffer->yy_input_file = yyin;
yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL;
}
if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
{
yy_state_type yy_next_state;
yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state();
yy_next_state = yy_try_NUL_trans( yy_current_state );
yy_bp = yytext_ptr + YY_MORE_ADJ;
if ( yy_next_state )
{
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 ( yywrap() )
{
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->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" );
}
}
}
static int yy_get_next_buffer YY_PROTO(( void ))
{
register char *dest = yy_current_buffer->yy_ch_buf;
register char *source = yytext_ptr;
register int number_to_move, i;
int ret_val;
if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
YY_FATAL_ERROR(
"fatal flex scanner internal error--end of buffer missed" );
if ( yy_current_buffer->yy_fill_buffer == 0 )
{
if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 )
{
return EOB_ACT_END_OF_FILE;
}
else
{
return EOB_ACT_LAST_MATCH;
}
}
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->yy_buffer_status == YY_BUFFER_EOF_PENDING )
yy_current_buffer->yy_n_chars = yy_n_chars = 0;
else
{
int num_to_read =
yy_current_buffer->yy_buf_size - number_to_move - 1;
while ( num_to_read <= 0 )
{
#ifdef YY_USES_REJECT
YY_FATAL_ERROR(
"input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
#else
YY_BUFFER_STATE b = yy_current_buffer;
int yy_c_buf_p_offset =
(int) (yy_c_buf_p - b->yy_ch_buf);
if ( b->yy_is_our_buffer )
{
int 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 *)
yy_flex_realloc( (void *) b->yy_ch_buf,
b->yy_buf_size + 2 );
}
else
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->yy_buf_size -
number_to_move - 1;
#endif
}
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
yy_n_chars, num_to_read );
yy_current_buffer->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;
yyrestart( yyin );
}
else
{
ret_val = EOB_ACT_LAST_MATCH;
yy_current_buffer->yy_buffer_status =
YY_BUFFER_EOF_PENDING;
}
}
else
ret_val = EOB_ACT_CONTINUE_SCAN;
yy_n_chars += number_to_move;
yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
yytext_ptr = &yy_current_buffer->yy_ch_buf[0];
return ret_val;
}
static yy_state_type yy_get_previous_state YY_PROTO(( void ))
{
register yy_state_type yy_current_state;
register 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 )
{
register 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 >= 862 )
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;
}
#ifdef YY_USE_PROTOS
static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state )
#else
static yy_state_type yy_try_NUL_trans( yy_current_state )
yy_state_type yy_current_state;
#endif
{
register int yy_is_jam;
register char *yy_cp = yy_c_buf_p;
register 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 >= 862 )
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 == 861);
return yy_is_jam ? 0 : yy_current_state;
}
#ifndef YY_NO_UNPUT
#ifdef YY_USE_PROTOS
static void yyunput( int c, register char *yy_bp )
#else
static void yyunput( c, yy_bp )
int c;
register char *yy_bp;
#endif
{
register char *yy_cp = yy_c_buf_p;
*yy_cp = yy_hold_char;
if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
{
register int number_to_move = yy_n_chars + 2;
register char *dest = &yy_current_buffer->yy_ch_buf[
yy_current_buffer->yy_buf_size + 2];
register char *source =
&yy_current_buffer->yy_ch_buf[number_to_move];
while ( source > yy_current_buffer->yy_ch_buf )
*--dest = *--source;
yy_cp += (int) (dest - source);
yy_bp += (int) (dest - source);
yy_current_buffer->yy_n_chars =
yy_n_chars = yy_current_buffer->yy_buf_size;
if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
YY_FATAL_ERROR( "flex scanner push-back overflow" );
}
*--yy_cp = (char) c;
yytext_ptr = yy_bp;
yy_hold_char = *yy_cp;
yy_c_buf_p = yy_cp;
}
#endif
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput YY_PROTO(( void ))
#else
static int input YY_PROTO(( void ))
#endif
{
int c;
*yy_c_buf_p = yy_hold_char;
if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
{
if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
*yy_c_buf_p = '\0';
else
{
int offset = yy_c_buf_p - yytext_ptr;
++yy_c_buf_p;
switch ( yy_get_next_buffer() )
{
case EOB_ACT_LAST_MATCH:
yyrestart( yyin );
case EOB_ACT_END_OF_FILE:
{
if ( yywrap() )
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;
*yy_c_buf_p = '\0';
yy_hold_char = *++yy_c_buf_p;
yy_current_buffer->yy_at_bol = (c == '\n');
return c;
}
#endif
#ifdef YY_USE_PROTOS
void yyrestart( FILE *input_file )
#else
void yyrestart( input_file )
FILE *input_file;
#endif
{
if ( ! yy_current_buffer )
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );
yy_init_buffer( yy_current_buffer, input_file );
yy_load_buffer_state();
}
#ifdef YY_USE_PROTOS
void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
#else
void yy_switch_to_buffer( new_buffer )
YY_BUFFER_STATE new_buffer;
#endif
{
if ( yy_current_buffer == new_buffer )
return;
if ( yy_current_buffer )
{
*yy_c_buf_p = yy_hold_char;
yy_current_buffer->yy_buf_pos = yy_c_buf_p;
yy_current_buffer->yy_n_chars = yy_n_chars;
}
yy_current_buffer = new_buffer;
yy_load_buffer_state();
yy_did_buffer_switch_on_eof = 1;
}
#ifdef YY_USE_PROTOS
void yy_load_buffer_state( void )
#else
void yy_load_buffer_state()
#endif
{
yy_n_chars = yy_current_buffer->yy_n_chars;
yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
yyin = yy_current_buffer->yy_input_file;
yy_hold_char = *yy_c_buf_p;
}
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
#else
YY_BUFFER_STATE yy_create_buffer( file, size )
FILE *file;
int size;
#endif
{
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_buf_size = size;
b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 );
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_is_our_buffer = 1;
yy_init_buffer( b, file );
return b;
}
#ifdef YY_USE_PROTOS
void yy_delete_buffer( YY_BUFFER_STATE b )
#else
void yy_delete_buffer( b )
YY_BUFFER_STATE b;
#endif
{
if ( ! b )
return;
if ( b == yy_current_buffer )
yy_current_buffer = (YY_BUFFER_STATE) 0;
if ( b->yy_is_our_buffer )
yy_flex_free( (void *) b->yy_ch_buf );
yy_flex_free( (void *) b );
}
#ifndef YY_ALWAYS_INTERACTIVE
#ifndef YY_NEVER_INTERACTIVE
#include <unistd.h>
#endif
#endif
#ifdef YY_USE_PROTOS
void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
#else
void yy_init_buffer( b, file )
YY_BUFFER_STATE b;
FILE *file;
#endif
{
int oerrno = errno;
yy_flush_buffer( b );
b->yy_input_file = file;
b->yy_fill_buffer = 1;
#if defined(YY_ALWAYS_INTERACTIVE) && YY_ALWAYS_INTERACTIVE
b->yy_is_interactive = 1;
#else
#if defined(YY_NEVER_INTERACTIVE) && YY_NEVER_INTERACTIVE
b->yy_is_interactive = 0;
#else
b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
#endif
#endif
errno = oerrno;
}
#ifdef YY_USE_PROTOS
void yy_flush_buffer( YY_BUFFER_STATE b )
#else
void yy_flush_buffer( b )
YY_BUFFER_STATE b;
#endif
{
if ( ! b )
return;
b->yy_n_chars = 0;
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 )
yy_load_buffer_state();
}
#ifndef YY_NO_SCAN_BUFFER
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size )
#else
YY_BUFFER_STATE yy_scan_buffer( base, size )
char *base;
yy_size_t size;
#endif
{
YY_BUFFER_STATE b;
if ( size < 2 ||
base[size-2] != YY_END_OF_BUFFER_CHAR ||
base[size-1] != YY_END_OF_BUFFER_CHAR )
return 0;
b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
b->yy_buf_size = size - 2;
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;
yy_switch_to_buffer( b );
return b;
}
#endif
#ifndef YY_NO_SCAN_STRING
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str )
#else
YY_BUFFER_STATE yy_scan_string( yy_str )
yyconst char *yy_str;
#endif
{
int len;
for ( len = 0; yy_str[len]; ++len )
;
return yy_scan_bytes( yy_str, len );
}
#endif
#ifndef YY_NO_SCAN_BYTES
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len )
#else
YY_BUFFER_STATE yy_scan_bytes( bytes, len )
yyconst char *bytes;
int len;
#endif
{
YY_BUFFER_STATE b;
char *buf;
yy_size_t n;
int i;
n = len + 2;
buf = (char *) yy_flex_alloc( n );
if ( ! buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
for ( i = 0; i < len; ++i )
buf[i] = bytes[i];
buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;
b = yy_scan_buffer( buf, n );
if ( ! b )
YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
b->yy_is_our_buffer = 1;
return b;
}
#endif
#ifndef YY_NO_PUSH_STATE
#ifdef YY_USE_PROTOS
static void yy_push_state( int new_state )
#else
static void yy_push_state( new_state )
int new_state;
#endif
{
if ( yy_start_stack_ptr >= yy_start_stack_depth )
{
yy_size_t new_size;
yy_start_stack_depth += YY_START_STACK_INCR;
new_size = yy_start_stack_depth * sizeof( int );
if ( ! yy_start_stack )
yy_start_stack = (int *) yy_flex_alloc( new_size );
else
yy_start_stack = (int *) yy_flex_realloc(
(void *) yy_start_stack, new_size );
if ( ! yy_start_stack )
YY_FATAL_ERROR(
"out of memory expanding start-condition stack" );
}
yy_start_stack[yy_start_stack_ptr++] = YY_START;
BEGIN(new_state);
}
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state YY_PROTO(( void ))
{
if ( --yy_start_stack_ptr < 0 )
YY_FATAL_ERROR( "start-condition stack underflow" );
BEGIN(yy_start_stack[yy_start_stack_ptr]);
}
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state YY_PROTO(( void ))
{
return yy_start_stack[yy_start_stack_ptr - 1];
}
#endif
#ifndef YY_EXIT_FAILURE
#define YY_EXIT_FAILURE 2
#endif
#ifdef YY_USE_PROTOS
static void yy_fatal_error( yyconst char msg[] )
#else
static void yy_fatal_error( msg )
char msg[];
#endif
{
(void) fprintf( stderr, "%s\n", msg );
exit( YY_EXIT_FAILURE );
}
#undef yyless
#define yyless(n) \
do \
{ \
\
yytext[yyleng] = yy_hold_char; \
yy_c_buf_p = yytext + n; \
yy_hold_char = *yy_c_buf_p; \
*yy_c_buf_p = '\0'; \
yyleng = n; \
} \
while ( 0 )
#ifndef yytext_ptr
#ifdef YY_USE_PROTOS
static void yy_flex_strncpy( char *s1, yyconst char *s2, int n )
#else
static void yy_flex_strncpy( s1, s2, n )
char *s1;
yyconst char *s2;
int n;
#endif
{
register int i;
for ( i = 0; i < n; ++i )
s1[i] = s2[i];
}
#endif
#ifdef YY_NEED_STRLEN
#ifdef YY_USE_PROTOS
static int yy_flex_strlen( yyconst char *s )
#else
static int yy_flex_strlen( s )
yyconst char *s;
#endif
{
register int n;
for ( n = 0; s[n]; ++n )
;
return n;
}
#endif
#ifdef YY_USE_PROTOS
static void *yy_flex_alloc( yy_size_t size )
#else
static void *yy_flex_alloc( size )
yy_size_t size;
#endif
{
return (void *) malloc( size );
}
#ifdef YY_USE_PROTOS
static void *yy_flex_realloc( void *ptr, yy_size_t size )
#else
static void *yy_flex_realloc( ptr, size )
void *ptr;
yy_size_t size;
#endif
{
return (void *) realloc( (char *) ptr, size );
}
#ifdef YY_USE_PROTOS
static void yy_flex_free( void *ptr )
#else
static void yy_flex_free( ptr )
void *ptr;
#endif
{
free( ptr );
}
#if defined(YY_MAIN) && YY_MAIN
int main()
{
yylex();
return 0;
}
#endif
#line 731 "toke.l"
struct path_list {
SLIST_ENTRY(path_list) entries;
char *path;
};
SLIST_HEAD(path_list_head, path_list);
struct include_stack {
YY_BUFFER_STATE bs;
char *path;
struct path_list_head more;
int lineno;
bool keepopen;
};
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);
}
static int
read_dir_files(const char *dirpath, struct path_list ***pathsp)
{
DIR *dir;
int i, count = 0;
int max_paths = 32;
struct dirent *dent;
struct path_list **paths = NULL;
debug_decl(read_dir_files, SUDOERS_DEBUG_PARSER)
dir = opendir(dirpath);
if (dir == NULL) {
if (errno != ENOENT) {
sudo_warn("%s", dirpath);
sudoerserror(NULL);
}
goto bad;
}
paths = reallocarray(NULL, max_paths, sizeof(*paths));
if (paths == NULL) {
sudo_warnx(U_("%s: %s"), __func__, U_("unable to allocate memory"));
goto bad;
}
while ((dent = readdir(dir)) != NULL) {
struct path_list *pl;
struct stat sb;
char *path;
if (dent->d_name[0] == '\0' || dent->d_name[NAMLEN(dent) - 1] == '~'
|| strchr(dent->d_name, '.') != NULL) {
continue;
}
if (asprintf(&path, "%s/%s", dirpath, dent->d_name) == -1)
goto bad;
if (stat(path, &sb) != 0 || !S_ISREG(sb.st_mode)) {
free(path);
continue;
}
pl = malloc(sizeof(*pl));
if (pl == NULL) {
sudo_warnx(U_("%s: %s"), __func__, U_("unable to allocate memory"));
free(path);
goto bad;
}
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_warnx(U_("%s: %s"), __func__, U_("unable to allocate memory"));
free(path);
free(pl);
goto bad;
}
paths = tmp;
}
paths[count++] = pl;
}
closedir(dir);
if (count == 0) {
free(paths);
paths = NULL;
}
*pathsp = paths;
debug_return_int(count);
bad:
if (dir != NULL)
closedir(dir);
for (i = 0; i < count; i++) {
free(paths[i]->path);
free(paths[i]);
}
free(paths);
debug_return_int(-1);
}
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) {
qsort(paths, count, sizeof(*paths), pl_compare);
for (i = 0; i < count; i++) {
SLIST_INSERT_HEAD(&stack->more, paths[i], entries);
}
free(paths);
}
debug_return_int(count);
}
#define MAX_SUDOERS_DEPTH 128
#define SUDOERS_STACK_INCREMENT 16
static size_t istacksize, idepth;
static struct include_stack *istack;
static bool keepopen;
void
init_lexer(void)
{
struct path_list *pl;
debug_decl(init_lexer, SUDOERS_DEBUG_PARSER)
while (idepth) {
idepth--;
while ((pl = SLIST_FIRST(&istack[idepth].more)) != NULL) {
SLIST_REMOVE_HEAD(&istack[idepth].more, entries);
free(pl->path);
free(pl);
}
free(istack[idepth].path);
if (idepth && !istack[idepth].keepopen)
fclose(istack[idepth].bs->yy_input_file);
sudoers_delete_buffer(istack[idepth].bs);
}
free(istack);
istack = NULL;
istacksize = idepth = 0;
sudolineno = 1;
keepopen = false;
sawspace = false;
continued = false;
prev_state = INITIAL;
debug_return;
}
static bool
push_include_int(char *path, bool isdir)
{
struct path_list *pl;
FILE *fp;
debug_decl(push_include_int, SUDOERS_DEBUG_PARSER)
if (idepth >= istacksize) {
struct include_stack *new_istack;
if (idepth > MAX_SUDOERS_DEPTH) {
sudoerserror(N_("too many levels of includes"));
debug_return_bool(false);
}
istacksize += SUDOERS_STACK_INCREMENT;
new_istack = reallocarray(istack, istacksize, sizeof(*istack));
if (new_istack == NULL) {
sudo_warnx(U_("%s: %s"), __func__, U_("unable to allocate memory"));
sudoerserror(NULL);
debug_return_bool(false);
}
istack = new_istack;
}
SLIST_INIT(&istack[idepth].more);
if (isdir) {
struct stat sb;
int count;
switch (sudo_secure_dir(path, sudoers_uid, sudoers_gid, &sb)) {
case SUDO_PATH_SECURE:
break;
case SUDO_PATH_MISSING:
debug_return_bool(false);
case SUDO_PATH_BAD_TYPE:
errno = ENOTDIR;
if (sudoers_warnings) {
sudo_warn("%s", path);
}
debug_return_bool(false);
case SUDO_PATH_WRONG_OWNER:
if (sudoers_warnings) {
sudo_warnx(U_("%s is owned by uid %u, should be %u"),
path, (unsigned int) sb.st_uid,
(unsigned int) sudoers_uid);
}
debug_return_bool(false);
case SUDO_PATH_WORLD_WRITABLE:
if (sudoers_warnings) {
sudo_warnx(U_("%s is world writable"), path);
}
debug_return_bool(false);
case SUDO_PATH_GROUP_WRITABLE:
if (sudoers_warnings) {
sudo_warnx(U_("%s is owned by gid %u, should be %u"),
path, (unsigned int) sb.st_gid,
(unsigned int) sudoers_gid);
}
debug_return_bool(false);
default:
debug_return_bool(false);
}
count = switch_dir(&istack[idepth], path);
if (count <= 0) {
free(path);
debug_return_bool(count ? false : true);
}
do {
free(path);
if ((pl = SLIST_FIRST(&istack[idepth].more)) == NULL) {
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) {
sudoerserror(NULL);
debug_return_bool(false);
}
}
istack[idepth].path = sudoers;
istack[idepth].bs = YY_CURRENT_BUFFER;
istack[idepth].lineno = sudolineno;
istack[idepth].keepopen = keepopen;
idepth++;
sudolineno = 1;
sudoers = path;
sudoers_switch_to_buffer(sudoers_create_buffer(fp, YY_BUF_SIZE));
debug_return_bool(true);
}
static bool
pop_include(void)
{
struct path_list *pl;
FILE *fp;
debug_decl(pop_include, SUDOERS_DEBUG_PARSER)
if (idepth == 0)
debug_return_bool(false);
if (!keepopen)
fclose(YY_CURRENT_BUFFER->yy_input_file);
sudoers_delete_buffer(YY_CURRENT_BUFFER);
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) {
free(sudoers);
sudoers = pl->path;
sudolineno = 1;
sudoers_switch_to_buffer(sudoers_create_buffer(fp, YY_BUF_SIZE));
free(pl);
break;
}
free(pl->path);
free(pl);
}
if (pl == NULL) {
idepth--;
sudoers_switch_to_buffer(istack[idepth].bs);
free(sudoers);
sudoers = istack[idepth].path;
sudolineno = istack[idepth].lineno;
keepopen = istack[idepth].keepopen;
}
debug_return_bool(true);
}
static char *
parse_include(char *base)
{
char *cp, *ep, *path, *pp;
int dirlen = 0, len = 0, subst = 0;
size_t shost_len = 0;
debug_decl(parse_include, SUDOERS_DEBUG_PARSER)
cp = base + sizeof("#include");
if (*cp == 'i')
cp += 3;
while (isblank((unsigned char) *cp))
cp++;
ep = cp;
while (*ep != '\0' && !isspace((unsigned char) *ep)) {
if (ep[0] == '%' && ep[1] == 'h') {
shost_len = strlen(user_shost);
len += shost_len - 2;
subst = 1;
}
ep++;
}
if (*cp != '/') {
char *dirend = strrchr(sudoers, '/');
if (dirend != NULL)
dirlen = (int)(dirend - sudoers) + 1;
}
len += (int)(ep - cp);
path = pp = malloc(len + dirlen + 1);
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) {
while (cp < ep) {
if (cp[0] == '%' && cp[1] == 'h') {
memcpy(pp, user_shost, shost_len);
pp += shost_len;
cp += 2;
continue;
}
*pp++ = *cp++;
}
*pp = '\0';
} else {
memcpy(pp, cp, len);
pp[len] = '\0';
}
if (*ep != '\0')
yyless((int)(ep - base));
debug_return_str(path);
}
#ifdef TRACELEXER
int
sudoers_trace_print(const char *msg)
{
return fputs(msg, stderr);
}
#else
int
sudoers_trace_print(const char *msg)
{
static bool initialized;
static struct sudo_lbuf lbuf;
if (!initialized) {
initialized = true;
sudo_lbuf_init(&lbuf, NULL, 0, NULL, 0);
}
sudo_lbuf_append(&lbuf, "%s", msg);
if (strchr(msg, '\n') != NULL)
{
sudo_debug_printf2(NULL, NULL, 0, SUDOERS_DEBUG_PARSER|SUDO_DEBUG_DEBUG,
"%s:%d %s", sudoers, sudolineno, lbuf.buf);
lbuf.len = 0;
}
return 0;
}
#endif