U101 tt N XS fst splitAt N XS U11 tt N XS snd splitAt N XS U21 tt X X U31 tt N N U41 tt N cons N natsFrom s N U51 tt N XS head afterNth N XS U61 tt Y Y U71 tt XS pair nil XS U81 tt N X XS U82 splitAt N XS X U82 pair YS ZS X pair cons X YS ZS U91 tt XS XS afterNth N XS U11 and isNatural N isLNat XS N XS and tt X X fst pair X Y U21 and isLNat X isLNat Y X head cons N XS U31 and isNatural N isLNat XS N isLNat nil tt isLNat afterNth V1 V2 and isNatural V1 isLNat V2 isLNat cons V1 V2 and isNatural V1 isLNat V2 isLNat fst V1 isPLNat V1 isLNat natsFrom V1 isNatural V1 isLNat snd V1 isPLNat V1 isLNat tail V1 isLNat V1 isLNat take V1 V2 and isNatural V1 isLNat V2 isNatural 0 tt isNatural head V1 isLNat V1 isNatural s V1 isNatural V1 isNatural sel V1 V2 and isNatural V1 isLNat V2 isPLNat pair V1 V2 and isLNat V1 isLNat V2 isPLNat splitAt V1 V2 and isNatural V1 isLNat V2 natsFrom N U41 isNatural N N sel N XS U51 and isNatural N isLNat XS N XS snd pair X Y U61 and isLNat X isLNat Y Y splitAt 0 XS U71 isLNat XS XS splitAt s N cons X XS U81 and isNatural N and isNatural X isLNat XS N X XS tail cons N XS U91 and isNatural N isLNat XS XS take N XS U101 and isNatural N isLNat XS N XS U101 3 1 tt 0 fst 1 1 splitAt 2 1 2 U11 3 1 snd 1 1 U21 2 1 U31 2 1 U41 2 1 cons 2 1 natsFrom 1 1 s 1 1 U51 3 1 head 1 1 afterNth 2 1 2 U61 2 1 U71 2 1 pair 2 1 2 nil 0 U81 4 1 U82 2 1 U91 2 1 and 2 1 isNatural 1 isLNat 1 isPLNat 1 tail 1 1 take 2 1 2 0 0 sel 2 1 2 FULL ./TRS/CSR_Maude/PEPM04/LISTUTILITIES_nokinds.trs