active U101 tt N XS mark fst splitAt N XS active U11 tt N XS mark snd splitAt N XS active U21 tt X mark X active U31 tt N mark N active U41 tt N mark cons N natsFrom s N active U51 tt N XS mark head afterNth N XS active U61 tt Y mark Y active U71 tt XS mark pair nil XS active U81 tt N X XS mark U82 splitAt N XS X active U82 pair YS ZS X mark pair cons X YS ZS active U91 tt XS mark XS active afterNth N XS mark U11 and isNatural N isLNat XS N XS active and tt X mark X active fst pair X Y mark U21 and isLNat X isLNat Y X active head cons N XS mark U31 and isNatural N isLNat XS N active isLNat nil mark tt active isLNat afterNth V1 V2 mark and isNatural V1 isLNat V2 active isLNat cons V1 V2 mark and isNatural V1 isLNat V2 active isLNat fst V1 mark isPLNat V1 active isLNat natsFrom V1 mark isNatural V1 active isLNat snd V1 mark isPLNat V1 active isLNat tail V1 mark isLNat V1 active isLNat take V1 V2 mark and isNatural V1 isLNat V2 active isNatural 0 mark tt active isNatural head V1 mark isLNat V1 active isNatural s V1 mark isNatural V1 active isNatural sel V1 V2 mark and isNatural V1 isLNat V2 active isPLNat pair V1 V2 mark and isLNat V1 isLNat V2 active isPLNat splitAt V1 V2 mark and isNatural V1 isLNat V2 active natsFrom N mark U41 isNatural N N active sel N XS mark U51 and isNatural N isLNat XS N XS active snd pair X Y mark U61 and isLNat X isLNat Y Y active splitAt 0 XS mark U71 isLNat XS XS active splitAt s N cons X XS mark U81 and isNatural N and isNatural X isLNat XS N X XS active tail cons N XS mark U91 and isNatural N isLNat XS XS active take N XS mark U101 and isNatural N isLNat XS N XS mark U101 X1 X2 X3 active U101 mark X1 X2 X3 mark tt active tt mark fst X active fst mark X mark splitAt X1 X2 active splitAt mark X1 mark X2 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark snd X active snd mark X mark U21 X1 X2 active U21 mark X1 X2 mark U31 X1 X2 active U31 mark X1 X2 mark U41 X1 X2 active U41 mark X1 X2 mark cons X1 X2 active cons mark X1 X2 mark natsFrom X active natsFrom mark X mark s X active s mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark head X active head mark X mark afterNth X1 X2 active afterNth mark X1 mark X2 mark U61 X1 X2 active U61 mark X1 X2 mark U71 X1 X2 active U71 mark X1 X2 mark pair X1 X2 active pair mark X1 mark X2 mark nil active nil mark U81 X1 X2 X3 X4 active U81 mark X1 X2 X3 X4 mark U82 X1 X2 active U82 mark X1 X2 mark U91 X1 X2 active U91 mark X1 X2 mark and X1 X2 active and mark X1 X2 mark isNatural X active isNatural X mark isLNat X active isLNat X mark isPLNat X active isPLNat X mark tail X active tail mark X mark take X1 X2 active take mark X1 mark X2 mark 0 active 0 mark sel X1 X2 active sel mark X1 mark X2 U101 mark X1 X2 X3 U101 X1 X2 X3 U101 X1 mark X2 X3 U101 X1 X2 X3 U101 X1 X2 mark X3 U101 X1 X2 X3 U101 active X1 X2 X3 U101 X1 X2 X3 U101 X1 active X2 X3 U101 X1 X2 X3 U101 X1 X2 active X3 U101 X1 X2 X3 fst mark X fst X fst active X fst X splitAt mark X1 X2 splitAt X1 X2 splitAt X1 mark X2 splitAt X1 X2 splitAt active X1 X2 splitAt X1 X2 splitAt X1 active X2 splitAt X1 X2 U11 mark X1 X2 X3 U11 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U11 active X1 X2 X3 U11 X1 X2 X3 U11 X1 active X2 X3 U11 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 snd mark X snd X snd active X snd X U21 mark X1 X2 U21 X1 X2 U21 X1 mark X2 U21 X1 X2 U21 active X1 X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U31 mark X1 X2 U31 X1 X2 U31 X1 mark X2 U31 X1 X2 U31 active X1 X2 U31 X1 X2 U31 X1 active X2 U31 X1 X2 U41 mark X1 X2 U41 X1 X2 U41 X1 mark X2 U41 X1 X2 U41 active X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 natsFrom mark X natsFrom X natsFrom active X natsFrom X s mark X s X s active X s X U51 mark X1 X2 X3 U51 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U51 active X1 X2 X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 U51 X1 X2 active X3 U51 X1 X2 X3 head mark X head X head active X head X afterNth mark X1 X2 afterNth X1 X2 afterNth X1 mark X2 afterNth X1 X2 afterNth active X1 X2 afterNth X1 X2 afterNth X1 active X2 afterNth X1 X2 U61 mark X1 X2 U61 X1 X2 U61 X1 mark X2 U61 X1 X2 U61 active X1 X2 U61 X1 X2 U61 X1 active X2 U61 X1 X2 U71 mark X1 X2 U71 X1 X2 U71 X1 mark X2 U71 X1 X2 U71 active X1 X2 U71 X1 X2 U71 X1 active X2 U71 X1 X2 pair mark X1 X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 U81 mark X1 X2 X3 X4 U81 X1 X2 X3 X4 U81 X1 mark X2 X3 X4 U81 X1 X2 X3 X4 U81 X1 X2 mark X3 X4 U81 X1 X2 X3 X4 U81 X1 X2 X3 mark X4 U81 X1 X2 X3 X4 U81 active X1 X2 X3 X4 U81 X1 X2 X3 X4 U81 X1 active X2 X3 X4 U81 X1 X2 X3 X4 U81 X1 X2 active X3 X4 U81 X1 X2 X3 X4 U81 X1 X2 X3 active X4 U81 X1 X2 X3 X4 U82 mark X1 X2 U82 X1 X2 U82 X1 mark X2 U82 X1 X2 U82 active X1 X2 U82 X1 X2 U82 X1 active X2 U82 X1 X2 U91 mark X1 X2 U91 X1 X2 U91 X1 mark X2 U91 X1 X2 U91 active X1 X2 U91 X1 X2 U91 X1 active X2 U91 X1 X2 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 isNatural mark X isNatural X isNatural active X isNatural X isLNat mark X isLNat X isLNat active X isLNat X isPLNat mark X isPLNat X isPLNat active X isPLNat X tail mark X tail X tail active X tail X take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 active 1 U101 3 tt 0 mark 1 fst 1 splitAt 2 U11 3 snd 1 U21 2 U31 2 U41 2 cons 2 natsFrom 1 s 1 U51 3 head 1 afterNth 2 U61 2 U71 2 pair 2 nil 0 U81 4 U82 2 U91 2 and 2 isNatural 1 isLNat 1 isPLNat 1 tail 1 take 2 0 0 sel 2 INNERMOST ./TRS/TRCSR/inn/LISTUTILITIES_nokinds_iGM.trs