; @origtpdbfilename ./TRS/secret06/jambox/9.trs
; @xtcfilename "./TRS_Standard/Secret_06_TRS/9.xml"
(format TRS)
(fun a 2)
(fun b 2)
(fun |0| 0)
(fun c 1)
(rule (a x y) (b x (b |0| (c y))))
(rule (c (b y (c x))) (c (c (b (a |0| |0|) y))))
(rule (b y |0|) y)