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