; @origtpdbfilename ./TRS/TRCSR/Ex24_Luc06_iGM.trs
; @xtcfilename "./TRS_Standard/Transformed_CSR_04/Ex24_Luc06_iGM.xml"
(format TRS)
(fun active 1)
(fun f 3)
(fun b 0)
(fun c 0)
(fun mark 1)
(rule (active (f b X c)) (mark (f X c X)))
(rule (active c) (mark b))
(rule (mark (f X1 X2 X3)) (active (f X1 (mark X2) X3)))
(rule (mark b) (active b))
(rule (mark c) (active c))
(rule (f (mark X1) X2 X3) (f X1 X2 X3))
(rule (f X1 (mark X2) X3) (f X1 X2 X3))
(rule (f X1 X2 (mark X3)) (f X1 X2 X3))
(rule (f (active X1) X2 X3) (f X1 X2 X3))
(rule (f X1 (active X2) X3) (f X1 X2 X3))
(rule (f X1 X2 (active X3)) (f X1 X2 X3))