active natsFrom N mark cons N natsFrom s N active fst pair XS YS mark XS active snd pair XS YS mark YS active splitAt 0 XS mark pair nil XS active splitAt s N cons X XS mark u splitAt N XS N X XS active u pair YS ZS N X XS mark pair cons X YS ZS active head cons N XS mark N active tail cons N XS mark XS active sel N XS mark head afterNth N XS active take N XS mark fst splitAt N XS active afterNth N XS mark snd splitAt N XS mark natsFrom X active natsFrom mark X mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark fst X active fst mark X mark pair X1 X2 active pair mark X1 mark X2 mark snd X active snd mark X mark splitAt X1 X2 active splitAt mark X1 mark X2 mark 0 active 0 mark nil active nil mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark head X active head mark X mark tail X active tail mark X mark sel X1 X2 active sel mark X1 mark X2 mark afterNth X1 X2 active afterNth mark X1 mark X2 mark take X1 X2 active take mark X1 mark X2 natsFrom mark X natsFrom X natsFrom active X natsFrom X 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 s mark X s X s active X s X fst mark X fst X fst active X fst X 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 snd mark X snd X snd active X snd 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 u mark X1 X2 X3 X4 u X1 X2 X3 X4 u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u active X1 X2 X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 head mark X head X head active X head X tail mark X tail X tail active X tail 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 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 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 splitAt mark X1 X2 splitAt X1 X2 mark take X1 X2 active take mark X1 mark X2 take active X1 X2 take X1 X2 active sel N XS afterNth N XS mark sel X1 X2 sel mark X1 mark X2 cons X1 active X2 cons X1 X2 afterNth X1 mark X2 afterNth X1 X2 mark natsFrom X mark X splitAt active X1 X2 splitAt X1 X2 mark splitAt X1 X2 mark X2 mark pair X1 X2 active pair mark X1 mark X2 mark tail X mark X mark sel X1 X2 mark X2 mark splitAt X1 X2 mark X1 active snd pair XS YS mark YS mark pair X1 X2 mark X1 fst active X fst X natsFrom active X natsFrom X cons active X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 splitAt X1 mark X2 splitAt X1 X2 head active X head X mark head X head mark X mark splitAt X1 X2 active splitAt mark X1 mark X2 mark head X active head mark X mark afterNth X1 X2 mark X1 mark splitAt X1 X2 splitAt mark X1 mark X2 active head cons N XS mark N take X1 active X2 take X1 X2 splitAt X1 active X2 splitAt X1 X2 mark afterNth X1 X2 mark X2 active splitAt 0 XS pair nil XS u X1 X2 mark X3 X4 u X1 X2 X3 X4 s mark X s X mark tail X tail mark X take X1 mark X2 take X1 X2 mark fst X fst mark X mark s X mark X tail active X tail X pair mark X1 X2 pair X1 X2 u X1 X2 active X3 X4 u X1 X2 X3 X4 mark pair X1 X2 mark X2 mark afterNth X1 X2 afterNth mark X1 mark X2 mark head X mark X active splitAt 0 XS mark pair nil XS mark u X1 X2 X3 X4 mark X1 mark cons X1 X2 active cons mark X1 X2 active splitAt s N cons X XS splitAt N XS u active X1 X2 X3 X4 u X1 X2 X3 X4 mark snd X snd mark X natsFrom mark X natsFrom X mark natsFrom X natsFrom mark X mark pair X1 X2 pair mark X1 mark X2 active splitAt s N cons X XS u splitAt N XS N X XS active natsFrom N cons N natsFrom s N u X1 mark X2 X3 X4 u X1 X2 X3 X4 active afterNth N XS snd splitAt N XS sel X1 mark X2 sel X1 X2 mark afterNth X1 X2 active afterNth mark X1 mark X2 mark take X1 X2 mark X2 mark snd X mark X u X1 X2 X3 mark X4 u X1 X2 X3 X4 sel active X1 X2 sel X1 X2 mark fst X active fst mark X pair active X1 X2 pair X1 X2 active afterNth N XS mark snd splitAt N XS sel X1 active X2 sel X1 X2 mark s X active s mark X mark cons X1 X2 cons mark X1 X2 mark fst X mark X head mark X head X mark take X1 X2 mark X1 snd active X snd X mark tail X active tail mark X u mark X1 X2 X3 X4 u X1 X2 X3 X4 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 u mark X1 X2 X3 X4 active take N XS fst splitAt N XS tail mark X tail X afterNth active X1 X2 afterNth X1 X2 afterNth X1 active X2 afterNth X1 X2 mark natsFrom X active natsFrom mark X active take N XS splitAt N XS active sel N XS head afterNth N XS pair X1 active X2 pair X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark 0 active 0 mark take X1 X2 take mark X1 mark X2 active sel N XS mark head afterNth N XS mark nil active nil active u pair YS ZS N X XS pair cons X YS ZS active afterNth N XS splitAt N XS sel mark X1 X2 sel X1 X2 active take N XS mark fst splitAt N XS active tail cons N XS mark XS mark cons X1 X2 mark X1 active natsFrom N mark cons N natsFrom s N afterNth mark X1 X2 afterNth X1 X2 active splitAt s N cons X XS mark u splitAt N XS N X XS mark sel X1 X2 mark X1 take mark X1 X2 take X1 X2 active u pair YS ZS N X XS mark pair cons X YS ZS cons mark X1 X2 cons X1 X2 s active X s X active fst pair XS YS mark XS u X1 active X2 X3 X4 u X1 X2 X3 X4 snd mark X snd X pair X1 mark X2 pair X1 X2 active natsFrom N natsFrom s N active natsFrom N s N fst mark X fst X u X1 X2 X3 active X4 u X1 X2 X3 X4 mark snd X active snd mark X mark s X s mark X active u pair YS ZS N X XS cons X YS true mark fst X mark X mark snd X active snd mark X mark s X active s mark X active afterNth N XS mark snd splitAt N XS mark fst X active fst mark X mark snd X mark X mark take X1 X2 mark X2 mark afterNth X1 X2 active afterNth mark X1 mark X2 active fst pair XS YS mark XS mark cons X1 X2 active cons mark X1 X2 active u pair YS ZS N X XS mark pair cons X YS ZS active splitAt 0 XS mark pair nil XS mark u X1 X2 X3 X4 mark X1 mark head X mark X mark sel X1 X2 mark X1 active splitAt s N cons X XS mark u splitAt N XS N X XS active natsFrom N mark cons N natsFrom s N mark pair X1 X2 mark X2 active tail cons N XS mark XS mark cons X1 X2 mark X1 active take N XS mark fst splitAt N XS mark s X mark X mark afterNth X1 X2 mark X2 active sel N XS mark head afterNth N XS active head cons N XS mark N mark afterNth X1 X2 mark X1 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark head X active head mark X mark sel X1 X2 active sel mark X1 mark X2 mark natsFrom X active natsFrom mark X mark pair X1 X2 mark X1 mark splitAt X1 X2 mark X1 active snd pair XS YS mark YS mark sel X1 X2 mark X2 mark tail X mark X mark pair X1 X2 active pair mark X1 mark X2 mark splitAt X1 X2 mark X2 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark natsFrom X mark X mark tail X active tail mark X mark take X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 true cons 2 0 s 1 1 take 2 0 u 4 2 take 2 2 u 4 0 pair 2 1 fst 1 2 natsFrom 1 2 head 1 0 splitAt 2 2 fst 1 0 tail 1 2 mark 1 2 0 0 1 sel 2 0 sel 2 2 s 1 0 afterNth 2 2 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 afterNth 2 0 active 1 1 1 head 1 2 snd 1 0 cons 2 1 natsFrom 1 0 active 1 1 0 snd 1 2 pair 2 0 mark take X1 X2 active take mark X1 mark X2 mark take X1 X2 mark X1 mark tail X active tail mark X mark natsFrom X mark X mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark splitAt X1 X2 mark X2 mark tail X mark X mark sel X1 X2 mark X2 active snd pair XS YS mark YS mark splitAt X1 X2 mark X1 mark pair X1 X2 mark X1 mark natsFrom X active natsFrom mark X mark sel X1 X2 active sel mark X1 mark X2 mark head X active head mark X mark splitAt X1 X2 active splitAt mark X1 mark X2 mark afterNth X1 X2 mark X1 active head cons N XS mark N active sel N XS mark head afterNth N XS mark afterNth X1 X2 mark X2 mark s X mark X active take N XS mark fst splitAt N XS mark cons X1 X2 mark X1 active tail cons N XS mark XS mark pair X1 X2 mark X2 active natsFrom N mark cons N natsFrom s N active splitAt s N cons X XS mark u splitAt N XS N X XS mark sel X1 X2 mark X1 mark head X mark X mark u X1 X2 X3 X4 mark X1 active splitAt 0 XS mark pair nil XS active u pair YS ZS N X XS mark pair cons X YS ZS active fst pair XS YS mark XS mark afterNth X1 X2 active afterNth mark X1 mark X2 mark take X1 X2 mark X2 mark snd X mark X mark fst X active fst mark X active afterNth N XS mark snd splitAt N XS mark snd X active snd mark X mark fst X mark X u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 mark splitAt X1 X2 mark X2 mark splitAt X1 X2 mark X1 mark splitAt X1 X2 active splitAt mark X1 mark X2 active splitAt 0 XS mark pair nil XS mark fst X mark X mark fst X active fst mark X active tail cons N XS mark XS active natsFrom N mark cons N natsFrom s N active snd pair XS YS mark YS mark pair X1 X2 mark X2 mark pair X1 X2 mark X1 mark u X1 X2 X3 X4 mark X1 mark u X1 X2 X3 X4 active u 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 mark snd X mark X mark snd X active snd mark X mark head X mark X mark head X active head mark X active splitAt s N cons X XS mark u splitAt N XS N X XS active take N XS mark fst splitAt N XS active head cons N XS mark N mark afterNth X1 X2 mark X2 mark afterNth X1 X2 mark X1 mark afterNth X1 X2 active afterNth mark X1 mark X2 mark s X mark X 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 sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 active afterNth N XS mark snd splitAt N XS active sel N XS mark head afterNth N XS mark cons X1 X2 mark X1 active u pair YS ZS N X XS mark pair cons X YS ZS active fst pair XS YS mark XS true cons 2 0 s 1 1 0 take 2 0 u 4 1 0 2 8 3 6 4 5 0 take 2 1 12 2 11 0 u 4 0 pair 2 1 2 2 1 0 fst 1 1 1 natsFrom 1 1 3 head 1 0 splitAt 2 1 9 2 5 0 fst 1 0 tail 1 1 1 mark 1 1 0 0 0 23979 sel 2 0 sel 2 1 13 2 15 0 s 1 0 afterNth 2 1 11 2 13 0 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 0 afterNth 2 0 active 1 1 0 head 1 1 1 snd 1 0 cons 2 1 2 2 0 0 natsFrom 1 0 active 1 1 0 snd 1 1 1 pair 2 0 active u pair YS ZS N X XS mark pair cons X YS ZS mark sel X1 X2 active sel mark X1 mark X2 mark tail X active tail mark X mark natsFrom X active natsFrom mark X mark s X mark X mark afterNth X1 X2 active afterNth mark X1 mark X2 active splitAt s N cons X XS mark u splitAt N XS N X XS mark head X active head mark X mark snd X active snd mark X mark take X1 X2 active take mark X1 mark X2 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 mark X1 active natsFrom N mark cons N natsFrom s N mark fst X active fst mark X mark splitAt X1 X2 active splitAt mark X1 mark X2 mark splitAt X1 X2 active splitAt mark X1 mark X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 active splitAt 0 XS mark pair nil XS mark fst X active fst mark X active tail cons N XS mark XS u X1 X2 X3 active X4 u X1 X2 X3 X4 active natsFrom N mark cons N natsFrom s N active snd pair XS YS mark YS mark pair X1 X2 active pair mark X1 mark X2 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 mark take X1 X2 active take mark X1 mark X2 afterNth mark X1 X2 afterNth X1 X2 mark 0 active 0 cons X1 active X2 cons X1 X2 mark snd X active snd mark X sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X mark head X active head mark X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 active splitAt s N cons X XS mark u splitAt N XS N X XS s mark X s X afterNth X1 mark X2 afterNth X1 X2 active take N XS mark fst splitAt N XS pair active X1 X2 pair X1 X2 active head cons N XS mark N mark nil active nil mark afterNth X1 X2 active afterNth mark X1 mark X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 mark s X active s mark X head active X head X cons active X1 X2 cons X1 X2 mark natsFrom X active natsFrom mark X take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 mark tail X active tail mark X take X1 active X2 take X1 X2 mark sel X1 X2 active sel mark X1 mark X2 tail mark X tail X active afterNth N XS mark snd splitAt N XS active sel N XS mark head afterNth N XS mark cons X1 X2 active cons mark X1 X2 u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 active u pair YS ZS N X XS mark pair cons X YS ZS pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 active fst pair XS YS mark XS mark splitAt X1 X2 active splitAt mark X1 mark X2 mark fst X active fst mark X active natsFrom N mark cons N natsFrom s N mark u X1 X2 X3 X4 mark X1 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark take X1 X2 active take mark X1 mark X2 mark snd X active snd mark X mark head X active head mark X active splitAt s N cons X XS mark u splitAt N XS N X XS mark afterNth X1 X2 active afterNth mark X1 mark X2 mark s X mark X mark natsFrom X active natsFrom mark X mark tail X active tail mark X mark sel X1 X2 active sel mark X1 mark X2 active u pair YS ZS N X XS mark pair cons X YS ZS true cons 2 0 s 1 1 1 take 2 0 u 4 1 0 take 2 1 2 1 u 4 0 pair 2 0 fst 1 1 natsFrom 1 16674 head 1 0 splitAt 2 0 fst 1 0 tail 1 1 1 mark 1 1 1 0 0 15943 sel 2 0 sel 2 2 1 s 1 0 afterNth 2 1 2 2 nil 0 27376 tail 1 0 splitAt 2 0 mark 1 1 28874 afterNth 2 0 active 1 1 1 head 1 3153 snd 1 0 cons 2 0 natsFrom 1 0 active 1 1 snd 1 1 1 pair 2 0 active u pair YS ZS N X XS mark pair cons X YS ZS active splitAt s N cons X XS mark u splitAt N XS N X XS mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 mark X1 active natsFrom N mark cons N natsFrom s N mark splitAt X1 X2 active splitAt mark X1 mark X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X cons X1 active X2 cons X1 X2 splitAt X1 mark X2 splitAt X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 head active X head X cons active X1 X2 cons X1 X2 splitAt active X1 X2 splitAt X1 X2 u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 head mark X head X pair X1 mark X2 pair X1 X2 u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 mark splitAt X1 X2 active splitAt mark X1 mark X2 active natsFrom N mark cons N natsFrom s N mark u X1 X2 X3 X4 mark X1 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 active splitAt s N cons X XS mark u splitAt N XS N X XS active u pair YS ZS N X XS mark pair cons X YS ZS true cons 2 0 s 1 1 take 2 0 u 4 25532 take 2 1 u 4 0 pair 2 1 fst 1 1 natsFrom 1 25533 head 1 0 splitAt 2 25532 fst 1 0 tail 1 1 mark 1 25532 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 afterNth 2 0 active 1 1 head 1 1 snd 1 0 cons 2 1 natsFrom 1 0 active 1 1 0 snd 1 1 pair 2 0 active u pair YS ZS N X XS mark pair cons X YS ZS active splitAt s N cons X XS mark u splitAt N XS N X XS mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 mark X1 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark splitAt X1 X2 active splitAt mark X1 mark X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 active splitAt 0 XS mark pair nil XS mark fst X active fst mark X active tail cons N XS mark XS u X1 X2 X3 active X4 u X1 X2 X3 X4 active natsFrom N mark cons N natsFrom s N active snd pair XS YS mark YS mark pair X1 X2 active pair mark X1 mark X2 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 mark take X1 X2 active take mark X1 mark X2 afterNth mark X1 X2 afterNth X1 X2 mark 0 active 0 cons X1 active X2 cons X1 X2 mark snd X active snd mark X sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X mark head X active head mark X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 active splitAt s N cons X XS mark u splitAt N XS N X XS s mark X s X afterNth X1 mark X2 afterNth X1 X2 active take N XS mark fst splitAt N XS pair active X1 X2 pair X1 X2 active head cons N XS mark N mark nil active nil mark afterNth X1 X2 active afterNth mark X1 mark X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 mark s X active s mark X head active X head X cons active X1 X2 cons X1 X2 mark natsFrom X active natsFrom mark X take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 mark tail X active tail mark X take X1 active X2 take X1 X2 mark sel X1 X2 active sel mark X1 mark X2 tail mark X tail X active afterNth N XS mark snd splitAt N XS active sel N XS mark head afterNth N XS mark cons X1 X2 active cons mark X1 X2 u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 active u pair YS ZS N X XS mark pair cons X YS ZS pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 active fst pair XS YS mark XS mark splitAt X1 X2 active splitAt mark X1 mark X2 mark u X1 X2 X3 X4 mark X1 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 active splitAt s N cons X XS mark u splitAt N XS N X XS active u pair YS ZS N X XS mark pair cons X YS ZS true cons 2 2 fst 1 1 sel 2 2 tail 1 1 splitAt 2 1 mark 1 1 afterNth 2 1 active 1 1 snd 1 1 snd 1 1 s 1 7 1 take 2 0 u 4 2 1 take 2 3 u 4 0 4 1 2 pair 2 0 2 natsFrom 1 7 head 1 0 splitAt 2 4 1 fst 1 0 tail 1 4 1 mark 1 1 1 0 0 3 sel 2 7 s 1 0 afterNth 2 3 1 nil 0 6 head 1 6 cons 2 6 natsFrom 1 0 active 1 1 1 pair 2 0 2 1 s 1 1 0 take 2 2 1 u 4 1 0 2 25534 3 102138 4 51069 0 take 2 1 2 76606 u 4 1 1 2 1 4 1 0 pair 2 1 76603 2 25532 0 natsFrom 1 1 25536 head 1 1 splitAt 2 1 2 76605 fst 1 1 tail 1 1 5969 mark 1 1 51070 0 0 0 sel 2 1 2 97709 s 1 1 afterNth 2 1 2 94130 nil 0 0 head 1 1 3578 cons 2 1 25535 2 0 0 natsFrom 1 1 active 1 1 51070 pair 2 1 1 2 1 0 active u pair YS ZS N X XS mark pair cons X YS ZS active splitAt s N cons X XS mark u splitAt N XS N X XS mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark splitAt X1 X2 active splitAt mark X1 mark X2 mark splitAt X1 X2 active splitAt mark X1 mark X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 active splitAt 0 XS mark pair nil XS mark fst X active fst mark X active tail cons N XS mark XS u X1 X2 X3 active X4 u X1 X2 X3 X4 active natsFrom N mark cons N natsFrom s N active snd pair XS YS mark YS mark pair X1 X2 active pair mark X1 mark X2 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 mark take X1 X2 active take mark X1 mark X2 afterNth mark X1 X2 afterNth X1 X2 mark 0 active 0 cons X1 active X2 cons X1 X2 mark snd X active snd mark X sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X mark head X active head mark X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 active splitAt s N cons X XS mark u splitAt N XS N X XS s mark X s X afterNth X1 mark X2 afterNth X1 X2 active take N XS mark fst splitAt N XS pair active X1 X2 pair X1 X2 active head cons N XS mark N mark nil active nil mark afterNth X1 X2 active afterNth mark X1 mark X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 mark s X active s mark X head active X head X cons active X1 X2 cons X1 X2 mark natsFrom X active natsFrom mark X take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 mark tail X active tail mark X take X1 active X2 take X1 X2 mark sel X1 X2 active sel mark X1 mark X2 tail mark X tail X active afterNth N XS mark snd splitAt N XS active sel N XS mark head afterNth N XS mark cons X1 X2 active cons mark X1 X2 u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 active u pair YS ZS N X XS mark pair cons X YS ZS pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 active fst pair XS YS mark XS mark splitAt X1 X2 active splitAt mark X1 mark X2 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 active splitAt s N cons X XS mark u splitAt N XS N X XS active u pair YS ZS N X XS mark pair cons X YS ZS true cons 2 0 s 1 1 take 2 0 u 4 31250 take 2 1 2 1 u 4 0 pair 2 31249 fst 1 1 natsFrom 1 1 head 1 0 splitAt 2 1 31251 fst 1 0 tail 1 1 mark 1 1 0 0 0 8855 sel 2 0 sel 2 1 2 1 s 1 0 afterNth 2 1 1 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 afterNth 2 0 active 1 1 head 1 1 snd 1 0 cons 2 1 natsFrom 1 0 active 1 31250 snd 1 1 pair 2 0 active splitAt s N cons X XS mark u splitAt N XS N X XS mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 mark splitAt X1 X2 active splitAt mark X1 mark X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 active splitAt 0 XS mark pair nil XS mark fst X active fst mark X active tail cons N XS mark XS u X1 X2 X3 active X4 u X1 X2 X3 X4 active natsFrom N mark cons N natsFrom s N active snd pair XS YS mark YS mark pair X1 X2 active pair mark X1 mark X2 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 fst active X fst X mark take X1 X2 active take mark X1 mark X2 mark 0 active 0 cons X1 active X2 cons X1 X2 mark snd X active snd mark X mark head X active head mark X active splitAt s N cons X XS mark u splitAt N XS N X XS active take N XS mark fst splitAt N XS pair active X1 X2 pair X1 X2 active head cons N XS mark N mark nil active nil mark afterNth X1 X2 active afterNth mark X1 mark X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 mark s X active s mark X head active X head X cons active X1 X2 cons X1 X2 mark natsFrom X active natsFrom mark X mark tail X active tail mark X mark sel X1 X2 active sel mark X1 mark X2 active afterNth N XS mark snd splitAt N XS active sel N XS mark head afterNth N XS mark cons X1 X2 active cons mark X1 X2 u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 head mark X head X active u pair YS ZS N X XS mark pair cons X YS ZS pair X1 mark X2 pair X1 X2 u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X fst mark X fst X cons mark X1 X2 cons X1 X2 active fst pair XS YS mark XS mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 active splitAt s N cons X XS mark u splitAt N XS N X XS true cons 2 0 s 1 1 take 2 0 u 4 1 take 2 1 u 4 0 pair 2 1 fst 1 1 natsFrom 1 1 head 1 0 splitAt 2 3 fst 1 0 tail 1 1 mark 1 2 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 afterNth 2 0 active 1 1 head 1 1 snd 1 0 cons 2 1 natsFrom 1 0 active 1 1 0 snd 1 1 pair 2 0 mark splitAt X1 X2 active splitAt mark X1 mark X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 active splitAt 0 XS mark pair nil XS mark fst X active fst mark X active tail cons N XS mark XS u X1 X2 X3 active X4 u X1 X2 X3 X4 active natsFrom N mark cons N natsFrom s N active snd pair XS YS mark YS mark pair X1 X2 active pair mark X1 mark X2 mark u X1 X2 X3 X4 active u mark X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 mark take X1 X2 active take mark X1 mark X2 afterNth mark X1 X2 afterNth X1 X2 mark 0 active 0 cons X1 active X2 cons X1 X2 mark snd X active snd mark X sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X mark head X active head mark X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 active splitAt s N cons X XS mark u splitAt N XS N X XS s mark X s X afterNth X1 mark X2 afterNth X1 X2 active take N XS mark fst splitAt N XS pair active X1 X2 pair X1 X2 active head cons N XS mark N mark nil active nil mark afterNth X1 X2 active afterNth mark X1 mark X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 mark s X active s mark X head active X head X cons active X1 X2 cons X1 X2 mark natsFrom X active natsFrom mark X take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 mark tail X active tail mark X take X1 active X2 take X1 X2 mark sel X1 X2 active sel mark X1 mark X2 tail mark X tail X active afterNth N XS mark snd splitAt N XS active sel N XS mark head afterNth N XS mark cons X1 X2 active cons mark X1 X2 u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 active u pair YS ZS N X XS mark pair cons X YS ZS pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 active fst pair XS YS mark XS mark cons X1 X2 cons mark X1 X2 false mark sel X1 X2 sel mark X1 mark X2 false sel X1 active X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 26980 take 2 0 u 4 2 3 4 26796 take 2 1 u 4 0 pair 2 26798 fst 1 30929 natsFrom 1 20694 head 1 0 splitAt 2 26794 fst 1 0 tail 1 42394 mark 1 2 0 0 60401 sel 2 1 2 0 sel 2 36347 s 1 0 afterNth 2 49619 nil 0 5082 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 36349 snd 1 0 cons 2 20696 natsFrom 1 0 active 1 1 0 snd 1 49621 pair 2 0 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 mark tail X tail mark X false tail active X tail X tail mark X tail X true cons 2 0 s 1 32755 take 2 0 u 4 2 3 4 29193 take 2 38411 u 4 0 pair 2 29195 fst 1 38413 natsFrom 1 3010 head 1 0 splitAt 2 29191 fst 1 0 tail 1 36330 mark 1 2 0 0 60401 sel 2 0 sel 2 26538 s 1 0 afterNth 2 55531 nil 0 31354 tail 1 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 26540 snd 1 0 cons 2 3012 natsFrom 1 0 active 1 1 0 snd 1 55533 pair 2 0 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 active u pair YS ZS N X XS pair cons X YS ZS false active u pair YS ZS N X XS cons X YS false mark natsFrom X natsFrom mark X false active sel N XS head afterNth N XS false active sel N XS afterNth N XS false mark s X s mark X false active afterNth N XS snd splitAt N XS false active afterNth N XS splitAt N XS false mark afterNth X1 X2 afterNth mark X1 mark X2 false afterNth mark X1 X2 afterNth X1 X2 afterNth X1 active X2 afterNth X1 X2 afterNth active X1 X2 afterNth X1 X2 afterNth X1 mark X2 afterNth X1 X2 true cons 2 0 s 1 63507 take 2 0 u 4 2 3 4 3 take 2 31797 u 4 0 pair 2 29195 fst 1 62525 natsFrom 1 1 head 1 0 splitAt 2 1 fst 1 0 tail 1 1 mark 1 2 0 0 46181 sel 2 0 sel 2 7362 s 1 0 afterNth 2 24194 nil 0 44051 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 1 0 active 1 1 2 head 1 26985 snd 1 0 cons 2 3 natsFrom 1 0 active 1 1 0 snd 1 24196 pair 2 0 afterNth X1 mark X2 afterNth X1 X2 afterNth X1 active X2 afterNth X1 X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 afterNth X1 mark X2 afterNth X1 X2 afterNth X1 active X2 afterNth X1 X2 true cons 2 0 s 1 98239 take 2 0 u 4 2 3 4 33474 take 2 31797 u 4 0 pair 2 33476 fst 1 58870 natsFrom 1 11403 head 1 0 splitAt 2 33472 fst 1 0 tail 1 55220 mark 1 2 0 0 46181 sel 2 0 sel 2 31521 s 1 0 afterNth 2 50839 nil 0 37639 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 2 0 active 1 1 2 head 1 31523 snd 1 0 cons 2 11405 natsFrom 1 0 active 1 1 0 snd 1 50841 pair 2 0 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 mark nil active nil false mark head X head mark X false active take N XS fst splitAt N XS false active take N XS splitAt N XS false mark snd X snd mark X false snd mark X snd X snd active X snd X true cons 2 0 s 1 16688 take 2 0 u 4 2 3 4 43689 take 2 21358 u 4 0 pair 2 43691 fst 1 21360 natsFrom 1 29663 head 1 0 splitAt 2 43687 fst 1 0 tail 1 31161 mark 1 2 0 0 40562 sel 2 0 sel 2 1 s 1 0 afterNth 2 37698 nil 0 27514 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 31584 snd 1 1 0 cons 2 29665 natsFrom 1 0 active 1 1 0 snd 1 37700 pair 2 0 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 mark 0 active 0 false mark take X1 X2 take mark X1 mark X2 false active splitAt s N cons X XS u splitAt N XS N X XS false active splitAt s N cons X XS splitAt N XS false mark u X1 X2 X3 X4 u mark X1 X2 X3 X4 false u X1 X2 X3 active X4 u X1 X2 X3 X4 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 u active X1 X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 true cons 2 0 s 1 4685 take 2 0 u 4 2 3 4 24911 take 2 13701 u 4 1 2 0 pair 2 24913 fst 1 13703 natsFrom 1 1 head 1 0 splitAt 2 24909 fst 1 0 tail 1 1 mark 1 2 0 0 23539 sel 2 0 sel 2 1 s 1 0 afterNth 2 43242 nil 0 1315 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 3 snd 1 0 cons 2 3 natsFrom 1 0 active 1 1 0 snd 1 43244 pair 2 0 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 true cons 2 0 s 1 13068 take 2 0 u 4 2 3 4 17039 take 2 47538 u 4 3 0 pair 2 46695 fst 1 47540 natsFrom 1 1 head 1 0 splitAt 2 1 fst 1 0 tail 1 1 mark 1 2 0 0 17412 sel 2 0 sel 2 1 s 1 0 afterNth 2 54392 nil 0 45153 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 19316 snd 1 0 cons 2 31826 natsFrom 1 0 active 1 1 0 snd 1 54394 pair 2 0 u X1 X2 X3 active X4 u X1 X2 X3 X4 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 true cons 2 0 s 1 34933 take 2 0 u 4 2 3 4 5105 take 2 35494 u 4 4 0 pair 2 5107 fst 1 35496 natsFrom 1 12760 head 1 0 splitAt 2 5103 fst 1 0 tail 1 1 mark 1 2 0 0 50256 sel 2 0 sel 2 31657 s 1 0 afterNth 2 28438 nil 0 29140 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 31659 snd 1 0 cons 2 12762 natsFrom 1 0 active 1 1 0 snd 1 28440 pair 2 0 u X1 X2 X3 mark X4 u X1 X2 X3 X4 u X1 X2 X3 active X4 u X1 X2 X3 X4 fst active X fst X take X1 mark X2 take X1 X2 afterNth mark X1 X2 afterNth X1 X2 cons X1 active X2 cons X1 X2 sel X1 mark X2 sel X1 X2 natsFrom mark X natsFrom X s active X s X natsFrom active X natsFrom X afterNth active X1 X2 afterNth X1 X2 splitAt X1 mark X2 splitAt X1 X2 s mark X s X afterNth X1 mark X2 afterNth X1 X2 pair active X1 X2 pair X1 X2 u X1 X2 mark X3 X4 u X1 X2 X3 X4 u X1 active X2 X3 X4 u X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons active X1 X2 cons X1 X2 take active X1 X2 take X1 X2 splitAt active X1 X2 splitAt X1 X2 take X1 active X2 take X1 X2 tail mark X tail X u active X1 X2 X3 X4 u X1 X2 X3 X4 pair X1 active X2 pair X1 X2 take mark X1 X2 take X1 X2 head mark X head X sel mark X1 X2 sel X1 X2 pair X1 mark X2 pair X1 X2 sel active X1 X2 sel X1 X2 tail active X tail X u X1 mark X2 X3 X4 u X1 X2 X3 X4 u X1 X2 active X3 X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 pair mark X1 X2 pair X1 X2 snd mark X snd X snd active X snd X splitAt X1 active X2 splitAt X1 X2 afterNth X1 active X2 afterNth X1 X2 fst mark X fst X cons mark X1 X2 cons X1 X2 splitAt mark X1 X2 splitAt X1 X2 mark pair X1 X2 pair mark X1 mark X2 false active natsFrom N cons N natsFrom s N false 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 true cons 2 1 2 0 s 1 29350 take 2 0 u 4 1 2 4 31327 take 2 43096 u 4 0 pair 2 1 1 fst 1 74423 natsFrom 1 1 30470 head 1 0 splitAt 2 20374 fst 1 0 tail 1 54753 mark 1 2 0 0 42507 sel 2 0 sel 2 1 2 42351 s 1 0 afterNth 2 12770 nil 0 51700 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 31327 head 1 1 60908 snd 1 0 cons 2 1 2 62654 natsFrom 1 0 active 1 0 snd 1 1 23723 pair 2 0 active natsFrom N natsFrom s N false natsFrom mark X natsFrom X natsFrom active X natsFrom X true cons 2 0 s 1 1 27667 take 2 0 u 4 2 4 82012 take 2 31241 u 4 0 pair 2 82014 fst 1 1 24327 natsFrom 1 23691 head 1 0 splitAt 2 1 2 30650 fst 1 0 tail 1 40630 mark 1 2 0 0 1602 sel 2 0 sel 2 1 42117 s 1 0 afterNth 2 33810 nil 0 61135 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 42119 snd 1 0 cons 2 1 23693 natsFrom 1 1 0 active 1 0 snd 1 1 3162 pair 2 0 s active X s X s mark X s X pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 active natsFrom N s N false s active X s X s mark X s X true cons 2 0 s 1 1 1 take 2 0 u 4 2 4 7 take 2 44866 u 4 0 pair 2 9 fst 1 1 44867 natsFrom 1 1 head 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 28766 mark 1 2 0 0 6 sel 2 0 sel 2 1 13772 s 1 1 0 afterNth 2 1 nil 0 43546 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 13774 snd 1 0 cons 2 1 3 natsFrom 1 0 active 1 0 snd 1 1 2 pair 2 0 s active X s X s mark X s X pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 mark fst X fst mark X false fst mark X fst X fst active X fst X true cons 2 0 s 1 1 14258 take 2 0 u 4 2 4 20230 take 2 7282 u 4 0 pair 2 20232 fst 1 1 7283 natsFrom 1 5967 head 1 0 splitAt 2 1 2 1 fst 1 1 0 tail 1 48234 mark 1 2 0 0 1 sel 2 0 sel 2 1 54044 s 1 0 afterNth 2 31370 nil 0 48123 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 54046 snd 1 0 cons 2 1 5969 natsFrom 1 0 active 1 0 snd 1 1 31371 pair 2 0 s active X s X s mark X s X pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 mark splitAt X1 X2 splitAt mark X1 mark X2 false active splitAt 0 XS pair nil XS false pair active X1 X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 true cons 2 0 s 1 1 1 take 2 0 u 4 2 4 7 take 2 37051 u 4 0 pair 2 9 fst 1 1 37052 natsFrom 1 1 head 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 1 mark 1 2 0 0 6 sel 2 0 sel 2 1 31668 s 1 0 afterNth 2 25319 nil 0 22279 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 31670 snd 1 0 cons 2 1 3 natsFrom 1 0 active 1 0 snd 1 1 25320 pair 2 1 2 0 s active X s X s mark X s X pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take X1 active X2 take X1 X2 take active X1 X2 take X1 X2 true cons 2 0 s 1 1 1 take 2 2 0 u 4 2 4 10 take 2 48056 u 4 0 pair 2 12 fst 1 1 48056 natsFrom 1 3 head 1 0 splitAt 2 1 2 2 fst 1 0 tail 1 1 mark 1 2 0 0 3 sel 2 0 sel 2 1 29114 s 1 0 afterNth 2 2 nil 0 22279 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 29116 snd 1 0 cons 2 1 5 natsFrom 1 0 active 1 0 snd 1 1 2 pair 2 0 take active X1 X2 take X1 X2 take mark X1 X2 take X1 X2 s active X s X s mark X s X pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 take active X1 X2 take X1 X2 take mark X1 X2 take X1 X2 true cons 2 0 s 1 1 1 take 2 1 0 u 4 2 4 15821 take 2 1 u 4 0 pair 2 15823 fst 1 1 8092 natsFrom 1 15815 head 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 24841 mark 1 2 0 0 14469 sel 2 0 sel 2 1 36730 s 1 0 afterNth 2 48336 nil 0 14426 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 36732 snd 1 0 cons 2 1 15817 natsFrom 1 0 active 1 0 snd 1 1 48337 pair 2 0 s active X s X s mark X s X pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 splitAt X1 active X2 splitAt X1 X2 splitAt X1 mark X2 splitAt X1 X2 splitAt active X1 X2 splitAt X1 X2 splitAt mark X1 X2 splitAt X1 X2 true cons 2 0 s 1 1 1 take 2 0 u 4 2 4 35739 take 2 12606 u 4 0 pair 2 35741 fst 1 1 3031 natsFrom 1 1 head 1 0 splitAt 2 1 2 9577 fst 1 0 tail 1 1 mark 1 2 0 0 4029 sel 2 0 sel 2 1 1 s 1 0 afterNth 2 37294 nil 0 1 tail 1 0 splitAt 2 1 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 31000 snd 1 0 cons 2 1 26159 natsFrom 1 0 active 1 0 snd 1 1 27719 pair 2 0 s active X s X s mark X s X pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 head active X head X head mark X head X true cons 2 0 s 1 1 1 take 2 0 u 4 2 4 49835 take 2 33741 u 4 0 pair 2 49837 fst 1 1 25137 natsFrom 1 41224 head 1 1 0 splitAt 2 1 2 8606 fst 1 0 tail 1 3362 mark 1 2 0 0 1 sel 2 0 sel 2 1 15026 s 1 0 afterNth 2 52823 nil 0 26641 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 active 1 1 2 head 1 15028 snd 1 0 cons 2 1 41226 natsFrom 1 0 active 1 0 snd 1 1 44219 pair 2 0 s active X s X s mark X s X pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair mark X1 X2 pair X1 X2 NaTT certifiable-1.6