# define module_1 1
# define module_2 2
# define _specification_1 3
# define _specification_2 4
# define _specification_3 5
# define _specification_4 6
# define _definition_block_1 7
# define _local_definitions_1 8
# define local_definition_1 9
# define local_definition_2 10
# define _data_type_definitions_1 11
# define data_type_definition_1 12
# define data_type_definition_2 13
# define data_type_definition_3 14
# define _type_definition_1 15
# define _type_definition_2 16
# define _library_declaration_1 17
# define _p_expression_1 18
# define _p_expression_2 19
# define _p_expression_3 20
# define _type_union_1 21
# define _p_specification_1 22
# define _replacement_1 23
# define _sort_pair_list_1 24
# define _operation_pair_list_1 25
# define _sort_pair_1 26
# define _operation_pair_1 27
# define _formal_sorts_1 28
# define _formal_operations_1 29
# define _formal_equations_1 30
# define _sorts_1 31
# define _sort_id_comm_1 32
# define _operations_1 33
# define _operation_1 34
# define _descriptor_list_1 35
# define _operation_descriptor_1 36
# define _operation_descriptor_2 37
# define _argument_list_1 38
# define _equations_1 39
# define _equation_lists_1 40
# define _equation_list_1 41
# define _eqn_list_1 42
# define _equation_1 43
# define _equation_2 44
# define _equation_3 45
# define _premisses_1 46
# define premiss_1 47
# define premiss_2 48
# define _implicit_true_1 49
# define _simple_equation_1 50
# define _process_definition_1 51
# define _process_definition_2 52
# define _process_definition_3 53
# define _process_definition_4 54
# define _formal_parameter_list_1 55
# define _gate_parameter_list_1 56
# define _gate_parameter_list_2 57
# define _value_parameter_list_1 58
# define _value_parameter_list_2 59
# define _functionality_list_1 60
# define _functionality_list_2 61
# define _exit_list_1 62
# define behaviour_expression_1 63
# define behaviour_expression_2 64
# define behaviour_expression_3 65
# define behaviour_expression_4 66
# define behaviour_expression_5 67
# define _local_definition_expression_1 68
# define _local_definition_expression_2 69
# define _identifier_equations_1 70
# define _identifier_equation_1 71
# define _sum_expression_1 72
# define _sum_expression_2 73
# define sum_domain_expression_1 74
# define sum_domain_expression_2 75
# define _par_expression_1 76
# define _par_expression_2 77
# define par_domain_expression_1 78
# define _parallel_operator_1 79
# define _parallel_operator_2 80
# define _parallel_operator_3 81
# define _parallel_operator_4 82
# define _hiding_expression_1 83
# define hiding_operator_1 84
# define hiding_operator_2 85
# define enable_exp_1 86
# define enable_exp_2 87
# define _enable_expression_1 88
# define _enable_operator_1 89
# define disable_exp_1 90
# define disable_exp_2 91
# define _disable_expression_1 92
# define parallel_exp_1 93
# define parallel_exp_2 94
# define _parallel_expression_1 95
# define choice_exp_1 96
# define choice_exp_2 97
# define _choice_expression_1 98
# define guarded_exp_1 99
# define guarded_exp_2 100
# define _guarded_expression_1 101
# define guarded_operator_1 102
# define guard_1 103
# define guard_2 104
# define action_prfix_1 105
# define action_prfix_2 106
# define action_prfix_3 107
# define _action_prefix_expression_1 108
# define _action_denotation_1 109
# define _action_denotation_2 110
# define _action_denotation_3 111
# define _experiment_offer_list_1 112
# define _experiment_offer_1 113
# define _experiment_offer_2 114
# define _selection_predicate_1 115
# define _atomic_expression_1 116
# define _atomic_expression_2 117
# define _atomic_expression_3 118
# define _atomic_expression_4 119
# define _exit_entry_list_1 120
# define exit_entry_1 121
# define exit_entry_2 122
# define _process_instantiation_1 123
# define _actual_gate_list_1 124
# define _actual_gate_list_2 125
# define _value_expression_1 126
# define _value_expression_2 127
# define _term_expression_1 128
# define _term_expression_2 129
# define _term_expression_3 130
# define _value_expression_list_1 131
# define _identifier_declarations_1 132
# define _identifier_declaration_1 133
# define _gate_declarations_1 134
# define _gate_list_1 135
# define _gate_declaration_list_1 136
# define _gate_declaration_1 137
# define _identifier_declaration_list_1 138
# define _specification_identifier_1 139
# define _type_identifier_1 140
# define _sort_identifier_1 141
# define _operation_identifier_1 142
# define _operation_identifier_2 143
# define _process_identifier_1 144
# define _gate_identifier_1 145
# define _identifier_1 146
# define _executable_comment_list_1 147
# define _excomm_1 148
# define LAST_RULE 148
