f x f a y f f y f f a a a x f 2 a 0 FULL ./TRS/HofWald/4.trs