plus x 0 x plus x x x plus T x x T x plus T plus x y x T plus x y L T x L x L plus T y x plus L plus x y L y T T x T x T plus T y x plus T plus x y T y plus 2 AC 0 0 T 1 L 1 FULL ./TRS/AProVE_AC/AC16.trs