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