U101ttV1V2U102isNaturalKindactivateV1activateV1activateV2U102ttV1V2U103isLNatKindactivateV2activateV1activateV2U103ttV1V2U104isLNatKindactivateV2activateV1activateV2U104ttV1V2U105isNaturalactivateV1activateV2U105ttV2U106isLNatactivateV2U106ttttU11ttNXSU12isNaturalKindactivateNactivateNactivateXSU111ttV2U112isLNatKindactivateV2U112ttttU12ttNXSU13isLNatactivateXSactivateNactivateXSU121ttV2U122isLNatKindactivateV2U122ttttU13ttNXSU14isLNatKindactivateXSactivateNactivateXSU131ttttU14ttNXSsndsplitAtactivateNactivateXSU141ttttU151ttttU161ttttU171ttV2U172isLNatKindactivateV2U172ttttU181ttV1U182isLNatKindactivateV1activateV1U182ttV1U183isLNatactivateV1U183ttttU191ttV1U192isNaturalKindactivateV1activateV1U192ttV1U193isNaturalactivateV1U193ttttU201ttV1V2U202isNaturalKindactivateV1activateV1activateV2U202ttV1V2U203isLNatKindactivateV2activateV1activateV2U203ttV1V2U204isLNatKindactivateV2activateV1activateV2U204ttV1V2U205isNaturalactivateV1activateV2U205ttV2U206isLNatactivateV2U206ttttU21ttXYU22isLNatKindactivateXactivateXactivateYU211ttttU22ttXYU23isLNatactivateYactivateXactivateYU221ttttU23ttXYU24isLNatKindactivateYactivateXU231ttV2U232isLNatKindactivateV2U232ttttU24ttXactivateXU241ttV1V2U242isLNatKindactivateV1activateV1activateV2U242ttV1V2U243isLNatKindactivateV2activateV1activateV2U243ttV1V2U244isLNatKindactivateV2activateV1activateV2U244ttV1V2U245isLNatactivateV1activateV2U245ttV2U246isLNatactivateV2U246ttttU251ttV1V2U252isNaturalKindactivateV1activateV1activateV2U252ttV1V2U253isLNatKindactivateV2activateV1activateV2U253ttV1V2U254isLNatKindactivateV2activateV1activateV2U254ttV1V2U255isNaturalactivateV1activateV2U255ttV2U256isLNatactivateV2U256ttttU261ttV2U262isLNatKindactivateV2U262ttttU271ttV2U272isLNatKindactivateV2U272ttttU281ttNU282isNaturalKindactivateNactivateNU282ttNconsactivateNn__natsFromsactivateNU291ttNXSU292isNaturalKindactivateNactivateNactivateXSU292ttNXSU293isLNatactivateXSactivateNactivateXSU293ttNXSU294isLNatKindactivateXSactivateNactivateXSU294ttNXSheadafterNthactivateNactivateXSU301ttXYU302isLNatKindactivateXactivateYU302ttYU303isLNatactivateYactivateYU303ttYU304isLNatKindactivateYactivateYU304ttYactivateYU31ttNXSU32isNaturalKindactivateNactivateNactivateXSU311ttXSU312isLNatKindactivateXSactivateXSU312ttXSpairnilactivateXSU32ttNXSU33isLNatactivateXSactivateNactivateXSU321ttNXXSU322isNaturalKindactivateNactivateNactivateXactivateXSU322ttNXXSU323isNaturalactivateXactivateNactivateXactivateXSU323ttNXXSU324isNaturalKindactivateXactivateNactivateXactivateXSU324ttNXXSU325isLNatactivateXSactivateNactivateXactivateXSU325ttNXXSU326isLNatKindactivateXSactivateNactivateXactivateXSU326ttNXXSU327splitAtactivateNactivateXSactivateXU327pairYSZSXpairconsactivateXYSZSU33ttNXSU34isLNatKindactivateXSactivateNU331ttNXSU332isNaturalKindactivateNactivateXSU332ttXSU333isLNatactivateXSactivateXSU333ttXSU334isLNatKindactivateXSactivateXSU334ttXSactivateXSU34ttNactivateNU341ttNXSU342isNaturalKindactivateNactivateNactivateXSU342ttNXSU343isLNatactivateXSactivateNactivateXSU343ttNXSU344isLNatKindactivateXSactivateNactivateXSU344ttNXSfstsplitAtactivateNactivateXSU41ttV1V2U42isNaturalKindactivateV1activateV1activateV2U42ttV1V2U43isLNatKindactivateV2activateV1activateV2U43ttV1V2U44isLNatKindactivateV2activateV1activateV2U44ttV1V2U45isNaturalactivateV1activateV2U45ttV2U46isLNatactivateV2U46ttttU51ttV1V2U52isNaturalKindactivateV1activateV1activateV2U52ttV1V2U53isLNatKindactivateV2activateV1activateV2U53ttV1V2U54isLNatKindactivateV2activateV1activateV2U54ttV1V2U55isNaturalactivateV1activateV2U55ttV2U56isLNatactivateV2U56ttttU61ttV1U62isPLNatKindactivateV1activateV1U62ttV1U63isPLNatactivateV1U63ttttU71ttV1U72isNaturalKindactivateV1activateV1U72ttV1U73isNaturalactivateV1U73ttttU81ttV1U82isPLNatKindactivateV1activateV1U82ttV1U83isPLNatactivateV1U83ttttU91ttV1U92isLNatKindactivateV1activateV1U92ttV1U93isLNatactivateV1U93ttttafterNthNXSU11isNaturalNNXSfstpairXYU21isLNatXXYheadconsNXSU31isNaturalNNactivateXSisLNatn__nilttisLNatn__afterNthV1V2U41isNaturalKindactivateV1activateV1activateV2isLNatn__consV1V2U51isNaturalKindactivateV1activateV1activateV2isLNatn__fstV1U61isPLNatKindactivateV1activateV1isLNatn__natsFromV1U71isNaturalKindactivateV1activateV1isLNatn__sndV1U81isPLNatKindactivateV1activateV1isLNatn__tailV1U91isLNatKindactivateV1activateV1isLNatn__takeV1V2U101isNaturalKindactivateV1activateV1activateV2isLNatKindn__nilttisLNatKindn__afterNthV1V2U111isNaturalKindactivateV1activateV2isLNatKindn__consV1V2U121isNaturalKindactivateV1activateV2isLNatKindn__fstV1U131isPLNatKindactivateV1isLNatKindn__natsFromV1U141isNaturalKindactivateV1isLNatKindn__sndV1U151isPLNatKindactivateV1isLNatKindn__tailV1U161isLNatKindactivateV1isLNatKindn__takeV1V2U171isNaturalKindactivateV1activateV2isNaturaln__0ttisNaturaln__headV1U181isLNatKindactivateV1activateV1isNaturaln__sV1U191isNaturalKindactivateV1activateV1isNaturaln__selV1V2U201isNaturalKindactivateV1activateV1activateV2isNaturalKindn__0ttisNaturalKindn__headV1U211isLNatKindactivateV1isNaturalKindn__sV1U221isNaturalKindactivateV1isNaturalKindn__selV1V2U231isNaturalKindactivateV1activateV2isPLNatn__pairV1V2U241isLNatKindactivateV1activateV1activateV2isPLNatn__splitAtV1V2U251isNaturalKindactivateV1activateV1activateV2isPLNatKindn__pairV1V2U261isLNatKindactivateV1activateV2isPLNatKindn__splitAtV1V2U271isNaturalKindactivateV1activateV2natsFromNU281isNaturalNNselNXSU291isNaturalNNXSsndpairXYU301isLNatXXYsplitAt0XSU311isLNatXSXSsplitAtsNconsXXSU321isNaturalNNXactivateXStailconsNXSU331isNaturalNNactivateXStakeNXSU341isNaturalNNXSnatsFromXn__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__splitAtX1X2splitAtX1X2activateXXU1013tt0U1023isNaturalKind1activate1U1033isLNatKind1U1043U1052isNatural1U1061isLNat1U113U123U1112U1121U133U1212U1221U143U1311snd1splitAt2U1411U1511U1611U1712U1721U1812U1822U1831U1912U1922U1931U2013U2023U2033U2043U2052U2061U213U223U2111U233U2211U242U2312U2321U2413U2423U2433U2443U2452U2461U2513U2523U2533U2543U2552U2561U2612U2621U2712U2721U2812U2822cons2n__natsFrom1s1U2913U2923U2933U2943head1afterNth2U3013U3022U3032U3042U313U323U3112U3122pair2nil0U333U3214U3224U3234U3244U3254U3264U3272U342U3313U3322U3332U3342U3413U3423U3433U3443fst1U413U423U433U443U452U461U513U523U533U543U552U561U612U622isPLNatKind1U631isPLNat1U712U722U731U812U822U831U912U922U931n__nil0n__afterNth2n__cons2n__fst1n__snd1n__tail1n__take2n__00n__head1n__s1n__sel2n__pair2n__splitAt2natsFrom1sel200tail1take2FULL./TRS/TRCSR/LISTUTILITIES_complete-noand_Z.trs