; @origtpdbfilename ./TRS/D33/33.trs
; @xtcfilename "./TRS_Standard/Der95/33.xml"
(format TRS)
(fun h 2)
(fun e 1)
(fun c 1)
(fun d 2)
(fun g 2)
(fun |0| 0)
(rule (h z (e x)) (h (c z) (d z x)))
(rule (d z (g |0| |0|)) (e |0|))
(rule (d z (g x y)) (g (e x) (d z y)))
(rule (d (c z) (g (g x y) |0|)) (g (d (c z) (g x y)) (d z (g x y))))
(rule (g (e x) (e y)) (e (g x y)))