; @origtpdbfilename ./TRS/SK90/4.04.trs
; @xtcfilename "./TRS_Standard/SK90/4.04.xml"
(format TRS)
(fun + 2)
(fun * 2)
(fun a 0)
(rule (+ (* x y) (* a y)) (* (+ x a) y))
(rule (* (* x y) z) (* x (* y z)))