times plus x y z plus times x z times y z times z plus x f y times g z y plus x a times 2 AC plus 2 AC f 1 g 2 a 0 FULL ./TRS/AProVE_AC/AC52.trs