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