plus x 0 x plus x i x 0 i 0 0 i i x x i plus x y plus i x i y times x plus y z plus times x y times x z times x 0 0 times x i y i times x y plus 2 AC 0 0 i 1 times 2 AC FULL ./TRS/AProVE_AC/AC13.trs