; @origtpdbfilename ./TRS/Endrullis/direct.trs
; @xtcfilename "./TRS_Standard/Endrullis_06/direct.xml"
(format TRS)
(fun h 2)
(fun c 2)
(fun s 1)
(fun |0| 0)
(rule (h x (c y z)) (h (c (s y) x) z))
(rule (h (c (s x) (c (s |0|) y)) z) (h y (c (s |0|) (c x z))))