dbl00dblsXsn__sn__dblactivateXdblsnilnildblsconsXYconsn__dblactivateXn__dblsactivateYsel0consXYactivateXselsXconsYZselactivateXactivateZindxnilXnilindxconsXYZconsn__selactivateXactivateZn__indxactivateYactivateZfromXconsactivateXn__fromn__sactivateXsXn__sXdblXn__dblXdblsXn__dblsXselX1X2n__selX1X2indxX1X2n__indxX1X2fromXn__fromXactivaten__sXsXactivaten__dblXdblXactivaten__dblsXdblsXactivaten__selX1X2selX1X2activaten__indxX1X2indxX1X2activaten__fromXfromXactivateXXdbl100s1n__s1n__dbl1activate1dbls1nil0cons2n__dbls1sel2indx2n__sel2n__indx2from1n__from1FULL./TRS/TRCSR/Ex3_2_Luc97_Z.trs