/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active U11 tt N X XS mark U12 splitAt N XS X active U12 pair YS ZS X mark pair cons X YS ZS active afterNth N XS mark snd splitAt N XS active and tt X mark X active fst pair X Y mark X active head cons N XS mark N active natsFrom N mark cons N natsFrom s N active sel N XS mark head afterNth N XS active snd pair X Y mark Y active splitAt 0 XS mark pair nil XS active splitAt s N cons X XS mark U11 tt N X XS active tail cons N XS mark XS active take N XS mark fst splitAt N XS mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 mark tt active tt mark U12 X1 X2 active U12 mark X1 X2 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark pair X1 X2 active pair mark X1 mark X2 mark cons X1 X2 active cons mark X1 X2 mark afterNth X1 X2 active afterNth mark X1 mark X2 mark snd X active snd mark X mark and X1 X2 active and mark X1 X2 mark fst X active fst mark X mark head X active head mark X mark natsFrom X active natsFrom mark X mark s X active s mark X mark sel X1 X2 active sel mark X1 mark X2 mark 0 active 0 mark nil active nil mark tail X active tail mark X mark take X1 X2 active take mark X1 mark X2 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 U12 mark X1 X2 U12 X1 X2 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 U12 X1 active X2 U12 X1 X2 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 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 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 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 snd mark X snd X snd active X snd X 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 fst mark X fst X fst active X fst X head mark X head X head active X head X natsFrom mark X natsFrom X natsFrom active X natsFrom X s mark X s X s active X s X 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 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 2.2 active U12 pair YS ZS X pair cons X YS ZS mark and X1 X2 active and mark X1 X2 mark fst X mark X active take N XS mark fst splitAt N XS afterNth X1 mark X2 afterNth X1 X2 splitAt mark X1 X2 splitAt X1 X2 mark natsFrom X natsFrom mark X splitAt X1 mark X2 splitAt X1 X2 mark fst X fst mark X active afterNth N XS mark snd splitAt N XS mark splitAt X1 X2 active splitAt mark X1 mark X2 mark fst X active fst mark X mark head X active head mark X mark U12 X1 X2 mark X1 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 mark splitAt X1 X2 mark X1 mark sel X1 X2 sel mark X1 mark X2 active natsFrom N cons N natsFrom s N head active X head X tail active X tail X mark afterNth X1 X2 mark X2 active tail cons N XS mark XS active sel N XS mark head afterNth N XS active natsFrom N s N mark U12 X1 X2 active U12 mark X1 X2 active natsFrom N natsFrom s N mark U11 X1 X2 X3 X4 mark X1 mark U12 X1 X2 U12 mark X1 X2 mark tail X tail mark X mark head X head mark X active afterNth N XS snd splitAt N XS U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 and mark X1 X2 and X1 X2 mark snd X snd mark X mark pair X1 X2 mark X1 take active X1 X2 take X1 X2 mark natsFrom X mark X natsFrom mark X natsFrom X mark sel X1 X2 active sel mark X1 mark X2 head mark X head X mark take X1 X2 mark X1 s active X s X splitAt active X1 X2 splitAt X1 X2 U12 X1 mark X2 U12 X1 X2 mark splitAt X1 X2 mark X2 mark U11 X1 X2 X3 X4 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 mark snd X active snd mark X snd mark X snd X afterNth X1 active X2 afterNth X1 X2 mark afterNth X1 X2 mark X1 active head cons N XS mark N take mark X1 X2 take X1 X2 s mark X s X sel X1 active X2 sel X1 X2 active splitAt 0 XS pair nil XS tail mark X tail X mark splitAt X1 X2 splitAt mark X1 mark X2 mark afterNth X1 X2 afterNth mark X1 mark X2 mark cons X1 X2 cons mark X1 X2 U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 active take N XS splitAt N XS and active X1 X2 and X1 X2 mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 mark pair X1 X2 mark X2 active fst pair X Y mark X mark snd X mark X splitAt X1 active X2 splitAt X1 X2 mark s X mark X mark tail X mark X active take N XS fst splitAt N XS mark take X1 X2 mark X2 mark take X1 X2 active take mark X1 mark X2 cons X1 active X2 cons X1 X2 mark pair X1 X2 active pair mark X1 mark X2 U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 pair active X1 X2 pair X1 X2 afterNth active X1 X2 afterNth X1 X2 mark tt active tt mark and X1 X2 mark X1 take X1 active X2 take X1 X2 mark head X mark X U12 active X1 X2 U12 X1 X2 mark sel X1 X2 mark X1 active U11 tt N X XS mark U12 splitAt N XS X mark sel X1 X2 mark X2 pair X1 mark X2 pair X1 X2 active splitAt s N cons X XS mark U11 tt N X XS active natsFrom N mark cons N natsFrom s N active U11 tt N X XS U12 splitAt N XS X mark nil active nil take X1 mark X2 take X1 X2 mark natsFrom X active natsFrom mark X pair X1 active X2 pair X1 X2 U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 active and tt X mark X active splitAt s N cons X XS U11 tt N X XS and X1 active X2 and X1 X2 mark and X1 X2 and mark X1 X2 U12 mark X1 X2 U12 X1 X2 mark tail X active tail mark X active afterNth N XS splitAt N XS pair mark X1 X2 pair X1 X2 active snd pair X Y mark Y sel mark X1 X2 sel X1 X2 active sel N XS afterNth N XS cons mark X1 X2 cons X1 X2 mark s X s mark X fst active X fst X mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 cons active X1 X2 cons X1 X2 mark afterNth X1 X2 active afterNth mark X1 mark X2 mark pair X1 X2 pair mark X1 mark X2 sel active X1 X2 sel X1 X2 snd active X snd X natsFrom active X natsFrom X active U12 pair YS ZS X cons X YS active splitAt 0 XS mark pair nil XS active U12 pair YS ZS X mark pair cons X YS ZS active sel N XS head afterNth N XS afterNth mark X1 X2 afterNth X1 X2 fst mark X fst X active U11 tt N X XS splitAt N XS cons X1 mark X2 cons X1 X2 mark cons X1 X2 mark X1 and X1 mark X2 and X1 X2 U12 X1 active X2 U12 X1 X2 mark s X active s mark X U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 mark take X1 X2 take mark X1 mark X2 sel X1 mark X2 sel X1 X2 true mark pair X1 X2 active pair mark X1 mark X2 mark s X active s mark X mark take X1 X2 mark X2 mark take X1 X2 active take mark X1 mark X2 mark tail X mark X mark s X mark X mark cons X1 X2 mark X1 mark snd X mark X active fst pair X Y mark X mark pair X1 X2 mark X2 mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 active U12 pair YS ZS X mark pair cons X YS ZS active head cons N XS mark N active splitAt 0 XS mark pair nil XS mark afterNth X1 X2 mark X1 mark snd X active snd mark X mark afterNth X1 X2 active afterNth mark X1 mark X2 mark cons X1 X2 active cons mark X1 X2 mark splitAt X1 X2 mark X2 mark take X1 X2 mark X1 active snd pair X Y mark Y mark sel X1 X2 active sel mark X1 mark X2 mark natsFrom X mark X mark pair X1 X2 mark X1 mark tail X active tail mark X mark U11 X1 X2 X3 X4 mark X1 mark U12 X1 X2 active U12 mark X1 X2 active sel N XS mark head afterNth N XS active tail cons N XS mark XS active and tt X mark X mark afterNth X1 X2 mark X2 mark natsFrom X active natsFrom mark X mark splitAt X1 X2 mark X1 mark U12 X1 X2 mark X1 active natsFrom N mark cons N natsFrom s N mark head X active head mark X active splitAt s N cons X XS mark U11 tt N X XS active U11 tt N X XS mark U12 splitAt N XS X mark sel X1 X2 mark X2 mark fst X active fst mark X mark splitAt X1 X2 active splitAt mark X1 mark X2 active afterNth N XS mark snd splitAt N XS mark sel X1 X2 mark X1 mark head X mark X mark and X1 X2 mark X1 active take N XS mark fst splitAt N XS mark and X1 X2 active and mark X1 X2 mark fst X mark X true U11 4 2 cons 2 0 s 1 1 take 2 0 take 2 2 and 2 2 pair 2 1 fst 1 2 natsFrom 1 2 head 1 0 splitAt 2 2 fst 1 0 U12 2 2 U12 2 0 tail 1 2 mark 1 2 0 0 4 sel 2 0 sel 2 2 s 1 0 afterNth 2 2 nil 0 28941 tail 1 0 splitAt 2 0 mark 1 3 afterNth 2 0 U11 4 0 active 1 1 0 head 1 2 snd 1 0 cons 2 1 natsFrom 1 0 active 1 1 0 snd 1 2 tt 0 3027 pair 2 0 and 2 0 mark fst X mark X mark and X1 X2 active and mark X1 X2 active take N XS mark fst splitAt N XS mark and X1 X2 mark X1 mark head X mark X mark sel X1 X2 mark X1 active afterNth N XS mark snd splitAt N XS mark splitAt X1 X2 active splitAt mark X1 mark X2 mark fst X active fst mark X mark sel X1 X2 mark X2 active U11 tt N X XS mark U12 splitAt N XS X active splitAt s N cons X XS mark U11 tt N X XS mark head X active head mark X active natsFrom N mark cons N natsFrom s N mark U12 X1 X2 mark X1 mark splitAt X1 X2 mark X1 mark natsFrom X active natsFrom mark X mark afterNth X1 X2 mark X2 active and tt X mark X active tail cons N XS mark XS active sel N XS mark head afterNth N XS mark U12 X1 X2 active U12 mark X1 X2 mark U11 X1 X2 X3 X4 mark X1 mark tail X active tail mark X mark pair X1 X2 mark X1 mark natsFrom X mark X mark sel X1 X2 active sel mark X1 mark X2 active snd pair X Y mark Y mark take X1 X2 mark X1 mark splitAt X1 X2 mark X2 mark afterNth X1 X2 active afterNth mark X1 mark X2 mark snd X active snd mark X mark afterNth X1 X2 mark X1 active splitAt 0 XS mark pair nil XS active head cons N XS mark N active U12 pair YS ZS X mark pair cons X YS ZS mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 mark pair X1 X2 mark X2 active fst pair X Y mark X mark snd X mark X mark cons X1 X2 mark X1 mark s X mark X mark tail X mark X mark take X1 X2 active take mark X1 mark X2 mark take X1 X2 mark X2 pair active X1 X2 pair X1 X2 take mark X1 X2 take X1 X2 cons active X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 head mark X head X and X1 mark X2 and X1 X2 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 snd mark X snd X U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 and X1 active X2 and X1 X2 splitAt mark X1 X2 splitAt X1 X2 s mark X s X U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 and active X1 X2 and X1 X2 U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 pair X1 mark X2 pair X1 X2 cons mark X1 X2 cons X1 X2 and mark X1 X2 and X1 X2 take active X1 X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 tail active X tail X head active X head X splitAt X1 mark X2 splitAt X1 X2 tail mark X tail X take X1 mark X2 take X1 X2 natsFrom mark X natsFrom X sel active X1 X2 sel X1 X2 afterNth X1 mark X2 afterNth X1 X2 pair X1 active X2 pair X1 X2 U12 mark X1 X2 U12 X1 X2 fst active X fst X cons X1 active X2 cons X1 X2 afterNth X1 active X2 afterNth X1 X2 U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 snd active X snd X afterNth active X1 X2 afterNth X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 pair mark X1 X2 pair X1 X2 natsFrom active X natsFrom X cons X1 mark X2 cons X1 X2 splitAt X1 active X2 splitAt X1 X2 s active X s X U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 splitAt active X1 X2 splitAt X1 X2 fst mark X fst X take X1 active X2 take X1 X2 U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 U12 X1 active X2 U12 X1 X2 mark pair X1 X2 mark X2 mark pair X1 X2 mark X1 active and tt X mark X active sel N XS mark head afterNth N XS active U11 tt N X XS mark U12 splitAt N XS X active afterNth N XS mark snd splitAt N XS mark U12 X1 X2 mark X1 mark U12 X1 X2 active U12 mark X1 X2 mark snd X mark X mark snd X active snd mark X mark s X mark X mark cons X1 X2 mark X1 mark splitAt X1 X2 mark X2 mark splitAt X1 X2 mark X1 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active fst pair X Y mark X active splitAt 0 XS mark pair nil XS active natsFrom N mark cons N natsFrom s N mark afterNth X1 X2 mark X2 mark afterNth X1 X2 mark X1 mark afterNth X1 X2 active afterNth mark X1 mark X2 mark natsFrom X mark X mark natsFrom X active natsFrom mark X mark tail X mark X mark tail X active tail mark X mark U11 X1 X2 X3 X4 mark X1 mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 mark take X1 X2 mark X2 mark take X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 active tail cons N XS mark XS mark fst X mark X mark fst X active fst mark X mark head X mark X mark head X active head mark X active splitAt s N cons X XS mark U11 tt N X XS active snd pair X Y mark Y active take N XS mark fst splitAt N XS active head cons N XS mark N active U12 pair YS ZS X mark pair cons X YS ZS true U11 4 1 12280 2 52186 3 81592 4 52185 0 cons 2 0 s 1 1 0 take 2 0 take 2 1 80411 2 80412 0 and 2 1 31394 2 31393 0 pair 2 1 52183 2 52182 0 fst 1 1 1 natsFrom 1 1 41620 head 1 0 splitAt 2 1 52186 2 52185 0 fst 1 0 U12 2 1 0 2 81591 0 U12 2 0 tail 1 1 31112 mark 1 1 0 0 0 31967 sel 2 0 sel 2 1 76886 2 76887 0 s 1 0 afterNth 2 1 59817 2 59818 0 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 0 afterNth 2 0 U11 4 0 active 1 1 0 head 1 1 17067 snd 1 0 cons 2 1 29407 2 0 0 natsFrom 1 0 active 1 1 0 snd 1 1 7630 tt 0 39904 pair 2 0 and 2 0 active U12 pair YS ZS X mark pair cons X YS ZS active splitAt s N cons X XS mark U11 tt N X XS mark head X active head mark X mark fst X active fst mark X mark take X1 X2 active take mark X1 mark X2 mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 mark tail X active tail mark X mark natsFrom X active natsFrom mark X mark afterNth X1 X2 active afterNth mark X1 mark X2 active natsFrom N mark cons N natsFrom s N mark and X1 X2 active and mark X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark s X mark X mark snd X active snd mark X mark U12 X1 X2 active U12 mark X1 X2 mark U12 X1 X2 mark X1 active U11 tt N X XS mark U12 splitAt N XS X mark pair X1 X2 active pair mark X1 mark X2 pair active X1 X2 pair X1 X2 take mark X1 X2 take X1 X2 active and tt X mark X mark tt active tt active sel N XS mark head afterNth N XS cons active X1 X2 cons X1 X2 active U11 tt N X XS mark U12 splitAt N XS X sel X1 active X2 sel X1 X2 active afterNth N XS mark snd splitAt N XS mark U12 X1 X2 active U12 mark X1 X2 mark snd X active snd mark X U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 head mark X head X mark s X active s mark X and X1 mark X2 and X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 mark splitAt X1 X2 active splitAt mark X1 mark X2 snd mark X snd X mark sel X1 X2 active sel mark X1 mark X2 U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 mark and X1 X2 active and mark X1 X2 mark 0 active 0 and X1 active X2 and X1 X2 splitAt mark X1 X2 splitAt X1 X2 active fst pair X Y mark X s mark X s X U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 and active X1 X2 and X1 X2 active splitAt 0 XS mark pair nil XS U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 active natsFrom N mark cons N natsFrom s N mark afterNth X1 X2 active afterNth mark X1 mark X2 mark natsFrom X active natsFrom mark X pair X1 mark X2 pair X1 X2 cons mark X1 X2 cons X1 X2 mark tail X active tail mark X and mark X1 X2 and X1 X2 mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 take active X1 X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 tail active X tail X mark take X1 X2 active take mark X1 mark X2 active tail cons N XS mark XS head active X head X splitAt X1 mark X2 splitAt X1 X2 tail mark X tail X take X1 mark X2 take X1 X2 mark fst X active fst mark X natsFrom mark X natsFrom X mark head X active head mark X sel active X1 X2 sel X1 X2 afterNth X1 mark X2 afterNth X1 X2 active splitAt s N cons X XS mark U11 tt N X XS active snd pair X Y mark Y active take N XS mark fst splitAt N XS pair X1 active X2 pair X1 X2 U12 mark X1 X2 U12 X1 X2 fst active X fst X cons X1 active X2 cons X1 X2 afterNth X1 active X2 afterNth X1 X2 active head cons N XS mark N U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 snd active X snd X afterNth active X1 X2 afterNth X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 pair mark X1 X2 pair X1 X2 natsFrom active X natsFrom X cons X1 mark X2 cons X1 X2 splitAt X1 active X2 splitAt X1 X2 s active X s X U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 splitAt active X1 X2 splitAt X1 X2 fst mark X fst X take X1 active X2 take X1 X2 U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 mark nil active nil U12 X1 active X2 U12 X1 X2 active U12 pair YS ZS X mark pair cons X YS ZS active U11 tt N X XS mark U12 splitAt N XS X mark U12 X1 X2 mark X1 mark U12 X1 X2 active U12 mark X1 X2 mark snd X active snd mark X mark s X mark X mark splitAt X1 X2 active splitAt mark X1 mark X2 mark sel X1 X2 active sel mark X1 mark X2 mark and X1 X2 active and mark X1 X2 active natsFrom N mark cons N natsFrom s N mark afterNth X1 X2 active afterNth mark X1 mark X2 mark natsFrom X active natsFrom mark X mark tail X active tail mark X mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 mark take X1 X2 active take mark X1 mark X2 mark fst X active fst mark X mark head X active head mark X active splitAt s N cons X XS mark U11 tt N X XS active U12 pair YS ZS X mark pair cons X YS ZS true U11 4 4 cons 2 0 s 1 21098 take 2 0 take 2 1 and 2 3 pair 2 0 fst 1 3 natsFrom 1 4 head 1 0 splitAt 2 4 fst 1 0 U12 2 4 U12 2 0 tail 1 3 mark 1 4 0 0 3 sel 2 0 sel 2 1 s 1 0 afterNth 2 1 nil 0 3 tail 1 0 splitAt 2 0 mark 1 2 afterNth 2 0 U11 4 0 active 1 1 0 head 1 3 snd 1 0 cons 2 1771 natsFrom 1 0 active 1 1 0 snd 1 3 tt 0 0 pair 2 0 and 2 0 active U12 pair YS ZS X mark pair cons X YS ZS active splitAt s N cons X XS mark U11 tt N X XS mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 mark natsFrom X active natsFrom mark X active natsFrom N mark cons N natsFrom s N mark splitAt X1 X2 active splitAt mark X1 mark X2 mark s X mark X mark U12 X1 X2 active U12 mark X1 X2 mark U12 X1 X2 mark X1 active U11 tt N X XS mark U12 splitAt N XS X pair active X1 X2 pair X1 X2 take mark X1 X2 take X1 X2 cons active X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 head mark X head X and X1 mark X2 and X1 X2 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 snd mark X snd X U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 and X1 active X2 and X1 X2 splitAt mark X1 X2 splitAt X1 X2 s mark X s X U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 and active X1 X2 and X1 X2 U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 pair X1 mark X2 pair X1 X2 cons mark X1 X2 cons X1 X2 and mark X1 X2 and X1 X2 take active X1 X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 tail active X tail X head active X head X splitAt X1 mark X2 splitAt X1 X2 tail mark X tail X take X1 mark X2 take X1 X2 natsFrom mark X natsFrom X sel active X1 X2 sel X1 X2 afterNth X1 mark X2 afterNth X1 X2 pair X1 active X2 pair X1 X2 U12 mark X1 X2 U12 X1 X2 fst active X fst X cons X1 active X2 cons X1 X2 afterNth X1 active X2 afterNth X1 X2 U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 snd active X snd X afterNth active X1 X2 afterNth X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 pair mark X1 X2 pair X1 X2 natsFrom active X natsFrom X cons X1 mark X2 cons X1 X2 splitAt X1 active X2 splitAt X1 X2 s active X s X U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 splitAt active X1 X2 splitAt X1 X2 fst mark X fst X take X1 active X2 take X1 X2 U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 U12 X1 active X2 U12 X1 X2 active U11 tt N X XS mark U12 splitAt N XS X mark U12 X1 X2 mark X1 mark U12 X1 X2 active U12 mark X1 X2 mark s X mark X mark splitAt X1 X2 active splitAt mark X1 mark X2 active natsFrom N mark cons N natsFrom s N mark natsFrom X active natsFrom mark X mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 active splitAt s N cons X XS mark U11 tt N X XS active U12 pair YS ZS X mark pair cons X YS ZS true U11 4 0 cons 2 0 s 1 1 26557 take 2 0 take 2 1 2 49055 and 2 2 40856 pair 2 0 fst 1 73873 natsFrom 1 1 16494 head 1 0 splitAt 2 0 fst 1 0 U12 2 1 0 U12 2 0 tail 1 1 20683 mark 1 1 4 0 0 0 sel 2 0 sel 2 1 2 0 s 1 0 afterNth 2 1 2 11842 nil 0 50756 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 24818 head 1 24818 snd 1 0 cons 2 0 natsFrom 1 0 active 1 4 snd 1 1 36660 tt 0 6168 pair 2 0 and 2 0 active U12 pair YS ZS X mark pair cons X YS ZS active splitAt s N cons X XS mark U11 tt N X XS mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 active natsFrom N mark cons N natsFrom s N mark splitAt X1 X2 active splitAt mark X1 mark X2 mark U12 X1 X2 active U12 mark X1 X2 mark U12 X1 X2 mark X1 active U11 tt N X XS mark U12 splitAt N XS X pair active X1 X2 pair X1 X2 cons active X1 X2 cons X1 X2 U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 head mark X head X U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 snd mark X snd X U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 splitAt mark X1 X2 splitAt X1 X2 U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 pair X1 mark X2 pair X1 X2 cons mark X1 X2 cons X1 X2 head active X head X splitAt X1 mark X2 splitAt X1 X2 pair X1 active X2 pair X1 X2 U12 mark X1 X2 U12 X1 X2 fst active X fst X cons X1 active X2 cons X1 X2 U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 snd active X snd X pair mark X1 X2 pair X1 X2 cons X1 mark X2 cons X1 X2 splitAt X1 active X2 splitAt X1 X2 U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 splitAt active X1 X2 splitAt X1 X2 fst mark X fst X U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 U12 X1 active X2 U12 X1 X2 active U11 tt N X XS mark U12 splitAt N XS X mark U12 X1 X2 mark X1 mark U12 X1 X2 active U12 mark X1 X2 mark splitAt X1 X2 active splitAt mark X1 mark X2 active natsFrom N mark cons N natsFrom s N mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 active splitAt s N cons X XS mark U11 tt N X XS active U12 pair YS ZS X mark pair cons X YS ZS true U11 4 1 cons 2 0 s 1 2 take 2 0 take 2 1 and 2 2 pair 2 1 fst 1 4 natsFrom 1 2 head 1 0 splitAt 2 1 fst 1 0 U12 2 1 U12 2 0 tail 1 1 mark 1 4 0 0 1 sel 2 0 sel 2 1 s 1 0 afterNth 2 1 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 4 head 1 20261 snd 1 0 cons 2 0 natsFrom 1 0 active 1 1 3 snd 1 25472 tt 0 2 pair 2 0 and 2 0 active U12 pair YS ZS X mark pair cons X YS ZS active splitAt s N cons X XS mark U11 tt N X XS mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark U12 X1 X2 active U12 mark X1 X2 mark U12 X1 X2 mark X1 active U11 tt N X XS mark U12 splitAt N XS X pair active X1 X2 pair X1 X2 take mark X1 X2 take X1 X2 cons active X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 head mark X head X and X1 mark X2 and X1 X2 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 snd mark X snd X U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 and X1 active X2 and X1 X2 splitAt mark X1 X2 splitAt X1 X2 s mark X s X U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 and active X1 X2 and X1 X2 U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 pair X1 mark X2 pair X1 X2 cons mark X1 X2 cons X1 X2 and mark X1 X2 and X1 X2 take active X1 X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 tail active X tail X head active X head X splitAt X1 mark X2 splitAt X1 X2 tail mark X tail X take X1 mark X2 take X1 X2 natsFrom mark X natsFrom X sel active X1 X2 sel X1 X2 afterNth X1 mark X2 afterNth X1 X2 pair X1 active X2 pair X1 X2 U12 mark X1 X2 U12 X1 X2 fst active X fst X cons X1 active X2 cons X1 X2 afterNth X1 active X2 afterNth X1 X2 U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 snd active X snd X afterNth active X1 X2 afterNth X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 pair mark X1 X2 pair X1 X2 natsFrom active X natsFrom X cons X1 mark X2 cons X1 X2 splitAt X1 active X2 splitAt X1 X2 s active X s X U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 splitAt active X1 X2 splitAt X1 X2 fst mark X fst X take X1 active X2 take X1 X2 U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 U12 X1 active X2 U12 X1 X2 active U11 tt N X XS mark U12 splitAt N XS X mark U12 X1 X2 mark X1 mark U12 X1 X2 active U12 mark X1 X2 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 active splitAt s N cons X XS mark U11 tt N X XS active U12 pair YS ZS X mark pair cons X YS ZS true head 1 1 fst 1 1 mark 1 1 mark 1 1 afterNth 2 1 active 1 1 active 1 1 U11 4 6 2 3 cons 2 0 s 1 0 1 take 2 0 2 take 2 2 and 2 4 2 1 pair 2 1 2 1 fst 1 4 natsFrom 1 5 splitAt 2 6 1 U12 2 2 1 U12 2 0 tail 1 4 0 0 0 sel 2 0 1 sel 2 4 1 2 s 1 0 afterNth 2 4 2 1 nil 0 7 tail 1 0 splitAt 2 0 2 1 U11 4 0 1 4 2 3 head 1 3 snd 1 0 cons 2 4 natsFrom 1 0 snd 1 2 tt 0 8 pair 2 0 1 2 and 2 0 1 2 U11 4 1 69708 2 0 3 69708 4 69708 0 cons 2 1 0 0 s 1 1 0 take 2 2 1 take 2 1 2 95995 and 2 1 2 21656 pair 2 1 34854 2 34853 0 fst 1 1 26286 natsFrom 1 1 2998 splitAt 2 1 0 2 69708 0 U12 2 1 0 2 34855 0 U12 2 2 1 0 tail 1 1 14681 0 0 34852 sel 2 1 1 sel 2 1 2 141036 s 1 1 afterNth 2 1 2 101601 nil 0 34853 tail 1 1 splitAt 2 1 1 2 1 0 U11 4 1 1 2 1 3 1 4 1 0 head 1 1 39434 snd 1 1 cons 2 1 0 2 0 0 natsFrom 1 1 snd 1 1 31892 tt 0 0 pair 2 1 1 2 1 0 and 2 1 2 1 mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark U12 X1 X2 active U12 mark X1 X2 mark pair X1 X2 active pair mark X1 mark X2 pair active X1 X2 pair X1 X2 take mark X1 X2 take X1 X2 active and tt X mark X mark tt active tt active sel N XS mark head afterNth N XS cons active X1 X2 cons X1 X2 active U11 tt N X XS mark U12 splitAt N XS X sel X1 active X2 sel X1 X2 active afterNth N XS mark snd splitAt N XS mark U12 X1 X2 active U12 mark X1 X2 mark snd X active snd mark X U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 head mark X head X mark s X active s mark X and X1 mark X2 and X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 mark splitAt X1 X2 active splitAt mark X1 mark X2 snd mark X snd X mark sel X1 X2 active sel mark X1 mark X2 U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 mark and X1 X2 active and mark X1 X2 mark 0 active 0 and X1 active X2 and X1 X2 splitAt mark X1 X2 splitAt X1 X2 active fst pair X Y mark X s mark X s X U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 and active X1 X2 and X1 X2 active splitAt 0 XS mark pair nil XS U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 active natsFrom N mark cons N natsFrom s N mark afterNth X1 X2 active afterNth mark X1 mark X2 mark natsFrom X active natsFrom mark X pair X1 mark X2 pair X1 X2 cons mark X1 X2 cons X1 X2 mark tail X active tail mark X and mark X1 X2 and X1 X2 mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 take active X1 X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 tail active X tail X mark take X1 X2 active take mark X1 mark X2 active tail cons N XS mark XS head active X head X splitAt X1 mark X2 splitAt X1 X2 tail mark X tail X take X1 mark X2 take X1 X2 mark fst X active fst mark X natsFrom mark X natsFrom X mark head X active head mark X sel active X1 X2 sel X1 X2 afterNth X1 mark X2 afterNth X1 X2 active splitAt s N cons X XS mark U11 tt N X XS active snd pair X Y mark Y active take N XS mark fst splitAt N XS pair X1 active X2 pair X1 X2 U12 mark X1 X2 U12 X1 X2 fst active X fst X cons X1 active X2 cons X1 X2 afterNth X1 active X2 afterNth X1 X2 active head cons N XS mark N U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 snd active X snd X afterNth active X1 X2 afterNth X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 pair mark X1 X2 pair X1 X2 natsFrom active X natsFrom X cons X1 mark X2 cons X1 X2 splitAt X1 active X2 splitAt X1 X2 s active X s X U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 splitAt active X1 X2 splitAt X1 X2 fst mark X fst X take X1 active X2 take X1 X2 U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 mark nil active nil U12 X1 active X2 U12 X1 X2 active U12 pair YS ZS X mark pair cons X YS ZS mark U12 X1 X2 active U12 mark X1 X2 false mark splitAt X1 X2 active splitAt mark X1 mark X2 false mark U11 X1 X2 X3 X4 active U11 mark X1 X2 X3 X4 false mark nil active nil false mark head X head mark X false mark fst X fst mark X false active U12 pair YS ZS X cons X YS false mark take X1 X2 take mark X1 mark X2 false take mark X1 X2 take X1 X2 take active X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take X1 active X2 take X1 X2 true U11 4 1 3 4 9999 cons 2 0 s 1 21331 take 2 1 2 0 take 2 1 2 52739 and 2 35083 pair 2 23726 fst 1 1 29021 natsFrom 1 8136 head 1 0 splitAt 2 23720 fst 1 0 U12 2 23724 U12 2 0 tail 1 21220 mark 1 3 0 0 1 sel 2 0 sel 2 1 62118 s 1 0 afterNth 2 1 2 38885 nil 0 7193 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 1 23235 snd 1 0 cons 2 1 8138 natsFrom 1 0 active 1 3 snd 1 1 15167 tt 0 13723 pair 2 0 and 2 0 s mark X s X s active X s X mark U11 X1 X2 X3 X4 U11 mark X1 X2 X3 X4 false active take N XS fst splitAt N XS false fst mark X fst X fst active X fst X true U11 4 1 3 4 1327 cons 2 0 s 1 28587 take 2 0 take 2 1 2 36987 and 2 22267 pair 2 23726 fst 1 1 31437 natsFrom 1 31852 head 1 0 splitAt 2 5552 fst 1 1 0 U12 2 5556 U12 2 0 tail 1 40582 mark 1 3 0 0 33242 sel 2 0 sel 2 1 50410 s 1 0 afterNth 2 1 2 49097 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 1 1315 snd 1 0 cons 2 1 31854 natsFrom 1 0 active 1 3 snd 1 1 43547 tt 0 4227 pair 2 0 and 2 0 s mark X s X s active X s X active take N XS splitAt N XS false mark tail X tail mark X false tail mark X tail X tail active X tail X true U11 4 1 3 4 592 cons 2 0 s 1 23743 take 2 0 take 2 1 2 37950 and 2 42802 pair 2 3961 fst 1 1 33997 natsFrom 1 23296 head 1 0 splitAt 2 3955 fst 1 0 U12 2 3959 U12 2 0 tail 1 24542 mark 1 3 0 0 19049 sel 2 0 sel 2 1 9481 s 1 0 afterNth 2 1 2 4000 nil 0 1 tail 1 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 1 5483 snd 1 0 cons 2 1 23298 natsFrom 1 0 active 1 3 snd 1 1 47 tt 0 3365 pair 2 0 and 2 0 s mark X s X s active X s X mark natsFrom X natsFrom mark X false active splitAt s N cons X XS U11 tt N X XS false U11 active X1 X2 X3 X4 U11 X1 X2 X3 X4 U11 X1 mark X2 X3 X4 U11 X1 X2 X3 X4 U11 X1 X2 mark X3 X4 U11 X1 X2 X3 X4 U11 X1 active X2 X3 X4 U11 X1 X2 X3 X4 U11 X1 X2 X3 active X4 U11 X1 X2 X3 X4 U11 X1 X2 X3 mark X4 U11 X1 X2 X3 X4 U11 X1 X2 active X3 X4 U11 X1 X2 X3 X4 U11 mark X1 X2 X3 X4 U11 X1 X2 X3 X4 true U11 4 1 3 4 2 cons 2 0 s 1 1 take 2 0 take 2 1 2 1 and 2 39784 pair 2 8 fst 1 1 1 natsFrom 1 1 head 1 0 splitAt 2 2 fst 1 0 U12 2 6 U12 2 0 tail 1 1 mark 1 3 0 0 1 sel 2 0 sel 2 1 1 s 1 0 afterNth 2 1 2 16422 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 1 2 3 4 0 active 1 1 2 head 1 1 13963 snd 1 0 cons 2 1 3752 natsFrom 1 0 active 1 3 snd 1 1 16422 tt 0 2 pair 2 0 and 2 0 s mark X s X s active X s X mark afterNth X1 X2 afterNth mark X1 mark X2 false mark 0 active 0 false mark and X1 X2 and mark X1 X2 false and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 and X1 active X2 and X1 X2 true U11 4 1 3 4 3 cons 2 0 s 1 1 take 2 0 take 2 1 2 1 and 2 1 pair 2 8 fst 1 1 8785 natsFrom 1 1 head 1 0 splitAt 2 2 fst 1 0 U12 2 6 U12 2 0 tail 1 1 mark 1 3 0 0 35361 sel 2 0 sel 2 1 1 s 1 0 afterNth 2 1 2 1 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 1 30300 snd 1 0 cons 2 1 23709 natsFrom 1 0 active 1 3 snd 1 1 1 tt 0 1 pair 2 0 and 2 1 2 0 s mark X s X s active X s X active natsFrom N cons N natsFrom s N false active natsFrom N natsFrom s N false natsFrom active X natsFrom X natsFrom mark X natsFrom X true U11 4 1 3 4 1327 cons 2 0 s 1 1 take 2 0 take 2 1 2 53157 and 2 1 pair 2 23038 fst 1 1 30127 natsFrom 1 21965 head 1 0 splitAt 2 23032 fst 1 0 U12 2 23036 U12 2 0 tail 1 1 mark 1 3 0 0 33775 sel 2 0 sel 2 1 53817 s 1 0 afterNth 2 1 2 44521 nil 0 25971 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 1 9298 snd 1 0 cons 2 1 21967 natsFrom 1 1 0 active 1 3 snd 1 1 21491 tt 0 21707 pair 2 0 and 2 0 s mark X s X s active X s X active natsFrom N s N false mark sel X1 X2 sel mark X1 mark X2 false sel X1 mark X2 sel X1 X2 sel X1 active X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true U11 4 1 65024 cons 2 0 s 1 1 31408 take 2 0 take 2 24649 and 2 1 2 7847 pair 2 1 2 296 fst 1 24651 natsFrom 1 1 26610 head 1 0 splitAt 2 1 2 692 fst 1 0 U12 2 1 69706 U12 2 0 tail 1 43866 mark 1 3 0 0 1 sel 2 2 0 sel 2 46833 s 1 0 afterNth 2 1 26696 nil 0 399 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 1 20139 snd 1 0 cons 2 1 2 38294 natsFrom 1 0 active 1 3 snd 1 1 26006 tt 0 5372 pair 2 0 and 2 0 sel mark X1 X2 sel X1 X2 sel active X1 X2 sel X1 X2 cons active X1 X2 cons X1 X2 s mark X s X cons mark X1 X2 cons X1 X2 natsFrom mark X natsFrom X cons X1 active X2 cons X1 X2 natsFrom active X natsFrom X cons X1 mark X2 cons X1 X2 s active X s X sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true U11 4 1 2 4 1995 cons 2 0 s 1 27727 take 2 0 take 2 23485 and 2 45942 pair 2 2 4715 fst 1 1 18778 natsFrom 1 40346 head 1 0 splitAt 2 4709 fst 1 0 U12 2 2 4713 U12 2 0 tail 1 1 38367 mark 1 3 0 0 1836 sel 2 1 0 sel 2 1 55375 s 1 0 afterNth 2 32962 nil 0 52245 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 55377 snd 1 0 cons 2 1 2 10596 natsFrom 1 0 active 1 3 snd 1 1 28255 tt 0 2716 pair 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X active splitAt 0 XS pair nil XS false mark splitAt X1 X2 splitAt mark X1 mark X2 false mark cons X1 X2 cons mark X1 X2 false cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true U11 4 1 2 4 1 cons 2 1 2 0 s 1 15114 take 2 0 take 2 1 and 2 1 pair 2 2 7 fst 1 1 4634 natsFrom 1 36200 head 1 0 splitAt 2 1 fst 1 0 U12 2 2 5 U12 2 0 tail 1 1 1 mark 1 3 0 0 1 sel 2 0 sel 2 1 1 s 1 0 afterNth 2 30322 nil 0 37535 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 3 snd 1 0 cons 2 1 2 2 natsFrom 1 0 active 1 3 snd 1 1 30323 tt 0 2 pair 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X active afterNth N XS snd splitAt N XS false active afterNth N XS splitAt N XS false mark s X s mark X false s mark X s X s active X s X true U11 4 1 2 4 122 cons 2 0 s 1 30389 take 2 0 take 2 30746 and 2 23357 pair 2 2 10028 fst 1 1 20726 natsFrom 1 31754 head 1 0 splitAt 2 10022 fst 1 0 U12 2 2 10026 U12 2 0 tail 1 1 38435 mark 1 3 0 0 1 sel 2 0 sel 2 1 42827 s 1 1 0 afterNth 2 18015 nil 0 51347 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 42829 snd 1 0 cons 2 1 2 27298 natsFrom 1 0 active 1 3 snd 1 1 7995 tt 0 9902 pair 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X active U11 tt N X XS U12 splitAt N XS X false active U11 tt N X XS splitAt N XS false splitAt X1 active X2 splitAt X1 X2 splitAt active X1 X2 splitAt X1 X2 splitAt X1 mark X2 splitAt X1 X2 splitAt mark X1 X2 splitAt X1 X2 true U11 4 1 2 4 3 cons 2 0 s 1 1 take 2 0 take 2 27114 and 2 32810 pair 2 2 8 fst 1 1 27114 natsFrom 1 32615 head 1 0 splitAt 2 2 fst 1 0 U12 2 2 6 U12 2 0 tail 1 1 1 mark 1 3 0 0 1 sel 2 0 sel 2 1 1 s 1 0 afterNth 2 1 nil 0 51347 tail 1 0 splitAt 2 1 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 3 snd 1 0 cons 2 1 2 22135 natsFrom 1 0 active 1 3 snd 1 1 12699 tt 0 1 pair 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X mark snd X snd mark X false snd mark X snd X snd active X snd X true U11 4 1 2 4 458 cons 2 0 s 1 28631 take 2 0 take 2 14114 and 2 61300 pair 2 2 464 fst 1 1 13658 natsFrom 1 26378 head 1 0 splitAt 2 458 fst 1 0 U12 2 2 462 U12 2 0 tail 1 1 51797 mark 1 3 0 0 13507 sel 2 0 sel 2 1 39676 s 1 0 afterNth 2 12473 nil 0 20153 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 39678 snd 1 1 0 cons 2 1 2 12146 natsFrom 1 0 active 1 3 snd 1 1 12017 tt 0 2 pair 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X active sel N XS head afterNth N XS false head mark X head X head active X head X true U11 4 1 2 4 2 cons 2 0 s 1 13314 take 2 0 take 2 35607 and 2 36329 pair 2 2 7 fst 1 1 35608 natsFrom 1 26058 head 1 1 0 splitAt 2 1 fst 1 0 U12 2 2 5 U12 2 0 tail 1 1 43359 mark 1 3 0 0 11654 sel 2 0 sel 2 1 52904 s 1 0 afterNth 2 38641 nil 0 27829 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 52906 snd 1 0 cons 2 1 2 27366 natsFrom 1 0 active 1 3 snd 1 1 38642 tt 0 1 pair 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X active sel N XS afterNth N XS false mark U12 X1 X2 U12 mark X1 X2 false U12 X1 active X2 U12 X1 X2 U12 X1 mark X2 U12 X1 X2 U12 mark X1 X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 true U11 4 1 2 4 30427 cons 2 0 s 1 1 take 2 0 take 2 20719 and 2 1 pair 2 2 32027 fst 1 1 20720 natsFrom 1 20992 head 1 0 splitAt 2 1 fst 1 0 U12 2 2 32025 U12 2 1 2 0 tail 1 1 20966 mark 1 3 0 0 11654 sel 2 0 sel 2 1 49250 s 1 0 afterNth 2 28072 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 49252 snd 1 0 cons 2 1 2 32224 natsFrom 1 0 active 1 3 snd 1 1 28073 tt 0 1596 pair 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X mark tt active tt false mark pair X1 X2 pair mark X1 mark X2 false active U12 pair YS ZS X pair cons X YS ZS false pair active X1 X2 pair X1 X2 pair mark X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 true U11 4 1 2 4 1 cons 2 0 s 1 1 take 2 0 take 2 1 and 2 1 pair 2 2 7 fst 1 1 2 natsFrom 1 40158 head 1 0 splitAt 2 1 fst 1 0 U12 2 2 5 U12 2 0 tail 1 1 4115 mark 1 3 0 0 11654 sel 2 0 sel 2 1 1 s 1 0 afterNth 2 1 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 U11 4 0 active 1 1 2 head 1 3 snd 1 0 cons 2 1 2 28110 natsFrom 1 0 active 1 3 snd 1 1 2 tt 0 2 pair 2 1 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X afterNth mark X1 X2 afterNth X1 X2 afterNth X1 active X2 afterNth X1 X2 afterNth X1 mark X2 afterNth X1 X2 afterNth active X1 X2 afterNth X1 X2 true U11 4 1 2 4 1 cons 2 0 s 1 9542 take 2 0 take 2 1 and 2 24764 pair 2 2 7 fst 1 1 15687 natsFrom 1 30500 head 1 0 splitAt 2 1 fst 1 0 U12 2 2 5 U12 2 0 tail 1 1 1 mark 1 3 0 0 11654 sel 2 0 sel 2 1 1 s 1 0 afterNth 2 1 nil 0 43654 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 1 2 0 U11 4 0 active 1 1 2 head 1 3 snd 1 0 cons 2 1 2 2 natsFrom 1 0 active 1 3 snd 1 1 2 tt 0 2 pair 2 0 and 2 0 pair active X1 X2 pair X1 X2 s mark X s X pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 s active X s X NaTT certifiable-1.6