U11 tt N X XS U12 splitAt N XS X U12 pair YS ZS X pair cons X YS ZS afterNth N XS snd splitAt N XS and tt X X fst pair X Y X head cons N XS N natsFrom N cons 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 XS tail cons N XS XS take N XS fst splitAt N XS U11 4 1 tt 0 U12 2 1 splitAt 2 1 2 pair 2 1 2 cons 2 1 afterNth 2 1 2 snd 1 1 and 2 1 fst 1 1 head 1 1 natsFrom 1 1 s 1 1 sel 2 1 2 0 0 nil 0 tail 1 1 take 2 1 2 FULL ./TRS/CSR_Maude/PEPM04/LISTUTILITIES_nosorts.trs