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