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