U11ttNXSU12ttactivateNactivateXSU12ttNXSsndsplitAtactivateNactivateXSU21ttXU22ttactivateXU22ttXactivateXU31ttNU32ttactivateNU32ttNactivateNU41ttNXSU42ttactivateNactivateXSU42ttNXSheadafterNthactivateNactivateXSU51ttYU52ttactivateYU52ttYactivateYU61ttNXXSU62ttactivateNactivateXactivateXSU62ttNXXSU63ttactivateNactivateXactivateXSU63ttNXXSU64splitAtactivateNactivateXSactivateXU64pairYSZSXpairconsactivateXYSZSU71ttXSU72ttactivateXSU72ttXSactivateXSU81ttNXSU82ttactivateNactivateXSU82ttNXSfstsplitAtactivateNactivateXSafterNthNXSU11ttNXSfstpairXYU21ttXheadconsNXSU31ttNnatsFromNconsNn__natsFromn__sNselNXSU41ttNXSsndpairXYU51ttYsplitAt0XSpairnilXSsplitAtsNconsXXSU61ttNXactivateXStailconsNXSU71ttactivateXStakeNXSU81ttNXSnatsFromXn__natsFromXsXn__sXactivaten__natsFromXnatsFromactivateXactivaten__sXsactivateXactivateXXU113tt0U123activate1snd1splitAt2U212U222U312U322U413U423head1afterNth2U512U522U614U624U634U642pair2cons2U712U722U813U823fst1natsFrom1n__natsFrom1n__s1sel200nil0s1tail1take2FULL./TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trs