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