f x c y f x s f y y f s x s y f x s c s y f 2 c 1 s 1 FULL ./TRS/nontermin/AG01/#4.32.trs