minus x 0 x minus s x s y minus x y minus minus x y z minus x plus y z quot 0 s y 0 quot s x s y s quot minus x y s y plus 0 y y plus s x y s plus x y minus 2 0 0 s 1 plus 2 AC quot 2 FULL ./TRS/AProVE_AC/AC41.trs