; @origtpdbfilename ./TRS/relative/rt2-2.trs
; @xtcfilename "./TRS_Relative/Relative_05/rt2-2.xml"
(format TRS)
(fun R 2)
(fun B1 0)
(fun B2 0)
(fun T 0)
(rule (R x B2) B2)
(rule B1 (R T B1) :cost 0)