U12 tt snd splitAt N XS U22 tt X U32 tt N U42 tt head afterNth N XS U52 tt Y U63 tt U64 splitAt N XS U64 pair YS ZS pair cons X ZS U72 tt XS U82 tt fst splitAt N XS U11 tt U12 tt U21 tt U22 tt U31 tt U32 tt U41 tt U42 tt U51 tt U52 tt U61 tt U62 tt U62 tt U63 tt U71 tt U72 tt U81 tt U82 tt afterNth N XS U11 tt fst pair X Y U21 tt head cons N U31 tt natsFrom N cons N sel N XS U41 tt snd pair X Y U51 tt splitAt 0 XS pair nil XS splitAt s N cons X U61 tt tail cons N U71 tt take N XS U81 tt U12 1 tt 0 snd 1 splitAt 2 U22 1 U32 1 U42 1 head 1 afterNth 2 U52 1 U63 1 U64 1 pair 2 cons 1 U72 1 U82 1 fst 1 U11 1 U21 1 U31 1 U41 1 U51 1 U61 1 U62 1 U71 1 U81 1 natsFrom 1 sel 2 0 0 nil 0 s 1 tail 1 take 2 FULL ./TRS/TRCSR/LISTUTILITIES_nosorts-noand_L.trs