U101 tt V1 V2 U102 isNatural activate V1 activate V2 U102 tt V2 U103 isLNat activate V2 U103 tt tt U11 tt N XS snd splitAt activate N activate XS U111 tt V1 U112 isLNat activate V1 U112 tt tt U121 tt V1 U122 isNatural activate V1 U122 tt tt U131 tt V1 V2 U132 isNatural activate V1 activate V2 U132 tt V2 U133 isLNat activate V2 U133 tt tt U141 tt V1 V2 U142 isLNat activate V1 activate V2 U142 tt V2 U143 isLNat activate V2 U143 tt tt U151 tt V1 V2 U152 isNatural activate V1 activate V2 U152 tt V2 U153 isLNat activate V2 U153 tt tt U161 tt N cons activate N n__natsFrom n__s activate N U171 tt N XS head afterNth activate N activate XS U181 tt Y activate Y U191 tt XS pair nil activate XS U201 tt N X XS U202 splitAt activate N activate XS activate X U202 pair YS ZS X pair cons activate X YS ZS U21 tt X activate X U211 tt XS activate XS U221 tt N XS fst splitAt activate N activate XS U31 tt N activate N U41 tt V1 V2 U42 isNatural activate V1 activate V2 U42 tt V2 U43 isLNat activate V2 U43 tt tt U51 tt V1 V2 U52 isNatural activate V1 activate V2 U52 tt V2 U53 isLNat activate V2 U53 tt tt U61 tt V1 U62 isPLNat activate V1 U62 tt tt U71 tt V1 U72 isNatural activate V1 U72 tt tt U81 tt V1 U82 isPLNat activate V1 U82 tt tt U91 tt V1 U92 isLNat activate V1 U92 tt tt afterNth N XS U11 and and isNatural N n__isNaturalKind N n__and n__isLNat XS n__isLNatKind XS N XS and tt X activate X fst pair X Y U21 and and isLNat X n__isLNatKind X n__and n__isLNat Y n__isLNatKind Y X head cons N XS U31 and and isNatural N n__isNaturalKind N n__and n__isLNat activate XS n__isLNatKind activate XS N isLNat n__nil tt isLNat n__afterNth V1 V2 U41 and isNaturalKind activate V1 n__isLNatKind activate V2 activate V1 activate V2 isLNat n__cons V1 V2 U51 and isNaturalKind activate V1 n__isLNatKind activate V2 activate V1 activate V2 isLNat n__fst V1 U61 isPLNatKind activate V1 activate V1 isLNat n__natsFrom V1 U71 isNaturalKind activate V1 activate V1 isLNat n__snd V1 U81 isPLNatKind activate V1 activate V1 isLNat n__tail V1 U91 isLNatKind activate V1 activate V1 isLNat n__take V1 V2 U101 and isNaturalKind activate V1 n__isLNatKind activate V2 activate V1 activate V2 isLNatKind n__nil tt isLNatKind n__afterNth V1 V2 and isNaturalKind activate V1 n__isLNatKind activate V2 isLNatKind n__cons V1 V2 and isNaturalKind activate V1 n__isLNatKind activate V2 isLNatKind n__fst V1 isPLNatKind activate V1 isLNatKind n__natsFrom V1 isNaturalKind activate V1 isLNatKind n__snd V1 isPLNatKind activate V1 isLNatKind n__tail V1 isLNatKind activate V1 isLNatKind n__take V1 V2 and isNaturalKind activate V1 n__isLNatKind activate V2 isNatural n__0 tt isNatural n__head V1 U111 isLNatKind activate V1 activate V1 isNatural n__s V1 U121 isNaturalKind activate V1 activate V1 isNatural n__sel V1 V2 U131 and isNaturalKind activate V1 n__isLNatKind activate V2 activate V1 activate V2 isNaturalKind n__0 tt isNaturalKind n__head V1 isLNatKind activate V1 isNaturalKind n__s V1 isNaturalKind activate V1 isNaturalKind n__sel V1 V2 and isNaturalKind activate V1 n__isLNatKind activate V2 isPLNat n__pair V1 V2 U141 and isLNatKind activate V1 n__isLNatKind activate V2 activate V1 activate V2 isPLNat n__splitAt V1 V2 U151 and isNaturalKind activate V1 n__isLNatKind activate V2 activate V1 activate V2 isPLNatKind n__pair V1 V2 and isLNatKind activate V1 n__isLNatKind activate V2 isPLNatKind n__splitAt V1 V2 and isNaturalKind activate V1 n__isLNatKind activate V2 natsFrom N U161 and isNatural N n__isNaturalKind N N sel N XS U171 and and isNatural N n__isNaturalKind N n__and n__isLNat XS n__isLNatKind XS N XS snd pair X Y U181 and and isLNat X n__isLNatKind X n__and n__isLNat Y n__isLNatKind Y Y splitAt 0 XS U191 and isLNat XS n__isLNatKind XS XS splitAt s N cons X XS U201 and and isNatural N n__isNaturalKind N n__and n__and n__isNatural X n__isNaturalKind X n__and n__isLNat activate XS n__isLNatKind activate XS N X activate XS tail cons N XS U211 and and isNatural N n__isNaturalKind N n__and n__isLNat activate XS n__isLNatKind activate XS activate XS take N XS U221 and and isNatural N n__isNaturalKind N n__and n__isLNat XS n__isLNatKind XS N XS natsFrom X n__natsFrom X s X n__s X isNaturalKind X n__isNaturalKind X and X1 X2 n__and X1 X2 isLNat X n__isLNat X isLNatKind X n__isLNatKind 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 sel X1 X2 n__sel X1 X2 pair X1 X2 n__pair X1 X2 splitAt X1 X2 n__splitAt X1 X2 isNatural X n__isNatural X activate n__natsFrom X natsFrom activate X activate n__s X s activate X activate n__isNaturalKind X isNaturalKind X activate n__and X1 X2 and activate X1 X2 activate n__isLNat X isLNat X activate n__isLNatKind X isLNatKind X activate n__nil nil activate n__afterNth X1 X2 afterNth activate X1 activate X2 activate n__cons X1 X2 cons activate X1 X2 activate n__fst X fst activate X activate n__snd X snd activate X activate n__tail X tail activate X activate n__take X1 X2 take activate X1 activate X2 activate n__0 0 activate n__head X head activate X activate n__sel X1 X2 sel activate X1 activate X2 activate n__pair X1 X2 pair activate X1 activate X2 activate n__splitAt X1 X2 splitAt activate X1 activate X2 activate n__isNatural X isNatural X activate X X U101 3 tt 0 U102 2 isNatural 1 activate 1 U103 1 isLNat 1 U11 3 snd 1 splitAt 2 U111 2 U112 1 U121 2 U122 1 U131 3 U132 2 U133 1 U141 3 U142 2 U143 1 U151 3 U152 2 U153 1 U161 2 cons 2 n__natsFrom 1 n__s 1 U171 3 head 1 afterNth 2 U181 2 U191 2 pair 2 nil 0 U201 4 U202 2 U21 2 U211 2 U221 3 fst 1 U31 2 U41 3 U42 2 U43 1 U51 3 U52 2 U53 1 U61 2 U62 1 isPLNat 1 U71 2 U72 1 U81 2 U82 1 U91 2 U92 1 and 2 n__isNaturalKind 1 n__and 2 n__isLNat 1 n__isLNatKind 1 n__nil 0 n__afterNth 2 isNaturalKind 1 n__cons 2 n__fst 1 isPLNatKind 1 n__snd 1 n__tail 1 isLNatKind 1 n__take 2 n__0 0 n__head 1 n__sel 2 n__pair 2 n__splitAt 2 natsFrom 1 sel 2 0 0 s 1 n__isNatural 1 tail 1 take 2 FULL ./TRS/TRCSR/LISTUTILITIES_complete_FR.trs