U101 tt V1 V2 U102 isNatural V1 V2 U102 tt V2 U103 isLNat V2 U103 tt tt U11 tt N XS snd splitAt N XS U111 tt V1 U112 isLNat V1 U112 tt tt U121 tt V1 U122 isNatural V1 U122 tt tt U131 tt V1 V2 U132 isNatural V1 V2 U132 tt V2 U133 isLNat V2 U133 tt tt U141 tt V1 V2 U142 isLNat V1 V2 U142 tt V2 U143 isLNat V2 U143 tt tt U151 tt V1 V2 U152 isNatural V1 V2 U152 tt V2 U153 isLNat V2 U153 tt tt U161 tt N cons N natsFrom s N U171 tt N XS head afterNth N XS U181 tt Y Y U191 tt XS pair nil XS U201 tt N X XS U202 splitAt N XS X U202 pair YS ZS X pair cons X YS ZS U21 tt X X U211 tt XS XS U221 tt N XS fst splitAt N XS U31 tt N N U41 tt V1 V2 U42 isNatural V1 V2 U42 tt V2 U43 isLNat V2 U43 tt tt U51 tt V1 V2 U52 isNatural V1 V2 U52 tt V2 U53 isLNat V2 U53 tt tt U61 tt V1 U62 isPLNat V1 U62 tt tt U71 tt V1 U72 isNatural V1 U72 tt tt U81 tt V1 U82 isPLNat V1 U82 tt tt U91 tt V1 U92 isLNat V1 U92 tt tt afterNth N XS U11 and and isNatural N isNaturalKind N and isLNat XS isLNatKind XS N XS and tt X X fst pair X Y U21 and and isLNat X isLNatKind X and isLNat Y isLNatKind Y X head cons N XS U31 and and isNatural N isNaturalKind N and isLNat XS isLNatKind XS N isLNat nil tt isLNat afterNth V1 V2 U41 and isNaturalKind V1 isLNatKind V2 V1 V2 isLNat cons V1 V2 U51 and isNaturalKind V1 isLNatKind V2 V1 V2 isLNat fst V1 U61 isPLNatKind V1 V1 isLNat natsFrom V1 U71 isNaturalKind V1 V1 isLNat snd V1 U81 isPLNatKind V1 V1 isLNat tail V1 U91 isLNatKind V1 V1 isLNat take V1 V2 U101 and isNaturalKind V1 isLNatKind V2 V1 V2 isLNatKind nil tt isLNatKind afterNth V1 V2 and isNaturalKind V1 isLNatKind V2 isLNatKind cons V1 V2 and isNaturalKind V1 isLNatKind V2 isLNatKind fst V1 isPLNatKind V1 isLNatKind natsFrom V1 isNaturalKind V1 isLNatKind snd V1 isPLNatKind V1 isLNatKind tail V1 isLNatKind V1 isLNatKind take V1 V2 and isNaturalKind V1 isLNatKind V2 isNatural 0 tt isNatural head V1 U111 isLNatKind V1 V1 isNatural s V1 U121 isNaturalKind V1 V1 isNatural sel V1 V2 U131 and isNaturalKind V1 isLNatKind V2 V1 V2 isNaturalKind 0 tt isNaturalKind head V1 isLNatKind V1 isNaturalKind s V1 isNaturalKind V1 isNaturalKind sel V1 V2 and isNaturalKind V1 isLNatKind V2 isPLNat pair V1 V2 U141 and isLNatKind V1 isLNatKind V2 V1 V2 isPLNat splitAt V1 V2 U151 and isNaturalKind V1 isLNatKind V2 V1 V2 isPLNatKind pair V1 V2 and isLNatKind V1 isLNatKind V2 isPLNatKind splitAt V1 V2 and isNaturalKind V1 isLNatKind V2 natsFrom N U161 and isNatural N isNaturalKind N N sel N XS U171 and and isNatural N isNaturalKind N and isLNat XS isLNatKind XS N XS snd pair X Y U181 and and isLNat X isLNatKind X and isLNat Y isLNatKind Y Y splitAt 0 XS U191 and isLNat XS isLNatKind XS XS splitAt s N cons X XS U201 and and isNatural N isNaturalKind N and and isNatural X isNaturalKind X and isLNat XS isLNatKind XS N X XS tail cons N XS U211 and and isNatural N isNaturalKind N and isLNat XS isLNatKind XS XS take N XS U221 and and isNatural N isNaturalKind N and isLNat XS isLNatKind XS N XS U101 3 1 tt 0 U102 2 1 isNatural 1 U103 1 1 isLNat 1 U11 3 1 snd 1 1 splitAt 2 1 2 U111 2 1 U112 1 1 U121 2 1 U122 1 1 U131 3 1 U132 2 1 U133 1 1 U141 3 1 U142 2 1 U143 1 1 U151 3 1 U152 2 1 U153 1 1 U161 2 1 cons 2 1 natsFrom 1 1 s 1 1 U171 3 1 head 1 1 afterNth 2 1 2 U181 2 1 U191 2 1 pair 2 1 2 nil 0 U201 4 1 U202 2 1 U21 2 1 U211 2 1 U221 3 1 fst 1 1 U31 2 1 U41 3 1 U42 2 1 U43 1 1 U51 3 1 U52 2 1 U53 1 1 U61 2 1 U62 1 1 isPLNat 1 U71 2 1 U72 1 1 U81 2 1 U82 1 1 U91 2 1 U92 1 1 and 2 1 isNaturalKind 1 isLNatKind 1 isPLNatKind 1 tail 1 1 take 2 1 2 0 0 sel 2 1 2 FULL ./TRS/CSR_Maude/PEPM04/LISTUTILITIES_complete.trs