U11ttNXXSU12splitAtNXSXU12pairYSZSXpairconsXYSZSafterNthNXSsndsplitAtNXSandttXXfstpairXYXheadconsNXSNnatsFromNconsNnatsFromsNselNXSheadafterNthNXSsndpairXYYsplitAt0XSpairnilXSsplitAtsNconsXXSU11ttNXXStailconsNXSXStakeNXSfstsplitAtNXSU1141tt0U1221splitAt212pair212cons21afterNth212snd11and21fst11head11natsFrom11s11sel21200nil0tail11take212FULL./TRS/CSR_Maude/PEPM04/LISTUTILITIES_nosorts.trs