#define MININDEX 80
char* ndtab[]= {
	"texcomm",
	"tidentifier",
	"tgate_declaration",
	"tterm_expression",
	"tvalue_expression_list",
	"tactual_gate_list",
	"texit_entry_list",
	"tidentifier_declaration_list",
	"texperiment_offer",
	"tselection_predicate",
	"texperiment_offer_list",
	"tgate_identifier",
	"taction_denotation",
	"tprocess_instantiation",
	"tatomic_expression",
	"taction_prefix_expression",
	"tguarded_expression",
	"tchoice_expression",
	"tparallel_expression",
	"tdisable_expression",
	"tenable_operator",
	"tenable_expression",
	"tgate_list",
	"tparallel_operator",
	"tgate_declarations",
	"tidentifier_declaration",
	"tidentifier_equation",
	"tidentifier_equations",
	"thiding_expression",
	"tpar_expression",
	"tsum_expression",
	"tlocal_definition_expression",
	"texit_list",
	"tgate_declaration_list",
	"tfunctionality_list",
	"tvalue_parameter_list",
	"tgate_parameter_list",
	"tprocess_identifier",
	"tvalue_expression",
	"timplicit_true",
	"tpremisses",
	"tsimple_equation",
	"tequation",
	"teqn_list",
	"tequation_list",
	"toperation_descriptor",
	"targument_list",
	"tdescriptor_list",
	"tsort_id_comm",
	"tequation_lists",
	"tidentifier_declarations",
	"toperation",
	"toperation_identifier",
	"tsort_identifier",
	"toperation_pair",
	"tsort_pair",
	"toperation_pair_list",
	"tsort_pair_list",
	"tequations",
	"toperations",
	"tsorts",
	"tformal_equations",
	"tformal_operations",
	"tformal_sorts",
	"treplacement",
	"tp_specification",
	"ttype_union",
	"tp_expression",
	"ttype_identifier",
	"tlibrary_declaration",
	"ttype_definition",
	"tprocess_definition",
	"tlocal_definitions",
	"tdefinition_block",
	"texecutable_comment_list",
	"tformal_parameter_list",
	"tspecification_identifier",
	"tdata_type_definitions",
	"tspecification",
	"tNULL",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"",
	"SPECIFICATION",
	"BEHAVIOUR",
	"ENDSPEC",
	"WHERE",
	"LIBRARY",
	"ENDLIB",
	"STYPE",
	"IS",
	"ENDTYPE",
	"ACTUALIZEDBY",
	"USING",
	"RENAMEDBY",
	"FORMALSORTS",
	"FORMALOPNS",
	"FORMALEQNS",
	"SORTS",
	"OPNS",
	"EQNS",
	"SORTNAMES",
	"OPNNAMES",
	"FOR",
	"FORALL",
	"ARROW",
	"OFSORT",
	"IMPLICATION",
	"PROCESS",
	"DEFINITION",
	"ENDPROC",
	"EXIT",
	"NOEXIT",
	"LET",
	"IN",
	"CHOICE",
	"FAT_BAR",
	"PAR",
	"SYNCHRONIZATION",
	"INTERLEAVING",
	"LEFT_PAR",
	"RIGHT_PAR",
	"HIDE",
	"ENABLE",
	"ACCEPT",
	"DISABLE",
	"I",
	"STOP",
	"ANY",
	"OF",
	"IDENTIFIER",
	"SPECIAL",
	"EXCOMM"
	};
