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