f s s s s s s s s x y y f id s s s s s s s s x y y id s x s id x id 0 0 f 3 s 1 id 1 0 0 FULL ./TRS/Thiemann/nonterm.trs