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