; @origtpdbfilename ./TRS/secret06/matchbox/gen-17.trs
; @xtcfilename "./TRS_Standard/Secret_06_TRS/gen-17.xml"
(format TRS)
(fun f 1)
(fun c 3)
(fun a 0)
(fun b 2)
(rule (f (c (c a y a) (b x z) a)) (b y (f (c (f a) z z))))
(rule (f (b (b x (f y)) z)) (c z x (f (b (b (f a) y) y))))
(rule (c (b a a) (b y z) x) (b a (b z z)))