# define _lbm_1 1
# define _BUT_definition_list_1 2
# define _BUT_definition_1 3
# define state_1 4
# define state_2 5
# define state_3 6
# define state_4 7
# define state_5 8
# define state_6 9
# define state_7 10
# define state_8 11
# define state_9 12
# define state_10 13
# define state_11 14
# define state_12 15
# define state_13 16
# define state_14 17
# define state_15 18
# define state_16 19
# define state_17 20
# define state_18 21
# define state_19 22
# define state_20 23
# define state_21 24
# define _let_exp_1 25
# define _var_choice_exp_1 26
# define _gate_choice_exp_1 27
# define _par_exp_full_synch_1 28
# define _par_exp_inter_1 29
# define _par_exp_expli_1 30
# define _hiding_exp_1 31
# define _enable_exp_1 32
# define _disable_exp_1 33
# define _parallel_full_synch_1 34
# define _parallel_interleaving_1 35
# define _parallel_explicit_1 36
# define _choice_exp_1 37
# define _guard_exp_1 38
# define _external_offer_1 39
# define _internal_action_1 40
# define _stop_exp_1 41
# define _exit_exp_1 42
# define _BUT_instantiation_1 43
# define _relabel_1 44
# define _call_1 45
# define _var_domain_list_1 46
# define _gate_domain_list_1 47
# define _gate_domain_1 48
# define _predicate_1 49
# define _ident_equation_list_1 50
# define _ident_equation_1 51
# define _experiment_list_1 52
# define experiment_1 53
# define experiment_2 54
# define _var_id_1 55
# define _value_exp_list_1 56
# define _value_exp_1 57
# define _annotation_list_1 58
# define _annotation_1 59
# define _exit_offer_list_1 60
# define exit_ent_1 61
# define exit_ent_2 62
# define _sort_id_1 63
