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