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