; @origtpdbfilename TRS//AProVE_10/Zantema06-03-modified.trs
; @xtcfilename "./TRS_Standard/AProVE_10/Zantema06-03-modified.xml"
(format TRS)
(fun a 1)
(fun b 1)
(fun c 1)
(fun dup 1)
(fun |A'| 1)
(fun collapse 2)
(rule (a (a (b (b x)))) (b (b (b (a (a (a x)))))))
(rule (a (c x)) (c (a x)))
(rule (c (b x)) (b (c x)))
(rule (dup (|A'| (a (b (b x))))) (collapse (|A'| (a x)) (|A'| (a x))))
(rule (collapse x y) (dup x))
(rule (collapse x y) (dup y))