f b x y f x b y f x a y f a x y f x y f a x y f x y f x b y a 1 b 1 f 2 FULL ./TRS/relative/rt3-7.trs