sel s X cons Y sel X Z from X cons X sel 0 cons X X sel 2 s 1 cons 1 from 1 0 0 FULL ./TRS/TRCSR/Ex3_12_Luc96a_L.trs