U11 tt U12 splitAt N XS U12 pair YS ZS pair cons X ZS and tt X tail cons N XS afterNth N XS snd splitAt N XS fst pair X Y X head cons N N natsFrom N cons N sel N XS head afterNth N XS snd pair X Y Y splitAt 0 XS pair nil XS splitAt s N cons X U11 tt take N XS fst splitAt N XS U11 1 tt 0 U12 1 splitAt 2 pair 2 cons 1 and 1 tail 1 afterNth 2 snd 1 fst 1 head 1 natsFrom 1 sel 2 0 0 nil 0 s 1 take 2 FULL ./TRS/TRCSR/LISTUTILITIES_nosorts_L.trs