#line 3 "../../../utils/lacheck/lacheck.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 6
#define YY_FLEX_SUBMINOR_VERSION 0
#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
#ifdef __ia64__
/* On IA-64, the buffer size is 16k, not 8k.
* Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
* Ditto for the __ia64__ case accordingly.
*/
#define YY_BUF_SIZE 32768
#else
#define YY_BUF_SIZE 16384
#endif /* __ia64__ */
#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)
#define YY_LINENO_REWIND_TO(ptr)
/* 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;
#ifdef yytext_ptr
#undef yytext_ptr
#endif
#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 );
#if defined(__GNUC__) && __GNUC__ >= 3
__attribute__((__noreturn__))
#endif
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 89
#define YY_END_OF_BUFFER 90
/* 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_acclist[355] =
{ 0,
90, 88, 89, 88, 89, 4, 89, 88, 89, 44,
88, 89, 82, 88, 89, 88, 89, 88, 89, 88,
89, 88, 89, 88, 89, 9, 88, 89, 10, 88,
89, 88, 89, 88, 89, 88, 89, 88, 89, 88,
89, 88, 89, 50, 89, 89, 50, 89, 60, 89,
60, 89, 53, 89, 52, 53, 89, 54, 89, 53,
89, 86, 89, 86, 89, 89, 84, 89, 83, 89,
84, 89, 57, 89, 56, 89, 57, 89, 32, 89,
4, 89, 32, 89, 32, 89, 30, 32, 89, 31,
32, 89, 42, 89, 41, 42, 89, 42, 89, 36,
89, 36, 89, 36, 89, 34, 36, 89, 35, 36,
89, 27, 89, 25, 27, 89, 4, 25, 89, 13,
27, 89, 27, 89, 13, 27, 89, 24, 27, 89,
24, 27, 89, 13, 27, 89, 27, 89, 13, 27,
89, 9, 27, 89, 11, 27, 89, 26, 27, 89,
12, 27, 89, 12, 27, 89, 27, 89, 27, 89,
12, 27, 89, 27, 89, 12, 27, 89, 10, 27,
89, 81, 64, 43, 45, 3, 80, 7, 2, 37,
38, 17, 39, 1, 40, 5, 6,16446, 8, 64,
80,16446, 50, 1, 50, 60, 1, 60, 1, 86,
1, 86, 81, 13, 13, 13, 80, 13, 18, 13,
12, 12, 12, 16, 12, 79,16445, 3, 67, 69,
16447,16446, 78, 78, 78, 14, 69,16447,16446, 79,
16445, 13,16447, 12,16447,16461,16461, 15,16445, 3,
3,16461,16461, 78, 78, 74, 74, 78, 22, 22,
78, 19, 19, 78, 8254, 25,16445, 23, 68, 68,
8269, 68, 68, 8253, 68, 3, 68, 8269, 8255, 59,
58, 8, 64, 68, 68, 68, 68, 72, 3, 3,
68, 75, 75, 75, 78, 75, 75, 55, 55, 55,
78, 55, 68, 68, 68, 71, 3, 68, 3, 49,
48, 9, 28, 10, 85, 75, 76, 76, 76, 78,
76, 76, 68, 30, 31, 34, 35, 9, 11, 10,
3, 65, 76, 3, 70, 66, 66, 66, 3, 66,
47, 47, 78, 87, 78, 87, 66, 73, 3, 66,
29, 66, 66, 3, 46, 46, 78, 3, 20, 20,
78, 21, 51, 33
} ;
static yyconst flex_int16_t yy_accept[973] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 2, 4, 6,
8, 10, 13, 16, 18, 20, 22, 24, 26, 29,
32, 34, 36, 38, 40, 42, 44, 46, 47, 49,
51, 53, 55, 58, 60, 62, 64, 66, 67, 69,
71, 73, 75, 77, 79, 81, 83, 85, 87, 90,
93, 95, 98, 100, 102, 104, 106, 109, 112, 114,
117, 120, 123, 125, 128, 131, 134, 137, 139, 142,
145, 148, 151, 154, 157, 159, 161, 164, 166, 169,
172, 172, 172, 172, 172, 173, 173, 173, 173, 173,
173, 173, 173, 174, 174, 174, 175, 175, 176, 176,
177, 177, 177, 177, 177, 177, 177, 177, 178, 178,
179, 180, 181, 182, 183, 183, 183, 184, 185, 186,
186, 186, 186, 186, 186, 186, 186, 186, 186, 186,
186, 186, 186, 186, 186, 186, 186, 187, 188, 189,
189, 190, 191, 191, 191, 191, 191, 191, 191, 191,
191, 192, 192, 193, 193, 194, 196, 197, 199, 200,
200, 201, 203, 203, 203, 203, 203, 204, 204, 204,
204, 204, 205, 206, 208, 209, 210, 210, 210, 210,
210, 210, 210, 210, 211, 212, 213, 214, 215, 215,
215, 216, 216, 216, 216, 216, 216, 216, 216, 216,
216, 216, 216, 216, 216, 216, 216, 217, 217, 217,
217, 217, 217, 217, 217, 217, 217, 218, 218, 218,
218, 219, 219, 219, 219, 219, 219, 219, 219, 219,
219, 219, 219, 219, 219, 219, 220, 220, 220, 220,
221, 222, 223, 224, 225, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 227, 228, 229, 230, 230, 230, 230,
230, 230, 230, 230, 230, 230, 230, 231, 231, 231,
231, 232, 234, 234, 234, 234, 234, 234, 234, 234,
234, 236, 236, 236, 236, 236, 236, 236, 236, 236,
236, 236, 236, 237, 238, 238, 238, 238, 238, 239,
239, 239, 239, 239, 239, 239, 239, 240, 240, 240,
240, 240, 240, 240, 240, 241, 241, 241, 241, 242,
242, 242, 242, 242, 243, 244, 244, 244, 244, 244,
244, 244, 244, 244, 244, 244, 244, 244, 244, 244,
245, 246, 246, 246, 246, 246, 246, 246, 246, 246,
246, 246, 247, 249, 249, 249, 249, 249, 249, 249,
249, 249, 250, 252, 252, 252, 252, 252, 252, 252,
253, 255, 255, 255, 255, 255, 255, 255, 255, 255,
255, 255, 255, 255, 255, 255, 255, 255, 256, 256,
256, 256, 256, 256, 256, 256, 256, 256, 256, 256,
256, 256, 256, 256, 256, 256, 256, 256, 256, 256,
256, 256, 257, 258, 258, 258, 258, 258, 259, 259,
259, 259, 259, 259, 259, 259, 259, 259, 260, 260,
260, 261, 261, 261, 261, 262, 262, 262, 262, 262,
262, 262, 262, 262, 262, 262, 262, 263, 264, 264,
264, 264, 264, 264, 265, 265, 265, 265, 265, 265,
266, 266, 267, 267, 268, 268, 268, 268, 269, 269,
269, 269, 269, 269, 269, 269, 269, 269, 269, 269,
269, 269, 269, 270, 270, 270, 270, 270, 270, 270,
270, 270, 270, 270, 270, 270, 270, 270, 270, 270,
270, 270, 270, 271, 271, 271, 271, 272, 272, 272,
272, 272, 272, 272, 272, 272, 272, 272, 272, 272,
272, 272, 272, 272, 272, 272, 272, 273, 274, 274,
274, 274, 274, 274, 274, 274, 275, 276, 276, 276,
276, 276, 276, 276, 276, 276, 276, 276, 276, 276,
276, 276, 276, 276, 276, 276, 276, 276, 276, 276,
276, 276, 276, 277, 277, 277, 277, 277, 277, 277,
277, 277, 277, 277, 277, 278, 278, 279, 279, 279,
279, 279, 280, 281, 281, 281, 282, 282, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 282, 282,
282, 282, 282, 282, 282, 282, 282, 282, 282, 283,
284, 284, 286, 287, 288, 288, 288, 288, 288, 288,
288, 288, 288, 288, 289, 290, 292, 293, 293, 293,
293, 293, 293, 293, 294, 294, 294, 294, 294, 294,
294, 294, 294, 294, 294, 294, 294, 294, 294, 294,
294, 295, 295, 295, 295, 295, 295, 295, 296, 296,
296, 297, 298, 298, 299, 300, 300, 300, 300, 300,
300, 300, 300, 300, 300, 300, 301, 301, 301, 302,
303, 303, 303, 303, 303, 303, 304, 304, 304, 305,
305, 305, 305, 305, 306, 306, 307, 307, 307, 307,
307, 307, 308, 309, 309, 311, 312, 313, 313, 313,
313, 314, 314, 314, 315, 316, 317, 318, 319, 320,
320, 321, 321, 321, 321, 321, 321, 321, 321, 322,
322, 322, 322, 322, 322, 323, 323, 323, 323, 323,
323, 323, 323, 323, 323, 323, 323, 323, 323, 323,
323, 323, 324, 324, 324, 324, 324, 324, 324, 324,
324, 324, 324, 324, 324, 324, 325, 325, 325, 325,
325, 325, 325, 325, 325, 325, 325, 325, 325, 325,
325, 326, 326, 326, 326, 326, 326, 326, 326, 326,
326, 326, 326, 326, 327, 327, 327, 328, 328, 328,
328, 328, 329, 329, 330, 330, 331, 331, 331, 331,
331, 331, 331, 331, 331, 331, 331, 331, 332, 334,
335, 337, 337, 337, 337, 337, 337, 337, 337, 337,
337, 337, 337, 337, 337, 337, 338, 338, 338, 339,
340, 340, 340, 341, 341, 341, 341, 341, 341, 341,
341, 341, 341, 341, 341, 341, 341, 342, 342, 342,
342, 342, 342, 342, 343, 343, 343, 343, 343, 344,
345, 345, 345, 345, 345, 345, 345, 346, 348, 348,
348, 348, 348, 348, 348, 348, 349, 349, 349, 349,
350, 352, 352, 353, 353, 354, 354, 354, 354, 354,
355, 355
} ;
static yyconst YY_CHAR 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, 6, 6, 7, 8, 6, 9, 10,
11, 12, 13, 14, 15, 16, 17, 18, 18, 18,
18, 18, 18, 18, 18, 18, 18, 19, 20, 6,
6, 6, 21, 22, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
24, 25, 26, 6, 1, 27, 28, 29, 30, 31,
32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
42, 43, 37, 44, 45, 46, 47, 48, 49, 50,
51, 37, 52, 1, 53, 54, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 55, 55, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 55, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 56, 56,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 56, 1, 1,
1, 1, 1, 1, 1
} ;
static yyconst YY_CHAR yy_meta[57] =
{ 0,
1, 2, 3, 2, 4, 1, 5, 6, 7, 8,
8, 1, 1, 9, 1, 10, 1, 8, 8, 8,
11, 12, 13, 1, 14, 1, 15, 16, 16, 16,
16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
16, 17, 18, 19, 20, 21
} ;
static yyconst flex_uint16_t yy_base[1067] =
{ 0,
0, 56, 110, 111, 112, 113, 115, 117, 118, 119,
5193, 5192, 120, 121, 122, 123, 124, 126, 134, 136,
150, 159, 212, 0, 268, 0, 5216, 155, 323, 179,
179, 180, 171, 378, 181, 361, 410, 373, 187, 184,
462, 405, 465, 478, 515, 360, 0, 5219, 5190, 0,
5189, 5219, 5219, 5219, 167, 0, 5188, 5187, 5219, 5219,
5186, 5219, 5219, 5185, 5219, 5219, 5206, 470, 5219, 5219,
5219, 5219, 5183, 5219, 5204, 475, 5219, 5219, 315, 570,
624, 388, 472, 397, 322, 569, 675, 714, 758, 507,
324, 585, 463, 583, 589, 593, 809, 373, 860, 385,
618, 612, 660, 667, 657, 0, 914, 688, 701, 940,
968, 5190, 5219, 704, 719, 5219, 571, 5219, 5202, 5219,
712, 1012, 784, 745, 779, 5188, 817, 5219, 596, 5219,
5219, 5219, 5219, 5219, 5181, 5180, 5219, 814, 5219, 462,
474, 853, 545, 860, 384, 467, 109, 491, 369, 645,
711, 558, 614, 570, 134, 697, 5219, 5219, 801, 891,
5193, 5192, 987, 865, 901, 1018, 5178, 412, 1035, 759,
1043, 792, 1067, 838, 0, 0, 0, 0, 5219, 5140,
0, 0, 5139, 5136, 5118, 5115, 5219, 0, 5088, 619,
766, 727, 1114, 731, 685, 5219, 5057, 391, 4988, 4977,
4960, 462, 4939, 823, 787, 1115, 837, 5219, 597, 4908,
895, 1059, 1130, 1010, 4896, 4871, 4799, 4807, 4740, 4713,
4711, 4673, 0, 1139, 4681, 4674, 1169, 1150, 1196, 1209,
1249, 4640, 4612, 4572, 128, 693, 934, 1304, 4549, 1230,
1311, 1189, 1314, 536, 170, 468, 509, 382, 434, 627,
565, 841, 0, 1143, 1335, 5219, 1326, 1241, 4512, 5219,
990, 1003, 4518, 4487, 4466, 729, 743, 855, 877, 651,
774, 813, 788, 884, 1372, 785, 1128, 900, 313, 1104,
1428, 780, 1037, 925, 864, 1138, 1484, 178, 931, 1033,
1105, 1185, 981, 803, 977, 976, 1051, 1014, 1162, 891,
1062, 1233, 600, 1248, 0, 0, 1050, 0, 4450, 1539,
1564, 1335, 5219, 1549, 1580, 1589, 1595, 1598, 1622, 4430,
4394, 4360, 4339, 4293, 4292, 4332, 4325, 1101, 1308, 1621,
1555, 1605, 4288, 4286, 0, 0, 4300, 4284, 4299, 4282,
1677, 4281, 0, 4280, 1310, 0, 4308, 1684, 1691, 1350,
1697, 4290, 1271, 1542, 4285, 4271, 4311, 0, 5219, 1721,
1731, 0, 1741, 1748, 1775, 1698, 1755, 4267, 4270, 4274,
1761, 1800, 4248, 1703, 1745, 4256, 1162, 1807, 1810, 1791,
1803, 1834, 1216, 1559, 1837, 1542, 1142, 0, 4199, 4227,
1695, 0, 1840, 4196, 87, 4173, 4164, 1843, 1681, 4166,
4163, 1103, 1173, 1013, 1188, 576, 1194, 1288, 1099, 1205,
1220, 5219, 4148, 1591, 1294, 1854, 1331, 930, 1335, 1325,
1279, 5219, 4147, 1859, 1526, 1582, 1219, 1052, 1528, 5219,
4146, 1563, 1593, 1838, 1319, 1607, 1599, 1732, 1719, 1699,
1705, 1652, 1716, 689, 1653, 1869, 1880, 5219, 1883, 1874,
4163, 4162, 4096, 4100, 1897, 0, 1900, 1913, 1938, 1914,
1963, 1970, 1973, 1981, 1997, 4066, 1905, 4035, 4034, 4033,
4031, 2024, 1933, 2005, 2012, 4030, 4027, 5219, 4036, 4027,
4036, 4035, 4021, 4022, 0, 4031, 4057, 5219, 1760, 4045,
4044, 1945, 4015, 1917, 5219, 4020, 4015, 2048, 4051, 2055,
1847, 0, 1754, 4050, 2040, 4018, 2064, 2070, 3923, 0,
3913, 2078, 2088, 5219, 2096, 3909, 3938, 1845, 3936, 3935,
2009, 1898, 1546, 1817, 2103, 1827, 2106, 3933, 1874, 1793,
3932, 2114, 0, 1989, 3928, 3888, 3890, 3891, 3886, 3878,
2121, 2110, 5219, 2125, 1832, 1902, 1939, 1804, 1852, 2134,
980, 1856, 2180, 1910, 1812, 2138, 0, 1937, 1946, 1280,
1974, 2235, 5219, 3920, 1874, 2014, 5219, 2053, 2040, 1936,
1972, 2287, 1982, 2061, 1668, 2019, 2048, 2079, 2098, 2066,
2097, 2113, 2104, 2343, 2109, 2151, 3914, 3913, 3890, 2238,
0, 1980, 3897, 2245, 3881, 2248, 2254, 2398, 2401, 2408,
2411, 2416, 3846, 3846, 3844, 3843, 3841, 2426, 2435, 2442,
3840, 3839, 3846, 3856, 3851, 2447, 3835, 3853, 3877, 2497,
3861, 3871, 3870, 3822, 3815, 3833, 2500, 3807, 3791, 3830,
2507, 2516, 3818, 3824, 3818, 3779, 5219, 3782, 2525, 0,
3810, 2532, 3798, 2143, 3804, 3803, 2000, 2405, 2144, 2152,
3802, 2541, 3756, 3754, 3760, 3764, 3750, 2535, 2055, 2557,
2222, 2139, 2142, 2238, 3763, 2147, 3740, 2140, 3758, 2232,
2223, 3785, 2240, 2405, 2144, 2245, 2549, 2395, 5219, 2602,
0, 3765, 3762, 2560, 2385, 2410, 2247, 2418, 2419, 2250,
2253, 2653, 2572, 5219, 3771, 3756, 3755, 3744, 3768, 2579,
2603, 3755, 3762, 3761, 2708, 3728, 3716, 3715, 3710, 3708,
2711, 3704, 3698, 3688, 3699, 2718, 3692, 3692, 2441, 3725,
3718, 2721, 3661, 3660, 3646, 2724, 3676, 3661, 2748, 3617,
5219, 2446, 3655, 3654, 2751, 470, 1999, 2503, 2722, 3607,
3614, 3594, 2762, 2485, 2766, 5219, 3635, 2129, 5219, 3615,
2494, 2145, 2420, 2499, 2545, 5219, 2548, 2556, 3610, 2525,
2551, 2249, 2564, 5219, 2817, 0, 2433, 2516, 2547, 2413,
2567, 5219, 2864, 0, 3609, 3608, 2776, 3215, 2786, 3256,
3255, 2789, 3213, 5219, 5219, 5219, 5219, 5219, 5219, 3209,
5219, 3208, 2506, 2758, 3207, 3206, 2801, 3204, 2594, 2813,
2736, 2741, 3204, 2829, 5219, 2820, 3245, 2571, 2562, 2581,
2590, 2578, 2695, 2594, 2914, 3194, 3243, 2256, 2723, 2736,
2921, 0, 3201, 2843, 3214, 3207, 3206, 3226, 2853, 2844,
3206, 3202, 3200, 2615, 2926, 2933, 2936, 2795, 2793, 2866,
0, 2957, 3196, 2739, 3189, 2788, 2982, 3038, 2696, 3171,
5219, 0, 2716, 2831, 2778, 3093, 3096, 3148, 3195, 3215,
3188, 3123, 3119, 5219, 2851, 3132, 3130, 3099, 3097, 3107,
0, 3129, 3101, 2924, 2838, 2874, 3104, 2804, 2916, 0,
2923, 3125, 3081, 2941, 2939, 2850, 2800, 5219, 2862, 5219,
2861, 2848, 2777, 2923, 2920, 3203, 2760, 3233, 0, 0,
2702, 2691, 2579, 2606, 2612, 2552, 2438, 2379, 5219, 2332,
2964, 2282, 2129, 2846, 2469, 2094, 3206, 1992, 1879, 1809,
1766, 3285, 2932, 2773, 2853, 1708, 5219, 0, 1679, 1661,
1602, 1590, 1566, 1364, 3108, 1330, 1199, 1212, 1174, 3209,
2945, 3110, 3112, 912, 923, 752, 5219, 744, 2949, 3341,
614, 0, 0, 2949, 485, 2954, 2886, 348, 3095, 5219,
308, 155, 5219, 3092, 5219, 3193, 0, 75, 0, 0,
5219, 3397, 3418, 3439, 3460, 3481, 3502, 3523, 3544, 3565,
3586, 3607, 3620, 3640, 3661, 3682, 3703, 3723, 3741, 3759,
3777, 3795, 3815, 3836, 3856, 3118, 3127, 3876, 3897, 3912,
3924, 3945, 3966, 3987, 4008, 4029, 3210, 4049, 4058, 4079,
4100, 4121, 4142, 4151, 4172, 4193, 4214, 4235, 4256, 4277,
4297, 4317, 4338, 4359, 4380, 4401, 3217, 4422, 4443, 4464,
4485, 4506, 4527, 4548, 4569, 4590, 4611, 4632, 4653, 4674,
4695, 4716, 4737, 4758, 3223, 4779, 4800, 4821, 4842, 4863,
4884, 4905, 4926, 4947, 4968, 4989, 5010, 5031, 5052, 5073,
5094, 5115, 5136, 5157, 3106, 5178
} ;
static yyconst flex_int16_t yy_def[1067] =
{ 0,
971, 971, 972, 972, 973, 973, 974, 974, 975, 975,
976, 976, 977, 977, 978, 978, 979, 979, 980, 980,
981, 981, 971, 23, 971, 25, 971, 971, 971, 29,
971, 971, 982, 971, 971, 983, 971, 983, 971, 971,
971, 984, 984, 984, 971, 45, 985, 971, 985, 986,
986, 971, 971, 971, 971, 987, 987, 971, 971, 971,
971, 971, 971, 971, 971, 971, 982, 971, 971, 971,
971, 971, 971, 971, 982, 971, 971, 971, 971, 988,
988, 989, 982, 989, 971, 971, 990, 971, 990, 971,
971, 971, 991, 991, 971, 971, 992, 88, 992, 971,
971, 971, 971, 971, 993, 994, 995, 993, 993, 971,
971, 110, 971, 971, 971, 971, 111, 971, 982, 971,
982, 982, 971, 971, 117, 971, 983, 971, 127, 971,
971, 971, 971, 971, 996, 997, 971, 971, 971, 997,
997, 997, 997, 997, 997, 997, 997, 997, 997, 997,
997, 997, 997, 997, 997, 997, 971, 971, 998, 127,
971, 971, 971, 971, 984, 984, 117, 117, 984, 45,
984, 45, 971, 45, 985, 985, 986, 986, 971, 971,
987, 987, 971, 971, 971, 971, 971, 999, 1000, 1001,
1001, 989, 89, 989, 89, 971, 971, 971, 971, 971,
971, 971, 971, 89, 991, 99, 99, 971, 971, 971,
99, 971, 1002, 971, 971, 971, 971, 971, 971, 971,
971, 971, 1003, 971, 971, 971, 995, 971, 1004, 971,
971, 110, 110, 971, 971, 971, 231, 971, 971, 982,
971, 1005, 982, 982, 982, 982, 982, 982, 982, 982,
982, 971, 1006, 971, 971, 971, 971, 971, 971, 971,
971, 971, 1007, 996, 1007, 997, 997, 997, 997, 997,
997, 997, 997, 997, 971, 997, 997, 997, 997, 997,
971, 997, 997, 997, 997, 997, 971, 997, 997, 997,
997, 997, 997, 997, 997, 997, 997, 997, 997, 997,
1008, 1008, 1009, 1009, 1010, 1011, 971, 1012, 971, 971,
1013, 971, 971, 984, 984, 984, 1008, 1008, 971, 319,
971, 971, 971, 971, 971, 971, 1000, 1014, 1001, 1001,
1014, 989, 971, 971, 1015, 1016, 971, 971, 971, 971,
991, 971, 1017, 971, 971, 1018, 971, 1002, 1002, 971,
971, 971, 971, 971, 971, 971, 971, 1019, 971, 231,
971, 1020, 1002, 1021, 1004, 971, 1021, 971, 971, 971,
1022, 1022, 971, 982, 971, 1023, 982, 1024, 1002, 1024,
982, 982, 982, 982, 982, 982, 982, 1025, 971, 971,
971, 1026, 971, 971, 971, 971, 971, 971, 971, 1027,
1027, 997, 997, 997, 997, 997, 997, 997, 997, 997,
997, 971, 1027, 997, 997, 997, 997, 997, 997, 997,
997, 971, 1027, 997, 997, 997, 997, 997, 997, 971,
1027, 997, 997, 997, 997, 997, 997, 997, 997, 997,
997, 997, 997, 997, 997, 1008, 1008, 971, 1008, 1009,
971, 971, 971, 971, 971, 1028, 1002, 984, 1013, 971,
971, 971, 1008, 1008, 1008, 319, 971, 971, 971, 971,
971, 1014, 971, 1022, 1022, 971, 971, 971, 971, 971,
971, 971, 971, 971, 1029, 971, 971, 971, 1002, 1030,
971, 1002, 971, 971, 971, 971, 971, 971, 971, 971,
971, 1031, 971, 971, 1002, 1032, 1021, 1021, 971, 1033,
971, 1022, 1022, 971, 1022, 971, 1034, 982, 982, 982,
1024, 1002, 1035, 982, 1024, 982, 982, 982, 982, 982,
971, 971, 1036, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 997, 997, 997, 997, 997, 997,
997, 997, 971, 997, 997, 971, 1037, 997, 997, 997,
997, 971, 971, 1038, 997, 997, 971, 997, 997, 997,
997, 971, 997, 997, 997, 997, 997, 997, 997, 997,
997, 997, 997, 971, 997, 1008, 971, 971, 971, 971,
1039, 971, 971, 1002, 1040, 984, 984, 971, 971, 971,
1008, 971, 971, 971, 971, 971, 971, 1022, 1022, 1022,
971, 971, 971, 971, 971, 584, 971, 971, 971, 971,
1041, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 1042, 971, 971, 971, 971, 971, 1022, 1043,
982, 971, 971, 1044, 982, 982, 982, 982, 982, 971,
971, 971, 971, 971, 971, 971, 971, 971, 997, 997,
997, 997, 997, 997, 553, 997, 1037, 997, 553, 997,
997, 1038, 997, 997, 997, 997, 997, 997, 971, 572,
680, 1045, 997, 680, 997, 997, 997, 997, 997, 997,
997, 971, 997, 971, 616, 1045, 997, 971, 971, 971,
971, 1046, 971, 971, 971, 971, 971, 971, 971, 971,
1022, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 1002, 971, 971, 971, 971, 971, 971, 1002, 971,
971, 971, 982, 982, 1002, 982, 982, 982, 971, 971,
971, 971, 971, 997, 971, 971, 1047, 997, 971, 997,
997, 997, 997, 997, 997, 971, 997, 997, 997, 997,
997, 997, 997, 971, 1048, 1049, 997, 997, 997, 997,
997, 971, 692, 773, 1045, 997, 773, 971, 971, 971,
971, 1002, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 1002, 1050, 971, 971, 1002, 971, 1002, 1051,
982, 982, 971, 971, 971, 971, 1047, 997, 997, 997,
997, 997, 997, 997, 1048, 1052, 971, 997, 997, 997,
997, 1053, 971, 1002, 971, 971, 971, 971, 1050, 971,
971, 971, 971, 982, 1051, 1050, 982, 982, 982, 971,
1054, 971, 971, 971, 971, 997, 971, 971, 997, 1052,
971, 680, 997, 997, 997, 971, 971, 971, 971, 971,
971, 971, 971, 971, 1050, 1055, 971, 1050, 971, 971,
1056, 982, 1051, 1050, 1057, 982, 1051, 982, 982, 1058,
971, 971, 971, 971, 971, 971, 997, 971, 1045, 971,
1045, 997, 997, 997, 997, 971, 1059, 1059, 1060, 773,
971, 971, 971, 1061, 971, 971, 971, 971, 971, 971,
1062, 982, 982, 982, 982, 971, 971, 971, 971, 971,
971, 971, 997, 997, 997, 1059, 971, 898, 1060, 971,
971, 971, 971, 971, 1050, 971, 971, 982, 982, 1050,
982, 982, 971, 971, 971, 971, 971, 1045, 997, 971,
971, 1063, 1064, 1050, 971, 1050, 982, 971, 997, 971,
1045, 971, 971, 997, 971, 997, 1065, 1065, 1066, 1066,
0, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971
} ;
static yyconst flex_uint16_t yy_nxt[5276] =
{ 0,
28, 29, 30, 29, 31, 28, 32, 33, 28, 28,
28, 28, 34, 28, 34, 35, 28, 28, 28, 28,
31, 28, 36, 28, 37, 28, 28, 38, 38, 38,
38, 38, 38, 38, 38, 38, 38, 38, 38, 38,
38, 38, 38, 38, 38, 38, 38, 38, 38, 38,
38, 39, 40, 41, 36, 38, 28, 29, 30, 29,
42, 28, 32, 33, 43, 43, 43, 28, 34, 43,
34, 44, 28, 43, 43, 43, 42, 28, 45, 28,
37, 28, 43, 46, 46, 46, 46, 46, 46, 46,
46, 46, 46, 46, 46, 46, 46, 46, 46, 46,
46, 46, 46, 46, 46, 46, 46, 39, 40, 41,
45, 46, 48, 48, 48, 48, 53, 54, 53, 54,
48, 48, 60, 60, 63, 63, 66, 969, 66, 537,
265, 67, 538, 67, 49, 49, 51, 51, 72, 55,
72, 55, 57, 57, 61, 61, 64, 64, 68, 72,
68, 72, 66, 285, 72, 265, 72, 75, 73, 369,
73, 66, 48, 48, 48, 48, 75, 353, 101, 298,
48, 48, 120, 120, 76, 69, 70, 69, 70, 102,
114, 115, 114, 76, 121, 116, 118, 116, 161, 161,
161, 179, 101, 101, 101, 122, 126, 101, 180, 265,
101, 77, 78, 117, 102, 117, 432, 965, 102, 384,
77, 78, 79, 80, 81, 80, 82, 79, 79, 83,
84, 84, 84, 79, 79, 85, 79, 86, 79, 84,
84, 84, 82, 79, 87, 79, 88, 79, 84, 89,
89, 89, 89, 89, 89, 89, 89, 89, 89, 89,
89, 89, 89, 89, 89, 89, 89, 89, 89, 89,
89, 89, 89, 90, 91, 92, 87, 89, 79, 80,
81, 80, 93, 79, 79, 83, 79, 94, 94, 79,
79, 79, 79, 95, 79, 94, 94, 94, 96, 79,
97, 79, 98, 79, 79, 99, 99, 99, 99, 99,
99, 99, 99, 99, 99, 99, 99, 99, 99, 99,
99, 99, 99, 99, 99, 99, 99, 99, 99, 90,
100, 92, 97, 99, 103, 104, 103, 105, 101, 400,
106, 107, 108, 108, 265, 101, 109, 101, 105, 102,
108, 108, 108, 105, 420, 110, 102, 111, 102, 108,
112, 112, 112, 112, 112, 112, 112, 112, 112, 112,
112, 112, 112, 112, 112, 112, 112, 112, 112, 112,
112, 112, 112, 112, 101, 173, 113, 110, 112, 123,
123, 123, 174, 127, 120, 102, 101, 128, 159, 208,
265, 101, 805, 124, 116, 160, 288, 102, 101, 128,
289, 101, 125, 971, 209, 265, 164, 164, 164, 102,
101, 116, 117, 210, 174, 127, 130, 131, 166, 132,
133, 102, 971, 387, 334, 284, 134, 160, 313, 167,
335, 135, 136, 137, 138, 139, 120, 140, 141, 142,
143, 144, 145, 146, 147, 148, 136, 136, 149, 136,
150, 151, 152, 153, 154, 155, 136, 156, 136, 146,
136, 157, 158, 162, 162, 162, 164, 164, 164, 116,
120, 971, 120, 384, 120, 101, 101, 131, 166, 164,
164, 164, 131, 265, 116, 121, 163, 117, 265, 168,
266, 166, 267, 169, 179, 265, 122, 279, 183, 179,
336, 184, 167, 185, 339, 268, 186, 269, 161, 161,
161, 120, 265, 385, 800, 113, 164, 164, 164, 165,
101, 157, 158, 165, 165, 165, 157, 158, 166, 353,
165, 286, 165, 165, 165, 165, 287, 170, 120, 168,
386, 171, 172, 172, 172, 172, 172, 172, 172, 172,
172, 172, 172, 172, 172, 172, 172, 172, 172, 172,
172, 172, 172, 172, 172, 172, 265, 120, 384, 170,
172, 103, 104, 103, 187, 116, 277, 188, 189, 265,
278, 116, 101, 101, 126, 187, 162, 162, 162, 971,
187, 265, 190, 117, 111, 116, 101, 265, 101, 116,
971, 294, 101, 971, 126, 549, 101, 102, 287, 163,
384, 262, 297, 117, 220, 221, 971, 117, 160, 212,
212, 212, 303, 113, 190, 114, 115, 114, 187, 120,
342, 188, 189, 213, 328, 265, 343, 101, 113, 187,
215, 329, 214, 216, 187, 295, 190, 217, 111, 296,
160, 218, 219, 962, 303, 220, 221, 222, 224, 224,
224, 103, 104, 103, 187, 385, 265, 223, 114, 115,
114, 187, 265, 329, 223, 187, 290, 113, 190, 192,
187, 225, 187, 192, 192, 192, 291, 187, 101, 224,
224, 224, 192, 192, 192, 192, 406, 193, 971, 102,
262, 194, 228, 228, 228, 114, 115, 114, 187, 971,
265, 223, 225, 240, 241, 240, 229, 584, 265, 187,
238, 238, 238, 187, 187, 230, 223, 242, 299, 193,
196, 354, 265, 971, 187, 370, 243, 971, 138, 187,
971, 300, 197, 239, 971, 198, 255, 255, 255, 199,
265, 971, 200, 292, 201, 971, 293, 256, 202, 256,
124, 203, 192, 315, 265, 400, 192, 192, 192, 257,
402, 101, 165, 159, 315, 192, 192, 192, 192, 315,
204, 331, 102, 309, 194, 252, 252, 252, 329, 971,
403, 253, 258, 971, 258, 265, 805, 258, 258, 124,
971, 265, 301, 302, 301, 165, 265, 316, 254, 265,
424, 971, 204, 205, 174, 407, 309, 259, 205, 205,
329, 261, 101, 303, 265, 415, 205, 205, 205, 409,
971, 206, 261, 102, 265, 128, 971, 261, 971, 127,
408, 971, 215, 128, 439, 216, 174, 971, 388, 217,
971, 165, 262, 218, 219, 303, 124, 220, 221, 222,
174, 971, 309, 206, 205, 389, 164, 164, 164, 205,
205, 127, 308, 101, 265, 159, 265, 205, 205, 205,
270, 265, 211, 271, 102, 265, 128, 272, 404, 309,
279, 273, 174, 280, 274, 971, 275, 276, 265, 281,
282, 427, 164, 164, 164, 265, 971, 971, 971, 283,
971, 971, 265, 160, 211, 224, 224, 224, 108, 971,
405, 265, 107, 108, 108, 309, 410, 108, 445, 108,
411, 108, 108, 108, 108, 371, 372, 371, 225, 418,
108, 224, 224, 224, 108, 160, 265, 419, 108, 108,
108, 265, 265, 108, 958, 231, 805, 108, 108, 108,
108, 559, 232, 433, 225, 426, 108, 233, 233, 233,
233, 233, 233, 233, 233, 233, 233, 233, 233, 233,
233, 233, 233, 233, 233, 233, 233, 233, 233, 233,
233, 398, 399, 398, 232, 233, 215, 265, 265, 216,
234, 265, 265, 217, 301, 302, 301, 218, 219, 441,
663, 235, 236, 222, 120, 215, 438, 440, 216, 310,
310, 310, 217, 351, 971, 351, 218, 219, 351, 351,
220, 307, 222, 311, 265, 265, 164, 164, 164, 352,
244, 971, 312, 245, 164, 164, 164, 246, 547, 971,
314, 247, 248, 443, 265, 249, 250, 251, 265, 309,
345, 345, 345, 446, 447, 446, 346, 309, 317, 318,
317, 165, 265, 265, 213, 165, 165, 165, 442, 425,
165, 434, 165, 214, 165, 165, 165, 165, 354, 319,
569, 309, 453, 165, 320, 320, 320, 320, 320, 320,
320, 320, 320, 320, 320, 320, 320, 320, 320, 320,
320, 320, 320, 320, 320, 320, 320, 320, 332, 341,
265, 319, 320, 190, 265, 265, 265, 971, 971, 261,
261, 348, 348, 348, 332, 261, 193, 206, 971, 971,
224, 224, 224, 552, 120, 349, 358, 421, 435, 265,
545, 361, 361, 361, 350, 190, 258, 362, 258, 265,
416, 258, 258, 225, 120, 213, 417, 428, 193, 206,
224, 224, 224, 108, 230, 520, 956, 108, 108, 108,
429, 259, 108, 265, 108, 530, 108, 108, 108, 108,
378, 379, 378, 225, 265, 108, 347, 363, 363, 363,
546, 347, 347, 347, 380, 444, 265, 347, 347, 265,
347, 365, 347, 381, 956, 265, 436, 347, 120, 347,
366, 347, 351, 437, 351, 359, 265, 351, 351, 548,
353, 374, 375, 374, 449, 302, 449, 376, 352, 550,
265, 265, 252, 252, 252, 242, 526, 347, 347, 347,
224, 224, 224, 108, 243, 553, 124, 108, 108, 108,
554, 553, 108, 159, 108, 254, 108, 108, 108, 108,
303, 110, 494, 225, 494, 108, 112, 112, 112, 112,
112, 112, 112, 112, 112, 112, 112, 112, 112, 112,
112, 112, 112, 112, 112, 112, 112, 112, 112, 112,
265, 265, 303, 110, 112, 238, 238, 238, 187, 265,
670, 223, 345, 345, 345, 265, 120, 485, 346, 187,
561, 555, 495, 971, 187, 213, 213, 382, 239, 382,
329, 551, 382, 382, 486, 214, 391, 391, 391, 393,
265, 393, 392, 383, 393, 393, 265, 256, 351, 256,
351, 313, 265, 351, 351, 394, 265, 416, 575, 257,
558, 955, 329, 492, 352, 492, 954, 395, 492, 492,
560, 396, 412, 412, 412, 412, 412, 412, 412, 412,
412, 412, 412, 412, 412, 412, 412, 412, 412, 412,
412, 412, 412, 413, 136, 412, 412, 412, 412, 136,
136, 414, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 412, 412, 412, 412, 412, 422, 422,
422, 422, 422, 422, 422, 422, 422, 422, 422, 422,
422, 422, 422, 422, 422, 422, 422, 422, 422, 423,
136, 422, 422, 422, 422, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 422,
422, 422, 422, 422, 430, 430, 430, 430, 430, 430,
430, 430, 430, 430, 430, 430, 430, 430, 430, 430,
430, 430, 430, 430, 430, 431, 136, 430, 430, 430,
430, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 430, 430, 430, 430, 430,
455, 455, 455, 494, 120, 494, 456, 265, 120, 265,
164, 164, 164, 568, 213, 971, 474, 475, 474, 646,
527, 120, 527, 312, 347, 457, 457, 457, 954, 347,
347, 347, 529, 309, 570, 347, 347, 190, 347, 459,
347, 461, 462, 461, 265, 347, 971, 347, 460, 347,
317, 318, 317, 495, 571, 971, 463, 464, 463, 465,
318, 465, 308, 265, 309, 308, 398, 399, 398, 190,
528, 971, 265, 309, 265, 347, 347, 347, 971, 309,
265, 953, 309, 164, 164, 164, 165, 553, 265, 971,
165, 165, 165, 952, 553, 165, 473, 165, 572, 165,
165, 165, 165, 329, 319, 577, 309, 576, 165, 466,
466, 466, 466, 466, 466, 466, 466, 466, 466, 466,
466, 466, 466, 466, 466, 466, 466, 466, 466, 466,
466, 466, 466, 265, 265, 329, 319, 466, 398, 399,
398, 582, 544, 971, 544, 489, 489, 489, 585, 265,
971, 490, 348, 348, 348, 687, 951, 491, 345, 345,
345, 971, 533, 543, 491, 120, 349, 256, 350, 256,
517, 492, 213, 492, 359, 350, 492, 492, 242, 534,
265, 214, 500, 500, 500, 105, 265, 518, 106, 107,
580, 897, 224, 224, 224, 543, 105, 265, 502, 581,
265, 105, 505, 505, 505, 501, 213, 583, 506, 224,
224, 224, 485, 265, 491, 503, 371, 372, 371, 927,
213, 507, 512, 513, 512, 366, 579, 621, 358, 486,
359, 578, 225, 491, 113, 347, 363, 363, 363, 225,
347, 347, 347, 352, 971, 225, 347, 347, 508, 347,
365, 347, 378, 379, 378, 120, 347, 946, 347, 366,
347, 515, 372, 515, 524, 120, 380, 358, 521, 522,
521, 489, 489, 489, 523, 381, 525, 490, 525, 120,
524, 525, 525, 491, 225, 265, 347, 347, 347, 120,
520, 381, 649, 265, 350, 374, 375, 374, 527, 120,
527, 391, 391, 391, 541, 542, 541, 120, 945, 242,
661, 666, 256, 265, 256, 556, 556, 556, 243, 265,
562, 563, 562, 553, 257, 543, 564, 573, 647, 574,
446, 447, 446, 265, 383, 265, 120, 265, 557, 234,
265, 586, 302, 586, 586, 447, 586, 664, 528, 262,
628, 629, 565, 662, 566, 265, 303, 543, 164, 164,
164, 594, 594, 594, 591, 621, 602, 595, 602, 648,
567, 491, 213, 491, 164, 164, 164, 673, 494, 971,
494, 592, 971, 265, 460, 944, 596, 492, 303, 492,
313, 265, 492, 492, 474, 475, 474, 309, 347, 457,
457, 457, 659, 347, 347, 347, 489, 489, 489, 347,
347, 597, 347, 459, 347, 665, 603, 265, 265, 347,
265, 347, 460, 347, 598, 599, 598, 265, 495, 350,
308, 600, 164, 600, 463, 464, 463, 308, 668, 660,
308, 677, 601, 318, 601, 543, 669, 309, 308, 347,
347, 347, 543, 265, 309, 265, 313, 309, 601, 464,
601, 120, 120, 265, 308, 309, 608, 609, 608, 352,
678, 643, 971, 610, 475, 610, 644, 543, 394, 971,
671, 309, 524, 685, 543, 500, 500, 500, 187, 971,
395, 188, 189, 119, 396, 265, 971, 805, 801, 187,
265, 632, 632, 632, 187, 736, 190, 633, 501, 500,
500, 500, 187, 491, 674, 223, 500, 500, 500, 187,
688, 265, 223, 187, 225, 224, 224, 224, 187, 265,
187, 224, 224, 224, 265, 187, 265, 113, 190, 512,
513, 512, 265, 507, 744, 358, 676, 265, 225, 639,
372, 639, 550, 675, 225, 358, 943, 639, 513, 639,
265, 686, 225, 358, 521, 522, 521, 527, 120, 527,
689, 658, 225, 658, 691, 252, 252, 252, 265, 265,
225, 253, 541, 542, 541, 265, 544, 381, 544, 124,
265, 940, 543, 690, 265, 123, 123, 123, 254, 556,
556, 556, 692, 543, 693, 120, 120, 543, 550, 124,
265, 553, 586, 447, 586, 265, 734, 528, 254, 388,
265, 265, 557, 265, 543, 265, 265, 124, 265, 751,
757, 738, 808, 752, 762, 543, 389, 553, 553, 543,
412, 412, 412, 412, 412, 412, 412, 412, 412, 412,
412, 412, 412, 412, 412, 412, 412, 412, 412, 412,
412, 413, 136, 412, 412, 412, 412, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 412, 412, 412, 412, 412, 562, 563, 562, 164,
164, 164, 564, 265, 265, 308, 701, 701, 701, 164,
164, 164, 702, 265, 971, 164, 164, 164, 491, 265,
971, 265, 309, 553, 750, 759, 265, 596, 265, 309,
265, 265, 309, 753, 265, 763, 814, 265, 309, 754,
771, 760, 573, 853, 940, 769, 567, 679, 680, 681,
680, 679, 679, 679, 679, 679, 679, 679, 679, 679,
679, 679, 679, 679, 679, 679, 679, 679, 682, 683,
679, 684, 679, 679, 683, 683, 683, 683, 683, 683,
683, 683, 683, 683, 683, 683, 683, 683, 683, 683,
683, 683, 683, 683, 683, 683, 683, 683, 679, 679,
679, 679, 679, 694, 694, 864, 694, 694, 694, 694,
694, 694, 694, 694, 695, 694, 694, 694, 694, 694,
694, 694, 694, 694, 696, 697, 694, 694, 694, 694,
697, 697, 697, 697, 697, 697, 697, 697, 697, 697,
697, 697, 697, 697, 697, 697, 697, 697, 697, 697,
697, 697, 697, 697, 694, 694, 694, 694, 694, 598,
599, 598, 705, 164, 705, 308, 265, 120, 308, 600,
164, 600, 601, 464, 601, 308, 265, 602, 308, 602,
543, 937, 309, 543, 767, 309, 265, 608, 609, 608,
543, 265, 309, 971, 265, 309, 711, 475, 711, 265,
265, 265, 971, 711, 609, 711, 765, 761, 485, 971,
971, 737, 543, 485, 265, 543, 213, 768, 553, 971,
553, 213, 543, 550, 770, 486, 971, 603, 694, 694,
486, 120, 818, 936, 694, 694, 694, 694, 694, 694,
694, 694, 694, 694, 694, 694, 694, 694, 694, 694,
694, 694, 694, 694, 694, 694, 694, 694, 345, 345,
345, 224, 224, 224, 346, 120, 265, 358, 361, 361,
361, 942, 213, 621, 362, 265, 553, 224, 224, 224,
265, 214, 213, 358, 225, 553, 639, 513, 639, 488,
971, 230, 358, 345, 345, 345, 658, 265, 658, 346,
225, 802, 391, 391, 391, 809, 265, 213, 392, 225,
764, 819, 764, 256, 935, 256, 214, 543, 745, 746,
745, 679, 971, 679, 747, 257, 265, 679, 265, 265,
265, 812, 265, 162, 162, 162, 810, 265, 265, 553,
455, 455, 455, 265, 679, 265, 456, 811, 265, 543,
748, 820, 265, 265, 213, 677, 778, 813, 821, 265,
764, 621, 265, 312, 164, 164, 164, 553, 749, 766,
308, 265, 846, 553, 935, 265, 488, 120, 971, 934,
847, 932, 553, 679, 679, 113, 849, 309, 872, 679,
679, 679, 679, 679, 679, 679, 679, 679, 679, 679,
679, 679, 679, 679, 679, 679, 679, 679, 679, 679,
679, 679, 679, 772, 773, 774, 773, 772, 772, 772,
772, 772, 772, 772, 772, 772, 772, 772, 772, 772,
772, 772, 772, 772, 775, 776, 772, 777, 772, 772,
776, 776, 776, 776, 776, 776, 776, 776, 776, 776,
776, 776, 776, 776, 776, 776, 776, 776, 776, 776,
776, 776, 776, 776, 772, 772, 772, 772, 772, 705,
164, 705, 711, 609, 711, 308, 265, 265, 971, 162,
162, 162, 489, 489, 489, 224, 224, 224, 490, 533,
543, 502, 309, 931, 256, 971, 256, 265, 120, 213,
848, 892, 778, 120, 265, 350, 534, 930, 503, 505,
505, 505, 489, 489, 489, 506, 893, 265, 490, 829,
829, 829, 543, 804, 804, 804, 854, 745, 746, 745,
855, 113, 366, 747, 805, 350, 805, 772, 971, 772,
838, 884, 830, 772, 885, 839, 806, 164, 164, 164,
594, 594, 594, 591, 265, 120, 595, 120, 265, 265,
772, 213, 632, 632, 632, 895, 120, 821, 633, 265,
592, 927, 949, 460, 835, 836, 835, 749, 816, 816,
816, 265, 816, 816, 816, 225, 878, 879, 816, 816,
840, 840, 840, 842, 887, 842, 841, 837, 842, 842,
120, 805, 922, 805, 701, 701, 701, 914, 120, 843,
702, 913, 265, 806, 865, 865, 865, 868, 904, 868,
866, 844, 868, 868, 867, 845, 867, 309, 816, 265,
816, 822, 894, 880, 265, 971, 120, 830, 805, 923,
805, 941, 400, 400, 950, 772, 772, 872, 120, 921,
881, 772, 772, 772, 772, 772, 772, 772, 772, 772,
772, 772, 772, 772, 772, 772, 772, 772, 772, 772,
772, 772, 772, 772, 772, 816, 816, 816, 120, 816,
816, 816, 856, 856, 856, 816, 816, 873, 874, 873,
384, 904, 857, 875, 865, 865, 865, 867, 120, 876,
866, 265, 265, 915, 265, 858, 867, 120, 971, 877,
837, 877, 843, 265, 877, 877, 904, 830, 840, 840,
840, 904, 925, 924, 844, 816, 120, 816, 845, 805,
265, 805, 859, 971, 920, 553, 957, 939, 971, 919,
959, 806, 888, 888, 888, 888, 888, 888, 888, 888,
888, 888, 888, 888, 888, 888, 888, 888, 888, 888,
888, 888, 888, 889, 136, 888, 888, 888, 888, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 888, 888, 888, 888, 888, 890, 890,
890, 890, 890, 890, 890, 890, 890, 890, 890, 890,
890, 890, 890, 890, 890, 890, 890, 890, 890, 891,
136, 890, 890, 890, 890, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 890,
890, 890, 890, 890, 856, 856, 856, 896, 896, 896,
865, 865, 865, 910, 857, 873, 874, 873, 911, 865,
865, 865, 120, 265, 876, 866, 265, 858, 968, 880,
858, 968, 918, 830, 805, 119, 805, 917, 837, 264,
264, 120, 830, 264, 908, 964, 881, 966, 136, 136,
907, 384, 136, 864, 859, 906, 903, 859, 897, 897,
902, 897, 897, 897, 897, 897, 897, 897, 897, 897,
897, 897, 897, 897, 897, 897, 897, 897, 897, 897,
898, 897, 897, 897, 897, 898, 898, 898, 898, 898,
898, 898, 898, 898, 898, 898, 898, 898, 898, 898,
898, 898, 898, 898, 898, 898, 898, 898, 898, 897,
897, 897, 897, 897, 896, 896, 896, 840, 840, 840,
865, 865, 865, 841, 265, 901, 866, 900, 805, 899,
805, 401, 401, 851, 886, 401, 883, 858, 401, 401,
806, 871, 401, 830, 401, 401, 870, 869, 401, 864,
863, 862, 861, 453, 967, 852, 851, 746, 256, 833,
832, 831, 827, 826, 859, 928, 825, 824, 824, 823,
928, 928, 928, 928, 928, 928, 928, 928, 928, 928,
928, 928, 928, 928, 928, 928, 928, 928, 928, 928,
928, 928, 928, 928, 927, 947, 947, 947, 947, 947,
947, 947, 947, 947, 947, 947, 947, 947, 947, 947,
947, 947, 947, 947, 947, 947, 948, 136, 947, 947,
947, 947, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 947, 947, 947, 947,
947, 960, 960, 960, 960, 960, 960, 960, 960, 960,
960, 960, 960, 960, 960, 960, 960, 960, 960, 960,
960, 960, 961, 136, 960, 960, 960, 960, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
136, 136, 960, 960, 960, 960, 960, 47, 47, 47,
47, 47, 47, 47, 47, 47, 47, 47, 47, 47,
47, 47, 47, 47, 47, 47, 47, 47, 50, 50,
50, 50, 50, 50, 50, 50, 50, 50, 50, 50,
50, 50, 50, 50, 50, 50, 50, 50, 50, 52,
52, 52, 52, 52, 52, 52, 52, 52, 52, 52,
52, 52, 52, 52, 52, 52, 52, 52, 52, 52,
56, 56, 56, 56, 56, 56, 56, 56, 56, 56,
56, 56, 56, 56, 56, 56, 56, 56, 56, 56,
56, 48, 48, 48, 48, 48, 48, 48, 48, 48,
48, 48, 48, 48, 48, 48, 48, 48, 48, 48,
48, 48, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 59, 59, 59, 59, 59, 59, 59,
59, 59, 59, 62, 62, 62, 62, 62, 62, 62,
62, 62, 62, 62, 62, 62, 62, 62, 62, 62,
62, 62, 62, 62, 65, 65, 65, 65, 65, 65,
65, 65, 65, 65, 65, 65, 65, 65, 65, 65,
65, 65, 65, 65, 65, 71, 71, 71, 71, 71,
71, 71, 71, 71, 71, 71, 71, 71, 71, 71,
71, 71, 71, 71, 71, 71, 74, 74, 74, 74,
74, 74, 74, 74, 74, 74, 74, 74, 74, 74,
74, 74, 74, 74, 74, 74, 74, 119, 119, 119,
119, 119, 119, 119, 119, 119, 119, 119, 119, 119,
119, 119, 119, 119, 119, 119, 119, 119, 129, 265,
400, 265, 129, 129, 129, 129, 265, 746, 256, 129,
129, 165, 165, 165, 165, 803, 165, 165, 165, 165,
165, 256, 165, 165, 165, 165, 799, 799, 798, 165,
165, 175, 175, 797, 175, 175, 175, 175, 175, 175,
175, 175, 175, 175, 175, 175, 175, 175, 797, 175,
175, 175, 177, 177, 796, 177, 177, 177, 177, 177,
177, 177, 177, 177, 177, 177, 177, 177, 177, 795,
177, 177, 177, 181, 181, 794, 181, 181, 181, 181,
181, 181, 181, 181, 181, 181, 181, 181, 181, 181,
793, 181, 181, 181, 191, 191, 191, 793, 191, 191,
792, 191, 191, 191, 791, 191, 191, 790, 191, 765,
789, 191, 191, 191, 192, 192, 788, 192, 192, 192,
787, 192, 786, 192, 192, 192, 192, 785, 784, 783,
192, 192, 195, 782, 782, 195, 195, 195, 781, 195,
779, 195, 195, 195, 195, 113, 265, 400, 195, 195,
205, 205, 694, 265, 205, 205, 400, 563, 758, 205,
205, 756, 205, 755, 743, 742, 205, 205, 207, 741,
740, 256, 207, 207, 739, 735, 735, 207, 207, 207,
207, 488, 732, 113, 207, 207, 108, 108, 108, 730,
729, 108, 108, 108, 108, 108, 729, 108, 108, 108,
108, 728, 726, 370, 108, 108, 226, 226, 369, 226,
226, 226, 226, 226, 226, 226, 226, 226, 226, 226,
226, 226, 226, 226, 226, 226, 226, 227, 227, 227,
725, 724, 227, 227, 227, 227, 227, 723, 227, 227,
227, 227, 722, 722, 721, 227, 227, 304, 304, 719,
718, 717, 716, 715, 714, 713, 712, 710, 304, 709,
708, 304, 707, 706, 704, 304, 304, 326, 326, 700,
326, 326, 326, 326, 326, 326, 326, 326, 326, 326,
326, 326, 326, 326, 326, 326, 326, 326, 327, 698,
306, 305, 563, 657, 327, 656, 655, 327, 654, 653,
652, 327, 327, 330, 650, 120, 330, 120, 642, 330,
120, 640, 638, 330, 330, 347, 347, 347, 347, 347,
347, 347, 347, 347, 347, 347, 347, 347, 347, 347,
347, 347, 347, 347, 347, 347, 357, 357, 636, 357,
357, 357, 357, 357, 357, 357, 357, 357, 357, 357,
357, 357, 357, 357, 357, 357, 357, 364, 364, 364,
364, 364, 364, 364, 364, 364, 364, 364, 364, 364,
364, 364, 364, 364, 364, 364, 364, 364, 377, 377,
377, 377, 377, 377, 377, 377, 377, 377, 377, 377,
377, 377, 377, 377, 377, 377, 377, 377, 377, 390,
390, 635, 390, 390, 390, 390, 390, 390, 390, 390,
390, 390, 390, 390, 390, 390, 390, 390, 390, 390,
448, 448, 631, 627, 626, 625, 624, 488, 623, 620,
352, 618, 617, 616, 448, 615, 614, 613, 612, 448,
450, 611, 607, 450, 606, 605, 604, 450, 450, 451,
451, 316, 451, 451, 451, 451, 451, 451, 451, 451,
451, 451, 451, 451, 451, 451, 451, 451, 451, 451,
452, 452, 590, 452, 452, 452, 452, 452, 452, 452,
452, 452, 452, 452, 452, 452, 452, 452, 452, 452,
452, 454, 454, 589, 454, 454, 454, 454, 454, 454,
454, 454, 454, 454, 454, 454, 454, 454, 454, 454,
454, 454, 458, 458, 458, 458, 458, 458, 458, 458,
458, 458, 458, 458, 458, 458, 458, 458, 458, 458,
458, 458, 458, 191, 588, 587, 191, 400, 400, 400,
191, 191, 478, 478, 478, 478, 478, 478, 478, 478,
478, 478, 478, 478, 400, 478, 478, 400, 478, 478,
478, 478, 478, 430, 430, 430, 430, 430, 430, 430,
430, 430, 430, 430, 430, 540, 430, 430, 539, 430,
430, 430, 430, 430, 422, 422, 422, 422, 422, 422,
422, 422, 422, 422, 422, 422, 536, 422, 422, 532,
422, 422, 422, 422, 422, 487, 487, 259, 487, 487,
487, 487, 487, 487, 487, 487, 487, 487, 487, 487,
487, 487, 487, 487, 487, 487, 499, 499, 120, 499,
499, 499, 499, 499, 499, 499, 499, 499, 499, 499,
499, 499, 499, 499, 499, 499, 499, 504, 504, 516,
504, 504, 504, 504, 504, 504, 504, 504, 504, 504,
504, 504, 504, 504, 504, 504, 504, 504, 108, 108,
108, 511, 510, 108, 108, 108, 108, 108, 509, 108,
108, 108, 108, 498, 497, 496, 108, 108, 514, 514,
493, 488, 514, 484, 483, 482, 481, 480, 479, 477,
514, 476, 514, 971, 472, 471, 470, 514, 519, 519,
519, 519, 519, 519, 519, 519, 519, 519, 519, 519,
519, 519, 519, 519, 519, 519, 519, 519, 519, 377,
377, 377, 377, 377, 377, 377, 377, 377, 377, 377,
377, 377, 377, 377, 377, 377, 377, 377, 377, 377,
531, 531, 469, 531, 531, 531, 531, 531, 531, 531,
531, 531, 531, 531, 531, 531, 531, 531, 531, 531,
531, 535, 535, 468, 535, 535, 535, 535, 535, 535,
535, 535, 535, 535, 535, 535, 535, 535, 535, 535,
535, 535, 593, 593, 467, 593, 593, 593, 593, 593,
593, 593, 593, 593, 593, 593, 593, 593, 593, 593,
593, 593, 593, 619, 619, 173, 619, 619, 619, 619,
619, 619, 619, 619, 619, 619, 619, 619, 619, 619,
619, 619, 619, 619, 622, 622, 313, 622, 622, 622,
622, 622, 622, 622, 622, 622, 622, 622, 622, 622,
622, 622, 622, 622, 622, 630, 630, 400, 630, 630,
630, 630, 630, 630, 630, 630, 630, 630, 630, 630,
630, 630, 630, 630, 630, 630, 634, 634, 263, 634,
634, 634, 634, 634, 634, 634, 634, 634, 634, 634,
634, 634, 634, 634, 634, 634, 634, 637, 637, 637,
637, 637, 637, 637, 637, 637, 637, 637, 637, 400,
637, 637, 397, 637, 637, 637, 637, 637, 641, 641,
641, 641, 641, 641, 641, 641, 641, 641, 641, 641,
641, 641, 641, 641, 641, 641, 641, 641, 641, 645,
645, 645, 645, 645, 645, 645, 645, 645, 645, 645,
645, 645, 645, 645, 645, 645, 645, 645, 645, 645,
651, 651, 373, 651, 651, 651, 651, 651, 651, 651,
651, 651, 651, 651, 651, 651, 651, 651, 651, 651,
651, 667, 667, 368, 667, 667, 667, 667, 667, 667,
667, 667, 667, 667, 667, 667, 667, 367, 667, 667,
667, 667, 672, 672, 672, 672, 672, 672, 672, 672,
672, 672, 672, 672, 672, 672, 672, 672, 672, 672,
672, 672, 672, 699, 699, 108, 699, 699, 699, 699,
699, 699, 699, 699, 699, 699, 699, 699, 699, 699,
699, 699, 699, 699, 703, 703, 360, 703, 703, 703,
703, 703, 703, 703, 703, 703, 703, 703, 703, 703,
703, 703, 703, 703, 703, 720, 720, 359, 720, 720,
720, 720, 720, 720, 720, 720, 720, 720, 720, 720,
720, 720, 720, 720, 720, 720, 727, 727, 353, 727,
727, 727, 727, 727, 727, 727, 727, 727, 727, 727,
727, 727, 727, 727, 727, 727, 727, 731, 731, 731,
731, 731, 731, 731, 731, 731, 731, 731, 731, 354,
731, 731, 353, 731, 731, 731, 731, 731, 733, 733,
733, 733, 733, 733, 733, 733, 733, 733, 733, 733,
733, 733, 733, 733, 733, 733, 733, 733, 733, 780,
780, 356, 780, 780, 780, 780, 780, 780, 780, 780,
780, 780, 780, 780, 780, 780, 780, 780, 780, 780,
807, 807, 807, 807, 807, 807, 807, 807, 807, 807,
807, 807, 807, 807, 807, 807, 807, 807, 807, 807,
807, 815, 815, 815, 815, 815, 815, 815, 815, 815,
815, 815, 815, 815, 815, 815, 815, 815, 355, 815,
815, 815, 817, 817, 354, 817, 817, 817, 817, 817,
817, 817, 817, 817, 817, 817, 817, 817, 817, 817,
817, 817, 817, 828, 828, 828, 828, 828, 828, 828,
828, 828, 828, 828, 828, 828, 828, 828, 828, 828,
828, 828, 828, 828, 834, 834, 834, 834, 834, 834,
834, 834, 834, 834, 834, 834, 834, 834, 834, 834,
834, 834, 834, 834, 834, 850, 850, 850, 850, 850,
353, 850, 850, 850, 850, 850, 850, 850, 850, 850,
850, 850, 850, 850, 850, 850, 860, 860, 353, 860,
860, 860, 860, 860, 860, 860, 860, 860, 860, 860,
860, 860, 860, 860, 860, 860, 860, 882, 882, 344,
882, 882, 882, 882, 882, 882, 882, 882, 882, 882,
882, 882, 882, 882, 882, 882, 882, 882, 905, 905,
340, 905, 905, 905, 905, 905, 905, 905, 905, 905,
905, 905, 905, 905, 905, 905, 905, 905, 905, 909,
909, 909, 909, 909, 909, 909, 909, 909, 909, 909,
909, 338, 909, 909, 337, 909, 909, 909, 909, 909,
912, 912, 912, 912, 912, 912, 912, 912, 912, 912,
912, 912, 912, 912, 912, 912, 912, 912, 912, 912,
912, 916, 916, 336, 916, 916, 916, 916, 916, 916,
916, 916, 916, 916, 916, 916, 916, 916, 916, 916,
916, 916, 926, 926, 926, 926, 926, 926, 926, 926,
926, 926, 926, 926, 926, 926, 926, 926, 926, 926,
926, 926, 926, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
333, 929, 929, 929, 933, 933, 189, 933, 933, 933,
933, 933, 933, 933, 933, 933, 933, 933, 933, 933,
933, 933, 933, 933, 933, 938, 938, 938, 938, 938,
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
938, 938, 938, 938, 938, 938, 963, 963, 963, 963,
963, 963, 963, 963, 963, 963, 963, 963, 325, 963,
963, 324, 963, 963, 963, 963, 963, 960, 960, 960,
960, 960, 960, 960, 960, 960, 960, 960, 960, 323,
960, 960, 322, 960, 960, 960, 960, 960, 970, 970,
321, 970, 970, 970, 970, 970, 970, 970, 970, 970,
970, 970, 970, 970, 313, 970, 970, 970, 970, 306,
305, 265, 263, 260, 120, 237, 120, 179, 120, 179,
179, 179, 182, 178, 176, 971, 58, 58, 27, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971
} ;
static yyconst flex_int16_t yy_chk[5276] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 3, 4, 5, 6, 7, 7, 8, 8,
9, 10, 13, 14, 15, 16, 17, 968, 18, 395,
147, 17, 395, 18, 3, 4, 5, 6, 19, 7,
20, 8, 9, 10, 13, 14, 15, 16, 17, 19,
18, 20, 21, 147, 19, 155, 20, 21, 19, 235,
20, 22, 3, 4, 5, 6, 22, 235, 28, 155,
9, 10, 245, 33, 21, 17, 17, 18, 18, 28,
30, 30, 30, 22, 33, 31, 32, 35, 39, 39,
39, 55, 31, 32, 35, 33, 35, 40, 55, 288,
39, 21, 21, 31, 32, 35, 288, 962, 40, 245,
22, 22, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
23, 23, 23, 23, 23, 23, 23, 23, 25, 25,
25, 25, 25, 25, 25, 25, 25, 25, 25, 25,
25, 25, 25, 25, 25, 25, 25, 25, 25, 25,
25, 25, 25, 25, 25, 25, 25, 25, 25, 25,
25, 25, 25, 25, 25, 25, 25, 25, 25, 25,
25, 25, 25, 25, 25, 25, 25, 25, 25, 25,
25, 25, 25, 25, 29, 29, 29, 29, 79, 961,
29, 29, 29, 29, 279, 85, 29, 91, 29, 79,
29, 29, 29, 29, 279, 29, 85, 29, 91, 29,
29, 29, 29, 29, 29, 29, 29, 29, 29, 29,
29, 29, 29, 29, 29, 29, 29, 29, 29, 29,
29, 29, 29, 29, 36, 46, 29, 29, 29, 34,
34, 34, 46, 36, 248, 36, 38, 36, 38, 98,
149, 34, 958, 34, 82, 38, 149, 38, 100, 38,
149, 82, 34, 84, 98, 145, 42, 42, 42, 100,
84, 42, 82, 98, 46, 36, 37, 37, 42, 37,
37, 84, 168, 248, 198, 145, 37, 38, 168, 42,
198, 37, 37, 37, 37, 37, 249, 37, 37, 37,
37, 37, 37, 37, 37, 37, 37, 37, 37, 37,
37, 37, 37, 37, 37, 37, 37, 37, 37, 37,
37, 37, 37, 41, 41, 41, 43, 43, 43, 93,
246, 43, 736, 249, 83, 41, 93, 68, 43, 44,
44, 44, 76, 140, 44, 83, 41, 93, 146, 43,
140, 44, 140, 44, 68, 141, 83, 146, 68, 76,
202, 68, 44, 76, 202, 141, 76, 141, 90, 90,
90, 247, 148, 246, 736, 41, 45, 45, 45, 45,
90, 68, 68, 45, 45, 45, 76, 76, 45, 955,
45, 148, 45, 45, 45, 45, 148, 45, 244, 45,
247, 45, 45, 45, 45, 45, 45, 45, 45, 45,
45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
45, 45, 45, 45, 45, 45, 143, 251, 244, 45,
45, 80, 80, 80, 80, 86, 143, 80, 80, 152,
143, 117, 86, 80, 86, 80, 92, 92, 92, 94,
80, 154, 80, 86, 80, 95, 94, 406, 92, 96,
129, 152, 95, 117, 95, 406, 96, 94, 154, 92,
251, 129, 154, 95, 117, 117, 129, 96, 129, 101,
101, 101, 303, 80, 80, 81, 81, 81, 81, 250,
209, 81, 81, 101, 190, 153, 209, 81, 92, 81,
102, 190, 101, 102, 81, 153, 81, 102, 81, 153,
129, 102, 102, 951, 303, 102, 102, 102, 105, 105,
105, 103, 103, 103, 103, 250, 150, 103, 104, 104,
104, 104, 270, 190, 104, 103, 150, 81, 81, 87,
103, 105, 104, 87, 87, 87, 150, 104, 87, 108,
108, 108, 87, 87, 87, 87, 270, 87, 195, 87,
195, 87, 109, 109, 109, 114, 114, 114, 114, 195,
444, 114, 108, 121, 121, 121, 109, 444, 156, 114,
115, 115, 115, 115, 114, 109, 115, 121, 156, 87,
88, 236, 151, 192, 115, 236, 121, 194, 88, 115,
192, 156, 88, 115, 194, 88, 124, 124, 124, 88,
266, 192, 88, 151, 88, 194, 151, 124, 88, 124,
124, 88, 89, 170, 267, 948, 89, 89, 89, 124,
266, 89, 170, 89, 170, 89, 89, 89, 89, 170,
89, 191, 89, 170, 89, 123, 123, 123, 191, 125,
267, 123, 125, 205, 125, 271, 946, 125, 125, 123,
205, 282, 159, 159, 159, 172, 276, 172, 123, 273,
282, 205, 89, 97, 172, 271, 172, 125, 97, 97,
191, 127, 97, 159, 294, 276, 97, 97, 97, 273,
127, 97, 127, 97, 272, 97, 204, 127, 204, 127,
272, 127, 138, 127, 294, 138, 172, 204, 252, 138,
207, 174, 207, 138, 138, 159, 252, 138, 138, 138,
174, 207, 174, 97, 99, 252, 164, 164, 164, 99,
99, 127, 164, 99, 142, 99, 268, 99, 99, 99,
142, 144, 99, 142, 99, 285, 99, 142, 268, 164,
144, 142, 174, 144, 142, 160, 142, 142, 269, 144,
144, 285, 165, 165, 165, 274, 160, 165, 211, 144,
211, 160, 300, 160, 99, 107, 107, 107, 107, 211,
269, 278, 107, 107, 107, 165, 274, 107, 300, 107,
274, 107, 107, 107, 107, 237, 237, 237, 107, 278,
107, 110, 110, 110, 110, 160, 284, 278, 110, 110,
110, 418, 289, 110, 945, 110, 944, 110, 110, 110,
110, 418, 110, 289, 110, 284, 110, 110, 110, 110,
110, 110, 110, 110, 110, 110, 110, 110, 110, 110,
110, 110, 110, 110, 110, 110, 110, 110, 110, 110,
110, 261, 261, 261, 110, 110, 111, 296, 295, 111,
111, 551, 293, 111, 262, 262, 262, 111, 111, 296,
551, 111, 111, 111, 122, 163, 293, 295, 163, 166,
166, 166, 163, 214, 166, 214, 163, 163, 214, 214,
163, 163, 163, 166, 404, 298, 169, 169, 169, 214,
122, 169, 166, 122, 171, 171, 171, 122, 404, 171,
169, 122, 122, 298, 290, 122, 122, 122, 283, 169,
212, 212, 212, 301, 301, 301, 212, 171, 173, 173,
173, 173, 297, 428, 212, 173, 173, 173, 297, 283,
173, 290, 173, 212, 173, 173, 173, 173, 307, 173,
428, 173, 307, 173, 173, 173, 173, 173, 173, 173,
173, 173, 173, 173, 173, 173, 173, 173, 173, 173,
173, 173, 173, 173, 173, 173, 173, 173, 193, 206,
409, 173, 173, 328, 402, 280, 291, 193, 206, 193,
206, 213, 213, 213, 193, 206, 193, 206, 193, 206,
224, 224, 224, 409, 387, 213, 224, 280, 291, 277,
402, 228, 228, 228, 213, 328, 254, 228, 254, 286,
277, 254, 254, 224, 377, 228, 277, 286, 193, 206,
227, 227, 227, 227, 228, 377, 939, 227, 227, 227,
286, 254, 227, 299, 227, 387, 227, 227, 227, 227,
242, 242, 242, 227, 403, 227, 229, 229, 229, 229,
403, 229, 229, 229, 242, 299, 292, 229, 229, 405,
229, 229, 229, 242, 938, 407, 292, 229, 383, 229,
229, 229, 230, 292, 230, 230, 410, 230, 230, 405,
937, 240, 240, 240, 302, 302, 302, 240, 230, 407,
427, 411, 258, 258, 258, 240, 383, 229, 229, 229,
231, 231, 231, 231, 240, 410, 258, 231, 231, 231,
411, 427, 231, 304, 231, 258, 231, 231, 231, 231,
304, 231, 353, 231, 353, 231, 231, 231, 231, 231,
231, 231, 231, 231, 231, 231, 231, 231, 231, 231,
231, 231, 231, 231, 231, 231, 231, 231, 231, 231,
421, 560, 304, 231, 231, 238, 238, 238, 238, 408,
560, 238, 241, 241, 241, 415, 243, 345, 241, 238,
421, 415, 353, 329, 238, 345, 241, 243, 238, 243,
329, 408, 243, 243, 345, 241, 255, 255, 255, 257,
435, 257, 255, 243, 257, 257, 420, 255, 312, 255,
312, 312, 417, 312, 312, 257, 419, 420, 435, 255,
417, 936, 329, 350, 312, 350, 934, 257, 350, 350,
419, 257, 275, 275, 275, 275, 275, 275, 275, 275,
275, 275, 275, 275, 275, 275, 275, 275, 275, 275,
275, 275, 275, 275, 275, 275, 275, 275, 275, 275,
275, 275, 275, 275, 275, 275, 275, 275, 275, 275,
275, 275, 275, 275, 275, 275, 275, 275, 275, 275,
275, 275, 275, 275, 275, 275, 275, 275, 281, 281,
281, 281, 281, 281, 281, 281, 281, 281, 281, 281,
281, 281, 281, 281, 281, 281, 281, 281, 281, 281,
281, 281, 281, 281, 281, 281, 281, 281, 281, 281,
281, 281, 281, 281, 281, 281, 281, 281, 281, 281,
281, 281, 281, 281, 281, 281, 281, 281, 281, 281,
281, 281, 281, 281, 287, 287, 287, 287, 287, 287,
287, 287, 287, 287, 287, 287, 287, 287, 287, 287,
287, 287, 287, 287, 287, 287, 287, 287, 287, 287,
287, 287, 287, 287, 287, 287, 287, 287, 287, 287,
287, 287, 287, 287, 287, 287, 287, 287, 287, 287,
287, 287, 287, 287, 287, 287, 287, 287, 287, 287,
310, 310, 310, 354, 386, 354, 310, 425, 523, 429,
314, 314, 314, 425, 310, 314, 331, 331, 331, 523,
384, 384, 384, 310, 311, 311, 311, 311, 933, 311,
311, 311, 386, 314, 429, 311, 311, 331, 311, 311,
311, 315, 315, 315, 432, 311, 315, 311, 311, 311,
316, 316, 316, 354, 432, 316, 317, 317, 317, 318,
318, 318, 317, 426, 315, 318, 332, 332, 332, 331,
384, 332, 414, 316, 433, 311, 311, 311, 332, 317,
437, 932, 318, 319, 319, 319, 319, 426, 436, 332,
319, 319, 319, 931, 414, 319, 330, 319, 433, 319,
319, 319, 319, 330, 319, 437, 319, 436, 319, 319,
319, 319, 319, 319, 319, 319, 319, 319, 319, 319,
319, 319, 319, 319, 319, 319, 319, 319, 319, 319,
319, 319, 319, 442, 445, 330, 319, 319, 341, 341,
341, 442, 399, 341, 399, 348, 348, 348, 445, 575,
341, 348, 349, 349, 349, 575, 930, 348, 351, 351,
351, 341, 391, 399, 349, 374, 349, 391, 348, 391,
374, 366, 351, 366, 366, 349, 366, 366, 374, 391,
440, 351, 360, 360, 360, 360, 441, 374, 360, 360,
440, 929, 361, 361, 361, 399, 360, 443, 361, 441,
439, 360, 363, 363, 363, 360, 361, 443, 363, 364,
364, 364, 375, 438, 363, 361, 367, 367, 367, 926,
375, 364, 371, 371, 371, 363, 439, 489, 371, 375,
503, 438, 364, 489, 360, 365, 365, 365, 365, 367,
365, 365, 365, 503, 489, 371, 365, 365, 365, 365,
365, 365, 380, 380, 380, 530, 365, 921, 365, 365,
365, 372, 372, 372, 380, 381, 380, 372, 378, 378,
378, 379, 379, 379, 378, 380, 381, 379, 381, 524,
378, 381, 381, 379, 372, 548, 365, 365, 365, 526,
524, 378, 530, 555, 379, 382, 382, 382, 385, 385,
385, 393, 393, 393, 398, 398, 398, 518, 920, 382,
548, 555, 393, 545, 393, 416, 416, 416, 382, 434,
424, 424, 424, 545, 393, 398, 424, 434, 526, 434,
446, 446, 446, 549, 518, 416, 529, 552, 416, 501,
424, 447, 447, 447, 449, 449, 449, 552, 385, 450,
501, 501, 424, 549, 424, 565, 450, 398, 455, 455,
455, 457, 457, 457, 455, 522, 467, 457, 467, 529,
424, 522, 455, 457, 458, 458, 458, 565, 494, 458,
494, 455, 522, 546, 457, 919, 458, 460, 450, 460,
460, 554, 460, 460, 473, 473, 473, 458, 459, 459,
459, 459, 546, 459, 459, 459, 492, 492, 492, 459,
459, 459, 459, 459, 459, 554, 467, 570, 558, 459,
547, 459, 459, 459, 461, 461, 461, 559, 494, 492,
461, 462, 462, 462, 463, 463, 463, 462, 558, 547,
463, 570, 464, 464, 464, 461, 559, 461, 464, 459,
459, 459, 462, 571, 462, 561, 592, 463, 465, 465,
465, 737, 647, 573, 465, 464, 474, 474, 474, 592,
571, 521, 474, 475, 475, 475, 521, 461, 534, 475,
561, 465, 521, 573, 462, 472, 472, 472, 472, 474,
534, 472, 472, 521, 534, 566, 475, 918, 737, 472,
576, 505, 505, 505, 472, 647, 472, 505, 472, 498,
498, 498, 498, 505, 566, 498, 500, 500, 500, 500,
576, 569, 500, 498, 505, 507, 507, 507, 498, 577,
500, 508, 508, 508, 568, 500, 659, 472, 472, 512,
512, 512, 574, 508, 659, 512, 569, 580, 507, 513,
513, 513, 577, 568, 508, 513, 916, 515, 515, 515,
578, 574, 512, 515, 525, 525, 525, 527, 527, 527,
578, 542, 513, 542, 580, 532, 532, 532, 581, 579,
515, 532, 541, 541, 541, 583, 544, 525, 544, 532,
585, 913, 542, 579, 582, 550, 550, 550, 532, 556,
556, 556, 581, 541, 582, 644, 649, 544, 583, 550,
748, 585, 586, 586, 586, 550, 644, 527, 550, 650,
662, 668, 556, 663, 542, 675, 752, 650, 666, 662,
668, 649, 748, 663, 675, 541, 650, 752, 666, 544,
553, 553, 553, 553, 553, 553, 553, 553, 553, 553,
553, 553, 553, 553, 553, 553, 553, 553, 553, 553,
553, 553, 553, 553, 553, 553, 553, 553, 553, 553,
553, 553, 553, 553, 553, 553, 553, 553, 553, 553,
553, 553, 553, 553, 553, 553, 553, 553, 553, 553,
553, 553, 553, 553, 553, 553, 562, 562, 562, 590,
590, 590, 562, 661, 671, 590, 594, 594, 594, 596,
596, 596, 594, 670, 596, 597, 597, 597, 594, 664,
597, 673, 590, 670, 661, 671, 676, 597, 687, 594,
762, 690, 596, 664, 691, 676, 762, 818, 597, 664,
690, 673, 691, 818, 912, 687, 562, 572, 572, 572,
572, 572, 572, 572, 572, 572, 572, 572, 572, 572,
572, 572, 572, 572, 572, 572, 572, 572, 572, 572,
572, 572, 572, 572, 572, 572, 572, 572, 572, 572,
572, 572, 572, 572, 572, 572, 572, 572, 572, 572,
572, 572, 572, 572, 572, 572, 572, 572, 572, 572,
572, 572, 572, 584, 584, 910, 584, 584, 584, 584,
584, 584, 584, 584, 584, 584, 584, 584, 584, 584,
584, 584, 584, 584, 584, 584, 584, 584, 584, 584,
584, 584, 584, 584, 584, 584, 584, 584, 584, 584,
584, 584, 584, 584, 584, 584, 584, 584, 584, 584,
584, 584, 584, 584, 584, 584, 584, 584, 584, 598,
598, 598, 599, 599, 599, 598, 685, 648, 599, 600,
600, 600, 601, 601, 601, 600, 678, 602, 601, 602,
598, 908, 598, 599, 685, 599, 674, 608, 608, 608,
600, 686, 600, 608, 770, 601, 609, 609, 609, 688,
689, 753, 609, 610, 610, 610, 678, 674, 719, 610,
608, 648, 598, 732, 767, 599, 719, 686, 770, 609,
753, 732, 600, 689, 688, 719, 610, 602, 616, 616,
732, 915, 767, 907, 616, 616, 616, 616, 616, 616,
616, 616, 616, 616, 616, 616, 616, 616, 616, 616,
616, 616, 616, 616, 616, 616, 616, 616, 620, 620,
620, 627, 627, 627, 620, 738, 744, 627, 631, 631,
631, 915, 620, 793, 631, 751, 744, 632, 632, 632,
754, 620, 631, 632, 627, 751, 639, 639, 639, 632,
793, 631, 639, 642, 642, 642, 658, 768, 658, 642,
632, 738, 652, 652, 652, 754, 760, 642, 652, 639,
677, 768, 677, 652, 906, 652, 642, 658, 660, 660,
660, 684, 684, 684, 660, 652, 755, 684, 769, 757,
677, 760, 761, 693, 693, 693, 755, 758, 660, 757,
700, 700, 700, 809, 684, 763, 700, 758, 771, 658,
660, 769, 808, 693, 700, 763, 693, 761, 771, 812,
677, 799, 810, 700, 701, 701, 701, 809, 660, 680,
701, 811, 808, 810, 905, 814, 701, 834, 799, 904,
812, 903, 811, 680, 680, 693, 814, 701, 834, 680,
680, 680, 680, 680, 680, 680, 680, 680, 680, 680,
680, 680, 680, 680, 680, 680, 680, 680, 680, 680,
680, 680, 680, 692, 692, 692, 692, 692, 692, 692,
692, 692, 692, 692, 692, 692, 692, 692, 692, 692,
692, 692, 692, 692, 692, 692, 692, 692, 692, 692,
692, 692, 692, 692, 692, 692, 692, 692, 692, 692,
692, 692, 692, 692, 692, 692, 692, 692, 692, 692,
692, 692, 692, 692, 692, 692, 692, 692, 692, 705,
705, 705, 711, 711, 711, 705, 813, 849, 711, 716,
716, 716, 722, 722, 722, 726, 726, 726, 722, 739,
705, 726, 705, 902, 739, 711, 739, 853, 801, 726,
813, 849, 716, 802, 819, 722, 739, 901, 726, 729,
729, 729, 735, 735, 735, 729, 853, 820, 735, 794,
794, 794, 705, 743, 743, 743, 819, 745, 745, 745,
820, 716, 729, 745, 743, 735, 743, 777, 777, 777,
801, 844, 794, 777, 844, 802, 743, 779, 779, 779,
782, 782, 782, 779, 924, 839, 782, 838, 893, 855,
777, 779, 797, 797, 797, 855, 878, 893, 797, 846,
779, 897, 924, 782, 800, 800, 800, 745, 765, 765,
765, 887, 765, 765, 765, 797, 838, 839, 765, 765,
804, 804, 804, 806, 846, 806, 804, 800, 806, 806,
875, 804, 887, 804, 824, 824, 824, 878, 914, 806,
824, 875, 854, 804, 829, 829, 829, 830, 865, 830,
829, 806, 830, 830, 865, 806, 829, 824, 765, 892,
765, 773, 854, 840, 925, 865, 876, 829, 840, 892,
840, 914, 891, 889, 925, 773, 773, 876, 957, 886,
840, 773, 773, 773, 773, 773, 773, 773, 773, 773,
773, 773, 773, 773, 773, 773, 773, 773, 773, 773,
773, 773, 773, 773, 773, 815, 815, 815, 879, 815,
815, 815, 821, 821, 821, 815, 815, 835, 835, 835,
957, 874, 821, 835, 836, 836, 836, 874, 837, 835,
836, 895, 821, 879, 894, 821, 836, 941, 874, 837,
835, 837, 881, 923, 837, 837, 954, 836, 842, 842,
842, 956, 895, 894, 881, 815, 911, 815, 881, 842,
949, 842, 821, 954, 885, 923, 941, 911, 956, 884,
949, 842, 847, 847, 847, 847, 847, 847, 847, 847,
847, 847, 847, 847, 847, 847, 847, 847, 847, 847,
847, 847, 847, 847, 847, 847, 847, 847, 847, 847,
847, 847, 847, 847, 847, 847, 847, 847, 847, 847,
847, 847, 847, 847, 847, 847, 847, 847, 847, 847,
847, 847, 847, 847, 847, 847, 847, 847, 848, 848,
848, 848, 848, 848, 848, 848, 848, 848, 848, 848,
848, 848, 848, 848, 848, 848, 848, 848, 848, 848,
848, 848, 848, 848, 848, 848, 848, 848, 848, 848,
848, 848, 848, 848, 848, 848, 848, 848, 848, 848,
848, 848, 848, 848, 848, 848, 848, 848, 848, 848,
848, 848, 848, 848, 856, 856, 856, 857, 857, 857,
868, 868, 868, 873, 856, 877, 877, 877, 873, 935,
935, 935, 942, 964, 873, 935, 959, 856, 1065, 943,
857, 1065, 883, 868, 943, 873, 943, 882, 877, 996,
996, 872, 935, 996, 870, 959, 943, 964, 997, 997,
869, 942, 997, 867, 856, 866, 863, 857, 858, 858,
862, 858, 858, 858, 858, 858, 858, 858, 858, 858,
858, 858, 858, 858, 858, 858, 858, 858, 858, 858,
858, 858, 858, 858, 858, 858, 858, 858, 858, 858,
858, 858, 858, 858, 858, 858, 858, 858, 858, 858,
858, 858, 858, 858, 858, 858, 858, 858, 858, 858,
858, 858, 858, 858, 896, 896, 896, 917, 917, 917,
940, 940, 940, 917, 966, 861, 940, 860, 917, 859,
917, 1007, 1007, 850, 845, 1007, 843, 896, 1027, 1027,
917, 833, 1027, 940, 1045, 1045, 832, 831, 1045, 828,
827, 826, 825, 823, 966, 817, 816, 807, 803, 798,
796, 795, 792, 790, 896, 898, 783, 781, 780, 778,
898, 898, 898, 898, 898, 898, 898, 898, 898, 898,
898, 898, 898, 898, 898, 898, 898, 898, 898, 898,
898, 898, 898, 898, 898, 922, 922, 922, 922, 922,
922, 922, 922, 922, 922, 922, 922, 922, 922, 922,
922, 922, 922, 922, 922, 922, 922, 922, 922, 922,
922, 922, 922, 922, 922, 922, 922, 922, 922, 922,
922, 922, 922, 922, 922, 922, 922, 922, 922, 922,
922, 922, 922, 922, 922, 922, 922, 922, 922, 922,
922, 950, 950, 950, 950, 950, 950, 950, 950, 950,
950, 950, 950, 950, 950, 950, 950, 950, 950, 950,
950, 950, 950, 950, 950, 950, 950, 950, 950, 950,
950, 950, 950, 950, 950, 950, 950, 950, 950, 950,
950, 950, 950, 950, 950, 950, 950, 950, 950, 950,
950, 950, 950, 950, 950, 950, 950, 972, 972, 972,
972, 972, 972, 972, 972, 972, 972, 972, 972, 972,
972, 972, 972, 972, 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, 974,
974, 974, 974, 974, 974, 974, 974, 974, 974, 974,
974, 974, 974, 974, 974, 974, 974, 974, 974, 974,
975, 975, 975, 975, 975, 975, 975, 975, 975, 975,
975, 975, 975, 975, 975, 975, 975, 975, 975, 975,
975, 976, 976, 976, 976, 976, 976, 976, 976, 976,
976, 976, 976, 976, 976, 976, 976, 976, 976, 976,
976, 976, 977, 977, 977, 977, 977, 977, 977, 977,
977, 977, 977, 977, 977, 977, 977, 977, 977, 977,
977, 977, 977, 978, 978, 978, 978, 978, 978, 978,
978, 978, 978, 978, 978, 978, 978, 978, 978, 978,
978, 978, 978, 978, 979, 979, 979, 979, 979, 979,
979, 979, 979, 979, 979, 979, 979, 979, 979, 979,
979, 979, 979, 979, 979, 980, 980, 980, 980, 980,
980, 980, 980, 980, 980, 980, 980, 980, 980, 980,
980, 980, 980, 980, 980, 980, 981, 981, 981, 981,
981, 981, 981, 981, 981, 981, 981, 981, 981, 981,
981, 981, 981, 981, 981, 981, 981, 982, 982, 982,
982, 982, 982, 982, 982, 982, 982, 982, 982, 982,
982, 982, 982, 982, 982, 982, 982, 982, 983, 776,
775, 759, 983, 983, 983, 983, 750, 747, 742, 983,
983, 984, 984, 984, 984, 741, 984, 984, 984, 984,
984, 740, 984, 984, 984, 984, 734, 733, 730, 984,
984, 985, 985, 728, 985, 985, 985, 985, 985, 985,
985, 985, 985, 985, 985, 985, 985, 985, 727, 985,
985, 985, 986, 986, 725, 986, 986, 986, 986, 986,
986, 986, 986, 986, 986, 986, 986, 986, 986, 724,
986, 986, 986, 987, 987, 723, 987, 987, 987, 987,
987, 987, 987, 987, 987, 987, 987, 987, 987, 987,
721, 987, 987, 987, 988, 988, 988, 720, 988, 988,
718, 988, 988, 988, 717, 988, 988, 715, 988, 714,
713, 988, 988, 988, 989, 989, 712, 989, 989, 989,
710, 989, 709, 989, 989, 989, 989, 708, 707, 706,
989, 989, 990, 704, 703, 990, 990, 990, 702, 990,
699, 990, 990, 990, 990, 698, 697, 696, 990, 990,
991, 991, 695, 683, 991, 991, 682, 672, 669, 991,
991, 667, 991, 665, 657, 656, 991, 991, 992, 655,
654, 653, 992, 992, 651, 646, 645, 992, 992, 992,
992, 643, 641, 638, 992, 992, 993, 993, 993, 636,
635, 993, 993, 993, 993, 993, 634, 993, 993, 993,
993, 633, 630, 629, 993, 993, 994, 994, 628, 994,
994, 994, 994, 994, 994, 994, 994, 994, 994, 994,
994, 994, 994, 994, 994, 994, 994, 995, 995, 995,
626, 625, 995, 995, 995, 995, 995, 624, 995, 995,
995, 995, 623, 622, 621, 995, 995, 998, 998, 619,
618, 617, 615, 614, 613, 612, 611, 607, 998, 606,
605, 998, 604, 603, 595, 998, 998, 999, 999, 593,
999, 999, 999, 999, 999, 999, 999, 999, 999, 999,
999, 999, 999, 999, 999, 999, 999, 999, 1000, 589,
588, 587, 564, 540, 1000, 539, 538, 1000, 537, 536,
535, 1000, 1000, 1001, 531, 528, 1001, 520, 519, 1001,
517, 516, 511, 1001, 1001, 1002, 1002, 1002, 1002, 1002,
1002, 1002, 1002, 1002, 1002, 1002, 1002, 1002, 1002, 1002,
1002, 1002, 1002, 1002, 1002, 1002, 1003, 1003, 509, 1003,
1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003,
1003, 1003, 1003, 1003, 1003, 1003, 1003, 1004, 1004, 1004,
1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004,
1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004, 1005, 1005,
1005, 1005, 1005, 1005, 1005, 1005, 1005, 1005, 1005, 1005,
1005, 1005, 1005, 1005, 1005, 1005, 1005, 1005, 1005, 1006,
1006, 506, 1006, 1006, 1006, 1006, 1006, 1006, 1006, 1006,
1006, 1006, 1006, 1006, 1006, 1006, 1006, 1006, 1006, 1006,
1008, 1008, 504, 499, 497, 496, 493, 491, 490, 487,
486, 484, 483, 482, 1008, 481, 480, 479, 477, 1008,
1009, 476, 471, 1009, 470, 469, 468, 1009, 1009, 1010,
1010, 466, 1010, 1010, 1010, 1010, 1010, 1010, 1010, 1010,
1010, 1010, 1010, 1010, 1010, 1010, 1010, 1010, 1010, 1010,
1011, 1011, 454, 1011, 1011, 1011, 1011, 1011, 1011, 1011,
1011, 1011, 1011, 1011, 1011, 1011, 1011, 1011, 1011, 1011,
1011, 1012, 1012, 453, 1012, 1012, 1012, 1012, 1012, 1012,
1012, 1012, 1012, 1012, 1012, 1012, 1012, 1012, 1012, 1012,
1012, 1012, 1013, 1013, 1013, 1013, 1013, 1013, 1013, 1013,
1013, 1013, 1013, 1013, 1013, 1013, 1013, 1013, 1013, 1013,
1013, 1013, 1013, 1014, 452, 451, 1014, 431, 423, 413,
1014, 1014, 1015, 1015, 1015, 1015, 1015, 1015, 1015, 1015,
1015, 1015, 1015, 1015, 401, 1015, 1015, 400, 1015, 1015,
1015, 1015, 1015, 1016, 1016, 1016, 1016, 1016, 1016, 1016,
1016, 1016, 1016, 1016, 1016, 397, 1016, 1016, 396, 1016,
1016, 1016, 1016, 1016, 1017, 1017, 1017, 1017, 1017, 1017,
1017, 1017, 1017, 1017, 1017, 1017, 394, 1017, 1017, 390,
1017, 1017, 1017, 1017, 1017, 1018, 1018, 389, 1018, 1018,
1018, 1018, 1018, 1018, 1018, 1018, 1018, 1018, 1018, 1018,
1018, 1018, 1018, 1018, 1018, 1018, 1019, 1019, 376, 1019,
1019, 1019, 1019, 1019, 1019, 1019, 1019, 1019, 1019, 1019,
1019, 1019, 1019, 1019, 1019, 1019, 1019, 1020, 1020, 373,
1020, 1020, 1020, 1020, 1020, 1020, 1020, 1020, 1020, 1020,
1020, 1020, 1020, 1020, 1020, 1020, 1020, 1020, 1021, 1021,
1021, 370, 369, 1021, 1021, 1021, 1021, 1021, 368, 1021,
1021, 1021, 1021, 357, 356, 355, 1021, 1021, 1022, 1022,
352, 347, 1022, 344, 342, 340, 339, 338, 337, 334,
1022, 333, 1022, 327, 326, 325, 324, 1022, 1023, 1023,
1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023,
1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1024,
1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024,
1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024,
1025, 1025, 323, 1025, 1025, 1025, 1025, 1025, 1025, 1025,
1025, 1025, 1025, 1025, 1025, 1025, 1025, 1025, 1025, 1025,
1025, 1026, 1026, 322, 1026, 1026, 1026, 1026, 1026, 1026,
1026, 1026, 1026, 1026, 1026, 1026, 1026, 1026, 1026, 1026,
1026, 1026, 1028, 1028, 321, 1028, 1028, 1028, 1028, 1028,
1028, 1028, 1028, 1028, 1028, 1028, 1028, 1028, 1028, 1028,
1028, 1028, 1028, 1029, 1029, 320, 1029, 1029, 1029, 1029,
1029, 1029, 1029, 1029, 1029, 1029, 1029, 1029, 1029, 1029,
1029, 1029, 1029, 1029, 1030, 1030, 309, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030, 1030,
1030, 1030, 1030, 1030, 1030, 1031, 1031, 265, 1031, 1031,
1031, 1031, 1031, 1031, 1031, 1031, 1031, 1031, 1031, 1031,
1031, 1031, 1031, 1031, 1031, 1031, 1032, 1032, 264, 1032,
1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032, 1032,
1032, 1032, 1032, 1032, 1032, 1032, 1032, 1033, 1033, 1033,
1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033, 1033, 263,
1033, 1033, 259, 1033, 1033, 1033, 1033, 1033, 1034, 1034,
1034, 1034, 1034, 1034, 1034, 1034, 1034, 1034, 1034, 1034,
1034, 1034, 1034, 1034, 1034, 1034, 1034, 1034, 1034, 1035,
1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035,
1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035, 1035,
1036, 1036, 239, 1036, 1036, 1036, 1036, 1036, 1036, 1036,
1036, 1036, 1036, 1036, 1036, 1036, 1036, 1036, 1036, 1036,
1036, 1037, 1037, 234, 1037, 1037, 1037, 1037, 1037, 1037,
1037, 1037, 1037, 1037, 1037, 1037, 1037, 233, 1037, 1037,
1037, 1037, 1038, 1038, 1038, 1038, 1038, 1038, 1038, 1038,
1038, 1038, 1038, 1038, 1038, 1038, 1038, 1038, 1038, 1038,
1038, 1038, 1038, 1039, 1039, 232, 1039, 1039, 1039, 1039,
1039, 1039, 1039, 1039, 1039, 1039, 1039, 1039, 1039, 1039,
1039, 1039, 1039, 1039, 1040, 1040, 226, 1040, 1040, 1040,
1040, 1040, 1040, 1040, 1040, 1040, 1040, 1040, 1040, 1040,
1040, 1040, 1040, 1040, 1040, 1041, 1041, 225, 1041, 1041,
1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041, 1041,
1041, 1041, 1041, 1041, 1041, 1041, 1042, 1042, 222, 1042,
1042, 1042, 1042, 1042, 1042, 1042, 1042, 1042, 1042, 1042,
1042, 1042, 1042, 1042, 1042, 1042, 1042, 1043, 1043, 1043,
1043, 1043, 1043, 1043, 1043, 1043, 1043, 1043, 1043, 221,
1043, 1043, 220, 1043, 1043, 1043, 1043, 1043, 1044, 1044,
1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044,
1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044, 1044, 1046,
1046, 219, 1046, 1046, 1046, 1046, 1046, 1046, 1046, 1046,
1046, 1046, 1046, 1046, 1046, 1046, 1046, 1046, 1046, 1046,
1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047,
1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047, 1047,
1047, 1048, 1048, 1048, 1048, 1048, 1048, 1048, 1048, 1048,
1048, 1048, 1048, 1048, 1048, 1048, 1048, 1048, 218, 1048,
1048, 1048, 1049, 1049, 217, 1049, 1049, 1049, 1049, 1049,
1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049, 1049,
1049, 1049, 1049, 1050, 1050, 1050, 1050, 1050, 1050, 1050,
1050, 1050, 1050, 1050, 1050, 1050, 1050, 1050, 1050, 1050,
1050, 1050, 1050, 1050, 1051, 1051, 1051, 1051, 1051, 1051,
1051, 1051, 1051, 1051, 1051, 1051, 1051, 1051, 1051, 1051,
1051, 1051, 1051, 1051, 1051, 1052, 1052, 1052, 1052, 1052,
216, 1052, 1052, 1052, 1052, 1052, 1052, 1052, 1052, 1052,
1052, 1052, 1052, 1052, 1052, 1052, 1053, 1053, 215, 1053,
1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053, 1053,
1053, 1053, 1053, 1053, 1053, 1053, 1053, 1054, 1054, 210,
1054, 1054, 1054, 1054, 1054, 1054, 1054, 1054, 1054, 1054,
1054, 1054, 1054, 1054, 1054, 1054, 1054, 1054, 1055, 1055,
203, 1055, 1055, 1055, 1055, 1055, 1055, 1055, 1055, 1055,
1055, 1055, 1055, 1055, 1055, 1055, 1055, 1055, 1055, 1056,
1056, 1056, 1056, 1056, 1056, 1056, 1056, 1056, 1056, 1056,
1056, 201, 1056, 1056, 200, 1056, 1056, 1056, 1056, 1056,
1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057,
1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057, 1057,
1057, 1058, 1058, 199, 1058, 1058, 1058, 1058, 1058, 1058,
1058, 1058, 1058, 1058, 1058, 1058, 1058, 1058, 1058, 1058,
1058, 1058, 1059, 1059, 1059, 1059, 1059, 1059, 1059, 1059,
1059, 1059, 1059, 1059, 1059, 1059, 1059, 1059, 1059, 1059,
1059, 1059, 1059, 1060, 1060, 1060, 1060, 1060, 1060, 1060,
1060, 1060, 1060, 1060, 1060, 1060, 1060, 1060, 1060, 1060,
197, 1060, 1060, 1060, 1061, 1061, 189, 1061, 1061, 1061,
1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061, 1061,
1061, 1061, 1061, 1061, 1061, 1062, 1062, 1062, 1062, 1062,
1062, 1062, 1062, 1062, 1062, 1062, 1062, 1062, 1062, 1062,
1062, 1062, 1062, 1062, 1062, 1062, 1063, 1063, 1063, 1063,
1063, 1063, 1063, 1063, 1063, 1063, 1063, 1063, 186, 1063,
1063, 185, 1063, 1063, 1063, 1063, 1063, 1064, 1064, 1064,
1064, 1064, 1064, 1064, 1064, 1064, 1064, 1064, 1064, 184,
1064, 1064, 183, 1064, 1064, 1064, 1064, 1064, 1066, 1066,
180, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066, 1066,
1066, 1066, 1066, 1066, 167, 1066, 1066, 1066, 1066, 162,
161, 136, 135, 126, 119, 112, 75, 73, 67, 64,
61, 58, 57, 51, 49, 27, 12, 11, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971, 971, 971, 971, 971, 971,
971, 971, 971, 971, 971
} ;
extern int yy_flex_debug;
int yy_flex_debug = 0;
static yy_state_type *yy_state_buf=0, *yy_state_ptr=0;
static char *yy_full_match;
static int yy_lp;
static int yy_looking_for_trail_begin = 0;
static int yy_full_lp;
static int *yy_full_state;
#define YY_TRAILING_MASK 0x2000
#define YY_TRAILING_HEAD_MASK 0x4000
#define REJECT \
{ \
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */ \
yy_cp = (yy_full_match); /* restore poss. backed-over text */ \
(yy_lp) = (yy_full_lp); /* restore orig. accepting pos. */ \
(yy_state_ptr) = (yy_full_state); /* restore orig. state */ \
yy_current_state = *(yy_state_ptr); /* restore curr. state */ \
++(yy_lp); \
goto find_rule; \
}
#define yymore() yymore_used_but_not_detected
#define YY_MORE_ADJ 0
#define YY_RESTORE_YY_MORE_OFFSET
char *yytext;
#line 1 "../../../utils/lacheck/lacheck.l"
/* $Id: lacheck.l 63190 2022-04-30 22:15:57Z karl $
*
* lacheck.lex - A consistency checker checker for LaTeX documents
*
* Copyright (C) 1991, 1992 Kresten Krab Thorup.
* Copyright (C) 1993 --- 1998 Per Abrahamsen.
* Copyright (C) 2019 --- 2022 Karl Berry.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 1, or (at your option)
* any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <
https://www.gnu.org/licenses/>.
*
* original Revision: 1.26 $
* Author : Kresten Krab Thorup
* Created On : Sun May 26 18:11:58 1991
*
* HISTORY
* 02-May-2022 Karl Berry
* Count initial { of definitions, and support \newcommand* (etc.).
* Report from Michael Clark,
*
https://tug.org/pipermail/tex-live/2022-April/048096.html.
* Version number now 1.30.
* 08-Jul-2019 Karl Berry
* Separate patterns for \def vs. \newcommand. Report from Zayd Hammoudeh,
*
https://tug.org/pipermail/tex-live/2019-January/043083.html.
* Update version number (now 1.29), contact info.
* 07-Mar-1998 Per Abrahamsen
* Added return to yywrap. Patch by Fabrice POPINEAU
* <
[email protected]>.
* 14-Jan-1998 Per Abrahamsen
* Added GPL blurp.
* 27-Oct-1997 Per Abrahamsen
* Count newline after newenvironment and newcommand.
* 12-Jan-1996 Per Abrahamsen
* \\} used not to end a group in definitions. Reported by Piet
* van Oostrum <
[email protected]>.
* 03-Jan-1995 Per Abrahamsen
* Fix bug which prevented detection of multiple illegal characters
* in labels. Reported by
[email protected] (Eric Eide).
* 30-Jul-1994 Per Abrahamsen
* Define dummy yywrap so we no longer depend on `libl.a'.
* 26-Apr-1994 Per Abrahamsen
* Removed a few warnings, by Richard Lloyd <
[email protected]>.
* 23-Apr-1994 Per Abrahamsen
* Changed all `%i' to `%d' for VMS portability. Reported by
* Stephen Harker <
[email protected]>.
* 16-Feb-1994 Per Abrahamsen
* Try file name with `.tex' appended before trying it bare. This
* will make the case where a directory and a TeX file share the
* same name work.
* 19-Jan-1994 Per Abrahamsen
* Comments don't imply whitespace. Pointed out by Jacco van
* Ossenbruggen <
[email protected]>.
* 14-Jan-1994 Per Abrahamsen
* Don't complain about \ref at the beginning of a paragraph.
* Suggested by Jean-Marc Lasgouttes <
[email protected]>.
* 11-Jan-1994 Per Abrahamsen
* Added version string to usage message. Suggested by Uwe Bonnes
* <
[email protected]> .
* 04-Jan-1994 Per Abrahamsen
* Warn about newlines in \verb. Suggested by Mark Burton
* <
[email protected]>. The LaTeX Book agrees (p. 168).
* 10-Sep-1993 Per Abrahamsen
* Removed complain about missing ~ before \cite. Requested by
* Nelson H. F. Beebe <
[email protected]>. The LaTeX Book seems
* to agree.
* 03-Sep-1993 Per Abrahamsen
* Check for illegal characters in labels.
* 16-Aug-1993 Per Abrahamsen
* Recognize \endinput. Suggested by Stefan Farestam
* <
[email protected]>.
* 13-Aug-1993 Per Abrahamsen
* } was eaten after display math. Reported by Eckhard R�ggeberg
* <
[email protected]>.
* 13-Aug-1993 Per Abrahamsen
* Recognize \verb*. Reported by Eckhard R�ggeberg
* <
[email protected]>.
* 08-Aug-1993 Per Abrahamsen
* Better catch begin and end without arguments.
* 08-Aug-1993 Per Abrahamsen
* Removed free(NULL) as reported by Darrel R. Hankerson
* <
[email protected]>.
* 08-Aug-1993 Per Abrahamsen
* Removed declaration of realloc for some C compilers. Reported by
* Darrel R. Hankerson <
[email protected]>
* 30-Jul-1993 Per Abrahamsen
* Added check for italic correction after normal text.
* 29-Jul-1993 Per Abrahamsen
* Added cast for (char*) malloc as suggested by John Interrante
* <
[email protected]>.
* 29-Jul-1993 Per Abrahamsen
* Added check for missing and extra italic correction.
* 29-Jul-1993 Per Abrahamsen
* Made line number counting more reliable (but it still needs a rewrite)!
* 28-Jul-1993 Per Abrahamsen
* Added check for italic correction before point or comma.
* 6-Jun-1992 Kresten Krab Thorup
* Last Modified: Sat Jun 6 16:37:44 1992 #48 (Kresten Krab Thorup)
* Added test for whitespace before punctuation mark
* 17-Dec-1991 (Last Mod: Tue Dec 17 21:01:24 1991 #41) Kresten Krab Thorup
* Added 'word word` and missing ~ before cite and ref
* 18-Jun-1991 (Last Mod: Tue Jun 18 19:20:43 1991 #17) Kresten Krab Thorup
* Added check (or rather management) for \newenvironment and
* \newcommand - as suggested by Per Abrahamsen
[email protected]
* 30-May-1991 (Last Mod: Thu May 30 02:22:33 1991 #15) Kresten Krab Thorup
* Added check for `$${punct}' and `{punct}$' constructions
* 30-May-1991 (Last Mod: Wed May 29 10:31:35 1991 #6) Kresten Krab Thorup
* Improved (dynamic) stack management from Andreas Stolcke ...
* <
[email protected]>
* 26-May-1991 Kresten Krab Thorup
* Initial distribution version.
*/
#line 126 "../../../utils/lacheck/lacheck.l"
#include <stdio.h>
#include <string.h>
/* #include <sys/param.h> */
/* extern char *realloc(); */
#ifdef NEED_STRSTR
char *strstr();
#endif
#define GROUP_STACK_SIZE 10
#define INPUT_STACK_SIZE 10
#define PROGNAME "LaCheck"
/* macros */
#define CG_NAME gstack[gstackp-1].s_name
#define CG_TYPE gstack[gstackp-1].s_type
#define CG_LINE gstack[gstackp-1].s_line
#define CG_ITALIC gstack[gstackp-1].italic
#define CG_FILE gstack[gstackp-1].s_file
void pop(void);
void push(const char *p_name, int p_type, int p_line);
void linecount(void);
void g_checkend(int n);
void e_checkend(int n, char *name);
void f_checkend(char *name);
void input_file(char *file_nam);
void print_bad_match(char *end_command, int type);
int check_top_level_end(char *end_command, int type);
/* global variables */
int line_count = 1;
int warn_count = 0;
char *file_name;
char verb_char;
/* the group stack */
typedef struct tex_group
{
char *s_name;
int s_type;
int s_line;
int italic;
char *s_file;
} tex_group;
tex_group *gstack;
int gstack_size = GROUP_STACK_SIZE;
int gstackp = 0;
typedef struct input_
{
YY_BUFFER_STATE stream;
char *name;
int linenum;
} input_;
input_ *istack;
int istack_size = INPUT_STACK_SIZE;
int istackp = 0;
int def_count = 0;
#line 2215 "../../../utils/lacheck/lacheck.c"
#define INITIAL 0
#define B_ENVIRONMENT 1
#define E_ENVIRONMENT 2
#define VERBATIM 3
#define INCLUDE 4
#define MATH 5
#define COMMENT 6
#define VERB 7
#define DEF 8
#define AFTER_DISPLAY 9
#define ENV_DEF 10
#define ICOR 11
#define GETICOR 12
#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
#ifndef YY_NO_UNPUT
static void yyunput (int c,char *buf_ptr );
#endif
#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
#ifdef __ia64__
/* On IA-64, the buffer size is 16k, not 8k */
#define YY_READ_BUF_SIZE 16384
#else
#define YY_READ_BUF_SIZE 8192
#endif /* __ia64__ */
#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 /*LINTED*/break;
#endif
#define YY_RULE_SETUP \
if ( yyleng > 0 ) \
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = \
(yytext[yyleng - 1] == '\n'); \
YY_USER_ACTION
/** The main scanner function which does all the work.
*/
YY_DECL
{
yy_state_type yy_current_state;
char *yy_cp, *yy_bp;
int yy_act;
if ( !(yy_init) )
{
(yy_init) = 1;
#ifdef YY_USER_INIT
YY_USER_INIT;
#endif
/* Create the reject buffer large enough to save one state per allowed character. */
if ( ! (yy_state_buf) )
(yy_state_buf) = (yy_state_type *)yyalloc(YY_STATE_BUF_SIZE );
if ( ! (yy_state_buf) )
YY_FATAL_ERROR( "out of dynamic memory in yylex()" );
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( );
}
{
#line 241 "../../../utils/lacheck/lacheck.l"
#line 2457 "../../../utils/lacheck/lacheck.c"
while ( /*CONSTCOND*/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_current_state += YY_AT_BOL();
(yy_state_ptr) = (yy_state_buf);
*(yy_state_ptr)++ = yy_current_state;
yy_match:
do
{
YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ;
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 972 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
*(yy_state_ptr)++ = yy_current_state;
++yy_cp;
}
while ( yy_current_state != 971 );
yy_find_action:
yy_current_state = *--(yy_state_ptr);
(yy_lp) = yy_accept[yy_current_state];
find_rule: /* we branch to this label when backing up */
for ( ; ; ) /* until we find what rule we matched */
{
if ( (yy_lp) && (yy_lp) < yy_accept[yy_current_state + 1] )
{
yy_act = yy_acclist[(yy_lp)];
if ( yy_act & YY_TRAILING_HEAD_MASK ||
(yy_looking_for_trail_begin) )
{
if ( yy_act == (yy_looking_for_trail_begin) )
{
(yy_looking_for_trail_begin) = 0;
yy_act &= ~YY_TRAILING_HEAD_MASK;
break;
}
}
else if ( yy_act & YY_TRAILING_MASK )
{
(yy_looking_for_trail_begin) = yy_act & ~YY_TRAILING_MASK;
(yy_looking_for_trail_begin) |= YY_TRAILING_HEAD_MASK;
}
else
{
(yy_full_match) = yy_cp;
(yy_full_state) = (yy_state_ptr);
(yy_full_lp) = (yy_lp);
break;
}
++(yy_lp);
goto find_rule;
}
--yy_cp;
yy_current_state = *--(yy_state_ptr);
(yy_lp) = 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 1:
YY_RULE_SETUP
#line 243 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 2:
YY_RULE_SETUP
#line 245 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 3:
/* rule 3 can match eol */
YY_RULE_SETUP
#line 247 "../../../utils/lacheck/lacheck.l"
{ line_count++; }
YY_BREAK
case 4:
/* rule 4 can match eol */
YY_RULE_SETUP
#line 249 "../../../utils/lacheck/lacheck.l"
{ line_count++; }
YY_BREAK
case 5:
YY_RULE_SETUP
#line 251 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 6:
YY_RULE_SETUP
#line 253 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 7:
YY_RULE_SETUP
#line 255 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 8:
/* rule 8 can match eol */
YY_RULE_SETUP
#line 257 "../../../utils/lacheck/lacheck.l"
{
if (CG_TYPE != 4 && CG_TYPE != 5) {
if (!(CG_TYPE == 2 && strstr(CG_NAME, "array"))) {
printf( "\"%s\", line %d: possible unwanted space at \"{\"\n",
file_name, line_count);
++warn_count ;
}
}
push( "{", 0, line_count);
linecount();
}
YY_BREAK
case 9:
YY_RULE_SETUP
#line 269 "../../../utils/lacheck/lacheck.l"
{ push( "{", 0, line_count);}
YY_BREAK
case 10:
YY_RULE_SETUP
#line 271 "../../../utils/lacheck/lacheck.l"
{
{
int italic = CG_ITALIC;
g_checkend(0);
if (italic && !CG_ITALIC)
BEGIN(GETICOR) ;
else
BEGIN(INITIAL);
}}
YY_BREAK
case 11:
YY_RULE_SETUP
#line 281 "../../../utils/lacheck/lacheck.l"
{ g_checkend(0); }
YY_BREAK
case 12:
YY_RULE_SETUP
#line 283 "../../../utils/lacheck/lacheck.l"
{
{
if (!CG_ITALIC)
{
printf("\"%s\", line %d: you may need a \\/ before \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
}
BEGIN(INITIAL);
}}
YY_BREAK
case 13:
YY_RULE_SETUP
#line 294 "../../../utils/lacheck/lacheck.l"
{
{
if (CG_ITALIC)
{
printf("\"%s\", line %d: \\/ not needed before italic text \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
}
BEGIN(INITIAL);
}}
YY_BREAK
case 14:
/* rule 14 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 2);
(yy_c_buf_p) = yy_cp -= 2;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 305 "../../../utils/lacheck/lacheck.l"
{
{
linecount();
if (!CG_ITALIC)
{
printf("\"%s\", line %d: \\/ not needed after non-italic text \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
}
}}
YY_BREAK
case 15:
/* rule 15 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 2);
(yy_c_buf_p) = yy_cp -= 2;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 316 "../../../utils/lacheck/lacheck.l"
{
{
linecount();
if (!CG_ITALIC)
{
printf("\"%s\", line %d: \\/ is not needed after non-italic \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
}
}}
YY_BREAK
case 16:
YY_RULE_SETUP
#line 327 "../../../utils/lacheck/lacheck.l"
{ BEGIN(INITIAL); }
YY_BREAK
case 17:
YY_RULE_SETUP
#line 329 "../../../utils/lacheck/lacheck.l"
{ BEGIN(ICOR); }
YY_BREAK
case 18:
YY_RULE_SETUP
#line 331 "../../../utils/lacheck/lacheck.l"
{
{
printf("\"%s\", line %d: double \\/ found \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
BEGIN(ICOR);
}}
YY_BREAK
case 19:
/* rule 19 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 1);
(yy_c_buf_p) = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 339 "../../../utils/lacheck/lacheck.l"
{ CG_ITALIC = 1; }
YY_BREAK
case 20:
/* rule 20 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_bp + 12);
(yy_c_buf_p) = yy_cp = yy_bp + 12;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 341 "../../../utils/lacheck/lacheck.l"
{
{
if(CG_ITALIC)
BEGIN(GETICOR);
else
BEGIN(INITIAL);
CG_ITALIC = 0;
}}
YY_BREAK
case 21:
/* rule 21 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_bp + 12);
(yy_c_buf_p) = yy_cp = yy_bp + 12;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 350 "../../../utils/lacheck/lacheck.l"
{ CG_ITALIC = 0; }
YY_BREAK
case 22:
/* rule 22 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_bp + 3);
(yy_c_buf_p) = yy_cp = yy_bp + 3;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 352 "../../../utils/lacheck/lacheck.l"
{
{
if(CG_ITALIC)
BEGIN(GETICOR);
else
BEGIN(INITIAL);
CG_ITALIC = !CG_ITALIC;
}}
YY_BREAK
case 23:
/* rule 23 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_bp + 3);
(yy_c_buf_p) = yy_cp = yy_bp + 3;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 361 "../../../utils/lacheck/lacheck.l"
{ CG_ITALIC = !CG_ITALIC; }
YY_BREAK
case 24:
YY_RULE_SETUP
#line 363 "../../../utils/lacheck/lacheck.l"
{
{
printf("\"%s\", line %d: do not use \\/ before \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
BEGIN(INITIAL);
}}
YY_BREAK
case 25:
/* rule 25 can match eol */
YY_RULE_SETUP
#line 371 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 26:
YY_RULE_SETUP
#line 373 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 27:
YY_RULE_SETUP
#line 375 "../../../utils/lacheck/lacheck.l"
{
{
unput(yytext[0]);
BEGIN(INITIAL);
}}
YY_BREAK
/* \def (or \edef etc.) can be followed by whitespace, then the \ to
start the control sequence, then more or less anything up to the {
starting the replacement text, which we assume is on the same line.
(All this could be changed in TeX, with catcodes etc., but we can't
try to handle that.) */
case 28:
/* rule 28 can match eol */
YY_RULE_SETUP
#line 386 "../../../utils/lacheck/lacheck.l"
{ ++def_count; BEGIN(DEF); }
YY_BREAK
/* \newcommand{\foo}{...} or \newcommand\foo{...}
or \renewcommand or \providecommand;
and/or with \...command*;
and/or with \...command[N] argument count;
To allow for arbitrary control sequence names, we match
the braced name as anything not containing a }.
To handle optional argument specifications, we assume the { is on
the same line as the csname.
We assume the control sequence name is either a single character or
one or more English letters, a-zA-Z, as usual with TeX.
We assume the optional argument default does not contain a ].
We don't do anything with the definition; the only purpose is to
count braces. */
case 29:
/* rule 29 can match eol */
YY_RULE_SETUP
#line 401 "../../../utils/lacheck/lacheck.l"
{ ++def_count; BEGIN(DEF); }
YY_BREAK
/* ws optional* ({\cs} |\cs) .*? {defn}
Pre-2019 rule was (see test-def.tex):
"\\"[exg]?(def|newcommand)[^\n\{]+ BEGIN(DEF);
*/
case 30:
YY_RULE_SETUP
#line 409 "../../../utils/lacheck/lacheck.l"
{ ++def_count; }
YY_BREAK
case 31:
YY_RULE_SETUP
#line 411 "../../../utils/lacheck/lacheck.l"
{ --def_count;
if(def_count == 0)
BEGIN(INITIAL); }
YY_BREAK
case 32:
YY_RULE_SETUP
#line 415 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 33:
YY_RULE_SETUP
#line 417 "../../../utils/lacheck/lacheck.l"
BEGIN(ENV_DEF);
YY_BREAK
case 34:
YY_RULE_SETUP
#line 419 "../../../utils/lacheck/lacheck.l"
{ ++def_count; }
YY_BREAK
case 35:
YY_RULE_SETUP
#line 421 "../../../utils/lacheck/lacheck.l"
{ --def_count;
if(def_count == 0)
BEGIN(DEF); }
YY_BREAK
case 36:
YY_RULE_SETUP
#line 425 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 37:
YY_RULE_SETUP
#line 427 "../../../utils/lacheck/lacheck.l"
{
if(CG_TYPE == 4 || CG_TYPE == 5)
print_bad_match(yytext,4);
else
{
push( yytext, 4, line_count);
}}
YY_BREAK
case 38:
YY_RULE_SETUP
#line 435 "../../../utils/lacheck/lacheck.l"
{ g_checkend(4); }
YY_BREAK
case 39:
YY_RULE_SETUP
#line 437 "../../../utils/lacheck/lacheck.l"
{
if(CG_TYPE == 4 || CG_TYPE == 5)
print_bad_match(yytext,5);
else
{
push( yytext, 5, line_count);
}}
YY_BREAK
case 40:
YY_RULE_SETUP
#line 446 "../../../utils/lacheck/lacheck.l"
{ g_checkend(5); BEGIN(AFTER_DISPLAY);}
YY_BREAK
case 41:
YY_RULE_SETUP
#line 448 "../../../utils/lacheck/lacheck.l"
{
printf( "\"%s\", line %d: punctuation mark \"%s\" should be placed before end of displaymath\n",
file_name, line_count, yytext);
++warn_count ;
BEGIN(INITIAL); }
YY_BREAK
case 42:
/* rule 42 can match eol */
YY_RULE_SETUP
#line 456 "../../../utils/lacheck/lacheck.l"
{ unput(yytext[0]); BEGIN(INITIAL); }
YY_BREAK
case 43:
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
(yy_c_buf_p) = yy_cp = yy_bp + 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 458 "../../../utils/lacheck/lacheck.l"
{ if (CG_TYPE == 4)
{
printf( "\"%s\", line %d: punctuation mark \"%s\" should be placed after end of math mode\n",
file_name, line_count, yytext);
++warn_count ;
BEGIN(INITIAL);
}}
YY_BREAK
case 44:
YY_RULE_SETUP
#line 466 "../../../utils/lacheck/lacheck.l"
{
if(CG_TYPE == 5)
print_bad_match(yytext, 4);
else
if(CG_TYPE == 4)
{
e_checkend(4, yytext);
}
else
{
push( yytext, 4, line_count);
}}
YY_BREAK
case 45:
YY_RULE_SETUP
#line 482 "../../../utils/lacheck/lacheck.l"
{
if(CG_TYPE == 4)
print_bad_match(yytext,5);
else
if(CG_TYPE == 5)
{
e_checkend(5, yytext);
BEGIN(AFTER_DISPLAY);
}
else
{
push( yytext, 5, line_count);
}}
YY_BREAK
case 46:
/* rule 46 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_bp + 11);
(yy_c_buf_p) = yy_cp = yy_bp + 11;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 498 "../../../utils/lacheck/lacheck.l"
{
{
push("\\begingroup", 1, line_count);
}}
YY_BREAK
case 47:
/* rule 47 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_bp + 9);
(yy_c_buf_p) = yy_cp = yy_bp + 9;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 504 "../../../utils/lacheck/lacheck.l"
{
{
g_checkend(1);
}}
YY_BREAK
case 48:
YY_RULE_SETUP
#line 510 "../../../utils/lacheck/lacheck.l"
{ BEGIN(B_ENVIRONMENT); }
YY_BREAK
case 49:
/* rule 49 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 1);
(yy_c_buf_p) = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 512 "../../../utils/lacheck/lacheck.l"
{
{
printf("\"%s\", line %d: {argument} missing for \\begin\n",
file_name, line_count) ;
++warn_count;
}}
YY_BREAK
case 50:
YY_RULE_SETUP
#line 520 "../../../utils/lacheck/lacheck.l"
{
{
if (strcmp( yytext, "verbatim" ) == 0 )
{
input();
BEGIN(VERBATIM);
}
else
{
push(yytext, 2, line_count);
if ( strcmp (yytext, "sl" ) == 0
|| strcmp (yytext, "it" ) == 0)
CG_ITALIC = 1;
else if (strcmp (yytext, "normalshape") == 0)
CG_ITALIC = 0;
else if (strcmp (yytext, "em") == 0)
CG_ITALIC = !CG_ITALIC;
input();
BEGIN(INITIAL);
}
}}
YY_BREAK
case 51:
YY_RULE_SETUP
#line 544 "../../../utils/lacheck/lacheck.l"
{ BEGIN(INITIAL); }
YY_BREAK
case 52:
YY_RULE_SETUP
#line 546 "../../../utils/lacheck/lacheck.l"
{
printf("\"%s\", line %d: TAB character in verbatim environment\n",
file_name, line_count) ;
++warn_count;
}
YY_BREAK
case 53:
YY_RULE_SETUP
#line 552 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 54:
/* rule 54 can match eol */
YY_RULE_SETUP
#line 554 "../../../utils/lacheck/lacheck.l"
{ ++line_count; }
YY_BREAK
case 55:
YY_RULE_SETUP
#line 557 "../../../utils/lacheck/lacheck.l"
{
verb_char = yytext[yyleng-1];
BEGIN(VERB);
}
YY_BREAK
case 56:
/* rule 56 can match eol */
YY_RULE_SETUP
#line 562 "../../../utils/lacheck/lacheck.l"
{
printf("\"%s\", line %d: \\verb should not contain end of line characters\n",
file_name, line_count) ;
++line_count;
}
YY_BREAK
case 57:
YY_RULE_SETUP
#line 568 "../../../utils/lacheck/lacheck.l"
{
if ( *yytext == verb_char )
BEGIN(INITIAL);
}
YY_BREAK
case 58:
YY_RULE_SETUP
#line 574 "../../../utils/lacheck/lacheck.l"
{ BEGIN(E_ENVIRONMENT); }
YY_BREAK
case 59:
/* rule 59 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 1);
(yy_c_buf_p) = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 576 "../../../utils/lacheck/lacheck.l"
{
{
printf("\"%s\", line %d: {argument} missing for \\end\n",
file_name, line_count) ;
++warn_count;
}}
YY_BREAK
case 60:
YY_RULE_SETUP
#line 584 "../../../utils/lacheck/lacheck.l"
{
{
e_checkend(2, yytext);
input();
BEGIN(INITIAL);
}}
YY_BREAK
case 61:
/* rule 61 can match eol */
YY_RULE_SETUP
#line 593 "../../../utils/lacheck/lacheck.l"
{
{
linecount();
printf( "\"%s\", line %d: missing `\\ ' after \"%s\"\n",
file_name, line_count, ++yytext);
++warn_count ;
BEGIN(INITIAL);
}}
YY_BREAK
case 62:
/* rule 62 can match eol */
YY_RULE_SETUP
#line 602 "../../../utils/lacheck/lacheck.l"
{
{
printf( "\"%s\", line %d: missing `\\ ' after \"%s\"\n",
file_name, line_count, yytext);
++warn_count ;
BEGIN(INITIAL);
}}
YY_BREAK
case 63:
/* rule 63 can match eol */
YY_RULE_SETUP
#line 610 "../../../utils/lacheck/lacheck.l"
{
{
linecount();
printf("\"%s\", line %d: missing `\\@' before `.' in \"%s\"\n",
file_name, line_count, yytext);
++warn_count ;
BEGIN(INITIAL);
}}
YY_BREAK
case 64:
/* rule 64 can match eol */
YY_RULE_SETUP
#line 619 "../../../utils/lacheck/lacheck.l"
{
printf("\"%s\", line %d: double space at \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
linecount();
BEGIN(INITIAL);
}
YY_BREAK
case 65:
/* rule 65 can match eol */
YY_RULE_SETUP
#line 628 "../../../utils/lacheck/lacheck.l"
{
printf("\"%s\", line %d: \\ldots should be \\cdots in \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
linecount();
}
YY_BREAK
case 66:
/* rule 66 can match eol */
YY_RULE_SETUP
#line 635 "../../../utils/lacheck/lacheck.l"
{
printf("\"%s\", line %d: \\cdots should be \\ldots in \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
linecount();
BEGIN(INITIAL);
}
YY_BREAK
case 67:
/* rule 67 can match eol */
YY_RULE_SETUP
#line 643 "../../../utils/lacheck/lacheck.l"
{
printf("\"%s\", line %d: Dots should be \\cdots in \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
linecount();
}
YY_BREAK
case 68:
/* rule 68 can match eol */
YY_RULE_SETUP
#line 650 "../../../utils/lacheck/lacheck.l"
{
printf("\"%s\", line %d: Dots should be \\ldots in \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
linecount();
BEGIN(INITIAL);
}
YY_BREAK
case 69:
YY_RULE_SETUP
#line 659 "../../../utils/lacheck/lacheck.l"
{
printf("\"%s\", line %d: Dots should be ellipsis \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
BEGIN(INITIAL);
}
YY_BREAK
case 70:
/* rule 70 can match eol */
YY_RULE_SETUP
#line 666 "../../../utils/lacheck/lacheck.l"
{
linecount();
printf("\"%s\", line %d: bad character in label \"%s\", see C.10.2\n",
file_name, line_count, yytext);
}
YY_BREAK
case 71:
/* rule 71 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 1);
(yy_c_buf_p) = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 672 "../../../utils/lacheck/lacheck.l"
{
linecount();
BEGIN(INITIAL);
}
YY_BREAK
case 72:
/* rule 72 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 1);
(yy_c_buf_p) = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 677 "../../../utils/lacheck/lacheck.l"
{
linecount();
printf("\"%s\", line %d: perhaps you should insert a `~' before \"%s\"\n",
file_name, line_count, ++yytext);
BEGIN(INITIAL);
}
YY_BREAK
case 73:
/* rule 73 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 1);
(yy_c_buf_p) = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 684 "../../../utils/lacheck/lacheck.l"
{
linecount();
printf("\"%s\", line %d: whitespace before footnote in \"%s\"\n",
file_name, line_count, ++yytext);
BEGIN(INITIAL);
}
YY_BREAK
case 74:
/* rule 74 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_cp - 1);
(yy_c_buf_p) = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
YY_RULE_SETUP
#line 692 "../../../utils/lacheck/lacheck.l"
{
{
printf("\"%s\", line %d: Don't use \"%s\" in LaTeX documents\n",
file_name, line_count, yytext);
++warn_count ;
}}
YY_BREAK
case 75:
/* rule 75 can match eol */
YY_RULE_SETUP
#line 699 "../../../utils/lacheck/lacheck.l"
{ linecount() ;}
YY_BREAK
case 76:
/* rule 76 can match eol */
YY_RULE_SETUP
#line 700 "../../../utils/lacheck/lacheck.l"
{ linecount(); }
YY_BREAK
case 77:
/* rule 77 can match eol */
YY_RULE_SETUP
#line 702 "../../../utils/lacheck/lacheck.l"
{
{
linecount();
printf("\"%s\", line %d: Fontspecifiers don't take arguments. \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
/* (void) input(); */
BEGIN(INITIAL);
}}
YY_BREAK
case 78:
YY_RULE_SETUP
#line 712 "../../../utils/lacheck/lacheck.l"
{
{
printf("\"%s\", line %d: Do not use @ in LaTeX macro names. \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
}}
YY_BREAK
case 79:
/* rule 79 can match eol */
YY_RULE_SETUP
#line 719 "../../../utils/lacheck/lacheck.l"
{
{
linecount();
printf("\"%s\", line %d: Use ` to begin quotation, not ' \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
BEGIN(INITIAL);
}}
YY_BREAK
case 80:
YY_RULE_SETUP
#line 728 "../../../utils/lacheck/lacheck.l"
{
{
printf("\"%s\", line %d: Use ' to end quotation, not ` \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
BEGIN(INITIAL);
}}
YY_BREAK
case 81:
/* rule 81 can match eol */
YY_RULE_SETUP
#line 737 "../../../utils/lacheck/lacheck.l"
{
{
printf("\"%s\", line %d: Whitespace before punctation mark in \"%s\"\n",
file_name, line_count, yytext);
++warn_count;
linecount();
BEGIN(INITIAL);
}}
YY_BREAK
case 82:
YY_RULE_SETUP
#line 746 "../../../utils/lacheck/lacheck.l"
{ BEGIN(COMMENT); }
YY_BREAK
case 83:
/* rule 83 can match eol */
YY_RULE_SETUP
#line 748 "../../../utils/lacheck/lacheck.l"
{ BEGIN(INITIAL); ++line_count; }
YY_BREAK
case 84:
YY_RULE_SETUP
#line 750 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 85:
YY_RULE_SETUP
#line 753 "../../../utils/lacheck/lacheck.l"
{ BEGIN(INCLUDE); }
YY_BREAK
case 86:
YY_RULE_SETUP
#line 755 "../../../utils/lacheck/lacheck.l"
{
{
if ( strstr(yytext,".sty") == NULL )
{
printf("** %s:\n", yytext);
input_file(yytext);
}
else
{
printf("\"%s\", line %d: Style file `%s\' omitted.\n",
file_name,
line_count,
yytext);
input();
}
BEGIN(INITIAL);
}}
YY_BREAK
case 87:
/* rule 87 can match eol */
*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */
YY_LINENO_REWIND_TO(yy_bp + 9);
(yy_c_buf_p) = yy_cp = yy_bp + 9;
YY_DO_BEFORE_ACTION; /* set up yytext again */
#line 774 "../../../utils/lacheck/lacheck.l"
YY_RULE_SETUP
case YY_STATE_EOF(INITIAL):
YY_RULE_SETUP
case YY_STATE_EOF(B_ENVIRONMENT):
YY_RULE_SETUP
case YY_STATE_EOF(E_ENVIRONMENT):
YY_RULE_SETUP
case YY_STATE_EOF(VERBATIM):
YY_RULE_SETUP
case YY_STATE_EOF(INCLUDE):
YY_RULE_SETUP
case YY_STATE_EOF(MATH):
YY_RULE_SETUP
case YY_STATE_EOF(COMMENT):
YY_RULE_SETUP
case YY_STATE_EOF(VERB):
YY_RULE_SETUP
case YY_STATE_EOF(DEF):
YY_RULE_SETUP
case YY_STATE_EOF(AFTER_DISPLAY):
YY_RULE_SETUP
case YY_STATE_EOF(ENV_DEF):
YY_RULE_SETUP
case YY_STATE_EOF(ICOR):
YY_RULE_SETUP
case YY_STATE_EOF(GETICOR):
#line 774 "../../../utils/lacheck/lacheck.l"
{
if (def_count != 0)
{
printf("\"%s\", line %d: %d missing right brace(s).\n",
file_name,
line_count,
def_count);
}
if (--istackp < 0)
yyterminate();
else
{
fclose(yyin);
f_checkend(file_name);
yy_switch_to_buffer(istack[istackp].stream);
free(file_name);
line_count = istack[istackp].linenum;
file_name = istack[istackp].name;
input();
BEGIN(INITIAL);
}
}
YY_BREAK
case 88:
YY_RULE_SETUP
#line 801 "../../../utils/lacheck/lacheck.l"
{ ; }
YY_BREAK
case 89:
YY_RULE_SETUP
#line 802 "../../../utils/lacheck/lacheck.l"
ECHO;
YY_BREAK
#line 3486 "../../../utils/lacheck/lacheck.c"
case YY_END_OF_BUFFER:
{
/* Amount of text matched not including the EOB char. */
int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
/* Undo the effects of YY_DO_BEFORE_ACTION. */
*yy_cp = (yy_hold_char);
YY_RESTORE_YY_MORE_OFFSET
if ( YY_CURRENT_BUFFER_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_c_buf_p);
goto yy_find_action;
}
}
else switch ( yy_get_next_buffer( ) )
{
case EOB_ACT_END_OF_FILE:
{
(yy_did_buffer_switch_on_eof) = 0;
if ( yywrap( ) )
{
/* Note: because we've taken care in
* yy_get_next_buffer() to have set up
* yytext, we can now set up
* yy_c_buf_p so that if some total
* hoser (like flex itself) wants to
* call the scanner after we return the
* YY_NULL, it'll still work - another
* YY_NULL will get returned.
*/
(yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
yy_act = YY_STATE_EOF(YY_START);
goto do_action;
}
else
{
if ( ! (yy_did_buffer_switch_on_eof) )
YY_NEW_FILE;
}
break;
}
case EOB_ACT_CONTINUE_SCAN:
(yy_c_buf_p) =
(yytext_ptr) + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state( );
yy_cp = (yy_c_buf_p);
yy_bp = (yytext_ptr) + YY_MORE_ADJ;
goto yy_match;
case EOB_ACT_LAST_MATCH:
(yy_c_buf_p) =
&YY_CURRENT_BUFFER_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 user's declarations */
} /* 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)
{
char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
char *source = (yytext_ptr);
yy_size_t 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 = (yy_size_t) ((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. */
YY_FATAL_ERROR(
"input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
}
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)
{
yy_state_type yy_current_state;
char *yy_cp;
yy_current_state = (yy_start);
yy_current_state += YY_AT_BOL();
(yy_state_ptr) = (yy_state_buf);
*(yy_state_ptr)++ = yy_current_state;
for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
{
YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 972 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
*(yy_state_ptr)++ = yy_current_state;
}
return yy_current_state;
}
/* yy_try_NUL_trans - try to make a transition on the NUL character
*
* synopsis
* next_state = yy_try_NUL_trans( current_state );
*/
static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
{
int yy_is_jam;
YY_CHAR yy_c = 1;
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
if ( yy_current_state >= 972 )
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 == 971);
if ( ! yy_is_jam )
*(yy_state_ptr)++ = yy_current_state;
return yy_is_jam ? 0 : yy_current_state;
}
#ifndef YY_NO_UNPUT
static void yyunput (int c, char * yy_bp )
{
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. */
yy_size_t number_to_move = (yy_n_chars) + 2;
char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
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;
}
#endif
#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);
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = (c == '\n');
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 = (yy_size_t)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; // After all that talk, this was set to 1 anyways...
(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. */
yy_size_t 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;
yy_size_t 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 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;
(yy_state_buf) = 0;
(yy_state_ptr) = 0;
(yy_full_match) = 0;
(yy_lp) = 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;
yyfree ( (yy_state_buf) );
(yy_state_buf) = 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 )
{
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 )
{
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 802 "../../../utils/lacheck/lacheck.l"
static void print_version (void)
{
printf("%s (TeX Live) %s\n", PROGNAME, "1.30");
puts("$Id: lacheck.l 63190 2022-04-30 22:15:57Z karl $");
printf("License GPLv1+: GNU GPL version 1 or later");
puts(" <
https://gnu.org/licenses/gpl.html>.");
puts("This is free software: you are free to change and redistribute it.");
puts("There is NO WARRANTY, to the extent permitted by law.");
puts("Written by Kresten Krab Thorup and Per Abrahamsen.");
}
static void print_help (void)
{
printf("Usage: lacheck FILENAME[.tex]\n");
printf("A consistency checker for LaTeX documents.\n\n");
printf("Document context is displayed in \"double quotes\".\n");
printf("All messages are only warnings!\n");
printf("Your document may be right even though LaCheck says");
printf(" otherwise.\n\n");
print_version();
printf("\nEmail bug reports to
[email protected].\n");
}
int main(int argc, char *argv[])
{
/* allocate initial stacks */
gstack = (tex_group *)malloc(gstack_size * sizeof(tex_group));
istack = (input_ *)malloc(istack_size * sizeof(input_));
if ( gstack == NULL || istack == NULL ) {
fprintf(stderr, "%s: not enough memory for stacks\n", PROGNAME);
exit(3);
}
if (argc == 2)
{
if (strcmp(argv[1], "--help") == 0) {
print_help();
exit(0);
} else if (strcmp(argv[1], "--version") == 0) {
print_version();
exit(0);
}
if ( (file_name = (char*) malloc(strlen(argv[1]) + 5)) == NULL ) {
fprintf(stderr, "%s: out of memory\n", PROGNAME);
exit(3);
}
strcpy(file_name, argv[1]);
strcat(file_name, ".tex" );
if ((yyin = fopen( file_name, "r")) != NULL )
{
push(file_name, 3, 1);
yylex();
f_checkend(file_name);
}
else {
file_name[strlen(file_name) - 4] = '\0';
if ((yyin = fopen( file_name, "r")) != NULL )
{
push(file_name, 3, 1);
yylex();
f_checkend(file_name);
}
else
{
fprintf(stderr, "%s: Could not open ",PROGNAME);
perror(argv[1]);
exit(1);
}
}
/* printf("%s checked.\n", argv[1]); */
}
else
{
printf("Usage: lacheck FILENAME[.tex]\n");
printf("Try 'lacheck --help' for more information.\n");
exit(1);
}
return(0);
}
int yywrap(void) { return 1; }
#ifdef NEED_STRSTR
char *
strstr(string, substring)
register char *string; /* String to search. */
char *substring; /* Substring to try to find in string. */
{
register char *a, *b;
/* First scan quickly through the two strings looking for a
* single-character match. When it's found, then compare the
* rest of the substring.
*/
b = substring;
if (*b == 0) {
return string;
}
for ( ; *string != 0; string += 1) {
if (*string != *b) {
continue;
}
a = string;
while (1) {
if (*b == 0) {
return string;
}
if (*a++ != *b++) {
break;
}
}
b = substring;
}
return (char *) 0;
}
#endif /* NEED_STRSTR */
void push(const char *p_name, int p_type, int p_line)
{
if ( gstackp == gstack_size ) { /* extend stack */
gstack_size *= 2;
gstack = (tex_group *)realloc(gstack, gstack_size * sizeof(tex_group));
if ( gstack == NULL ) {
fprintf(stderr, "%s: stack out of memory", PROGNAME);
exit(3);
}
}
if ( (gstack[gstackp].s_name =
(char *)malloc(strlen(p_name) + 1)) == NULL ||
(gstack[gstackp].s_file =
(char *)malloc(strlen(file_name) + 1)) == NULL ) {
fprintf(stderr, "%s: out of memory\n", PROGNAME);
exit(3);
}
strcpy(gstack[gstackp].s_name, p_name);
gstack[gstackp].s_type = p_type;
gstack[gstackp].s_line = p_line;
gstack[gstackp].italic = ( (p_type == 4 || p_type == 5)
? 1
: ( gstackp
? gstack[gstackp - 1].italic
: 0));
strcpy(gstack[gstackp].s_file,file_name);
++gstackp;
}
void input_file(char *file_nam)
{
char *tmp_file_name;
FILE *tmp_yyin;
if ( (tmp_file_name = (char*) malloc(strlen(file_nam) + 5)) == NULL ) {
fprintf(stderr, "%s: out of memory\n", PROGNAME);
exit(3);
}
strcpy(tmp_file_name,file_nam);
if (istackp == istack_size) { /* extend stack */
istack_size *= 2;
istack = (input_ *)realloc(istack, istack_size * sizeof(input_));
if ( istack == NULL ) {
fprintf(stderr, "%s: \\input stack out of memory\n", PROGNAME);
exit(3);
}
}
istack[istackp].stream = YY_CURRENT_BUFFER;
istack[istackp].linenum = line_count;
istack[istackp].name = file_name;
++istackp;
(void) strcat(tmp_file_name, ".tex");
if ((tmp_yyin = fopen( tmp_file_name, "r")) != NULL )
{
yyin = tmp_yyin;
yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE));
file_name = tmp_file_name;
push(file_name, 3, 1);
line_count = 1;
}
else {
tmp_file_name[strlen(tmp_file_name) - 4] = '\0';
if ((tmp_yyin = fopen( tmp_file_name , "r")) != NULL )
{
yyin = tmp_yyin;
yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE));
file_name = tmp_file_name;
push(file_name, 3, 1);
line_count = 1;
}
else
{
--istackp;
free(tmp_file_name);
printf("\"%s\", line %d: Could not open \"%s\"\n",
file_name,
line_count,
file_nam);
input();
}
}
}
void pop(void)
{
if ( gstackp == 0 )
{
fprintf(stderr, "%s: Stack underflow\n", PROGNAME);
exit(4);
}
--gstackp;
free(gstack[gstackp].s_name);
free(gstack[gstackp].s_file);
}
static void print_bg_command(char *name)
{
switch (CG_TYPE) {
case 2:
printf("\\begin{%s}", name);
break;
case 3:
printf("beginning of file %s", name);
break;
case 4:
printf("math begin %s", name);
break;
case 5:
printf("display math begin %s", name);
break;
default:
printf("%s", name);
}
}
static void print_eg_command(char *name, int type)
{
switch (type) {
case 2:
printf("\\end{%s}", name);
break;
case 3:
printf("end of file %s", name);
break;
case 4:
printf("math end %s", name);
break;
case 5:
printf("display math end %s", name);
break;
default:
printf("%s", name);
break;
}
}
void g_checkend(int n)
{
if ( check_top_level_end(yytext,n) == 1 )
{
if ( CG_TYPE != n )
print_bad_match(yytext,n);
else
pop();
}
}
void e_checkend(int n, char *name)
{
if ( check_top_level_end(name,n) == 1 )
{
if ( CG_TYPE != n || strcmp( CG_NAME, name ) != 0 )
print_bad_match(name,n);
if ( CG_TYPE != 3 )
pop();
}
}
void f_checkend(char *name)
{
if ( check_top_level_end(name,3) == 1 )
{
if ( CG_TYPE != 3 || strcmp( CG_NAME, name ) != 0 )
while( CG_TYPE != 3 )
{
print_bad_match(name,3);
pop();
}
pop();
}
}
void print_bad_match(char *end_command, int type)
{
printf("\"%s\", line %d: <- unmatched \"",
file_name,
line_count);
print_eg_command(end_command, type);
printf("\"\n");
printf("\"%s\", line %d: -> unmatched \"",
CG_FILE,
CG_LINE);
print_bg_command(CG_NAME);
printf("\"\n");
warn_count += 2;
}
int check_top_level_end(char *end_command, int type)
{
if ( gstackp == 0 )
{
printf("\"%s\", line %d: \"",
file_name,
line_count);
print_eg_command(end_command, type);
printf("\" found at top level\n");
++warn_count;
return(0);
}
else
return(1);
}
void linecount(void)
{
int i;
for (i = 0; i < yyleng; i++)
if(yytext[i] == '\n')
line_count++;
}
