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