a__U101 tt V2 a__U102 a__isLNat V2 a__U102 tt tt a__U11 tt N XS a__U12 a__isLNat XS N XS a__U111 tt tt a__U12 tt N XS a__snd a__splitAt mark N mark XS a__U121 tt tt a__U131 tt V2 a__U132 a__isLNat V2 a__U132 tt tt a__U141 tt V2 a__U142 a__isLNat V2 a__U142 tt tt a__U151 tt V2 a__U152 a__isLNat V2 a__U152 tt tt a__U161 tt N cons mark N natsFrom s N a__U171 tt N XS a__U172 a__isLNat XS N XS a__U172 tt N XS a__head a__afterNth mark N mark XS a__U181 tt Y a__U182 a__isLNat Y Y a__U182 tt Y mark Y a__U191 tt XS pair nil mark XS a__U201 tt N X XS a__U202 a__isNatural X N X XS a__U202 tt N X XS a__U203 a__isLNat XS N X XS a__U203 tt N X XS a__U204 a__splitAt mark N mark XS X a__U204 pair YS ZS X pair cons mark X YS mark ZS a__U21 tt X Y a__U22 a__isLNat Y X a__U211 tt XS a__U212 a__isLNat XS XS a__U212 tt XS mark XS a__U22 tt X mark X a__U221 tt N XS a__U222 a__isLNat XS N XS a__U222 tt N XS a__fst a__splitAt mark N mark XS a__U31 tt N XS a__U32 a__isLNat XS N a__U32 tt N mark N a__U41 tt V2 a__U42 a__isLNat V2 a__U42 tt tt a__U51 tt V2 a__U52 a__isLNat V2 a__U52 tt tt a__U61 tt tt a__U71 tt tt a__U81 tt tt a__U91 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__isNatural V1 V2 a__isLNat cons V1 V2 a__U51 a__isNatural V1 V2 a__isLNat fst V1 a__U61 a__isPLNat V1 a__isLNat natsFrom V1 a__U71 a__isNatural V1 a__isLNat snd V1 a__U81 a__isPLNat V1 a__isLNat tail V1 a__U91 a__isLNat V1 a__isLNat take V1 V2 a__U101 a__isNatural V1 V2 a__isNatural 0 tt a__isNatural head V1 a__U111 a__isLNat V1 a__isNatural s V1 a__U121 a__isNatural V1 a__isNatural sel V1 V2 a__U131 a__isNatural V1 V2 a__isPLNat pair V1 V2 a__U141 a__isLNat V1 V2 a__isPLNat splitAt V1 V2 a__U151 a__isNatural V1 V2 a__natsFrom N a__U161 a__isNatural N N a__sel N XS a__U171 a__isNatural N N XS a__snd pair X Y a__U181 a__isLNat X Y a__splitAt 0 XS a__U191 a__isLNat XS XS a__splitAt s N cons X XS a__U201 a__isNatural N N X XS a__tail cons N XS a__U211 a__isNatural N XS a__take N XS a__U221 a__isNatural N N XS mark U101 X1 X2 a__U101 mark X1 X2 mark U102 X a__U102 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 X a__U111 mark X mark snd X a__snd mark X mark splitAt X1 X2 a__splitAt mark X1 mark X2 mark U121 X a__U121 mark X mark U131 X1 X2 a__U131 mark X1 X2 mark U132 X a__U132 mark X mark U141 X1 X2 a__U141 mark X1 X2 mark U142 X a__U142 mark X mark U151 X1 X2 a__U151 mark X1 X2 mark U152 X a__U152 mark X mark U161 X1 X2 a__U161 mark X1 X2 mark natsFrom X a__natsFrom mark X mark U171 X1 X2 X3 a__U171 mark X1 X2 X3 mark U172 X1 X2 X3 a__U172 mark X1 X2 X3 mark head X a__head mark X mark afterNth X1 X2 a__afterNth mark X1 mark X2 mark U181 X1 X2 a__U181 mark X1 X2 mark U182 X1 X2 a__U182 mark X1 X2 mark U191 X1 X2 a__U191 mark X1 X2 mark U201 X1 X2 X3 X4 a__U201 mark X1 X2 X3 X4 mark U202 X1 X2 X3 X4 a__U202 mark X1 X2 X3 X4 mark isNatural X a__isNatural X mark U203 X1 X2 X3 X4 a__U203 mark X1 X2 X3 X4 mark U204 X1 X2 a__U204 mark X1 X2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 mark U211 X1 X2 a__U211 mark X1 X2 mark U212 X1 X2 a__U212 mark X1 X2 mark U221 X1 X2 X3 a__U221 mark X1 X2 X3 mark U222 X1 X2 X3 a__U222 mark X1 X2 X3 mark fst X a__fst mark X mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 mark U32 X1 X2 a__U32 mark X1 X2 mark U41 X1 X2 a__U41 mark X1 X2 mark U42 X a__U42 mark X mark U51 X1 X2 a__U51 mark X1 X2 mark U52 X a__U52 mark X mark U61 X a__U61 mark X mark U71 X a__U71 mark X mark U81 X a__U81 mark X mark U91 X a__U91 mark X mark isPLNat X a__isPLNat 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 U101 X1 X2 a__U102 X U102 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 X U111 X a__snd X snd X a__splitAt X1 X2 splitAt X1 X2 a__U121 X U121 X a__U131 X1 X2 U131 X1 X2 a__U132 X U132 X a__U141 X1 X2 U141 X1 X2 a__U142 X U142 X a__U151 X1 X2 U151 X1 X2 a__U152 X U152 X a__U161 X1 X2 U161 X1 X2 a__natsFrom X natsFrom X a__U171 X1 X2 X3 U171 X1 X2 X3 a__U172 X1 X2 X3 U172 X1 X2 X3 a__head X head X a__afterNth X1 X2 afterNth X1 X2 a__U181 X1 X2 U181 X1 X2 a__U182 X1 X2 U182 X1 X2 a__U191 X1 X2 U191 X1 X2 a__U201 X1 X2 X3 X4 U201 X1 X2 X3 X4 a__U202 X1 X2 X3 X4 U202 X1 X2 X3 X4 a__isNatural X isNatural X a__U203 X1 X2 X3 X4 U203 X1 X2 X3 X4 a__U204 X1 X2 U204 X1 X2 a__U21 X1 X2 X3 U21 X1 X2 X3 a__U22 X1 X2 U22 X1 X2 a__U211 X1 X2 U211 X1 X2 a__U212 X1 X2 U212 X1 X2 a__U221 X1 X2 X3 U221 X1 X2 X3 a__U222 X1 X2 X3 U222 X1 X2 X3 a__fst X fst X a__U31 X1 X2 X3 U31 X1 X2 X3 a__U32 X1 X2 U32 X1 X2 a__U41 X1 X2 U41 X1 X2 a__U42 X U42 X a__U51 X1 X2 U51 X1 X2 a__U52 X U52 X a__U61 X U61 X a__U71 X U71 X a__U81 X U81 X a__U91 X U91 X a__isPLNat X isPLNat X a__tail X tail X a__take X1 X2 take X1 X2 a__sel X1 X2 sel X1 X2 a__U101 2 tt 0 a__U102 1 a__isLNat 1 a__U11 3 a__U12 3 a__U111 1 a__snd 1 a__splitAt 2 mark 1 a__U121 1 a__U131 2 a__U132 1 a__U141 2 a__U142 1 a__U151 2 a__U152 1 a__U161 2 cons 2 natsFrom 1 s 1 a__U171 3 a__U172 3 a__head 1 a__afterNth 2 a__U181 2 a__U182 2 a__U191 2 pair 2 nil 0 a__U201 4 a__U202 4 a__isNatural 1 a__U203 4 a__U204 2 a__U21 3 a__U22 2 a__U211 2 a__U212 2 a__U221 3 a__U222 3 a__fst 1 a__U31 3 a__U32 2 a__U41 2 a__U42 1 a__U51 2 a__U52 1 a__U61 1 a__U71 1 a__U81 1 a__U91 1 afterNth 2 fst 1 a__isPLNat 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 2 U102 1 isLNat 1 U11 3 U12 3 U111 1 U121 1 U131 2 U132 1 U141 2 U142 1 U151 2 U152 1 U161 2 U171 3 U172 3 U181 2 U182 2 U191 2 U201 4 U202 4 isNatural 1 U203 4 U204 2 U21 3 U22 2 U211 2 U212 2 U221 3 U222 3 U31 3 U32 2 U41 2 U42 1 U51 2 U52 1 U61 1 U71 1 U81 1 U91 1 isPLNat 1 INNERMOST ./TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_GM.trs