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 2.2 take N XS fst splitAt N XS tail cons N XS activate XS U11 tt N X XS U12 splitAt activate N activate XS activate X activate n__natsFrom X natsFrom activate X afterNth N XS snd splitAt N XS afterNth N XS splitAt N XS U11 tt N X XS splitAt activate N activate XS and tt X activate X activate n__s X s activate X activate n__natsFrom X activate X splitAt s N cons X XS activate XS U11 tt N X XS activate X sel N XS afterNth N XS U11 tt N X XS activate XS take N XS splitAt N XS U12 pair YS ZS X activate X activate n__s X activate X U11 tt N X XS activate N splitAt s N cons X XS U11 tt N X activate XS sel N XS head afterNth N XS true sel N XS head afterNth N XS false take N XS splitAt N XS false sel N XS afterNth N XS false afterNth N XS snd splitAt N XS false afterNth N XS splitAt N XS false splitAt s N cons X XS U11 tt N X activate XS U11 tt N X XS splitAt activate N activate XS true U11 4 0 s 1 1 3 take 2 0 activate 1 1 1 take 2 0 and 2 0 pair 2 0 fst 1 0 activate 1 0 natsFrom 1 1 1 head 1 0 splitAt 2 0 fst 1 0 U12 2 0 n__natsFrom 1 1 1 n__s 1 1 3 U12 2 0 tail 1 0 0 0 0 sel 2 0 sel 2 0 s 1 0 afterNth 2 0 nil 0 0 tail 1 0 splitAt 2 1 0 afterNth 2 0 U11 4 1 2 0 head 1 0 snd 1 0 cons 2 1 1 natsFrom 1 0 snd 1 0 tt 0 2 and 2 0 activate X X s X n__s X activate n__natsFrom X natsFrom activate X activate n__s X s activate X natsFrom N cons N n__natsFrom n__s N natsFrom X n__natsFrom X U11 tt N X XS U12 splitAt activate N activate XS activate X false U12 pair YS ZS X activate X false U11 tt N X XS activate N false U11 tt N X XS activate XS false U11 tt N X XS activate X false tail cons N XS activate XS false splitAt s N cons X XS activate XS false take N XS fst splitAt N XS false and tt X activate X false activate n__s X activate X activate n__natsFrom X activate X true U11 4 0 s 1 1 20538 take 2 0 activate 1 1 1 take 2 0 and 2 0 pair 2 0 fst 1 0 activate 1 1 0 natsFrom 1 1 1 head 1 0 splitAt 2 0 fst 1 0 U12 2 0 n__natsFrom 1 1 1 n__s 1 1 20538 U12 2 0 tail 1 0 0 0 0 sel 2 0 sel 2 0 s 1 0 afterNth 2 0 nil 0 0 tail 1 0 splitAt 2 1 0 afterNth 2 0 U11 4 0 head 1 0 snd 1 0 cons 2 1 1 natsFrom 1 0 snd 1 0 tt 0 2 and 2 0 activate X X s X n__s X activate n__natsFrom X natsFrom activate X activate n__s X s activate X natsFrom N cons N n__natsFrom n__s N natsFrom X n__natsFrom X activate n__s X s activate X false activate n__natsFrom X natsFrom activate X false NaTT certifiable-1.6