U11 tt N XS U12 tt N XS U12 tt N XS snd splitAt N XS U21 tt X U22 tt X U22 tt X X U31 tt N U32 tt N U32 tt N N U41 tt N XS U42 tt N XS U42 tt N XS head afterNth N XS U51 tt Y U52 tt Y U52 tt Y Y U61 tt N X XS U62 tt N X XS U62 tt N X XS U63 tt N X XS U63 tt N X XS U64 splitAt N XS X U64 pair YS ZS X pair cons X YS ZS U71 tt XS U72 tt XS U72 tt XS XS U81 tt N XS U82 tt N XS U82 tt N XS fst splitAt N XS afterNth N XS U11 tt N XS fst pair X Y U21 tt X head cons N XS U31 tt N natsFrom N cons N natsFrom s N sel N XS U41 tt N XS snd pair X Y U51 tt Y splitAt 0 XS pair nil XS splitAt s N cons X XS U61 tt N X XS tail cons N XS U71 tt XS take N XS U81 tt N XS U11 3 1 tt 0 U12 3 1 snd 1 1 splitAt 2 1 2 U21 2 1 U22 2 1 U31 2 1 U32 2 1 U41 3 1 U42 3 1 head 1 1 afterNth 2 1 2 U51 2 1 U52 2 1 U61 4 1 U62 4 1 U63 4 1 U64 2 1 pair 2 1 2 cons 2 1 U71 2 1 U72 2 1 U81 3 1 U82 3 1 fst 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-noand.trs