# define _specification_1 1
# define _object_1 2
# define _object_2 3
# define _definition_1 4
# define _test_case_block_1 5
# define _test_case_block_2 6
# define _local_definition_list_1 7
# define _local_definition_1 8
# define _local_definition_2 9
# define _matrix_1 10
# define _test_case_list_1 11
# define _test_case_1 12
# define _test_case_2 13
# define _assertion_1 14
# define _assertion_2 15
# define _assertion_3 16
# define _set_declaration_list_1 17
# define _set_declaration_1 18
# define _set_declaration_2 19
# define _premisses_1 20
# define _premiss_1 21
# define _premiss_2 22
# define _simple_equation_1 23
# define _value_expression_1 24
# define _value_expression_2 25
# define _term_expression_1 26
# define _term_expression_2 27
# define _term_expression_3 28
# define _value_expression_list_1 29
# define _identifier_declaration_1 30
# define _identifier_declaration_list_1 31
# define _sort_identifier_1 32
# define _operation_identifier_1 33
# define _operation_identifier_2 34
# define _identifier_1 35
# define _identifier_decl_1 36
# define LAST_RULE 36
