times x 0 0 times x s y plus times x y x plus x 0 x plus 0 x x plus x s y s plus x y plus s x y s plus x y times 2 AC 0 0 s 1 plus 2 AC FULL ./TRS/AProVE_AC/AC48.trs