; @origtpdbfilename ./TRS/AProVE/LPAR_intlist.trs
; @xtcfilename "./TRS_Standard/AProVE_04/LPAR_intlist.xml"
(format TRS)
(fun intlist 1)
(fun nil 0)
(fun int 2)
(fun s 1)
(fun |0| 0)
(fun cons 2)
(rule (intlist nil) nil)
(rule (int (s x) |0|) nil)
(rule (int x x) (cons x nil))
(rule (intlist (cons x y)) (cons (s x) (intlist y)))
(rule (int (s x) (s y)) (intlist (int x y)))
(rule (int |0| (s y)) (cons |0| (int (s |0|) (s y))))
(rule (intlist (cons x nil)) (cons (s x) nil))