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