; @origtpdbfilename ./TRS/SK90/4.50.trs
; @xtcfilename "./TRS_Standard/SK90/4.50.xml"
(format TRS)
(fun f 3)
(fun |0| 0)
(fun |1| 0)
(rule (f |0| |1| x) (f x x x))