0 S S plus x S x plus 0 x 0 y 0 plus x y plus 0 x 1 y 1 plus x y plus 1 x 1 y 0 1 plus plus x y S times x S S times x 0 y 0 times x y times x 1 y plus x 0 times x y 0 1 S 0 plus 2 AC 1 1 times 2 AC FULL ./TRS/AProVE_AC/AC17.trs