; @origtpdbfilename ./TRS/HM/t006.trs
; @xtcfilename "./TRS_Standard/HirokawaMiddeldorp_04/t006.xml"
(format TRS)
(fun f 2)
(fun g 2)
(rule (f (g x y) (f y y)) (f (g y x) y))