f a f b x f b f a x f b f c x f c f b x f c f a x f a f c x f 2 a 0 b 0 c 0 FULL ./TRS/Zantema/z25.trs