; @origtpdbfilename ./TRS/various/24.trs
; @xtcfilename "./TRS_Standard/Various_04/24.xml"
(format TRS)
(fun max 1)
(fun L 1)
(fun N 2)
(fun |0| 0)
(fun s 1)
(rule (max (L x)) x)
(rule (max (N (L |0|) (L y))) y)
(rule (max (N (L (s x)) (L (s y)))) (s (max (N (L x) (L y)))))
(rule (max (N (L x) (N y z))) (max (N (L x) (L (max (N y z))))))