; @origtpdbfilename ./TRS/higher-order/AotoYam/001.trs
; @xtcfilename "./TRS_Standard/AotoYamada_05/001.xml"
(format TRS)
(fun app 2)
(fun iterate 0)
(fun cons 0)
(rule (app (app iterate f) x) (app (app cons x) (app (app iterate f) (app f x))))