; @origtpdbfilename ./TRS/SK90/4.32.trs
; @xtcfilename "./TRS_Standard/SK90/4.32.xml"
(format TRS)
(fun a 1)
(fun b 1)
(fun c 1)
(fun u 1)
(fun v 1)
(fun w 1)
(rule (a (b x)) (b (a (a x))))
(rule (b (c x)) (c (b (b x))))
(rule (c (a x)) (a (c (c x))))
(rule (u (a x)) x)
(rule (v (b x)) x)
(rule (w (c x)) x)
(rule (a (u x)) x)
(rule (b (v x)) x)
(rule (c (w x)) x)