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