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