U101ttNXSfstsplitAtNXSU11ttNXSsndsplitAtNXSU21ttXXU31ttNNU41ttNconsNnatsFromsNU51ttNXSheadafterNthNXSU61ttYYU71ttXSpairnilXSU81ttNXXSU82splitAtNXSXU82pairYSZSXpairconsXYSZSU91ttXSXSafterNthNXSU11andisNaturalNisLNatXSNXSandttXXfstpairXYU21andisLNatXisLNatYXheadconsNXSU31andisNaturalNisLNatXSNisLNatnilttisLNatafterNthV1V2andisNaturalV1isLNatV2isLNatconsV1V2andisNaturalV1isLNatV2isLNatfstV1isPLNatV1isLNatnatsFromV1isNaturalV1isLNatsndV1isPLNatV1isLNattailV1isLNatV1isLNattakeV1V2andisNaturalV1isLNatV2isNatural0ttisNaturalheadV1isLNatV1isNaturalsV1isNaturalV1isNaturalselV1V2andisNaturalV1isLNatV2isPLNatpairV1V2andisLNatV1isLNatV2isPLNatsplitAtV1V2andisNaturalV1isLNatV2natsFromNU41isNaturalNNselNXSU51andisNaturalNisLNatXSNXSsndpairXYU61andisLNatXisLNatYYsplitAt0XSU71isLNatXSXSsplitAtsNconsXXSU81andisNaturalNandisNaturalXisLNatXSNXXStailconsNXSU91andisNaturalNisLNatXSXStakeNXSU101andisNaturalNisLNatXSNXSU10131tt0fst11splitAt212U1131snd11U2121U3121U4121cons21natsFrom11s11U5131head11afterNth212U6121U7121pair212nil0U8141U8221U9121and21isNatural1isLNat1isPLNat1tail11take21200sel212FULL./TRS/CSR_Maude/PEPM04/LISTUTILITIES_nokinds.trs