; @origtpdbfilename ./TRS/various/04.trs
; @xtcfilename "./TRS_Standard/Various_04/04.xml"
(format TRS)
(fun f1 0)
(fun g1 0)
(fun g2 0)
(fun f2 0)
(fun h1 0)
(fun h2 0)
(fun i 0)
(fun e1 5)
(fun e2 5)
(fun e5 4)
(fun e3 11)
(fun e6 3)
(fun e4 11)
(rule f1 g1)
(rule f1 g2)
(rule f2 g1)
(rule f2 g2)
(rule g1 h1)
(rule g1 h2)
(rule g2 h1)
(rule g2 h2)
(rule h1 i)
(rule h2 i)
(rule (e1 h1 h2 x y z) (e2 x x y z z))
(rule (e1 x1 x1 x y z) (e5 x1 x y z))
(rule (e2 f1 x y z f2) (e3 x y x y y z y z x y z))
(rule (e2 x x y z z) (e6 x y z))
(rule (e2 i x y z i) (e6 x y z))
(rule (e3 x1 x1 x2 x2 x3 x3 x4 x4 x y z) (e4 x1 x1 x2 x2 x3 x3 x4 x4 x y z))
(rule (e3 x y x y y z y z x y z) (e6 x y z))
(rule (e4 g1 x1 g2 x1 g1 x1 g2 x1 x y z) (e1 x1 x1 x y z))
(rule (e4 i x1 i x1 i x1 i x1 x y z) (e5 x1 x y z))
(rule (e4 x x x x x x x x x x x) (e6 x x x))
(rule (e5 i x y z) (e6 x y z))