#line 3 "detex.c"

#define  YY_INT_ALIGNED short int

/* A lexical scanner generated by flex */

#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5
#define YY_FLEX_SUBMINOR_VERSION 37
#if YY_FLEX_SUBMINOR_VERSION > 0
#define FLEX_BETA
#endif

/* First, we deal with  platform-specific or compiler-specific issues. */

/* begin standard C headers. */
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>

/* end standard C headers. */

/* flex integer type definitions */

#ifndef FLEXINT_H
#define FLEXINT_H

/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */

#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L

/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
 * if you want the limit (max/min) macros for int types. 
 */
#ifndef __STDC_LIMIT_MACROS
#define __STDC_LIMIT_MACROS 1
#endif

#include <inttypes.h>
typedef int8_t flex_int8_t;
typedef uint8_t flex_uint8_t;
typedef int16_t flex_int16_t;
typedef uint16_t flex_uint16_t;
typedef int32_t flex_int32_t;
typedef uint32_t flex_uint32_t;
#else
typedef signed char flex_int8_t;
typedef short int flex_int16_t;
typedef int flex_int32_t;
typedef unsigned char flex_uint8_t; 
typedef unsigned short int flex_uint16_t;
typedef unsigned int flex_uint32_t;

/* Limits of integral types. */
#ifndef INT8_MIN
#define INT8_MIN               (-128)
#endif
#ifndef INT16_MIN
#define INT16_MIN              (-32767-1)
#endif
#ifndef INT32_MIN
#define INT32_MIN              (-2147483647-1)
#endif
#ifndef INT8_MAX
#define INT8_MAX               (127)
#endif
#ifndef INT16_MAX
#define INT16_MAX              (32767)
#endif
#ifndef INT32_MAX
#define INT32_MAX              (2147483647)
#endif
#ifndef UINT8_MAX
#define UINT8_MAX              (255U)
#endif
#ifndef UINT16_MAX
#define UINT16_MAX             (65535U)
#endif
#ifndef UINT32_MAX
#define UINT32_MAX             (4294967295U)
#endif

#endif /* ! C99 */

#endif /* ! FLEXINT_H */

#ifdef __cplusplus

/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST

#else	/* ! __cplusplus */

/* C99 requires __STDC__ to be defined as 1. */
#if defined (__STDC__)

#define YY_USE_CONST

#endif	/* defined (__STDC__) */
#endif	/* ! __cplusplus */

#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#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. */
#ifndef YY_BUF_SIZE
#define YY_BUF_SIZE 16384
#endif

/* The state buf must be large enough to hold one state per character in the main buffer.
 */
#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))

#ifndef YY_TYPEDEF_YY_BUFFER_STATE
#define YY_TYPEDEF_YY_BUFFER_STATE
typedef struct yy_buffer_state *YY_BUFFER_STATE;
#endif

#ifndef YY_TYPEDEF_YY_SIZE_T
#define YY_TYPEDEF_YY_SIZE_T
typedef size_t yy_size_t;
#endif

extern yy_size_t yyleng;

extern FILE *yyin, *yyout;

#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2

    #define YY_LESS_LINENO(n)
    
/* Return all but the first "n" matched characters back to the input stream. */
#define yyless(n) \
	do \
		{ \
		/* Undo effects of setting up yytext. */ \
        int yyless_macro_arg = (n); \
        YY_LESS_LINENO(yyless_macro_arg);\
		*yy_cp = (yy_hold_char); \
		YY_RESTORE_YY_MORE_OFFSET \
		(yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
		YY_DO_BEFORE_ACTION; /* set up yytext again */ \
		} \
	while ( 0 )

#define unput(c) yyunput( c, (yytext_ptr)  )

#ifndef YY_STRUCT_YY_BUFFER_STATE
#define YY_STRUCT_YY_BUFFER_STATE
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.
	 */
	yy_size_t 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;

    int yy_bs_lineno; /**< The line count. */
    int yy_bs_column; /**< The column count. */
    
	/* 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

	};
#endif /* !YY_STRUCT_YY_BUFFER_STATE */

/* Stack of input buffers. */
static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */

/* 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".
 *
 * Returns the top of the stack, or NULL.
 */
#define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
                          ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
                          : NULL)

/* Same as previous macro, but useful when we know that the buffer stack is not
 * NULL or when we need an lvalue. For internal use only.
 */
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]

/* yy_hold_char holds the character lost when yytext is formed. */
static char yy_hold_char;
static yy_size_t yy_n_chars;		/* number of characters read into yy_ch_buf */
yy_size_t yyleng;

/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 0;		/* 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 (FILE *input_file  );
void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
YY_BUFFER_STATE yy_create_buffer (FILE *file,int size  );
void yy_delete_buffer (YY_BUFFER_STATE b  );
void yy_flush_buffer (YY_BUFFER_STATE b  );
void yypush_buffer_state (YY_BUFFER_STATE new_buffer  );
void yypop_buffer_state (void );

static void yyensure_buffer_stack (void );
static void yy_load_buffer_state (void );
static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file  );

#define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )

YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size  );
YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str  );
YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,yy_size_t len  );

void *yyalloc (yy_size_t  );
void *yyrealloc (void *,yy_size_t  );
void yyfree (void *  );

#define yy_new_buffer yy_create_buffer

#define yy_set_interactive(is_interactive) \
	{ \
	if ( ! YY_CURRENT_BUFFER ){ \
        yyensure_buffer_stack (); \
		YY_CURRENT_BUFFER_LVALUE =    \
            yy_create_buffer(yyin,YY_BUF_SIZE ); \
	} \
	YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
	}

#define yy_set_bol(at_bol) \
	{ \
	if ( ! YY_CURRENT_BUFFER ){\
        yyensure_buffer_stack (); \
		YY_CURRENT_BUFFER_LVALUE =    \
            yy_create_buffer(yyin,YY_BUF_SIZE ); \
	} \
	YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
	}

#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)

/* Begin user sect3 */

typedef unsigned char YY_CHAR;

FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;

typedef int yy_state_type;

extern int yylineno;

int yylineno = 1;

extern char *yytext;
#define yytext_ptr yytext

static yy_state_type yy_get_previous_state (void );
static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
static int yy_get_next_buffer (void );
static void yy_fatal_error (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 = (size_t) (yy_cp - yy_bp); \
	(yy_hold_char) = *yy_cp; \
	*yy_cp = '\0'; \
	(yy_c_buf_p) = yy_cp;

#define YY_NUM_RULES 142
#define YY_END_OF_BUFFER 143
/* This struct is not used in this scanner,
   but its presence is necessary. */
struct yy_trans_info
	{
	flex_int32_t yy_verify;
	flex_int32_t yy_nxt;
	};
static yyconst flex_int16_t yy_accept[1067] =
    {   0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,  122,  122,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
      135,  135,    0,    0,    0,    0,    0,    0,  118,  118,
        0,    0,  143,  142,   80,   79,   78,   92,   91,   92,
      103,  106,  105,  104,  108,  110,  109,   97,   95,   94,
       97,  129,  129,   93,    1,  128,  129,  124,  124,  126,
      123,  122,  121,  120,  123,  123,  122,   11,   11,   10,
        9,   11,   88,   87,   88,   18,   17,   15,   16,   14,
       13,   14,   84,   83,   84,   99,  101,  100,  133,  130,

      131,  132,  135,  134,  139,  136,  137,  138,  141,  140,
        6,    6,    7,  118,   43,   42,   44,   90,  103,  108,
       96,  125,   89,    1,  128,    0,  127,  117,  115,   81,
      114,  114,  114,  114,   85,  116,  114,  114,  114,  114,
      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,
      114,  114,  114,  114,  122,  122,  120,  120,    0,  119,
        0,    0,    9,    0,    0,    0,   86,   15,    0,   82,
       99,  135,    6,    0,   43,  127,  114,  114,  112,  112,
      116,    0,  114,  114,  114,  114,  114,  114,  114,  114,
      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,

      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,
      114,    0,    0,    0,    0,  111,  111,    0,  116,  114,
      114,  114,  114,  114,   77,  114,   65,  114,  114,  114,
      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,
      114,  114,   71,  114,  114,  114,  114,  114,  114,  114,
      114,  114,  114,  114,  114,  114,  114,  114,    0,    0,
       12,    0,  114,  114,  114,  114,  114,  114,   61,  114,
      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,
      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,
       52,  114,  114,  114,  114,  114,  114,   32,  114,  114,

      114,  114,  114,  114,  114,  114,  114,  114,   73,  114,
      114,    0,    0,    0,    0,  114,  114,    3,  114,  114,
      114,   46,  114,  114,  114,  114,  114,  114,  114,  114,
       66,  107,    0,    0,    0,    0,    0,   68,  114,  114,
      114,  114,  114,  114,  114,  114,  114,  114,   52,  114,
      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,
      114,  114,  114,  114,  114,  114,  114,  114,    0,    0,
        0,    0,  114,  114,    0,    0,  114,  114,  114,  114,
      114,  114,  114,  114,  114,    0,    0,    0,    0,    0,
      114,  114,    0,    0,    0,    0,    0,    0,    0,    0,

        0,    0,    0,   19,  114,  114,  114,  114,  114,  114,
      114,  114,  114,   36,  114,  114,  114,  114,  114,  114,
      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,
      114,   34,  114,    0,    0,    0,    0,    0,  114,    0,
        0,    0,  114,  114,    0,    0,   58,  114,  114,  114,
      114,  114,  114,  114,  114,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,   22,    0,    0,    0,
       98,    0,   19,   19,  114,  114,  114,  114,  114,  114,
       69,  114,  114,  114,  114,  114,  114,  114,   33,  114,
       53,  114,  114,  114,  114,  114,  114,  114,  114,  114,

      114,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,   20,    0,    0,    0,    0,    0,    0,  114,
      114,    0,  114,   60,   48,  114,  114,  114,   51,   67,
        0,   22,   22,   22,   22,    0,    0,    0,    0,    0,
      114,  114,  114,  114,  114,  114,  114,  114,  114,  114,
       35,  114,  114,  114,  114,   37,   53,  114,  114,  114,
      114,  114,  114,  114,  114,  114,  114,    0,   20,   20,
       20,   20,    0,    0,    0,    0,    0,    0,    0,    0,
      114,  114,    0,  114,  114,  114,  114,   49,    0,    0,
       22,   22,    0,    0,    0,    0,    0,    0,    0,    0,

        0,    0,    0,    0,  114,  114,  113,  114,  114,   25,
      114,   50,   70,   56,  114,  114,   38,   40,  114,   26,
      114,  114,  114,  114,  114,  114,   47,  114,    0,    0,
       20,   20,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    8,    0,    4,    0,  114,
        0,    0,    0,  114,  114,  114,  114,    0,    0,   22,
       22,    0,    0,    0,    0,    0,   23,  114,  114,   74,
      114,   31,   56,   39,  114,   38,   72,   30,  114,   28,
       54,  114,  114,   64,    0,    0,   20,   20,    0,    0,
        0,    0,    0,   21,    0,   27,    0,    0,    0,    0,

        0,    0,  114,   45,  114,  114,    0,    0,   22,   22,
        0,    0,    0,    0,  114,  102,  114,  114,   29,   54,
      114,  114,    0,    0,   20,   20,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,   59,  114,  114,    0,    0,   22,
       22,    0,    0,    0,    0,    0,    0,    0,    0,  114,
      114,   75,  114,   57,    0,    0,   20,   20,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,   24,    0,   63,   62,    0,    0,   22,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,

        0,    0,    0,    0,   22,    0,    0,    0,    0,  114,
      114,   55,   57,    0,    0,   20,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,   20,    0,    0,    0,    0,    0,    5,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,   22,    0,   22,   22,   22,
        0,    0,    0,    0,    0,    0,    0,    0,  114,   76,
       55,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,   20,    0,   20,   20,   20,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,

        0,    2,    0,   22,   22,   22,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,   41,    0,   20,   20,   20,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,   22,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,   41,   41,   20,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,   22,

        0,    0,    0,    0,   20,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,   22,    0,
       20,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,   22,
        0,   20,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0
    } ;

static yyconst flex_int32_t yy_ec[256] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    4,    5,    1,    1,    6,    7,    1,    8,    9,
       10,   11,   12,   13,   14,   15,    1,   16,   16,   16,
       16,   16,   17,   17,   17,   17,   17,    1,    1,    1,
       18,    1,    5,   19,   20,   21,   21,   21,   22,   21,
       21,   21,   21,   21,   21,   23,   21,   21,   24,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       25,   26,   27,    1,    1,   28,   29,   30,   31,   32,

       33,   34,   35,   36,   37,   23,   38,   39,   40,   41,
       42,   43,   21,   44,   45,   46,   47,   48,   49,   50,
       51,   52,   53,   54,   55,   56,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,

        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1
    } ;

static yyconst flex_int32_t yy_meta[57] =
    {   0,
        1,    2,    3,    2,    1,    1,    1,    4,    1,    1,
        1,    1,    5,    6,    1,    6,    6,    6,    7,    8,
        8,    8,    8,    8,    1,    9,   10,    6,    8,    8,
        8,    8,    8,    8,    8,    8,    8,    8,    8,    8,
        8,    8,    8,    8,    8,    8,    8,    8,    8,    8,
        8,    8,   11,    1,   12,    1
    } ;

static yyconst flex_int16_t yy_base[1116] =
    {   0,
        0,    0,    0,    1,    2,    3,    8,   11,   14,   23,
       16,   17,   78,    0,  134,    0,  190,    0,    4,   25,
      246,    0,   26,   29,   30,   31,  301,  304,  307,  308,
     2540, 2539,  311,  312,   32,   33,   36,   42, 2549, 2548,
       17,   18, 2563, 2913, 2913, 2913, 2913, 2913, 2913, 2556,
        0, 2913, 2913, 2913,    0, 2913, 2913, 2913, 2913, 2913,
     2555, 2913, 2531, 2552,    0,   21, 2549,  367, 2913, 2913,
     2913,  317, 2913,    0,  310,    0, 2503, 2913,  422,  425,
        0,  428, 2913, 2913, 2528, 2913, 2913,    0, 2913, 2913,
     2913, 2521, 2913, 2913, 2543,    0, 2913, 2913, 2913, 2913,

     2913, 2913,    0, 2913, 2913, 2913, 2913, 2913, 2913, 2913,
        0,    0, 2519, 2913,    0, 2913, 2913, 2913,    0,    0,
     2913, 2913, 2913,    0,   24, 2539, 2537, 2913, 2913, 2913,
        0,   24,  431,  434, 2913,  298,  284,  289,  283,   16,
     2503,  298, 2498,  438, 2509,  443, 2508,  448, 2511,  301,
      424, 2506, 2489,   32,  456, 2480,    0,    0,  327,    0,
      459,  462,    0,  480, 2495, 2498, 2913,    0, 2489, 2913,
        0,    0,    0, 2488,    0, 2520,    0,  488,  492, 2913,
     2502, 2499, 2493, 2489, 2493, 2476, 2482, 2485, 2487, 2485,
     2474,  302,  304,  442, 2471, 2484, 2472, 2463,  314, 2474,

      463, 2464, 2461, 2466, 2478,  281,  418, 2455, 2471, 2459,
      308, 2461, 2457, 2468, 2467,  497, 2913, 2471, 2913,    2,
     2456,  468, 2458, 2448, 2452, 2441,    0, 2448, 2447, 2439,
     2443, 2450, 2439, 2444, 2429, 2434, 2441, 2440,  484, 2439,
      489, 2426, 2431, 2436, 2431, 2438, 2432, 2414, 2424, 2416,
      475, 2416, 2417, 2413,  481, 2428, 2420, 2427, 2418, 2424,
     2913,  523, 2411, 2406, 2409, 2403, 2411, 2401,    0, 2402,
     2404, 2404, 2397, 2401, 2395, 2392, 2403, 2386, 2382, 2385,
      575, 2387, 2395, 2382, 2382, 2389, 2392,  500, 2385, 2377,
     2407, 2384, 2383, 2366, 2362, 2366, 2381,    0, 2377, 2372,

     2366, 2374, 2364,  483, 2376, 2369, 2356, 2368,    0, 2353,
     2364, 2351, 2364,  530,  534, 2353, 2344,  546, 2353, 2343,
     2333, 2353, 2349, 2348, 2336, 2346, 2336,  600, 2344, 2344,
        0,    0,  625,  524,   58,  650,    0,    0, 2331, 2333,
     2324, 2330, 2322, 2327, 2335, 2321, 2322, 2311, 2913, 2329,
     2327, 2326, 2323, 2322, 2312, 2323, 2306, 2300, 2305,  510,
     2314, 2314, 2299, 2300, 2291, 2309,  694, 2306, 2309, 2291,
      552, 2303, 2301, 2304,  558,  561, 2292, 2296, 2291, 2287,
     2297, 2286, 2292, 2291, 2273,  719,  551,  336,  744,    0,
      569, 2285,  569,  427,  471, 2274,  557, 2284, 2275, 2273,

     2269,  550, 2265,  603, 2274, 2266, 2268, 2269, 2270, 2263,
     2267, 2249, 2270,    0, 2256, 2251, 2253, 2264, 2263, 2242,
     2249, 2249, 2248, 2253, 2250, 2248, 2243, 2233, 2233, 2248,
     2237,    0, 2237,  788,  593,  541,  813,    0,  621, 2235,
     2231, 2223, 2224, 2233,  616, 2220,    0, 2217, 2227, 2205,
     2212, 2207, 2210, 2219, 2217,  618,  553,  558, 2206,  590,
     2216, 2207, 2205, 2205,  567, 2201,  659,  641,  654,  857,
      435,  578,  666,  669, 2211, 2210, 2194, 2191, 2206, 2193,
        0, 2195, 2190, 2182, 2201, 2186, 2183, 2182,    0, 2173,
     2211, 2175, 2174, 2176, 2177, 2180, 2174, 2177, 2174, 2166,

     2178,  660,  630,  633, 2163,  624, 2169, 2149, 2157, 2156,
      654, 2152,  701,  710,  713,  882, 2160, 2152, 2161, 2151,
     2152, 2153, 2154,    0,    0, 2143,  647, 2130,    0,    0,
      643,  722,  753,  769,  795,    0,  712,  672,  907,    0,
     2135, 2136, 2138, 2134, 2127, 2131, 2122, 2118, 2124, 2119,
        0, 2112, 2105, 2093, 2090,    0, 2913, 2106, 2102, 2086,
     2085, 2072, 2064, 2067, 2052, 2051, 2059,  702,  822,  837,
      864,  886,    0,  722,  726,  951,    0,  765,  776, 2064,
     2044,  748, 2037, 2039, 2029, 2030, 2022,    0, 2029, 2026,
      916,  929,  806,  737,  766, 2020,  709, 2020, 2008, 2006,

     2005,  655, 1998,  958, 2008, 1997,    0, 2003, 1993,    0,
     1983,    0,    0, 2021, 1977, 1994, 2011,    0, 1977,    0,
     1984, 1979, 1977, 1971, 1965, 1978,    0, 1967, 1909, 1905,
      971,  975,  832,  769,  778, 1900,  779, 1909, 1887, 1895,
     1891,  787, 1886,  983,  910, 2913, 1000, 2913, 1882, 1891,
      889, 1054, 1886, 1889, 1880, 1893, 1870, 1879, 1869, 1003,
     1032,  791, 1038, 1045, 1049,  311, 2913, 1872, 1863,    0,
     1873,    0, 2913,    0, 1870, 2913,    0,    0, 1864,    0,
     1898, 1871, 1859,    0, 1857, 1849, 1058, 1080,  820, 1092,
     1105, 1109,  514, 2913, 1858,    0,    0,  900,  835, 1163,

        0, 1857, 1837,    0, 1838, 1843, 1830, 1830, 1113, 1207,
     1837, 1833,  838,  402, 1835,    0, 1835, 1835,    0, 2913,
     1820, 1821, 1806, 1807, 1159, 1249, 1814, 1808,  841,  795,
     1805,  919,  838,  847, 1799,  890, 1809, 1778, 1786, 1781,
      856, 1776, 1134, 1777,    0, 1771, 1775, 1758, 1291, 1316,
     1188,  993,  889, 1341,    0, 1761, 1747,  904,  858, 1751,
     1742,    0, 1740, 1769, 1733, 1385, 1410, 1214, 1004,  911,
     1435,    0, 1736, 1721,  911,  926, 1126,  929, 1233, 1241,
     1297,  599, 2913, 1721,    0,    0, 1479,    0, 1237, 1012,
      973, 1504,    0, 1015,  976,  983, 1719,  985, 1729, 1717,

     1708, 1708,  918, 1703, 1167, 1697, 1694, 1000, 1548, 1706,
     1690, 1722, 2913, 1584,    0, 1283, 1048, 1057, 1609,    0,
     1124, 1074, 1086, 1684,  993, 1693, 1674, 1673, 1662,  949,
     1654, 1180, 1633, 1633, 1022, 1653, 1183, 2913, 1627, 1614,
     1069, 1007, 1223,    0, 1127, 1102, 1105, 1591, 1093, 1595,
     1557, 1554, 1553, 1068, 1546, 1210, 1110, 1307, 1310, 1358,
     1530, 1689, 1714, 1351, 1243, 1134, 1739,    0, 1528,    0,
     2913,    0, 1252, 1138, 1156, 1518, 1128, 1527, 1490, 1474,
     1452, 1184, 1436, 1268, 1159, 1363, 1405, 1416, 1429, 1783,
     1808, 1430, 1353, 1181, 1833,    0, 1428, 1410, 1050, 1197,

     1373, 2913, 1232, 1413, 1427, 1457, 1877,    0, 1444, 1425,
     1239, 1902,    0, 1447, 1266, 1274, 1406, 1284, 1391, 1381,
     1369, 1364, 1290, 1353, 1498, 1947, 1281, 1486, 1507, 1514,
     2002,    0, 1526, 1497, 1322, 2027,    0, 1507, 1332, 1347,
     1342, 1285, 1327, 1301, 1305, 1301, 1359, 1286, 1554, 1275,
     1259, 1290, 2071, 1568,    0, 1510, 1363, 1366, 1259, 1404,
     1247, 1234, 1221, 1206, 1412, 1189, 1529, 1376, 1574, 1588,
     1634,    0,    0, 1619,    0, 1587, 1438, 1460, 1186, 1508,
     1173, 1151, 1147, 1117, 1440, 1091, 1603, 1487, 1658, 1679,
     1683, 1086, 2107, 2132, 1692, 1601, 1526, 2157,    0, 1705,

     1529, 1629, 1708, 1749, 1756, 1551, 1762, 1771, 1789, 2201,
        0, 1803, 1660, 1563, 2226,    0, 1798, 1566, 1603, 1036,
     1604, 1044,  989,  976,  957, 1599,  927, 1829, 2270, 1883,
     2309, 2006,    0, 1823, 1631, 1634,  900, 1632,  868,  831,
      835,  830, 1642,  814, 1852, 1683, 1857, 2022, 2052, 2348,
     2036, 2387, 2097, 1705, 2047, 2076, 2110, 2426, 2480, 2123,
     2101, 2113, 2126, 2534, 1897, 2913, 2589, 2601, 2613, 2625,
     2637, 2649, 2661, 2673, 2685, 2697, 2709, 2721, 2733, 2745,
     2757, 2769, 2781, 2791, 2801, 2810, 2818, 2827, 2829,  819,
      805, 2837, 2847, 2859, 2871, 2878, 2880, 2888,  803,  780,

      762,  756,  750,  724,  722,  683,  676,  671,  623,  514,
      459,   23, 2900,   39,  323
    } ;

static yyconst flex_int16_t yy_def[1116] =
    {   0,
     1067, 1067, 1068, 1068, 1069, 1069, 1070, 1070, 1071, 1071,
     1072, 1072, 1066,   13, 1066,   15, 1066,   17, 1073, 1073,
     1066,   21, 1074, 1074, 1075, 1075, 1076, 1076, 1077, 1077,
     1078, 1078, 1079, 1079, 1080, 1080, 1081, 1081, 1067, 1067,
     1082, 1082, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1083, 1066, 1066, 1066, 1084, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1085, 1066, 1086, 1066, 1066, 1066,
     1066, 1066, 1066, 1087, 1088, 1089, 1066, 1066, 1066, 1066,
     1090, 1066, 1066, 1066, 1066, 1066, 1066, 1091, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1092, 1066, 1066, 1066, 1066,

     1066, 1066, 1093, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1094, 1094, 1066, 1066, 1095, 1066, 1066, 1066, 1083, 1084,
     1066, 1066, 1066, 1085, 1066, 1096, 1086, 1066, 1066, 1066,
     1097, 1097, 1097, 1097, 1066, 1066, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1066, 1066, 1087, 1087, 1088, 1089,
     1066, 1066, 1090, 1066, 1066, 1066, 1066, 1091, 1066, 1066,
     1092, 1093, 1094, 1066, 1095, 1096, 1097, 1097, 1066, 1066,
     1066, 1098, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,

     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1066, 1066, 1066, 1066, 1066, 1066, 1098, 1066, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1066, 1066,
     1066, 1066, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,

     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1066, 1066, 1066, 1066, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1066, 1066, 1066, 1066, 1099, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1066, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1066, 1066,
     1066, 1066, 1097, 1097, 1066, 1066, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1066, 1066, 1066, 1066, 1100,
     1097, 1097,  336,  393, 1066, 1066, 1066, 1066, 1066, 1066,

     1066, 1066, 1066, 1099, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1066, 1066, 1066, 1066, 1101, 1097, 1066,
     1066, 1066, 1097, 1097, 1066, 1066, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097,  389,  456, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1100, 1066, 1066, 1066,
     1097,  393, 1066, 1066, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,

     1097,  437,  502, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1101, 1066, 1066, 1066, 1066, 1066, 1066, 1097,
     1097, 1066, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
      456, 1066, 1066, 1100, 1100,  470, 1066, 1066, 1066, 1102,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1066, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097,  502, 1066, 1066,
     1101, 1101,  516, 1066, 1066, 1066, 1103, 1066, 1066, 1066,
     1097, 1097, 1066, 1097, 1097, 1097, 1097, 1097, 1066, 1066,
     1100, 1100,  539,  593, 1066, 1066, 1066, 1066, 1066, 1066,

     1066, 1066, 1066, 1102, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1097, 1097, 1097, 1097, 1066, 1066,
     1101, 1101,  576,  633, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1103, 1066, 1066, 1066, 1066, 1066, 1097,
     1066, 1066, 1066, 1097, 1097, 1097, 1097, 1066, 1066, 1100,
     1100,  593, 1066, 1066, 1102,  665, 1066, 1097, 1097, 1097,
     1097, 1097, 1066, 1097, 1097, 1066, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1097, 1066, 1066, 1101, 1101,  633, 1066,
     1066, 1103,  692, 1066, 1066, 1097,  652, 1066, 1066, 1066,

     1104, 1066, 1097, 1097, 1097, 1097, 1066, 1066, 1100, 1100,
     1066, 1066,  665,  665, 1097, 1097, 1097, 1097, 1097, 1066,
     1097, 1097, 1066, 1066, 1101, 1101, 1066, 1066,  692,  692,
     1066,  700,  732, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1104, 1066, 1097, 1097, 1097, 1066, 1066,  710,
      749, 1066, 1066, 1066, 1105, 1066, 1066,  665,  665, 1097,
     1097, 1097, 1097, 1097, 1066, 1066,  726,  766, 1066, 1066,
     1066, 1106, 1066, 1066,  692,  692, 1066,  732, 1066, 1066,
     1104,  781, 1066, 1066, 1097, 1097, 1066,  749,  787, 1066,
     1066, 1066, 1107,  754,  794, 1066, 1066, 1066, 1066, 1066,

     1066, 1066, 1066, 1066, 1105, 1066, 1066,  665,  665, 1097,
     1097, 1097, 1066, 1066,  766,  814, 1066, 1066, 1066, 1108,
      771,  821, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1106, 1066, 1066,  692,  692, 1066, 1066, 1066, 1066,
      781,  781, 1066,  787,  792,  845, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1107,  794, 1066, 1066, 1105,
     1066, 1066,  809,  862, 1066, 1066, 1066, 1109, 1097, 1097,
     1066,  814,  819,  873, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1108,  821, 1066, 1066, 1106, 1066, 1066,
      836,  890, 1066, 1066, 1066, 1110, 1066, 1066,  781,  781,

     1066, 1066,  845, 1066, 1066, 1105, 1066,  862,  907, 1066,
     1066, 1066, 1111,  867,  914, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1109, 1066,  873, 1066, 1066, 1106,
     1066,  890,  931, 1066, 1066, 1066, 1112,  895,  938, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1110, 1066,
     1066,  781,  781, 1105,  907,  912,  956, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1111,  914, 1066, 1066,
     1109, 1113,  926, 1106,  931,  936,  976, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1112,  938, 1066, 1066,
     1110, 1066, 1066,  953,  993, 1066, 1066, 1066, 1114, 1105,

      956, 1066, 1066, 1109, 1106,  976, 1066, 1066, 1110, 1066,
      993, 1010, 1066, 1066, 1066, 1115,  998, 1017, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1114, 1105, 1109,
     1106, 1110, 1010, 1015, 1034, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1115, 1017, 1066, 1066, 1114, 1066,
     1109, 1066, 1110, 1034, 1066, 1066, 1114, 1109, 1110, 1114,
      907,  931, 1114, 1114, 1012,    0, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,

     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066
    } ;

static yyconst flex_int16_t yy_nxt[2970] =
    {   0,
     1066, 1066,   46,   46,   49,   49,   84,   50,   50,   52,
       53,   52,   52,   53,   52,   56,   57,   56,   59,   59,
       52,   60,   60,   52,   56,   57,   56,   84,   91,   85,
      987,   91,   94,   94,   44,   44,  125,  125,  112,  125,
      125,   61,   61,  178,  112,  178, 1028,  263,  188,  264,
       85,   92,   47,   47,   92,   95,   95,  189,  110,  110,
       52,  113,   54,   52,  210,   54,   56,  113,   56,  116,
      116,  117,  117,  393,  393,   56,  211,   56,   62,   62,
       62,   62,   63,   64,   65,   62,   62,   62,   62,   62,
       62,   62,   62,   66,   66,   62,   62,   67,   67,   67,

       67,   67,   62,   68,   62,   62,   67,   67,   67,   67,
       67,   67,   67,   67,   67,   67,   67,   67,   67,   67,
       67,   67,   67,   67,   67,   67,   67,   67,   67,   67,
       69,   69,   69,   70,   71,   72,   73,   72,   71,   71,
       71,   74,   71,   71,   71,   71,   71,   74,   71,   75,
       75,   74,   75,   75,   75,   75,   75,   75,   71,   76,
       71,   74,   75,   75,   75,   75,   75,   75,   75,   75,
       75,   75,   75,   75,   75,   75,   75,   75,   75,   75,
       75,   75,   75,   75,   75,   75,   77,   71,   71,   71,
       78,   79,   80,   79,   78,   78,   78,   78,   78,   78,

       78,   78,   78,   78,   78,   78,   78,   78,   78,   81,
       81,   81,   81,   81,   78,   78,   78,   78,   81,   81,
       81,   81,   81,   81,   81,   81,   81,   81,   81,   81,
       81,   81,   81,   81,   81,   81,   81,   81,   81,   81,
       81,   81,   82,   78,   78,   78,   86,   86,   87,   86,
       86,   86,   86,   86,   86,   86,   86,   86,   86,   86,
       86,   86,   86,   86,   86,   88,   88,   88,   88,   88,
       86,   86,   86,   86,   88,   88,   88,   88,   88,   88,
       88,   88,   88,   88,   88,   88,   88,   88,   88,   88,
       88,   88,   88,   88,   88,   88,   88,   88,   86,   86,

       89,   86,   97,   98,   97,   97,   98,   97,  181,   44,
       44,  250,  178,   44,   44,  183,  178,  158,  155,  186,
      155,  184,  182,  158,  187,  185,  251,  158,  191,  200,
     1045,  100,  100,  201,  158,  106,  106,  158,  229,  192,
      158,  231,  202,  230,  158,  257,  232,  604,  240,  714,
      258,  456,  456,   97,  158,   97,   97,  241,   97,  101,
      101,  102,  102,  107,  107,  108,  108,  128,  128,  156,
      129,  128,  128,  128,  128,  130,  128,  128,  128,  128,
      128,  128,  128,  128,  128,  131,  132,  131,  131,  133,
      134,  135,  136,  128,  128,  137,  138,  139,  140,  141,

      142,  131,  143,  144,  145,  146,  131,  147,  148,  149,
      150,  151,  152,  153,  154,  131,  131,  131,  131,  128,
      128,  128,  128,  161,  161,  161,  161,  161,  161,  164,
      164,  164,  179,  180,  179,  179,  180,  179,  604,  179,
      180,  179, 1066, 1066,  179,  180,  179,  252,  759,  179,
      180,  179,  203,  204,  205,  178,  206,  155,  253,  155,
      161,  161,  161,  164,  164,  164,  967,  165,  178,  541,
      207,  196,  233,  234,  162,  166,  542,  162,  194,  197,
      178,  164,  164,  164,  235,  180,  472,  472,  180,  216,
      217,  216,  180,  179,  180,  179,  243,  180,  216,  217,

      216,  165,  180,  244,  266,  301,  267,  245,  156,  166,
      307,  162,  268,  302,  284,  361,  285,  289,  290,  165,
      303,  949,  286,  308,  314,  314,  314,  166,  287,  362,
      344,  314,  314,  314,  291,  371,  371,  371,  335,  336,
      336,  425,  217,  345,  346,  426,  180,  375,  375,  375,
      644,  217,  730,  371,  371,  371,  502,  502,  427,  375,
      375,  375,  445,  445,  445,  388,  389,  389, 1066, 1066,
      468,  468,  468,  531,  531,  315,  333,  333,  333,  469,
      473,  372,  315, 1066,  393,  393,  334,  473,  334,  335,
      336,  336,  446,  472,  472,  473,  473,  532,  376,  372,

      337,  386,  386,  386,  474,  474,  474,  436,  437,  437,
      376,  387,  532,  387,  388,  389,  389,  445,  445,  445,
      532,  470,  514,  514,  514,  390,  333,  333,  333,  532,
      925,  515, 1066,  456,  456,  743,  334,  842,  334,  335,
      336,  336,  468,  468,  468, 1066, 1066,  446,  568,  568,
      337,  394,  394,  394,  569,  468,  468,  468,  531,  531,
      533,  533,  533,  569,  395,  336,  336,  474,  474,  474,
      474,  474,  474,  516, 1066,  502,  502,  586,  884,  396,
      397,  398,  399,  856,  569,  663,  400,  593,  593,  401,
      832,  587,  402,  470,  403,  434,  434,  434,  534,  569,

      663,  535,  570,  570,  570,  435,  470,  435,  436,  437,
      437,  514,  514,  514,  514,  514,  514,  568,  568,  438,
      386,  386,  386,  533,  533,  533,  538,  539,  539,  805,
      387,  743,  387,  388,  389,  389,  575,  576,  576,  663,
      571,  633,  633,  572,  390,  457,  457,  457,  663,  651,
      651,  651, 1066, 1066,  533,  533,  533,  644,  458,  389,
      389,  589,  516,  604,  590,  516,  645,  645,  645,  513,
      533,  533,  533,  459,  460,  461,  462,  647,  647,  647,
      463,  662,  662,  464, 1066, 1066,  465,  467,  466,  434,
      434,  434,  589,  689,  689,  590,  533,  533,  533,  435,

      652,  435,  436,  437,  437,  591,  662,  662,  534,  690,
      404,  535,  168,  438,  503,  503,  503,  690,  690,  646,
     1066,  593,  593,  570,  570,  570,  163,  504,  437,  437,
      648,  644,  690,  592,  534,  689,  689,  535,  570,  570,
      570,  776,  505,  506,  507,  508, 1066,  633,  633,  509,
      732,  732,  510, 1066, 1066,  511, 1055,  512,  536,  536,
      536,  629,  778,  778,  630,  570,  570,  570,  537, 1055,
      537,  538,  539,  539,  604, 1055,  629,  644,  758,  630,
     1055,  775,  540,  573,  573,  573,  779,  570,  570,  570,
      651,  651,  651,  574,  604,  574,  575,  576,  576, 1055,

      631,  779,  809,  571,  794,  794,  572,  577,  594,  594,
      594,  645,  645,  645,  699,  700,  700,  533,  533,  533,
      779,  595,  539,  539,  632,  571,  821,  821,  572,  779,
      533,  533,  533, 1066,  732,  732,  596,  597,  598,  599,
      604,  652, 1055,  600,  778,  778,  601,  644,  858,  602,
      808,  603,  634,  634,  634,  534,  660,  835,  535,  664,
      664,  664,  644,  858,  646,  635,  576,  576,  534, 1047,
      836,  535,  570,  570,  570,  661,  570,  570,  570,  886,
      636,  637,  638,  639,  691,  691,  691,  640,  845,  845,
      641, 1066, 1066,  642,  886,  643, 1047,  665,  857,  857,

      666,  647,  647,  647,  533,  533,  533,  753,  754,  754,
      571,  687,  667,  572,  571,  858, 1047,  572,  770,  771,
      771,  688,  692,  886,  858,  693,  791,  792,  792, 1066,
      794,  794,  886,  533,  533,  533,  604,  694, 1047,  664,
      664,  664,  534,  743,  863,  535,  664,  664,  664,  709,
      664,  664,  664,  900,  648,  697,  697,  697,  644,  570,
      570,  570,  818,  819,  819,  698,  891,  698,  699,  700,
      700,  534,  873,  873,  535, 1047,  710,  711, 1047,  701,
      712,  570,  570,  570,  711,  713,  743,  712,  665, 1066,
     1066,  666,  667,  691,  691,  691,  952,  571,  904,  667,

      572,  885,  885,  667,  725,  743,  691,  691,  691,  899,
      691,  691,  691,  904,  533,  533,  533, 1066, 1066,  571,
      903,  903,  572,  904,  726,  857,  857,  837,  837,  837,
     1010,  727,  904, 1007,  728,  780,  780,  780, 1066,  821,
      821, 1066,  845,  845,  727,  729,  694,  728,  692,  914,
      914,  693,  534, 1066, 1066,  535, 1007,  750,  928,  694,
      570,  570,  570,  694,  733,  733,  733,  928,  859,  859,
      859,  927,  927,  781,  885,  885,  782,  734,  700,  700,
      838,  887,  887,  887,  837,  837,  837, 1007,  783,  751,
      751,  751,  735,  736,  737,  738,  938,  938,  571,  739,

     1007,  572,  740,  767, 1007,  741,  860,  742,  751,  751,
      751,  905,  905,  905,  928,  768,  768,  768,  752,  888,
      752,  753,  754,  754,  901,  901,  901,  589, 1007,  928,
      590, 1002,  755,  743,  780,  780,  780,  838,  789,  789,
      789,  953,  780,  780,  780, 1002,  534,  903,  903,  535,
      768,  768,  768,  629,  956,  956,  630,  866,  867,  867,
      769, 1002,  769,  770,  771,  771, 1066,  873,  873,  929,
      929,  929,  839, 1002,  772,  840,  589,  902, 1002,  590,
      839, 1066, 1066,  840,  816,  816,  816,  783,  571,  968,
      968,  572,  788,  788,  788,  783,  927,  927,  780,  780,

      780, 1002,  752,  993,  752,  753,  754,  754,  859,  859,
      859,  859,  859,  859,  969,  989,  755,  789,  789,  789,
      969,  992,  629,  969,  989,  630,  743,  790,  989,  790,
      791,  792,  792,  841,  994,  969,  781,  976,  976,  782,
      989,  793,  795,  795,  795,  989,  589, 1066, 1066,  589,
      989,  783,  864,  864,  864,  796,  754,  754,  989,  859,
      859,  859,  988,  988,  887,  887,  887,  894,  895,  895,
      797,  798,  799,  800,  901,  901,  901,  801, 1066, 1066,
      802, 1001, 1001,  803,  989,  804,  815,  815,  815,  989,
      711,  968,  968,  712,  906,  969,  769,  860,  769,  770,

      771,  771,  629,  969,  989,  667,  887,  887,  887,  969,
      772,  816,  816,  816,  905,  905,  905,  887,  887,  887,
      969,  817,  969,  817,  818,  819,  819,  902,  905,  905,
      905,  892,  892,  892, 1002,  820,  822,  822,  822,  911,
      912,  912, 1002, 1002,  629,  909,  909,  909,  969,  823,
      771,  771,  930, 1066, 1066,  888,  951, 1002,  859,  859,
      859, 1066,  914,  914,  824,  825,  826,  827,  950,  727,
     1007,  828,  728,  931,  829, 1006, 1006,  830,  928,  831,
      844,  844,  844,  711,  694, 1007,  712,  929,  929,  929,
      790,  928,  790,  791,  792,  792,  860,  954,  667,  970,

      970,  970,  988,  988,  793,  846,  846,  846,  929,  929,
      929,  935,  936,  936,  928,  887,  887,  887,  847,  792,
      792, 1066,  938,  938, 1066,  956,  956,  933,  933,  933,
     1003, 1003, 1003,  848,  849,  850,  851,  971, 1007,  928,
      852, 1017, 1017,  853, 1001, 1001,  854, 1007,  855,  864,
      864,  864,  667,  888,  974,  990,  990,  990,  928,  865,
      928,  865,  866,  867,  867,  727, 1006, 1006,  728,  859,
      859,  859,  926,  868,  907,  970,  970,  970, 1034, 1034,
      694, 1066, 1066,  667,  604,  872,  872,  872,  904,  970,
      970,  970,  904,  991,  904,  817,  904,  817,  818,  819,

      819, 1066,  976,  976, 1008, 1008, 1008,  860,  694,  820,
      874,  874,  874,  711, 1000,  997,  998,  998, 1046, 1046,
      887,  887,  887,  875,  819,  819,  904,  711,  667, 1047,
     1003, 1003, 1003,  904, 1047,  970,  970,  970,  876,  877,
      878,  879,  667, 1047, 1047,  880, 1066, 1066,  881, 1054,
     1054,  882,  898,  883,  892,  892,  892,  694,  888,  990,
      990,  990, 1055,  897,  893, 1005,  893,  894,  895,  895,
     1004, 1055, 1055,  971, 1014, 1015, 1015,  890,  896,  889,
      990,  990,  990,  667,  990,  990,  990, 1055,  667,  644,
      908,  908,  908,  995,  995,  995,  886,  727, 1046, 1046,

      865,  886,  865,  866,  867,  867,  859,  859,  859, 1003,
     1003, 1003,  694,  886,  868,  909,  909,  909,  727, 1009,
     1054, 1054,  991,  886,  886,  910,  886,  910,  911,  912,
      912,  839,  871,  694,  840,  870,  869,  694,  862,  913,
      915,  915,  915,  861,  860,  858,  783,  858,  858, 1029,
      970,  970,  970,  916,  867,  867,  858,  887,  887,  887,
      858,  858,  667, 1008, 1008, 1008,  843,  834,  917,  918,
      919,  920, 1008, 1008, 1008,  921,  833,  814,  922,  813,
      812,  923,  811,  924,  932,  932,  932,  810,  971, 1030,
      990,  990,  990,  807,  893,  888,  893,  894,  895,  895,

     1031,  806,  787,  667, 1012, 1012, 1012,  786,  896,  933,
      933,  933, 1066, 1017, 1017,  785,  694,  784,  779,  934,
      779,  934,  935,  936,  936,  694,  779,  779,  991, 1032,
     1048, 1048, 1048,  937,  939,  939,  939, 1066, 1034, 1034,
      779,  779,  839,  694,  777,  840,  774,  940,  895,  895,
      773,  766,  765, 1056, 1056, 1056,  764,  783, 1048, 1048,
     1048,  763,  941,  942,  943,  944,  762,  761, 1049,  945,
      760,  757,  946,  756,  749,  947,  748,  948,  955,  955,
      955,  747,  746,  783,  970,  970,  970,  745,  910,  744,
      910,  911,  912,  912,  731,  724,  839,  723, 1065, 1065,

     1065,  722,  913,  957,  957,  957,  783,  721,  720,  719,
      718,  783,  717,  716,  715,  708,  958,  912,  912,  707,
      706,  705,  971,  704,  703,  702,  696,  695,  690, 1051,
      690,  959,  960,  961,  962,  690,  690,  667,  963, 1066,
      690,  964,  690,  686,  965,  685,  966,  972,  972,  972,
      972,  972,  972,  972,  972,  972,  972,  972,  972,  972,
      972,  972,  972,  972,  972,  973,  973,  973,  973,  973,
      973,  972,  972,  972,  972,  973,  973,  973,  973,  973,
      973,  973,  973,  973,  973,  973,  973,  973,  973,  973,
      973,  973,  973,  973,  973,  973,  973,  973,  973,  684,

      972,  972,  972,  975,  975,  975,  683,  990,  990,  990,
      682,  681,  680,  934,  679,  934,  935,  936,  936,  678,
      677,  676,  675, 1048, 1048, 1048,  674,  937,  977,  977,
      977,  673,  672,  671,  670,  669,  668,  970,  970,  970,
      663,  978,  936,  936,  663,  991,  663,  663, 1056, 1056,
     1056,  663, 1053, 1048, 1048, 1048,  979,  980,  981,  982,
      694,  839,  663,  983,  659,  658,  984,  657,  656,  985,
      655,  986,  995,  995,  995,  971,  783, 1056, 1056, 1056,
     1058,  654,  996,  653,  996,  997,  998,  998, 1057,  650,
      667, 1049,  649,  628,  627,  626,  999,  625,  990,  990,

      990,  783, 1061, 1061, 1061,  624,  783,  743, 1011, 1011,
     1011, 1048, 1048, 1048, 1062, 1062, 1062,  623,  996,  622,
      996,  997,  998,  998, 1048, 1048, 1048, 1048, 1048, 1048,
      783,  621,  999, 1012, 1012, 1012,  991,  620,  619,  618,
      711, 1059,  617, 1013,  616, 1013, 1014, 1015, 1015, 1049,
     1060,  694,  727,  615,  614,  667,  613, 1016, 1018, 1018,
     1018,  612, 1049,  611,  783, 1049,  610,  694,  609, 1063,
     1064, 1019,  998,  998,  608,  607,  606,  783,  605,  588,
      783,  585,  584,  583,  582,  581, 1020, 1021, 1022, 1023,
      580,  579,  578, 1024,  569,  569, 1025,  569,  569, 1026,

      569, 1027, 1033, 1033, 1033,  569,  567,  566,  565,  564,
      563,  562, 1013,  561, 1013, 1014, 1015, 1015,  560,  559,
      558,  557,  556,  555,  554,  553, 1016, 1035, 1035, 1035,
      552,  551,  550,  549,  548,  547,  546,  545,  544,  543,
     1036, 1015, 1015,  532,  532,  532,  532,  532,  532,  530,
      529,  528,  527,  526,  525, 1037, 1038, 1039, 1040,  524,
      523,  522, 1041,  521,  520, 1042,  519,  518, 1043,  517,
     1044, 1050, 1050, 1050,  501,  500,  499,  498,  497,  496,
      495,  790,  494,  790,  791,  792,  792,  493,  492,  491,
      490,  489,  488,  487,  486,  793,  485,  484,  483,  482,

      481,  480,  479,  478,  477,  476,  475,  473,  473,  860,
     1052, 1052, 1052,  473,  473,  473,  473,  471,  455,  454,
      817,  453,  817,  818,  819,  819,  452,  451,  450,  449,
      448,  447,  444,  443,  820,  442,  441,  440,  439,  433,
      432,  431,  430,  429,  428,  424,  423,  422,  888, 1050,
     1050, 1050,  421,  420,  419,  418,  417,  416,  415,  790,
      414,  790,  791,  792,  792,  413,  412,  411,  410,  409,
      408,  407,  406,  793,  405,  392,  391,  385,  384,  383,
      382,  381,  380,  379,  378,  377,  374,  589, 1052, 1052,
     1052,  373,  370,  369,  368,  367,  366,  365,  817,  364,

      817,  818,  819,  819,  363,  360,  359,  358,  357,  356,
      355,  354,  820,  353,  352,  351,  350,  349,  348,  347,
      343,  342,  341,  340,  339,  338,  629, 1061, 1061, 1061,
      332,  331,  330,  329,  328,  327,  326,  910,  325,  910,
      911,  912,  912,  324,  323,  322,  321,  320,  319,  318,
      317,  913,  316,  313,  312,  311,  310,  309,  306,  305,
      304,  300,  299,  298,  297,  971,  296,  295,  294,  293,
      292,  288,  283,  282,  281,  280,  279,  278,  277,  276,
      667, 1062, 1062, 1062,  275,  274,  273,  272,  271,  270,
      269,  934,  265,  934,  935,  936,  936,  219,  262,  261,

      260,  259,  256,  255,  254,  937,  249,  248,  247,  246,
      242,  239,  238,  237,  236,  228,  227,  226,  225,  991,
      224,  223,  222,  221,  220,  219,  182, 1066,  215,  214,
      213,  212,  156,  209,  694, 1065, 1065, 1065,  208,  199,
      198,  195,  193,  190,  126, 1013,  126, 1013, 1014, 1015,
     1015,  174,  170,  169,  167,  156,  126,  123,  122, 1016,
      121,  118, 1066,  114,  114,  104,  104, 1066, 1066, 1066,
     1066, 1066, 1066, 1049, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,  783,   44,
       44,   44,   44,   44,   44,   44,   44,   44,   44,   44,

       44,   45,   45,   45,   45,   45,   45,   45,   45,   45,
       45,   45,   45,   48,   48,   48,   48,   48,   48,   48,
       48,   48,   48,   48,   48,   51,   51,   51,   51,   51,
       51,   51,   51,   51,   51,   51,   51,   55,   55,   55,
       55,   55,   55,   55,   55,   55,   55,   55,   55,   58,
       58,   58,   58,   58,   58,   58,   58,   58,   58,   58,
       58,   83,   83,   83,   83,   83,   83,   83,   83,   83,
       83,   83,   83,   90,   90,   90,   90,   90,   90,   90,
       90,   90,   90,   90,   90,   93,   93,   93,   93,   93,
       93,   93,   93,   93,   93,   93,   93,   96,   96,   96,

       96,   96,   96,   96,   96,   96,   96,   96,   96,   99,
       99,   99,   99,   99,   99,   99,   99,   99,   99,   99,
       99,  103,  103,  103,  103,  103,  103,  103,  103,  103,
      103,  103,  103,  105,  105,  105,  105,  105,  105,  105,
      105,  105,  105,  105,  105,  109,  109,  109,  109,  109,
      109,  109,  109,  109,  109,  109,  109,  111,  111,  111,
      111,  111,  111,  111,  111,  111,  111,  111,  111,  115,
      115,  115,  115,  115,  115,  115,  115,  115,  115,  115,
      115,  119, 1066, 1066,  119, 1066,  119,  119,  119,  119,
      119,  120, 1066, 1066,  120,  120,  120,  120,  120,  120,

      120,  124,  124, 1066,  124,  124,  124,  124,  124,  124,
      124,  124,  124,  127, 1066, 1066, 1066,  127,  157, 1066,
     1066,  157,  157,  157,  157,  157,  157,  157, 1066,  157,
      159, 1066,  159,  159,  159,  160,  160,  171, 1066, 1066,
      171,  171,  171,  171,  171,  171,  171,  172,  172,  172,
      172,  172,  172,  172,  172,  172, 1066,  172,  172,  173,
      173,  173,  173,  173,  173,  173,  173, 1066,  173,  173,
      173,  175,  175,  175,  175,  175,  175,  175,  175,  175,
      175,  176, 1066, 1066, 1066,  176,  177,  177,  218,  218,
      218,  218,  218,  218,  218,  218,  218,  218,  218,  218,

      972,  972,  972,  972,  972,  972,  972,  972,  972,  972,
     1066,  972,   43, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066
    } ;

static yyconst flex_int16_t yy_chk[2970] =
    {   0,
        0,    0,    3,    4,    5,    6,   19,    5,    6,    7,
        7,    7,    8,    8,    8,    9,    9,    9,   11,   12,
        7,   11,   12,    8,   10,   10,   10,   20,   23,   19,
     1112,   24,   25,   26,   35,   36,   66,   66,   37,  125,
      125,   11,   12,  132,   38,  132, 1114,  220,  140,  220,
       20,   23,    3,    4,   24,   25,   26,  140,   35,   36,
        7,   37,    7,    8,  154,    8,    9,   38,    9,   41,
       42,   41,   42,  335,  335,   10,  154,   10,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,

       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,

       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,
       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,
       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,
       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,
       17,   17,   17,   17,   17,   17,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,

       21,   21,   27,   27,   27,   28,   28,   28,  136,   29,
       30,  206,  137,   33,   34,  137,  137,   75,   72,  139,
       72,  138,  136,   75,  139,  138,  206,   75,  142,  150,
     1115,   29,   30,  150,  159,   33,   34,   75,  192,  142,
      159,  193,  150,  192,  159,  211,  193,  666,  199,  666,
      211,  388,  388,   27,  159,   27,   28,  199,   28,   29,
       30,   29,   30,   33,   34,   33,   34,   68,   68,   72,
       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,
       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,
       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,

       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,
       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,
       68,   68,   68,   79,   79,   79,   80,   80,   80,   82,
       82,   82,  133,  133,  133,  134,  134,  134,  714,  144,
      144,  144,  394,  394,  146,  146,  146,  207,  714,  148,
      148,  148,  151,  151,  151,  134,  151,  155,  207,  155,
      161,  161,  161,  162,  162,  162, 1111,   82,  151,  471,
      151,  146,  194,  194,   79,   82,  471,   80,  144,  146,
      148,  164,  164,  164,  194,  133,  395,  395,  134,  178,
      178,  178,  144,  179,  179,  179,  201,  146,  216,  216,

      216,  162,  148,  201,  222,  251,  222,  201,  155,  162,
      255,  161,  222,  251,  239,  304,  239,  241,  241,  164,
      251, 1110,  239,  255,  262,  262,  262,  164,  239,  304,
      288,  314,  314,  314,  241,  315,  315,  315,  334,  334,
      334,  360,  178,  288,  288,  360,  179,  318,  318,  318,
      693,  216,  693,  371,  371,  371,  436,  436,  360,  375,
      375,  375,  376,  376,  376,  387,  387,  387,  457,  457,
      391,  391,  391,  458,  458,  262,  281,  281,  281,  391,
      402,  315,  314,  393,  393,  393,  281,  397,  281,  281,
      281,  281,  376,  472,  472,  402,  397,  465,  318,  371,

      281,  328,  328,  328,  404,  404,  404,  435,  435,  435,
      375,  328,  465,  328,  328,  328,  328,  445,  445,  445,
      460,  391,  439,  439,  439,  328,  333,  333,  333,  460,
     1109,  439,  456,  456,  456,  782,  333,  782,  333,  333,
      333,  333,  468,  468,  468,  503,  503,  445,  504,  504,
      333,  336,  336,  336,  506,  469,  469,  469,  531,  531,
      467,  467,  467,  506,  336,  336,  336,  473,  473,  473,
      474,  474,  474,  439,  502,  502,  502,  527, 1108,  336,
      336,  336,  336, 1107,  511,  602,  336,  538,  538,  336,
     1106,  527,  336,  468,  336,  367,  367,  367,  467,  511,

      602,  467,  513,  513,  513,  367,  469,  367,  367,  367,
      367,  514,  514,  514,  515,  515,  515,  568,  568,  367,
      386,  386,  386,  532,  532,  532,  537,  537,  537, 1105,
      386, 1104,  386,  386,  386,  386,  574,  574,  574,  597,
      513,  575,  575,  513,  386,  389,  389,  389,  597,  582,
      582,  582,  594,  594,  533,  533,  533, 1103,  389,  389,
      389,  532,  514, 1102,  532,  515,  578,  578,  578, 1101,
      534,  534,  534,  389,  389,  389,  389,  579,  579,  579,
      389,  595,  595,  389,  634,  634,  389, 1100,  389,  434,
      434,  434,  533,  635,  635,  533,  535,  535,  535,  434,

      582,  434,  434,  434,  434,  534,  662,  662,  534,  637,
     1099,  534, 1091,  434,  437,  437,  437,  642,  637,  578,
      593,  593,  593,  569,  569,  569, 1090,  437,  437,  437,
      579,  730,  642,  535,  535,  689,  689,  535,  570,  570,
      570,  730,  437,  437,  437,  437,  633,  633,  633,  437,
      699,  699,  437,  733,  733,  437, 1044,  437,  470,  470,
      470,  569,  734,  734,  569,  571,  571,  571,  470, 1042,
      470,  470,  470,  470,  713, 1041,  570,  729,  713,  570,
     1040,  729,  470,  516,  516,  516,  741,  572,  572,  572,
      651,  651,  651,  516,  759,  516,  516,  516,  516, 1039,

      571,  741,  759,  571,  753,  753,  571,  516,  539,  539,
      539,  645,  645,  645,  698,  698,  698,  591,  591,  591,
      736,  539,  539,  539,  572,  572,  770,  770,  572,  736,
      592,  592,  592,  732,  732,  732,  539,  539,  539,  539,
      758,  651, 1037,  539,  778,  778,  539,  775,  803,  539,
      758,  539,  576,  576,  576,  591,  591,  775,  591,  604,
      604,  604,  776,  803,  645,  576,  576,  576,  592, 1027,
      776,  592,  631,  631,  631,  592,  632,  632,  632,  830,
      576,  576,  576,  576,  644,  644,  644,  576,  791,  791,
      576,  795,  795,  576,  830,  576, 1025,  604,  796,  796,

      604,  647,  647,  647,  660,  660,  660,  752,  752,  752,
      631,  631,  604,  631,  632,  798, 1024,  632,  769,  769,
      769,  632,  644,  825,  798,  644,  790,  790,  790,  794,
      794,  794,  825,  661,  661,  661,  808,  644, 1023,  663,
      663,  663,  660,  842,  808,  660,  664,  664,  664,  660,
      665,  665,  665,  842,  647,  652,  652,  652,  835,  687,
      687,  687,  817,  817,  817,  652,  835,  652,  652,  652,
      652,  661,  818,  818,  661, 1022,  661,  663, 1020,  652,
      663,  688,  688,  688,  664,  665,  899,  664,  665,  822,
      822,  665,  663,  690,  690,  690,  899,  687,  854,  664,

      687,  823,  823,  665,  687,  841,  691,  691,  691,  841,
      692,  692,  692,  854,  709,  709,  709,  846,  846,  688,
      847,  847,  688,  849,  688,  857,  857,  777,  777,  777,
      992,  690,  849,  986,  690,  743,  743,  743,  821,  821,
      821,  845,  845,  845,  691,  692,  690,  691,  692,  866,
      866,  692,  709,  874,  874,  709,  984,  709,  877,  691,
      725,  725,  725,  692,  700,  700,  700,  877,  805,  805,
      805,  875,  875,  743,  885,  885,  743,  700,  700,  700,
      777,  832,  832,  832,  837,  837,  837,  983,  743,  751,
      751,  751,  700,  700,  700,  700,  894,  894,  725,  700,

      982,  725,  700,  725,  981,  700,  805,  700,  710,  710,
      710,  856,  856,  856,  882,  768,  768,  768,  710,  832,
      710,  710,  710,  710,  843,  843,  843,  751,  979,  882,
      751,  966,  710,  900,  779,  779,  779,  837,  789,  789,
      789,  900,  780,  780,  780,  964,  710,  903,  903,  710,
      726,  726,  726,  768,  911,  911,  768,  865,  865,  865,
      726,  963,  726,  726,  726,  726,  873,  873,  873,  884,
      884,  884,  779,  962,  726,  779,  789,  843,  961,  789,
      780,  915,  915,  780,  816,  816,  816,  779,  726,  916,
      916,  726,  749,  749,  749,  780,  927,  927,  781,  781,

      781,  959,  749,  951,  749,  749,  749,  749,  858,  858,
      858,  859,  859,  859,  918,  942,  749,  750,  750,  750,
      923,  950,  816,  918,  942,  816,  952,  750,  948,  750,
      750,  750,  750,  781,  952,  923,  781,  935,  935,  781,
      946,  750,  754,  754,  754,  945,  858,  939,  939,  859,
      944,  781,  864,  864,  864,  754,  754,  754,  943,  860,
      860,  860,  940,  940,  886,  886,  886,  893,  893,  893,
      754,  754,  754,  754,  901,  901,  901,  754,  957,  957,
      754,  958,  958,  754,  941,  754,  766,  766,  766,  947,
      864,  968,  968,  864,  860,  924,  766,  860,  766,  766,

      766,  766,  886,  922,  947,  864,  887,  887,  887,  921,
      766,  767,  767,  767,  904,  904,  904,  888,  888,  888,
      920,  767,  919,  767,  767,  767,  767,  901,  905,  905,
      905,  892,  892,  892,  960,  767,  771,  771,  771,  910,
      910,  910,  965,  960,  887,  909,  909,  909,  917,  771,
      771,  771,  888,  977,  977,  888,  898,  965,  906,  906,
      906,  914,  914,  914,  771,  771,  771,  771,  897,  892,
      985,  771,  892,  889,  771,  978,  978,  771,  883,  771,
      787,  787,  787,  909,  892,  985,  909,  928,  928,  928,
      787,  881,  787,  787,  787,  787,  906,  906,  909,  925,

      925,  925,  988,  988,  787,  792,  792,  792,  929,  929,
      929,  934,  934,  934,  880,  930,  930,  930,  792,  792,
      792,  938,  938,  938,  956,  956,  956,  933,  933,  933,
      967,  967,  967,  792,  792,  792,  792,  925,  980,  879,
      792,  997,  997,  792, 1001, 1001,  792,  980,  792,  809,
      809,  809,  925,  930,  930,  949,  949,  949,  878,  809,
      876,  809,  809,  809,  809,  933, 1006, 1006,  933,  954,
      954,  954,  869,  809,  861,  969,  969,  969, 1014, 1014,
      933, 1018, 1018,  967,  809,  814,  814,  814,  855,  970,
      970,  970,  853,  949,  852,  814,  851,  814,  814,  814,

      814,  976,  976,  976,  987,  987,  987,  954,  949,  814,
      819,  819,  819,  969,  954,  996,  996,  996, 1019, 1019,
      974,  974,  974,  819,  819,  819,  850,  970,  969, 1026,
     1002, 1002, 1002,  848, 1021,  971,  971,  971,  819,  819,
      819,  819,  970, 1021, 1026,  819, 1035, 1035,  819, 1036,
     1036,  819,  840,  819,  836,  836,  836,  987,  974,  989,
      989,  989, 1038,  839,  836,  974,  836,  836,  836,  836,
      971, 1038, 1043,  971, 1013, 1013, 1013,  834,  836,  833,
      990,  990,  990, 1002,  991,  991,  991, 1043,  971,  836,
      862,  862,  862,  995,  995,  995,  831,  989, 1046, 1046,

      862,  829,  862,  862,  862,  862, 1000, 1000, 1000, 1003,
     1003, 1003,  989,  828,  862,  863,  863,  863,  990,  991,
     1054, 1054,  991,  827,  826,  863,  824,  863,  863,  863,
      863,  995,  812,  990,  995,  811,  810,  991,  807,  863,
      867,  867,  867,  806, 1000,  804,  995,  802,  801, 1000,
     1004, 1004, 1004,  867,  867,  867,  800, 1005, 1005, 1005,
      799,  797, 1003, 1007, 1007, 1007,  784,  774,  867,  867,
      867,  867, 1008, 1008, 1008,  867,  773,  765,  867,  764,
      763,  867,  761,  867,  890,  890,  890,  760, 1004, 1004,
     1009, 1009, 1009,  757,  890, 1005,  890,  890,  890,  890,

     1005,  756,  748, 1004, 1012, 1012, 1012,  747,  890,  891,
      891,  891, 1017, 1017, 1017,  746, 1007,  744,  742,  891,
      740,  891,  891,  891,  891, 1008,  739,  738, 1009, 1009,
     1028, 1028, 1028,  891,  895,  895,  895, 1034, 1034, 1034,
      737,  735, 1012, 1009,  731, 1012,  728,  895,  895,  895,
      727,  724,  723, 1045, 1045, 1045,  722, 1012, 1047, 1047,
     1047,  721,  895,  895,  895,  895,  718,  717, 1028,  895,
      715,  712,  895,  711,  708,  895,  707,  895,  907,  907,
      907,  706,  705, 1028, 1030, 1030, 1030,  703,  907,  702,
      907,  907,  907,  907,  695,  686, 1047,  685, 1065, 1065,

     1065,  683,  907,  912,  912,  912, 1045,  682,  681,  679,
      675, 1047,  671,  669,  668,  659,  912,  912,  912,  658,
      657,  656, 1030,  655,  654,  653,  650,  649,  643, 1030,
      641,  912,  912,  912,  912,  640,  639, 1030,  912, 1065,
      638,  912,  636,  630,  912,  629,  912,  926,  926,  926,
      926,  926,  926,  926,  926,  926,  926,  926,  926,  926,
      926,  926,  926,  926,  926,  926,  926,  926,  926,  926,
      926,  926,  926,  926,  926,  926,  926,  926,  926,  926,
      926,  926,  926,  926,  926,  926,  926,  926,  926,  926,
      926,  926,  926,  926,  926,  926,  926,  926,  926,  628,

      926,  926,  926,  931,  931,  931,  626, 1032, 1032, 1032,
      625,  624,  623,  931,  622,  931,  931,  931,  931,  621,
      619,  617,  616, 1048, 1048, 1048,  615,  931,  936,  936,
      936,  614,  611,  609,  608,  606,  605, 1051, 1051, 1051,
      603,  936,  936,  936,  601, 1032,  600,  599, 1055, 1055,
     1055,  598, 1032, 1049, 1049, 1049,  936,  936,  936,  936,
     1032, 1048,  596,  936,  590,  589,  936,  587,  586,  936,
      585,  936,  953,  953,  953, 1051, 1048, 1056, 1056, 1056,
     1051,  584,  953,  583,  953,  953,  953,  953, 1049,  581,
     1051, 1049,  580,  567,  566,  565,  953,  564, 1053, 1053,

     1053, 1055, 1061, 1061, 1061,  563, 1049,  953,  993,  993,
      993, 1057, 1057, 1057, 1062, 1062, 1062,  562,  993,  561,
      993,  993,  993,  993, 1060, 1060, 1060, 1063, 1063, 1063,
     1056,  560,  993,  994,  994,  994, 1053,  559,  558,  555,
     1061, 1053,  554,  994,  553,  994,  994,  994,  994, 1057,
     1057, 1053, 1062,  552,  550, 1061,  549,  994,  998,  998,
      998,  548, 1060,  547, 1057, 1063,  546, 1062,  545, 1060,
     1063,  998,  998,  998,  544,  543,  542, 1060,  541,  528,
     1063,  526,  523,  522,  521,  520,  998,  998,  998,  998,
      519,  518,  517,  998,  512,  510,  998,  509,  508,  998,

      507,  998, 1010, 1010, 1010,  505,  501,  500,  499,  498,
      497,  496, 1010,  495, 1010, 1010, 1010, 1010,  494,  493,
      492,  491,  490,  488,  487,  486, 1010, 1015, 1015, 1015,
      485,  484,  483,  482,  480,  479,  478,  477,  476,  475,
     1015, 1015, 1015,  466,  464,  463,  462,  461,  459,  455,
      454,  453,  452,  451,  450, 1015, 1015, 1015, 1015,  449,
      448,  446, 1015,  444,  443, 1015,  442,  441, 1015,  440,
     1015, 1029, 1029, 1029,  433,  431,  430,  429,  428,  427,
      426, 1029,  425, 1029, 1029, 1029, 1029,  424,  423,  422,
      421,  420,  419,  418,  417, 1029,  416,  415,  413,  412,

      411,  410,  409,  408,  407,  406,  405,  403,  401, 1029,
     1031, 1031, 1031,  400,  399,  398,  396,  392,  385,  384,
     1031,  383, 1031, 1031, 1031, 1031,  382,  381,  380,  379,
      378,  377,  374,  373, 1031,  372,  370,  369,  368,  366,
      365,  364,  363,  362,  361,  359,  358,  357, 1031, 1050,
     1050, 1050,  356,  355,  354,  353,  352,  351,  350, 1050,
      348, 1050, 1050, 1050, 1050,  347,  346,  345,  344,  343,
      342,  341,  340, 1050,  339,  330,  329,  327,  326,  325,
      324,  323,  322,  321,  320,  319,  317, 1050, 1052, 1052,
     1052,  316,  313,  312,  311,  310,  308,  307, 1052,  306,

     1052, 1052, 1052, 1052,  305,  303,  302,  301,  300,  299,
      297,  296, 1052,  295,  294,  293,  292,  291,  290,  289,
      287,  286,  285,  284,  283,  282, 1052, 1058, 1058, 1058,
      280,  279,  278,  277,  276,  275,  274, 1058,  273, 1058,
     1058, 1058, 1058,  272,  271,  270,  268,  267,  266,  265,
      264, 1058,  263,  260,  259,  258,  257,  256,  254,  253,
      252,  250,  249,  248,  247, 1058,  246,  245,  244,  243,
      242,  240,  238,  237,  236,  235,  234,  233,  232,  231,
     1058, 1059, 1059, 1059,  230,  229,  228,  226,  225,  224,
      223, 1059,  221, 1059, 1059, 1059, 1059,  218,  215,  214,

      213,  212,  210,  209,  208, 1059,  205,  204,  203,  202,
      200,  198,  197,  196,  195,  191,  190,  189,  188, 1059,
      187,  186,  185,  184,  183,  182,  181,  176,  174,  169,
      166,  165,  156,  153, 1059, 1064, 1064, 1064,  152,  149,
      147,  145,  143,  141,  127, 1064,  126, 1064, 1064, 1064,
     1064,  113,   95,   92,   85,   77,   67,   64,   63, 1064,
       61,   50,   43,   40,   39,   32,   31,    0,    0,    0,
        0,    0,    0, 1064,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0, 1064, 1067,
     1067, 1067, 1067, 1067, 1067, 1067, 1067, 1067, 1067, 1067,

     1067, 1068, 1068, 1068, 1068, 1068, 1068, 1068, 1068, 1068,
     1068, 1068, 1068, 1069, 1069, 1069, 1069, 1069, 1069, 1069,
     1069, 1069, 1069, 1069, 1069, 1070, 1070, 1070, 1070, 1070,
     1070, 1070, 1070, 1070, 1070, 1070, 1070, 1071, 1071, 1071,
     1071, 1071, 1071, 1071, 1071, 1071, 1071, 1071, 1071, 1072,
     1072, 1072, 1072, 1072, 1072, 1072, 1072, 1072, 1072, 1072,
     1072, 1073, 1073, 1073, 1073, 1073, 1073, 1073, 1073, 1073,
     1073, 1073, 1073, 1074, 1074, 1074, 1074, 1074, 1074, 1074,
     1074, 1074, 1074, 1074, 1074, 1075, 1075, 1075, 1075, 1075,
     1075, 1075, 1075, 1075, 1075, 1075, 1075, 1076, 1076, 1076,

     1076, 1076, 1076, 1076, 1076, 1076, 1076, 1076, 1076, 1077,
     1077, 1077, 1077, 1077, 1077, 1077, 1077, 1077, 1077, 1077,
     1077, 1078, 1078, 1078, 1078, 1078, 1078, 1078, 1078, 1078,
     1078, 1078, 1078, 1079, 1079, 1079, 1079, 1079, 1079, 1079,
     1079, 1079, 1079, 1079, 1079, 1080, 1080, 1080, 1080, 1080,
     1080, 1080, 1080, 1080, 1080, 1080, 1080, 1081, 1081, 1081,
     1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1082,
     1082, 1082, 1082, 1082, 1082, 1082, 1082, 1082, 1082, 1082,
     1082, 1083,    0,    0, 1083,    0, 1083, 1083, 1083, 1083,
     1083, 1084,    0,    0, 1084, 1084, 1084, 1084, 1084, 1084,

     1084, 1085, 1085,    0, 1085, 1085, 1085, 1085, 1085, 1085,
     1085, 1085, 1085, 1086,    0,    0,    0, 1086, 1087,    0,
        0, 1087, 1087, 1087, 1087, 1087, 1087, 1087,    0, 1087,
     1088,    0, 1088, 1088, 1088, 1089, 1089, 1092,    0,    0,
     1092, 1092, 1092, 1092, 1092, 1092, 1092, 1093, 1093, 1093,
     1093, 1093, 1093, 1093, 1093, 1093,    0, 1093, 1093, 1094,
     1094, 1094, 1094, 1094, 1094, 1094, 1094,    0, 1094, 1094,
     1094, 1095, 1095, 1095, 1095, 1095, 1095, 1095, 1095, 1095,
     1095, 1096,    0,    0,    0, 1096, 1097, 1097, 1098, 1098,
     1098, 1098, 1098, 1098, 1098, 1098, 1098, 1098, 1098, 1098,

     1113, 1113, 1113, 1113, 1113, 1113, 1113, 1113, 1113, 1113,
        0, 1113, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
     1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066
    } ;

static yy_state_type yy_last_accepting_state;
static char *yy_last_accepting_cpos;

extern int yy_flex_debug;
int yy_flex_debug = 0;

/* 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 "detex.l"
#line 4 "detex.l"
#ifndef lint
static char	rcsid[] = "$Header: /p/src/local/bin/detex/RCS/detex.l,v 2.22 2007/03/01 20:22:01 trinkle Exp trinkle $";
#endif

/*
 * Copyright (c) 1986-2007 Purdue University
 * All rights reserved.
 * 
 * Developed by:  Daniel Trinkle
 *                Department of Computer Science, Purdue University
 *                http://www.cs.purdue.edu/
 * 
 * Permission is hereby granted, free of charge, to any person obtaining
 * a copy of this software and associated documentation files (the
 * "Software"), to deal with the Software without restriction, including
 * without limitation the rights to use, copy, modify, merge, publish,
 * distribute, sublicense, and/or sell copies of the Software, and to
 * permit persons to whom the Software is furnished to do so, subject to
 * the following conditions:
 * 
 * o Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimers.
 * 
 * o Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimers in the
 *   documentation and/or other materials provided with the distribution.
 * 
 * o Neither the names of Daniel Trinkle, Purdue University, nor the
 *   names of its contributors may be used to endorse or promote products
 *   derived from this Software without specific prior written
 *   permission.
 * 
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
 * IN NO EVENT SHALL THE CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR
 * ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
 * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE SOFTWARE.
 */


/*
 * detex [-e environment-list] [-c] [-l] [-n] [-s] [-t] [-w] [file[.tex] ]
 *
 *	This program is used to remove TeX or LaTeX constructs from a text
 *	file.
 */

#include "detex.h"

#ifdef KPATHSEA

#include <c-auto.h>
#include <kpathsea/c-auto.h>
#include <kpathsea/config.h>
#include <kpathsea/c-memstr.h>
#include <kpathsea/c-pathmx.h>
#include <kpathsea/c-std.h>
#include <kpathsea/tex-file.h>

#ifdef HAVE_SYS_PARAM_H
#include <sys/param.h>
#endif

#else /* KPATHSEA */

#ifdef HAVE_STRING_H
#include <string.h>
#define	index	strchr
#define	rindex	strrchr
#else
#include <strings.h>
#endif
#ifndef MAXPATHLEN
#include <sys/param.h>
#endif
#define PATH_MAX MAXPATHLEN
#ifdef OS2
#include <stdlib.h>
#endif

#ifdef WIN32
#include <fcntl.h>
#include <io.h>
#endif

#endif /* KPATHSEA */

#undef IGNORE

#define	LaBEGIN		if (fLatex) BEGIN
#define	IGNORE		if (fSpace && !fWord) putchar(' ')
#define	SPACE		if (!fWord) putchar(' ')
#define	NEWLINE		if (!fWord) putchar('\n')
#define	LATEX		fLatex=!fForcetex
#define KILLARGS(x)	cArgs=x; LaBEGIN LaMacro
#define STRIPARGS(x)	cArgs=x; LaBEGIN LaMacro2
#define	CITE(x)		if (fLatex && !fCite) KILLARGS(x)

void AddInclude(char *sbFile);
void ErrorExit(const char *sb1);
void IncludeFile(char *sbFile);
void InputFile(char *sbFile);
void SetEnvIgnore(const char *sbEnvList);
#ifndef KPATHSEA
void SetInputPaths(void);
#endif
void Warning(const char *sb1, const char *sb2); 
int BeginEnv(const char *sbEnv);
int EndEnv(const char *sbEnv);
int InList(char *sbFile);
int SeparateList(char *sbList, char *rgsbList[] ,char chSep, int csbMax);
FILE *TexOpen(char *sbFile);
char *SafeMalloc(int cch, const char *sbMessage);
#ifndef KPATHSEA
char *getenv();
#ifndef NO_MALLOC_DECL
char	*malloc();
#endif
#ifdef OS2
void	yyless(int);
void	OS2UsageExit(void);
#endif
#endif /* KPATHSEA */

char	*rgsbEnvIgnore[MAXENVS];	/* list of environments ignored */
char	*rgsbIncList[MAXINCLIST];	/* list of includeonly files */
char	*rgsbInputPaths[MAXINPUTPATHS];	/* list of input paths in order */
char	sbCurrentEnv[CCHMAXENV];	/* current environment being ignored */
char	*sbProgName;			/* name we were invoked with */
#ifndef NOFILE /* might be defined in <sys/param.h> */
#define NOFILE 256
#endif
FILE	*rgfp[NOFILE+1];		/* stack of input/include files */
int	cfp = 0;			/* count of files in stack */
int	cOpenBrace = 0;			/* count of `{' in <LaMacro> and <LaMacro2> */
int	cArgs = 0;			/* argument connt in <LaArgs> */
int	csbEnvIgnore;			/* count of environments ignored */
int	csbIncList = 0;			/* count of includeonly files */
int	csbInputPaths;			/* count of input paths */
int	fLatex = 0;			/* flag to indicated delatex */
int	fWord = 0;			/* flag for -w option */
int	fFollow = 1;			/* flag to follow input/include */
int	fCite = 0;			/* flag to echo \cite and \ref args */
int	fSpace = 0;			/* flag to replace \cs with space */
int	fForcetex = 0;			/* flag to inhibit latex mode */

#ifdef FLEX_SCANNER
/* flex has contexts for buffers that need to be switched when file changes
 * otherwise output contains imported files in reverse order.  Weird, but
 * true.
 */
YY_BUFFER_STATE rgsb[NOFILE + 1]; /* flex context stack */
int             csb = 0;		 /* depth of flex context stack */
#endif /* FLEX_SCANNER */



 

#line 1627 "detex.c"

#define INITIAL 0
#define Define 1
#define Display 2
#define IncludeOnly 3
#define Input 4
#define Math 5
#define Normal 6
#define Control 7
#define LaBegin 8
#define LaDisplay 9
#define LaEnd 10
#define LaEnv 11
#define LaFormula 12
#define LaInclude 13
#define LaMacro 14
#define LaOptArg 15
#define LaMacro2 16
#define LaOptArg2 17
#define LaVerbatim 18
#define LaBreak 19
#define LaPicture 20

#ifndef YY_NO_UNISTD_H
/* Special case for "unistd.h", since it is non-ANSI. We include it way
 * down here because we want the user's section 1 to have been scanned first.
 * The user has a chance to override it with an option.
 */
#include <unistd.h>
#endif

#ifndef YY_EXTRA_TYPE
#define YY_EXTRA_TYPE void *
#endif

static int yy_init_globals (void );

/* Accessor methods to globals.
   These are made visible to non-reentrant scanners for convenience. */

int yylex_destroy (void );

int yyget_debug (void );

void yyset_debug (int debug_flag  );

YY_EXTRA_TYPE yyget_extra (void );

void yyset_extra (YY_EXTRA_TYPE user_defined  );

FILE *yyget_in (void );

void yyset_in  (FILE * in_str  );

FILE *yyget_out (void );

void yyset_out  (FILE * out_str  );

yy_size_t yyget_leng (void );

char *yyget_text (void );

int yyget_lineno (void );

void yyset_lineno (int line_number  );

/* Macros after this point can all be overridden by user definitions in
 * section 1.
 */

#ifndef YY_SKIP_YYWRAP
#ifdef __cplusplus
extern "C" int yywrap (void );
#else
extern int yywrap (void );
#endif
#endif

    static void yyunput (int c,char *buf_ptr  );
    
#ifndef yytext_ptr
static void yy_flex_strncpy (char *,yyconst char *,int );
#endif

#ifdef YY_NEED_STRLEN
static int yy_flex_strlen (yyconst char * );
#endif

#ifndef YY_NO_INPUT

#ifdef __cplusplus
static int yyinput (void );
#else
static int input (void );
#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 do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
#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_LVALUE->yy_is_interactive ) \
		{ \
		int c = '*'; \
		size_t 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 \
		{ \
		errno=0; \
		while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)) \
			{ \
			if( errno != EINTR) \
				{ \
				YY_FATAL_ERROR( "input in flex scanner failed" ); \
				break; \
				} \
			errno=0; \
			clearerr(yyin); \
			} \
		}\
\

#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

/* end tables serialization structures and prototypes */

/* Default declaration of generated scanner - a define so the user can
 * easily add parameters.
 */
#ifndef YY_DECL
#define YY_DECL_IS_OURS 1

extern int yylex (void);

#define YY_DECL int yylex (void)
#endif /* !YY_DECL */

/* 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

/** The main scanner function which does all the work.
 */
YY_DECL
{
	register yy_state_type yy_current_state;
	register char *yy_cp, *yy_bp;
	register int yy_act;
    
#line 180 "detex.l"

#line 1831 "detex.c"

	if ( !(yy_init) )
		{
		(yy_init) = 1;

#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 ) {
			yyensure_buffer_stack ();
			YY_CURRENT_BUFFER_LVALUE =
				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 >= 1067 )
					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_current_state != 1066 );
		yy_cp = (yy_last_accepting_cpos);
		yy_current_state = (yy_last_accepting_state);

yy_find_action:
		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 181 "detex.l"
/* ignore comments */	;
	YY_BREAK
case 2:
/* rule 2 can match eol */
YY_RULE_SETUP
#line 183 "detex.l"
{LATEX; IGNORE;}
	YY_BREAK
case 3:
YY_RULE_SETUP
#line 185 "detex.l"
/* environment start */	{LaBEGIN LaBegin; IGNORE;}
	YY_BREAK
case 4:
/* rule 4 can match eol */
YY_RULE_SETUP
#line 187 "detex.l"
{   if (BeginEnv("verbatim"))
							BEGIN LaEnv;
						    else
							BEGIN LaVerbatim;
						    IGNORE;
						}
	YY_BREAK
case 5:
/* rule 5 can match eol */
YY_RULE_SETUP
#line 194 "detex.l"
/* verbatim mode */	{BEGIN Normal; IGNORE;}
	YY_BREAK
case 6:
/* rule 6 can match eol */
YY_RULE_SETUP
#line 195 "detex.l"
ECHO;
	YY_BREAK
case 7:
YY_RULE_SETUP
#line 196 "detex.l"
ECHO;
	YY_BREAK
case 8:
/* rule 8 can match eol */
YY_RULE_SETUP
#line 198 "detex.l"
{ KILLARGS(1);
						  if (BeginEnv("minpage"))
							BEGIN LaEnv;
						  else
							BEGIN Normal;
						  IGNORE;
						}
	YY_BREAK
case 9:
YY_RULE_SETUP
#line 206 "detex.l"
{   if (BeginEnv(yytext))
							BEGIN LaEnv;
						    else
							BEGIN Normal;
						    IGNORE;
						}
	YY_BREAK
case 10:
/* rule 10 can match eol */
YY_RULE_SETUP
#line 212 "detex.l"
NEWLINE;
	YY_BREAK
case 11:
YY_RULE_SETUP
#line 213 "detex.l"
;
	YY_BREAK
case 12:
YY_RULE_SETUP
#line 215 "detex.l"
/* absorb some environments */	{LaBEGIN LaEnd; IGNORE;}
	YY_BREAK
case 13:
/* rule 13 can match eol */
YY_RULE_SETUP
#line 216 "detex.l"
NEWLINE;
	YY_BREAK
case 14:
YY_RULE_SETUP
#line 217 "detex.l"
;
	YY_BREAK
case 15:
YY_RULE_SETUP
#line 219 "detex.l"
/* end environment */	{   if (EndEnv(yytext))
							BEGIN Normal;
						    IGNORE;
						}
	YY_BREAK
case 16:
YY_RULE_SETUP
#line 223 "detex.l"
{BEGIN LaEnv; IGNORE;}
	YY_BREAK
case 17:
/* rule 17 can match eol */
YY_RULE_SETUP
#line 224 "detex.l"
NEWLINE;
	YY_BREAK
case 18:
YY_RULE_SETUP
#line 225 "detex.l"
;
	YY_BREAK
case 19:
/* rule 19 can match eol */
YY_RULE_SETUP
#line 227 "detex.l"
;
	YY_BREAK
case 20:
/* rule 20 can match eol */
YY_RULE_SETUP
#line 228 "detex.l"
;
	YY_BREAK
case 21:
/* rule 21 can match eol */
YY_RULE_SETUP
#line 229 "detex.l"
;
	YY_BREAK
case 22:
/* rule 22 can match eol */
YY_RULE_SETUP
#line 230 "detex.l"
;
	YY_BREAK
case 23:
/* rule 23 can match eol */
YY_RULE_SETUP
#line 231 "detex.l"
;
	YY_BREAK
case 24:
/* rule 24 can match eol */
YY_RULE_SETUP
#line 232 "detex.l"
;
	YY_BREAK
case 25:
YY_RULE_SETUP
#line 234 "detex.l"
{ KILLARGS(1); }
	YY_BREAK
case 26:
YY_RULE_SETUP
#line 235 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 27:
YY_RULE_SETUP
#line 236 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 28:
YY_RULE_SETUP
#line 237 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 29:
YY_RULE_SETUP
#line 238 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 30:
YY_RULE_SETUP
#line 239 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 31:
YY_RULE_SETUP
#line 240 "detex.l"
{ KILLARGS(1); }
	YY_BREAK
case 32:
YY_RULE_SETUP
#line 241 "detex.l"
{ KILLARGS(1); }
	YY_BREAK
case 33:
YY_RULE_SETUP
#line 242 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 34:
YY_RULE_SETUP
#line 243 "detex.l"
{ KILLARGS(1); }
	YY_BREAK
case 35:
YY_RULE_SETUP
#line 244 "detex.l"
{ STRIPARGS(2); }
	YY_BREAK
case 36:
YY_RULE_SETUP
#line 245 "detex.l"
{ KILLARGS(1); }
	YY_BREAK
case 37:
YY_RULE_SETUP
#line 246 "detex.l"
{ STRIPARGS(2); }
	YY_BREAK
case 38:
YY_RULE_SETUP
#line 247 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 39:
YY_RULE_SETUP
#line 248 "detex.l"
;
	YY_BREAK
case 40:
YY_RULE_SETUP
#line 249 "detex.l"
{ KILLARGS(1); }
	YY_BREAK
case 41:
/* rule 41 can match eol */
YY_RULE_SETUP
#line 250 "detex.l"
{ LaBEGIN LaPicture; }
	YY_BREAK
case 42:
YY_RULE_SETUP
#line 252 "detex.l"
;
	YY_BREAK
case 43:
/* rule 43 can match eol */
YY_RULE_SETUP
#line 253 "detex.l"
{ printf("<Picture %s>", yytext); }
	YY_BREAK
case 44:
YY_RULE_SETUP
#line 254 "detex.l"
BEGIN Normal;
	YY_BREAK
case 45:
YY_RULE_SETUP
#line 256 "detex.l"
{ KILLARGS(3); }
	YY_BREAK
case 46:
YY_RULE_SETUP
#line 257 "detex.l"
{ KILLARGS(1); }
	YY_BREAK
case 47:
YY_RULE_SETUP
#line 258 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 48:
YY_RULE_SETUP
#line 259 "detex.l"
{ KILLARGS(2); }
	YY_BREAK
case 49:
YY_RULE_SETUP
#line 260 "detex.l"
{ KILLARGS(3); }
	YY_BREAK
case 50:
YY_RULE_SETUP
#line 261 "detex.l"
{ KILLARGS(1); }
	YY_BREAK
case 51:
YY_RULE_SETUP
#line 262 "detex.l"
{ STRIPARGS(1); }
	YY_BREAK
case 52:
YY_RULE_SETUP
#line 264 "detex.l"
;
	YY_BREAK
case 53:
YY_RULE_SETUP
#line 265 "detex.l"
;
	YY_BREAK
case 54:
YY_RULE_SETUP
#line 266 "detex.l"
;
	YY_BREAK
case 55:
YY_RULE_SETUP
#line 267 "detex.l"
;
	YY_BREAK
case 56:
YY_RULE_SETUP
#line 268 "detex.l"
;
	YY_BREAK
case 57:
YY_RULE_SETUP
#line 269 "detex.l"
;
	YY_BREAK
case 58:
YY_RULE_SETUP
#line 271 "detex.l"
/* ignore args  */	{KILLARGS(1); IGNORE;}
	YY_BREAK
case 59:
YY_RULE_SETUP
#line 272 "detex.l"
/* of these \cs */	{KILLARGS(1); IGNORE;}
	YY_BREAK
case 60:
YY_RULE_SETUP
#line 273 "detex.l"
{KILLARGS(1); IGNORE;}
	YY_BREAK
case 61:
YY_RULE_SETUP
#line 274 "detex.l"
{CITE(1); IGNORE;}
	YY_BREAK
case 62:
YY_RULE_SETUP
#line 275 "detex.l"
{LATEX; KILLARGS(1); IGNORE;}
	YY_BREAK
case 63:
YY_RULE_SETUP
#line 276 "detex.l"
{LATEX; KILLARGS(1); IGNORE;}
	YY_BREAK
case 64:
YY_RULE_SETUP
#line 277 "detex.l"
{KILLARGS(1); IGNORE;}
	YY_BREAK
case 65:
YY_RULE_SETUP
#line 278 "detex.l"
{KILLARGS(1); IGNORE;}
	YY_BREAK
case 66:
YY_RULE_SETUP
#line 279 "detex.l"
{KILLARGS(1); SPACE;}
	YY_BREAK
case 67:
YY_RULE_SETUP
#line 280 "detex.l"
{KILLARGS(1); SPACE;}
	YY_BREAK
case 68:
YY_RULE_SETUP
#line 281 "detex.l"
{KILLARGS(1); IGNORE;}
	YY_BREAK
case 69:
YY_RULE_SETUP
#line 282 "detex.l"
{CITE(1); IGNORE;}
	YY_BREAK
case 70:
YY_RULE_SETUP
#line 283 "detex.l"
{KILLARGS(1); IGNORE;}
	YY_BREAK
case 71:
YY_RULE_SETUP
#line 284 "detex.l"
{CITE(1); IGNORE;}
	YY_BREAK
case 72:
YY_RULE_SETUP
#line 285 "detex.l"
{KILLARGS(1); IGNORE;}
	YY_BREAK
case 73:
YY_RULE_SETUP
#line 286 "detex.l"
/* ignore \verb<ch>...<ch> */	{   if (fLatex) {
						 	char verbchar, c;
						 	verbchar = input();
						 	while ((c = input()) != verbchar)
							    if (c == '\n')
								NEWLINE;
						    }
						    IGNORE;
						}
	YY_BREAK
case 74:
YY_RULE_SETUP
#line 296 "detex.l"
{ LATEX; KILLARGS(2); }
	YY_BREAK
case 75:
YY_RULE_SETUP
#line 297 "detex.l"
{ LATEX; KILLARGS(2); }
	YY_BREAK
case 76:
YY_RULE_SETUP
#line 298 "detex.l"
{ LATEX; KILLARGS(3); }
	YY_BREAK
case 77:
YY_RULE_SETUP
#line 300 "detex.l"
/* ignore def begin */	{BEGIN Define; IGNORE;}
	YY_BREAK
case 78:
YY_RULE_SETUP
#line 301 "detex.l"
BEGIN Normal;
	YY_BREAK
case 79:
/* rule 79 can match eol */
YY_RULE_SETUP
#line 302 "detex.l"
NEWLINE;
	YY_BREAK
case 80:
YY_RULE_SETUP
#line 303 "detex.l"
;
	YY_BREAK
case 81:
YY_RULE_SETUP
#line 305 "detex.l"
/* formula mode */	{LaBEGIN LaFormula; IGNORE;}
	YY_BREAK
case 82:
YY_RULE_SETUP
#line 306 "detex.l"
BEGIN Normal;
	YY_BREAK
case 83:
/* rule 83 can match eol */
YY_RULE_SETUP
#line 307 "detex.l"
NEWLINE;
	YY_BREAK
case 84:
YY_RULE_SETUP
#line 308 "detex.l"
;
	YY_BREAK
case 85:
YY_RULE_SETUP
#line 310 "detex.l"
/* display mode */	{LaBEGIN LaDisplay; IGNORE;}
	YY_BREAK
case 86:
YY_RULE_SETUP
#line 311 "detex.l"
BEGIN Normal;
	YY_BREAK
case 87:
/* rule 87 can match eol */
YY_RULE_SETUP
#line 312 "detex.l"
NEWLINE;
	YY_BREAK
case 88:
YY_RULE_SETUP
#line 313 "detex.l"
;
	YY_BREAK
case 89:
YY_RULE_SETUP
#line 315 "detex.l"
/* display mode */	{BEGIN Display; IGNORE;}
	YY_BREAK
case 90:
YY_RULE_SETUP
#line 316 "detex.l"
BEGIN Normal;
	YY_BREAK
case 91:
/* rule 91 can match eol */
YY_RULE_SETUP
#line 317 "detex.l"
NEWLINE;
	YY_BREAK
case 92:
YY_RULE_SETUP
#line 318 "detex.l"
;
	YY_BREAK
case 93:
YY_RULE_SETUP
#line 320 "detex.l"
/* math mode */		{BEGIN Math; IGNORE;}
	YY_BREAK
case 94:
YY_RULE_SETUP
#line 321 "detex.l"
BEGIN Normal;
	YY_BREAK
case 95:
/* rule 95 can match eol */
YY_RULE_SETUP
#line 322 "detex.l"
NEWLINE;
	YY_BREAK
case 96:
YY_RULE_SETUP
#line 323 "detex.l"
;
	YY_BREAK
case 97:
YY_RULE_SETUP
#line 324 "detex.l"
;
	YY_BREAK
case 98:
YY_RULE_SETUP
#line 326 "detex.l"
/* process files */	{LaBEGIN LaInclude; IGNORE;}
	YY_BREAK
case 99:
YY_RULE_SETUP
#line 327 "detex.l"
{   IncludeFile(yytext);
						    BEGIN Normal;
						}
	YY_BREAK
case 100:
/* rule 100 can match eol */
YY_RULE_SETUP
#line 330 "detex.l"
NEWLINE;
	YY_BREAK
case 101:
YY_RULE_SETUP
#line 331 "detex.l"
;
	YY_BREAK
case 102:
YY_RULE_SETUP
#line 333 "detex.l"
{BEGIN IncludeOnly; IGNORE;}
	YY_BREAK
case 103:
YY_RULE_SETUP
#line 334 "detex.l"
AddInclude(yytext);
	YY_BREAK
case 104:
YY_RULE_SETUP
#line 335 "detex.l"
{   if (csbIncList == 0)
							rgsbIncList[csbIncList++] = '\0';
						    BEGIN Normal;
						}
	YY_BREAK
case 105:
/* rule 105 can match eol */
YY_RULE_SETUP
#line 339 "detex.l"
NEWLINE;
	YY_BREAK
case 106:
YY_RULE_SETUP
#line 340 "detex.l"
;
	YY_BREAK
case 107:
YY_RULE_SETUP
#line 342 "detex.l"
{BEGIN Input; IGNORE;}
	YY_BREAK
case 108:
YY_RULE_SETUP
#line 343 "detex.l"
{   InputFile(yytext);
						    BEGIN Normal;
						}
	YY_BREAK
case 109:
/* rule 109 can match eol */
YY_RULE_SETUP
#line 346 "detex.l"
NEWLINE;
	YY_BREAK
case 110:
YY_RULE_SETUP
#line 347 "detex.l"
;
	YY_BREAK
case 111:
/* rule 111 can match eol */
YY_RULE_SETUP
#line 349 "detex.l"
/* handle ligatures */	{(void)printf("%.2s", yytext+1);}
	YY_BREAK
case 112:
/* rule 112 can match eol */
YY_RULE_SETUP
#line 350 "detex.l"
{(void)printf("%.1s", yytext+1);}
	YY_BREAK
case 113:
YY_RULE_SETUP
#line 351 "detex.l"
BEGIN LaBreak;
	YY_BREAK
case 114:
YY_RULE_SETUP
#line 353 "detex.l"
/* ignore other \cs */	{BEGIN Control; IGNORE;}
	YY_BREAK
case 115:
YY_RULE_SETUP
#line 354 "detex.l"
SPACE;
	YY_BREAK
case 116:
/* rule 116 can match eol */
YY_RULE_SETUP
#line 355 "detex.l"
NEWLINE;
	YY_BREAK
case 117:
YY_RULE_SETUP
#line 356 "detex.l"
IGNORE;
	YY_BREAK
case 118:
YY_RULE_SETUP
#line 357 "detex.l"
{  if (yytext==NULL || strlen(yytext)==0
							|| atoi(yytext)==4)
							NEWLINE;
						BEGIN Normal;
						}
	YY_BREAK
case 119:
YY_RULE_SETUP
#line 363 "detex.l"
IGNORE;
	YY_BREAK
case 120:
YY_RULE_SETUP
#line 364 "detex.l"
IGNORE;
	YY_BREAK
case 121:
/* rule 121 can match eol */
YY_RULE_SETUP
#line 365 "detex.l"
{BEGIN Normal; NEWLINE;}
	YY_BREAK
case 122:
YY_RULE_SETUP
#line 366 "detex.l"
{BEGIN Normal; IGNORE;}
	YY_BREAK
case 123:
YY_RULE_SETUP
#line 367 "detex.l"
{yyless(0);BEGIN Normal;}
	YY_BREAK
case 124:
YY_RULE_SETUP
#line 369 "detex.l"
/* special characters */	IGNORE;
	YY_BREAK
case 125:
YY_RULE_SETUP
#line 370 "detex.l"
IGNORE;
	YY_BREAK
case 126:
YY_RULE_SETUP
#line 371 "detex.l"
SPACE;
	YY_BREAK
case 127:
YY_RULE_SETUP
#line 373 "detex.l"
{   if (fWord)
							(void)printf("%s\n", yytext);
						    else
							ECHO;
						}
	YY_BREAK
case 128:
YY_RULE_SETUP
#line 378 "detex.l"
if (!fWord) ECHO;
	YY_BREAK
case 129:
/* rule 129 can match eol */
YY_RULE_SETUP
#line 379 "detex.l"
if (!fWord) ECHO;
	YY_BREAK
case 130:
YY_RULE_SETUP
#line 381 "detex.l"
{ BEGIN LaOptArg; }
	YY_BREAK
case 131:
YY_RULE_SETUP
#line 382 "detex.l"
{ cOpenBrace++; }
	YY_BREAK
case 132:
YY_RULE_SETUP
#line 383 "detex.l"
{   cOpenBrace--;
						    if (cOpenBrace == 0)
						    {
							if (--cArgs==0)
							BEGIN Normal;
						    }
						}
	YY_BREAK
case 133:
YY_RULE_SETUP
#line 390 "detex.l"
;
	YY_BREAK
case 134:
YY_RULE_SETUP
#line 391 "detex.l"
BEGIN LaMacro;	
	YY_BREAK
case 135:
/* rule 135 can match eol */
YY_RULE_SETUP
#line 392 "detex.l"
;
	YY_BREAK
case 136:
YY_RULE_SETUP
#line 394 "detex.l"
{ BEGIN LaOptArg2; }
	YY_BREAK
case 137:
YY_RULE_SETUP
#line 395 "detex.l"
{ if (cOpenBrace == 0)
						    {
							if (--cArgs==0)
							{
							    BEGIN Normal;
							    cOpenBrace--;
							}
						    }
						  cOpenBrace++;
						}
	YY_BREAK
case 138:
YY_RULE_SETUP
#line 405 "detex.l"
{   cOpenBrace--; }
	YY_BREAK
case 139:
YY_RULE_SETUP
#line 406 "detex.l"
;
	YY_BREAK
case 140:
YY_RULE_SETUP
#line 407 "detex.l"
BEGIN LaMacro2;	
	YY_BREAK
case 141:
YY_RULE_SETUP
#line 408 "detex.l"
;
	YY_BREAK
case 142:
YY_RULE_SETUP
#line 409 "detex.l"
ECHO;
	YY_BREAK
#line 2707 "detex.c"
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(Define):
case YY_STATE_EOF(Display):
case YY_STATE_EOF(IncludeOnly):
case YY_STATE_EOF(Input):
case YY_STATE_EOF(Math):
case YY_STATE_EOF(Normal):
case YY_STATE_EOF(Control):
case YY_STATE_EOF(LaBegin):
case YY_STATE_EOF(LaDisplay):
case YY_STATE_EOF(LaEnd):
case YY_STATE_EOF(LaEnv):
case YY_STATE_EOF(LaFormula):
case YY_STATE_EOF(LaInclude):
case YY_STATE_EOF(LaMacro):
case YY_STATE_EOF(LaOptArg):
case YY_STATE_EOF(LaMacro2):
case YY_STATE_EOF(LaOptArg2):
case YY_STATE_EOF(LaVerbatim):
case YY_STATE_EOF(LaBreak):
case YY_STATE_EOF(LaPicture):
	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_LVALUE->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_LVALUE->yy_n_chars;
			YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin;
			YY_CURRENT_BUFFER_LVALUE->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_LVALUE->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_last_accepting_cpos);
				yy_current_state = (yy_last_accepting_state);
				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_LVALUE->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 (void)
{
    	register char *dest = YY_CURRENT_BUFFER_LVALUE->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_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
		YY_FATAL_ERROR(
		"fatal flex scanner internal error--end of buffer missed" );

	if ( YY_CURRENT_BUFFER_LVALUE->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_LVALUE->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_LVALUE->yy_n_chars = (yy_n_chars) = 0;

	else
		{
			yy_size_t num_to_read =
			YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;

		while ( num_to_read <= 0 )
			{ /* Not enough room in the buffer - grow it. */

			/* just a shorter name for the current buffer */
			YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;

			int yy_c_buf_p_offset =
				(int) ((yy_c_buf_p) - b->yy_ch_buf);

			if ( b->yy_is_our_buffer )
				{
				yy_size_t 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. */
					yyrealloc((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_LVALUE->yy_buf_size -
						number_to_move - 1;

			}

		if ( num_to_read > YY_READ_BUF_SIZE )
			num_to_read = YY_READ_BUF_SIZE;

		/* Read in more data. */
		YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
			(yy_n_chars), num_to_read );

		YY_CURRENT_BUFFER_LVALUE->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_LVALUE->yy_buffer_status =
				YY_BUFFER_EOF_PENDING;
			}
		}

	else
		ret_val = EOB_ACT_CONTINUE_SCAN;

	if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
		/* Extend the array by 50%, plus the number we really need. */
		yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
		YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
		if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
			YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
	}

	(yy_n_chars) += number_to_move;
	YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
	YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;

	(yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->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 (void)
{
	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 >= 1067 )
				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 );
 */
    static yy_state_type yy_try_NUL_trans  (yy_state_type yy_current_state )
{
	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 >= 1067 )
			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 == 1066);

		return yy_is_jam ? 0 : yy_current_state;
}

    static void yyunput (int c, register char * yy_bp )
{
	register char *yy_cp;
    
    yy_cp = (yy_c_buf_p);

	/* undo effects of setting up yytext */
	*yy_cp = (yy_hold_char);

	if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
		{ /* need to shift things up to make room */
		/* +2 for EOB chars. */
		register yy_size_t number_to_move = (yy_n_chars) + 2;
		register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
					YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
		register char *source =
				&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];

		while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
			*--dest = *--source;

		yy_cp += (int) (dest - source);
		yy_bp += (int) (dest - source);
		YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
			(yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;

		if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->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;
}

#ifndef YY_NO_INPUT
#ifdef __cplusplus
    static int yyinput (void)
#else
    static int input  (void)
#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_LVALUE->yy_ch_buf[(yy_n_chars)] )
			/* This was really a NUL. */
			*(yy_c_buf_p) = '\0';

		else
			{ /* need more input */
			yy_size_t 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 );

					/*FALLTHROUGH*/

				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;
}
#endif	/* ifndef YY_NO_INPUT */

/** Immediately switch to a different input stream.
 * @param input_file A readable stream.
 * 
 * @note This function does not reset the start condition to @c INITIAL .
 */
    void yyrestart  (FILE * input_file )
{
    
	if ( ! YY_CURRENT_BUFFER ){
        yyensure_buffer_stack ();
		YY_CURRENT_BUFFER_LVALUE =
            yy_create_buffer(yyin,YY_BUF_SIZE );
	}

	yy_init_buffer(YY_CURRENT_BUFFER,input_file );
	yy_load_buffer_state( );
}

/** Switch to a different input buffer.
 * @param new_buffer The new input buffer.
 * 
 */
    void yy_switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
{
    
	/* TODO. We should be able to replace this entire function body
	 * with
	 *		yypop_buffer_state();
	 *		yypush_buffer_state(new_buffer);
     */
	yyensure_buffer_stack ();
	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_LVALUE->yy_buf_pos = (yy_c_buf_p);
		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
		}

	YY_CURRENT_BUFFER_LVALUE = 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;
}

static void yy_load_buffer_state  (void)
{
    	(yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
	(yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
	yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
	(yy_hold_char) = *(yy_c_buf_p);
}

/** Allocate and initialize an input buffer state.
 * @param file A readable stream.
 * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
 * 
 * @return the allocated buffer state.
 */
    YY_BUFFER_STATE yy_create_buffer  (FILE * file, int  size )
{
	YY_BUFFER_STATE b;
    
	b = (YY_BUFFER_STATE) yyalloc(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 *) yyalloc(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;
}

/** Destroy the buffer.
 * @param b a buffer created with yy_create_buffer()
 * 
 */
    void yy_delete_buffer (YY_BUFFER_STATE  b )
{
    
	if ( ! b )
		return;

	if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
		YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;

	if ( b->yy_is_our_buffer )
		yyfree((void *) b->yy_ch_buf  );

	yyfree((void *) b  );
}

/* Initializes or reinitializes a buffer.
 * This function is sometimes called more than once on the same buffer,
 * such as during a yyrestart() or at EOF.
 */
    static void yy_init_buffer  (YY_BUFFER_STATE  b, FILE * file )

{
	int oerrno = errno;
    
	yy_flush_buffer(b );

	b->yy_input_file = file;
	b->yy_fill_buffer = 1;

    /* If b is the current buffer, then yy_init_buffer was _probably_
     * called from yyrestart() or through yy_get_next_buffer.
     * In that case, we don't want to reset the lineno or column.
     */
    if (b != YY_CURRENT_BUFFER){
        b->yy_bs_lineno = 1;
        b->yy_bs_column = 0;
    }

        b->yy_is_interactive = 0;
    
	errno = oerrno;
}

/** Discard all buffered characters. On the next scan, YY_INPUT will be called.
 * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
 * 
 */
    void yy_flush_buffer (YY_BUFFER_STATE  b )
{
    	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( );
}

/** Pushes the new state onto the stack. The new state becomes
 *  the current state. This function will allocate the stack
 *  if necessary.
 *  @param new_buffer The new state.
 *  
 */
void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
{
    	if (new_buffer == NULL)
		return;

	yyensure_buffer_stack();

	/* This block is copied from yy_switch_to_buffer. */
	if ( YY_CURRENT_BUFFER )
		{
		/* Flush out information for old buffer. */
		*(yy_c_buf_p) = (yy_hold_char);
		YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
		}

	/* Only push if top exists. Otherwise, replace top. */
	if (YY_CURRENT_BUFFER)
		(yy_buffer_stack_top)++;
	YY_CURRENT_BUFFER_LVALUE = new_buffer;

	/* copied from yy_switch_to_buffer. */
	yy_load_buffer_state( );
	(yy_did_buffer_switch_on_eof) = 1;
}

/** Removes and deletes the top of the stack, if present.
 *  The next element becomes the new top.
 *  
 */
void yypop_buffer_state (void)
{
    	if (!YY_CURRENT_BUFFER)
		return;

	yy_delete_buffer(YY_CURRENT_BUFFER );
	YY_CURRENT_BUFFER_LVALUE = NULL;
	if ((yy_buffer_stack_top) > 0)
		--(yy_buffer_stack_top);

	if (YY_CURRENT_BUFFER) {
		yy_load_buffer_state( );
		(yy_did_buffer_switch_on_eof) = 1;
	}
}

/* Allocates the stack if it does not exist.
 *  Guarantees space for at least one push.
 */
static void yyensure_buffer_stack (void)
{
	yy_size_t num_to_alloc;
    
	if (!(yy_buffer_stack)) {

		/* First allocation is just for 2 elements, since we don't know if this
		 * scanner will even need a stack. We use 2 instead of 1 to avoid an
		 * immediate realloc on the next call.
         */
		num_to_alloc = 1;
		(yy_buffer_stack) = (struct yy_buffer_state**)yyalloc
								(num_to_alloc * sizeof(struct yy_buffer_state*)
								);
		if ( ! (yy_buffer_stack) )
			YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
								  
		memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
				
		(yy_buffer_stack_max) = num_to_alloc;
		(yy_buffer_stack_top) = 0;
		return;
	}

	if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){

		/* Increase the buffer to prepare for a possible push. */
		int grow_size = 8 /* arbitrary grow size */;

		num_to_alloc = (yy_buffer_stack_max) + grow_size;
		(yy_buffer_stack) = (struct yy_buffer_state**)yyrealloc
								((yy_buffer_stack),
								num_to_alloc * sizeof(struct yy_buffer_state*)
								);
		if ( ! (yy_buffer_stack) )
			YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );

		/* zero only the new slots.*/
		memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
		(yy_buffer_stack_max) = num_to_alloc;
	}
}

/** Setup the input buffer state to scan directly from a user-specified character buffer.
 * @param base the character buffer
 * @param size the size in bytes of the character buffer
 * 
 * @return the newly allocated buffer state object. 
 */
YY_BUFFER_STATE yy_scan_buffer  (char * base, yy_size_t  size )
{
	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) yyalloc(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;
}

/** Setup the input buffer state to scan a string. The next call to yylex() will
 * scan from a @e copy of @a str.
 * @param yystr a NUL-terminated string to scan
 * 
 * @return the newly allocated buffer state object.
 * @note If you want to scan bytes that may contain NUL values, then use
 *       yy_scan_bytes() instead.
 */
YY_BUFFER_STATE yy_scan_string (yyconst char * yystr )
{
    
	return yy_scan_bytes(yystr,strlen(yystr) );
}

/** Setup the input buffer state to scan the given bytes. The next call to yylex() will
 * scan from a @e copy of @a bytes.
 * @param yybytes the byte buffer to scan
 * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
 * 
 * @return the newly allocated buffer state object.
 */
YY_BUFFER_STATE yy_scan_bytes  (yyconst char * yybytes, yy_size_t  _yybytes_len )
{
	YY_BUFFER_STATE b;
	char *buf;
	yy_size_t n;
	int i;
    
	/* Get memory for full buffer, including space for trailing EOB's. */
	n = _yybytes_len + 2;
	buf = (char *) yyalloc(n  );
	if ( ! buf )
		YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );

	for ( i = 0; i < _yybytes_len; ++i )
		buf[i] = yybytes[i];

	buf[_yybytes_len] = buf[_yybytes_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;
}

#ifndef YY_EXIT_FAILURE
#define YY_EXIT_FAILURE 2
#endif

static void yy_fatal_error (yyconst char* msg )
{
    	(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. */ \
        int yyless_macro_arg = (n); \
        YY_LESS_LINENO(yyless_macro_arg);\
		yytext[yyleng] = (yy_hold_char); \
		(yy_c_buf_p) = yytext + yyless_macro_arg; \
		(yy_hold_char) = *(yy_c_buf_p); \
		*(yy_c_buf_p) = '\0'; \
		yyleng = yyless_macro_arg; \
		} \
	while ( 0 )

/* Accessor  methods (get/set functions) to struct members. */

/** Get the current line number.
 * 
 */
int yyget_lineno  (void)
{
        
    return yylineno;
}

/** Get the input stream.
 * 
 */
FILE *yyget_in  (void)
{
        return yyin;
}

/** Get the output stream.
 * 
 */
FILE *yyget_out  (void)
{
        return yyout;
}

/** Get the length of the current token.
 * 
 */
yy_size_t yyget_leng  (void)
{
        return yyleng;
}

/** Get the current token.
 * 
 */

char *yyget_text  (void)
{
        return yytext;
}

/** Set the current line number.
 * @param line_number
 * 
 */
void yyset_lineno (int  line_number )
{
    
    yylineno = line_number;
}

/** Set the input stream. This does not discard the current
 * input buffer.
 * @param in_str A readable stream.
 * 
 * @see yy_switch_to_buffer
 */
void yyset_in (FILE *  in_str )
{
        yyin = in_str ;
}

void yyset_out (FILE *  out_str )
{
        yyout = out_str ;
}

int yyget_debug  (void)
{
        return yy_flex_debug;
}

void yyset_debug (int  bdebug )
{
        yy_flex_debug = bdebug ;
}

static int yy_init_globals (void)
{
        /* Initialization is the same as for the non-reentrant scanner.
     * This function is called from yylex_destroy(), so don't allocate here.
     */

    (yy_buffer_stack) = 0;
    (yy_buffer_stack_top) = 0;
    (yy_buffer_stack_max) = 0;
    (yy_c_buf_p) = (char *) 0;
    (yy_init) = 0;
    (yy_start) = 0;

/* Defined in main.c */
#ifdef YY_STDINIT
    yyin = stdin;
    yyout = stdout;
#else
    yyin = (FILE *) 0;
    yyout = (FILE *) 0;
#endif

    /* For future reference: Set errno on error, since we are called by
     * yylex_init()
     */
    return 0;
}

/* yylex_destroy is for both reentrant and non-reentrant scanners. */
int yylex_destroy  (void)
{
    
    /* Pop the buffer stack, destroying each element. */
	while(YY_CURRENT_BUFFER){
		yy_delete_buffer(YY_CURRENT_BUFFER  );
		YY_CURRENT_BUFFER_LVALUE = NULL;
		yypop_buffer_state();
	}

	/* Destroy the stack itself. */
	yyfree((yy_buffer_stack) );
	(yy_buffer_stack) = NULL;

    /* Reset the globals. This is important in a non-reentrant scanner so the next time
     * yylex() is called, initialization will occur. */
    yy_init_globals( );

    return 0;
}

/*
 * Internal utility routines.
 */

#ifndef yytext_ptr
static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
{
	register int i;
	for ( i = 0; i < n; ++i )
		s1[i] = s2[i];
}
#endif

#ifdef YY_NEED_STRLEN
static int yy_flex_strlen (yyconst char * s )
{
	register int n;
	for ( n = 0; s[n]; ++n )
		;

	return n;
}
#endif

void *yyalloc (yy_size_t  size )
{
	return (void *) malloc( size );
}

void *yyrealloc  (void * ptr, yy_size_t  size )
{
	/* 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 );
}

void yyfree (void * ptr )
{
	free( (char *) ptr );	/* see yyrealloc() for (char *) cast */
}

#define YYTABLES_NAME "yytables"

#line 409 "detex.l"


/******
** main --
**	Set sbProgName to the base of arg 0.
**	Set the input paths.
**	Check for options
**		-c		echo LaTeX \cite, \ref, and \pageref values
**		-e <env-list>	list of LaTeX environments to ignore
**		-l		force latex mode
**		-n		do not follow \input and \include
**		-s		replace control sequences with space
**		-t		force tex mode
**		-w		word only output
**	Set the list of LaTeX environments to ignore.
**	Process each input file.
**	If no input files are specified on the command line, process stdin.
******/

int
main(int cArgs, char *rgsbArgs[])
{
	char	*pch, sbBadOpt[2];
	const char *sbEnvList = DEFAULTENV;
	int	fSawFile = 0, iArgs = 1;
	
	/* get base name and decide what we are doing, detex or delatex */
#ifdef OS2
	char drive[_MAX_DRIVE], dir[_MAX_DIR];
	char fname[_MAX_FNAME], ext[_MAX_EXT];
#ifdef __EMX__
	_wildcard(&cArgs, &rgsbArgs);
	_response(&cArgs, &rgsbArgs);
#endif
	_splitpath (rgsbArgs[0], drive, dir, fname, ext);
	sbProgName = strlwr(fname);
#elif defined(KPATHSEA)
	kpse_set_program_name (rgsbArgs[0], NULL);
	sbProgName = kpse_program_name;
#else
	if ((sbProgName = rindex(rgsbArgs[0], '/')) != NULL)
	    sbProgName++;
	else
	    sbProgName = rgsbArgs[0];
#endif
	if (strcmp("delatex",sbProgName) == 0)
	    fLatex = 1;

#ifndef KPATHSEA
	/* set rgsbInputPaths for use with TexOpen() */
	SetInputPaths();
#endif

	/* process command line options */
	while (iArgs < cArgs && *(pch = rgsbArgs[iArgs]) == CHOPT) {
		while (*++pch)
		    switch (*pch) {
		    case CHCITEOPT:
			fCite = 1;
			break;
		    case CHENVOPT:
			if (++iArgs >= cArgs) {
				ErrorExit("-e option requires an argument");
			}
			sbEnvList = rgsbArgs[iArgs];
			break;
		    case CHLATEXOPT:
			fLatex = 1;
			break;
		    case CHNOFOLLOWOPT:
			fFollow = 0;
			break;
		    case CHSPACEOPT:
			fSpace = 1;
			break;
		    case CHTEXOPT:
			fForcetex = 1;
			break;
		    case CHWORDOPT:
			fWord = 1;
			break;
		    default:
#ifdef OS2
			OS2UsageExit();
#else
			sbBadOpt[0] = *pch;
			sbBadOpt[1] = '\0';
			Warning("unknown option ignored -", sbBadOpt);
#endif
		    }
		iArgs++;
	}
	SetEnvIgnore(sbEnvList);

#ifdef WIN32
	_setmode(fileno(stdout), _O_BINARY);
#endif

	/* process input files */
	for (; iArgs < cArgs; iArgs++) {
	    fSawFile++;
	    if ((yyin = TexOpen(rgsbArgs[iArgs])) == NULL) {
		Warning("can't open file", rgsbArgs[iArgs]);
		continue;;
	    }
	    BEGIN Normal;
	    (void)yylex();
	}

	/* if there were no input files, assume stdin */
	if (!fSawFile) {
	    yyin = stdin;
#ifdef OS2
	    if (isatty(fileno(stdin)))
		OS2UsageExit();
#endif
	    BEGIN Normal;
	    (void)yylex();
	}
#ifndef FLEX_SCANNER
	if (YYSTATE != Normal)
	    ErrorExit("input contains an unterminated mode or environment");
#endif
	return(0);
}

#ifdef FLEX_SCANNER
#undef yywrap
#endif

/******
** yywrap -- handles EOF for lex.  Check to see if the stack of open files
**	has anything on it.  If it does, set yyin to the to value.  If not
**	return the termination signal for lex.
******/

int
yywrap(void)
{
	(void)fclose(yyin);
#ifdef FLEX_SCANNER
        /* Pop context state */
	if (csb > 0) {
		yy_delete_buffer(YY_CURRENT_BUFFER );
		yy_switch_to_buffer(rgsb[--csb] );
	}
#endif /* FLEX_SCANNER */
	if (cfp > 0) {
	    yyin = rgfp[--cfp];
	    return(0);
	}
	return(1);
}

#ifdef OS2

/******
** yyless -- return characters to the input stream.  Some systems don't have
**	a yyless routine
******/

void
yyless(int n)
{
	int 	i = strlen(yytext);

	while (i > n) unput(yytext[--i]);
	yytext[yyleng = n] = '\0';
}
#endif

/******
** SetEnvIgnore -- sets rgsbEnvIgnore to the values indicated by the
**	sbEnvList.
******/

void
SetEnvIgnore(const char *sbEnvList)
{
	char *sb;

	sb = SafeMalloc(strlen(sbEnvList) + 1, "malloc for SetEnvIgnore failed");
	(void) strcpy(sb, sbEnvList);
	csbEnvIgnore = SeparateList(sb, rgsbEnvIgnore, CHENVSEP, MAXENVS);
	if (csbEnvIgnore == my_ERROR)
	    ErrorExit("The environtment list contains too many environments");
}

/******
** BeginEnv -- checks to see if sbEnv is in the list rgsbEnvIgnore.  If it
**	is, sbCurrentEnv is set to sbEnv.
******/

int
BeginEnv(const char *sbEnv)
{
	int	i;

	if (!fLatex) return(0);
	for (i = 0; i < csbEnvIgnore; i++)
	    if (strcmp(sbEnv, rgsbEnvIgnore[i]) == 0) {
		(void)strcpy(sbCurrentEnv, sbEnv);
		return(1);
	    }
	return(0);
}

/******
** EndEnv -- checks to see if sbEnv is the current environment being ignored.
******/

int
EndEnv(const char *sbEnv)
{
	if (!fLatex) return(0);
	if (strcmp(sbEnv, sbCurrentEnv) == 0)
	    return(1);
	return(0);
}

/******
** InputFile -- push the current yyin and open sbFile.  If the open fails,
**	the sbFile is ignored.
******/

void
InputFile(char *sbFile)
{
	if (!fFollow)
	    return;
	rgfp[cfp++] = yyin;
	if ((yyin = TexOpen(sbFile)) == NULL) {
	    Warning("can't open \\input file", sbFile);
	    yyin = rgfp[--cfp];
            return;
	} 
#ifdef FLEX_SCANNER
        rgsb[csb++] = YY_CURRENT_BUFFER;
        yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE ) );
#endif /* FLEX_SCANNER */
}

/******
** IncludeFile -- if sbFile is not in the rgsbIncList, push current yyin
**	and open sbFile.  If the open fails, the sbFile is ignored.
******/

void
IncludeFile(char *sbFile)
{
	if (!fFollow)
	    return;
	if (!InList(sbFile))
	    return;
	rgfp[cfp++] = yyin;
	if ((yyin = TexOpen(sbFile)) == NULL) {
	    Warning("can't open \\include file", sbFile);
	    yyin = rgfp[--cfp];
            return;
	}
#ifdef FLEX_SCANNER
        rgsb[csb++] = YY_CURRENT_BUFFER;
        yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE ) );
#endif /* FLEX_SCANNER */
}

/******
** AddInclude -- adds sbFile to the rgsbIncList and increments csbIncList.
**	If the include list is too long, sbFile is ignored.
******/

void
AddInclude(char *sbFile)
{
	if (!fFollow)
	    return;
	if (csbIncList >= MAXINCLIST)
	    Warning("\\includeonly list is too long, ignoring", sbFile);
	rgsbIncList[csbIncList] = SafeMalloc(strlen(sbFile) + 1, "malloc for AddInclude failed");
	(void)strcpy(rgsbIncList[csbIncList++], sbFile);
}

/******
** InList -- checks to see if sbFile is in the rgsbIncList.  If there is
**	no list, all files are assumed to be "in the list".
******/

int
InList(char *sbFile)
{
	char	*pch, sbBase[PATH_MAX];
	int	i;

	if (csbIncList == 0)	/* no list */
	    return(1);
	(void)strcpy(sbBase, sbFile);
	if ((pch = rindex(sbBase, '.')) != NULL)
	    *pch = '\0';
	i = 0;
	while ((i < csbIncList) && rgsbIncList[i])
	    if (strcmp(rgsbIncList[i++], sbBase) == 0)
	        return(1);
	return(0);
}

#ifndef KPATHSEA
/******
** SetInputPaths -- sets rgsbInputPaths to the values indicated by the
**	TEXINPUTS environment variable if set or else DEFAULTINPUTS.  If
**	the user's TEXINPUTS has a leading ':' prepend the DEFAULTINPUTS
**	to the path, if there is a trailing ':' append the DEFAULTINPUTS.
**	This is consistent with the most recent TeX.  However, this
**	routine does not honor the '//' construct (expand subdirs).
******/

void
SetInputPaths(void)
{
	const char *sb;
	char *sbPaths;
	int cchDefaults, cchPaths;

	cchDefaults = strlen(DEFAULTINPUTS);
#ifdef OS2
	if ((sb = getenv("TEXINPUT")) == NULL)
#endif
	    if ((sb = getenv("TEXINPUTS")) == NULL)
		sb = DEFAULTINPUTS;
	cchPaths = strlen(sb);
	if (sb[0] == CHPATHSEP)
	    cchPaths += cchDefaults;
	if (sb[strlen(sb) - 1] == CHPATHSEP)
	    cchPaths += cchDefaults;
	sbPaths = SafeMalloc(cchPaths + 1, "malloc for SetInputPaths failed");
	sbPaths[0] = '\0';
	if (sb[0] == CHPATHSEP)
	    (void)strcat(sbPaths, DEFAULTINPUTS);
	(void)strcat(sbPaths, sb);
	if (sb[strlen(sb) - 1] == CHPATHSEP)
	    (void)strcat(sbPaths, DEFAULTINPUTS);

	csbInputPaths = SeparateList(sbPaths, rgsbInputPaths, CHPATHSEP, MAXINPUTPATHS);
	if (csbInputPaths == my_ERROR)
#ifdef OS2
	    ErrorExit("TEXINPUT(S) environment variable has too many paths");
#else
	    ErrorExit("TEXINPUTS environment variable has too many paths");
#endif
}
#endif

/******
** SeparateList -- takes a chSep separated list sbList, replaces the
**	chSep's with NULLs and sets rgsbList[i] to the beginning of
**	the ith word in sbList.  The number of words is returned.  A
**	my_ERROR is returned if there are more than csbMax words.
******/

int
SeparateList(char *sbList, char *rgsbList[], char chSep, int csbMax)
{
	int	csbList = 0;

	while (sbList && *sbList && csbList < csbMax) {
	    rgsbList[csbList++] = sbList;
	    if ((sbList = index(sbList, chSep)))
		*sbList++ = '\0';
	}
	return(sbList && *sbList ? my_ERROR : csbList);
}

/******
** TexOpen -- tries to open sbFile in each of the rgsbInputPaths in turn.
**	For each input path the following order is used:
**		file.tex - must be as named, if not there go to the next path
**		file.ext - random extension, try it
**		file     - base name, add .tex and try it
**		file     - try it as is
**	Notice that if file exists in the first path and file.tex exists in
**	one of the other paths, file in the first path is what is opened.
**	If the sbFile begins with a '/', no paths are searched.
******/

FILE *
TexOpen(char *sbFile)
{
	char	*sbNew;
#ifndef KPATHSEA
	char	*pch;
	FILE	*fp;
	int	iPath;
	static char	sbFullPath[PATH_MAX];

	for (iPath = 0; iPath < csbInputPaths; iPath++) {
#ifdef OS2
	    if (*sbFile == '/' || *sbFile == '\\' || strchr(sbFile, ':')) {	/* absolute path */
#else
	    if (*sbFile == '/') {	/* absolute path */
#endif
		(void)sprintf(sbFullPath, "%s", sbFile);
		iPath = csbInputPaths;	/* only check once */
	    } else
		(void)sprintf(sbFullPath, "%s/%s", rgsbInputPaths[iPath], sbFile);
#ifdef OS2
	    pch = sbFullPath;
	    while (pch = strchr(pch, '\\'))
		*pch = '/';
#endif

	    /* If sbFile ends in .tex then it must be there */
	    if ((pch = rindex(sbFullPath, '.')) != NULL
			&& (strcmp(pch, ".tex") == 0))
	    {
		if ((fp = fopen(sbFullPath, "r")) != NULL)
		    return(fp);
		else
		    continue;
	    }

	    /* if .<ext> then try to open it.  the '.' represents   */
	    /* the beginning of an extension if it is not the first */
	    /* character and it does not follow a '.' or a '/'      */
	    if (pch != NULL && pch > &(sbFullPath[0])
                    && *(pch - 1) != '.' && *(pch - 1) != '/'
		    && (fp = fopen(sbFullPath, "r")) != NULL)
		return(fp);

	    /* just base name, add .tex to the name */
	    sbNew = SafeMalloc(strlen(sbFullPath) + 5, "malloc for TexOpen failed");
	    (void)strcpy(sbNew, sbFullPath);
	    (void)strcat(sbNew, ".tex");
	    if ((fp = fopen(sbNew, "r")) != NULL)
		return(fp);

	    /* try sbFile regardless */
	    if ((fp = fopen(sbFullPath, "r")) != NULL)
		return(fp);
	}
	return NULL;
#else
	sbNew = kpse_find_file (sbFile, kpse_tex_format, false);

	if (sbNew == NULL)
	    return NULL;

	return fopen (sbNew, "r");
#endif
}

/******
** SafeMalloc -- wrapper around malloc() to check for failure.
******/

char *
SafeMalloc(int cch, const char *sbMessage)
{
	char *sb;

	if ((sb = (char *)malloc((unsigned)cch)) == NULL)
	    ErrorExit(sbMessage);
	return(sb);
}

/******
** Warning -- print a warning message preceded by the program name.
******/

void
Warning(const char *sb1, const char *sb2)
{
	(void)fprintf(stderr, "%s: warning: %s %s\n", sbProgName, sb1, sb2);
}

/******
** ErrorExit -- print an error message preceded by the program name.
**	Stdout is flushed and detex exits.
******/

void
ErrorExit(const char *sb1)
{
	(void)fflush(stdout);
	(void)fprintf(stderr, "%s: error: %s\n", sbProgName, sb1);
	exit(1);
}
#ifdef OS2

/******
** OS2UsageExit -- print OS/2 usage message and exit.
******/

void
OS2UsageExit(void)
{
	(void)printf("\n%s [ -clnstw ] [ -e environment-list ] [ filename[.tex] ... ]\n",
		sbProgName);
	puts("  -c  echo LaTeX \\cite, \\ref, and \\pageref values\n  \
-e  <env-list> list of LaTeX environments to ignore\n  \
-l  force latex mode\n  \
-n  do not follow \\input and \\include\n  \
-s  replace control sequences with space\n  \
-t  force tex mode\n  \
-w  word only output");
	exit(0);
}
#endif