; @origtpdbfilename ./TRS/SK90/4.15.trs
; @xtcfilename "./TRS_Standard/SK90/4.15.xml"
(format TRS)
(fun + 2)
(fun - 2)
(rule (+ (- x y) z) (- (+ x z) y))
(rule (- (+ x y) y) x)