U101ttV2U102isLNatactivateV2U102ttttU11ttNXSU12isLNatactivateXSactivateNactivateXSU111ttttU12ttNXSsndsplitAtactivateNactivateXSU121ttttU131ttV2U132isLNatactivateV2U132ttttU141ttV2U142isLNatactivateV2U142ttttU151ttV2U152isLNatactivateV2U152ttttU161ttNconsactivateNn__natsFromsactivateNU171ttNXSU172isLNatactivateXSactivateNactivateXSU172ttNXSheadafterNthactivateNactivateXSU181ttYU182isLNatactivateYactivateYU182ttYactivateYU191ttXSpairnilactivateXSU201ttNXXSU202isNaturalactivateXactivateNactivateXactivateXSU202ttNXXSU203isLNatactivateXSactivateNactivateXactivateXSU203ttNXXSU204splitAtactivateNactivateXSactivateXU204pairYSZSXpairconsactivateXYSZSU21ttXYU22isLNatactivateYactivateXU211ttXSU212isLNatactivateXSactivateXSU212ttXSactivateXSU22ttXactivateXU221ttNXSU222isLNatactivateXSactivateNactivateXSU222ttNXSfstsplitAtactivateNactivateXSU31ttNXSU32isLNatactivateXSactivateNU32ttNactivateNU41ttV2U42isLNatactivateV2U42ttttU51ttV2U52isLNatactivateV2U52ttttU61ttttU71ttttU81ttttU91ttttafterNthNXSU11isNaturalNNXSfstpairXYU21isLNatXXYheadconsNXSU31isNaturalNNactivateXSisLNatn__nilttisLNatn__afterNthV1V2U41isNaturalactivateV1activateV2isLNatn__consV1V2U51isNaturalactivateV1activateV2isLNatn__fstV1U61isPLNatactivateV1isLNatn__natsFromV1U71isNaturalactivateV1isLNatn__sndV1U81isPLNatactivateV1isLNatn__tailV1U91isLNatactivateV1isLNatn__takeV1V2U101isNaturalactivateV1activateV2isNaturaln__0ttisNaturaln__headV1U111isLNatactivateV1isNaturaln__sV1U121isNaturalactivateV1isNaturaln__selV1V2U131isNaturalactivateV1activateV2isPLNatn__pairV1V2U141isLNatactivateV1activateV2isPLNatn__splitAtV1V2U151isNaturalactivateV1activateV2natsFromNU161isNaturalNNselNXSU171isNaturalNNXSsndpairXYU181isLNatXYsplitAt0XSU191isLNatXSXSsplitAtsNconsXXSU201isNaturalNNXactivateXStailconsNXSU211isNaturalNactivateXStakeNXSU221isNaturalNNXSnatsFromXn__natsFromXniln__nilafterNthX1X2n__afterNthX1X2consX1X2n__consX1X2fstXn__fstXsndXn__sndXtailXn__tailXtakeX1X2n__takeX1X20n__0headXn__headXsXn__sXselX1X2n__selX1X2pairX1X2n__pairX1X2splitAtX1X2n__splitAtX1X2activaten__natsFromXnatsFromXactivaten__nilnilactivaten__afterNthX1X2afterNthX1X2activaten__consX1X2consX1X2activaten__fstXfstXactivaten__sndXsndXactivaten__tailXtailXactivaten__takeX1X2takeX1X2activaten__00activaten__headXheadXactivaten__sXsXactivaten__selX1X2selX1X2activaten__pairX1X2pairX1X2activaten__splitAtX1X2splitAtX1X2activateXXU1012tt0U1021isLNat1activate1U113U123U1111snd1splitAt2U1211U1312U1321U1412U1421U1512U1521U1612cons2n__natsFrom1s1U1713U1723head1afterNth2U1812U1822U1912pair2nil0U2014U2024isNatural1U2034U2042U213U222U2112U2122U2213U2223fst1U313U322U412U421U512U521U611U711U811U911n__nil0n__afterNth2n__cons2n__fst1isPLNat1n__snd1n__tail1n__take2n__00n__head1n__s1n__sel2n__pair2n__splitAt2natsFrom1sel200tail1take2FULL./TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z.trs