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 a__U101 3 tt 0 a__U102 3 a__isNaturalKind 1 a__U103 3 a__isLNatKind 1 a__U104 3 a__U105 2 a__isNatural 1 a__U106 1 a__isLNat 1 a__U11 3 a__U12 3 a__U111 2 a__U112 1 a__U13 3 a__U121 2 a__U122 1 a__U14 3 a__U131 1 a__snd 1 a__splitAt 2 mark 1 a__U141 1 a__U151 1 a__U161 1 a__U171 2 a__U172 1 a__U181 2 a__U182 2 a__U183 1 a__U191 2 a__U192 2 a__U193 1 a__U201 3 a__U202 3 a__U203 3 a__U204 3 a__U205 2 a__U206 1 a__U21 3 a__U22 3 a__U211 1 a__U23 3 a__U221 1 a__U24 2 a__U231 2 a__U232 1 a__U241 3 a__U242 3 a__U243 3 a__U244 3 a__U245 2 a__U246 1 a__U251 3 a__U252 3 a__U253 3 a__U254 3 a__U255 2 a__U256 1 a__U261 2 a__U262 1 a__U271 2 a__U272 1 a__U281 2 a__U282 2 cons 2 natsFrom 1 s 1 a__U291 3 a__U292 3 a__U293 3 a__U294 3 a__head 1 a__afterNth 2 a__U301 3 a__U302 2 a__U303 2 a__U304 2 a__U31 3 a__U32 3 a__U311 2 a__U312 2 pair 2 nil 0 a__U33 3 a__U321 4 a__U322 4 a__U323 4 a__U324 4 a__U325 4 a__U326 4 a__U327 2 a__U34 2 a__U331 3 a__U332 2 a__U333 2 a__U334 2 a__U341 3 a__U342 3 a__U343 3 a__U344 3 a__fst 1 a__U41 3 a__U42 3 a__U43 3 a__U44 3 a__U45 2 a__U46 1 a__U51 3 a__U52 3 a__U53 3 a__U54 3 a__U55 2 a__U56 1 a__U61 2 a__U62 2 a__isPLNatKind 1 a__U63 1 a__isPLNat 1 a__U71 2 a__U72 2 a__U73 1 a__U81 2 a__U82 2 a__U83 1 a__U91 2 a__U92 2 a__U93 1 afterNth 2 fst 1 snd 1 tail 1 take 2 0 0 head 1 sel 2 splitAt 2 a__natsFrom 1 a__sel 2 a__tail 1 a__take 2 U101 3 U102 3 isNaturalKind 1 U103 3 isLNatKind 1 U104 3 U105 2 isNatural 1 U106 1 isLNat 1 U11 3 U12 3 U111 2 U112 1 U13 3 U121 2 U122 1 U14 3 U131 1 U141 1 U151 1 U161 1 U171 2 U172 1 U181 2 U182 2 U183 1 U191 2 U192 2 U193 1 U201 3 U202 3 U203 3 U204 3 U205 2 U206 1 U21 3 U22 3 U211 1 U23 3 U221 1 U24 2 U231 2 U232 1 U241 3 U242 3 U243 3 U244 3 U245 2 U246 1 U251 3 U252 3 U253 3 U254 3 U255 2 U256 1 U261 2 U262 1 U271 2 U272 1 U281 2 U282 2 U291 3 U292 3 U293 3 U294 3 U301 3 U302 2 U303 2 U304 2 U31 3 U32 3 U311 2 U312 2 U33 3 U321 4 U322 4 U323 4 U324 4 U325 4 U326 4 U327 2 U34 2 U331 3 U332 2 U333 2 U334 2 U341 3 U342 3 U343 3 U344 3 U41 3 U42 3 U43 3 U44 3 U45 2 U46 1 U51 3 U52 3 U53 3 U54 3 U55 2 U56 1 U61 2 U62 2 isPLNatKind 1 U63 1 isPLNat 1 U71 2 U72 2 U73 1 U81 2 U82 2 U83 1 U91 2 U92 2 U93 1 INNERMOST ./TRS/TRCSR/inn/LISTUTILITIES_complete_noand_GM.trs