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