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