Gitiles
Code Review Sign In
gerrit.osmocom.org / asn1c / 4696c74b7255861ae5c01b4f59168c91c1f36145 / . / libasn1parser / asn1p_l.c
blob: 9a24220b60c92954054721e57fdd7db5f3197626 [file] [log] [blame]
#define yy_create_buffer asn1p__create_buffer
#define yy_delete_buffer asn1p__delete_buffer
#define yy_scan_buffer asn1p__scan_buffer
#define yy_scan_string asn1p__scan_string
#define yy_scan_bytes asn1p__scan_bytes
#define yy_flex_debug asn1p__flex_debug
#define yy_init_buffer asn1p__init_buffer
#define yy_flush_buffer asn1p__flush_buffer
#define yy_load_buffer_state asn1p__load_buffer_state
#define yy_switch_to_buffer asn1p__switch_to_buffer
#define yyin asn1p_in
#define yyleng asn1p_leng
#define yylex asn1p_lex
#define yyout asn1p_out
#define yyrestart asn1p_restart
#define yytext asn1p_text
#define yylineno asn1p_lineno
#line 20 "asn1p_l.c"
/* A lexical scanner generated by flex */
/* Scanner skeleton version:
* $Header$
*/
#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5
#include <stdio.h>
/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
#ifdef c_plusplus
#ifndef __cplusplus
#define __cplusplus
#endif
#endif
#ifdef __cplusplus
#include <stdlib.h>
#include <unistd.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
#define FLEX_DEBUG
typedef unsigned char YY_CHAR;
FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
typedef int yy_state_type;
#define FLEX_DEBUG
extern int yylineno;
int yylineno = 1;
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 136
#define YY_END_OF_BUFFER 137
static yyconst short int yy_acclist[1271] =
{ 0,
137, 135, 136, 130, 135, 136, 130, 136, 133, 135,
136, 21, 135, 136, 133, 135, 136, 135, 136, 133,
135, 136, 135, 136, 133, 135, 136, 135, 136, 35,
135, 136, 34, 135, 136, 133, 135, 136, 135, 136,
122, 123, 135, 136, 122, 123, 135, 136, 122, 123,
135, 136, 122, 123, 135, 136, 122, 123, 135, 136,
122, 123, 135, 136, 122, 123, 135, 136, 122, 123,
135, 136, 122, 123, 135, 136, 122, 123, 135, 136,
122, 123, 135, 136, 122, 123, 135, 136, 122, 123,
135, 136, 122, 123, 135, 136, 122, 123, 135, 136,
122, 123, 135, 136, 122, 123, 135, 136, 122, 123,
135, 136, 122, 123, 135, 136, 121, 135, 136, 133,
135, 136, 10, 135, 136, 5, 136, 5, 135, 136,
9, 135, 136, 7, 135, 136, 9, 135, 136, 12,
15, 135, 136, 12, 136, 15, 135, 136, 15, 135,
136, 15, 135, 136, 23, 135, 136, 23, 136, 24,
135, 136, 18, 135, 136, 18, 136, 20, 135, 136,
20, 135, 136, 16, 135, 136, 17, 135, 136, 27,
29, 135, 136, 29, 135, 136, 30, 136, 27, 28,
29, 135, 136, 27, 28, 29, 135, 136, 127, 135,
136, 128, 135, 136, 128, 136, 135, 136, 129, 135,
136, 130, 21, 21, 119, 120, 4, 33, 126, 11,
34, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 123, 122, 123, 122, 123, 122, 123,
122, 123, 45, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 123, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 123, 122, 123, 122, 123, 90, 122, 123, 122,
123, 123, 122, 123, 122, 123, 122, 123, 122, 123,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 123,
122, 123, 122, 123, 123, 123, 122, 123, 121, 10,
8, 8, 13, 23, 22, 18, 27, 27, 28, 27,
28, 127, 128, 134, 119, 120, 33, 125, 124, 122,
123, 123, 122, 123, 37, 122, 123, 38, 122, 123,
122, 123, 122, 123, 122, 123, 42, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 59,
122, 123, 122, 123, 122, 123, 122, 123, 122, 123,
122, 123, 122, 123, 123, 123, 122, 123, 122, 123,
122, 123, 122, 123, 122, 123, 122, 123, 122, 123,
82, 122, 123, 83, 122, 123, 122, 123, 123, 122,
123, 122, 123, 122, 123, 123, 122, 123, 93, 122,
123, 122, 123, 122, 123, 122, 123, 123, 122, 123,
122, 123, 122, 123, 101, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 123, 122, 123, 122, 123, 122, 123, 123, 123,
123, 122, 123, 121, 3, 19, 27, 28, 26, 27,
28, 119, 120, 32, 31, 2, 1, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 67, 122, 123, 123, 123, 122, 123, 122, 123,
122, 123, 122, 123, 122, 123, 122, 123, 122, 123,
122, 123, 122, 123, 85, 122, 123, 123, 122, 123,
122, 123, 122, 123, 123, 122, 123, 122, 123, 122,
123, 122, 123, 123, 98, 122, 123, 122, 123, 122,
123, 102, 122, 123, 122, 123, 122, 123, 122, 123,
106, 122, 123, 108, 122, 123, 122, 123, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 123,
123, 123, 118, 122, 123, 3, 27, 28, 122, 123,
122, 123, 122, 123, 41, 122, 123, 123, 122, 123,
122, 123, 122, 123, 48, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 66, 122, 123, 123, 123, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 122, 123, 123,
122, 123, 89, 122, 123, 122, 123, 123, 122, 123,
122, 123, 122, 123, 123, 122, 123, 122, 123, 122,
123, 122, 123, 123, 123, 110, 122, 123, 122, 123,
122, 123, 123, 122, 123, 123, 123, 123, 131, 27,
28, 36, 122, 123, 122, 123, 122, 123, 123, 122,
123, 122, 123, 47, 122, 123, 122, 123, 122, 123,
122, 123, 122, 123, 122, 123, 122, 123, 122, 123,
122, 123, 122, 123, 122, 123, 61, 122, 123, 122,
123, 122, 123, 122, 123, 122, 123, 123, 123, 123,
122, 123, 122, 123, 122, 123, 122, 123, 122, 123,
122, 123, 122, 123, 122, 123, 122, 123, 122, 123,
123, 87, 122, 123, 122, 123, 123, 122, 123, 122,
123, 122, 123, 122, 123, 123, 122, 123, 122, 123,
103, 122, 123, 104, 122, 123, 123, 122, 123, 123,
111, 122, 123, 122, 123, 123, 123, 123, 123, 123,
27, 28, 122, 123, 122, 123, 123, 44, 122, 123,
122, 123, 122, 123, 122, 123, 122, 123, 53, 122,
123, 54, 122, 123, 122, 123, 122, 123, 57, 122,
123, 122, 123, 122, 123, 122, 123, 63, 122, 123,
122, 123, 122, 123, 123, 123, 123, 122, 123, 122,
123, 74, 122, 123, 75, 122, 123, 122, 123, 122,
123, 122, 123, 79, 122, 123, 122, 123, 122, 123,
122, 123, 123, 122, 123, 123, 92, 122, 123, 122,
123, 95, 122, 123, 97, 122, 123, 123, 122, 123,
122, 123, 123, 122, 123, 123, 122, 123, 114, 123,
123, 123, 123, 123, 27, 28, 122, 123, 122, 123,
123, 122, 123, 122, 123, 122, 123, 122, 123, 122,
123, 56, 122, 123, 122, 123, 122, 123, 62, 122,
123, 122, 123, 65, 122, 123, 123, 123, 123, 123,
122, 123, 73, 122, 123, 76, 122, 123, 77, 122,
123, 122, 123, 122, 123, 123, 122, 123, 123, 91,
122, 123, 123, 122, 123, 123, 122, 123, 100, 122,
123, 123, 122, 123, 123, 122, 123, 123, 123, 123,
123, 27, 28, 122, 123, 40, 122, 123, 43, 123,
46, 122, 123, 49, 122, 123, 122, 123, 122, 123,
122, 123, 122, 123, 122, 123, 123, 123, 123, 71,
123, 122, 123, 122, 123, 122, 123, 123, 122, 123,
123, 123, 122, 123, 123, 105, 123, 122, 123, 123,
112, 122, 123, 123, 123, 123, 123, 132, 6, 14,
27, 122, 123, 50, 122, 123, 122, 123, 52, 122,
123, 122, 123, 122, 123, 60, 122, 123, 122, 123,
123, 123, 123, 72, 122, 123, 122, 123, 122, 123,
123, 122, 123, 123, 123, 122, 123, 123, 122, 123,
122, 123, 123, 115, 123, 123, 123, 123, 27, 39,
122, 123, 51, 122, 123, 55, 122, 123, 122, 123,
122, 123, 123, 123, 123, 122, 123, 122, 123, 123,
122, 123, 123, 123, 122, 123, 123, 122, 123, 122,
123, 123, 123, 123, 123, 27, 122, 123, 122, 123,
123, 123, 123, 78, 122, 123, 80, 122, 123, 81,
123, 122, 123, 123, 123, 122, 123, 123, 99, 122,
123, 122, 123, 123, 123, 123, 123, 27, 122, 123,
64, 122, 123, 69, 123, 123, 70, 123, 122, 123,
86, 123, 123, 94, 122, 123, 123, 122, 123, 107,
123, 123, 123, 117, 123, 27, 122, 123, 123, 84,
122, 123, 123, 123, 122, 123, 123, 116, 123, 27,
122, 123, 68, 123, 123, 96, 123, 109, 122, 123,
113, 123, 27, 58, 122, 123, 88, 123, 25, 27
} ;
static yyconst short int yy_accept[886] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 2, 4, 7,
9, 12, 15, 18, 20, 23, 25, 28, 30, 33,
36, 39, 41, 45, 49, 53, 57, 61, 65, 69,
73, 77, 81, 85, 89, 93, 97, 101, 105, 109,
113, 117, 120, 123, 126, 128, 131, 134, 137, 140,
144, 146, 149, 152, 155, 158, 160, 163, 166, 168,
171, 174, 177, 180, 184, 187, 189, 194, 199, 202,
205, 207, 209, 212, 212, 213, 214, 215, 215, 216,
216, 217, 217, 217, 218, 219, 220, 221, 222, 222,
222, 224, 226, 228, 230, 232, 234, 235, 237, 239,
241, 243, 246, 248, 250, 252, 254, 256, 258, 260,
262, 264, 265, 266, 268, 270, 272, 274, 276, 278,
280, 282, 283, 285, 287, 290, 292, 293, 295, 297,
299, 301, 302, 304, 306, 308, 310, 312, 314, 316,
318, 320, 321, 323, 325, 326, 327, 329, 329, 330,
330, 330, 330, 331, 332, 332, 333, 334, 334, 335,
336, 337, 337, 338, 340, 342, 343, 344, 345, 345,
345, 346, 346, 347, 347, 347, 347, 348, 349, 350,
352, 353, 355, 358, 361, 363, 365, 365, 367, 370,
372, 374, 376, 378, 380, 382, 384, 386, 388, 390,
393, 395, 397, 399, 401, 403, 405, 406, 407, 409,
411, 413, 415, 417, 419, 421, 424, 427, 429, 430,
432, 434, 436, 437, 439, 442, 444, 446, 448, 449,
451, 453, 455, 458, 460, 462, 464, 466, 468, 470,
472, 473, 475, 477, 479, 480, 481, 482, 484, 485,
485, 485, 485, 486, 486, 487, 489, 492, 492, 493,
494, 495, 496, 497, 498, 498, 500, 502, 504, 506,
508, 510, 512, 514, 516, 518, 520, 522, 524, 526,
528, 530, 532, 534, 536, 538, 540, 542, 545, 546,
547, 549, 551, 553, 555, 557, 559, 561, 563, 565,
568, 569, 571, 573, 575, 576, 578, 580, 582, 584,
585, 588, 590, 592, 595, 597, 599, 601, 604, 607,
609, 610, 612, 614, 616, 618, 620, 621, 622, 623,
626, 626, 626, 626, 626, 626, 627, 627, 629, 631,
633, 635, 638, 639, 641, 643, 645, 648, 650, 652,
654, 656, 658, 660, 662, 664, 666, 668, 670, 672,
674, 677, 678, 679, 680, 682, 684, 686, 688, 690,
692, 694, 696, 698, 700, 701, 703, 706, 708, 709,
711, 711, 713, 715, 716, 718, 720, 722, 724, 725,
725, 726, 729, 731, 733, 734, 736, 737, 738, 739,
739, 739, 740, 740, 740, 742, 745, 747, 749, 750,
752, 754, 757, 759, 761, 763, 765, 767, 769, 771,
773, 775, 777, 780, 782, 784, 786, 788, 789, 790,
791, 793, 795, 797, 799, 801, 803, 805, 807, 809,
811, 811, 812, 815, 817, 818, 820, 822, 824, 826,
827, 829, 831, 834, 837, 838, 840, 841, 844, 846,
847, 848, 849, 850, 851, 851, 851, 851, 851, 853,
855, 857, 858, 861, 863, 865, 867, 869, 872, 875,
877, 879, 882, 884, 886, 888, 891, 893, 895, 896,
897, 898, 900, 902, 905, 908, 910, 912, 914, 917,
919, 921, 923, 924, 926, 927, 930, 932, 935, 938,
939, 941, 943, 944, 946, 947, 949, 951, 952, 953,
954, 955, 955, 955, 955, 957, 959, 961, 962, 964,
966, 968, 970, 972, 975, 977, 979, 982, 984, 987,
988, 989, 990, 991, 993, 996, 999, 1002, 1004, 1006,
1007, 1009, 1010, 1013, 1014, 1016, 1017, 1019, 1022, 1023,
1025, 1026, 1028, 1029, 1030, 1031, 1032, 1032, 1032, 1032,
1032, 1034, 1036, 1039, 1041, 1044, 1047, 1049, 1051, 1053,
1053, 1055, 1057, 1058, 1059, 1060, 1062, 1064, 1066, 1068,
1069, 1071, 1072, 1073, 1075, 1076, 1076, 1078, 1080, 1081,
1084, 1085, 1086, 1087, 1088, 1088, 1089, 1089, 1090, 1090,
1091, 1092, 1094, 1097, 1099, 1102, 1104, 1106, 1109, 1111,
1112, 1113, 1114, 1117, 1119, 1121, 1122, 1124, 1125, 1126,
1128, 1129, 1131, 1133, 1134, 1136, 1137, 1138, 1139, 1139,
1139, 1140, 1143, 1146, 1149, 1151, 1153, 1154, 1155, 1156,
1158, 1160, 1161, 1163, 1164, 1165, 1167, 1168, 1170, 1172,
1173, 1174, 1175, 1176, 1176, 1176, 1177, 1179, 1181, 1182,
1183, 1184, 1187, 1190, 1192, 1194, 1195, 1196, 1198, 1199,
1202, 1204, 1205, 1206, 1207, 1208, 1208, 1208, 1209, 1211,
1214, 1216, 1217, 1219, 1221, 1223, 1224, 1227, 1228, 1230,
1232, 1233, 1234, 1236, 1236, 1236, 1237, 1239, 1240, 1243,
1244, 1245, 1247, 1248, 1250, 1250, 1250, 1251, 1253, 1255,
1256, 1258, 1261, 1263, 1263, 1263, 1264, 1267, 1269, 1269,
1269, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271, 1271,
1271, 1271, 1271, 1271, 1271
} ;
static yyconst int yy_ec[256] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
4, 4, 5, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 2, 6, 7, 1, 1, 1, 8, 9, 10,
10, 11, 1, 12, 13, 14, 15, 16, 17, 18,
18, 19, 20, 21, 18, 22, 23, 24, 25, 26,
27, 28, 1, 10, 29, 30, 31, 32, 33, 34,
35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
45, 46, 47, 48, 49, 50, 51, 52, 53, 54,
10, 1, 55, 56, 1, 1, 57, 58, 59, 60,
61, 62, 63, 64, 65, 66, 62, 67, 68, 69,
70, 71, 62, 72, 73, 74, 75, 76, 62, 77,
62, 78, 79, 80, 81, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 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[82] =
{ 0,
1, 2, 3, 3, 3, 1, 4, 5, 6, 1,
1, 1, 7, 1, 1, 8, 8, 8, 8, 8,
8, 8, 8, 9, 1, 10, 9, 11, 12, 12,
12, 12, 12, 12, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 1, 1, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 14, 1,
15
} ;
static yyconst short int yy_base[1070] =
{ 0,
0, 0, 79, 82, 85, 96, 91, 101, 90, 100,
107, 111, 192, 273, 142, 149, 1984, 1971, 116, 156,
1969, 1967, 346, 164, 6783, 218, 1960, 104, 6783, 192,
1949, 6783, 412, 212, 134, 99, 263, 281, 296, 220,
302, 462, 463, 479, 485, 500, 506, 531, 534, 523,
549, 1958, 592, 0, 6783, 6783, 1952, 1906, 1948, 6783,
6783, 1944, 1944, 1897, 0, 0, 1941, 0, 0, 1922,
6783, 6783, 6783, 0, 6783, 6783, 615, 695, 0, 287,
314, 115, 6783, 1937, 356, 0, 1935, 1935, 1927, 131,
1925, 629, 1926, 1918, 631, 1912, 6783, 639, 1897, 719,
633, 634, 649, 685, 650, 684, 1910, 700, 713, 716,
724, 768, 771, 789, 786, 802, 810, 825, 831, 828,
846, 110, 115, 861, 864, 872, 887, 898, 909, 915,
926, 117, 939, 942, 955, 963, 83, 966, 979, 990,
1003, 124, 1019, 1025, 1036, 1042, 1053, 1064, 1070, 1081,
1087, 162, 1098, 1114, 169, 296, 1111, 0, 1909, 1162,
1174, 1186, 0, 6783, 1846, 1898, 6783, 1836, 0, 6783,
0, 1880, 0, 1858, 201, 0, 360, 6783, 1886, 0,
1885, 0, 1882, 106, 1851, 254, 1152, 6783, 6783, 1197,
1873, 1181, 1182, 1197, 1198, 1246, 1872, 1254, 1257, 1270,
1278, 1286, 1294, 1307, 1315, 1318, 1339, 1340, 1355, 1361,
1372, 1378, 1389, 1395, 1406, 1417, 209, 113, 1430, 1438,
1441, 1456, 1459, 1462, 1488, 1480, 1491, 1504, 233, 1512,
1525, 1533, 253, 1536, 1549, 1557, 1565, 1573, 255, 1586,
1589, 1597, 1610, 1618, 1626, 1634, 1647, 1655, 1668, 1676,
289, 1684, 1700, 1701, 150, 309, 231, 1716, 1864, 1759,
1767, 1806, 1860, 1802, 6783, 305, 1827, 1812, 1851, 1850,
6783, 6783, 6783, 6783, 495, 1761, 1762, 1777, 1783, 1794,
1800, 1816, 1817, 1832, 1840, 1848, 1864, 1861, 1872, 1885,
1888, 1903, 1909, 1920, 1926, 1937, 1952, 1958, 295, 454,
1969, 1975, 1990, 1991, 2006, 2012, 2027, 2030, 2038, 2051,
300, 2059, 2062, 2075, 282, 2083, 2096, 2104, 2112, 353,
2120, 2128, 2141, 2149, 2152, 2170, 2167, 2173, 2188, 2191,
423, 2194, 2209, 2212, 2220, 2233, 455, 250, 483, 2244,
2287, 2309, 2331, 2343, 1838, 1841, 1836, 490, 2327, 2342,
2358, 2355, 513, 2376, 2379, 2382, 2397, 2400, 2408, 2421,
2429, 2442, 2453, 2459, 2470, 2481, 2496, 2502, 2513, 2519,
2534, 488, 361, 534, 2535, 2555, 2552, 2573, 2572, 2588,
2594, 2605, 2618, 2629, 522, 2626, 2642, 2650, 482, 2658,
553, 2666, 2679, 511, 2692, 2695, 2703, 2716, 545, 568,
538, 2727, 2733, 2744, 426, 2755, 594, 591, 605, 682,
2798, 6783, 1793, 1792, 674, 2782, 2798, 2795, 623, 2806,
2819, 2822, 2839, 2845, 2856, 2862, 2877, 2883, 2900, 2906,
2917, 2923, 2934, 2940, 2951, 2957, 2973, 704, 654, 687,
2974, 2989, 2995, 3006, 3012, 3027, 3033, 3044, 3059, 3065,
607, 746, 3076, 3092, 587, 3089, 1808, 3100, 3113, 789,
3121, 3136, 3139, 3142, 705, 1809, 78, 3157, 3160, 684,
734, 178, 761, 821, 3208, 3220, 1815, 1813, 1793, 3204,
3217, 735, 3220, 3235, 3241, 3252, 3258, 3269, 3275, 3286,
3297, 3303, 3314, 3320, 3331, 3342, 3348, 3359, 756, 211,
794, 3365, 3376, 3387, 3393, 3404, 3410, 3425, 3426, 3441,
3447, 1789, 326, 3458, 824, 3464, 1795, 3475, 3486, 786,
3492, 3507, 830, 1795, 588, 3513, 1809, 759, 655, 324,
836, 3556, 0, 0, 527, 3550, 3551, 507, 3566, 3574,
3577, 3590, 3598, 3606, 3614, 3627, 3635, 3643, 3651, 810,
847, 826, 835, 3664, 3672, 3675, 3688, 3696, 3699, 851,
1786, 874, 3712, 853, 1779, 832, 3733, 3720, 883, 1773,
902, 3736, 894, 865, 896, 906, 3784, 1022, 1786, 1784,
120, 3768, 3779, 1796, 3785, 3796, 3802, 3817, 3818, 931,
3833, 3834, 917, 937, 920, 1795, 3849, 3857, 3872, 909,
1763, 941, 958, 1756, 947, 924, 1784, 1748, 965, 3873,
939, 988, 1003, 974, 1230, 6783, 1767, 6783, 1766, 6783,
1762, 3888, 3889, 3904, 3905, 3920, 1731, 3921, 3936, 1031,
1029, 1044, 3942, 3953, 3964, 987, 1731, 1051, 1062, 1731,
1005, 1730, 1729, 1074, 1746, 1018, 1085, 1111, 1729, 1727,
1711, 3970, 3981, 3987, 1711, 3998, 1038, 589, 1049, 4009,
4015, 1086, 1714, 1119, 1124, 1699, 1148, 1707, 1704, 1130,
1164, 1187, 1149, 1709, 1708, 1693, 1684, 4030, 1188, 1216,
1230, 4031, 4046, 1709, 1673, 1266, 1174, 1666, 1237, 0,
1678, 1270, 1240, 1235, 1279, 1685, 1683, 1659, 1659, 4047,
1690, 1047, 1687, 1640, 1679, 1139, 0, 1272, 1657, 1675,
1294, 1308, 1673, 1656, 1653, 1634, 1636, 1040, 0, 952,
1312, 1627, 1327, 1659, 1643, 1641, 1622, 1621, 1644, 1206,
1642, 0, 1640, 1621, 1619, 1605, 0, 1631, 1615, 1614,
0, 1608, 1606, 1604, 1597, 1596, 1593, 1592, 1583, 1582,
1580, 1574, 1572, 1568, 1566, 1564, 1562, 1560, 1558, 1555,
1553, 1544, 1543, 1540, 1536, 1534, 1532, 1531, 1529, 1523,
1522, 1521, 1519, 1515, 1513, 1511, 1510, 1508, 1499, 1498,
1497, 1495, 1491, 1489, 1488, 1487, 1486, 1485, 1484, 1469,
1466, 1465, 1463, 1460, 1448, 1447, 1445, 1441, 1439, 1437,
1436, 1435, 1434, 1428, 1426, 1424, 1423, 1421, 1417, 1415,
1414, 1413, 1412, 1406, 1402, 1398, 1396, 1395, 1389, 1387,
1381, 1379, 1378, 1372, 1368, 1366, 1365, 1364, 1359, 1358,
1350, 1349, 1346, 1344, 1333, 1325, 1324, 1322, 1318, 1316,
1311, 1295, 1287, 1285, 1281, 1254, 1252, 1249, 1221, 1216,
1189, 1188, 1187, 1122, 1118, 1105, 1098, 1094, 1092, 1043,
1030, 1026, 1022, 1013, 1010, 945, 896, 892, 883, 864,
813, 797, 781, 713, 711, 708, 703, 641, 412, 410,
409, 307, 305, 6783, 4096, 4111, 4126, 4141, 4156, 4171,
4186, 4200, 4206, 4219, 4234, 4249, 4262, 4275, 4288, 4295,
4302, 4308, 4315, 4321, 4327, 4333, 4346, 4355, 4368, 4383,
4397, 4412, 4427, 4442, 4457, 4472, 4487, 4502, 4517, 4532,
4547, 4562, 4577, 4592, 4607, 4622, 4637, 4652, 4667, 4682,
4697, 4712, 4727, 4742, 4757, 4772, 4787, 4802, 4817, 4832,
4847, 4862, 4877, 4892, 4907, 4922, 4937, 4952, 4967, 4982,
4997, 5012, 5027, 5042, 5057, 5072, 5087, 5102, 5117, 5132,
5147, 5162, 5177, 5192, 5207, 5222, 5237, 5252, 5267, 5282,
5297, 5312, 5327, 5342, 5357, 5372, 5387, 5402, 5417, 5432,
5447, 5462, 5477, 5492, 5507, 5522, 5537, 5552, 5567, 5582,
5597, 5612, 5627, 5642, 5657, 5672, 5687, 5702, 5717, 5732,
5747, 5762, 5777, 5792, 5807, 5822, 5837, 5852, 5867, 5882,
5897, 5912, 5927, 5942, 5957, 5972, 5987, 6002, 6017, 6032,
6047, 6062, 6077, 6092, 6107, 6122, 6137, 6152, 6167, 6182,
6197, 6212, 6227, 6242, 6257, 6272, 6287, 6302, 6317, 6332,
6347, 6362, 6377, 6392, 6407, 6422, 6437, 6452, 6467, 6482,
6497, 6512, 6527, 6542, 6557, 6572, 6587, 6602, 6617, 6632,
6647, 6662, 6677, 6692, 6707, 6722, 6737, 6752, 6767
} ;
static yyconst short int yy_def[1070] =
{ 0,
884, 1, 885, 885, 885, 885, 886, 886, 887, 887,
888, 888, 889, 889, 890, 890, 884, 884, 884, 884,
884, 891, 884, 892, 884, 884, 884, 884, 884, 884,
884, 884, 884, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 893, 884, 894, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 895, 895, 884, 896, 896, 884,
884, 884, 884, 897, 884, 884, 898, 898, 899, 884,
884, 23, 884, 884, 884, 891, 891, 884, 900, 884,
901, 892, 892, 884, 884, 884, 884, 884, 884, 902,
33, 33, 33, 33, 33, 33, 903, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 903, 903, 33, 33, 33, 33, 33, 33, 33,
33, 903, 33, 33, 33, 33, 903, 33, 33, 33,
33, 903, 33, 33, 33, 33, 33, 33, 33, 33,
33, 903, 33, 33, 903, 903, 33, 904, 893, 884,
884, 884, 894, 884, 884, 884, 884, 884, 895, 884,
896, 884, 897, 78, 78, 899, 884, 884, 884, 905,
900, 906, 901, 884, 884, 907, 884, 884, 884, 902,
908, 33, 33, 33, 33, 33, 908, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 903, 903, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 903, 33,
33, 33, 903, 33, 33, 33, 33, 33, 903, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
903, 33, 33, 33, 903, 903, 903, 33, 904, 884,
884, 884, 884, 884, 884, 78, 78, 884, 905, 906,
884, 884, 884, 884, 907, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 903, 903,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
903, 33, 33, 33, 903, 33, 33, 33, 33, 903,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
903, 33, 33, 33, 33, 33, 903, 903, 903, 33,
884, 884, 884, 884, 884, 884, 884, 78, 33, 33,
33, 33, 903, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 903, 903, 903, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 903, 33, 33, 33, 903, 33,
190, 33, 33, 903, 33, 33, 33, 33, 903, 190,
903, 33, 33, 33, 903, 33, 903, 903, 903, 884,
884, 884, 884, 884, 78, 33, 33, 33, 903, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 903, 903, 903,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
190, 903, 33, 33, 903, 33, 190, 33, 33, 903,
33, 33, 33, 33, 903, 190, 903, 33, 33, 903,
903, 903, 903, 903, 884, 884, 884, 884, 78, 33,
33, 903, 33, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 903, 903,
903, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 190, 903, 33, 903, 33, 190, 33, 33, 903,
33, 33, 903, 190, 903, 33, 903, 903, 903, 903,
903, 884, 909, 910, 78, 33, 33, 903, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 903,
903, 903, 903, 33, 33, 33, 33, 33, 33, 903,
190, 903, 33, 903, 190, 903, 33, 33, 903, 190,
903, 33, 903, 903, 903, 903, 884, 911, 912, 913,
78, 33, 33, 903, 33, 33, 33, 33, 33, 190,
33, 33, 903, 903, 903, 903, 33, 33, 33, 903,
190, 903, 903, 190, 903, 190, 903, 190, 903, 33,
903, 903, 903, 903, 884, 884, 914, 884, 915, 884,
897, 33, 33, 33, 33, 33, 190, 33, 33, 903,
903, 903, 33, 33, 33, 903, 190, 903, 903, 190,
903, 190, 190, 903, 903, 903, 903, 903, 916, 917,
897, 33, 33, 33, 190, 33, 903, 903, 903, 33,
33, 903, 190, 903, 903, 190, 903, 190, 190, 903,
903, 903, 903, 918, 919, 897, 190, 33, 903, 903,
903, 33, 33, 903, 190, 903, 903, 190, 903, 190,
190, 903, 903, 903, 903, 920, 921, 897, 190, 33,
903, 903, 903, 190, 903, 903, 190, 903, 190, 903,
903, 903, 903, 922, 923, 897, 190, 903, 190, 903,
903, 190, 903, 903, 924, 925, 897, 190, 903, 903,
903, 190, 903, 926, 927, 897, 190, 903, 928, 929,
897, 930, 931, 932, 933, 934, 935, 936, 937, 938,
939, 940, 941, 942, 943, 944, 945, 946, 947, 948,
949, 950, 951, 952, 953, 954, 955, 956, 957, 958,
959, 960, 961, 962, 963, 964, 965, 966, 967, 968,
969, 970, 971, 972, 973, 974, 975, 976, 977, 978,
979, 980, 981, 982, 983, 984, 985, 986, 987, 988,
989, 990, 991, 992, 993, 994, 995, 996, 997, 998,
999, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008,
1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018,
1019, 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028,
1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038,
1039, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048,
1049, 1050, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058,
1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068,
1069, 884, 884, 0, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884
} ;
static yyconst short int yy_nxt[6865] =
{ 0,
18, 19, 20, 19, 19, 21, 22, 23, 24, 25,
18, 25, 26, 27, 28, 29, 30, 30, 30, 30,
30, 30, 30, 31, 21, 32, 32, 18, 33, 34,
35, 36, 37, 38, 39, 40, 41, 40, 40, 40,
42, 43, 44, 45, 40, 46, 47, 48, 49, 50,
51, 40, 40, 40, 21, 21, 52, 52, 52, 52,
52, 52, 52, 52, 52, 52, 52, 52, 52, 52,
52, 52, 52, 52, 52, 52, 52, 52, 53, 21,
25, 55, 56, 56, 55, 56, 56, 55, 56, 56,
197, 57, 66, 61, 57, 197, 67, 59, 55, 56,
56, 62, 66, 61, 58, 63, 67, 58, 59, 69,
58, 62, 84, 69, 97, 63, 64, 85, 85, 85,
85, 58, 197, 884, 84, 197, 64, 197, 101, 197,
70, 116, 621, 71, 70, 271, 197, 71, 101, 884,
101, 272, 101, 80, 81, 80, 80, 101, 233, 82,
80, 81, 80, 80, 525, 88, 82, 85, 85, 85,
85, 174, 197, 101, 84, 92, 92, 92, 92, 113,
884, 218, 84, 114, 197, 101, 115, 101, 217, 92,
92, 197, 101, 300, 229, 72, 90, 73, 239, 72,
197, 73, 74, 75, 76, 75, 75, 74, 74, 74,
74, 74, 74, 74, 74, 74, 74, 98, 98, 98,
98, 98, 98, 98, 98, 74, 74, 74, 74, 74,
32, 197, 83, 197, 78, 337, 84, 32, 251, 83,
94, 266, 267, 255, 95, 95, 95, 95, 95, 95,
95, 101, 174, 197, 108, 197, 74, 74, 109, 101,
529, 101, 110, 101, 111, 101, 274, 552, 274, 101,
101, 101, 197, 101, 112, 197, 275, 197, 101, 299,
75, 74, 75, 74, 75, 76, 75, 75, 74, 74,
74, 74, 74, 74, 74, 74, 74, 74, 177, 177,
177, 177, 101, 311, 197, 339, 74, 74, 74, 74,
74, 197, 101, 117, 118, 78, 101, 197, 197, 120,
101, 101, 197, 315, 119, 177, 177, 177, 177, 408,
101, 197, 101, 320, 101, 101, 121, 74, 74, 101,
124, 101, 620, 125, 618, 101, 197, 101, 197, 101,
389, 101, 126, 127, 101, 101, 174, 348, 128, 331,
101, 75, 74, 75, 84, 256, 122, 85, 85, 85,
85, 177, 177, 177, 177, 197, 372, 123, 257, 338,
88, 385, 562, 197, 89, 89, 89, 89, 89, 89,
89, 89, 89, 89, 89, 89, 89, 89, 89, 89,
89, 89, 89, 89, 89, 89, 89, 89, 89, 89,
575, 90, 91, 91, 91, 91, 91, 91, 91, 91,
91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
91, 91, 91, 91, 100, 439, 394, 101, 101, 101,
101, 101, 101, 101, 101, 197, 620, 618, 197, 620,
101, 102, 101, 101, 101, 101, 101, 101, 101, 101,
101, 103, 101, 104, 101, 105, 101, 101, 101, 101,
106, 101, 101, 101, 101, 101, 197, 197, 107, 107,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
129, 101, 101, 470, 197, 197, 401, 274, 130, 274,
197, 101, 101, 101, 101, 101, 101, 275, 133, 134,
101, 131, 135, 138, 101, 407, 139, 373, 101, 197,
101, 415, 136, 197, 140, 197, 101, 101, 101, 101,
141, 174, 143, 101, 197, 101, 137, 132, 144, 101,
409, 101, 145, 101, 438, 101, 197, 101, 101, 101,
197, 148, 101, 146, 101, 455, 142, 197, 147, 149,
101, 581, 101, 101, 101, 884, 101, 460, 174, 584,
101, 101, 101, 101, 101, 153, 150, 101, 101, 101,
884, 154, 101, 151, 419, 157, 452, 156, 101, 457,
101, 152, 101, 160, 160, 160, 160, 101, 467, 197,
197, 197, 155, 197, 466, 440, 197, 161, 161, 161,
161, 161, 161, 162, 162, 173, 465, 197, 515, 884,
173, 173, 173, 173, 173, 173, 173, 173, 173, 173,
92, 92, 92, 92, 571, 197, 680, 184, 173, 173,
173, 173, 173, 512, 92, 92, 187, 187, 187, 187,
187, 187, 187, 187, 98, 98, 98, 98, 98, 98,
98, 98, 101, 101, 473, 472, 197, 197, 618, 173,
173, 474, 101, 101, 101, 101, 101, 101, 101, 101,
192, 101, 101, 410, 410, 410, 410, 482, 193, 101,
101, 101, 101, 195, 173, 173, 197, 101, 101, 197,
173, 173, 173, 173, 173, 173, 173, 173, 173, 173,
479, 574, 500, 101, 101, 174, 197, 197, 173, 173,
173, 173, 173, 101, 101, 101, 101, 101, 101, 101,
620, 196, 101, 101, 198, 618, 175, 194, 620, 101,
618, 101, 101, 101, 527, 101, 197, 197, 101, 173,
173, 501, 101, 101, 101, 101, 101, 101, 197, 200,
199, 101, 412, 101, 101, 101, 201, 101, 197, 523,
499, 197, 101, 197, 173, 191, 191, 191, 191, 191,
191, 191, 191, 191, 191, 191, 191, 191, 191, 191,
191, 191, 191, 191, 191, 191, 191, 101, 197, 202,
101, 197, 550, 538, 513, 528, 197, 101, 620, 101,
101, 101, 101, 203, 101, 101, 101, 204, 101, 101,
551, 530, 197, 573, 618, 101, 205, 206, 101, 101,
101, 101, 101, 197, 101, 207, 197, 101, 197, 208,
620, 101, 197, 101, 197, 101, 520, 197, 197, 101,
101, 101, 566, 101, 101, 209, 210, 101, 101, 197,
101, 212, 553, 197, 101, 197, 101, 215, 101, 101,
101, 101, 101, 211, 213, 101, 101, 197, 214, 101,
219, 531, 576, 593, 564, 101, 197, 101, 216, 101,
101, 618, 605, 101, 101, 197, 220, 596, 569, 595,
101, 101, 101, 101, 101, 101, 197, 101, 197, 101,
620, 101, 101, 101, 197, 221, 101, 222, 197, 618,
101, 197, 600, 620, 594, 603, 101, 101, 101, 197,
101, 612, 197, 223, 224, 101, 884, 101, 101, 101,
225, 101, 613, 884, 101, 607, 101, 602, 101, 197,
101, 197, 101, 197, 101, 101, 227, 101, 101, 197,
226, 627, 611, 101, 197, 228, 642, 101, 101, 101,
197, 101, 618, 636, 101, 609, 230, 197, 101, 614,
101, 101, 101, 101, 101, 101, 197, 101, 630, 231,
101, 632, 101, 641, 101, 101, 101, 631, 101, 197,
197, 645, 101, 101, 101, 101, 101, 101, 101, 101,
232, 101, 638, 234, 101, 197, 639, 197, 101, 101,
101, 730, 101, 615, 615, 615, 615, 101, 235, 101,
197, 101, 101, 101, 646, 237, 644, 620, 236, 238,
618, 197, 101, 197, 101, 648, 101, 240, 101, 620,
197, 101, 197, 618, 101, 662, 197, 620, 241, 197,
101, 197, 101, 197, 101, 101, 101, 101, 101, 242,
618, 101, 243, 101, 197, 101, 647, 101, 667, 101,
247, 101, 101, 101, 101, 101, 197, 245, 658, 244,
101, 671, 101, 101, 246, 657, 101, 197, 197, 101,
729, 101, 616, 101, 248, 101, 679, 101, 659, 101,
101, 101, 101, 101, 718, 664, 101, 681, 101, 620,
101, 618, 101, 197, 101, 620, 101, 101, 101, 249,
250, 197, 618, 665, 252, 101, 197, 101, 670, 101,
101, 101, 197, 101, 253, 620, 101, 254, 684, 618,
101, 197, 101, 101, 101, 101, 672, 101, 258, 101,
197, 197, 101, 160, 160, 160, 160, 187, 187, 187,
187, 187, 187, 187, 187, 673, 197, 161, 161, 161,
161, 161, 161, 162, 162, 260, 197, 686, 687, 162,
162, 162, 162, 162, 162, 162, 162, 261, 692, 197,
197, 162, 162, 162, 162, 162, 162, 162, 162, 100,
101, 101, 720, 276, 620, 618, 620, 695, 197, 689,
101, 101, 101, 101, 101, 101, 101, 101, 197, 101,
101, 615, 615, 615, 615, 693, 101, 277, 101, 101,
101, 101, 197, 618, 706, 101, 101, 197, 620, 197,
701, 694, 197, 191, 191, 191, 191, 191, 191, 191,
191, 191, 191, 191, 191, 191, 191, 191, 191, 191,
191, 191, 191, 191, 191, 101, 618, 738, 197, 620,
702, 618, 197, 101, 197, 101, 101, 101, 278, 101,
279, 197, 703, 101, 101, 101, 101, 101, 101, 101,
101, 708, 101, 712, 711, 101, 197, 101, 620, 101,
616, 101, 618, 101, 620, 101, 280, 281, 101, 101,
197, 101, 618, 101, 197, 101, 101, 101, 705, 101,
283, 282, 710, 101, 101, 101, 101, 101, 620, 197,
721, 713, 101, 618, 101, 620, 101, 101, 101, 618,
101, 620, 618, 284, 101, 101, 101, 101, 285, 101,
620, 101, 723, 101, 286, 287, 101, 288, 101, 101,
724, 618, 290, 620, 731, 289, 618, 620, 101, 101,
101, 101, 101, 101, 101, 618, 620, 101, 101, 733,
101, 618, 620, 618, 101, 620, 101, 291, 101, 618,
101, 101, 101, 101, 101, 620, 618, 101, 620, 101,
293, 101, 292, 101, 618, 101, 620, 101, 101, 101,
101, 101, 618, 620, 101, 618, 101, 296, 294, 620,
101, 295, 101, 618, 101, 101, 101, 101, 101, 620,
618, 620, 618, 101, 620, 101, 101, 101, 618, 101,
620, 618, 297, 620, 101, 618, 101, 298, 101, 101,
101, 620, 618, 620, 618, 101, 620, 101, 618, 101,
101, 101, 620, 101, 618, 620, 301, 101, 101, 302,
303, 101, 101, 304, 101, 101, 101, 618, 101, 101,
620, 101, 618, 620, 307, 305, 618, 101, 101, 101,
101, 101, 101, 101, 101, 101, 306, 101, 308, 101,
101, 620, 618, 620, 618, 620, 618, 101, 620, 101,
101, 101, 618, 101, 620, 618, 620, 101, 101, 101,
101, 101, 101, 101, 101, 618, 101, 620, 618, 309,
620, 101, 618, 310, 312, 101, 620, 101, 618, 620,
618, 101, 101, 101, 101, 101, 620, 313, 618, 620,
101, 618, 101, 620, 101, 101, 101, 618, 101, 314,
620, 618, 101, 101, 101, 101, 101, 101, 101, 101,
620, 101, 618, 316, 101, 620, 101, 618, 101, 620,
101, 618, 101, 620, 101, 618, 101, 101, 101, 620,
101, 618, 101, 317, 101, 101, 101, 620, 101, 618,
620, 318, 101, 101, 101, 101, 101, 322, 101, 618,
620, 101, 319, 618, 620, 321, 101, 101, 101, 101,
101, 618, 101, 620, 101, 618, 101, 101, 101, 101,
101, 620, 618, 197, 741, 323, 620, 101, 618, 101,
324, 101, 197, 101, 197, 101, 197, 101, 101, 101,
737, 101, 325, 101, 736, 101, 101, 101, 620, 101,
618, 197, 732, 101, 101, 101, 101, 101, 728, 727,
620, 326, 101, 618, 101, 197, 101, 197, 101, 722,
101, 197, 719, 327, 101, 101, 101, 101, 101, 197,
329, 328, 197, 101, 717, 101, 716, 101, 330, 101,
620, 101, 618, 101, 709, 101, 101, 101, 707, 101,
704, 197, 336, 101, 101, 101, 332, 101, 333, 101,
101, 699, 101, 334, 698, 620, 618, 691, 690, 101,
101, 101, 101, 101, 101, 101, 688, 335, 101, 101,
685, 340, 677, 676, 620, 101, 618, 101, 197, 101,
341, 341, 341, 341, 101, 669, 668, 666, 343, 343,
343, 343, 663, 655, 342, 342, 342, 342, 342, 342,
342, 342, 344, 344, 344, 344, 344, 344, 344, 344,
101, 101, 651, 620, 618, 643, 197, 640, 350, 637,
101, 101, 349, 101, 101, 101, 101, 197, 197, 101,
101, 620, 101, 618, 608, 604, 101, 351, 101, 601,
101, 197, 101, 101, 352, 101, 101, 570, 565, 101,
561, 101, 354, 101, 535, 101, 534, 101, 533, 101,
524, 101, 101, 101, 355, 101, 101, 356, 101, 517,
478, 477, 414, 346, 413, 101, 101, 101, 101, 101,
101, 101, 182, 180, 101, 101, 178, 353, 174, 101,
347, 101, 346, 101, 345, 101, 158, 101, 357, 101,
101, 101, 358, 101, 884, 197, 272, 101, 101, 101,
101, 101, 360, 101, 182, 359, 101, 180, 268, 174,
101, 101, 101, 101, 101, 101, 265, 101, 264, 361,
263, 101, 101, 362, 101, 101, 363, 101, 262, 364,
101, 158, 197, 189, 101, 188, 101, 101, 101, 101,
186, 101, 101, 101, 185, 365, 101, 182, 101, 180,
179, 178, 101, 178, 101, 172, 101, 170, 101, 101,
101, 101, 366, 168, 97, 101, 367, 101, 167, 101,
166, 101, 165, 101, 164, 101, 101, 101, 101, 101,
158, 368, 99, 96, 101, 87, 101, 84, 369, 84,
101, 101, 370, 884, 371, 101, 884, 101, 884, 884,
884, 101, 884, 101, 884, 101, 884, 101, 101, 101,
101, 101, 884, 884, 101, 884, 101, 884, 101, 884,
101, 884, 101, 884, 101, 884, 101, 101, 101, 101,
101, 884, 375, 101, 884, 884, 376, 884, 884, 101,
101, 101, 101, 101, 101, 101, 377, 884, 101, 101,
379, 101, 374, 884, 884, 101, 884, 101, 383, 101,
884, 101, 884, 101, 378, 101, 101, 380, 884, 101,
101, 381, 884, 884, 884, 884, 101, 101, 101, 101,
101, 101, 382, 101, 884, 101, 884, 101, 101, 101,
101, 101, 884, 884, 384, 884, 101, 884, 101, 386,
101, 101, 101, 884, 101, 884, 884, 884, 101, 101,
101, 101, 101, 101, 101, 101, 884, 101, 391, 387,
101, 884, 101, 884, 101, 390, 101, 388, 101, 884,
884, 884, 101, 101, 101, 101, 101, 884, 884, 884,
884, 101, 884, 101, 884, 101, 392, 101, 884, 101,
393, 101, 884, 101, 101, 101, 884, 101, 884, 101,
884, 101, 101, 101, 884, 101, 884, 101, 884, 101,
101, 101, 884, 101, 884, 884, 884, 101, 101, 101,
101, 101, 884, 396, 884, 395, 101, 884, 101, 884,
101, 101, 101, 884, 101, 884, 884, 884, 101, 101,
101, 101, 101, 397, 884, 101, 101, 101, 398, 101,
101, 884, 101, 400, 884, 884, 101, 884, 101, 101,
101, 101, 101, 101, 101, 101, 101, 101, 101, 884,
101, 101, 884, 101, 884, 884, 884, 101, 884, 101,
101, 101, 101, 101, 101, 402, 101, 101, 101, 101,
399, 101, 101, 884, 404, 884, 884, 884, 101, 101,
101, 101, 101, 101, 884, 101, 884, 403, 884, 101,
101, 101, 101, 101, 884, 884, 884, 884, 101, 884,
884, 884, 101, 101, 101, 884, 101, 884, 884, 406,
884, 101, 884, 101, 405, 101, 884, 101, 341, 341,
341, 341, 101, 884, 884, 884, 884, 884, 884, 884,
884, 884, 342, 342, 342, 342, 342, 342, 342, 342,
410, 410, 410, 410, 884, 884, 884, 884, 884, 884,
411, 884, 884, 884, 342, 342, 342, 342, 342, 342,
342, 342, 343, 343, 343, 343, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 344, 344, 344, 344,
344, 344, 344, 344, 411, 884, 101, 884, 344, 344,
344, 344, 344, 344, 344, 344, 101, 884, 101, 884,
101, 101, 417, 884, 416, 101, 884, 884, 884, 884,
884, 101, 884, 101, 101, 101, 418, 101, 884, 412,
101, 884, 884, 884, 101, 884, 101, 101, 101, 101,
884, 101, 884, 101, 420, 101, 101, 884, 101, 421,
884, 101, 884, 884, 422, 101, 884, 101, 101, 101,
101, 101, 101, 101, 101, 101, 101, 101, 884, 101,
101, 884, 884, 884, 884, 884, 101, 101, 101, 101,
101, 423, 884, 101, 884, 101, 884, 101, 101, 101,
101, 101, 884, 424, 884, 884, 101, 425, 101, 884,
101, 884, 101, 884, 101, 884, 884, 884, 426, 101,
101, 101, 101, 884, 427, 884, 884, 101, 428, 884,
884, 101, 101, 101, 429, 101, 884, 884, 101, 884,
101, 430, 101, 884, 101, 431, 101, 884, 101, 101,
101, 101, 101, 884, 884, 884, 884, 101, 884, 101,
101, 101, 884, 101, 884, 432, 884, 884, 101, 884,
101, 884, 101, 884, 101, 101, 434, 884, 433, 101,
884, 101, 884, 884, 884, 101, 884, 101, 884, 101,
884, 101, 101, 101, 101, 101, 884, 884, 101, 435,
101, 884, 101, 884, 101, 884, 101, 884, 101, 436,
437, 101, 101, 101, 101, 884, 884, 101, 884, 884,
884, 441, 884, 101, 101, 101, 101, 101, 101, 884,
884, 101, 101, 101, 101, 442, 884, 443, 884, 884,
884, 101, 884, 101, 101, 101, 101, 884, 101, 444,
101, 101, 101, 101, 445, 884, 884, 884, 884, 884,
884, 101, 101, 446, 101, 101, 101, 101, 884, 884,
101, 101, 884, 101, 884, 884, 448, 101, 884, 101,
884, 101, 884, 101, 101, 101, 447, 101, 450, 884,
884, 451, 101, 884, 101, 884, 101, 101, 101, 884,
884, 449, 884, 101, 884, 101, 884, 101, 101, 101,
884, 101, 884, 884, 884, 101, 101, 101, 101, 101,
101, 101, 101, 453, 101, 884, 884, 101, 884, 101,
884, 101, 884, 101, 884, 101, 884, 101, 884, 101,
101, 454, 884, 101, 884, 101, 884, 101, 101, 101,
884, 101, 884, 456, 884, 101, 101, 458, 101, 101,
884, 884, 884, 884, 101, 884, 884, 884, 101, 884,
101, 101, 101, 884, 101, 884, 459, 101, 461, 884,
884, 101, 101, 101, 101, 101, 462, 463, 101, 884,
101, 884, 101, 101, 101, 101, 101, 884, 884, 884,
884, 101, 884, 884, 884, 101, 101, 101, 884, 101,
884, 884, 101, 884, 101, 468, 101, 464, 101, 884,
101, 884, 101, 101, 101, 101, 101, 884, 884, 884,
884, 101, 884, 101, 101, 101, 884, 101, 884, 469,
884, 884, 101, 884, 101, 884, 101, 884, 101, 475,
475, 475, 475, 101, 884, 884, 884, 884, 884, 884,
884, 101, 884, 476, 476, 476, 476, 476, 476, 476,
476, 101, 884, 101, 101, 101, 480, 101, 471, 884,
101, 884, 884, 884, 101, 101, 101, 101, 101, 101,
884, 101, 481, 101, 884, 101, 101, 483, 101, 101,
884, 101, 884, 884, 101, 884, 884, 884, 101, 884,
101, 101, 101, 101, 884, 101, 484, 101, 101, 884,
101, 485, 884, 486, 101, 884, 884, 884, 101, 884,
101, 884, 101, 884, 101, 101, 101, 101, 101, 884,
884, 101, 884, 101, 884, 101, 884, 487, 884, 101,
884, 101, 884, 101, 101, 101, 101, 884, 489, 488,
101, 884, 101, 884, 884, 884, 101, 884, 101, 884,
101, 884, 101, 884, 101, 101, 101, 884, 884, 101,
490, 101, 491, 884, 884, 101, 884, 492, 884, 101,
884, 101, 884, 101, 884, 101, 101, 101, 101, 101,
884, 494, 101, 884, 101, 884, 101, 884, 493, 884,
101, 884, 101, 101, 101, 101, 101, 884, 884, 101,
884, 101, 884, 101, 884, 101, 495, 101, 884, 101,
101, 101, 101, 101, 884, 884, 101, 884, 101, 884,
101, 884, 101, 497, 101, 884, 101, 496, 101, 101,
101, 498, 101, 101, 884, 101, 884, 502, 884, 884,
884, 884, 101, 101, 101, 101, 101, 101, 101, 884,
884, 101, 101, 884, 101, 503, 504, 884, 101, 884,
101, 884, 101, 884, 101, 101, 101, 101, 101, 884,
884, 101, 884, 101, 506, 101, 884, 101, 884, 101,
884, 101, 505, 101, 101, 101, 101, 507, 884, 884,
101, 884, 101, 508, 884, 884, 101, 884, 101, 884,
101, 884, 101, 101, 101, 101, 101, 884, 884, 884,
884, 101, 884, 101, 884, 101, 884, 101, 101, 509,
884, 510, 101, 884, 101, 884, 884, 884, 101, 884,
101, 884, 101, 884, 101, 101, 101, 101, 101, 884,
884, 511, 884, 101, 884, 101, 884, 101, 101, 101,
514, 101, 884, 884, 101, 884, 884, 884, 101, 101,
516, 101, 101, 101, 884, 101, 884, 101, 884, 101,
101, 101, 101, 101, 884, 519, 884, 518, 101, 884,
101, 884, 101, 884, 101, 884, 101, 884, 884, 884,
101, 101, 101, 884, 101, 101, 522, 884, 101, 101,
521, 101, 884, 884, 884, 101, 884, 101, 101, 101,
101, 101, 101, 101, 101, 101, 101, 101, 884, 101,
101, 884, 884, 884, 884, 884, 101, 884, 101, 101,
101, 101, 884, 101, 884, 101, 526, 884, 101, 475,
475, 475, 475, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 476, 476, 476, 476, 476, 476, 476,
476, 532, 884, 101, 884, 476, 476, 476, 476, 476,
476, 476, 476, 101, 884, 101, 101, 101, 884, 101,
884, 536, 101, 537, 884, 884, 101, 884, 101, 101,
101, 101, 884, 101, 101, 101, 884, 539, 101, 884,
101, 884, 884, 884, 101, 884, 101, 884, 101, 884,
101, 101, 540, 101, 101, 884, 884, 101, 541, 101,
884, 101, 884, 101, 542, 101, 884, 101, 101, 101,
101, 101, 884, 884, 101, 884, 101, 884, 101, 884,
101, 884, 101, 884, 101, 101, 101, 101, 101, 884,
884, 884, 543, 101, 884, 101, 101, 101, 544, 101,
884, 884, 101, 884, 101, 884, 101, 884, 101, 884,
101, 884, 101, 101, 101, 101, 101, 884, 545, 101,
884, 101, 884, 101, 884, 101, 884, 101, 884, 101,
101, 101, 101, 101, 884, 884, 884, 546, 101, 884,
101, 101, 101, 884, 101, 884, 884, 548, 547, 101,
884, 101, 884, 101, 884, 101, 884, 101, 101, 101,
101, 101, 884, 884, 101, 884, 101, 884, 549, 884,
101, 554, 101, 884, 101, 101, 101, 101, 101, 884,
884, 884, 884, 101, 884, 101, 101, 101, 884, 101,
884, 884, 101, 555, 101, 884, 101, 884, 101, 884,
101, 884, 101, 101, 101, 101, 101, 884, 884, 101,
884, 101, 557, 101, 884, 101, 884, 101, 884, 101,
556, 101, 101, 101, 101, 101, 884, 884, 101, 884,
884, 884, 884, 884, 101, 101, 101, 101, 101, 101,
101, 559, 558, 101, 101, 884, 101, 884, 884, 884,
101, 884, 101, 884, 101, 884, 101, 101, 101, 101,
101, 884, 884, 101, 884, 101, 884, 563, 884, 101,
884, 101, 884, 101, 101, 101, 101, 101, 884, 884,
884, 884, 101, 884, 101, 101, 101, 884, 101, 884,
560, 101, 884, 101, 567, 101, 884, 101, 884, 101,
884, 101, 884, 101, 101, 101, 101, 884, 884, 568,
101, 572, 101, 884, 884, 884, 101, 884, 101, 884,
101, 884, 101, 884, 101, 101, 101, 577, 577, 577,
577, 101, 884, 884, 884, 884, 884, 884, 884, 884,
884, 578, 578, 578, 578, 578, 578, 578, 578, 101,
101, 583, 884, 884, 884, 884, 582, 884, 884, 101,
101, 101, 101, 101, 101, 101, 884, 884, 101, 101,
884, 884, 884, 101, 884, 101, 101, 101, 884, 101,
884, 585, 884, 101, 101, 101, 101, 101, 587, 101,
101, 586, 101, 884, 884, 101, 590, 101, 884, 101,
884, 588, 884, 101, 884, 101, 884, 101, 101, 101,
589, 101, 884, 101, 884, 101, 101, 101, 884, 101,
884, 884, 884, 101, 101, 101, 101, 101, 884, 591,
884, 884, 101, 884, 101, 884, 101, 884, 101, 884,
101, 884, 101, 884, 101, 101, 101, 884, 101, 592,
101, 884, 101, 101, 101, 884, 101, 884, 884, 884,
101, 101, 101, 101, 101, 884, 597, 884, 884, 101,
884, 101, 884, 101, 101, 101, 884, 101, 884, 884,
884, 101, 101, 101, 101, 101, 101, 101, 101, 884,
101, 884, 884, 101, 884, 101, 884, 101, 101, 101,
884, 101, 598, 884, 884, 101, 101, 101, 101, 101,
101, 101, 101, 884, 101, 606, 599, 101, 884, 101,
884, 101, 884, 101, 884, 101, 884, 884, 884, 101,
101, 101, 101, 101, 884, 101, 884, 884, 101, 884,
884, 884, 101, 884, 101, 610, 101, 101, 884, 101,
884, 101, 884, 884, 101, 577, 577, 577, 577, 884,
884, 884, 884, 884, 884, 884, 884, 101, 884, 578,
578, 578, 578, 578, 578, 578, 578, 101, 101, 101,
622, 101, 884, 884, 101, 884, 101, 884, 101, 884,
101, 884, 101, 884, 101, 101, 101, 101, 101, 884,
884, 101, 884, 101, 624, 101, 884, 101, 884, 101,
884, 101, 623, 101, 101, 101, 101, 101, 884, 884,
101, 625, 884, 884, 884, 884, 101, 101, 101, 626,
101, 101, 101, 101, 628, 101, 101, 884, 884, 884,
884, 884, 101, 629, 101, 101, 101, 101, 101, 884,
884, 101, 101, 884, 884, 884, 101, 884, 101, 884,
101, 884, 101, 884, 633, 884, 101, 101, 101, 634,
101, 101, 101, 884, 884, 101, 884, 884, 635, 884,
884, 101, 101, 101, 101, 101, 101, 101, 101, 884,
101, 101, 884, 884, 884, 884, 884, 101, 101, 652,
101, 101, 101, 101, 101, 653, 101, 101, 884, 884,
884, 884, 884, 101, 101, 101, 101, 101, 101, 101,
101, 884, 101, 101, 884, 884, 884, 884, 884, 101,
101, 101, 101, 101, 101, 101, 654, 884, 101, 101,
884, 101, 656, 884, 884, 101, 884, 101, 884, 101,
884, 101, 101, 101, 101, 101, 884, 884, 884, 884,
101, 884, 101, 101, 660, 884, 101, 884, 884, 101,
884, 101, 884, 101, 884, 101, 661, 101, 884, 101,
101, 101, 101, 101, 884, 884, 101, 884, 101, 884,
101, 884, 101, 884, 101, 884, 101, 101, 101, 101,
101, 884, 884, 884, 884, 101, 884, 101, 101, 101,
884, 101, 884, 884, 101, 678, 101, 884, 101, 884,
101, 884, 101, 884, 101, 682, 683, 101, 101, 101,
101, 884, 884, 101, 884, 884, 884, 884, 884, 101,
101, 101, 101, 101, 101, 101, 101, 884, 101, 101,
884, 884, 700, 884, 884, 101, 101, 101, 101, 101,
101, 884, 884, 884, 101, 101, 54, 54, 54, 54,
54, 54, 54, 54, 54, 54, 54, 54, 54, 54,
54, 60, 60, 60, 60, 60, 60, 60, 60, 60,
60, 60, 60, 60, 60, 60, 65, 65, 65, 65,
65, 65, 65, 65, 65, 65, 65, 65, 65, 65,
65, 68, 68, 68, 68, 68, 68, 68, 68, 68,
68, 68, 68, 68, 68, 68, 77, 77, 77, 77,
77, 77, 77, 77, 77, 77, 77, 77, 77, 77,
77, 79, 79, 79, 79, 79, 79, 79, 79, 79,
79, 79, 79, 79, 79, 79, 86, 86, 86, 884,
86, 86, 86, 86, 86, 86, 86, 86, 86, 86,
86, 93, 93, 884, 884, 93, 884, 93, 884, 884,
884, 93, 159, 159, 884, 884, 884, 159, 159, 163,
163, 884, 163, 163, 163, 884, 163, 163, 884, 163,
163, 163, 163, 163, 169, 169, 169, 884, 169, 169,
169, 169, 169, 169, 169, 169, 169, 169, 169, 171,
171, 171, 171, 171, 171, 171, 171, 884, 171, 171,
171, 171, 173, 884, 884, 173, 173, 173, 173, 173,
173, 173, 173, 173, 173, 174, 884, 884, 174, 174,
174, 174, 174, 174, 174, 174, 174, 174, 176, 884,
884, 176, 884, 176, 176, 176, 176, 176, 176, 176,
176, 181, 181, 884, 884, 884, 181, 181, 183, 183,
884, 884, 884, 183, 183, 190, 884, 884, 884, 190,
190, 107, 107, 884, 884, 884, 107, 107, 259, 884,
884, 884, 259, 259, 269, 884, 884, 884, 269, 269,
270, 884, 884, 884, 270, 270, 273, 273, 273, 273,
273, 273, 273, 273, 273, 273, 273, 273, 273, 273,
273, 191, 191, 884, 884, 884, 191, 191, 579, 579,
884, 579, 579, 579, 884, 579, 579, 579, 884, 579,
579, 579, 579, 580, 580, 884, 580, 580, 580, 884,
580, 580, 580, 884, 580, 580, 580, 580, 578, 578,
884, 884, 884, 884, 578, 884, 884, 884, 884, 884,
884, 578, 617, 617, 884, 617, 617, 617, 884, 617,
617, 617, 617, 617, 617, 617, 617, 619, 619, 884,
619, 619, 619, 884, 619, 619, 619, 619, 619, 619,
619, 619, 649, 649, 884, 649, 649, 649, 884, 649,
649, 649, 649, 649, 649, 649, 649, 650, 650, 884,
650, 650, 650, 884, 650, 650, 650, 650, 650, 650,
650, 650, 674, 674, 884, 674, 674, 674, 884, 674,
674, 674, 674, 674, 674, 674, 674, 675, 675, 884,
675, 675, 675, 884, 675, 675, 675, 675, 675, 675,
675, 675, 696, 696, 884, 696, 696, 696, 884, 696,
696, 696, 696, 696, 696, 696, 696, 697, 697, 884,
697, 697, 697, 884, 697, 697, 697, 697, 697, 697,
697, 697, 714, 714, 884, 714, 714, 714, 884, 714,
714, 714, 714, 714, 714, 714, 714, 715, 715, 884,
715, 715, 715, 884, 715, 715, 715, 715, 715, 715,
715, 715, 725, 725, 884, 725, 725, 725, 884, 725,
725, 725, 725, 725, 725, 725, 725, 726, 726, 884,
726, 726, 726, 884, 726, 726, 726, 726, 726, 726,
726, 726, 734, 734, 884, 734, 734, 734, 884, 734,
734, 734, 734, 734, 734, 734, 734, 735, 735, 884,
735, 735, 735, 884, 735, 735, 735, 735, 735, 735,
735, 735, 739, 739, 884, 739, 739, 739, 884, 739,
739, 739, 739, 739, 739, 739, 739, 740, 740, 884,
740, 740, 740, 884, 740, 740, 740, 740, 740, 740,
740, 740, 742, 742, 884, 742, 742, 742, 884, 742,
742, 742, 742, 742, 742, 742, 742, 743, 743, 884,
743, 743, 743, 884, 743, 743, 743, 743, 743, 743,
743, 743, 744, 744, 884, 744, 744, 744, 884, 744,
744, 744, 744, 744, 744, 744, 744, 745, 745, 884,
745, 745, 745, 884, 745, 745, 745, 745, 745, 745,
745, 745, 746, 746, 884, 746, 746, 746, 884, 746,
746, 746, 746, 746, 746, 746, 746, 747, 747, 884,
747, 747, 747, 884, 747, 747, 747, 747, 747, 747,
747, 747, 748, 748, 884, 748, 748, 748, 884, 748,
748, 748, 748, 748, 748, 748, 748, 749, 749, 884,
749, 749, 749, 884, 749, 749, 749, 749, 749, 749,
749, 749, 750, 750, 884, 750, 750, 750, 884, 750,
750, 750, 750, 750, 750, 750, 750, 751, 751, 884,
751, 751, 751, 884, 751, 751, 751, 751, 751, 751,
751, 751, 752, 752, 884, 752, 752, 752, 884, 752,
752, 752, 752, 752, 752, 752, 752, 753, 753, 884,
753, 753, 753, 884, 753, 753, 753, 753, 753, 753,
753, 753, 754, 754, 884, 754, 754, 754, 884, 754,
754, 754, 754, 754, 754, 754, 754, 755, 755, 884,
755, 755, 755, 884, 755, 755, 755, 755, 755, 755,
755, 755, 756, 756, 884, 756, 756, 756, 884, 756,
756, 756, 756, 756, 756, 756, 756, 757, 757, 884,
757, 757, 757, 884, 757, 757, 757, 757, 757, 757,
757, 757, 758, 758, 884, 758, 758, 758, 884, 758,
758, 758, 758, 758, 758, 758, 758, 759, 759, 884,
759, 759, 759, 884, 759, 759, 759, 759, 759, 759,
759, 759, 760, 760, 884, 760, 760, 760, 884, 760,
760, 760, 760, 760, 760, 760, 760, 761, 761, 884,
761, 761, 761, 884, 761, 761, 761, 761, 761, 761,
761, 761, 762, 762, 884, 762, 762, 762, 884, 762,
762, 762, 762, 762, 762, 762, 762, 763, 763, 884,
763, 763, 763, 884, 763, 763, 763, 763, 763, 763,
763, 763, 764, 764, 884, 764, 764, 764, 884, 764,
764, 764, 764, 764, 764, 764, 764, 765, 765, 884,
765, 765, 765, 884, 765, 765, 765, 765, 765, 765,
765, 765, 766, 766, 884, 766, 766, 766, 884, 766,
766, 766, 766, 766, 766, 766, 766, 767, 767, 884,
767, 767, 767, 884, 767, 767, 767, 767, 767, 767,
767, 767, 768, 768, 884, 768, 768, 768, 884, 768,
768, 768, 768, 768, 768, 768, 768, 769, 769, 884,
769, 769, 769, 884, 769, 769, 769, 769, 769, 769,
769, 769, 770, 770, 884, 770, 770, 770, 884, 770,
770, 770, 770, 770, 770, 770, 770, 771, 771, 884,
771, 771, 771, 884, 771, 771, 771, 771, 771, 771,
771, 771, 772, 772, 884, 772, 772, 772, 884, 772,
772, 772, 772, 772, 772, 772, 772, 773, 773, 884,
773, 773, 773, 884, 773, 773, 773, 773, 773, 773,
773, 773, 774, 774, 884, 774, 774, 774, 884, 774,
774, 774, 774, 774, 774, 774, 774, 775, 775, 884,
775, 775, 775, 884, 775, 775, 775, 775, 775, 775,
775, 775, 776, 776, 884, 776, 776, 776, 884, 776,
776, 776, 776, 776, 776, 776, 776, 777, 777, 884,
777, 777, 777, 884, 777, 777, 777, 777, 777, 777,
777, 777, 778, 778, 884, 778, 778, 778, 884, 778,
778, 778, 778, 778, 778, 778, 778, 779, 779, 884,
779, 779, 779, 884, 779, 779, 779, 779, 779, 779,
779, 779, 780, 780, 884, 780, 780, 780, 884, 780,
780, 780, 780, 780, 780, 780, 780, 781, 781, 884,
781, 781, 781, 884, 781, 781, 781, 781, 781, 781,
781, 781, 782, 782, 884, 782, 782, 782, 884, 782,
782, 782, 782, 782, 782, 782, 782, 783, 783, 884,
783, 783, 783, 884, 783, 783, 783, 783, 783, 783,
783, 783, 784, 784, 884, 784, 784, 784, 884, 784,
784, 784, 784, 784, 784, 784, 784, 785, 785, 884,
785, 785, 785, 884, 785, 785, 785, 785, 785, 785,
785, 785, 786, 786, 884, 786, 786, 786, 884, 786,
786, 786, 786, 786, 786, 786, 786, 787, 787, 884,
787, 787, 787, 884, 787, 787, 787, 787, 787, 787,
787, 787, 788, 788, 884, 788, 788, 788, 884, 788,
788, 788, 788, 788, 788, 788, 788, 789, 789, 884,
789, 789, 789, 884, 789, 789, 789, 789, 789, 789,
789, 789, 790, 790, 884, 790, 790, 790, 884, 790,
790, 790, 790, 790, 790, 790, 790, 791, 791, 884,
791, 791, 791, 884, 791, 791, 791, 791, 791, 791,
791, 791, 792, 792, 884, 792, 792, 792, 884, 792,
792, 792, 792, 792, 792, 792, 792, 793, 793, 884,
793, 793, 793, 884, 793, 793, 793, 793, 793, 793,
793, 793, 794, 794, 884, 794, 794, 794, 884, 794,
794, 794, 794, 794, 794, 794, 794, 795, 795, 884,
795, 795, 795, 884, 795, 795, 795, 795, 795, 795,
795, 795, 796, 796, 884, 796, 796, 796, 884, 796,
796, 796, 796, 796, 796, 796, 796, 797, 797, 884,
797, 797, 797, 884, 797, 797, 797, 797, 797, 797,
797, 797, 798, 798, 884, 798, 798, 798, 884, 798,
798, 798, 798, 798, 798, 798, 798, 799, 799, 884,
799, 799, 799, 884, 799, 799, 799, 799, 799, 799,
799, 799, 800, 800, 884, 800, 800, 800, 884, 800,
800, 800, 800, 800, 800, 800, 800, 801, 801, 884,
801, 801, 801, 884, 801, 801, 801, 801, 801, 801,
801, 801, 802, 802, 884, 802, 802, 802, 884, 802,
802, 802, 802, 802, 802, 802, 802, 803, 803, 884,
803, 803, 803, 884, 803, 803, 803, 803, 803, 803,
803, 803, 804, 804, 884, 804, 804, 804, 884, 804,
804, 804, 804, 804, 804, 804, 804, 805, 805, 884,
805, 805, 805, 884, 805, 805, 805, 805, 805, 805,
805, 805, 806, 806, 884, 806, 806, 806, 884, 806,
806, 806, 806, 806, 806, 806, 806, 807, 807, 884,
807, 807, 807, 884, 807, 807, 807, 807, 807, 807,
807, 807, 808, 808, 884, 808, 808, 808, 884, 808,
808, 808, 808, 808, 808, 808, 808, 809, 809, 884,
809, 809, 809, 884, 809, 809, 809, 809, 809, 809,
809, 809, 810, 810, 884, 810, 810, 810, 884, 810,
810, 810, 810, 810, 810, 810, 810, 811, 811, 884,
811, 811, 811, 884, 811, 811, 811, 811, 811, 811,
811, 811, 812, 812, 884, 812, 812, 812, 884, 812,
812, 812, 812, 812, 812, 812, 812, 813, 813, 884,
813, 813, 813, 884, 813, 813, 813, 813, 813, 813,
813, 813, 814, 814, 884, 814, 814, 814, 884, 814,
814, 814, 814, 814, 814, 814, 814, 815, 815, 884,
815, 815, 815, 884, 815, 815, 815, 815, 815, 815,
815, 815, 816, 816, 884, 816, 816, 816, 884, 816,
816, 816, 816, 816, 816, 816, 816, 817, 817, 884,
817, 817, 817, 884, 817, 817, 817, 817, 817, 817,
817, 817, 818, 818, 884, 818, 818, 818, 884, 818,
818, 818, 818, 818, 818, 818, 818, 819, 819, 884,
819, 819, 819, 884, 819, 819, 819, 819, 819, 819,
819, 819, 820, 820, 884, 820, 820, 820, 884, 820,
820, 820, 820, 820, 820, 820, 820, 821, 821, 884,
821, 821, 821, 884, 821, 821, 821, 821, 821, 821,
821, 821, 822, 822, 884, 822, 822, 822, 884, 822,
822, 822, 822, 822, 822, 822, 822, 823, 823, 884,
823, 823, 823, 884, 823, 823, 823, 823, 823, 823,
823, 823, 824, 824, 884, 824, 824, 824, 884, 824,
824, 824, 824, 824, 824, 824, 824, 825, 825, 884,
825, 825, 825, 884, 825, 825, 825, 825, 825, 825,
825, 825, 826, 826, 884, 826, 826, 826, 884, 826,
826, 826, 826, 826, 826, 826, 826, 827, 827, 884,
827, 827, 827, 884, 827, 827, 827, 827, 827, 827,
827, 827, 828, 828, 884, 828, 828, 828, 884, 828,
828, 828, 828, 828, 828, 828, 828, 829, 829, 884,
829, 829, 829, 884, 829, 829, 829, 829, 829, 829,
829, 829, 830, 830, 884, 830, 830, 830, 884, 830,
830, 830, 830, 830, 830, 830, 830, 831, 831, 884,
831, 831, 831, 884, 831, 831, 831, 831, 831, 831,
831, 831, 832, 832, 884, 832, 832, 832, 884, 832,
832, 832, 832, 832, 832, 832, 832, 833, 833, 884,
833, 833, 833, 884, 833, 833, 833, 833, 833, 833,
833, 833, 834, 834, 884, 834, 834, 834, 884, 834,
834, 834, 834, 834, 834, 834, 834, 835, 835, 884,
835, 835, 835, 884, 835, 835, 835, 835, 835, 835,
835, 835, 836, 836, 884, 836, 836, 836, 884, 836,
836, 836, 836, 836, 836, 836, 836, 837, 837, 884,
837, 837, 837, 884, 837, 837, 837, 837, 837, 837,
837, 837, 838, 838, 884, 838, 838, 838, 884, 838,
838, 838, 838, 838, 838, 838, 838, 839, 839, 884,
839, 839, 839, 884, 839, 839, 839, 839, 839, 839,
839, 839, 840, 840, 884, 840, 840, 840, 884, 840,
840, 840, 840, 840, 840, 840, 840, 841, 841, 884,
841, 841, 841, 884, 841, 841, 841, 841, 841, 841,
841, 841, 842, 842, 884, 842, 842, 842, 884, 842,
842, 842, 842, 842, 842, 842, 842, 843, 843, 884,
843, 843, 843, 884, 843, 843, 843, 843, 843, 843,
843, 843, 844, 844, 884, 844, 844, 844, 884, 844,
844, 844, 844, 844, 844, 844, 844, 845, 845, 884,
845, 845, 845, 884, 845, 845, 845, 845, 845, 845,
845, 845, 846, 846, 884, 846, 846, 846, 884, 846,
846, 846, 846, 846, 846, 846, 846, 847, 847, 884,
847, 847, 847, 884, 847, 847, 847, 847, 847, 847,
847, 847, 848, 848, 884, 848, 848, 848, 884, 848,
848, 848, 848, 848, 848, 848, 848, 849, 849, 884,
849, 849, 849, 884, 849, 849, 849, 849, 849, 849,
849, 849, 850, 850, 884, 850, 850, 850, 884, 850,
850, 850, 850, 850, 850, 850, 850, 851, 851, 884,
851, 851, 851, 884, 851, 851, 851, 851, 851, 851,
851, 851, 852, 852, 884, 852, 852, 852, 884, 852,
852, 852, 852, 852, 852, 852, 852, 853, 853, 884,
853, 853, 853, 884, 853, 853, 853, 853, 853, 853,
853, 853, 854, 854, 884, 854, 854, 854, 884, 854,
854, 854, 854, 854, 854, 854, 854, 855, 855, 884,
855, 855, 855, 884, 855, 855, 855, 855, 855, 855,
855, 855, 856, 856, 884, 856, 856, 856, 884, 856,
856, 856, 856, 856, 856, 856, 856, 857, 857, 884,
857, 857, 857, 884, 857, 857, 857, 857, 857, 857,
857, 857, 858, 858, 884, 858, 858, 858, 884, 858,
858, 858, 858, 858, 858, 858, 858, 859, 859, 884,
859, 859, 859, 884, 859, 859, 859, 859, 859, 859,
859, 859, 860, 860, 884, 860, 860, 860, 884, 860,
860, 860, 860, 860, 860, 860, 860, 861, 861, 884,
861, 861, 861, 884, 861, 861, 861, 861, 861, 861,
861, 861, 862, 862, 884, 862, 862, 862, 884, 862,
862, 862, 862, 862, 862, 862, 862, 863, 863, 884,
863, 863, 863, 884, 863, 863, 863, 863, 863, 863,
863, 863, 864, 864, 884, 864, 864, 864, 884, 864,
864, 864, 864, 864, 864, 864, 864, 865, 865, 884,
865, 865, 865, 884, 865, 865, 865, 865, 865, 865,
865, 865, 866, 866, 884, 866, 866, 866, 884, 866,
866, 866, 866, 866, 866, 866, 866, 867, 867, 884,
867, 867, 867, 884, 867, 867, 867, 867, 867, 867,
867, 867, 868, 868, 884, 868, 868, 868, 884, 868,
868, 868, 868, 868, 868, 868, 868, 869, 869, 884,
869, 869, 869, 884, 869, 869, 869, 869, 869, 869,
869, 869, 870, 870, 884, 870, 870, 870, 884, 870,
870, 870, 870, 870, 870, 870, 870, 871, 871, 884,
871, 871, 871, 884, 871, 871, 871, 871, 871, 871,
871, 871, 872, 872, 884, 872, 872, 872, 884, 872,
872, 872, 872, 872, 872, 872, 872, 873, 873, 884,
873, 873, 873, 884, 873, 873, 873, 873, 873, 873,
873, 873, 874, 874, 884, 874, 874, 874, 884, 874,
874, 874, 874, 874, 874, 874, 874, 875, 875, 884,
875, 875, 875, 884, 875, 875, 875, 875, 875, 875,
875, 875, 876, 876, 884, 876, 876, 876, 884, 876,
876, 876, 876, 876, 876, 876, 876, 877, 877, 884,
877, 877, 877, 884, 877, 877, 877, 877, 877, 877,
877, 877, 878, 878, 884, 878, 878, 878, 884, 878,
878, 878, 878, 878, 878, 878, 878, 879, 879, 884,
879, 879, 879, 884, 879, 879, 879, 879, 879, 879,
879, 879, 880, 880, 884, 880, 880, 880, 884, 880,
880, 880, 880, 880, 880, 880, 880, 881, 881, 884,
881, 881, 881, 884, 881, 881, 881, 881, 881, 881,
881, 881, 882, 882, 884, 882, 882, 882, 884, 882,
882, 882, 882, 882, 882, 882, 882, 883, 883, 884,
883, 883, 883, 884, 883, 883, 883, 883, 883, 883,
883, 883, 17, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884
} ;
static yyconst short int yy_chk[6865] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 3, 3, 3, 4, 4, 4, 5, 5, 5,
467, 3, 9, 7, 4, 137, 9, 5, 6, 6,
6, 7, 10, 8, 3, 7, 10, 4, 6, 11,
5, 8, 28, 12, 28, 8, 7, 19, 19, 19,
19, 6, 122, 82, 19, 218, 8, 123, 36, 132,
11, 36, 581, 11, 12, 184, 142, 12, 36, 82,
36, 184, 36, 15, 15, 15, 15, 36, 137, 15,
16, 16, 16, 16, 467, 90, 16, 20, 20, 20,
20, 581, 255, 35, 20, 24, 24, 24, 24, 35,
82, 123, 24, 35, 152, 35, 35, 35, 122, 24,
24, 155, 35, 218, 132, 11, 90, 11, 142, 12,
472, 12, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 30, 30, 30,
30, 30, 30, 30, 30, 13, 13, 13, 13, 13,
15, 217, 15, 500, 13, 255, 26, 16, 152, 16,
26, 175, 175, 155, 26, 26, 26, 26, 26, 26,
26, 34, 175, 257, 34, 229, 13, 13, 34, 40,
472, 34, 34, 34, 34, 34, 186, 500, 186, 40,
34, 40, 338, 40, 34, 233, 186, 239, 40, 217,
13, 13, 13, 14, 14, 14, 14, 14, 14, 14,
14, 14, 14, 14, 14, 14, 14, 14, 80, 80,
80, 80, 37, 229, 315, 257, 14, 14, 14, 14,
14, 251, 37, 37, 37, 14, 37, 299, 156, 38,
38, 37, 311, 233, 37, 81, 81, 81, 81, 338,
38, 256, 38, 239, 38, 39, 38, 14, 14, 38,
41, 41, 883, 41, 882, 39, 530, 39, 513, 39,
315, 41, 41, 41, 39, 41, 266, 266, 41, 251,
41, 14, 14, 14, 23, 156, 39, 85, 85, 85,
85, 177, 177, 177, 177, 320, 299, 39, 156, 256,
23, 311, 513, 373, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
530, 23, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 33, 373, 320, 33, 33, 33,
33, 33, 33, 33, 33, 331, 881, 880, 405, 879,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 300, 337, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
42, 42, 43, 405, 389, 339, 331, 275, 42, 275,
372, 42, 43, 42, 43, 42, 43, 275, 44, 44,
42, 43, 44, 45, 45, 337, 45, 300, 44, 538,
44, 348, 44, 394, 45, 353, 45, 44, 45, 46,
45, 348, 46, 45, 385, 47, 44, 43, 47, 46,
339, 46, 47, 46, 372, 47, 374, 47, 46, 47,
401, 48, 50, 47, 47, 389, 45, 399, 47, 48,
48, 535, 50, 49, 50, 391, 50, 394, 535, 538,
48, 50, 48, 49, 48, 49, 48, 49, 51, 48,
400, 49, 49, 48, 353, 51, 385, 50, 51, 391,
51, 48, 51, 53, 53, 53, 53, 51, 401, 455,
525, 658, 49, 408, 400, 374, 407, 53, 53, 53,
53, 53, 53, 53, 53, 77, 399, 409, 455, 451,
77, 77, 77, 77, 77, 77, 77, 77, 77, 77,
92, 92, 92, 92, 525, 419, 658, 92, 77, 77,
77, 77, 77, 451, 92, 92, 95, 95, 95, 95,
95, 95, 95, 95, 98, 98, 98, 98, 98, 98,
98, 98, 101, 102, 408, 407, 439, 529, 878, 77,
77, 409, 101, 102, 101, 102, 101, 102, 103, 105,
102, 101, 102, 410, 410, 410, 410, 419, 103, 105,
103, 105, 103, 105, 77, 78, 470, 103, 105, 440,
78, 78, 78, 78, 78, 78, 78, 78, 78, 78,
415, 529, 439, 106, 104, 415, 438, 465, 78, 78,
78, 78, 78, 106, 104, 106, 104, 106, 104, 108,
877, 106, 106, 104, 108, 876, 78, 104, 875, 108,
874, 108, 109, 108, 470, 110, 471, 482, 108, 78,
78, 440, 109, 111, 109, 110, 109, 110, 452, 110,
109, 109, 410, 111, 110, 111, 111, 111, 499, 465,
438, 528, 111, 473, 78, 100, 100, 100, 100, 100,
100, 100, 100, 100, 100, 100, 100, 100, 100, 100,
100, 100, 100, 100, 100, 100, 100, 112, 520, 113,
113, 460, 499, 482, 452, 471, 501, 112, 873, 112,
113, 112, 113, 113, 113, 115, 112, 114, 114, 113,
499, 473, 550, 528, 872, 115, 115, 115, 114, 115,
114, 116, 114, 474, 115, 116, 515, 114, 552, 117,
871, 116, 523, 116, 566, 116, 460, 553, 531, 117,
116, 117, 520, 117, 118, 118, 118, 120, 117, 551,
119, 119, 501, 560, 118, 564, 118, 120, 118, 120,
119, 120, 119, 118, 119, 121, 120, 574, 119, 119,
124, 474, 531, 550, 515, 121, 562, 121, 121, 121,
124, 870, 566, 125, 121, 569, 125, 553, 523, 552,
124, 126, 124, 125, 124, 125, 573, 125, 575, 124,
869, 126, 125, 126, 571, 126, 127, 127, 576, 868,
126, 600, 560, 867, 551, 564, 127, 128, 127, 593,
127, 574, 595, 127, 127, 127, 606, 128, 129, 128,
128, 128, 575, 590, 130, 569, 128, 562, 129, 594,
129, 611, 129, 602, 130, 131, 130, 129, 130, 605,
129, 590, 573, 130, 720, 131, 606, 131, 133, 131,
603, 134, 866, 600, 131, 571, 133, 609, 133, 576,
133, 134, 133, 134, 135, 134, 614, 133, 593, 134,
134, 595, 136, 605, 135, 138, 135, 594, 135, 636,
612, 611, 136, 135, 136, 138, 136, 138, 139, 138,
136, 136, 602, 138, 138, 613, 603, 641, 139, 140,
139, 720, 139, 578, 578, 578, 578, 139, 139, 140,
646, 140, 141, 140, 612, 141, 609, 865, 140, 141,
864, 631, 141, 630, 141, 614, 141, 143, 143, 863,
657, 141, 718, 862, 144, 636, 632, 861, 143, 702,
143, 659, 143, 638, 144, 145, 144, 143, 144, 144,
860, 146, 144, 144, 639, 145, 613, 145, 641, 145,
148, 146, 147, 146, 145, 146, 644, 146, 631, 145,
146, 646, 147, 148, 147, 630, 147, 647, 662, 149,
718, 147, 578, 148, 149, 148, 657, 148, 632, 149,
150, 149, 148, 149, 702, 638, 151, 659, 149, 859,
150, 858, 150, 648, 150, 857, 151, 153, 151, 150,
151, 664, 856, 639, 153, 151, 665, 153, 644, 153,
157, 153, 670, 154, 154, 855, 153, 154, 662, 854,
157, 706, 157, 154, 157, 154, 647, 154, 157, 157,
667, 673, 154, 160, 160, 160, 160, 187, 187, 187,
187, 187, 187, 187, 187, 648, 671, 160, 160, 160,
160, 160, 160, 160, 160, 161, 687, 664, 665, 161,
161, 161, 161, 161, 161, 161, 161, 162, 670, 672,
679, 162, 162, 162, 162, 162, 162, 162, 162, 190,
192, 193, 706, 192, 853, 852, 851, 673, 730, 667,
192, 193, 192, 193, 192, 193, 194, 195, 680, 192,
193, 615, 615, 615, 615, 671, 194, 195, 194, 195,
194, 195, 681, 850, 687, 194, 195, 694, 849, 689,
679, 672, 693, 190, 190, 190, 190, 190, 190, 190,
190, 190, 190, 190, 190, 190, 190, 190, 190, 190,
190, 190, 190, 190, 190, 196, 848, 730, 686, 847,
680, 846, 692, 198, 708, 196, 199, 196, 196, 196,
198, 695, 681, 198, 196, 198, 199, 198, 199, 200,
199, 689, 198, 694, 693, 199, 711, 201, 845, 200,
615, 200, 844, 200, 843, 202, 200, 201, 200, 201,
712, 201, 842, 203, 721, 202, 201, 202, 686, 202,
203, 202, 692, 203, 202, 203, 204, 203, 841, 723,
708, 695, 203, 840, 205, 839, 204, 206, 204, 838,
204, 837, 836, 204, 205, 204, 205, 206, 205, 206,
835, 206, 711, 205, 206, 206, 206, 207, 207, 208,
712, 834, 208, 833, 721, 207, 832, 831, 207, 208,
207, 208, 207, 208, 209, 830, 829, 207, 208, 723,
210, 828, 827, 826, 209, 825, 209, 209, 209, 824,
210, 211, 210, 209, 210, 823, 822, 212, 821, 210,
212, 211, 211, 211, 820, 211, 819, 212, 213, 212,
211, 212, 818, 817, 214, 816, 212, 214, 213, 815,
213, 213, 213, 814, 214, 215, 214, 213, 214, 813,
812, 811, 810, 214, 809, 215, 216, 215, 808, 215,
807, 806, 215, 805, 215, 804, 216, 216, 216, 219,
216, 803, 802, 801, 800, 216, 799, 220, 798, 219,
221, 219, 797, 219, 796, 795, 219, 220, 219, 220,
221, 220, 221, 221, 221, 222, 220, 794, 223, 221,
793, 224, 792, 791, 224, 222, 790, 222, 223, 222,
223, 224, 223, 224, 222, 224, 223, 223, 225, 226,
224, 789, 788, 787, 786, 785, 784, 225, 783, 226,
227, 226, 782, 226, 781, 780, 779, 225, 226, 225,
227, 225, 227, 228, 227, 778, 225, 777, 776, 227,
775, 230, 774, 228, 230, 228, 773, 228, 772, 771,
770, 230, 228, 230, 231, 230, 769, 231, 768, 767,
230, 766, 232, 765, 231, 234, 231, 764, 231, 232,
763, 762, 232, 231, 232, 234, 232, 234, 235, 234,
761, 232, 760, 234, 234, 759, 236, 758, 235, 757,
235, 756, 235, 755, 237, 754, 236, 235, 236, 753,
236, 752, 238, 236, 237, 236, 237, 751, 237, 750,
749, 237, 238, 237, 238, 240, 238, 241, 241, 748,
747, 238, 238, 746, 745, 240, 242, 240, 241, 240,
241, 744, 241, 743, 240, 742, 242, 241, 242, 243,
242, 740, 739, 738, 736, 242, 735, 244, 734, 243,
244, 243, 733, 243, 731, 245, 729, 244, 243, 244,
728, 244, 245, 246, 727, 245, 244, 245, 726, 245,
725, 724, 722, 246, 245, 246, 247, 246, 717, 716,
715, 246, 246, 714, 248, 713, 247, 710, 247, 709,
247, 705, 704, 247, 248, 247, 248, 249, 248, 703,
249, 248, 701, 248, 699, 250, 698, 249, 250, 249,
697, 249, 696, 252, 691, 250, 249, 250, 688, 250,
685, 684, 254, 252, 250, 252, 252, 252, 252, 253,
254, 677, 252, 252, 676, 675, 674, 669, 668, 253,
254, 253, 254, 253, 254, 258, 666, 253, 253, 254,
663, 258, 655, 651, 650, 258, 649, 258, 645, 258,
260, 260, 260, 260, 258, 643, 642, 640, 261, 261,
261, 261, 637, 627, 260, 260, 260, 260, 260, 260,
260, 260, 261, 261, 261, 261, 261, 261, 261, 261,
276, 277, 621, 619, 617, 608, 607, 604, 277, 601,
276, 277, 276, 277, 276, 277, 278, 596, 584, 276,
277, 580, 279, 579, 570, 565, 278, 278, 278, 561,
278, 527, 279, 280, 279, 278, 279, 524, 517, 281,
512, 279, 281, 280, 479, 280, 478, 280, 477, 281,
466, 281, 280, 281, 282, 282, 283, 283, 281, 457,
414, 413, 347, 346, 345, 282, 283, 282, 283, 282,
283, 284, 270, 269, 282, 283, 268, 280, 267, 285,
264, 284, 263, 284, 262, 284, 259, 286, 284, 285,
284, 285, 285, 285, 197, 191, 185, 286, 285, 286,
288, 286, 287, 287, 183, 286, 286, 181, 179, 174,
288, 289, 288, 287, 288, 287, 172, 287, 168, 288,
166, 289, 287, 289, 290, 289, 290, 291, 165, 291,
289, 159, 107, 99, 290, 96, 290, 291, 290, 291,
94, 291, 292, 290, 93, 292, 291, 91, 293, 89,
88, 87, 292, 84, 292, 70, 292, 67, 293, 294,
293, 292, 293, 64, 63, 295, 294, 293, 62, 294,
59, 294, 58, 294, 57, 295, 296, 295, 294, 295,
52, 295, 31, 27, 295, 22, 296, 21, 296, 18,
296, 297, 296, 17, 297, 296, 0, 298, 0, 0,
0, 297, 0, 297, 0, 297, 0, 298, 301, 298,
297, 298, 0, 0, 302, 0, 298, 0, 301, 0,
301, 0, 301, 0, 302, 0, 302, 301, 302, 303,
304, 0, 302, 302, 0, 0, 303, 0, 0, 303,
304, 303, 304, 303, 304, 305, 304, 0, 303, 304,
306, 306, 301, 0, 0, 305, 0, 305, 308, 305,
0, 306, 0, 306, 305, 306, 307, 306, 0, 308,
306, 307, 0, 0, 0, 0, 307, 309, 307, 308,
307, 308, 307, 308, 0, 307, 0, 309, 308, 309,
310, 309, 0, 0, 309, 0, 309, 0, 312, 312,
310, 313, 310, 0, 310, 0, 0, 0, 312, 310,
312, 313, 312, 313, 314, 313, 0, 312, 317, 313,
313, 0, 316, 0, 314, 316, 314, 314, 314, 0,
0, 0, 316, 314, 316, 317, 316, 0, 0, 0,
0, 316, 0, 318, 0, 317, 318, 317, 0, 317,
319, 319, 0, 318, 317, 318, 0, 318, 0, 321,
0, 319, 318, 319, 0, 319, 0, 322, 0, 321,
319, 321, 0, 321, 0, 0, 0, 322, 321, 322,
323, 322, 0, 323, 0, 322, 322, 0, 324, 0,
323, 325, 323, 0, 323, 0, 0, 0, 324, 323,
324, 325, 324, 325, 0, 325, 327, 324, 326, 326,
325, 0, 328, 330, 0, 0, 327, 0, 327, 326,
327, 326, 328, 326, 328, 327, 328, 329, 326, 0,
330, 328, 0, 332, 0, 0, 0, 329, 0, 329,
330, 329, 330, 332, 330, 332, 329, 332, 333, 330,
327, 334, 332, 0, 334, 0, 0, 0, 333, 335,
333, 334, 333, 334, 0, 334, 0, 333, 0, 335,
334, 335, 336, 335, 0, 0, 0, 0, 335, 0,
0, 0, 336, 340, 336, 0, 336, 0, 0, 336,
0, 336, 0, 340, 335, 340, 0, 340, 341, 341,
341, 341, 340, 0, 0, 0, 0, 0, 0, 0,
0, 0, 341, 341, 341, 341, 341, 341, 341, 341,
342, 342, 342, 342, 0, 0, 0, 0, 0, 0,
342, 0, 0, 0, 342, 342, 342, 342, 342, 342,
342, 342, 343, 343, 343, 343, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 343, 343, 343, 343,
343, 343, 343, 343, 344, 0, 349, 0, 344, 344,
344, 344, 344, 344, 344, 344, 349, 0, 349, 0,
349, 350, 350, 0, 349, 349, 0, 0, 0, 0,
0, 350, 0, 350, 352, 350, 351, 351, 0, 342,
350, 0, 0, 0, 352, 0, 352, 351, 352, 351,
0, 351, 0, 352, 354, 354, 351, 0, 355, 355,
0, 356, 0, 0, 356, 354, 0, 354, 355, 354,
355, 356, 355, 356, 354, 356, 357, 355, 0, 358,
356, 0, 0, 0, 0, 0, 357, 359, 357, 358,
357, 358, 0, 358, 0, 357, 0, 359, 358, 359,
360, 359, 0, 359, 0, 0, 359, 360, 361, 0,
360, 0, 360, 0, 360, 0, 0, 0, 361, 360,
361, 362, 361, 0, 362, 0, 0, 361, 362, 0,
0, 362, 363, 362, 363, 362, 0, 0, 364, 0,
362, 364, 363, 0, 363, 364, 363, 0, 364, 365,
364, 363, 364, 0, 0, 0, 0, 364, 0, 365,
366, 365, 0, 365, 0, 365, 0, 0, 365, 0,
366, 0, 366, 0, 366, 367, 367, 0, 366, 366,
0, 368, 0, 0, 0, 367, 0, 367, 0, 367,
0, 368, 369, 368, 367, 368, 0, 0, 370, 368,
368, 0, 369, 0, 369, 0, 369, 0, 370, 369,
370, 369, 370, 371, 375, 0, 0, 370, 0, 0,
0, 375, 0, 371, 375, 371, 375, 371, 375, 0,
0, 377, 371, 375, 376, 376, 0, 376, 0, 0,
0, 377, 0, 377, 376, 377, 376, 0, 376, 377,
377, 379, 378, 376, 378, 0, 0, 0, 0, 0,
0, 379, 378, 379, 378, 379, 378, 380, 0, 0,
379, 378, 0, 381, 0, 0, 381, 380, 0, 380,
0, 380, 0, 381, 382, 381, 380, 381, 383, 0,
0, 384, 381, 0, 382, 0, 382, 383, 382, 0,
0, 382, 0, 382, 0, 386, 0, 383, 384, 383,
0, 383, 0, 0, 0, 386, 383, 386, 384, 386,
384, 387, 384, 386, 386, 0, 0, 384, 0, 388,
0, 387, 0, 387, 0, 387, 0, 390, 0, 388,
387, 388, 0, 388, 0, 392, 0, 390, 388, 390,
0, 390, 0, 390, 0, 392, 390, 392, 393, 392,
0, 0, 0, 0, 392, 0, 0, 0, 393, 0,
393, 395, 393, 0, 396, 0, 393, 393, 395, 0,
0, 395, 397, 395, 396, 395, 396, 397, 396, 0,
395, 0, 397, 396, 397, 398, 397, 0, 0, 0,
0, 397, 0, 0, 0, 398, 402, 398, 0, 398,
0, 0, 403, 0, 398, 403, 402, 398, 402, 0,
402, 0, 403, 404, 403, 402, 403, 0, 0, 0,
0, 403, 0, 404, 406, 404, 0, 404, 0, 404,
0, 0, 404, 0, 406, 0, 406, 0, 406, 411,
411, 411, 411, 406, 0, 0, 0, 0, 0, 0,
0, 416, 0, 411, 411, 411, 411, 411, 411, 411,
411, 416, 0, 416, 418, 416, 417, 417, 406, 0,
416, 0, 0, 0, 418, 420, 418, 417, 418, 417,
0, 417, 418, 418, 0, 420, 417, 420, 421, 420,
0, 422, 0, 0, 420, 0, 0, 0, 421, 0,
421, 422, 421, 422, 0, 422, 421, 421, 423, 0,
422, 423, 0, 424, 424, 0, 0, 0, 423, 0,
423, 0, 423, 0, 424, 425, 424, 423, 424, 0,
0, 426, 0, 424, 0, 425, 0, 425, 0, 425,
0, 426, 0, 426, 425, 426, 427, 0, 427, 426,
426, 0, 428, 0, 0, 0, 427, 0, 427, 0,
427, 0, 428, 0, 428, 427, 428, 0, 0, 429,
428, 428, 429, 0, 0, 430, 0, 430, 0, 429,
0, 429, 0, 429, 0, 430, 431, 430, 429, 430,
0, 432, 432, 0, 430, 0, 431, 0, 431, 0,
431, 0, 432, 433, 432, 431, 432, 0, 0, 434,
0, 432, 0, 433, 0, 433, 434, 433, 0, 434,
435, 434, 433, 434, 0, 0, 436, 0, 434, 0,
435, 0, 435, 436, 435, 0, 436, 435, 436, 435,
436, 437, 437, 441, 0, 436, 0, 441, 0, 0,
0, 0, 437, 441, 437, 441, 437, 441, 442, 0,
0, 437, 441, 0, 443, 442, 443, 0, 442, 0,
442, 0, 442, 0, 443, 444, 443, 442, 443, 0,
0, 445, 0, 443, 445, 444, 0, 444, 0, 444,
0, 445, 444, 445, 444, 445, 446, 446, 0, 0,
445, 0, 447, 447, 0, 0, 446, 0, 446, 0,
446, 0, 447, 448, 447, 446, 447, 0, 0, 0,
0, 447, 0, 448, 0, 448, 0, 448, 449, 448,
0, 449, 448, 0, 450, 0, 0, 0, 449, 0,
449, 0, 449, 0, 450, 453, 450, 449, 450, 0,
0, 450, 0, 450, 0, 453, 0, 453, 456, 453,
454, 454, 0, 0, 453, 0, 0, 0, 456, 458,
456, 454, 456, 454, 0, 454, 0, 456, 0, 458,
454, 458, 459, 458, 0, 459, 0, 458, 458, 0,
461, 0, 459, 0, 459, 0, 459, 0, 0, 0,
461, 459, 461, 0, 461, 462, 462, 0, 463, 461,
461, 464, 0, 0, 0, 462, 0, 462, 463, 462,
463, 464, 463, 464, 462, 464, 468, 463, 0, 469,
464, 0, 0, 0, 0, 0, 468, 0, 468, 469,
468, 469, 0, 469, 0, 468, 469, 0, 469, 475,
475, 475, 475, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 475, 475, 475, 475, 475, 475, 475,
475, 476, 0, 480, 0, 476, 476, 476, 476, 476,
476, 476, 476, 480, 0, 480, 481, 480, 0, 483,
0, 480, 480, 481, 0, 0, 481, 0, 481, 483,
481, 483, 0, 483, 484, 481, 0, 484, 483, 0,
485, 0, 0, 0, 484, 0, 484, 0, 484, 0,
485, 486, 485, 484, 485, 0, 0, 487, 486, 485,
0, 486, 0, 486, 487, 486, 0, 487, 488, 487,
486, 487, 0, 0, 489, 0, 487, 0, 488, 0,
488, 0, 488, 0, 489, 490, 489, 488, 489, 0,
0, 0, 490, 489, 0, 490, 491, 490, 491, 490,
0, 0, 492, 0, 490, 0, 491, 0, 491, 0,
491, 0, 492, 493, 492, 491, 492, 0, 493, 494,
0, 492, 0, 493, 0, 493, 0, 493, 0, 494,
495, 494, 493, 494, 0, 0, 0, 494, 494, 0,
495, 496, 495, 0, 495, 0, 0, 497, 495, 495,
0, 496, 0, 496, 0, 496, 0, 497, 498, 497,
496, 497, 0, 0, 502, 0, 497, 0, 498, 0,
498, 502, 498, 0, 502, 503, 502, 498, 502, 0,
0, 0, 0, 502, 0, 503, 504, 503, 0, 503,
0, 0, 505, 503, 503, 0, 504, 0, 504, 0,
504, 0, 505, 506, 505, 504, 505, 0, 0, 507,
0, 505, 507, 506, 0, 506, 0, 506, 0, 507,
506, 507, 506, 507, 508, 509, 0, 0, 507, 0,
0, 0, 0, 0, 508, 509, 508, 509, 508, 509,
510, 510, 508, 508, 509, 0, 511, 0, 0, 0,
510, 0, 510, 0, 510, 0, 511, 514, 511, 510,
511, 0, 0, 516, 0, 511, 0, 514, 0, 514,
0, 514, 0, 516, 518, 516, 514, 516, 0, 0,
0, 0, 516, 0, 518, 519, 518, 0, 518, 0,
511, 521, 0, 518, 521, 519, 0, 519, 0, 519,
0, 521, 0, 521, 519, 521, 522, 0, 0, 522,
521, 526, 526, 0, 0, 0, 522, 0, 522, 0,
522, 0, 526, 0, 526, 522, 526, 532, 532, 532,
532, 526, 0, 0, 0, 0, 0, 0, 0, 0,
0, 532, 532, 532, 532, 532, 532, 532, 532, 536,
537, 537, 0, 0, 0, 0, 536, 0, 0, 536,
537, 536, 537, 536, 537, 539, 0, 0, 536, 537,
0, 0, 0, 540, 0, 539, 541, 539, 0, 539,
0, 539, 0, 540, 539, 540, 541, 540, 541, 542,
541, 540, 540, 0, 0, 541, 545, 543, 0, 542,
0, 542, 0, 542, 0, 544, 0, 543, 542, 543,
543, 543, 0, 545, 0, 544, 543, 544, 0, 544,
0, 0, 0, 545, 544, 545, 546, 545, 0, 546,
0, 0, 545, 0, 547, 0, 546, 0, 546, 0,
546, 0, 548, 0, 547, 546, 547, 0, 547, 548,
549, 0, 548, 547, 548, 0, 548, 0, 0, 0,
549, 548, 549, 554, 549, 0, 554, 0, 0, 549,
0, 555, 0, 554, 556, 554, 0, 554, 0, 0,
0, 555, 554, 555, 556, 555, 556, 557, 556, 0,
555, 0, 0, 556, 0, 558, 0, 557, 559, 557,
0, 557, 558, 0, 0, 558, 557, 558, 559, 558,
559, 563, 559, 0, 558, 567, 559, 559, 0, 568,
0, 563, 0, 563, 0, 563, 0, 0, 0, 568,
563, 568, 567, 568, 0, 572, 0, 0, 568, 0,
0, 0, 567, 0, 567, 572, 567, 572, 0, 572,
0, 567, 0, 0, 572, 577, 577, 577, 577, 0,
0, 0, 0, 0, 0, 0, 0, 582, 0, 577,
577, 577, 577, 577, 577, 577, 577, 582, 583, 582,
582, 582, 0, 0, 585, 0, 582, 0, 583, 0,
583, 0, 583, 0, 585, 586, 585, 583, 585, 0,
0, 587, 0, 585, 587, 586, 0, 586, 0, 586,
0, 587, 586, 587, 586, 587, 588, 589, 0, 0,
587, 588, 0, 0, 0, 0, 588, 589, 588, 589,
588, 589, 591, 592, 591, 588, 589, 0, 0, 0,
0, 0, 591, 592, 591, 592, 591, 592, 597, 0,
0, 591, 592, 0, 0, 0, 598, 0, 597, 0,
597, 0, 597, 0, 597, 0, 598, 597, 598, 598,
598, 599, 610, 0, 0, 598, 0, 0, 599, 0,
0, 599, 610, 599, 610, 599, 610, 622, 623, 0,
599, 610, 0, 0, 0, 0, 0, 622, 623, 622,
623, 622, 623, 624, 625, 624, 622, 623, 0, 0,
0, 0, 0, 624, 625, 624, 625, 624, 625, 626,
628, 0, 624, 625, 0, 0, 0, 0, 0, 626,
628, 626, 628, 626, 628, 629, 626, 0, 626, 628,
0, 633, 629, 0, 0, 629, 0, 629, 0, 629,
0, 633, 634, 633, 629, 633, 0, 0, 0, 0,
633, 0, 634, 635, 634, 0, 634, 0, 0, 652,
0, 634, 0, 635, 0, 635, 635, 635, 0, 652,
653, 652, 635, 652, 0, 0, 654, 0, 652, 0,
653, 0, 653, 0, 653, 0, 654, 656, 654, 653,
654, 0, 0, 0, 0, 654, 0, 656, 660, 656,
0, 656, 0, 0, 661, 656, 656, 0, 660, 0,
660, 0, 660, 0, 661, 660, 661, 660, 661, 678,
682, 0, 0, 661, 0, 0, 0, 0, 0, 678,
682, 678, 682, 678, 682, 683, 700, 0, 678, 682,
0, 0, 678, 0, 0, 683, 700, 683, 700, 683,
700, 0, 0, 0, 683, 700, 885, 885, 885, 885,
885, 885, 885, 885, 885, 885, 885, 885, 885, 885,
885, 886, 886, 886, 886, 886, 886, 886, 886, 886,
886, 886, 886, 886, 886, 886, 887, 887, 887, 887,
887, 887, 887, 887, 887, 887, 887, 887, 887, 887,
887, 888, 888, 888, 888, 888, 888, 888, 888, 888,
888, 888, 888, 888, 888, 888, 889, 889, 889, 889,
889, 889, 889, 889, 889, 889, 889, 889, 889, 889,
889, 890, 890, 890, 890, 890, 890, 890, 890, 890,
890, 890, 890, 890, 890, 890, 891, 891, 891, 0,
891, 891, 891, 891, 891, 891, 891, 891, 891, 891,
891, 892, 892, 0, 0, 892, 0, 892, 0, 0,
0, 892, 893, 893, 0, 0, 0, 893, 893, 894,
894, 0, 894, 894, 894, 0, 894, 894, 0, 894,
894, 894, 894, 894, 895, 895, 895, 0, 895, 895,
895, 895, 895, 895, 895, 895, 895, 895, 895, 896,
896, 896, 896, 896, 896, 896, 896, 0, 896, 896,
896, 896, 897, 0, 0, 897, 897, 897, 897, 897,
897, 897, 897, 897, 897, 898, 0, 0, 898, 898,
898, 898, 898, 898, 898, 898, 898, 898, 899, 0,
0, 899, 0, 899, 899, 899, 899, 899, 899, 899,
899, 900, 900, 0, 0, 0, 900, 900, 901, 901,
0, 0, 0, 901, 901, 902, 0, 0, 0, 902,
902, 903, 903, 0, 0, 0, 903, 903, 904, 0,
0, 0, 904, 904, 905, 0, 0, 0, 905, 905,
906, 0, 0, 0, 906, 906, 907, 907, 907, 907,
907, 907, 907, 907, 907, 907, 907, 907, 907, 907,
907, 908, 908, 0, 0, 0, 908, 908, 909, 909,
0, 909, 909, 909, 0, 909, 909, 909, 0, 909,
909, 909, 909, 910, 910, 0, 910, 910, 910, 0,
910, 910, 910, 0, 910, 910, 910, 910, 911, 911,
0, 0, 0, 0, 911, 0, 0, 0, 0, 0,
0, 911, 912, 912, 0, 912, 912, 912, 0, 912,
912, 912, 912, 912, 912, 912, 912, 913, 913, 0,
913, 913, 913, 0, 913, 913, 913, 913, 913, 913,
913, 913, 914, 914, 0, 914, 914, 914, 0, 914,
914, 914, 914, 914, 914, 914, 914, 915, 915, 0,
915, 915, 915, 0, 915, 915, 915, 915, 915, 915,
915, 915, 916, 916, 0, 916, 916, 916, 0, 916,
916, 916, 916, 916, 916, 916, 916, 917, 917, 0,
917, 917, 917, 0, 917, 917, 917, 917, 917, 917,
917, 917, 918, 918, 0, 918, 918, 918, 0, 918,
918, 918, 918, 918, 918, 918, 918, 919, 919, 0,
919, 919, 919, 0, 919, 919, 919, 919, 919, 919,
919, 919, 920, 920, 0, 920, 920, 920, 0, 920,
920, 920, 920, 920, 920, 920, 920, 921, 921, 0,
921, 921, 921, 0, 921, 921, 921, 921, 921, 921,
921, 921, 922, 922, 0, 922, 922, 922, 0, 922,
922, 922, 922, 922, 922, 922, 922, 923, 923, 0,
923, 923, 923, 0, 923, 923, 923, 923, 923, 923,
923, 923, 924, 924, 0, 924, 924, 924, 0, 924,
924, 924, 924, 924, 924, 924, 924, 925, 925, 0,
925, 925, 925, 0, 925, 925, 925, 925, 925, 925,
925, 925, 926, 926, 0, 926, 926, 926, 0, 926,
926, 926, 926, 926, 926, 926, 926, 927, 927, 0,
927, 927, 927, 0, 927, 927, 927, 927, 927, 927,
927, 927, 928, 928, 0, 928, 928, 928, 0, 928,
928, 928, 928, 928, 928, 928, 928, 929, 929, 0,
929, 929, 929, 0, 929, 929, 929, 929, 929, 929,
929, 929, 930, 930, 0, 930, 930, 930, 0, 930,
930, 930, 930, 930, 930, 930, 930, 931, 931, 0,
931, 931, 931, 0, 931, 931, 931, 931, 931, 931,
931, 931, 932, 932, 0, 932, 932, 932, 0, 932,
932, 932, 932, 932, 932, 932, 932, 933, 933, 0,
933, 933, 933, 0, 933, 933, 933, 933, 933, 933,
933, 933, 934, 934, 0, 934, 934, 934, 0, 934,
934, 934, 934, 934, 934, 934, 934, 935, 935, 0,
935, 935, 935, 0, 935, 935, 935, 935, 935, 935,
935, 935, 936, 936, 0, 936, 936, 936, 0, 936,
936, 936, 936, 936, 936, 936, 936, 937, 937, 0,
937, 937, 937, 0, 937, 937, 937, 937, 937, 937,
937, 937, 938, 938, 0, 938, 938, 938, 0, 938,
938, 938, 938, 938, 938, 938, 938, 939, 939, 0,
939, 939, 939, 0, 939, 939, 939, 939, 939, 939,
939, 939, 940, 940, 0, 940, 940, 940, 0, 940,
940, 940, 940, 940, 940, 940, 940, 941, 941, 0,
941, 941, 941, 0, 941, 941, 941, 941, 941, 941,
941, 941, 942, 942, 0, 942, 942, 942, 0, 942,
942, 942, 942, 942, 942, 942, 942, 943, 943, 0,
943, 943, 943, 0, 943, 943, 943, 943, 943, 943,
943, 943, 944, 944, 0, 944, 944, 944, 0, 944,
944, 944, 944, 944, 944, 944, 944, 945, 945, 0,
945, 945, 945, 0, 945, 945, 945, 945, 945, 945,
945, 945, 946, 946, 0, 946, 946, 946, 0, 946,
946, 946, 946, 946, 946, 946, 946, 947, 947, 0,
947, 947, 947, 0, 947, 947, 947, 947, 947, 947,
947, 947, 948, 948, 0, 948, 948, 948, 0, 948,
948, 948, 948, 948, 948, 948, 948, 949, 949, 0,
949, 949, 949, 0, 949, 949, 949, 949, 949, 949,
949, 949, 950, 950, 0, 950, 950, 950, 0, 950,
950, 950, 950, 950, 950, 950, 950, 951, 951, 0,
951, 951, 951, 0, 951, 951, 951, 951, 951, 951,
951, 951, 952, 952, 0, 952, 952, 952, 0, 952,
952, 952, 952, 952, 952, 952, 952, 953, 953, 0,
953, 953, 953, 0, 953, 953, 953, 953, 953, 953,
953, 953, 954, 954, 0, 954, 954, 954, 0, 954,
954, 954, 954, 954, 954, 954, 954, 955, 955, 0,
955, 955, 955, 0, 955, 955, 955, 955, 955, 955,
955, 955, 956, 956, 0, 956, 956, 956, 0, 956,
956, 956, 956, 956, 956, 956, 956, 957, 957, 0,
957, 957, 957, 0, 957, 957, 957, 957, 957, 957,
957, 957, 958, 958, 0, 958, 958, 958, 0, 958,
958, 958, 958, 958, 958, 958, 958, 959, 959, 0,
959, 959, 959, 0, 959, 959, 959, 959, 959, 959,
959, 959, 960, 960, 0, 960, 960, 960, 0, 960,
960, 960, 960, 960, 960, 960, 960, 961, 961, 0,
961, 961, 961, 0, 961, 961, 961, 961, 961, 961,
961, 961, 962, 962, 0, 962, 962, 962, 0, 962,
962, 962, 962, 962, 962, 962, 962, 963, 963, 0,
963, 963, 963, 0, 963, 963, 963, 963, 963, 963,
963, 963, 964, 964, 0, 964, 964, 964, 0, 964,
964, 964, 964, 964, 964, 964, 964, 965, 965, 0,
965, 965, 965, 0, 965, 965, 965, 965, 965, 965,
965, 965, 966, 966, 0, 966, 966, 966, 0, 966,
966, 966, 966, 966, 966, 966, 966, 967, 967, 0,
967, 967, 967, 0, 967, 967, 967, 967, 967, 967,
967, 967, 968, 968, 0, 968, 968, 968, 0, 968,
968, 968, 968, 968, 968, 968, 968, 969, 969, 0,
969, 969, 969, 0, 969, 969, 969, 969, 969, 969,
969, 969, 970, 970, 0, 970, 970, 970, 0, 970,
970, 970, 970, 970, 970, 970, 970, 971, 971, 0,
971, 971, 971, 0, 971, 971, 971, 971, 971, 971,
971, 971, 972, 972, 0, 972, 972, 972, 0, 972,
972, 972, 972, 972, 972, 972, 972, 973, 973, 0,
973, 973, 973, 0, 973, 973, 973, 973, 973, 973,
973, 973, 974, 974, 0, 974, 974, 974, 0, 974,
974, 974, 974, 974, 974, 974, 974, 975, 975, 0,
975, 975, 975, 0, 975, 975, 975, 975, 975, 975,
975, 975, 976, 976, 0, 976, 976, 976, 0, 976,
976, 976, 976, 976, 976, 976, 976, 977, 977, 0,
977, 977, 977, 0, 977, 977, 977, 977, 977, 977,
977, 977, 978, 978, 0, 978, 978, 978, 0, 978,
978, 978, 978, 978, 978, 978, 978, 979, 979, 0,
979, 979, 979, 0, 979, 979, 979, 979, 979, 979,
979, 979, 980, 980, 0, 980, 980, 980, 0, 980,
980, 980, 980, 980, 980, 980, 980, 981, 981, 0,
981, 981, 981, 0, 981, 981, 981, 981, 981, 981,
981, 981, 982, 982, 0, 982, 982, 982, 0, 982,
982, 982, 982, 982, 982, 982, 982, 983, 983, 0,
983, 983, 983, 0, 983, 983, 983, 983, 983, 983,
983, 983, 984, 984, 0, 984, 984, 984, 0, 984,
984, 984, 984, 984, 984, 984, 984, 985, 985, 0,
985, 985, 985, 0, 985, 985, 985, 985, 985, 985,
985, 985, 986, 986, 0, 986, 986, 986, 0, 986,
986, 986, 986, 986, 986, 986, 986, 987, 987, 0,
987, 987, 987, 0, 987, 987, 987, 987, 987, 987,
987, 987, 988, 988, 0, 988, 988, 988, 0, 988,
988, 988, 988, 988, 988, 988, 988, 989, 989, 0,
989, 989, 989, 0, 989, 989, 989, 989, 989, 989,
989, 989, 990, 990, 0, 990, 990, 990, 0, 990,
990, 990, 990, 990, 990, 990, 990, 991, 991, 0,
991, 991, 991, 0, 991, 991, 991, 991, 991, 991,
991, 991, 992, 992, 0, 992, 992, 992, 0, 992,
992, 992, 992, 992, 992, 992, 992, 993, 993, 0,
993, 993, 993, 0, 993, 993, 993, 993, 993, 993,
993, 993, 994, 994, 0, 994, 994, 994, 0, 994,
994, 994, 994, 994, 994, 994, 994, 995, 995, 0,
995, 995, 995, 0, 995, 995, 995, 995, 995, 995,
995, 995, 996, 996, 0, 996, 996, 996, 0, 996,
996, 996, 996, 996, 996, 996, 996, 997, 997, 0,
997, 997, 997, 0, 997, 997, 997, 997, 997, 997,
997, 997, 998, 998, 0, 998, 998, 998, 0, 998,
998, 998, 998, 998, 998, 998, 998, 999, 999, 0,
999, 999, 999, 0, 999, 999, 999, 999, 999, 999,
999, 999, 1000, 1000, 0, 1000, 1000, 1000, 0, 1000,
1000, 1000, 1000, 1000, 1000, 1000, 1000, 1001, 1001, 0,
1001, 1001, 1001, 0, 1001, 1001, 1001, 1001, 1001, 1001,
1001, 1001, 1002, 1002, 0, 1002, 1002, 1002, 0, 1002,
1002, 1002, 1002, 1002, 1002, 1002, 1002, 1003, 1003, 0,
1003, 1003, 1003, 0, 1003, 1003, 1003, 1003, 1003, 1003,
1003, 1003, 1004, 1004, 0, 1004, 1004, 1004, 0, 1004,
1004, 1004, 1004, 1004, 1004, 1004, 1004, 1005, 1005, 0,
1005, 1005, 1005, 0, 1005, 1005, 1005, 1005, 1005, 1005,
1005, 1005, 1006, 1006, 0, 1006, 1006, 1006, 0, 1006,
1006, 1006, 1006, 1006, 1006, 1006, 1006, 1007, 1007, 0,
1007, 1007, 1007, 0, 1007, 1007, 1007, 1007, 1007, 1007,
1007, 1007, 1008, 1008, 0, 1008, 1008, 1008, 0, 1008,
1008, 1008, 1008, 1008, 1008, 1008, 1008, 1009, 1009, 0,
1009, 1009, 1009, 0, 1009, 1009, 1009, 1009, 1009, 1009,
1009, 1009, 1010, 1010, 0, 1010, 1010, 1010, 0, 1010,
1010, 1010, 1010, 1010, 1010, 1010, 1010, 1011, 1011, 0,
1011, 1011, 1011, 0, 1011, 1011, 1011, 1011, 1011, 1011,
1011, 1011, 1012, 1012, 0, 1012, 1012, 1012, 0, 1012,
1012, 1012, 1012, 1012, 1012, 1012, 1012, 1013, 1013, 0,
1013, 1013, 1013, 0, 1013, 1013, 1013, 1013, 1013, 1013,
1013, 1013, 1014, 1014, 0, 1014, 1014, 1014, 0, 1014,
1014, 1014, 1014, 1014, 1014, 1014, 1014, 1015, 1015, 0,
1015, 1015, 1015, 0, 1015, 1015, 1015, 1015, 1015, 1015,
1015, 1015, 1016, 1016, 0, 1016, 1016, 1016, 0, 1016,
1016, 1016, 1016, 1016, 1016, 1016, 1016, 1017, 1017, 0,
1017, 1017, 1017, 0, 1017, 1017, 1017, 1017, 1017, 1017,
1017, 1017, 1018, 1018, 0, 1018, 1018, 1018, 0, 1018,
1018, 1018, 1018, 1018, 1018, 1018, 1018, 1019, 1019, 0,
1019, 1019, 1019, 0, 1019, 1019, 1019, 1019, 1019, 1019,
1019, 1019, 1020, 1020, 0, 1020, 1020, 1020, 0, 1020,
1020, 1020, 1020, 1020, 1020, 1020, 1020, 1021, 1021, 0,
1021, 1021, 1021, 0, 1021, 1021, 1021, 1021, 1021, 1021,
1021, 1021, 1022, 1022, 0, 1022, 1022, 1022, 0, 1022,
1022, 1022, 1022, 1022, 1022, 1022, 1022, 1023, 1023, 0,
1023, 1023, 1023, 0, 1023, 1023, 1023, 1023, 1023, 1023,
1023, 1023, 1024, 1024, 0, 1024, 1024, 1024, 0, 1024,
1024, 1024, 1024, 1024, 1024, 1024, 1024, 1025, 1025, 0,
1025, 1025, 1025, 0, 1025, 1025, 1025, 1025, 1025, 1025,
1025, 1025, 1026, 1026, 0, 1026, 1026, 1026, 0, 1026,
1026, 1026, 1026, 1026, 1026, 1026, 1026, 1027, 1027, 0,
1027, 1027, 1027, 0, 1027, 1027, 1027, 1027, 1027, 1027,
1027, 1027, 1028, 1028, 0, 1028, 1028, 1028, 0, 1028,
1028, 1028, 1028, 1028, 1028, 1028, 1028, 1029, 1029, 0,
1029, 1029, 1029, 0, 1029, 1029, 1029, 1029, 1029, 1029,
1029, 1029, 1030, 1030, 0, 1030, 1030, 1030, 0, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1031, 1031, 0,
1031, 1031, 1031, 0, 1031, 1031, 1031, 1031, 1031, 1031,
1031, 1031, 1032, 1032, 0, 1032, 1032, 1032, 0, 1032,
1032, 1032, 1032, 1032, 1032, 1032, 1032, 1033, 1033, 0,
1033, 1033, 1033, 0, 1033, 1033, 1033, 1033, 1033, 1033,
1033, 1033, 1034, 1034, 0, 1034, 1034, 1034, 0, 1034,
1034, 1034, 1034, 1034, 1034, 1034, 1034, 1035, 1035, 0,
1035, 1035, 1035, 0, 1035, 1035, 1035, 1035, 1035, 1035,
1035, 1035, 1036, 1036, 0, 1036, 1036, 1036, 0, 1036,
1036, 1036, 1036, 1036, 1036, 1036, 1036, 1037, 1037, 0,
1037, 1037, 1037, 0, 1037, 1037, 1037, 1037, 1037, 1037,
1037, 1037, 1038, 1038, 0, 1038, 1038, 1038, 0, 1038,
1038, 1038, 1038, 1038, 1038, 1038, 1038, 1039, 1039, 0,
1039, 1039, 1039, 0, 1039, 1039, 1039, 1039, 1039, 1039,
1039, 1039, 1040, 1040, 0, 1040, 1040, 1040, 0, 1040,
1040, 1040, 1040, 1040, 1040, 1040, 1040, 1041, 1041, 0,
1041, 1041, 1041, 0, 1041, 1041, 1041, 1041, 1041, 1041,
1041, 1041, 1042, 1042, 0, 1042, 1042, 1042, 0, 1042,
1042, 1042, 1042, 1042, 1042, 1042, 1042, 1043, 1043, 0,
1043, 1043, 1043, 0, 1043, 1043, 1043, 1043, 1043, 1043,
1043, 1043, 1044, 1044, 0, 1044, 1044, 1044, 0, 1044,
1044, 1044, 1044, 1044, 1044, 1044, 1044, 1045, 1045, 0,
1045, 1045, 1045, 0, 1045, 1045, 1045, 1045, 1045, 1045,
1045, 1045, 1046, 1046, 0, 1046, 1046, 1046, 0, 1046,
1046, 1046, 1046, 1046, 1046, 1046, 1046, 1047, 1047, 0,
1047, 1047, 1047, 0, 1047, 1047, 1047, 1047, 1047, 1047,
1047, 1047, 1048, 1048, 0, 1048, 1048, 1048, 0, 1048,
1048, 1048, 1048, 1048, 1048, 1048, 1048, 1049, 1049, 0,
1049, 1049, 1049, 0, 1049, 1049, 1049, 1049, 1049, 1049,
1049, 1049, 1050, 1050, 0, 1050, 1050, 1050, 0, 1050,
1050, 1050, 1050, 1050, 1050, 1050, 1050, 1051, 1051, 0,
1051, 1051, 1051, 0, 1051, 1051, 1051, 1051, 1051, 1051,
1051, 1051, 1052, 1052, 0, 1052, 1052, 1052, 0, 1052,
1052, 1052, 1052, 1052, 1052, 1052, 1052, 1053, 1053, 0,
1053, 1053, 1053, 0, 1053, 1053, 1053, 1053, 1053, 1053,
1053, 1053, 1054, 1054, 0, 1054, 1054, 1054, 0, 1054,
1054, 1054, 1054, 1054, 1054, 1054, 1054, 1055, 1055, 0,
1055, 1055, 1055, 0, 1055, 1055, 1055, 1055, 1055, 1055,
1055, 1055, 1056, 1056, 0, 1056, 1056, 1056, 0, 1056,
1056, 1056, 1056, 1056, 1056, 1056, 1056, 1057, 1057, 0,
1057, 1057, 1057, 0, 1057, 1057, 1057, 1057, 1057, 1057,
1057, 1057, 1058, 1058, 0, 1058, 1058, 1058, 0, 1058,
1058, 1058, 1058, 1058, 1058, 1058, 1058, 1059, 1059, 0,
1059, 1059, 1059, 0, 1059, 1059, 1059, 1059, 1059, 1059,
1059, 1059, 1060, 1060, 0, 1060, 1060, 1060, 0, 1060,
1060, 1060, 1060, 1060, 1060, 1060, 1060, 1061, 1061, 0,
1061, 1061, 1061, 0, 1061, 1061, 1061, 1061, 1061, 1061,
1061, 1061, 1062, 1062, 0, 1062, 1062, 1062, 0, 1062,
1062, 1062, 1062, 1062, 1062, 1062, 1062, 1063, 1063, 0,
1063, 1063, 1063, 0, 1063, 1063, 1063, 1063, 1063, 1063,
1063, 1063, 1064, 1064, 0, 1064, 1064, 1064, 0, 1064,
1064, 1064, 1064, 1064, 1064, 1064, 1064, 1065, 1065, 0,
1065, 1065, 1065, 0, 1065, 1065, 1065, 1065, 1065, 1065,
1065, 1065, 1066, 1066, 0, 1066, 1066, 1066, 0, 1066,
1066, 1066, 1066, 1066, 1066, 1066, 1066, 1067, 1067, 0,
1067, 1067, 1067, 0, 1067, 1067, 1067, 1067, 1067, 1067,
1067, 1067, 1068, 1068, 0, 1068, 1068, 1068, 0, 1068,
1068, 1068, 1068, 1068, 1068, 1068, 1068, 1069, 1069, 0,
1069, 1069, 1069, 0, 1069, 1069, 1069, 1069, 1069, 1069,
1069, 1069, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884, 884, 884, 884, 884, 884, 884,
884, 884, 884, 884
} ;
extern int yy_flex_debug;
int yy_flex_debug = 1;
static yyconst short int yy_rule_linenum[136] =
{ 0,
94, 95, 97, 100, 103, 105, 110, 112, 113, 114,
117, 119, 120, 121, 126, 138, 145, 152, 158, 167,
175, 183, 184, 186, 205, 211, 212, 213, 214, 215,
218, 224, 231, 238, 245, 252, 256, 257, 265, 266,
267, 268, 269, 274, 275, 276, 277, 278, 279, 280,
281, 282, 283, 284, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 305, 306, 307, 308,
309, 310, 311, 312, 313, 314, 315, 316, 317, 318,
319, 320, 321, 322, 323, 324, 325, 326, 327, 328,
329, 330, 331, 332, 333, 334, 335, 336, 337, 338,
339, 340, 341, 342, 343, 344, 345, 346, 347, 348,
349, 350, 351, 356, 357, 362, 363, 364, 367, 372,
378, 386, 396, 401, 403, 404, 408, 414, 420, 428,
431, 456, 500, 502, 513
} ;
static yy_state_type yy_state_buf[YY_BUF_SIZE + 2], *yy_state_ptr;
static char *yy_full_match;
static int yy_lp;
#define REJECT \
{ \
*yy_cp = yy_hold_char; /* undo effects of setting up yytext */ \
yy_cp = yy_full_match; /* restore poss. backed-over text */ \
++yy_lp; \
goto find_rule; \
}
#define yymore() yymore_used_but_not_detected
#define YY_MORE_ADJ 0
#define YY_RESTORE_YY_MORE_OFFSET
char *yytext;
#line 1 "asn1p_l.l"
#define INITIAL 0
#line 2 "asn1p_l.l"
#include <string.h>
#include <errno.h>
#include <assert.h>
#include "asn1parser.h"
#include "asn1p_y.h"
int asn1p_lex(void);
void asn1p_lexer_hack_push_opaque_state(void); /* Used in .y */
void asn1p_lexer_hack_enable_with_syntax(void); /* Used in .y */
void asn1p_lexer_hack_push_encoding_control(void); /* Used in .y */
#define YY_FATAL_ERROR(msg) do { \
fprintf(stderr, \
"lexer error at line %d, " \
"text \"%s\"\n", \
yylineno, yytext); \
exit(1); \
} while(0)
int asn1p_lexer_pedantic_1990 = 0;
int asn1p_lexer_types_year = 0;
int asn1p_lexer_constructs_year = 0;
static asn1c_integer_t asn1p_atoi(char *ptr); /* errno is either 0 or ERANGE */
int asn1p_as_pointer;
/*
* Check that the type is defined in the year of the standard choosen.
*/
#define TYPE_LIFETIME(fyr, lyr) \
(!asn1p_lexer_types_year \
|| (fyr && fyr <= asn1p_lexer_types_year) \
|| (lyr && lyr > asn1p_lexer_types_year))
/*
* Check the the construction (or concept, i.e. CLASS) is defined in
* a given year.
*/
#define CONSTRUCT_LIFETIME(fyr, lyr) \
(!asn1p_lexer_constructs_year \
|| (fyr && fyr <= asn1p_lexer_constructs_year) \
|| (lyr && lyr > asn1p_lexer_constructs_year))
/*
* Append quoted string.
*/
#define QAPPEND(text, tlen) do { \
char *prev_text = asn1p_lval.tv_opaque.buf; \
int prev_len = asn1p_lval.tv_opaque.len; \
char *p; \
\
p = malloc((tlen) + prev_len + 1); \
if(p == NULL) return -1; \
\
if(prev_text) memcpy(p, prev_text, prev_len); \
memcpy(p + prev_len, text, tlen); \
p[prev_len + (tlen)] = '\0'; \
\
free(asn1p_lval.tv_opaque.buf); \
asn1p_lval.tv_opaque.buf = p; \
asn1p_lval.tv_opaque.len = (tlen) + prev_len; \
} while(0)
#define YY_NEVER_INTERACTIVE 1
#define YY_NO_INPUT 1
#define YY_STACK_USED 1
/* Performance penalty is OK */
/* Controlled from within application */
#define dash_comment 1
#define idash_comment 2
#define cpp_comment 3
#define quoted 4
#define opaque 5
#define encoding_control 6
#define with_syntax 7
/* Newline */
/* White-space */
#line 2492 "asn1p_l.c"
/* Macros after this point can all be overridden by user definitions in
* section 1.
*/
#ifndef YY_SKIP_YYWRAP
#ifdef __cplusplus
extern "C" int yywrap YY_PROTO(( void ));
#else
extern int yywrap YY_PROTO(( void ));
#endif
#endif
#ifndef YY_NO_UNPUT
static void yyunput YY_PROTO(( int c, char *buf_ptr ));
#endif
#ifndef yytext_ptr
static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int ));
#endif
#ifdef YY_NEED_STRLEN
static int yy_flex_strlen YY_PROTO(( yyconst char * ));
#endif
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput YY_PROTO(( void ));
#else
static int input YY_PROTO(( void ));
#endif
#endif
#if YY_STACK_USED
static int yy_start_stack_ptr = 0;
static int yy_start_stack_depth = 0;
static int *yy_start_stack = 0;
#ifndef YY_NO_PUSH_STATE
static void yy_push_state YY_PROTO(( int new_state ));
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state YY_PROTO(( void ));
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state YY_PROTO(( void ));
#endif
#else
#define YY_NO_PUSH_STATE 1
#define YY_NO_POP_STATE 1
#define YY_NO_TOP_STATE 1
#endif
#ifdef YY_MALLOC_DECL
YY_MALLOC_DECL
#else
#if __STDC__
#ifndef __cplusplus
#include <stdlib.h>
#endif
#else
/* Just try to get by without declaring the routines. This will fail
* miserably on non-ANSI systems for which sizeof(size_t) != sizeof(int)
* or sizeof(void*) != sizeof(int).
*/
#endif
#endif
/* Amount of stuff to slurp up with each read. */
#ifndef YY_READ_BUF_SIZE
#define YY_READ_BUF_SIZE 8192
#endif
/* Copy whatever the last rule matched to the standard output. */
#ifndef ECHO
/* This used to be an fputs(), but since the string might contain NUL's,
* we now use fwrite().
*/
#define ECHO (void) fwrite( yytext, yyleng, 1, yyout )
#endif
/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
* is returned in "result".
*/
#ifndef YY_INPUT
#define YY_INPUT(buf,result,max_size) \
if ( yy_current_buffer->yy_is_interactive ) \
{ \
int c = '*', n; \
for ( n = 0; n < max_size && \
(c = getc( yyin )) != EOF && c != '\n'; ++n ) \
buf[n] = (char) c; \
if ( c == '\n' ) \
buf[n++] = (char) c; \
if ( c == EOF && ferror( yyin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
result = n; \
} \
else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \
&& ferror( yyin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" );
#endif
/* No semi-colon after return; correct usage is to write "yyterminate();" -
* we don't want an extra ';' after the "return" because that will cause
* some compilers to complain about unreachable statements.
*/
#ifndef yyterminate
#define yyterminate() return YY_NULL
#endif
/* Number of entries by which start-condition stack grows. */
#ifndef YY_START_STACK_INCR
#define YY_START_STACK_INCR 25
#endif
/* Report a fatal error. */
#ifndef YY_FATAL_ERROR
#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
#endif
/* Default declaration of generated scanner - a define so the user can
* easily add parameters.
*/
#ifndef YY_DECL
#define YY_DECL int yylex YY_PROTO(( void ))
#endif
/* Code executed at the beginning of each rule, after yytext and yyleng
* have been set up.
*/
#ifndef YY_USER_ACTION
#define YY_USER_ACTION
#endif
/* Code executed at the end of each rule. */
#ifndef YY_BREAK
#define YY_BREAK break;
#endif
#define YY_RULE_SETUP \
YY_USER_ACTION
YY_DECL
{
register yy_state_type yy_current_state;
register char *yy_cp, *yy_bp;
register int yy_act;
#line 92 "asn1p_l.l"
#line 2646 "asn1p_l.c"
if ( yy_init )
{
yy_init = 0;
#ifdef YY_USER_INIT
YY_USER_INIT;
#endif
if ( ! yy_start )
yy_start = 1; /* first start state */
if ( ! yyin )
yyin = stdin;
if ( ! yyout )
yyout = stdout;
if ( ! yy_current_buffer )
yy_current_buffer =
yy_create_buffer( yyin, YY_BUF_SIZE );
yy_load_buffer_state();
}
while ( 1 ) /* loops until end-of-file is reached */
{
yy_cp = yy_c_buf_p;
/* Support of yytext. */
*yy_cp = yy_hold_char;
/* yy_bp points to the position in yy_ch_buf of the start of
* the current run.
*/
yy_bp = yy_cp;
yy_current_state = yy_start;
yy_state_ptr = yy_state_buf;
*yy_state_ptr++ = yy_current_state;
yy_match:
do
{
register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 885 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
*yy_state_ptr++ = yy_current_state;
++yy_cp;
}
while ( yy_base[yy_current_state] != 6783 );
yy_find_action:
yy_current_state = *--yy_state_ptr;
yy_lp = yy_accept[yy_current_state];
find_rule: /* we branch to this label when backing up */
for ( ; ; ) /* until we find what rule we matched */
{
if ( yy_lp && yy_lp < yy_accept[yy_current_state + 1] )
{
yy_act = yy_acclist[yy_lp];
{
yy_full_match = yy_cp;
break;
}
}
--yy_cp;
yy_current_state = *--yy_state_ptr;
yy_lp = yy_accept[yy_current_state];
}
YY_DO_BEFORE_ACTION;
if ( yy_act != YY_END_OF_BUFFER )
{
int yyl;
for ( yyl = 0; yyl < yyleng; ++yyl )
if ( yytext[yyl] == '\n' )
++yylineno;
}
do_action: /* This label is used only to access EOF actions. */
if ( yy_flex_debug )
{
if ( yy_act == 0 )
fprintf( stderr, "--scanner backing up\n" );
else if ( yy_act < 136 )
fprintf( stderr, "--accepting rule at line %d (\"%s\")\n",
yy_rule_linenum[yy_act], yytext );
else if ( yy_act == 136 )
fprintf( stderr, "--accepting default rule (\"%s\")\n",
yytext );
else if ( yy_act == 137 )
fprintf( stderr, "--(end of buffer or a NUL)\n" );
else
fprintf( stderr, "--EOF (start condition %d)\n", YY_START );
}
switch ( yy_act )
{ /* beginning of action switch */
case 1:
*yy_cp = yy_hold_char; /* undo effects of setting up yytext */
yy_c_buf_p = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 94 "asn1p_l.l"
/* Immediately terminated long comment */
YY_BREAK
case 2:
*yy_cp = yy_hold_char; /* undo effects of setting up yytext */
yy_c_buf_p = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 95 "asn1p_l.l"
yy_push_state(idash_comment); /* Incorrect, but acceptable */
YY_BREAK
case 3:
YY_RULE_SETUP
#line 97 "asn1p_l.l"
yy_pop_state(); /* Acceptable end of comment */
YY_BREAK
case 4:
YY_RULE_SETUP
#line 100 "asn1p_l.l"
yy_push_state(dash_comment);
YY_BREAK
case 5:
YY_RULE_SETUP
#line 103 "asn1p_l.l"
yy_pop_state();
YY_BREAK
case 6:
YY_RULE_SETUP
#line 105 "asn1p_l.l"
{
if(strcmp(yytext, "<asn1c:pointer>") == 0)
asn1p_as_pointer = 1;
/* Eat modifier */
}
YY_BREAK
case 7:
YY_RULE_SETUP
#line 110 "asn1p_l.l"
/* Eat stand-alone left angle brace */
YY_BREAK
case 8:
YY_RULE_SETUP
#line 112 "asn1p_l.l"
yy_pop_state(); /* End of comment */
YY_BREAK
case 9:
YY_RULE_SETUP
#line 113 "asn1p_l.l"
/* Eat single dash */
YY_BREAK
case 10:
YY_RULE_SETUP
#line 114 "asn1p_l.l"
/* Eat */
YY_BREAK
case 11:
YY_RULE_SETUP
#line 117 "asn1p_l.l"
yy_push_state(cpp_comment);
YY_BREAK
case 12:
YY_RULE_SETUP
#line 119 "asn1p_l.l"
/* Eat */
YY_BREAK
case 13:
YY_RULE_SETUP
#line 120 "asn1p_l.l"
yy_pop_state();
YY_BREAK
case 14:
YY_RULE_SETUP
#line 121 "asn1p_l.l"
{
if(strcmp(yytext, "<asn1c:pointer>") == 0)
asn1p_as_pointer = 1;
/* Eat modifier */
}
YY_BREAK
case 15:
YY_RULE_SETUP
#line 126 "asn1p_l.l"
/* Eat */
YY_BREAK
/*
* This is state is being set from corresponding .y module when
* higher-level data is necessary to make proper parsing of the
* underlying data. Thus, we enter the <opaque> state and save
* everything for later processing.
*/
case 16:
YY_RULE_SETUP
#line 138 "asn1p_l.l"
{
yy_push_state(opaque);
asn1p_lval.tv_opaque.buf = strdup(yytext);
asn1p_lval.tv_opaque.len = yyleng;
return TOK_opaque;
}
YY_BREAK
case 17:
YY_RULE_SETUP
#line 145 "asn1p_l.l"
{
yy_pop_state();
asn1p_lval.tv_opaque.buf = strdup(yytext);
asn1p_lval.tv_opaque.len = yyleng;
return TOK_opaque;
}
YY_BREAK
case 18:
YY_RULE_SETUP
#line 152 "asn1p_l.l"
{
asn1p_lval.tv_opaque.buf = strdup(yytext);
asn1p_lval.tv_opaque.len = yyleng;
return TOK_opaque;
}
YY_BREAK
case 19:
YY_RULE_SETUP
#line 158 "asn1p_l.l"
{
fprintf(stderr,
"ASN.1 Parser syncronization failure: "
"\"%s\" at line %d must not appear "
"inside value definition\n",
yytext, yylineno);
return -1;
}
YY_BREAK
case 20:
YY_RULE_SETUP
#line 167 "asn1p_l.l"
{
asn1p_lval.tv_opaque.buf = strdup(yytext);
asn1p_lval.tv_opaque.len = yyleng;
return TOK_opaque;
}
YY_BREAK
case 21:
YY_RULE_SETUP
#line 175 "asn1p_l.l"
{
asn1p_lval.tv_opaque.buf = 0;
asn1p_lval.tv_opaque.len = 0;
QAPPEND(yytext+1, yyleng-1);
yy_push_state(quoted);
}
YY_BREAK
case 22:
YY_RULE_SETUP
#line 183 "asn1p_l.l"
{ QAPPEND(yytext, yyleng-1); } /* Add a single quote */
YY_BREAK
case 23:
YY_RULE_SETUP
#line 184 "asn1p_l.l"
{ QAPPEND(yytext, yyleng); }
YY_BREAK
case 24:
YY_RULE_SETUP
#line 186 "asn1p_l.l"
{
yy_pop_state();
/* Do not append last quote:
// QAPPEND(yytext, yyleng); */
if(asn1p_lexer_pedantic_1990
&& strchr(yytext, '\n')) {
fprintf(stderr, "%s: "
"Newlines are prohibited by ASN.1:1990\n",
asn1p_lval.tv_opaque.buf);
return -1;
}
return TOK_cstring;
}
YY_BREAK
case 25:
YY_RULE_SETUP
#line 205 "asn1p_l.l"
{
const char *s = "ENCODING-CONTROL";
const char *p = s + sizeof("ENCODING-CONTROL") - 2;
for(; p >= s; p--) unput(*p);
yy_pop_state();
}
YY_BREAK
case 26:
YY_RULE_SETUP
#line 211 "asn1p_l.l"
unput('D'); unput('N'); unput('E'); yy_pop_state();
YY_BREAK
case 27:
YY_RULE_SETUP
#line 212 "asn1p_l.l"
YY_BREAK
case 28:
YY_RULE_SETUP
#line 213 "asn1p_l.l"
YY_BREAK
case 29:
YY_RULE_SETUP
#line 214 "asn1p_l.l"
/* Eat everything else */
YY_BREAK
case 30:
YY_RULE_SETUP
#line 215 "asn1p_l.l"
YY_BREAK
case 31:
YY_RULE_SETUP
#line 218 "asn1p_l.l"
{
/* " \t\r\n" weren't allowed in ASN.1:1990. */
asn1p_lval.tv_str = yytext;
return TOK_hstring;
}
YY_BREAK
case 32:
YY_RULE_SETUP
#line 224 "asn1p_l.l"
{
/* " \t\r\n" weren't allowed in ASN.1:1990. */
asn1p_lval.tv_str = strdup(yytext);
return TOK_bstring;
}
YY_BREAK
case 33:
YY_RULE_SETUP
#line 231 "asn1p_l.l"
{
asn1p_lval.a_int = asn1p_atoi(yytext);
if(errno == ERANGE)
return -1;
return TOK_number_negative;
}
YY_BREAK
case 34:
YY_RULE_SETUP
#line 238 "asn1p_l.l"
{
asn1p_lval.a_int = asn1p_atoi(yytext);
if(errno == ERANGE)
return -1;
return TOK_number;
}
YY_BREAK
case 35:
YY_RULE_SETUP
#line 245 "asn1p_l.l"
{
asn1p_lval.a_int = asn1p_atoi(yytext);
if(errno == ERANGE)
return -1;
return TOK_number;
}
YY_BREAK
case 36:
YY_RULE_SETUP
#line 252 "asn1p_l.l"
return TOK_ABSENT;
YY_BREAK
/*
ABSTRACT-SYNTAX return TOK_ABSTRACT_SYNTAX;
*/
case 37:
YY_RULE_SETUP
#line 256 "asn1p_l.l"
return TOK_ALL;
YY_BREAK
case 38:
YY_RULE_SETUP
#line 257 "asn1p_l.l"
{
/* Appeared in 1990, removed in 1997 */
if(TYPE_LIFETIME(1990, 1997))
return TOK_ANY;
fprintf(stderr, "Keyword \"%s\" at line %d "
"is obsolete\n", yytext, yylineno);
REJECT;
}
YY_BREAK
case 39:
YY_RULE_SETUP
#line 265 "asn1p_l.l"
return TOK_APPLICATION;
YY_BREAK
case 40:
YY_RULE_SETUP
#line 266 "asn1p_l.l"
return TOK_AUTOMATIC;
YY_BREAK
case 41:
YY_RULE_SETUP
#line 267 "asn1p_l.l"
return TOK_BEGIN;
YY_BREAK
case 42:
YY_RULE_SETUP
#line 268 "asn1p_l.l"
return TOK_BIT;
YY_BREAK
case 43:
YY_RULE_SETUP
#line 269 "asn1p_l.l"
{
if(TYPE_LIFETIME(1994, 0))
return TOK_BMPString;
REJECT;
}
YY_BREAK
case 44:
YY_RULE_SETUP
#line 274 "asn1p_l.l"
return TOK_BOOLEAN;
YY_BREAK
case 45:
YY_RULE_SETUP
#line 275 "asn1p_l.l"
return TOK_BY;
YY_BREAK
case 46:
YY_RULE_SETUP
#line 276 "asn1p_l.l"
return TOK_CHARACTER;
YY_BREAK
case 47:
YY_RULE_SETUP
#line 277 "asn1p_l.l"
return TOK_CHOICE;
YY_BREAK
case 48:
YY_RULE_SETUP
#line 278 "asn1p_l.l"
return TOK_CLASS;
YY_BREAK
case 49:
YY_RULE_SETUP
#line 279 "asn1p_l.l"
return TOK_COMPONENT;
YY_BREAK
case 50:
YY_RULE_SETUP
#line 280 "asn1p_l.l"
return TOK_COMPONENTS;
YY_BREAK
case 51:
YY_RULE_SETUP
#line 281 "asn1p_l.l"
return TOK_CONSTRAINED;
YY_BREAK
case 52:
YY_RULE_SETUP
#line 282 "asn1p_l.l"
return TOK_CONTAINING;
YY_BREAK
case 53:
YY_RULE_SETUP
#line 283 "asn1p_l.l"
return TOK_DEFAULT;
YY_BREAK
case 54:
YY_RULE_SETUP
#line 284 "asn1p_l.l"
{
/* Appeared in 1990, removed in 1997 */
if(TYPE_LIFETIME(1990, 1997))
return TOK_DEFINED;
fprintf(stderr, "Keyword \"%s\" at line %d "
"is obsolete\n", yytext, yylineno);
/* Deprecated since */
REJECT;
}
YY_BREAK
case 55:
YY_RULE_SETUP
#line 293 "asn1p_l.l"
return TOK_DEFINITIONS;
YY_BREAK
case 56:
YY_RULE_SETUP
#line 294 "asn1p_l.l"
return TOK_EMBEDDED;
YY_BREAK
case 57:
YY_RULE_SETUP
#line 295 "asn1p_l.l"
return TOK_ENCODED;
YY_BREAK
case 58:
YY_RULE_SETUP
#line 296 "asn1p_l.l"
return TOK_ENCODING_CONTROL;
YY_BREAK
case 59:
YY_RULE_SETUP
#line 297 "asn1p_l.l"
return TOK_END;
YY_BREAK
case 60:
YY_RULE_SETUP
#line 298 "asn1p_l.l"
return TOK_ENUMERATED;
YY_BREAK
case 61:
YY_RULE_SETUP
#line 299 "asn1p_l.l"
return TOK_EXCEPT;
YY_BREAK
case 62:
YY_RULE_SETUP
#line 300 "asn1p_l.l"
return TOK_EXPLICIT;
YY_BREAK
case 63:
YY_RULE_SETUP
#line 301 "asn1p_l.l"
return TOK_EXPORTS;
YY_BREAK
case 64:
YY_RULE_SETUP
#line 302 "asn1p_l.l"
return TOK_EXTENSIBILITY;
YY_BREAK
case 65:
YY_RULE_SETUP
#line 303 "asn1p_l.l"
return TOK_EXTERNAL;
YY_BREAK
case 66:
YY_RULE_SETUP
#line 304 "asn1p_l.l"
return TOK_FALSE;
YY_BREAK
case 67:
YY_RULE_SETUP
#line 305 "asn1p_l.l"
return TOK_FROM;
YY_BREAK
case 68:
YY_RULE_SETUP
#line 306 "asn1p_l.l"
return TOK_GeneralizedTime;
YY_BREAK
case 69:
YY_RULE_SETUP
#line 307 "asn1p_l.l"
return TOK_GeneralString;
YY_BREAK
case 70:
YY_RULE_SETUP
#line 308 "asn1p_l.l"
return TOK_GraphicString;
YY_BREAK
case 71:
YY_RULE_SETUP
#line 309 "asn1p_l.l"
return TOK_IA5String;
YY_BREAK
case 72:
YY_RULE_SETUP
#line 310 "asn1p_l.l"
return TOK_IDENTIFIER;
YY_BREAK
case 73:
YY_RULE_SETUP
#line 311 "asn1p_l.l"
return TOK_IMPLICIT;
YY_BREAK
case 74:
YY_RULE_SETUP
#line 312 "asn1p_l.l"
return TOK_IMPLIED;
YY_BREAK
case 75:
YY_RULE_SETUP
#line 313 "asn1p_l.l"
return TOK_IMPORTS;
YY_BREAK
case 76:
YY_RULE_SETUP
#line 314 "asn1p_l.l"
return TOK_INCLUDES;
YY_BREAK
case 77:
YY_RULE_SETUP
#line 315 "asn1p_l.l"
return TOK_INSTANCE;
YY_BREAK
case 78:
YY_RULE_SETUP
#line 316 "asn1p_l.l"
return TOK_INSTRUCTIONS;
YY_BREAK
case 79:
YY_RULE_SETUP
#line 317 "asn1p_l.l"
return TOK_INTEGER;
YY_BREAK
case 80:
YY_RULE_SETUP
#line 318 "asn1p_l.l"
return TOK_INTERSECTION;
YY_BREAK
case 81:
YY_RULE_SETUP
#line 319 "asn1p_l.l"
return TOK_ISO646String;
YY_BREAK
case 82:
YY_RULE_SETUP
#line 320 "asn1p_l.l"
return TOK_MAX;
YY_BREAK
case 83:
YY_RULE_SETUP
#line 321 "asn1p_l.l"
return TOK_MIN;
YY_BREAK
case 84:
YY_RULE_SETUP
#line 322 "asn1p_l.l"
return TOK_MINUS_INFINITY;
YY_BREAK
case 85:
YY_RULE_SETUP
#line 323 "asn1p_l.l"
return TOK_NULL;
YY_BREAK
case 86:
YY_RULE_SETUP
#line 324 "asn1p_l.l"
return TOK_NumericString;
YY_BREAK
case 87:
YY_RULE_SETUP
#line 325 "asn1p_l.l"
return TOK_OBJECT;
YY_BREAK
case 88:
YY_RULE_SETUP
#line 326 "asn1p_l.l"
return TOK_ObjectDescriptor;
YY_BREAK
case 89:
YY_RULE_SETUP
#line 327 "asn1p_l.l"
return TOK_OCTET;
YY_BREAK
case 90:
YY_RULE_SETUP
#line 328 "asn1p_l.l"
return TOK_OF;
YY_BREAK
case 91:
YY_RULE_SETUP
#line 329 "asn1p_l.l"
return TOK_OPTIONAL;
YY_BREAK
case 92:
YY_RULE_SETUP
#line 330 "asn1p_l.l"
return TOK_PATTERN;
YY_BREAK
case 93:
YY_RULE_SETUP
#line 331 "asn1p_l.l"
return TOK_PDV;
YY_BREAK
case 94:
YY_RULE_SETUP
#line 332 "asn1p_l.l"
return TOK_PLUS_INFINITY;
YY_BREAK
case 95:
YY_RULE_SETUP
#line 333 "asn1p_l.l"
return TOK_PRESENT;
YY_BREAK
case 96:
YY_RULE_SETUP
#line 334 "asn1p_l.l"
return TOK_PrintableString;
YY_BREAK
case 97:
YY_RULE_SETUP
#line 335 "asn1p_l.l"
return TOK_PRIVATE;
YY_BREAK
case 98:
YY_RULE_SETUP
#line 336 "asn1p_l.l"
return TOK_REAL;
YY_BREAK
case 99:
YY_RULE_SETUP
#line 337 "asn1p_l.l"
return TOK_RELATIVE_OID;
YY_BREAK
case 100:
YY_RULE_SETUP
#line 338 "asn1p_l.l"
return TOK_SEQUENCE;
YY_BREAK
case 101:
YY_RULE_SETUP
#line 339 "asn1p_l.l"
return TOK_SET;
YY_BREAK
case 102:
YY_RULE_SETUP
#line 340 "asn1p_l.l"
return TOK_SIZE;
YY_BREAK
case 103:
YY_RULE_SETUP
#line 341 "asn1p_l.l"
return TOK_STRING;
YY_BREAK
case 104:
YY_RULE_SETUP
#line 342 "asn1p_l.l"
return TOK_SYNTAX;
YY_BREAK
case 105:
YY_RULE_SETUP
#line 343 "asn1p_l.l"
return TOK_T61String;
YY_BREAK
case 106:
YY_RULE_SETUP
#line 344 "asn1p_l.l"
return TOK_TAGS;
YY_BREAK
case 107:
YY_RULE_SETUP
#line 345 "asn1p_l.l"
return TOK_TeletexString;
YY_BREAK
case 108:
YY_RULE_SETUP
#line 346 "asn1p_l.l"
return TOK_TRUE;
YY_BREAK
case 109:
YY_RULE_SETUP
#line 347 "asn1p_l.l"
return TOK_TYPE_IDENTIFIER;
YY_BREAK
case 110:
YY_RULE_SETUP
#line 348 "asn1p_l.l"
return TOK_UNION;
YY_BREAK
case 111:
YY_RULE_SETUP
#line 349 "asn1p_l.l"
return TOK_UNIQUE;
YY_BREAK
case 112:
YY_RULE_SETUP
#line 350 "asn1p_l.l"
return TOK_UNIVERSAL;
YY_BREAK
case 113:
YY_RULE_SETUP
#line 351 "asn1p_l.l"
{
if(TYPE_LIFETIME(1994, 0))
return TOK_UniversalString;
REJECT;
}
YY_BREAK
case 114:
YY_RULE_SETUP
#line 356 "asn1p_l.l"
return TOK_UTCTime;
YY_BREAK
case 115:
YY_RULE_SETUP
#line 357 "asn1p_l.l"
{
if(TYPE_LIFETIME(1994, 0))
return TOK_UTF8String;
REJECT;
}
YY_BREAK
case 116:
YY_RULE_SETUP
#line 362 "asn1p_l.l"
return TOK_VideotexString;
YY_BREAK
case 117:
YY_RULE_SETUP
#line 363 "asn1p_l.l"
return TOK_VisibleString;
YY_BREAK
case 118:
YY_RULE_SETUP
#line 364 "asn1p_l.l"
return TOK_WITH;
YY_BREAK
case 119:
YY_RULE_SETUP
#line 367 "asn1p_l.l"
{
asn1p_lval.tv_str = strdup(yytext);
return TOK_typefieldreference;
}
YY_BREAK
case 120:
YY_RULE_SETUP
#line 372 "asn1p_l.l"
{
asn1p_lval.tv_str = strdup(yytext);
return TOK_valuefieldreference;
}
YY_BREAK
case 121:
YY_RULE_SETUP
#line 378 "asn1p_l.l"
{
asn1p_lval.tv_str = strdup(yytext);
return TOK_identifier;
}
YY_BREAK
/*
* objectclassreference
*/
case 122:
YY_RULE_SETUP
#line 386 "asn1p_l.l"
{
asn1p_lval.tv_str = strdup(yytext);
return TOK_capitalreference;
}
YY_BREAK
/*
* typereference, modulereference
* NOTE: TOK_objectclassreference must be combined
* with this token to produce true typereference.
*/
case 123:
YY_RULE_SETUP
#line 396 "asn1p_l.l"
{
asn1p_lval.tv_str = strdup(yytext);
return TOK_typereference;
}
YY_BREAK
case 124:
YY_RULE_SETUP
#line 401 "asn1p_l.l"
return TOK_PPEQ;
YY_BREAK
case 125:
YY_RULE_SETUP
#line 403 "asn1p_l.l"
return TOK_ThreeDots;
YY_BREAK
case 126:
YY_RULE_SETUP
#line 404 "asn1p_l.l"
return TOK_TwoDots;
YY_BREAK
case 127:
YY_RULE_SETUP
#line 408 "asn1p_l.l"
{
asn1p_lval.tv_opaque.buf = strdup(yytext);
asn1p_lval.tv_opaque.len = yyleng;
return TOK_opaque;
}
YY_BREAK
case 128:
YY_RULE_SETUP
#line 414 "asn1p_l.l"
{
asn1p_lval.tv_opaque.buf = strdup(yytext);
asn1p_lval.tv_opaque.len = yyleng;
return TOK_opaque;
}
YY_BREAK
case 129:
YY_RULE_SETUP
#line 420 "asn1p_l.l"
{
yy_pop_state();
return '}';
}
YY_BREAK
case 130:
YY_RULE_SETUP
#line 428 "asn1p_l.l"
/* Ignore whitespace */
YY_BREAK
case 131:
YY_RULE_SETUP
#line 431 "asn1p_l.l"
{
asn1c_integer_t v1 = -1, v2 = -1;
char *p;
for(p = yytext; *p; p++)
if(*p >= '0' && *p <= '9')
{ v1 = asn1p_atoi(p); break; }
while(*p >= '0' && *p <= '9') p++; /* Skip digits */
for(; *p; p++) if(*p >= '0' && *p <= '9')
{ v2 = asn1p_atoi(p); break; }
if(v1 < 0 || v1 > 7) {
fprintf(stderr, "%s at line %d: X.680:2003, #37.14 "
"mandates 0..7 range for Tuple's TableColumn\n",
yytext, yylineno);
return -1;
}
if(v2 < 0 || v2 > 15) {
fprintf(stderr, "%s at line %d: X.680:2003, #37.14 "
"mandates 0..15 range for Tuple's TableRow\n",
yytext, yylineno);
return -1;
}
asn1p_lval.a_int = (v1 << 4) + v2;
return TOK_tuple;
}
YY_BREAK
case 132:
YY_RULE_SETUP
#line 456 "asn1p_l.l"
{
asn1c_integer_t v1 = -1, v2 = -1, v3 = -1, v4 = -1;
char *p;
for(p = yytext; *p; p++)
if(*p >= '0' && *p <= '9')
{ v1 = asn1p_atoi(p); break; }
while(*p >= '0' && *p <= '9') p++; /* Skip digits */
for(; *p; p++) if(*p >= '0' && *p <= '9')
{ v2 = asn1p_atoi(p); break; }
while(*p >= '0' && *p <= '9') p++;
for(; *p; p++) if(*p >= '0' && *p <= '9')
{ v3 = asn1p_atoi(p); break; }
while(*p >= '0' && *p <= '9') p++;
for(; *p; p++) if(*p >= '0' && *p <= '9')
{ v4 = asn1p_atoi(p); break; }
if(v1 < 0 || v1 > 127) {
fprintf(stderr, "%s at line %d: X.680:2003, #37.12 "
"mandates 0..127 range for Quadruple's Group\n",
yytext, yylineno);
return -1;
}
if(v2 < 0 || v2 > 255) {
fprintf(stderr, "%s at line %d: X.680:2003, #37.12 "
"mandates 0..255 range for Quadruple's Plane\n",
yytext, yylineno);
return -1;
}
if(v3 < 0 || v3 > 255) {
fprintf(stderr, "%s at line %d: X.680:2003, #37.12 "
"mandates 0..255 range for Quadruple's Row\n",
yytext, yylineno);
return -1;
}
if(v4 < 0 || v4 > 255) {
fprintf(stderr, "%s at line %d: X.680:2003, #37.12 "
"mandates 0..255 range for Quadruple's Cell\n",
yytext, yylineno);
return -1;
}
asn1p_lval.a_int = (v1 << 24) | (v2 << 16) | (v3 << 8) | v4;
return TOK_quadruple;
}
YY_BREAK
case 133:
YY_RULE_SETUP
#line 500 "asn1p_l.l"
return yytext[0];
YY_BREAK
case 134:
YY_RULE_SETUP
#line 502 "asn1p_l.l"
{
if(TYPE_LIFETIME(1994, 0))
fprintf(stderr, "ERROR: ");
fprintf(stderr,
"Symbol '%c' at line %d is prohibited "
"by ASN.1:1994 and ASN.1:1997\n",
yytext[0], yylineno);
if(TYPE_LIFETIME(1994, 0))
return -1;
}
YY_BREAK
case 135:
YY_RULE_SETUP
#line 513 "asn1p_l.l"
{
fprintf(stderr,
"Unexpected token at line %d: \"%s\"\n",
yylineno, yytext);
while(YYSTATE != INITIAL)
yy_pop_state();
if(0) {
yy_top_state(); /* Just to use this function. */
yy_fatal_error("Parse error");
}
return -1;
}
YY_BREAK
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(dash_comment):
case YY_STATE_EOF(idash_comment):
case YY_STATE_EOF(cpp_comment):
case YY_STATE_EOF(quoted):
case YY_STATE_EOF(opaque):
case YY_STATE_EOF(encoding_control):
case YY_STATE_EOF(with_syntax):
#line 526 "asn1p_l.l"
{
while(YYSTATE != INITIAL)
yy_pop_state();
yyterminate();
}
YY_BREAK
case 136:
YY_RULE_SETUP
#line 533 "asn1p_l.l"
YY_FATAL_ERROR( "flex scanner jammed" );
YY_BREAK
#line 3701 "asn1p_l.c"
case YY_END_OF_BUFFER:
{
/* Amount of text matched not including the EOB char. */
int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1;
/* Undo the effects of YY_DO_BEFORE_ACTION. */
*yy_cp = yy_hold_char;
YY_RESTORE_YY_MORE_OFFSET
if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW )
{
/* We're scanning a new file or input source. It's
* possible that this happened because the user
* just pointed yyin at a new source and called
* yylex(). If so, then we have to assure
* consistency between yy_current_buffer and our
* globals. Here is the right place to do so, because
* this is the first action (other than possibly a
* back-up) that will match for the new input source.
*/
yy_n_chars = yy_current_buffer->yy_n_chars;
yy_current_buffer->yy_input_file = yyin;
yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL;
}
/* Note that here we test for yy_c_buf_p "<=" to the position
* of the first EOB in the buffer, since yy_c_buf_p will
* already have been incremented past the NUL character
* (since all states make transitions on EOB to the
* end-of-buffer state). Contrast this with the test
* in input().
*/
if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
{ /* This was really a NUL. */
yy_state_type yy_next_state;
yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state();
/* Okay, we're now positioned to make the NUL
* transition. We couldn't have
* yy_get_previous_state() go ahead and do it
* for us because it doesn't know how to deal
* with the possibility of jamming (and we don't
* want to build jamming into it because then it
* will run more slowly).
*/
yy_next_state = yy_try_NUL_trans( yy_current_state );
yy_bp = yytext_ptr + YY_MORE_ADJ;
if ( yy_next_state )
{
/* Consume the NUL. */
yy_cp = ++yy_c_buf_p;
yy_current_state = yy_next_state;
goto yy_match;
}
else
{
yy_cp = yy_c_buf_p;
goto yy_find_action;
}
}
else switch ( yy_get_next_buffer() )
{
case EOB_ACT_END_OF_FILE:
{
yy_did_buffer_switch_on_eof = 0;
if ( yywrap() )
{
/* Note: because we've taken care in
* yy_get_next_buffer() to have set up
* yytext, we can now set up
* yy_c_buf_p so that if some total
* hoser (like flex itself) wants to
* call the scanner after we return the
* YY_NULL, it'll still work - another
* YY_NULL will get returned.
*/
yy_c_buf_p = yytext_ptr + YY_MORE_ADJ;
yy_act = YY_STATE_EOF(YY_START);
goto do_action;
}
else
{
if ( ! yy_did_buffer_switch_on_eof )
YY_NEW_FILE;
}
break;
}
case EOB_ACT_CONTINUE_SCAN:
yy_c_buf_p =
yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state();
yy_cp = yy_c_buf_p;
yy_bp = yytext_ptr + YY_MORE_ADJ;
goto yy_match;
case EOB_ACT_LAST_MATCH:
yy_c_buf_p =
&yy_current_buffer->yy_ch_buf[yy_n_chars];
yy_current_state = yy_get_previous_state();
yy_cp = yy_c_buf_p;
yy_bp = yytext_ptr + YY_MORE_ADJ;
goto yy_find_action;
}
break;
}
default:
YY_FATAL_ERROR(
"fatal flex scanner internal error--no action found" );
} /* end of action switch */
} /* end of scanning one token */
} /* end of yylex */
/* yy_get_next_buffer - try to read in a new buffer
*
* Returns a code representing an action:
* EOB_ACT_LAST_MATCH -
* EOB_ACT_CONTINUE_SCAN - continue scanning from current position
* EOB_ACT_END_OF_FILE - end of file
*/
static int yy_get_next_buffer()
{
register char *dest = yy_current_buffer->yy_ch_buf;
register char *source = yytext_ptr;
register int number_to_move, i;
int ret_val;
if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
YY_FATAL_ERROR(
"fatal flex scanner internal error--end of buffer missed" );
if ( yy_current_buffer->yy_fill_buffer == 0 )
{ /* Don't try to fill the buffer, so this is an EOF. */
if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 )
{
/* We matched a single character, the EOB, so
* treat this as a final EOF.
*/
return EOB_ACT_END_OF_FILE;
}
else
{
/* We matched some text prior to the EOB, first
* process it.
*/
return EOB_ACT_LAST_MATCH;
}
}
/* Try to read more data. */
/* First move last chars to start of buffer. */
number_to_move = (int) (yy_c_buf_p - yytext_ptr) - 1;
for ( i = 0; i < number_to_move; ++i )
*(dest++) = *(source++);
if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_EOF_PENDING )
/* don't do the read, it's not guaranteed to return an EOF,
* just force an EOF
*/
yy_current_buffer->yy_n_chars = yy_n_chars = 0;
else
{
int num_to_read =
yy_current_buffer->yy_buf_size - number_to_move - 1;
while ( num_to_read <= 0 )
{ /* Not enough room in the buffer - grow it. */
#ifdef YY_USES_REJECT
YY_FATAL_ERROR(
"input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
#else
/* just a shorter name for the current buffer */
YY_BUFFER_STATE b = yy_current_buffer;
int yy_c_buf_p_offset =
(int) (yy_c_buf_p - b->yy_ch_buf);
if ( b->yy_is_our_buffer )
{
int new_size = b->yy_buf_size * 2;
if ( new_size <= 0 )
b->yy_buf_size += b->yy_buf_size / 8;
else
b->yy_buf_size *= 2;
b->yy_ch_buf = (char *)
/* Include room in for 2 EOB chars. */
yy_flex_realloc( (void *) b->yy_ch_buf,
b->yy_buf_size + 2 );
}
else
/* Can't grow it, we don't own it. */
b->yy_ch_buf = 0;
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR(
"fatal error - scanner input buffer overflow" );
yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];
num_to_read = yy_current_buffer->yy_buf_size -
number_to_move - 1;
#endif
}
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
/* Read in more data. */
YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
yy_n_chars, num_to_read );
yy_current_buffer->yy_n_chars = yy_n_chars;
}
if ( yy_n_chars == 0 )
{
if ( number_to_move == YY_MORE_ADJ )
{
ret_val = EOB_ACT_END_OF_FILE;
yyrestart( yyin );
}
else
{
ret_val = EOB_ACT_LAST_MATCH;
yy_current_buffer->yy_buffer_status =
YY_BUFFER_EOF_PENDING;
}
}
else
ret_val = EOB_ACT_CONTINUE_SCAN;
yy_n_chars += number_to_move;
yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
yytext_ptr = &yy_current_buffer->yy_ch_buf[0];
return ret_val;
}
/* yy_get_previous_state - get the state just before the EOB char was reached */
static yy_state_type yy_get_previous_state()
{
register yy_state_type yy_current_state;
register char *yy_cp;
yy_current_state = yy_start;
yy_state_ptr = yy_state_buf;
*yy_state_ptr++ = yy_current_state;
for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
{
register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 885 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
*yy_state_ptr++ = yy_current_state;
}
return yy_current_state;
}
/* yy_try_NUL_trans - try to make a transition on the NUL character
*
* synopsis
* next_state = yy_try_NUL_trans( current_state );
*/
#ifdef YY_USE_PROTOS
static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state )
#else
static yy_state_type yy_try_NUL_trans( yy_current_state )
yy_state_type yy_current_state;
#endif
{
register int yy_is_jam;
register YY_CHAR yy_c = 1;
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 885 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
yy_is_jam = (yy_current_state == 884);
if ( ! yy_is_jam )
*yy_state_ptr++ = yy_current_state;
return yy_is_jam ? 0 : yy_current_state;
}
#ifndef YY_NO_UNPUT
#ifdef YY_USE_PROTOS
static void yyunput( int c, register char *yy_bp )
#else
static void yyunput( c, yy_bp )
int c;
register char *yy_bp;
#endif
{
register char *yy_cp = yy_c_buf_p;
/* undo effects of setting up yytext */
*yy_cp = yy_hold_char;
if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
{ /* need to shift things up to make room */
/* +2 for EOB chars. */
register int number_to_move = yy_n_chars + 2;
register char *dest = &yy_current_buffer->yy_ch_buf[
yy_current_buffer->yy_buf_size + 2];
register char *source =
&yy_current_buffer->yy_ch_buf[number_to_move];
while ( source > yy_current_buffer->yy_ch_buf )
*--dest = *--source;
yy_cp += (int) (dest - source);
yy_bp += (int) (dest - source);
yy_current_buffer->yy_n_chars =
yy_n_chars = yy_current_buffer->yy_buf_size;
if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
YY_FATAL_ERROR( "flex scanner push-back overflow" );
}
*--yy_cp = (char) c;
if ( c == '\n' )
--yylineno;
yytext_ptr = yy_bp;
yy_hold_char = *yy_cp;
yy_c_buf_p = yy_cp;
}
#endif /* ifndef YY_NO_UNPUT */
#ifdef __cplusplus
static int yyinput()
#else
static int input()
#endif
{
int c;
*yy_c_buf_p = yy_hold_char;
if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
{
/* yy_c_buf_p now points to the character we want to return.
* If this occurs *before* the EOB characters, then it's a
* valid NUL; if not, then we've hit the end of the buffer.
*/
if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
/* This was really a NUL. */
*yy_c_buf_p = '\0';
else
{ /* need more input */
int offset = yy_c_buf_p - yytext_ptr;
++yy_c_buf_p;
switch ( yy_get_next_buffer() )
{
case EOB_ACT_LAST_MATCH:
/* This happens because yy_g_n_b()
* sees that we've accumulated a
* token and flags that we need to
* try matching the token before
* proceeding. But for input(),
* there's no matching to consider.
* So convert the EOB_ACT_LAST_MATCH
* to EOB_ACT_END_OF_FILE.
*/
/* Reset buffer status. */
yyrestart( yyin );
/* fall through */
case EOB_ACT_END_OF_FILE:
{
if ( yywrap() )
return EOF;
if ( ! yy_did_buffer_switch_on_eof )
YY_NEW_FILE;
#ifdef __cplusplus
return yyinput();
#else
return input();
#endif
}
case EOB_ACT_CONTINUE_SCAN:
yy_c_buf_p = yytext_ptr + offset;
break;
}
}
}
c = *(unsigned char *) yy_c_buf_p; /* cast for 8-bit char's */
*yy_c_buf_p = '\0'; /* preserve yytext */
yy_hold_char = *++yy_c_buf_p;
if ( c == '\n' )
++yylineno;
return c;
}
#ifdef YY_USE_PROTOS
void yyrestart( FILE *input_file )
#else
void yyrestart( input_file )
FILE *input_file;
#endif
{
if ( ! yy_current_buffer )
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );
yy_init_buffer( yy_current_buffer, input_file );
yy_load_buffer_state();
}
#ifdef YY_USE_PROTOS
void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
#else
void yy_switch_to_buffer( new_buffer )
YY_BUFFER_STATE new_buffer;
#endif
{
if ( yy_current_buffer == new_buffer )
return;
if ( yy_current_buffer )
{
/* Flush out information for old buffer. */
*yy_c_buf_p = yy_hold_char;
yy_current_buffer->yy_buf_pos = yy_c_buf_p;
yy_current_buffer->yy_n_chars = yy_n_chars;
}
yy_current_buffer = new_buffer;
yy_load_buffer_state();
/* We don't actually know whether we did this switch during
* EOF (yywrap()) processing, but the only time this flag
* is looked at is after yywrap() is called, so it's safe
* to go ahead and always set it.
*/
yy_did_buffer_switch_on_eof = 1;
}
#ifdef YY_USE_PROTOS
void yy_load_buffer_state( void )
#else
void yy_load_buffer_state()
#endif
{
yy_n_chars = yy_current_buffer->yy_n_chars;
yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
yyin = yy_current_buffer->yy_input_file;
yy_hold_char = *yy_c_buf_p;
}
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
#else
YY_BUFFER_STATE yy_create_buffer( file, size )
FILE *file;
int size;
#endif
{
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_buf_size = size;
/* yy_ch_buf has to be 2 characters longer than the size given because
* we need to put in 2 end-of-buffer characters.
*/
b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 );
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_is_our_buffer = 1;
yy_init_buffer( b, file );
return b;
}
#ifdef YY_USE_PROTOS
void yy_delete_buffer( YY_BUFFER_STATE b )
#else
void yy_delete_buffer( b )
YY_BUFFER_STATE b;
#endif
{
if ( ! b )
return;
if ( b == yy_current_buffer )
yy_current_buffer = (YY_BUFFER_STATE) 0;
if ( b->yy_is_our_buffer )
yy_flex_free( (void *) b->yy_ch_buf );
yy_flex_free( (void *) b );
}
#ifndef YY_ALWAYS_INTERACTIVE
#ifndef YY_NEVER_INTERACTIVE
extern int isatty YY_PROTO(( int ));
#endif
#endif
#ifdef YY_USE_PROTOS
void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
#else
void yy_init_buffer( b, file )
YY_BUFFER_STATE b;
FILE *file;
#endif
{
yy_flush_buffer( b );
b->yy_input_file = file;
b->yy_fill_buffer = 1;
#if YY_ALWAYS_INTERACTIVE
b->yy_is_interactive = 1;
#else
#if YY_NEVER_INTERACTIVE
b->yy_is_interactive = 0;
#else
b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
#endif
#endif
}
#ifdef YY_USE_PROTOS
void yy_flush_buffer( YY_BUFFER_STATE b )
#else
void yy_flush_buffer( b )
YY_BUFFER_STATE b;
#endif
{
if ( ! b )
return;
b->yy_n_chars = 0;
/* We always need two end-of-buffer characters. The first causes
* a transition to the end-of-buffer state. The second causes
* a jam in that state.
*/
b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
b->yy_buf_pos = &b->yy_ch_buf[0];
b->yy_at_bol = 1;
b->yy_buffer_status = YY_BUFFER_NEW;
if ( b == yy_current_buffer )
yy_load_buffer_state();
}
#ifndef YY_NO_SCAN_BUFFER
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size )
#else
YY_BUFFER_STATE yy_scan_buffer( base, size )
char *base;
yy_size_t size;
#endif
{
YY_BUFFER_STATE b;
if ( size < 2 ||
base[size-2] != YY_END_OF_BUFFER_CHAR ||
base[size-1] != YY_END_OF_BUFFER_CHAR )
/* They forgot to leave room for the EOB's. */
return 0;
b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
b->yy_buf_pos = b->yy_ch_buf = base;
b->yy_is_our_buffer = 0;
b->yy_input_file = 0;
b->yy_n_chars = b->yy_buf_size;
b->yy_is_interactive = 0;
b->yy_at_bol = 1;
b->yy_fill_buffer = 0;
b->yy_buffer_status = YY_BUFFER_NEW;
yy_switch_to_buffer( b );
return b;
}
#endif
#ifndef YY_NO_SCAN_STRING
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str )
#else
YY_BUFFER_STATE yy_scan_string( yy_str )
yyconst char *yy_str;
#endif
{
int len;
for ( len = 0; yy_str[len]; ++len )
;
return yy_scan_bytes( yy_str, len );
}
#endif
#ifndef YY_NO_SCAN_BYTES
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len )
#else
YY_BUFFER_STATE yy_scan_bytes( bytes, len )
yyconst char *bytes;
int len;
#endif
{
YY_BUFFER_STATE b;
char *buf;
yy_size_t n;
int i;
/* Get memory for full buffer, including space for trailing EOB's. */
n = len + 2;
buf = (char *) yy_flex_alloc( n );
if ( ! buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
for ( i = 0; i < len; ++i )
buf[i] = bytes[i];
buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;
b = yy_scan_buffer( buf, n );
if ( ! b )
YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
/* It's okay to grow etc. this buffer, and we should throw it
* away when we're done.
*/
b->yy_is_our_buffer = 1;
return b;
}
#endif
#ifndef YY_NO_PUSH_STATE
#ifdef YY_USE_PROTOS
static void yy_push_state( int new_state )
#else
static void yy_push_state( new_state )
int new_state;
#endif
{
if ( yy_start_stack_ptr >= yy_start_stack_depth )
{
yy_size_t new_size;
yy_start_stack_depth += YY_START_STACK_INCR;
new_size = yy_start_stack_depth * sizeof( int );
if ( ! yy_start_stack )
yy_start_stack = (int *) yy_flex_alloc( new_size );
else
yy_start_stack = (int *) yy_flex_realloc(
(void *) yy_start_stack, new_size );
if ( ! yy_start_stack )
YY_FATAL_ERROR(
"out of memory expanding start-condition stack" );
}
yy_start_stack[yy_start_stack_ptr++] = YY_START;
BEGIN(new_state);
}
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state()
{
if ( --yy_start_stack_ptr < 0 )
YY_FATAL_ERROR( "start-condition stack underflow" );
BEGIN(yy_start_stack[yy_start_stack_ptr]);
}
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state()
{
return yy_start_stack[yy_start_stack_ptr - 1];
}
#endif
#ifndef YY_EXIT_FAILURE
#define YY_EXIT_FAILURE 2
#endif
#ifdef YY_USE_PROTOS
static void yy_fatal_error( yyconst char msg[] )
#else
static void yy_fatal_error( msg )
char msg[];
#endif
{
(void) fprintf( stderr, "%s\n", msg );
exit( YY_EXIT_FAILURE );
}
/* Redefine yyless() so it works in section 3 code. */
#undef yyless
#define yyless(n) \
do \
{ \
/* Undo effects of setting up yytext. */ \
yytext[yyleng] = yy_hold_char; \
yy_c_buf_p = yytext + n; \
yy_hold_char = *yy_c_buf_p; \
*yy_c_buf_p = '\0'; \
yyleng = n; \
} \
while ( 0 )
/* Internal utility routines. */
#ifndef yytext_ptr
#ifdef YY_USE_PROTOS
static void yy_flex_strncpy( char *s1, yyconst char *s2, int n )
#else
static void yy_flex_strncpy( s1, s2, n )
char *s1;
yyconst char *s2;
int n;
#endif
{
register int i;
for ( i = 0; i < n; ++i )
s1[i] = s2[i];
}
#endif
#ifdef YY_NEED_STRLEN
#ifdef YY_USE_PROTOS
static int yy_flex_strlen( yyconst char *s )
#else
static int yy_flex_strlen( s )
yyconst char *s;
#endif
{
register int n;
for ( n = 0; s[n]; ++n )
;
return n;
}
#endif
#ifdef YY_USE_PROTOS
static void *yy_flex_alloc( yy_size_t size )
#else
static void *yy_flex_alloc( size )
yy_size_t size;
#endif
{
return (void *) malloc( size );
}
#ifdef YY_USE_PROTOS
static void *yy_flex_realloc( void *ptr, yy_size_t size )
#else
static void *yy_flex_realloc( ptr, size )
void *ptr;
yy_size_t size;
#endif
{
/* The cast to (char *) in the following accommodates both
* implementations that use char* generic pointers, and those
* that use void* generic pointers. It works with the latter
* because both ANSI C and C++ allow castless assignment from
* any pointer type to void*, and deal with argument conversions
* as though doing an assignment.
*/
return (void *) realloc( (char *) ptr, size );
}
#ifdef YY_USE_PROTOS
static void yy_flex_free( void *ptr )
#else
static void yy_flex_free( ptr )
void *ptr;
#endif
{
free( ptr );
}
#if YY_MAIN
int main()
{
yylex();
return 0;
}
#endif
#line 533 "asn1p_l.l"
/*
* Very dirty but wonderful hack allowing to rule states from within .y file.
*/
void asn1p_lexer_hack_push_opaque_state() { yy_push_state(opaque); }
/*
* Another hack which disables recognizing some tokens when inside WITH SYNTAX.
*/
void asn1p_lexer_hack_enable_with_syntax() { yy_push_state(with_syntax); }
/* Yet another */
void asn1p_lexer_hack_push_encoding_control() {
yy_push_state(encoding_control);
}
static asn1c_integer_t
asn1p_atoi(char *ptr) {
asn1c_integer_t value;
errno = 0; /* Clear the error code */
if(sizeof(value) <= sizeof(int)) {
value = strtol(ptr, 0, 10);
} else {
#ifdef HAVE_STRTOIMAX
value = strtoimax(ptr, 0, 10);
#elif HAVE_STRTOLL
value = strtoll(ptr, 0, 10);
#else
value = strtol(ptr, 0, 10);
#endif
}
if(errno == ERANGE) {
fprintf(stderr,
"Value \"%s\" at line %d is too large "
"for this compiler! Please contact the asn1c author.\n",
ptr, yylineno);
errno = ERANGE; /* Restore potentially clobbered errno */
}
return value;
}