active U11 tt N XS mark U12 tt N XS active U12 tt N XS mark snd splitAt N XS active U21 tt X mark U22 tt X active U22 tt X mark X active U31 tt N mark U32 tt N active U32 tt N mark N active U41 tt N XS mark U42 tt N XS active U42 tt N XS mark head afterNth N XS active U51 tt Y mark U52 tt Y active U52 tt Y mark Y active U61 tt N X XS mark U62 tt N X XS active U62 tt N X XS mark U63 tt N X XS active U63 tt N X XS mark U64 splitAt N XS X active U64 pair YS ZS X mark pair cons X YS ZS active U71 tt XS mark U72 tt XS active U72 tt XS mark XS active U81 tt N XS mark U82 tt N XS active U82 tt N XS mark fst splitAt N XS active afterNth N XS mark U11 tt N XS active fst pair X Y mark U21 tt X active head cons N XS mark U31 tt N active natsFrom N mark cons N natsFrom s N active sel N XS mark U41 tt N XS active snd pair X Y mark U51 tt Y active splitAt 0 XS mark pair nil XS active splitAt s N cons X XS mark U61 tt N X XS active tail cons N XS mark U71 tt XS active take N XS mark U81 tt N XS active U11 X1 X2 X3 U11 active X1 X2 X3 active U12 X1 X2 X3 U12 active X1 X2 X3 active snd X snd active X active splitAt X1 X2 splitAt active X1 X2 active splitAt X1 X2 splitAt X1 active X2 active U21 X1 X2 U21 active X1 X2 active U22 X1 X2 U22 active X1 X2 active U31 X1 X2 U31 active X1 X2 active U32 X1 X2 U32 active X1 X2 active U41 X1 X2 X3 U41 active X1 X2 X3 active U42 X1 X2 X3 U42 active X1 X2 X3 active head X head active X active afterNth X1 X2 afterNth active X1 X2 active afterNth X1 X2 afterNth X1 active X2 active U51 X1 X2 U51 active X1 X2 active U52 X1 X2 U52 active X1 X2 active U61 X1 X2 X3 X4 U61 active X1 X2 X3 X4 active U62 X1 X2 X3 X4 U62 active X1 X2 X3 X4 active U63 X1 X2 X3 X4 U63 active X1 X2 X3 X4 active U64 X1 X2 U64 active X1 X2 active pair X1 X2 pair active X1 X2 active pair X1 X2 pair X1 active X2 active cons X1 X2 cons active X1 X2 active U71 X1 X2 U71 active X1 X2 active U72 X1 X2 U72 active X1 X2 active U81 X1 X2 X3 U81 active X1 X2 X3 active U82 X1 X2 X3 U82 active X1 X2 X3 active fst X fst active X active natsFrom X natsFrom active X active s X s active X active sel X1 X2 sel active X1 X2 active sel X1 X2 sel X1 active X2 active tail X tail active X active take X1 X2 take active X1 X2 active take X1 X2 take X1 active X2 U11 mark X1 X2 X3 mark U11 X1 X2 X3 U12 mark X1 X2 X3 mark U12 X1 X2 X3 snd mark X mark snd X splitAt mark X1 X2 mark splitAt X1 X2 splitAt X1 mark X2 mark splitAt X1 X2 U21 mark X1 X2 mark U21 X1 X2 U22 mark X1 X2 mark U22 X1 X2 U31 mark X1 X2 mark U31 X1 X2 U32 mark X1 X2 mark U32 X1 X2 U41 mark X1 X2 X3 mark U41 X1 X2 X3 U42 mark X1 X2 X3 mark U42 X1 X2 X3 head mark X mark head X afterNth mark X1 X2 mark afterNth X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 U51 mark X1 X2 mark U51 X1 X2 U52 mark X1 X2 mark U52 X1 X2 U61 mark X1 X2 X3 X4 mark U61 X1 X2 X3 X4 U62 mark X1 X2 X3 X4 mark U62 X1 X2 X3 X4 U63 mark X1 X2 X3 X4 mark U63 X1 X2 X3 X4 U64 mark X1 X2 mark U64 X1 X2 pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 U71 mark X1 X2 mark U71 X1 X2 U72 mark X1 X2 mark U72 X1 X2 U81 mark X1 X2 X3 mark U81 X1 X2 X3 U82 mark X1 X2 X3 mark U82 X1 X2 X3 fst mark X mark fst X natsFrom mark X mark natsFrom X s mark X mark s X sel mark X1 X2 mark sel X1 X2 sel X1 mark X2 mark sel X1 X2 tail mark X mark tail X take mark X1 X2 mark take X1 X2 take X1 mark X2 mark take X1 X2 proper U11 X1 X2 X3 U11 proper X1 proper X2 proper X3 proper tt ok tt proper U12 X1 X2 X3 U12 proper X1 proper X2 proper X3 proper snd X snd proper X proper splitAt X1 X2 splitAt proper X1 proper X2 proper U21 X1 X2 U21 proper X1 proper X2 proper U22 X1 X2 U22 proper X1 proper X2 proper U31 X1 X2 U31 proper X1 proper X2 proper U32 X1 X2 U32 proper X1 proper X2 proper U41 X1 X2 X3 U41 proper X1 proper X2 proper X3 proper U42 X1 X2 X3 U42 proper X1 proper X2 proper X3 proper head X head proper X proper afterNth X1 X2 afterNth proper X1 proper X2 proper U51 X1 X2 U51 proper X1 proper X2 proper U52 X1 X2 U52 proper X1 proper X2 proper U61 X1 X2 X3 X4 U61 proper X1 proper X2 proper X3 proper X4 proper U62 X1 X2 X3 X4 U62 proper X1 proper X2 proper X3 proper X4 proper U63 X1 X2 X3 X4 U63 proper X1 proper X2 proper X3 proper X4 proper U64 X1 X2 U64 proper X1 proper X2 proper pair X1 X2 pair proper X1 proper X2 proper cons X1 X2 cons proper X1 proper X2 proper U71 X1 X2 U71 proper X1 proper X2 proper U72 X1 X2 U72 proper X1 proper X2 proper U81 X1 X2 X3 U81 proper X1 proper X2 proper X3 proper U82 X1 X2 X3 U82 proper X1 proper X2 proper X3 proper fst X fst proper X proper natsFrom X natsFrom proper X proper s X s proper X proper sel X1 X2 sel proper X1 proper X2 proper 0 ok 0 proper nil ok nil proper tail X tail proper X proper take X1 X2 take proper X1 proper X2 U11 ok X1 ok X2 ok X3 ok U11 X1 X2 X3 U12 ok X1 ok X2 ok X3 ok U12 X1 X2 X3 snd ok X ok snd X splitAt ok X1 ok X2 ok splitAt X1 X2 U21 ok X1 ok X2 ok U21 X1 X2 U22 ok X1 ok X2 ok U22 X1 X2 U31 ok X1 ok X2 ok U31 X1 X2 U32 ok X1 ok X2 ok U32 X1 X2 U41 ok X1 ok X2 ok X3 ok U41 X1 X2 X3 U42 ok X1 ok X2 ok X3 ok U42 X1 X2 X3 head ok X ok head X afterNth ok X1 ok X2 ok afterNth X1 X2 U51 ok X1 ok X2 ok U51 X1 X2 U52 ok X1 ok X2 ok U52 X1 X2 U61 ok X1 ok X2 ok X3 ok X4 ok U61 X1 X2 X3 X4 U62 ok X1 ok X2 ok X3 ok X4 ok U62 X1 X2 X3 X4 U63 ok X1 ok X2 ok X3 ok X4 ok U63 X1 X2 X3 X4 U64 ok X1 ok X2 ok U64 X1 X2 pair ok X1 ok X2 ok pair X1 X2 cons ok X1 ok X2 ok cons X1 X2 U71 ok X1 ok X2 ok U71 X1 X2 U72 ok X1 ok X2 ok U72 X1 X2 U81 ok X1 ok X2 ok X3 ok U81 X1 X2 X3 U82 ok X1 ok X2 ok X3 ok U82 X1 X2 X3 fst ok X ok fst X natsFrom ok X ok natsFrom X s ok X ok s X sel ok X1 ok X2 ok sel X1 X2 tail ok X ok tail X take ok X1 ok X2 ok take X1 X2 top mark X top proper X top ok X top active X active 1 U11 3 tt 0 mark 1 U12 3 snd 1 splitAt 2 U21 2 U22 2 U31 2 U32 2 U41 3 U42 3 head 1 afterNth 2 U51 2 U52 2 U61 4 U62 4 U63 4 U64 2 pair 2 cons 2 U71 2 U72 2 U81 3 U82 3 fst 1 natsFrom 1 s 1 sel 2 0 0 nil 0 tail 1 take 2 proper 1 ok 1 top 1 INNERMOST ./TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_C.trs