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