U101 tt V2 U102 isLNat activate V2 U102 tt tt U11 tt N XS U12 isLNat activate XS activate N activate XS U111 tt tt U12 tt N XS snd splitAt activate N activate XS U121 tt tt U131 tt V2 U132 isLNat activate V2 U132 tt tt U141 tt V2 U142 isLNat activate V2 U142 tt tt U151 tt V2 U152 isLNat activate V2 U152 tt tt U161 tt N cons activate N n__natsFrom n__s activate N U171 tt N XS U172 isLNat activate XS activate N activate XS U172 tt N XS head afterNth activate N activate XS U181 tt Y U182 isLNat activate Y activate Y U182 tt Y activate Y U191 tt XS pair nil activate XS U201 tt N X XS U202 isNatural activate X activate N activate X activate XS U202 tt N X XS U203 isLNat activate XS activate N activate X activate XS U203 tt N X XS U204 splitAt activate N activate XS activate X U204 pair YS ZS X pair cons activate X YS ZS U21 tt X Y U22 isLNat activate Y activate X U211 tt XS U212 isLNat activate XS activate XS U212 tt XS activate XS U22 tt X activate X U221 tt N XS U222 isLNat activate XS activate N activate XS U222 tt N XS fst splitAt activate N activate XS U31 tt N XS U32 isLNat activate XS activate N U32 tt N activate N U41 tt V2 U42 isLNat activate V2 U42 tt tt U51 tt V2 U52 isLNat activate V2 U52 tt tt U61 tt tt U71 tt tt U81 tt tt U91 tt tt afterNth N XS U11 isNatural N N XS fst pair X Y U21 isLNat X X Y head cons N XS U31 isNatural N N activate XS isLNat n__nil tt isLNat n__afterNth V1 V2 U41 isNatural activate V1 activate V2 isLNat n__cons V1 V2 U51 isNatural activate V1 activate V2 isLNat n__fst V1 U61 isPLNat activate V1 isLNat n__natsFrom V1 U71 isNatural activate V1 isLNat n__snd V1 U81 isPLNat activate V1 isLNat n__tail V1 U91 isLNat activate V1 isLNat n__take V1 V2 U101 isNatural activate V1 activate V2 isNatural n__0 tt isNatural n__head V1 U111 isLNat activate V1 isNatural n__s V1 U121 isNatural activate V1 isNatural n__sel V1 V2 U131 isNatural activate V1 activate V2 isPLNat n__pair V1 V2 U141 isLNat activate V1 activate V2 isPLNat n__splitAt V1 V2 U151 isNatural activate V1 activate V2 natsFrom N U161 isNatural N N sel N XS U171 isNatural N N XS snd pair X Y U181 isLNat X Y splitAt 0 XS U191 isLNat XS XS splitAt s N cons X XS U201 isNatural N N X activate XS tail cons N XS U211 isNatural N activate XS take N XS U221 isNatural N N XS natsFrom X n__natsFrom X s X n__s X nil n__nil afterNth X1 X2 n__afterNth X1 X2 cons X1 X2 n__cons X1 X2 fst X n__fst X snd X n__snd X tail X n__tail X take X1 X2 n__take X1 X2 0 n__0 head X n__head X sel X1 X2 n__sel X1 X2 pair X1 X2 n__pair X1 X2 splitAt X1 X2 n__splitAt X1 X2 activate n__natsFrom X natsFrom activate X activate n__s X s activate X activate n__nil nil activate n__afterNth X1 X2 afterNth activate X1 activate X2 activate n__cons X1 X2 cons activate X1 X2 activate n__fst X fst activate X activate n__snd X snd activate X activate n__tail X tail activate X activate n__take X1 X2 take activate X1 activate X2 activate n__0 0 activate n__head X head activate X activate n__sel X1 X2 sel activate X1 activate X2 activate n__pair X1 X2 pair activate X1 activate X2 activate n__splitAt X1 X2 splitAt activate X1 activate X2 activate X X 2.2 isLNat n__afterNth V1 V2 U41 isNatural activate V1 activate V2 U171 tt N XS activate XS activate n__splitAt X1 X2 activate X2 snd pair X Y isLNat X isPLNat n__splitAt V1 V2 U151 isNatural activate V1 activate V2 activate n__fst X activate X activate n__cons X1 X2 cons activate X1 X2 isPLNat n__pair V1 V2 activate V2 isNatural n__head V1 activate V1 activate n__splitAt X1 X2 activate X1 U51 tt V2 isLNat activate V2 U201 tt N X XS activate X isLNat n__take V1 V2 U101 isNatural activate V1 activate V2 activate n__splitAt X1 X2 splitAt activate X1 activate X2 isPLNat n__splitAt V1 V2 activate V1 U51 tt V2 U52 isLNat activate V2 U212 tt XS activate XS U181 tt Y activate Y isLNat n__take V1 V2 activate V1 U32 tt N activate N U41 tt V2 U42 isLNat activate V2 U161 tt N cons activate N n__natsFrom n__s activate N U151 tt V2 U152 isLNat activate V2 U101 tt V2 activate V2 isLNat n__fst V1 isPLNat activate V1 U201 tt N X XS activate X U221 tt N XS activate N U161 tt N activate N isLNat n__cons V1 V2 activate V1 U41 tt V2 activate V2 U172 tt N XS head afterNth activate N activate XS afterNth N XS U11 isNatural N N XS U41 tt V2 isLNat activate V2 activate n__natsFrom X activate X U211 tt XS U212 isLNat activate XS activate XS U221 tt N XS activate XS afterNth N XS isNatural N U203 tt N X XS activate XS U211 tt XS activate XS isPLNat n__splitAt V1 V2 activate V2 U22 tt X activate X activate n__take X1 X2 activate X2 U51 tt V2 activate V2 U203 tt N X XS U204 splitAt activate N activate XS activate X U31 tt N XS U32 isLNat activate XS activate N U11 tt N XS isLNat activate XS U211 tt XS isLNat activate XS U131 tt V2 isLNat activate V2 activate n__tail X tail activate X U151 tt V2 activate V2 activate n__cons X1 X2 activate X1 fst pair X Y isLNat X take N XS isNatural N U201 tt N X XS isNatural activate X activate n__sel X1 X2 activate X1 U141 tt V2 isLNat activate V2 isLNat n__natsFrom V1 isNatural activate V1 U31 tt N XS activate N activate n__snd X activate X isLNat n__take V1 V2 activate V2 U203 tt N X XS splitAt activate N activate XS sel N XS isNatural N activate n__nil nil U11 tt N XS activate N U131 tt V2 U132 isLNat activate V2 isNatural n__s V1 activate V1 isNatural n__sel V1 V2 activate V2 activate n__head X head activate X isLNat n__fst V1 U61 isPLNat activate V1 isNatural n__sel V1 V2 activate V1 U222 tt N XS activate XS activate n__pair X1 X2 activate X2 U12 tt N XS splitAt activate N activate XS natsFrom N isNatural N isNatural n__head V1 isLNat activate V1 isLNat n__take V1 V2 isNatural activate V1 activate n__s X activate X U202 tt N X XS isLNat activate XS isLNat n__natsFrom V1 U71 isNatural activate V1 tail cons N XS isNatural N U11 tt N XS U12 isLNat activate XS activate N activate XS activate n__pair X1 X2 pair activate X1 activate X2 sel N XS U171 isNatural N N XS take N XS U221 isNatural N N XS activate n__tail X activate X activate n__fst X fst activate X U131 tt V2 activate V2 isLNat n__natsFrom V1 activate V1 activate n__sel X1 X2 sel activate X1 activate X2 U191 tt XS pair nil activate XS U21 tt X Y U22 isLNat activate Y activate X tail cons N XS U211 isNatural N activate XS U141 tt V2 activate V2 U161 tt N activate N isLNat n__tail V1 U91 isLNat activate V1 U204 pair YS ZS X cons activate X YS U11 tt N XS activate XS activate n__sel X1 X2 activate X2 U204 pair YS ZS X pair cons activate X YS ZS isLNat n__snd V1 activate V1 U172 tt N XS afterNth activate N activate XS U222 tt N XS splitAt activate N activate XS isPLNat n__pair V1 V2 U141 isLNat activate V1 activate V2 U171 tt N XS activate XS U31 tt N XS isLNat activate XS fst pair X Y U21 isLNat X X Y activate n__take X1 X2 activate X1 U221 tt N XS U222 isLNat activate XS activate N activate XS activate n__snd X snd activate X isNatural n__s V1 U121 isNatural activate V1 isPLNat n__pair V1 V2 isLNat activate V1 U12 tt N XS activate N isNatural n__s V1 isNatural activate V1 U21 tt X Y activate Y splitAt 0 XS U191 isLNat XS XS isLNat n__fst V1 activate V1 U181 tt Y activate Y activate n__afterNth X1 X2 activate X2 U12 tt N XS activate XS isLNat n__afterNth V1 V2 activate V2 isNatural n__head V1 U111 isLNat activate V1 U21 tt X Y activate X U201 tt N X XS activate N snd pair X Y U181 isLNat X Y isNatural n__sel V1 V2 isNatural activate V1 U222 tt N XS activate N activate n__natsFrom X natsFrom activate X splitAt 0 XS isLNat XS U101 tt V2 U102 isLNat activate V2 activate n__afterNth X1 X2 activate X1 U171 tt N XS U172 isLNat activate XS activate N activate XS U171 tt N XS activate N U203 tt N X XS activate N isLNat n__tail V1 activate V1 U221 tt N XS isLNat activate XS U182 tt Y activate Y splitAt s N cons X XS isNatural N U181 tt Y isLNat activate Y U191 tt XS activate XS U201 tt N X XS activate XS U211 tt XS activate XS U12 tt N XS snd splitAt activate N activate XS U101 tt V2 isLNat activate V2 head cons N XS activate XS tail cons N XS activate XS isLNat n__snd V1 isPLNat activate V1 splitAt s N cons X XS activate XS U222 tt N XS fst splitAt activate N activate XS U191 tt XS nil isPLNat n__pair V1 V2 activate V1 U21 tt X Y isLNat activate Y activate n__head X activate X U202 tt N X XS activate XS isLNat n__tail V1 isLNat activate V1 U202 tt N X XS U203 isLNat activate XS activate N activate X activate XS U171 tt N XS isLNat activate XS U172 tt N XS activate XS isLNat n__cons V1 V2 isNatural activate V1 activate n__s X s activate X U204 pair YS ZS X activate X isPLNat n__splitAt V1 V2 isNatural activate V1 isNatural n__sel V1 V2 U131 isNatural activate V1 activate V2 head cons N XS isNatural N isLNat n__afterNth V1 V2 isNatural activate V1 U203 tt N X XS activate X natsFrom N U161 isNatural N N activate n__0 0 U221 tt N XS activate XS isLNat n__cons V1 V2 activate V2 U151 tt V2 isLNat activate V2 U181 tt Y U182 isLNat activate Y activate Y U31 tt N XS activate XS activate n__take X1 X2 take activate X1 activate X2 U11 tt N XS activate XS splitAt s N cons X XS U201 isNatural N N X activate XS isLNat n__cons V1 V2 U51 isNatural activate V1 activate V2 U172 tt N XS activate N head cons N XS U31 isNatural N N activate XS U201 tt N X XS U202 isNatural activate X activate N activate X activate XS U202 tt N X XS activate XS U202 tt N X XS activate N isLNat n__afterNth V1 V2 activate V1 U202 tt N X XS activate X activate n__pair X1 X2 activate X1 U141 tt V2 U142 isLNat activate V2 isLNat n__snd V1 U81 isPLNat activate V1 activate n__afterNth X1 X2 afterNth activate X1 activate X2 true activate n__afterNth X1 X2 afterNth activate X1 activate X2 U11 tt N XS activate XS activate n__sel X1 X2 activate X2 activate n__pair X1 X2 activate X1 U202 tt N X XS activate X U141 tt V2 activate V2 U161 tt N activate N isLNat n__afterNth V1 V2 activate V1 U21 tt X Y U22 isLNat activate Y activate X tail cons N XS U211 isNatural N activate XS U202 tt N X XS activate N activate n__sel X1 X2 sel activate X1 activate X2 U202 tt N X XS activate XS U131 tt V2 activate V2 isLNat n__natsFrom V1 activate V1 U201 tt N X XS U202 isNatural activate X activate N activate X activate XS activate n__fst X fst activate X head cons N XS U31 isNatural N N activate XS activate n__tail X activate X take N XS U221 isNatural N N XS U172 tt N XS activate N sel N XS U171 isNatural N N XS U11 tt N XS U12 isLNat activate XS activate N activate XS tail cons N XS isNatural N isLNat n__cons V1 V2 U51 isNatural activate V1 activate V2 splitAt s N cons X XS U201 isNatural N N X activate XS U202 tt N X XS isLNat activate XS U11 tt N XS activate XS activate n__s X activate X activate n__take X1 X2 take activate X1 activate X2 U181 tt Y U182 isLNat activate Y activate Y U31 tt N XS activate XS isLNat n__take V1 V2 isNatural activate V1 isNatural n__head V1 isLNat activate V1 U151 tt V2 isLNat activate V2 natsFrom N isNatural N isLNat n__cons V1 V2 activate V2 U12 tt N XS splitAt activate N activate XS U221 tt N XS activate XS U222 tt N XS activate XS activate n__pair X1 X2 activate X2 isNatural n__sel V1 V2 activate V1 natsFrom N U161 isNatural N N U203 tt N X XS activate X activate n__head X head activate X isLNat n__afterNth V1 V2 isNatural activate V1 isNatural n__sel V1 V2 activate V2 head cons N XS isNatural N isNatural n__s V1 activate V1 isNatural n__sel V1 V2 U131 isNatural activate V1 activate V2 U11 tt N XS activate N isPLNat n__splitAt V1 V2 isNatural activate V1 U204 pair YS ZS X activate X U203 tt N X XS splitAt activate N activate XS sel N XS isNatural N U172 tt N XS activate XS isLNat n__cons V1 V2 isNatural activate V1 U171 tt N XS isLNat activate XS U202 tt N X XS U203 isLNat activate XS activate N activate X activate XS isLNat n__take V1 V2 activate V2 U202 tt N X XS activate XS isLNat n__tail V1 isLNat activate V1 activate n__snd X activate X U31 tt N XS activate N activate n__head X activate X isLNat n__natsFrom V1 isNatural activate V1 U21 tt X Y isLNat activate Y isPLNat n__pair V1 V2 activate V1 activate n__sel X1 X2 activate X1 U141 tt V2 isLNat activate V2 U201 tt N X XS isNatural activate X U222 tt N XS fst splitAt activate N activate XS splitAt s N cons X XS activate XS tail cons N XS activate XS isLNat n__snd V1 isPLNat activate V1 take N XS isNatural N U101 tt V2 isLNat activate V2 head cons N XS activate XS fst pair X Y isLNat X activate n__cons X1 X2 activate X1 activate n__tail X tail activate X U151 tt V2 activate V2 U12 tt N XS snd splitAt activate N activate XS U131 tt V2 isLNat activate V2 U201 tt N X XS activate XS U211 tt XS activate XS U11 tt N XS isLNat activate XS U211 tt XS isLNat activate XS U191 tt XS activate XS U181 tt Y isLNat activate Y U203 tt N X XS U204 splitAt activate N activate XS activate X U31 tt N XS U32 isLNat activate XS activate N U182 tt Y activate Y splitAt s N cons X XS isNatural N U51 tt V2 activate V2 U221 tt N XS isLNat activate XS activate n__take X1 X2 activate X2 isLNat n__tail V1 activate V1 U22 tt X activate X U203 tt N X XS activate N U203 tt N X XS activate XS U211 tt XS activate XS isPLNat n__splitAt V1 V2 activate V2 U171 tt N XS activate N U221 tt N XS activate XS afterNth N XS isNatural N activate n__natsFrom X activate X U211 tt XS U212 isLNat activate XS activate XS activate n__afterNth X1 X2 activate X1 U171 tt N XS U172 isLNat activate XS activate N activate XS U172 tt N XS head afterNth activate N activate XS afterNth N XS U11 isNatural N N XS U41 tt V2 isLNat activate V2 splitAt 0 XS isLNat XS isLNat n__cons V1 V2 activate V1 U41 tt V2 activate V2 U161 tt N activate N activate n__natsFrom X natsFrom activate X U201 tt N X XS activate X U221 tt N XS activate N U222 tt N XS activate N isLNat n__fst V1 isPLNat activate V1 isNatural n__sel V1 V2 isNatural activate V1 U101 tt V2 activate V2 U201 tt N X XS activate N snd pair X Y U181 isLNat X Y U21 tt X Y activate X U32 tt N activate N activate n__afterNth X1 X2 activate X2 U12 tt N XS activate XS isLNat n__afterNth V1 V2 activate V2 isLNat n__take V1 V2 activate V1 U181 tt Y activate Y U181 tt Y activate Y U212 tt XS activate XS isLNat n__fst V1 activate V1 isPLNat n__splitAt V1 V2 activate V1 U21 tt X Y activate Y splitAt 0 XS U191 isLNat XS XS isPLNat n__pair V1 V2 isLNat activate V1 U12 tt N XS activate N isNatural n__s V1 isNatural activate V1 activate n__splitAt X1 X2 splitAt activate X1 activate X2 U201 tt N X XS activate X isLNat n__take V1 V2 U101 isNatural activate V1 activate V2 U51 tt V2 isLNat activate V2 activate n__splitAt X1 X2 activate X1 activate n__snd X snd activate X U221 tt N XS U222 isLNat activate XS activate N activate XS isPLNat n__pair V1 V2 activate V2 isNatural n__head V1 activate V1 activate n__take X1 X2 activate X1 activate n__fst X activate X fst pair X Y U21 isLNat X X Y U171 tt N XS activate XS U31 tt N XS isLNat activate XS isPLNat n__splitAt V1 V2 U151 isNatural activate V1 activate V2 isPLNat n__pair V1 V2 U141 isLNat activate V1 activate V2 snd pair X Y isLNat X U172 tt N XS afterNth activate N activate XS U222 tt N XS splitAt activate N activate XS U171 tt N XS activate XS activate n__splitAt X1 X2 activate X2 isLNat n__afterNth V1 V2 U41 isNatural activate V1 activate V2 isLNat n__snd V1 activate V1 true U201 4 2 1 3 0 4 0 0 U204 2 1 0 2 0 0 0 0 0 U32 2 2 1 0 U21 3 2 1 0 U161 2 2 0 0 U182 2 2 3 0 U11 3 2 11 3 12 0 cons 2 0 s 1 1 0 n__pair 2 1 0 2 0 0 U142 1 0 take 2 1 4 2 0 0 U142 1 0 U152 1 0 U181 2 2 2 0 isPLNat 1 1 U42 1 1 U91 1 4 U221 3 2 3 3 19626 0 U101 2 2 1 0 activate 1 1 0 take 2 1 5 2 24329 0 U71 1 1 6 U81 1 0 U131 2 1 0 2 12085 0 U222 3 2 2 3 0 0 U212 2 2 1 0 U101 2 0 pair 2 1 0 2 0 0 fst 1 1 1 U111 1 1 0 U132 1 1 1 activate 1 1 0 U152 1 0 natsFrom 1 1 0 head 1 1 3 U121 1 0 U172 3 2 15 3 18 0 splitAt 2 1 2 2 0 0 U131 2 2 1 0 fst 1 1 0 n__nil 0 0 U52 1 0 U12 3 2 11 3 5 0 U202 4 2 1 3 0 4 0 0 n__natsFrom 1 1 0 isNatural 1 1 0 U222 3 2 3 3 5 0 n__snd 1 1 4 n__s 1 1 0 U201 4 2 2 3 0 4 0 0 n__splitAt 2 1 2 2 0 0 U42 1 0 U141 2 2 0 0 U12 3 2 8 3 6 0 U141 2 2 2 0 U171 3 2 17 3 19 0 tail 1 1 4 0 0 1 U191 2 2 0 0 n__take 2 1 5 2 24329 0 sel 2 1 18 2 20 0 U102 1 0 U171 3 2 16 3 22 0 isLNat 1 1 0 U202 4 2 2 3 0 4 0 0 sel 2 1 21 2 12084 0 s 1 0 afterNth 2 1 11 2 12 0 n__cons 2 1 0 2 0 0 U211 2 2 2 0 isPLNat 1 1 0 nil 0 0 isLNat 1 1 5 n__sel 2 1 21 2 12084 0 tail 1 1 3 U182 2 2 1 0 splitAt 2 1 1 2 0 0 U151 2 1 15048 2 2 0 nil 0 0 n__tail 1 1 4 afterNth 2 1 10 2 10 0 U111 1 0 U32 2 2 1 0 U221 3 2 3 3 0 0 n__0 0 1 n__afterNth 2 1 11 2 12 0 U211 2 2 3 0 U203 4 2 2 3 0 4 0 0 U52 1 4 U61 1 1 6 U51 2 2 0 0 n__fst 1 1 1 U11 3 2 9 3 7 0 U31 3 2 4 3 1 0 head 1 1 4 snd 1 1 3 U41 2 2 1 0 cons 2 1 0 2 0 0 natsFrom 1 1 0 U102 1 1 0 snd 1 1 4 U191 2 2 0 0 U21 3 2 0 3 0 0 U81 1 1 9 U22 2 2 0 0 tt 0 5 U71 1 0 U151 2 2 0 0 isNatural 1 1 0 pair 2 0 U22 2 2 1 0 n__head 1 1 4 U51 2 2 3 0 U161 2 2 0 0 U172 3 2 16 3 16 0 U203 4 2 1 3 0 4 0 0 U212 2 2 2 0 U41 2 0 U31 3 2 2 3 2 0 U91 1 0 U132 1 0 U121 1 1 1 U61 1 0 U204 2 2 0 0 U181 2 2 3 0 activate n__splitAt X1 X2 activate X2 U222 tt N XS splitAt activate N activate XS isPLNat n__pair V1 V2 U141 isLNat activate V1 activate V2 isPLNat n__splitAt V1 V2 U151 isNatural activate V1 activate V2 fst pair X Y U21 isLNat X X Y isPLNat n__pair V1 V2 activate V2 U221 tt N XS U222 isLNat activate XS activate N activate XS U51 tt V2 isLNat activate V2 U201 tt N X XS activate X activate n__splitAt X1 X2 splitAt activate X1 activate X2 isNatural n__s V1 isNatural activate V1 isPLNat n__pair V1 V2 isLNat activate V1 splitAt 0 XS U191 isLNat XS XS U21 tt X Y activate Y U21 tt X Y activate X U201 tt N X XS activate X activate n__natsFrom X natsFrom activate X U161 tt N activate N isLNat n__cons V1 V2 activate V1 splitAt 0 XS isLNat XS activate n__natsFrom X activate X U221 tt N XS activate XS isPLNat n__splitAt V1 V2 activate V2 U203 tt N X XS activate XS U22 tt X activate X U221 tt N XS isLNat activate XS U51 tt V2 activate V2 U203 tt N X XS U204 splitAt activate N activate XS activate X U191 tt XS activate XS U201 tt N X XS activate XS U151 tt V2 activate V2 activate n__cons X1 X2 activate X1 fst pair X Y isLNat X splitAt s N cons X XS activate XS U222 tt N XS fst splitAt activate N activate XS U201 tt N X XS isNatural activate X U141 tt V2 isLNat activate V2 isPLNat n__pair V1 V2 activate V1 U21 tt X Y isLNat activate Y isLNat n__natsFrom V1 isNatural activate V1 U202 tt N X XS activate XS U202 tt N X XS U203 isLNat activate XS activate N activate X activate XS isLNat n__cons V1 V2 isNatural activate V1 U203 tt N X XS splitAt activate N activate XS U204 pair YS ZS X activate X isNatural n__s V1 activate V1 U203 tt N X XS activate X natsFrom N U161 isNatural N N activate n__pair X1 X2 activate X2 U222 tt N XS activate XS U221 tt N XS activate XS isLNat n__cons V1 V2 activate V2 natsFrom N isNatural N U151 tt V2 isLNat activate V2 activate n__s X activate X U202 tt N X XS isLNat activate XS splitAt s N cons X XS U201 isNatural N N X activate XS isLNat n__cons V1 V2 U51 isNatural activate V1 activate V2 take N XS U221 isNatural N N XS U201 tt N X XS U202 isNatural activate X activate N activate X activate XS isLNat n__natsFrom V1 activate V1 U202 tt N X XS activate XS U21 tt X Y U22 isLNat activate Y activate X U161 tt N activate N U141 tt V2 activate V2 U202 tt N X XS activate X activate n__pair X1 X2 activate X1 U191 tt XS pair nil activate XS activate n__afterNth X1 X2 afterNth activate X1 activate X2 U172 tt N XS head afterNth activate N activate XS activate n__natsFrom X natsFrom activate X U11 tt N XS U12 isLNat activate XS activate N activate XS U181 tt Y U182 isLNat activate Y activate Y U203 tt N X XS U204 splitAt activate N activate XS activate X fst X n__fst X activate n__take X1 X2 take activate X1 activate X2 U22 tt X activate X natsFrom X n__natsFrom X U201 tt N X XS U202 isNatural activate X activate N activate X activate XS U182 tt Y activate Y splitAt s N cons X XS U201 isNatural N N X activate XS U221 tt N XS U222 isLNat activate XS activate N activate XS activate n__head X head activate X activate n__tail X tail activate X U204 pair YS ZS X pair cons activate X YS ZS U222 tt N XS fst splitAt activate N activate XS nil n__nil U12 tt N XS snd splitAt activate N activate XS 0 n__0 s X n__s X afterNth N XS U11 isNatural N N XS activate n__sel X1 X2 sel activate X1 activate X2 U202 tt N X XS U203 isLNat activate XS activate N activate X activate XS U212 tt XS activate XS U32 tt N activate N take N XS U221 isNatural N N XS U171 tt N XS U172 isLNat activate XS activate N activate XS activate n__fst X fst activate X activate n__pair X1 X2 pair activate X1 activate X2 natsFrom N U161 isNatural N N activate n__nil nil snd X n__snd X activate n__s X s activate X activate n__cons X1 X2 cons activate X1 X2 U21 tt X Y U22 isLNat activate Y activate X tail X n__tail X U211 tt XS U212 isLNat activate XS activate XS splitAt X1 X2 n__splitAt X1 X2 sel N XS U171 isNatural N N XS U161 tt N cons activate N n__natsFrom n__s activate N activate n__splitAt X1 X2 splitAt activate X1 activate X2 fst pair X Y U21 isLNat X X Y cons X1 X2 n__cons X1 X2 splitAt 0 XS U191 isLNat XS XS tail cons N XS U211 isNatural N activate XS snd pair X Y U181 isLNat X Y sel X1 X2 n__sel X1 X2 pair X1 X2 n__pair X1 X2 take X1 X2 n__take X1 X2 head X n__head X activate X X head cons N XS U31 isNatural N N activate XS isLNat n__nil tt afterNth X1 X2 n__afterNth X1 X2 activate n__snd X snd activate X U31 tt N XS U32 isLNat activate XS activate N activate n__0 0 isPLNat n__pair V1 V2 activate V2 false isPLNat n__pair V1 V2 activate V1 false isPLNat n__pair V1 V2 isLNat activate V1 false isPLNat n__pair V1 V2 U141 isLNat activate V1 activate V2 false take N XS U221 isNatural N N XS false U221 tt N XS U222 isLNat activate XS activate N activate XS false U222 tt N XS fst splitAt activate N activate XS false U222 tt N XS splitAt activate N activate XS false U222 tt N XS activate XS false U221 tt N XS isLNat activate XS false U221 tt N XS activate XS false U221 tt N XS activate XS false U141 tt V2 activate V2 false U141 tt V2 isLNat activate V2 false fst pair X Y isLNat X false fst pair X Y U21 isLNat X X Y false U21 tt X Y U22 isLNat activate Y activate X false U22 tt X activate X false U21 tt X Y isLNat activate Y false U21 tt X Y activate Y false U21 tt X Y activate X false isPLNat n__splitAt V1 V2 activate V2 false isPLNat n__splitAt V1 V2 U151 isNatural activate V1 activate V2 false U151 tt V2 isLNat activate V2 false U151 tt V2 activate V2 false U191 tt XS activate XS activate n__natsFrom X activate X activate n__natsFrom X natsFrom activate X U203 tt N X XS activate X U203 tt N X XS activate XS U203 tt N X XS splitAt activate N activate XS U203 tt N X XS U204 splitAt activate N activate XS activate X U201 tt N X XS activate XS U201 tt N X XS activate X U201 tt N X XS activate X U201 tt N X XS isNatural activate X U201 tt N X XS U202 isNatural activate X activate N activate X activate XS splitAt s N cons X XS activate XS splitAt s N cons X XS U201 isNatural N N X activate XS U204 pair YS ZS X activate X isLNat n__cons V1 V2 activate V2 isLNat n__cons V1 V2 activate V1 isLNat n__cons V1 V2 isNatural activate V1 isLNat n__cons V1 V2 U51 isNatural activate V1 activate V2 U51 tt V2 activate V2 U51 tt V2 isLNat activate V2 U202 tt N X XS activate XS U202 tt N X XS activate X U202 tt N X XS activate XS U202 tt N X XS isLNat activate XS U202 tt N X XS U203 isLNat activate XS activate N activate X activate XS isNatural n__s V1 activate V1 isNatural n__s V1 isNatural activate V1 activate n__pair X1 X2 activate X2 activate n__pair X1 X2 activate X1 natsFrom N isNatural N natsFrom N U161 isNatural N N activate n__s X activate X activate n__cons X1 X2 activate X1 U161 tt N activate N U161 tt N activate N activate n__splitAt X1 X2 activate X2 activate n__splitAt X1 X2 splitAt activate X1 activate X2 splitAt 0 XS isLNat XS splitAt 0 XS U191 isLNat XS XS isLNat n__natsFrom V1 activate V1 isLNat n__natsFrom V1 isNatural activate V1 true U201 4 1 22032 2 22033 3 62517 4 62515 0 U204 2 1 0 2 40482 0 0 0 0 U32 2 0 U21 3 1 17025 2 1 0 U161 2 1 30478 2 40484 0 U182 2 1 28888 2 2 0 U11 3 1 0 2 90019 3 90020 0 cons 2 0 s 1 1 0 n__pair 2 1 0 2 0 0 U142 1 0 take 2 0 U142 1 5 U152 1 0 U181 2 0 isPLNat 1 1 12 U42 1 5 U91 1 5 U221 3 1 55092 2 95583 3 95584 0 U101 2 0 activate 1 1 0 take 2 1 95584 2 95585 0 U71 1 5 U81 1 0 U131 2 1 11967 2 90025 0 U222 3 0 U212 2 0 U101 2 2 5 0 pair 2 1 0 2 0 0 fst 1 1 55101 U111 1 1 0 U132 1 11973 activate 1 1 22034 U152 1 5 natsFrom 1 1 40484 head 1 3 U121 1 0 U172 3 2 90022 3 90024 0 splitAt 2 1 0 2 40482 0 U131 2 0 fst 1 0 n__nil 0 2 U52 1 0 U12 3 1 26786 2 90019 3 90019 0 U202 4 2 22033 3 22036 4 62515 0 n__natsFrom 1 1 40484 isNatural 1 1 0 U222 3 1 55095 2 95583 3 95584 0 n__snd 1 1 49537 n__s 1 1 0 U201 4 2 0 3 40482 4 40482 0 n__splitAt 2 1 0 2 40482 0 U42 1 0 U141 2 0 U12 3 0 U141 2 2 12 0 U171 3 0 tail 1 1 49508 0 0 11318 U191 2 1 11316 2 2 0 n__take 2 1 95584 2 95585 0 sel 2 0 U102 1 0 U171 3 1 90019 2 90023 3 90024 0 isLNat 1 1 62514 U202 4 1 40476 2 0 3 40482 4 40482 0 sel 2 1 90024 2 90025 0 s 1 0 afterNth 2 1 90019 2 90020 0 n__cons 2 1 37343 2 0 0 U211 2 0 isPLNat 1 0 nil 0 2 isLNat 1 1 3 n__sel 2 1 90024 2 90025 0 tail 1 3 U182 2 0 splitAt 2 1 22033 2 62515 0 U151 2 1 5 2 13 0 nil 0 0 n__tail 1 1 49508 afterNth 2 0 U111 1 0 U32 2 2 0 0 U221 3 0 n__0 0 11318 n__afterNth 2 1 90019 2 90020 0 U211 2 1 4876 2 36694 0 U203 4 1 40477 2 0 3 40482 4 40482 0 U52 1 5 U61 1 1 0 U51 2 2 62514 0 n__fst 1 1 55101 U11 3 0 U31 3 1 1 2 3 3 2 0 head 1 1 3 snd 1 3 U41 2 0 cons 2 1 37343 2 0 0 natsFrom 1 1 62517 U102 1 5 snd 1 1 49537 U191 2 2 22035 0 U21 3 0 U81 1 5 U22 2 0 tt 0 5 U71 1 0 U151 2 0 isNatural 1 1 62516 pair 2 0 U22 2 2 1 0 n__head 1 1 3 U51 2 1 1 0 U161 2 2 22035 0 U172 3 0 U203 4 1 62511 2 22033 3 22036 4 62515 0 U212 2 2 20900 0 U41 2 1 32111 0 U31 3 0 U91 1 0 U132 1 0 U121 1 1 0 U61 1 0 U204 2 1 22033 2 22035 0 U181 2 2 41468 0 activate n__s X activate X activate n__pair X1 X2 activate X1 activate n__pair X1 X2 activate X2 isNatural n__s V1 isNatural activate V1 U202 tt N X XS U203 isLNat activate XS activate N activate X activate XS U51 tt V2 isLNat activate V2 isLNat n__cons V1 V2 U51 isNatural activate V1 activate V2 splitAt s N cons X XS U201 isNatural N N X activate XS U201 tt N X XS U202 isNatural activate X activate N activate X activate XS U203 tt N X XS U204 splitAt activate N activate XS activate X U203 tt N X XS splitAt activate N activate XS U191 tt XS pair nil activate XS isNatural n__0 tt activate n__afterNth X1 X2 afterNth activate X1 activate X2 U111 tt tt U172 tt N XS head afterNth activate N activate XS U132 tt tt isPLNat n__pair V1 V2 U141 isLNat activate V1 activate V2 U101 tt V2 U102 isLNat activate V2 activate n__natsFrom X natsFrom activate X U11 tt N XS U12 isLNat activate XS activate N activate XS U181 tt Y U182 isLNat activate Y activate Y U203 tt N X XS U204 splitAt activate N activate XS activate X U71 tt tt fst X n__fst X activate n__take X1 X2 take activate X1 activate X2 U22 tt X activate X natsFrom X n__natsFrom X U201 tt N X XS U202 isNatural activate X activate N activate X activate XS U42 tt tt U182 tt Y activate Y splitAt s N cons X XS U201 isNatural N N X activate XS U221 tt N XS U222 isLNat activate XS activate N activate XS activate n__head X head activate X activate n__tail X tail activate X U52 tt tt U204 pair YS ZS X pair cons activate X YS ZS U222 tt N XS fst splitAt activate N activate XS nil n__nil isLNat n__cons V1 V2 U51 isNatural activate V1 activate V2 U12 tt N XS snd splitAt activate N activate XS 0 n__0 U51 tt V2 U52 isLNat activate V2 s X n__s X U142 tt tt afterNth N XS U11 isNatural N N XS U131 tt V2 U132 isLNat activate V2 activate n__sel X1 X2 sel activate X1 activate X2 U202 tt N X XS U203 isLNat activate XS activate N activate X activate XS U212 tt XS activate XS isLNat n__take V1 V2 U101 isNatural activate V1 activate V2 isNatural n__s V1 U121 isNatural activate V1 U32 tt N activate N take N XS U221 isNatural N N XS U171 tt N XS U172 isLNat activate XS activate N activate XS activate n__fst X fst activate X activate n__pair X1 X2 pair activate X1 activate X2 natsFrom N U161 isNatural N N activate n__nil nil U41 tt V2 U42 isLNat activate V2 U152 tt tt snd X n__snd X isLNat n__fst V1 U61 isPLNat activate V1 activate n__s X s activate X activate n__cons X1 X2 cons activate X1 X2 U21 tt X Y U22 isLNat activate Y activate X tail X n__tail X U211 tt XS U212 isLNat activate XS activate XS splitAt X1 X2 n__splitAt X1 X2 sel N XS U171 isNatural N N XS U151 tt V2 U152 isLNat activate V2 U141 tt V2 U142 isLNat activate V2 U161 tt N cons activate N n__natsFrom n__s activate N isNatural n__head V1 U111 isLNat activate V1 activate n__splitAt X1 X2 splitAt activate X1 activate X2 fst pair X Y U21 isLNat X X Y cons X1 X2 n__cons X1 X2 isPLNat n__splitAt V1 V2 U151 isNatural activate V1 activate V2 splitAt 0 XS U191 isLNat XS XS U121 tt tt U91 tt tt tail cons N XS U211 isNatural N activate XS snd pair X Y U181 isLNat X Y sel X1 X2 n__sel X1 X2 pair X1 X2 n__pair X1 X2 isLNat n__tail V1 U91 isLNat activate V1 take X1 X2 n__take X1 X2 isNatural n__sel V1 V2 U131 isNatural activate V1 activate V2 isLNat n__snd V1 U81 isPLNat activate V1 head X n__head X activate X X U81 tt tt head cons N XS U31 isNatural N N activate XS isLNat n__nil tt isLNat n__natsFrom V1 U71 isNatural activate V1 afterNth X1 X2 n__afterNth X1 X2 activate n__snd X snd activate X U61 tt tt U31 tt N XS U32 isLNat activate XS activate N isLNat n__afterNth V1 V2 U41 isNatural activate V1 activate V2 activate n__0 0 U102 tt tt isLNat n__cons V1 V2 U51 isNatural activate V1 activate V2 U51 tt V2 isLNat activate V2 true Failed! NaTT certifiable-1.6