talkfilters/drawl.c

5735 lines
187 KiB
C
Executable File

#define yy_create_buffer drawl_yy_create_buffer
#define yy_delete_buffer drawl_yy_delete_buffer
#define yy_scan_buffer drawl_yy_scan_buffer
#define yy_scan_string drawl_yy_scan_string
#define yy_scan_bytes drawl_yy_scan_bytes
#define yy_flex_debug drawl_yy_flex_debug
#define yy_init_buffer drawl_yy_init_buffer
#define yy_flush_buffer drawl_yy_flush_buffer
#define yy_load_buffer_state drawl_yy_load_buffer_state
#define yy_switch_to_buffer drawl_yy_switch_to_buffer
#define yyin drawl_yyin
#define yyleng drawl_yyleng
#define yylex drawl_yylex
#define yyout drawl_yyout
#define yyrestart drawl_yyrestart
#define yytext drawl_yytext
#line 19 "drawl.c"
/* A lexical scanner generated by flex */
/* Scanner skeleton version:
* $Header: /home/daffy/u0/vern/flex/RCS/flex.skl,v 2.91 96/09/10 16:58:48 vern Exp $
*/
#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5
#include <stdio.h>
#include <unistd.h>
/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
#ifdef c_plusplus
#ifndef __cplusplus
#define __cplusplus
#endif
#endif
#ifdef __cplusplus
#include <stdlib.h>
/* Use prototypes in function declarations. */
#define YY_USE_PROTOS
/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST
#else /* ! __cplusplus */
#if __STDC__
#define YY_USE_PROTOS
#define YY_USE_CONST
#endif /* __STDC__ */
#endif /* ! __cplusplus */
#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
/* Returned upon end-of-file. */
#define YY_NULL 0
/* Promotes a possibly negative, possibly signed char to an unsigned
* integer for use as an array index. If the signed char is negative,
* we want to instead treat it as an 8-bit unsigned char, hence the
* double cast.
*/
#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
/* Enter a start condition. This macro really ought to take a parameter,
* but we do it the disgusting crufty way forced on us by the ()-less
* definition of BEGIN.
*/
#define BEGIN yy_start = 1 + 2 *
/* Translate the current start state into a value that can be later handed
* to BEGIN to return to the state. The YYSTATE alias is for lex
* compatibility.
*/
#define YY_START ((yy_start - 1) / 2)
#define YYSTATE YY_START
/* Action number for EOF rule of a given start state. */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
/* Special action meaning "start processing a new file". */
#define YY_NEW_FILE yyrestart( yyin )
#define YY_END_OF_BUFFER_CHAR 0
/* Size of default input buffer. */
#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
/* The funky do-while in the following #define is used to turn the definition
* int a single C statement (which needs a semi-colon terminator). This
* avoids problems with code like:
*
* if ( condition_holds )
* yyless( 5 );
* else
* do_something_else();
*
* Prior to using the do-while the compiler would get upset at the
* "else" because it interpreted the "if" statement as being all
* done when it reached the ';' after the yyless() call.
*/
/* Return all but the first 'n' matched characters back to the input stream. */
#define yyless(n) \
do \
{ \
/* Undo effects of setting up yytext. */ \
*yy_cp = yy_hold_char; \
YY_RESTORE_YY_MORE_OFFSET \
yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
YY_DO_BEFORE_ACTION; /* set up yytext again */ \
} \
while ( 0 )
#define unput(c) yyunput( c, yytext_ptr )
/* The following is because we cannot portably get our hands on size_t
* (without autoconf's help, which isn't available because we want
* flex-generated scanners to compile on their own).
*/
typedef unsigned int yy_size_t;
struct yy_buffer_state
{
FILE *yy_input_file;
char *yy_ch_buf; /* input buffer */
char *yy_buf_pos; /* current position in input buffer */
/* Size of input buffer in bytes, not including room for EOB
* characters.
*/
yy_size_t yy_buf_size;
/* Number of characters read into yy_ch_buf, not including EOB
* characters.
*/
int yy_n_chars;
/* Whether we "own" the buffer - i.e., we know we created it,
* and can realloc() it to grow it, and should free() it to
* delete it.
*/
int yy_is_our_buffer;
/* Whether this is an "interactive" input source; if so, and
* if we're using stdio for input, then we want to use getc()
* instead of fread(), to make sure we stop fetching input after
* each newline.
*/
int yy_is_interactive;
/* Whether we're considered to be at the beginning of a line.
* If so, '^' rules will be active on the next match, otherwise
* not.
*/
int yy_at_bol;
/* Whether to try to fill the input buffer when we reach the
* end of it.
*/
int yy_fill_buffer;
int yy_buffer_status;
#define YY_BUFFER_NEW 0
#define YY_BUFFER_NORMAL 1
/* When an EOF's been seen but there's still some text to process
* then we mark the buffer as YY_EOF_PENDING, to indicate that we
* shouldn't try reading from the input source any more. We might
* still have a bunch of tokens to match, though, because of
* possible backing-up.
*
* When we actually see the EOF, we change the status to "new"
* (via yyrestart()), so that the user can continue scanning by
* just pointing yyin at a new input file.
*/
#define YY_BUFFER_EOF_PENDING 2
};
static YY_BUFFER_STATE yy_current_buffer = 0;
/* We provide macros for accessing buffer states in case in the
* future we want to put the buffer states in a more general
* "scanner state".
*/
#define YY_CURRENT_BUFFER yy_current_buffer
/* yy_hold_char holds the character lost when yytext is formed. */
static char yy_hold_char;
static int yy_n_chars; /* number of characters read into yy_ch_buf */
int yyleng;
/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 1; /* whether we need to initialize */
static int yy_start = 0; /* start state number */
/* Flag which is used to allow yywrap()'s to do buffer switches
* instead of setting up a fresh yyin. A bit of a hack ...
*/
static int yy_did_buffer_switch_on_eof;
void yyrestart 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[] ));
/* Done after the current pattern has been matched and before the
* corresponding action - sets up yytext.
*/
#define YY_DO_BEFORE_ACTION \
yytext_ptr = yy_bp; \
yyleng = (int) (yy_cp - yy_bp); \
yy_hold_char = *yy_cp; \
*yy_cp = '\0'; \
yy_c_buf_p = yy_cp;
#define YY_NUM_RULES 383
#define YY_END_OF_BUFFER 384
static yyconst short int yy_accept[1757] =
{ 0,
0, 0, 0, 0, 0, 0, 384, 382, 381, 383,
374, 382, 374, 374, 374, 374, 374, 374, 374, 374,
374, 374, 374, 374, 374, 374, 374, 374, 374, 374,
374, 374, 374, 374, 374, 374, 374, 374, 374, 374,
374, 374, 374, 374, 374, 380, 380, 380, 382, 382,
0, 0, 19, 19, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 158, 10, 10, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 37, 0, 0, 0, 41, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 134,
0, 137, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 150, 0, 0, 0, 0, 0, 158, 0,
0, 0, 0, 0, 0, 0, 0, 163, 163, 0,
0, 0, 0, 174, 174, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 189, 0,
0, 0, 0, 196, 0, 0, 0, 0, 202, 203,
0, 0, 0, 0, 0, 0, 210, 0, 0, 0,
217, 0, 0, 0, 0, 222, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 258, 0, 0,
0, 0, 0, 0, 267, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 15, 0,
0, 291, 0, 292, 0, 0, 0, 0, 0, 0,
0, 0, 316, 0, 0, 319, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 339, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 23, 0, 25, 0, 0,
0, 31, 31, 0, 0, 0, 0, 0, 0, 0,
0, 42, 0, 0, 0, 0, 47, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 60, 0, 0, 0, 0, 0, 0, 0, 69,
0, 70, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 84, 86, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 106, 0, 0, 0,
0, 0, 0, 0, 116, 117, 0, 0, 0, 0,
0, 123, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 142, 0, 0, 0, 0,
146, 0, 0, 0, 0, 154, 0, 0, 157, 0,
0, 0, 0, 0, 0, 11, 12, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 178, 0, 0, 181, 0, 0, 0, 185, 0,
187, 0, 0, 191, 0, 194, 0, 0, 0, 199,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 223, 224, 225,
227, 227, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 244, 0, 0,
247, 249, 0, 251, 0, 0, 0, 0, 0, 0,
0, 0, 0, 264, 265, 0, 268, 0, 0, 0,
0, 276, 0, 0, 0, 0, 0, 0, 0, 0,
287, 288, 289, 290, 0, 0, 0, 0, 0, 296,
299, 299, 0, 0, 302, 0, 0, 0, 0, 0,
0, 0, 0, 0, 318, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 336, 336, 337, 0, 0, 0, 342, 0, 0,
350, 0, 352, 0, 0, 357, 357, 0, 0, 0,
361, 0, 0, 0, 0, 0, 367, 0, 370, 371,
371, 0, 373, 369, 0, 377, 0, 379, 376, 0,
0, 20, 21, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 35, 0, 0, 0, 0, 0,
0, 0, 46, 48, 0, 50, 0, 0, 53, 0,
0, 0, 0, 0, 0, 0, 61, 62, 63, 0,
65, 67, 0, 0, 0, 72, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 82, 0, 0, 0,
90, 0, 0, 0, 0, 98, 0, 0, 101, 0,
0, 0, 0, 0, 109, 0, 0, 0, 113, 0,
0, 0, 119, 0, 0, 0, 0, 125, 0, 0,
127, 0, 0, 0, 132, 133, 0, 0, 0, 139,
0, 141, 0, 0, 145, 149, 149, 0, 0, 152,
153, 0, 0, 0, 0, 0, 0, 8, 160, 0,
0, 0, 0, 0, 0, 0, 0, 170, 0, 0,
0, 0, 0, 0, 0, 0, 183, 184, 0, 190,
0, 192, 0, 0, 0, 200, 0, 0, 204, 0,
0, 0, 208, 0, 0, 0, 213, 0, 0, 0,
0, 0, 0, 0, 228, 0, 0, 232, 232, 0,
0, 0, 0, 237, 238, 0, 0, 0, 0, 0,
0, 0, 0, 250, 252, 253, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 272, 273, 0,
0, 0, 279, 0, 0, 0, 0, 0, 0, 0,
0, 0, 16, 0, 0, 0, 0, 0, 301, 303,
304, 0, 0, 308, 0, 0, 0, 0, 0, 313,
0, 317, 0, 0, 322, 0, 324, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 338,
0, 0, 343, 344, 0, 0, 351, 354, 355, 0,
358, 0, 0, 0, 0, 0, 365, 0, 0, 0,
0, 378, 0, 0, 0, 0, 0, 0, 0, 28,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 49, 0, 0, 0, 0, 0, 0, 58,
0, 0, 0, 0, 0, 0, 73, 0, 0, 0,
76, 0, 0, 0, 81, 0, 0, 88, 0, 91,
0, 0, 0, 0, 0, 0, 0, 0, 103, 103,
0, 0, 0, 0, 0, 111, 112, 0, 0, 118,
0, 0, 122, 0, 0, 126, 0, 0, 130, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 161, 162, 0, 0,
0, 0, 0, 0, 171, 0, 0, 0, 0, 0,
180, 0, 0, 0, 0, 0, 0, 0, 0, 13,
0, 0, 0, 0, 0, 212, 0, 0, 215, 0,
0, 220, 0, 0, 0, 0, 0, 0, 0, 0,
0, 239, 0, 0, 0, 243, 0, 246, 0, 0,
0, 0, 0, 0, 0, 260, 0, 0, 0, 270,
271, 0, 0, 0, 0, 280, 281, 0, 0, 0,
285, 0, 0, 293, 0, 17, 0, 0, 0, 300,
305, 0, 309, 0, 311, 314, 0, 0, 320, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
359, 360, 0, 363, 364, 0, 0, 0, 372, 0,
0, 22, 0, 0, 0, 0, 0, 0, 0, 0,
34, 36, 0, 40, 0, 0, 0, 0, 0, 0,
0, 0, 0, 57, 59, 64, 0, 0, 4, 71,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
93, 94, 95, 96, 0, 0, 0, 0, 0, 0,
107, 0, 0, 114, 0, 120, 121, 124, 0, 0,
129, 131, 0, 0, 0, 140, 143, 144, 147, 0,
151, 6, 0, 0, 0, 0, 9, 0, 165, 166,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 195, 197, 0, 0, 205, 206, 0, 209,
211, 0, 216, 0, 0, 0, 226, 0, 230, 0,
0, 234, 0, 236, 240, 0, 242, 245, 248, 0,
0, 255, 256, 257, 0, 0, 0, 0, 266, 0,
274, 0, 0, 0, 0, 0, 284, 286, 0, 0,
295, 0, 0, 0, 0, 312, 0, 321, 0, 0,
0, 326, 327, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 349, 349, 0, 0,
0, 0, 368, 0, 375, 18, 0, 0, 0, 0,
0, 0, 0, 33, 38, 0, 0, 0, 44, 45,
0, 0, 0, 0, 0, 66, 68, 0, 75, 77,
0, 0, 0, 83, 0, 0, 0, 0, 99, 0,
0, 104, 0, 0, 110, 115, 0, 0, 0, 0,
0, 148, 0, 0, 159, 0, 0, 0, 0, 0,
0, 172, 172, 0, 0, 0, 179, 182, 186, 188,
193, 198, 201, 0, 0, 218, 0, 221, 0, 0,
233, 235, 0, 0, 0, 0, 0, 262, 263, 269,
0, 0, 0, 282, 283, 0, 0, 0, 0, 0,
0, 0, 0, 307, 325, 0, 329, 330, 331, 0,
333, 334, 0, 340, 0, 0, 0, 0, 0, 0,
0, 0, 0, 2, 0, 26, 0, 0, 0, 0,
39, 0, 0, 51, 52, 0, 55, 0, 74, 0,
0, 0, 87, 89, 92, 0, 0, 0, 0, 108,
0, 128, 0, 0, 138, 0, 0, 0, 0, 164,
0, 0, 0, 0, 175, 0, 177, 207, 214, 219,
229, 0, 241, 0, 254, 0, 0, 0, 0, 278,
0, 294, 297, 0, 306, 310, 315, 323, 0, 0,
335, 0, 0, 0, 0, 0, 0, 0, 362, 0,
0, 27, 0, 30, 0, 54, 43, 3, 0, 78,
79, 80, 0, 0, 0, 105, 5, 135, 0, 0,
0, 0, 0, 0, 168, 0, 0, 0, 0, 0,
259, 261, 0, 277, 298, 0, 332, 341, 0, 0,
346, 0, 0, 0, 0, 0, 0, 32, 56, 97,
100, 0, 0, 0, 0, 0, 0, 167, 0, 0,
176, 231, 0, 0, 328, 0, 0, 0, 0, 0,
366, 24, 0, 0, 0, 155, 0, 0, 0, 0,
0, 14, 0, 0, 347, 0, 0, 0, 29, 0,
0, 0, 85, 7, 169, 0, 0, 345, 0, 0,
0, 0, 0, 156, 173, 275, 0, 353, 356, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 136,
348, 0, 0, 0, 102, 0
} ;
static yyconst int yy_ec[256] =
{ 0,
1, 1, 1, 2, 1, 1, 1, 1, 3, 4,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 3, 5, 1, 1, 1, 1, 1, 6, 1,
1, 1, 1, 1, 1, 1, 7, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 1, 1, 9,
1, 10, 1, 1, 11, 12, 13, 14, 15, 16,
17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
27, 28, 29, 30, 31, 32, 33, 34, 35, 34,
1, 1, 1, 1, 1, 1, 36, 37, 38, 39,
40, 41, 42, 43, 44, 20, 45, 46, 47, 48,
49, 50, 51, 52, 53, 54, 55, 56, 57, 58,
59, 60, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 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[61] =
{ 0,
1, 1, 1, 1, 1, 2, 3, 4, 1, 1,
5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
5, 5, 5, 5, 5, 6, 5, 7, 8, 9,
10, 11, 12, 13, 11, 14, 15, 16, 5, 5,
5, 17, 18, 19, 5, 20, 21, 22, 23, 5
} ;
static yyconst short int yy_base[1786] =
{ 0,
0, 0, 0, 0, 60, 104, 3756, 3757, 3757, 3757,
3757, 3748, 148, 35, 30, 42, 71, 49, 76, 120,
205, 63, 3710, 39, 123, 93, 175, 182, 3698, 56,
224, 248, 73, 92, 130, 144, 3705, 145, 196, 241,
221, 201, 268, 3715, 271, 3757, 3757, 3757, 99, 3702,
3742, 3738, 3757, 3690, 3697, 3690, 3692, 3703, 138, 70,
3702, 135, 3699, 32, 95, 3685, 260, 110, 3687, 285,
285, 300, 100, 3692, 183, 203, 260, 301, 180, 3695,
3696, 3681, 3684, 3693, 216, 3692, 3677, 125, 305, 3681,
217, 269, 3676, 129, 308, 246, 320, 286, 38, 3686,
135, 190, 3757, 329, 302, 372, 3679, 316, 247, 380,
323, 342, 339, 3678, 353, 268, 351, 3667, 354, 355,
3671, 3667, 3674, 350, 235, 3680, 3674, 3680, 371, 3668,
3681, 3676, 3663, 3665, 374, 3673, 374, 3660, 375, 3657,
165, 376, 381, 378, 388, 3670, 391, 392, 399, 399,
395, 404, 456, 423, 416, 436, 435, 440, 3669, 3665,
3667, 3666, 3666, 3664, 3660, 307, 441, 444, 462, 451,
403, 3650, 115, 3646, 3650, 461, 426, 464, 386, 521,
483, 466, 3653, 3644, 3651, 3654, 3685, 3757, 3651, 3638,
3646, 3655, 3638, 531, 3645, 3631, 3635, 3642, 497, 3631,
3629, 3624, 3625, 3757, 3627, 3643, 3635, 3757, 336, 3642,
3633, 3638, 3635, 3626, 3628, 3636, 501, 3614, 498, 3630,
544, 3625, 550, 3630, 3623, 3626, 64, 3629, 3617, 3624,
3616, 3613, 3615, 463, 3619, 3614, 558, 3616, 3612, 3602,
564, 3602, 3617, 522, 3609, 3595, 3606, 3609, 524, 3610,
3609, 578, 3603, 3593, 3598, 3589, 358, 3596, 3601, 537,
3600, 3595, 3581, 3591, 544, 3584, 3595, 3595, 546, 3757,
3591, 592, 3584, 3592, 596, 3571, 516, 3576, 3574, 3586,
3587, 3585, 3757, 3585, 3583, 3579, 549, 600, 3616, 3581,
3572, 3569, 3581, 514, 3570, 606, 3575, 3757, 578, 3565,
3569, 570, 3572, 3757, 576, 3605, 548, 3564, 3554, 3560,
624, 3567, 3547, 3565, 3550, 579, 3551, 3550, 3757, 3561,
3557, 3559, 3544, 3757, 632, 3557, 3550, 3555, 3757, 3757,
3550, 3553, 3537, 3552, 566, 3547, 3757, 3549, 3548, 592,
3757, 3544, 3546, 3549, 3535, 3757, 638, 648, 658, 668,
3524, 3533, 3533, 3528, 3534, 3528, 3523, 3530, 634, 3539,
3520, 3536, 3522, 3531, 3516, 3526, 637, 685, 3525, 3525,
645, 3526, 677, 3510, 3515, 3523, 3513, 3757, 3515, 3506,
3519, 695, 3510, 3501, 3757, 3502, 3509, 3508, 3499, 3512,
3497, 3514, 3504, 3504, 584, 3503, 3507, 3505, 3757, 3498,
661, 3757, 663, 3489, 3490, 3505, 3486, 709, 669, 601,
675, 3487, 3757, 3495, 3497, 3757, 3500, 3489, 3495, 3484,
3492, 3487, 3477, 618, 3489, 3489, 3483, 3472, 3479, 3470,
3469, 722, 3482, 3757, 681, 3475, 3480, 3465, 3464, 683,
3463, 735, 3476, 654, 3475, 3471, 692, 681, 3474, 3466,
745, 753, 768, 3465, 722, 3458, 3463, 3454, 3470, 3462,
3461, 3450, 3449, 3458, 3457, 3757, 3444, 3757, 3456, 3458,
3451, 3757, 688, 3490, 3452, 3441, 778, 3457, 3448, 3451,
3444, 3757, 3435, 3433, 3447, 3441, 3757, 788, 3445, 3439,
3438, 3439, 3439, 3432, 3438, 759, 3426, 3429, 3422, 3426,
3420, 3757, 3430, 3420, 3419, 3425, 3430, 3420, 3431, 3757,
3430, 3757, 3425, 799, 3421, 3416, 3414, 235, 3407, 3454,
767, 3420, 3410, 3757, 3757, 3410, 3411, 3415, 3400, 3413,
3400, 3413, 697, 3391, 3395, 3393, 3757, 3407, 3391, 811,
779, 3391, 3392, 3399, 3757, 3757, 3388, 822, 3393, 3400,
3390, 3757, 3398, 832, 840, 3383, 3376, 3399, 844, 3380,
3381, 3396, 3389, 854, 3376, 3757, 3381, 3374, 3391, 864,
3757, 872, 3386, 876, 886, 3757, 3371, 858, 3757, 3372,
3375, 3366, 3375, 3365, 899, 3757, 3757, 909, 3365, 3369,
3365, 3380, 3376, 877, 3362, 921, 3359, 3369, 3357, 3360,
3360, 3757, 3372, 3354, 3757, 3360, 931, 941, 3757, 949,
3757, 953, 3369, 3757, 3350, 3757, 3357, 3353, 961, 3757,
965, 3349, 3362, 975, 3345, 3362, 3342, 985, 3356, 3349,
3342, 3339, 3349, 3347, 3343, 3341, 3351, 3757, 3757, 3757,
3757, 3338, 995, 3333, 3343, 1005, 3340, 3337, 3327, 3332,
1015, 1025, 3327, 3325, 3342, 3331, 3328, 3757, 3335, 3315,
3327, 3757, 3318, 3757, 1035, 1045, 3360, 3318, 3320, 3328,
3318, 3325, 3316, 3757, 3757, 3323, 3757, 1013, 3316, 3321,
3320, 1054, 3316, 3313, 3317, 3307, 3310, 3308, 3303, 3314,
3757, 3757, 3757, 3757, 3293, 3289, 3303, 3299, 1011, 1057,
3757, 3293, 3289, 3300, 3757, 1020, 704, 1066, 3299, 3284,
413, 729, 3283, 3281, 3757, 3275, 3293, 1076, 3280, 1086,
3279, 3291, 3273, 3273, 3272, 1094, 3285, 3273, 3285, 3265,
1096, 3757, 3265, 3757, 3266, 3273, 3276, 3757, 1100, 1110,
1118, 3269, 3757, 3274, 3273, 3757, 3273, 1124, 3258, 3266,
3757, 1132, 3257, 3256, 3264, 3262, 3757, 3252, 3757, 3757,
3263, 3246, 3757, 3757, 3238, 3757, 3237, 3757, 3757, 3247,
3248, 3757, 3757, 3252, 3249, 3246, 3244, 3245, 1136, 3233,
3232, 3223, 3235, 3219, 3757, 3216, 3214, 3222, 3219, 3210,
3199, 3195, 3757, 3757, 1146, 3757, 3187, 3182, 3757, 3169,
3158, 3171, 3127, 3087, 1156, 3098, 3757, 3757, 3757, 3086,
3072, 3757, 3062, 3061, 3052, 3757, 1166, 3065, 3050, 3043,
3035, 1176, 3028, 3022, 3034, 3024, 3757, 3056, 3006, 3004,
3757, 1144, 2992, 2998, 2986, 3757, 2980, 2965, 3757, 1187,
2972, 2954, 2936, 2944, 3757, 2906, 1197, 1207, 3757, 40,
75, 1217, 3757, 134, 165, 209, 265, 3757, 297, 1227,
3757, 1195, 340, 357, 3757, 3757, 406, 1236, 1238, 3757,
432, 3757, 440, 468, 3757, 3757, 792, 540, 552, 3757,
3757, 595, 630, 711, 726, 768, 748, 3757, 3757, 1242,
741, 774, 769, 790, 814, 798, 807, 3757, 1252, 826,
1260, 820, 817, 830, 1264, 832, 3757, 3757, 843, 3757,
846, 865, 867, 874, 878, 3757, 885, 888, 3757, 899,
888, 905, 3757, 907, 920, 1274, 3757, 1083, 1284, 923,
936, 1294, 941, 942, 3757, 947, 953, 3757, 947, 955,
971, 961, 964, 3757, 3757, 983, 972, 996, 1001, 1304,
991, 1314, 992, 3757, 3757, 3757, 1018, 1035, 1036, 1036,
1053, 1047, 1052, 1064, 1078, 1324, 1334, 3757, 3757, 1078,
1083, 1302, 3757, 1346, 1312, 1089, 1103, 1112, 1103, 1120,
1357, 1135, 3757, 1367, 1130, 1129, 1325, 1379, 3757, 3757,
3757, 1389, 1153, 3757, 1399, 1159, 1409, 1419, 1163, 1165,
1176, 3757, 1429, 1169, 3757, 1173, 3757, 1179, 1212, 1210,
1199, 1207, 1216, 1226, 1228, 1228, 1254, 1238, 1257, 3757,
1254, 1257, 3757, 3757, 1396, 1259, 3757, 1438, 3757, 1271,
3757, 1265, 1278, 1273, 1442, 1453, 3757, 1461, 1283, 1415,
1302, 3757, 1310, 1323, 1467, 1329, 1323, 1326, 1341, 3757,
1343, 1346, 1475, 1350, 1479, 1366, 1353, 1489, 1371, 1376,
1385, 1387, 3757, 1397, 1400, 1398, 1410, 1497, 1501, 3757,
1420, 1425, 1435, 1445, 1511, 1521, 3757, 1447, 1441, 1442,
3757, 1529, 1467, 1454, 3757, 1463, 1471, 3757, 1479, 3757,
1489, 1533, 1543, 1553, 1563, 1503, 1499, 1513, 3757, 1502,
1500, 1517, 1573, 1517, 1523, 3757, 3757, 1583, 1537, 3757,
1593, 1603, 3757, 1613, 1532, 3757, 1549, 1623, 3757, 1633,
1541, 1556, 1547, 1643, 1653, 1663, 1673, 1560, 1557, 1683,
1571, 1581, 1691, 1590, 1577, 1600, 3757, 3757, 1593, 1695,
1705, 1610, 1596, 1619, 3757, 1607, 1625, 1631, 1633, 1622,
3757, 1630, 1650, 1642, 1651, 1715, 1725, 1670, 1677, 3757,
1735, 1745, 1667, 1755, 1765, 3757, 1683, 1775, 3757, 1689,
1693, 3757, 1689, 1785, 1689, 1795, 1708, 1711, 1805, 1721,
1815, 3757, 1825, 1717, 1835, 3757, 1845, 3757, 1855, 1717,
1737, 1865, 1875, 1885, 1744, 3757, 1853, 1896, 1735, 3757,
3757, 1906, 1750, 1749, 1754, 3757, 3757, 1757, 1764, 1765,
3757, 1916, 1768, 3757, 1777, 3757, 1926, 1785, 1790, 3757,
3757, 1801, 3757, 1795, 3757, 3757, 1808, 1817, 3757, 1936,
1812, 1804, 1812, 1946, 1956, 1819, 1832, 1843, 1832, 1858,
1858, 1865, 1886, 1882, 1893, 1918, 1890, 1967, 1903, 1896,
3757, 3757, 1903, 3757, 3757, 1900, 1977, 1918, 3757, 1987,
1997, 3757, 1925, 1922, 1943, 1949, 1945, 1938, 1944, 2007,
3757, 3757, 1952, 3757, 1965, 1960, 2017, 2027, 1971, 1983,
1985, 1980, 1979, 3757, 3757, 3757, 1991, 2039, 3757, 3757,
1993, 2007, 2049, 2011, 2009, 2014, 2060, 2024, 2026, 2023,
3757, 3757, 3757, 3757, 2026, 2072, 2032, 2032, 2082, 2032,
3757, 2031, 2092, 3757, 2102, 3757, 3757, 3757, 2046, 2052,
3757, 3757, 2065, 2061, 2064, 3757, 3757, 3757, 3757, 2113,
3757, 3757, 2121, 2060, 2125, 2133, 3757, 2093, 3757, 3757,
2135, 2067, 2095, 2139, 2091, 2114, 2112, 2151, 2161, 2171,
2181, 2191, 3757, 3757, 2201, 2111, 3757, 3757, 2110, 3757,
3757, 2119, 3757, 2211, 2117, 2221, 3757, 2137, 3757, 2139,
2231, 3757, 2241, 3757, 3757, 2128, 3757, 3757, 3757, 2140,
2138, 3757, 3757, 3757, 2159, 2167, 2251, 2261, 3757, 2271,
3757, 2279, 2161, 2177, 2179, 2283, 3757, 3757, 2183, 2189,
3757, 2178, 2199, 2199, 2210, 3757, 2198, 3757, 2202, 2293,
2303, 3757, 3757, 2231, 2313, 2323, 2333, 2220, 2343, 2353,
2223, 2363, 2243, 2250, 2371, 2245, 3757, 2245, 2257, 2303,
2256, 2276, 3757, 2375, 3757, 3757, 2385, 2285, 2395, 2275,
2289, 2291, 2292, 3757, 3757, 2405, 2307, 2305, 3757, 3757,
2415, 2425, 2315, 2435, 2312, 3757, 3757, 2445, 3757, 3757,
2315, 2317, 2327, 3757, 2455, 2465, 2475, 2337, 3757, 2345,
2355, 3757, 2361, 2485, 3757, 3757, 2349, 2495, 2352, 2367,
2505, 3757, 2362, 2374, 3757, 2473, 2391, 2518, 2384, 2401,
2389, 3757, 2399, 2528, 2401, 2538, 3757, 3757, 3757, 3757,
3757, 3757, 3757, 2548, 2558, 3757, 2568, 3757, 2578, 2409,
3757, 3757, 2588, 2415, 2598, 2419, 2425, 3757, 3757, 3757,
2427, 2441, 2608, 3757, 3757, 2442, 2618, 2628, 2441, 2638,
2648, 2658, 2668, 3757, 3757, 2453, 3757, 3757, 3757, 2455,
3757, 3757, 2678, 3757, 2454, 2513, 2465, 2480, 2491, 2497,
2490, 2688, 2510, 3757, 2502, 3757, 2516, 2696, 2700, 2509,
3757, 2710, 2720, 3757, 3757, 2530, 3757, 2519, 3757, 2730,
2740, 2750, 3757, 3757, 3757, 2517, 2525, 2546, 2760, 3757,
2551, 3757, 2770, 2557, 3757, 2555, 2551, 2578, 2568, 3757,
2583, 2780, 2582, 2590, 3757, 2583, 3757, 3757, 3757, 3757,
3757, 2604, 3757, 2602, 3757, 2790, 2800, 2611, 2810, 3757,
2608, 3757, 3757, 2820, 3757, 3757, 3757, 3757, 2625, 2830,
3757, 2840, 2607, 2625, 2850, 2636, 2858, 2860, 3757, 2636,
2627, 3757, 2640, 3757, 2864, 3757, 3757, 3757, 2874, 3757,
3757, 3757, 2884, 2894, 2902, 3757, 3757, 3757, 2904, 2641,
2906, 2654, 2659, 2910, 3757, 2667, 2676, 2920, 2930, 2677,
3757, 3757, 2679, 3757, 3757, 2940, 3757, 3757, 2687, 2683,
3757, 2948, 2687, 2689, 2952, 2962, 2707, 3757, 3757, 3757,
3757, 2714, 2717, 2972, 2729, 2736, 2721, 3757, 2738, 2745,
3757, 3757, 2982, 2743, 3757, 2743, 2992, 2759, 2759, 2767,
3757, 3757, 3002, 2770, 2785, 3757, 2779, 3012, 3022, 3032,
2782, 3757, 2798, 3042, 3757, 2810, 2793, 2801, 3757, 3050,
3052, 3056, 3757, 3757, 3757, 3066, 3076, 3757, 2804, 3086,
3096, 2834, 2813, 3757, 3757, 3757, 2826, 3757, 3757, 3104,
2833, 2850, 2835, 2845, 2850, 2873, 3108, 3118, 2874, 3757,
3757, 2880, 2888, 3128, 3757, 3757, 3138, 3159, 3182, 3205,
3219, 3212, 3213, 3206, 3236, 3220, 3256, 3271, 2957, 3226,
3289, 3230, 3231, 3308, 2935, 3237, 3325, 2967, 3243, 3244,
3247, 2997, 3344, 3262, 3275
} ;
static yyconst short int yy_def[1786] =
{ 0,
1756, 1, 1, 1, 1757, 1757, 1756, 1756, 1756, 1756,
1756, 1758, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 13, 1756, 1756, 1756,
1756, 1756, 1756, 31, 1756, 1756, 1756, 1756, 1756, 1756,
1758, 1759, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1760, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1761, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1762, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1763, 1756, 1756,
1764, 1756, 1756, 1765, 1756, 1766, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1767, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1768, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1759, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1769, 1756, 1756, 1770, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1771, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1772, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1773, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1774, 1756, 1756, 1771, 1756, 1756, 1756, 1756, 1775,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1776, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1777, 1778, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1779, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1780, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1781, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1782,
1756, 1783, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1784, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1785, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 0, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756
} ;
static yyconst short int yy_nxt[3818] =
{ 0,
8, 9, 8, 10, 8, 11, 8, 11, 12, 8,
13, 14, 15, 16, 17, 18, 19, 20, 21, 22,
23, 24, 25, 26, 27, 28, 29, 30, 31, 32,
33, 34, 35, 11, 36, 37, 14, 38, 39, 17,
40, 19, 41, 42, 23, 24, 43, 26, 27, 28,
29, 30, 44, 45, 33, 34, 35, 11, 36, 11,
46, 47, 46, 48, 46, 71, 46, 202, 46, 46,
65, 66, 72, 284, 67, 73, 203, 75, 74, 1108,
68, 76, 115, 69, 87, 77, 70, 116, 88, 285,
78, 140, 89, 79, 90, 141, 49, 91, 111, 142,
92, 506, 112, 50, 46, 47, 46, 48, 46, 507,
46, 93, 46, 46, 80, 94, 81, 113, 82, 197,
163, 198, 1109, 83, 95, 164, 84, 96, 85, 86,
97, 165, 122, 204, 183, 166, 123, 200, 200, 228,
49, 124, 184, 229, 205, 212, 206, 50, 53, 53,
54, 54, 53, 185, 53, 98, 53, 53, 117, 99,
450, 254, 118, 100, 213, 167, 119, 451, 101, 168,
255, 120, 169, 170, 102, 1111, 194, 271, 171, 172,
176, 121, 272, 173, 55, 195, 56, 72, 57, 287,
73, 288, 174, 74, 58, 59, 196, 60, 175, 61,
367, 62, 63, 368, 64, 103, 103, 104, 104, 103,
105, 103, 125, 103, 103, 126, 1112, 133, 127, 243,
128, 134, 129, 244, 130, 135, 131, 136, 231, 232,
132, 177, 289, 137, 233, 76, 138, 290, 234, 77,
235, 106, 107, 236, 78, 106, 107, 79, 108, 305,
305, 250, 108, 109, 110, 251, 98, 109, 110, 143,
99, 144, 264, 145, 100, 1113, 146, 147, 265, 179,
148, 266, 149, 150, 344, 102, 87, 151, 152, 153,
88, 276, 820, 154, 89, 277, 90, 155, 345, 178,
156, 157, 92, 821, 306, 209, 158, 210, 237, 159,
238, 160, 161, 117, 162, 211, 154, 180, 267, 324,
182, 119, 268, 156, 157, 239, 120, 269, 1114, 158,
215, 325, 159, 326, 216, 161, 121, 162, 217, 1115,
219, 220, 221, 218, 222, 225, 223, 281, 224, 226,
240, 282, 241, 227, 428, 256, 257, 295, 296, 242,
258, 273, 259, 274, 301, 429, 260, 297, 430, 278,
261, 275, 262, 279, 291, 280, 308, 292, 302, 303,
309, 293, 298, 298, 299, 299, 298, 310, 298, 1119,
298, 298, 307, 307, 313, 294, 314, 482, 317, 318,
483, 315, 319, 320, 321, 311, 327, 322, 312, 332,
542, 333, 334, 342, 328, 343, 323, 335, 336, 329,
350, 357, 543, 361, 364, 1120, 351, 369, 365, 358,
375, 359, 362, 370, 371, 377, 372, 378, 373, 376,
395, 387, 383, 379, 374, 388, 384, 380, 392, 389,
456, 1121, 288, 381, 385, 390, 396, 393, 386, 447,
394, 397, 997, 391, 448, 398, 399, 399, 399, 399,
399, 403, 399, 404, 399, 399, 400, 405, 401, 998,
402, 407, 232, 406, 413, 408, 414, 233, 417, 409,
1124, 415, 435, 418, 410, 419, 420, 411, 431, 436,
412, 443, 1125, 432, 433, 437, 438, 439, 444, 473,
473, 440, 445, 514, 446, 441, 454, 220, 221, 264,
222, 403, 223, 404, 224, 455, 515, 405, 266, 1126,
442, 330, 330, 330, 330, 330, 371, 330, 372, 330,
330, 466, 466, 466, 466, 466, 374, 466, 491, 466,
466, 495, 492, 496, 474, 1129, 498, 498, 493, 499,
502, 502, 502, 502, 502, 567, 502, 583, 502, 502,
518, 518, 584, 519, 524, 524, 524, 524, 524, 527,
524, 533, 524, 524, 566, 534, 546, 528, 537, 537,
537, 537, 537, 600, 537, 553, 537, 537, 554, 547,
1130, 500, 559, 560, 562, 562, 588, 555, 565, 565,
576, 577, 578, 578, 601, 520, 586, 586, 586, 586,
586, 596, 586, 593, 586, 586, 627, 610, 628, 597,
611, 589, 687, 594, 605, 605, 605, 605, 605, 598,
605, 632, 605, 605, 618, 618, 590, 688, 638, 638,
638, 638, 638, 1131, 638, 633, 638, 638, 639, 639,
639, 639, 639, 709, 639, 710, 639, 639, 640, 640,
640, 640, 640, 723, 640, 724, 640, 640, 641, 641,
642, 642, 641, 651, 641, 660, 641, 641, 652, 667,
667, 1132, 661, 665, 619, 662, 662, 662, 662, 662,
666, 662, 749, 662, 662, 674, 674, 674, 674, 674,
692, 674, 695, 674, 674, 693, 694, 750, 696, 701,
701, 702, 702, 701, 711, 701, 706, 701, 701, 736,
707, 708, 742, 712, 733, 733, 755, 753, 737, 780,
743, 754, 781, 756, 744, 746, 746, 747, 747, 746,
837, 746, 992, 746, 746, 759, 759, 759, 759, 759,
838, 759, 703, 759, 759, 761, 761, 993, 762, 1133,
704, 801, 801, 553, 734, 1134, 554, 705, 764, 764,
764, 764, 764, 1135, 764, 765, 764, 764, 785, 785,
785, 785, 785, 999, 785, 1000, 785, 785, 794, 794,
794, 794, 794, 1136, 794, 1138, 794, 794, 802, 816,
816, 816, 816, 816, 763, 816, 824, 816, 816, 1139,
825, 845, 845, 845, 845, 845, 1140, 845, 846, 845,
845, 847, 853, 853, 853, 853, 853, 1127, 853, 1141,
853, 853, 858, 858, 858, 858, 858, 848, 858, 1128,
858, 858, 859, 859, 865, 865, 865, 865, 865, 1142,
865, 1143, 865, 865, 870, 870, 870, 870, 870, 1144,
870, 1146, 870, 870, 875, 875, 875, 875, 875, 1148,
875, 1149, 875, 875, 877, 877, 880, 880, 880, 880,
880, 1150, 880, 1152, 880, 880, 881, 881, 881, 881,
881, 1153, 881, 883, 881, 881, 884, 1154, 860, 888,
888, 888, 888, 888, 1155, 888, 1156, 888, 888, 889,
889, 889, 889, 889, 1157, 889, 895, 889, 889, 878,
896, 898, 898, 898, 898, 898, 1158, 898, 1159, 898,
898, 907, 907, 907, 907, 907, 1160, 907, 1161, 907,
907, 908, 908, 908, 908, 908, 1162, 908, 1163, 908,
908, 909, 909, 910, 910, 910, 910, 910, 1164, 910,
1165, 910, 910, 915, 915, 916, 916, 916, 916, 916,
1170, 916, 1171, 916, 916, 919, 919, 919, 919, 919,
1173, 919, 1174, 919, 919, 923, 923, 923, 923, 923,
1175, 923, 1176, 923, 923, 935, 935, 935, 935, 935,
1177, 935, 1178, 935, 935, 938, 938, 939, 939, 938,
1179, 938, 1180, 938, 938, 944, 944, 944, 944, 944,
1181, 944, 1182, 944, 944, 945, 945, 945, 945, 945,
1183, 945, 1184, 945, 945, 955, 955, 955, 955, 955,
1185, 955, 1187, 955, 955, 956, 956, 956, 956, 956,
1189, 956, 965, 956, 956, 966, 971, 971, 983, 985,
985, 990, 986, 984, 991, 1190, 994, 994, 994, 994,
994, 967, 994, 1191, 994, 994, 1005, 1005, 1005, 1005,
1005, 1192, 1005, 1193, 1005, 1005, 1007, 1007, 1007, 1007,
1007, 1194, 1007, 1195, 1007, 1007, 1013, 1013, 1018, 1018,
1023, 1023, 1023, 1023, 1023, 1197, 1023, 972, 1023, 1023,
1024, 1024, 1024, 1024, 1024, 1198, 1024, 1199, 1024, 1024,
1025, 1025, 1167, 1026, 1031, 1031, 1031, 1031, 1031, 1202,
1031, 1203, 1031, 1031, 1034, 1034, 1050, 1050, 1050, 1050,
1050, 1168, 1050, 1209, 1050, 1050, 1063, 1063, 1063, 1063,
1063, 1210, 1063, 1211, 1063, 1063, 1070, 1070, 1070, 1070,
1070, 1212, 1070, 1213, 1070, 1070, 1077, 1077, 1077, 1077,
1077, 1215, 1077, 986, 1077, 1077, 1081, 1081, 1081, 1081,
1081, 1217, 1081, 1091, 1081, 1081, 1092, 1099, 1099, 1100,
1100, 1099, 1222, 1099, 1224, 1099, 1099, 1106, 1106, 1106,
1106, 1106, 1093, 1106, 1227, 1106, 1106, 1107, 1107, 1107,
1107, 1107, 998, 1107, 1228, 1107, 1107, 1110, 1110, 1110,
1110, 1110, 1230, 1110, 1231, 1110, 1110, 1116, 1116, 1116,
1116, 1116, 1232, 1116, 1117, 1116, 1116, 1118, 1122, 1122,
1123, 1123, 1137, 1137, 1137, 1137, 1137, 1233, 1137, 1234,
1137, 1137, 1145, 1145, 1145, 1145, 1145, 1235, 1145, 1236,
1145, 1145, 1147, 1147, 1151, 1151, 1151, 1151, 1151, 1237,
1151, 1238, 1151, 1151, 1166, 1166, 1166, 1166, 1166, 1239,
1166, 1240, 1166, 1166, 1169, 1169, 1169, 1169, 1169, 1241,
1169, 1242, 1169, 1169, 1172, 1172, 1172, 1172, 1172, 1243,
1172, 1244, 1172, 1172, 1186, 1186, 1186, 1186, 1186, 1245,
1186, 1248, 1186, 1186, 1188, 1188, 1188, 1188, 1188, 1250,
1188, 1251, 1188, 1188, 1200, 1200, 1200, 1200, 1200, 1252,
1200, 1253, 1200, 1200, 1201, 1201, 1201, 1201, 1201, 1257,
1201, 1259, 1201, 1201, 1204, 1205, 1206, 1206, 1206, 1206,
1206, 1260, 1206, 1207, 1206, 1206, 1208, 1214, 1214, 1214,
1214, 1214, 1261, 1214, 1263, 1214, 1214, 1216, 1216, 1216,
1216, 1216, 1218, 1216, 1264, 1216, 1216, 1265, 1219, 1220,
1220, 1220, 1220, 1220, 1266, 1220, 1267, 1220, 1220, 1221,
1221, 1221, 1221, 1221, 1268, 1221, 1270, 1221, 1221, 1223,
1223, 1223, 1223, 1223, 1272, 1223, 1273, 1223, 1223, 1225,
1225, 1225, 1225, 1225, 1275, 1225, 1276, 1225, 1225, 1226,
1226, 1226, 1226, 1226, 1277, 1226, 1278, 1226, 1226, 1229,
1229, 1229, 1229, 1229, 1246, 1229, 1279, 1229, 1229, 1026,
1249, 1249, 1254, 1254, 1254, 1254, 1254, 1280, 1254, 1281,
1254, 1254, 1247, 1255, 1255, 1255, 1255, 1255, 1282, 1255,
1258, 1255, 1255, 1256, 1256, 1285, 1041, 1262, 1262, 1262,
1262, 1262, 1286, 1262, 1287, 1262, 1262, 1269, 1269, 1271,
1271, 1271, 1271, 1271, 1288, 1271, 1291, 1271, 1271, 1274,
1274, 1274, 1274, 1274, 1292, 1274, 1293, 1274, 1274, 1283,
1283, 1284, 1284, 1284, 1284, 1284, 1295, 1284, 1296, 1284,
1284, 1289, 1289, 1289, 1289, 1289, 1297, 1289, 1298, 1289,
1289, 1290, 1290, 1290, 1290, 1290, 1299, 1290, 1300, 1290,
1290, 1294, 1294, 1301, 1301, 1301, 1301, 1301, 1305, 1301,
1306, 1301, 1301, 1302, 1302, 1302, 1302, 1302, 1307, 1302,
1308, 1302, 1302, 1303, 1303, 1303, 1303, 1303, 1309, 1303,
1310, 1303, 1303, 1304, 1304, 1304, 1304, 1304, 1312, 1304,
1313, 1304, 1304, 1311, 1311, 1311, 1311, 1311, 1315, 1311,
1319, 1311, 1311, 1314, 1314, 1314, 1314, 1314, 1320, 1314,
1323, 1314, 1314, 1316, 1316, 1316, 1316, 1316, 1324, 1316,
1325, 1316, 1316, 1317, 1317, 1317, 1317, 1317, 1129, 1317,
1330, 1317, 1317, 1318, 1318, 1318, 1318, 1318, 1332, 1318,
1333, 1318, 1318, 1321, 1321, 1321, 1321, 1321, 1335, 1321,
1336, 1321, 1321, 1322, 1322, 1322, 1322, 1322, 1337, 1322,
1338, 1322, 1322, 1326, 1326, 1326, 1326, 1326, 1341, 1326,
1342, 1326, 1326, 1327, 1327, 1327, 1327, 1327, 1343, 1327,
1344, 1327, 1327, 1328, 1328, 1328, 1328, 1328, 1345, 1328,
1346, 1328, 1328, 1329, 1329, 1329, 1329, 1329, 1347, 1329,
1348, 1329, 1329, 1331, 1331, 1331, 1331, 1331, 1349, 1331,
1350, 1331, 1331, 1334, 1334, 1339, 1339, 1339, 1339, 1339,
1351, 1339, 1352, 1339, 1339, 1340, 1340, 1340, 1340, 1340,
1355, 1340, 1356, 1340, 1340, 1353, 1353, 1353, 1353, 1353,
1359, 1353, 1362, 1353, 1353, 1354, 1354, 1354, 1354, 1354,
1364, 1354, 1365, 1354, 1354, 1357, 1357, 1357, 1357, 1357,
1366, 1357, 1368, 1357, 1357, 1358, 1358, 1358, 1358, 1358,
1370, 1358, 1371, 1358, 1358, 1360, 1360, 1360, 1360, 1360,
1373, 1360, 1376, 1360, 1360, 1361, 1361, 1361, 1361, 1361,
1380, 1361, 1381, 1361, 1361, 1363, 1363, 1363, 1363, 1363,
1385, 1363, 1390, 1363, 1363, 1367, 1367, 1367, 1367, 1367,
1392, 1367, 1393, 1367, 1367, 1369, 1369, 1369, 1369, 1369,
1394, 1369, 1395, 1369, 1369, 1372, 1372, 1372, 1372, 1372,
1396, 1372, 1397, 1372, 1372, 1374, 1374, 1374, 1374, 1374,
1399, 1374, 1400, 1374, 1374, 1375, 1375, 1375, 1375, 1375,
1402, 1375, 1403, 1375, 1375, 1377, 1377, 1377, 1377, 1377,
1404, 1377, 1405, 1377, 1377, 1378, 1378, 1378, 1378, 1378,
1406, 1378, 1407, 1378, 1378, 1379, 1379, 1379, 1379, 1379,
1409, 1379, 1410, 1379, 1379, 1382, 1382, 1382, 1382, 1382,
1411, 1382, 1414, 1382, 1382, 1383, 1383, 1383, 1383, 1383,
1415, 1383, 1416, 1383, 1383, 1384, 1384, 1384, 1384, 1384,
1417, 1384, 1386, 1384, 1384, 1387, 1389, 1389, 1389, 1389,
1389, 1418, 1389, 1419, 1389, 1389, 1391, 1391, 1391, 1391,
1391, 1388, 1391, 1420, 1391, 1391, 1398, 1398, 1398, 1398,
1398, 1421, 1398, 1422, 1398, 1398, 1401, 1401, 1401, 1401,
1401, 1423, 1401, 1426, 1401, 1401, 1408, 1408, 1408, 1408,
1408, 1429, 1408, 1430, 1408, 1408, 1412, 1412, 1412, 1412,
1412, 1431, 1412, 1432, 1412, 1412, 1413, 1413, 1413, 1413,
1413, 1424, 1413, 1434, 1413, 1413, 1425, 1427, 1427, 1428,
1428, 1427, 1437, 1427, 1438, 1427, 1427, 1433, 1433, 1433,
1433, 1433, 1439, 1433, 1440, 1433, 1433, 1435, 1435, 1435,
1435, 1435, 1441, 1435, 1442, 1435, 1435, 1436, 1436, 1436,
1436, 1436, 1443, 1436, 1446, 1436, 1436, 1444, 1444, 1444,
1444, 1444, 1447, 1444, 1448, 1444, 1444, 1449, 1449, 1449,
1449, 1449, 1451, 1449, 1452, 1449, 1449, 1450, 1450, 1450,
1450, 1450, 1453, 1450, 1454, 1450, 1450, 1455, 1456, 1457,
1457, 1457, 1457, 1457, 1458, 1457, 1459, 1457, 1457, 1460,
1460, 1460, 1460, 1460, 1461, 1460, 1462, 1460, 1460, 1463,
1464, 1464, 1464, 1464, 1464, 1465, 1464, 1466, 1464, 1464,
1467, 1468, 1469, 1469, 1469, 1469, 1469, 1470, 1469, 1471,
1469, 1469, 1472, 1472, 1472, 1472, 1472, 1473, 1472, 1474,
1472, 1472, 1475, 1475, 1475, 1475, 1475, 1477, 1475, 1478,
1475, 1475, 1476, 1476, 1476, 1476, 1476, 1479, 1476, 1480,
1476, 1476, 1481, 1482, 1482, 1482, 1482, 1482, 1484, 1482,
1490, 1482, 1482, 1483, 1483, 1485, 1485, 1485, 1485, 1485,
1487, 1485, 1491, 1485, 1485, 1486, 1486, 1489, 1489, 1492,
1492, 1493, 1493, 1492, 1494, 1492, 1488, 1492, 1492, 1495,
1496, 1497, 1497, 1497, 1497, 1497, 1503, 1497, 1504, 1497,
1497, 1498, 1498, 1498, 1498, 1498, 1505, 1498, 1507, 1498,
1498, 1499, 1499, 1499, 1499, 1499, 1509, 1499, 1510, 1499,
1499, 1500, 1500, 1500, 1500, 1500, 1513, 1500, 1514, 1500,
1500, 1501, 1501, 1501, 1501, 1501, 1515, 1501, 1516, 1501,
1501, 1502, 1502, 1502, 1502, 1502, 1517, 1502, 1522, 1502,
1502, 1506, 1506, 1506, 1506, 1506, 1523, 1506, 1524, 1506,
1506, 1508, 1508, 1508, 1508, 1508, 1526, 1508, 1527, 1508,
1508, 1511, 1511, 1511, 1511, 1511, 1528, 1511, 1529, 1511,
1511, 1512, 1512, 1512, 1512, 1512, 1530, 1512, 1531, 1512,
1512, 1518, 1518, 1518, 1518, 1518, 1532, 1518, 1533, 1518,
1518, 1519, 1519, 1519, 1519, 1519, 1536, 1519, 1540, 1519,
1519, 1520, 1520, 1520, 1520, 1520, 1543, 1520, 1545, 1520,
1520, 1521, 1521, 1525, 1525, 1525, 1525, 1525, 1546, 1525,
1548, 1525, 1525, 1534, 1534, 1534, 1534, 1534, 1549, 1534,
1550, 1534, 1534, 1535, 1535, 1535, 1535, 1535, 1551, 1535,
1552, 1535, 1535, 1537, 1537, 1537, 1537, 1537, 1553, 1537,
1555, 1537, 1537, 1538, 1538, 1538, 1538, 1538, 1557, 1538,
1558, 1538, 1538, 1539, 1539, 1539, 1539, 1539, 1559, 1539,
1560, 1539, 1539, 1541, 1541, 1541, 1541, 1541, 1562, 1541,
1563, 1541, 1541, 1542, 1542, 1542, 1542, 1542, 1566, 1542,
1568, 1542, 1542, 1544, 1544, 1544, 1544, 1544, 1570, 1544,
1571, 1544, 1544, 1547, 1547, 760, 760, 760, 760, 760,
1572, 760, 1576, 760, 760, 1554, 1554, 1554, 1554, 1554,
1577, 1554, 1578, 1554, 1554, 1556, 1556, 1556, 1556, 1556,
1579, 1556, 1581, 1556, 1556, 1561, 1561, 1561, 1561, 1561,
1583, 1561, 1584, 1561, 1561, 1564, 1564, 1564, 1564, 1564,
1586, 1564, 1587, 1564, 1564, 1565, 1565, 1565, 1565, 1565,
1488, 1565, 1591, 1565, 1565, 1567, 1567, 1567, 1567, 1567,
1592, 1567, 1593, 1567, 1567, 1569, 1569, 1569, 1569, 1569,
1594, 1569, 1596, 1569, 1569, 1573, 1573, 1573, 1573, 1573,
1602, 1573, 1604, 1573, 1573, 1574, 1574, 1574, 1574, 1574,
1606, 1574, 1607, 1574, 1574, 1575, 1575, 1575, 1575, 1575,
1608, 1575, 1609, 1575, 1575, 1580, 1580, 1580, 1580, 1580,
1611, 1580, 1614, 1580, 1580, 1582, 1582, 1582, 1582, 1582,
1619, 1582, 1620, 1582, 1582, 1585, 1585, 1585, 1585, 1585,
1588, 1585, 1622, 1585, 1585, 1623, 1623, 1589, 1590, 1590,
1590, 1590, 1590, 1624, 1590, 1625, 1590, 1590, 1595, 1595,
1595, 1595, 1595, 1626, 1595, 1627, 1595, 1595, 1597, 1597,
1597, 1597, 1597, 1628, 1597, 1630, 1597, 1597, 1598, 1598,
1598, 1598, 1598, 1631, 1598, 1632, 1598, 1598, 1599, 1599,
1599, 1599, 1599, 1635, 1599, 1638, 1599, 1599, 1600, 1600,
1600, 1600, 1600, 1639, 1600, 1643, 1600, 1600, 1601, 1601,
1601, 1601, 1601, 1644, 1601, 1645, 1601, 1601, 1603, 1603,
1603, 1603, 1603, 1647, 1603, 1649, 1603, 1603, 1605, 1605,
1605, 1605, 1605, 1650, 1605, 1651, 1605, 1605, 1610, 1610,
1610, 1610, 1610, 1652, 1610, 1653, 1610, 1610, 1612, 1612,
1612, 1612, 1612, 1654, 1612, 1656, 1612, 1612, 1613, 1613,
1613, 1613, 1613, 1657, 1613, 1658, 1613, 1613, 1615, 1615,
1615, 1615, 1615, 1659, 1615, 1660, 1615, 1615, 1616, 1616,
1616, 1616, 1616, 1663, 1616, 153, 1616, 1616, 1617, 1617,
1617, 1617, 1617, 1666, 1617, 1669, 1617, 1617, 1618, 1618,
1618, 1618, 1618, 1670, 1618, 1672, 1618, 1618, 1621, 1621,
1621, 1621, 1621, 1675, 1621, 1676, 1621, 1621, 1629, 1629,
1629, 1629, 1629, 1677, 1629, 1684, 1629, 1629, 1633, 1633,
1634, 1634, 1634, 1634, 1634, 1686, 1634, 1687, 1634, 1634,
1636, 1636, 1636, 1636, 1636, 1689, 1636, 1690, 1636, 1636,
1637, 1637, 1637, 1637, 1637, 1693, 1637, 1694, 1637, 1637,
1640, 1640, 1640, 1640, 1640, 1696, 1640, 1697, 1640, 1640,
1641, 1641, 1641, 1641, 1641, 1699, 1641, 1700, 1641, 1641,
1642, 1642, 1642, 1642, 1642, 1703, 1642, 1704, 1642, 1642,
1646, 1646, 1646, 1646, 1646, 1705, 1646, 1707, 1646, 1646,
1648, 1648, 1648, 1648, 1648, 1708, 1648, 1709, 1648, 1648,
1655, 1655, 1655, 1655, 1655, 1710, 1655, 1711, 1655, 1655,
1661, 1661, 1661, 1661, 1661, 1713, 1661, 1714, 1661, 1661,
1662, 1662, 1662, 1662, 1662, 1716, 1662, 1717, 1662, 1662,
1664, 1664, 1664, 1664, 1664, 1718, 1664, 1720, 1664, 1664,
1665, 1665, 1665, 1665, 1665, 1721, 1665, 1722, 1665, 1665,
1667, 1667, 1667, 1667, 1667, 1726, 1667, 1727, 1667, 1667,
1668, 1668, 1668, 1668, 1668, 1729, 1668, 1730, 1668, 1668,
1671, 1671, 1671, 1671, 1671, 1731, 1671, 1737, 1671, 1671,
1673, 1673, 1674, 1674, 1678, 1678, 1678, 1678, 1678, 1740,
1678, 1741, 1678, 1678, 1679, 1679, 1679, 1679, 1679, 1742,
1679, 1744, 1679, 1679, 1680, 1680, 1680, 1680, 1680, 1745,
1680, 1746, 1680, 1680, 1681, 1681, 1681, 1681, 1681, 1747,
1681, 1748, 1681, 1681, 1682, 1682, 1683, 1683, 1685, 1685,
1688, 1688, 1688, 1688, 1688, 1749, 1688, 1752, 1688, 1688,
1691, 1691, 1691, 1691, 1691, 1753, 1691, 1754, 1691, 1691,
1692, 1692, 1692, 1692, 1692, 769, 1692, 769, 1692, 1692,
1695, 1695, 1695, 1695, 1695, 1105, 1695, 769, 1695, 1695,
1698, 1698, 1701, 1701, 1701, 1701, 1701, 468, 1701, 468,
1701, 1701, 1702, 1702, 1702, 1702, 1702, 839, 1702, 839,
1702, 1702, 1706, 1706, 1706, 1706, 1706, 468, 1706, 1104,
1706, 1706, 1712, 1712, 1712, 1712, 1712, 1103, 1712, 839,
1712, 1712, 1715, 1715, 1715, 1715, 1715, 1088, 1715, 1088,
1715, 1715, 1719, 1719, 1719, 1719, 1719, 1102, 1719, 1088,
1719, 1719, 1723, 1723, 1723, 1723, 1723, 1101, 1723, 1098,
1723, 1723, 1724, 1724, 1724, 1724, 1724, 1097, 1724, 1096,
1724, 1724, 1725, 1725, 1725, 1725, 1725, 1095, 1725, 1094,
1725, 1725, 1728, 1728, 1728, 1728, 1728, 1089, 1728, 1087,
1728, 1728, 1732, 1732, 1733, 1733, 1734, 1734, 1734, 1734,
1734, 1086, 1734, 1085, 1734, 1734, 1735, 1735, 1735, 1735,
1735, 1084, 1735, 1083, 1735, 1735, 1736, 1736, 1736, 1736,
1736, 1082, 1736, 1080, 1736, 1736, 1738, 1738, 1738, 1738,
1738, 519, 1738, 1079, 1738, 1738, 1739, 1739, 1739, 1739,
1739, 1078, 1739, 1076, 1739, 1739, 1743, 1743, 1750, 1750,
1750, 1750, 1750, 1075, 1750, 1074, 1750, 1750, 1751, 1751,
1751, 1751, 1751, 1073, 1751, 1072, 1751, 1751, 1755, 1755,
1755, 1755, 1755, 1071, 1755, 499, 1755, 1755, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 52, 1069, 52, 52, 52, 52, 52, 52, 52,
52, 52, 52, 52, 52, 52, 52, 52, 52, 52,
52, 52, 187, 187, 187, 187, 187, 187, 187, 187,
187, 187, 187, 187, 187, 187, 187, 187, 187, 187,
187, 187, 187, 187, 187, 208, 337, 208, 337, 1068,
208, 208, 304, 330, 304, 330, 1067, 1066, 208, 283,
346, 283, 346, 337, 283, 1065, 472, 304, 472, 346,
677, 732, 677, 732, 330, 283, 341, 827, 341, 827,
1064, 472, 732, 861, 876, 861, 876, 927, 677, 927,
1062, 1061, 827, 1060, 341, 341, 416, 1059, 416, 876,
1058, 861, 1196, 416, 1196, 927, 1057, 1056, 416, 416,
416, 434, 1055, 434, 1054, 1445, 1053, 1445, 434, 1052,
1196, 1051, 1049, 1048, 434, 1047, 1046, 434, 434, 552,
1045, 552, 1445, 1044, 1043, 1042, 860, 1041, 1040, 552,
1039, 1038, 1037, 1036, 1035, 1033, 1032, 552, 760, 760,
760, 1030, 1029, 1028, 1027, 1022, 1021, 1020, 1019, 1017,
1016, 1015, 1014, 1012, 760, 836, 1011, 836, 1010, 1009,
1008, 1006, 1004, 1003, 1002, 1001, 996, 836, 995, 989,
988, 987, 982, 836, 1090, 981, 1090, 153, 980, 979,
978, 977, 1090, 976, 975, 1090, 974, 974, 973, 970,
969, 968, 964, 963, 962, 961, 1090, 960, 959, 958,
957, 954, 953, 952, 951, 950, 949, 948, 947, 946,
943, 942, 941, 940, 937, 936, 934, 933, 932, 931,
930, 929, 928, 926, 925, 924, 922, 921, 920, 918,
917, 914, 913, 912, 911, 906, 905, 904, 903, 902,
901, 900, 899, 897, 894, 893, 892, 891, 890, 887,
295, 297, 886, 885, 882, 879, 874, 873, 872, 871,
869, 868, 867, 866, 864, 863, 862, 857, 856, 855,
854, 852, 851, 850, 849, 844, 843, 842, 841, 840,
835, 834, 833, 832, 831, 830, 829, 828, 826, 823,
822, 819, 818, 817, 815, 814, 813, 812, 811, 810,
809, 808, 807, 806, 499, 805, 804, 803, 800, 799,
798, 797, 796, 795, 795, 793, 792, 791, 790, 789,
788, 787, 786, 784, 783, 782, 779, 778, 777, 776,
775, 774, 773, 772, 771, 770, 768, 767, 766, 576,
496, 758, 757, 752, 751, 748, 745, 741, 740, 739,
738, 735, 731, 730, 729, 728, 727, 726, 725, 722,
721, 720, 719, 718, 717, 716, 715, 714, 713, 700,
699, 698, 697, 692, 691, 690, 689, 686, 685, 684,
683, 682, 681, 680, 679, 678, 676, 675, 673, 672,
666, 671, 670, 669, 668, 666, 664, 663, 659, 658,
657, 656, 655, 654, 653, 650, 649, 648, 647, 646,
645, 644, 643, 637, 636, 635, 634, 631, 630, 629,
626, 625, 624, 623, 622, 621, 620, 617, 616, 615,
614, 613, 612, 609, 608, 607, 606, 604, 603, 602,
599, 595, 592, 591, 587, 585, 582, 581, 296, 580,
579, 575, 574, 573, 572, 571, 570, 569, 568, 566,
564, 563, 561, 558, 557, 556, 551, 550, 549, 548,
545, 544, 541, 540, 539, 538, 536, 535, 532, 531,
530, 529, 526, 525, 523, 522, 521, 517, 516, 513,
512, 511, 510, 509, 508, 505, 504, 503, 501, 497,
494, 490, 489, 488, 487, 486, 485, 484, 481, 480,
479, 478, 477, 476, 475, 471, 470, 469, 467, 465,
464, 463, 462, 461, 188, 460, 459, 458, 457, 453,
452, 449, 427, 426, 425, 424, 423, 422, 421, 382,
366, 363, 360, 356, 355, 354, 353, 352, 349, 348,
347, 340, 339, 338, 331, 316, 300, 286, 270, 263,
253, 252, 249, 248, 247, 246, 245, 230, 214, 207,
201, 199, 193, 192, 191, 190, 189, 188, 1756, 186,
181, 1756, 139, 114, 51, 1756, 7, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756, 1756,
1756, 1756, 1756, 1756, 1756, 1756, 1756
} ;
static yyconst short int yy_chk[3818] =
{ 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,
5, 5, 5, 5, 5, 15, 5, 64, 5, 5,
14, 14, 15, 99, 14, 15, 64, 16, 15, 850,
14, 16, 24, 14, 18, 16, 14, 24, 18, 99,
16, 30, 18, 16, 18, 30, 5, 18, 22, 30,
18, 227, 22, 5, 6, 6, 6, 6, 6, 227,
6, 19, 6, 6, 17, 19, 17, 22, 17, 60,
33, 60, 851, 17, 19, 33, 17, 19, 17, 17,
19, 34, 26, 65, 49, 34, 26, 62, 62, 73,
6, 26, 49, 73, 65, 68, 65, 6, 13, 13,
13, 13, 13, 49, 13, 20, 13, 13, 25, 20,
173, 88, 25, 20, 68, 35, 25, 173, 20, 35,
88, 25, 35, 35, 20, 854, 59, 94, 35, 36,
38, 25, 94, 36, 13, 59, 13, 38, 13, 101,
38, 101, 36, 38, 13, 13, 59, 13, 36, 13,
141, 13, 13, 141, 13, 21, 21, 21, 21, 21,
21, 21, 27, 21, 21, 27, 855, 28, 27, 79,
27, 28, 27, 79, 27, 28, 27, 28, 75, 75,
27, 39, 102, 28, 75, 39, 28, 102, 76, 39,
76, 42, 42, 76, 39, 21, 21, 39, 42, 109,
109, 85, 21, 42, 42, 85, 41, 21, 21, 31,
41, 31, 91, 31, 41, 856, 31, 31, 91, 41,
31, 91, 31, 31, 125, 41, 40, 31, 31, 32,
40, 96, 518, 32, 40, 96, 40, 32, 125, 40,
32, 32, 40, 518, 109, 67, 32, 67, 77, 32,
77, 32, 32, 43, 32, 67, 45, 43, 92, 116,
45, 43, 92, 45, 45, 77, 43, 92, 857, 45,
70, 116, 45, 116, 70, 45, 43, 45, 70, 859,
71, 71, 71, 70, 71, 72, 71, 98, 71, 72,
78, 98, 78, 72, 166, 89, 89, 105, 105, 78,
89, 95, 89, 95, 108, 166, 89, 105, 166, 97,
89, 95, 89, 97, 104, 97, 111, 104, 108, 108,
111, 104, 106, 106, 106, 106, 106, 112, 106, 863,
106, 106, 110, 110, 113, 104, 113, 209, 115, 115,
209, 113, 115, 115, 115, 112, 117, 115, 112, 119,
257, 119, 120, 124, 117, 124, 115, 120, 120, 117,
129, 135, 257, 137, 139, 864, 129, 142, 139, 135,
144, 135, 137, 142, 143, 145, 143, 145, 143, 144,
151, 148, 147, 145, 143, 148, 147, 145, 150, 149,
179, 867, 179, 145, 147, 149, 151, 150, 147, 171,
150, 152, 711, 149, 171, 152, 153, 153, 153, 153,
153, 155, 153, 155, 153, 153, 154, 155, 154, 711,
154, 156, 177, 155, 157, 156, 157, 177, 158, 156,
871, 157, 168, 158, 156, 158, 158, 156, 167, 168,
156, 170, 873, 167, 167, 168, 168, 169, 170, 199,
199, 169, 170, 234, 170, 169, 176, 176, 176, 178,
176, 182, 176, 182, 176, 178, 234, 182, 178, 874,
169, 180, 180, 180, 180, 180, 181, 180, 181, 180,
180, 194, 194, 194, 194, 194, 181, 194, 217, 194,
194, 219, 217, 219, 199, 878, 221, 221, 217, 221,
223, 223, 223, 223, 223, 277, 223, 294, 223, 223,
237, 237, 294, 237, 241, 241, 241, 241, 241, 244,
241, 249, 241, 241, 277, 249, 260, 244, 252, 252,
252, 252, 252, 307, 252, 265, 252, 252, 265, 260,
879, 221, 269, 269, 272, 272, 299, 265, 275, 275,
287, 287, 288, 288, 307, 237, 296, 296, 296, 296,
296, 305, 296, 302, 296, 296, 335, 316, 335, 305,
316, 299, 395, 302, 311, 311, 311, 311, 311, 305,
311, 340, 311, 311, 325, 325, 299, 395, 347, 347,
347, 347, 347, 882, 347, 340, 347, 347, 348, 348,
348, 348, 348, 410, 348, 410, 348, 348, 349, 349,
349, 349, 349, 424, 349, 424, 349, 349, 350, 350,
350, 350, 350, 359, 350, 367, 350, 350, 359, 373,
373, 883, 367, 371, 325, 368, 368, 368, 368, 368,
371, 368, 444, 368, 368, 382, 382, 382, 382, 382,
401, 382, 403, 382, 382, 401, 401, 444, 403, 408,
408, 408, 408, 408, 411, 408, 409, 408, 408, 435,
409, 409, 440, 411, 432, 432, 448, 447, 435, 473,
440, 447, 473, 448, 440, 442, 442, 442, 442, 442,
533, 442, 707, 442, 442, 451, 451, 451, 451, 451,
533, 451, 408, 451, 451, 452, 452, 707, 452, 884,
408, 496, 496, 455, 432, 885, 455, 408, 453, 453,
453, 453, 453, 886, 453, 455, 453, 453, 477, 477,
477, 477, 477, 712, 477, 712, 477, 477, 488, 488,
488, 488, 488, 887, 488, 891, 488, 488, 496, 514,
514, 514, 514, 514, 452, 514, 521, 514, 514, 892,
521, 540, 540, 540, 540, 540, 893, 540, 541, 540,
540, 541, 548, 548, 548, 548, 548, 877, 548, 894,
548, 548, 554, 554, 554, 554, 554, 541, 554, 877,
554, 554, 555, 555, 559, 559, 559, 559, 559, 895,
559, 896, 559, 559, 564, 564, 564, 564, 564, 897,
564, 900, 564, 564, 570, 570, 570, 570, 570, 902,
570, 903, 570, 570, 572, 572, 574, 574, 574, 574,
574, 904, 574, 906, 574, 574, 575, 575, 575, 575,
575, 909, 575, 578, 575, 575, 578, 911, 555, 585,
585, 585, 585, 585, 912, 585, 913, 585, 585, 588,
588, 588, 588, 588, 914, 588, 594, 588, 588, 572,
594, 596, 596, 596, 596, 596, 915, 596, 917, 596,
596, 607, 607, 607, 607, 607, 918, 607, 920, 607,
607, 608, 608, 608, 608, 608, 921, 608, 922, 608,
608, 610, 610, 612, 612, 612, 612, 612, 924, 612,
925, 612, 612, 619, 619, 621, 621, 621, 621, 621,
930, 621, 931, 621, 621, 624, 624, 624, 624, 624,
933, 624, 934, 624, 624, 628, 628, 628, 628, 628,
936, 628, 937, 628, 628, 643, 643, 643, 643, 643,
939, 643, 940, 643, 643, 646, 646, 646, 646, 646,
941, 646, 942, 646, 646, 651, 651, 651, 651, 651,
943, 651, 946, 651, 651, 652, 652, 652, 652, 652,
947, 652, 948, 652, 652, 665, 665, 665, 665, 665,
949, 665, 951, 665, 665, 666, 666, 666, 666, 666,
953, 666, 678, 666, 666, 678, 682, 682, 699, 700,
700, 706, 700, 699, 706, 957, 708, 708, 708, 708,
708, 678, 708, 958, 708, 708, 718, 718, 718, 718,
718, 959, 718, 960, 718, 718, 720, 720, 720, 720,
720, 961, 720, 962, 720, 720, 726, 726, 731, 731,
739, 739, 739, 739, 739, 963, 739, 682, 739, 739,
740, 740, 740, 740, 740, 964, 740, 965, 740, 740,
741, 741, 928, 741, 748, 748, 748, 748, 748, 970,
748, 971, 748, 748, 752, 752, 779, 779, 779, 779,
779, 928, 779, 976, 779, 779, 795, 795, 795, 795,
795, 977, 795, 978, 795, 795, 805, 805, 805, 805,
805, 979, 805, 980, 805, 805, 817, 817, 817, 817,
817, 982, 817, 985, 817, 817, 822, 822, 822, 822,
822, 986, 822, 832, 822, 822, 832, 840, 840, 840,
840, 840, 993, 840, 996, 840, 840, 847, 847, 847,
847, 847, 832, 847, 999, 847, 847, 848, 848, 848,
848, 848, 1000, 848, 1001, 848, 848, 852, 852, 852,
852, 852, 1004, 852, 1006, 852, 852, 860, 860, 860,
860, 860, 1008, 860, 862, 860, 860, 862, 868, 868,
869, 869, 890, 890, 890, 890, 890, 1009, 890, 1010,
890, 890, 899, 899, 899, 899, 899, 1011, 899, 1012,
899, 899, 901, 901, 905, 905, 905, 905, 905, 1013,
905, 1014, 905, 905, 926, 926, 926, 926, 926, 1015,
926, 1016, 926, 926, 929, 929, 929, 929, 929, 1017,
929, 1018, 929, 929, 932, 932, 932, 932, 932, 1019,
932, 1021, 932, 932, 950, 950, 950, 950, 950, 1022,
950, 1026, 950, 950, 952, 952, 952, 952, 952, 1030,
952, 1032, 952, 952, 966, 966, 966, 966, 966, 1033,
966, 1034, 966, 966, 967, 967, 967, 967, 967, 1039,
967, 1041, 967, 967, 972, 972, 974, 974, 974, 974,
974, 1043, 974, 975, 974, 974, 975, 981, 981, 981,
981, 981, 1044, 981, 1046, 981, 981, 984, 984, 984,
984, 984, 987, 984, 1047, 984, 984, 1048, 987, 988,
988, 988, 988, 988, 1049, 988, 1051, 988, 988, 992,
992, 992, 992, 992, 1052, 992, 1054, 992, 992, 995,
995, 995, 995, 995, 1056, 995, 1057, 995, 995, 997,
997, 997, 997, 997, 1059, 997, 1060, 997, 997, 998,
998, 998, 998, 998, 1061, 998, 1062, 998, 998, 1003,
1003, 1003, 1003, 1003, 1025, 1003, 1064, 1003, 1003, 1025,
1028, 1028, 1035, 1035, 1035, 1035, 1035, 1065, 1035, 1066,
1035, 1035, 1025, 1036, 1036, 1036, 1036, 1036, 1067, 1036,
1040, 1036, 1036, 1038, 1038, 1071, 1040, 1045, 1045, 1045,
1045, 1045, 1072, 1045, 1073, 1045, 1045, 1053, 1053, 1055,
1055, 1055, 1055, 1055, 1074, 1055, 1078, 1055, 1055, 1058,
1058, 1058, 1058, 1058, 1079, 1058, 1080, 1058, 1058, 1068,
1068, 1069, 1069, 1069, 1069, 1069, 1083, 1069, 1084, 1069,
1069, 1075, 1075, 1075, 1075, 1075, 1086, 1075, 1087, 1075,
1075, 1076, 1076, 1076, 1076, 1076, 1089, 1076, 1091, 1076,
1076, 1082, 1082, 1092, 1092, 1092, 1092, 1092, 1096, 1092,
1097, 1092, 1092, 1093, 1093, 1093, 1093, 1093, 1098, 1093,
1100, 1093, 1093, 1094, 1094, 1094, 1094, 1094, 1101, 1094,
1102, 1094, 1094, 1095, 1095, 1095, 1095, 1095, 1104, 1095,
1105, 1095, 1095, 1103, 1103, 1103, 1103, 1103, 1109, 1103,
1115, 1103, 1103, 1108, 1108, 1108, 1108, 1108, 1117, 1108,
1121, 1108, 1108, 1111, 1111, 1111, 1111, 1111, 1122, 1111,
1123, 1111, 1111, 1112, 1112, 1112, 1112, 1112, 1128, 1112,
1129, 1112, 1112, 1114, 1114, 1114, 1114, 1114, 1131, 1114,
1132, 1114, 1114, 1118, 1118, 1118, 1118, 1118, 1134, 1118,
1135, 1118, 1118, 1120, 1120, 1120, 1120, 1120, 1136, 1120,
1139, 1120, 1120, 1124, 1124, 1124, 1124, 1124, 1142, 1124,
1143, 1124, 1124, 1125, 1125, 1125, 1125, 1125, 1144, 1125,
1146, 1125, 1125, 1126, 1126, 1126, 1126, 1126, 1147, 1126,
1148, 1126, 1126, 1127, 1127, 1127, 1127, 1127, 1149, 1127,
1150, 1127, 1127, 1130, 1130, 1130, 1130, 1130, 1152, 1130,
1153, 1130, 1130, 1133, 1133, 1140, 1140, 1140, 1140, 1140,
1154, 1140, 1155, 1140, 1140, 1141, 1141, 1141, 1141, 1141,
1158, 1141, 1159, 1141, 1141, 1156, 1156, 1156, 1156, 1156,
1163, 1156, 1167, 1156, 1156, 1157, 1157, 1157, 1157, 1157,
1170, 1157, 1171, 1157, 1157, 1161, 1161, 1161, 1161, 1161,
1173, 1161, 1175, 1161, 1161, 1162, 1162, 1162, 1162, 1162,
1177, 1162, 1178, 1162, 1162, 1164, 1164, 1164, 1164, 1164,
1180, 1164, 1184, 1164, 1164, 1165, 1165, 1165, 1165, 1165,
1190, 1165, 1191, 1165, 1165, 1168, 1168, 1168, 1168, 1168,
1195, 1168, 1199, 1168, 1168, 1174, 1174, 1174, 1174, 1174,
1203, 1174, 1204, 1174, 1174, 1176, 1176, 1176, 1176, 1176,
1205, 1176, 1208, 1176, 1176, 1179, 1179, 1179, 1179, 1179,
1209, 1179, 1210, 1179, 1179, 1181, 1181, 1181, 1181, 1181,
1213, 1181, 1215, 1181, 1181, 1183, 1183, 1183, 1183, 1183,
1218, 1183, 1219, 1183, 1183, 1185, 1185, 1185, 1185, 1185,
1222, 1185, 1224, 1185, 1185, 1187, 1187, 1187, 1187, 1187,
1227, 1187, 1228, 1187, 1187, 1189, 1189, 1189, 1189, 1189,
1231, 1189, 1232, 1189, 1189, 1192, 1192, 1192, 1192, 1192,
1233, 1192, 1236, 1192, 1192, 1193, 1193, 1193, 1193, 1193,
1237, 1193, 1238, 1193, 1193, 1194, 1194, 1194, 1194, 1194,
1239, 1194, 1197, 1194, 1194, 1197, 1198, 1198, 1198, 1198,
1198, 1240, 1198, 1241, 1198, 1198, 1202, 1202, 1202, 1202,
1202, 1197, 1202, 1242, 1202, 1202, 1212, 1212, 1212, 1212,
1212, 1243, 1212, 1244, 1212, 1212, 1217, 1217, 1217, 1217,
1217, 1245, 1217, 1247, 1217, 1217, 1230, 1230, 1230, 1230,
1230, 1249, 1230, 1250, 1230, 1230, 1234, 1234, 1234, 1234,
1234, 1253, 1234, 1256, 1234, 1234, 1235, 1235, 1235, 1235,
1235, 1246, 1235, 1258, 1235, 1235, 1246, 1248, 1248, 1248,
1248, 1248, 1263, 1248, 1264, 1248, 1248, 1257, 1257, 1257,
1257, 1257, 1265, 1257, 1266, 1257, 1257, 1260, 1260, 1260,
1260, 1260, 1267, 1260, 1268, 1260, 1260, 1261, 1261, 1261,
1261, 1261, 1269, 1261, 1273, 1261, 1261, 1270, 1270, 1270,
1270, 1270, 1275, 1270, 1276, 1270, 1270, 1277, 1277, 1277,
1277, 1277, 1279, 1277, 1280, 1277, 1277, 1278, 1278, 1278,
1278, 1278, 1281, 1278, 1282, 1278, 1278, 1283, 1287, 1288,
1288, 1288, 1288, 1288, 1291, 1288, 1292, 1288, 1288, 1293,
1293, 1293, 1293, 1293, 1294, 1293, 1295, 1293, 1293, 1296,
1297, 1297, 1297, 1297, 1297, 1298, 1297, 1299, 1297, 1297,
1300, 1305, 1306, 1306, 1306, 1306, 1306, 1307, 1306, 1308,
1306, 1306, 1309, 1309, 1309, 1309, 1309, 1310, 1309, 1312,
1309, 1309, 1313, 1313, 1313, 1313, 1313, 1319, 1313, 1320,
1313, 1313, 1315, 1315, 1315, 1315, 1315, 1323, 1315, 1324,
1315, 1315, 1325, 1330, 1330, 1330, 1330, 1330, 1334, 1330,
1342, 1330, 1330, 1333, 1333, 1335, 1335, 1335, 1335, 1335,
1338, 1335, 1343, 1335, 1335, 1336, 1336, 1341, 1341, 1344,
1344, 1344, 1344, 1344, 1345, 1344, 1338, 1344, 1344, 1346,
1347, 1348, 1348, 1348, 1348, 1348, 1356, 1348, 1359, 1348,
1348, 1349, 1349, 1349, 1349, 1349, 1362, 1349, 1365, 1349,
1349, 1350, 1350, 1350, 1350, 1350, 1368, 1350, 1370, 1350,
1350, 1351, 1351, 1351, 1351, 1351, 1376, 1351, 1380, 1351,
1351, 1352, 1352, 1352, 1352, 1352, 1381, 1352, 1385, 1352,
1352, 1355, 1355, 1355, 1355, 1355, 1386, 1355, 1393, 1355,
1355, 1364, 1364, 1364, 1364, 1364, 1394, 1364, 1395, 1364,
1364, 1366, 1366, 1366, 1366, 1366, 1399, 1366, 1400, 1366,
1366, 1371, 1371, 1371, 1371, 1371, 1402, 1371, 1403, 1371,
1371, 1373, 1373, 1373, 1373, 1373, 1404, 1373, 1405, 1373,
1373, 1387, 1387, 1387, 1387, 1387, 1407, 1387, 1409, 1387,
1387, 1388, 1388, 1388, 1388, 1388, 1414, 1388, 1418, 1388,
1388, 1390, 1390, 1390, 1390, 1390, 1421, 1390, 1423, 1390,
1390, 1392, 1392, 1396, 1396, 1396, 1396, 1396, 1424, 1396,
1426, 1396, 1396, 1410, 1410, 1410, 1410, 1410, 1428, 1410,
1429, 1410, 1410, 1411, 1411, 1411, 1411, 1411, 1430, 1411,
1431, 1411, 1411, 1415, 1415, 1415, 1415, 1415, 1432, 1415,
1438, 1415, 1415, 1416, 1416, 1416, 1416, 1416, 1440, 1416,
1441, 1416, 1416, 1417, 1417, 1417, 1417, 1417, 1442, 1417,
1443, 1417, 1417, 1419, 1419, 1419, 1419, 1419, 1447,