f0cons0fs0fps0psXXf100cons1s1p1FULL./TRS/TRCSR/ExProp7_Luc06_L.trs