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 n__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 s X n__s X activate n__natsFrom X natsFrom activate X activate n__s X s activate 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 n__s 1 sel 2 0 0 nil 0 s 1 tail 1 take 2 FULL ./TRS/TRCSR/LISTUTILITIES_nosorts_FR.trs