0 S S plus S x x plus 0 x 0 y 0 plus x y plus 0 x 1 y 1 plus x y plus 0 x j y j plus x y plus 1 x 1 y j plus 1 S plus x y plus j x j y 1 plus j S plus x y plus 1 x j y 0 plus x y opp S S opp 0 x 0 opp x opp 1 x j opp x opp j x 1 opp x minus x y plus opp y x times S x S times 0 x y 0 times x y times 1 x y plus 0 times x y y times j x y minus 0 times x y y 0 1 S 0 plus 2 AC 1 1 j 1 opp 1 minus 2 times 2 AC FULL ./TRS/AProVE_AC/AC18.trs