; @xtcfilename "./TRS_Standard/Waldmann_23/19.xml"
(format TRS)
(fun a 0)
(fun f 2)
(rule (f (f (f X (f Y a)) Z) P) (f (f (f (f a P) Y) X) Z))