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