minus x 0 x minus s x s y minus x y quot 0 s y 0 quot s x s y s quot minus x y s y minus 2 0 0 s 1 quot 2 FULL ./TRS/AG01/#3.1.trs