U101ttV1V2U102isNaturalKindV1V1V2U102ttV1V2U103isLNatKindV2V1V2U103ttV1V2U104isLNatKindV2V1V2U104ttV1V2U105isNaturalV1V2U105ttV2U106isLNatV2U106ttttU11ttNXSU12isNaturalKindNNXSU111ttV2U112isLNatKindV2U112ttttU12ttNXSU13isLNatXSNXSU121ttV2U122isLNatKindV2U122ttttU13ttNXSU14isLNatKindXSNXSU131ttttU14ttNXSsndsplitAtNXSU141ttttU151ttttU161ttttU171ttV2U172isLNatKindV2U172ttttU181ttV1U182isLNatKindV1V1U182ttV1U183isLNatV1U183ttttU191ttV1U192isNaturalKindV1V1U192ttV1U193isNaturalV1U193ttttU201ttV1V2U202isNaturalKindV1V1V2U202ttV1V2U203isLNatKindV2V1V2U203ttV1V2U204isLNatKindV2V1V2U204ttV1V2U205isNaturalV1V2U205ttV2U206isLNatV2U206ttttU21ttXYU22isLNatKindXXYU211ttttU22ttXYU23isLNatYXYU221ttttU23ttXYU24isLNatKindYXU231ttV2U232isLNatKindV2U232ttttU24ttXXU241ttV1V2U242isLNatKindV1V1V2U242ttV1V2U243isLNatKindV2V1V2U243ttV1V2U244isLNatKindV2V1V2U244ttV1V2U245isLNatV1V2U245ttV2U246isLNatV2U246ttttU251ttV1V2U252isNaturalKindV1V1V2U252ttV1V2U253isLNatKindV2V1V2U253ttV1V2U254isLNatKindV2V1V2U254ttV1V2U255isNaturalV1V2U255ttV2U256isLNatV2U256ttttU261ttV2U262isLNatKindV2U262ttttU271ttV2U272isLNatKindV2U272ttttU281ttNU282isNaturalKindNNU282ttNconsNnatsFromsNU291ttNXSU292isNaturalKindNNXSU292ttNXSU293isLNatXSNXSU293ttNXSU294isLNatKindXSNXSU294ttNXSheadafterNthNXSU301ttXYU302isLNatKindXYU302ttYU303isLNatYYU303ttYU304isLNatKindYYU304ttYYU31ttNXSU32isNaturalKindNNXSU311ttXSU312isLNatKindXSXSU312ttXSpairnilXSU32ttNXSU33isLNatXSNXSU321ttNXXSU322isNaturalKindNNXXSU322ttNXXSU323isNaturalXNXXSU323ttNXXSU324isNaturalKindXNXXSU324ttNXXSU325isLNatXSNXXSU325ttNXXSU326isLNatKindXSNXXSU326ttNXXSU327splitAtNXSXU327pairYSZSXpairconsXYSZSU33ttNXSU34isLNatKindXSNU331ttNXSU332isNaturalKindNXSU332ttXSU333isLNatXSXSU333ttXSU334isLNatKindXSXSU334ttXSXSU34ttNNU341ttNXSU342isNaturalKindNNXSU342ttNXSU343isLNatXSNXSU343ttNXSU344isLNatKindXSNXSU344ttNXSfstsplitAtNXSU41ttV1V2U42isNaturalKindV1V1V2U42ttV1V2U43isLNatKindV2V1V2U43ttV1V2U44isLNatKindV2V1V2U44ttV1V2U45isNaturalV1V2U45ttV2U46isLNatV2U46ttttU51ttV1V2U52isNaturalKindV1V1V2U52ttV1V2U53isLNatKindV2V1V2U53ttV1V2U54isLNatKindV2V1V2U54ttV1V2U55isNaturalV1V2U55ttV2U56isLNatV2U56ttttU61ttV1U62isPLNatKindV1V1U62ttV1U63isPLNatV1U63ttttU71ttV1U72isNaturalKindV1V1U72ttV1U73isNaturalV1U73ttttU81ttV1U82isPLNatKindV1V1U82ttV1U83isPLNatV1U83ttttU91ttV1U92isLNatKindV1V1U92ttV1U93isLNatV1U93ttttafterNthNXSU11isNaturalNNXSfstpairXYU21isLNatXXYheadconsNXSU31isNaturalNNXSisLNatnilttisLNatafterNthV1V2U41isNaturalKindV1V1V2isLNatconsV1V2U51isNaturalKindV1V1V2isLNatfstV1U61isPLNatKindV1V1isLNatnatsFromV1U71isNaturalKindV1V1isLNatsndV1U81isPLNatKindV1V1isLNattailV1U91isLNatKindV1V1isLNattakeV1V2U101isNaturalKindV1V1V2isLNatKindnilttisLNatKindafterNthV1V2U111isNaturalKindV1V2isLNatKindconsV1V2U121isNaturalKindV1V2isLNatKindfstV1U131isPLNatKindV1isLNatKindnatsFromV1U141isNaturalKindV1isLNatKindsndV1U151isPLNatKindV1isLNatKindtailV1U161isLNatKindV1isLNatKindtakeV1V2U171isNaturalKindV1V2isNatural0ttisNaturalheadV1U181isLNatKindV1V1isNaturalsV1U191isNaturalKindV1V1isNaturalselV1V2U201isNaturalKindV1V1V2isNaturalKind0ttisNaturalKindheadV1U211isLNatKindV1isNaturalKindsV1U221isNaturalKindV1isNaturalKindselV1V2U231isNaturalKindV1V2isPLNatpairV1V2U241isLNatKindV1V1V2isPLNatsplitAtV1V2U251isNaturalKindV1V1V2isPLNatKindpairV1V2U261isLNatKindV1V2isPLNatKindsplitAtV1V2U271isNaturalKindV1V2natsFromNU281isNaturalNNselNXSU291isNaturalNNXSsndpairXYU301isLNatXXYsplitAt0XSU311isLNatXSXSsplitAtsNconsXXSU321isNaturalNNXXStailconsNXSU331isNaturalNNXStakeNXSU341isNaturalNNXSU10131tt0U10231isNaturalKind1U10331isLNatKind1U10431U10521isNatural1U10611isLNat1U1131U1231U11121U11211U1331U12121U12211U1431U13111snd11splitAt212U14111U15111U16111U17121U17211U18121U18221U18311U19121U19221U19311U20131U20231U20331U20431U20521U20611U2131U2231U21111U2331U22111U2421U23121U23211U24131U24231U24331U24431U24521U24611U25131U25231U25331U25431U25521U25611U26121U26211U27121U27211U28121U28221cons21natsFrom11s11U29131U29231U29331U29431head11afterNth212U30131U30221U30321U30421U3131U3231U31121U31221pair212nil0U3331U32141U32241U32341U32441U32541U32641U32721U3421U33131U33221U33321U33421U34131U34231U34331U34431fst11U4131U4231U4331U4431U4521U4611U5131U5231U5331U5431U5521U5611U6121U6221isPLNatKind1U6311isPLNat1U7121U7221U7311U8121U8221U8311U9121U9221U9311tail11take21200sel212FULL./TRS/CSR_Maude/PEPM04/LISTUTILITIES_complete-noand.trs