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