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