U101ttNXSfstsplitAtactivateNactivateXSU11ttNXSsndsplitAtactivateNactivateXSU21ttXactivateXU31ttNactivateNU41ttNconsactivateNn__natsFromn__sactivateNU51ttNXSheadafterNthactivateNactivateXSU61ttYactivateYU71ttXSpairnilactivateXSU81ttNXXSU82splitAtactivateNactivateXSactivateXU82pairYSZSXpairconsactivateXYSZSU91ttXSactivateXSafterNthNXSU11andisNaturalNn__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__andn__isNaturalXn__isLNatactivateXSNXactivateXStailconsNXSU91andisNaturalNn__isLNatactivateXSactivateXStakeNXSU101andisNaturalNn__isLNatXSNXSnatsFromXn__natsFromXsXn__sXisLNatXn__isLNatXniln__nilafterNthX1X2n__afterNthX1X2consX1X2n__consX1X2fstXn__fstXsndXn__sndXtailXn__tailXtakeX1X2n__takeX1X20n__0headXn__headXselX1X2n__selX1X2pairX1X2n__pairX1X2splitAtX1X2n__splitAtX1X2andX1X2n__andX1X2isNaturalXn__isNaturalXactivaten__natsFromXnatsFromactivateXactivaten__sXsactivateXactivaten__isLNatXisLNatXactivaten__nilnilactivaten__afterNthX1X2afterNthactivateX1activateX2activaten__consX1X2consactivateX1X2activaten__fstXfstactivateXactivaten__sndXsndactivateXactivaten__tailXtailactivateXactivaten__takeX1X2takeactivateX1activateX2activaten__00activaten__headXheadactivateXactivaten__selX1X2selactivateX1activateX2activaten__pairX1X2pairactivateX1activateX2activaten__splitAtX1X2splitAtactivateX1activateX2activaten__andX1X2andactivateX1X2activaten__isNaturalXisNaturalXactivateXXU1013tt0fst1splitAt2activate1U113snd1U212U312U412cons2n__natsFrom1n__s1U513head1afterNth2U612U712pair2nil0U814U822U912and2isNatural1n__isLNat1isLNat1n__nil0n__afterNth2n__cons2n__fst1isPLNat1n__snd1n__tail1n__take2n__00n__head1n__sel2n__pair2n__splitAt2natsFrom1sel200s1n__and2n__isNatural1tail1take2FULL./TRS/TRCSR/LISTUTILITIES_nokinds_FR.trs