U101 tt N XS fst splitAt activate N activate XS U11 tt N XS snd splitAt activate N activate XS U21 tt X activate X U31 tt N activate N U41 tt N cons activate N n__natsFrom s activate N U51 tt N XS head afterNth activate N activate XS U61 tt Y activate Y U71 tt XS pair nil activate XS U81 tt N X XS U82 splitAt activate N activate XS activate X U82 pair YS ZS X pair cons activate X YS ZS U91 tt XS activate XS afterNth N XS U11 and isNatural N n__isLNat XS N XS and tt X activate X fst pair X Y U21 and isLNat X n__isLNat Y X head cons N XS U31 and isNatural N n__isLNat activate XS N isLNat n__nil tt isLNat n__afterNth V1 V2 and isNatural activate V1 n__isLNat activate V2 isLNat n__cons V1 V2 and isNatural activate V1 n__isLNat activate V2 isLNat n__fst V1 isPLNat activate V1 isLNat n__natsFrom V1 isNatural activate V1 isLNat n__snd V1 isPLNat activate V1 isLNat n__tail V1 isLNat activate V1 isLNat n__take V1 V2 and isNatural activate V1 n__isLNat activate V2 isNatural n__0 tt isNatural n__head V1 isLNat activate V1 isNatural n__s V1 isNatural activate V1 isNatural n__sel V1 V2 and isNatural activate V1 n__isLNat activate V2 isPLNat n__pair V1 V2 and isLNat activate V1 n__isLNat activate V2 isPLNat n__splitAt V1 V2 and isNatural activate V1 n__isLNat activate V2 natsFrom N U41 isNatural N N sel N XS U51 and isNatural N n__isLNat XS N XS snd pair X Y U61 and isLNat X n__isLNat Y Y splitAt 0 XS U71 isLNat XS XS splitAt s N cons X XS U81 and isNatural N n__and isNatural X n__isLNat activate XS N X activate XS tail cons N XS U91 and isNatural N n__isLNat activate XS activate XS take N XS U101 and isNatural N n__isLNat XS N XS natsFrom X n__natsFrom X isLNat X n__isLNat X nil n__nil afterNth X1 X2 n__afterNth X1 X2 cons X1 X2 n__cons X1 X2 fst X n__fst X snd X n__snd X tail X n__tail X take X1 X2 n__take X1 X2 0 n__0 head X n__head X s X n__s X sel X1 X2 n__sel X1 X2 pair X1 X2 n__pair X1 X2 splitAt X1 X2 n__splitAt X1 X2 and X1 X2 n__and X1 X2 activate n__natsFrom X natsFrom X activate n__isLNat X isLNat X activate n__nil nil activate n__afterNth X1 X2 afterNth X1 X2 activate n__cons X1 X2 cons X1 X2 activate n__fst X fst X activate n__snd X snd X activate n__tail X tail X activate n__take X1 X2 take X1 X2 activate n__0 0 activate n__head X head X activate n__s X s X activate n__sel X1 X2 sel X1 X2 activate n__pair X1 X2 pair X1 X2 activate n__splitAt X1 X2 splitAt X1 X2 activate n__and X1 X2 and X1 X2 activate X X U101 3 tt 0 fst 1 splitAt 2 activate 1 U11 3 snd 1 U21 2 U31 2 U41 2 cons 2 n__natsFrom 1 s 1 U51 3 head 1 afterNth 2 U61 2 U71 2 pair 2 nil 0 U81 4 U82 2 U91 2 and 2 isNatural 1 n__isLNat 1 isLNat 1 n__nil 0 n__afterNth 2 n__cons 2 n__fst 1 isPLNat 1 n__snd 1 n__tail 1 n__take 2 n__0 0 n__head 1 n__s 1 n__sel 2 n__pair 2 n__splitAt 2 natsFrom 1 sel 2 0 0 n__and 2 tail 1 take 2 FULL ./TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs