; @xtcfilename "./TRS_Relative/INVY_15/ex6.xml"
(format TRS)
(fun a 0)
(fun b 0)
(fun c 2)
(fun d 0)
(rule a b)
(rule d (c a d) :cost 0)