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