f a x y g x y g x y h x y h b y f y y a b c f 2 a 1 g 2 h 2 b 0 c 0 INNERMOST ./TRS/Thiemann/innermost3.trs