; @origtpdbfilename ./TRS/SK90/4.39.trs
; @xtcfilename "./TRS_Standard/SK90/4.39.xml"
(format TRS)
(fun * 2)
(fun minus 1)
(rule (* x (* (minus y) y)) (* (minus (* y y)) x))