f y f x y f f a y f a x f 2 a 0 INNERMOST ./TRS/secret06/tpa02.trs