f x f y a f a f f f x a a y f 2 a 0 FULL ./TRS/Waldmann/jwno8.trs