a a f x y f a b a b a x a b a b a y f a x a y a f x y f b x b y b f x y a 1 f 2 b 1 FULL ./TRS/Zantema/z26.trs