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