f0cons0n__fs0fs0fps0psXXfXn__fXactivaten__fXfXactivateXXf100cons2n__f1s1p1activate1INNERMOST./TRS/TRCSR/ExProp7_Luc06_Z.trs