language-scanner.c

#define yy_create_buffer php_create_buffer
#define yy_delete_buffer php_delete_buffer
#define yy_scan_buffer php_scan_buffer
#define yy_scan_string php_scan_string
#define yy_scan_bytes php_scan_bytes
#define yy_flex_debug php_flex_debug
#define yy_init_buffer php_init_buffer
#define yy_flush_buffer php_flush_buffer
#define yy_load_buffer_state php_load_buffer_state
#define yy_switch_to_buffer php_switch_to_buffer
#define yyin phpin
#define yyleng phpleng
#define yylex phplex
#define yyout phpout
#define yyrestart phprestart
#define yytext phptext

#line 19 "language-scanner.c"
/* A lexical scanner generated by flex */

/* Scanner skeleton version:
 * $Header: /home/daffy/u0/vern/flex/RCS/flex.skl,v 2.91 96/09/10 16:58:48 vern Exp $
 */

#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5

#include <stdio.h>


/* 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 yywrap() 1
#define YY_SKIP_YYWRAP
typedef unsigned char YY_CHAR;
FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
typedef int yy_state_type;
extern char *yytext;
#define yytext_ptr yytext

static yy_state_type yy_get_previous_state YY_PROTO(( void ));
static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
static int yy_get_next_buffer YY_PROTO(( void ));
static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));

/* Done after the current pattern has been matched and before the
 * corresponding action - sets up yytext.
 */
#define YY_DO_BEFORE_ACTION \
	yytext_ptr = yy_bp; \
	yyleng = (int) (yy_cp - yy_bp); \
	yy_hold_char = *yy_cp; \
	*yy_cp = '\0'; \
	yy_c_buf_p = yy_cp;

#define YY_NUM_RULES 109
#define YY_END_OF_BUFFER 110
static yyconst short int yy_accept[1258] =
    {   0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
      110,   77,   77,   77,  108,   84,   84,   71,   89,   85,
       71,   71,   71,   91,   71,   71,   71,   71,   71,   71,
       72,   72,   71,   71,   71,   71,   71,   82,   90,   82,
       82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
       82,   82,   82,   82,   82,   82,   82,   82,   82,   71,
       92,   92,  105,   97,   92,   73,   73,   97,  108,   83,
       94,   93,   93,  107,  108,   95,  108,  106,   77,    0,
       77,   79,   78,   77,   84,   50,   85,    0,   58,   88,
       65,   61,    0,    0,    0,    0,    0,    0,    0,    0,

       55,   47,   53,   48,   54,   26,   74,   57,   86,   85,
       56,   74,   72,    0,    0,    0,   69,   51,   49,   44,
       52,   70,   87,   63,   82,   82,   82,   82,   82,   82,
       82,   82,   82,   82,   82,   13,   82,   82,   82,   82,
       82,   82,   82,   82,   82,   82,    7,   82,   82,   82,
       82,   82,   66,   82,   82,   82,   82,   82,   82,   82,
       82,   82,   62,   64,   92,   96,   26,   73,    0,  104,
      100,  102,  104,   83,   94,   93,    0,   98,   99,   95,
      101,   77,    0,   79,    0,    0,   85,    0,   88,    0,
        0,    0,    0,    0,    0,    0,    0,   74,    0,   74,

       72,    0,   59,   60,   87,    0,   82,   82,   67,   82,
       82,   82,   82,   82,   82,   82,    2,   82,   82,   82,
       82,   82,   82,   82,   14,   82,   82,   82,   82,   82,
       82,   27,   82,   82,   82,   82,   82,   82,   82,   82,
       28,   82,   68,   73,  102,  103,   77,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,   82,   82,
       82,   82,   18,   82,   82,   82,   82,   82,   22,   10,
       82,   82,   82,   82,   82,   34,    1,   82,   82,   82,
       82,   82,   82,   45,   82,   82,   82,   82,   82,   82,
       82,   82,   82,  102,  103,   77,    0,    0,    0,    0,

        0,    0,    0,   29,    0,    0,    0,    0,    0,   82,
       82,   46,   20,   82,   24,    5,   82,   82,   82,   41,
       82,    9,   82,   82,   82,   82,   82,   82,   82,   40,
       82,   23,   82,   82,   82,   82,   82,   43,   11,   77,
        0,   80,    0,    0,    0,    0,    0,    0,    0,   30,
        0,    0,   82,   82,   82,   82,   82,    8,   15,   82,
       82,   82,   82,   39,   82,   82,   82,   82,    6,   82,
       42,   16,   77,    0,    0,    0,    0,   32,    0,    0,
        0,    0,   82,   82,   82,   82,   19,   82,   82,   25,
       82,   82,   35,   82,   36,   82,   77,    0,    0,    0,

        0,    0,   33,    0,   31,    0,   76,   75,   82,   21,
       82,   12,    4,   82,   82,   82,   77,    0,    0,    0,
        0,   17,   82,   82,   82,   77,    0,    0,    0,   82,
       82,   82,   77,    0,    0,    0,   82,   82,   82,   37,
       77,    0,    0,    0,   82,   82,    3,   77,    0,    0,
        0,   82,   82,   77,    0,    0,    0,   82,   77,    0,
        0,    0,   82,   77,    0,    0,    0,   38,   77,    0,
        0,    0,    0,   77,    0,   81,    0,    0,    0,    0,
       77,    0,   81,    0,    0,    0,    0,   77,    0,    0,
        0,    0,   77,    0,    0,    0,    0,   78,   77,    0,

       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,

       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,

       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,

       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,

       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,

       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,

       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,

       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,   77,    0,   77,    0,
       77,    0,   77,    0,   77,    0,    0
    } ;

static yyconst int yy_ec[256] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
        1,    1,    4,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    2,    5,    6,    7,    8,    9,   10,   11,   12,
       13,   14,   15,   16,   17,   18,   19,   20,   21,   21,
       21,   21,   21,   21,   21,   22,   22,   16,   16,   23,
       24,   25,   26,   16,   32,   33,   34,   35,   36,   37,
       38,   39,   40,   41,   42,   43,   44,   45,   46,   47,
       48,   49,   50,   51,   52,   53,   54,   55,   56,   57,
       27,   28,   27,   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,   55,
       56,   57,   58,   59,   27,   16,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,

       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57
    } ;

static yyconst int yy_meta[60] =
    {   0,
        1,    2,    3,    4,    2,    1,    2,    1,    2,    2,
        5,    2,    2,    2,    2,    2,    2,    2,    2,    6,
        6,    6,    7,    2,    2,    2,    1,    1,    2,    8,
        1,    9,    9,    9,    9,    9,    9,    8,    8,    8,
        8,    8,    8,    8,    8,    8,    8,    8,    8,    8,
        8,    8,    8,    8,    8,    8,    8,   10,    2
    } ;

static yyconst short int yy_base[1671] =
    {   0,
        0,    1,   24,    0,   83,    0,  140,  141,  139,  143,
     6702, 6678, 6677,  137, 6703,    3,    6, 6675, 6703, 6672,
     6703,  123,  140, 6703,  151, 6673,  141,  137,  155,  166,
      137,  184,  170,  157,  174, 6671, 6671, 6664, 6703,  158,
     6644,  176,  175,  180,  114, 6649, 6651,  181,    0, 6650,
     6653,  129, 6639, 6651,  178, 6641, 6653, 6645, 6637,  185,
        0,    0, 6703,    0, 6657,  216,    0, 6703,  221,    0,
     6650, 6652, 6651, 6703,  217, 6672,  219, 6703, 6654,  225,
     6653, 6651, 6627, 6639,    9, 6703, 6646,  243, 6703,   11,
     6703, 6703,  247, 6622, 6624, 6626, 6623, 6634, 6630, 6614,

     6703, 6703, 6703, 6703, 6703, 6703,  233, 6703, 6703, 6638,
     6703,  236,  241,  268,    0, 6613, 6638, 6703, 6703, 6703,
     6703, 6637,   13, 6703,    0,  173, 6625, 6610, 6622, 6607,
     6604, 6623, 6609, 6616, 6616,    0, 6612, 6600, 6602, 6613,
     6615,  227, 6597, 6600, 6598, 6605,    0, 6608, 6591, 6590,
     6585, 6603,    0, 6597,  222, 6590, 6603, 6594, 6583, 6583,
     6591, 6581, 6703, 6703,    0, 6703,    0,  244,    0, 6703,
     6703,  260,    0,    0, 6598, 6600, 6599, 6703, 6703, 6620,
     6703, 6602,  277, 6703, 6585, 6574, 6703, 6619, 6703, 6618,
     6571, 6567, 6572, 6566, 6575, 6583, 6565,  284,  287,  290,

        0, 6579, 6703, 6703, 6703, 6609, 6571, 6570,    0, 6577,
     6576, 6571, 6561, 6555,  241, 6572,    0, 6557, 6566, 6550,
      276, 6557, 6548, 6562,    0, 6563, 6563, 6556, 6551, 6557,
     6541,    0, 6561, 6545, 6537, 6536, 6533, 6535, 6534, 6548,
        0, 6540,    0,    0,  274,    0, 6559,  292, 6534, 6540,
     6547, 6545, 6545,  312, 6540, 6532, 6534, 6524, 6529, 6526,
     6514, 6527,    0, 6534, 6517, 6515, 6525, 6512,    0, 6523,
     6506, 6515, 6523, 6505, 6519,    0,    0, 6512, 6505, 6523,
     6511, 6501, 6501,    0, 6514, 6499, 6509, 6499, 6517, 6506,
     6511, 6493, 6507, 6703, 6703, 6519,  308,  319, 6494, 6484,

     6496, 6487,  322, 6703, 6499, 6502,  326, 6490, 6494, 6497,
     6496,    0,    0, 6480,    0,    0, 6485, 6486, 6491,    0,
     6478,    0, 6486, 6485, 6489, 6483, 6479, 6481, 6485,    0,
     6467,    0, 6469, 6472, 6466, 6481, 6475,    0,    0, 6490,
      310, 6703, 6461, 6460,  327, 6474, 6473, 6457,  330, 6703,
     6469, 6459, 6475, 6474, 6463, 6450, 6450,    0,    0, 6449,
     6456, 6448, 6451,    0, 6458, 6459, 6449, 6457,    0, 6446,
        0,    0, 6468,  328, 6441,  342,  339, 6703, 6440,  348,
      351, 6437, 6457, 6456, 6439, 6448,    0, 6449, 6446,    0,
     6436, 6441,    0, 6445,    0, 6426, 6454,  346, 6444,  363,

      355,  357, 6703,  360, 6703,  372,    0,    0, 6430,    0,
     6435,    0,    0, 6422, 6421, 6422, 2486,  354, 2474, 2463,
      380,    0, 2464, 2451, 2456, 2464,  362, 2444, 2424,  193,
     2416, 2417, 2419,  372, 2405, 2389, 2386, 2369, 2337,    0,
     2358,  377, 2327, 2324, 2332, 2325,    0, 2347,  384, 2337,
     2336, 2330, 2325, 2341,  385, 2314, 2324, 2316, 2337,  390,
     2308, 2321, 2289, 2302,  392, 2298,  417,    0, 2299,  400,
     2296,  427,  441, 2297,  423,   15,  451, 2272, 2271, 2277,
     2260,  449, 6703, 2278, 2241, 2239, 2230, 2251,  451, 2208,
     2205,  434, 2216,  455, 2231, 2225,  464, 6703, 2210,  456,

     2207,  460, 2194,  461, 2191,  467, 2188,  471, 2187,  486,
     2185,  493, 2172,  499, 2170,  504, 2169,  505, 2156,  506,
     2150,  511, 2147,  515, 2144,  524, 2143,  536, 2141,  537,
     2118,  543, 2114,  544, 2106,  549, 2105,  555, 2103,  559,
     2102,  574, 2099,  575, 2097,  580, 2077,  581, 2070,  587,
     2067,  593, 2064,  603, 2062,  609, 2061,  613, 2058,  618,
     2055,  619, 2036,  624, 2035,  625, 2033,  629, 2032,  631,
     2029,  647, 2020,  657, 2017,  662, 2004,  663, 1998,  667,
     1995,  668, 1992,  669, 1991,  673, 1989,  675, 1974,  701,
     1966,  705, 1963,  706, 1962,  707, 1960,  711, 1954,  712,

     1951,  713, 1947,  717, 1945,  743, 1925,  745, 1922,  749,
     1918,  750, 1910,  751, 1909,  755, 1906,  756, 1903,  761,
     1883,  771, 1881,  781, 1880,  787, 1877,  789, 1874,  793,
     1871,  794, 1868,  799, 1865,  800, 1852,  809, 1840,  815,
     1839,  819, 1837,  825, 1836,  831, 1833,  837, 1814,  838,
     1811,  844, 1810,  853, 1808,  857, 1802,  859, 1799,  863,
     1795,  869, 1793,  875, 1778,  882, 1773,  888, 1770,  895,
     1767,  897, 1766,  901, 1764,  903, 1758,  907, 1751,  908,
     1731,  913, 1729,  926, 1728,  933, 1726,  939, 1725,  941,
     1722,  945, 1713,  946, 1700,  951, 1687,  952, 1685,  961,

     1684,  971, 1681,  977, 1678,  981, 1675,  983, 1662,  989,
     1659,  990, 1658,  996, 1656, 1009, 1643, 1011, 1641, 1015,
     1640, 1019, 1637, 1021, 1621, 1027, 1618, 1034, 1615, 1040,
     1614, 1047, 1612, 1049, 1599, 1053, 1577, 1055, 1576, 1059,
     1574, 1065, 1573, 1078, 1571, 1084, 1570, 1085, 1568, 1091,
     1538, 1093, 1535, 1097, 1534, 1103, 1533, 1104, 1532, 1113,
     1531, 1122, 1530, 1123, 1529, 1129, 1527, 1133, 1526, 1135,
     1496, 1141, 1494, 1142, 1493, 1148, 1491, 1161, 1490, 1167,
     1489, 1171, 1488, 1173, 1487, 1177, 1485, 1179, 1452, 1186,
     1450, 1192, 1449, 1199, 1447, 1205, 1446, 1207, 1443, 1211,

     1424, 1215, 1421, 1217, 1408, 1230, 1406, 1236, 1405, 1237,
     1402, 1243, 1399, 1245, 1386, 1249, 1383, 1255, 1380, 1265,
     1379, 1274, 1377, 1275, 1364, 1280, 1362, 1281, 1361, 1285,
     1348, 1287, 1342, 1293, 1339, 1300, 1336, 1313, 1335, 1318,
     1333, 1319, 1310, 1323, 1306, 1325, 1298, 1329, 1297, 1331,
     1295, 1338, 1294, 1344, 1291, 1351, 1289, 1357, 1269, 1363,
     1262, 1367, 1259, 1369, 1256, 1373, 1254, 1382, 1253, 1388,
     1250, 1389, 1247, 1395, 1228, 1401, 1227, 1407, 1225, 1411,
     1224, 1417, 1221, 1426, 1212, 1427, 1209, 1432, 1196, 1433,
     1190, 1437, 1187, 1439, 1184, 1445, 1183, 1455, 1181, 1465,

     1166, 1470, 1158, 1471, 1155, 1475, 1154, 1476, 1152, 1477,
     1146, 1481, 1143, 1483, 1139, 1509, 1137, 1513, 1117, 1514,
     1114, 1515, 1110, 1519,  161, 1520,  173, 1521,  189, 1525,
      229, 1551,  237, 1553,  275, 1557,  276, 1558,  279, 1559,
      315, 1563,  324, 1564,  333, 1569,  356, 1579,  364, 1589,
      366, 1595,  367, 1597,  368, 1601,  369, 1602,  379, 1607,
      391, 1608,  394, 1617,  401, 1623,  402, 1627,  405, 1633,
      410, 1639,  416, 1645,  425, 1646,  433, 1652,  438, 1661,
      440, 1665,  448, 1667,  462, 1671,  468, 1677,  469, 1683,
      473, 1690,  477, 1696,  480, 1703,  481, 1705,  484, 1709,

      495, 1711,  500, 1715,  503, 1716,  512, 1721,  516, 1734,
      517, 1741,  519, 1747,  521, 1749,  525, 1753,  528, 1754,
      534, 1759,  548, 1760,  550, 1769,  553, 1779,  554, 1785,
      556, 1789,  557, 1791,  565, 1797,  568, 1798,  569, 1804,
      572, 1817,  585, 1819,  588, 1823,  591, 1827,  592, 1829,
      594, 1835,  597, 1842,  598, 1848,  600, 1855,  623, 1857,
      626, 1861,  635, 1863,  637, 1867,  638, 1873,  639, 1886,
      641, 1892,  642, 1893,  644, 1899,  664, 1901,  677, 1905,
      679, 1911,  680, 1912,  681, 1921,  682, 1930,  683, 1931,
      685, 1937,  686, 1941,  688, 1943,  718, 1949,  719, 1950,

      721, 1956,  722, 1969,  723, 1975,  724, 1979,  725, 1981,
      726, 1985,  727, 1987,  730, 1994,  760, 2000,  762, 2007,
      763, 2013,  765, 2015,  766, 2019,  768, 2023,  769, 2025,
      791, 2038,  804, 2044,  806, 2045,  807, 2051,  810, 2053,
      813, 2057,  829, 2063,  832, 2073,  833, 2082,  835, 2083,
      848, 2088,  850, 2089,  851, 2093,  854, 2095,  867, 2101,
      870, 2108,  873, 2121,  876, 2126,  877, 2127,  879, 2131,
      892, 2133,  905, 2137,  914, 2139,  917, 2146,  918, 2152,
      920, 2159,  921, 2165,  923, 2171,  943, 2175,  950, 2177,
      956, 2181,  958, 2190,  959, 2196,  962, 2197,  965, 2203,

      970, 2209,  985, 2215,  987, 2219,  991, 2225,  994, 2234,
     1000, 2235, 1002, 2240, 1003, 2241, 1006, 2245, 1025, 2247,
     1028, 2253, 1029, 2263, 1031, 2273, 1032, 2278, 1044, 2279,
     1057, 2283, 1060, 2284, 1063, 2285, 1066, 2289, 1069, 2291,
     1072, 2317, 1073, 2321, 1075, 2322, 1095, 2323, 1098, 2327,
     1101, 2328, 1102, 2329, 6703, 2333, 6703, 2383, 2393, 2403,
     2413, 2423, 2428, 2436, 2443, 2450, 2455, 2464, 2474, 2479,
     2483, 2487, 2496, 2501, 2510, 2520, 2530, 2540, 2550, 2560,
     2570, 2580, 2590, 2600, 2610, 2620, 2630, 2640, 2650, 2660,
     2670, 2680, 2690, 2700, 2710, 2720, 2730, 2740, 2750, 2760,

     2770, 2780, 2790, 2800, 2810, 2820, 2830, 2840, 2850, 2860,
     2870, 2880, 2890, 2900, 2910, 2920, 2930, 2940, 2950, 2960,
     2970, 2980, 2990, 3000, 3010, 3020, 3030, 3040, 3050, 3060,
     3070, 3080, 3090, 3100, 3110, 3120, 3130, 3140, 3150, 3160,
     3170, 3180, 3190, 3200, 3210, 3220, 3230, 3240, 3250, 3260,
     3270, 3280, 3290, 3300, 3310, 3320, 3330, 3340, 3350, 3360,
     3370, 3380, 3390, 3400, 3410, 3420, 3430, 3440, 3450, 3460,
     3470, 3480, 3490, 3500, 3510, 3520, 3530, 3540, 3550, 3560,
     3570, 3580, 3590, 3600, 3610, 3620, 3630, 3640, 3650, 3660,
     3670, 3680, 3690, 3700, 3710, 3720, 3730, 3740, 3750, 3760,

     3770, 3780, 3790, 3800, 3810, 3820, 3830, 3840, 3850, 3860,
     3870, 3880, 3890, 3900, 3910, 3920, 3930, 3940, 3950, 3960,
     3970, 3980, 3990, 4000, 4010, 4020, 4030, 4040, 4050, 4060,
     4070, 4080, 4090, 4100, 4110, 4120, 4130, 4140, 4150, 4160,
     4170, 4180, 4190, 4200, 4210, 4220, 4230, 4240, 4250, 4260,
     4270, 4280, 4290, 4300, 4310, 4320, 4330, 4340, 4350, 4360,
     4370, 4380, 4390, 4400, 4410, 4420, 4430, 4440, 4450, 4460,
     4470, 4480, 4490, 4500, 4510, 4520, 4530, 4540, 4550, 4560,
     4570, 4580, 4590, 4600, 4610, 4620, 4630, 4640, 4650, 4660,
     4670, 4680, 4690, 4700, 4710, 4720, 4730, 4740, 4750, 4760,

     4770, 4780, 4790, 4800, 4810, 4820, 4830, 4840, 4850, 4860,
     4870, 4880, 4890, 4900, 4910, 4920, 4930, 4940, 4950, 4960,
     4970, 4980, 4990, 5000, 5010, 5020, 5030, 5040, 5050, 5060,
     5070, 5080, 5090, 5100, 5110, 5120, 5130, 5140, 5150, 5160,
     5170, 5180, 5190, 5200, 5210, 5220, 5230, 5240, 5250, 5260,
     5270, 5280, 5290, 5300, 5310, 5320, 5330, 5340, 5350, 5360,
     5370, 5380, 5390, 5400, 5410, 5420, 5430, 5440, 5450, 5460,
     5470, 5480, 5490, 5500, 5510, 5520, 5530, 5540, 5550, 5560,
     5570, 5580, 5590, 5600, 5610, 5620, 5630, 5640, 5650, 5660,
     5670, 5680, 5690, 5700, 5710, 5720, 5730, 5740, 5750, 5760,

     5770, 5780, 5790, 5800, 5810, 5820, 5830, 5840, 5850, 5860,
     5870, 5880, 5890, 5900, 5910, 5920, 5930, 5940, 5950, 5960,
     5970, 5980, 5990, 6000, 6010, 6020, 6030, 6040, 6050, 6060,
     6070, 6080, 6090, 6100, 6110, 6120, 6130, 6140, 6150, 6160,
     6170, 6180, 6190, 6200, 6210, 6220, 6230, 6240, 6250, 6260,
     6270, 6280, 6290, 6300, 6310, 6320, 6330, 6340, 6350, 6360,
     6370, 6380, 6390, 6400, 6410, 6420, 6430, 6440, 6450, 6460
    } ;

static yyconst short int yy_def[1671] =
    {   0,
     1258, 1258, 1257,    3, 1257,    5, 1259, 1259,    5,    5,
     1257, 1260, 1260, 1261, 1257, 1257, 1257, 1257, 1257, 1262,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1263, 1257, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1257,
     1264, 1264, 1257, 1265, 1264, 1257, 1257, 1257, 1266, 1267,
     1257, 1268, 1268, 1257, 1268, 1257, 1266, 1257, 1269, 1260,
     1260, 1257, 1257, 1257, 1257, 1257, 1262, 1262, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1262,
     1257, 1257, 1257, 1257, 1270, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1257, 1257, 1264, 1257, 1264, 1257, 1271, 1257,
     1257, 1257, 1272, 1267, 1257, 1268, 1268, 1257, 1257, 1257,
     1257, 1273, 1269, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1270, 1257, 1257, 1257, 1257, 1257, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1271, 1257, 1274, 1275, 1273, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1257, 1257, 1276, 1275, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1277,
     1276, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1278, 1277, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1263, 1263, 1263, 1263, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1279, 1278, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1263, 1263, 1263, 1280, 1279, 1257, 1257,
     1257, 1263, 1263, 1263, 1263, 1281, 1280, 1257, 1257, 1263,
     1263, 1263, 1282, 1281, 1257, 1257, 1263, 1263, 1263, 1263,
     1283, 1282, 1257, 1257, 1263, 1263, 1263, 1284, 1283, 1257,
     1257, 1263, 1263, 1285, 1284, 1257, 1257, 1263, 1286, 1285,
     1257, 1257, 1263, 1287, 1286, 1257, 1257, 1263, 1288, 1287,
     1257, 1257, 1257, 1289, 1288, 1257, 1257, 1257, 1257, 1257,
     1290, 1289, 1257, 1257, 1257, 1257, 1257, 1291, 1290, 1257,
     1257, 1257, 1292, 1291, 1257, 1257, 1257, 1257, 1293, 1292,

     1294, 1293, 1295, 1294, 1296, 1295, 1297, 1296, 1298, 1297,
     1299, 1298, 1300, 1299, 1301, 1300, 1302, 1301, 1303, 1302,
     1304, 1303, 1305, 1304, 1306, 1305, 1307, 1306, 1308, 1307,
     1309, 1308, 1310, 1309, 1311, 1310, 1312, 1311, 1313, 1312,
     1314, 1313, 1315, 1314, 1316, 1315, 1317, 1316, 1318, 1317,
     1319, 1318, 1320, 1319, 1321, 1320, 1322, 1321, 1323, 1322,
     1324, 1323, 1325, 1324, 1326, 1325, 1327, 1326, 1328, 1327,
     1329, 1328, 1330, 1329, 1331, 1330, 1332, 1331, 1333, 1332,
     1334, 1333, 1335, 1334, 1336, 1335, 1337, 1336, 1338, 1337,
     1339, 1338, 1340, 1339, 1341, 1340, 1342, 1341, 1343, 1342,

     1344, 1343, 1345, 1344, 1346, 1345, 1347, 1346, 1348, 1347,
     1349, 1348, 1350, 1349, 1351, 1350, 1352, 1351, 1353, 1352,
     1354, 1353, 1355, 1354, 1356, 1355, 1357, 1356, 1358, 1357,
     1359, 1358, 1360, 1359, 1361, 1360, 1362, 1361, 1363, 1362,
     1364, 1363, 1365, 1364, 1366, 1365, 1367, 1366, 1368, 1367,
     1369, 1368, 1370, 1369, 1371, 1370, 1372, 1371, 1373, 1372,
     1374, 1373, 1375, 1374, 1376, 1375, 1377, 1376, 1378, 1377,
     1379, 1378, 1380, 1379, 1381, 1380, 1382, 1381, 1383, 1382,
     1384, 1383, 1385, 1384, 1386, 1385, 1387, 1386, 1388, 1387,
     1389, 1388, 1390, 1389, 1391, 1390, 1392, 1391, 1393, 1392,

     1394, 1393, 1395, 1394, 1396, 1395, 1397, 1396, 1398, 1397,
     1399, 1398, 1400, 1399, 1401, 1400, 1402, 1401, 1403, 1402,
     1404, 1403, 1405, 1404, 1406, 1405, 1407, 1406, 1408, 1407,
     1409, 1408, 1410, 1409, 1411, 1410, 1412, 1411, 1413, 1412,
     1414, 1413, 1415, 1414, 1416, 1415, 1417, 1416, 1418, 1417,
     1419, 1418, 1420, 1419, 1421, 1420, 1422, 1421, 1423, 1422,
     1424, 1423, 1425, 1424, 1426, 1425, 1427, 1426, 1428, 1427,
     1429, 1428, 1430, 1429, 1431, 1430, 1432, 1431, 1433, 1432,
     1434, 1433, 1435, 1434, 1436, 1435, 1437, 1436, 1438, 1437,
     1439, 1438, 1440, 1439, 1441, 1440, 1442, 1441, 1443, 1442,

     1444, 1443, 1445, 1444, 1446, 1445, 1447, 1446, 1448, 1447,
     1449, 1448, 1450, 1449, 1451, 1450, 1452, 1451, 1453, 1452,
     1454, 1453, 1455, 1454, 1456, 1455, 1457, 1456, 1458, 1457,
     1459, 1458, 1460, 1459, 1461, 1460, 1462, 1461, 1463, 1462,
     1464, 1463, 1465, 1464, 1466, 1465, 1467, 1466, 1468, 1467,
     1469, 1468, 1470, 1469, 1471, 1470, 1472, 1471, 1473, 1472,
     1474, 1473, 1475, 1474, 1476, 1475, 1477, 1476, 1478, 1477,
     1479, 1478, 1480, 1479, 1481, 1480, 1482, 1481, 1483, 1482,
     1484, 1483, 1485, 1484, 1486, 1485, 1487, 1486, 1488, 1487,
     1489, 1488, 1490, 1489, 1491, 1490, 1492, 1491, 1493, 1492,

     1494, 1493, 1495, 1494, 1496, 1495, 1497, 1496, 1498, 1497,
     1499, 1498, 1500, 1499, 1501, 1500, 1502, 1501, 1503, 1502,
     1504, 1503, 1505, 1504, 1506, 1505, 1507, 1506, 1508, 1507,
     1509, 1508, 1510, 1509, 1511, 1510, 1512, 1511, 1513, 1512,
     1514, 1513, 1515, 1514, 1516, 1515, 1517, 1516, 1518, 1517,
     1519, 1518, 1520, 1519, 1521, 1520, 1522, 1521, 1523, 1522,
     1524, 1523, 1525, 1524, 1526, 1525, 1527, 1526, 1528, 1527,
     1529, 1528, 1530, 1529, 1531, 1530, 1532, 1531, 1533, 1532,
     1534, 1533, 1535, 1534, 1536, 1535, 1537, 1536, 1538, 1537,
     1539, 1538, 1540, 1539, 1541, 1540, 1542, 1541, 1543, 1542,

     1544, 1543, 1545, 1544, 1546, 1545, 1547, 1546, 1548, 1547,
     1549, 1548, 1550, 1549, 1551, 1550, 1552, 1551, 1553, 1552,
     1554, 1553, 1555, 1554, 1556, 1555, 1557, 1556, 1558, 1557,
     1559, 1558, 1560, 1559, 1561, 1560, 1562, 1561, 1563, 1562,
     1564, 1563, 1565, 1564, 1566, 1565, 1567, 1566, 1568, 1567,
     1569, 1568, 1570, 1569, 1571, 1570, 1572, 1571, 1573, 1572,
     1574, 1573, 1575, 1574, 1576, 1575, 1577, 1576, 1578, 1577,
     1579, 1578, 1580, 1579, 1581, 1580, 1582, 1581, 1583, 1582,
     1584, 1583, 1585, 1584, 1586, 1585, 1587, 1586, 1588, 1587,
     1589, 1588, 1590, 1589, 1591, 1590, 1592, 1591, 1593, 1592,

     1594, 1593, 1595, 1594, 1596, 1595, 1597, 1596, 1598, 1597,
     1599, 1598, 1600, 1599, 1601, 1600, 1602, 1601, 1603, 1602,
     1604, 1603, 1605, 1604, 1606, 1605, 1607, 1606, 1608, 1607,
     1609, 1608, 1610, 1609, 1611, 1610, 1612, 1611, 1613, 1612,
     1614, 1613, 1615, 1614, 1616, 1615, 1617, 1616, 1618, 1617,
     1619, 1618, 1620, 1619, 1621, 1620, 1622, 1621, 1623, 1622,
     1624, 1623, 1625, 1624, 1626, 1625, 1627, 1626, 1628, 1627,
     1629, 1628, 1630, 1629, 1631, 1630, 1632, 1631, 1633, 1632,
     1634, 1633, 1635, 1634, 1636, 1635, 1637, 1636, 1638, 1637,
     1639, 1638, 1640, 1639, 1641, 1640, 1642, 1641, 1643, 1642,

     1644, 1643, 1645, 1644, 1646, 1645, 1647, 1646, 1648, 1647,
     1649, 1648, 1650, 1649, 1651, 1650, 1652, 1651, 1653, 1652,
     1654, 1653, 1655, 1654, 1656, 1655, 1657, 1656, 1658, 1657,
     1659, 1658, 1660, 1659, 1661, 1660, 1662, 1661, 1663, 1662,
     1664, 1663, 1665, 1664, 1666, 1665, 1667, 1666, 1668, 1667,
     1669, 1668, 1670, 1669, 1257, 1670,    0, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257
    } ;

static yyconst short int yy_nxt[6763] =
    {   0,
     1257, 1257,   13,   13,   85,   85,   85,   85,   85,   85,
       85,   85,   85,  189,  190,  205,  206,  483,  484,  168,
      168,  168,   14,   14,   15,   16,   17,   16,   18,   19,
       20,   21,   22,   23,   24,   25,   21,   26,   27,   21,
       28,   29,   30,   31,   32,   32,   33,   34,   35,   36,
       21,   15,   37,   38,   39,   40,   41,   42,   43,   44,
       45,   46,   47,   48,   49,   49,   50,   49,   51,   52,
       53,   49,   54,   55,   49,   56,   57,   58,   59,   49,
       49,   21,   60,   15,   61,   62,   61,   61,   63,   61,
       64,   61,   61,   61,   61,   61,   61,   61,   61,   65,

       61,   61,   66,   67,   67,   61,   61,   61,   61,   68,
       69,   61,   70,   71,   70,   70,   70,   70,   70,   70,
       70,   70,   70,   70,   70,   70,   70,   70,   70,   70,
       70,   70,   70,   70,   70,   70,   70,   70,   70,   70,
       68,   61,   73,   73,   76,   82,   89,   90,   76,   91,
       74,   74,   93,  104,  112,  102,  113,  113,  113,  143,
      105,  106,   83,   92,  103,  144,   77,   75,   75,   78,
       77,  152,  114,   78,  107,  107,  107,  153,  108,  109,
      119,  120,   94,  928,  110,   95,   84,   96,  116,  111,
       97,  115,  117,  118,   86,  930,   98,  121,  122,   99,

      100,  112,  127,  113,  113,  113,  128,  130,  163,  207,
      134,  932,  131,  137,  135,  208,  156,  147,  132,  114,
      136,  133,  138,  139,  140,  148,  171,  178,  157,  437,
      149,  158,  141, 1257,  142,  168,  168,  168,  172,  172,
      172,  172,  438,  164,  179,  187,  188, 1257,   93,  181,
     1257,  934,  107,  107,  107,  198,  198,  198,  112,  936,
      113,  113,  113,  168,  168,  168,  223, 1257,  114,  235,
      169,  114,  236,  173, 1257,  173,  114,  224,   94,  245,
      245,   95,  199,   96,  199, 1257,   97,  200,  200,  200,
      266,  267,   98,  294,  294,   99,  100,  938,  940, 1257,

     1257,  942, 1257,  198,  198,  198,  200,  200,  200,  200,
      200,  200,  272,  303, 1257,  273, 1257, 1257, 1257,  114,
      342,  342,  342,  303,  304,  274, 1257,  349,  377,  275,
     1257,  349, 1257, 1257,  304, 1257, 1257,  944,  350,  378,
      377, 1257,  350,  400,  400,  400,  946,  305,  343,  402,
     1257,  378,  404, 1257, 1257,  948,  303, 1257,  402, 1257,
      403,  404, 1257,  405,  400,  400,  400,  304, 1257,  403,
     1257, 1257,  405,  421,  421,  421, 1257, 1257,  950, 1257,
     1257,  421,  421,  421, 1257, 1257,  952, 1257,  954,  956,
      958,  960, 1257, 1257, 1257, 1257,  123, 1257, 1257, 1257,

     1257,  962, 1257, 1257,  123,  420, 1257, 1257, 1257, 1257,
     1257, 1257, 1257,  964, 1257, 1257,  966, 1257,  472,  472,
      472, 1257, 1257,  968,  970, 1257, 1257,  972,  472,  472,
      472, 1257,  974, 1257, 1257,  497,  497,  497,  976, 1257,
      473, 1257,  477,  477,  477, 1257,  478,  978, 1257, 1257,
      473,  479,  477,  477,  477,  980,  478, 1257,  498, 1257,
      982,  479,  984, 1257, 1257,  497,  497,  497, 1257, 1257,
      986, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257,  988, 1257, 1257,  480,  498, 1257,
      990,  992, 1257, 1257, 1257,  994, 1257,  480, 1257,  996,

     1257, 1257,  998, 1000, 1257, 1257, 1002, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1004, 1257, 1257,
     1257, 1257, 1006, 1257, 1257, 1008, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1010, 1257, 1257, 1257, 1012, 1014,
     1257, 1016, 1257, 1018, 1257, 1257, 1257, 1020, 1257, 1257,
     1022, 1257, 1257, 1257, 1257, 1257, 1024, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1026, 1257, 1028, 1257, 1257, 1030, 1032, 1257, 1034, 1036,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1038, 1257, 1257,
     1040, 1042, 1257, 1257, 1044, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1046, 1257, 1257,
     1048, 1257, 1257, 1050, 1052, 1257, 1054, 1257, 1257, 1056,
     1058, 1257, 1060, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1062, 1257, 1257, 1064, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1066, 1257, 1068,
     1070, 1072, 1257, 1074, 1076, 1257, 1078, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1080, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1082,

     1257, 1084, 1086, 1088, 1090, 1092, 1257, 1094, 1096, 1257,
     1098, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1100, 1102, 1257, 1104, 1106, 1108, 1110, 1112, 1114, 1116,
     1257, 1257, 1118, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1120, 1257, 1122, 1124, 1257, 1126, 1128, 1257,
     1130, 1132, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1134, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1136, 1257, 1138, 1140,
     1257, 1257, 1142, 1257, 1257, 1144, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1146, 1257, 1257, 1148, 1150, 1257, 1152, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1154, 1257, 1156, 1158, 1257, 1257, 1160, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1162,
     1257, 1257, 1164, 1257, 1257, 1166, 1257, 1257, 1168, 1170,

     1257, 1172, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1174, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1176, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1178, 1257, 1257, 1180,
     1182, 1257, 1184, 1186, 1257, 1188, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1190, 1257, 1257, 1257, 1257,
     1257, 1257, 1192, 1257, 1257, 1257, 1257, 1257, 1194, 1257,
     1196, 1198, 1257, 1257, 1200, 1257, 1257, 1202, 1257, 1257,
     1257, 1257, 1204, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1206, 1257, 1208,
     1257, 1257, 1257, 1210, 1257, 1257, 1212, 1257, 1257, 1257,
     1257, 1257, 1214, 1257, 1216, 1218, 1257, 1257, 1220, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1222, 1257, 1257,
     1224, 1226, 1257, 1228, 1230, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1232, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1234,
     1257, 1257, 1236, 1257, 1257, 1238, 1257, 1257, 1240, 1257,
     1257, 1242, 1257, 1257, 1244, 1246, 1257, 1248, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1250, 1257, 1257,
     1252, 1257, 1257, 1254, 1256, 1257, 1257, 1257, 1257, 1257,
     1257, 1257,  926, 1257, 1257, 1257,  924, 1257, 1257,  922,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  920,
     1257,  918, 1257, 1257, 1257,  916, 1257, 1257,  914, 1257,
     1257, 1257, 1257, 1257,  912, 1257,  910,  908, 1257, 1257,
      906, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  904, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257,  902, 1257,  900,  898, 1257, 1257,  896,
     1257, 1257,  894, 1257, 1257, 1257, 1257, 1257,  892, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257,  890, 1257, 1257,  888, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257,  886, 1257, 1257,  884,  882, 1257,  880,
      878, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  876,
     1257, 1257,  874, 1257, 1257,  872,  870, 1257,  868, 1257,
     1257,  866, 1257, 1257,  864, 1257, 1257, 1257, 1257, 1257,
     1257,  862, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257,  860, 1257,  858, 1257, 1257,  856,  854, 1257,  852,
      850, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  848, 1257,
     1257, 1257,  846, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257,  844, 1257,  842,  840, 1257,
     1257,  838, 1257, 1257,  836, 1257, 1257, 1257, 1257, 1257,
      834, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257,  832,  830, 1257,  828, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  826,

     1257,  824,  822, 1257, 1257,  820, 1257, 1257,  818, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257,  816, 1257, 1257,  814, 1257, 1257,  812,  810, 1257,
      808, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257,  806, 1257, 1257,  804, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257,  802, 1257, 1257,  800,  798,
     1257,  796,  794, 1257,  792, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257,  790, 1257,  788,
      786,  784,  782,  780, 1257,  778,  776, 1257,  774, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  772,  770,
     1257,  768,  766,  764,  762,  760,  758,  756, 1257, 1257,
      754, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
      752, 1257,  750,  748, 1257,  746,  744, 1257,  742,  740,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257,  738, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257,  736, 1257,  734,  732, 1257, 1257,
      730, 1257, 1257,  728, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  726,
     1257, 1257,  724,  722, 1257,  720, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  718, 1257,
      716,  714, 1257, 1257,  712, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257,  710, 1257, 1257,

      708, 1257, 1257,  706, 1257, 1257,  704,  702, 1257,  700,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257,  698, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257,  696, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257,  694, 1257, 1257,  692,  690, 1257,
      688,  686, 1257,  684, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257,  682, 1257, 1257, 1257, 1257, 1257, 1257,
      680, 1257, 1257, 1257, 1257, 1257,  678, 1257,  676,  674,
     1257, 1257,  672, 1257, 1257,  670, 1257, 1257, 1257, 1257,

      668, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257,  666, 1257,  664, 1257, 1257,
     1257,  662, 1257, 1257,  660, 1257, 1257, 1257, 1257, 1257,
      658, 1257,  656,  654, 1257, 1257,  652, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257,  650, 1257, 1257,  648,  646,
     1257,  644,  642, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257,  640, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257,  638, 1257, 1257,
      636, 1257, 1257,  634, 1257, 1257,  632, 1257, 1257,  630,

     1257, 1257,  628,  626, 1257,  624, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257,  622, 1257, 1257,  620, 1257,
     1257,  618,  616, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
      614, 1257, 1257, 1257,  612, 1257, 1257,  610, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257,  608, 1257,  606,
     1257, 1257, 1257,  604, 1257, 1257,  602, 1257, 1257, 1257,
     1257, 1257,  600, 1257,  598,  596, 1257, 1257,  594, 1257,
     1257, 1257, 1257, 1257, 1257, 1257,  592, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257,  590, 1257,  588,  586, 1257, 1257,  584, 1257, 1257,
      582, 1257, 1257, 1257, 1257, 1257,  580, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  578,
     1257, 1257,  576, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257,  574, 1257, 1257,  572,  570, 1257,  568,  566, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257,  564, 1257, 1257,
      562, 1257, 1257,  560,  558, 1257,  556, 1257, 1257,  554,
     1257, 1257,  552, 1257, 1257, 1257, 1257, 1257, 1257,  550,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  548,
     1257,  546, 1257, 1257,  544,  542, 1257,  540,  538, 1257,
     1257, 1257, 1257, 1257, 1257, 1257,  536, 1257, 1257, 1257,
      534, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257,  532, 1257,  530,  528, 1257, 1257,  526,
     1257, 1257,  524, 1257, 1257, 1257, 1257, 1257,  522, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257,  520,  518, 1257,  516, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257,  514, 1257,  512,
      510, 1257, 1257,  508, 1257, 1257,  506, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,  504,
     1257, 1257,  502, 1257, 1257,  492,  492, 1257,  500, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257,  496, 1257, 1257,  495, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257,  494, 1257, 1257,  492,  491, 1257,  490,
      483, 1257,  489, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,

     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257,  487, 1257,  486,  485,  482,
      476,  475, 1257,  471,  470, 1257,  468, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257,  467,  466, 1257,  465,
      463,  462,  461,  460,  458,  440, 1257,  457,  456,  455,
     1257, 1257, 1257,  453,  452,  451, 1257, 1257, 1257,  450,
      449,  447, 1257,   12,   12,   12,   12,   12,   12,   12,
       12,   12,   12,   72,   72,   72,   72,   72,   72,   72,

       72,   72,   72,   79,   79,   79,   79,   79,   79,   79,
       79,   79,   79,   81,   81,   81,   81,   81,   81,  446,
       81,   81,   81,   87,   87,  445,  444,   87,   87,   87,
       87,   87,   87,  125,  443,  125,  125,  165,  165,  165,
      165,  442,  165,  166,  166,  166,  166,  166,  166,  166,
      170,  170,  440,  170,  170,  170,  170,  170,  170,  170,
      174,  439,  174,  174,  176,  176,  176,  176,  436,  176,
      176,  176,  176,  176,  182,  182,  182,  182,  182,  182,
      182,  182,  182,  182,  201,  435,  434,  201,  244,  432,
      431,  244,  246,  430,  429,  246,  247,  247,  247,  247,

      247,  247,  247,  247,  247,  247,  295,  428,  427,  295,
      296,  296,  296,  296,  296,  296,  296,  296,  296,  296,
      340,  340,  340,  340,  340,  340,  340,  340,  340,  340,
      373,  373,  373,  373,  373,  373,  373,  373,  373,  373,
      397,  397,  397,  397,  397,  397,  397,  397,  397,  397,
      417,  417,  417,  417,  417,  417,  417,  417,  417,  417,
      426,  426,  426,  426,  426,  426,  426,  426,  426,  426,
      433,  433,  433,  433,  433,  433,  433,  433,  433,  433,
      441,  441,  441,  441,  441,  441,  441,  441,  441,  441,
      448,  448,  448,  448,  448,  448,  448,  448,  448,  448,

      454,  454,  454,  454,  454,  454,  454,  454,  454,  454,
      459,  459,  459,  459,  459,  459,  459,  459,  459,  459,
      464,  464,  464,  464,  464,  464,  464,  464,  464,  464,
      469,  469,  469,  469,  469,  469,  469,  469,  469,  469,
      474,  474,  474,  474,  474,  474,  474,  474,  474,  474,
      481,  481,  481,  481,  481,  481,  481,  481,  481,  481,
      488,  488,  488,  488,  488,  488,  488,  488,  488,  488,
      493,  493,  493,  493,  493,  493,  493,  493,  493,  493,
      499,  499,  499,  499,  499,  499,  499,  499,  499,  499,
      501,  501,  501,  501,  501,  501,  501,  501,  501,  501,

      503,  503,  503,  503,  503,  503,  503,  503,  503,  503,
      505,  505,  505,  505,  505,  505,  505,  505,  505,  505,
      507,  507,  507,  507,  507,  507,  507,  507,  507,  507,
      509,  509,  509,  509,  509,  509,  509,  509,  509,  509,
      511,  511,  511,  511,  511,  511,  511,  511,  511,  511,
      513,  513,  513,  513,  513,  513,  513,  513,  513,  513,
      515,  515,  515,  515,  515,  515,  515,  515,  515,  515,
      517,  517,  517,  517,  517,  517,  517,  517,  517,  517,
      519,  519,  519,  519,  519,  519,  519,  519,  519,  519,
      521,  521,  521,  521,  521,  521,  521,  521,  521,  521,

      523,  523,  523,  523,  523,  523,  523,  523,  523,  523,
      525,  525,  525,  525,  525,  525,  525,  525,  525,  525,
      527,  527,  527,  527,  527,  527,  527,  527,  527,  527,
      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
      533,  533,  533,  533,  533,  533,  533,  533,  533,  533,
      535,  535,  535,  535,  535,  535,  535,  535,  535,  535,
      537,  537,  537,  537,  537,  537,  537,  537,  537,  537,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  539,
      541,  541,  541,  541,  541,  541,  541,  541,  541,  541,

      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      545,  545,  545,  545,  545,  545,  545,  545,  545,  545,
      547,  547,  547,  547,  547,  547,  547,  547,  547,  547,
      549,  549,  549,  549,  549,  549,  549,  549,  549,  549,
      551,  551,  551,  551,  551,  551,  551,  551,  551,  551,
      553,  553,  553,  553,  553,  553,  553,  553,  553,  553,
      555,  555,  555,  555,  555,  555,  555,  555,  555,  555,
      557,  557,  557,  557,  557,  557,  557,  557,  557,  557,
      559,  559,  559,  559,  559,  559,  559,  559,  559,  559,
      561,  561,  561,  561,  561,  561,  561,  561,  561,  561,

      563,  563,  563,  563,  563,  563,  563,  563,  563,  563,
      565,  565,  565,  565,  565,  565,  565,  565,  565,  565,
      567,  567,  567,  567,  567,  567,  567,  567,  567,  567,
      569,  569,  569,  569,  569,  569,  569,  569,  569,  569,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      573,  573,  573,  573,  573,  573,  573,  573,  573,  573,
      575,  575,  575,  575,  575,  575,  575,  575,  575,  575,
      577,  577,  577,  577,  577,  577,  577,  577,  577,  577,
      579,  579,  579,  579,  579,  579,  579,  579,  579,  579,
      581,  581,  581,  581,  581,  581,  581,  581,  581,  581,

      583,  583,  583,  583,  583,  583,  583,  583,  583,  583,
      585,  585,  585,  585,  585,  585,  585,  585,  585,  585,
      587,  587,  587,  587,  587,  587,  587,  587,  587,  587,
      589,  589,  589,  589,  589,  589,  589,  589,  589,  589,
      591,  591,  591,  591,  591,  591,  591,  591,  591,  591,
      593,  593,  593,  593,  593,  593,  593,  593,  593,  593,
      595,  595,  595,  595,  595,  595,  595,  595,  595,  595,
      597,  597,  597,  597,  597,  597,  597,  597,  597,  597,
      599,  599,  599,  599,  599,  599,  599,  599,  599,  599,
      601,  601,  601,  601,  601,  601,  601,  601,  601,  601,

      603,  603,  603,  603,  603,  603,  603,  603,  603,  603,
      605,  605,  605,  605,  605,  605,  605,  605,  605,  605,
      607,  607,  607,  607,  607,  607,  607,  607,  607,  607,
      609,  609,  609,  609,  609,  609,  609,  609,  609,  609,
      611,  611,  611,  611,  611,  611,  611,  611,  611,  611,
      613,  613,  613,  613,  613,  613,  613,  613,  613,  613,
      615,  615,  615,  615,  615,  615,  615,  615,  615,  615,
      617,  617,  617,  617,  617,  617,  617,  617,  617,  617,
      619,  619,  619,  619,  619,  619,  619,  619,  619,  619,
      621,  621,  621,  621,  621,  621,  621,  621,  621,  621,

      623,  623,  623,  623,  623,  623,  623,  623,  623,  623,
      625,  625,  625,  625,  625,  625,  625,  625,  625,  625,
      627,  627,  627,  627,  627,  627,  627,  627,  627,  627,
      629,  629,  629,  629,  629,  629,  629,  629,  629,  629,
      631,  631,  631,  631,  631,  631,  631,  631,  631,  631,
      633,  633,  633,  633,  633,  633,  633,  633,  633,  633,
      635,  635,  635,  635,  635,  635,  635,  635,  635,  635,
      637,  637,  637,  637,  637,  637,  637,  637,  637,  637,
      639,  639,  639,  639,  639,  639,  639,  639,  639,  639,
      641,  641,  641,  641,  641,  641,  641,  641,  641,  641,

      643,  643,  643,  643,  643,  643,  643,  643,  643,  643,
      645,  645,  645,  645,  645,  645,  645,  645,  645,  645,
      647,  647,  647,  647,  647,  647,  647,  647,  647,  647,
      649,  649,  649,  649,  649,  649,  649,  649,  649,  649,
      651,  651,  651,  651,  651,  651,  651,  651,  651,  651,
      653,  653,  653,  653,  653,  653,  653,  653,  653,  653,
      655,  655,  655,  655,  655,  655,  655,  655,  655,  655,
      657,  657,  657,  657,  657,  657,  657,  657,  657,  657,
      659,  659,  659,  659,  659,  659,  659,  659,  659,  659,
      661,  661,  661,  661,  661,  661,  661,  661,  661,  661,

      663,  663,  663,  663,  663,  663,  663,  663,  663,  663,
      665,  665,  665,  665,  665,  665,  665,  665,  665,  665,
      667,  667,  667,  667,  667,  667,  667,  667,  667,  667,
      669,  669,  669,  669,  669,  669,  669,  669,  669,  669,
      671,  671,  671,  671,  671,  671,  671,  671,  671,  671,
      673,  673,  673,  673,  673,  673,  673,  673,  673,  673,
      675,  675,  675,  675,  675,  675,  675,  675,  675,  675,
      677,  677,  677,  677,  677,  677,  677,  677,  677,  677,
      679,  679,  679,  679,  679,  679,  679,  679,  679,  679,
      681,  681,  681,  681,  681,  681,  681,  681,  681,  681,

      683,  683,  683,  683,  683,  683,  683,  683,  683,  683,
      685,  685,  685,  685,  685,  685,  685,  685,  685,  685,
      687,  687,  687,  687,  687,  687,  687,  687,  687,  687,
      689,  689,  689,  689,  689,  689,  689,  689,  689,  689,
      691,  691,  691,  691,  691,  691,  691,  691,  691,  691,
      693,  693,  693,  693,  693,  693,  693,  693,  693,  693,
      695,  695,  695,  695,  695,  695,  695,  695,  695,  695,
      697,  697,  697,  697,  697,  697,  697,  697,  697,  697,
      699,  699,  699,  699,  699,  699,  699,  699,  699,  699,
      701,  701,  701,  701,  701,  701,  701,  701,  701,  701,

      703,  703,  703,  703,  703,  703,  703,  703,  703,  703,
      705,  705,  705,  705,  705,  705,  705,  705,  705,  705,
      707,  707,  707,  707,  707,  707,  707,  707,  707,  707,
      709,  709,  709,  709,  709,  709,  709,  709,  709,  709,
      711,  711,  711,  711,  711,  711,  711,  711,  711,  711,
      713,  713,  713,  713,  713,  713,  713,  713,  713,  713,
      715,  715,  715,  715,  715,  715,  715,  715,  715,  715,
      717,  717,  717,  717,  717,  717,  717,  717,  717,  717,
      719,  719,  719,  719,  719,  719,  719,  719,  719,  719,
      721,  721,  721,  721,  721,  721,  721,  721,  721,  721,

      723,  723,  723,  723,  723,  723,  723,  723,  723,  723,
      725,  725,  725,  725,  725,  725,  725,  725,  725,  725,
      727,  727,  727,  727,  727,  727,  727,  727,  727,  727,
      729,  729,  729,  729,  729,  729,  729,  729,  729,  729,
      731,  731,  731,  731,  731,  731,  731,  731,  731,  731,
      733,  733,  733,  733,  733,  733,  733,  733,  733,  733,
      735,  735,  735,  735,  735,  735,  735,  735,  735,  735,
      737,  737,  737,  737,  737,  737,  737,  737,  737,  737,
      739,  739,  739,  739,  739,  739,  739,  739,  739,  739,
      741,  741,  741,  741,  741,  741,  741,  741,  741,  741,

      743,  743,  743,  743,  743,  743,  743,  743,  743,  743,
      745,  745,  745,  745,  745,  745,  745,  745,  745,  745,
      747,  747,  747,  747,  747,  747,  747,  747,  747,  747,
      749,  749,  749,  749,  749,  749,  749,  749,  749,  749,
      751,  751,  751,  751,  751,  751,  751,  751,  751,  751,
      753,  753,  753,  753,  753,  753,  753,  753,  753,  753,
      755,  755,  755,  755,  755,  755,  755,  755,  755,  755,
      757,  757,  757,  757,  757,  757,  757,  757,  757,  757,
      759,  759,  759,  759,  759,  759,  759,  759,  759,  759,
      761,  761,  761,  761,  761,  761,  761,  761,  761,  761,

      763,  763,  763,  763,  763,  763,  763,  763,  763,  763,
      765,  765,  765,  765,  765,  765,  765,  765,  765,  765,
      767,  767,  767,  767,  767,  767,  767,  767,  767,  767,
      769,  769,  769,  769,  769,  769,  769,  769,  769,  769,
      771,  771,  771,  771,  771,  771,  771,  771,  771,  771,
      773,  773,  773,  773,  773,  773,  773,  773,  773,  773,
      775,  775,  775,  775,  775,  775,  775,  775,  775,  775,
      777,  777,  777,  777,  777,  777,  777,  777,  777,  777,
      779,  779,  779,  779,  779,  779,  779,  779,  779,  779,
      781,  781,  781,  781,  781,  781,  781,  781,  781,  781,

      783,  783,  783,  783,  783,  783,  783,  783,  783,  783,
      785,  785,  785,  785,  785,  785,  785,  785,  785,  785,
      787,  787,  787,  787,  787,  787,  787,  787,  787,  787,
      789,  789,  789,  789,  789,  789,  789,  789,  789,  789,
      791,  791,  791,  791,  791,  791,  791,  791,  791,  791,
      793,  793,  793,  793,  793,  793,  793,  793,  793,  793,
      795,  795,  795,  795,  795,  795,  795,  795,  795,  795,
      797,  797,  797,  797,  797,  797,  797,  797,  797,  797,
      799,  799,  799,  799,  799,  799,  799,  799,  799,  799,
      801,  801,  801,  801,  801,  801,  801,  801,  801,  801,

      803,  803,  803,  803,  803,  803,  803,  803,  803,  803,
      805,  805,  805,  805,  805,  805,  805,  805,  805,  805,
      807,  807,  807,  807,  807,  807,  807,  807,  807,  807,
      809,  809,  809,  809,  809,  809,  809,  809,  809,  809,
      811,  811,  811,  811,  811,  811,  811,  811,  811,  811,
      813,  813,  813,  813,  813,  813,  813,  813,  813,  813,
      815,  815,  815,  815,  815,  815,  815,  815,  815,  815,
      817,  817,  817,  817,  817,  817,  817,  817,  817,  817,
      819,  819,  819,  819,  819,  819,  819,  819,  819,  819,
      821,  821,  821,  821,  821,  821,  821,  821,  821,  821,

      823,  823,  823,  823,  823,  823,  823,  823,  823,  823,
      825,  825,  825,  825,  825,  825,  825,  825,  825,  825,
      827,  827,  827,  827,  827,  827,  827,  827,  827,  827,
      829,  829,  829,  829,  829,  829,  829,  829,  829,  829,
      831,  831,  831,  831,  831,  831,  831,  831,  831,  831,
      833,  833,  833,  833,  833,  833,  833,  833,  833,  833,
      835,  835,  835,  835,  835,  835,  835,  835,  835,  835,
      837,  837,  837,  837,  837,  837,  837,  837,  837,  837,
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
      841,  841,  841,  841,  841,  841,  841,  841,  841,  841,

      843,  843,  843,  843,  843,  843,  843,  843,  843,  843,
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
      847,  847,  847,  847,  847,  847,  847,  847,  847,  847,
      849,  849,  849,  849,  849,  849,  849,  849,  849,  849,
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
      853,  853,  853,  853,  853,  853,  853,  853,  853,  853,
      855,  855,  855,  855,  855,  855,  855,  855,  855,  855,
      857,  857,  857,  857,  857,  857,  857,  857,  857,  857,
      859,  859,  859,  859,  859,  859,  859,  859,  859,  859,
      861,  861,  861,  861,  861,  861,  861,  861,  861,  861,

      863,  863,  863,  863,  863,  863,  863,  863,  863,  863,
      865,  865,  865,  865,  865,  865,  865,  865,  865,  865,
      867,  867,  867,  867,  867,  867,  867,  867,  867,  867,
      869,  869,  869,  869,  869,  869,  869,  869,  869,  869,
      871,  871,  871,  871,  871,  871,  871,  871,  871,  871,
      873,  873,  873,  873,  873,  873,  873,  873,  873,  873,
      875,  875,  875,  875,  875,  875,  875,  875,  875,  875,
      877,  877,  877,  877,  877,  877,  877,  877,  877,  877,
      879,  879,  879,  879,  879,  879,  879,  879,  879,  879,
      881,  881,  881,  881,  881,  881,  881,  881,  881,  881,

      883,  883,  883,  883,  883,  883,  883,  883,  883,  883,
      885,  885,  885,  885,  885,  885,  885,  885,  885,  885,
      887,  887,  887,  887,  887,  887,  887,  887,  887,  887,
      889,  889,  889,  889,  889,  889,  889,  889,  889,  889,
      891,  891,  891,  891,  891,  891,  891,  891,  891,  891,
      893,  893,  893,  893,  893,  893,  893,  893,  893,  893,
      895,  895,  895,  895,  895,  895,  895,  895,  895,  895,
      897,  897,  897,  897,  897,  897,  897,  897,  897,  897,
      899,  899,  899,  899,  899,  899,  899,  899,  899,  899,
      901,  901,  901,  901,  901,  901,  901,  901,  901,  901,

      903,  903,  903,  903,  903,  903,  903,  903,  903,  903,
      905,  905,  905,  905,  905,  905,  905,  905,  905,  905,
      907,  907,  907,  907,  907,  907,  907,  907,  907,  907,
      909,  909,  909,  909,  909,  909,  909,  909,  909,  909,
      911,  911,  911,  911,  911,  911,  911,  911,  911,  911,
      913,  913,  913,  913,  913,  913,  913,  913,  913,  913,
      915,  915,  915,  915,  915,  915,  915,  915,  915,  915,
      917,  917,  917,  917,  917,  917,  917,  917,  917,  917,
      919,  919,  919,  919,  919,  919,  919,  919,  919,  919,
      921,  921,  921,  921,  921,  921,  921,  921,  921,  921,

      923,  923,  923,  923,  923,  923,  923,  923,  923,  923,
      925,  925,  925,  925,  925,  925,  925,  925,  925,  925,
      927,  927,  927,  927,  927,  927,  927,  927,  927,  927,
      929,  929,  929,  929,  929,  929,  929,  929,  929,  929,
      931,  931,  931,  931,  931,  931,  931,  931,  931,  931,
      933,  933,  933,  933,  933,  933,  933,  933,  933,  933,
      935,  935,  935,  935,  935,  935,  935,  935,  935,  935,
      937,  937,  937,  937,  937,  937,  937,  937,  937,  937,
      939,  939,  939,  939,  939,  939,  939,  939,  939,  939,
      941,  941,  941,  941,  941,  941,  941,  941,  941,  941,

      943,  943,  943,  943,  943,  943,  943,  943,  943,  943,
      945,  945,  945,  945,  945,  945,  945,  945,  945,  945,
      947,  947,  947,  947,  947,  947,  947,  947,  947,  947,
      949,  949,  949,  949,  949,  949,  949,  949,  949,  949,
      951,  951,  951,  951,  951,  951,  951,  951,  951,  951,
      953,  953,  953,  953,  953,  953,  953,  953,  953,  953,
      955,  955,  955,  955,  955,  955,  955,  955,  955,  955,
      957,  957,  957,  957,  957,  957,  957,  957,  957,  957,
      959,  959,  959,  959,  959,  959,  959,  959,  959,  959,
      961,  961,  961,  961,  961,  961,  961,  961,  961,  961,

      963,  963,  963,  963,  963,  963,  963,  963,  963,  963,
      965,  965,  965,  965,  965,  965,  965,  965,  965,  965,
      967,  967,  967,  967,  967,  967,  967,  967,  967,  967,
      969,  969,  969,  969,  969,  969,  969,  969,  969,  969,
      971,  971,  971,  971,  971,  971,  971,  971,  971,  971,
      973,  973,  973,  973,  973,  973,  973,  973,  973,  973,
      975,  975,  975,  975,  975,  975,  975,  975,  975,  975,
      977,  977,  977,  977,  977,  977,  977,  977,  977,  977,
      979,  979,  979,  979,  979,  979,  979,  979,  979,  979,
      981,  981,  981,  981,  981,  981,  981,  981,  981,  981,

      983,  983,  983,  983,  983,  983,  983,  983,  983,  983,
      985,  985,  985,  985,  985,  985,  985,  985,  985,  985,
      987,  987,  987,  987,  987,  987,  987,  987,  987,  987,
      989,  989,  989,  989,  989,  989,  989,  989,  989,  989,
      991,  991,  991,  991,  991,  991,  991,  991,  991,  991,
      993,  993,  993,  993,  993,  993,  993,  993,  993,  993,
      995,  995,  995,  995,  995,  995,  995,  995,  995,  995,
      997,  997,  997,  997,  997,  997,  997,  997,  997,  997,
      999,  999,  999,  999,  999,  999,  999,  999,  999,  999,
     1001, 1001, 1001, 1001, 1001, 1001, 1001, 1001, 1001, 1001,

     1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003,
     1005, 1005, 1005, 1005, 1005, 1005, 1005, 1005, 1005, 1005,
     1007, 1007, 1007, 1007, 1007, 1007, 1007, 1007, 1007, 1007,
     1009, 1009, 1009, 1009, 1009, 1009, 1009, 1009, 1009, 1009,
     1011, 1011, 1011, 1011, 1011, 1011, 1011, 1011, 1011, 1011,
     1013, 1013, 1013, 1013, 1013, 1013, 1013, 1013, 1013, 1013,
     1015, 1015, 1015, 1015, 1015, 1015, 1015, 1015, 1015, 1015,
     1017, 1017, 1017, 1017, 1017, 1017, 1017, 1017, 1017, 1017,
     1019, 1019, 1019, 1019, 1019, 1019, 1019, 1019, 1019, 1019,
     1021, 1021, 1021, 1021, 1021, 1021, 1021, 1021, 1021, 1021,

     1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023,
     1025, 1025, 1025, 1025, 1025, 1025, 1025, 1025, 1025, 1025,
     1027, 1027, 1027, 1027, 1027, 1027, 1027, 1027, 1027, 1027,
     1029, 1029, 1029, 1029, 1029, 1029, 1029, 1029, 1029, 1029,
     1031, 1031, 1031, 1031, 1031, 1031, 1031, 1031, 1031, 1031,
     1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033,
     1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035,
     1037, 1037, 1037, 1037, 1037, 1037, 1037, 1037, 1037, 1037,
     1039, 1039, 1039, 1039, 1039, 1039, 1039, 1039, 1039, 1039,
     1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041,

     1043, 1043, 1043, 1043, 1043, 1043, 1043, 1043, 1043, 1043,
     1045, 1045, 1045, 1045, 1045, 1045, 1045, 1045, 1045, 1045,
     1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047,
     1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049,
     1051, 1051, 1051, 1051, 1051, 1051, 1051, 1051, 1051, 1051,
     1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053,
     1055, 1055, 1055, 1055, 1055, 1055, 1055, 1055, 1055, 1055,
     1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057,
     1059, 1059, 1059, 1059, 1059, 1059, 1059, 1059, 1059, 1059,
     1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061,

     1063, 1063, 1063, 1063, 1063, 1063, 1063, 1063, 1063, 1063,
     1065, 1065, 1065, 1065, 1065, 1065, 1065, 1065, 1065, 1065,
     1067, 1067, 1067, 1067, 1067, 1067, 1067, 1067, 1067, 1067,
     1069, 1069, 1069, 1069, 1069, 1069, 1069, 1069, 1069, 1069,
     1071, 1071, 1071, 1071, 1071, 1071, 1071, 1071, 1071, 1071,
     1073, 1073, 1073, 1073, 1073, 1073, 1073, 1073, 1073, 1073,
     1075, 1075, 1075, 1075, 1075, 1075, 1075, 1075, 1075, 1075,
     1077, 1077, 1077, 1077, 1077, 1077, 1077, 1077, 1077, 1077,
     1079, 1079, 1079, 1079, 1079, 1079, 1079, 1079, 1079, 1079,
     1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,

     1083, 1083, 1083, 1083, 1083, 1083, 1083, 1083, 1083, 1083,
     1085, 1085, 1085, 1085, 1085, 1085, 1085, 1085, 1085, 1085,
     1087, 1087, 1087, 1087, 1087, 1087, 1087, 1087, 1087, 1087,
     1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089, 1089,
     1091, 1091, 1091, 1091, 1091, 1091, 1091, 1091, 1091, 1091,
     1093, 1093, 1093, 1093, 1093, 1093, 1093, 1093, 1093, 1093,
     1095, 1095, 1095, 1095, 1095, 1095, 1095, 1095, 1095, 1095,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1099, 1099, 1099, 1099, 1099, 1099, 1099, 1099, 1099, 1099,
     1101, 1101, 1101, 1101, 1101, 1101, 1101, 1101, 1101, 1101,

     1103, 1103, 1103, 1103, 1103, 1103, 1103, 1103, 1103, 1103,
     1105, 1105, 1105, 1105, 1105, 1105, 1105, 1105, 1105, 1105,
     1107, 1107, 1107, 1107, 1107, 1107, 1107, 1107, 1107, 1107,
     1109, 1109, 1109, 1109, 1109, 1109, 1109, 1109, 1109, 1109,
     1111, 1111, 1111, 1111, 1111, 1111, 1111, 1111, 1111, 1111,
     1113, 1113, 1113, 1113, 1113, 1113, 1113, 1113, 1113, 1113,
     1115, 1115, 1115, 1115, 1115, 1115, 1115, 1115, 1115, 1115,
     1117, 1117, 1117, 1117, 1117, 1117, 1117, 1117, 1117, 1117,
     1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119, 1119,
     1121, 1121, 1121, 1121, 1121, 1121, 1121, 1121, 1121, 1121,

     1123, 1123, 1123, 1123, 1123, 1123, 1123, 1123, 1123, 1123,
     1125, 1125, 1125, 1125, 1125, 1125, 1125, 1125, 1125, 1125,
     1127, 1127, 1127, 1127, 1127, 1127, 1127, 1127, 1127, 1127,
     1129, 1129, 1129, 1129, 1129, 1129, 1129, 1129, 1129, 1129,
     1131, 1131, 1131, 1131, 1131, 1131, 1131, 1131, 1131, 1131,
     1133, 1133, 1133, 1133, 1133, 1133, 1133, 1133, 1133, 1133,
     1135, 1135, 1135, 1135, 1135, 1135, 1135, 1135, 1135, 1135,
     1137, 1137, 1137, 1137, 1137, 1137, 1137, 1137, 1137, 1137,
     1139, 1139, 1139, 1139, 1139, 1139, 1139, 1139, 1139, 1139,
     1141, 1141, 1141, 1141, 1141, 1141, 1141, 1141, 1141, 1141,

     1143, 1143, 1143, 1143, 1143, 1143, 1143, 1143, 1143, 1143,
     1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145,
     1147, 1147, 1147, 1147, 1147, 1147, 1147, 1147, 1147, 1147,
     1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1149,
     1151, 1151, 1151, 1151, 1151, 1151, 1151, 1151, 1151, 1151,
     1153, 1153, 1153, 1153, 1153, 1153, 1153, 1153, 1153, 1153,
     1155, 1155, 1155, 1155, 1155, 1155, 1155, 1155, 1155, 1155,
     1157, 1157, 1157, 1157, 1157, 1157, 1157, 1157, 1157, 1157,
     1159, 1159, 1159, 1159, 1159, 1159, 1159, 1159, 1159, 1159,
     1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161, 1161,

     1163, 1163, 1163, 1163, 1163, 1163, 1163, 1163, 1163, 1163,
     1165, 1165, 1165, 1165, 1165, 1165, 1165, 1165, 1165, 1165,
     1167, 1167, 1167, 1167, 1167, 1167, 1167, 1167, 1167, 1167,
     1169, 1169, 1169, 1169, 1169, 1169, 1169, 1169, 1169, 1169,
     1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171, 1171,
     1173, 1173, 1173, 1173, 1173, 1173, 1173, 1173, 1173, 1173,
     1175, 1175, 1175, 1175, 1175, 1175, 1175, 1175, 1175, 1175,
     1177, 1177, 1177, 1177, 1177, 1177, 1177, 1177, 1177, 1177,
     1179, 1179, 1179, 1179, 1179, 1179, 1179, 1179, 1179, 1179,
     1181, 1181, 1181, 1181, 1181, 1181, 1181, 1181, 1181, 1181,

     1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183, 1183,
     1185, 1185, 1185, 1185, 1185, 1185, 1185, 1185, 1185, 1185,
     1187, 1187, 1187, 1187, 1187, 1187, 1187, 1187, 1187, 1187,
     1189, 1189, 1189, 1189, 1189, 1189, 1189, 1189, 1189, 1189,
     1191, 1191, 1191, 1191, 1191, 1191, 1191, 1191, 1191, 1191,
     1193, 1193, 1193, 1193, 1193, 1193, 1193, 1193, 1193, 1193,
     1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1197, 1197, 1197, 1197, 1197, 1197, 1197, 1197, 1197, 1197,
     1199, 1199, 1199, 1199, 1199, 1199, 1199, 1199, 1199, 1199,
     1201, 1201, 1201, 1201, 1201, 1201, 1201, 1201, 1201, 1201,

     1203, 1203, 1203, 1203, 1203, 1203, 1203, 1203, 1203, 1203,
     1205, 1205, 1205, 1205, 1205, 1205, 1205, 1205, 1205, 1205,
     1207, 1207, 1207, 1207, 1207, 1207, 1207, 1207, 1207, 1207,
     1209, 1209, 1209, 1209, 1209, 1209, 1209, 1209, 1209, 1209,
     1211, 1211, 1211, 1211, 1211, 1211, 1211, 1211, 1211, 1211,
     1213, 1213, 1213, 1213, 1213, 1213, 1213, 1213, 1213, 1213,
     1215, 1215, 1215, 1215, 1215, 1215, 1215, 1215, 1215, 1215,
     1217, 1217, 1217, 1217, 1217, 1217, 1217, 1217, 1217, 1217,
     1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219,
     1221, 1221, 1221, 1221, 1221, 1221, 1221, 1221, 1221, 1221,

     1223, 1223, 1223, 1223, 1223, 1223, 1223, 1223, 1223, 1223,
     1225, 1225, 1225, 1225, 1225, 1225, 1225, 1225, 1225, 1225,
     1227, 1227, 1227, 1227, 1227, 1227, 1227, 1227, 1227, 1227,
     1229, 1229, 1229, 1229, 1229, 1229, 1229, 1229, 1229, 1229,
     1231, 1231, 1231, 1231, 1231, 1231, 1231, 1231, 1231, 1231,
     1233, 1233, 1233, 1233, 1233, 1233, 1233, 1233, 1233, 1233,
     1235, 1235, 1235, 1235, 1235, 1235, 1235, 1235, 1235, 1235,
     1237, 1237, 1237, 1237, 1237, 1237, 1237, 1237, 1237, 1237,
     1239, 1239, 1239, 1239, 1239, 1239, 1239, 1239, 1239, 1239,
     1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241, 1241,

     1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243, 1243,
     1245, 1245, 1245, 1245, 1245, 1245, 1245, 1245, 1245, 1245,
     1247, 1247, 1247, 1247, 1247, 1247, 1247, 1247, 1247, 1247,
     1249, 1249, 1249, 1249, 1249, 1249, 1249, 1249, 1249, 1249,
     1251, 1251, 1251, 1251, 1251, 1251, 1251, 1251, 1251, 1251,
     1253, 1253, 1253, 1253, 1253, 1253, 1253, 1253, 1253, 1253,
     1255, 1255, 1255, 1255, 1255, 1255, 1255, 1255, 1255, 1255,
      425,  424,  423,  422,  413,  419,  418,  416,  415,  414,
      413,  412,  411,  410,  409,  408,  407,  406,  401,  399,
      398,  396,  395,  394,  393,  392,  391,  390,  389,  388,

      387,  386,  385,  384,  383,  382,  381,  380,  379,  307,
      376,  375,  374,  372,  371,  370,  369,  368,  367,  366,
      365,  364,  363,  362,  361,  360,  359,  358,  357,  356,
      355,  354,  353,  352,  351,  348,  347,  307,  346,  345,
      344,  341,  339,  338,  337,  336,  335,  334,  333,  332,
      331,  330,  329,  328,  327,  326,  325,  324,  323,  322,
      321,  320,  319,  318,  317,  316,  315,  314,  313,  312,
      311,  310,  309,  308,  307,  306,  302,  301,  300,  299,
      298,  297,  293,  292,  291,  290,  289,  288,  287,  286,
      285,  284,  283,  282,  281,  280,  279,  278,  277,  276,

      271,  270,  269,  268,  265,  264,  263,  262,  261,  260,
      259,  205,  258,  257,  256,  255,  254,  253,  252,  251,
      189,  187,  250,  249,  248,  180, 1257,  177,  175,  243,
      242,  241,  240,  239,  238,  237,  234,  233,  232,  231,
      230,  229,  228,  227,  226,  225,  222,  221,  220,  219,
      218,  217,  216,  215,  214,  213,  212,  211,  210,  209,
      204,  203,  202,   88,  197,  196,  195,  194,  193,  192,
      191,   88,  186,  185,  184,   80,  183,  180,  177,  177,
      175,  167,  162,  161,  160,  159,  155,  154,  151,  150,
      146,  145,  129,  126,  124,  123,  101,   88,   86,   80,

       80, 1257,   11, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257
    } ;

static yyconst short int yy_chk[6763] =
    {   0,
        0,    0,    1,    2,   16,   16,   16,   17,   17,   17,
       85,   85,   85,   90,   90,  123,  123,  476,  476,   67,
       67,   67,    1,    2,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    5,    5,    5,    5,    5,    5,    5,
        5,    5,    5,    5,    5,    5,    5,    5,    5,    5,

        5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
        5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
        5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
        5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
        5,    5,    7,    8,    9,   14,   22,   22,   10,   23,
        7,    8,   25,   28,   31,   27,   31,   31,   31,   45,
       28,   28,   14,   23,   27,   45,    9,    7,    8,    9,
       10,   52,   31,   10,   29,   29,   29,   52,   29,   30,
       34,   34,   25,  925,   30,   25,   14,   25,   33,   30,
       25,   31,   33,   33,   33,  927,   25,   35,   35,   25,

       25,   32,   40,   32,   32,   32,   40,   42,   60,  126,
       43,  929,   42,   44,   43,  126,   55,   48,   42,   32,
       43,   42,   44,   44,   44,   48,   69,   75,   55,  430,
       48,   55,   44,   80,   44,   66,   66,   66,   77,   77,
       69,   69,  430,   60,   75,   88,   88,   80,   93,   77,
       80,  931,  107,  107,  107,  112,  112,  112,  113,  933,
      113,  113,  113,  168,  168,  168,  142,   88,  107,  155,
       66,  112,  155,   77,   80,   69,  113,  142,   93,  172,
      172,   93,  114,   93,  114,  183,   93,  114,  114,  114,
      215,  215,   93,  245,  245,   93,   93,  935,  937,  183,

      248,  939,  183,  198,  198,  198,  199,  199,  199,  200,
      200,  200,  221,  254,  248,  221,  297,  248,  341,  198,
      298,  298,  298,  303,  254,  221,  183,  307,  345,  221,
      297,  349,  341,  297,  303,  341,  374,  941,  307,  345,
      377,  248,  349,  376,  376,  376,  943,  254,  298,  380,
      374,  377,  381,  374,  398,  945,  401,  297,  402,  341,
      380,  404,  418,  381,  400,  400,  400,  401,  398,  402,
      427,  398,  404,  406,  406,  406,  418,  374,  947,  418,
      434,  421,  421,  421,  427,  442,  949,  427,  951,  953,
      955,  957,  449,  455,  434,  398,  406,  434,  460,  442,

      465,  959,  442,  418,  421,  400,  449,  455,  470,  449,
      455,  427,  460,  961,  465,  460,  963,  465,  467,  467,
      467,  434,  470,  965,  967,  470,  442,  969,  472,  472,
      472,  475,  971,  449,  455,  492,  492,  492,  973,  460,
      467,  465,  473,  473,  473,  475,  473,  975,  475,  470,
      472,  473,  477,  477,  477,  977,  477,  482,  492,  489,
      979,  477,  981,  494,  500,  497,  497,  497,  502,  504,
      983,  482,  475,  489,  482,  506,  489,  494,  500,  508,
      494,  500,  502,  504,  985,  502,  504,  473,  497,  506,
      987,  989,  506,  508,  510,  991,  508,  477,  482,  993,

      489,  512,  995,  997,  494,  500,  999,  514,  510,  502,
      504,  510,  516,  518,  520,  512,  506, 1001,  512,  522,
      508,  514, 1003,  524,  514, 1005,  516,  518,  520,  516,
      518,  520,  526,  522, 1007,  510,  522,  524, 1009, 1011,
      524, 1013,  512, 1015,  528,  530,  526, 1017,  514,  526,
     1019,  532,  534,  516,  518,  520, 1021,  536,  528,  530,
      522,  528,  530,  538,  524,  532,  534,  540,  532,  534,
     1023,  536, 1025,  526,  536, 1027, 1029,  538, 1031, 1033,
      538,  540,  542,  544,  540,  528,  530, 1035,  546,  548,
     1037, 1039,  532,  534, 1041,  550,  542,  544,  536,  542,

      544,  552,  546,  548,  538,  546,  548, 1043,  540,  550,
     1045,  554,  550, 1047, 1049,  552, 1051,  556,  552, 1053,
     1055,  558, 1057,  542,  544,  554,  560,  562,  554,  546,
      548,  556,  564,  566,  556,  558,  550,  568,  558,  570,
      560,  562,  552,  560,  562, 1059,  564,  566, 1061,  564,
      566,  568,  554,  570,  568,  572,  570, 1063,  556, 1065,
     1067, 1069,  558, 1071, 1073,  574, 1075,  560,  562,  572,
      576,  578,  572,  564,  566,  580,  582,  584,  568,  574,
      570,  586,  574,  588,  576,  578, 1077,  576,  578,  580,
      582,  584,  580,  582,  584,  586,  572,  588,  586, 1079,

      588, 1081, 1083, 1085, 1087, 1089,  574, 1091, 1093,  590,
     1095,  576,  578,  592,  594,  596,  580,  582,  584,  598,
      600,  602,  586,  590,  588,  604,  590,  592,  594,  596,
      592,  594,  596,  598,  600,  602,  598,  600,  602,  604,
     1097, 1099,  604, 1101, 1103, 1105, 1107, 1109, 1111, 1113,
      590,  606, 1115,  608,  592,  594,  596,  610,  612,  614,
      598,  600,  602,  616,  618,  606,  604,  608,  606,  620,
      608,  610,  612,  614,  610,  612,  614,  616,  618,  622,
      616,  618, 1117,  620, 1119, 1121,  620, 1123, 1125,  624,
     1127, 1129,  606,  622,  608,  626,  622,  628,  610,  612,

      614,  630,  632,  624,  616,  618,  624,  634,  636,  626,
      620,  628,  626, 1131,  628,  630,  632,  638,  630,  632,
      622,  634,  636,  640,  634,  636, 1133,  642, 1135, 1137,
      624,  638, 1139,  644,  638, 1141,  626,  640,  628,  646,
      640,  642,  630,  632,  642,  648,  650,  644,  634,  636,
      644, 1143,  652,  646, 1145, 1147,  646, 1149,  638,  648,
      650,  654,  648,  650,  640,  656,  652,  658,  642,  652,
     1151,  660, 1153, 1155,  644,  654, 1157,  662,  654,  656,
      646,  658,  656,  664,  658,  660,  648,  650,  660, 1159,
      666,  662, 1161,  652,  662, 1163,  668,  664, 1165, 1167,

      664, 1169,  654,  670,  666,  672,  656,  666,  658,  674,
      668,  676,  660,  668, 1171,  678,  680,  670,  662,  672,
      670,  682,  672,  674,  664,  676,  674, 1173,  676,  678,
      680,  666,  678,  680,  684,  682, 1175,  668,  682, 1177,
     1179,  686, 1181, 1183,  670, 1185,  672,  688,  684,  690,
      674,  684,  676,  692,  694,  686,  678,  680,  686,  696,
      698,  688,  682,  690,  688, 1187,  690,  692,  694,  700,
      692,  694, 1189,  696,  698,  684,  696,  698, 1191,  702,
     1193, 1195,  686,  700, 1197,  704,  700, 1199,  688,  706,
      690,  708, 1201,  702,  692,  694,  702,  710,  712,  704,

      696,  698,  704,  706,  714,  708,  706, 1203,  708, 1205,
      700,  710,  712, 1207,  710,  712, 1209,  716,  714,  718,
      702,  714, 1211,  720, 1213, 1215,  704,  722, 1217,  724,
      706,  716,  708,  718,  716,  726,  718,  720,  710,  712,
      720,  722,  728,  724,  722,  714,  724, 1219,  730,  726,
     1221, 1223,  726, 1225, 1227,  732,  728,  734,  716,  728,
      718,  736,  730,  738,  720,  730, 1229,  740,  722,  732,
      724,  734,  732,  742,  734,  736,  726,  738,  736, 1231,
      738,  740, 1233,  728,  740, 1235,  744,  742, 1237,  730,
      742, 1239,  746,  748, 1241, 1243,  732, 1245,  734,  750,

      744,  752,  736,  744,  738,  754,  746,  748,  740,  746,
      748,  756,  758,  750,  742,  752,  750, 1247,  752,  754,
     1249,  760,  754, 1251, 1253,  756,  758,  744,  756,  758,
      762,  764,  923,  746,  748,  760,  921,  766,  760,  919,
      750,  768,  752,  770,  762,  764,  754,  762,  764,  772,
      774,  766,  756,  758,  766,  768,  776,  770,  768,  917,
      770,  915,  760,  772,  774,  913,  772,  774,  911,  778,
      776,  762,  764,  776,  909,  780,  907,  905,  766,  782,
      903,  784,  768,  778,  770,  786,  778,  788,  901,  780,
      772,  774,  780,  782,  790,  784,  782,  776,  784,  786,

      792,  788,  786,  899,  788,  897,  895,  794,  790,  893,
      778,  790,  891,  796,  792,  798,  780,  792,  889,  800,
      782,  794,  784,  802,  794,  804,  786,  796,  788,  798,
      796,  887,  798,  800,  885,  790,  800,  802,  806,  804,
      802,  792,  804,  883,  808,  810,  881,  879,  794,  877,
      875,  812,  806,  814,  796,  806,  798,  816,  808,  810,
      800,  808,  810,  818,  802,  812,  804,  814,  812,  873,
      814,  816,  871,  820,  816,  869,  867,  818,  865,  806,
      818,  863,  822,  824,  861,  808,  810,  820,  826,  828,
      820,  859,  812,  830,  814,  832,  822,  824,  816,  822,

      824,  834,  826,  828,  818,  826,  828,  830,  836,  832,
      830,  857,  832,  855,  820,  834,  853,  851,  834,  849,
      847,  838,  836,  822,  824,  836,  840,  842,  845,  826,
      828,  844,  843,  846,  830,  838,  832,  848,  838,  850,
      840,  842,  834,  840,  842,  844,  852,  846,  844,  836,
      846,  848,  854,  850,  848,  841,  850,  839,  837,  856,
      852,  835,  838,  852,  833,  858,  854,  840,  842,  854,
      831,  860,  844,  856,  846,  862,  856,  864,  848,  858,
      850,  866,  858,  829,  827,  860,  825,  852,  860,  862,
      868,  864,  862,  854,  864,  866,  870,  872,  866,  823,

      856,  821,  819,  874,  868,  817,  858,  868,  815,  876,
      870,  872,  860,  870,  872,  878,  862,  874,  864,  880,
      874,  813,  866,  876,  811,  882,  876,  809,  807,  878,
      805,  868,  878,  880,  884,  886,  880,  870,  872,  882,
      888,  890,  882,  803,  874,  892,  801,  894,  884,  886,
      876,  884,  886,  896,  888,  890,  878,  888,  890,  892,
      880,  894,  892,  898,  894,  799,  882,  896,  797,  795,
      896,  793,  791,  900,  789,  884,  886,  898,  902,  904,
      898,  888,  890,  906,  908,  910,  892,  900,  894,  912,
      900,  914,  902,  904,  896,  902,  904,  906,  908,  910,

      906,  908,  910,  912,  898,  914,  912,  787,  914,  785,
      783,  781,  779,  777,  900,  775,  773,  916,  771,  902,
      904,  918,  920,  922,  906,  908,  910,  924,  926,  928,
      912,  916,  914,  930,  916,  918,  920,  922,  918,  920,
      922,  924,  926,  928,  924,  926,  928,  930,  769,  767,
      930,  765,  763,  761,  759,  757,  755,  753,  916,  932,
      751,  934,  918,  920,  922,  936,  938,  940,  924,  926,
      928,  942,  944,  932,  930,  934,  932,  946,  934,  936,
      938,  940,  936,  938,  940,  942,  944,  948,  942,  944,
      749,  946,  747,  745,  946,  743,  741,  950,  739,  737,

      932,  948,  934,  952,  948,  954,  936,  938,  940,  956,
      958,  950,  942,  944,  950,  960,  962,  952,  946,  954,
      952,  735,  954,  956,  958,  964,  956,  958,  948,  960,
      962,  966,  960,  962,  733,  968,  731,  729,  950,  964,
      727,  970,  964,  725,  952,  966,  954,  972,  966,  968,
      956,  958,  968,  974,  976,  970,  960,  962,  970,  723,
      978,  972,  721,  719,  972,  717,  964,  974,  976,  980,
      974,  976,  966,  982,  978,  984,  968,  978,  715,  986,
      713,  711,  970,  980,  709,  988,  980,  982,  972,  984,
      982,  990,  984,  986,  974,  976,  986,  707,  992,  988,

      705,  978,  988,  703,  994,  990,  701,  699,  990,  697,
      980,  996,  992,  998,  982,  992,  984, 1000,  994, 1002,
      986,  994,  695, 1004, 1006,  996,  988,  998,  996, 1008,
      998, 1000,  990, 1002, 1000,  693, 1002, 1004, 1006,  992,
     1004, 1006, 1010, 1008,  691,  994, 1008,  689,  687, 1012,
      685,  683,  996,  681,  998, 1014, 1010, 1016, 1000, 1010,
     1002, 1018, 1020, 1012, 1004, 1006, 1012, 1022, 1024, 1014,
     1008, 1016, 1014,  679, 1016, 1018, 1020, 1026, 1018, 1020,
      677, 1022, 1024, 1010, 1022, 1024,  675, 1028,  673,  671,
     1012, 1026,  669, 1030, 1026,  667, 1014, 1032, 1016, 1034,

      665, 1028, 1018, 1020, 1028, 1036, 1038, 1030, 1022, 1024,
     1030, 1032, 1040, 1034, 1032,  663, 1034,  661, 1026, 1036,
     1038,  659, 1036, 1038,  657, 1042, 1040, 1044, 1028, 1040,
      655, 1046,  653,  651, 1030, 1048,  649, 1050, 1032, 1042,
     1034, 1044, 1042, 1052, 1044, 1046, 1036, 1038, 1046, 1048,
     1054, 1050, 1048, 1040, 1050,  647, 1056, 1052,  645,  643,
     1052,  641,  639, 1058, 1054, 1060, 1042, 1054, 1044, 1062,
     1056, 1064, 1046, 1056,  637, 1066, 1048, 1058, 1050, 1060,
     1058, 1068, 1060, 1062, 1052, 1064, 1062,  635, 1064, 1066,
      633, 1054, 1066,  631, 1070, 1068,  629, 1056, 1068,  627,

     1072, 1074,  625,  623, 1058,  621, 1060, 1076, 1070, 1078,
     1062, 1070, 1064, 1080, 1072, 1074, 1066, 1072, 1074, 1082,
     1084, 1076, 1068, 1078, 1076,  619, 1078, 1080,  617, 1086,
     1080,  615,  613, 1082, 1084, 1070, 1082, 1084, 1088, 1090,
      611, 1072, 1074, 1086,  609, 1092, 1086,  607, 1076, 1094,
     1078, 1096, 1088, 1090, 1080, 1088, 1090, 1098, 1100, 1092,
     1082, 1084, 1092, 1094, 1102, 1096, 1094,  605, 1096,  603,
     1086, 1098, 1100,  601, 1098, 1100,  599, 1104, 1102, 1088,
     1090, 1102,  597, 1106,  595,  593, 1092, 1108,  591, 1110,
     1094, 1104, 1096, 1112, 1104, 1114,  589, 1106, 1098, 1100,

     1106, 1108, 1116, 1110, 1108, 1102, 1110, 1112, 1118, 1114,
     1112,  587, 1114,  585,  583, 1120, 1116,  581, 1104, 1116,
      579, 1122, 1118, 1124, 1106, 1118,  577, 1126, 1108, 1120,
     1110, 1128, 1120, 1130, 1112, 1122, 1114, 1124, 1122,  575,
     1124, 1126,  573, 1116, 1126, 1128, 1132, 1130, 1128, 1118,
     1130,  571, 1134, 1136,  569,  567, 1120,  565,  563, 1138,
     1132, 1140, 1122, 1132, 1124, 1142, 1134, 1136, 1126, 1134,
     1136, 1144, 1128, 1138, 1130, 1140, 1138,  561, 1140, 1142,
      559, 1146, 1142,  557,  555, 1144,  553, 1132, 1144,  551,
     1148, 1150,  549, 1134, 1136, 1146, 1152, 1154, 1146,  547,

     1138, 1156, 1140, 1158, 1148, 1150, 1142, 1148, 1150, 1160,
     1152, 1154, 1144, 1152, 1154, 1156, 1162, 1158, 1156,  545,
     1158,  543, 1146, 1160,  541,  539, 1160,  537,  535, 1164,
     1162, 1148, 1150, 1162, 1166, 1168,  533, 1152, 1154, 1170,
      531, 1172, 1156, 1164, 1158, 1174, 1164, 1176, 1166, 1168,
     1160, 1166, 1168, 1170, 1178, 1172, 1170, 1162, 1172, 1174,
     1180, 1176, 1174,  529, 1176,  527,  525, 1182, 1178,  523,
     1164, 1178,  521, 1184, 1180, 1166, 1168, 1180,  519, 1186,
     1170, 1182, 1172, 1188, 1182, 1190, 1174, 1184, 1176, 1192,
     1184,  517,  515, 1186,  513, 1178, 1186, 1188, 1194, 1190,

     1188, 1180, 1190, 1192, 1196, 1198, 1192,  511, 1182,  509,
      507, 1200, 1194,  505, 1184, 1194,  503, 1202, 1196, 1198,
     1186, 1196, 1198, 1204, 1188, 1200, 1190, 1206, 1200,  501,
     1192, 1202,  499, 1208, 1202,  496,  495, 1204,  493, 1194,
     1204, 1206, 1210, 1212, 1206, 1196, 1198, 1208, 1214, 1216,
     1208,  491, 1200, 1218,  490, 1220, 1210, 1212, 1202, 1210,
     1212, 1222, 1214, 1216, 1204, 1214, 1216, 1218, 1206, 1220,
     1218, 1224, 1220,  488, 1208, 1222,  487,  486, 1222,  485,
      484, 1226,  481, 1210, 1212, 1224, 1228, 1230, 1224, 1214,
     1216, 1232, 1234, 1236, 1218, 1226, 1220, 1238, 1226, 1240,

     1228, 1230, 1222, 1228, 1230, 1232, 1234, 1236, 1232, 1234,
     1236, 1238, 1224, 1240, 1238,  480, 1240,  479,  478,  474,
      471,  469, 1226,  466,  464, 1242,  463, 1228, 1230, 1244,
     1246, 1248, 1232, 1234, 1236, 1250, 1252, 1254, 1238, 1242,
     1240, 1256, 1242, 1244, 1246, 1248, 1244, 1246, 1248, 1250,
     1252, 1254, 1250, 1252, 1254, 1256,  462,  461, 1256,  459,
      458,  457,  456,  454,  453,  452, 1242,  451,  450,  448,
     1244, 1246, 1248,  446,  445,  444, 1250, 1252, 1254,  443,
      441,  439, 1256, 1258, 1258, 1258, 1258, 1258, 1258, 1258,
     1258, 1258, 1258, 1259, 1259, 1259, 1259, 1259, 1259, 1259,

     1259, 1259, 1259, 1260, 1260, 1260, 1260, 1260, 1260, 1260,
     1260, 1260, 1260, 1261, 1261, 1261, 1261, 1261, 1261,  438,
     1261, 1261, 1261, 1262, 1262,  437,  436, 1262, 1262, 1262,
     1262, 1262, 1262, 1263,  435, 1263, 1263, 1264, 1264, 1264,
     1264,  433, 1264, 1265, 1265, 1265, 1265, 1265, 1265, 1265,
     1266, 1266,  432, 1266, 1266, 1266, 1266, 1266, 1266, 1266,
     1267,  431, 1267, 1267, 1268, 1268, 1268, 1268,  429, 1268,
     1268, 1268, 1268, 1268, 1269, 1269, 1269, 1269, 1269, 1269,
     1269, 1269, 1269, 1269, 1270,  428,  426, 1270, 1271,  425,
      424, 1271, 1272,  423,  420, 1272, 1273, 1273, 1273, 1273,

     1273, 1273, 1273, 1273, 1273, 1273, 1274,  419,  417, 1274,
     1275, 1275, 1275, 1275, 1275, 1275, 1275, 1275, 1275, 1275,
     1276, 1276, 1276, 1276, 1276, 1276, 1276, 1276, 1276, 1276,
     1277, 1277, 1277, 1277, 1277, 1277, 1277, 1277, 1277, 1277,
     1278, 1278, 1278, 1278, 1278, 1278, 1278, 1278, 1278, 1278,
     1279, 1279, 1279, 1279, 1279, 1279, 1279, 1279, 1279, 1279,
     1280, 1280, 1280, 1280, 1280, 1280, 1280, 1280, 1280, 1280,
     1281, 1281, 1281, 1281, 1281, 1281, 1281, 1281, 1281, 1281,
     1282, 1282, 1282, 1282, 1282, 1282, 1282, 1282, 1282, 1282,
     1283, 1283, 1283, 1283, 1283, 1283, 1283, 1283, 1283, 1283,

     1284, 1284, 1284, 1284, 1284, 1284, 1284, 1284, 1284, 1284,
     1285, 1285, 1285, 1285, 1285, 1285, 1285, 1285, 1285, 1285,
     1286, 1286, 1286, 1286, 1286, 1286, 1286, 1286, 1286, 1286,
     1287, 1287, 1287, 1287, 1287, 1287, 1287, 1287, 1287, 1287,
     1288, 1288, 1288, 1288, 1288, 1288, 1288, 1288, 1288, 1288,
     1289, 1289, 1289, 1289, 1289, 1289, 1289, 1289, 1289, 1289,
     1290, 1290, 1290, 1290, 1290, 1290, 1290, 1290, 1290, 1290,
     1291, 1291, 1291, 1291, 1291, 1291, 1291, 1291, 1291, 1291,
     1292, 1292, 1292, 1292, 1292, 1292, 1292, 1292, 1292, 1292,
     1293, 1293, 1293, 1293, 1293, 1293, 1293, 1293, 1293, 1293,

     1294, 1294, 1294, 1294, 1294, 1294, 1294, 1294, 1294, 1294,
     1295, 1295, 1295, 1295, 1295, 1295, 1295, 1295, 1295, 1295,
     1296, 1296, 1296, 1296, 1296, 1296, 1296, 1296, 1296, 1296,
     1297, 1297, 1297, 1297, 1297, 1297, 1297, 1297, 1297, 1297,
     1298, 1298, 1298, 1298, 1298, 1298, 1298, 1298, 1298, 1298,
     1299, 1299, 1299, 1299, 1299, 1299, 1299, 1299, 1299, 1299,
     1300, 1300, 1300, 1300, 1300, 1300, 1300, 1300, 1300, 1300,
     1301, 1301, 1301, 1301, 1301, 1301, 1301, 1301, 1301, 1301,
     1302, 1302, 1302, 1302, 1302, 1302, 1302, 1302, 1302, 1302,
     1303, 1303, 1303, 1303, 1303, 1303, 1303, 1303, 1303, 1303,

     1304, 1304, 1304, 1304, 1304, 1304, 1304, 1304, 1304, 1304,
     1305, 1305, 1305, 1305, 1305, 1305, 1305, 1305, 1305, 1305,
     1306, 1306, 1306, 1306, 1306, 1306, 1306, 1306, 1306, 1306,
     1307, 1307, 1307, 1307, 1307, 1307, 1307, 1307, 1307, 1307,
     1308, 1308, 1308, 1308, 1308, 1308, 1308, 1308, 1308, 1308,
     1309, 1309, 1309, 1309, 1309, 1309, 1309, 1309, 1309, 1309,
     1310, 1310, 1310, 1310, 1310, 1310, 1310, 1310, 1310, 1310,
     1311, 1311, 1311, 1311, 1311, 1311, 1311, 1311, 1311, 1311,
     1312, 1312, 1312, 1312, 1312, 1312, 1312, 1312, 1312, 1312,
     1313, 1313, 1313, 1313, 1313, 1313, 1313, 1313, 1313, 1313,

     1314, 1314, 1314, 1314, 1314, 1314, 1314, 1314, 1314, 1314,
     1315, 1315, 1315, 1315, 1315, 1315, 1315, 1315, 1315, 1315,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1317, 1317, 1317, 1317, 1317, 1317, 1317, 1317, 1317, 1317,
     1318, 1318, 1318, 1318, 1318, 1318, 1318, 1318, 1318, 1318,
     1319, 1319, 1319, 1319, 1319, 1319, 1319, 1319, 1319, 1319,
     1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320, 1320,
     1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321, 1321,
     1322, 1322, 1322, 1322, 1322, 1322, 1322, 1322, 1322, 1322,
     1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323, 1323,

     1324, 1324, 1324, 1324, 1324, 1324, 1324, 1324, 1324, 1324,
     1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325, 1325,
     1326, 1326, 1326, 1326, 1326, 1326, 1326, 1326, 1326, 1326,
     1327, 1327, 1327, 1327, 1327, 1327, 1327, 1327, 1327, 1327,
     1328, 1328, 1328, 1328, 1328, 1328, 1328, 1328, 1328, 1328,
     1329, 1329, 1329, 1329, 1329, 1329, 1329, 1329, 1329, 1329,
     1330, 1330, 1330, 1330, 1330, 1330, 1330, 1330, 1330, 1330,
     1331, 1331, 1331, 1331, 1331, 1331, 1331, 1331, 1331, 1331,
     1332, 1332, 1332, 1332, 1332, 1332, 1332, 1332, 1332, 1332,
     1333, 1333, 1333, 1333, 1333, 1333, 1333, 1333, 1333, 1333,

     1334, 1334, 1334, 1334, 1334, 1334, 1334, 1334, 1334, 1334,
     1335, 1335, 1335, 1335, 1335, 1335, 1335, 1335, 1335, 1335,
     1336, 1336, 1336, 1336, 1336, 1336, 1336, 1336, 1336, 1336,
     1337, 1337, 1337, 1337, 1337, 1337, 1337, 1337, 1337, 1337,
     1338, 1338, 1338, 1338, 1338, 1338, 1338, 1338, 1338, 1338,
     1339, 1339, 1339, 1339, 1339, 1339, 1339, 1339, 1339, 1339,
     1340, 1340, 1340, 1340, 1340, 1340, 1340, 1340, 1340, 1340,
     1341, 1341, 1341, 1341, 1341, 1341, 1341, 1341, 1341, 1341,
     1342, 1342, 1342, 1342, 1342, 1342, 1342, 1342, 1342, 1342,
     1343, 1343, 1343, 1343, 1343, 1343, 1343, 1343, 1343, 1343,

     1344, 1344, 1344, 1344, 1344, 1344, 1344, 1344, 1344, 1344,
     1345, 1345, 1345, 1345, 1345, 1345, 1345, 1345, 1345, 1345,
     1346, 1346, 1346, 1346, 1346, 1346, 1346, 1346, 1346, 1346,
     1347, 1347, 1347, 1347, 1347, 1347, 1347, 1347, 1347, 1347,
     1348, 1348, 1348, 1348, 1348, 1348, 1348, 1348, 1348, 1348,
     1349, 1349, 1349, 1349, 1349, 1349, 1349, 1349, 1349, 1349,
     1350, 1350, 1350, 1350, 1350, 1350, 1350, 1350, 1350, 1350,
     1351, 1351, 1351, 1351, 1351, 1351, 1351, 1351, 1351, 1351,
     1352, 1352, 1352, 1352, 1352, 1352, 1352, 1352, 1352, 1352,
     1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353, 1353,

     1354, 1354, 1354, 1354, 1354, 1354, 1354, 1354, 1354, 1354,
     1355, 1355, 1355, 1355, 1355, 1355, 1355, 1355, 1355, 1355,
     1356, 1356, 1356, 1356, 1356, 1356, 1356, 1356, 1356, 1356,
     1357, 1357, 1357, 1357, 1357, 1357, 1357, 1357, 1357, 1357,
     1358, 1358, 1358, 1358, 1358, 1358, 1358, 1358, 1358, 1358,
     1359, 1359, 1359, 1359, 1359, 1359, 1359, 1359, 1359, 1359,
     1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
     1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
     1362, 1362, 1362, 1362, 1362, 1362, 1362, 1362, 1362, 1362,
     1363, 1363, 1363, 1363, 1363, 1363, 1363, 1363, 1363, 1363,

     1364, 1364, 1364, 1364, 1364, 1364, 1364, 1364, 1364, 1364,
     1365, 1365, 1365, 1365, 1365, 1365, 1365, 1365, 1365, 1365,
     1366, 1366, 1366, 1366, 1366, 1366, 1366, 1366, 1366, 1366,
     1367, 1367, 1367, 1367, 1367, 1367, 1367, 1367, 1367, 1367,
     1368, 1368, 1368, 1368, 1368, 1368, 1368, 1368, 1368, 1368,
     1369, 1369, 1369, 1369, 1369, 1369, 1369, 1369, 1369, 1369,
     1370, 1370, 1370, 1370, 1370, 1370, 1370, 1370, 1370, 1370,
     1371, 1371, 1371, 1371, 1371, 1371, 1371, 1371, 1371, 1371,
     1372, 1372, 1372, 1372, 1372, 1372, 1372, 1372, 1372, 1372,
     1373, 1373, 1373, 1373, 1373, 1373, 1373, 1373, 1373, 1373,

     1374, 1374, 1374, 1374, 1374, 1374, 1374, 1374, 1374, 1374,
     1375, 1375, 1375, 1375, 1375, 1375, 1375, 1375, 1375, 1375,
     1376, 1376, 1376, 1376, 1376, 1376, 1376, 1376, 1376, 1376,
     1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377,
     1378, 1378, 1378, 1378, 1378, 1378, 1378, 1378, 1378, 1378,
     1379, 1379, 1379, 1379, 1379, 1379, 1379, 1379, 1379, 1379,
     1380, 1380, 1380, 1380, 1380, 1380, 1380, 1380, 1380, 1380,
     1381, 1381, 1381, 1381, 1381, 1381, 1381, 1381, 1381, 1381,
     1382, 1382, 1382, 1382, 1382, 1382, 1382, 1382, 1382, 1382,
     1383, 1383, 1383, 1383, 1383, 1383, 1383, 1383, 1383, 1383,

     1384, 1384, 1384, 1384, 1384, 1384, 1384, 1384, 1384, 1384,
     1385, 1385, 1385, 1385, 1385, 1385, 1385, 1385, 1385, 1385,
     1386, 1386, 1386, 1386, 1386, 1386, 1386, 1386, 1386, 1386,
     1387, 1387, 1387, 1387, 1387, 1387, 1387, 1387, 1387, 1387,
     1388, 1388, 1388, 1388, 1388, 1388, 1388, 1388, 1388, 1388,
     1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389,
     1390, 1390, 1390, 1390, 1390, 1390, 1390, 1390, 1390, 1390,
     1391, 1391, 1391, 1391, 1391, 1391, 1391, 1391, 1391, 1391,
     1392, 1392, 1392, 1392, 1392, 1392, 1392, 1392, 1392, 1392,
     1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,

     1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
     1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395,
     1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396, 1396,
     1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397, 1397,
     1398, 1398, 1398, 1398, 1398, 1398, 1398, 1398, 1398, 1398,
     1399, 1399, 1399, 1399, 1399, 1399, 1399, 1399, 1399, 1399,
     1400, 1400, 1400, 1400, 1400, 1400, 1400, 1400, 1400, 1400,
     1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401, 1401,
     1402, 1402, 1402, 1402, 1402, 1402, 1402, 1402, 1402, 1402,
     1403, 1403, 1403, 1403, 1403, 1403, 1403, 1403, 1403, 1403,

     1404, 1404, 1404, 1404, 1404, 1404, 1404, 1404, 1404, 1404,
     1405, 1405, 1405, 1405, 1405, 1405, 1405, 1405, 1405, 1405,
     1406, 1406, 1406, 1406, 1406, 1406, 1406, 1406, 1406, 1406,
     1407, 1407, 1407, 1407, 1407, 1407, 1407, 1407, 1407, 1407,
     1408, 1408, 1408, 1408, 1408, 1408, 1408, 1408, 1408, 1408,
     1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
     1410, 1410, 1410, 1410, 1410, 1410, 1410, 1410, 1410, 1410,
     1411, 1411, 1411, 1411, 1411, 1411, 1411, 1411, 1411, 1411,
     1412, 1412, 1412, 1412, 1412, 1412, 1412, 1412, 1412, 1412,
     1413, 1413, 1413, 1413, 1413, 1413, 1413, 1413, 1413, 1413,

     1414, 1414, 1414, 1414, 1414, 1414, 1414, 1414, 1414, 1414,
     1415, 1415, 1415, 1415, 1415, 1415, 1415, 1415, 1415, 1415,
     1416, 1416, 1416, 1416, 1416, 1416, 1416, 1416, 1416, 1416,
     1417, 1417, 1417, 1417, 1417, 1417, 1417, 1417, 1417, 1417,
     1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418, 1418,
     1419, 1419, 1419, 1419, 1419, 1419, 1419, 1419, 1419, 1419,
     1420, 1420, 1420, 1420, 1420, 1420, 1420, 1420, 1420, 1420,
     1421, 1421, 1421, 1421, 1421, 1421, 1421, 1421, 1421, 1421,
     1422, 1422, 1422, 1422, 1422, 1422, 1422, 1422, 1422, 1422,
     1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423, 1423,

     1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424, 1424,
     1425, 1425, 1425, 1425, 1425, 1425, 1425, 1425, 1425, 1425,
     1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426,
     1427, 1427, 1427, 1427, 1427, 1427, 1427, 1427, 1427, 1427,
     1428, 1428, 1428, 1428, 1428, 1428, 1428, 1428, 1428, 1428,
     1429, 1429, 1429, 1429, 1429, 1429, 1429, 1429, 1429, 1429,
     1430, 1430, 1430, 1430, 1430, 1430, 1430, 1430, 1430, 1430,
     1431, 1431, 1431, 1431, 1431, 1431, 1431, 1431, 1431, 1431,
     1432, 1432, 1432, 1432, 1432, 1432, 1432, 1432, 1432, 1432,
     1433, 1433, 1433, 1433, 1433, 1433, 1433, 1433, 1433, 1433,

     1434, 1434, 1434, 1434, 1434, 1434, 1434, 1434, 1434, 1434,
     1435, 1435, 1435, 1435, 1435, 1435, 1435, 1435, 1435, 1435,
     1436, 1436, 1436, 1436, 1436, 1436, 1436, 1436, 1436, 1436,
     1437, 1437, 1437, 1437, 1437, 1437, 1437, 1437, 1437, 1437,
     1438, 1438, 1438, 1438, 1438, 1438, 1438, 1438, 1438, 1438,
     1439, 1439, 1439, 1439, 1439, 1439, 1439, 1439, 1439, 1439,
     1440, 1440, 1440, 1440, 1440, 1440, 1440, 1440, 1440, 1440,
     1441, 1441, 1441, 1441, 1441, 1441, 1441, 1441, 1441, 1441,
     1442, 1442, 1442, 1442, 1442, 1442, 1442, 1442, 1442, 1442,
     1443, 1443, 1443, 1443, 1443, 1443, 1443, 1443, 1443, 1443,

     1444, 1444, 1444, 1444, 1444, 1444, 1444, 1444, 1444, 1444,
     1445, 1445, 1445, 1445, 1445, 1445, 1445, 1445, 1445, 1445,
     1446, 1446, 1446, 1446, 1446, 1446, 1446, 1446, 1446, 1446,
     1447, 1447, 1447, 1447, 1447, 1447, 1447, 1447, 1447, 1447,
     1448, 1448, 1448, 1448, 1448, 1448, 1448, 1448, 1448, 1448,
     1449, 1449, 1449, 1449, 1449, 1449, 1449, 1449, 1449, 1449,
     1450, 1450, 1450, 1450, 1450, 1450, 1450, 1450, 1450, 1450,
     1451, 1451, 1451, 1451, 1451, 1451, 1451, 1451, 1451, 1451,
     1452, 1452, 1452, 1452, 1452, 1452, 1452, 1452, 1452, 1452,
     1453, 1453, 1453, 1453, 1453, 1453, 1453, 1453, 1453, 1453,

     1454, 1454, 1454, 1454, 1454, 1454, 1454, 1454, 1454, 1454,
     1455, 1455, 1455, 1455, 1455, 1455, 1455, 1455, 1455, 1455,
     1456, 1456, 1456, 1456, 1456, 1456, 1456, 1456, 1456, 1456,
     1457, 1457, 1457, 1457, 1457, 1457, 1457, 1457, 1457, 1457,
     1458, 1458, 1458, 1458, 1458, 1458, 1458, 1458, 1458, 1458,
     1459, 1459, 1459, 1459, 1459, 1459, 1459, 1459, 1459, 1459,
     1460, 1460, 1460, 1460, 1460, 1460, 1460, 1460, 1460, 1460,
     1461, 1461, 1461, 1461, 1461, 1461, 1461, 1461, 1461, 1461,
     1462, 1462, 1462, 1462, 1462, 1462, 1462, 1462, 1462, 1462,
     1463, 1463, 1463, 1463, 1463, 1463, 1463, 1463, 1463, 1463,

     1464, 1464, 1464, 1464, 1464, 1464, 1464, 1464, 1464, 1464,
     1465, 1465, 1465, 1465, 1465, 1465, 1465, 1465, 1465, 1465,
     1466, 1466, 1466, 1466, 1466, 1466, 1466, 1466, 1466, 1466,
     1467, 1467, 1467, 1467, 1467, 1467, 1467, 1467, 1467, 1467,
     1468, 1468, 1468, 1468, 1468, 1468, 1468, 1468, 1468, 1468,
     1469, 1469, 1469, 1469, 1469, 1469, 1469, 1469, 1469, 1469,
     1470, 1470, 1470, 1470, 1470, 1470, 1470, 1470, 1470, 1470,
     1471, 1471, 1471, 1471, 1471, 1471, 1471, 1471, 1471, 1471,
     1472, 1472, 1472, 1472, 1472, 1472, 1472, 1472, 1472, 1472,
     1473, 1473, 1473, 1473, 1473, 1473, 1473, 1473, 1473, 1473,

     1474, 1474, 1474, 1474, 1474, 1474, 1474, 1474, 1474, 1474,
     1475, 1475, 1475, 1475, 1475, 1475, 1475, 1475, 1475, 1475,
     1476, 1476, 1476, 1476, 1476, 1476, 1476, 1476, 1476, 1476,
     1477, 1477, 1477, 1477, 1477, 1477, 1477, 1477, 1477, 1477,
     1478, 1478, 1478, 1478, 1478, 1478, 1478, 1478, 1478, 1478,
     1479, 1479, 1479, 1479, 1479, 1479, 1479, 1479, 1479, 1479,
     1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480,
     1481, 1481, 1481, 1481, 1481, 1481, 1481, 1481, 1481, 1481,
     1482, 1482, 1482, 1482, 1482, 1482, 1482, 1482, 1482, 1482,
     1483, 1483, 1483, 1483, 1483, 1483, 1483, 1483, 1483, 1483,

     1484, 1484, 1484, 1484, 1484, 1484, 1484, 1484, 1484, 1484,
     1485, 1485, 1485, 1485, 1485, 1485, 1485, 1485, 1485, 1485,
     1486, 1486, 1486, 1486, 1486, 1486, 1486, 1486, 1486, 1486,
     1487, 1487, 1487, 1487, 1487, 1487, 1487, 1487, 1487, 1487,
     1488, 1488, 1488, 1488, 1488, 1488, 1488, 1488, 1488, 1488,
     1489, 1489, 1489, 1489, 1489, 1489, 1489, 1489, 1489, 1489,
     1490, 1490, 1490, 1490, 1490, 1490, 1490, 1490, 1490, 1490,
     1491, 1491, 1491, 1491, 1491, 1491, 1491, 1491, 1491, 1491,
     1492, 1492, 1492, 1492, 1492, 1492, 1492, 1492, 1492, 1492,
     1493, 1493, 1493, 1493, 1493, 1493, 1493, 1493, 1493, 1493,

     1494, 1494, 1494, 1494, 1494, 1494, 1494, 1494, 1494, 1494,
     1495, 1495, 1495, 1495, 1495, 1495, 1495, 1495, 1495, 1495,
     1496, 1496, 1496, 1496, 1496, 1496, 1496, 1496, 1496, 1496,
     1497, 1497, 1497, 1497, 1497, 1497, 1497, 1497, 1497, 1497,
     1498, 1498, 1498, 1498, 1498, 1498, 1498, 1498, 1498, 1498,
     1499, 1499, 1499, 1499, 1499, 1499, 1499, 1499, 1499, 1499,
     1500, 1500, 1500, 1500, 1500, 1500, 1500, 1500, 1500, 1500,
     1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501, 1501,
     1502, 1502, 1502, 1502, 1502, 1502, 1502, 1502, 1502, 1502,
     1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503, 1503,

     1504, 1504, 1504, 1504, 1504, 1504, 1504, 1504, 1504, 1504,
     1505, 1505, 1505, 1505, 1505, 1505, 1505, 1505, 1505, 1505,
     1506, 1506, 1506, 1506, 1506, 1506, 1506, 1506, 1506, 1506,
     1507, 1507, 1507, 1507, 1507, 1507, 1507, 1507, 1507, 1507,
     1508, 1508, 1508, 1508, 1508, 1508, 1508, 1508, 1508, 1508,
     1509, 1509, 1509, 1509, 1509, 1509, 1509, 1509, 1509, 1509,
     1510, 1510, 1510, 1510, 1510, 1510, 1510, 1510, 1510, 1510,
     1511, 1511, 1511, 1511, 1511, 1511, 1511, 1511, 1511, 1511,
     1512, 1512, 1512, 1512, 1512, 1512, 1512, 1512, 1512, 1512,
     1513, 1513, 1513, 1513, 1513, 1513, 1513, 1513, 1513, 1513,

     1514, 1514, 1514, 1514, 1514, 1514, 1514, 1514, 1514, 1514,
     1515, 1515, 1515, 1515, 1515, 1515, 1515, 1515, 1515, 1515,
     1516, 1516, 1516, 1516, 1516, 1516, 1516, 1516, 1516, 1516,
     1517, 1517, 1517, 1517, 1517, 1517, 1517, 1517, 1517, 1517,
     1518, 1518, 1518, 1518, 1518, 1518, 1518, 1518, 1518, 1518,
     1519, 1519, 1519, 1519, 1519, 1519, 1519, 1519, 1519, 1519,
     1520, 1520, 1520, 1520, 1520, 1520, 1520, 1520, 1520, 1520,
     1521, 1521, 1521, 1521, 1521, 1521, 1521, 1521, 1521, 1521,
     1522, 1522, 1522, 1522, 1522, 1522, 1522, 1522, 1522, 1522,
     1523, 1523, 1523, 1523, 1523, 1523, 1523, 1523, 1523, 1523,

     1524, 1524, 1524, 1524, 1524, 1524, 1524, 1524, 1524, 1524,
     1525, 1525, 1525, 1525, 1525, 1525, 1525, 1525, 1525, 1525,
     1526, 1526, 1526, 1526, 1526, 1526, 1526, 1526, 1526, 1526,
     1527, 1527, 1527, 1527, 1527, 1527, 1527, 1527, 1527, 1527,
     1528, 1528, 1528, 1528, 1528, 1528, 1528, 1528, 1528, 1528,
     1529, 1529, 1529, 1529, 1529, 1529, 1529, 1529, 1529, 1529,
     1530, 1530, 1530, 1530, 1530, 1530, 1530, 1530, 1530, 1530,
     1531, 1531, 1531, 1531, 1531, 1531, 1531, 1531, 1531, 1531,
     1532, 1532, 1532, 1532, 1532, 1532, 1532, 1532, 1532, 1532,
     1533, 1533, 1533, 1533, 1533, 1533, 1533, 1533, 1533, 1533,

     1534, 1534, 1534, 1534, 1534, 1534, 1534, 1534, 1534, 1534,
     1535, 1535, 1535, 1535, 1535, 1535, 1535, 1535, 1535, 1535,
     1536, 1536, 1536, 1536, 1536, 1536, 1536, 1536, 1536, 1536,
     1537, 1537, 1537, 1537, 1537, 1537, 1537, 1537, 1537, 1537,
     1538, 1538, 1538, 1538, 1538, 1538, 1538, 1538, 1538, 1538,
     1539, 1539, 1539, 1539, 1539, 1539, 1539, 1539, 1539, 1539,
     1540, 1540, 1540, 1540, 1540, 1540, 1540, 1540, 1540, 1540,
     1541, 1541, 1541, 1541, 1541, 1541, 1541, 1541, 1541, 1541,
     1542, 1542, 1542, 1542, 1542, 1542, 1542, 1542, 1542, 1542,
     1543, 1543, 1543, 1543, 1543, 1543, 1543, 1543, 1543, 1543,

     1544, 1544, 1544, 1544, 1544, 1544, 1544, 1544, 1544, 1544,
     1545, 1545, 1545, 1545, 1545, 1545, 1545, 1545, 1545, 1545,
     1546, 1546, 1546, 1546, 1546, 1546, 1546, 1546, 1546, 1546,
     1547, 1547, 1547, 1547, 1547, 1547, 1547, 1547, 1547, 1547,
     1548, 1548, 1548, 1548, 1548, 1548, 1548, 1548, 1548, 1548,
     1549, 1549, 1549, 1549, 1549, 1549, 1549, 1549, 1549, 1549,
     1550, 1550, 1550, 1550, 1550, 1550, 1550, 1550, 1550, 1550,
     1551, 1551, 1551, 1551, 1551, 1551, 1551, 1551, 1551, 1551,
     1552, 1552, 1552, 1552, 1552, 1552, 1552, 1552, 1552, 1552,
     1553, 1553, 1553, 1553, 1553, 1553, 1553, 1553, 1553, 1553,

     1554, 1554, 1554, 1554, 1554, 1554, 1554, 1554, 1554, 1554,
     1555, 1555, 1555, 1555, 1555, 1555, 1555, 1555, 1555, 1555,
     1556, 1556, 1556, 1556, 1556, 1556, 1556, 1556, 1556, 1556,
     1557, 1557, 1557, 1557, 1557, 1557, 1557, 1557, 1557, 1557,
     1558, 1558, 1558, 1558, 1558, 1558, 1558, 1558, 1558, 1558,
     1559, 1559, 1559, 1559, 1559, 1559, 1559, 1559, 1559, 1559,
     1560, 1560, 1560, 1560, 1560, 1560, 1560, 1560, 1560, 1560,
     1561, 1561, 1561, 1561, 1561, 1561, 1561, 1561, 1561, 1561,
     1562, 1562, 1562, 1562, 1562, 1562, 1562, 1562, 1562, 1562,
     1563, 1563, 1563, 1563, 1563, 1563, 1563, 1563, 1563, 1563,

     1564, 1564, 1564, 1564, 1564, 1564, 1564, 1564, 1564, 1564,
     1565, 1565, 1565, 1565, 1565, 1565, 1565, 1565, 1565, 1565,
     1566, 1566, 1566, 1566, 1566, 1566, 1566, 1566, 1566, 1566,
     1567, 1567, 1567, 1567, 1567, 1567, 1567, 1567, 1567, 1567,
     1568, 1568, 1568, 1568, 1568, 1568, 1568, 1568, 1568, 1568,
     1569, 1569, 1569, 1569, 1569, 1569, 1569, 1569, 1569, 1569,
     1570, 1570, 1570, 1570, 1570, 1570, 1570, 1570, 1570, 1570,
     1571, 1571, 1571, 1571, 1571, 1571, 1571, 1571, 1571, 1571,
     1572, 1572, 1572, 1572, 1572, 1572, 1572, 1572, 1572, 1572,
     1573, 1573, 1573, 1573, 1573, 1573, 1573, 1573, 1573, 1573,

     1574, 1574, 1574, 1574, 1574, 1574, 1574, 1574, 1574, 1574,
     1575, 1575, 1575, 1575, 1575, 1575, 1575, 1575, 1575, 1575,
     1576, 1576, 1576, 1576, 1576, 1576, 1576, 1576, 1576, 1576,
     1577, 1577, 1577, 1577, 1577, 1577, 1577, 1577, 1577, 1577,
     1578, 1578, 1578, 1578, 1578, 1578, 1578, 1578, 1578, 1578,
     1579, 1579, 1579, 1579, 1579, 1579, 1579, 1579, 1579, 1579,
     1580, 1580, 1580, 1580, 1580, 1580, 1580, 1580, 1580, 1580,
     1581, 1581, 1581, 1581, 1581, 1581, 1581, 1581, 1581, 1581,
     1582, 1582, 1582, 1582, 1582, 1582, 1582, 1582, 1582, 1582,
     1583, 1583, 1583, 1583, 1583, 1583, 1583, 1583, 1583, 1583,

     1584, 1584, 1584, 1584, 1584, 1584, 1584, 1584, 1584, 1584,
     1585, 1585, 1585, 1585, 1585, 1585, 1585, 1585, 1585, 1585,
     1586, 1586, 1586, 1586, 1586, 1586, 1586, 1586, 1586, 1586,
     1587, 1587, 1587, 1587, 1587, 1587, 1587, 1587, 1587, 1587,
     1588, 1588, 1588, 1588, 1588, 1588, 1588, 1588, 1588, 1588,
     1589, 1589, 1589, 1589, 1589, 1589, 1589, 1589, 1589, 1589,
     1590, 1590, 1590, 1590, 1590, 1590, 1590, 1590, 1590, 1590,
     1591, 1591, 1591, 1591, 1591, 1591, 1591, 1591, 1591, 1591,
     1592, 1592, 1592, 1592, 1592, 1592, 1592, 1592, 1592, 1592,
     1593, 1593, 1593, 1593, 1593, 1593, 1593, 1593, 1593, 1593,

     1594, 1594, 1594, 1594, 1594, 1594, 1594, 1594, 1594, 1594,
     1595, 1595, 1595, 1595, 1595, 1595, 1595, 1595, 1595, 1595,
     1596, 1596, 1596, 1596, 1596, 1596, 1596, 1596, 1596, 1596,
     1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597, 1597,
     1598, 1598, 1598, 1598, 1598, 1598, 1598, 1598, 1598, 1598,
     1599, 1599, 1599, 1599, 1599, 1599, 1599, 1599, 1599, 1599,
     1600, 1600, 1600, 1600, 1600, 1600, 1600, 1600, 1600, 1600,
     1601, 1601, 1601, 1601, 1601, 1601, 1601, 1601, 1601, 1601,
     1602, 1602, 1602, 1602, 1602, 1602, 1602, 1602, 1602, 1602,
     1603, 1603, 1603, 1603, 1603, 1603, 1603, 1603, 1603, 1603,

     1604, 1604, 1604, 1604, 1604, 1604, 1604, 1604, 1604, 1604,
     1605, 1605, 1605, 1605, 1605, 1605, 1605, 1605, 1605, 1605,
     1606, 1606, 1606, 1606, 1606, 1606, 1606, 1606, 1606, 1606,
     1607, 1607, 1607, 1607, 1607, 1607, 1607, 1607, 1607, 1607,
     1608, 1608, 1608, 1608, 1608, 1608, 1608, 1608, 1608, 1608,
     1609, 1609, 1609, 1609, 1609, 1609, 1609, 1609, 1609, 1609,
     1610, 1610, 1610, 1610, 1610, 1610, 1610, 1610, 1610, 1610,
     1611, 1611, 1611, 1611, 1611, 1611, 1611, 1611, 1611, 1611,
     1612, 1612, 1612, 1612, 1612, 1612, 1612, 1612, 1612, 1612,
     1613, 1613, 1613, 1613, 1613, 1613, 1613, 1613, 1613, 1613,

     1614, 1614, 1614, 1614, 1614, 1614, 1614, 1614, 1614, 1614,
     1615, 1615, 1615, 1615, 1615, 1615, 1615, 1615, 1615, 1615,
     1616, 1616, 1616, 1616, 1616, 1616, 1616, 1616, 1616, 1616,
     1617, 1617, 1617, 1617, 1617, 1617, 1617, 1617, 1617, 1617,
     1618, 1618, 1618, 1618, 1618, 1618, 1618, 1618, 1618, 1618,
     1619, 1619, 1619, 1619, 1619, 1619, 1619, 1619, 1619, 1619,
     1620, 1620, 1620, 1620, 1620, 1620, 1620, 1620, 1620, 1620,
     1621, 1621, 1621, 1621, 1621, 1621, 1621, 1621, 1621, 1621,
     1622, 1622, 1622, 1622, 1622, 1622, 1622, 1622, 1622, 1622,
     1623, 1623, 1623, 1623, 1623, 1623, 1623, 1623, 1623, 1623,

     1624, 1624, 1624, 1624, 1624, 1624, 1624, 1624, 1624, 1624,
     1625, 1625, 1625, 1625, 1625, 1625, 1625, 1625, 1625, 1625,
     1626, 1626, 1626, 1626, 1626, 1626, 1626, 1626, 1626, 1626,
     1627, 1627, 1627, 1627, 1627, 1627, 1627, 1627, 1627, 1627,
     1628, 1628, 1628, 1628, 1628, 1628, 1628, 1628, 1628, 1628,
     1629, 1629, 1629, 1629, 1629, 1629, 1629, 1629, 1629, 1629,
     1630, 1630, 1630, 1630, 1630, 1630, 1630, 1630, 1630, 1630,
     1631, 1631, 1631, 1631, 1631, 1631, 1631, 1631, 1631, 1631,
     1632, 1632, 1632, 1632, 1632, 1632, 1632, 1632, 1632, 1632,
     1633, 1633, 1633, 1633, 1633, 1633, 1633, 1633, 1633, 1633,

     1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634, 1634,
     1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635, 1635,
     1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636, 1636,
     1637, 1637, 1637, 1637, 1637, 1637, 1637, 1637, 1637, 1637,
     1638, 1638, 1638, 1638, 1638, 1638, 1638, 1638, 1638, 1638,
     1639, 1639, 1639, 1639, 1639, 1639, 1639, 1639, 1639, 1639,
     1640, 1640, 1640, 1640, 1640, 1640, 1640, 1640, 1640, 1640,
     1641, 1641, 1641, 1641, 1641, 1641, 1641, 1641, 1641, 1641,
     1642, 1642, 1642, 1642, 1642, 1642, 1642, 1642, 1642, 1642,
     1643, 1643, 1643, 1643, 1643, 1643, 1643, 1643, 1643, 1643,

     1644, 1644, 1644, 1644, 1644, 1644, 1644, 1644, 1644, 1644,
     1645, 1645, 1645, 1645, 1645, 1645, 1645, 1645, 1645, 1645,
     1646, 1646, 1646, 1646, 1646, 1646, 1646, 1646, 1646, 1646,
     1647, 1647, 1647, 1647, 1647, 1647, 1647, 1647, 1647, 1647,
     1648, 1648, 1648, 1648, 1648, 1648, 1648, 1648, 1648, 1648,
     1649, 1649, 1649, 1649, 1649, 1649, 1649, 1649, 1649, 1649,
     1650, 1650, 1650, 1650, 1650, 1650, 1650, 1650, 1650, 1650,
     1651, 1651, 1651, 1651, 1651, 1651, 1651, 1651, 1651, 1651,
     1652, 1652, 1652, 1652, 1652, 1652, 1652, 1652, 1652, 1652,
     1653, 1653, 1653, 1653, 1653, 1653, 1653, 1653, 1653, 1653,

     1654, 1654, 1654, 1654, 1654, 1654, 1654, 1654, 1654, 1654,
     1655, 1655, 1655, 1655, 1655, 1655, 1655, 1655, 1655, 1655,
     1656, 1656, 1656, 1656, 1656, 1656, 1656, 1656, 1656, 1656,
     1657, 1657, 1657, 1657, 1657, 1657, 1657, 1657, 1657, 1657,
     1658, 1658, 1658, 1658, 1658, 1658, 1658, 1658, 1658, 1658,
     1659, 1659, 1659, 1659, 1659, 1659, 1659, 1659, 1659, 1659,
     1660, 1660, 1660, 1660, 1660, 1660, 1660, 1660, 1660, 1660,
     1661, 1661, 1661, 1661, 1661, 1661, 1661, 1661, 1661, 1661,
     1662, 1662, 1662, 1662, 1662, 1662, 1662, 1662, 1662, 1662,
     1663, 1663, 1663, 1663, 1663, 1663, 1663, 1663, 1663, 1663,

     1664, 1664, 1664, 1664, 1664, 1664, 1664, 1664, 1664, 1664,
     1665, 1665, 1665, 1665, 1665, 1665, 1665, 1665, 1665, 1665,
     1666, 1666, 1666, 1666, 1666, 1666, 1666, 1666, 1666, 1666,
     1667, 1667, 1667, 1667, 1667, 1667, 1667, 1667, 1667, 1667,
     1668, 1668, 1668, 1668, 1668, 1668, 1668, 1668, 1668, 1668,
     1669, 1669, 1669, 1669, 1669, 1669, 1669, 1669, 1669, 1669,
     1670, 1670, 1670, 1670, 1670, 1670, 1670, 1670, 1670, 1670,
      416,  415,  414,  411,  409,  399,  397,  396,  394,  392,
      391,  389,  388,  386,  385,  384,  383,  382,  379,  375,
      373,  370,  368,  367,  366,  365,  363,  362,  361,  360,

      357,  356,  355,  354,  353,  352,  351,  348,  347,  346,
      344,  343,  340,  337,  336,  335,  334,  333,  331,  329,
      328,  327,  326,  325,  324,  323,  321,  319,  318,  317,
      314,  311,  310,  309,  308,  306,  305,  302,  301,  300,
      299,  296,  293,  292,  291,  290,  289,  288,  287,  286,
      285,  283,  282,  281,  280,  279,  278,  275,  274,  273,
      272,  271,  270,  268,  267,  266,  265,  264,  262,  261,
      260,  259,  258,  257,  256,  255,  253,  252,  251,  250,
      249,  247,  242,  240,  239,  238,  237,  236,  235,  234,
      233,  231,  230,  229,  228,  227,  226,  224,  223,  222,

      220,  219,  218,  216,  214,  213,  212,  211,  210,  208,
      207,  206,  202,  197,  196,  195,  194,  193,  192,  191,
      190,  188,  186,  185,  182,  180,  177,  176,  175,  162,
      161,  160,  159,  158,  157,  156,  154,  152,  151,  150,
      149,  148,  146,  145,  144,  143,  141,  140,  139,  138,
      137,  135,  134,  133,  132,  131,  130,  129,  128,  127,
      122,  117,  116,  110,  100,   99,   98,   97,   96,   95,
       94,   87,   84,   83,   82,   81,   79,   76,   73,   72,
       71,   65,   59,   58,   57,   56,   54,   53,   51,   50,
       47,   46,   41,   38,   37,   36,   26,   20,   18,   13,

       12,   11, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257, 1257,
     1257, 1257
    } ;

static yy_state_type yy_last_accepting_state;
static char *yy_last_accepting_cpos;

/* The intent behind this definition is that it'll catch
 * any uses of REJECT which flex missed.
 */
#define REJECT reject_used_but_not_detected
#define yymore() yymore_used_but_not_detected
#define YY_MORE_ADJ 0
#define YY_RESTORE_YY_MORE_OFFSET
char *yytext;
#line 1 "language-scanner.lex"
#define INITIAL 0
#line 2 "language-scanner.lex"

/* 
   +----------------------------------------------------------------------+
   | PHP HTML Embedded Scripting Language Version 3.0                     |
   +----------------------------------------------------------------------+
   | Copyright (c) 1997-2000 PHP Development Team (See Credits file)      |
   +----------------------------------------------------------------------+
   | This program is free software; you can redistribute it and/or modify |
   | it under the terms of one of the following licenses:                 |
   |                                                                      |
   |  A) the GNU General Public License as published by the Free Software |
   |     Foundation; either version 2 of the License, or (at your option) |
   |     any later version.                                               |
   |                                                                      |
   |  B) the PHP License as published by the PHP Development Team and     |
   |     included in the distribution in the file: LICENSE                |
   |                                                                      |
   | This program is distributed in the hope that it will be useful,      |
   | but WITHOUT ANY WARRANTY; without even the implied warranty of       |
   | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the        |
   | GNU General Public License for more details.                         |
   |                                                                      |
   | You should have received a copy of both licenses referred to here.   |
   | If you did not, or have any questions about PHP licensing, please    |
   | contact core@php.net.                                                |
   +----------------------------------------------------------------------+
   | Authors: Andi Gutmans <andi@zend.com>                                |
   |          Zeev Suraski <bourbon@netvision.net.il>                     |
   +----------------------------------------------------------------------+
*/

/* $Id: language-scanner.lex,v 1.187 2000/08/11 22:17:34 martin Exp $ */

#define IN_PHP 1

#define DOUBLE_QUOTES 2

#define SINGLE_QUOTE 3

#define BACKQUOTE 4

#line 43 "language-scanner.lex"

#if WIN32|WINNT
#include <winsock.h>
#endif

#include <errno.h>

#include "php.h"
#include "language-parser.tab.h"
#include "language-scanner.h"
#include "main.h"
#include "modules.h"
#include "control_structures.h"
#include "highlight.h"
#include "functions/post.h"
#include "functions/fsock.h"
#include "constants.h"

#define YY_DECL int lex_scan(pval *phplval)
#define ECHO { PHPWRITE( yytext, yyleng ); }

#ifdef __cplusplus
#  define MY_INPUT yyinput
#else
#  define MY_INPUT input
#endif

extern Stack input_source_stack;
int php3_display_source; /* whether or not we're in display-source mode */
int php3_preprocess;  /* whether we're in preprocess mode */
int phplineno;
static int in_eval;

#ifndef YY_TLS_VARS
/* NOTE, YY_TLS_VARS CANNOT have a semicolon after in
   in the code or it will break compilation in msvc5 */
#define YY_TLS_VARS
#endif

#ifndef TLS_VARS /* just to make sure ;) */
#define TLS_VARS
#endif

/* Macros for starting/ending syntax coloring blocks */
#define BEGIN_COLOR(c)	{ PUTS("<FONT color=\""); PUTS(c); PUTS("\">\n"); }
#define BEGIN_COLOR_SIZE(c,s) { PUTS("<FONT color=\""); PUTS(c); PUTS("\" size=\""); PUTS(s); PUTS("\">\n"); }
#define END_COLOR()	{ PUTS("</FONT>"); }
#define BEGIN_ITALIC()	{ PUTS("<I>"); }
#define END_ITALIC()	{ PUTS("</I>"); }
#define BEGIN_STRONG()	{ PUTS("<STRONG>"); }
#define END_STRONG()	{ PUTS("</STRONG>"); }

#if HAVE_DISPLAY_SOURCE
#define IF_DISPLAY_SOURCE(a) \
	if (GLOBAL(php3_display_source)) { a }
#else
#define IF_DISPLAY_SOURCE(a) if(0) { }
#endif
	
#define HANDLE_NEWLINES(s,l) \
do { \
	char *p = (s),*boundary = p+(l); \
\
	if (GLOBAL(in_eval)) { \
		break; \
	} \
	while(p<boundary) { \
		if (*p++=='\n') { \
			GLOBAL(phplineno)++; \
		} \
	} \
} while(0)

#define HANDLE_NEWLINE(c) \
{ \
	if (c=='\n' && !GLOBAL(in_eval)) { \
		GLOBAL(phplineno)++; \
	} \
}
		
	
void reset_scanner()
{
	YY_TLS_VARS
	TLS_VARS;

	BEGIN(INITIAL);
	GLOBAL(phplineno)=1;
	GLOBAL(in_eval)=0;
}

/* Used to make sure that a buffer is allocated for yyin */
void initialize_input_file_buffer(FILE *f)
{
	yyrestart(f);
}


static void html_puts(char *s, uint len)
{
	register char *ptr=s, *end=s+len;
	int add_lineno=0;
	
	while (ptr<end) {
		html_putc(*ptr++);
	}
}


int include_file(pval *file, int display_source)
{ 
	FILE *tmp;
	YY_TLS_VARS
	YY_BUFFER_STATE buffer_state = YY_CURRENT_BUFFER;
	PHPLexState lex_state;
	char *filename;
	int issock=0, socketd=0;
	int oldcs;
	TLS_VARS;

	convert_to_string(file);

	if (file->type!=IS_STRING) {
		return FAILURE;
	}
	memcpy(&lex_state.buffer_state,&buffer_state,sizeof(YY_BUFFER_STATE));
	lex_state.type = (display_source?LEX_STATE_HIGHLIGHT_FILE:LEX_STATE_INCLUDE);
	lex_state.lineno = GLOBAL(phplineno);
	lex_state.state = YYSTATE;
	lex_state.in_eval = GLOBAL(in_eval);
	lex_state.in = yyin;
	GLOBAL(in_eval)=0;
	
	php3i_stack_push(&GLOBAL(input_source_stack),&lex_state,sizeof(PHPLexState));

	oldcs = _php3_sock_set_def_chunk_size(1);
	tmp = php3_fopen_wrapper(file->value.str.val, "r", USE_PATH|IGNORE_URL_WIN, &issock, &socketd);
	if(issock) {
		tmp = fdopen(socketd,"r");
	}
	_php3_sock_set_def_chunk_size(oldcs);
	if (!tmp) {
		php3_error(E_ERROR,"Failed opening required '%s'",
			    php3_strip_url_passwd(file->value.str.val));
		php3i_stack_del_top(&GLOBAL(input_source_stack));
		return FAILURE;
	}
	yyin = tmp;
	yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE));
	BEGIN(INITIAL);
	GLOBAL(include_count)++;
	GLOBAL(phplineno) = 1 + (GLOBAL(include_count)<<TOKEN_BITS);
	filename = estrndup(file->value.str.val,file->value.str.len);
	_php3_hash_index_update(&GLOBAL(include_names),GLOBAL(include_count),(void *) &filename,sizeof(char *),NULL);
	
	return SUCCESS;
}


void eval_string(pval *str,pval *return_offset, int display_source INLINE_TLS)
{
	PHPLexState lex_state;
	YY_TLS_VARS
	YY_BUFFER_STATE buffer_state = YY_CURRENT_BUFFER;

	convert_to_string(str);
	
	if (str->value.str.val[0]=='\0') { /* optimize empty eval's */
		return;
	}
	/* enforce two trailing NULLs for flex... */
	str->value.str.val = (char *) erealloc(str->value.str.val,str->value.str.len+2);
	str->value.str.val[str->value.str.len+1]=0;

	memcpy(&lex_state.buffer_state,&buffer_state,sizeof(YY_BUFFER_STATE));
	if (!display_source) {
		lex_state.type = LEX_STATE_EVAL;
		lex_state.return_offset = return_offset->offset+1;
	} else {
		lex_state.type = LEX_STATE_HIGHLIGHT_STRING;
	}
	lex_state.state = YYSTATE;
	lex_state.eval_string = str->value.str.val;
	lex_state.lineno = GLOBAL(phplineno);
	lex_state.in_eval = GLOBAL(in_eval);
	lex_state.in = yyin;
	GLOBAL(phplineno) = GLOBAL(current_lineno);
	GLOBAL(in_eval)=1;
	php3i_stack_push(&GLOBAL(input_source_stack),&lex_state,sizeof(PHPLexState));
	yyin=NULL;

	if (!display_source) {
		if (tcm_new(&GLOBAL(token_cache_manager),TOKEN_CACHE_EVAL_BLOCK_SIZE)==FAILURE) {
			php3_error(E_ERROR,"Unable to initialize a new token cache");
			return;
		}
	} else {
		if (display_source==2 && !pval_is_true(return_offset)) {
			display_source=1;
		}
		if (display_source==1) {
			BEGIN(INITIAL);
			start_display_source(0 _INLINE_TLS);
		} else {
			start_display_source(1 _INLINE_TLS);
		}
	}

	yy_scan_buffer(str->value.str.val, str->value.str.len+2);
}


int conditional_include_file(pval *file,pval *return_offset INLINE_TLS)
{
	PHPLexState lex_state;
	YY_TLS_VARS
	YY_BUFFER_STATE buffer_state = YY_CURRENT_BUFFER;
	FILE *tmp;
	char *filename;
	int issock=0, socketd=0;
	int oldcs;

	convert_to_string(file);

	memcpy(&lex_state.buffer_state,&buffer_state,sizeof(YY_BUFFER_STATE));
	lex_state.type = LEX_STATE_CONDITIONAL_INCLUDE;
	lex_state.state = YYSTATE;
	lex_state.return_offset = return_offset->offset+1;
	lex_state.lineno = GLOBAL(phplineno);
	lex_state.in_eval = GLOBAL(in_eval);
	lex_state.in = yyin;
	GLOBAL(in_eval) = 0;
	php3i_stack_push(&GLOBAL(input_source_stack),&lex_state,sizeof(PHPLexState));

	oldcs = _php3_sock_set_def_chunk_size(1);
	tmp = php3_fopen_wrapper(file->value.str.val, "r", USE_PATH|IGNORE_URL_WIN, &issock, &socketd);
	if(issock) {
		tmp = fdopen(socketd,"r");
	}
	_php3_sock_set_def_chunk_size(oldcs);
	if (!tmp) {
		php3_error(E_WARNING,"Failed opening '%s' for inclusion",
			    php3_strip_url_passwd(file->value.str.val));
		php3i_stack_del_top(&GLOBAL(input_source_stack));
		pval_destructor(file _INLINE_TLS);
		return FAILURE;
	}
	yyin = tmp;
	yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE));
	BEGIN(INITIAL);
	GLOBAL(include_count)++;
	GLOBAL(phplineno) = 1 + (GLOBAL(include_count)<<TOKEN_BITS);
	filename = file->value.str.val;
	_php3_hash_index_update(&GLOBAL(include_names),GLOBAL(include_count),(void *) &filename,sizeof(char *),NULL);
	
	if (tcm_new(&GLOBAL(token_cache_manager),TOKEN_CACHE_INCLUDE_BLOCK_SIZE)==FAILURE) {
		php3_error(E_ERROR, "Unable to initialize a new token cache");
		return FAILURE;
	} else {
		return SUCCESS;
	}
}


int end_current_file_execution(int *retval)
{
	if (php3i_stack_is_empty(&GLOBAL(input_source_stack))) {
		*retval = 0;
		return 1;
	} else {
		PHPLexState *lex_state;

		yy_delete_buffer(YY_CURRENT_BUFFER);
		php3i_stack_top(&GLOBAL(input_source_stack),(void **) &lex_state);

		GLOBAL(phplineno) = lex_state->lineno;
		GLOBAL(in_eval) = lex_state->in_eval;
		
		switch(lex_state->type) {
			case LEX_STATE_CONDITIONAL_INCLUDE: /* switching out of include() */
				seek_token(&GLOBAL(token_cache_manager),lex_state->return_offset, NULL);
#if WIN32|WINNT
				if(yyin->_tmpfname=="url"){
					closesocket(yyin->_file);
					efree(yyin);
				} else {
					fclose(yyin);
				}
#else
				fclose(yyin);
#endif
				BEGIN(lex_state->state);
				yy_switch_to_buffer(lex_state->buffer_state);
				php3i_stack_del_top(&GLOBAL(input_source_stack));
				*retval = DONE_EVAL;
				return 1;
				break;
			case LEX_STATE_EVAL: /* switching out of eval() */
				seek_token(&GLOBAL(token_cache_manager),lex_state->return_offset, NULL);
				BEGIN(lex_state->state);
				yy_switch_to_buffer(lex_state->buffer_state);
				STR_FREE(lex_state->eval_string);
				php3i_stack_del_top(&GLOBAL(input_source_stack));
				*retval = DONE_EVAL;
				return 1;
				break;
			case LEX_STATE_HIGHLIGHT_STRING:
				GLOBAL(php3_display_source)=0;
				GLOBAL(ExecuteFlag) = php3i_stack_int_top(&GLOBAL(css));
				php3i_stack_del_top(&GLOBAL(css));
				GLOBAL(Execute) = SHOULD_EXECUTE;
				END_COLOR();
				BEGIN(lex_state->state);
				yy_switch_to_buffer(lex_state->buffer_state);
				STR_FREE(lex_state->eval_string);
				php3i_stack_del_top(&GLOBAL(input_source_stack));
				break;
			case LEX_STATE_HIGHLIGHT_FILE:
				GLOBAL(php3_display_source)=0;
				GLOBAL(ExecuteFlag) = php3i_stack_int_top(&GLOBAL(css));
				php3i_stack_del_top(&GLOBAL(css));
				GLOBAL(Execute) = SHOULD_EXECUTE;
				END_COLOR();
				/* break missing intentionally */
			case LEX_STATE_INCLUDE:
#if WIN32|WINNT
				if (yyin->_tmpfname=="url") {
					closesocket(yyin->_file);
					efree(yyin);
				} else {
					fclose(yyin);
				}
#else
				fclose(yyin);
#endif
				BEGIN(lex_state->state);
				yy_switch_to_buffer(lex_state->buffer_state);
				php3i_stack_del_top(&GLOBAL(input_source_stack));
				break;
		}
	}
	return 0;
}


void clean_input_source_stack(void)
{
	PHPLexState *lex_state;
	YY_TLS_VARS
	TLS_VARS;

	if (yyin) {
		fclose(yyin);
	}
	while (php3i_stack_top(&GLOBAL(input_source_stack), (void **) &lex_state) != FAILURE) {
		switch(lex_state->type) {
			case LEX_STATE_EVAL:
			case LEX_STATE_HIGHLIGHT_STRING:
				STR_FREE(lex_state->eval_string);
				break;
		}
		if (lex_state->in && lex_state->in!=yyin) {
			fclose(lex_state->in);
		}
		yy_delete_buffer(YY_CURRENT_BUFFER);
		yy_switch_to_buffer(lex_state->buffer_state);
		php3i_stack_del_top(&GLOBAL(input_source_stack));
	}
	php3i_stack_destroy(&GLOBAL(input_source_stack));
	GLOBAL(initialized) &= ~INIT_INCLUDE_STACK;
}


/* redefine YY_INPUT to handle urls for win32*/
#if 0 /*WIN32|WINNT*/
#define YY_INPUT(buf,result,max_size) \
	if ( yyin->_tmpfname != "url" ){ \
	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" ); \
	}else{ /* this is a url */ \
	int recv_char=0,socketd=0; \
	/*memset(buf,0,max_size);*/ \
	socketd=yyin->_file; \
	if ( yy_current_buffer->yy_is_interactive ) \
		{ \
		int c = '*', n; \
		for ( n = 0; n < max_size && \
			     ( (recv_char=recv( socketd,(char *)&c,1,0 ))) >0 && c != '\n'; ++n ) \
			buf[n] = (char) c; \
		if ( c == '\n' ) \
			buf[n++] = (char) c; \
		if ( recv_char == SOCKET_ERROR ) \
			YY_FATAL_ERROR( "input from url in flex scanner failed" ); \
		result = n; \
		} \
	else if ((result = recv( socketd, (char *)buf, max_size, 0)) == SOCKET_ERROR) \
		  	YY_FATAL_ERROR( "input from url read in flex scanner failed" ); \
	}
#endif

#line 2832 "language-scanner.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 = NULL, *yy_bp = NULL;
	register int yy_act;

#line 471 "language-scanner.lex"


TLS_VARS;


#line 2989 "language-scanner.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_match:
		do
			{
			register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
			if ( yy_accept[yy_current_state] )
				{
				yy_last_accepting_state = yy_current_state;
				yy_last_accepting_cpos = yy_cp;
				}
			while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
				{
				yy_current_state = (int) yy_def[yy_current_state];
				if ( yy_current_state >= 1258 )
					yy_c = yy_meta[(unsigned int) yy_c];
				}
			yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
			++yy_cp;
			}
		while ( yy_base[yy_current_state] != 6703 );

yy_find_action:
		yy_act = yy_accept[yy_current_state];
		if ( yy_act == 0 )
			{ /* have to back up */
			yy_cp = yy_last_accepting_cpos;
			yy_current_state = yy_last_accepting_state;
			yy_act = yy_accept[yy_current_state];
			}

		YY_DO_BEFORE_ACTION;


do_action:	/* This label is used only to access EOF actions. */


		switch ( yy_act )
	{ /* beginning of action switch */
			case 0: /* must back up */
			/* undo the effects of YY_DO_BEFORE_ACTION */
			*yy_cp = yy_hold_char;
			yy_cp = yy_last_accepting_cpos;
			yy_current_state = yy_last_accepting_state;
			goto yy_find_action;

case 1:
YY_RULE_SETUP
#line 476 "language-scanner.lex"
{
	return EXIT;
}
	YY_BREAK
case 2:
YY_RULE_SETUP
#line 480 "language-scanner.lex"
{
	return EXIT;
}
	YY_BREAK
case 3:
YY_RULE_SETUP
#line 484 "language-scanner.lex"
{
	return OLD_FUNCTION;
}
	YY_BREAK
case 4:
YY_RULE_SETUP
#line 488 "language-scanner.lex"
{
	return FUNCTION;
}
	YY_BREAK
case 5:
YY_RULE_SETUP
#line 492 "language-scanner.lex"
{
	return PHP_CONST;
}
	YY_BREAK
case 6:
YY_RULE_SETUP
#line 496 "language-scanner.lex"
{
	return RETURN;
}
	YY_BREAK
case 7:
YY_RULE_SETUP
#line 500 "language-scanner.lex"
{
	return IF;
}
	YY_BREAK
case 8:
YY_RULE_SETUP
#line 504 "language-scanner.lex"
{
	return ELSEIF;
}
	YY_BREAK
case 9:
YY_RULE_SETUP
#line 508 "language-scanner.lex"
{
	return ENDIF;
}
	YY_BREAK
case 10:
YY_RULE_SETUP
#line 512 "language-scanner.lex"
{
	return ELSE;
}
	YY_BREAK
case 11:
YY_RULE_SETUP
#line 516 "language-scanner.lex"
{
	return WHILE;
}
	YY_BREAK
case 12:
YY_RULE_SETUP
#line 520 "language-scanner.lex"
{
	return ENDWHILE;
}
	YY_BREAK
case 13:
YY_RULE_SETUP
#line 524 "language-scanner.lex"
{
	return DO;
}
	YY_BREAK
case 14:
YY_RULE_SETUP
#line 528 "language-scanner.lex"
{
	return FOR;
}
	YY_BREAK
case 15:
YY_RULE_SETUP
#line 532 "language-scanner.lex"
{
	return ENDFOR;
}
	YY_BREAK
case 16:
YY_RULE_SETUP
#line 536 "language-scanner.lex"
{
	return SWITCH;
}
	YY_BREAK
case 17:
YY_RULE_SETUP
#line 540 "language-scanner.lex"
{
	return ENDSWITCH;
}
	YY_BREAK
case 18:
YY_RULE_SETUP
#line 544 "language-scanner.lex"
{
	return CASE;
}
	YY_BREAK
case 19:
YY_RULE_SETUP
#line 548 "language-scanner.lex"
{
	return DEFAULT;
}
	YY_BREAK
case 20:
YY_RULE_SETUP
#line 552 "language-scanner.lex"
{
	return BREAK;
}
	YY_BREAK
case 21:
YY_RULE_SETUP
#line 556 "language-scanner.lex"
{
	return CONTINUE;
}
	YY_BREAK
case 22:
YY_RULE_SETUP
#line 560 "language-scanner.lex"
{
	return PHP_ECHO;
}
	YY_BREAK
case 23:
YY_RULE_SETUP
#line 564 "language-scanner.lex"
{
	return PHP_PRINT;
}
	YY_BREAK
case 24:
YY_RULE_SETUP
#line 568 "language-scanner.lex"
{
	return CLASS;
}
	YY_BREAK
case 25:
YY_RULE_SETUP
#line 572 "language-scanner.lex"
{
	return EXTENDS;
}
	YY_BREAK
case 26:
YY_RULE_SETUP
#line 576 "language-scanner.lex"
{
	return PHP_CLASS_OPERATOR;
}
	YY_BREAK
case 27:
YY_RULE_SETUP
#line 580 "language-scanner.lex"
{
	return NEW;
}
	YY_BREAK
case 28:
YY_RULE_SETUP
#line 584 "language-scanner.lex"
{
	return VAR;
}
	YY_BREAK
case 29:
YY_RULE_SETUP
#line 588 "language-scanner.lex"
{
	return INT_CAST;
}
	YY_BREAK
case 30:
YY_RULE_SETUP
#line 592 "language-scanner.lex"
{
	return DOUBLE_CAST;
}
	YY_BREAK
case 31:
YY_RULE_SETUP
#line 596 "language-scanner.lex"
{
	return STRING_CAST;
}
	YY_BREAK
case 32:
YY_RULE_SETUP
#line 600 "language-scanner.lex"
{
	return ARRAY_CAST;
}
	YY_BREAK
case 33:
YY_RULE_SETUP
#line 604 "language-scanner.lex"
{
	return OBJECT_CAST;
}
	YY_BREAK
case 34:
YY_RULE_SETUP
#line 608 "language-scanner.lex"
{
	return EVAL;
}
	YY_BREAK
case 35:
YY_RULE_SETUP
#line 612 "language-scanner.lex"
{
	return INCLUDE;
}
	YY_BREAK
case 36:
YY_RULE_SETUP
#line 616 "language-scanner.lex"
{
	return REQUIRE;
}
	YY_BREAK
case 37:
YY_RULE_SETUP
#line 620 "language-scanner.lex"
{
	return HIGHLIGHT_FILE;
}
	YY_BREAK
case 38:
YY_RULE_SETUP
#line 624 "language-scanner.lex"
{
	return HIGHLIGHT_STRING;
}
	YY_BREAK
case 39:
YY_RULE_SETUP
#line 628 "language-scanner.lex"
{
	return PHP_GLOBAL;
}
	YY_BREAK
case 40:
YY_RULE_SETUP
#line 632 "language-scanner.lex"
{
	return PHP_ISSET;
}
	YY_BREAK
case 41:
YY_RULE_SETUP
#line 636 "language-scanner.lex"
{
	return PHP_EMPTY;
}
	YY_BREAK
case 42:
YY_RULE_SETUP
#line 640 "language-scanner.lex"
{
	return PHP_STATIC;
}
	YY_BREAK
case 43:
YY_RULE_SETUP
#line 644 "language-scanner.lex"
{
	return PHP_UNSET;
}
	YY_BREAK
case 44:
YY_RULE_SETUP
#line 648 "language-scanner.lex"
{
	return PHP_DOUBLE_ARROW;
}
	YY_BREAK
case 45:
YY_RULE_SETUP
#line 652 "language-scanner.lex"
{
	return PHP_LIST;
}
	YY_BREAK
case 46:
YY_RULE_SETUP
#line 656 "language-scanner.lex"
{
	return PHP_ARRAY;
}
	YY_BREAK
case 47:
YY_RULE_SETUP
#line 660 "language-scanner.lex"
{
	return INCREMENT;
}
	YY_BREAK
case 48:
YY_RULE_SETUP
#line 664 "language-scanner.lex"
{
	return DECREMENT;
}
	YY_BREAK
case 49:
YY_RULE_SETUP
#line 668 "language-scanner.lex"
{
	return IS_EQUAL;
}
	YY_BREAK
case 50:
YY_RULE_SETUP
#line 672 "language-scanner.lex"
{
	return IS_NOT_EQUAL;
}
	YY_BREAK
case 51:
YY_RULE_SETUP
#line 676 "language-scanner.lex"
{
	return IS_SMALLER_OR_EQUAL;
}
	YY_BREAK
case 52:
YY_RULE_SETUP
#line 680 "language-scanner.lex"
{
	return IS_GREATER_OR_EQUAL;
}
	YY_BREAK
case 53:
YY_RULE_SETUP
#line 684 "language-scanner.lex"
{
	return PLUS_EQUAL;
}
	YY_BREAK
case 54:
YY_RULE_SETUP
#line 688 "language-scanner.lex"
{
	return MINUS_EQUAL;
}
	YY_BREAK
case 55:
YY_RULE_SETUP
#line 692 "language-scanner.lex"
{
	return MUL_EQUAL;
}
	YY_BREAK
case 56:
YY_RULE_SETUP
#line 696 "language-scanner.lex"
{
	return DIV_EQUAL;
}
	YY_BREAK
case 57:
YY_RULE_SETUP
#line 700 "language-scanner.lex"
{
	return CONCAT_EQUAL;
}
	YY_BREAK
case 58:
YY_RULE_SETUP
#line 705 "language-scanner.lex"
{
	return MOD_EQUAL;
}
	YY_BREAK
case 59:
YY_RULE_SETUP
#line 709 "language-scanner.lex"
{
	return SHIFT_LEFT_EQUAL;
}
	YY_BREAK
case 60:
YY_RULE_SETUP
#line 713 "language-scanner.lex"
{
	return SHIFT_RIGHT_EQUAL;
}
	YY_BREAK
case 61:
YY_RULE_SETUP
#line 717 "language-scanner.lex"
{
	return AND_EQUAL;
}
	YY_BREAK
case 62:
YY_RULE_SETUP
#line 721 "language-scanner.lex"
{
	return OR_EQUAL;
}
	YY_BREAK
case 63:
YY_RULE_SETUP
#line 725 "language-scanner.lex"
{
	return XOR_EQUAL;
}
	YY_BREAK
case 64:
YY_RULE_SETUP
#line 729 "language-scanner.lex"
{
	return BOOLEAN_OR;
}
	YY_BREAK
case 65:
YY_RULE_SETUP
#line 733 "language-scanner.lex"
{
	return BOOLEAN_AND;
}
	YY_BREAK
case 66:
YY_RULE_SETUP
#line 737 "language-scanner.lex"
{
	return LOGICAL_OR;
}
	YY_BREAK
case 67:
YY_RULE_SETUP
#line 741 "language-scanner.lex"
{
	return LOGICAL_AND;
}
	YY_BREAK
case 68:
YY_RULE_SETUP
#line 745 "language-scanner.lex"
{
	return LOGICAL_XOR;
}
	YY_BREAK
case 69:
YY_RULE_SETUP
#line 749 "language-scanner.lex"
{
	return SHIFT_LEFT;
}
	YY_BREAK
case 70:
YY_RULE_SETUP
#line 753 "language-scanner.lex"
{
	return SHIFT_RIGHT;
}
	YY_BREAK
case 71:
YY_RULE_SETUP
#line 757 "language-scanner.lex"
{
	return yytext[0];
}
	YY_BREAK
case 72:
YY_RULE_SETUP
#line 761 "language-scanner.lex"
{
	errno = 0;
	phplval->value.lval = strtol(yytext, NULL, 0);
	if (errno == ERANGE) { /* overflow */
		phplval->value.dval = strtod(yytext,NULL);
		phplval->type = IS_DOUBLE;
		return DNUMBER;
	} else {
		phplval->type = IS_LONG;
		return LNUMBER;
	}
}
	YY_BREAK
case 73:
YY_RULE_SETUP
#line 774 "language-scanner.lex"
{ /* treat numbers (almost) as strings inside encapsulated strings */
	phplval->value.str.val = (char *)estrndup(yytext, yyleng);
	phplval->value.str.len = yyleng;
	phplval->type = IS_STRING;
	return NUM_STRING;
}
	YY_BREAK
case 74:
YY_RULE_SETUP
#line 781 "language-scanner.lex"
{
	phplval->value.dval = strtod(yytext,NULL);
	phplval->type = IS_DOUBLE;
	return DNUMBER;
}
	YY_BREAK
case 75:
YY_RULE_SETUP
#line 787 "language-scanner.lex"
{
	phplval->value.lval = php3_get_lineno(GLOBAL(current_lineno));
	phplval->type = IS_LONG;
	return PHP_LINE;
}
	YY_BREAK
case 76:
YY_RULE_SETUP
#line 793 "language-scanner.lex"
{
	char *filename = php3_get_filename(GLOBAL(current_lineno));
	
	phplval->value.str.len = strlen(filename);
	phplval->value.str.val = estrndup(filename,phplval->value.str.len);
	phplval->type = IS_STRING;
	return PHP_FILE;
}
	YY_BREAK
case 77:
YY_RULE_SETUP
#line 803 "language-scanner.lex"
{
	phplval->value.str.val = (char *) estrndup(yytext, yyleng);
	phplval->value.str.len = yyleng;
	phplval->type = IS_STRING;
	HANDLE_NEWLINES(yytext,yyleng);
	return INLINE_HTML;
}
	YY_BREAK
case 78:
YY_RULE_SETUP
#line 811 "language-scanner.lex"
{
	if (php3_ini.short_open_tag || yyleng>2) { /* yyleng>2 means it's not <? but <script> */
		if (!(GLOBAL(initialized) & INIT_ENVIRONMENT)) {
			_php3_hash_environment();
		}
		BEGIN(IN_PHP);
		IF_DISPLAY_SOURCE(
			BEGIN_COLOR(php3_ini.highlight_default);
			html_puts(yytext,yyleng);
		)
		HANDLE_NEWLINES(yytext,yyleng);
	} else {
		phplval->value.str.val = (char *) estrndup(yytext, yyleng);
		phplval->value.str.len = yyleng;
		phplval->type = IS_STRING;
		HANDLE_NEWLINES(yytext,yyleng);
		return INLINE_HTML;
	}
}
	YY_BREAK
case 79:
YY_RULE_SETUP
#line 831 "language-scanner.lex"
{
	if (php3_ini.asp_tags) {
		if (!(GLOBAL(initialized) & INIT_ENVIRONMENT)) {
			_php3_hash_environment();
		}
		BEGIN(IN_PHP);
		IF_DISPLAY_SOURCE(
			BEGIN_COLOR(php3_ini.highlight_default);
			html_puts(yytext,yyleng);
		)
		if (yyleng==3) { /* this tag is <%=, implicit echo */
			return PHP_ECHO;
		}
	} else {
		phplval->value.str.val = (char *) estrndup(yytext, yyleng);
		phplval->value.str.len = yyleng;
		phplval->type = IS_STRING;
		HANDLE_NEWLINES(yytext,yyleng);
		return INLINE_HTML;
	}
}
	YY_BREAK
case 80:
YY_RULE_SETUP
#line 854 "language-scanner.lex"
{
	HANDLE_NEWLINE(yytext[yyleng-1]);
	if (!(GLOBAL(initialized) & INIT_ENVIRONMENT)) {
		_php3_hash_environment();
	}
	BEGIN(IN_PHP);
	IF_DISPLAY_SOURCE(
		BEGIN_COLOR(php3_ini.highlight_default);
		html_puts(yytext,yyleng);
	)
}
	YY_BREAK
case 81:
YY_RULE_SETUP
#line 866 "language-scanner.lex"
{
	GLOBAL(php3_track_vars)=1;
	HANDLE_NEWLINE(yytext[yyleng-1]);
	IF_DISPLAY_SOURCE(
		BEGIN_COLOR(php3_ini.highlight_default);
		html_puts(yytext,yyleng);
	)
}
	YY_BREAK
case 82:
YY_RULE_SETUP
#line 876 "language-scanner.lex"
{
	pval result;
	
	if (!last_token_suggests_variable_reference() && php3_get_constant(yytext, yyleng, &result)) {
		*phplval = result;
		switch (result.type) {
			case IS_LONG:
				return LNUMBER;
				break;
			case IS_DOUBLE:
				return DNUMBER;
				break;
			case IS_STRING:
				return STRING_CONSTANT;
				break;
		}
	} else {
		phplval->value.str.val = (char *)estrndup(yytext, yyleng);
		phplval->value.str.len = yyleng;
		phplval->type = IS_STRING;
		return STRING;
	}
}
	YY_BREAK
case 83:
YY_RULE_SETUP
#line 901 "language-scanner.lex"
{
	phplval->value.str.val = (char *)estrndup(yytext, yyleng);
	phplval->value.str.len = yyleng;
	phplval->type = IS_STRING;
	return STRING;
}
	YY_BREAK
case 84:
YY_RULE_SETUP
#line 909 "language-scanner.lex"
{
	HANDLE_NEWLINES(yytext,yyleng);
	IF_DISPLAY_SOURCE(
		html_puts(yytext, yyleng);
	)
}
	YY_BREAK
case 85:
YY_RULE_SETUP
#line 917 "language-scanner.lex"
{ /* eat one line comments */
	HANDLE_NEWLINE(yytext[yyleng-1]);
	IF_DISPLAY_SOURCE(
		END_COLOR();
		BEGIN_ITALIC();
		BEGIN_COLOR_SIZE(php3_ini.highlight_comment, "-1");
		html_puts(yytext,yyleng);
		END_COLOR();
		END_ITALIC();
		BEGIN_COLOR(php3_ini.highlight_default);
	)
}
	YY_BREAK
case 86:
YY_RULE_SETUP
#line 930 "language-scanner.lex"
{
	/* Eat C-style comments */
	char c;
	int start_lineno;

	start_lineno=GLOBAL(phplineno);

	IF_DISPLAY_SOURCE(
		END_COLOR();
		BEGIN_ITALIC();
		BEGIN_COLOR_SIZE(php3_ini.highlight_comment, "-1");
		html_puts(yytext,yyleng);
	)
	for (;;) {
		IF_DISPLAY_SOURCE(	
			while((c=MY_INPUT())!='*' && c!=EOF) {
				HANDLE_NEWLINE(c);
				html_putc(c);
			}
		) else {
			while ((c=MY_INPUT())!='*' && c!=EOF) { /* eat up text of comment */
				HANDLE_NEWLINE(c);
			}
		}
		if (c=='*') {
			IF_DISPLAY_SOURCE(	
				html_putc(c);
				while ((c=MY_INPUT())=='*') {
					html_putc(c);
				}
			) else {
				while ((c=MY_INPUT())=='*');
			}
			IF_DISPLAY_SOURCE(	
				html_putc(c);
			)
			if (c=='/') {
				IF_DISPLAY_SOURCE(	
					END_COLOR(); END_ITALIC();
					BEGIN_COLOR(php3_ini.highlight_default);
				)
				break;	/* found the end */
			}
		}

		if (c==EOF) {
			php3_error(E_WARNING,"Unterminated comment starting line %d.\n",php3_get_lineno(start_lineno));
			break;
		} else {
			HANDLE_NEWLINE(c);
		}
	}
}
	YY_BREAK
case 87:
YY_RULE_SETUP
#line 984 "language-scanner.lex"
{
	HANDLE_NEWLINE(yytext[yyleng-1]);
	BEGIN(INITIAL);
	IF_DISPLAY_SOURCE(
		html_puts(yytext,yyleng);
		END_COLOR();
	)
	return ';';  /* implicit ';' at php-end tag */
}
	YY_BREAK
case 88:
YY_RULE_SETUP
#line 995 "language-scanner.lex"
{
	HANDLE_NEWLINE(yytext[yyleng-1]);
	if (php3_ini.asp_tags) {
		BEGIN(INITIAL);
		IF_DISPLAY_SOURCE(
			html_puts(yytext,yyleng);
			END_COLOR();
		)
		return ';';  /* implicit ';' at php-end tag */
	} else {
		phplval->value.str.val = (char *) estrndup(yytext, yyleng);
		phplval->value.str.len = yyleng;
		phplval->type = IS_STRING;
		HANDLE_NEWLINES(yytext,yyleng);
		return INLINE_HTML;
	}
}
	YY_BREAK
case 89:
YY_RULE_SETUP
#line 1014 "language-scanner.lex"
{
	BEGIN(DOUBLE_QUOTES);
	IF_DISPLAY_SOURCE(
		BEGIN_COLOR(php3_ini.highlight_string);
		BEGIN_STRONG();
		html_putc(yytext[0]);
	)
	return '\"';
}
	YY_BREAK
case 90:
YY_RULE_SETUP
#line 1024 "language-scanner.lex"
{
	BEGIN(BACKQUOTE);
	IF_DISPLAY_SOURCE(
		BEGIN_COLOR(php3_ini.highlight_string);
		BEGIN_STRONG();
		html_putc(yytext[0]);
	)
	return '`';
}
	YY_BREAK
case 91:
YY_RULE_SETUP
#line 1035 "language-scanner.lex"
{
	BEGIN(SINGLE_QUOTE);
	IF_DISPLAY_SOURCE(
		BEGIN_COLOR(php3_ini.highlight_string);
		BEGIN_STRONG();
		html_putc(yytext[0]);
	)
	return '\'';
}
	YY_BREAK
case 92:
YY_RULE_SETUP
#line 1046 "language-scanner.lex"
{
	HANDLE_NEWLINES(yytext,yyleng);
	phplval->value.str.val = (char *) estrndup(yytext, yyleng);
	phplval->value.str.len = yyleng;
	phplval->type = IS_STRING;
	return ENCAPSED_AND_WHITESPACE;
}
	YY_BREAK
case 93:
YY_RULE_SETUP
#line 1054 "language-scanner.lex"
{
	HANDLE_NEWLINES(yytext,yyleng);
	phplval->value.str.val = (char *) estrndup(yytext, yyleng);
	phplval->value.str.len = yyleng;
	phplval->type = IS_STRING;
	return ENCAPSED_AND_WHITESPACE;
}
	YY_BREAK
case 94:
YY_RULE_SETUP
#line 1063 "language-scanner.lex"
{
	int i;

	phplval->value.str.val = (char *) estrndup(yytext, yyleng);
	phplval->value.str.len = yyleng;
	phplval->type = IS_STRING;
	return ENCAPSED_AND_WHITESPACE;
}
	YY_BREAK
case 95:
YY_RULE_SETUP
#line 1073 "language-scanner.lex"
{
	int i;

	phplval->value.str.val = (char *) estrndup(yytext, yyleng);
	phplval->value.str.len = yyleng;
	phplval->type = IS_STRING;
	return ENCAPSED_AND_WHITESPACE;
}
	YY_BREAK
case 96:
YY_RULE_SETUP
#line 1083 "language-scanner.lex"
{
	phplval->value.chval = yytext[0];
	if (yyleng == 2) {
		unput(yytext[1]);
		yytext[1] = 0;
		yyleng--;
	}
	return CHARACTER;	
}
	YY_BREAK
case 97:
YY_RULE_SETUP
#line 1093 "language-scanner.lex"
{
	phplval->value.chval = yytext[0];
	return yytext[0];
}
	YY_BREAK
case 98:
YY_RULE_SETUP
#line 1098 "language-scanner.lex"
{
	phplval->value.chval='\'';
	return CHARACTER;
}
	YY_BREAK
case 99:
YY_RULE_SETUP
#line 1103 "language-scanner.lex"
{
	phplval->value.chval='\\';
	return CHARACTER;
}
	YY_BREAK
case 100:
YY_RULE_SETUP
#line 1108 "language-scanner.lex"
{
	phplval->value.chval='"';
	return CHARACTER;
}
	YY_BREAK
case 101:
YY_RULE_SETUP
#line 1113 "language-scanner.lex"
{
	phplval->value.chval='`';
	return CHARACTER;
}
	YY_BREAK
case 102:
YY_RULE_SETUP
#line 1118 "language-scanner.lex"
{
	phplval->value.chval = (char) strtol (yytext+1, NULL, 8);
	return CHARACTER;
}
	YY_BREAK
case 103:
YY_RULE_SETUP
#line 1123 "language-scanner.lex"
{
	phplval->value.chval = (char) strtol (yytext+2, NULL, 16);
	return CHARACTER;
}
	YY_BREAK
case 104:
YY_RULE_SETUP
#line 1128 "language-scanner.lex"
{
	switch (yytext[1]) {
		case 'n':
			phplval->value.chval='\n';
			break;
		case 't':
			phplval->value.chval='\t';
			break;
		case 'r':
			phplval->value.chval='\r';
			break;
		case '\\':
			phplval->value.chval='\\';
			break;
		case '$':
			phplval->value.chval=yytext[1];
			break;
		default:
			phplval->value.str.val = estrndup(yytext,yyleng);
			phplval->value.str.len = yyleng;
			phplval->type = IS_STRING;
			return BAD_CHARACTER;
			break;
	}
	return CHARACTER;
}
	YY_BREAK
case 105:
YY_RULE_SETUP
#line 1155 "language-scanner.lex"
{
	BEGIN(IN_PHP);
	IF_DISPLAY_SOURCE(
		html_putc(yytext[0]);
		END_STRONG(); END_COLOR();
	)
	return '\"';
}
	YY_BREAK
case 106:
YY_RULE_SETUP
#line 1165 "language-scanner.lex"
{
	BEGIN(IN_PHP);
	IF_DISPLAY_SOURCE(
		html_putc(yytext[0]);
		END_STRONG(); END_COLOR();
	)
	return '`';
}
	YY_BREAK
case 107:
YY_RULE_SETUP
#line 1175 "language-scanner.lex"
{
	BEGIN(IN_PHP);
	IF_DISPLAY_SOURCE(
		html_putc(yytext[0]);
		END_STRONG(); END_COLOR();
	)
	return '\'';
}
	YY_BREAK
case YY_STATE_EOF(DOUBLE_QUOTES):
case YY_STATE_EOF(BACKQUOTE):
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(IN_PHP):
#line 1185 "language-scanner.lex"
{
	int retval;

	if (end_current_file_execution(&retval)) {
		return retval;
	}
}
	YY_BREAK
case 108:
YY_RULE_SETUP
#line 1196 "language-scanner.lex"
{
	php3_error(E_WARNING,"Unexpected character in input:  '%c' (ASCII=%d) state=%d",yytext[0],yytext[0],YYSTATE);
}
	YY_BREAK
case 109:
YY_RULE_SETUP
#line 1199 "language-scanner.lex"
ECHO;
	YY_BREAK
#line 4110 "language-scanner.c"
case YY_STATE_EOF(SINGLE_QUOTE):
	yyterminate();

	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;

	for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
		{
		register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
		if ( yy_accept[yy_current_state] )
			{
			yy_last_accepting_state = yy_current_state;
			yy_last_accepting_cpos = yy_cp;
			}
		while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
			{
			yy_current_state = (int) yy_def[yy_current_state];
			if ( yy_current_state >= 1258 )
				yy_c = yy_meta[(unsigned int) yy_c];
			}
		yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
		}

	return yy_current_state;
	}


/* 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 char *yy_cp = yy_c_buf_p;

	register YY_CHAR yy_c = 1;
	if ( yy_accept[yy_current_state] )
		{
		yy_last_accepting_state = yy_current_state;
		yy_last_accepting_cpos = yy_cp;
		}
	while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
		{
		yy_current_state = (int) yy_def[yy_current_state];
		if ( yy_current_state >= 1258 )
			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 == 1257);

	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;


	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;


	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 1199 "language-scanner.lex"