f x f y a f a f f x a y f 2 a 0 INNERMOST ./TRS/Waldmann/jwno5.trs