/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__U101 tt V1 V2 a__U102 a__isNaturalKind V1 V1 V2 a__U102 tt V1 V2 a__U103 a__isLNatKind V2 V1 V2 a__U103 tt V1 V2 a__U104 a__isLNatKind V2 V1 V2 a__U104 tt V1 V2 a__U105 a__isNatural V1 V2 a__U105 tt V2 a__U106 a__isLNat V2 a__U106 tt tt a__U11 tt N XS a__U12 a__isNaturalKind N N XS a__U111 tt V2 a__U112 a__isLNatKind V2 a__U112 tt tt a__U12 tt N XS a__U13 a__isLNat XS N XS a__U121 tt V2 a__U122 a__isLNatKind V2 a__U122 tt tt a__U13 tt N XS a__U14 a__isLNatKind XS N XS a__U131 tt tt a__U14 tt N XS a__snd a__splitAt mark N mark XS a__U141 tt tt a__U151 tt tt a__U161 tt tt a__U171 tt V2 a__U172 a__isLNatKind V2 a__U172 tt tt a__U181 tt V1 a__U182 a__isLNatKind V1 V1 a__U182 tt V1 a__U183 a__isLNat V1 a__U183 tt tt a__U191 tt V1 a__U192 a__isNaturalKind V1 V1 a__U192 tt V1 a__U193 a__isNatural V1 a__U193 tt tt a__U201 tt V1 V2 a__U202 a__isNaturalKind V1 V1 V2 a__U202 tt V1 V2 a__U203 a__isLNatKind V2 V1 V2 a__U203 tt V1 V2 a__U204 a__isLNatKind V2 V1 V2 a__U204 tt V1 V2 a__U205 a__isNatural V1 V2 a__U205 tt V2 a__U206 a__isLNat V2 a__U206 tt tt a__U21 tt X Y a__U22 a__isLNatKind X X Y a__U211 tt tt a__U22 tt X Y a__U23 a__isLNat Y X Y a__U221 tt tt a__U23 tt X Y a__U24 a__isLNatKind Y X a__U231 tt V2 a__U232 a__isLNatKind V2 a__U232 tt tt a__U24 tt X mark X a__U241 tt V1 V2 a__U242 a__isLNatKind V1 V1 V2 a__U242 tt V1 V2 a__U243 a__isLNatKind V2 V1 V2 a__U243 tt V1 V2 a__U244 a__isLNatKind V2 V1 V2 a__U244 tt V1 V2 a__U245 a__isLNat V1 V2 a__U245 tt V2 a__U246 a__isLNat V2 a__U246 tt tt a__U251 tt V1 V2 a__U252 a__isNaturalKind V1 V1 V2 a__U252 tt V1 V2 a__U253 a__isLNatKind V2 V1 V2 a__U253 tt V1 V2 a__U254 a__isLNatKind V2 V1 V2 a__U254 tt V1 V2 a__U255 a__isNatural V1 V2 a__U255 tt V2 a__U256 a__isLNat V2 a__U256 tt tt a__U261 tt V2 a__U262 a__isLNatKind V2 a__U262 tt tt a__U271 tt V2 a__U272 a__isLNatKind V2 a__U272 tt tt a__U281 tt N a__U282 a__isNaturalKind N N a__U282 tt N cons mark N natsFrom s N a__U291 tt N XS a__U292 a__isNaturalKind N N XS a__U292 tt N XS a__U293 a__isLNat XS N XS a__U293 tt N XS a__U294 a__isLNatKind XS N XS a__U294 tt N XS a__head a__afterNth mark N mark XS a__U301 tt X Y a__U302 a__isLNatKind X Y a__U302 tt Y a__U303 a__isLNat Y Y a__U303 tt Y a__U304 a__isLNatKind Y Y a__U304 tt Y mark Y a__U31 tt N XS a__U32 a__isNaturalKind N N XS a__U311 tt XS a__U312 a__isLNatKind XS XS a__U312 tt XS pair nil mark XS a__U32 tt N XS a__U33 a__isLNat XS N XS a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS a__U322 tt N X XS a__U323 a__isNatural X N X XS a__U323 tt N X XS a__U324 a__isNaturalKind X N X XS a__U324 tt N X XS a__U325 a__isLNat XS N X XS a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS a__U326 tt N X XS a__U327 a__splitAt mark N mark XS X a__U327 pair YS ZS X pair cons mark X YS mark ZS a__U33 tt N XS a__U34 a__isLNatKind XS N a__U331 tt N XS a__U332 a__isNaturalKind N XS a__U332 tt XS a__U333 a__isLNat XS XS a__U333 tt XS a__U334 a__isLNatKind XS XS a__U334 tt XS mark XS a__U34 tt N mark N a__U341 tt N XS a__U342 a__isNaturalKind N N XS a__U342 tt N XS a__U343 a__isLNat XS N XS a__U343 tt N XS a__U344 a__isLNatKind XS N XS a__U344 tt N XS a__fst a__splitAt mark N mark XS a__U41 tt V1 V2 a__U42 a__isNaturalKind V1 V1 V2 a__U42 tt V1 V2 a__U43 a__isLNatKind V2 V1 V2 a__U43 tt V1 V2 a__U44 a__isLNatKind V2 V1 V2 a__U44 tt V1 V2 a__U45 a__isNatural V1 V2 a__U45 tt V2 a__U46 a__isLNat V2 a__U46 tt tt a__U51 tt V1 V2 a__U52 a__isNaturalKind V1 V1 V2 a__U52 tt V1 V2 a__U53 a__isLNatKind V2 V1 V2 a__U53 tt V1 V2 a__U54 a__isLNatKind V2 V1 V2 a__U54 tt V1 V2 a__U55 a__isNatural V1 V2 a__U55 tt V2 a__U56 a__isLNat V2 a__U56 tt tt a__U61 tt V1 a__U62 a__isPLNatKind V1 V1 a__U62 tt V1 a__U63 a__isPLNat V1 a__U63 tt tt a__U71 tt V1 a__U72 a__isNaturalKind V1 V1 a__U72 tt V1 a__U73 a__isNatural V1 a__U73 tt tt a__U81 tt V1 a__U82 a__isPLNatKind V1 V1 a__U82 tt V1 a__U83 a__isPLNat V1 a__U83 tt tt a__U91 tt V1 a__U92 a__isLNatKind V1 V1 a__U92 tt V1 a__U93 a__isLNat V1 a__U93 tt tt a__afterNth N XS a__U11 a__isNatural N N XS a__fst pair X Y a__U21 a__isLNat X X Y a__head cons N XS a__U31 a__isNatural N N XS a__isLNat nil tt a__isLNat afterNth V1 V2 a__U41 a__isNaturalKind V1 V1 V2 a__isLNat cons V1 V2 a__U51 a__isNaturalKind V1 V1 V2 a__isLNat fst V1 a__U61 a__isPLNatKind V1 V1 a__isLNat natsFrom V1 a__U71 a__isNaturalKind V1 V1 a__isLNat snd V1 a__U81 a__isPLNatKind V1 V1 a__isLNat tail V1 a__U91 a__isLNatKind V1 V1 a__isLNat take V1 V2 a__U101 a__isNaturalKind V1 V1 V2 a__isLNatKind nil tt a__isLNatKind afterNth V1 V2 a__U111 a__isNaturalKind V1 V2 a__isLNatKind cons V1 V2 a__U121 a__isNaturalKind V1 V2 a__isLNatKind fst V1 a__U131 a__isPLNatKind V1 a__isLNatKind natsFrom V1 a__U141 a__isNaturalKind V1 a__isLNatKind snd V1 a__U151 a__isPLNatKind V1 a__isLNatKind tail V1 a__U161 a__isLNatKind V1 a__isLNatKind take V1 V2 a__U171 a__isNaturalKind V1 V2 a__isNatural 0 tt a__isNatural head V1 a__U181 a__isLNatKind V1 V1 a__isNatural s V1 a__U191 a__isNaturalKind V1 V1 a__isNatural sel V1 V2 a__U201 a__isNaturalKind V1 V1 V2 a__isNaturalKind 0 tt a__isNaturalKind head V1 a__U211 a__isLNatKind V1 a__isNaturalKind s V1 a__U221 a__isNaturalKind V1 a__isNaturalKind sel V1 V2 a__U231 a__isNaturalKind V1 V2 a__isPLNat pair V1 V2 a__U241 a__isLNatKind V1 V1 V2 a__isPLNat splitAt V1 V2 a__U251 a__isNaturalKind V1 V1 V2 a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 a__isPLNatKind splitAt V1 V2 a__U271 a__isNaturalKind V1 V2 a__natsFrom N a__U281 a__isNatural N N a__sel N XS a__U291 a__isNatural N N XS a__snd pair X Y a__U301 a__isLNat X X Y a__splitAt 0 XS a__U311 a__isLNat XS XS a__splitAt s N cons X XS a__U321 a__isNatural N N X XS a__tail cons N XS a__U331 a__isNatural N N XS a__take N XS a__U341 a__isNatural N N XS mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark isNaturalKind X a__isNaturalKind X mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark isLNatKind X a__isLNatKind X mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U105 X1 X2 a__U105 mark X1 X2 mark isNatural X a__isNatural X mark U106 X a__U106 mark X mark isLNat X a__isLNat X mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark U111 X1 X2 a__U111 mark X1 X2 mark U112 X a__U112 mark X mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 mark U121 X1 X2 a__U121 mark X1 X2 mark U122 X a__U122 mark X mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U131 X a__U131 mark X mark snd X a__snd mark X mark splitAt X1 X2 a__splitAt mark X1 mark X2 mark U141 X a__U141 mark X mark U151 X a__U151 mark X mark U161 X a__U161 mark X mark U171 X1 X2 a__U171 mark X1 X2 mark U172 X a__U172 mark X mark U181 X1 X2 a__U181 mark X1 X2 mark U182 X1 X2 a__U182 mark X1 X2 mark U183 X a__U183 mark X mark U191 X1 X2 a__U191 mark X1 X2 mark U192 X1 X2 a__U192 mark X1 X2 mark U193 X a__U193 mark X mark U201 X1 X2 X3 a__U201 mark X1 X2 X3 mark U202 X1 X2 X3 a__U202 mark X1 X2 X3 mark U203 X1 X2 X3 a__U203 mark X1 X2 X3 mark U204 X1 X2 X3 a__U204 mark X1 X2 X3 mark U205 X1 X2 a__U205 mark X1 X2 mark U206 X a__U206 mark X mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 mark U211 X a__U211 mark X mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 mark U221 X a__U221 mark X mark U24 X1 X2 a__U24 mark X1 X2 mark U231 X1 X2 a__U231 mark X1 X2 mark U232 X a__U232 mark X mark U241 X1 X2 X3 a__U241 mark X1 X2 X3 mark U242 X1 X2 X3 a__U242 mark X1 X2 X3 mark U243 X1 X2 X3 a__U243 mark X1 X2 X3 mark U244 X1 X2 X3 a__U244 mark X1 X2 X3 mark U245 X1 X2 a__U245 mark X1 X2 mark U246 X a__U246 mark X mark U251 X1 X2 X3 a__U251 mark X1 X2 X3 mark U252 X1 X2 X3 a__U252 mark X1 X2 X3 mark U253 X1 X2 X3 a__U253 mark X1 X2 X3 mark U254 X1 X2 X3 a__U254 mark X1 X2 X3 mark U255 X1 X2 a__U255 mark X1 X2 mark U256 X a__U256 mark X mark U261 X1 X2 a__U261 mark X1 X2 mark U262 X a__U262 mark X mark U271 X1 X2 a__U271 mark X1 X2 mark U272 X a__U272 mark X mark U281 X1 X2 a__U281 mark X1 X2 mark U282 X1 X2 a__U282 mark X1 X2 mark natsFrom X a__natsFrom mark X mark U291 X1 X2 X3 a__U291 mark X1 X2 X3 mark U292 X1 X2 X3 a__U292 mark X1 X2 X3 mark U293 X1 X2 X3 a__U293 mark X1 X2 X3 mark U294 X1 X2 X3 a__U294 mark X1 X2 X3 mark head X a__head mark X mark afterNth X1 X2 a__afterNth mark X1 mark X2 mark U301 X1 X2 X3 a__U301 mark X1 X2 X3 mark U302 X1 X2 a__U302 mark X1 X2 mark U303 X1 X2 a__U303 mark X1 X2 mark U304 X1 X2 a__U304 mark X1 X2 mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 mark U311 X1 X2 a__U311 mark X1 X2 mark U312 X1 X2 a__U312 mark X1 X2 mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 mark U321 X1 X2 X3 X4 a__U321 mark X1 X2 X3 X4 mark U322 X1 X2 X3 X4 a__U322 mark X1 X2 X3 X4 mark U323 X1 X2 X3 X4 a__U323 mark X1 X2 X3 X4 mark U324 X1 X2 X3 X4 a__U324 mark X1 X2 X3 X4 mark U325 X1 X2 X3 X4 a__U325 mark X1 X2 X3 X4 mark U326 X1 X2 X3 X4 a__U326 mark X1 X2 X3 X4 mark U327 X1 X2 a__U327 mark X1 X2 mark U34 X1 X2 a__U34 mark X1 X2 mark U331 X1 X2 X3 a__U331 mark X1 X2 X3 mark U332 X1 X2 a__U332 mark X1 X2 mark U333 X1 X2 a__U333 mark X1 X2 mark U334 X1 X2 a__U334 mark X1 X2 mark U341 X1 X2 X3 a__U341 mark X1 X2 X3 mark U342 X1 X2 X3 a__U342 mark X1 X2 X3 mark U343 X1 X2 X3 a__U343 mark X1 X2 X3 mark U344 X1 X2 X3 a__U344 mark X1 X2 X3 mark fst X a__fst mark X mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 mark U45 X1 X2 a__U45 mark X1 X2 mark U46 X a__U46 mark X mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 mark U55 X1 X2 a__U55 mark X1 X2 mark U56 X a__U56 mark X mark U61 X1 X2 a__U61 mark X1 X2 mark U62 X1 X2 a__U62 mark X1 X2 mark isPLNatKind X a__isPLNatKind X mark U63 X a__U63 mark X mark isPLNat X a__isPLNat X mark U71 X1 X2 a__U71 mark X1 X2 mark U72 X1 X2 a__U72 mark X1 X2 mark U73 X a__U73 mark X mark U81 X1 X2 a__U81 mark X1 X2 mark U82 X1 X2 a__U82 mark X1 X2 mark U83 X a__U83 mark X mark U91 X1 X2 a__U91 mark X1 X2 mark U92 X1 X2 a__U92 mark X1 X2 mark U93 X a__U93 mark X mark tail X a__tail mark X mark take X1 X2 a__take mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 mark tt tt mark cons X1 X2 cons mark X1 X2 mark s X s mark X mark pair X1 X2 pair mark X1 mark X2 mark nil nil mark 0 0 a__U101 X1 X2 X3 U101 X1 X2 X3 a__U102 X1 X2 X3 U102 X1 X2 X3 a__isNaturalKind X isNaturalKind X a__U103 X1 X2 X3 U103 X1 X2 X3 a__isLNatKind X isLNatKind X a__U104 X1 X2 X3 U104 X1 X2 X3 a__U105 X1 X2 U105 X1 X2 a__isNatural X isNatural X a__U106 X U106 X a__isLNat X isLNat X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U111 X1 X2 U111 X1 X2 a__U112 X U112 X a__U13 X1 X2 X3 U13 X1 X2 X3 a__U121 X1 X2 U121 X1 X2 a__U122 X U122 X a__U14 X1 X2 X3 U14 X1 X2 X3 a__U131 X U131 X a__snd X snd X a__splitAt X1 X2 splitAt X1 X2 a__U141 X U141 X a__U151 X U151 X a__U161 X U161 X a__U171 X1 X2 U171 X1 X2 a__U172 X U172 X a__U181 X1 X2 U181 X1 X2 a__U182 X1 X2 U182 X1 X2 a__U183 X U183 X a__U191 X1 X2 U191 X1 X2 a__U192 X1 X2 U192 X1 X2 a__U193 X U193 X a__U201 X1 X2 X3 U201 X1 X2 X3 a__U202 X1 X2 X3 U202 X1 X2 X3 a__U203 X1 X2 X3 U203 X1 X2 X3 a__U204 X1 X2 X3 U204 X1 X2 X3 a__U205 X1 X2 U205 X1 X2 a__U206 X U206 X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U22 X1 X2 X3 U22 X1 X2 X3 a__U211 X U211 X a__U23 X1 X2 X3 U23 X1 X2 X3 a__U221 X U221 X a__U24 X1 X2 U24 X1 X2 a__U231 X1 X2 U231 X1 X2 a__U232 X U232 X a__U241 X1 X2 X3 U241 X1 X2 X3 a__U242 X1 X2 X3 U242 X1 X2 X3 a__U243 X1 X2 X3 U243 X1 X2 X3 a__U244 X1 X2 X3 U244 X1 X2 X3 a__U245 X1 X2 U245 X1 X2 a__U246 X U246 X a__U251 X1 X2 X3 U251 X1 X2 X3 a__U252 X1 X2 X3 U252 X1 X2 X3 a__U253 X1 X2 X3 U253 X1 X2 X3 a__U254 X1 X2 X3 U254 X1 X2 X3 a__U255 X1 X2 U255 X1 X2 a__U256 X U256 X a__U261 X1 X2 U261 X1 X2 a__U262 X U262 X a__U271 X1 X2 U271 X1 X2 a__U272 X U272 X a__U281 X1 X2 U281 X1 X2 a__U282 X1 X2 U282 X1 X2 a__natsFrom X natsFrom X a__U291 X1 X2 X3 U291 X1 X2 X3 a__U292 X1 X2 X3 U292 X1 X2 X3 a__U293 X1 X2 X3 U293 X1 X2 X3 a__U294 X1 X2 X3 U294 X1 X2 X3 a__head X head X a__afterNth X1 X2 afterNth X1 X2 a__U301 X1 X2 X3 U301 X1 X2 X3 a__U302 X1 X2 U302 X1 X2 a__U303 X1 X2 U303 X1 X2 a__U304 X1 X2 U304 X1 X2 a__U31 X1 X2 X3 U31 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U311 X1 X2 U311 X1 X2 a__U312 X1 X2 U312 X1 X2 a__U33 X1 X2 X3 U33 X1 X2 X3 a__U321 X1 X2 X3 X4 U321 X1 X2 X3 X4 a__U322 X1 X2 X3 X4 U322 X1 X2 X3 X4 a__U323 X1 X2 X3 X4 U323 X1 X2 X3 X4 a__U324 X1 X2 X3 X4 U324 X1 X2 X3 X4 a__U325 X1 X2 X3 X4 U325 X1 X2 X3 X4 a__U326 X1 X2 X3 X4 U326 X1 X2 X3 X4 a__U327 X1 X2 U327 X1 X2 a__U34 X1 X2 U34 X1 X2 a__U331 X1 X2 X3 U331 X1 X2 X3 a__U332 X1 X2 U332 X1 X2 a__U333 X1 X2 U333 X1 X2 a__U334 X1 X2 U334 X1 X2 a__U341 X1 X2 X3 U341 X1 X2 X3 a__U342 X1 X2 X3 U342 X1 X2 X3 a__U343 X1 X2 X3 U343 X1 X2 X3 a__U344 X1 X2 X3 U344 X1 X2 X3 a__fst X fst X a__U41 X1 X2 X3 U41 X1 X2 X3 a__U42 X1 X2 X3 U42 X1 X2 X3 a__U43 X1 X2 X3 U43 X1 X2 X3 a__U44 X1 X2 X3 U44 X1 X2 X3 a__U45 X1 X2 U45 X1 X2 a__U46 X U46 X a__U51 X1 X2 X3 U51 X1 X2 X3 a__U52 X1 X2 X3 U52 X1 X2 X3 a__U53 X1 X2 X3 U53 X1 X2 X3 a__U54 X1 X2 X3 U54 X1 X2 X3 a__U55 X1 X2 U55 X1 X2 a__U56 X U56 X a__U61 X1 X2 U61 X1 X2 a__U62 X1 X2 U62 X1 X2 a__isPLNatKind X isPLNatKind X a__U63 X U63 X a__isPLNat X isPLNat X a__U71 X1 X2 U71 X1 X2 a__U72 X1 X2 U72 X1 X2 a__U73 X U73 X a__U81 X1 X2 U81 X1 X2 a__U82 X1 X2 U82 X1 X2 a__U83 X U83 X a__U91 X1 X2 U91 X1 X2 a__U92 X1 X2 U92 X1 X2 a__U93 X U93 X a__tail X tail X a__take X1 X2 take X1 X2 a__sel X1 X2 sel X1 X2 2.2 a__U102 tt V1 V2 a__isLNatKind V2 a__afterNth N XS a__U11 a__isNatural N N XS a__head cons N XS a__isNatural N mark U254 X1 X2 X3 a__U254 mark X1 X2 X3 a__take N XS a__isNatural N a__U294 tt N XS a__afterNth mark N mark XS a__U344 tt N XS mark XS a__U41 tt V1 V2 a__U42 a__isNaturalKind V1 V1 V2 mark U42 X1 X2 X3 mark X1 mark U231 X1 X2 mark X1 a__U292 tt N XS a__isLNat XS mark U53 X1 X2 X3 mark X1 mark U161 X a__U161 mark X mark U211 X mark X mark U112 X a__U112 mark X mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U73 X a__U73 mark X a__U14 tt N XS a__snd a__splitAt mark N mark XS mark take X1 X2 a__take mark X1 mark X2 a__U302 tt Y a__U303 a__isLNat Y Y mark U122 X a__U122 mark X a__head cons N XS a__U31 a__isNatural N N XS a__U21 tt X Y a__isLNatKind X mark U303 X1 X2 mark X1 mark U255 X1 X2 mark X1 a__U33 tt N XS a__U34 a__isLNatKind XS N mark afterNth X1 X2 mark X2 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 a__U104 tt V1 V2 a__isNatural V1 mark U172 X a__U172 mark X a__U23 tt X Y a__isLNatKind Y a__isLNat tail V1 a__isLNatKind V1 mark U141 X a__U141 mark X a__U253 tt V1 V2 a__isLNatKind V2 a__U11 tt N XS a__U12 a__isNaturalKind N N XS a__isLNatKind take V1 V2 a__isNaturalKind V1 mark U83 X a__U83 mark X mark U72 X1 X2 mark X1 mark U303 X1 X2 a__U303 mark X1 X2 a__fst pair X Y a__U21 a__isLNat X X Y mark U73 X mark X mark U105 X1 X2 mark X1 a__isNaturalKind sel V1 V2 a__U231 a__isNaturalKind V1 V2 a__U61 tt V1 a__U62 a__isPLNatKind V1 V1 mark U324 X1 X2 X3 X4 mark X1 mark splitAt X1 X2 mark X1 mark U244 X1 X2 X3 mark X1 a__splitAt s N cons X XS a__isNatural N mark U112 X mark X mark U302 X1 X2 mark X1 mark U91 X1 X2 mark X1 mark U327 X1 X2 mark X1 mark U311 X1 X2 a__U311 mark X1 X2 mark U244 X1 X2 X3 a__U244 mark X1 X2 X3 a__U294 tt N XS mark XS a__U323 tt N X XS a__isNaturalKind X mark U131 X mark X a__isLNatKind fst V1 a__isPLNatKind V1 mark fst X mark X a__U322 tt N X XS a__isNatural X a__U326 tt N X XS mark XS a__U81 tt V1 a__isPLNatKind V1 mark sel X1 X2 a__sel mark X1 mark X2 a__U321 tt N X XS a__isNaturalKind N mark afterNth X1 X2 a__afterNth mark X1 mark X2 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 a__U254 tt V1 V2 a__isNatural V1 a__U292 tt N XS a__U293 a__isLNat XS N XS a__U54 tt V1 V2 a__U55 a__isNatural V1 V2 mark U256 X a__U256 mark X mark U24 X1 X2 mark X1 a__isPLNat pair V1 V2 a__isLNatKind V1 mark U301 X1 X2 X3 mark X1 a__isLNatKind tail V1 a__U161 a__isLNatKind V1 a__U91 tt V1 a__U92 a__isLNatKind V1 V1 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__isPLNat pair V1 V2 a__U241 a__isLNatKind V1 V1 V2 mark U201 X1 X2 X3 a__U201 mark X1 X2 X3 a__U326 tt N X XS a__U327 a__splitAt mark N mark XS X mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 a__U12 tt N XS a__isLNat XS a__U14 tt N XS mark N mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__isLNatKind tail V1 a__isLNatKind V1 a__U43 tt V1 V2 a__isLNatKind V2 mark U104 X1 X2 X3 mark X1 a__U14 tt N XS mark XS a__U55 tt V2 a__U56 a__isLNat V2 mark U333 X1 X2 mark X1 mark U46 X a__U46 mark X mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__natsFrom N a__U281 a__isNatural N N a__isNaturalKind s V1 a__U221 a__isNaturalKind V1 mark U342 X1 X2 X3 a__U342 mark X1 X2 X3 a__U13 tt N XS a__isLNatKind XS a__U121 tt V2 a__U122 a__isLNatKind V2 a__U105 tt V2 a__U106 a__isLNat V2 mark U241 X1 X2 X3 a__U241 mark X1 X2 X3 mark head X a__head mark X mark U301 X1 X2 X3 a__U301 mark X1 X2 X3 a__isLNatKind afterNth V1 V2 a__isNaturalKind V1 a__U342 tt N XS a__U343 a__isLNat XS N XS a__U171 tt V2 a__isLNatKind V2 a__U202 tt V1 V2 a__U203 a__isLNatKind V2 V1 V2 a__U121 tt V2 a__isLNatKind V2 a__U243 tt V1 V2 a__isLNatKind V2 mark pair X1 X2 mark X2 a__U182 tt V1 a__U183 a__isLNat V1 a__U42 tt V1 V2 a__U43 a__isLNatKind V2 V1 V2 a__isLNat fst V1 a__U61 a__isPLNatKind V1 V1 mark U192 X1 X2 mark X1 mark U45 X1 X2 mark X1 mark U253 X1 X2 X3 a__U253 mark X1 X2 X3 a__U281 tt N a__isNaturalKind N mark U23 X1 X2 X3 mark X1 a__U201 tt V1 V2 a__isNaturalKind V1 mark U231 X1 X2 a__U231 mark X1 X2 a__isLNatKind snd V1 a__isPLNatKind V1 a__isLNat afterNth V1 V2 a__U41 a__isNaturalKind V1 V1 V2 mark U271 X1 X2 a__U271 mark X1 X2 a__U251 tt V1 V2 a__isNaturalKind V1 mark U161 X mark X mark U262 X mark X a__U23 tt X Y a__U24 a__isLNatKind Y X mark U92 X1 X2 a__U92 mark X1 X2 mark U256 X mark X a__U341 tt N XS a__U342 a__isNaturalKind N N XS mark U334 X1 X2 a__U334 mark X1 X2 mark splitAt X1 X2 a__splitAt mark X1 mark X2 a__U303 tt Y a__U304 a__isLNatKind Y Y a__isLNatKind natsFrom V1 a__U141 a__isNaturalKind V1 a__U192 tt V1 a__U193 a__isNatural V1 mark U292 X1 X2 X3 mark X1 a__snd pair X Y a__U301 a__isLNat X X Y mark U61 X1 X2 a__U61 mark X1 X2 a__U255 tt V2 a__isLNat V2 mark U32 X1 X2 X3 mark X1 mark U63 X mark X mark U291 X1 X2 X3 a__U291 mark X1 X2 X3 mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__U44 tt V1 V2 a__isNatural V1 a__U201 tt V1 V2 a__U202 a__isNaturalKind V1 V1 V2 mark U293 X1 X2 X3 mark X1 a__U22 tt X Y a__isLNat Y a__U111 tt V2 a__isLNatKind V2 a__U311 tt XS a__U312 a__isLNatKind XS XS mark U331 X1 X2 X3 a__U331 mark X1 X2 X3 a__U53 tt V1 V2 a__U54 a__isLNatKind V2 V1 V2 a__U104 tt V1 V2 a__U105 a__isNatural V1 V2 mark isPLNat X a__isPLNat X a__U205 tt V2 a__isLNat V2 a__isNaturalKind sel V1 V2 a__isNaturalKind V1 a__isLNat snd V1 a__isPLNatKind V1 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U191 X1 X2 a__U191 mark X1 X2 a__U311 tt XS a__isLNatKind XS mark natsFrom X a__natsFrom mark X mark U294 X1 X2 X3 mark X1 mark U245 X1 X2 a__U245 mark X1 X2 a__isLNat fst V1 a__isPLNatKind V1 mark U193 X mark X a__U252 tt V1 V2 a__U253 a__isLNatKind V2 V1 V2 mark U31 X1 X2 X3 mark X1 mark U272 X mark X mark U344 X1 X2 X3 mark X1 mark U327 X1 X2 a__U327 mark X1 X2 mark isLNatKind X a__isLNatKind X mark s X mark X a__sel N XS a__isNatural N mark U323 X1 X2 X3 X4 a__U323 mark X1 X2 X3 X4 mark U181 X1 X2 mark X1 mark U281 X1 X2 a__U281 mark X1 X2 a__U24 tt X mark X a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS a__isNaturalKind head V1 a__U211 a__isLNatKind V1 a__U342 tt N XS a__isLNat XS a__isLNat natsFrom V1 a__U71 a__isNaturalKind V1 V1 a__U242 tt V1 V2 a__isLNatKind V2 mark U343 X1 X2 X3 a__U343 mark X1 X2 X3 mark U204 X1 X2 X3 mark X1 a__U271 tt V2 a__U272 a__isLNatKind V2 a__U325 tt N X XS a__isLNatKind XS a__U244 tt V1 V2 a__isLNat V1 mark U121 X1 X2 a__U121 mark X1 X2 mark U93 X mark X mark U81 X1 X2 a__U81 mark X1 X2 mark U321 X1 X2 X3 X4 mark X1 mark U205 X1 X2 a__U205 mark X1 X2 a__U302 tt Y a__isLNat Y mark U54 X1 X2 X3 mark X1 a__U53 tt V1 V2 a__isLNatKind V2 mark U63 X a__U63 mark X a__isLNat cons V1 V2 a__U51 a__isNaturalKind V1 V1 V2 a__U245 tt V2 a__isLNat V2 mark U325 X1 X2 X3 X4 mark X1 mark U262 X a__U262 mark X mark U106 X a__U106 mark X a__U22 tt X Y a__U23 a__isLNat Y X Y a__U52 tt V1 V2 a__isLNatKind V2 mark isNatural X a__isNatural X a__U281 tt N a__U282 a__isNaturalKind N N mark U326 X1 X2 X3 X4 a__U326 mark X1 X2 X3 X4 mark U322 X1 X2 X3 X4 a__U322 mark X1 X2 X3 X4 mark U103 X1 X2 X3 mark X1 a__U14 tt N XS a__splitAt mark N mark XS mark U91 X1 X2 a__U91 mark X1 X2 mark U81 X1 X2 mark X1 mark U294 X1 X2 X3 a__U294 mark X1 X2 X3 a__U254 tt V1 V2 a__U255 a__isNatural V1 V2 mark isPLNatKind X a__isPLNatKind X a__U324 tt N X XS a__isLNat XS mark U271 X1 X2 mark X1 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 a__U12 tt N XS a__U13 a__isLNat XS N XS a__U11 tt N XS a__isNaturalKind N a__isLNat afterNth V1 V2 a__isNaturalKind V1 a__U34 tt N mark N mark U253 X1 X2 X3 mark X1 mark U246 X a__U246 mark X a__U231 tt V2 a__isLNatKind V2 mark U172 X mark X a__isNatural sel V1 V2 a__isNaturalKind V1 a__U261 tt V2 a__U262 a__isLNatKind V2 a__U52 tt V1 V2 a__U53 a__isLNatKind V2 V1 V2 a__isPLNat splitAt V1 V2 a__isNaturalKind V1 a__U192 tt V1 a__isNatural V1 a__U344 tt N XS a__fst a__splitAt mark N mark XS a__U245 tt V2 a__U246 a__isLNat V2 a__U332 tt XS a__U333 a__isLNat XS XS mark U83 X mark X a__U323 tt N X XS a__U324 a__isNaturalKind X N X XS a__U54 tt V1 V2 a__isNatural V1 a__U71 tt V1 a__U72 a__isNaturalKind V1 V1 mark U323 X1 X2 X3 X4 mark X1 mark U71 X1 X2 mark X1 mark U302 X1 X2 a__U302 mark X1 X2 a__U31 tt N XS a__U32 a__isNaturalKind N N XS mark U312 X1 X2 a__U312 mark X1 X2 mark U206 X a__U206 mark X mark U344 X1 X2 X3 a__U344 mark X1 X2 X3 mark U102 X1 X2 X3 mark X1 mark U205 X1 X2 mark X1 a__U271 tt V2 a__isLNatKind V2 a__U332 tt XS a__isLNat XS a__U61 tt V1 a__isPLNatKind V1 a__isPLNatKind splitAt V1 V2 a__U271 a__isNaturalKind V1 V2 mark U111 X1 X2 a__U111 mark X1 X2 a__U182 tt V1 a__isLNat V1 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 a__sel N XS a__U291 a__isNatural N N XS mark U202 X1 X2 X3 a__U202 mark X1 X2 X3 a__U91 tt V1 a__isLNatKind V1 a__isNatural head V1 a__U181 a__isLNatKind V1 V1 a__isLNat cons V1 V2 a__isNaturalKind V1 mark U332 X1 X2 mark X1 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U181 X1 X2 a__U181 mark X1 X2 a__U324 tt N X XS a__U325 a__isLNat XS N X XS a__U203 tt V1 V2 a__U204 a__isLNatKind V2 V1 V2 mark U292 X1 X2 X3 a__U292 mark X1 X2 X3 a__isLNatKind cons V1 V2 a__isNaturalKind V1 mark U246 X mark X mark U46 X mark X mark U251 X1 X2 X3 mark X1 a__isLNat take V1 V2 a__isNaturalKind V1 mark U122 X mark X mark U82 X1 X2 mark X1 mark U101 X1 X2 X3 mark X1 a__U42 tt V1 V2 a__isLNatKind V2 mark U331 X1 X2 X3 mark X1 a__U202 tt V1 V2 a__isLNatKind V2 mark splitAt X1 X2 mark X2 a__U81 tt V1 a__U82 a__isPLNatKind V1 V1 mark U304 X1 X2 mark X1 mark U281 X1 X2 mark X1 mark U14 X1 X2 X3 mark X1 mark U121 X1 X2 mark X1 a__U282 tt N mark N a__U322 tt N X XS a__U323 a__isNatural X N X XS mark U221 X a__U221 mark X mark U62 X1 X2 a__U62 mark X1 X2 a__U241 tt V1 V2 a__isLNatKind V1 mark U171 X1 X2 a__U171 mark X1 X2 a__splitAt s N cons X XS a__U321 a__isNatural N N X XS mark U105 X1 X2 a__U105 mark X1 X2 a__U181 tt V1 a__U182 a__isLNatKind V1 V1 mark U261 X1 X2 mark X1 a__isNatural sel V1 V2 a__U201 a__isNaturalKind V1 V1 V2 a__U291 tt N XS a__U292 a__isNaturalKind N N XS a__U243 tt V1 V2 a__U244 a__isLNatKind V2 V1 V2 mark U322 X1 X2 X3 X4 mark X1 mark U321 X1 X2 X3 X4 a__U321 mark X1 X2 X3 X4 mark U232 X mark X mark U151 X mark X mark take X1 X2 mark X1 a__U45 tt V2 a__isLNat V2 mark U62 X1 X2 mark X1 mark U56 X mark X mark fst X a__fst mark X mark afterNth X1 X2 mark X1 a__take N XS a__U341 a__isNatural N N XS a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 mark U12 X1 X2 X3 mark X1 a__isLNat snd V1 a__U81 a__isPLNatKind V1 V1 a__isLNat natsFrom V1 a__isNaturalKind V1 a__U331 tt N XS a__isNaturalKind N mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U242 tt V1 V2 a__U243 a__isLNatKind V2 V1 V2 mark U34 X1 X2 mark X1 a__isLNatKind natsFrom V1 a__isNaturalKind V1 mark U206 X mark X a__isNatural head V1 a__isLNatKind V1 a__U71 tt V1 a__isNaturalKind V1 mark U324 X1 X2 X3 X4 a__U324 mark X1 X2 X3 X4 mark U242 X1 X2 X3 mark X1 a__U327 pair YS ZS X mark ZS mark U202 X1 X2 X3 mark X1 a__isLNatKind take V1 V2 a__U171 a__isNaturalKind V1 V2 a__U204 tt V1 V2 a__U205 a__isNatural V1 V2 mark U282 X1 X2 a__U282 mark X1 X2 mark U261 X1 X2 a__U261 mark X1 X2 a__isNaturalKind head V1 a__isLNatKind V1 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 a__U326 tt N X XS a__splitAt mark N mark XS a__U191 tt V1 a__isNaturalKind V1 mark U183 X a__U183 mark X a__U72 tt V1 a__isNatural V1 a__afterNth N XS a__isNatural N a__isLNat tail V1 a__U91 a__isLNatKind V1 V1 mark U221 X mark X mark snd X mark X a__U62 tt V1 a__isPLNat V1 a__U344 tt N XS a__splitAt mark N mark XS a__U21 tt X Y a__U22 a__isLNatKind X X Y a__U333 tt XS a__U334 a__isLNatKind XS XS mark natsFrom X mark X mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 mark U243 X1 X2 X3 mark X1 mark U92 X1 X2 mark X1 mark U171 X1 X2 mark X1 a__U43 tt V1 V2 a__U44 a__isLNatKind V2 V1 V2 a__isLNat take V1 V2 a__U101 a__isNaturalKind V1 V1 V2 a__U82 tt V1 a__isPLNat V1 a__splitAt 0 XS a__isLNat XS mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U41 X1 X2 X3 mark X1 mark U311 X1 X2 mark X1 mark U55 X1 X2 mark X1 mark U44 X1 X2 X3 mark X1 a__U32 tt N XS a__isLNat XS a__isPLNatKind splitAt V1 V2 a__isNaturalKind V1 a__U13 tt N XS a__U14 a__isLNatKind XS N XS mark U333 X1 X2 a__U333 mark X1 X2 mark U141 X mark X a__U312 tt XS mark XS mark U241 X1 X2 X3 mark X1 mark U111 X1 X2 mark X1 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 a__U41 tt V1 V2 a__isNaturalKind V1 a__U33 tt N XS a__isLNatKind XS mark U291 X1 X2 X3 mark X1 a__isNatural s V1 a__isNaturalKind V1 mark U332 X1 X2 a__U332 mark X1 X2 a__U101 tt V1 V2 a__isNaturalKind V1 a__isNaturalKind s V1 a__isNaturalKind V1 mark U131 X a__U131 mark X mark U61 X1 X2 mark X1 mark cons X1 X2 mark X1 a__U326 tt N X XS mark N mark U182 X1 X2 mark X1 a__U334 tt XS mark XS a__U241 tt V1 V2 a__U242 a__isLNatKind V1 V1 V2 mark U33 X1 X2 X3 mark X1 mark U341 X1 X2 X3 mark X1 mark U272 X a__U272 mark X mark take X1 X2 mark X2 a__U82 tt V1 a__U83 a__isPLNat V1 mark U45 X1 X2 a__U45 mark X1 X2 a__U92 tt V1 a__isLNat V1 mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 a__isLNatKind fst V1 a__U131 a__isPLNatKind V1 a__U101 tt V1 V2 a__U102 a__isNaturalKind V1 V1 V2 a__U62 tt V1 a__U63 a__isPLNat V1 a__isLNatKind snd V1 a__U151 a__isPLNatKind V1 mark U203 X1 X2 X3 mark X1 mark sel X1 X2 mark X1 mark U343 X1 X2 X3 mark X1 a__U32 tt N XS a__U33 a__isLNat XS N XS mark U211 X a__U211 mark X a__tail cons N XS a__isNatural N a__U45 tt V2 a__U46 a__isLNat V2 a__U261 tt V2 a__isLNatKind V2 mark U82 X1 X2 a__U82 mark X1 X2 mark U312 X1 X2 mark X1 a__U253 tt V1 V2 a__U254 a__isLNatKind V2 V1 V2 a__isNatural s V1 a__U191 a__isNaturalKind V1 V1 a__isPLNat splitAt V1 V2 a__U251 a__isNaturalKind V1 V1 V2 mark U203 X1 X2 X3 a__U203 mark X1 X2 X3 mark U34 X1 X2 a__U34 mark X1 X2 a__U231 tt V2 a__U232 a__isLNatKind V2 mark U243 X1 X2 X3 a__U243 mark X1 X2 X3 a__U301 tt X Y a__U302 a__isLNatKind X Y a__fst pair X Y a__isLNat X mark U183 X mark X a__U171 tt V2 a__U172 a__isLNatKind V2 a__tail cons N XS a__U331 a__isNatural N N XS a__U294 tt N XS a__head a__afterNth mark N mark XS a__U51 tt V1 V2 a__isNaturalKind V1 mark U24 X1 X2 a__U24 mark X1 X2 mark U334 X1 X2 mark X1 a__U205 tt V2 a__U206 a__isLNat V2 mark U325 X1 X2 X3 X4 a__U325 mark X1 X2 X3 X4 mark U255 X1 X2 a__U255 mark X1 X2 a__U31 tt N XS a__isNaturalKind N mark U72 X1 X2 a__U72 mark X1 X2 mark head X mark X mark U51 X1 X2 X3 mark X1 mark U182 X1 X2 a__U182 mark X1 X2 mark U282 X1 X2 mark X1 a__U343 tt N XS a__U344 a__isLNatKind XS N XS mark U11 X1 X2 X3 mark X1 a__U55 tt V2 a__isLNat V2 mark U342 X1 X2 X3 mark X1 a__U341 tt N XS a__isNaturalKind N a__U204 tt V1 V2 a__isNatural V1 a__U111 tt V2 a__U112 a__isLNatKind V2 a__U252 tt V1 V2 a__isLNatKind V2 a__U102 tt V1 V2 a__U103 a__isLNatKind V2 V1 V2 a__U301 tt X Y a__isLNatKind X mark U43 X1 X2 X3 mark X1 a__snd pair X Y a__isLNat X mark U71 X1 X2 a__U71 mark X1 X2 a__U92 tt V1 a__U93 a__isLNat V1 a__U303 tt Y a__isLNatKind Y a__U251 tt V1 V2 a__U252 a__isNaturalKind V1 V1 V2 a__U333 tt XS a__isLNatKind XS mark U93 X a__U93 mark X a__U327 pair YS ZS X mark X a__isLNatKind afterNth V1 V2 a__U111 a__isNaturalKind V1 V2 a__U103 tt V1 V2 a__U104 a__isLNatKind V2 V1 V2 a__U344 tt N XS mark N mark U341 X1 X2 X3 a__U341 mark X1 X2 X3 mark U245 X1 X2 mark X1 mark U204 X1 X2 X3 a__U204 mark X1 X2 X3 mark U252 X1 X2 X3 a__U252 mark X1 X2 X3 mark U55 X1 X2 a__U55 mark X1 X2 a__U203 tt V1 V2 a__isLNatKind V2 a__U72 tt V1 a__U73 a__isNatural V1 a__natsFrom N a__isNatural N mark U252 X1 X2 X3 mark X1 mark U251 X1 X2 X3 a__U251 mark X1 X2 X3 mark U242 X1 X2 X3 a__U242 mark X1 X2 X3 mark U193 X a__U193 mark X mark U13 X1 X2 X3 mark X1 a__splitAt 0 XS a__U311 a__isLNat XS XS a__U181 tt V1 a__isLNatKind V1 a__U291 tt N XS a__isNaturalKind N mark U56 X a__U56 mark X mark isLNat X a__isLNat X mark pair X1 X2 mark X1 mark U304 X1 X2 a__U304 mark X1 X2 a__U51 tt V1 V2 a__U52 a__isNaturalKind V1 V1 V2 mark U192 X1 X2 a__U192 mark X1 X2 a__U331 tt N XS a__U332 a__isNaturalKind N XS mark U22 X1 X2 X3 mark X1 a__U304 tt Y mark Y mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 mark U232 X a__U232 mark X mark U326 X1 X2 X3 X4 mark X1 mark U151 X a__U151 mark X a__U255 tt V2 a__U256 a__isLNat V2 mark U52 X1 X2 X3 mark X1 mark U106 X mark X mark isNaturalKind X a__isNaturalKind X mark tail X mark X a__U293 tt N XS a__U294 a__isLNatKind XS N XS mark U21 X1 X2 X3 mark X1 a__isPLNatKind pair V1 V2 a__isLNatKind V1 mark U191 X1 X2 mark X1 mark U293 X1 X2 X3 a__U293 mark X1 X2 X3 a__U343 tt N XS a__isLNatKind XS mark tail X a__tail mark X mark U254 X1 X2 X3 mark X1 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark U201 X1 X2 X3 mark X1 a__U244 tt V1 V2 a__U245 a__isLNat V1 V2 a__U293 tt N XS a__isLNatKind XS a__U105 tt V2 a__isLNat V2 a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS a__U44 tt V1 V2 a__U45 a__isNatural V1 V2 mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 mark sel X1 X2 mark X2 a__U103 tt V1 V2 a__isLNatKind V2 mark snd X a__snd mark X a__U191 tt V1 a__U192 a__isNaturalKind V1 V1 a__isLNatKind cons V1 V2 a__U121 a__isNaturalKind V1 V2 a__U294 tt N XS mark N true a__U294 tt N XS mark N mark sel X1 X2 mark X2 mark snd X a__snd mark X mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS mark U201 X1 X2 X3 mark X1 mark U254 X1 X2 X3 mark X1 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark tail X a__tail mark X mark U21 X1 X2 X3 mark X1 mark U191 X1 X2 mark X1 mark U293 X1 X2 X3 a__U293 mark X1 X2 X3 mark tail X mark X a__U293 tt N XS a__U294 a__isLNatKind XS N XS mark U52 X1 X2 X3 mark X1 mark U106 X mark X mark U326 X1 X2 X3 X4 mark X1 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__U304 tt Y mark Y mark U22 X1 X2 X3 mark X1 a__U331 tt N XS a__U332 a__isNaturalKind N XS mark U304 X1 X2 a__U304 mark X1 X2 mark pair X1 X2 mark X1 mark U13 X1 X2 X3 mark X1 a__splitAt 0 XS a__U311 a__isLNat XS XS mark U252 X1 X2 X3 mark X1 mark U341 X1 X2 X3 a__U341 mark X1 X2 X3 mark U245 X1 X2 mark X1 a__U344 tt N XS mark N a__U327 pair YS ZS X mark X mark U43 X1 X2 X3 mark X1 mark U342 X1 X2 X3 mark X1 mark U11 X1 X2 X3 mark X1 mark U282 X1 X2 mark X1 a__U343 tt N XS a__U344 a__isLNatKind XS N XS mark head X mark X mark U51 X1 X2 X3 mark X1 mark U334 X1 X2 mark X1 mark U325 X1 X2 X3 X4 a__U325 mark X1 X2 X3 X4 a__tail cons N XS a__U331 a__isNatural N N XS a__U294 tt N XS a__head a__afterNth mark N mark XS mark U24 X1 X2 a__U24 mark X1 X2 mark U183 X mark X a__U301 tt X Y a__U302 a__isLNatKind X Y mark U34 X1 X2 a__U34 mark X1 X2 mark U312 X1 X2 mark X1 mark sel X1 X2 mark X1 mark U343 X1 X2 X3 mark X1 a__U32 tt N XS a__U33 a__isLNat XS N XS mark U203 X1 X2 X3 mark X1 mark U341 X1 X2 X3 mark X1 mark take X1 X2 mark X2 a__U334 tt XS mark XS mark U33 X1 X2 X3 mark X1 mark U61 X1 X2 mark X1 mark cons X1 X2 mark X1 a__U326 tt N X XS mark N mark U182 X1 X2 mark X1 mark U332 X1 X2 a__U332 mark X1 X2 mark U291 X1 X2 X3 mark X1 mark U111 X1 X2 mark X1 mark U241 X1 X2 X3 mark X1 mark U141 X mark X a__U312 tt XS mark XS a__U13 tt N XS a__U14 a__isLNatKind XS N XS mark U333 X1 X2 a__U333 mark X1 X2 mark U44 X1 X2 X3 mark X1 mark U41 X1 X2 X3 mark X1 mark U311 X1 X2 mark X1 mark U55 X1 X2 mark X1 mark U92 X1 X2 mark X1 mark U171 X1 X2 mark X1 mark U243 X1 X2 X3 mark X1 a__U344 tt N XS a__splitAt mark N mark XS a__U21 tt X Y a__U22 a__isLNatKind X X Y a__U333 tt XS a__U334 a__isLNatKind XS XS mark natsFrom X mark X mark U221 X mark X mark snd X mark X a__U326 tt N X XS a__splitAt mark N mark XS mark U282 X1 X2 a__U282 mark X1 X2 a__U327 pair YS ZS X mark ZS mark U202 X1 X2 X3 mark X1 mark U324 X1 X2 X3 X4 a__U324 mark X1 X2 X3 X4 mark U242 X1 X2 X3 mark X1 mark U206 X mark X mark U34 X1 X2 mark X1 mark U12 X1 X2 X3 mark X1 mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 mark U56 X mark X mark fst X a__fst mark X mark afterNth X1 X2 mark X1 a__take N XS a__U341 a__isNatural N N XS mark U151 X mark X mark take X1 X2 mark X1 mark U62 X1 X2 mark X1 mark U232 X mark X mark U322 X1 X2 X3 X4 mark X1 mark U321 X1 X2 X3 X4 a__U321 mark X1 X2 X3 X4 a__U291 tt N XS a__U292 a__isNaturalKind N N XS mark U261 X1 X2 mark X1 a__splitAt s N cons X XS a__U321 a__isNatural N N X XS a__U322 tt N X XS a__U323 a__isNatural X N X XS mark U281 X1 X2 mark X1 mark U14 X1 X2 X3 mark X1 mark U121 X1 X2 mark X1 a__U282 tt N mark N mark U304 X1 X2 mark X1 mark splitAt X1 X2 mark X2 mark U331 X1 X2 X3 mark X1 mark U101 X1 X2 X3 mark X1 mark U122 X mark X mark U82 X1 X2 mark X1 mark U251 X1 X2 X3 mark X1 mark U292 X1 X2 X3 a__U292 mark X1 X2 X3 mark U246 X mark X mark U46 X mark X a__U324 tt N X XS a__U325 a__isLNat XS N X XS mark U332 X1 X2 mark X1 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 a__sel N XS a__U291 a__isNatural N N XS mark U205 X1 X2 mark X1 mark U312 X1 X2 a__U312 mark X1 X2 mark U344 X1 X2 X3 a__U344 mark X1 X2 X3 mark U102 X1 X2 X3 mark X1 mark U71 X1 X2 mark X1 mark U302 X1 X2 a__U302 mark X1 X2 a__U31 tt N XS a__U32 a__isNaturalKind N N XS mark U323 X1 X2 X3 X4 mark X1 a__U332 tt XS a__U333 a__isLNat XS XS mark U83 X mark X a__U323 tt N X XS a__U324 a__isNaturalKind X N X XS a__U344 tt N XS a__fst a__splitAt mark N mark XS mark U172 X mark X mark U253 X1 X2 X3 mark X1 a__U34 tt N mark N a__U12 tt N XS a__U13 a__isLNat XS N XS mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U271 X1 X2 mark X1 a__U14 tt N XS a__splitAt mark N mark XS mark U81 X1 X2 mark X1 mark U294 X1 X2 X3 a__U294 mark X1 X2 X3 mark U326 X1 X2 X3 X4 a__U326 mark X1 X2 X3 X4 mark U322 X1 X2 X3 X4 a__U322 mark X1 X2 X3 X4 mark U103 X1 X2 X3 mark X1 a__U281 tt N a__U282 a__isNaturalKind N N a__U22 tt X Y a__U23 a__isLNat Y X Y mark U325 X1 X2 X3 X4 mark X1 mark U54 X1 X2 X3 mark X1 mark U321 X1 X2 X3 X4 mark X1 mark U93 X mark X mark U343 X1 X2 X3 a__U343 mark X1 X2 X3 mark U204 X1 X2 X3 mark X1 a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS mark U181 X1 X2 mark X1 mark U281 X1 X2 a__U281 mark X1 X2 a__U24 tt X mark X mark U323 X1 X2 X3 X4 a__U323 mark X1 X2 X3 X4 mark U327 X1 X2 a__U327 mark X1 X2 mark s X mark X mark U31 X1 X2 X3 mark X1 mark U272 X mark X mark U344 X1 X2 X3 mark X1 mark U193 X mark X mark natsFrom X a__natsFrom mark X mark U294 X1 X2 X3 mark X1 a__U311 tt XS a__U312 a__isLNatKind XS XS mark U331 X1 X2 X3 a__U331 mark X1 X2 X3 mark U293 X1 X2 X3 mark X1 mark U291 X1 X2 X3 a__U291 mark X1 X2 X3 mark U32 X1 X2 X3 mark X1 mark U63 X mark X a__snd pair X Y a__U301 a__isLNat X X Y mark U292 X1 X2 X3 mark X1 a__U303 tt Y a__U304 a__isLNatKind Y Y a__U341 tt N XS a__U342 a__isNaturalKind N N XS mark U334 X1 X2 a__U334 mark X1 X2 mark splitAt X1 X2 a__splitAt mark X1 mark X2 mark U256 X mark X mark U262 X mark X a__U23 tt X Y a__U24 a__isLNatKind Y X mark U161 X mark X mark U23 X1 X2 X3 mark X1 mark U192 X1 X2 mark X1 mark U45 X1 X2 mark X1 mark pair X1 X2 mark X2 mark head X a__head mark X mark U301 X1 X2 X3 a__U301 mark X1 X2 X3 a__U342 tt N XS a__U343 a__isLNat XS N XS mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__natsFrom N a__U281 a__isNatural N N mark U342 X1 X2 X3 a__U342 mark X1 X2 X3 a__U14 tt N XS mark XS mark U333 X1 X2 mark X1 a__U14 tt N XS mark N mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 mark U104 X1 X2 X3 mark X1 a__U326 tt N X XS a__U327 a__splitAt mark N mark XS X mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 mark U301 X1 X2 X3 mark X1 mark U24 X1 X2 mark X1 a__U292 tt N XS a__U293 a__isLNat XS N XS mark afterNth X1 X2 a__afterNth mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 mark fst X mark X a__U326 tt N X XS mark XS mark U131 X mark X mark U311 X1 X2 a__U311 mark X1 X2 a__U294 tt N XS mark XS mark U302 X1 X2 mark X1 mark U91 X1 X2 mark X1 mark U327 X1 X2 mark X1 mark U244 X1 X2 X3 mark X1 mark U112 X mark X mark U324 X1 X2 X3 X4 mark X1 mark splitAt X1 X2 mark X1 mark U73 X mark X mark U105 X1 X2 mark X1 mark U303 X1 X2 a__U303 mark X1 X2 a__fst pair X Y a__U21 a__isLNat X X Y mark U72 X1 X2 mark X1 a__U11 tt N XS a__U12 a__isNaturalKind N N XS mark U255 X1 X2 mark X1 a__U33 tt N XS a__U34 a__isLNatKind XS N mark afterNth X1 X2 mark X2 mark U303 X1 X2 mark X1 a__head cons N XS a__U31 a__isNatural N N XS a__U302 tt Y a__U303 a__isLNat Y Y a__U14 tt N XS a__snd a__splitAt mark N mark XS mark take X1 X2 a__take mark X1 mark X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U211 X mark X mark U53 X1 X2 X3 mark X1 mark U231 X1 X2 mark X1 a__U344 tt N XS mark XS mark U42 X1 X2 X3 mark X1 a__U294 tt N XS a__afterNth mark N mark XS a__afterNth N XS a__U11 a__isNatural N N XS true U291 3 1 35397 2 35405 3 35406 0 a__U193 1 0 a__U83 1 1 19 U231 2 1 16329 2 668 0 U301 3 1 24 2 24 3 24 0 a__U293 3 1 35372 2 35383 3 35383 0 a__U241 3 1 44 2 43 3 42 0 U204 3 1 1 2 15022 3 15022 0 a__U324 4 1 53 2 58 3 57 4 77 0 a__U302 2 1 1 2 24 0 a__isNaturalKind 1 0 a__U325 4 1 39 2 58 3 55 4 77 0 a__U151 1 1 7885 a__U292 3 1 35405 2 35405 3 35392 0 a__U73 1 0 a__U131 1 0 a__U63 1 1 4 U21 3 1 14 2 51 3 50 0 U261 2 1 40 2 40 0 a__U102 3 1 21 2 38 3 37 0 U254 3 1 32 2 32 3 31 0 U333 2 1 8 2 8 0 a__U82 2 0 a__U332 2 1 1 2 28 0 a__U45 2 1 64 2 64 0 U193 1 1 0 a__U72 2 0 a__U242 3 0 a__U246 1 1 1 U161 1 1 16 a__U321 4 1 75 2 84 3 89 4 92 0 a__U71 2 0 a__U232 1 1 643 U182 2 1 34 2 40 0 a__U291 3 2 35430 3 35432 0 U11 3 1 19172 2 19170 3 19172 0 a__U171 2 1 73 2 80 0 a__U92 2 0 a__U104 3 1 17 2 36 3 37 0 a__U294 3 1 35380 2 35382 3 35379 0 a__U182 2 1 34 2 40 0 a__U191 2 1 2 2 9 0 a__U281 2 1 2 2 11 0 U243 3 1 7 2 42 3 22 0 a__U245 2 1 22 2 21 0 a__U112 1 0 s 1 1 0 U105 2 1 27 2 26 0 U303 2 1 4 2 4 0 a__U292 3 2 35429 3 35419 0 a__U24 2 1 8 2 10 0 a__U341 3 2 125 3 123 0 a__U31 3 2 16222 0 a__U243 3 1 7 2 42 3 22 0 a__U33 3 2 16200 0 a__U93 1 0 a__head 1 1 16223 U192 2 1 3 2 9 0 a__U253 3 0 U24 2 1 8 2 10 0 a__U33 3 1 16163 2 16205 3 16162 0 U106 1 1 6 a__U24 2 2 45 0 a__natsFrom 1 1 40 isPLNatKind 1 1 0 a__U252 3 0 a__U256 1 0 a__U244 3 1 22 2 42 3 21 0 a__U343 3 1 87 2 86 3 88 0 U242 3 1 43 2 42 3 42 0 a__U303 2 2 39 0 U262 1 1 40 U244 3 1 22 2 42 3 21 0 U272 1 1 57 U56 1 1 0 a__U191 2 0 a__U272 1 0 a__U23 3 2 47 0 a__U55 2 1 12 2 20 0 isPLNat 1 1 0 a__snd 1 1 0 a__U331 3 1 20 2 36 3 28 0 a__U312 2 2 37 0 a__afterNth 2 1 19181 2 19182 0 U42 3 1 66 2 83 3 82 0 U91 2 1 48 2 44 0 U221 1 1 0 U293 3 1 35372 2 35383 3 35383 0 a__U73 1 1 16 a__U106 1 0 U325 4 1 39 2 58 3 55 4 77 0 a__U82 2 1 16528 2 19091 0 a__U182 2 0 take 2 1 119 2 111 0 a__U14 3 2 93 3 93 0 U71 2 1 26 2 26 0 a__U62 2 1 5 2 4 0 a__U44 3 1 82 2 73 3 81 0 U131 1 1 5 U206 1 1 14992 a__U221 1 1 0 U101 3 1 133 2 132 3 37 0 a__U43 3 0 a__U334 2 1 31 2 39 0 pair 2 1 44 2 44 0 U255 2 1 22 2 21 0 a__U326 4 2 84 3 87 4 92 0 a__U261 2 1 40 2 40 0 fst 1 1 7 U111 2 1 109 2 77 0 U43 3 1 74 2 73 3 82 0 a__U13 3 2 94 3 19202 0 a__U121 2 1 1 2 0 0 a__U262 1 1 40 a__U246 1 0 a__U44 3 0 a__U204 3 0 U103 3 1 10 2 38 3 37 0 a__U111 2 1 109 2 77 0 a__U272 1 1 57 natsFrom 1 1 11 U281 2 1 2 2 11 0 a__U103 3 0 a__U301 3 3 41 0 U44 3 1 82 2 73 3 81 0 U55 2 1 12 2 20 0 a__U46 1 0 a__snd 1 1 19071 a__U252 3 1 33 2 33 3 32 0 U253 3 1 32 2 32 3 32 0 U312 2 1 56 2 56 0 a__U206 1 0 a__U181 2 0 a__U193 1 1 0 a__U271 2 1 58 2 57 0 a__U51 3 0 U341 3 1 110 2 109 3 111 0 a__U254 3 1 32 2 32 3 31 0 U23 3 1 1 2 51 3 10 0 U292 3 1 35405 2 35405 3 35392 0 U342 3 1 109 2 108 3 107 0 a__U172 1 1 80 U63 1 1 4 a__U56 1 0 a__U344 3 2 121 3 93 0 a__U22 3 1 44 2 51 3 50 0 U172 1 1 80 U93 1 1 24 splitAt 2 1 58 2 77 0 isNaturalKind 1 1 0 U326 4 1 46 2 58 3 55 4 77 0 a__U323 4 2 84 3 88 4 92 0 a__U106 1 1 6 U72 2 1 26 2 25 0 a__U11 3 2 19204 3 19207 0 a__U291 3 1 35397 2 35405 3 35406 0 U241 3 1 44 2 43 3 42 0 U34 2 1 16162 2 16161 0 a__U192 2 1 3 2 9 0 a__U31 3 1 16187 2 16205 3 16183 0 a__U51 3 1 20 2 27 3 20 0 a__U253 3 1 32 2 32 3 32 0 a__U81 2 1 19091 2 19091 0 a__U53 3 0 a__U205 2 0 a__take 2 1 126 2 124 0 a__U172 1 0 a__U255 2 0 U12 3 1 19164 2 19169 3 19170 0 a__U43 3 1 74 2 73 3 82 0 U271 2 1 58 2 57 0 a__U231 2 1 16329 2 668 0 a__U232 1 0 a__isLNatKind 1 0 a__U62 2 0 a__U321 4 1 49 2 58 3 78 4 77 0 a__U206 1 1 14992 isNatural 1 1 9 U302 2 1 1 2 24 0 U54 3 1 20 2 21 3 20 0 a__U42 3 0 a__U183 1 0 a__U41 3 1 59 2 83 3 84 0 U232 1 1 643 a__U262 1 0 a__U122 1 0 a__U12 3 2 19201 3 19203 0 U205 2 1 15013 2 15012 0 a__U205 2 1 15013 2 15012 0 U201 3 1 35414 2 15024 3 35415 0 U104 3 1 17 2 36 3 37 0 a__U122 1 1 0 a__U14 3 1 19148 2 19148 3 19149 0 a__U81 2 0 a__U21 3 2 49 0 a__U161 1 1 16 a__U61 2 0 a__U333 2 2 40 0 a__U34 2 1 16162 2 16161 0 U252 3 1 33 2 33 3 32 0 a__U261 2 0 U141 1 1 11 a__fst 1 1 7 tail 1 1 28 a__natsFrom 1 1 11 a__U302 2 2 40 0 U83 1 1 19 a__U294 3 2 35417 3 35406 0 mark 1 1 36 a__U204 3 1 1 2 15022 3 15022 0 0 0 6 a__U211 1 0 U294 3 1 35380 2 35382 3 35379 0 a__U244 3 0 a__isLNat 1 1 20 U191 2 1 2 2 9 0 U343 3 1 87 2 86 3 88 0 a__U251 3 1 34 2 33 3 34 0 U73 1 1 16 a__U282 2 2 38 0 a__U21 3 1 14 2 51 3 50 0 U332 2 1 1 2 28 0 a__U311 2 1 57 2 56 0 U171 2 1 73 2 80 0 a__U32 3 1 16184 2 16205 3 16183 0 a__U91 2 1 48 2 44 0 a__U231 2 0 sel 2 1 35406 2 35407 0 U202 3 1 15024 2 15024 3 15024 0 afterNth 2 1 19181 2 19182 0 a__U151 1 0 a__U111 2 0 a__U161 1 0 a__U242 3 1 43 2 42 3 42 0 a__U141 1 0 nil 0 6 a__splitAt 2 1 58 2 77 0 isLNat 1 1 20 U246 1 1 1 a__U245 2 0 U62 2 1 5 2 4 0 a__U52 3 0 a__U211 1 1 5967 a__U102 3 0 U304 2 1 3 2 4 0 U45 2 1 64 2 64 0 a__sel 2 1 35431 2 35433 0 mark 1 1 0 U151 1 1 7885 a__isLNat 1 0 a__U56 1 1 0 a__U342 3 1 116 2 122 3 122 0 a__U72 2 1 26 2 25 0 U334 2 1 2 2 8 0 a__U101 3 0 a__U11 3 1 19172 2 19170 3 19172 0 U32 3 1 16184 2 16205 3 16183 0 a__U53 3 1 15 2 21 3 20 0 a__U141 1 1 11 a__U322 4 1 57 2 58 3 78 4 77 0 a__sel 2 1 35406 2 35407 0 a__U42 3 1 66 2 83 3 82 0 a__U93 1 1 24 U33 3 1 16163 2 16205 3 16162 0 a__U45 2 0 a__U52 3 1 27 2 21 3 20 0 a__U181 2 1 1 2 40 0 isLNatKind 1 1 0 U14 3 1 19148 2 19148 3 19149 0 U211 1 1 5967 a__U243 3 0 a__U54 3 0 U203 3 1 15023 2 15022 3 15024 0 a__U105 2 0 a__U202 3 0 a__U12 3 1 19164 2 19169 3 19170 0 U327 2 1 0 2 52 0 a__U104 3 0 a__U201 3 0 a__U63 1 0 a__isPLNat 1 1 0 a__U327 2 1 0 2 52 0 U46 1 1 44 a__U332 2 2 41 0 a__U326 4 1 46 2 58 3 55 4 77 0 U251 3 1 34 2 33 3 34 0 a__U322 4 2 84 3 89 4 92 0 a__isLNatKind 1 1 0 a__U121 2 0 U52 3 1 27 2 21 3 20 0 a__U254 3 0 a__U324 4 2 84 3 88 4 92 0 a__U281 2 2 39 0 a__U251 3 0 U61 2 1 6 2 5 0 a__U46 1 1 44 a__U22 3 2 48 0 a__U13 3 1 19149 2 19149 3 19170 0 a__U304 2 1 3 2 4 0 U31 3 1 16187 2 16205 3 16183 0 a__U83 1 0 a__U171 2 0 a__U71 2 1 26 2 26 0 U183 1 1 20 U245 2 1 22 2 21 0 U92 2 1 43 2 44 0 a__isPLNat 1 0 a__U203 3 0 head 1 1 16197 a__afterNth 2 1 19208 2 19208 0 U112 1 1 42 a__U343 3 2 121 3 93 0 a__splitAt 2 1 84 2 92 0 a__isPLNatKind 1 0 a__U192 2 0 a__U255 2 1 22 2 21 0 cons 2 1 8 2 0 0 a__U344 3 1 58 2 86 3 84 0 a__U92 2 1 43 2 44 0 U323 4 1 47 2 58 3 78 4 77 0 a__U61 2 1 6 2 5 0 U102 3 1 21 2 38 3 37 0 a__U105 2 1 27 2 26 0 a__U334 2 1 2 2 8 0 snd 1 1 19071 a__take 2 1 119 2 111 0 U256 1 1 1 a__U301 3 1 24 2 24 3 24 0 U81 2 1 19091 2 19091 0 a__U41 3 0 U82 2 1 16528 2 19091 0 a__U304 2 2 37 0 tt 0 6 a__isNatural 1 1 9 a__isNaturalKind 1 1 0 a__U131 1 1 5 a__isNatural 1 0 U13 3 1 19149 2 19149 3 19170 0 a__fst 1 1 6 a__U23 3 1 1 2 51 3 10 0 a__U311 2 2 91 0 a__U201 3 1 35414 2 15024 3 35415 0 a__U271 2 0 a__U202 3 1 15024 2 15024 3 15024 0 U321 4 1 49 2 58 3 78 4 77 0 a__U282 2 1 1 2 11 0 a__U241 3 0 a__U183 1 1 20 a__U333 2 1 8 2 8 0 U22 3 1 44 2 51 3 50 0 a__U293 3 2 35418 3 35407 0 U51 3 1 20 2 27 3 20 0 U311 2 1 57 2 56 0 a__U325 4 2 84 3 88 4 92 0 a__U34 2 2 37 0 U322 4 1 57 2 58 3 78 4 77 0 U344 3 1 58 2 86 3 84 0 a__U342 3 1 109 2 108 3 107 0 a__tail 1 1 28 a__U103 3 1 10 2 38 3 37 0 a__U54 3 1 20 2 21 3 20 0 a__isPLNatKind 1 1 0 U53 3 1 15 2 21 3 20 0 a__U303 2 1 4 2 4 0 a__U323 4 1 47 2 58 3 78 4 77 0 a__U55 2 0 a__U112 1 1 42 a__U331 3 2 65 3 62 0 U41 3 1 59 2 83 3 84 0 a__tail 1 1 63 a__U203 3 1 15023 2 15022 3 15024 0 a__U32 3 2 16221 0 a__U221 1 0 a__U101 3 1 133 2 132 3 37 0 a__U91 2 0 a__U341 3 1 110 2 109 3 111 0 U282 2 1 1 2 11 0 a__U256 1 1 1 U121 2 1 1 2 0 0 a__head 1 1 16197 U181 2 1 1 2 40 0 U324 4 1 53 2 58 3 57 4 77 0 U331 3 1 20 2 36 3 28 0 U122 1 1 0 a__U312 2 1 56 2 56 0 a__U327 2 1 6 2 37 0 mark U327 X1 X2 mark X1 mark U193 X mark X mark s X mark X a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS a__U323 tt N X XS a__U324 a__isNaturalKind X N X XS a__U324 tt N X XS a__U325 a__isLNat XS N X XS mark U122 X mark X a__U322 tt N X XS a__U323 a__isNatural X N X XS a__splitAt s N cons X XS a__U321 a__isNatural N N X XS mark U56 X mark X a__U326 tt N X XS a__splitAt mark N mark XS mark U221 X mark X a__U343 tt N XS a__U344 a__isLNatKind XS N XS a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS mark U332 X1 X2 a__U332 mark X1 X2 a__U52 X1 X2 X3 U52 X1 X2 X3 mark U201 X1 X2 X3 a__U201 mark X1 X2 X3 a__U205 X1 X2 U205 X1 X2 a__U161 tt tt a__U254 tt V1 V2 a__U255 a__isNatural V1 V2 a__U332 tt XS a__U333 a__isLNat XS XS a__snd X snd X a__U72 tt V1 a__U73 a__isNatural V1 a__splitAt X1 X2 splitAt X1 X2 a__U302 X1 X2 U302 X1 X2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__U104 tt V1 V2 a__U105 a__isNatural V1 V2 mark head X a__head mark X mark U56 X a__U56 mark X a__U71 tt V1 a__U72 a__isNaturalKind V1 V1 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__U63 tt tt mark U93 X a__U93 mark X a__snd pair X Y a__U301 a__isLNat X X Y a__fst X fst X a__U14 tt N XS a__snd a__splitAt mark N mark XS mark U301 X1 X2 X3 a__U301 mark X1 X2 X3 mark U192 X1 X2 a__U192 mark X1 X2 mark sel X1 X2 a__sel mark X1 mark X2 a__U82 X1 X2 U82 X1 X2 a__isLNat tail V1 a__U91 a__isLNatKind V1 V1 a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 mark U292 X1 X2 X3 a__U292 mark X1 X2 X3 mark U131 X a__U131 mark X mark isNaturalKind X a__isNaturalKind X mark U254 X1 X2 X3 a__U254 mark X1 X2 X3 a__U51 X1 X2 X3 U51 X1 X2 X3 a__U111 tt V2 a__U112 a__isLNatKind V2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U253 X1 X2 X3 a__U253 mark X1 X2 X3 mark U326 X1 X2 X3 X4 a__U326 mark X1 X2 X3 X4 mark fst X a__fst mark X a__U252 X1 X2 X3 U252 X1 X2 X3 mark U232 X a__U232 mark X a__U262 tt tt a__U161 X U161 X a__isLNatKind afterNth V1 V2 a__U111 a__isNaturalKind V1 V2 a__U331 X1 X2 X3 U331 X1 X2 X3 a__isPLNat splitAt V1 V2 a__U251 a__isNaturalKind V1 V1 V2 a__U92 X1 X2 U92 X1 X2 a__U101 tt V1 V2 a__U102 a__isNaturalKind V1 V1 V2 a__U327 pair YS ZS X pair cons mark X YS mark ZS mark U341 X1 X2 X3 a__U341 mark X1 X2 X3 a__U245 X1 X2 U245 X1 X2 a__U272 X U272 X mark isLNat X a__isLNat X a__U103 tt V1 V2 a__U104 a__isLNatKind V2 V1 V2 a__U141 tt tt a__U181 tt V1 a__U182 a__isLNatKind V1 V1 a__U221 tt tt a__isNatural 0 tt mark U322 X1 X2 X3 X4 a__U322 mark X1 X2 X3 X4 a__U311 tt XS a__U312 a__isLNatKind XS XS mark U282 X1 X2 a__U282 mark X1 X2 a__U23 X1 X2 X3 U23 X1 X2 X3 a__isLNat take V1 V2 a__U101 a__isNaturalKind V1 V1 V2 mark U193 X a__U193 mark X mark U34 X1 X2 a__U34 mark X1 X2 a__U171 X1 X2 U171 X1 X2 a__U44 X1 X2 X3 U44 X1 X2 X3 a__U342 tt N XS a__U343 a__isLNat XS N XS a__U61 tt V1 a__U62 a__isPLNatKind V1 V1 a__U91 X1 X2 U91 X1 X2 a__U193 tt tt a__U73 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U344 X1 X2 X3 U344 X1 X2 X3 a__isNaturalKind 0 tt a__U301 tt X Y a__U302 a__isLNatKind X Y mark pair X1 X2 pair mark X1 mark X2 a__U172 X U172 X mark U181 X1 X2 a__U181 mark X1 X2 mark U205 X1 X2 a__U205 mark X1 X2 a__U31 X1 X2 X3 U31 X1 X2 X3 a__U121 X1 X2 U121 X1 X2 mark U221 X a__U221 mark X mark U272 X a__U272 mark X mark U61 X1 X2 a__U61 mark X1 X2 mark U92 X1 X2 a__U92 mark X1 X2 a__isLNatKind cons V1 V2 a__U121 a__isNaturalKind V1 V2 a__U21 X1 X2 X3 U21 X1 X2 X3 a__natsFrom N a__U281 a__isNatural N N a__U231 X1 X2 U231 X1 X2 a__U62 X1 X2 U62 X1 X2 a__U171 tt V2 a__U172 a__isLNatKind V2 a__U206 tt tt mark U311 X1 X2 a__U311 mark X1 X2 a__U151 tt tt mark U151 X a__U151 mark X mark U312 X1 X2 a__U312 mark X1 X2 a__U61 X1 X2 U61 X1 X2 a__U293 X1 X2 X3 U293 X1 X2 X3 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U193 X U193 X mark U244 X1 X2 X3 a__U244 mark X1 X2 X3 mark U71 X1 X2 a__U71 mark X1 X2 mark U83 X a__U83 mark X a__U112 X U112 X a__isLNat cons V1 V2 a__U51 a__isNaturalKind V1 V1 V2 mark U261 X1 X2 a__U261 mark X1 X2 a__U241 X1 X2 X3 U241 X1 X2 X3 a__U292 tt N XS a__U293 a__isLNat XS N XS mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 a__U301 X1 X2 X3 U301 X1 X2 X3 mark U206 X a__U206 mark X mark U343 X1 X2 X3 a__U343 mark X1 X2 X3 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U43 X1 X2 X3 U43 X1 X2 X3 a__tail X tail X a__U93 X U93 X a__isPLNatKind splitAt V1 V2 a__U271 a__isNaturalKind V1 V2 a__sel N XS a__U291 a__isNatural N N XS a__isNaturalKind s V1 a__U221 a__isNaturalKind V1 mark U63 X a__U63 mark X a__U55 X1 X2 U55 X1 X2 a__U201 tt V1 V2 a__U202 a__isNaturalKind V1 V1 V2 mark U342 X1 X2 X3 a__U342 mark X1 X2 X3 mark isNatural X a__isNatural X mark U231 X1 X2 a__U231 mark X1 X2 a__isNatural X isNatural X a__U251 X1 X2 X3 U251 X1 X2 X3 mark U281 X1 X2 a__U281 mark X1 X2 a__U206 X U206 X a__isPLNat X isPLNat X a__U344 tt N XS a__fst a__splitAt mark N mark XS a__U341 tt N XS a__U342 a__isNaturalKind N N XS mark U202 X1 X2 X3 a__U202 mark X1 X2 X3 mark U141 X a__U141 mark X a__U211 tt tt mark take X1 X2 a__take mark X1 mark X2 a__U323 X1 X2 X3 X4 U323 X1 X2 X3 X4 mark U334 X1 X2 a__U334 mark X1 X2 mark U45 X1 X2 a__U45 mark X1 X2 a__U243 X1 X2 X3 U243 X1 X2 X3 mark snd X a__snd mark X mark 0 0 a__isLNatKind natsFrom V1 a__U141 a__isNaturalKind V1 a__U311 X1 X2 U311 X1 X2 a__U204 X1 X2 X3 U204 X1 X2 X3 a__U182 tt V1 a__U183 a__isLNat V1 mark U291 X1 X2 X3 a__U291 mark X1 X2 X3 mark U302 X1 X2 a__U302 mark X1 X2 a__isLNatKind X isLNatKind X a__U122 X U122 X a__U303 X1 X2 U303 X1 X2 a__U202 tt V1 V2 a__U203 a__isLNatKind V2 V1 V2 a__tail cons N XS a__U331 a__isNatural N N XS a__U303 tt Y a__U304 a__isLNatKind Y Y mark nil nil a__U24 X1 X2 U24 X1 X2 a__U41 X1 X2 X3 U41 X1 X2 X3 a__U244 tt V1 V2 a__U245 a__isLNat V1 V2 a__U105 tt V2 a__U106 a__isLNat V2 a__isLNat snd V1 a__U81 a__isPLNatKind V1 V1 mark U203 X1 X2 X3 a__U203 mark X1 X2 X3 a__U324 X1 X2 X3 X4 U324 X1 X2 X3 X4 mark U111 X1 X2 a__U111 mark X1 X2 a__U322 tt N X XS a__U323 a__isNatural X N X XS mark isPLNatKind X a__isPLNatKind X a__U21 tt X Y a__U22 a__isLNatKind X X Y a__U302 tt Y a__U303 a__isLNat Y Y a__U63 X U63 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U46 tt tt a__isLNat natsFrom V1 a__U71 a__isNaturalKind V1 V1 mark U172 X a__U172 mark X a__U255 X1 X2 U255 X1 X2 mark tt tt mark U324 X1 X2 X3 X4 a__U324 mark X1 X2 X3 X4 a__U45 tt V2 a__U46 a__isLNat V2 a__U182 X1 X2 U182 X1 X2 a__U12 tt N XS a__U13 a__isLNat XS N XS mark U304 X1 X2 a__U304 mark X1 X2 a__U33 X1 X2 X3 U33 X1 X2 X3 a__isNaturalKind head V1 a__U211 a__isLNatKind V1 mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 a__U232 tt tt mark U256 X a__U256 mark X a__U53 X1 X2 X3 U53 X1 X2 X3 a__U11 tt N XS a__U12 a__isNaturalKind N N XS a__U41 tt V1 V2 a__U42 a__isNaturalKind V1 V1 V2 a__U73 X U73 X mark U171 X1 X2 a__U171 mark X1 X2 a__U326 X1 X2 X3 X4 U326 X1 X2 X3 X4 a__isLNatKind fst V1 a__U131 a__isPLNatKind V1 mark U191 X1 X2 a__U191 mark X1 X2 a__U242 X1 X2 X3 U242 X1 X2 X3 a__U294 X1 X2 X3 U294 X1 X2 X3 a__U172 tt tt a__U202 X1 X2 X3 U202 X1 X2 X3 a__U111 X1 X2 U111 X1 X2 a__afterNth X1 X2 afterNth X1 X2 a__isLNatKind tail V1 a__U161 a__isLNatKind V1 a__U72 X1 X2 U72 X1 X2 a__U83 tt tt mark U122 X a__U122 mark X a__U32 X1 X2 X3 U32 X1 X2 X3 a__U343 X1 X2 X3 U343 X1 X2 X3 a__isLNatKind take V1 V2 a__U171 a__isNaturalKind V1 V2 a__U183 X U183 X a__U332 X1 X2 U332 X1 X2 a__U192 tt V1 a__U193 a__isNatural V1 a__U253 tt V1 V2 a__U254 a__isLNatKind V2 V1 V2 a__U256 tt tt a__U34 X1 X2 U34 X1 X2 mark U245 X1 X2 a__U245 mark X1 X2 a__U246 X U246 X mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__U204 tt V1 V2 a__U205 a__isNatural V1 V2 a__U294 tt N XS a__head a__afterNth mark N mark XS mark U204 X1 X2 X3 a__U204 mark X1 X2 X3 a__isNaturalKind X isNaturalKind X a__U81 tt V1 a__U82 a__isPLNatKind V1 V1 mark U255 X1 X2 a__U255 mark X1 X2 a__U131 tt tt a__U93 tt tt mark U73 X a__U73 mark X mark cons X1 X2 cons mark X1 X2 a__U334 tt XS mark XS a__isNatural s V1 a__U191 a__isNaturalKind V1 V1 a__U42 tt V1 V2 a__U43 a__isLNatKind V2 V1 V2 a__isLNat X isLNat X a__U272 tt tt a__U331 tt N XS a__U332 a__isNaturalKind N XS mark U293 X1 X2 X3 a__U293 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U262 X U262 X a__U205 tt V2 a__U206 a__isLNat V2 a__U122 tt tt a__U62 tt V1 a__U63 a__isPLNat V1 mark U262 X a__U262 mark X a__U312 tt XS pair nil mark XS mark U246 X a__U246 mark X a__U325 X1 X2 X3 X4 U325 X1 X2 X3 X4 a__natsFrom X natsFrom X mark U252 X1 X2 X3 a__U252 mark X1 X2 X3 a__U53 tt V1 V2 a__U54 a__isLNatKind V2 V1 V2 a__U105 X1 X2 U105 X1 X2 a__U71 X1 X2 U71 X1 X2 a__U245 tt V2 a__U246 a__isLNat V2 a__U33 tt N XS a__U34 a__isLNatKind XS N a__isLNat fst V1 a__U61 a__isPLNatKind V1 V1 a__U141 X U141 X a__U333 tt XS a__U334 a__isLNatKind XS XS a__isLNatKind snd V1 a__U151 a__isPLNatKind V1 mark U327 X1 X2 a__U327 mark X1 X2 a__U304 X1 X2 U304 X1 X2 a__U183 tt tt a__U103 X1 X2 X3 U103 X1 X2 X3 mark tail X a__tail mark X a__U32 tt N XS a__U33 a__isLNat XS N XS a__isNatural sel V1 V2 a__U201 a__isNaturalKind V1 V1 V2 a__U254 X1 X2 X3 U254 X1 X2 X3 a__U81 X1 X2 U81 X1 X2 a__U191 tt V1 a__U192 a__isNaturalKind V1 V1 a__head X head X a__U51 tt V1 V2 a__U52 a__isNaturalKind V1 V1 V2 a__U91 tt V1 a__U92 a__isLNatKind V1 V1 mark U211 X a__U211 mark X mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 a__isPLNatKind X isPLNatKind X a__sel X1 X2 sel X1 X2 a__U326 tt N X XS a__U327 a__splitAt mark N mark XS X mark U242 X1 X2 X3 a__U242 mark X1 X2 X3 mark U344 X1 X2 X3 a__U344 mark X1 X2 X3 a__U281 tt N a__U282 a__isNaturalKind N N mark U105 X1 X2 a__U105 mark X1 X2 mark U55 X1 X2 a__U55 mark X1 X2 a__U312 X1 X2 U312 X1 X2 a__U14 X1 X2 X3 U14 X1 X2 X3 a__U55 tt V2 a__U56 a__isLNat V2 mark natsFrom X a__natsFrom mark X a__U121 tt V2 a__U122 a__isLNatKind V2 mark U251 X1 X2 X3 a__U251 mark X1 X2 X3 a__U112 tt tt a__U13 tt N XS a__U14 a__isLNatKind XS N XS mark afterNth X1 X2 a__afterNth mark X1 mark X2 a__U281 X1 X2 U281 X1 X2 a__U255 tt V2 a__U256 a__isLNat V2 a__U82 tt V1 a__U83 a__isPLNat V1 a__U192 X1 X2 U192 X1 X2 a__U291 X1 X2 X3 U291 X1 X2 X3 a__U342 X1 X2 X3 U342 X1 X2 X3 a__splitAt 0 XS a__U311 a__isLNat XS XS a__U56 X U56 X mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 a__U203 X1 X2 X3 U203 X1 X2 X3 a__U151 X U151 X a__U43 tt V1 V2 a__U44 a__isLNatKind V2 V1 V2 a__U211 X U211 X a__U244 X1 X2 X3 U244 X1 X2 X3 mark U82 X1 X2 a__U82 mark X1 X2 a__U54 X1 X2 X3 U54 X1 X2 X3 a__U24 tt X mark X mark U271 X1 X2 a__U271 mark X1 X2 a__U31 tt N XS a__U32 a__isNaturalKind N N XS a__U271 tt V2 a__U272 a__isLNatKind V2 a__isNatural head V1 a__U181 a__isLNatKind V1 V1 a__U92 tt V1 a__U93 a__isLNat V1 mark U24 X1 X2 a__U24 mark X1 X2 a__U256 X U256 X a__U282 X1 X2 U282 X1 X2 a__U291 tt N XS a__U292 a__isNaturalKind N N XS mark U121 X1 X2 a__U121 mark X1 X2 a__U22 X1 X2 X3 U22 X1 X2 X3 mark U241 X1 X2 X3 a__U241 mark X1 X2 X3 mark U303 X1 X2 a__U303 mark X1 X2 a__U201 X1 X2 X3 U201 X1 X2 X3 a__U83 X U83 X a__U106 tt tt mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U181 X1 X2 U181 X1 X2 a__U45 X1 X2 U45 X1 X2 a__isLNat afterNth V1 V2 a__U41 a__isNaturalKind V1 V1 V2 a__U131 X U131 X mark isLNatKind X a__isLNatKind X mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__U271 X1 X2 U271 X1 X2 a__U292 X1 X2 X3 U292 X1 X2 X3 a__U46 X U46 X a__take X1 X2 take X1 X2 a__U231 tt V2 a__U232 a__isLNatKind V2 a__U293 tt N XS a__U294 a__isLNatKind XS N XS mark U106 X a__U106 mark X a__fst pair X Y a__U21 a__isLNat X X Y a__isNaturalKind sel V1 V2 a__U231 a__isNaturalKind V1 V2 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 a__U341 X1 X2 X3 U341 X1 X2 X3 mark s X s mark X a__U282 tt N cons mark N natsFrom s N mark splitAt X1 X2 a__splitAt mark X1 mark X2 a__U324 tt N X XS a__U325 a__isLNat XS N X XS a__afterNth N XS a__U11 a__isNatural N N XS mark U183 X a__U183 mark X mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS a__isLNatKind nil tt mark U81 X1 X2 a__U81 mark X1 X2 a__U252 tt V1 V2 a__U253 a__isLNatKind V2 V1 V2 a__U321 X1 X2 X3 X4 U321 X1 X2 X3 X4 a__isPLNat pair V1 V2 a__U241 a__isLNatKind V1 V1 V2 a__splitAt s N cons X XS a__U321 a__isNatural N N X XS a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS mark U325 X1 X2 X3 X4 a__U325 mark X1 X2 X3 X4 mark U161 X a__U161 mark X a__U12 X1 X2 X3 U12 X1 X2 X3 mark U62 X1 X2 a__U62 mark X1 X2 a__U261 tt V2 a__U262 a__isLNatKind V2 mark U333 X1 X2 a__U333 mark X1 X2 a__U333 X1 X2 U333 X1 X2 a__U42 X1 X2 X3 U42 X1 X2 X3 mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 mark U294 X1 X2 X3 a__U294 mark X1 X2 X3 a__U191 X1 X2 U191 X1 X2 a__U251 tt V1 V2 a__U252 a__isNaturalKind V1 V1 V2 a__U323 tt N X XS a__U324 a__isNaturalKind X N X XS a__U334 X1 X2 U334 X1 X2 a__U44 tt V1 V2 a__U45 a__isNatural V1 V2 a__U101 X1 X2 X3 U101 X1 X2 X3 a__U54 tt V1 V2 a__U55 a__isNatural V1 V2 mark U112 X a__U112 mark X mark U321 X1 X2 X3 X4 a__U321 mark X1 X2 X3 X4 a__U56 tt tt a__head cons N XS a__U31 a__isNatural N N XS a__U23 tt X Y a__U24 a__isLNatKind Y X a__U327 X1 X2 U327 X1 X2 mark U46 X a__U46 mark X mark U72 X1 X2 a__U72 mark X1 X2 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 a__U232 X U232 X a__U241 tt V1 V2 a__U242 a__isLNatKind V1 V1 V2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U52 tt V1 V2 a__U53 a__isLNatKind V2 V1 V2 a__take N XS a__U341 a__isNatural N N XS mark U243 X1 X2 X3 a__U243 mark X1 X2 X3 mark U323 X1 X2 X3 X4 a__U323 mark X1 X2 X3 X4 a__isLNat nil tt a__U106 X U106 X a__U242 tt V1 V2 a__U243 a__isLNatKind V2 V1 V2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 a__U104 X1 X2 X3 U104 X1 X2 X3 a__U221 X U221 X mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U246 tt tt mark U182 X1 X2 a__U182 mark X1 X2 a__U304 tt Y mark Y a__U34 tt N mark N a__U322 X1 X2 X3 X4 U322 X1 X2 X3 X4 a__U261 X1 X2 U261 X1 X2 a__U22 tt X Y a__U23 a__isLNat Y X Y mark isPLNat X a__isPLNat X a__U253 X1 X2 X3 U253 X1 X2 X3 mark U331 X1 X2 X3 a__U331 mark X1 X2 X3 a__U203 tt V1 V2 a__U204 a__isLNatKind V2 V1 V2 a__U243 tt V1 V2 a__U244 a__isLNatKind V2 V1 V2 a__U343 tt N XS a__U344 a__isLNatKind XS N XS a__U102 tt V1 V2 a__U103 a__isLNatKind V2 V1 V2 mark U56 X mark X mark U193 X mark X mark U221 X mark X mark U122 X mark X mark U327 X1 X2 mark X1 mark s X mark X true U291 3 20507 a__U193 1 0 a__U83 1 0 U231 2 1 1 U301 3 3 0 a__U293 3 6 a__U241 3 7 U204 3 2 3 1850 a__U324 4 1 33928 a__U302 2 1 0 a__isNaturalKind 1 0 a__U325 4 1 33926 a__U151 1 3 a__U292 3 1 20508 a__U73 1 0 a__U131 1 0 a__U63 1 1 2 U21 3 2 3 9089 U261 2 2 a__U102 3 1 3 14 U254 3 3 1 U333 2 4 a__U82 2 0 a__U332 2 6 a__U45 2 3 U193 1 1 1698 a__U72 2 0 a__U242 3 0 a__U246 1 3 U161 1 0 a__U321 4 2 a__U71 2 0 a__U232 1 1 16201 U182 2 2 6373 a__U291 3 2 U11 3 1 3 a__U171 2 3 a__U92 2 0 a__U104 3 1 16 a__U294 3 6 a__U182 2 1 2 6374 a__U191 2 1 2 29518 a__U281 2 1 U243 3 2 7 a__U245 2 1 1 a__U112 1 0 s 1 1 33922 U105 2 2 19 U303 2 2 38750 a__U292 3 2 a__U24 2 4 a__U341 3 2 a__U31 3 2 a__U243 3 2 7 a__U33 3 0 a__U93 1 0 a__head 1 2 U192 2 2 1 a__U253 3 0 U24 2 4 a__U33 3 4 U106 1 1 a__U24 2 2 a__natsFrom 1 2 isPLNatKind 1 4 a__U252 3 0 a__U256 1 0 a__U244 3 7 a__U343 3 1 5 U242 3 3 7 a__U303 2 2 U262 1 3 U244 3 7 U272 1 1 U56 1 1 2 a__U191 2 0 a__U272 1 0 a__U23 3 2 a__U55 2 7 isPLNat 1 1 2 a__snd 1 0 a__U331 3 1 2 a__U312 2 2 a__afterNth 2 1 U42 3 1 4 U91 2 1 27957 U221 1 1 0 U293 3 1 2 3 6 a__U73 1 24424 a__U106 1 0 U325 4 3 4 33927 a__U82 2 1 2 1 a__U182 2 0 take 2 1 9 a__U14 3 2 U71 2 2 43960 a__U62 2 9 a__U44 3 3 U131 1 2 U206 1 37276 a__U221 1 4 U101 3 2 3 14 a__U43 3 0 a__U334 2 2 pair 2 33932 U255 2 2 3 a__U326 4 2 a__U261 2 3 fst 1 1 U111 2 2 1 U43 3 1 3 4 a__U13 3 1 a__U121 2 1 1 a__U262 1 3 a__U246 1 0 a__U44 3 0 a__U204 3 0 U103 3 3 0 a__U111 2 1 2 1 a__U272 1 1 1 natsFrom 1 24415 U281 2 1 a__U103 3 0 a__U301 3 2 U44 3 3 U55 2 1 a__U46 1 0 a__snd 1 4 a__U252 3 4 U253 3 3 1 U312 2 2 33933 a__U206 1 0 a__U181 2 0 a__U193 1 2 a__U271 2 1 2 a__U51 3 0 U341 3 1 3 11 a__U254 3 4 U23 3 2 3 3534 U292 3 20508 U342 3 3 7 a__U172 1 3 U63 1 27022 a__U56 1 0 a__U344 3 2 a__U22 3 1 3532 U172 1 2 U93 1 9432 splitAt 2 1 13925 isNaturalKind 1 6021 U326 4 1 2 3 33931 a__U323 4 2 a__U106 1 3 U72 2 2 24421 a__U11 3 1 a__U291 3 20511 U241 3 6 U34 2 2 a__U192 2 1 a__U31 3 4 a__U51 3 7 a__U253 3 1 1 a__U81 2 1 2 2 a__U53 3 0 a__U205 2 0 a__take 2 2 a__U172 1 0 a__U255 2 0 U12 3 0 a__U43 3 3 U271 2 2 a__U231 2 2 6 a__U232 1 0 a__isLNatKind 1 0 a__U62 2 0 a__U321 4 1 3 33923 a__U206 1 1 37276 isNatural 1 1 1 U302 2 0 U54 3 8 a__U42 3 0 a__U183 1 0 a__U41 3 3 U232 1 16201 a__U262 1 0 a__U122 1 0 a__U12 3 0 U205 2 2 6839 a__U205 2 1853 U201 3 2 3 20510 U104 3 0 a__U122 1 3 a__U14 3 47722 a__U81 2 0 a__U21 3 2 a__U161 1 1 0 a__U61 2 0 a__U333 2 2 a__U34 2 4 U252 3 4 a__U261 2 0 U141 1 2 a__fst 1 1 1 tail 1 1 22588 a__natsFrom 1 24415 a__U302 2 2 U83 1 630 a__U294 3 2 mark 1 1 2 a__U204 3 1 1849 0 0 1 a__U211 1 0 U294 3 3 a__U244 3 0 a__isLNat 1 1 6 U191 2 2 29518 U343 3 3 5 a__U251 3 4 U73 1 1 24425 a__U282 2 2 a__U21 3 1 9089 U332 2 2 3 a__U311 2 3 U171 2 3 a__U32 3 4 a__U91 2 1 a__U231 2 0 sel 2 20511 U202 3 2 3 7853 afterNth 2 1 a__U151 1 0 a__U111 2 0 a__U161 1 0 a__U242 3 2 7 a__U141 1 0 nil 0 4585 a__splitAt 2 1 1 isLNat 1 1 1 U246 1 1 a__U245 2 0 U62 2 1 2 4 a__U52 3 0 a__U211 1 0 a__U102 3 0 U304 2 2 17285 U45 2 1 a__sel 2 2 mark 1 1 4 U151 1 3 a__isLNat 1 0 a__U56 1 7 a__U342 3 2 a__U72 2 1 24420 U334 2 4 a__U101 3 0 a__U11 3 3 U32 3 4 a__U53 3 1 3 4 a__U141 1 3 a__U322 4 3 33927 a__sel 2 2 20511 a__U42 3 2 3 3 a__U93 1 2 U33 3 2 3 4 a__U45 2 0 a__U52 3 2 3 7 a__U181 2 6 isLNatKind 1 1 3 U14 3 47717 U211 1 1 15431 a__U243 3 0 a__U54 3 0 U203 3 2 3 1848 a__U105 2 0 a__U202 3 0 a__U12 3 1 0 U327 2 1 33931 a__U104 3 0 a__U201 3 0 a__U63 1 0 a__isPLNat 1 8 a__U327 2 2 33931 U46 1 1 a__U332 2 2 a__U326 4 4 33930 U251 3 2 a__U322 4 2 a__isLNatKind 1 3 a__U121 2 0 U52 3 1 3 2 a__U254 3 0 a__U324 4 2 a__U281 2 2 a__U251 3 0 U61 2 3 a__U46 1 3 a__U22 3 2 a__U13 3 1 3 47719 a__U304 2 1 17286 U31 3 4 a__U83 1 0 a__U171 2 0 a__U71 2 1 24419 U183 1 2 U245 2 1 U92 2 1 1 a__isPLNat 1 0 a__U203 3 0 head 1 5 a__afterNth 2 2 U112 1 1 a__U343 3 1 a__splitAt 2 2 a__isPLNatKind 1 0 a__U192 2 0 a__U255 2 1 3 cons 2 1 a__U344 3 6 a__U92 2 1 U323 4 33928 a__U61 2 8 U102 3 2 3 15 a__U105 2 1 19 a__U334 2 4 snd 1 1 0 a__take 2 11 U256 1 3 a__U301 3 1 0 U81 2 2 3 a__U41 3 0 U82 2 2 2 a__U304 2 2 tt 0 3 a__isNatural 1 1 1 a__isNaturalKind 1 3 a__U131 1 3 a__isNatural 1 0 U13 3 47719 a__fst 1 2 a__U23 3 2 3535 a__U311 2 2 a__U201 3 1 3 20510 a__U271 2 0 a__U202 3 1 7853 U321 4 3 4 33923 a__U282 2 1 a__U241 3 0 a__U183 1 3 a__U333 2 4 U22 3 2 3 3532 a__U293 3 1 U51 3 2 3 2 U311 2 28695 a__U325 4 2 a__U34 2 0 U322 4 3 33928 U344 3 3 a__U342 3 3 11 a__tail 1 1 22588 a__U103 3 1 2 15 a__U54 3 2 3 7 a__isPLNatKind 1 5 U53 3 5 a__U303 2 1 38751 a__U323 4 1 33927 a__U55 2 0 a__U112 1 3 a__U331 3 2 U41 3 1 2 3 4 a__tail 1 2 a__U203 3 1 1848 a__U32 3 0 a__U221 1 0 a__U101 3 1 13 a__U91 2 0 a__U341 3 3 11 U282 2 1 a__U256 1 3 U121 2 2 1 a__head 1 1 5 U181 2 1 U324 4 2 3 4 33927 U331 3 2 U122 1 1 3 a__U312 2 33932 a__U327 2 2 mark U221 X mark X a__U161 tt tt a__U302 X1 X2 U302 X1 X2 a__fst X fst X a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 mark U131 X a__U131 mark X a__U111 tt V2 a__U112 a__isLNatKind V2 a__U252 X1 X2 X3 U252 X1 X2 X3 a__U262 tt tt a__U161 X U161 X a__U331 X1 X2 X3 U331 X1 X2 X3 a__U245 X1 X2 U245 X1 X2 a__U272 X U272 X a__U141 tt tt mark U282 X1 X2 a__U282 mark X1 X2 a__U171 X1 X2 U171 X1 X2 a__U44 X1 X2 X3 U44 X1 X2 X3 a__U13 X1 X2 X3 U13 X1 X2 X3 a__U344 X1 X2 X3 U344 X1 X2 X3 a__isNaturalKind 0 tt mark pair X1 X2 pair mark X1 mark X2 a__U172 X U172 X a__U31 X1 X2 X3 U31 X1 X2 X3 a__natsFrom N a__U281 a__isNatural N N a__U171 tt V2 a__U172 a__isLNatKind V2 a__U151 tt tt mark U151 X a__U151 mark X a__U112 X U112 X mark U261 X1 X2 a__U261 mark X1 X2 a__U241 X1 X2 X3 U241 X1 X2 X3 a__tail X tail X a__isNatural X isNatural X a__U251 X1 X2 X3 U251 X1 X2 X3 mark U281 X1 X2 a__U281 mark X1 X2 a__U206 X U206 X mark U141 X a__U141 mark X mark U45 X1 X2 a__U45 mark X1 X2 a__U243 X1 X2 X3 U243 X1 X2 X3 mark 0 0 a__isLNatKind natsFrom V1 a__U141 a__isNaturalKind V1 a__U182 tt V1 a__U183 a__isLNat V1 mark nil nil a__U24 X1 X2 U24 X1 X2 a__U105 tt V2 a__U106 a__isLNat V2 a__U46 tt tt mark U172 X a__U172 mark X mark tt tt a__U45 tt V2 a__U46 a__isLNat V2 a__U182 X1 X2 U182 X1 X2 a__U232 tt tt mark U256 X a__U256 mark X mark U171 X1 X2 a__U171 mark X1 X2 a__isLNatKind fst V1 a__U131 a__isPLNatKind V1 a__U294 X1 X2 X3 U294 X1 X2 X3 a__U172 tt tt a__U111 X1 X2 U111 X1 X2 a__afterNth X1 X2 afterNth X1 X2 a__U32 X1 X2 X3 U32 X1 X2 X3 a__isLNatKind take V1 V2 a__U171 a__isNaturalKind V1 V2 a__U183 X U183 X a__U256 tt tt a__U34 X1 X2 U34 X1 X2 a__U246 X U246 X mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__U131 tt tt mark cons X1 X2 cons mark X1 X2 a__U272 tt tt a__U262 X U262 X a__U122 tt tt mark U262 X a__U262 mark X mark U246 X a__U246 mark X a__natsFrom X natsFrom X a__U245 tt V2 a__U246 a__isLNat V2 a__U141 X U141 X a__isLNatKind snd V1 a__U151 a__isPLNatKind V1 a__U183 tt tt a__head X head X a__isPLNatKind X isPLNatKind X a__sel X1 X2 sel X1 X2 a__U281 tt N a__U282 a__isNaturalKind N N a__U14 X1 X2 X3 U14 X1 X2 X3 mark natsFrom X a__natsFrom mark X a__U112 tt tt a__U281 X1 X2 U281 X1 X2 a__U255 tt V2 a__U256 a__isLNat V2 a__U291 X1 X2 X3 U291 X1 X2 X3 a__U342 X1 X2 X3 U342 X1 X2 X3 a__U151 X U151 X a__U244 X1 X2 X3 U244 X1 X2 X3 a__U256 X U256 X a__U282 X1 X2 U282 X1 X2 a__U106 tt tt a__U181 X1 X2 U181 X1 X2 a__U45 X1 X2 U45 X1 X2 a__U131 X U131 X a__U271 X1 X2 U271 X1 X2 a__U292 X1 X2 X3 U292 X1 X2 X3 a__U46 X U46 X mark U106 X a__U106 mark X a__U282 tt N cons mark N natsFrom s N mark U183 X a__U183 mark X a__isLNatKind nil tt a__U12 X1 X2 X3 U12 X1 X2 X3 a__U261 tt V2 a__U262 a__isLNatKind V2 a__U333 X1 X2 U333 X1 X2 a__U191 X1 X2 U191 X1 X2 a__U334 X1 X2 U334 X1 X2 a__U44 tt V1 V2 a__U45 a__isNatural V1 V2 mark U112 X a__U112 mark X mark U46 X a__U46 mark X a__U232 X U232 X a__U106 X U106 X a__U246 tt tt a__U261 X1 X2 U261 X1 X2 mark U221 X mark X true U291 3 20490 a__U193 1 0 a__U83 1 0 U231 2 1 1 U301 3 3 0 a__U293 3 20493 a__U241 3 17 U204 3 2 3 3862 a__U324 4 1 8 a__U302 2 1 0 a__isNaturalKind 1 0 a__U325 4 1 0 a__U151 1 3 a__U292 3 1 20490 a__U73 1 0 a__U131 1 0 a__U63 1 1 1 U21 3 2 3 1 U261 2 1 a__U102 3 1 3 27634 U254 3 3 3 U333 2 2 a__U82 2 0 a__U332 2 7340 a__U45 2 3 U193 1 1 1698 a__U72 2 0 a__U242 3 0 a__U246 1 3 U161 1 0 a__U321 4 2 a__U71 2 0 a__U232 1 1 16200 U182 2 2 26860 a__U291 3 2 U11 3 1 1 a__U171 2 3 a__U92 2 0 a__U104 3 1 27636 a__U294 3 20493 a__U182 2 1 2 26861 a__U191 2 1 2 1 a__U281 2 1 U243 3 2 14 a__U245 2 1 5 a__U112 1 0 s 1 1 3 U105 2 2 27639 U303 2 2 38750 a__U292 3 2 a__U24 2 3 a__U341 3 2 a__U31 3 2 a__U243 3 2 17 a__U33 3 0 a__U93 1 0 a__head 1 2 U192 2 2 1 a__U253 3 0 U24 2 2 a__U33 3 4 U106 1 2 a__U24 2 2 a__natsFrom 1 2 isPLNatKind 1 3 a__U252 3 0 a__U256 1 0 a__U244 3 17 a__U343 3 1 21859 U242 3 3 14 a__U303 2 2 U262 1 3 U244 3 15 U272 1 1 U56 1 1 1 a__U191 2 0 a__U272 1 0 a__U23 3 2 a__U55 2 7 isPLNat 1 1 2 a__snd 1 0 a__U331 3 1 2 a__U312 2 2 a__afterNth 2 1 U42 3 1 4 U91 2 1 27957 U221 1 1 2 U293 3 1 2 3 20490 a__U73 1 24424 a__U106 1 0 U325 4 3 4 33919 a__U82 2 1 2 5875 a__U182 2 0 take 2 1 27623 a__U14 3 2 U71 2 2 43960 a__U62 2 17 a__U44 3 3 U131 1 2 U206 1 37276 a__U221 1 4 U101 3 2 3 27634 a__U43 3 0 a__U334 2 2 pair 2 10 U255 2 2 4 a__U326 4 2 a__U261 2 3 fst 1 3 U111 2 2 3136 U43 3 1 3 15354 a__U13 3 1 a__U121 2 1 1 a__U262 1 3 a__U246 1 0 a__U44 3 0 a__U204 3 0 U103 3 3 0 a__U111 2 1 2 3136 a__U272 1 1 1 natsFrom 1 1 U281 2 1 a__U103 3 0 a__U301 3 2 U44 3 1 U55 2 3 a__U46 1 0 a__snd 1 0 a__U252 3 14 U253 3 3 11 U312 2 2 11 a__U206 1 0 a__U181 2 0 a__U193 1 2 a__U271 2 1 1 a__U51 3 0 U341 3 1 3 27623 a__U254 3 5 U23 3 2 3 2 U292 3 20490 U342 3 3 21870 a__U172 1 3 U63 1 27020 a__U56 1 0 a__U344 3 2 a__U22 3 1 1 U172 1 3 U93 1 9431 splitAt 2 1 13925 isNaturalKind 1 6021 U326 4 1 2 3 33923 a__U323 4 2 a__U106 1 3 U72 2 2 24421 a__U11 3 1 a__U291 3 20493 U241 3 14 U34 2 4 a__U192 2 1 a__U31 3 4 a__U51 3 8 a__U253 3 1 11 a__U81 2 1 2 9 a__U53 3 0 a__U205 2 0 a__take 2 2 a__U172 1 0 a__U255 2 0 U12 3 0 a__U43 3 3 U271 2 1 a__U231 2 2 5 a__U232 1 0 a__isLNatKind 1 0 a__U62 2 0 a__U321 4 1 3 3 a__U206 1 1 37276 isNatural 1 1 1 U302 2 0 U54 3 8 a__U42 3 0 a__U183 1 0 a__U41 3 3 U232 1 16200 a__U262 1 0 a__U122 1 0 a__U12 3 0 U205 2 2 3866 a__U205 2 3865 U201 3 2 3 20510 U104 3 0 a__U122 1 3 a__U14 3 12152 a__U81 2 0 a__U21 3 2 a__U161 1 1 0 a__U61 2 0 a__U333 2 2 a__U34 2 4 U252 3 11 a__U261 2 0 U141 1 3 a__fst 1 1 3 tail 1 1 2 a__natsFrom 1 1 a__U302 2 2 U83 1 630 a__U294 3 2 mark 1 1 2 a__U204 3 1 3861 0 0 1 a__U211 1 0 U294 3 20490 a__U244 3 0 a__isLNat 1 1 12 U191 2 2 1 U343 3 3 21859 a__U251 3 14 U73 1 1 24425 a__U282 2 2 a__U21 3 1 1 U332 2 2 7337 a__U311 2 2 U171 2 3 a__U32 3 4 a__U91 2 1 a__U231 2 0 sel 2 20511 U202 3 2 3 7853 afterNth 2 1 a__U151 1 0 a__U111 2 0 a__U161 1 0 a__U242 3 2 17 a__U141 1 0 nil 0 1 a__splitAt 2 1 0 isLNat 1 1 1 U246 1 2 a__U245 2 0 U62 2 1 2 9 a__U52 3 0 a__U211 1 0 a__U102 3 0 U304 2 2 23012 U45 2 3 a__sel 2 2 mark 1 1 3 U151 1 2 a__isLNat 1 0 a__U56 1 5 a__U342 3 2 a__U72 2 1 24420 U334 2 3 a__U101 3 0 a__U11 3 3 U32 3 4 a__U53 3 1 3 4 a__U141 1 3 a__U322 4 3 7 a__sel 2 2 20511 a__U42 3 2 3 3 a__U93 1 2 U33 3 2 3 1 a__U45 2 0 a__U52 3 2 3 8 a__U181 2 20493 isLNatKind 1 1 3 U14 3 12148 U211 1 1 15431 a__U243 3 0 a__U54 3 0 U203 3 2 3 3860 a__U105 2 0 a__U202 3 0 a__U12 3 1 0 U327 2 1 2 a__U104 3 0 a__U201 3 0 a__U63 1 0 a__isPLNat 1 17 a__U327 2 2 5 U46 1 2 a__U332 2 2 a__U326 4 4 4 U251 3 14 a__U322 4 2 a__isLNatKind 1 3 a__U121 2 0 U52 3 1 3 4 a__U254 3 0 a__U324 4 2 a__U281 2 2 a__U251 3 0 U61 2 12 a__U46 1 3 a__U22 3 2 a__U13 3 1 3 47719 a__U304 2 1 23013 U31 3 4 a__U83 1 0 a__U171 2 0 a__U71 2 1 24419 U183 1 1 U245 2 5 U92 2 1 1 a__isPLNat 1 0 a__U203 3 0 head 1 20492 a__afterNth 2 2 U112 1 2 a__U343 3 1 a__splitAt 2 2 a__isPLNatKind 1 0 a__U192 2 0 a__U255 2 1 4 cons 2 1 a__U344 3 6 a__U92 2 1 U323 4 9 a__U61 2 16 U102 3 2 3 27635 a__U105 2 1 27639 a__U334 2 3 snd 1 1 0 a__take 2 27626 U256 1 3 a__U301 3 1 0 U81 2 2 10 a__U41 3 0 U82 2 2 5876 a__U304 2 2 tt 0 3 a__isNatural 1 1 1 a__isNaturalKind 1 3 a__U131 1 3 a__isNatural 1 0 U13 3 47719 a__fst 1 2 a__U23 3 2 4 a__U311 2 2 a__U201 3 1 3 20510 a__U271 2 0 a__U202 3 1 7853 U321 4 3 4 3 a__U282 2 1 a__U241 3 0 a__U183 1 3 a__U333 2 3 U22 3 2 3 1 a__U293 3 1 U51 3 2 3 1 U311 2 28694 a__U325 4 2 a__U34 2 0 U322 4 3 33927 U344 3 3 a__U342 3 3 21871 a__tail 1 1 2 a__U103 3 1 2 27635 a__U54 3 2 3 7 a__isPLNatKind 1 4 U53 3 5 a__U303 2 1 38751 a__U323 4 1 7 a__U55 2 0 a__U112 1 3 a__U331 3 2 U41 3 1 2 3 4 a__tail 1 2 a__U203 3 1 3860 a__U32 3 0 a__U221 1 0 a__U101 3 1 27633 a__U91 2 0 a__U341 3 3 27626 U282 2 1 a__U256 1 3 U121 2 2 1 a__head 1 1 20492 U181 2 11568 U324 4 2 3 4 1 U331 3 2 U122 1 1 3 a__U312 2 10 a__U327 2 2 a__U161 tt tt a__U302 X1 X2 U302 X1 X2 a__fst X fst X a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 mark U131 X a__U131 mark X a__U111 tt V2 a__U112 a__isLNatKind V2 a__U252 X1 X2 X3 U252 X1 X2 X3 a__U262 tt tt a__U161 X U161 X a__U331 X1 X2 X3 U331 X1 X2 X3 a__U245 X1 X2 U245 X1 X2 a__U272 X U272 X a__U141 tt tt mark U282 X1 X2 a__U282 mark X1 X2 a__U171 X1 X2 U171 X1 X2 a__U44 X1 X2 X3 U44 X1 X2 X3 a__U13 X1 X2 X3 U13 X1 X2 X3 a__U344 X1 X2 X3 U344 X1 X2 X3 a__isNaturalKind 0 tt mark pair X1 X2 pair mark X1 mark X2 a__U172 X U172 X a__U31 X1 X2 X3 U31 X1 X2 X3 a__natsFrom N a__U281 a__isNatural N N a__U171 tt V2 a__U172 a__isLNatKind V2 a__U151 tt tt mark U151 X a__U151 mark X a__U112 X U112 X mark U261 X1 X2 a__U261 mark X1 X2 a__U241 X1 X2 X3 U241 X1 X2 X3 a__tail X tail X a__isNatural X isNatural X a__U251 X1 X2 X3 U251 X1 X2 X3 mark U281 X1 X2 a__U281 mark X1 X2 a__U206 X U206 X mark U141 X a__U141 mark X mark U45 X1 X2 a__U45 mark X1 X2 a__U243 X1 X2 X3 U243 X1 X2 X3 mark 0 0 a__isLNatKind natsFrom V1 a__U141 a__isNaturalKind V1 a__U182 tt V1 a__U183 a__isLNat V1 mark nil nil a__U24 X1 X2 U24 X1 X2 a__U105 tt V2 a__U106 a__isLNat V2 a__U46 tt tt mark U172 X a__U172 mark X mark tt tt a__U45 tt V2 a__U46 a__isLNat V2 a__U182 X1 X2 U182 X1 X2 a__U232 tt tt mark U256 X a__U256 mark X mark U171 X1 X2 a__U171 mark X1 X2 a__isLNatKind fst V1 a__U131 a__isPLNatKind V1 a__U294 X1 X2 X3 U294 X1 X2 X3 a__U172 tt tt a__U111 X1 X2 U111 X1 X2 a__afterNth X1 X2 afterNth X1 X2 a__U32 X1 X2 X3 U32 X1 X2 X3 a__isLNatKind take V1 V2 a__U171 a__isNaturalKind V1 V2 a__U183 X U183 X a__U256 tt tt a__U34 X1 X2 U34 X1 X2 a__U246 X U246 X mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__U131 tt tt mark cons X1 X2 cons mark X1 X2 a__U272 tt tt a__U262 X U262 X a__U122 tt tt mark U262 X a__U262 mark X mark U246 X a__U246 mark X a__natsFrom X natsFrom X a__U245 tt V2 a__U246 a__isLNat V2 a__U141 X U141 X a__isLNatKind snd V1 a__U151 a__isPLNatKind V1 a__U183 tt tt a__head X head X a__isPLNatKind X isPLNatKind X a__sel X1 X2 sel X1 X2 a__U281 tt N a__U282 a__isNaturalKind N N a__U14 X1 X2 X3 U14 X1 X2 X3 mark natsFrom X a__natsFrom mark X a__U112 tt tt a__U281 X1 X2 U281 X1 X2 a__U255 tt V2 a__U256 a__isLNat V2 a__U291 X1 X2 X3 U291 X1 X2 X3 a__U342 X1 X2 X3 U342 X1 X2 X3 a__U151 X U151 X a__U244 X1 X2 X3 U244 X1 X2 X3 a__U256 X U256 X a__U282 X1 X2 U282 X1 X2 a__U106 tt tt a__U181 X1 X2 U181 X1 X2 a__U45 X1 X2 U45 X1 X2 a__U131 X U131 X a__U271 X1 X2 U271 X1 X2 a__U292 X1 X2 X3 U292 X1 X2 X3 a__U46 X U46 X mark U106 X a__U106 mark X a__U282 tt N cons mark N natsFrom s N mark U183 X a__U183 mark X a__isLNatKind nil tt a__U12 X1 X2 X3 U12 X1 X2 X3 a__U261 tt V2 a__U262 a__isLNatKind V2 a__U333 X1 X2 U333 X1 X2 a__U191 X1 X2 U191 X1 X2 a__U334 X1 X2 U334 X1 X2 a__U44 tt V1 V2 a__U45 a__isNatural V1 V2 mark U112 X a__U112 mark X mark U46 X a__U46 mark X a__U232 X U232 X a__U106 X U106 X a__U246 tt tt a__U261 X1 X2 U261 X1 X2 a__U322 tt N X XS a__U323 a__isNatural X N X XS a__U326 tt N X XS a__splitAt mark N mark XS a__U324 tt N X XS a__U325 a__isLNat XS N X XS a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS a__splitAt s N cons X XS a__U321 a__isNatural N N X XS a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS a__U323 tt N X XS a__U324 a__isNaturalKind X N X XS true a__U193 1 1 U231 2 1 a__U131 1 1 a__U24 2 2 U24 2 2 U272 1 1 a__U23 3 2 a__U106 1 1 a__U13 3 2 a__U272 1 1 a__U206 1 1 U23 3 2 a__U255 2 1 a__U231 2 1 a__U282 2 2 mark 1 1 a__U45 2 2 isLNatKind 1 1 a__isLNatKind 1 1 a__fst 1 1 a__U23 3 2 a__U221 1 1 U291 3 19 a__U83 1 0 U301 3 2 a__U293 3 17 a__U241 3 3 U204 3 14 a__U324 4 5 a__U302 2 1 a__isNaturalKind 1 0 a__U325 4 4 4 3 2 a__U151 1 17 a__U292 3 18 2 3 a__U73 1 0 a__U63 1 10 U21 3 3 U261 2 16 a__U102 3 4 U254 3 17 U333 2 0 2 a__U82 2 0 1 2 a__U332 2 1 a__U45 2 1 U193 1 10 a__U72 2 0 a__U242 3 0 2 a__U246 1 11 U161 1 4 1 a__U321 4 14 2 4 3 a__U71 2 0 2 1 a__U232 1 10 U182 2 10 a__U291 3 0 2 3 U11 3 12 a__U171 2 16 a__U92 2 0 2 a__U104 3 5 3 a__U294 3 16 3 1 a__U182 2 10 a__U191 2 12 a__U281 2 18 U243 3 15 3 a__U245 2 12 a__U112 1 0 1 s 1 7 1 U105 2 4 U303 2 5 a__U292 3 0 3 2 1 a__U341 3 0 3 2 1 a__U31 3 0 a__U243 3 15 3 a__U33 3 0 a__U93 1 0 a__head 1 0 U192 2 11 a__U253 3 0 1 3 2 a__U33 3 7 U106 1 3 a__U24 2 0 a__natsFrom 1 0 isPLNatKind 1 16 a__U252 3 0 2 1 3 a__U256 1 0 a__U244 3 15 a__U343 3 1 U242 3 0 a__U303 2 0 2 1 U262 1 17 U244 3 15 U56 1 6 a__U191 2 0 1 2 a__U272 1 0 a__U55 2 8 isPLNat 1 19 a__snd 1 0 a__U331 3 17 3 a__U312 2 0 1 2 a__afterNth 2 15 1 U42 3 7 U91 2 16 1 U221 1 9 U293 3 17 a__U73 1 11 U325 4 4 4 3 2 a__U82 2 0 2 a__U182 2 0 2 1 take 2 16 a__U14 3 0 U71 2 8 a__U62 2 0 a__U44 3 1 U131 1 4 U206 1 14 a__U221 1 9 U101 3 4 2 3 a__U43 3 0 3 2 1 a__U334 2 0 2 1 pair 2 2 U255 2 12 1 a__U326 4 14 2 4 a__U261 2 16 fst 1 4 1 U111 2 15 U43 3 7 a__U121 2 16 a__U262 1 17 a__U246 1 0 a__U44 3 0 1 3 a__U204 3 0 2 3 1 U103 3 5 a__U111 2 15 natsFrom 1 19 U281 2 18 a__U103 3 0 1 3 a__U301 3 0 U44 3 1 U55 2 8 a__U46 1 0 a__snd 1 16 1 a__U252 3 17 U253 3 16 U312 2 3 2 a__U181 2 0 2 a__U193 1 10 a__U271 2 16 a__U51 3 0 3 2 1 U341 3 0 a__U254 3 17 U292 3 18 2 3 U342 3 1 a__U172 1 16 U63 1 10 a__U56 1 0 a__U344 3 0 2 3 1 a__U22 3 2 1 3 2 U172 1 16 U93 1 11 splitAt 2 13 isNaturalKind 1 8 U326 4 3 a__U323 4 14 2 4 3 a__U106 1 3 U72 2 7 a__U11 3 0 1 2 a__U291 3 19 U241 3 3 U34 2 6 2 a__U192 2 11 a__U31 3 8 2 a__U51 3 8 a__U253 3 16 a__U81 2 8 a__U53 3 0 1 3 a__U205 2 0 2 a__take 2 0 1 2 a__U172 1 0 U12 3 11 3 a__U43 3 7 U271 2 16 a__U232 1 0 a__isLNatKind 1 0 a__U62 2 0 1 a__U321 4 13 a__U206 1 14 isNatural 1 13 1 U302 2 1 U54 3 8 a__U42 3 0 3 a__U183 1 0 a__U41 3 8 U232 1 10 a__U262 1 0 a__U122 1 0 a__U12 3 0 U205 2 14 a__U205 2 14 U201 3 5 U104 3 5 3 a__U122 1 17 a__U14 3 5 a__U81 2 0 1 2 a__U21 3 0 1 a__U161 1 4 1 a__U61 2 0 1 2 a__U333 2 0 a__U34 2 6 2 U252 3 17 a__U261 2 0 2 U141 1 6 1 a__fst 1 4 1 tail 1 5 1 a__natsFrom 1 19 a__U302 2 0 U83 1 0 a__U294 3 0 1 3 mark 1 0 a__U204 3 14 0 0 9 a__U211 1 0 U294 3 16 3 1 a__U244 3 0 3 2 1 a__isLNat 1 8 U191 2 12 U343 3 1 a__U251 3 18 U73 1 11 a__U21 3 3 U332 2 1 a__U311 2 4 U171 2 16 a__U32 3 7 1 a__U91 2 16 1 a__U231 2 0 1 2 sel 2 20 U202 3 5 afterNth 2 15 1 a__U151 1 0 a__U111 2 0 2 1 a__U161 1 0 a__U242 3 0 a__U141 1 0 nil 0 0 a__splitAt 2 13 isLNat 1 8 U246 1 11 a__U245 2 0 2 U62 2 0 a__U52 3 0 1 2 3 a__U211 1 11 a__U102 3 0 3 2 1 U304 2 5 U45 2 1 a__sel 2 0 1 2 U151 1 17 a__isLNat 1 0 a__U56 1 6 a__U342 3 0 1 2 a__U72 2 7 U334 2 0 a__U101 3 0 3 1 2 a__U11 3 12 U32 3 7 1 a__U53 3 8 a__U141 1 6 1 a__U322 4 12 a__sel 2 20 a__U42 3 7 a__U93 1 11 U33 3 7 a__U52 3 8 a__U181 2 13 1 2 U14 3 5 U211 1 11 a__U243 3 0 1 2 a__U54 3 0 3 2 U203 3 15 3 a__U105 2 0 1 2 a__U202 3 0 2 a__U12 3 11 3 U327 2 2 2 a__U104 3 0 3 1 2 a__U201 3 0 1 3 a__U63 1 0 a__isPLNat 1 19 a__U327 2 2 2 U46 1 0 1 a__U332 2 0 2 1 a__U326 4 3 U251 3 18 a__U322 4 14 2 4 3 a__U121 2 0 1 2 U52 3 8 a__U254 3 0 1 2 3 a__U324 4 14 2 4 a__U281 2 0 2 1 a__U251 3 0 2 U61 2 17 a__U46 1 0 1 a__U22 3 0 a__U13 3 6 2 3 a__U304 2 5 U31 3 8 2 a__U83 1 0 a__U171 2 0 1 2 a__U71 2 8 U183 1 10 U245 2 12 U92 2 16 a__isPLNat 1 0 a__U203 3 0 2 head 1 16 a__afterNth 2 0 2 1 U112 1 15 a__U343 3 0 a__splitAt 2 14 1 a__isPLNatKind 1 0 a__U192 2 0 1 a__U255 2 12 1 cons 2 16 a__U344 3 5 a__U92 2 16 U323 4 11 3 a__U61 2 17 U102 3 4 a__U105 2 4 a__U334 2 0 snd 1 16 1 a__take 2 16 U256 1 11 a__U301 3 2 U81 2 8 a__U41 3 0 2 1 U82 2 0 2 a__U304 2 0 2 1 tt 0 10 a__isNatural 1 13 1 a__isNaturalKind 1 8 a__U131 1 4 a__isNatural 1 0 U13 3 6 2 3 a__U311 2 0 2 1 a__U201 3 5 a__U271 2 0 1 2 a__U202 3 5 U321 4 13 a__U282 2 17 a__U241 3 0 2 a__U183 1 10 a__U333 2 0 2 U22 3 2 1 3 2 a__U293 3 0 2 1 3 U51 3 8 U311 2 4 a__U325 4 14 2 4 a__U34 2 0 1 2 U322 4 12 U344 3 5 a__U342 3 1 a__tail 1 5 1 a__U103 3 5 a__U54 3 8 a__isPLNatKind 1 16 U53 3 8 a__U303 2 5 a__U323 4 11 3 a__U55 2 0 1 a__U112 1 15 a__U331 3 0 U41 3 8 a__tail 1 0 a__U203 3 15 3 a__U32 3 0 1 2 3 a__U101 3 4 2 3 a__U91 2 0 a__U341 3 0 U282 2 17 a__U256 1 11 U121 2 16 a__head 1 16 U181 2 13 1 2 U324 4 5 U331 3 17 3 U122 1 17 a__U312 2 3 2 a__U327 2 0 U291 3 2 531474 3 531477 0 a__U83 1 1 U301 3 3 106280 0 a__U293 3 1 425171 2 425170 3 531475 0 a__U241 3 1 136289 2 136288 3 136286 0 U204 3 3 21838 0 a__U324 4 2 80432 3 155520 4 80431 0 a__U302 2 2 13846 0 a__isNaturalKind 1 1 a__U325 4 2 80432 3 155519 4 80431 0 a__U151 1 0 a__U292 3 2 531474 3 531476 0 a__U73 1 1 a__U63 1 238464 U21 3 1 49217 2 49219 3 49217 0 U261 2 2 50964 0 a__U102 3 1 106285 2 106287 3 106289 0 U254 3 2 212597 0 U333 2 1 1 2 19699 0 a__U82 2 1 1 2 1 0 a__U332 2 1 106305 2 106304 0 a__U45 2 2 106303 0 U193 1 0 a__U72 2 2 1 0 a__U242 3 2 1 3 1 0 a__U246 1 0 U161 1 1 0 a__U321 4 1 106292 2 212586 3 318878 4 212579 0 a__U71 2 1 1 2 1 0 a__U232 1 0 U182 2 1 106303 2 1 0 a__U291 3 1 2 3 1 U11 3 2 212580 3 106291 0 a__U171 2 0 a__U92 2 2 1 0 a__U104 3 3 40877 0 a__U294 3 1 531475 2 425170 3 318880 0 a__U182 2 1 106303 2 1 0 a__U191 2 1 1 0 a__U281 2 2 318878 0 U243 3 1 136283 2 136281 3 136284 0 a__U245 2 1 29977 0 a__U112 1 1 1 s 1 1 0 U105 2 2 28834 0 U303 2 2 1 0 a__U292 3 1 2 3 0 a__U341 3 1 2 3 1 a__U31 3 1 1 a__U243 3 1 136283 2 136281 3 136284 0 a__U33 3 3 1 a__U93 1 1 a__head 1 1 U192 2 0 a__U253 3 1 1 2 1 3 1 0 a__U33 3 2 47711 3 106298 0 U106 1 1 a__U24 2 1 1 a__natsFrom 1 1 isPLNatKind 1 1 1745 a__U252 3 1 1 2 1 3 1 0 a__U256 1 1 a__U244 3 1 136278 2 136280 0 a__U343 3 2 320645 3 320646 0 U242 3 1 136287 2 136282 3 136285 0 a__U303 2 1 2 1 U262 1 0 U244 3 1 136278 2 136280 0 U56 1 1 a__U191 2 1 1 2 1 0 a__U272 1 1 a__U55 2 1 1 0 isPLNat 1 1 238462 a__snd 1 1 a__U331 3 2 106305 3 212597 0 a__U312 2 1 2 0 a__afterNth 2 1 212581 2 106291 0 U42 3 3 106307 0 U91 2 1 17020 2 106305 0 U221 1 1 U293 3 1 425171 2 425170 3 531475 0 a__U73 1 8837 U325 4 2 80432 3 155519 4 80431 0 a__U82 2 2 25851 0 a__U182 2 1 1 2 1 0 take 2 1 2 320651 a__U14 3 2 3 1 U71 2 1 212586 2 212587 0 a__U62 2 1 238465 2 238463 0 a__U44 3 3 106304 0 U131 1 240211 U206 1 0 a__U221 1 1 U101 3 1 212577 2 106288 3 106290 0 a__U43 3 1 1 2 1 3 1 0 a__U334 2 1 2 1 pair 2 1 49218 2 80427 0 U255 2 1 106303 0 a__U326 4 1 212579 2 212586 3 212582 4 212579 0 a__U261 2 2 50964 0 fst 1 1 240211 U111 2 1 0 2 106290 0 U43 3 1 106306 3 106305 0 a__U121 2 1 6 2 0 0 a__U262 1 0 a__U246 1 1 a__U44 3 1 1 3 1 0 a__U204 3 1 1 2 1 3 1 0 U103 3 3 106286 0 a__U111 2 1 0 2 106290 0 natsFrom 1 1 318878 U281 2 2 318878 0 a__U103 3 1 1 3 1 0 a__U301 3 1 0 U44 3 3 106304 0 U55 2 1 1 0 a__U46 1 1 a__snd 1 1 25853 a__U252 3 2 212599 0 U253 3 2 212598 0 U312 2 1 80428 2 80429 0 a__U181 2 2 1 0 a__U193 1 0 a__U271 2 2 82176 0 a__U51 3 1 1 2 1 3 1 0 U341 3 2 320649 3 320650 0 a__U254 3 2 212597 0 U292 3 2 531474 3 531476 0 U342 3 1 0 2 320648 3 320647 0 a__U172 1 0 U63 1 238464 a__U56 1 1 a__U344 3 1 1 2 1 3 1 0 a__U22 3 1 21445 2 0 3 0 0 U172 1 0 U93 1 106304 splitAt 2 1 80432 2 80431 0 isNaturalKind 1 106291 U326 4 2 80432 3 155518 4 80431 0 a__U323 4 1 212578 2 212586 3 212585 4 212579 0 a__U106 1 1 U72 2 1 106294 2 8836 0 a__U11 3 1 2 3 1 a__U291 3 2 531474 3 531477 0 U241 3 1 136289 2 136288 3 136286 0 U34 2 2 3441 0 a__U192 2 0 a__U31 3 1 212594 2 318887 3 106298 0 a__U51 3 1 106310 2 106300 3 106301 0 a__U253 3 2 212598 0 a__U81 2 2 25852 0 a__U53 3 1 1 3 1 0 a__U205 2 2 1 0 a__take 2 1 2 1 a__U172 1 1 U12 3 1 106288 2 106288 3 106290 0 a__U43 3 1 106306 3 106305 0 U271 2 2 82176 0 a__U232 1 1 a__isLNatKind 1 1 a__U62 2 1 1 0 a__U321 4 2 80432 3 186730 4 80431 0 a__U206 1 0 isNatural 1 1 106293 U302 2 2 13846 0 U54 3 1 106294 2 106294 0 a__U42 3 3 1 0 a__U183 1 1 a__U41 3 3 212582 0 U232 1 0 a__U262 1 1 a__U122 1 1 a__U12 3 0 U205 2 0 a__U205 2 0 U201 3 1 106292 2 212588 3 212587 0 U104 3 3 40877 0 a__U122 1 1 a__U14 3 2 106286 3 106288 0 a__U81 2 1 1 2 1 0 a__U21 3 1 1 a__U161 1 1 0 a__U61 2 1 1 2 1 0 a__U333 2 2 1 a__U34 2 2 3441 0 U252 3 2 212599 0 a__U261 2 2 1 0 U141 1 1 24213 a__fst 1 1 240211 tail 1 1 212598 a__natsFrom 1 1 318878 a__U302 2 1 U83 1 1 a__U294 3 1 2 3 1 mark 1 1 a__U204 3 3 21838 0 0 0 675 a__U211 1 1 U294 3 1 531475 2 425170 3 318880 0 a__U244 3 1 1 2 1 3 1 0 a__isLNat 1 1 106302 U191 2 1 1 0 U343 3 2 320645 3 320646 0 a__U251 3 1 212601 2 212600 3 212602 0 U73 1 8837 a__U21 3 1 49217 2 49219 3 49217 0 U332 2 1 106305 2 106304 0 a__U311 2 2 80430 0 U171 2 0 a__U32 3 1 106303 2 106297 3 106298 0 a__U91 2 1 17020 2 106305 0 a__U231 2 1 2 0 sel 2 1 2 531478 U202 3 1 106295 2 106293 3 106296 0 afterNth 2 1 212581 2 106291 0 a__U151 1 1 a__U111 2 1 1 2 1 0 a__U161 1 1 a__U242 3 1 136287 2 136282 3 136285 0 a__U141 1 1 nil 0 31211 a__splitAt 2 1 80432 2 80431 0 isLNat 1 1 106302 U246 1 0 a__U245 2 2 1 0 U62 2 1 238465 2 238463 0 a__U52 3 1 1 2 1 3 1 0 a__U211 1 0 a__U102 3 1 1 2 1 3 1 0 U304 2 2 1 0 U45 2 2 106303 0 a__sel 2 1 2 0 U151 1 0 a__isLNat 1 1 a__U56 1 1 a__U342 3 1 2 0 a__U72 2 1 106294 2 8836 0 U334 2 1 1 2 2 0 a__U101 3 1 0 2 0 3 0 0 a__U11 3 2 212580 3 106291 0 U32 3 1 106303 2 106297 3 106298 0 a__U53 3 1 106298 2 106296 3 106295 0 a__U141 1 1 24213 a__U322 4 2 80432 3 155522 4 80431 0 a__sel 2 1 2 531478 a__U42 3 3 106307 0 a__U93 1 106304 U33 3 2 47711 3 106298 0 a__U52 3 2 106297 3 106299 0 a__U181 2 1 106305 2 106304 0 U14 3 2 106286 3 106288 0 U211 1 0 a__U243 3 1 1 2 1 0 a__U54 3 2 1 3 1 0 U203 3 3 106294 0 a__U105 2 1 1 2 1 0 a__U202 3 2 1 0 a__U12 3 1 106288 2 106288 3 106290 0 U327 2 1 0 2 155517 0 a__U104 3 1 1 2 1 3 1 0 a__U201 3 1 1 3 1 0 a__U63 1 1 a__isPLNat 1 1 238462 a__U327 2 1 0 2 155517 0 U46 1 1 0 a__U332 2 1 2 1 a__U326 4 2 80432 3 155518 4 80431 0 U251 3 1 212601 2 212600 3 212602 0 a__U322 4 1 212587 2 212586 3 318872 4 212579 0 a__U121 2 1 1 2 1 0 U52 3 2 106297 3 106299 0 a__U254 3 1 1 2 1 3 1 0 a__U324 4 2 212586 3 212584 4 212579 0 a__U281 2 1 2 1 a__U251 3 2 1 0 U61 2 2 240210 0 a__U46 1 1 0 a__U22 3 3 1 a__U13 3 2 106287 3 106289 0 a__U304 2 2 1 0 U31 3 1 212594 2 318887 3 106298 0 a__U83 1 1 a__U171 2 1 2 1 a__U71 2 1 212586 2 212587 0 U183 1 11681 U245 2 1 29977 0 U92 2 1 106304 2 106303 0 a__isPLNat 1 1 a__U203 3 2 1 0 head 1 1 212589 a__afterNth 2 1 2 1 U112 1 0 a__U343 3 1 a__splitAt 2 1 212586 2 212579 0 a__isPLNatKind 1 1 a__U192 2 1 1 0 a__U255 2 1 106303 0 cons 2 1 106299 2 0 0 a__U344 3 1 320641 2 320644 3 320642 0 a__U92 2 1 106304 2 106303 0 U323 4 1 0 2 80432 3 155521 4 80431 0 a__U61 2 2 240210 0 U102 3 1 106285 2 106287 3 106289 0 a__U105 2 2 28834 0 a__U334 2 1 1 2 2 0 snd 1 1 25853 a__take 2 1 2 320651 U256 1 0 a__U301 3 3 106280 0 U81 2 2 25852 0 a__U41 3 1 1 2 1 0 U82 2 2 25851 0 a__U304 2 1 2 1 tt 0 0 a__isNatural 1 1 106293 a__isNaturalKind 1 106291 a__U131 1 240211 a__isNatural 1 1 U13 3 2 106287 3 106289 0 a__U311 2 1 2 1 a__U201 3 1 106292 2 212588 3 212587 0 a__U271 2 1 1 2 1 0 a__U202 3 1 106295 2 106293 3 106296 0 U321 4 2 80432 3 186730 4 80431 0 a__U282 2 1 106300 2 318878 0 a__U241 3 1 1 2 1 3 1 0 a__U183 1 11681 a__U333 2 1 1 2 19699 0 U22 3 1 21445 2 0 3 0 0 a__U293 3 1 2 3 1 U51 3 1 106310 2 106300 3 106301 0 U311 2 2 80430 0 a__U325 4 1 1 2 212586 3 212583 4 212579 0 a__U34 2 1 2 1 U322 4 2 80432 3 155522 4 80431 0 U344 3 1 320641 2 320644 3 320642 0 a__U342 3 1 0 2 320648 3 320647 0 a__tail 1 1 212598 a__U103 3 3 106286 0 a__U54 3 1 106294 2 106294 0 a__isPLNatKind 1 1 1745 U53 3 1 106298 2 106296 3 106295 0 a__U303 2 2 1 0 a__U323 4 1 0 2 80432 3 155521 4 80431 0 a__U55 2 1 1 0 a__U112 1 0 a__U331 3 2 1 U41 3 3 212582 0 a__tail 1 1 a__U203 3 3 106294 0 a__U32 3 1 2 3 1 a__U101 3 1 212577 2 106288 3 106290 0 a__U91 2 1 1 0 a__U341 3 2 320649 3 320650 0 U282 2 1 106300 2 318878 0 a__U256 1 0 U121 2 1 6 2 0 0 a__head 1 1 212589 U181 2 1 106305 2 106304 0 U324 4 2 80432 3 155520 4 80431 0 U331 3 2 106305 3 212597 0 U122 1 1 a__U312 2 1 80428 2 80429 0 a__U327 2 1 a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS a__U324 tt N X XS a__U325 a__isLNat XS N X XS a__U322 tt N X XS a__U323 a__isNatural X N X XS mark U332 X1 X2 a__U332 mark X1 X2 a__U52 X1 X2 X3 U52 X1 X2 X3 mark U201 X1 X2 X3 a__U201 mark X1 X2 X3 a__U205 X1 X2 U205 X1 X2 a__U161 tt tt a__U254 tt V1 V2 a__U255 a__isNatural V1 V2 a__U332 tt XS a__U333 a__isLNat XS XS a__snd X snd X a__U72 tt V1 a__U73 a__isNatural V1 a__splitAt X1 X2 splitAt X1 X2 a__U302 X1 X2 U302 X1 X2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__U104 tt V1 V2 a__U105 a__isNatural V1 V2 mark head X a__head mark X mark U56 X a__U56 mark X a__U71 tt V1 a__U72 a__isNaturalKind V1 V1 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__U63 tt tt mark U93 X a__U93 mark X a__snd pair X Y a__U301 a__isLNat X X Y a__fst X fst X a__U14 tt N XS a__snd a__splitAt mark N mark XS mark U301 X1 X2 X3 a__U301 mark X1 X2 X3 mark U192 X1 X2 a__U192 mark X1 X2 mark sel X1 X2 a__sel mark X1 mark X2 a__U82 X1 X2 U82 X1 X2 a__isLNat tail V1 a__U91 a__isLNatKind V1 V1 a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 mark U292 X1 X2 X3 a__U292 mark X1 X2 X3 mark U131 X a__U131 mark X mark isNaturalKind X a__isNaturalKind X mark U254 X1 X2 X3 a__U254 mark X1 X2 X3 a__U51 X1 X2 X3 U51 X1 X2 X3 a__U111 tt V2 a__U112 a__isLNatKind V2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U253 X1 X2 X3 a__U253 mark X1 X2 X3 mark U326 X1 X2 X3 X4 a__U326 mark X1 X2 X3 X4 mark fst X a__fst mark X a__U252 X1 X2 X3 U252 X1 X2 X3 mark U232 X a__U232 mark X a__U262 tt tt a__U161 X U161 X a__isLNatKind afterNth V1 V2 a__U111 a__isNaturalKind V1 V2 a__U331 X1 X2 X3 U331 X1 X2 X3 a__isPLNat splitAt V1 V2 a__U251 a__isNaturalKind V1 V1 V2 a__U92 X1 X2 U92 X1 X2 a__U101 tt V1 V2 a__U102 a__isNaturalKind V1 V1 V2 a__U327 pair YS ZS X pair cons mark X YS mark ZS mark U341 X1 X2 X3 a__U341 mark X1 X2 X3 a__U245 X1 X2 U245 X1 X2 a__U272 X U272 X mark isLNat X a__isLNat X a__U103 tt V1 V2 a__U104 a__isLNatKind V2 V1 V2 a__U141 tt tt a__U181 tt V1 a__U182 a__isLNatKind V1 V1 a__U221 tt tt a__isNatural 0 tt mark U322 X1 X2 X3 X4 a__U322 mark X1 X2 X3 X4 a__U311 tt XS a__U312 a__isLNatKind XS XS mark U282 X1 X2 a__U282 mark X1 X2 a__U23 X1 X2 X3 U23 X1 X2 X3 a__isLNat take V1 V2 a__U101 a__isNaturalKind V1 V1 V2 mark U193 X a__U193 mark X mark U34 X1 X2 a__U34 mark X1 X2 a__U171 X1 X2 U171 X1 X2 a__U44 X1 X2 X3 U44 X1 X2 X3 a__U342 tt N XS a__U343 a__isLNat XS N XS a__U61 tt V1 a__U62 a__isPLNatKind V1 V1 a__U91 X1 X2 U91 X1 X2 a__U193 tt tt a__U73 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U344 X1 X2 X3 U344 X1 X2 X3 a__isNaturalKind 0 tt a__U301 tt X Y a__U302 a__isLNatKind X Y mark pair X1 X2 pair mark X1 mark X2 a__U172 X U172 X mark U181 X1 X2 a__U181 mark X1 X2 mark U205 X1 X2 a__U205 mark X1 X2 a__U31 X1 X2 X3 U31 X1 X2 X3 a__U121 X1 X2 U121 X1 X2 mark U221 X a__U221 mark X mark U272 X a__U272 mark X mark U61 X1 X2 a__U61 mark X1 X2 mark U92 X1 X2 a__U92 mark X1 X2 a__isLNatKind cons V1 V2 a__U121 a__isNaturalKind V1 V2 a__U21 X1 X2 X3 U21 X1 X2 X3 a__natsFrom N a__U281 a__isNatural N N a__U231 X1 X2 U231 X1 X2 a__U62 X1 X2 U62 X1 X2 a__U171 tt V2 a__U172 a__isLNatKind V2 a__U206 tt tt mark U311 X1 X2 a__U311 mark X1 X2 a__U151 tt tt mark U151 X a__U151 mark X mark U312 X1 X2 a__U312 mark X1 X2 a__U61 X1 X2 U61 X1 X2 a__U293 X1 X2 X3 U293 X1 X2 X3 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U193 X U193 X mark U244 X1 X2 X3 a__U244 mark X1 X2 X3 mark U71 X1 X2 a__U71 mark X1 X2 mark U83 X a__U83 mark X a__U112 X U112 X a__isLNat cons V1 V2 a__U51 a__isNaturalKind V1 V1 V2 mark U261 X1 X2 a__U261 mark X1 X2 a__U241 X1 X2 X3 U241 X1 X2 X3 a__U292 tt N XS a__U293 a__isLNat XS N XS mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 a__U301 X1 X2 X3 U301 X1 X2 X3 mark U206 X a__U206 mark X mark U343 X1 X2 X3 a__U343 mark X1 X2 X3 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U43 X1 X2 X3 U43 X1 X2 X3 a__tail X tail X a__U93 X U93 X a__isPLNatKind splitAt V1 V2 a__U271 a__isNaturalKind V1 V2 a__sel N XS a__U291 a__isNatural N N XS a__isNaturalKind s V1 a__U221 a__isNaturalKind V1 mark U63 X a__U63 mark X a__U55 X1 X2 U55 X1 X2 a__U201 tt V1 V2 a__U202 a__isNaturalKind V1 V1 V2 mark U342 X1 X2 X3 a__U342 mark X1 X2 X3 mark isNatural X a__isNatural X mark U231 X1 X2 a__U231 mark X1 X2 a__isNatural X isNatural X a__U251 X1 X2 X3 U251 X1 X2 X3 mark U281 X1 X2 a__U281 mark X1 X2 a__U206 X U206 X a__isPLNat X isPLNat X a__U344 tt N XS a__fst a__splitAt mark N mark XS a__U341 tt N XS a__U342 a__isNaturalKind N N XS mark U202 X1 X2 X3 a__U202 mark X1 X2 X3 mark U141 X a__U141 mark X a__U211 tt tt mark take X1 X2 a__take mark X1 mark X2 a__U323 X1 X2 X3 X4 U323 X1 X2 X3 X4 mark U334 X1 X2 a__U334 mark X1 X2 mark U45 X1 X2 a__U45 mark X1 X2 a__U243 X1 X2 X3 U243 X1 X2 X3 mark snd X a__snd mark X mark 0 0 a__isLNatKind natsFrom V1 a__U141 a__isNaturalKind V1 a__U311 X1 X2 U311 X1 X2 a__U204 X1 X2 X3 U204 X1 X2 X3 a__U182 tt V1 a__U183 a__isLNat V1 mark U291 X1 X2 X3 a__U291 mark X1 X2 X3 mark U302 X1 X2 a__U302 mark X1 X2 a__isLNatKind X isLNatKind X a__U122 X U122 X a__U303 X1 X2 U303 X1 X2 a__U202 tt V1 V2 a__U203 a__isLNatKind V2 V1 V2 a__tail cons N XS a__U331 a__isNatural N N XS a__U303 tt Y a__U304 a__isLNatKind Y Y mark nil nil a__U24 X1 X2 U24 X1 X2 a__U41 X1 X2 X3 U41 X1 X2 X3 a__U244 tt V1 V2 a__U245 a__isLNat V1 V2 a__U105 tt V2 a__U106 a__isLNat V2 a__isLNat snd V1 a__U81 a__isPLNatKind V1 V1 mark U203 X1 X2 X3 a__U203 mark X1 X2 X3 a__U324 X1 X2 X3 X4 U324 X1 X2 X3 X4 mark U111 X1 X2 a__U111 mark X1 X2 a__U322 tt N X XS a__U323 a__isNatural X N X XS mark isPLNatKind X a__isPLNatKind X a__U21 tt X Y a__U22 a__isLNatKind X X Y a__U302 tt Y a__U303 a__isLNat Y Y a__U63 X U63 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U46 tt tt a__isLNat natsFrom V1 a__U71 a__isNaturalKind V1 V1 mark U172 X a__U172 mark X a__U255 X1 X2 U255 X1 X2 mark tt tt mark U324 X1 X2 X3 X4 a__U324 mark X1 X2 X3 X4 a__U45 tt V2 a__U46 a__isLNat V2 a__U182 X1 X2 U182 X1 X2 a__U12 tt N XS a__U13 a__isLNat XS N XS mark U304 X1 X2 a__U304 mark X1 X2 a__U33 X1 X2 X3 U33 X1 X2 X3 a__isNaturalKind head V1 a__U211 a__isLNatKind V1 mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 a__U232 tt tt mark U256 X a__U256 mark X a__U53 X1 X2 X3 U53 X1 X2 X3 a__U11 tt N XS a__U12 a__isNaturalKind N N XS a__U41 tt V1 V2 a__U42 a__isNaturalKind V1 V1 V2 a__U73 X U73 X mark U171 X1 X2 a__U171 mark X1 X2 a__U326 X1 X2 X3 X4 U326 X1 X2 X3 X4 a__isLNatKind fst V1 a__U131 a__isPLNatKind V1 mark U191 X1 X2 a__U191 mark X1 X2 a__U242 X1 X2 X3 U242 X1 X2 X3 a__U294 X1 X2 X3 U294 X1 X2 X3 a__U172 tt tt a__U202 X1 X2 X3 U202 X1 X2 X3 a__U111 X1 X2 U111 X1 X2 a__afterNth X1 X2 afterNth X1 X2 a__isLNatKind tail V1 a__U161 a__isLNatKind V1 a__U72 X1 X2 U72 X1 X2 a__U83 tt tt mark U122 X a__U122 mark X a__U32 X1 X2 X3 U32 X1 X2 X3 a__U343 X1 X2 X3 U343 X1 X2 X3 a__isLNatKind take V1 V2 a__U171 a__isNaturalKind V1 V2 a__U183 X U183 X a__U332 X1 X2 U332 X1 X2 a__U192 tt V1 a__U193 a__isNatural V1 a__U253 tt V1 V2 a__U254 a__isLNatKind V2 V1 V2 a__U256 tt tt a__U34 X1 X2 U34 X1 X2 mark U245 X1 X2 a__U245 mark X1 X2 a__U246 X U246 X mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__U204 tt V1 V2 a__U205 a__isNatural V1 V2 a__U294 tt N XS a__head a__afterNth mark N mark XS mark U204 X1 X2 X3 a__U204 mark X1 X2 X3 a__isNaturalKind X isNaturalKind X a__U81 tt V1 a__U82 a__isPLNatKind V1 V1 mark U255 X1 X2 a__U255 mark X1 X2 a__U131 tt tt a__U93 tt tt mark U73 X a__U73 mark X mark cons X1 X2 cons mark X1 X2 a__U334 tt XS mark XS a__isNatural s V1 a__U191 a__isNaturalKind V1 V1 a__U42 tt V1 V2 a__U43 a__isLNatKind V2 V1 V2 a__isLNat X isLNat X a__U272 tt tt a__U331 tt N XS a__U332 a__isNaturalKind N XS mark U293 X1 X2 X3 a__U293 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U262 X U262 X a__U205 tt V2 a__U206 a__isLNat V2 a__U122 tt tt a__U62 tt V1 a__U63 a__isPLNat V1 mark U262 X a__U262 mark X a__U312 tt XS pair nil mark XS mark U246 X a__U246 mark X a__U325 X1 X2 X3 X4 U325 X1 X2 X3 X4 a__natsFrom X natsFrom X mark U252 X1 X2 X3 a__U252 mark X1 X2 X3 a__U53 tt V1 V2 a__U54 a__isLNatKind V2 V1 V2 a__U105 X1 X2 U105 X1 X2 a__U71 X1 X2 U71 X1 X2 a__U245 tt V2 a__U246 a__isLNat V2 a__U33 tt N XS a__U34 a__isLNatKind XS N a__isLNat fst V1 a__U61 a__isPLNatKind V1 V1 a__U141 X U141 X a__U333 tt XS a__U334 a__isLNatKind XS XS a__isLNatKind snd V1 a__U151 a__isPLNatKind V1 mark U327 X1 X2 a__U327 mark X1 X2 a__U304 X1 X2 U304 X1 X2 a__U183 tt tt a__U103 X1 X2 X3 U103 X1 X2 X3 mark tail X a__tail mark X a__U32 tt N XS a__U33 a__isLNat XS N XS a__isNatural sel V1 V2 a__U201 a__isNaturalKind V1 V1 V2 a__U254 X1 X2 X3 U254 X1 X2 X3 a__U81 X1 X2 U81 X1 X2 a__U191 tt V1 a__U192 a__isNaturalKind V1 V1 a__head X head X a__U51 tt V1 V2 a__U52 a__isNaturalKind V1 V1 V2 a__U91 tt V1 a__U92 a__isLNatKind V1 V1 mark U211 X a__U211 mark X mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 a__isPLNatKind X isPLNatKind X a__sel X1 X2 sel X1 X2 a__U326 tt N X XS a__U327 a__splitAt mark N mark XS X mark U242 X1 X2 X3 a__U242 mark X1 X2 X3 mark U344 X1 X2 X3 a__U344 mark X1 X2 X3 a__U281 tt N a__U282 a__isNaturalKind N N mark U105 X1 X2 a__U105 mark X1 X2 mark U55 X1 X2 a__U55 mark X1 X2 a__U312 X1 X2 U312 X1 X2 a__U14 X1 X2 X3 U14 X1 X2 X3 a__U55 tt V2 a__U56 a__isLNat V2 mark natsFrom X a__natsFrom mark X a__U121 tt V2 a__U122 a__isLNatKind V2 mark U251 X1 X2 X3 a__U251 mark X1 X2 X3 a__U112 tt tt a__U13 tt N XS a__U14 a__isLNatKind XS N XS mark afterNth X1 X2 a__afterNth mark X1 mark X2 a__U281 X1 X2 U281 X1 X2 a__U255 tt V2 a__U256 a__isLNat V2 a__U82 tt V1 a__U83 a__isPLNat V1 a__U192 X1 X2 U192 X1 X2 a__U291 X1 X2 X3 U291 X1 X2 X3 a__U342 X1 X2 X3 U342 X1 X2 X3 a__splitAt 0 XS a__U311 a__isLNat XS XS a__U56 X U56 X mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 a__U203 X1 X2 X3 U203 X1 X2 X3 a__U151 X U151 X a__U43 tt V1 V2 a__U44 a__isLNatKind V2 V1 V2 a__U211 X U211 X a__U244 X1 X2 X3 U244 X1 X2 X3 mark U82 X1 X2 a__U82 mark X1 X2 a__U54 X1 X2 X3 U54 X1 X2 X3 a__U24 tt X mark X mark U271 X1 X2 a__U271 mark X1 X2 a__U31 tt N XS a__U32 a__isNaturalKind N N XS a__U271 tt V2 a__U272 a__isLNatKind V2 a__isNatural head V1 a__U181 a__isLNatKind V1 V1 a__U92 tt V1 a__U93 a__isLNat V1 mark U24 X1 X2 a__U24 mark X1 X2 a__U256 X U256 X a__U282 X1 X2 U282 X1 X2 a__U291 tt N XS a__U292 a__isNaturalKind N N XS mark U121 X1 X2 a__U121 mark X1 X2 a__U22 X1 X2 X3 U22 X1 X2 X3 mark U241 X1 X2 X3 a__U241 mark X1 X2 X3 mark U303 X1 X2 a__U303 mark X1 X2 a__U201 X1 X2 X3 U201 X1 X2 X3 a__U83 X U83 X a__U106 tt tt mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U181 X1 X2 U181 X1 X2 a__U45 X1 X2 U45 X1 X2 a__isLNat afterNth V1 V2 a__U41 a__isNaturalKind V1 V1 V2 a__U131 X U131 X mark isLNatKind X a__isLNatKind X mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__U271 X1 X2 U271 X1 X2 a__U292 X1 X2 X3 U292 X1 X2 X3 a__U46 X U46 X a__take X1 X2 take X1 X2 a__U231 tt V2 a__U232 a__isLNatKind V2 a__U293 tt N XS a__U294 a__isLNatKind XS N XS mark U106 X a__U106 mark X a__fst pair X Y a__U21 a__isLNat X X Y a__isNaturalKind sel V1 V2 a__U231 a__isNaturalKind V1 V2 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 a__U341 X1 X2 X3 U341 X1 X2 X3 mark s X s mark X a__U282 tt N cons mark N natsFrom s N mark splitAt X1 X2 a__splitAt mark X1 mark X2 a__U324 tt N X XS a__U325 a__isLNat XS N X XS a__afterNth N XS a__U11 a__isNatural N N XS mark U183 X a__U183 mark X mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS a__isLNatKind nil tt mark U81 X1 X2 a__U81 mark X1 X2 a__U252 tt V1 V2 a__U253 a__isLNatKind V2 V1 V2 a__U321 X1 X2 X3 X4 U321 X1 X2 X3 X4 a__isPLNat pair V1 V2 a__U241 a__isLNatKind V1 V1 V2 a__splitAt s N cons X XS a__U321 a__isNatural N N X XS a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS mark U325 X1 X2 X3 X4 a__U325 mark X1 X2 X3 X4 mark U161 X a__U161 mark X a__U12 X1 X2 X3 U12 X1 X2 X3 mark U62 X1 X2 a__U62 mark X1 X2 a__U261 tt V2 a__U262 a__isLNatKind V2 mark U333 X1 X2 a__U333 mark X1 X2 a__U333 X1 X2 U333 X1 X2 a__U42 X1 X2 X3 U42 X1 X2 X3 mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 mark U294 X1 X2 X3 a__U294 mark X1 X2 X3 a__U191 X1 X2 U191 X1 X2 a__U251 tt V1 V2 a__U252 a__isNaturalKind V1 V1 V2 a__U323 tt N X XS a__U324 a__isNaturalKind X N X XS a__U334 X1 X2 U334 X1 X2 a__U44 tt V1 V2 a__U45 a__isNatural V1 V2 a__U101 X1 X2 X3 U101 X1 X2 X3 a__U54 tt V1 V2 a__U55 a__isNatural V1 V2 mark U112 X a__U112 mark X mark U321 X1 X2 X3 X4 a__U321 mark X1 X2 X3 X4 a__U56 tt tt a__head cons N XS a__U31 a__isNatural N N XS a__U23 tt X Y a__U24 a__isLNatKind Y X a__U327 X1 X2 U327 X1 X2 mark U46 X a__U46 mark X mark U72 X1 X2 a__U72 mark X1 X2 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 a__U232 X U232 X a__U241 tt V1 V2 a__U242 a__isLNatKind V1 V1 V2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U52 tt V1 V2 a__U53 a__isLNatKind V2 V1 V2 a__take N XS a__U341 a__isNatural N N XS mark U243 X1 X2 X3 a__U243 mark X1 X2 X3 mark U323 X1 X2 X3 X4 a__U323 mark X1 X2 X3 X4 a__isLNat nil tt a__U106 X U106 X a__U242 tt V1 V2 a__U243 a__isLNatKind V2 V1 V2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 a__U104 X1 X2 X3 U104 X1 X2 X3 a__U221 X U221 X mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U246 tt tt mark U182 X1 X2 a__U182 mark X1 X2 a__U304 tt Y mark Y a__U34 tt N mark N a__U322 X1 X2 X3 X4 U322 X1 X2 X3 X4 a__U261 X1 X2 U261 X1 X2 a__U22 tt X Y a__U23 a__isLNat Y X Y mark isPLNat X a__isPLNat X a__U253 X1 X2 X3 U253 X1 X2 X3 mark U331 X1 X2 X3 a__U331 mark X1 X2 X3 a__U203 tt V1 V2 a__U204 a__isLNatKind V2 V1 V2 a__U243 tt V1 V2 a__U244 a__isLNatKind V2 V1 V2 a__U343 tt N XS a__U344 a__isLNatKind XS N XS a__U102 tt V1 V2 a__U103 a__isLNatKind V2 V1 V2 a__U324 tt N X XS a__U325 a__isLNat XS N X XS false a__U325 tt N X XS a__U326 a__isLNatKind XS N X XS false a__U321 tt N X XS a__U322 a__isNaturalKind N N X XS false a__U322 tt N X XS a__U323 a__isNatural X N X XS false a__U343 tt N XS a__U344 a__isLNatKind XS N XS false mark isPLNat X a__isPLNat X false mark U182 X1 X2 a__U182 mark X1 X2 false mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 false mark U243 X1 X2 X3 a__U243 mark X1 X2 X3 false mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 false mark U72 X1 X2 a__U72 mark X1 X2 false mark U46 X a__U46 mark X false mark U112 X a__U112 mark X false mark U62 X1 X2 a__U62 mark X1 X2 false mark U161 X a__U161 mark X false mark U81 X1 X2 a__U81 mark X1 X2 false mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 false mark U183 X a__U183 mark X false a__U321 tt N X XS a__isNaturalKind N false a__splitAt s N cons X XS a__isNatural N false a__splitAt 0 XS a__isLNat XS false mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 false mark U106 X a__U106 mark X false mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 false mark isLNatKind X a__isLNatKind X false mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 false mark U241 X1 X2 X3 a__U241 mark X1 X2 X3 false mark U121 X1 X2 a__U121 mark X1 X2 false mark U271 X1 X2 a__U271 mark X1 X2 false mark U82 X1 X2 a__U82 mark X1 X2 false mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 false a__afterNth N XS a__isNatural N false mark U251 X1 X2 X3 a__U251 mark X1 X2 X3 false a__natsFrom N a__isNatural N false mark U55 X1 X2 a__U55 mark X1 X2 false mark U105 X1 X2 a__U105 mark X1 X2 false mark U242 X1 X2 X3 a__U242 mark X1 X2 X3 false mark U211 X a__U211 mark X false a__U331 tt N XS a__isNaturalKind N false a__tail cons N XS a__isNatural N false mark U252 X1 X2 X3 a__U252 mark X1 X2 X3 false mark U246 X a__U246 mark X false mark U262 X a__U262 mark X false mark U91 X1 X2 a__U91 mark X1 X2 false mark U73 X a__U73 mark X false mark U255 X1 X2 a__U255 mark X1 X2 false mark U204 X1 X2 X3 a__U204 mark X1 X2 X3 false mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 false mark U245 X1 X2 a__U245 mark X1 X2 false mark U122 X a__U122 mark X false mark U191 X1 X2 a__U191 mark X1 X2 false mark U171 X1 X2 a__U171 mark X1 X2 false mark U256 X a__U256 mark X false mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 false mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 false mark U172 X a__U172 mark X false mark isPLNatKind X a__isPLNatKind X false mark U111 X1 X2 a__U111 mark X1 X2 false mark U203 X1 X2 X3 a__U203 mark X1 X2 X3 false a__snd pair X Y a__isLNat X false mark U45 X1 X2 a__U45 mark X1 X2 false a__take N XS a__isNatural N false mark U141 X a__U141 mark X false mark U202 X1 X2 X3 a__U202 mark X1 X2 X3 false a__U281 tt N a__isNaturalKind N false mark U231 X1 X2 a__U231 mark X1 X2 false mark isNatural X a__isNatural X false mark U63 X a__U63 mark X false mark U206 X a__U206 mark X false mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 false mark U261 X1 X2 a__U261 mark X1 X2 false mark U83 X a__U83 mark X false mark U71 X1 X2 a__U71 mark X1 X2 false mark U244 X1 X2 X3 a__U244 mark X1 X2 X3 false mark U151 X a__U151 mark X false a__U311 tt XS a__isLNatKind XS false mark U92 X1 X2 a__U92 mark X1 X2 false mark U61 X1 X2 a__U61 mark X1 X2 false mark U272 X a__U272 mark X false mark U221 X a__U221 mark X false mark U205 X1 X2 a__U205 mark X1 X2 false mark U181 X1 X2 a__U181 mark X1 X2 false mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 false mark U193 X a__U193 mark X false a__U325 tt N X XS a__isLNatKind XS false a__U324 tt N X XS a__isLNat XS false a__U323 tt N X XS a__isNaturalKind X false a__U322 tt N X XS a__isNatural X false mark isLNat X a__isLNat X false a__U343 tt N XS a__isLNatKind XS false a__U342 tt N XS a__isLNat XS false a__U341 tt N XS a__isNaturalKind N false mark U232 X a__U232 mark X false a__fst pair X Y a__isLNat X false mark U253 X1 X2 X3 a__U253 mark X1 X2 X3 false mark U254 X1 X2 X3 a__U254 mark X1 X2 X3 false mark isNaturalKind X a__isNaturalKind X false mark U131 X a__U131 mark X false a__U293 tt N XS a__isLNatKind XS false a__U292 tt N XS a__isLNat XS false a__U291 tt N XS a__isNaturalKind N false a__sel N XS a__isNatural N false mark U192 X1 X2 a__U192 mark X1 X2 false a__U303 tt Y a__isLNatKind Y false a__U302 tt Y a__isLNat Y false a__U301 tt X Y a__isLNatKind X false mark U93 X a__U93 mark X false mark U56 X a__U56 mark X false a__U33 tt N XS a__isLNatKind XS false a__U32 tt N XS a__isLNat XS false a__U31 tt N XS a__isNaturalKind N false a__U23 tt X Y a__isLNatKind Y false a__U22 tt X Y a__isLNat Y false a__U21 tt X Y a__isLNatKind X false mark U201 X1 X2 X3 a__U201 mark X1 X2 X3 false a__U333 tt XS a__isLNatKind XS false a__U332 tt XS a__isLNat XS false a__U13 tt N XS a__isLNatKind XS false a__U12 tt N XS a__isLNat XS false a__U11 tt N XS a__isNaturalKind N false a__head cons N XS a__isNatural N false a__U191 tt V1 a__U192 a__isNaturalKind V1 V1 a__U105 tt V2 a__isLNat V2 a__U44 tt V1 V2 a__U45 a__isNatural V1 V2 a__U244 tt V1 V2 a__U245 a__isLNat V1 V2 a__U51 tt V1 V2 a__U52 a__isNaturalKind V1 V1 V2 a__U103 tt V1 V2 a__U104 a__isLNatKind V2 V1 V2 a__U251 tt V1 V2 a__U252 a__isNaturalKind V1 V1 V2 a__U102 tt V1 V2 a__U103 a__isLNatKind V2 V1 V2 a__U204 tt V1 V2 a__isNatural V1 a__U55 tt V2 a__isLNat V2 a__isPLNat splitAt V1 V2 a__U251 a__isNaturalKind V1 V1 V2 a__U253 tt V1 V2 a__U254 a__isLNatKind V2 V1 V2 a__isNatural s V1 a__U191 a__isNaturalKind V1 V1 a__U101 tt V1 V2 a__U102 a__isNaturalKind V1 V1 V2 a__U92 tt V1 a__isLNat V1 a__U241 tt V1 V2 a__U242 a__isLNatKind V1 V1 V2 a__isLNat take V1 V2 a__U101 a__isNaturalKind V1 V1 V2 a__U82 tt V1 a__isPLNat V1 a__U43 tt V1 V2 a__U44 a__isLNatKind V2 V1 V2 a__isLNat tail V1 a__U91 a__isLNatKind V1 V1 a__U62 tt V1 a__isPLNat V1 a__U72 tt V1 a__isNatural V1 a__U204 tt V1 V2 a__U205 a__isNatural V1 V2 a__U242 tt V1 V2 a__U243 a__isLNatKind V2 V1 V2 a__isLNat snd V1 a__U81 a__isPLNatKind V1 V1 a__U45 tt V2 a__isLNat V2 a__isNatural sel V1 V2 a__U201 a__isNaturalKind V1 V1 V2 a__U243 tt V1 V2 a__U244 a__isLNatKind V2 V1 V2 a__U181 tt V1 a__U182 a__isLNatKind V1 V1 a__U81 tt V1 a__U82 a__isPLNatKind V1 V1 a__U203 tt V1 V2 a__U204 a__isLNatKind V2 V1 V2 a__isNatural head V1 a__U181 a__isLNatKind V1 V1 a__U182 tt V1 a__isLNat V1 a__U71 tt V1 a__U72 a__isNaturalKind V1 V1 a__U54 tt V1 V2 a__isNatural V1 a__U192 tt V1 a__isNatural V1 a__U52 tt V1 V2 a__U53 a__isLNatKind V2 V1 V2 a__U254 tt V1 V2 a__U255 a__isNatural V1 V2 a__isLNat cons V1 V2 a__U51 a__isNaturalKind V1 V1 V2 a__U245 tt V2 a__isLNat V2 a__U244 tt V1 V2 a__isLNat V1 a__isLNat natsFrom V1 a__U71 a__isNaturalKind V1 V1 a__U252 tt V1 V2 a__U253 a__isLNatKind V2 V1 V2 a__U205 tt V2 a__isLNat V2 a__U104 tt V1 V2 a__U105 a__isNatural V1 V2 a__U53 tt V1 V2 a__U54 a__isLNatKind V2 V1 V2 a__U201 tt V1 V2 a__U202 a__isNaturalKind V1 V1 V2 a__U44 tt V1 V2 a__isNatural V1 a__U255 tt V2 a__isLNat V2 a__isLNat afterNth V1 V2 a__U41 a__isNaturalKind V1 V1 V2 a__U42 tt V1 V2 a__U43 a__isLNatKind V2 V1 V2 a__isLNat fst V1 a__U61 a__isPLNatKind V1 V1 a__U202 tt V1 V2 a__U203 a__isLNatKind V2 V1 V2 a__U91 tt V1 a__U92 a__isLNatKind V1 V1 a__isPLNat pair V1 V2 a__U241 a__isLNatKind V1 V1 V2 a__U254 tt V1 V2 a__isNatural V1 a__U54 tt V1 V2 a__U55 a__isNatural V1 V2 a__U61 tt V1 a__U62 a__isPLNatKind V1 V1 a__U104 tt V1 V2 a__isNatural V1 a__U41 tt V1 V2 a__U42 a__isNaturalKind V1 V1 V2 true U291 3 14 a__U193 1 0 a__U83 1 14 U231 2 0 U301 3 0 a__U293 3 1 2 4 a__U241 3 6 U204 3 1 0 a__U324 4 1 35 a__U302 2 12 a__isNaturalKind 1 0 a__U325 4 3 4 54 a__U151 1 15 a__U292 3 3 14 a__U73 1 0 a__U131 1 0 a__U63 1 14 U21 3 1 0 U261 2 0 a__U102 3 1 2 23 U254 3 1 2 0 U333 2 1 2 a__U82 2 2 1 a__U332 2 0 a__U45 2 16 U193 1 1 1 a__U72 2 2 13 a__U242 3 2 3 17 a__U246 1 1 11 U161 1 5 a__U321 4 1 a__U71 2 2 14 a__U232 1 27 U182 2 1 2 16 a__U291 3 2 U11 3 1 7 a__U171 2 16 a__U92 2 2 14 a__U104 3 2 3 52 a__U294 3 3 23 a__U182 2 15 a__U191 2 10 a__U281 2 4 U243 3 0 a__U245 2 21 a__U112 1 0 s 1 1 8 U105 2 0 U303 2 12573 a__U292 3 2 a__U24 2 2 1 a__U341 3 2 a__U31 3 2 a__U243 3 1 3 1 a__U33 3 0 a__U93 1 0 a__head 1 2 U192 2 8 a__U253 3 2 3 16 U24 2 5128 a__U33 3 3 51 U106 1 44 a__U24 2 2 a__natsFrom 1 2 isPLNatKind 1 0 a__U252 3 2 3 17 a__U256 1 0 a__U244 3 20 a__U343 3 1 2 3 9 U242 3 0 a__U303 2 2 U262 1 0 U244 3 1 2 0 U272 1 0 U56 1 1 18 a__U191 2 2 14 a__U272 1 0 a__U23 3 2 a__U55 2 2 16 isPLNat 1 0 a__snd 1 0 a__U331 3 1 3 3324 a__U312 2 2 a__afterNth 2 1 2 5 U42 3 0 U91 2 1 0 U221 1 1 14 U293 3 2 3 0 a__U73 1 1 41 a__U106 1 0 U325 4 1 0 a__U82 2 2 13 a__U182 2 2 14 take 2 1 2 6 a__U14 3 2 U71 2 0 a__U62 2 13 a__U44 3 3 15 U131 1 0 U206 1 0 a__U221 1 13 U101 3 1 3 0 a__U43 3 2 3 16 a__U334 2 2 pair 2 1 2 43 U255 2 38 a__U326 4 0 a__U261 2 18 fst 1 1 7 U111 2 1 0 U43 3 1 2 15 a__U13 3 1 a__U121 2 16 a__U262 1 18 a__U246 1 0 a__U44 3 2 3 15 a__U204 3 2 3 15 U103 3 3 0 a__U111 2 2 16 a__U272 1 18 natsFrom 1 1 2 U281 2 0 a__U103 3 2 3 16 a__U301 3 2 U44 3 1 2 0 U55 2 1 0 a__U46 1 0 a__snd 1 10 a__U252 3 1 2 17 U253 3 1 37 U312 2 0 a__U206 1 0 a__U181 2 2 15 a__U193 1 0 a__U271 2 18 a__U51 3 2 3 18 U341 3 1 22910 a__U254 3 37 U23 3 1 0 U292 3 0 U342 3 0 a__U172 1 17 U63 1 1 0 a__U56 1 0 a__U344 3 2 a__U22 3 1 2 16912 U172 1 1 0 U93 1 0 splitAt 2 1 2 19 isNaturalKind 1 5 U326 4 0 a__U323 4 0 a__U106 1 1 43 U72 2 1 0 a__U11 3 1 a__U291 3 2 3 13 U241 3 3 0 U34 2 1 0 a__U192 2 1 2 7 a__U31 3 1 2 3 17 a__U51 3 12 a__U253 3 3 36 a__U81 2 2 12 a__U53 3 2 3 16 a__U205 2 2 14 a__take 2 2 a__U172 1 0 a__U255 2 2 14 U12 3 0 a__U43 3 14 U271 2 0 a__U231 2 1 2 8 a__U232 1 0 a__isLNatKind 1 0 a__U62 2 1 2 0 a__U321 4 5 a__U206 1 1 12 isNatural 1 6535 U302 2 1 0 U54 3 1 0 a__U42 3 2 3 17 a__U183 1 0 a__U41 3 2 3 12 U232 1 1 28 a__U262 1 0 a__U122 1 0 a__U12 3 0 U205 2 1 0 a__U205 2 2 22 U201 3 10 U104 3 0 a__U122 1 17 a__U14 3 2 9 a__U81 2 2 2 a__U21 3 2 a__U161 1 1 4 a__U61 2 1 2 1 a__U333 2 2 a__U34 2 1 2 43 U252 3 1 3 18 a__U261 2 0 U141 1 18 a__fst 1 6 tail 1 1 3 a__natsFrom 1 1 3 a__U302 2 2 U83 1 0 a__U294 3 2 mark 1 2 a__U204 3 1 2 3 3 0 0 11 a__U211 1 0 U294 3 4 a__U244 3 2 3 15 a__isLNat 1 11 U191 2 1 11 U343 3 1 0 a__U251 3 1 2 3 2 U73 1 1 42 a__U282 2 2 a__U21 3 1 3 1 U332 2 15220 a__U311 2 2 5 U171 2 1 17 a__U32 3 1 2 32 a__U91 2 2 12 a__U231 2 0 sel 2 1 2 7 U202 3 11 afterNth 2 1 2 6 a__U151 1 0 a__U111 2 0 a__U161 1 0 a__U242 3 2 3 7 a__U141 1 0 nil 0 0 a__splitAt 2 1 isLNat 1 6 U246 1 0 a__U245 2 2 14 U62 2 1 0 a__U52 3 2 3 17 a__U211 1 17 a__U102 3 2 3 17 U304 2 2 2 U45 2 2 17 a__sel 2 2 mark 1 1 4 U151 1 16 a__isLNat 1 1 13 a__U56 1 17 a__U342 3 2 a__U72 2 1 23 U334 2 4 a__U101 3 2 3 18 a__U11 3 2 3 6 U32 3 1 0 a__U53 3 2 3 14 a__U141 1 17 a__U322 4 1 3 2 a__sel 2 12 a__U42 3 2 3 13 a__U93 1 17 U33 3 1 2 0 a__U45 2 2 14 a__U52 3 2 13 a__U181 2 14 isLNatKind 1 1 2 U14 3 0 U211 1 1 0 a__U243 3 2 3 16 a__U54 3 2 3 15 U203 3 0 a__U105 2 2 14 a__U202 3 2 3 17 a__U12 3 3 7 U327 2 1 57 a__U104 3 2 3 15 a__U201 3 2 3 18 a__U63 1 0 a__isPLNat 1 5 a__U327 2 56 U46 1 18 a__U332 2 2 a__U326 4 55 U251 3 1 0 a__U322 4 1 a__isLNatKind 1 1 9 a__U121 2 0 U52 3 1 14 a__U254 3 2 3 15 a__U324 4 0 a__U281 2 2 a__U251 3 2 3 18 U61 2 0 a__U46 1 17 a__U22 3 2 a__U13 3 8 a__U304 2 1 2 5 U31 3 1 0 a__U83 1 0 a__U171 2 0 a__U71 2 1 2 8 U183 1 1 17 U245 2 1 0 U92 2 14 a__isPLNat 1 1 0 a__U203 3 2 3 16 head 1 1 12 a__afterNth 2 2 U112 1 1 0 a__U343 3 1 a__splitAt 2 1 a__isPLNatKind 1 0 a__U192 2 2 13 a__U255 2 1 37 cons 2 1 2 6 a__U344 3 2 5 a__U92 2 2 13 U323 4 1 2 4 21 a__U61 2 2 12 U102 3 3 0 a__U105 2 2 53 a__U334 2 2 3 snd 1 1 5 a__take 2 0 U256 1 1 0 a__U301 3 2 3 11 U81 2 1 13 a__U41 3 2 3 18 U82 2 1 14 a__U304 2 2 tt 0 18 a__isNatural 1 1 1 a__isNaturalKind 1 1 4 a__U131 1 17 a__isNatural 1 1 12 U13 3 1 0 a__fst 1 2 a__U23 3 3 0 a__U311 2 2 a__U201 3 9 a__U271 2 0 a__U202 3 2 3 10 U321 4 1 0 a__U282 2 1 2 1 a__U241 3 2 3 18 a__U183 1 16 a__U333 2 1 U22 3 1 16911 a__U293 3 1 U51 3 1 2 0 U311 2 0 a__U325 4 0 a__U34 2 0 U322 4 1 2 0 U344 3 1 0 a__U342 3 3 19 a__tail 1 2 a__U103 3 1 33 a__U54 3 2 15 a__isPLNatKind 1 18 U53 3 1 15 a__U303 2 2 13 a__U323 4 1 3 20 a__U55 2 2 14 a__U112 1 17 a__U331 3 2 U41 3 0 a__tail 1 2 a__U203 3 2 11 a__U32 3 0 a__U221 1 0 a__U101 3 1 2 8 a__U91 2 2 15 a__U341 3 1 0 U282 2 0 a__U256 1 1 45 U121 2 0 a__head 1 1 11 U181 2 1 0 U324 4 1 36 U331 3 1 2 3 3325 U122 1 18 a__U312 2 6 a__U327 2 2 a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 a__U262 tt tt a__U272 X U272 X a__isPLNatKind splitAt V1 V2 a__U271 a__isNaturalKind V1 V2 a__U272 tt tt a__U262 X U262 X a__isPLNatKind X isPLNatKind X a__U271 tt V2 a__U272 a__isLNatKind V2 a__U271 X1 X2 U271 X1 X2 a__U261 tt V2 a__U262 a__isLNatKind V2 a__U261 X1 X2 U261 X1 X2 a__U192 tt V1 a__U193 a__isNatural V1 false a__U205 tt V2 a__U206 a__isLNat V2 false a__U182 tt V1 a__U183 a__isLNat V1 false a__U92 tt V1 a__U93 a__isLNat V1 false a__U105 tt V2 a__U106 a__isLNat V2 false a__U55 tt V2 a__U56 a__isLNat V2 false a__U82 tt V1 a__U83 a__isPLNat V1 false a__U255 tt V2 a__U256 a__isLNat V2 false a__U62 tt V1 a__U63 a__isPLNat V1 false a__U245 tt V2 a__U246 a__isLNat V2 false a__U45 tt V2 a__U46 a__isLNat V2 false a__U43 tt V1 V2 a__isLNatKind V2 false a__U42 tt V1 V2 a__isLNatKind V2 false a__U41 tt V1 V2 a__isNaturalKind V1 false a__isLNat afterNth V1 V2 a__isNaturalKind V1 false a__U243 tt V1 V2 a__isLNatKind V2 false a__U242 tt V1 V2 a__isLNatKind V2 false a__U241 tt V1 V2 a__isLNatKind V1 false a__isPLNat pair V1 V2 a__isLNatKind V1 false a__U61 tt V1 a__isPLNatKind V1 false a__isLNat fst V1 a__isPLNatKind V1 false a__U72 tt V1 a__U73 a__isNatural V1 false a__U71 tt V1 a__isNaturalKind V1 false a__isLNat natsFrom V1 a__isNaturalKind V1 false a__U253 tt V1 V2 a__isLNatKind V2 false a__U252 tt V1 V2 a__isLNatKind V2 false a__U251 tt V1 V2 a__isNaturalKind V1 false a__isPLNat splitAt V1 V2 a__isNaturalKind V1 false a__U81 tt V1 a__isPLNatKind V1 false a__isLNat snd V1 a__isPLNatKind V1 false a__U53 tt V1 V2 a__isLNatKind V2 false a__U52 tt V1 V2 a__isLNatKind V2 false a__U51 tt V1 V2 a__isNaturalKind V1 false a__isLNat cons V1 V2 a__isNaturalKind V1 false a__U103 tt V1 V2 a__isLNatKind V2 false a__U101 tt V1 V2 a__isNaturalKind V1 false a__isLNat take V1 V2 a__isNaturalKind V1 false a__U91 tt V1 a__isLNatKind V1 false a__isLNat tail V1 a__isLNatKind V1 false a__U181 tt V1 a__isLNatKind V1 false a__isNatural head V1 a__isLNatKind V1 false a__U203 tt V1 V2 a__isLNatKind V2 false a__U202 tt V1 V2 a__isLNatKind V2 false a__U201 tt V1 V2 a__isNaturalKind V1 false a__isNatural sel V1 V2 a__isNaturalKind V1 false a__U191 tt V1 a__isNaturalKind V1 false a__isNatural s V1 a__isNaturalKind V1 false a__U102 tt V1 V2 a__isLNatKind V2 false a__isLNatKind cons V1 V2 a__U121 a__isNaturalKind V1 V2 a__isPLNatKind pair V1 V2 a__isLNatKind V1 a__isLNatKind afterNth V1 V2 a__U111 a__isNaturalKind V1 V2 a__U261 tt V2 a__isLNatKind V2 a__isNaturalKind s V1 a__isNaturalKind V1 a__isPLNatKind splitAt V1 V2 a__isNaturalKind V1 a__isNaturalKind head V1 a__isLNatKind V1 a__isLNatKind take V1 V2 a__U171 a__isNaturalKind V1 V2 a__isLNatKind natsFrom V1 a__isNaturalKind V1 a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 a__isLNatKind cons V1 V2 a__isNaturalKind V1 a__isPLNatKind splitAt V1 V2 a__U271 a__isNaturalKind V1 V2 a__U271 tt V2 a__isLNatKind V2 a__U231 tt V2 a__isLNatKind V2 a__isNaturalKind sel V1 V2 a__isNaturalKind V1 a__U111 tt V2 a__isLNatKind V2 a__isLNatKind snd V1 a__isPLNatKind V1 a__U171 tt V2 a__isLNatKind V2 a__U121 tt V2 a__isLNatKind V2 a__isLNatKind afterNth V1 V2 a__isNaturalKind V1 a__isLNatKind tail V1 a__isLNatKind V1 a__isLNatKind fst V1 a__isPLNatKind V1 a__isNaturalKind sel V1 V2 a__U231 a__isNaturalKind V1 V2 a__isLNatKind take V1 V2 a__isNaturalKind V1 true U291 3 18 a__U193 1 0 a__U83 1 21 U231 2 0 U301 3 0 a__U293 3 1 2 1 a__U241 3 11 U204 3 1 0 a__U324 4 1 30 a__U302 2 17 a__isNaturalKind 1 1 3 a__U325 4 3 4 56 a__U151 1 16 a__U292 3 3 18 a__U73 1 0 a__U131 1 0 a__U63 1 24 U21 3 1 0 U261 2 0 a__U102 3 1 2 5 U254 3 1 2 0 U333 2 1 2 a__U82 2 1 a__U332 2 0 a__U45 2 23 U193 1 1 1 a__U72 2 13 a__U242 3 17 a__U246 1 1 12 U161 1 3249 a__U321 4 1 a__U71 2 14 a__U232 1 29 U182 2 1 2 12 a__U291 3 2 U11 3 1 21269 a__U171 2 16 a__U92 2 14 a__U104 3 2 3 46 a__U294 3 3 27 a__U182 2 11 a__U191 2 6 a__U281 2 9 U243 3 0 a__U245 2 29 a__U112 1 0 s 1 1 1 U105 2 0 U303 2 12573 a__U292 3 2 a__U24 2 2 1 a__U341 3 2 a__U31 3 2 a__U243 3 1 3 2 a__U33 3 0 a__U93 1 0 a__head 1 2 U192 2 28540 a__U253 3 16 U24 2 5128 a__U33 3 3 37 U106 1 31 a__U24 2 2 a__natsFrom 1 2 isPLNatKind 1 0 a__U252 3 17 a__U256 1 0 a__U244 3 28 a__U343 3 1 2 3 9 U242 3 0 a__U303 2 2 U262 1 0 U244 3 1 2 0 U272 1 0 U56 1 1 25 a__U191 2 14 a__U272 1 0 a__U23 3 2 a__U55 2 2 23 isPLNat 1 0 a__snd 1 0 a__U331 3 1 3 7932 a__U312 2 2 a__afterNth 2 1 2 10 U42 3 0 U91 2 1 0 U221 1 1 905 U293 3 2 3 0 a__U73 1 1 27 a__U106 1 0 U325 4 1 0 a__U82 2 2 20 a__U182 2 14 take 2 1 2 4 a__U14 3 2 U71 2 0 a__U62 2 23 a__U44 3 3 22 U131 1 0 U206 1 0 a__U221 1 24 U101 3 1 3 0 a__U43 3 16 a__U334 2 2 pair 2 1 2 31 U255 2 30 a__U326 4 0 a__U261 2 25 fst 1 1 12 U111 2 1 0 U43 3 1 2 22 a__U13 3 1 a__U121 2 22 a__U262 1 25 a__U246 1 0 a__U44 3 15 a__U204 3 15 U103 3 3 0 a__U111 2 2 23 a__U272 1 25 natsFrom 1 1 7 U281 2 0 a__U103 3 16 a__U301 3 2 U44 3 1 2 0 U55 2 1 0 a__U46 1 0 a__snd 1 15 a__U252 3 1 2 5 U253 3 1 32 U312 2 0 a__U206 1 0 a__U181 2 15 a__U193 1 0 a__U271 2 25 a__U51 3 18 U341 3 1 17251 a__U254 3 32 U23 3 1 0 U292 3 0 U342 3 0 a__U172 1 17 U63 1 1 0 a__U56 1 0 a__U344 3 2 a__U22 3 1 2 16912 U172 1 1 0 U93 1 0 splitAt 2 1 2 10505 isNaturalKind 1 23 U326 4 0 a__U323 4 0 a__U106 1 1 30 U72 2 1 0 a__U11 3 1 a__U291 3 2 3 17 U241 3 3 0 U34 2 1 0 a__U192 2 1 2 0 a__U31 3 1 2 3 7 a__U51 3 19 a__U253 3 3 31 a__U81 2 2 19 a__U53 3 16 a__U205 2 14 a__take 2 2 a__U172 1 0 a__U255 2 14 U12 3 0 a__U43 3 21 U271 2 0 a__U231 2 1 2 3 a__U232 1 0 a__isLNatKind 1 1 0 a__U62 2 1 0 a__U321 4 10 a__U206 1 1 10 isNatural 1 6538 U302 2 1 0 U54 3 1 0 a__U42 3 17 a__U183 1 0 a__U41 3 2 3 19 U232 1 1 30 a__U262 1 0 a__U122 1 0 a__U12 3 0 U205 2 1 0 a__U205 2 2 27 U201 3 8 U104 3 0 a__U122 1 24 a__U14 3 2 14 a__U81 2 2 a__U21 3 2 a__U161 1 1 3248 a__U61 2 1 1 a__U333 2 2 a__U34 2 1 2 27 U252 3 1 3 6 a__U261 2 2 1 U141 1 21 a__fst 1 11 tail 1 1 3247 a__natsFrom 1 1 8 a__U302 2 2 U83 1 0 a__U294 3 2 mark 1 2 a__U204 3 1 2 3 1 0 0 1 a__U211 1 0 U294 3 17 a__U244 3 15 a__isLNat 1 18 U191 2 1 30962 U343 3 1 0 a__U251 3 1 2 3 1 U73 1 1 28 a__U282 2 2 a__U21 3 1 3 1 U332 2 15220 a__U311 2 2 10 U171 2 1 17 a__U32 3 1 2 11 a__U91 2 2 19 a__U231 2 2 1 sel 2 1 2 2 U202 3 9 afterNth 2 1 2 11 a__U151 1 0 a__U111 2 2 1 a__U161 1 0 a__U242 3 2 3 12 a__U141 1 0 nil 0 0 a__splitAt 2 1 isLNat 1 4 U246 1 0 a__U245 2 14 U62 2 1 0 a__U52 3 17 a__U211 1 24 a__U102 3 17 U304 2 2 4 U45 2 2 24 a__sel 2 2 mark 1 1 9 U151 1 17 a__isLNat 1 13 a__U56 1 24 a__U342 3 2 a__U72 2 1 5 U334 2 12033 a__U101 3 18 a__U11 3 2 3 11 U32 3 1 0 a__U53 3 2 3 21 a__U141 1 20 a__U322 4 1 3 1 a__sel 2 12 a__U42 3 2 3 20 a__U93 1 24 U33 3 1 2 0 a__U45 2 14 a__U52 3 2 20 a__U181 2 10 isLNatKind 1 1 1 U14 3 0 U211 1 1 0 a__U243 3 16 a__U54 3 15 U203 3 0 a__U105 2 14 a__U202 3 17 a__U12 3 3 12 U327 2 1 59 a__U104 3 15 a__U201 3 18 a__U63 1 0 a__isPLNat 1 10 a__U327 2 58 U46 1 25099 a__U332 2 2 a__U326 4 57 U251 3 1 0 a__U322 4 1 a__isLNatKind 1 1 11 a__U121 2 2 1 U52 3 1 21 a__U254 3 15 a__U324 4 0 a__U281 2 2 a__U251 3 18 U61 2 0 a__U46 1 24 a__U22 3 2 a__U13 3 13 a__U304 2 1 2 8 U31 3 1 0 a__U83 1 0 a__U171 2 2 3 a__U71 2 1 2 1 U183 1 1 10203 U245 2 1 0 U92 2 14042 a__isPLNat 1 0 a__U203 3 16 head 1 1 1 a__afterNth 2 2 U112 1 1 0 a__U343 3 1 a__splitAt 2 1 a__isPLNatKind 1 1 3 a__U192 2 13 a__U255 2 1 29 cons 2 1 2 10 a__U344 3 2 10 a__U92 2 2 23 U323 4 1 2 4 24 a__U61 2 2 22 U102 3 3 0 a__U105 2 2 47 a__U334 2 2 2 snd 1 1 4 a__take 2 3 U256 1 1 0 a__U301 3 2 3 16 U81 2 1 20 a__U41 3 18 U82 2 1 21 a__U304 2 2 tt 0 25 a__isNatural 1 1 4 a__isNaturalKind 1 1 22 a__U131 1 24 a__isNatural 1 12 U13 3 1 0 a__fst 1 2 a__U23 3 3 0 a__U311 2 2 a__U201 3 7 a__U271 2 2 10507 a__U202 3 2 3 8 U321 4 1 0 a__U282 2 1 2 1 a__U241 3 18 a__U183 1 12 a__U333 2 1 U22 3 1 4698 a__U293 3 1 U51 3 1 2 0 U311 2 0 a__U325 4 0 a__U34 2 0 U322 4 1 2 0 U344 3 1 0 a__U342 3 3 26 a__tail 1 3246 a__U103 3 1 20 a__U54 3 2 22 a__isPLNatKind 1 25 U53 3 1 7157 a__U303 2 2 18 a__U323 4 1 3 23 a__U55 2 14 a__U112 1 24 a__U331 3 2 U41 3 0 a__tail 1 2 a__U203 3 2 10 a__U32 3 0 a__U221 1 0 a__U101 3 1 2 1 a__U91 2 15 a__U341 3 1 0 U282 2 0 a__U256 1 1 37 U121 2 0 a__head 1 1 0 U181 2 1 0 U324 4 1 2467 U331 3 1 2 3 7933 U122 1 24102 a__U312 2 39 a__U327 2 2 a__isPLNatKind pair V1 V2 a__U261 a__isLNatKind V1 V2 a__U262 tt tt a__U272 X U272 X a__isPLNatKind splitAt V1 V2 a__U271 a__isNaturalKind V1 V2 a__U272 tt tt a__U262 X U262 X a__isPLNatKind X isPLNatKind X a__U271 tt V2 a__U272 a__isLNatKind V2 a__U271 X1 X2 U271 X1 X2 a__U261 tt V2 a__U262 a__isLNatKind V2 a__U261 X1 X2 U261 X1 X2 a__U111 tt V2 a__U112 a__isLNatKind V2 false a__U231 tt V2 a__U232 a__isLNatKind V2 false a__U121 tt V2 a__U122 a__isLNatKind V2 false a__U171 tt V2 a__U172 a__isLNatKind V2 false a__U271 tt V2 a__U272 a__isLNatKind V2 false a__U261 tt V2 a__U262 a__isLNatKind V2 false a__isLNatKind snd V1 a__U151 a__isPLNatKind V1 false a__isLNatKind tail V1 a__U161 a__isLNatKind V1 false a__isLNatKind fst V1 a__U131 a__isPLNatKind V1 false a__isLNatKind natsFrom V1 a__U141 a__isNaturalKind V1 false a__isNaturalKind head V1 a__U211 a__isLNatKind V1 false a__isNaturalKind s V1 a__U221 a__isNaturalKind V1 false NaTT certifiable-1.6