U101ttV1V2U102isNaturalV1V2U102ttV2U103isLNatV2U103ttttU11ttNXSsndsplitAtNXSU111ttV1U112isLNatV1U112ttttU121ttV1U122isNaturalV1U122ttttU131ttV1V2U132isNaturalV1V2U132ttV2U133isLNatV2U133ttttU141ttV1V2U142isLNatV1V2U142ttV2U143isLNatV2U143ttttU151ttV1V2U152isNaturalV1V2U152ttV2U153isLNatV2U153ttttU161ttNconsNnatsFromsNU171ttNXSheadafterNthNXSU181ttYYU191ttXSpairnilXSU201ttNXXSU202splitAtNXSXU202pairYSZSXpairconsXYSZSU21ttXXU211ttXSXSU221ttNXSfstsplitAtNXSU31ttNNU41ttV1V2U42isNaturalV1V2U42ttV2U43isLNatV2U43ttttU51ttV1V2U52isNaturalV1V2U52ttV2U53isLNatV2U53ttttU61ttV1U62isPLNatV1U62ttttU71ttV1U72isNaturalV1U72ttttU81ttV1U82isPLNatV1U82ttttU91ttV1U92isLNatV1U92ttttafterNthNXSU11andandisNaturalNisNaturalKindNandisLNatXSisLNatKindXSNXSandttXXfstpairXYU21andandisLNatXisLNatKindXandisLNatYisLNatKindYXheadconsNXSU31andandisNaturalNisNaturalKindNandisLNatXSisLNatKindXSNisLNatnilttisLNatafterNthV1V2U41andisNaturalKindV1isLNatKindV2V1V2isLNatconsV1V2U51andisNaturalKindV1isLNatKindV2V1V2isLNatfstV1U61isPLNatKindV1V1isLNatnatsFromV1U71isNaturalKindV1V1isLNatsndV1U81isPLNatKindV1V1isLNattailV1U91isLNatKindV1V1isLNattakeV1V2U101andisNaturalKindV1isLNatKindV2V1V2isLNatKindnilttisLNatKindafterNthV1V2andisNaturalKindV1isLNatKindV2isLNatKindconsV1V2andisNaturalKindV1isLNatKindV2isLNatKindfstV1isPLNatKindV1isLNatKindnatsFromV1isNaturalKindV1isLNatKindsndV1isPLNatKindV1isLNatKindtailV1isLNatKindV1isLNatKindtakeV1V2andisNaturalKindV1isLNatKindV2isNatural0ttisNaturalheadV1U111isLNatKindV1V1isNaturalsV1U121isNaturalKindV1V1isNaturalselV1V2U131andisNaturalKindV1isLNatKindV2V1V2isNaturalKind0ttisNaturalKindheadV1isLNatKindV1isNaturalKindsV1isNaturalKindV1isNaturalKindselV1V2andisNaturalKindV1isLNatKindV2isPLNatpairV1V2U141andisLNatKindV1isLNatKindV2V1V2isPLNatsplitAtV1V2U151andisNaturalKindV1isLNatKindV2V1V2isPLNatKindpairV1V2andisLNatKindV1isLNatKindV2isPLNatKindsplitAtV1V2andisNaturalKindV1isLNatKindV2natsFromNU161andisNaturalNisNaturalKindNNselNXSU171andandisNaturalNisNaturalKindNandisLNatXSisLNatKindXSNXSsndpairXYU181andandisLNatXisLNatKindXandisLNatYisLNatKindYYsplitAt0XSU191andisLNatXSisLNatKindXSXSsplitAtsNconsXXSU201andandisNaturalNisNaturalKindNandandisNaturalXisNaturalKindXandisLNatXSisLNatKindXSNXXStailconsNXSU211andandisNaturalNisNaturalKindNandisLNatXSisLNatKindXSXStakeNXSU221andandisNaturalNisNaturalKindNandisLNatXSisLNatKindXSNXSU10131tt0U10221isNatural1U10311isLNat1U1131snd11splitAt212U11121U11211U12121U12211U13131U13221U13311U14131U14221U14311U15131U15221U15311U16121cons21natsFrom11s11U17131head11afterNth212U18121U19121pair212nil0U20141U20221U2121U21121U22131fst11U3121U4131U4221U4311U5131U5221U5311U6121U6211isPLNat1U7121U7211U8121U8211U9121U9211and21isNaturalKind1isLNatKind1isPLNatKind1tail11take21200sel212FULL./TRS/CSR_Maude/PEPM04/LISTUTILITIES_complete.trs