f0cons0fs0fs0fps0psXXf1100cons21s11p11FULL./TRS/CSR/ExProp7_Luc06.trs