#include <stdio.h>
# define U(x) x
# define NLSTATE yyprevious=YYNEWLINE
# define BEGIN yybgin = yysvec + 1 +
# define INITIAL 0
# define YYLERR yysvec
# define YYSTATE (yyestate-yysvec-1)
# define YYOPTIM 1
# define YYLMAX BUFSIZ
#ifndef __cplusplus
# define output(c) (void)putc(c,yyout)
#else
# define lex_output(c) (void)putc(c,yyout)
#endif

#if defined(__cplusplus) || defined(__STDC__)

#if defined(__cplusplus) && defined(__EXTERN_C__)
extern "C" {
#endif
	int yyback(int *, int);
	int yyinput(void);
	int yylook(void);
	void yyoutput(int);
	int yyracc(int);
	int yyreject(void);
	void yyunput(int);
	int yylex(void);
#ifdef YYLEX_E
	void yywoutput(wchar_t);
	wchar_t yywinput(void);
#endif
#ifndef yyless
	void yyless(int);
#endif
#ifndef yywrap
	int yywrap(void);
#endif
#ifdef LEXDEBUG
	void allprint(char);
	void sprint(char *);
#endif
#if defined(__cplusplus) && defined(__EXTERN_C__)
}
#endif

#ifdef __cplusplus
extern "C" {
#endif
	void exit(int);
#ifdef __cplusplus
}
#endif

#endif
# define unput(c) {yytchar= (c);if(yytchar=='\n')yylineno--;*yysptr++=yytchar;}
# define yymore() (yymorfg=1)
#ifndef __cplusplus
# define input() (((yytchar=yysptr>yysbuf?U(*--yysptr):getc(yyin))==10?(yylineno++,yytchar):yytchar)==EOF?0:yytchar)
#else
# define lex_input() (((yytchar=yysptr>yysbuf?U(*--yysptr):getc(yyin))==10?(yylineno++,yytchar):yytchar)==EOF?0:yytchar)
#endif
#define ECHO fprintf(yyout, "%s",yytext)
# define REJECT { nstr = yyreject(); goto yyfussy;}
int yyleng; extern char yytext[];
int yymorfg;
extern char *yysptr, yysbuf[];
int yytchar;
FILE *yyin = {stdin}, *yyout = {stdout};
extern int yylineno;
struct yysvf { 
	struct yywork *yystoff;
	struct yysvf *yyother;
	int *yystops;};
struct yysvf *yyestate;
extern struct yysvf yysvec[], *yybgin;
#include "fst.h"
# define YYNEWLINE 10
yylex(){
int nstr; extern int yyprevious;
#ifdef __cplusplus
/* to avoid CC and lint complaining yyfussy not being used ...*/
static int __lex_hack = 0;
if (__lex_hack) goto yyfussy;
#endif
while((nstr = yylook()) >= 0)
yyfussy: switch(nstr){
case 0:
if(yywrap()) return(0); break;
case 1:

# line 10 "lexer.l"
		return (STATE);
break;
case 2:

# line 11 "lexer.l"
		return (INCLUDE);
break;
case 3:

# line 12 "lexer.l"
		return (MACHINE);
break;
case 4:

# line 13 "lexer.l"
		return (OTHERS);
break;
case 5:

# line 14 "lexer.l"
		return (KREJECT);
break;
case 6:

# line 15 "lexer.l"
		return (SUBSET);
break;
case 7:

# line 16 "lexer.l"
	return (REJECTING);
break;
case 8:

# line 17 "lexer.l"
	;
break;
case 9:

# line 18 "lexer.l"
		;
break;
case 10:

# line 19 "lexer.l"
	{ yytext[strlen(yytext) - 1] = 0; strconst = yytext+1; return STRCONST; }
break;
case 11:

# line 20 "lexer.l"
		{ lexical = yytext; surface=(char *)index(yytext,':'); *surface++ = 0; return PAIR; }
break;
case 12:

# line 21 "lexer.l"
		{ statename = yytext; return STATENAME; }
break;
case 13:

# line 22 "lexer.l"
		;
break;
case 14:

# line 23 "lexer.l"
		{ printf ("Ignoring: %d (%c)\n", yytext[0], yytext[0]); }
break;
case -1:
break;
default:
(void)fprintf(yyout,"bad switch yylook %d",nstr);
} return(0); }
/* end of yylex */
int yyvstop[] = {
0,

12,
14,
0,

13,
14,
0,

13,
0,

12,
14,
0,

9,
12,
14,
0,

14,
0,

12,
14,
0,

12,
14,
0,

12,
14,
0,

12,
14,
0,

12,
14,
0,

12,
14,
0,

12,
0,

12,
0,

10,
12,
0,

9,
12,
0,

9,
0,

9,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

11,
0,

10,
0,

11,
0,

10,
11,
0,

9,
11,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

1,
12,
0,

12,
0,

12,
0,

12,
0,

12,
0,

4,
12,
0,

5,
12,
0,

6,
12,
0,

12,
0,

2,
12,
0,

3,
12,
0,

12,
0,

12,
0,

12,
0,

8,
12,
0,

7,
12,
0,
0};
# define YYTYPE unsigned char
struct yywork { YYTYPE verify, advance; } yycrank[] = {
0,0,	0,0,	1,3,	18,18,	
0,0,	0,0,	3,15,	0,0,	
6,17,	0,0,	1,4,	1,5,	
21,0,	7,21,	3,0,	3,0,	
6,18,	6,18,	0,0,	9,0,	
9,0,	7,22,	7,0,	0,0,	
10,0,	10,0,	11,0,	11,0,	
12,0,	12,0,	14,0,	14,0,	
13,0,	13,0,	20,33,	1,6,	
18,32,	3,0,	1,7,	3,15,	
0,0,	6,19,	9,0,	15,0,	
15,0,	2,7,	7,21,	10,0,	
0,0,	11,0,	33,33,	12,0,	
0,0,	14,0,	0,0,	13,0,	
19,0,	19,0,	0,0,	1,8,	
18,18,	24,0,	24,0,	3,16,	
16,31,	6,20,	15,0,	20,34,	
0,0,	22,22,	7,23,	23,35,	
16,0,	16,0,	0,0,	0,0,	
25,0,	25,0,	22,0,	19,0,	
23,0,	0,0,	0,0,	33,34,	
24,0,	26,0,	26,0,	35,35,	
27,0,	27,0,	0,0,	20,18,	
0,0,	0,0,	0,0,	16,0,	
35,0,	16,31,	1,9,	25,0,	
0,0,	0,0,	22,22,	0,0,	
23,35,	2,9,	1,10,	33,18,	
26,0,	9,24,	1,11,	27,0,	
1,12,	2,10,	11,26,	1,13,	
1,14,	2,11,	0,0,	2,12,	
35,35,	16,0,	2,13,	2,14,	
13,28,	10,25,	22,22,	0,0,	
23,22,	28,0,	28,0,	29,0,	
29,0,	30,0,	30,0,	12,27,	
0,0,	14,29,	14,30,	31,0,	
31,0,	34,0,	34,0,	0,0,	
35,22,	36,0,	36,0,	37,0,	
37,0,	38,0,	38,0,	24,36,	
28,0,	0,0,	29,0,	0,0,	
30,0,	39,0,	39,0,	40,0,	
40,0,	0,0,	31,0,	0,0,	
34,0,	0,0,	25,37,	0,0,	
36,0,	0,0,	37,0,	0,0,	
38,0,	41,0,	41,0,	26,38,	
42,0,	42,0,	43,0,	43,0,	
39,0,	0,0,	40,0,	27,39,	
44,0,	44,0,	46,0,	46,0,	
31,0,	0,0,	34,0,	45,0,	
45,0,	47,0,	47,0,	0,0,	
41,0,	48,0,	48,0,	42,0,	
0,0,	43,0,	49,0,	49,0,	
50,0,	50,0,	0,0,	44,0,	
0,0,	46,0,	51,0,	51,0,	
52,0,	52,0,	45,0,	0,0,	
47,0,	53,0,	53,0,	29,41,	
48,0,	0,0,	30,42,	0,0,	
0,0,	49,0,	28,40,	50,0,	
0,0,	54,0,	54,0,	55,0,	
55,0,	51,0,	0,0,	52,0,	
0,0,	36,43,	56,0,	56,0,	
53,0,	57,0,	57,0,	0,0,	
38,45,	0,0,	37,44,	58,0,	
58,0,	39,46,	0,0,	40,47,	
54,0,	0,0,	55,0,	59,0,	
59,0,	0,0,	0,0,	0,0,	
0,0,	56,0,	60,0,	60,0,	
57,0,	61,0,	61,0,	62,0,	
62,0,	0,0,	58,0,	0,0,	
63,0,	63,0,	64,0,	64,0,	
65,0,	65,0,	59,0,	0,0,	
41,48,	43,50,	42,49,	47,54,	
0,0,	60,0,	0,0,	45,52,	
61,0,	48,55,	62,0,	46,53,	
44,51,	0,0,	49,56,	63,0,	
0,0,	64,0,	0,0,	65,0,	
0,0,	51,58,	66,0,	66,0,	
67,0,	67,0,	68,0,	68,0,	
69,0,	69,0,	0,0,	50,57,	
0,0,	52,59,	0,0,	70,0,	
70,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	0,0,	53,60,	
0,0,	66,0,	0,0,	67,0,	
0,0,	68,0,	0,0,	69,0,	
0,0,	0,0,	0,0,	0,0,	
54,61,	57,63,	70,0,	58,64,	
0,0,	0,0,	0,0,	0,0,	
0,0,	56,62,	0,0,	59,65,	
0,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	61,66,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	63,67,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	0,0,	0,0,	
0,0,	0,0,	67,69,	0,0,	
68,70,	0,0,	0,0,	66,68,	
0,0};
struct yysvf yysvec[] = {
0,	0,	0,
yycrank+-1,	0,		0,	
yycrank+-8,	yysvec+1,	0,	
yycrank+-5,	0,		yyvstop+1,
yycrank+0,	0,		yyvstop+4,
yycrank+0,	0,		yyvstop+7,
yycrank+-7,	0,		yyvstop+9,
yycrank+-12,	0,		yyvstop+12,
yycrank+0,	0,		yyvstop+16,
yycrank+-10,	yysvec+3,	yyvstop+18,
yycrank+-15,	yysvec+3,	yyvstop+21,
yycrank+-17,	yysvec+3,	yyvstop+24,
yycrank+-19,	yysvec+3,	yyvstop+27,
yycrank+-23,	yysvec+3,	yyvstop+30,
yycrank+-21,	yysvec+3,	yyvstop+33,
yycrank+-34,	yysvec+3,	yyvstop+36,
yycrank+-63,	0,		0,	
yycrank+0,	yysvec+6,	yyvstop+38,
yycrank+-2,	yysvec+6,	0,	
yycrank+-47,	yysvec+3,	yyvstop+40,
yycrank+-33,	yysvec+6,	0,	
yycrank+-2,	yysvec+7,	yyvstop+43,
yycrank+-68,	yysvec+7,	yyvstop+46,
yycrank+-70,	yysvec+7,	yyvstop+48,
yycrank+-52,	yysvec+3,	yyvstop+50,
yycrank+-67,	yysvec+3,	yyvstop+52,
yycrank+-76,	yysvec+3,	yyvstop+54,
yycrank+-79,	yysvec+3,	yyvstop+56,
yycrank+-120,	yysvec+3,	yyvstop+58,
yycrank+-122,	yysvec+3,	yyvstop+60,
yycrank+-124,	yysvec+3,	yyvstop+62,
yycrank+-130,	yysvec+16,	yyvstop+64,
yycrank+0,	0,		yyvstop+66,
yycrank+-49,	yysvec+6,	yyvstop+68,
yycrank+-132,	yysvec+16,	yyvstop+70,
yycrank+-86,	yysvec+7,	yyvstop+73,
yycrank+-136,	yysvec+3,	yyvstop+76,
yycrank+-138,	yysvec+3,	yyvstop+78,
yycrank+-140,	yysvec+3,	yyvstop+80,
yycrank+-148,	yysvec+3,	yyvstop+82,
yycrank+-150,	yysvec+3,	yyvstop+84,
yycrank+-164,	yysvec+3,	yyvstop+86,
yycrank+-167,	yysvec+3,	yyvstop+88,
yycrank+-169,	yysvec+3,	yyvstop+90,
yycrank+-175,	yysvec+3,	yyvstop+92,
yycrank+-182,	yysvec+3,	yyvstop+94,
yycrank+-177,	yysvec+3,	yyvstop+96,
yycrank+-184,	yysvec+3,	yyvstop+98,
yycrank+-188,	yysvec+3,	yyvstop+100,
yycrank+-193,	yysvec+3,	yyvstop+102,
yycrank+-195,	yysvec+3,	yyvstop+104,
yycrank+-201,	yysvec+3,	yyvstop+106,
yycrank+-203,	yysvec+3,	yyvstop+108,
yycrank+-208,	yysvec+3,	yyvstop+110,
yycrank+-220,	yysvec+3,	yyvstop+112,
yycrank+-222,	yysvec+3,	yyvstop+114,
yycrank+-229,	yysvec+3,	yyvstop+117,
yycrank+-232,	yysvec+3,	yyvstop+119,
yycrank+-238,	yysvec+3,	yyvstop+121,
yycrank+-246,	yysvec+3,	yyvstop+123,
yycrank+-253,	yysvec+3,	yyvstop+125,
yycrank+-256,	yysvec+3,	yyvstop+128,
yycrank+-258,	yysvec+3,	yyvstop+131,
yycrank+-263,	yysvec+3,	yyvstop+134,
yycrank+-265,	yysvec+3,	yyvstop+136,
yycrank+-267,	yysvec+3,	yyvstop+139,
yycrank+-293,	yysvec+3,	yyvstop+142,
yycrank+-295,	yysvec+3,	yyvstop+144,
yycrank+-297,	yysvec+3,	yyvstop+146,
yycrank+-299,	yysvec+3,	yyvstop+148,
yycrank+-306,	yysvec+3,	yyvstop+151,
0,	0,	0};
struct yywork *yytop = yycrank+403;
struct yysvf *yybgin = yysvec+1;
char yymatch[] = {
  0,   1,   1,   1,   1,   1,   1,   1, 
  1,   9,  10,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  9,   1,  34,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,  58,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
  1,   1,   1,   1,   1,   1,   1,   1, 
0};
char yyextra[] = {
0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,
0};
/*	Copyright (c) 1989 AT&T	*/
/*	  All Rights Reserved  	*/

/*	THIS IS UNPUBLISHED PROPRIETARY SOURCE CODE OF AT&T	*/
/*	The copyright notice above does not evidence any   	*/
/*	actual or intended publication of such source code.	*/

#ident "@(#)ncform 6.6 92/06/19 SMI"

int yylineno =1;
# define YYU(x) x
# define NLSTATE yyprevious=YYNEWLINE
char yytext[YYLMAX];
struct yysvf *yylstate [YYLMAX], **yylsp, **yyolsp;
char yysbuf[YYLMAX];
char *yysptr = yysbuf;
int *yyfnd;
extern struct yysvf *yyestate;
int yyprevious = YYNEWLINE;
#if defined(__cplusplus) || defined(__STDC__)
int yylook(void)
#else
yylook()
#endif
{
	register struct yysvf *yystate, **lsp;
	register struct yywork *yyt;
	struct yysvf *yyz;
	int yych, yyfirst;
	struct yywork *yyr;
# ifdef LEXDEBUG
	int debug;
# endif
	char *yylastch;
	/* start off machines */
# ifdef LEXDEBUG
	debug = 0;
# endif
	yyfirst=1;
	if (!yymorfg)
		yylastch = yytext;
	else {
		yymorfg=0;
		yylastch = yytext+yyleng;
		}
	for(;;){
		lsp = yylstate;
		yyestate = yystate = yybgin;
		if (yyprevious==YYNEWLINE) yystate++;
		for (;;){
# ifdef LEXDEBUG
			if(debug)fprintf(yyout,"state %d\n",yystate-yysvec-1);
# endif
			yyt = yystate->yystoff;
			if(yyt == yycrank && !yyfirst){  /* may not be any transitions */
				yyz = yystate->yyother;
				if(yyz == 0)break;
				if(yyz->yystoff == yycrank)break;
				}
#ifndef __cplusplus
			*yylastch++ = yych = input();
#else
			*yylastch++ = yych = lex_input();
#endif
			if(yylastch > &yytext[YYLMAX]) {
				fprintf(yyout,"Input string too long, limit %d\n",YYLMAX);
				exit(1);
			}
			yyfirst=0;
		tryagain:
# ifdef LEXDEBUG
			if(debug){
				fprintf(yyout,"char ");
				allprint(yych);
				putchar('\n');
				}
# endif
			yyr = yyt;
			if ( (int)yyt > (int)yycrank){
				yyt = yyr + yych;
				if (yyt <= yytop && yyt->verify+yysvec == yystate){
					if(yyt->advance+yysvec == YYLERR)	/* error transitions */
						{unput(*--yylastch);break;}
					*lsp++ = yystate = yyt->advance+yysvec;
					if(lsp > &yylstate[YYLMAX]) {
						fprintf(yyout,"Input string too long, limit %d\n",YYLMAX);
						exit(1);
					}
					goto contin;
					}
				}
# ifdef YYOPTIM
			else if((int)yyt < (int)yycrank) {		/* r < yycrank */
				yyt = yyr = yycrank+(yycrank-yyt);
# ifdef LEXDEBUG
				if(debug)fprintf(yyout,"compressed state\n");
# endif
				yyt = yyt + yych;
				if(yyt <= yytop && yyt->verify+yysvec == yystate){
					if(yyt->advance+yysvec == YYLERR)	/* error transitions */
						{unput(*--yylastch);break;}
					*lsp++ = yystate = yyt->advance+yysvec;
					if(lsp > &yylstate[YYLMAX]) {
						fprintf(yyout,"Input string too long, limit %d\n",YYLMAX);
						exit(1);
					}
					goto contin;
					}
				yyt = yyr + YYU(yymatch[yych]);
# ifdef LEXDEBUG
				if(debug){
					fprintf(yyout,"try fall back character ");
					allprint(YYU(yymatch[yych]));
					putchar('\n');
					}
# endif
				if(yyt <= yytop && yyt->verify+yysvec == yystate){
					if(yyt->advance+yysvec == YYLERR)	/* error transition */
						{unput(*--yylastch);break;}
					*lsp++ = yystate = yyt->advance+yysvec;
					if(lsp > &yylstate[YYLMAX]) {
						fprintf(yyout,"Input string too long, limit %d\n",YYLMAX);
						exit(1);
					}
					goto contin;
					}
				}
			if ((yystate = yystate->yyother) && (yyt= yystate->yystoff) != yycrank){
# ifdef LEXDEBUG
				if(debug)fprintf(yyout,"fall back to state %d\n",yystate-yysvec-1);
# endif
				goto tryagain;
				}
# endif
			else
				{unput(*--yylastch);break;}
		contin:
# ifdef LEXDEBUG
			if(debug){
				fprintf(yyout,"state %d char ",yystate-yysvec-1);
				allprint(yych);
				putchar('\n');
				}
# endif
			;
			}
# ifdef LEXDEBUG
		if(debug){
			fprintf(yyout,"stopped at %d with ",*(lsp-1)-yysvec-1);
			allprint(yych);
			putchar('\n');
			}
# endif
		while (lsp-- > yylstate){
			*yylastch-- = 0;
			if (*lsp != 0 && (yyfnd= (*lsp)->yystops) && *yyfnd > 0){
				yyolsp = lsp;
				if(yyextra[*yyfnd]){		/* must backup */
					while(yyback((*lsp)->yystops,-*yyfnd) != 1 && lsp > yylstate){
						lsp--;
						unput(*yylastch--);
						}
					}
				yyprevious = YYU(*yylastch);
				yylsp = lsp;
				yyleng = yylastch-yytext+1;
				yytext[yyleng] = 0;
# ifdef LEXDEBUG
				if(debug){
					fprintf(yyout,"\nmatch ");
					sprint(yytext);
					fprintf(yyout," action %d\n",*yyfnd);
					}
# endif
				return(*yyfnd++);
				}
			unput(*yylastch);
			}
		if (yytext[0] == 0  /* && feof(yyin) */)
			{
			yysptr=yysbuf;
			return(0);
			}
#ifndef __cplusplus
		yyprevious = yytext[0] = input();
		if (yyprevious>0)
			output(yyprevious);
#else
		yyprevious = yytext[0] = lex_input();
		if (yyprevious>0)
			lex_output(yyprevious);
#endif
		yylastch=yytext;
# ifdef LEXDEBUG
		if(debug)putchar('\n');
# endif
		}
	}
#if defined(__cplusplus) || defined(__STDC__)
int yyback(int *p, int m)
#else
yyback(p, m)
	int *p;
#endif
{
	if (p==0) return(0);
	while (*p) {
		if (*p++ == m)
			return(1);
	}
	return(0);
}
	/* the following are only used in the lex library */
#if defined(__cplusplus) || defined(__STDC__)
int yyinput(void)
#else
yyinput()
#endif
{
#ifndef __cplusplus
	return(input());
#else
	return(lex_input());
#endif
	}
#if defined(__cplusplus) || defined(__STDC__)
void yyoutput(int c)
#else
yyoutput(c)
  int c; 
#endif
{
#ifndef __cplusplus
	output(c);
#else
	lex_output(c);
#endif
	}
#if defined(__cplusplus) || defined(__STDC__)
void yyunput(int c)
#else
yyunput(c)
   int c; 
#endif
{
	unput(c);
	}