25299 Alarm clock | NaTT.exe -v:0 -x:"$2/cpf.xml" --tcap --edge:1 U101 tt V1 V2 U102 isNaturalKind activate V1 activate V1 activate V2 U102 tt V1 V2 U103 isLNatKind activate V2 activate V1 activate V2 U103 tt V1 V2 U104 isLNatKind activate V2 activate V1 activate V2 U104 tt V1 V2 U105 isNatural activate V1 activate V2 U105 tt V2 U106 isLNat activate V2 U106 tt tt U11 tt N XS U12 isNaturalKind activate N activate N activate XS U111 tt V2 U112 isLNatKind activate V2 U112 tt tt U12 tt N XS U13 isLNat activate XS activate N activate XS U121 tt V2 U122 isLNatKind activate V2 U122 tt tt U13 tt N XS U14 isLNatKind activate XS activate N activate XS U131 tt tt U14 tt N XS snd splitAt activate N activate XS U141 tt tt U151 tt tt U161 tt tt U171 tt V2 U172 isLNatKind activate V2 U172 tt tt U181 tt V1 U182 isLNatKind activate V1 activate V1 U182 tt V1 U183 isLNat activate V1 U183 tt tt U191 tt V1 U192 isNaturalKind activate V1 activate V1 U192 tt V1 U193 isNatural activate V1 U193 tt tt U201 tt V1 V2 U202 isNaturalKind activate V1 activate V1 activate V2 U202 tt V1 V2 U203 isLNatKind activate V2 activate V1 activate V2 U203 tt V1 V2 U204 isLNatKind activate V2 activate V1 activate V2 U204 tt V1 V2 U205 isNatural activate V1 activate V2 U205 tt V2 U206 isLNat activate V2 U206 tt tt U21 tt X Y U22 isLNatKind activate X activate X activate Y U211 tt tt U22 tt X Y U23 isLNat activate Y activate X activate Y U221 tt tt U23 tt X Y U24 isLNatKind activate Y activate X U231 tt V2 U232 isLNatKind activate V2 U232 tt tt U24 tt X activate X U241 tt V1 V2 U242 isLNatKind activate V1 activate V1 activate V2 U242 tt V1 V2 U243 isLNatKind activate V2 activate V1 activate V2 U243 tt V1 V2 U244 isLNatKind activate V2 activate V1 activate V2 U244 tt V1 V2 U245 isLNat activate V1 activate V2 U245 tt V2 U246 isLNat activate V2 U246 tt tt U251 tt V1 V2 U252 isNaturalKind activate V1 activate V1 activate V2 U252 tt V1 V2 U253 isLNatKind activate V2 activate V1 activate V2 U253 tt V1 V2 U254 isLNatKind activate V2 activate V1 activate V2 U254 tt V1 V2 U255 isNatural activate V1 activate V2 U255 tt V2 U256 isLNat activate V2 U256 tt tt U261 tt V2 U262 isLNatKind activate V2 U262 tt tt U271 tt V2 U272 isLNatKind activate V2 U272 tt tt U281 tt N U282 isNaturalKind activate N activate N U282 tt N cons activate N n__natsFrom s activate N U291 tt N XS U292 isNaturalKind activate N activate N activate XS U292 tt N XS U293 isLNat activate XS activate N activate XS U293 tt N XS U294 isLNatKind activate XS activate N activate XS U294 tt N XS head afterNth activate N activate XS U301 tt X Y U302 isLNatKind activate X activate Y U302 tt Y U303 isLNat activate Y activate Y U303 tt Y U304 isLNatKind activate Y activate Y U304 tt Y activate Y U31 tt N XS U32 isNaturalKind activate N activate N activate XS U311 tt XS U312 isLNatKind activate XS activate XS U312 tt XS pair nil activate XS U32 tt N XS U33 isLNat activate XS activate N activate XS U321 tt N X XS U322 isNaturalKind activate N activate N activate X activate XS U322 tt N X XS U323 isNatural activate X activate N activate X activate XS U323 tt N X XS U324 isNaturalKind activate X activate N activate X activate XS U324 tt N X XS U325 isLNat activate XS activate N activate X activate XS U325 tt N X XS U326 isLNatKind activate XS activate N activate X activate XS U326 tt N X XS U327 splitAt activate N activate XS activate X U327 pair YS ZS X pair cons activate X YS ZS U33 tt N XS U34 isLNatKind activate XS activate N U331 tt N XS U332 isNaturalKind activate N activate XS U332 tt XS U333 isLNat activate XS activate XS U333 tt XS U334 isLNatKind activate XS activate XS U334 tt XS activate XS U34 tt N activate N U341 tt N XS U342 isNaturalKind activate N activate N activate XS U342 tt N XS U343 isLNat activate XS activate N activate XS U343 tt N XS U344 isLNatKind activate XS activate N activate XS U344 tt N XS fst splitAt activate N activate XS U41 tt V1 V2 U42 isNaturalKind activate V1 activate V1 activate V2 U42 tt V1 V2 U43 isLNatKind activate V2 activate V1 activate V2 U43 tt V1 V2 U44 isLNatKind activate V2 activate V1 activate V2 U44 tt V1 V2 U45 isNatural activate V1 activate V2 U45 tt V2 U46 isLNat activate V2 U46 tt tt U51 tt V1 V2 U52 isNaturalKind activate V1 activate V1 activate V2 U52 tt V1 V2 U53 isLNatKind activate V2 activate V1 activate V2 U53 tt V1 V2 U54 isLNatKind activate V2 activate V1 activate V2 U54 tt V1 V2 U55 isNatural activate V1 activate V2 U55 tt V2 U56 isLNat activate V2 U56 tt tt U61 tt V1 U62 isPLNatKind activate V1 activate V1 U62 tt V1 U63 isPLNat activate V1 U63 tt tt U71 tt V1 U72 isNaturalKind activate V1 activate V1 U72 tt V1 U73 isNatural activate V1 U73 tt tt U81 tt V1 U82 isPLNatKind activate V1 activate V1 U82 tt V1 U83 isPLNat activate V1 U83 tt tt U91 tt V1 U92 isLNatKind activate V1 activate V1 U92 tt V1 U93 isLNat activate V1 U93 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 isNaturalKind activate V1 activate V1 activate V2 isLNat n__cons V1 V2 U51 isNaturalKind activate V1 activate V1 activate V2 isLNat n__fst V1 U61 isPLNatKind activate V1 activate V1 isLNat n__natsFrom V1 U71 isNaturalKind activate V1 activate V1 isLNat n__snd V1 U81 isPLNatKind activate V1 activate V1 isLNat n__tail V1 U91 isLNatKind activate V1 activate V1 isLNat n__take V1 V2 U101 isNaturalKind activate V1 activate V1 activate V2 isLNatKind n__nil tt isLNatKind n__afterNth V1 V2 U111 isNaturalKind activate V1 activate V2 isLNatKind n__cons V1 V2 U121 isNaturalKind activate V1 activate V2 isLNatKind n__fst V1 U131 isPLNatKind activate V1 isLNatKind n__natsFrom V1 U141 isNaturalKind activate V1 isLNatKind n__snd V1 U151 isPLNatKind activate V1 isLNatKind n__tail V1 U161 isLNatKind activate V1 isLNatKind n__take V1 V2 U171 isNaturalKind activate V1 activate V2 isNatural n__0 tt isNatural n__head V1 U181 isLNatKind activate V1 activate V1 isNatural n__s V1 U191 isNaturalKind activate V1 activate V1 isNatural n__sel V1 V2 U201 isNaturalKind activate V1 activate V1 activate V2 isNaturalKind n__0 tt isNaturalKind n__head V1 U211 isLNatKind activate V1 isNaturalKind n__s V1 U221 isNaturalKind activate V1 isNaturalKind n__sel V1 V2 U231 isNaturalKind activate V1 activate V2 isPLNat n__pair V1 V2 U241 isLNatKind activate V1 activate V1 activate V2 isPLNat n__splitAt V1 V2 U251 isNaturalKind activate V1 activate V1 activate V2 isPLNatKind n__pair V1 V2 U261 isLNatKind activate V1 activate V2 isPLNatKind n__splitAt V1 V2 U271 isNaturalKind activate V1 activate V2 natsFrom N U281 isNatural N N sel N XS U291 isNatural N N XS snd pair X Y U301 isLNat X X Y splitAt 0 XS U311 isLNat XS XS splitAt s N cons X XS U321 isNatural N N X activate XS tail cons N XS U331 isNatural N N activate XS take N XS U341 isNatural N N XS natsFrom X n__natsFrom 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 s X n__s 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 X activate n__nil nil activate n__afterNth X1 X2 afterNth X1 X2 activate n__cons X1 X2 cons X1 X2 activate n__fst X fst X activate n__snd X snd X activate n__tail X tail X activate n__take X1 X2 take X1 X2 activate n__0 0 activate n__head X head X activate n__s X s X activate n__sel X1 X2 sel X1 X2 activate n__pair X1 X2 pair X1 X2 activate n__splitAt X1 X2 splitAt X1 X2 activate X X 2.2 U102 tt V1 V2 isLNatKind activate V2 isPLNat n__pair V1 V2 isLNatKind activate V1 U241 tt V1 V2 activate V1 isLNatKind n__afterNth V1 V2 U111 isNaturalKind activate V1 activate V2 U242 tt V1 V2 U243 isLNatKind activate V2 activate V1 activate V2 U62 tt V1 U63 isPLNat activate V1 U105 tt V2 U106 isLNat activate V2 U294 tt N XS head afterNth activate N activate XS take N XS isNatural N U244 tt V1 V2 isLNat activate V1 U341 tt N XS U342 isNaturalKind activate N activate N activate XS splitAt s N cons X XS isNatural N U323 tt N X XS activate XS U55 tt V2 isLNat activate V2 U23 tt X Y U24 isLNatKind activate Y activate X isPLNat n__splitAt V1 V2 isNaturalKind activate V1 U245 tt V2 activate V2 U14 tt N XS activate N U21 tt X Y activate X isLNatKind n__fst V1 U131 isPLNatKind activate V1 U42 tt V1 V2 activate V2 U241 tt V1 V2 isLNatKind activate V1 activate n__s X s X isNaturalKind n__sel V1 V2 isNaturalKind activate V1 U53 tt V1 V2 activate V2 U191 tt V1 U192 isNaturalKind activate V1 activate V1 U31 tt N XS U32 isNaturalKind activate N activate N activate XS U325 tt N X XS U326 isLNatKind activate XS activate N activate X activate XS U332 tt XS activate XS activate n__afterNth X1 X2 afterNth X1 X2 U241 tt V1 V2 U242 isLNatKind activate V1 activate V1 activate V2 isPLNatKind n__pair V1 V2 activate V1 U322 tt N X XS isNatural activate X U331 tt N XS activate XS U294 tt N XS activate N U42 tt V1 V2 activate V1 U344 tt N XS fst splitAt activate N activate XS U52 tt V1 V2 isLNatKind activate V2 isNaturalKind n__sel V1 V2 U231 isNaturalKind activate V1 activate V2 U325 tt N X XS activate X U53 tt V1 V2 U54 isLNatKind activate V2 activate V1 activate V2 U82 tt V1 isPLNat activate V1 U325 tt N X XS activate XS U301 tt X Y isLNatKind activate X isLNatKind n__take V1 V2 activate V2 U252 tt V1 V2 isLNatKind activate V2 U201 tt V1 V2 isNaturalKind activate V1 U261 tt V2 isLNatKind activate V2 U23 tt X Y isLNatKind activate Y U45 tt V2 activate V2 U333 tt XS activate XS U91 tt V1 activate V1 sel N XS U291 isNatural N N XS U201 tt V1 V2 U202 isNaturalKind activate V1 activate V1 activate V2 U62 tt V1 activate V1 U54 tt V1 V2 U55 isNatural activate V1 activate V2 U111 tt V2 U112 isLNatKind activate V2 U81 tt V1 isPLNatKind activate V1 U101 tt V1 V2 isNaturalKind activate V1 U41 tt V1 V2 activate V1 U121 tt V2 U122 isLNatKind activate V2 U53 tt V1 V2 activate V2 isPLNatKind n__pair V1 V2 activate V2 U251 tt V1 V2 activate V2 U271 tt V2 isLNatKind activate V2 U92 tt V1 U93 isLNat activate V1 activate n__take X1 X2 take X1 X2 U23 tt X Y activate Y U204 tt V1 V2 U205 isNatural activate V1 activate V2 U293 tt N XS activate N activate n__head X head X U14 tt N XS splitAt activate N activate XS isNatural n__s V1 isNaturalKind activate V1 U55 tt V2 activate V2 U282 tt N s activate N U261 tt V2 activate V2 U13 tt N XS activate XS U44 tt V1 V2 isNatural activate V1 U192 tt V1 activate V1 snd pair X Y U301 isLNat X X Y U201 tt V1 V2 activate V1 isNatural n__s V1 activate V1 U291 tt N XS activate XS U282 tt N activate N snd pair X Y isLNat X U43 tt V1 V2 activate V1 U323 tt N X XS U324 isNaturalKind activate X activate N activate X activate XS U52 tt V1 V2 activate V2 activate n__pair X1 X2 pair X1 X2 isPLNatKind n__splitAt V1 V2 activate V1 tail cons N XS isNatural N U244 tt V1 V2 activate V2 U31 tt N XS activate N U24 tt X activate X U11 tt N XS activate XS isNaturalKind n__sel V1 V2 activate V1 U72 tt V1 activate V1 U14 tt N XS snd splitAt activate N activate XS U327 pair YS ZS X pair cons activate X YS ZS U301 tt X Y activate Y isPLNatKind n__splitAt V1 V2 isNaturalKind activate V1 U12 tt N XS activate XS U43 tt V1 V2 U44 isLNatKind activate V2 activate V1 activate V2 U343 tt N XS U344 isLNatKind activate XS activate N activate XS natsFrom N isNatural N isLNat n__natsFrom V1 isNaturalKind activate V1 U33 tt N XS U34 isLNatKind activate XS activate N U51 tt V1 V2 activate V1 isLNat n__tail V1 activate V1 U21 tt X Y U22 isLNatKind activate X activate X activate Y U101 tt V1 V2 activate V2 U255 tt V2 U256 isLNat activate V2 U44 tt V1 V2 activate V1 U303 tt Y activate Y U244 tt V1 V2 U245 isLNat activate V1 activate V2 U51 tt V1 V2 U52 isNaturalKind activate V1 activate V1 activate V2 U282 tt N cons activate N n__natsFrom s activate N isLNat n__afterNth V1 V2 activate V2 U54 tt V1 V2 activate V1 U251 tt V1 V2 U252 isNaturalKind activate V1 activate V1 activate V2 U32 tt N XS activate N U52 tt V1 V2 activate V2 U292 tt N XS activate XS U204 tt V1 V2 isNatural activate V1 U322 tt N X XS activate XS U21 tt X Y isLNatKind activate X U252 tt V1 V2 U253 isLNatKind activate V2 activate V1 activate V2 U12 tt N XS U13 isLNat activate XS activate N activate XS isLNat n__natsFrom V1 activate V1 U42 tt V1 V2 U43 isLNatKind activate V2 activate V1 activate V2 U111 tt V2 activate V2 U71 tt V1 U72 isNaturalKind activate V1 activate V1 U292 tt N XS activate XS U271 tt V2 U272 isLNatKind activate V2 U201 tt V1 V2 activate V1 tail cons N XS U331 isNatural N N activate XS activate n__sel X1 X2 sel X1 X2 U324 tt N X XS activate X head cons N XS isNatural N U303 tt Y isLNatKind activate Y isLNat n__fst V1 isPLNatKind activate V1 U243 tt V1 V2 activate V2 isPLNat n__splitAt V1 V2 activate V2 isLNat n__take V1 V2 U101 isNaturalKind activate V1 activate V1 activate V2 U343 tt N XS activate N isNatural n__sel V1 V2 U201 isNaturalKind activate V1 activate V1 activate V2 U332 tt XS isLNat activate XS U243 tt V1 V2 U244 isLNatKind activate V2 activate V1 activate V2 isLNatKind n__snd V1 activate V1 U325 tt N X XS activate N U11 tt N XS activate N isLNatKind n__natsFrom V1 activate V1 isNatural n__s V1 activate V1 isLNat n__take V1 V2 isNaturalKind activate V1 U43 tt V1 V2 isLNatKind activate V2 U44 tt V1 V2 U45 isNatural activate V1 activate V2 U331 tt N XS U332 isNaturalKind activate N activate XS U51 tt V1 V2 activate V2 U342 tt N XS U343 isLNat activate XS activate N activate XS U321 tt N X XS U322 isNaturalKind activate N activate N activate X activate XS U301 tt X Y U302 isLNatKind activate X activate Y isLNat n__cons V1 V2 activate V1 U255 tt V2 activate V2 U91 tt V1 isLNatKind activate V1 activate n__tail X tail X U252 tt V1 V2 activate V2 U202 tt V1 V2 isLNatKind activate V2 U22 tt X Y activate X U171 tt V2 activate V2 U105 tt V2 isLNat activate V2 U291 tt N XS U292 isNaturalKind activate N activate N activate XS U251 tt V1 V2 activate V1 U253 tt V1 V2 activate V2 U61 tt V1 U62 isPLNatKind activate V1 activate V1 isLNatKind n__tail V1 isLNatKind activate V1 U22 tt X Y activate Y U182 tt V1 isLNat activate V1 U312 tt XS nil isLNat n__afterNth V1 V2 U41 isNaturalKind activate V1 activate V1 activate V2 U321 tt N X XS activate XS isNaturalKind n__head V1 activate V1 fst pair X Y U21 isLNat X X Y U71 tt V1 activate V1 U321 tt N X XS activate N U241 tt V1 V2 activate V2 activate n__0 0 isLNatKind n__fst V1 isPLNatKind activate V1 U325 tt N X XS isLNatKind activate XS isNatural n__sel V1 V2 isNaturalKind activate V1 U303 tt Y activate Y U341 tt N XS activate N U191 tt V1 activate V1 U251 tt V1 V2 activate V1 U32 tt N XS activate XS afterNth N XS U11 isNatural N N XS U243 tt V1 V2 isLNatKind activate V2 U242 tt V1 V2 activate V2 U244 tt V1 V2 activate V1 U82 tt V1 activate V1 U101 tt V1 V2 activate V1 isLNat n__take V1 V2 activate V1 U204 tt V1 V2 activate V2 U14 tt N XS activate XS U333 tt XS activate XS U321 tt N X XS activate N U54 tt V1 V2 activate V2 U41 tt V1 V2 U42 isNaturalKind activate V1 activate V1 activate V2 isPLNat n__pair V1 V2 activate V2 activate n__nil nil U332 tt XS activate XS splitAt s N cons X XS U321 isNatural N N X activate XS U192 tt V1 isNatural activate V1 U294 tt N XS activate XS U282 tt N activate N U243 tt V1 V2 activate V1 isPLNat n__splitAt V1 V2 U251 isNaturalKind activate V1 activate V1 activate V2 isNatural n__sel V1 V2 activate V2 U324 tt N X XS activate N isLNatKind n__tail V1 U161 isLNatKind activate V1 U326 tt N X XS activate N U323 tt N X XS isNaturalKind activate X U242 tt V1 V2 isLNatKind activate V2 U103 tt V1 V2 activate V1 U42 tt V1 V2 isLNatKind activate V2 isLNat n__snd V1 isPLNatKind activate V1 U191 tt V1 activate V1 U254 tt V1 V2 activate V2 U344 tt N XS splitAt activate N activate XS head cons N XS activate XS U23 tt X Y activate X U104 tt V1 V2 activate V1 U22 tt X Y activate Y U344 tt N XS activate XS U45 tt V2 isLNat activate V2 isLNat n__afterNth V1 V2 activate V1 U201 tt V1 V2 activate V2 isLNatKind n__natsFrom V1 U141 isNaturalKind activate V1 U255 tt V2 isLNat activate V2 U324 tt N X XS activate XS U171 tt V2 U172 isLNatKind activate V2 isLNat n__afterNth V1 V2 isNaturalKind activate V1 U301 tt X Y activate X U202 tt V1 V2 activate V2 U41 tt V1 V2 activate V1 isLNat n__natsFrom V1 activate V1 U203 tt V1 V2 activate V2 U202 tt V1 V2 U203 isLNatKind activate V2 activate V1 activate V2 U322 tt N X XS activate N U281 tt N U282 isNaturalKind activate N activate N U231 tt V2 isLNatKind activate V2 U341 tt N XS activate XS U121 tt V2 isLNatKind activate V2 U171 tt V2 isLNatKind activate V2 isPLNat n__pair V1 V2 activate V1 U343 tt N XS isLNatKind activate XS U111 tt V2 isLNatKind activate V2 U292 tt N XS isLNat activate XS U32 tt N XS U33 isLNat activate XS activate N activate XS U52 tt V1 V2 activate V1 U31 tt N XS activate XS U342 tt N XS activate XS isNatural n__s V1 U191 isNaturalKind activate V1 activate V1 U291 tt N XS activate N activate n__snd X snd X U33 tt N XS isLNatKind activate XS U343 tt N XS activate XS U45 tt V2 U46 isLNat activate V2 U252 tt V1 V2 activate V2 U53 tt V1 V2 activate V1 U192 tt V1 U193 isNatural activate V1 U105 tt V2 activate V2 U121 tt V2 activate V2 fst pair X Y isLNat X U252 tt V1 V2 activate V1 U41 tt V1 V2 isNaturalKind activate V1 isLNat n__cons V1 V2 activate V1 U323 tt N X XS activate N U242 tt V1 V2 activate V2 U81 tt V1 activate V1 U261 tt V2 U262 isLNatKind activate V2 U82 tt V1 U83 isPLNat activate V1 isLNat n__take V1 V2 activate V2 U341 tt N XS activate N U326 tt N X XS splitAt activate N activate XS U293 tt N XS U294 isLNatKind activate XS activate N activate XS U102 tt V1 V2 activate V2 isLNat n__take V1 V2 activate V1 U241 tt V1 V2 activate V1 U327 pair YS ZS X activate X isNaturalKind n__s V1 activate V1 U21 tt X Y activate Y isLNatKind n__take V1 V2 isNaturalKind activate V1 U323 tt N X XS activate X U72 tt V1 isNatural activate V1 U101 tt V1 V2 U102 isNaturalKind activate V1 activate V1 activate V2 U271 tt V2 activate V2 activate n__splitAt X1 X2 splitAt X1 X2 activate n__fst X fst X U182 tt V1 U183 isLNat activate V1 U11 tt N XS activate N isLNatKind n__tail V1 activate V1 isLNat n__fst V1 activate V1 U333 tt XS U334 isLNatKind activate XS activate XS U22 tt X Y isLNat activate Y U61 tt V1 activate V1 U302 tt Y U303 isLNat activate Y activate Y isLNatKind n__natsFrom V1 isNaturalKind activate V1 U231 tt V2 activate V2 U104 tt V1 V2 activate V2 isLNatKind n__take V1 V2 activate V1 U13 tt N XS isLNatKind activate XS U181 tt V1 activate V1 U322 tt N X XS activate X U42 tt V1 V2 activate V2 U205 tt V2 U206 isLNat activate V2 U342 tt N XS activate N U341 tt N XS isNaturalKind activate N U253 tt V1 V2 activate V1 take N XS U341 isNatural N N XS U13 tt N XS activate N U326 tt N X XS U327 splitAt activate N activate XS activate X splitAt s N cons X XS activate XS U254 tt V1 V2 activate V1 isPLNat n__pair V1 V2 activate V1 isPLNatKind n__pair V1 V2 isLNatKind activate V1 isLNat n__cons V1 V2 activate V2 U302 tt Y activate Y isLNatKind n__snd V1 U151 isPLNatKind activate V1 isLNat n__snd V1 activate V1 isLNatKind n__fst V1 activate V1 U51 tt V1 V2 isNaturalKind activate V1 U43 tt V1 V2 activate V2 U205 tt V2 activate V2 U304 tt Y activate Y U292 tt N XS activate N U81 tt V1 activate V1 U291 tt N XS activate N U342 tt N XS isLNat activate XS isNatural n__head V1 activate V1 isNatural n__head V1 U181 isLNatKind activate V1 activate V1 isLNatKind n__cons V1 V2 activate V1 isLNatKind n__cons V1 V2 activate V2 sel N XS isNatural N splitAt 0 XS isLNat XS activate n__natsFrom X natsFrom X U326 tt N X XS activate X U202 tt V1 V2 activate V1 U31 tt N XS isNaturalKind activate N U44 tt V1 V2 activate V2 U322 tt N X XS activate X U32 tt N XS isLNat activate XS isNaturalKind n__sel V1 V2 activate V2 U41 tt V1 V2 activate V2 U204 tt V1 V2 activate V1 U294 tt N XS afterNth activate N activate XS U191 tt V1 isNaturalKind activate V1 isLNat n__natsFrom V1 U71 isNaturalKind activate V1 activate V1 U33 tt N XS activate N U103 tt V1 V2 isLNatKind activate V2 tail cons N XS activate XS isLNatKind n__afterNth V1 V2 activate V2 isLNat n__cons V1 V2 U51 isNaturalKind activate V1 activate V1 activate V2 U245 tt V2 isLNat activate V2 U13 tt N XS activate XS U203 tt V1 V2 isLNatKind activate V2 U245 tt V2 U246 isLNat activate V2 U242 tt V1 V2 activate V1 U203 tt V1 V2 activate V1 U181 tt V1 isLNatKind activate V1 isLNat n__cons V1 V2 isNaturalKind activate V1 U322 tt N X XS U323 isNatural activate X activate N activate X activate XS isNatural n__head V1 isLNatKind activate V1 U302 tt Y activate Y U231 tt V2 U232 isLNatKind activate V2 U253 tt V1 V2 U254 isLNatKind activate V2 activate V1 activate V2 U81 tt V1 U82 isPLNatKind activate V1 activate V1 U103 tt V1 V2 U104 isLNatKind activate V2 activate V1 activate V2 U32 tt N XS activate XS U91 tt V1 activate V1 U11 tt N XS isNaturalKind activate N isLNat n__tail V1 U91 isLNatKind activate V1 activate V1 U182 tt V1 activate V1 U326 tt N X XS activate XS U55 tt V2 U56 isLNat activate V2 U12 tt N XS activate N isLNatKind n__take V1 V2 U171 isNaturalKind activate V1 activate V2 U323 tt N X XS activate X U291 tt N XS isNaturalKind activate N isNaturalKind n__s V1 U221 isNaturalKind activate V1 U331 tt N XS activate N U33 tt N XS activate XS U103 tt V1 V2 activate V2 U11 tt N XS U12 isNaturalKind activate N activate N activate XS U61 tt V1 isPLNatKind activate V1 U324 tt N X XS activate XS U34 tt N activate N isLNatKind n__cons V1 V2 U121 isNaturalKind activate V1 activate V2 U325 tt N X XS activate XS isPLNat n__pair V1 V2 U241 isLNatKind activate V1 activate V1 activate V2 isPLNatKind n__splitAt V1 V2 U271 isNaturalKind activate V1 activate V2 U12 tt N XS activate XS U312 tt XS activate XS U281 tt N activate N U293 tt N XS activate XS U21 tt X Y activate X isLNatKind n__snd V1 isPLNatKind activate V1 U251 tt V1 V2 isNaturalKind activate V1 U53 tt V1 V2 isLNatKind activate V2 isLNat n__afterNth V1 V2 activate V1 U52 tt V1 V2 U53 isLNatKind activate V2 activate V1 activate V2 U332 tt XS U333 isLNat activate XS activate XS U22 tt X Y U23 isLNat activate Y activate X activate Y U203 tt V1 V2 U204 isLNatKind activate V2 activate V1 activate V2 U342 tt N XS activate XS U102 tt V1 V2 activate V2 isPLNat n__splitAt V1 V2 activate V1 U43 tt V1 V2 activate V2 U303 tt Y U304 isLNatKind activate Y activate Y isLNat n__snd V1 U81 isPLNatKind activate V1 activate V1 U205 tt V2 isLNat activate V2 isPLNat n__splitAt V1 V2 activate V1 U321 tt N X XS isNaturalKind activate N U102 tt V1 V2 U103 isLNatKind activate V2 activate V1 activate V2 isLNatKind n__cons V1 V2 isNaturalKind activate V1 U92 tt V1 isLNat activate V1 U71 tt V1 isNaturalKind activate V1 U344 tt N XS activate N U293 tt N XS activate XS U12 tt N XS isLNat activate XS U54 tt V1 V2 isNatural activate V1 U51 tt V1 V2 activate V1 U71 tt V1 activate V1 U181 tt V1 activate V1 U103 tt V1 V2 activate V2 U311 tt XS isLNatKind activate XS isLNat n__snd V1 activate V1 U181 tt V1 U182 isLNatKind activate V1 activate V1 U331 tt N XS isNaturalKind activate N U312 tt XS pair nil activate XS isNatural n__sel V1 V2 activate V1 splitAt 0 XS U311 isLNat XS XS U343 tt N XS activate XS U254 tt V1 V2 isNatural activate V1 isPLNatKind n__splitAt V1 V2 activate V2 isNatural n__sel V1 V2 activate V1 U31 tt N XS activate N U13 tt N XS U14 isLNatKind activate XS activate N activate XS U61 tt V1 activate V1 U333 tt XS isLNatKind activate XS U92 tt V1 activate V1 U311 tt XS U312 isLNatKind activate XS activate XS U293 tt N XS isLNatKind activate XS U72 tt V1 U73 isNatural activate V1 U311 tt XS activate XS natsFrom N U281 isNatural N N U253 tt V1 V2 activate V2 U281 tt N isNaturalKind activate N isLNat n__tail V1 activate V1 isLNat n__fst V1 activate V1 U104 tt V1 V2 isNatural activate V1 U243 tt V1 V2 activate V2 U104 tt V1 V2 U105 isNatural activate V1 activate V2 U327 pair YS ZS X cons activate X YS U101 tt V1 V2 activate V1 isNaturalKind n__s V1 isNaturalKind activate V1 isNatural n__head V1 activate V1 U253 tt V1 V2 isLNatKind activate V2 afterNth N XS isNatural N isLNatKind n__afterNth V1 V2 activate V1 U91 tt V1 U92 isLNatKind activate V1 activate V1 U324 tt N X XS U325 isLNat activate XS activate N activate X activate XS U254 tt V1 V2 U255 isNatural activate V1 activate V2 isPLNatKind n__pair V1 V2 U261 isLNatKind activate V1 activate V2 U334 tt XS activate XS isLNat n__fst V1 U61 isPLNatKind activate V1 activate V1 U102 tt V1 V2 activate V1 activate n__cons X1 X2 cons X1 X2 isLNatKind n__afterNth V1 V2 isNaturalKind activate V1 U202 tt V1 V2 activate V2 isNaturalKind n__head V1 isLNatKind activate V1 U324 tt N X XS isLNat activate XS isNaturalKind n__head V1 U211 isLNatKind activate V1 U321 tt N X XS activate X head cons N XS U31 isNatural N N activate XS U203 tt V1 V2 activate V2 isLNat n__tail V1 isLNatKind activate V1 U311 tt XS activate XS U302 tt Y isLNat activate Y U281 tt N activate N U292 tt N XS U293 isLNat activate XS activate N activate XS U62 tt V1 isPLNat activate V1 true U292 tt N XS U293 isLNat activate XS activate N activate XS U62 tt V1 isPLNat activate V1 isLNat n__tail V1 isLNatKind activate V1 U311 tt XS activate XS U302 tt Y isLNat activate Y U281 tt N activate N U203 tt V1 V2 activate V2 U321 tt N X XS activate X head cons N XS U31 isNatural N N activate XS isNaturalKind n__head V1 isLNatKind activate V1 U324 tt N X XS isLNat activate XS isLNatKind n__afterNth V1 V2 isNaturalKind activate V1 U202 tt V1 V2 activate V2 U102 tt V1 V2 activate V1 U254 tt V1 V2 U255 isNatural activate V1 activate V2 isPLNatKind n__pair V1 V2 U261 isLNatKind activate V1 activate V2 U334 tt XS activate XS isLNat n__fst V1 U61 isPLNatKind activate V1 activate V1 isLNatKind n__afterNth V1 V2 activate V1 U91 tt V1 U92 isLNatKind activate V1 activate V1 U324 tt N X XS U325 isLNat activate XS activate N activate X activate XS U253 tt V1 V2 isLNatKind activate V2 afterNth N XS isNatural N U101 tt V1 V2 activate V1 isNaturalKind n__s V1 isNaturalKind activate V1 isNatural n__head V1 activate V1 U104 tt V1 V2 U105 isNatural activate V1 activate V2 U243 tt V1 V2 activate V2 U104 tt V1 V2 isNatural activate V1 isLNat n__tail V1 activate V1 isLNat n__fst V1 activate V1 U253 tt V1 V2 activate V2 U281 tt N isNaturalKind activate N natsFrom N U281 isNatural N N U311 tt XS activate XS U311 tt XS U312 isLNatKind activate XS activate XS U293 tt N XS isLNatKind activate XS U61 tt V1 activate V1 U333 tt XS isLNatKind activate XS U92 tt V1 activate V1 U13 tt N XS U14 isLNatKind activate XS activate N activate XS U254 tt V1 V2 isNatural activate V1 isPLNatKind n__splitAt V1 V2 activate V2 isNatural n__sel V1 V2 activate V1 U31 tt N XS activate N isNatural n__sel V1 V2 activate V1 splitAt 0 XS U311 isLNat XS XS U343 tt N XS activate XS U181 tt V1 U182 isLNatKind activate V1 activate V1 U331 tt N XS isNaturalKind activate N U103 tt V1 V2 activate V2 U311 tt XS isLNatKind activate XS isLNat n__snd V1 activate V1 U71 tt V1 activate V1 U181 tt V1 activate V1 U51 tt V1 V2 activate V1 U12 tt N XS isLNat activate XS U54 tt V1 V2 isNatural activate V1 U71 tt V1 isNaturalKind activate V1 U344 tt N XS activate N U293 tt N XS activate XS isLNatKind n__cons V1 V2 isNaturalKind activate V1 U92 tt V1 isLNat activate V1 U102 tt V1 V2 U103 isLNatKind activate V2 activate V1 activate V2 U321 tt N X XS isNaturalKind activate N isPLNat n__splitAt V1 V2 activate V1 U205 tt V2 isLNat activate V2 U303 tt Y U304 isLNatKind activate Y activate Y isLNat n__snd V1 U81 isPLNatKind activate V1 activate V1 isPLNat n__splitAt V1 V2 activate V1 U43 tt V1 V2 activate V2 U342 tt N XS activate XS U102 tt V1 V2 activate V2 U203 tt V1 V2 U204 isLNatKind activate V2 activate V1 activate V2 U332 tt XS U333 isLNat activate XS activate XS U22 tt X Y U23 isLNat activate Y activate X activate Y U52 tt V1 V2 U53 isLNatKind activate V2 activate V1 activate V2 U53 tt V1 V2 isLNatKind activate V2 isLNat n__afterNth V1 V2 activate V1 U21 tt X Y activate X isLNatKind n__snd V1 isPLNatKind activate V1 U251 tt V1 V2 isNaturalKind activate V1 isPLNatKind n__splitAt V1 V2 U271 isNaturalKind activate V1 activate V2 U12 tt N XS activate XS U312 tt XS activate XS U281 tt N activate N U293 tt N XS activate XS isPLNat n__pair V1 V2 U241 isLNatKind activate V1 activate V1 activate V2 isLNatKind n__cons V1 V2 U121 isNaturalKind activate V1 activate V2 U325 tt N X XS activate XS U324 tt N X XS activate XS U34 tt N activate N U61 tt V1 isPLNatKind activate V1 U103 tt V1 V2 activate V2 U11 tt N XS U12 isNaturalKind activate N activate N activate XS U331 tt N XS activate N U33 tt N XS activate XS U291 tt N XS isNaturalKind activate N U12 tt N XS activate N isLNatKind n__take V1 V2 U171 isNaturalKind activate V1 activate V2 U323 tt N X XS activate X isLNat n__tail V1 U91 isLNatKind activate V1 activate V1 U182 tt V1 activate V1 U326 tt N X XS activate XS U11 tt N XS isNaturalKind activate N U103 tt V1 V2 U104 isLNatKind activate V2 activate V1 activate V2 U32 tt N XS activate XS U91 tt V1 activate V1 U253 tt V1 V2 U254 isLNatKind activate V2 activate V1 activate V2 U81 tt V1 U82 isPLNatKind activate V1 activate V1 U302 tt Y activate Y U181 tt V1 isLNatKind activate V1 isLNat n__cons V1 V2 isNaturalKind activate V1 U322 tt N X XS U323 isNatural activate X activate N activate X activate XS isNatural n__head V1 isLNatKind activate V1 U242 tt V1 V2 activate V1 U203 tt V1 V2 activate V1 isLNatKind n__afterNth V1 V2 activate V2 isLNat n__cons V1 V2 U51 isNaturalKind activate V1 activate V1 activate V2 U245 tt V2 isLNat activate V2 U13 tt N XS activate XS U203 tt V1 V2 isLNatKind activate V2 U103 tt V1 V2 isLNatKind activate V2 tail cons N XS activate XS isLNat n__natsFrom V1 U71 isNaturalKind activate V1 activate V1 U33 tt N XS activate N U294 tt N XS afterNth activate N activate XS U191 tt V1 isNaturalKind activate V1 U41 tt V1 V2 activate V2 U204 tt V1 V2 activate V1 isNaturalKind n__sel V1 V2 activate V2 U322 tt N X XS activate X U32 tt N XS isLNat activate XS U202 tt V1 V2 activate V1 U31 tt N XS isNaturalKind activate N U44 tt V1 V2 activate V2 activate n__natsFrom X natsFrom X U326 tt N X XS activate X isLNatKind n__cons V1 V2 activate V2 sel N XS isNatural N splitAt 0 XS isLNat XS isLNatKind n__cons V1 V2 activate V1 U342 tt N XS isLNat activate XS isNatural n__head V1 activate V1 isNatural n__head V1 U181 isLNatKind activate V1 activate V1 U292 tt N XS activate N U81 tt V1 activate V1 U291 tt N XS activate N U205 tt V2 activate V2 U304 tt Y activate Y isLNat n__snd V1 activate V1 isLNatKind n__fst V1 activate V1 U51 tt V1 V2 isNaturalKind activate V1 U43 tt V1 V2 activate V2 isPLNatKind n__pair V1 V2 isLNatKind activate V1 isLNat n__cons V1 V2 activate V2 U302 tt Y activate Y U254 tt V1 V2 activate V1 isPLNat n__pair V1 V2 activate V1 U326 tt N X XS U327 splitAt activate N activate XS activate X splitAt s N cons X XS activate XS U13 tt N XS activate N U342 tt N XS activate N U341 tt N XS isNaturalKind activate N U253 tt V1 V2 activate V1 take N XS U341 isNatural N N XS U181 tt V1 activate V1 U322 tt N X XS activate X U42 tt V1 V2 activate V2 U104 tt V1 V2 activate V2 isLNatKind n__take V1 V2 activate V1 U13 tt N XS isLNatKind activate XS isLNatKind n__natsFrom V1 isNaturalKind activate V1 U231 tt V2 activate V2 U61 tt V1 activate V1 U302 tt Y U303 isLNat activate Y activate Y U22 tt X Y isLNat activate Y U11 tt N XS activate N isLNatKind n__tail V1 activate V1 isLNat n__fst V1 activate V1 U333 tt XS U334 isLNatKind activate XS activate XS activate n__fst X fst X U72 tt V1 isNatural activate V1 U101 tt V1 V2 U102 isNaturalKind activate V1 activate V1 activate V2 U271 tt V2 activate V2 activate n__splitAt X1 X2 splitAt X1 X2 isNaturalKind n__s V1 activate V1 U21 tt X Y activate Y isLNatKind n__take V1 V2 isNaturalKind activate V1 U323 tt N X XS activate X U327 pair YS ZS X activate X isLNat n__take V1 V2 activate V1 U241 tt V1 V2 activate V1 U326 tt N X XS splitAt activate N activate XS U293 tt N XS U294 isLNatKind activate XS activate N activate XS U102 tt V1 V2 activate V2 isLNat n__take V1 V2 activate V2 U341 tt N XS activate N U81 tt V1 activate V1 isLNat n__cons V1 V2 activate V1 U323 tt N X XS activate N U242 tt V1 V2 activate V2 U41 tt V1 V2 isNaturalKind activate V1 U105 tt V2 activate V2 U121 tt V2 activate V2 fst pair X Y isLNat X U252 tt V1 V2 activate V1 U53 tt V1 V2 activate V1 U252 tt V1 V2 activate V2 U343 tt N XS activate XS U33 tt N XS isLNatKind activate XS activate n__snd X snd X U342 tt N XS activate XS isNatural n__s V1 U191 isNaturalKind activate V1 activate V1 U291 tt N XS activate N U31 tt N XS activate XS U111 tt V2 isLNatKind activate V2 U292 tt N XS isLNat activate XS U32 tt N XS U33 isLNat activate XS activate N activate XS U52 tt V1 V2 activate V1 U171 tt V2 isLNatKind activate V2 isPLNat n__pair V1 V2 activate V1 U343 tt N XS isLNatKind activate XS U121 tt V2 isLNatKind activate V2 U341 tt N XS activate XS U281 tt N U282 isNaturalKind activate N activate N U231 tt V2 isLNatKind activate V2 U202 tt V1 V2 U203 isLNatKind activate V2 activate V1 activate V2 U322 tt N X XS activate N isLNat n__natsFrom V1 activate V1 U203 tt V1 V2 activate V2 U202 tt V1 V2 activate V2 U41 tt V1 V2 activate V1 U301 tt X Y activate X isLNat n__afterNth V1 V2 isNaturalKind activate V1 U201 tt V1 V2 activate V2 U255 tt V2 isLNat activate V2 U324 tt N X XS activate XS U344 tt N XS activate XS U45 tt V2 isLNat activate V2 isLNat n__afterNth V1 V2 activate V1 U104 tt V1 V2 activate V1 U22 tt X Y activate Y U254 tt V1 V2 activate V2 U344 tt N XS splitAt activate N activate XS head cons N XS activate XS U23 tt X Y activate X isLNat n__snd V1 isPLNatKind activate V1 U191 tt V1 activate V1 U103 tt V1 V2 activate V1 U42 tt V1 V2 isLNatKind activate V2 U326 tt N X XS activate N U323 tt N X XS isNaturalKind activate X U242 tt V1 V2 isLNatKind activate V2 isPLNat n__splitAt V1 V2 U251 isNaturalKind activate V1 activate V1 activate V2 isNatural n__sel V1 V2 activate V2 U324 tt N X XS activate N U294 tt N XS activate XS U282 tt N activate N U243 tt V1 V2 activate V1 U192 tt V1 isNatural activate V1 U332 tt XS activate XS splitAt s N cons X XS U321 isNatural N N X activate XS isPLNat n__pair V1 V2 activate V2 U41 tt V1 V2 U42 isNaturalKind activate V1 activate V1 activate V2 U14 tt N XS activate XS U333 tt XS activate XS U321 tt N X XS activate N U54 tt V1 V2 activate V2 U101 tt V1 V2 activate V1 isLNat n__take V1 V2 activate V1 U204 tt V1 V2 activate V2 U244 tt V1 V2 activate V1 U82 tt V1 activate V1 U242 tt V1 V2 activate V2 U243 tt V1 V2 isLNatKind activate V2 U32 tt N XS activate XS afterNth N XS U11 isNatural N N XS U251 tt V1 V2 activate V1 U341 tt N XS activate N U191 tt V1 activate V1 U303 tt Y activate Y isNatural n__sel V1 V2 isNaturalKind activate V1 U325 tt N X XS isLNatKind activate XS isLNatKind n__fst V1 isPLNatKind activate V1 U241 tt V1 V2 activate V2 U71 tt V1 activate V1 U321 tt N X XS activate N isNaturalKind n__head V1 activate V1 fst pair X Y U21 isLNat X X Y U182 tt V1 isLNat activate V1 isLNat n__afterNth V1 V2 U41 isNaturalKind activate V1 activate V1 activate V2 U321 tt N X XS activate XS U61 tt V1 U62 isPLNatKind activate V1 activate V1 isLNatKind n__tail V1 isLNatKind activate V1 U22 tt X Y activate Y U253 tt V1 V2 activate V2 U251 tt V1 V2 activate V1 U171 tt V2 activate V2 U105 tt V2 isLNat activate V2 U291 tt N XS U292 isNaturalKind activate N activate N activate XS U202 tt V1 V2 isLNatKind activate V2 U22 tt X Y activate X U91 tt V1 isLNatKind activate V1 activate n__tail X tail X U252 tt V1 V2 activate V2 U301 tt X Y U302 isLNatKind activate X activate Y isLNat n__cons V1 V2 activate V1 U255 tt V2 activate V2 U342 tt N XS U343 isLNat activate XS activate N activate XS U321 tt N X XS U322 isNaturalKind activate N activate N activate X activate XS U331 tt N XS U332 isNaturalKind activate N activate XS U51 tt V1 V2 activate V2 isLNat n__take V1 V2 isNaturalKind activate V1 U43 tt V1 V2 isLNatKind activate V2 U44 tt V1 V2 U45 isNatural activate V1 activate V2 isLNatKind n__natsFrom V1 activate V1 isNatural n__s V1 activate V1 U11 tt N XS activate N isLNatKind n__snd V1 activate V1 U325 tt N X XS activate N U332 tt XS isLNat activate XS U243 tt V1 V2 U244 isLNatKind activate V2 activate V1 activate V2 isNatural n__sel V1 V2 U201 isNaturalKind activate V1 activate V1 activate V2 isLNat n__take V1 V2 U101 isNaturalKind activate V1 activate V1 activate V2 U343 tt N XS activate N isPLNat n__splitAt V1 V2 activate V2 U303 tt Y isLNatKind activate Y isLNat n__fst V1 isPLNatKind activate V1 U243 tt V1 V2 activate V2 activate n__sel X1 X2 sel X1 X2 U324 tt N X XS activate X head cons N XS isNatural N U201 tt V1 V2 activate V1 tail cons N XS U331 isNatural N N activate XS U292 tt N XS activate XS U71 tt V1 U72 isNaturalKind activate V1 activate V1 U111 tt V2 activate V2 isLNat n__natsFrom V1 activate V1 U42 tt V1 V2 U43 isLNatKind activate V2 activate V1 activate V2 U12 tt N XS U13 isLNat activate XS activate N activate XS U322 tt N X XS activate XS U21 tt X Y isLNatKind activate X U252 tt V1 V2 U253 isLNatKind activate V2 activate V1 activate V2 U292 tt N XS activate XS U204 tt V1 V2 isNatural activate V1 U32 tt N XS activate N U52 tt V1 V2 activate V2 U251 tt V1 V2 U252 isNaturalKind activate V1 activate V1 activate V2 isLNat n__afterNth V1 V2 activate V2 U54 tt V1 V2 activate V1 U303 tt Y activate Y U244 tt V1 V2 U245 isLNat activate V1 activate V2 U51 tt V1 V2 U52 isNaturalKind activate V1 activate V1 activate V2 U101 tt V1 V2 activate V2 U44 tt V1 V2 activate V1 isLNat n__tail V1 activate V1 U21 tt X Y U22 isLNatKind activate X activate X activate Y natsFrom N isNatural N isLNat n__natsFrom V1 isNaturalKind activate V1 U33 tt N XS U34 isLNatKind activate XS activate N U51 tt V1 V2 activate V1 isPLNatKind n__splitAt V1 V2 isNaturalKind activate V1 U12 tt N XS activate XS U43 tt V1 V2 U44 isLNatKind activate V2 activate V1 activate V2 U343 tt N XS U344 isLNatKind activate XS activate N activate XS U72 tt V1 activate V1 U14 tt N XS snd splitAt activate N activate XS U301 tt X Y activate Y U11 tt N XS activate XS isNaturalKind n__sel V1 V2 activate V1 U24 tt X activate X isPLNatKind n__splitAt V1 V2 activate V1 tail cons N XS isNatural N U244 tt V1 V2 activate V2 U31 tt N XS activate N snd pair X Y isLNat X U43 tt V1 V2 activate V1 U323 tt N X XS U324 isNaturalKind activate X activate N activate X activate XS U52 tt V1 V2 activate V2 snd pair X Y U301 isLNat X X Y U201 tt V1 V2 activate V1 isNatural n__s V1 activate V1 U291 tt N XS activate XS U282 tt N activate N U192 tt V1 activate V1 U13 tt N XS activate XS U44 tt V1 V2 isNatural activate V1 U14 tt N XS splitAt activate N activate XS isNatural n__s V1 isNaturalKind activate V1 U55 tt V2 activate V2 U261 tt V2 activate V2 U204 tt V1 V2 U205 isNatural activate V1 activate V2 U293 tt N XS activate N activate n__head X head X activate n__take X1 X2 take X1 X2 U23 tt X Y activate Y U271 tt V2 isLNatKind activate V2 isPLNatKind n__pair V1 V2 activate V2 U251 tt V1 V2 activate V2 U53 tt V1 V2 activate V2 U101 tt V1 V2 isNaturalKind activate V1 U41 tt V1 V2 activate V1 U81 tt V1 isPLNatKind activate V1 sel N XS U291 isNatural N N XS U201 tt V1 V2 U202 isNaturalKind activate V1 activate V1 activate V2 U62 tt V1 activate V1 U54 tt V1 V2 U55 isNatural activate V1 activate V2 U45 tt V2 activate V2 U333 tt XS activate XS U91 tt V1 activate V1 U201 tt V1 V2 isNaturalKind activate V1 U261 tt V2 isLNatKind activate V2 U23 tt X Y isLNatKind activate Y U301 tt X Y isLNatKind activate X isLNatKind n__take V1 V2 activate V2 U252 tt V1 V2 isLNatKind activate V2 U325 tt N X XS activate XS U53 tt V1 V2 U54 isLNatKind activate V2 activate V1 activate V2 U82 tt V1 isPLNat activate V1 isNaturalKind n__sel V1 V2 U231 isNaturalKind activate V1 activate V2 U325 tt N X XS activate X U52 tt V1 V2 isLNatKind activate V2 U344 tt N XS fst splitAt activate N activate XS U294 tt N XS activate N U42 tt V1 V2 activate V1 isPLNatKind n__pair V1 V2 activate V1 U322 tt N X XS isNatural activate X U331 tt N XS activate XS U241 tt V1 V2 U242 isLNatKind activate V1 activate V1 activate V2 U332 tt XS activate XS activate n__afterNth X1 X2 afterNth X1 X2 U53 tt V1 V2 activate V2 U191 tt V1 U192 isNaturalKind activate V1 activate V1 U31 tt N XS U32 isNaturalKind activate N activate N activate XS U325 tt N X XS U326 isLNatKind activate XS activate N activate X activate XS isNaturalKind n__sel V1 V2 isNaturalKind activate V1 U42 tt V1 V2 activate V2 U241 tt V1 V2 isLNatKind activate V1 U14 tt N XS activate N U21 tt X Y activate X isPLNat n__splitAt V1 V2 isNaturalKind activate V1 U245 tt V2 activate V2 U55 tt V2 isLNat activate V2 U23 tt X Y U24 isLNatKind activate Y activate X U341 tt N XS U342 isNaturalKind activate N activate N activate XS splitAt s N cons X XS isNatural N U323 tt N X XS activate XS U244 tt V1 V2 isLNat activate V1 U294 tt N XS head afterNth activate N activate XS take N XS isNatural N isLNatKind n__afterNth V1 V2 U111 isNaturalKind activate V1 activate V2 U242 tt V1 V2 U243 isLNatKind activate V2 activate V1 activate V2 isPLNat n__pair V1 V2 isLNatKind activate V1 U241 tt V1 V2 activate V1 U102 tt V1 V2 isLNatKind activate V2 true U291 3 2 15102 3 15102 0 U201 3 1 8 2 10 3 11 0 U231 2 1 0 0 U301 3 2 1 3 3 0 isLNatKind 1 1 10 U204 3 2 1 0 0 0 0 U72 2 1 11 2 8 0 U32 3 1 6 2 5 3 10 0 U21 3 2 0 3 10 0 U261 2 1 6753 2 2 0 U83 1 0 U254 3 0 U333 2 2 1 0 U193 1 3 U256 1 0 U161 1 4 U182 2 2 2 0 U11 3 2 1701 3 1700 0 U272 1 0 U243 3 3 0 0 cons 2 0 U324 4 1 2 2 21 3 5 4 10 0 s 1 1 0 U255 2 2 10 0 U105 2 2 27 0 U303 2 2 1 0 n__pair 2 1 10 2 10 0 U246 1 0 U192 2 1 32595 2 2 0 U24 2 2 0 0 U106 1 28 take 2 1 23 2 24 0 isPLNatKind 1 1 U24 2 2 5 0 U244 3 2 10 3 10 0 U242 3 0 U181 2 2 11 0 U262 1 3 U244 3 3 36488 0 U272 1 1 0 U56 1 1 0 isPLNat 1 10062 U42 3 3 15099 0 U91 2 0 U221 1 1 0 U293 3 2 15101 3 15102 0 U101 3 1 25 2 8 3 10 0 activate 1 1 0 U325 4 2 16 3 13 4 14 0 U82 2 2 5 0 U254 3 2 8 3 10 0 take 2 1 19 2 20 0 U183 1 0 U104 3 2 8 3 10 0 U71 2 1 13422 2 31 0 U81 2 2 10 0 U322 4 1 3 2 21 3 8 4 10 0 U92 2 2 10 0 U323 4 2 21 3 6 4 10 0 U131 1 1 U206 1 1 0 U243 3 2 10 3 10 0 U334 2 2 5 0 U321 4 2 21 3 8 4 10 0 U101 3 2 22 3 23 0 U255 2 0 pair 2 1 10 2 10 0 U231 2 1 15106 2 10 0 fst 1 1 0 U111 2 1 15092 2 6700 0 U43 3 2 15714 0 U93 1 0 activate 1 1 5 U342 3 1 6 2 21 3 15 0 U245 2 2 10 0 U103 3 1 23 2 25 0 U23 3