f n__b X n__c f X c X c b b n__b c n__c activate n__b b activate n__c c activate X X f 3 n__b 0 n__c 0 c 0 b 0 activate 1 FULL ./TRS/TRCSR/Ex24_Luc06_FR.trs ./TRS/TRCSR/Ex24_Luc06_Z.trs