U101ttV1V2U102isNaturalactivateV1activateV2U102ttV2U103isLNatactivateV2U103ttttU11ttNXSsndsplitAtactivateNactivateXSU111ttV1U112isLNatactivateV1U112ttttU121ttV1U122isNaturalactivateV1U122ttttU131ttV1V2U132isNaturalactivateV1activateV2U132ttV2U133isLNatactivateV2U133ttttU141ttV1V2U142isLNatactivateV1activateV2U142ttV2U143isLNatactivateV2U143ttttU151ttV1V2U152isNaturalactivateV1activateV2U152ttV2U153isLNatactivateV2U153ttttU161ttNconsactivateNn__natsFromsactivateNU171ttNXSheadafterNthactivateNactivateXSU181ttYactivateYU191ttXSpairnilactivateXSU201ttNXXSU202splitAtactivateNactivateXSactivateXU202pairYSZSXpairconsactivateXYSZSU21ttXactivateXU211ttXSactivateXSU221ttNXSfstsplitAtactivateNactivateXSU31ttNactivateNU41ttV1V2U42isNaturalactivateV1activateV2U42ttV2U43isLNatactivateV2U43ttttU51ttV1V2U52isNaturalactivateV1activateV2U52ttV2U53isLNatactivateV2U53ttttU61ttV1U62isPLNatactivateV1U62ttttU71ttV1U72isNaturalactivateV1U72ttttU81ttV1U82isPLNatactivateV1U82ttttU91ttV1U92isLNatactivateV1U92ttttafterNthNXSU11andandisNaturalNn__isNaturalKindNn__andisLNatXSn__isLNatKindXSNXSandttXactivateXfstpairXYU21andandisLNatXn__isLNatKindXn__andisLNatYn__isLNatKindYXheadconsNXSU31andandisNaturalNn__isNaturalKindNn__andisLNatactivateXSn__isLNatKindactivateXSNisLNatn__nilttisLNatn__afterNthV1V2U41andisNaturalKindactivateV1n__isLNatKindactivateV2activateV1activateV2isLNatn__consV1V2U51andisNaturalKindactivateV1n__isLNatKindactivateV2activateV1activateV2isLNatn__fstV1U61isPLNatKindactivateV1activateV1isLNatn__natsFromV1U71isNaturalKindactivateV1activateV1isLNatn__sndV1U81isPLNatKindactivateV1activateV1isLNatn__tailV1U91isLNatKindactivateV1activateV1isLNatn__takeV1V2U101andisNaturalKindactivateV1n__isLNatKindactivateV2activateV1activateV2isLNatKindn__nilttisLNatKindn__afterNthV1V2andisNaturalKindactivateV1n__isLNatKindactivateV2isLNatKindn__consV1V2andisNaturalKindactivateV1n__isLNatKindactivateV2isLNatKindn__fstV1isPLNatKindactivateV1isLNatKindn__natsFromV1isNaturalKindactivateV1isLNatKindn__sndV1isPLNatKindactivateV1isLNatKindn__tailV1isLNatKindactivateV1isLNatKindn__takeV1V2andisNaturalKindactivateV1n__isLNatKindactivateV2isNaturaln__0ttisNaturaln__headV1U111isLNatKindactivateV1activateV1isNaturaln__sV1U121isNaturalKindactivateV1activateV1isNaturaln__selV1V2U131andisNaturalKindactivateV1n__isLNatKindactivateV2activateV1activateV2isNaturalKindn__0ttisNaturalKindn__headV1isLNatKindactivateV1isNaturalKindn__sV1isNaturalKindactivateV1isNaturalKindn__selV1V2andisNaturalKindactivateV1n__isLNatKindactivateV2isPLNatn__pairV1V2U141andisLNatKindactivateV1n__isLNatKindactivateV2activateV1activateV2isPLNatn__splitAtV1V2U151andisNaturalKindactivateV1n__isLNatKindactivateV2activateV1activateV2isPLNatKindn__pairV1V2andisLNatKindactivateV1n__isLNatKindactivateV2isPLNatKindn__splitAtV1V2andisNaturalKindactivateV1n__isLNatKindactivateV2natsFromNU161andisNaturalNn__isNaturalKindNNselNXSU171andandisNaturalNn__isNaturalKindNn__andisLNatXSn__isLNatKindXSNXSsndpairXYU181andandisLNatXn__isLNatKindXn__andisLNatYn__isLNatKindYYsplitAt0XSU191andisLNatXSn__isLNatKindXSXSsplitAtsNconsXXSU201andandisNaturalNn__isNaturalKindNn__andandisNaturalXn__isNaturalKindXn__andisLNatactivateXSn__isLNatKindactivateXSNXactivateXStailconsNXSU211andandisNaturalNn__isNaturalKindNn__andisLNatactivateXSn__isLNatKindactivateXSactivateXStakeNXSU221andandisNaturalNn__isNaturalKindNn__andisLNatXSn__isLNatKindXSNXSnatsFromXn__natsFromXisNaturalKindXn__isNaturalKindXandX1X2n__andX1X2isLNatKindXn__isLNatKindXniln__nilafterNthX1X2n__afterNthX1X2consX1X2n__consX1X2fstXn__fstXsndXn__sndXtailXn__tailXtakeX1X2n__takeX1X20n__0headXn__headXsXn__sXselX1X2n__selX1X2pairX1X2n__pairX1X2splitAtX1X2n__splitAtX1X2activaten__natsFromXnatsFromXactivaten__isNaturalKindXisNaturalKindXactivaten__andX1X2andX1X2activaten__isLNatKindXisLNatKindXactivaten__nilnilactivaten__afterNthX1X2afterNthX1X2activaten__consX1X2consX1X2activaten__fstXfstXactivaten__sndXsndXactivaten__tailXtailXactivaten__takeX1X2takeX1X2activaten__00activaten__headXheadXactivaten__sXsXactivaten__selX1X2selX1X2activaten__pairX1X2pairX1X2activaten__splitAtX1X2splitAtX1X2activateXXU1013tt0U1022isNatural1activate1U1031isLNat1U113snd1splitAt2U1112U1121U1212U1221U1313U1322U1331U1413U1422U1431U1513U1522U1531U1612cons2n__natsFrom1s1U1713head1afterNth2U1812U1912pair2nil0U2014U2022U212U2112U2213fst1U312U413U422U431U513U522U531U612U621isPLNat1U712U721U812U821U912U921and2n__isNaturalKind1n__and2n__isLNatKind1n__nil0n__afterNth2isNaturalKind1n__cons2n__fst1isPLNatKind1n__snd1n__tail1isLNatKind1n__take2n__00n__head1n__s1n__sel2n__pair2n__splitAt2natsFrom1sel200tail1take2FULL./TRS/TRCSR/LISTUTILITIES_complete_Z.trs