U101ttNXSfstsplitAtactivateNactivateXSU11ttNXSsndsplitAtactivateNactivateXSU21ttXactivateXU31ttNactivateNU41ttNconsactivateNn__natsFromsactivateNU51ttNXSheadafterNthactivateNactivateXSU61ttYactivateYU71ttXSpairnilactivateXSU81ttNXXSU82splitAtactivateNactivateXSactivateXU82pairYSZSXpairconsactivateXYSZSU91ttXSactivateXSafterNthNXSU11andisNaturalNn__isLNatXSNXSandttXactivateXfstpairXYU21andisLNatXn__isLNatYXheadconsNXSU31andisNaturalNn__isLNatactivateXSNisLNatn__nilttisLNatn__afterNthV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__consV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__fstV1isPLNatactivateV1isLNatn__natsFromV1isNaturalactivateV1isLNatn__sndV1isPLNatactivateV1isLNatn__tailV1isLNatactivateV1isLNatn__takeV1V2andisNaturalactivateV1n__isLNatactivateV2isNaturaln__0ttisNaturaln__headV1isLNatactivateV1isNaturaln__sV1isNaturalactivateV1isNaturaln__selV1V2andisNaturalactivateV1n__isLNatactivateV2isPLNatn__pairV1V2andisLNatactivateV1n__isLNatactivateV2isPLNatn__splitAtV1V2andisNaturalactivateV1n__isLNatactivateV2natsFromNU41isNaturalNNselNXSU51andisNaturalNn__isLNatXSNXSsndpairXYU61andisLNatXn__isLNatYYsplitAt0XSU71isLNatXSXSsplitAtsNconsXXSU81andisNaturalNn__andisNaturalXn__isLNatactivateXSNXactivateXStailconsNXSU91andisNaturalNn__isLNatactivateXSactivateXStakeNXSU101andisNaturalNn__isLNatXSNXSnatsFromXn__natsFromXisLNatXn__isLNatXniln__nilafterNthX1X2n__afterNthX1X2consX1X2n__consX1X2fstXn__fstXsndXn__sndXtailXn__tailXtakeX1X2n__takeX1X20n__0headXn__headXsXn__sXselX1X2n__selX1X2pairX1X2n__pairX1X2splitAtX1X2n__splitAtX1X2andX1X2n__andX1X2activaten__natsFromXnatsFromXactivaten__isLNatXisLNatXactivaten__nilnilactivaten__afterNthX1X2afterNthX1X2activaten__consX1X2consX1X2activaten__fstXfstXactivaten__sndXsndXactivaten__tailXtailXactivaten__takeX1X2takeX1X2activaten__00activaten__headXheadXactivaten__sXsXactivaten__selX1X2selX1X2activaten__pairX1X2pairX1X2activaten__splitAtX1X2splitAtX1X2activaten__andX1X2andX1X2activateXXU1013tt0fst1splitAt2activate1U113snd1U212U312U412cons2n__natsFrom1s1U513head1afterNth2U612U712pair2nil0U814U822U912and2isNatural1n__isLNat1isLNat1n__nil0n__afterNth2n__cons2n__fst1isPLNat1n__snd1n__tail1n__take2n__00n__head1n__s1n__sel2n__pair2n__splitAt2natsFrom1sel200n__and2tail1take2FULL./TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs