stian/talkfilters
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
master
talkfilters/jethro.c

3794 lines
127 KiB
C
Raw Permalink Normal View History

Push files
2020-07-01 08:06:53 -04:00
#define yy_create_buffer jethro_yy_create_buffer
#define yy_delete_buffer jethro_yy_delete_buffer
#define yy_scan_buffer jethro_yy_scan_buffer
#define yy_scan_string jethro_yy_scan_string
#define yy_scan_bytes jethro_yy_scan_bytes
#define yy_flex_debug jethro_yy_flex_debug
#define yy_init_buffer jethro_yy_init_buffer
#define yy_flush_buffer jethro_yy_flush_buffer
#define yy_load_buffer_state jethro_yy_load_buffer_state
#define yy_switch_to_buffer jethro_yy_switch_to_buffer
#define yyin jethro_yyin
#define yyleng jethro_yyleng
#define yylex jethro_yylex
#define yyout jethro_yyout
#define yyrestart jethro_yyrestart
#define yytext jethro_yytext
#line 19 "jethro.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 223
#define YY_END_OF_BUFFER 224
static yyconst short int yy_acclist[468] =
{ 0,
224, 222, 223, 221, 222, 223, 223, 204, 222, 223,
204, 222, 223, 222, 223, 204, 222, 223, 204, 222,
223, 204, 222, 223, 204, 222, 223, 204, 222, 223,
204, 222, 223, 204, 222, 223, 204, 222, 223, 204,
222, 223, 204, 222, 223, 204, 222, 223, 204, 222,
223, 204, 222, 223, 204, 222, 223, 204, 222, 223,
204, 222, 223, 204, 222, 223, 204, 222, 223, 204,
222, 223, 204, 222, 223, 204, 222, 223, 204, 222,
223, 204, 222, 223, 204, 222, 223, 204, 222, 223,
204, 222, 223, 204, 222, 223, 204, 222, 223, 204,
222, 223, 204, 222, 223, 204, 222, 223, 220, 222,
223, 220, 221, 222, 223, 220, 223, 205, 220, 222,
223, 222, 223, 222, 223, 222, 223, 222, 223, 222,
223, 222, 223, 222, 223, 222, 223, 180, 180,16387,
185, 185, 185,16493,16567,16498,16475,16597,16449, 1,
16471, 160,16545,16469,16496, 125,16402,16433, 75,16587,
8195,16582,16473, 8301,16494, 123, 157,16583, 184, 8375,
16566, 8306,16499, 8283,16448, 179, 218, 8405, 211, 212,
219, 8257, 8279, 142, 8353, 181,16393,16401, 56,16584,
5, 8277, 174, 8,16404, 8304,16575, 83,16421, 176,
8210, 8210,16417, 8241,16576,16581, 152, 8395, 8390, 188,
186, 186, 8281,16579,16491, 8302,16491, 8391, 8374, 189,
8307,16500,16520,16476,16525, 71,16585, 62, 8256, 177,
178,16574, 162, 78,16547, 156, 175, 172, 16, 214,
215, 216, 217, 206, 8201, 8209,16411,16416, 57,16578,
8392,16577,16586, 8212,16419,16497,16554, 8383, 165, 8229,
16412, 8225, 8384, 8389, 150, 7,16388, 187,16522, 8387,
16454, 8299,16491,16529, 173, 8308,16500, 8328, 76, 8284,
140, 38,16403, 8333, 149, 8393, 146, 131,16580, 8382,
133,16434, 8355, 60, 66, 124, 209, 207, 210,16472,
82,16523, 8219, 8224, 8386, 31, 53, 8385,16470, 8394,
16414, 8227, 8305,16483, 8362, 155,16468, 8220,16407, 8196,
16474, 8330, 158, 72, 68, 126, 8262, 8337,16492, 67,
16519, 11, 58, 8211, 8211,16413,16418,16431, 8388, 153,
8242, 166,16430, 208, 8280, 8331, 159,16406, 26,16432,
8278, 8222,16409, 8291, 8291, 8276, 79, 111, 80, 8215,
8215,16390,16504,16502,16506, 8282, 77,16436, 45, 8300,
106, 96, 40, 8327, 8221, 8226, 148, 8239,16482, 73,
143,16435, 42, 167, 164, 8238, 171, 129, 8214, 21,
8240, 8217, 169, 8198, 8312,16504,16504, 8310,16502, 8314,
16506,16505, 137, 147, 8244,16485, 144, 14, 151, 74,
44,16408, 8290, 8243, 168, 54, 54, 15,16453,16518,
8313, 8293,16481, 41, 81, 8216, 43, 39,16394, 8261,
8326, 2, 36, 8289, 13, 61, 8202, 154,16439,16487,
132, 119, 117, 8247, 8295,16488, 127, 127, 63, 8296,
16484,16489,16479, 12, 130, 59,16486, 8292, 8297, 8287,
8294, 128,16477, 8285, 8285,16478, 8286
} ;
static yyconst short int yy_accept[1032] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 2, 4, 7,
8, 11, 14, 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, 116, 118, 122, 124,
126, 128, 130, 132, 134, 136, 138, 138, 138, 138,
139, 140, 140, 140, 140, 140, 140, 140, 140, 140,
140, 140, 140, 140, 140, 140, 140, 140, 140, 140,
140, 140, 140, 140, 140, 140, 140, 140, 140, 140,
140, 140, 140, 140, 140, 140, 140, 140, 141, 141,
142, 143, 144, 144, 144, 144, 144, 144, 144, 144,
144, 144, 144, 144, 145, 145, 145, 145, 145, 145,
146, 146, 146, 147, 147, 147, 147, 147, 147, 147,
147, 148, 148, 148, 148, 148, 148, 148, 148, 148,
148, 148, 148, 148, 148, 148, 148, 148, 148, 148,
148, 148, 148, 148, 148, 148, 148, 148, 148, 148,
148, 148, 148, 148, 148, 148, 148, 148, 148, 148,
148, 148, 148, 148, 148, 148, 148, 148, 148, 148,
148, 148, 148, 149, 149, 149, 149, 149, 149, 149,
150, 150, 151, 151, 152, 153, 153, 154, 154, 154,
154, 154, 154, 154, 154, 154, 154, 154, 154, 154,
155, 155, 155, 155, 155, 155, 155, 155, 156, 156,
156, 157, 157, 157, 157, 157, 157, 157, 157, 157,
157, 157, 157, 157, 158, 159, 159, 159, 159, 159,
159, 160, 160, 160, 160, 161, 162, 162, 163, 163,
163, 163, 163, 163, 164, 164, 164, 164, 164, 164,
164, 164, 164, 164, 164, 165, 165, 165, 165, 165,
166, 166, 166, 167, 168, 169, 170, 171, 172, 172,
173, 173, 174, 174, 174, 174, 174, 174, 174, 174,
174, 174, 174, 174, 174, 174, 175, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 175, 176,
176, 176, 176, 176, 176, 176, 176, 177, 177, 177,
177, 177, 177, 177, 177, 177, 177, 177, 177, 177,
177, 177, 177, 177, 177, 177, 177, 177, 178, 178,
179, 179, 179, 180, 181, 181, 181, 182, 183, 183,
184, 184, 187, 187, 187, 187, 188, 189, 190, 190,
190, 190, 190, 190, 191, 192, 192, 193, 194, 194,
195, 195, 195, 195, 196, 196, 197, 197, 197, 197,
197, 198, 198, 198, 198, 198, 198, 199, 199, 199,
200, 201, 202, 203, 203, 203, 204, 205, 205, 206,
206, 206, 206, 207, 207, 207, 207, 208, 209, 209,
210, 210, 210, 211, 211, 212, 213, 214, 214, 214,
214, 214, 215, 215, 215, 215, 215, 215, 216, 216,
216, 216, 217, 218, 218, 218, 219, 220, 221, 221,
222, 223, 223, 223, 223, 223, 223, 223, 223, 224,
224, 224, 224, 224, 225, 225, 225, 225, 225, 226,
226, 226, 226, 226, 226, 227, 227, 227, 228, 228,
229, 230, 230, 230, 230, 230, 231, 231, 231, 231,
232, 233, 233, 233, 233, 233, 234, 235, 235, 236,
236, 236, 237, 238, 238, 239, 239, 240, 240, 241,
242, 243, 243, 244, 245, 245, 245, 245, 245, 245,
245, 245, 245, 246, 246, 247, 248, 248, 249, 250,
251, 251, 251, 251, 251, 251, 252, 253, 253, 254,
254, 254, 254, 255, 255, 255, 256, 256, 257, 257,
257, 258, 259, 259, 259, 260, 260, 260, 260, 260,
261, 261, 262, 262, 263, 263, 264, 264, 264, 264,
265, 266, 266, 267, 268, 268, 268, 268, 269, 269,
270, 270, 270, 270, 271, 271, 271, 271, 272, 272,
272, 272, 273, 274, 274, 275, 275, 275, 276, 276,
276, 277, 278, 278, 278, 278, 278, 278, 278, 278,
279, 279, 279, 279, 279, 280, 281, 282, 283, 283,
284, 285, 286, 286, 286, 286, 286, 286, 286, 287,
288, 288, 288, 288, 289, 290, 290, 290, 291, 291,
292, 293, 293, 293, 293, 293, 294, 294, 295, 295,
296, 297, 297, 298, 299, 300, 301, 302, 303, 303,
303, 303, 304, 304, 305, 306, 306, 306, 307, 308,
308, 309, 310, 311, 311, 311, 311, 312, 312, 313,
313, 314, 315, 315, 316, 317, 317, 317, 318, 318,
318, 318, 319, 320, 320, 320, 320, 320, 320, 320,
320, 320, 320, 321, 321, 322, 322, 323, 324, 325,
326, 327, 327, 328, 328, 328, 328, 328, 329, 329,
330, 330, 331, 331, 331, 331, 331, 331, 331, 331,
331, 332, 333, 333, 333, 334, 335, 336, 337, 337,
338, 338, 339, 339, 339, 339, 339, 339, 339, 339,
339, 340, 341, 341, 341, 342, 342, 342, 343, 343,
343, 344, 344, 345, 346, 347, 348, 348, 348, 349,
350, 350, 351, 352, 352, 352, 352, 353, 354, 354,
355, 356, 356, 356, 356, 357, 358, 359, 360, 361,
362, 363, 364, 364, 365, 365, 366, 366, 366, 366,
366, 366, 367, 367, 367, 368, 369, 370, 370, 370,
371, 372, 372, 372, 373, 373, 373, 373, 373, 374,
374, 374, 375, 375, 375, 375, 376, 376, 377, 378,
379, 379, 379, 380, 381, 382, 382, 383, 383, 384,
384, 384, 385, 385, 386, 387, 388, 389, 389, 390,
391, 392, 392, 392, 392, 393, 393, 393, 393, 394,
394, 394, 395, 396, 397, 398, 398, 399, 400, 400,
401, 402, 403, 403, 403, 404, 404, 405, 405, 406,
407, 407, 407, 408, 408, 409, 409, 410, 410, 410,
411, 412, 412, 413, 413, 413, 413, 414, 414, 415,
415, 415, 415, 416, 416, 416, 416, 417, 418, 418,
419, 419, 419, 420, 421, 421, 421, 422, 422, 422,
422, 422, 423, 423, 423, 424, 424, 425, 425, 426,
427, 427, 427, 427, 427, 427, 428, 429, 429, 430,
430, 430, 430, 430, 430, 431, 432, 432, 432, 433,
434, 434, 434, 434, 434, 435, 436, 437, 437, 437,
437, 437, 437, 437, 438, 438, 438, 439, 439, 439,
439, 439, 439, 439, 440, 441, 441, 441, 441, 441,
441, 441, 442, 442, 442, 442, 443, 444, 444, 444,
444, 445, 446, 446, 446, 446, 446, 447, 447, 447,
447, 447, 447, 448, 449, 449, 450, 450, 450, 451,
451, 451, 451, 452, 453, 453, 454, 454, 455, 456,
457, 458, 459, 460, 460, 461, 461, 462, 463, 463,
464, 465, 466, 466, 466, 466, 466, 466, 467, 468,
468
} ;
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, 9, 9,
9, 9, 9, 9, 10, 9, 9, 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, 29, 33, 34, 29, 35, 36,
1, 1, 1, 1, 1, 1, 37, 38, 39, 40,
41, 42, 43, 44, 45, 22, 46, 47, 48, 49,
50, 51, 52, 53, 54, 55, 56, 57, 58, 59,
60, 61, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1
} ;
static yyconst int yy_meta[62] =
{ 0,
1, 1, 1, 2, 1, 3, 4, 5, 5, 5,
1, 1, 6, 6, 6, 6, 6, 6, 6, 6,
6, 6, 6, 6, 6, 6, 6, 6, 6, 6,
6, 7, 6, 6, 6, 6, 8, 6, 6, 9,
10, 6, 6, 11, 12, 6, 6, 13, 14, 15,
16, 6, 17, 18, 19, 19, 6, 15, 6, 20,
6
} ;
static yyconst short int yy_base[1060] =
{ 0,
0, 0, 61, 119, 0, 0, 2094, 3140, 3140, 3140,
3140, 2077, 2077, 177, 33, 48, 34, 19, 91, 62,
58, 233, 40, 2034, 72, 90, 2032, 38, 92, 93,
112, 121, 38, 95, 60, 2038, 99, 146, 148, 113,
150, 166, 209, 173, 3140, 3140, 3140, 3140, 171, 2033,
146, 126, 2019, 2034, 2023, 2016, 2054, 2054, 2041, 2020,
3140, 2019, 173, 267, 168, 180, 248, 172, 36, 2002,
236, 1991, 1999, 2018, 228, 194, 221, 234, 152, 1997,
1978, 242, 1972, 1978, 1984, 1962, 2002, 208, 247, 243,
205, 1966, 239, 225, 1964, 1948, 257, 304, 1946, 1973,
282, 1964, 283, 1964, 246, 268, 318, 1954, 1955, 1941,
1930, 271, 280, 276, 1928, 272, 338, 350, 362, 374,
1933, 1935, 284, 1923, 333, 1925, 335, 1918, 1930, 1933,
392, 360, 369, 370, 371, 295, 315, 329, 313, 359,
373, 1910, 374, 372, 1922, 210, 1907, 383, 1898, 1895,
1897, 433, 445, 1907, 426, 1885, 378, 1902, 320, 1897,
403, 144, 1876, 1879, 438, 1880, 1881, 408, 417, 351,
419, 1885, 1860, 1855, 1869, 422, 1857, 1864, 1863, 1850,
475, 1859, 490, 1854, 1835, 502, 514, 424, 526, 538,
1878, 3140, 0, 550, 3140, 1839, 562, 1849, 1835, 1833,
1834, 574, 1824, 1826, 1810, 1810, 425, 586, 0, 598,
611, 628, 1809, 1815, 1808, 1805, 462, 640, 1794, 1795,
3140, 1841, 1790, 1789, 1794, 1782, 1774, 0, 652, 1781,
1781, 1783, 664, 680, 692, 1775, 1765, 1764, 1770, 404,
3140, 1762, 1749, 437, 704, 3140, 1757, 725, 0, 1751,
737, 1744, 749, 761, 1784, 1744, 1741, 1730, 1720, 1717,
1738, 1722, 1713, 1709, 3140, 1715, 1701, 1716, 1712, 773,
1710, 1699, 3140, 3140, 785, 3140, 3140, 797, 811, 3140,
1687, 823, 1695, 1695, 1686, 1683, 1675, 1690, 1665, 1671,
1680, 1665, 1669, 1659, 0, 3140, 1665, 435, 1648, 1641,
1641, 1638, 1638, 1642, 1629, 788, 1635, 1624, 846, 1623,
1614, 1632, 1618, 858, 1609, 1617, 3140, 1620, 874, 1606,
1606, 1585, 1597, 1581, 575, 1594, 1580, 1580, 886, 467,
1581, 898, 910, 922, 934, 948, 1574, 3140, 960, 3140,
972, 1575, 3140, 3140, 1579, 1576, 3140, 3140, 1606, 3140,
1585, 3140, 1608, 1566, 1559, 984, 580, 3140, 996, 1552,
632, 1561, 1563, 1008, 3140, 1587, 3140, 3140, 1543, 3140,
1553, 1534, 1541, 669, 1532, 3140, 1518, 1522, 1527, 1519,
1022, 1520, 1528, 1504, 1521, 1533, 3140, 1506, 1511, 1034,
3140, 3140, 1499, 1502, 1492, 1047, 3140, 1502, 1059, 1498,
1475, 1488, 1071, 1083, 1095, 1478, 3140, 3140, 1468, 3140,
1487, 495, 3140, 1107, 3140, 1468, 3140, 1461, 1460, 1465,
1451, 1119, 1463, 1455, 284, 1457, 482, 452, 1449, 1451,
1450, 3140, 499, 1132, 1441, 3140, 3140, 3140, 1426, 3140,
474, 543, 1434, 1427, 567, 1424, 1408, 1400, 1144, 1395,
1406, 1414, 1402, 1156, 1168, 1402, 1391, 1398, 1181, 1390,
1391, 1388, 1388, 1374, 3140, 1375, 1370, 1193, 1205, 3140,
3140, 1367, 1362, 1352, 1217, 3140, 1347, 1363, 1340, 3140,
1229, 1339, 1241, 1356, 677, 3140, 3140, 1385, 1253, 1337,
1341, 3140, 3140, 1334, 3140, 1265, 3140, 1277, 3140, 3140,
3140, 1325, 3140, 3140, 1289, 1301, 1313, 0, 1324, 1315,
1322, 1318, 3140, 1309, 3140, 1325, 1309, 1337, 3140, 1349,
1317, 1306, 1361, 1373, 1297, 3140, 1385, 0, 1397, 1307,
1308, 1302, 3140, 1295, 1285, 1409, 1278, 1421, 1271, 1317,
1433, 3140, 1445, 1269, 3140, 1273, 0, 1259, 1258, 3140,
1273, 1457, 1266, 3140, 1247, 3140, 1430, 1254, 1245, 3140,
3140, 1291, 3140, 1472, 1258, 0, 1238, 3140, 1236, 1484,
1496, 1230, 1508, 3140, 1230, 579, 1221, 1520, 1221, 1217,
1218, 3140, 1532, 1226, 1544, 591, 1221, 3140, 1208, 1556,
3140, 1568, 505, 1208, 1210, 469, 1196, 1199, 1202, 3140,
1179, 1580, 1181, 1184, 3140, 3140, 3140, 3140, 1186, 1592,
3140, 1187, 1182, 1170, 1168, 1173, 1158, 1173, 3140, 3140,
1166, 1156, 603, 3140, 1604, 1616, 1152, 3140, 1164, 3140,
1637, 1159, 1141, 1649, 1134, 3140, 567, 3140, 1140, 3140,
3140, 1661, 3140, 3140, 3140, 1673, 3140, 1685, 1697, 1140,
1140, 3140, 1134, 3140, 3140, 1709, 1133, 3140, 3140, 1125,
3140, 1721, 3140, 1111, 1120, 1109, 1733, 1119, 3140, 1109,
3140, 1745, 1098, 3140, 3140, 1111, 1109, 1757, 1769, 1781,
1093, 3140, 1793, 1100, 1100, 1101, 1092, 599, 600, 1079,
1082, 1070, 3140, 1057, 1805, 1061, 3140, 3140, 3140, 3140,
3140, 1076, 3140, 101, 1060, 1817, 1058, 3140, 1064, 1829,
1841, 3140, 1066, 1047, 1853, 1037, 1055, 1037, 1865, 1034,
1877, 3140, 1040, 1042, 3140, 3140, 1028, 1891, 1028, 1906,
1918, 1930, 657, 1024, 1026, 1018, 1942, 1016, 1019, 648,
3140, 3140, 1954, 1017, 3140, 1966, 1010, 3140, 1978, 987,
1995, 2007, 3140, 3140, 3140, 3140, 984, 998, 2019, 3140,
2031, 2043, 3140, 1001, 993, 990, 3140, 2055, 991, 3140,
2038, 2069, 987, 975, 3140, 3140, 3140, 3140, 3140, 970,
2086, 508, 963, 2098, 962, 2110, 965, 971, 965, 2122,
685, 3140, 2134, 955, 3140, 2146, 3140, 957, 949, 3140,
3140, 945, 2158, 3140, 956, 951, 952, 2170, 3140, 928,
925, 3140, 927, 2182, 941, 3140, 927, 3140, 3140, 3140,
800, 912, 2194, 3140, 3140, 925, 2206, 929, 3140, 903,
909, 3140, 2218, 3140, 3140, 3140, 709, 907, 3140, 3140,
3140, 895, 2230, 900, 3140, 898, 906, 898, 3140, 886,
872, 3140, 3140, 2242, 2254, 887, 3140, 2266, 886, 3140,
2278, 2292, 874, 866, 3140, 651, 3140, 863, 3140, 2304,
873, 873, 3140, 859, 3140, 860, 3140, 2316, 851, 3140,
3140, 855, 2328, 855, 852, 853, 3140, 716, 3140, 843,
2340, 843, 3140, 543, 842, 837, 3140, 833, 813, 3140,
819, 830, 2352, 2364, 827, 826, 3140, 2376, 2388, 829,
815, 3140, 807, 814, 2400, 811, 3140, 804, 3140, 3140,
789, 800, 742, 789, 796, 3140, 3140, 783, 2412, 775,
783, 2424, 778, 767, 3140, 3140, 766, 764, 3140, 3140,
756, 771, 761, 753, 3140, 3140, 3140, 748, 754, 693,
745, 753, 754, 3140, 750, 727, 3140, 737, 734, 2436,
2448, 718, 455, 2460, 2472, 724, 712, 714, 693, 682,
735, 3140, 684, 680, 658, 3140, 3140, 648, 643, 627,
3140, 3140, 633, 2484, 617, 615, 2496, 621, 605, 599,
596, 579, 574, 3140, 563, 3140, 539, 2508, 3140, 534,
543, 525, 2520, 2532, 510, 2544, 477, 3140, 3140, 3140,
2556, 3140, 3140, 457, 3140, 432, 3140, 3140, 398, 2568,
3140, 739, 353, 302, 246, 190, 49, 2580, 3140, 3140,
2592, 2609, 2629, 2649, 2669, 2689, 2709, 2729, 2748, 2768,
2780, 2800, 2817, 2832, 2852, 2872, 2892, 2912, 2932, 2946,
2963, 2981, 2999, 3019, 3039, 3059, 3079, 3099, 3119
} ;
static yyconst short int yy_def[1060] =
{ 0,
1030, 1, 1031, 1031, 1, 1, 1030, 1030, 1030, 1030,
1030, 1030, 1032, 1033, 1030, 1034, 1030, 1030, 1035, 1030,
1030, 1036, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1037, 1030, 1030, 1030, 1030, 1030, 1038, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1032, 1039, 1030,
1030, 1030, 1030, 1030, 1040, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1041, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1042, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1043, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1039, 1030, 1044, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1045, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1046, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1047, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1048, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1049, 1030, 1030, 1030, 1030, 1050,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1051, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1052, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1053, 1030, 1030,
1030, 1030, 1053, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1054, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1055, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1056, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1057, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1058, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1059, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 0,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030
} ;
static yyconst short int yy_nxt[3202] =
{ 0,
8, 9, 8, 10, 8, 11, 8, 12, 11, 11,
13, 8, 14, 15, 16, 17, 18, 19, 20, 21,
22, 23, 24, 25, 26, 27, 28, 29, 11, 30,
31, 32, 33, 34, 35, 36, 37, 15, 38, 17,
18, 39, 20, 21, 40, 24, 25, 26, 27, 41,
29, 11, 42, 43, 44, 11, 33, 34, 11, 35,
36, 45, 46, 45, 47, 48, 49, 45, 75, 69,
80, 45, 45, 70, 81, 85, 108, 86, 144, 119,
109, 201, 71, 82, 76, 72, 83, 145, 202, 84,
120, 77, 73, 121, 96, 122, 1028, 78, 97, 50,
149, 51, 98, 79, 88, 52, 92, 99, 111, 150,
53, 93, 112, 54, 94, 55, 113, 95, 56, 45,
46, 45, 47, 48, 49, 45, 114, 89, 123, 45,
45, 146, 124, 127, 115, 147, 128, 129, 148, 116,
90, 125, 131, 91, 126, 795, 152, 153, 132, 117,
133, 154, 134, 155, 156, 135, 136, 50, 137, 51,
795, 140, 138, 52, 141, 142, 164, 165, 53, 139,
143, 54, 209, 55, 184, 185, 56, 60, 60, 60,
61, 60, 157, 60, 161, 181, 182, 60, 60, 158,
194, 119, 217, 232, 166, 159, 233, 162, 183, 193,
163, 160, 120, 193, 193, 121, 127, 122, 63, 128,
129, 193, 196, 140, 209, 167, 176, 142, 228, 177,
197, 228, 143, 178, 64, 65, 200, 179, 229, 66,
1027, 67, 68, 100, 100, 101, 102, 100, 103, 100,
210, 209, 211, 100, 100, 168, 212, 169, 209, 170,
198, 198, 171, 172, 209, 173, 228, 213, 324, 174,
228, 238, 105, 325, 234, 239, 175, 195, 195, 195,
195, 195, 214, 195, 240, 249, 254, 195, 195, 193,
204, 215, 220, 216, 221, 205, 106, 107, 236, 577,
222, 206, 232, 243, 230, 233, 237, 249, 193, 223,
1026, 231, 199, 244, 246, 246, 246, 246, 246, 245,
246, 249, 249, 261, 246, 246, 255, 263, 250, 270,
256, 256, 251, 266, 271, 295, 272, 262, 267, 252,
253, 264, 281, 307, 282, 268, 283, 578, 273, 273,
273, 273, 273, 295, 273, 295, 247, 249, 273, 273,
274, 274, 274, 274, 274, 1025, 274, 310, 214, 295,
274, 274, 276, 276, 276, 276, 276, 215, 276, 216,
308, 290, 276, 276, 277, 277, 277, 277, 277, 285,
277, 291, 286, 282, 277, 277, 287, 288, 309, 303,
295, 292, 296, 296, 296, 296, 296, 304, 296, 295,
295, 295, 296, 296, 297, 301, 298, 275, 303, 313,
311, 305, 1024, 314, 321, 299, 304, 312, 302, 300,
306, 318, 295, 319, 322, 315, 211, 327, 198, 198,
212, 320, 328, 195, 195, 195, 195, 195, 1020, 195,
256, 256, 402, 195, 195, 61, 61, 61, 61, 61,
230, 61, 297, 301, 298, 61, 61, 231, 313, 305,
345, 403, 333, 299, 375, 375, 302, 300, 306, 204,
1019, 456, 494, 346, 315, 338, 338, 338, 338, 338,
199, 338, 364, 406, 457, 338, 338, 407, 583, 196,
340, 340, 340, 340, 340, 979, 340, 567, 567, 980,
340, 340, 343, 343, 343, 343, 343, 716, 343, 1018,
592, 583, 343, 343, 344, 344, 344, 344, 344, 495,
344, 1016, 580, 717, 344, 344, 347, 347, 347, 347,
347, 581, 347, 592, 713, 583, 347, 347, 348, 348,
348, 348, 348, 587, 348, 593, 593, 854, 348, 348,
350, 350, 350, 350, 350, 928, 350, 713, 583, 1014,
350, 350, 352, 352, 352, 352, 352, 855, 352, 596,
596, 1011, 352, 352, 358, 358, 358, 358, 358, 928,
358, 702, 702, 1010, 358, 358, 365, 365, 365, 365,
365, 1009, 365, 709, 709, 1007, 365, 365, 367, 367,
367, 367, 367, 1006, 367, 740, 740, 750, 367, 367,
353, 368, 368, 368, 368, 368, 369, 368, 487, 516,
1005, 368, 368, 488, 517, 1004, 751, 359, 370, 370,
370, 370, 370, 518, 370, 784, 786, 1003, 370, 370,
376, 376, 376, 376, 376, 1002, 376, 1001, 785, 787,
376, 376, 387, 387, 387, 387, 387, 1000, 387, 821,
821, 998, 387, 387, 391, 391, 391, 391, 391, 997,
391, 995, 521, 994, 391, 391, 522, 828, 910, 377,
392, 392, 393, 393, 392, 523, 392, 866, 866, 993,
392, 392, 397, 397, 397, 397, 397, 992, 397, 991,
828, 910, 397, 397, 408, 408, 408, 408, 408, 534,
408, 894, 894, 535, 408, 408, 990, 632, 924, 924,
394, 633, 536, 968, 395, 410, 410, 410, 410, 410,
634, 410, 989, 396, 987, 410, 410, 413, 413, 413,
413, 413, 986, 413, 950, 950, 968, 413, 413, 415,
415, 416, 416, 415, 985, 415, 971, 971, 988, 415,
415, 417, 417, 417, 417, 417, 984, 417, 983, 1023,
978, 417, 417, 432, 432, 432, 432, 432, 975, 432,
974, 988, 973, 432, 432, 436, 436, 436, 436, 436,
972, 436, 1023, 970, 969, 436, 436, 437, 437, 437,
437, 437, 967, 437, 966, 965, 964, 437, 437, 963,
962, 438, 438, 438, 438, 438, 961, 438, 960, 959,
433, 438, 438, 440, 440, 440, 440, 440, 465, 440,
884, 958, 956, 440, 440, 955, 885, 953, 952, 951,
949, 948, 466, 467, 947, 468, 471, 471, 471, 471,
471, 946, 471, 884, 944, 943, 471, 471, 476, 476,
476, 476, 476, 942, 476, 941, 938, 937, 476, 476,
934, 933, 932, 441, 480, 480, 480, 480, 480, 931,
480, 930, 929, 927, 480, 480, 492, 492, 492, 492,
492, 925, 492, 923, 922, 921, 492, 492, 497, 497,
497, 497, 497, 919, 497, 918, 916, 915, 497, 497,
476, 476, 476, 476, 476, 914, 476, 913, 911, 909,
476, 476, 499, 499, 499, 499, 499, 908, 499, 906,
905, 904, 499, 499, 500, 500, 500, 500, 500, 903,
500, 902, 901, 900, 500, 500, 899, 896, 501, 501,
501, 501, 501, 895, 501, 892, 891, 498, 501, 501,
503, 503, 503, 503, 503, 890, 503, 888, 886, 883,
503, 503, 504, 504, 504, 504, 504, 882, 504, 880,
879, 878, 504, 504, 513, 513, 513, 513, 513, 876,
513, 875, 874, 872, 513, 513, 519, 519, 519, 519,
519, 871, 519, 870, 868, 864, 519, 519, 526, 526,
526, 526, 526, 863, 526, 862, 859, 856, 526, 526,
551, 851, 542, 542, 542, 542, 542, 850, 542, 846,
844, 514, 542, 542, 550, 550, 550, 550, 550, 843,
550, 842, 838, 837, 550, 550, 751, 554, 554, 554,
554, 554, 833, 554, 831, 827, 527, 554, 554, 556,
556, 556, 556, 556, 826, 556, 824, 823, 822, 556,
556, 560, 560, 560, 560, 560, 817, 560, 815, 814,
813, 560, 560, 561, 561, 561, 561, 561, 811, 561,
808, 807, 806, 561, 561, 563, 563, 563, 563, 563,
803, 563, 802, 799, 798, 563, 563, 568, 568, 568,
568, 568, 796, 568, 794, 793, 791, 568, 568, 574,
574, 574, 574, 574, 790, 574, 789, 788, 783, 574,
574, 562, 588, 588, 588, 588, 588, 685, 588, 782,
781, 778, 588, 588, 600, 600, 600, 600, 600, 774,
600, 773, 772, 769, 600, 600, 606, 606, 606, 606,
606, 768, 606, 766, 765, 764, 606, 606, 607, 607,
607, 607, 607, 762, 607, 761, 759, 758, 607, 607,
757, 611, 611, 611, 611, 611, 752, 611, 749, 747,
601, 611, 611, 619, 619, 619, 619, 619, 746, 619,
744, 743, 739, 619, 619, 620, 620, 620, 620, 620,
738, 620, 737, 736, 735, 620, 620, 624, 624, 624,
624, 624, 734, 624, 733, 732, 731, 624, 624, 628,
628, 628, 628, 628, 725, 628, 724, 723, 721, 628,
628, 630, 630, 630, 630, 630, 720, 630, 719, 718,
715, 630, 630, 636, 636, 636, 636, 636, 714, 636,
711, 710, 707, 636, 636, 640, 640, 640, 640, 640,
706, 640, 705, 704, 578, 640, 640, 641, 641, 641,
641, 641, 701, 641, 699, 696, 569, 641, 641, 643,
643, 643, 643, 643, 694, 643, 692, 691, 690, 643,
643, 644, 644, 644, 644, 644, 684, 644, 683, 681,
680, 644, 644, 645, 645, 645, 645, 645, 679, 645,
677, 676, 673, 645, 645, 652, 652, 652, 652, 652,
672, 652, 670, 668, 667, 652, 652, 654, 654, 654,
654, 654, 666, 654, 665, 664, 660, 654, 654, 655,
655, 655, 655, 655, 657, 655, 656, 653, 651, 655,
655, 658, 658, 658, 658, 658, 650, 658, 649, 648,
647, 658, 658, 659, 659, 659, 659, 659, 642, 659,
639, 638, 637, 659, 659, 661, 661, 661, 661, 661,
635, 661, 631, 629, 627, 661, 661, 663, 663, 663,
663, 663, 626, 663, 625, 623, 622, 663, 663, 669,
669, 669, 669, 669, 621, 669, 618, 617, 616, 669,
669, 671, 671, 671, 671, 671, 615, 671, 614, 613,
612, 671, 671, 674, 674, 674, 674, 674, 610, 674,
609, 608, 605, 674, 674, 675, 675, 675, 675, 675,
604, 675, 603, 602, 599, 675, 675, 682, 682, 682,