fgafsgbffxbgxfgxf1g1a0s1b0FULL./TRS/nontermin/cariboo/ex3.trs