; @origtpdbfilename ./TRS/D33/18.trs
; @xtcfilename "./TRS_Standard/Der95/18.xml"
(format TRS)
(fun * 2)
(fun + 2)
(rule (* x (+ y z)) (+ (* x y) (* x z)))