natsFrom N cons N n__natsFrom n__s N fst pair XS YS XS snd pair XS YS YS splitAt 0 XS pair nil XS splitAt s N cons X XS u splitAt N activate XS N X activate XS u pair YS ZS N X XS pair cons activate X YS ZS head cons N XS N tail cons N XS activate XS sel N XS head afterNth N XS take N XS fst splitAt N XS afterNth N XS snd 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 natsFrom 1 cons 2 n__natsFrom 1 n__s 1 fst 1 pair 2 snd 1 splitAt 2 0 0 nil 0 s 1 u 4 activate 1 head 1 tail 1 sel 2 afterNth 2 take 2 FULL ./TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs