; @origtpdbfilename ./TRS/various/19.trs
; @xtcfilename "./TRS_Standard/Various_04/19.xml"
(format TRS)
(fun |:| 2)
(fun e 0)
(fun i 1)
(rule (|:| x x) e)
(rule (|:| x e) x)
(rule (i (|:| x y)) (|:| y x))
(rule (|:| (|:| x y) z) (|:| x (|:| z (i y))))
(rule (|:| e x) (i x))
(rule (i (i x)) x)
(rule (i e) e)
(rule (|:| x (|:| y (i x))) (i y))
(rule (|:| x (|:| y (|:| (i x) z))) (|:| (i z) y))
(rule (|:| (i x) (|:| y x)) (i y))
(rule (|:| (i x) (|:| y (|:| x z))) (|:| (i z) y))