U12 tt snd splitAt N XS U161 tt cons N U172 tt head afterNth N XS U182 tt Y U191 tt pair nil XS U203 tt U204 splitAt N XS U204 pair YS ZS pair cons X ZS U212 tt XS U22 tt X U222 tt fst splitAt N XS U32 tt N U101 tt U102 isLNat U102 tt tt U11 tt U12 isLNat U111 tt tt U121 tt tt U131 tt U132 isLNat U132 tt tt U141 tt U142 isLNat U142 tt tt U151 tt U152 isLNat U152 tt tt U171 tt U172 isLNat U181 tt U182 isLNat U201 tt U202 isNatural U202 tt U203 isLNat U21 tt U22 isLNat U211 tt U212 isLNat U221 tt U222 isLNat U31 tt U32 isLNat U41 tt U42 isLNat U42 tt tt U51 tt U52 isLNat U52 tt tt U61 tt tt U71 tt tt U81 tt tt U91 tt tt afterNth N XS U11 isNatural fst pair X Y U21 isLNat head cons N U31 isNatural isLNat tt isLNat U41 isNatural isLNat U51 isNatural isLNat U61 isPLNat isLNat U71 isNatural isLNat U81 isPLNat isLNat U91 isLNat isLNat U101 isNatural isNatural tt isNatural U111 isLNat isNatural U121 isNatural isNatural U131 isNatural isPLNat U141 isLNat isPLNat U151 isNatural natsFrom N U161 isNatural sel N XS U171 isNatural snd pair X Y U181 isLNat splitAt 0 XS U191 isLNat splitAt s N cons X U201 isNatural tail cons N U211 isNatural take N XS U221 isNatural U12 1 tt 0 snd 1 splitAt 2 U161 1 cons 1 U172 1 head 1 afterNth 2 U182 1 U191 1 pair 2 nil 0 U203 1 U204 1 U212 1 U22 1 U222 1 fst 1 U32 1 U101 1 U102 1 isLNat 0 U11 1 U111 1 U121 1 U131 1 U132 1 U141 1 U142 1 U151 1 U152 1 U171 1 U181 1 U201 1 U202 1 isNatural 0 U21 1 U211 1 U221 1 U31 1 U41 1 U42 1 U51 1 U52 1 U61 1 U71 1 U81 1 U91 1 isPLNat 0 natsFrom 1 sel 2 0 0 s 1 tail 1 take 2 FULL ./TRS/TRCSR/LISTUTILITIES_nokinds-noand_L.trs