U101ttV2U102isLNatV2U102ttttU11ttNXSU12isLNatXSNXSU111ttttU12ttNXSsndsplitAtNXSU121ttttU131ttV2U132isLNatV2U132ttttU141ttV2U142isLNatV2U142ttttU151ttV2U152isLNatV2U152ttttU161ttNconsNnatsFromsNU171ttNXSU172isLNatXSNXSU172ttNXSheadafterNthNXSU181ttYU182isLNatYYU182ttYYU191ttXSpairnilXSU201ttNXXSU202isNaturalXNXXSU202ttNXXSU203isLNatXSNXXSU203ttNXXSU204splitAtNXSXU204pairYSZSXpairconsXYSZSU21ttXYU22isLNatYXU211ttXSU212isLNatXSXSU212ttXSXSU22ttXXU221ttNXSU222isLNatXSNXSU222ttNXSfstsplitAtNXSU31ttNXSU32isLNatXSNU32ttNNU41ttV2U42isLNatV2U42ttttU51ttV2U52isLNatV2U52ttttU61ttttU71ttttU81ttttU91ttttafterNthNXSU11isNaturalNNXSfstpairXYU21isLNatXXYheadconsNXSU31isNaturalNNXSisLNatnilttisLNatafterNthV1V2U41isNaturalV1V2isLNatconsV1V2U51isNaturalV1V2isLNatfstV1U61isPLNatV1isLNatnatsFromV1U71isNaturalV1isLNatsndV1U81isPLNatV1isLNattailV1U91isLNatV1isLNattakeV1V2U101isNaturalV1V2isNatural0ttisNaturalheadV1U111isLNatV1isNaturalsV1U121isNaturalV1isNaturalselV1V2U131isNaturalV1V2isPLNatpairV1V2U141isLNatV1V2isPLNatsplitAtV1V2U151isNaturalV1V2natsFromNU161isNaturalNNselNXSU171isNaturalNNXSsndpairXYU181isLNatXYsplitAt0XSU191isLNatXSXSsplitAtsNconsXXSU201isNaturalNNXXStailconsNXSU211isNaturalNXStakeNXSU221isNaturalNNXSU10121tt0U10211isLNat1U1131U1231U11111snd11splitAt212U12111U13121U13211U14121U14211U15121U15211U16121cons21natsFrom11s11U17131U17231head11afterNth212U18121U18221U19121pair212nil0U20141U20241isNatural1U20341U20421U2131U2221U21121U21221U22131U22231fst11U3131U3221U4121U4211U5121U5211U6111U7111U8111U9111isPLNat1tail11take21200sel212FULL./TRS/CSR_Maude/PEPM04/LISTUTILITIES_nokinds-noand.trs