; @origtpdbfilename ./TRS/D33/02.trs
; @xtcfilename "./TRS_Standard/Der95/02.xml"
(format TRS)
(fun . 2)
(fun |1| 0)
(fun i 1)
(rule (. |1| x) x)
(rule (. x |1|) x)
(rule (. (i x) x) |1|)
(rule (. x (i x)) |1|)
(rule (i |1|) |1|)
(rule (i (i x)) x)
(rule (. (i y) (. y z)) z)
(rule (. y (. (i y) z)) z)