natsFromNconsNn__natsFromn__sNfstpairXSYSXSsndpairXSYSYSsplitAt0XSpairnilXSsplitAtsNconsXXSusplitAtNactivateXSNXactivateXSupairYSZSNXXSpairconsactivateXYSZSheadconsNXSNtailconsNXSactivateXSselNXSheadafterNthNXStakeNXSfstsplitAtNXSafterNthNXSsndsplitAtNXSnatsFromXn__natsFromXsXn__sXactivaten__natsFromXnatsFromactivateXactivaten__sXsactivateXactivateXXnatsFrom1cons2n__natsFrom1n__s1fst1pair2snd1splitAt200nil0s1u4activate1head1tail1sel2afterNth2take2FULL./TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs