U101 tt V1 V2 U102 isNaturalKind V1 V1 V2 U102 tt V1 V2 U103 isLNatKind V2 V1 V2 U103 tt V1 V2 U104 isLNatKind V2 V1 V2 U104 tt V1 V2 U105 isNatural V1 V2 U105 tt V2 U106 isLNat V2 U106 tt tt U11 tt N XS U12 isNaturalKind N N XS U111 tt V2 U112 isLNatKind V2 U112 tt tt U12 tt N XS U13 isLNat XS N XS U121 tt V2 U122 isLNatKind V2 U122 tt tt U13 tt N XS U14 isLNatKind XS N XS U131 tt tt U14 tt N XS snd splitAt N XS U141 tt tt U151 tt tt U161 tt tt U171 tt V2 U172 isLNatKind V2 U172 tt tt U181 tt V1 U182 isLNatKind V1 V1 U182 tt V1 U183 isLNat V1 U183 tt tt U191 tt V1 U192 isNaturalKind V1 V1 U192 tt V1 U193 isNatural V1 U193 tt tt U201 tt V1 V2 U202 isNaturalKind V1 V1 V2 U202 tt V1 V2 U203 isLNatKind V2 V1 V2 U203 tt V1 V2 U204 isLNatKind V2 V1 V2 U204 tt V1 V2 U205 isNatural V1 V2 U205 tt V2 U206 isLNat V2 U206 tt tt U21 tt X Y U22 isLNatKind X X Y U211 tt tt U22 tt X Y U23 isLNat Y X Y U221 tt tt U23 tt X Y U24 isLNatKind Y X U231 tt V2 U232 isLNatKind V2 U232 tt tt U24 tt X X U241 tt V1 V2 U242 isLNatKind V1 V1 V2 U242 tt V1 V2 U243 isLNatKind V2 V1 V2 U243 tt V1 V2 U244 isLNatKind V2 V1 V2 U244 tt V1 V2 U245 isLNat V1 V2 U245 tt V2 U246 isLNat V2 U246 tt tt U251 tt V1 V2 U252 isNaturalKind V1 V1 V2 U252 tt V1 V2 U253 isLNatKind V2 V1 V2 U253 tt V1 V2 U254 isLNatKind V2 V1 V2 U254 tt V1 V2 U255 isNatural V1 V2 U255 tt V2 U256 isLNat V2 U256 tt tt U261 tt V2 U262 isLNatKind V2 U262 tt tt U271 tt V2 U272 isLNatKind V2 U272 tt tt U281 tt N U282 isNaturalKind N N U282 tt N cons N natsFrom s N U291 tt N XS U292 isNaturalKind N N XS U292 tt N XS U293 isLNat XS N XS U293 tt N XS U294 isLNatKind XS N XS U294 tt N XS head afterNth N XS U301 tt X Y U302 isLNatKind X Y U302 tt Y U303 isLNat Y Y U303 tt Y U304 isLNatKind Y Y U304 tt Y Y U31 tt N XS U32 isNaturalKind N N XS U311 tt XS U312 isLNatKind XS XS U312 tt XS pair nil XS U32 tt N XS U33 isLNat XS N XS U321 tt N X XS U322 isNaturalKind N N X XS U322 tt N X XS U323 isNatural X N X XS U323 tt N X XS U324 isNaturalKind X N X XS U324 tt N X XS U325 isLNat XS N X XS U325 tt N X XS U326 isLNatKind XS N X XS U326 tt N X XS U327 splitAt N XS X U327 pair YS ZS X pair cons X YS ZS U33 tt N XS U34 isLNatKind XS N U331 tt N XS U332 isNaturalKind N XS U332 tt XS U333 isLNat XS XS U333 tt XS U334 isLNatKind XS XS U334 tt XS XS U34 tt N N U341 tt N XS U342 isNaturalKind N N XS U342 tt N XS U343 isLNat XS N XS U343 tt N XS U344 isLNatKind XS N XS U344 tt N XS fst splitAt N XS U41 tt V1 V2 U42 isNaturalKind V1 V1 V2 U42 tt V1 V2 U43 isLNatKind V2 V1 V2 U43 tt V1 V2 U44 isLNatKind V2 V1 V2 U44 tt V1 V2 U45 isNatural V1 V2 U45 tt V2 U46 isLNat V2 U46 tt tt U51 tt V1 V2 U52 isNaturalKind V1 V1 V2 U52 tt V1 V2 U53 isLNatKind V2 V1 V2 U53 tt V1 V2 U54 isLNatKind V2 V1 V2 U54 tt V1 V2 U55 isNatural V1 V2 U55 tt V2 U56 isLNat V2 U56 tt tt U61 tt V1 U62 isPLNatKind V1 V1 U62 tt V1 U63 isPLNat V1 U63 tt tt U71 tt V1 U72 isNaturalKind V1 V1 U72 tt V1 U73 isNatural V1 U73 tt tt U81 tt V1 U82 isPLNatKind V1 V1 U82 tt V1 U83 isPLNat V1 U83 tt tt U91 tt V1 U92 isLNatKind V1 V1 U92 tt V1 U93 isLNat V1 U93 tt tt afterNth N XS U11 isNatural N N XS fst pair X Y U21 isLNat X X Y head cons N XS U31 isNatural N N XS isLNat nil tt isLNat afterNth V1 V2 U41 isNaturalKind V1 V1 V2 isLNat cons V1 V2 U51 isNaturalKind V1 V1 V2 isLNat fst V1 U61 isPLNatKind V1 V1 isLNat natsFrom V1 U71 isNaturalKind V1 V1 isLNat snd V1 U81 isPLNatKind V1 V1 isLNat tail V1 U91 isLNatKind V1 V1 isLNat take V1 V2 U101 isNaturalKind V1 V1 V2 isLNatKind nil tt isLNatKind afterNth V1 V2 U111 isNaturalKind V1 V2 isLNatKind cons V1 V2 U121 isNaturalKind V1 V2 isLNatKind fst V1 U131 isPLNatKind V1 isLNatKind natsFrom V1 U141 isNaturalKind V1 isLNatKind snd V1 U151 isPLNatKind V1 isLNatKind tail V1 U161 isLNatKind V1 isLNatKind take V1 V2 U171 isNaturalKind V1 V2 isNatural 0 tt isNatural head V1 U181 isLNatKind V1 V1 isNatural s V1 U191 isNaturalKind V1 V1 isNatural sel V1 V2 U201 isNaturalKind V1 V1 V2 isNaturalKind 0 tt isNaturalKind head V1 U211 isLNatKind V1 isNaturalKind s V1 U221 isNaturalKind V1 isNaturalKind sel V1 V2 U231 isNaturalKind V1 V2 isPLNat pair V1 V2 U241 isLNatKind V1 V1 V2 isPLNat splitAt V1 V2 U251 isNaturalKind V1 V1 V2 isPLNatKind pair V1 V2 U261 isLNatKind V1 V2 isPLNatKind splitAt V1 V2 U271 isNaturalKind V1 V2 natsFrom N U281 isNatural N N sel N XS U291 isNatural N N XS snd pair X Y U301 isLNat X X Y splitAt 0 XS U311 isLNat XS XS splitAt s N cons X XS U321 isNatural N N X XS tail cons N XS U331 isNatural N N XS take N XS U341 isNatural N N XS U101 3 1 tt 0 U102 3 1 isNaturalKind 1 U103 3 1 isLNatKind 1 U104 3 1 U105 2 1 isNatural 1 U106 1 1 isLNat 1 U11 3 1 U12 3 1 U111 2 1 U112 1 1 U13 3 1 U121 2 1 U122 1 1 U14 3 1 U131 1 1 snd 1 1 splitAt 2 1 2 U141 1 1 U151 1 1 U161 1 1 U171 2 1 U172 1 1 U181 2 1 U182 2 1 U183 1 1 U191 2 1 U192 2 1 U193 1 1 U201 3 1 U202 3 1 U203 3 1 U204 3 1 U205 2 1 U206 1 1 U21 3 1 U22 3 1 U211 1 1 U23 3 1 U221 1 1 U24 2 1 U231 2 1 U232 1 1 U241 3 1 U242 3 1 U243 3 1 U244 3 1 U245 2 1 U246 1 1 U251 3 1 U252 3 1 U253 3 1 U254 3 1 U255 2 1 U256 1 1 U261 2 1 U262 1 1 U271 2 1 U272 1 1 U281 2 1 U282 2 1 cons 2 1 natsFrom 1 1 s 1 1 U291 3 1 U292 3 1 U293 3 1 U294 3 1 head 1 1 afterNth 2 1 2 U301 3 1 U302 2 1 U303 2 1 U304 2 1 U31 3 1 U32 3 1 U311 2 1 U312 2 1 pair 2 1 2 nil 0 U33 3 1 U321 4 1 U322 4 1 U323 4 1 U324 4 1 U325 4 1 U326 4 1 U327 2 1 U34 2 1 U331 3 1 U332 2 1 U333 2 1 U334 2 1 U341 3 1 U342 3 1 U343 3 1 U344 3 1 fst 1 1 U41 3 1 U42 3 1 U43 3 1 U44 3 1 U45 2 1 U46 1 1 U51 3 1 U52 3 1 U53 3 1 U54 3 1 U55 2 1 U56 1 1 U61 2 1 U62 2 1 isPLNatKind 1 U63 1 1 isPLNat 1 U71 2 1 U72 2 1 U73 1 1 U81 2 1 U82 2 1 U83 1 1 U91 2 1 U92 2 1 U93 1 1 tail 1 1 take 2 1 2 0 0 sel 2 1 2 FULL ./TRS/CSR_Maude/PEPM04/LISTUTILITIES_complete-noand.trs