This group of filters serves no utilitarian purpose but is nonetheless quite amusing and hence should be maintained for posterity.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

5111 lines
168 KiB

#define yy_create_buffer redneck_yy_create_buffer
#define yy_delete_buffer redneck_yy_delete_buffer
#define yy_scan_buffer redneck_yy_scan_buffer
#define yy_scan_string redneck_yy_scan_string
#define yy_scan_bytes redneck_yy_scan_bytes
#define yy_flex_debug redneck_yy_flex_debug
#define yy_init_buffer redneck_yy_init_buffer
#define yy_flush_buffer redneck_yy_flush_buffer
#define yy_load_buffer_state redneck_yy_load_buffer_state
#define yy_switch_to_buffer redneck_yy_switch_to_buffer
#define yyin redneck_yyin
#define yyleng redneck_yyleng
#define yylex redneck_yylex
#define yyout redneck_yyout
#define yyrestart redneck_yyrestart
#define yytext redneck_yytext
#line 19 "redneck.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 YY_USES_REJECT
#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 316
#define YY_END_OF_BUFFER 317
static yyconst short int yy_acclist[536] =
{ 0,
317, 315, 316, 314, 315, 316, 316, 295, 315, 316,
315, 316, 295, 315, 316, 295, 315, 316, 295, 315,
316, 295, 315, 316, 295, 315, 316, 295, 315, 316,
295, 315, 316, 295, 315, 316, 295, 315, 316, 295,
315, 316, 295, 315, 316, 295, 315, 316, 295, 315,
316, 295, 315, 316, 295, 315, 316, 295, 315, 316,
295, 315, 316, 295, 315, 316, 295, 315, 316, 295,
315, 316, 295, 315, 316, 295, 315, 316, 295, 315,
316, 295, 315, 316, 295, 315, 316, 295, 315, 316,
295, 315, 316, 295, 315, 316, 295, 315, 316, 295,
315, 316, 295, 315, 316, 295, 315, 316, 295, 315,
316, 295, 315, 316, 295, 315, 316, 295, 315, 316,
295, 315, 316, 295, 315, 316, 295, 315, 316, 295,
315, 316, 313, 315, 316, 313, 314, 315, 316, 313,
316, 315, 316, 315, 316, 315, 316, 315, 316, 315,
316, 315, 316, 315, 316, 315, 316, 315, 316, 315,
316, 315, 316, 315, 316, 315, 316, 315, 316, 293,
212, 290, 212, 290, 294, 290, 290, 312, 304, 305,
306, 303, 307, 308, 1, 153,16563, 119, 291, 293,
293, 85, 289, 118, 211, 160, 160, 172, 292, 294,
294, 311, 312, 310, 78, 151, 169, 174, 168, 8371,
80, 281, 281, 96, 203, 282, 202, 100, 152, 213,
270, 270, 181, 188, 183, 200, 166, 81, 193, 41,
28, 205, 77, 58, 285, 285,16570, 109, 109, 78,
302, 185,16563, 191, 97, 201, 203, 187, 112, 283,
283, 79, 42, 18, 175, 82, 156, 24,16646, 43,
44, 19,16652, 177,16566, 196, 155, 7, 103, 194,
180, 195, 189, 76,16446, 117, 15, 161, 13, 184,
46, 89, 90, 29, 72, 192, 84, 23, 73, 37,
39, 210, 113, 208, 40, 163, 163, 159, 86, 8378,
8378,16570, 36, 228, 106, 107, 108, 43, 45, 301,
297, 25, 130, 67, 17,16448, 190, 209, 27, 32,
32, 4, 20, 206, 33, 87, 259, 53, 54, 8454,
8460, 8374, 199, 197, 8254, 56,16432, 116, 116, 11,
137, 170, 198, 38, 176, 288, 269, 300, 298, 299,
296, 267, 127, 8256, 75, 227, 98, 141, 120, 124,
149, 88, 12, 260, 231, 60, 8, 154, 47, 59,
145, 133,16449, 70, 70, 121, 110, 8240, 122, 99,
178, 207, 144, 284, 240, 239, 277, 309, 104, 157,
142, 21, 93, 101, 129, 102, 274, 92, 3, 34,
16434, 9, 230, 278, 242, 254, 173, 261, 261, 271,
229, 111, 6, 132, 22, 8257, 57, 138, 158, 115,
115, 10, 171, 204, 146, 167, 235, 272, 272, 74,
68,16433, 26, 216, 216, 91, 30, 2, 8242, 287,
255, 255, 231, 83, 14, 126, 16, 150, 139, 247,
246, 249, 248, 148, 143, 236, 239, 236, 239, 162,
225, 225, 280, 275, 8241, 61, 63, 95, 94, 31,
123, 279, 234, 131, 105, 125, 286, 217, 218, 218,
5, 128, 241, 266, 250, 147, 276, 35, 214, 164,
136, 263, 221, 246, 248, 273, 224, 134, 135, 256,
233, 140, 55, 69, 71, 114, 52, 238, 264, 264,
165, 243, 215, 257, 257, 232, 222, 222, 253, 237,
226, 219, 219, 51, 265, 244, 244, 251, 251, 66,
258, 223, 220, 245, 252
} ;
static yyconst short int yy_accept[1599] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 2, 4, 7,
8, 11, 13, 16, 19, 22, 25, 28, 31, 34,
37, 40, 43, 46, 49, 52, 55, 58, 61, 64,
67, 70, 73, 76, 79, 82, 85, 88, 91, 94,
97, 100, 103, 106, 109, 112, 115, 118, 121, 124,
127, 130, 133, 136, 140, 142, 144, 146, 148, 150,
152, 154, 156, 158, 160, 162, 164, 166, 168, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
171, 171, 171, 171, 171, 171, 171, 171, 171, 171,
171, 171, 171, 171, 171, 171, 173, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 175, 176,
177, 178, 178, 178, 178, 178, 178, 178, 178, 178,
178, 178, 178, 178, 178, 178, 178, 178, 178, 178,
178, 179, 180, 181, 181, 182, 183, 183, 183, 184,
184, 184, 184, 185, 185, 186, 186, 186, 186, 186,
186, 186, 186, 186, 187, 187, 187, 187, 187, 187,
187, 187, 187, 187, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
189, 189, 189, 189, 189, 189, 189, 189, 189, 189,
189, 189, 189, 189, 190, 190, 191, 192, 192, 192,
192, 192, 192, 192, 192, 192, 193, 193, 193, 193,
193, 193, 193, 193, 193, 193, 193, 193, 193, 193,
193, 193, 193, 193, 194, 194, 194, 194, 194, 194,
194, 194, 194, 194, 194, 194, 194, 194, 194, 194,
194, 194, 194, 194, 194, 194, 194, 194, 194, 194,
194, 194, 194, 194, 194, 194, 194, 194, 194, 194,
194, 195, 195, 195, 195, 196, 196, 196, 196, 196,
196, 196, 196, 197, 198, 198, 198, 198, 198, 198,
198, 198, 198, 198, 198, 198, 198, 198, 198, 198,
198, 198, 198, 198, 198, 198, 198, 198, 198, 198,
198, 198, 198, 198, 198, 198, 198, 198, 198, 198,
198, 198, 198, 198, 198, 199, 199, 199, 199, 199,
199, 199, 199, 199, 199, 199, 199, 199, 199, 199,
199, 199, 199, 199, 199, 199, 199, 199, 199, 200,
201, 202, 202, 202, 202, 202, 202, 202, 202, 202,
202, 202, 202, 202, 203, 204, 204, 204, 205, 205,
205, 205, 205, 205, 205, 205, 206, 207, 207, 207,
208, 209, 209, 209, 209, 209, 209, 210, 210, 210,
211, 211, 212, 212, 212, 212, 213, 214, 214, 215,
215, 215, 215, 215, 216, 216, 216, 216, 216, 216,
216, 216, 217, 217, 217, 217, 217, 218, 218, 218,
218, 218, 218, 218, 218, 219, 219, 219, 219, 219,
219, 220, 220, 220, 220, 220, 221, 221, 221, 221,
221, 221, 221, 221, 221, 221, 221, 221, 221, 221,
221, 221, 221, 221, 221, 221, 221, 221, 221, 221,
221, 221, 222, 223, 223, 223, 223, 223, 223, 223,
223, 223, 223, 223, 223, 223, 224, 224, 225, 226,
226, 226, 226, 227, 227, 227, 227, 227, 227, 227,
227, 227, 227, 227, 227, 228, 228, 228, 228, 228,
229, 229, 229, 229, 229, 229, 229, 229, 229, 229,
229, 229, 229, 229, 229, 229, 229, 229, 229, 229,
229, 229, 229, 229, 229, 229, 229, 229, 229, 229,
229, 229, 229, 229, 230, 230, 230, 230, 231, 231,
231, 231, 231, 231, 232, 232, 232, 232, 232, 232,
232, 232, 232, 232, 233, 233, 233, 234, 234, 234,
234, 234, 234, 234, 235, 235, 235, 235, 235, 235,
235, 235, 235, 236, 237, 237, 237, 237, 237, 237,
237, 237, 237, 237, 237, 237, 238, 238, 238, 238,
238, 238, 239, 240, 240, 240, 240, 241, 241, 241,
241, 241, 241, 241, 241, 241, 241, 241, 241, 242,
242, 242, 242, 242, 242, 242, 242, 242, 242, 242,
242, 242, 242, 242, 242, 243, 243, 243, 244, 245,
245, 245, 245, 245, 246, 247, 247, 247, 247, 248,
248, 248, 248, 248, 248, 248, 248, 249, 250, 250,
250, 250, 251, 252, 252, 252, 252, 253, 253, 254,
255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
256, 256, 257, 257, 257, 257, 257, 258, 258, 258,
258, 258, 258, 258, 258, 258, 258, 258, 258, 258,
259, 260, 260, 260, 260, 260, 262, 263, 264, 264,
264, 264, 264, 264, 265, 266, 267, 267, 267, 267,
267, 267, 268, 268, 269, 269, 269, 270, 271, 271,
271, 271, 271, 271, 271, 271, 271, 272, 272, 273,
273, 273, 273, 274, 275, 275, 275, 275, 275, 276,
276, 277, 278, 278, 278, 279, 279, 280, 280, 280,
281, 281, 281, 281, 281, 281, 281, 281, 281, 281,
281, 281, 281, 281, 281, 281, 281, 281, 282, 283,
283, 284, 285, 285, 286, 286, 286, 287, 287, 287,
288, 288, 288, 288, 288, 288, 288, 288, 289, 290,
291, 291, 291, 291, 291, 292, 292, 293, 294, 295,
295, 295, 295, 295, 295, 295, 295, 295, 296, 297,
298, 298, 299, 300, 301, 302, 302, 303, 304, 305,
305, 305, 305, 305, 305, 306, 307, 308, 308, 309,
309, 309, 309, 309, 309, 310, 310, 310, 310, 310,
310, 311, 311, 312, 313, 313, 314, 314, 314, 315,
315, 315, 316, 316, 316, 316, 316, 317, 318, 318,
319, 319, 320, 320, 320, 320, 320, 320, 320, 320,
320, 320, 320, 320, 320, 320, 320, 320, 321, 322,
322, 322, 322, 322, 322, 323, 323, 324, 324, 324,
325, 325, 326, 326, 327, 327, 327, 327, 327, 327,
327, 327, 327, 328, 328, 328, 329, 329, 330, 331,
331, 331, 331, 331, 332, 332, 332, 332, 332, 332,
333, 334, 334, 334, 334, 334, 334, 334, 334, 335,
335, 335, 335, 335, 335, 335, 335, 335, 335, 335,
335, 336, 336, 336, 336, 336, 336, 336, 336, 337,
337, 337, 337, 338, 338, 338, 339, 340, 340, 340,
341, 341, 341, 341, 341, 342, 342, 342, 343, 343,
343, 343, 343, 344, 344, 344, 344, 344, 344, 344,
344, 344, 344, 344, 345, 345, 345, 345, 345, 345,
345, 345, 345, 345, 345, 345, 345, 345, 345, 345,
345, 345, 346, 346, 346, 346, 346, 347, 348, 348,
348, 348, 348, 348, 349, 350, 351, 352, 352, 353,
354, 354, 354, 354, 354, 354, 354, 355, 356, 356,
356, 356, 356, 356, 356, 356, 356, 356, 356, 356,
356, 356, 357, 357, 357, 357, 357, 357, 358, 359,
360, 361, 361, 361, 362, 362, 362, 363, 364, 364,
364, 364, 364, 364, 364, 364, 364, 364, 365, 365,
365, 365, 366, 366, 366, 366, 366, 367, 367, 368,
368, 369, 369, 369, 369, 370, 370, 370, 371, 371,
371, 371, 372, 372, 373, 374, 374, 375, 376, 376,
377, 377, 377, 377, 377, 378, 379, 379, 380, 380,
380, 380, 381, 382, 383, 383, 383, 383, 383, 383,
383, 383, 384, 384, 384, 384, 384, 384, 384, 384,
384, 384, 384, 384, 384, 384, 384, 384, 384, 384,
385, 386, 387, 387, 387, 387, 387, 387, 387, 387,
387, 387, 387, 387, 388, 388, 388, 388, 388, 389,
389, 389, 390, 391, 392, 392, 392, 392, 392, 392,
393, 393, 394, 394, 395, 396, 396, 396, 396, 397,
397, 397, 398, 398, 398, 399, 399, 400, 400, 401,
402, 403, 403, 405, 406, 406, 407, 407, 408, 409,
410, 410, 411, 411, 411, 411, 412, 412, 413, 414,
414, 414, 415, 415, 415, 416, 416, 416, 416, 417,
417, 417, 417, 417, 418, 419, 420, 420, 421, 422,
422, 423, 423, 423, 423, 423, 423, 423, 423, 424,
424, 425, 425, 425, 425, 425, 425, 425, 425, 425,
425, 425, 425, 425, 425, 426, 427, 428, 428, 428,
428, 429, 430, 430, 430, 430, 430, 430, 430, 431,
431, 432, 432, 433, 433, 433, 433, 433, 434, 434,
434, 434, 435, 436, 437, 437, 437, 438, 438, 438,
439, 440, 440, 441, 442, 443, 443, 443, 443, 443,
443, 444, 444, 445, 446, 446, 446, 446, 446, 446,
446, 446, 446, 446, 447, 447, 447, 448, 449, 449,
449, 449, 449, 449, 450, 451, 452, 452, 452, 452,
453, 454, 454, 454, 455, 456, 456, 458, 460, 460,
460, 461, 461, 461, 461, 462, 463, 464, 465, 465,
465, 465, 466, 467, 468, 468, 469, 470, 470, 470,
470, 470, 470, 471, 472, 473, 473, 473, 473, 473,
473, 474, 474, 474, 474, 475, 475, 475, 475, 476,
476, 476, 476, 477, 477, 477, 478, 479, 480, 481,
482, 483, 484, 484, 485, 486, 486, 486, 486, 486,
487, 487, 487, 487, 488, 488, 488, 489, 490, 490,
491, 492, 492, 492, 492, 492, 492, 493, 493, 493,
493, 493, 494, 494, 494, 494, 494, 494, 494, 495,
495, 496, 496, 496, 496, 496, 497, 498, 498, 498,
498, 498, 499, 500, 500, 501, 501, 501, 501, 502,
503, 503, 504, 505, 506, 507, 507, 507, 507, 507,
507, 507, 508, 508, 509, 509, 509, 509, 509, 509,
510, 511, 512, 512, 512, 512, 512, 513, 513, 513,
513, 513, 513, 513, 514, 515, 516, 516, 517, 518,
519, 519, 519, 519, 520, 521, 522, 522, 522, 522,
522, 522, 523, 524, 524, 524, 525, 525, 525, 526,
526, 526, 527, 528, 529, 530, 531, 532, 533, 533,
533, 533, 534, 534, 534, 535, 536, 536
} ;
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, 7, 1, 8, 9, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 1, 1, 11,
1, 12, 1, 1, 13, 14, 15, 16, 17, 18,
19, 20, 21, 22, 23, 24, 25, 26, 27, 28,
29, 30, 31, 32, 33, 34, 35, 36, 37, 36,
1, 1, 1, 1, 1, 1, 38, 39, 40, 41,
42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
52, 53, 54, 55, 56, 57, 58, 59, 60, 61,
62, 63, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1
} ;
static yyconst int yy_meta[64] =
{ 0,
1, 1, 1, 1, 1, 2, 1, 1, 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, 7, 6,
8, 9, 6, 10, 6, 11, 6, 6, 12, 13,
14, 15, 6, 6, 16, 17, 18, 6, 6, 6,
6, 19, 6
} ;
static yyconst short int yy_base[1867] =
{ 0,
0, 0, 0, 0, 63, 126, 2635, 2636, 2636, 2636,
2636, 2625, 34, 45, 50, 98, 103, 105, 144, 133,
202, 174, 110, 173, 185, 34, 36, 186, 2575, 188,
210, 219, 2581, 2589, 228, 40, 239, 250, 184, 255,
260, 321, 2572, 53, 103, 289, 197, 262, 65, 298,
300, 315, 2636, 2636, 2636, 66, 101, 131, 2621, 116,
2620, 2619, 89, 2582, 2617, 155, 2567, 2577, 2614, 2612,
2608, 2567, 2563, 2579, 191, 156, 132, 152, 2575, 325,
232, 2577, 224, 324, 318, 241, 2563, 330, 2560, 342,
212, 60, 2570, 2565, 2553, 2553, 251, 2555, 2565, 331,
297, 2555, 166, 223, 2548, 2549, 2565, 309, 2564, 2539,
338, 391, 2550, 2541, 2554, 2636, 246, 2547, 0, 399,
401, 403, 358, 2545, 2545, 368, 2538, 2536, 262, 297,
2546, 2534, 370, 341, 2539, 371, 364, 383, 387, 2533,
346, 374, 426, 429, 432, 2543, 388, 393, 2538, 405,
2536, 2539, 409, 2543, 411, 2527, 394, 2542, 418, 2528,
2542, 361, 2537, 412, 2529, 2526, 431, 2526, 403, 2533,
2533, 2518, 410, 468, 436, 435, 429, 2534, 2513, 192,
439, 2526, 2507, 2516, 439, 444, 2529, 2513, 452, 2636,
451, 494, 496, 451, 462, 467, 459, 2521, 474, 523,
2509, 529, 466, 496, 492, 2521, 533, 2510, 2503, 2507,
499, 2636, 2636, 2515, 2636, 2636, 2500, 0, 2636, 2506,
2510, 2503, 2636, 2542, 2636, 2495, 2506, 2505, 2499, 0,
0, 2491, 2510, 2636, 0, 487, 2509, 2494, 2499, 2484,
0, 2494, 2502, 2502, 0, 2499, 2501, 2490, 553, 2481,
2491, 2485, 2485, 505, 2484, 461, 2475, 2482, 2481, 2636,
2489, 2490, 507, 2486, 584, 557, 2469, 2469, 499, 0,
2482, 2465, 2480, 2636, 2466, 2471, 2636, 2462, 2472, 2472,
2472, 2474, 2470, 522, 2463, 562, 2463, 2455, 2459, 564,
2468, 2452, 2466, 2453, 2463, 537, 2455, 2447, 2446, 2459,
2462, 524, 568, 2636, 2450, 538, 2447, 2491, 549, 2447,
2447, 2452, 2451, 2441, 2441, 0, 2439, 2438, 2446, 2430,
609, 2445, 2429, 2424, 2423, 2426, 570, 574, 2429, 2439,
2433, 2436, 2426, 567, 0, 2430, 2430, 2429, 2431, 2430,
2636, 2430, 2428, 2424, 2636, 2426, 2412, 2422, 2423, 2419,
2411, 2410, 2636, 2423, 2398, 595, 2417, 2401, 2408, 2403,
557, 2409, 2397, 2414, 2399, 2394, 2398, 559, 2408, 2406,
629, 2402, 2388, 0, 2393, 600, 2387, 577, 2387, 2393,
2399, 2383, 2380, 2397, 586, 2399, 2388, 2378, 2377, 587,
592, 2377, 2377, 2389, 2636, 2378, 620, 2373, 2386, 2365,
603, 622, 607, 2375, 2368, 2382, 2366, 2369, 643, 2379,
608, 2378, 2381, 2412, 2368, 2361, 650, 655, 2636, 2366,
2636, 609, 2363, 2358, 659, 2355, 2359, 2353, 614, 623,
2358, 2350, 2369, 2636, 2636, 0, 2368, 2636, 2361, 2352,
2352, 2345, 2361, 2349, 2347, 2636, 2636, 2347, 2346, 2636,
2636, 2339, 2337, 2339, 2351, 2350, 2636, 2342, 2342, 2636,
2327, 2636, 0, 2337, 2345, 2636, 2335, 2328, 2636, 0,
705, 2331, 2342, 0, 2337, 2339, 667, 2322, 2333, 2337,
2335, 2636, 2337, 0, 2334, 0, 2636, 717, 2323, 2367,
2317, 676, 2323, 2328, 2636, 0, 2325, 2313, 2305, 2328,
2636, 2316, 2322, 2321, 671, 2636, 635, 2324, 2310, 0,
2298, 0, 2303, 2314, 2300, 2298, 0, 2299, 2308, 679,
2302, 2314, 2295, 632, 2298, 2307, 2306, 0, 2306, 2297,
2287, 2636, 2293, 2291, 2287, 0, 2289, 2283, 2301, 643,
2292, 0, 2281, 0, 640, 2636, 2274, 2636, 2636, 2273,
2281, 0, 2636, 730, 687, 646, 0, 2282, 742, 2282,
2290, 2272, 2291, 2288, 2278, 2269, 0, 2279, 0, 2636,
2284, 2285, 2265, 0, 2271, 2282, 690, 2277, 2269, 2265,
2271, 0, 2258, 2263, 2272, 0, 2270, 2256, 653, 0,
2261, 2267, 2270, 2267, 2249, 2267, 2256, 2261, 2258, 2251,
2249, 2257, 2243, 2636, 754, 2255, 2241, 2636, 2244, 2256,
0, 0, 647, 2636, 0, 2244, 2235, 694, 766, 2253,
0, 2235, 2238, 776, 2250, 778, 2636, 2245, 780, 692,
0, 2244, 2229, 2636, 2229, 2240, 0, 2241, 2226, 0,
0, 782, 2636, 2229, 2273, 2223, 2239, 741, 2234, 0,
0, 785, 2237, 0, 0, 787, 0, 2223, 2216, 2231,
2215, 2636, 754, 2215, 2225, 2212, 2246, 2211, 2213, 2202,
791, 2212, 2217, 0, 793, 2209, 2204, 2210, 2636, 2209,
0, 2206, 0, 0, 2218, 0, 2198, 2213, 0, 2207,
2196, 2209, 2191, 2207, 2636, 2186, 797, 0, 2636, 0,
2196, 2194, 0, 2636, 2636, 853, 2207, 2189, 0, 2199,
753, 2185, 2190, 799, 803, 2202, 2636, 2636, 2187, 2181,
665, 2636, 2186, 2230, 807, 2184, 2636, 2189, 2636, 2636,
2187, 2170, 2176, 2175, 2177, 2171, 2170, 2164, 2184, 2636,
2172, 2636, 2181, 0, 2170, 2183, 2636, 2168, 2170, 419,
2212, 2176, 2160, 0, 2166, 2156, 0, 2164, 0, 2636,
0, 2163, 2162, 2158, 2150, 2636, 2636, 0, 2167, 2151,
2157, 2147, 2166, 2636, 0, 2636, 865, 0, 0, 0,
2158, 2636, 2150, 2636, 2160, 2149, 2636, 2636, 877, 2157,
2146, 2141, 0, 2158, 2133, 2152, 2636, 2151, 2636, 2154,
2149, 820, 2636, 2636, 2128, 2132, 2133, 2144, 2144, 2146,
2636, 2636, 2142, 2121, 2636, 2125, 2636, 773, 0, 2636,
2081, 2068, 2048, 2019, 1985, 1994, 1973, 805, 1953, 1954,
1937, 1899, 1874, 1884, 1853, 1834, 1796, 2636, 2636, 1787,
2636, 2636, 0, 2636, 1736, 1701, 2636, 889, 1668, 2636,
1683, 901, 1664, 1641, 774, 813, 780, 2636, 2636, 2636,
0, 1651, 1606, 1590, 2636, 1598, 2636, 2636, 2636, 1568,
1532, 1520, 1521, 1509, 1487, 1477, 1476, 2636, 2636, 1425,
1413, 2636, 2636, 2636, 1411, 710, 0, 2636, 2636, 824,
0, 1397, 774, 1370, 2636, 2636, 2636, 0, 2636, 1329,
1333, 1340, 1305, 1273, 2636, 47, 85, 0, 0, 0,
2636, 0, 2636, 2636, 119, 2636, 0, 0, 2636, 229,
243, 2636, 273, 283, 0, 785, 0, 2636, 0, 2636,
313, 2636, 354, 392, 451, 713, 464, 470, 785, 534,
517, 525, 0, 548, 588, 603, 609, 2636, 633, 818,
0, 0, 650, 0, 2636, 680, 2636, 703, 0, 2636,
718, 2636, 748, 2636, 0, 774, 782, 775, 796, 787,
784, 839, 2636, 795, 796, 2636, 803, 2636, 2636, 0,
806, 791, 809, 2636, 0, 911, 803, 810, 832, 2636,
2636, 962, 844, 0, 851, 0, 839, 861, 2636, 862,
0, 865, 876, 867, 870, 875, 915, 0, 877, 0,
2636, 867, 872, 924, 926, 920, 873, 876, 2636, 876,
878, 0, 0, 886, 885, 2636, 899, 892, 897, 2636,
0, 0, 0, 902, 2636, 900, 939, 2636, 898, 903,
0, 891, 2636, 990, 896, 903, 895, 913, 906, 915,
899, 917, 926, 2636, 918, 905, 904, 898, 909, 0,
0, 0, 919, 926, 935, 925, 937, 928, 931, 937,
977, 2636, 925, 936, 928, 0, 2636, 2636, 929, 947,
1000, 939, 0, 2636, 2636, 2636, 2636, 1002, 2636, 2636,
942, 0, 0, 0, 949, 970, 2636, 2636, 965, 959,
0, 956, 0, 971, 959, 973, 978, 965, 961, 976,
978, 2636, 977, 964, 0, 980, 972, 2636, 2636, 2636,
2636, 0, 983, 2636, 971, 0, 2636, 2636, 985, 0,
986, 0, 0, 1008, 0, 989, 0, 2636, 1028, 0,
1030, 2636, 984, 1030, 0, 996, 2636, 0, 2636, 0,
2636, 987, 988, 991, 2636, 1003, 0, 2636, 1004, 991,
987, 2636, 1007, 2636, 0, 991, 2636, 1005, 1006, 2636,
1000, 0, 0, 0, 2636, 2636, 988, 2636, 1048, 990,
999, 2636, 2636, 2636, 993, 1053, 1013, 1000, 1054, 1010,
0, 2636, 1020, 0, 1004, 1023, 1025, 1018, 1010, 1014,
1028, 1030, 1023, 1015, 1012, 1015, 1016, 0, 0, 2636,
2636, 2636, 0, 1036, 1040, 1022, 1078, 1045, 1032, 1028,
1044, 1038, 1039, 2636, 0, 1051, 1048, 0, 2636, 1078,
1043, 2636, 2636, 2636, 1031, 1043, 1044, 1045, 0, 2636,
1055, 2636, 1043, 2636, 2636, 1040, 1097, 0, 2636, 1057,
1046, 2636, 0, 1061, 2636, 1054, 2636, 0, 2636, 0,
2636, 1055, 2636, 2636, 0, 2636, 1104, 2636, 2636, 1064,
1104, 2636, 1051, 1060, 1056, 2636, 1111, 2636, 2636, 0,
1074, 2636, 1055, 1067, 2636, 1060, 1117, 1071, 2636, 1078,
1065, 1066, 1088, 2636, 2636, 2636, 0, 2636, 1088, 1086,
2636, 0, 1109, 1094, 1081, 1092, 1078, 1092, 2636, 1096,
2636, 1096, 0, 0, 1090, 1091, 1099, 0, 0, 1093,
1094, 0, 0, 1106, 2636, 2636, 2636, 1142, 1085, 0,
2636, 1097, 1143, 1091, 1148, 0, 0, 1112, 2636, 1096,
2636, 1106, 0, 1101, 1102, 0, 1117, 2636, 0, 0,
1118, 2636, 1116, 2636, 1106, 1122, 2636, 0, 0, 2636,
2636, 0, 2636, 2636, 1120, 1160, 1129, 1111, 1123, 0,
1125, 1165, 2636, 2636, 0, 1132, 1131, 1130, 0, 1125,
1136, 1137, 1125, 2636, 1135, 1140, 2636, 2636, 0, 0,
1180, 0, 0, 2636, 2636, 2636, 0, 1144, 0, 2636,
2636, 0, 1145, 2636, 2636, 1132, 2636, 1143, 1183, 0,
2636, 1138, 1134, 1150, 2636, 1149, 2636, 2636, 0, 1138,
1154, 2636, 2636, 2636, 0, 2636, 2636, 0, 1159, 0,
1157, 1144, 2636, 2636, 2636, 1162, 1144, 1143, 0, 1146,
2636, 1166, 1153, 1149, 2636, 1165, 0, 1170, 2636, 1157,
1155, 1156, 2636, 1155, 1153, 2636, 2636, 2636, 1169, 2636,
2636, 2636, 1212, 2636, 2636, 1214, 1178, 1182, 1164, 2636,
0, 0, 1184, 2636, 1177, 1169, 2636, 2636, 1166, 2636,
2636, 0, 0, 1167, 0, 1185, 2636, 1183, 1170, 0,
0, 2636, 1171, 1190, 0, 0, 0, 1194, 1188, 1228,
1190, 1230, 0, 1178, 0, 2636, 2636, 1179, 1196, 1194,
1199, 2636, 2636, 1200, 2636, 1240, 0, 1204, 2636, 2636,
1205, 2636, 2636, 2636, 2636, 1189, 1211, 0, 1193, 1213,
1195, 2636, 1211, 2636, 1212, 1197, 1216, 0, 1254, 2636,
1202, 2636, 0, 1257, 1220, 1205, 2636, 1207, 0, 0,
0, 1218, 1230, 2636, 2636, 1212, 1218, 2636, 2636, 1214,
1269, 1232, 1233, 2636, 2636, 2636, 0, 1225, 1225, 0,
1226, 2636, 1222, 1278, 1280, 2636, 1229, 0, 2636, 0,
1234, 2636, 1230, 2636, 1231, 2636, 2636, 2636, 0, 1237,
1238, 2636, 0, 0, 2636, 2636, 2636, 1290, 1307, 1326,
1345, 1348, 1349, 1365, 1352, 1353, 1356, 1357, 1360, 1380,
1361, 1387, 1390, 1407, 1366, 1426, 1369, 1436, 1370, 1449,
1463, 1373, 1482, 1374, 1501, 1518, 1537, 1551, 1381, 1567,
1391, 1394, 1579, 1593, 1395, 1398, 1612, 1399, 1402, 1403,
1408, 1427, 1430, 1431, 1437, 1440, 1626, 1441, 1637, 1444,
1445, 1450, 1453, 1454, 1457, 1656, 1458, 1464, 1483, 1675,
1693, 1502, 1505, 1506, 1509, 1510, 1513, 1514, 1519, 1522,
1523, 1712, 1526, 1731, 1527, 1530, 1538, 1541, 1542, 1545,
1546, 1554, 1555, 1748, 1767, 1778, 1797, 1814, 1558, 1559,
1563, 1568, 1571, 1572, 1575, 1823, 1580, 1613, 1616, 1842,
1617, 1861, 1620, 1621, 1627, 1870, 1889, 1630, 1631, 1638,
1657, 1908, 1676, 1679, 1680, 1683, 1684, 1687, 1688, 1694,
1713, 1716, 1717, 1721, 1724, 1725, 1732, 1735, 1736, 1926,
1739, 1740, 1743, 1744, 1749, 1768, 1771, 1772, 1775, 1776,
1779, 1798, 1945, 1801, 1802, 1805, 1806, 1809, 1810, 1815,
1818, 1819, 1824, 1843, 1862, 1964, 1865, 1866, 1871, 1890,
1909, 1912, 1980, 1913, 1916, 1917, 1920, 1994, 1921, 1927,
1946, 1965, 1968, 1969, 1972, 1973, 1976, 1981, 1984, 2006,
1985, 1988, 1989, 1995, 1998, 1999, 2002, 2007, 2010, 2020,
2034, 2011, 2014, 2015, 2021, 2024, 2025, 2028, 2029, 2035,
2048, 2038, 2039, 2042, 2043, 2049, 2062, 2052, 2053, 2056,
2057, 2063, 2066, 2067, 2070, 2071, 2074, 2075, 2079, 2080,
2083, 2084, 2087, 2088, 2091, 2092, 2095, 2096, 2099, 2102,
2103, 2106, 2110, 2124, 2111, 2114, 2115, 2118, 2119, 2125,
2128, 2129, 2132, 2133, 2136, 2139, 2140, 2143, 2144, 2147,
2148, 2151, 2152, 2155, 2156, 2159, 2160, 2163, 2164, 2167,
2168, 2171, 2172, 2175, 2176, 2179
} ;
static yyconst short int yy_def[1867] =
{ 0,
1597, 1, 1, 1, 1598, 1598, 1597, 1597, 1597, 1597,
1597, 1599, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1599,
1600, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1601, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1602,
1597, 1597, 1597, 1603, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1604, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1605, 1597, 1597,
1597, 1597, 1597, 1600, 1597, 1597, 1597, 1597, 1597, 1606,
1607, 1597, 1597, 1597, 1608, 1597, 1597, 1597, 1597, 1597,
1609, 1597, 1597, 1610, 1611, 1597, 1597, 1597, 1612, 1613,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1614, 1597, 1597, 1597, 1597, 1615,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1616, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1617, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1618, 1619, 1597, 1620, 1597, 1597,
1621, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1622, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1623, 1597, 1597, 1624, 1597, 1597, 1597, 1597, 1625, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1626,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1627, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1628, 1606, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1626, 1597,
1597, 1597, 1597, 1597, 1597, 1629, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1630, 1597, 1597,
1597, 1597, 1631, 1597, 1597, 1597, 1597, 1597, 1597, 1632,
1633, 1597, 1597, 1634, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1635, 1597, 1636, 1597, 1614, 1597, 1597,
1597, 1637, 1597, 1597, 1597, 1638, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1639,
1597, 1640, 1597, 1597, 1597, 1597, 1641, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1642, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1643, 1597, 1597, 1597, 1597,
1597, 1644, 1597, 1645, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1646, 1597, 1621, 1597, 1647, 1648, 1597, 1649, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1650, 1597, 1651, 1597,
1597, 1597, 1597, 1652, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1653, 1597, 1597, 1597, 1654, 1597, 1597, 1597, 1655,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1656, 1597, 1597, 1597, 1597, 1597,
1657, 1658, 1597, 1597, 1659, 1597, 1660, 1597, 1661, 1597,
1662, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1663, 1597, 1597, 1597, 1597, 1597, 1664, 1597, 1597, 1665,
1666, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1667,
1668, 1669, 1597, 1670, 1671, 1672, 1673, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1674, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1675, 1597, 1597, 1597, 1597, 1597, 1597,
1676, 1597, 1677, 1678, 1597, 1679, 1597, 1597, 1680, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1681, 1597, 1682,
1597, 1597, 1683, 1597, 1597, 1684, 1597, 1685, 1686, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1687, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1688, 1689, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1690, 1597, 1597, 1691, 1597, 1692, 1597,
1693, 1597, 1597, 1597, 1597, 1597, 1597, 1694, 1597, 1597,
1597, 1597, 1597, 1597, 1695, 1597, 1696, 1697, 1698, 1699,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1700, 1597,
1597, 1597, 1701, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1702, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1703, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1704, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1705, 1597, 1597, 1597, 1597, 1706, 1597, 1597,
1597, 1707, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1708, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1709, 1597, 1597, 1597,
1710, 1597, 1597, 1597, 1597, 1597, 1597, 1711, 1597, 1712,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1713, 1714, 1715,
1597, 1716, 1597, 1597, 1597, 1597, 1717, 1718, 1597, 1597,
1597, 1597, 1597, 1597, 1719, 1597, 1720, 1597, 1721, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1722, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1723, 1724, 1597, 1725, 1597, 1597, 1597, 1597, 1726, 1597,
1597, 1597, 1597, 1597, 1727, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1728,
1597, 1597, 1597, 1597, 1729, 1597, 1597, 1597, 1597, 1597,
1597, 1730, 1597, 1731, 1597, 1732, 1597, 1597, 1597, 1597,
1733, 1597, 1597, 1597, 1597, 1597, 1597, 1734, 1597, 1735,
1597, 1597, 1597, 1736, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1737, 1738, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1739, 1740, 1741, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1742, 1597, 1597, 1743, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1744,
1745, 1746, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1747, 1597, 1597, 1597, 1597,
1597, 1597, 1748, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1749, 1750, 1751, 1597, 1597, 1597, 1597, 1597, 1597,
1752, 1597, 1753, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1754, 1597, 1597, 1597, 1597, 1597,
1597, 1755, 1597, 1597, 1756, 1757, 1597, 1597, 1597, 1758,
1597, 1759, 1760, 1597, 1761, 1597, 1762, 1597, 1763, 1764,
1597, 1597, 1597, 1597, 1765, 1597, 1597, 1766, 1597, 1767,
1597, 1597, 1597, 1768, 1597, 1597, 1769, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1770, 1597, 1597, 1597, 1597, 1597,
1597, 1771, 1772, 1773, 1597, 1597, 1597, 1597, 1774, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1775, 1597, 1597, 1776, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1777, 1778, 1597,
1597, 1597, 1779, 1597, 1597, 1597, 1780, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1781, 1597, 1597, 1782, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1783, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1784, 1785, 1597, 1597,
1597, 1597, 1786, 1597, 1597, 1597, 1597, 1787, 1597, 1788,
1597, 1597, 1597, 1597, 1789, 1597, 1790, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1791, 1597, 1597, 1792,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1793, 1597, 1597, 1597,
1597, 1794, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1795, 1796, 1597, 1597, 1597, 1797, 1798, 1597,
1597, 1799, 1800, 1597, 1597, 1597, 1597, 1801, 1597, 1802,
1597, 1597, 1597, 1597, 1803, 1804, 1805, 1597, 1597, 1597,
1597, 1597, 1806, 1807, 1807, 1808, 1597, 1597, 1809, 1810,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1811, 1812, 1597,
1597, 1813, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1814,
1597, 1597, 1597, 1597, 1815, 1597, 1597, 1597, 1816, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1817, 1818,
1819, 1820, 1821, 1597, 1597, 1597, 1822, 1597, 1823, 1597,
1597, 1824, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1825,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1826, 1597,
1597, 1597, 1597, 1597, 1827, 1597, 1597, 1828, 1597, 1829,
1830, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1831, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1832, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1833, 1597, 1597, 1834, 1597, 1597, 1597, 1597,
1835, 1836, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1837, 1838, 1597, 1839, 1597, 1597, 1597, 1597, 1840,
1841, 1597, 1597, 1597, 1842, 1843, 1844, 1597, 1597, 1597,
1597, 1597, 1845, 1597, 1846, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1847, 1848, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1849, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1850, 1851, 1597,
1597, 1597, 1852, 1853, 1597, 1597, 1597, 1597, 1854, 1855,
1856, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1857, 1597, 1597, 1597, 1597, 1597, 1858, 1597, 1597, 1859,
1597, 1597, 1597, 1860, 1861, 1597, 1597, 1862, 1597, 1863,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1864, 1597,
1597, 1597, 1865, 1866, 1597, 1597, 0, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597
} ;
static yyconst short int yy_nxt[2700] =
{ 0,
8, 9, 8, 10, 8, 11, 8, 8, 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, 38, 39,
40, 41, 18, 19, 20, 42, 43, 44, 45, 46,
47, 27, 48, 29, 49, 50, 51, 33, 34, 52,
11, 36, 11, 53, 54, 53, 55, 53, 56, 53,
53, 53, 72, 53, 53, 141, 73, 74, 144, 142,
145, 178, 79, 75, 76, 143, 80, 85, 77, 78,
81, 179, 146, 82, 86, 87, 83, 1068, 194, 84,
266, 88, 57, 130, 58, 59, 153, 89, 60, 61,
154, 87, 62, 63, 64, 267, 65, 66, 67, 68,
206, 207, 156, 213, 69, 69, 53, 54, 53, 55,
53, 56, 53, 53, 53, 90, 53, 53, 216, 91,
95, 1083, 101, 92, 132, 217, 208, 128, 195, 93,
102, 96, 94, 97, 134, 129, 103, 209, 98, 104,
130, 99, 219, 100, 131, 57, 214, 58, 59, 1088,
111, 60, 61, 121, 112, 62, 63, 64, 113, 65,
66, 67, 68, 232, 114, 105, 210, 69, 69, 106,
115, 211, 107, 229, 229, 108, 230, 233, 109, 234,
220, 110, 116, 116, 117, 117, 116, 118, 116, 116,
116, 123, 116, 116, 132, 124, 282, 231, 133, 125,
283, 185, 136, 147, 134, 126, 137, 148, 86, 153,
138, 127, 418, 154, 135, 88, 139, 149, 141, 155,
150, 89, 142, 151, 119, 156, 140, 157, 200, 264,
265, 158, 120, 231, 159, 160, 165, 121, 122, 161,
166, 162, 244, 167, 168, 173, 163, 164, 284, 174,
169, 1091, 175, 176, 285, 241, 170, 72, 252, 177,
242, 73, 74, 118, 1092, 245, 253, 79, 75, 180,
301, 80, 186, 181, 78, 182, 187, 95, 82, 201,
92, 183, 272, 148, 184, 302, 93, 273, 96, 94,
97, 321, 322, 149, 1093, 188, 150, 323, 99, 151,
189, 190, 190, 191, 191, 190, 196, 190, 190, 190,
197, 190, 190, 1094, 198, 157, 278, 165, 324, 158,
199, 166, 159, 160, 204, 168, 279, 161, 325, 202,
140, 169, 173, 280, 289, 203, 174, 170, 1099, 175,
205, 246, 236, 119, 237, 290, 177, 238, 249, 247,
276, 192, 250, 239, 251, 248, 193, 122, 255, 256,
257, 240, 260, 274, 331, 247, 277, 258, 293, 347,
294, 348, 261, 296, 296, 1100, 295, 311, 262, 332,
263, 305, 305, 307, 307, 309, 309, 312, 313, 316,
381, 328, 317, 349, 335, 382, 333, 350, 318, 329,
330, 245, 337, 319, 336, 334, 338, 340, 351, 351,
339, 354, 354, 1101, 355, 355, 341, 342, 356, 297,
310, 343, 358, 344, 360, 359, 363, 361, 367, 370,
373, 308, 396, 374, 397, 306, 364, 969, 368, 376,
401, 371, 384, 377, 352, 402, 385, 386, 389, 378,
403, 403, 390, 407, 386, 970, 391, 410, 413, 414,
193, 408, 392, 411, 260, 412, 415, 409, 393, 249,
232, 420, 1102, 250, 261, 301, 305, 305, 423, 423,
262, 322, 477, 328, 419, 1105, 323, 421, 404, 335,
302, 329, 333, 478, 340, 425, 384, 245, 405, 336,
385, 424, 406, 341, 342, 427, 427, 1106, 343, 426,
344, 428, 428, 389, 410, 431, 431, 429, 435, 1109,
430, 391, 412, 451, 452, 474, 308, 392, 484, 493,
422, 434, 485, 393, 435, 467, 467, 494, 468, 489,
489, 475, 508, 509, 511, 511, 515, 515, 1110, 530,
533, 533, 560, 560, 521, 531, 561, 561, 381, 535,
1111, 522, 523, 382, 487, 487, 487, 487, 487, 536,
487, 487, 487, 539, 487, 487, 524, 355, 355, 592,
600, 593, 610, 610, 601, 1113, 567, 490, 540, 553,
553, 553, 553, 553, 567, 553, 553, 553, 612, 553,
553, 568, 636, 636, 644, 644, 1114, 621, 569, 604,
604, 604, 604, 604, 613, 604, 604, 604, 622, 604,
604, 628, 630, 641, 646, 653, 653, 631, 629, 655,
668, 647, 663, 663, 947, 664, 656, 667, 667, 642,
536, 670, 670, 674, 655, 1115, 648, 637, 628, 711,
711, 675, 645, 735, 735, 629, 736, 755, 723, 723,
770, 750, 750, 756, 1116, 777, 737, 785, 771, 783,
783, 786, 806, 806, 772, 840, 846, 846, 818, 1120,
665, 778, 944, 841, 666, 705, 705, 705, 705, 705,
945, 705, 705, 705, 819, 705, 705, 487, 487, 487,
487, 487, 1122, 487, 487, 487, 724, 487, 487, 751,
553, 553, 553, 553, 553, 858, 553, 553, 553, 859,
553, 553, 788, 788, 788, 788, 788, 1069, 788, 788,
788, 887, 788, 788, 604, 604, 604, 604, 604, 1123,
604, 604, 604, 1103, 604, 604, 847, 847, 847, 847,
847, 1104, 847, 847, 847, 1125, 847, 847, 853, 853,
855, 855, 857, 857, 870, 870, 875, 880, 880, 885,
885, 664, 876, 902, 902, 906, 906, 935, 892, 926,
926, 939, 939, 1126, 936, 941, 941, 1027, 1027, 949,
949, 1047, 1017, 893, 1018, 1050, 1050, 1051, 1048, 1074,
1117, 1117, 1006, 1006, 1052, 1075, 1070, 1070, 1095, 1107,
1128, 1129, 886, 1049, 1096, 1108, 1130, 1131, 1132, 1053,
1133, 1134, 1134, 1135, 1136, 1137, 1139, 1140, 887, 940,
1141, 1145, 927, 705, 705, 705, 705, 705, 1146, 705,
705, 705, 950, 705, 705, 991, 991, 991, 991, 991,
1007, 991, 991, 991, 1071, 991, 991, 788, 788, 788,
788, 788, 1147, 788, 788, 788, 1148, 788, 788, 847,
847, 847, 847, 847, 1150, 847, 847, 847, 1152, 847,
847, 1043, 1043, 1043, 1043, 1043, 1153, 1043, 1043, 1043,
1154, 1043, 1043, 1143, 1143, 1156, 1157, 1158, 574, 1159,
1161, 1163, 1165, 1166, 1170, 1160, 1168, 1168, 1169, 1169,
1171, 1172, 1173, 1174, 1177, 1178, 1179, 1180, 1181, 1185,
1186, 1187, 1187, 1190, 1188, 1191, 1193, 1194, 1195, 1196,
1197, 1198, 1200, 1201, 1202, 1205, 1206, 1199, 1207, 1208,
1209, 1144, 991, 991, 991, 991, 991, 1213, 991, 991,
991, 1203, 991, 991, 1214, 1215, 1216, 1204, 1217, 659,
887, 1218, 1220, 1221, 1222, 1223, 1225, 1219, 1226, 1189,
1043, 1043, 1043, 1043, 1043, 1228, 1043, 1043, 1043, 1231,
1043, 1043, 1227, 1227, 1230, 1230, 1235, 1236, 1238, 1239,
1241, 1237, 1243, 1244, 1245, 1246, 1109, 1247, 1248, 1249,
1250, 1251, 1253, 1254, 1256, 1258, 1260, 1262, 1265, 1267,
1270, 1270, 1273, 1273, 1274, 1275, 1277, 1280, 1281, 1283,
1284, 1286, 1161, 1287, 1288, 1290, 1291, 1292, 1293, 1297,
1299, 1299, 1300, 1301, 1302, 1303, 1303, 1304, 1306, 1307,
1308, 1310, 1312, 1305, 1313, 1314, 1315, 1316, 1317, 1318,
1319, 1320, 1321, 1322, 1323, 1324, 1328, 1329, 1271, 1330,
1332, 1332, 1334, 1220, 1335, 1336, 1337, 1338, 1340, 1291,
1342, 1343, 1344, 1345, 1346, 1347, 1349, 1350, 1351, 1353,
1353, 1355, 1356, 1358, 1359, 1362, 1365, 1365, 1367, 1368,
1369, 1275, 1370, 1371, 1371, 1374, 1375, 1376, 1377, 1378,
1378, 1379, 1380, 1381, 1382, 1383, 1385, 1387, 1333, 1389,
1386, 1188, 1307, 1390, 1391, 1392, 1393, 1394, 1397, 1398,
1399, 1402, 1403, 1406, 1408, 1408, 1410, 1412, 1413, 1414,
1416, 1416, 1419, 1420, 1366, 1421, 1346, 1597, 1425, 1428,
1429, 1372, 1430, 1431, 1436, 1437, 1438, 1439, 1440, 1442,
1444, 1446, 1447, 1432, 1448, 1443, 1450, 1451, 1452, 1453,
1454, 1455, 1459, 1459, 1463, 1466, 1467, 1468, 1469, 1413,
1471, 1472, 1409, 1473, 1475, 1476, 1479, 1482, 1483, 1484,
1485, 1486, 1488, 1489, 1444, 1490, 1491, 1493, 1494, 1495,
1496, 1497, 1497, 1498, 1499, 1499, 1501, 1501, 1503, 1504,
1505, 1508, 1509, 1510, 1511, 1514, 1516, 1517, 1518, 1521,
1522, 1526, 1527, 1529, 1530, 1531, 1533, 1535, 1536, 1537,
1538, 1539, 1541, 1541, 1528, 1543, 1544, 1545, 1546, 1528,
1548, 1549, 1550, 1551, 1552, 1553, 1556, 1556, 1557, 1560,
1560, 1561, 1500, 1562, 1502, 1563, 1567, 1568, 1569, 1570,
1571, 1573, 1573, 1574, 1575, 1577, 1578, 1580, 1581, 1529,
1583, 1583, 1585, 1585, 1586, 1589, 1590, 1591, 1593, 1594,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 71,
1082, 71, 71, 71, 71, 71, 71, 71, 71, 71,
71, 71, 71, 71, 71, 71, 224, 224, 224, 224,
224, 224, 224, 224, 224, 224, 224, 224, 224, 224,
224, 224, 224, 224, 224, 304, 1081, 304, 345, 353,
345, 353, 438, 446, 438, 446, 447, 450, 447, 450,
457, 462, 457, 462, 345, 395, 495, 395, 495, 532,
548, 532, 548, 570, 608, 570, 608, 395, 1080, 395,
460, 679, 460, 679, 1079, 768, 460, 466, 466, 466,
469, 699, 469, 699, 704, 717, 704, 717, 718, 727,
718, 727, 740, 742, 740, 742, 469, 488, 747, 488,
747, 1076, 488, 488, 488, 488, 488, 488, 488, 488,
488, 488, 488, 488, 488, 488, 506, 760, 506, 760,
767, 774, 767, 774, 1073, 506, 546, 776, 546, 776,
782, 787, 782, 787, 797, 799, 797, 799, 546, 549,
803, 549, 803, 811, 815, 811, 815, 820, 838, 820,
838, 1068, 549, 554, 839, 554, 839, 1067, 554, 554,
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
554, 554, 605, 842, 605, 842, 1066, 605, 605, 605,
605, 605, 605, 605, 605, 605, 605, 605, 605, 605,
605, 614, 850, 614, 850, 860, 865, 860, 865, 868,
869, 868, 869, 878, 643, 878, 643, 614, 627, 879,
627, 879, 882, 883, 882, 883, 888, 905, 888, 905,
911, 1065, 911, 627, 1064, 1063, 627, 643, 913, 643,
913, 914, 916, 914, 916, 919, 460, 919, 460, 1062,
643, 662, 662, 662, 928, 930, 928, 930, 964, 973,
964, 973, 1061, 976, 662, 976, 662, 695, 978, 695,
978, 979, 984, 979, 984, 990, 1060, 990, 695, 706,
991, 706, 991, 872, 706, 706, 706, 706, 706, 706,
706, 706, 706, 706, 706, 706, 706, 706, 709, 709,
709, 709, 709, 709, 709, 709, 709, 709, 709, 709,
709, 709, 722, 546, 722, 546, 549, 999, 549, 999,
1019, 1026, 1019, 1026, 1059, 722, 784, 1038, 784, 1038,
1054, 884, 1054, 884, 784, 1058, 784, 789, 1072, 789,
1072, 1057, 789, 789, 789, 789, 789, 789, 789, 789,
789, 789, 789, 789, 789, 789, 605, 1077, 605, 1077,
1056, 605, 605, 605, 605, 605, 605, 605, 605, 605,
605, 605, 605, 605, 605, 844, 1084, 844, 1084, 1085,
1086, 1085, 1086, 1087, 1089, 1087, 1089, 1090, 695, 1090,
695, 1055, 844, 848, 1097, 848, 1097, 1046, 848, 848,
848, 848, 848, 848, 848, 848, 848, 848, 848, 848,
848, 848, 884, 1098, 884, 1098, 1112, 1118, 1112, 1118,
1045, 1119, 884, 1119, 1121, 1124, 1121, 1124, 1042, 1041,
884, 896, 1127, 896, 1127, 1138, 1142, 1138, 1142, 1149,
1151, 1149, 1151, 1155, 1162, 1155, 1162, 896, 706, 1164,
706, 1164, 1040, 706, 706, 706, 706, 706, 706, 706,
706, 706, 706, 706, 706, 706, 706, 932, 1167, 932,
1167, 1175, 1176, 1175, 1176, 1182, 1183, 1182, 1183, 1184,
1039, 1184, 932, 709, 709, 709, 709, 709, 709, 709,
709, 709, 709, 709, 709, 709, 709, 948, 1192, 948,
1192, 1210, 1211, 1210, 1211, 1212, 1224, 1212, 1224, 1229,
1232, 1229, 1232, 948, 962, 1233, 962, 1233, 1234, 1240,
1234, 1240, 962, 992, 1242, 992, 1242, 1037, 992, 992,
992, 992, 992, 992, 992, 992, 992, 992, 992, 992,
992, 992, 789, 1252, 789, 1252, 1036, 789, 789, 789,
789, 789, 789, 789, 789, 789, 789, 789, 789, 789,
789, 1011, 1255, 1011, 1255, 1259, 1261, 1259, 1261, 1011,
848, 1263, 848, 1263, 1035, 848, 848, 848, 848, 848,
848, 848, 848, 848, 848, 848, 848, 848, 848, 1044,
1264, 1044, 1264, 1034, 1044, 1044, 1044, 1044, 1044, 1044,
1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044, 1078, 1266,
1078, 1266, 1268, 1272, 1268, 1272, 1276, 1278, 1276, 1278,
1279, 1285, 1279, 1285, 1033, 1078, 992, 1289, 992, 1289,
1032, 992, 992, 992, 992, 992, 992, 992, 992, 992,
992, 992, 992, 992, 992, 1044, 1294, 1044, 1294, 1031,
1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044,
1044, 1044, 1044, 1044, 1257, 1295, 1257, 1295, 1296, 1298,
1296, 1298, 1309, 1311, 1309, 1311, 1325, 1030, 1325, 1257,
1269, 1326, 1269, 1326, 1327, 1339, 1327, 1339, 1341, 1348,
1341, 1348, 1029, 1269, 1282, 1352, 1282, 1352, 1354, 1357,
1354, 1357, 1360, 1028, 1360, 1282, 1331, 1361, 1331, 1361,
1363, 1373, 1363, 1373, 1384, 1388, 1384, 1388, 1025, 1331,
1364, 1395, 1364, 1395, 1396, 1400, 1396, 1400, 1401, 1404,
1401, 1404, 1024, 1364, 1142, 1405, 1142, 1405, 1411, 1415,
1411, 1415, 1417, 1418, 1417, 1418, 1023, 1142, 1407, 1422,
1407, 1422, 1424, 1426, 1424, 1426, 1427, 1433, 1427, 1433,
1022, 1407, 1423, 1434, 1423, 1434, 1435, 1441, 1435, 1441,
1445, 1449, 1445, 1449, 1456, 1457, 1456, 1457, 1423, 1458,
1460, 1458, 1460, 1461, 1462, 1461, 1462, 1464, 1465, 1464,
1465, 1470, 1474, 1470, 1474, 1477, 1478, 1477, 1478, 1480,
1021, 1480, 1481, 1487, 1481, 1487, 1492, 1020, 1492, 1481,
1396, 1506, 1396, 1506, 1507, 1512, 1507, 1512, 1513, 1515,
1513, 1515, 517, 1396, 1401, 1519, 1401, 1519, 1520, 1523,
1520, 1523, 1524, 1525, 1524, 1525, 1532, 1401, 1532, 1534,
1540, 1534, 1540, 1542, 1547, 1542, 1547, 1554, 1555, 1554,
1555, 1558, 1559, 1558, 1559, 1564, 1565, 1564, 1565, 1566,
1572, 1566, 1572, 1576, 1579, 1576, 1579, 1582, 1584, 1582,
1584, 1587, 1588, 1587, 1588, 1592, 1595, 1592, 1595, 1596,
1016, 1596, 1015, 1014, 1013, 1012, 1010, 341, 1009, 1008,
1005, 1004, 1003, 1002, 1001, 1000, 998, 997, 996, 995,
994, 993, 316, 989, 988, 987, 986, 985, 983, 982,
981, 980, 977, 975, 974, 754, 972, 971, 968, 967,
966, 965, 963, 961, 960, 959, 958, 957, 956, 955,
260, 954, 953, 952, 951, 947, 946, 943, 720, 942,
938, 937, 934, 933, 931, 468, 929, 925, 924, 923,
922, 921, 920, 918, 917, 915, 912, 910, 909, 908,
907, 904, 903, 901, 900, 899, 898, 897, 895, 894,
891, 890, 889, 512, 881, 877, 874, 873, 872, 871,
867, 866, 864, 863, 862, 861, 856, 854, 852, 851,
849, 845, 843, 837, 836, 835, 834, 833, 832, 831,
830, 829, 828, 827, 826, 825, 824, 823, 822, 821,
817, 816, 814, 813, 812, 810, 809, 808, 807, 805,
804, 802, 801, 800, 798, 796, 795, 794, 793, 792,
791, 790, 557, 781, 780, 779, 775, 773, 769, 768,
538, 766, 765, 764, 763, 762, 761, 759, 758, 757,
754, 753, 752, 749, 748, 746, 745, 744, 743, 741,
739, 738, 734, 733, 732, 731, 730, 729, 728, 726,
725, 721, 720, 719, 484, 716, 715, 714, 713, 712,
710, 474, 708, 707, 703, 702, 701, 700, 698, 697,
696, 694, 693, 692, 691, 690, 689, 688, 687, 686,
685, 684, 683, 682, 681, 680, 678, 677, 676, 673,
672, 671, 568, 669, 500, 661, 660, 659, 658, 657,
654, 451, 652, 651, 650, 649, 640, 639, 638, 635,
634, 633, 632, 626, 625, 624, 623, 620, 619, 618,
617, 616, 615, 611, 609, 607, 606, 603, 602, 599,
598, 597, 596, 595, 594, 591, 590, 589, 588, 587,
586, 585, 584, 583, 582, 581, 580, 579, 578, 577,
576, 575, 574, 573, 572, 571, 566, 565, 564, 563,
562, 559, 558, 557, 556, 555, 552, 551, 550, 318,
547, 545, 544, 543, 542, 541, 538, 537, 534, 529,
528, 527, 526, 525, 520, 519, 518, 517, 516, 514,
513, 512, 510, 507, 505, 504, 503, 502, 501, 500,
499, 498, 497, 496, 492, 491, 486, 483, 482, 481,
480, 479, 476, 473, 472, 471, 470, 465, 464, 463,
461, 459, 458, 456, 455, 454, 453, 449, 448, 445,
444, 443, 442, 225, 441, 440, 439, 437, 436, 434,
433, 432, 207, 358, 338, 419, 264, 248, 245, 241,
417, 416, 400, 399, 398, 394, 388, 387, 383, 380,
379, 375, 372, 369, 366, 365, 362, 357, 346, 330,
327, 326, 251, 320, 315, 314, 303, 300, 299, 298,
292, 291, 288, 287, 286, 281, 275, 274, 271, 270,
269, 268, 259, 254, 243, 235, 228, 227, 226, 225,
1597, 223, 222, 221, 219, 218, 215, 213, 212, 127,
172, 171, 152, 70, 1597, 7, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597
} ;
static yyconst short int yy_chk[2700] =
{ 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, 5, 5, 5, 5, 5, 5, 5,
5, 5, 13, 5, 5, 26, 13, 13, 27, 26,
27, 36, 14, 13, 13, 26, 14, 15, 13, 13,
14, 36, 27, 14, 15, 15, 14, 906, 44, 14,
92, 15, 5, 44, 5, 5, 49, 15, 5, 5,
49, 15, 5, 5, 5, 92, 5, 5, 5, 5,
56, 56, 49, 60, 5, 5, 6, 6, 6, 6,
6, 6, 6, 6, 6, 16, 6, 6, 63, 16,
17, 907, 18, 16, 45, 63, 57, 23, 45, 16,
18, 17, 16, 17, 45, 23, 18, 57, 17, 18,
23, 17, 66, 17, 23, 6, 60, 6, 6, 915,
20, 6, 6, 77, 20, 6, 6, 6, 20, 6,
6, 6, 6, 77, 20, 19, 58, 6, 6, 19,
20, 58, 19, 75, 75, 19, 76, 78, 19, 78,
66, 19, 21, 21, 21, 21, 21, 21, 21, 21,
21, 22, 21, 21, 24, 22, 103, 76, 24, 22,
103, 39, 25, 28, 24, 22, 25, 28, 39, 30,
25, 22, 180, 30, 24, 39, 25, 28, 47, 30,
28, 39, 47, 28, 21, 30, 25, 31, 47, 91,
91, 31, 21, 180, 31, 31, 32, 21, 21, 31,
32, 31, 83, 32, 32, 35, 31, 31, 104, 35,
32, 920, 35, 35, 104, 81, 32, 37, 86, 35,
81, 37, 37, 117, 921, 83, 86, 38, 37, 37,
117, 38, 40, 37, 37, 38, 40, 41, 38, 48,
40, 38, 97, 48, 38, 117, 40, 97, 41, 40,
41, 129, 129, 48, 923, 41, 48, 129, 41, 48,
41, 42, 42, 42, 42, 42, 46, 42, 42, 42,
46, 42, 42, 924, 46, 50, 101, 51, 130, 50,
46, 51, 50, 50, 51, 51, 101, 50, 130, 50,
46, 51, 52, 101, 108, 50, 52, 51, 931, 52,
52, 84, 80, 42, 80, 108, 52, 80, 85, 84,
100, 42, 85, 80, 85, 84, 42, 42, 88, 88,
88, 80, 90, 100, 134, 84, 100, 88, 111, 141,
111, 141, 90, 112, 112, 933, 111, 123, 90, 134,
90, 120, 120, 121, 121, 122, 122, 123, 123, 126,
162, 133, 126, 142, 137, 162, 136, 142, 126, 133,
133, 136, 138, 126, 137, 136, 138, 139, 143, 143,
138, 144, 144, 934, 145, 145, 139, 139, 145, 112,
122, 139, 147, 139, 148, 147, 150, 148, 153, 155,
157, 121, 169, 157, 169, 120, 150, 750, 153, 159,
173, 155, 164, 159, 143, 173, 164, 164, 167, 159,
174, 174, 167, 175, 164, 750, 167, 176, 177, 177,
181, 175, 167, 176, 186, 176, 177, 175, 167, 185,
181, 189, 935, 185, 186, 191, 192, 192, 193, 193,
186, 194, 256, 195, 189, 937, 194, 189, 174, 197,
191, 195, 196, 256, 199, 197, 203, 196, 174, 197,
203, 196, 174, 199, 199, 200, 200, 938, 199, 199,
199, 202, 202, 204, 205, 207, 207, 204, 211, 940,
205, 204, 205, 236, 236, 254, 193, 204, 263, 269,
192, 211, 263, 204, 211, 249, 249, 269, 249, 266,
266, 254, 284, 284, 286, 286, 290, 290, 941, 302,
303, 303, 327, 327, 296, 302, 328, 328, 202, 306,
942, 296, 296, 202, 265, 265, 265, 265, 265, 306,
265, 265, 265, 309, 265, 265, 296, 356, 356, 361,
368, 361, 376, 376, 368, 944, 334, 266, 309, 321,
321, 321, 321, 321, 334, 321, 321, 321, 378, 321,
321, 334, 397, 397, 402, 402, 945, 385, 334, 371,
371, 371, 371, 371, 378, 371, 371, 371, 385, 371,
371, 390, 391, 401, 403, 409, 409, 391, 390, 411,
422, 403, 417, 417, 946, 417, 411, 418, 418, 401,
422, 425, 425, 429, 430, 947, 403, 397, 429, 477,
477, 430, 402, 505, 505, 429, 507, 524, 492, 492,
540, 520, 520, 524, 949, 545, 507, 556, 540, 555,
555, 556, 577, 577, 540, 613, 618, 618, 589, 953,
417, 545, 721, 613, 417, 471, 471, 471, 471, 471,
721, 471, 471, 471, 589, 471, 471, 488, 488, 488,
488, 488, 956, 488, 488, 488, 492, 488, 488, 520,
554, 554, 554, 554, 554, 630, 554, 554, 554, 630,
554, 554, 559, 559, 559, 559, 559, 886, 559, 559,
559, 886, 559, 559, 605, 605, 605, 605, 605, 958,
605, 605, 605, 936, 605, 605, 619, 619, 619, 619,
619, 936, 619, 619, 619, 961, 619, 619, 624, 624,
626, 626, 629, 629, 642, 642, 648, 652, 652, 656,
656, 663, 648, 671, 671, 675, 675, 711, 663, 697,
697, 714, 714, 963, 711, 715, 715, 828, 828, 725,
725, 855, 818, 663, 818, 856, 856, 857, 855, 893,
950, 950, 802, 802, 857, 893, 890, 890, 926, 939,
966, 967, 656, 855, 926, 939, 968, 969, 970, 857,
971, 972, 972, 974, 975, 977, 981, 982, 656, 714,
983, 987, 697, 706, 706, 706, 706, 706, 988, 706,
706, 706, 725, 706, 706, 777, 777, 777, 777, 777,
802, 777, 777, 777, 890, 777, 777, 789, 789, 789,
789, 789, 989, 789, 789, 789, 993, 789, 789, 848,
848, 848, 848, 848, 995, 848, 848, 848, 997, 848,
848, 852, 852, 852, 852, 852, 998, 852, 852, 852,
1000, 852, 852, 986, 986, 1002, 1003, 1004, 1005, 1006,
1007, 1009, 1012, 1013, 1016, 1006, 1014, 1014, 1015, 1015,
1017, 1018, 1020, 1021, 1024, 1025, 1027, 1028, 1029, 1034,
1036, 1037, 1037, 1039, 1037, 1040, 1042, 1045, 1046, 1047,
1048, 1049, 1050, 1051, 1052, 1055, 1056, 1049, 1057, 1058,
1059, 986, 992, 992, 992, 992, 992, 1063, 992, 992,
992, 1053, 992, 992, 1064, 1065, 1066, 1053, 1067, 1068,
1069, 1070, 1071, 1073, 1074, 1075, 1079, 1070, 1080, 1037,
1044, 1044, 1044, 1044, 1044, 1082, 1044, 1044, 1044, 1091,
1044, 1044, 1081, 1081, 1088, 1088, 1095, 1096, 1099, 1100,
1102, 1096, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111,
1113, 1114, 1116, 1117, 1123, 1125, 1129, 1131, 1134, 1136,
1139, 1139, 1141, 1141, 1143, 1144, 1146, 1152, 1153, 1154,
1156, 1159, 1160, 1161, 1163, 1166, 1168, 1169, 1171, 1177,
1179, 1179, 1180, 1181, 1185, 1186, 1186, 1187, 1188, 1189,
1190, 1193, 1195, 1187, 1196, 1197, 1198, 1199, 1200, 1201,
1202, 1203, 1204, 1205, 1206, 1207, 1214, 1215, 1139, 1216,
1217, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1226, 1227,
1230, 1231, 1235, 1236, 1237, 1238, 1241, 1243, 1246, 1247,
1247, 1250, 1251, 1254, 1256, 1262, 1267, 1267, 1270, 1271,
1273, 1274, 1275, 1277, 1277, 1281, 1283, 1284, 1286, 1287,
1287, 1288, 1290, 1291, 1292, 1293, 1299, 1300, 1217, 1303,
1299, 1304, 1305, 1306, 1307, 1308, 1310, 1312, 1315, 1316,
1317, 1320, 1321, 1324, 1328, 1328, 1329, 1332, 1333, 1334,
1335, 1335, 1338, 1340, 1267, 1342, 1344, 1345, 1347, 1351,
1353, 1277, 1355, 1356, 1365, 1366, 1367, 1368, 1369, 1371,
1372, 1376, 1377, 1356, 1378, 1371, 1380, 1381, 1382, 1383,
1385, 1386, 1391, 1391, 1398, 1403, 1406, 1408, 1409, 1412,
1413, 1414, 1328, 1416, 1420, 1421, 1429, 1431, 1432, 1436,
1437, 1438, 1440, 1442, 1443, 1444, 1446, 1448, 1450, 1451,
1452, 1454, 1455, 1459, 1463, 1463, 1466, 1466, 1467, 1468,
1469, 1473, 1475, 1476, 1479, 1484, 1486, 1488, 1489, 1493,
1494, 1498, 1499, 1500, 1501, 1502, 1504, 1508, 1509, 1510,
1511, 1514, 1516, 1516, 1499, 1518, 1521, 1526, 1527, 1529,
1530, 1531, 1533, 1535, 1536, 1537, 1539, 1539, 1541, 1544,
1544, 1545, 1463, 1546, 1466, 1548, 1552, 1553, 1556, 1557,
1560, 1561, 1561, 1562, 1563, 1568, 1569, 1571, 1573, 1500,
1574, 1574, 1575, 1575, 1577, 1581, 1583, 1585, 1590, 1591,
1598, 1598, 1598, 1598, 1598, 1598, 1598, 1598, 1598, 1598,
1598, 1598, 1598, 1598, 1598, 1598, 1598, 1598, 1598, 1599,
904, 1599, 1599, 1599, 1599, 1599, 1599, 1599, 1599, 1599,
1599, 1599, 1599, 1599, 1599, 1599, 1600, 1600, 1600, 1600,
1600, 1600, 1600, 1600, 1600, 1600, 1600, 1600, 1600, 1600,
1600, 1600, 1600, 1600, 1600, 1601, 903, 1601, 1602, 1603,
1602, 1603, 1605, 1606, 1605, 1606, 1607, 1608, 1607, 1608,
1609, 1611, 1609, 1611, 1602, 1604, 1615, 1604, 1615, 1617,
1619, 1617, 1619, 1622, 1624, 1622, 1624, 1604, 902, 1604,
1610, 1629, 1610, 1629, 901, 900, 1610, 1612, 1612, 1612,
1613, 1631, 1613, 1631, 1632, 1635, 1632, 1635, 1636, 1638,
1636, 1638, 1639, 1640, 1639, 1640, 1613, 1614, 1641, 1614,
1641, 894, 1614, 1614, 1614, 1614, 1614, 1614, 1614, 1614,
1614, 1614, 1614, 1614, 1614, 1614, 1616, 1642, 1616, 1642,
1643, 1644, 1643, 1644, 892, 1616, 1618, 1645, 1618, 1645,
1646, 1648, 1646, 1648, 1650, 1651, 1650, 1651, 1618, 1620,
1652, 1620, 1652, 1653, 1654, 1653, 1654, 1655, 1657, 1655,
1657, 885, 1620, 1621, 1658, 1621, 1658, 881, 1621, 1621,
1621, 1621, 1621, 1621, 1621, 1621, 1621, 1621, 1621, 1621,
1621, 1621, 1623, 1659, 1623, 1659, 880, 1623, 1623, 1623,
1623, 1623, 1623, 1623, 1623, 1623, 1623, 1623, 1623, 1623,
1623, 1625, 1662, 1625, 1662, 1663, 1664, 1663, 1664, 1665,
1666, 1665, 1666, 1667, 1668, 1667, 1668, 1625, 1626, 1669,
1626, 1669, 1670, 1671, 1670, 1671, 1673, 1675, 1673, 1675,
1676, 877, 1676, 1626, 876, 875, 1626, 1627, 1677, 1627,
1677, 1678, 1679, 1678, 1679, 1680, 1681, 1680, 1681, 874,
1627, 1628, 1628, 1628, 1682, 1683, 1682, 1683, 1689, 1690,
1689, 1690, 873, 1691, 1628, 1691, 1628, 1630, 1692, 1630,
1692, 1693, 1694, 1693, 1694, 1695, 872, 1695, 1630, 1633,
1697, 1633, 1697, 871, 1633, 1633, 1633, 1633, 1633, 1633,
1633, 1633, 1633, 1633, 1633, 1633, 1633, 1633, 1634, 1634,
1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634,
1634, 1634, 1637, 1698, 1637, 1698, 1699, 1701, 1699, 1701,
1703, 1704, 1703, 1704, 870, 1637, 1647, 1705, 1647, 1705,
1708, 1709, 1708, 1709, 1647, 866, 1647, 1649, 1710, 1649,
1710, 864, 1649, 1649, 1649, 1649, 1649, 1649, 1649, 1649,
1649, 1649, 1649, 1649, 1649, 1649, 1656, 1711, 1656, 1711,
863, 1656, 1656, 1656, 1656, 1656, 1656, 1656, 1656, 1656,
1656, 1656, 1656, 1656, 1656, 1660, 1713, 1660, 1713, 1714,
1715, 1714, 1715, 1716, 1717, 1716, 1717, 1718, 1719, 1718,
1719, 862, 1660, 1661, 1720, 1661, 1720, 854, 1661, 1661,
1661, 1661, 1661, 1661, 1661, 1661, 1661, 1661, 1661, 1661,
1661, 1661, 1672, 1721, 1672, 1721, 1722, 1723, 1722, 1723,
853, 1724, 1672, 1724, 1725, 1726, 1725, 1726, 851, 849,
1672, 1674, 1727, 1674, 1727, 1728, 1729, 1728, 1729, 1731,
1732, 1731, 1732, 1733, 1734, 1733, 1734, 1674, 1684, 1735,
1684, 1735, 846, 1684, 1684, 1684, 1684, 1684, 1684, 1684,
1684, 1684, 1684, 1684, 1684, 1684, 1684, 1685, 1736, 1685,
1736, 1737, 1738, 1737, 1738, 1739, 1740, 1739, 1740, 1741,
845, 1741, 1685, 1686, 1686, 1686, 1686, 1686, 1686, 1686,
1686, 1686, 1686, 1686, 1686, 1686, 1686, 1687, 1742, 1687,
1742, 1744, 1745, 1744, 1745, 1746, 1747, 1746, 1747, 1748,
1749, 1748, 1749, 1687, 1688, 1750, 1688, 1750, 1751, 1752,
1751, 1752, 1688, 1696, 1753, 1696, 1753, 840, 1696, 1696,
1696, 1696, 1696, 1696, 1696, 1696, 1696, 1696, 1696, 1696,
1696, 1696, 1700, 1754, 1700, 1754, 837, 1700, 1700, 1700,
1700, 1700, 1700, 1700, 1700, 1700, 1700, 1700, 1700, 1700,
1700, 1702, 1755, 1702, 1755, 1757, 1758, 1757, 1758, 1702,
1706, 1759, 1706, 1759, 836, 1706, 1706, 1706, 1706, 1706,
1706, 1706, 1706, 1706, 1706, 1706, 1706, 1706, 1706, 1707,
1760, 1707, 1760, 835, 1707, 1707, 1707, 1707, 1707, 1707,
1707, 1707, 1707, 1707, 1707, 1707, 1707, 1707, 1712, 1761,
1712, 1761, 1762, 1764, 1762, 1764, 1765, 1766, 1765, 1766,
1767, 1769, 1767, 1769, 834, 1712, 1730, 1770, 1730, 1770,
833, 1730, 1730, 1730, 1730, 1730, 1730, 1730, 1730, 1730,
1730, 1730, 1730, 1730, 1730, 1743, 1771, 1743, 1771, 832,
1743, 1743, 1743, 1743, 1743, 1743, 1743, 1743, 1743, 1743,
1743, 1743, 1743, 1743, 1756, 1772, 1756, 1772, 1773, 1774,
1773, 1774, 1775, 1776, 1775, 1776, 1777, 831, 1777, 1756,
1763, 1778, 1763, 1778, 1779, 1781, 1779, 1781, 1782, 1783,
1782, 1783, 830, 1763, 1768, 1784, 1768, 1784, 1785, 1786,
1785, 1786, 1787, 829, 1787, 1768, 1780, 1788, 1780, 1788,
1789, 1792, 1789, 1792, 1793, 1794, 1793, 1794, 827, 1780,
1790, 1795, 1790, 1795, 1796, 1797, 1796, 1797, 1798, 1799,
1798, 1799, 826, 1790, 1791, 1800, 1791, 1800, 1802, 1803,
1802, 1803, 1804, 1805, 1804, 1805, 825, 1791, 1801, 1806,
1801, 1806, 1808, 1809, 1808, 1809, 1810, 1811, 1810, 1811,
824, 1801, 1807, 1812, 1807, 1812, 1813, 1814, 1813, 1814,
1815, 1816, 1815, 1816, 1817, 1818, 1817, 1818, 1807, 1819,
1820, 1819, 1820, 1821, 1822, 1821, 1822, 1823, 1824, 1823,
1824, 1825, 1826, 1825, 1826, 1827, 1828, 1827, 1828, 1829,
823, 1829, 1830, 1831, 1830, 1831, 1832, 822, 1832, 1830,
1833, 1835, 1833, 1835, 1836, 1837, 1836, 1837, 1838, 1839,
1838, 1839, 821, 1833, 1834, 1840, 1834, 1840, 1841, 1842,
1841, 1842, 1843, 1844, 1843, 1844, 1845, 1834, 1845, 1846,
1847, 1846, 1847, 1848, 1849, 1848, 1849, 1850, 1851, 1850,
1851, 1852, 1853, 1852, 1853, 1854, 1855, 1854, 1855, 1856,
1857, 1856, 1857, 1858, 1859, 1858, 1859, 1860, 1861, 1860,
1861, 1862, 1863, 1862, 1863, 1864, 1865, 1864, 1865, 1866,
816, 1866, 814, 813, 810, 809, 808, 807, 806, 805,
801, 800, 798, 796, 795, 794, 792, 791, 790, 786,
785, 783, 781, 773, 772, 771, 770, 769, 765, 764,
763, 762, 758, 756, 755, 753, 752, 751, 749, 748,
746, 745, 743, 741, 739, 738, 737, 736, 735, 734,
733, 732, 731, 728, 726, 724, 723, 720, 719, 716,
713, 712, 710, 708, 707, 702, 701, 696, 694, 693,
692, 691, 690, 688, 687, 685, 682, 680, 678, 677,
676, 673, 672, 670, 669, 668, 667, 666, 665, 664,
661, 660, 659, 658, 653, 649, 647, 646, 645, 644,
639, 638, 636, 635, 633, 632, 628, 625, 623, 622,
620, 617, 616, 610, 609, 607, 606, 603, 602, 601,
600, 599, 598, 597, 596, 595, 594, 593, 592, 591,
588, 587, 585, 584, 583, 581, 580, 579, 578, 576,
575, 573, 572, 571, 568, 566, 565, 564, 563, 562,
561, 560, 558, 551, 550, 547, 543, 541, 539, 538,
537, 535, 534, 533, 531, 530, 529, 527, 526, 525,
523, 522, 521, 519, 518, 516, 515, 514, 513, 511,
509, 508, 504, 503, 502, 500, 499, 498, 497, 494,
493, 491, 490, 489, 485, 483, 481, 480, 479, 478,
476, 475, 473, 472, 468, 467, 465, 464, 461, 459,
458, 456, 455, 454, 453, 452, 449, 448, 445, 444,
443, 442, 441, 440, 439, 437, 433, 432, 431, 428,
427, 426, 424, 423, 420, 416, 415, 414, 413, 412,
410, 408, 407, 406, 405, 404, 400, 399, 398, 396,
394, 393, 392, 389, 388, 387, 386, 384, 383, 382,
381, 380, 379, 377, 375, 373, 372, 370, 369, 367,
366, 365, 364, 363, 362, 360, 359, 358, 357, 355,
354, 352, 351, 350, 349, 348, 347, 346, 344, 343,
342, 340, 339, 338, 337, 336, 333, 332, 331, 330,
329, 326, 325, 324, 323, 322, 320, 319, 318, 317,
315, 314, 313, 312, 311, 310, 308, 307, 305, 301,