f f a b x f b f a f c f b f a x f x f y z f f x y z f 2 a 0 b 0 c 0 FULL ./TRS/Zantema/z20.trs