f s x y f x s s x f x s s y f y x f 2 s 1 FULL ./TRS/Zantema06/test1.trs