; @xtcfilename "./TRS_Relative/INVY_15/#3.38_rand.xml"
(format TRS)
(fun s 1)
(fun |0| 0)
(fun cons 2)
(fun rev2 2)
(fun rev1 2)
(fun rev 1)
(fun rand 1)
(fun nil 0)
(rule (rev nil) nil)
(rule (rev (cons x l)) (cons (rev1 x l) (rev2 x l)))
(rule (rev1 |0| nil) |0|)
(rule (rev1 (s x) nil) (s x))
(rule (rev1 x (cons y l)) (rev1 y l))
(rule (rev2 x nil) nil)
(rule (rev2 x (cons y l)) (rev (cons x (rev2 y l))))
(rule (rand x) x :cost 0)
(rule (rand x) (rand (s x)) :cost 0)