f x f f f a a a a f f x a x f 2 a 0 FULL ./TRS/HofWald/3.trs