f a x y s z u f a b y z g x y s z u g x y z u h x y z u h b y z u f y y z u a b c f 4 a 1 s 1 b 0 g 4 h 4 c 0 INNERMOST ./TRS/Thiemann/innermost4.trs