; @origtpdbfilename ./TRS/Rubio/lescanne.trs
; @xtcfilename "./TRS_Standard/Rubio_04/lescanne.xml"
(format TRS)
(fun div 2)
(fun e 0)
(fun i 1)
(rule (div X e) (i X))
(rule (i (div X Y)) (div Y X))
(rule (div (div X Y) Z) (div Y (div (i X) Z)))