; @origtpdbfilename ./TRS/Zantema/z11.trs
; @xtcfilename "./TRS_Standard/Zantema_05/z11.xml"
(format TRS)
(fun a 2)
(fun f 0)
(fun |0| 0)
(fun s 0)
(fun d 0)
(fun p 0)
(rule (a f |0|) (a s |0|))
(rule (a d |0|) |0|)
(rule (a d (a s x)) (a s (a s (a d (a p (a s x))))))
(rule (a f (a s x)) (a d (a f (a p (a s x)))))
(rule (a p (a s x)) x)