U11ttNXSU12ttNXSU12ttNXSsndsplitAtNXSU21ttXU22ttXU22ttXXU31ttNU32ttNU32ttNNU41ttNXSU42ttNXSU42ttNXSheadafterNthNXSU51ttYU52ttYU52ttYYU61ttNXXSU62ttNXXSU62ttNXXSU63ttNXXSU63ttNXXSU64splitAtNXSXU64pairYSZSXpairconsXYSZSU71ttXSU72ttXSU72ttXSXSU81ttNXSU82ttNXSU82ttNXSfstsplitAtNXSafterNthNXSU11ttNXSfstpairXYU21ttXheadconsNXSU31ttNnatsFromNconsNnatsFromsNselNXSU41ttNXSsndpairXYU51ttYsplitAt0XSpairnilXSsplitAtsNconsXXSU61ttNXXStailconsNXSU71ttXStakeNXSU81ttNXSU1131tt0U1231snd11splitAt212U2121U2221U3121U3221U4131U4231head11afterNth212U5121U5221U6141U6241U6341U6421pair212cons21U7121U7221U8131U8231fst11natsFrom11s11sel21200nil0tail11take212FULL./TRS/CSR_Maude/PEPM04/LISTUTILITIES_nosorts-noand.trs