f s x y b f g h x y i y g h x g x g s x s x g 0 s 0 h 0 a i 0 b i s y i y f 3 s 1 b 0 g 1 h 1 i 1 0 0 a 0 INNERMOST ./TRS/Thiemann/innermost5.trs