; @origtpdbfilename ./TRS/D33/30.trs
; @xtcfilename "./TRS_Standard/Der95/30.xml"
(format TRS)
(fun |:| 2)
(fun C 0)
(rule (|:| (|:| (|:| (|:| C x) y) z) u) (|:| (|:| x z) (|:| (|:| (|:| x y) z) u)))