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 active natsFrom X natsFrom active X active cons X1 X2 cons active X1 X2 active s X s active X active fst X fst active X active pair X1 X2 pair active X1 X2 active pair X1 X2 pair X1 active X2 active snd X snd active X active splitAt X1 X2 splitAt active X1 X2 active splitAt X1 X2 splitAt X1 active X2 active u X1 X2 X3 X4 u active X1 X2 X3 X4 active head X head active X active tail X tail active X active sel X1 X2 sel active X1 X2 active sel X1 X2 sel X1 active X2 active afterNth X1 X2 afterNth active X1 X2 active afterNth X1 X2 afterNth X1 active X2 active take X1 X2 take active X1 X2 active take X1 X2 take X1 active X2 natsFrom mark X mark natsFrom X cons mark X1 X2 mark cons X1 X2 s mark X mark s X fst mark X mark fst X pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 snd mark X mark snd X splitAt mark X1 X2 mark splitAt X1 X2 splitAt X1 mark X2 mark splitAt X1 X2 u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 head mark X mark head X tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 sel X1 mark X2 mark sel X1 X2 afterNth mark X1 X2 mark afterNth X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 take mark X1 X2 mark take X1 X2 take X1 mark X2 mark take X1 X2 proper natsFrom X natsFrom proper X proper cons X1 X2 cons proper X1 proper X2 proper s X s proper X proper fst X fst proper X proper pair X1 X2 pair proper X1 proper X2 proper snd X snd proper X proper splitAt X1 X2 splitAt proper X1 proper X2 proper 0 ok 0 proper nil ok nil proper u X1 X2 X3 X4 u proper X1 proper X2 proper X3 proper X4 proper head X head proper X proper tail X tail proper X proper sel X1 X2 sel proper X1 proper X2 proper afterNth X1 X2 afterNth proper X1 proper X2 proper take X1 X2 take proper X1 proper X2 natsFrom ok X ok natsFrom X cons ok X1 ok X2 ok cons X1 X2 s ok X ok s X fst ok X ok fst X pair ok X1 ok X2 ok pair X1 X2 snd ok X ok snd X splitAt ok X1 ok X2 ok splitAt X1 X2 u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 head ok X ok head X tail ok X ok tail X sel ok X1 ok X2 ok sel X1 X2 afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 top mark X top proper X top ok X top active X 2.2 active take X1 X2 take X1 active X2 pair mark X1 X2 pair X1 X2 proper u X1 X2 X3 X4 proper X4 pair ok X1 ok X2 pair X1 X2 active sel N XS head afterNth N XS active take X1 X2 active X1 proper cons X1 X2 proper X1 active sel X1 X2 sel active X1 X2 proper u X1 X2 X3 X4 proper X3 active fst X active X active splitAt X1 X2 splitAt active X1 X2 proper u X1 X2 X3 X4 proper X2 active afterNth N XS snd splitAt N XS active fst X fst active X active afterNth X1 X2 active X1 natsFrom ok X natsFrom X proper sel X1 X2 proper X2 active take N XS fst splitAt N XS active sel X1 X2 active X1 active natsFrom X natsFrom active X active splitAt X1 X2 active X2 u ok X1 ok X2 ok X3 ok X4 u X1 X2 X3 X4 cons ok X1 ok X2 cons X1 X2 proper splitAt X1 X2 proper X1 active take N XS splitAt N XS proper take X1 X2 take proper X1 proper X2 proper splitAt X1 X2 proper X2 natsFrom mark X natsFrom X active afterNth N XS splitAt N XS active splitAt 0 XS pair nil XS take mark X1 X2 take X1 X2 proper take X1 X2 proper X1 active natsFrom N s N cons mark X1 X2 cons X1 X2 proper cons X1 X2 proper X2 proper u X1 X2 X3 X4 proper X1 proper sel X1 X2 proper X1 top ok X active X afterNth X1 mark X2 afterNth X1 X2 proper snd X proper X splitAt mark X1 X2 splitAt X1 X2 take X1 mark X2 take X1 X2 active afterNth X1 X2 afterNth active X1 X2 active s X active X fst mark X fst X active natsFrom N natsFrom s N s mark X s X splitAt X1 mark X2 splitAt X1 X2 active splitAt X1 X2 splitAt X1 active X2 proper afterNth X1 X2 proper X2 s ok X s X proper s X proper X active splitAt s N cons X XS u splitAt N XS N X XS top mark X proper X active splitAt X1 X2 active X1 active sel X1 X2 active X2 snd mark X snd X proper snd X snd proper X proper fst X fst proper X active splitAt s N cons X XS splitAt N XS active s X s active X proper sel X1 X2 sel proper X1 proper X2 active take X1 X2 take active X1 X2 proper splitAt X1 X2 splitAt proper X1 proper X2 head ok X head X top ok X top active X proper pair X1 X2 pair proper X1 proper X2 head mark X head X splitAt ok X1 ok X2 splitAt X1 X2 active tail X tail active X active u pair YS ZS N X XS pair cons X YS ZS active natsFrom N cons N natsFrom s N proper head X proper X active afterNth X1 X2 active X2 sel mark X1 X2 sel X1 X2 proper u X1 X2 X3 X4 u proper X1 proper X2 proper X3 proper X4 sel ok X1 ok X2 sel X1 X2 active pair X1 X2 pair X1 active X2 active snd X snd active X active pair X1 X2 active X2 proper pair X1 X2 proper X2 active cons X1 X2 cons active X1 X2 u mark X1 X2 X3 X4 u X1 X2 X3 X4 active snd X active X fst ok X fst X top mark X top proper X proper cons X1 X2 cons proper X1 proper X2 proper tail X proper X proper afterNth X1 X2 proper X1 active cons X1 X2 active X1 active head X head active X active afterNth X1 X2 afterNth X1 active X2 proper tail X tail proper X proper take X1 X2 proper X2 proper s X s proper X take ok X1 ok X2 take X1 X2 proper fst X proper X proper head X head proper X proper pair X1 X2 proper X1 active pair X1 X2 active X1 active u pair YS ZS N X XS cons X YS snd ok X snd X active head X active X active sel X1 X2 sel X1 active X2 active sel N XS afterNth N XS proper afterNth X1 X2 afterNth proper X1 proper X2 proper natsFrom X proper X active take X1 X2 active X2 tail ok X tail X sel X1 mark X2 sel X1 X2 active natsFrom X active X tail mark X tail X proper natsFrom X natsFrom proper X active u X1 X2 X3 X4 u active X1 X2 X3 X4 active u X1 X2 X3 X4 active X1 pair X1 mark X2 pair X1 X2 active pair X1 X2 pair active X1 X2 afterNth mark X1 X2 afterNth X1 X2 active tail X active X afterNth ok X1 ok X2 afterNth X1 X2 true top ok X top active X top mark X top proper X true cons 2 2 proper 1 1 ok 1 1 sel 2 2 afterNth 2 2 proper 1 1 active 1 1 head 1 1 snd 1 1 s 1 4 1 take 2 0 u 4 6 3 2 4 1 take 2 3 1 2 top 1 0 u 4 0 4 1 pair 2 4 1 2 fst 1 6 1 top 1 0 1 natsFrom 1 4 1 head 1 0 splitAt 2 7 1 2 fst 1 0 tail 1 2 1 0 0 3 sel 2 1 2 1 s 1 0 afterNth 2 3 1 2 nil 0 3 tail 1 0 splitAt 2 0 mark 1 0 1 cons 2 2 1 natsFrom 1 0 active 1 0 snd 1 4 1 pair 2 0 1 2 s 1 1 0 take 2 2 1 u 4 1 0 2 16674 3 33354 4 0 0 take 2 1 2 36534 top 1 1 u 4 1 1 2 1 4 1 0 pair 2 1 16675 2 16676 0 fst 1 1 19856 top 1 1 1 natsFrom 1 1 31939 head 1 1 splitAt 2 1 2 16677 fst 1 1 tail 1 1 15943 0 0 1 sel 2 1 2 72926 s 1 1 afterNth 2 1 2 72925 nil 0 1 tail 1 1 splitAt 2 1 mark 1 1 0 cons 2 1 16678 2 0 0 natsFrom 1 1 active 1 1 snd 1 1 28872 pair 2 1 1 2 1 0 top ok X top active X active snd X snd active X proper s X s proper X active splitAt 0 XS mark pair nil XS active fst X fst active X active tail cons N XS mark XS proper splitAt X1 X2 splitAt proper X1 proper X2 active natsFrom N mark cons N natsFrom s N active snd pair XS YS mark YS active pair X1 X2 pair active X1 X2 active u X1 X2 X3 X4 u active X1 X2 X3 X4 snd mark X mark snd X snd ok X ok snd X active afterNth X1 X2 afterNth active X1 X2 natsFrom ok X ok natsFrom X active splitAt X1 X2 splitAt active X1 X2 s mark X mark s X active pair X1 X2 pair X1 active X2 proper sel X1 X2 sel proper X1 proper X2 active afterNth X1 X2 afterNth X1 active X2 pair mark X1 X2 mark pair X1 X2 active head X head active X active take X1 X2 take active X1 X2 s ok X ok s X afterNth mark X1 X2 mark afterNth X1 X2 active splitAt s N cons X XS mark u splitAt N XS N X XS tail ok X ok tail X fst mark X mark fst X cons ok X1 ok X2 ok cons X1 X2 active take N XS mark fst splitAt N XS u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 active head cons N XS mark N active splitAt X1 X2 splitAt X1 active X2 active sel X1 X2 sel X1 active X2 proper cons X1 X2 cons proper X1 proper X2 proper pair X1 X2 pair proper X1 proper X2 natsFrom mark X mark natsFrom X proper take X1 X2 take proper X1 proper X2 active s X s active X proper nil ok nil cons mark X1 X2 mark cons X1 X2 active natsFrom X natsFrom active X splitAt ok X1 ok X2 ok splitAt X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 active tail X tail active X u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 active sel X1 X2 sel active X1 X2 proper u X1 X2 X3 X4 u proper X1 proper X2 proper X3 proper X4 active afterNth N XS mark snd splitAt N XS active sel N XS mark head afterNth N XS active cons X1 X2 cons active X1 X2 proper fst X fst proper X head mark X mark head X pair ok X1 ok X2 ok pair X1 X2 proper 0 ok 0 proper tail X tail proper X active u pair YS ZS N X XS mark pair cons X YS ZS splitAt X1 mark X2 mark splitAt X1 X2 proper afterNth X1 X2 afterNth proper X1 proper X2 proper head X head proper X afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 proper natsFrom X natsFrom proper X head ok X ok head X proper snd X snd proper X take X1 mark X2 mark take X1 X2 sel ok X1 ok X2 ok sel X1 X2 splitAt mark X1 X2 mark splitAt X1 X2 tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 take mark X1 X2 mark take X1 X2 fst ok X ok fst X pair X1 mark X2 mark pair X1 X2 active take X1 X2 take X1 active X2 sel X1 mark X2 mark sel X1 X2 active fst pair XS YS mark XS top ok X top active X true cons 2 0 s 1 1 0 take 2 0 u 4 3 0 take 2 2 0 top 1 0 u 4 0 pair 2 1 0 fst 1 1 0 top 1 1 0 natsFrom 1 1 0 head 1 0 splitAt 2 1 0 fst 1 0 tail 1 1 0 proper 1 3 ok 1 1 2 0 0 1 sel 2 0 sel 2 1 0 s 1 0 afterNth 2 2 0 nil 0 1 tail 1 0 splitAt 2 0 mark 1 0 afterNth 2 0 proper 1 0 active 1 1 1 head 1 1 0 snd 1 0 cons 2 2 0 natsFrom 1 0 active 1 0 snd 1 1 0 pair 2 0 active snd X snd active X proper s X s proper X active splitAt 0 XS mark pair nil XS active fst X fst active X active tail cons N XS mark XS proper splitAt X1 X2 splitAt proper X1 proper X2 active natsFrom N mark cons N natsFrom s N active snd pair XS YS mark YS active pair X1 X2 pair active X1 X2 active u X1 X2 X3 X4 u active X1 X2 X3 X4 snd mark X mark snd X snd ok X ok snd X active afterNth X1 X2 afterNth active X1 X2 natsFrom ok X ok natsFrom X active splitAt X1 X2 splitAt active X1 X2 s mark X mark s X active pair X1 X2 pair X1 active X2 proper sel X1 X2 sel proper X1 proper X2 active afterNth X1 X2 afterNth X1 active X2 pair mark X1 X2 mark pair X1 X2 active head X head active X active take X1 X2 take active X1 X2 s ok X ok s X afterNth mark X1 X2 mark afterNth X1 X2 active splitAt s N cons X XS mark u splitAt N XS N X XS tail ok X ok tail X fst mark X mark fst X cons ok X1 ok X2 ok cons X1 X2 active take N XS mark fst splitAt N XS u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 active head cons N XS mark N active splitAt X1 X2 splitAt X1 active X2 active sel X1 X2 sel X1 active X2 proper cons X1 X2 cons proper X1 proper X2 proper pair X1 X2 pair proper X1 proper X2 natsFrom mark X mark natsFrom X proper take X1 X2 take proper X1 proper X2 active s X s active X proper nil ok nil cons mark X1 X2 mark cons X1 X2 active natsFrom X natsFrom active X splitAt ok X1 ok X2 ok splitAt X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 active tail X tail active X u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 active sel X1 X2 sel active X1 X2 proper u X1 X2 X3 X4 u proper X1 proper X2 proper X3 proper X4 active afterNth N XS mark snd splitAt N XS active sel N XS mark head afterNth N XS active cons X1 X2 cons active X1 X2 proper fst X fst proper X head mark X mark head X pair ok X1 ok X2 ok pair X1 X2 proper 0 ok 0 proper tail X tail proper X active u pair YS ZS N X XS mark pair cons X YS ZS splitAt X1 mark X2 mark splitAt X1 X2 proper afterNth X1 X2 afterNth proper X1 proper X2 proper head X head proper X afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 proper natsFrom X natsFrom proper X head ok X ok head X proper snd X snd proper X take X1 mark X2 mark take X1 X2 sel ok X1 ok X2 ok sel X1 X2 splitAt mark X1 X2 mark splitAt X1 X2 tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 take mark X1 X2 mark take X1 X2 fst ok X ok fst X pair X1 mark X2 mark pair X1 X2 active take X1 X2 take X1 active X2 sel X1 mark X2 mark sel X1 X2 active fst pair XS YS mark XS top mark X proper X false top ok X active X false active tail X active X active u X1 X2 X3 X4 active X1 active sel X1 X2 active X2 active splitAt X1 X2 active X1 active natsFrom X active X active take X1 X2 active X2 active s X active X active head X active X active pair X1 X2 active X1 active cons X1 X2 active X1 active splitAt X1 X2 active X2 active sel X1 X2 active X1 active snd X active X active afterNth X1 X2 active X1 active pair X1 X2 active X2 active fst X active X active take X1 X2 active X1 active afterNth X1 X2 active X2 true cons 2 0 s 1 1 1 take 2 0 u 4 1 3 1 take 2 1 2 1 top 1 0 u 4 0 pair 2 1 2 1 fst 1 1 1 top 1 0 natsFrom 1 1 1 head 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 1 32002 proper 1 1 5928 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 30215 s 1 0 afterNth 2 1 2 1 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 0 afterNth 2 0 proper 1 0 active 1 3 head 1 1 1 snd 1 0 cons 2 1 2 1 natsFrom 1 0 active 1 1 0 snd 1 1 1 pair 2 0 snd mark X mark snd X snd ok X ok snd X natsFrom ok X ok natsFrom X s mark X mark s X pair mark X1 X2 mark pair X1 X2 s ok X ok s X afterNth mark X1 X2 mark afterNth X1 X2 tail ok X ok tail X fst mark X mark fst X cons ok X1 ok X2 ok cons X1 X2 u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 natsFrom mark X mark natsFrom X proper nil ok nil cons mark X1 X2 mark cons X1 X2 splitAt ok X1 ok X2 ok splitAt X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 head mark X mark head X pair ok X1 ok X2 ok pair X1 X2 proper 0 ok 0 splitAt X1 mark X2 mark splitAt X1 X2 afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 head ok X ok head X take X1 mark X2 mark take X1 X2 sel ok X1 ok X2 ok sel X1 X2 splitAt mark X1 X2 mark splitAt X1 X2 tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 take mark X1 X2 mark take X1 X2 fst ok X ok fst X pair X1 mark X2 mark pair X1 X2 sel X1 mark X2 mark sel 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 active cons X1 X2 cons active X1 X2 false active sel N XS afterNth N XS false active afterNth N XS snd splitAt N XS false active afterNth N XS splitAt N XS false active sel X1 X2 sel active X1 X2 false active tail X tail active X false active natsFrom X natsFrom active X false active s X s active X false active sel X1 X2 sel X1 active X2 false active splitAt X1 X2 splitAt X1 active X2 false active take N XS fst splitAt N XS false active take N XS splitAt N XS 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 active take X1 X2 take active X1 X2 false active head X head active X false active afterNth X1 X2 afterNth X1 active X2 false active pair X1 X2 pair X1 active X2 false active splitAt X1 X2 splitAt active X1 X2 false active afterNth X1 X2 afterNth active X1 X2 false active u X1 X2 X3 X4 u active X1 X2 X3 X4 false active pair X1 X2 pair active X1 X2 false active natsFrom N cons N natsFrom s N false active natsFrom N natsFrom s N false active natsFrom N s N false active fst X fst active X false active splitAt 0 XS pair nil XS false active snd X snd active X false active sel N XS head afterNth N XS false active take X1 X2 take X1 active X2 false proper s X proper X proper afterNth X1 X2 proper X2 proper natsFrom X proper X proper snd X proper X proper pair X1 X2 proper X1 proper fst X proper X proper sel X1 X2 proper X1 proper u X1 X2 X3 X4 proper X1 proper cons X1 X2 proper X2 proper take X1 X2 proper X2 proper take X1 X2 proper X1 proper splitAt X1 X2 proper X2 proper splitAt X1 X2 proper X1 proper afterNth X1 X2 proper X1 proper tail X proper X proper sel X1 X2 proper X2 proper pair X1 X2 proper X2 proper u X1 X2 X3 X4 proper X2 proper u X1 X2 X3 X4 proper X3 proper cons X1 X2 proper X1 proper u X1 X2 X3 X4 proper X4 proper head X proper X true cons 2 0 s 1 1 1 take 2 0 u 4 1 2 3 4 1 take 2 1 2 1 top 1 0 u 4 0 pair 2 1 2 1 fst 1 1 1 top 1 0 natsFrom 1 1 1 head 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 1 1 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 1 s 1 0 afterNth 2 1 2 1 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 0 afterNth 2 0 proper 1 1 0 active 1 3 head 1 1 1 snd 1 0 cons 2 1 2 1 natsFrom 1 0 active 1 0 snd 1 1 1 pair 2 0 snd mark X mark snd X snd ok X ok snd X natsFrom ok X ok natsFrom X s mark X mark s X pair mark X1 X2 mark pair X1 X2 s ok X ok s X afterNth mark X1 X2 mark afterNth X1 X2 tail ok X ok tail X fst mark X mark fst X cons ok X1 ok X2 ok cons X1 X2 u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 natsFrom mark X mark natsFrom X proper nil ok nil cons mark X1 X2 mark cons X1 X2 splitAt ok X1 ok X2 ok splitAt X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 head mark X mark head X pair ok X1 ok X2 ok pair X1 X2 proper 0 ok 0 splitAt X1 mark X2 mark splitAt X1 X2 afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 head ok X ok head X take X1 mark X2 mark take X1 X2 sel ok X1 ok X2 ok sel X1 X2 splitAt mark X1 X2 mark splitAt X1 X2 tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 take mark X1 X2 mark take X1 X2 fst ok X ok fst X pair X1 mark X2 mark pair X1 X2 sel X1 mark X2 mark sel X1 X2 proper snd X snd proper X false snd mark X snd X snd ok X snd X true cons 2 0 s 1 1 1 take 2 0 u 4 1 2 3 4 1 take 2 1 2 1 top 1 0 u 4 0 pair 2 1 2 1 fst 1 1 2 top 1 0 natsFrom 1 1 1 head 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 1 32613 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 10392 s 1 0 afterNth 2 1 2 1 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 0 afterNth 2 0 proper 1 0 active 1 3 head 1 1 2 snd 1 1 0 cons 2 1 2 1 natsFrom 1 0 active 1 0 snd 1 1 1 pair 2 0 snd mark X snd X snd mark X mark snd X snd ok X ok snd X natsFrom ok X ok natsFrom X s mark X mark s X pair mark X1 X2 mark pair X1 X2 s ok X ok s X afterNth mark X1 X2 mark afterNth X1 X2 tail ok X ok tail X fst mark X mark fst X cons ok X1 ok X2 ok cons X1 X2 u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 natsFrom mark X mark natsFrom X proper nil ok nil cons mark X1 X2 mark cons X1 X2 splitAt ok X1 ok X2 ok splitAt X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 head mark X mark head X pair ok X1 ok X2 ok pair X1 X2 proper 0 ok 0 splitAt X1 mark X2 mark splitAt X1 X2 afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 head ok X ok head X take X1 mark X2 mark take X1 X2 sel ok X1 ok X2 ok sel X1 X2 splitAt mark X1 X2 mark splitAt X1 X2 tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 take mark X1 X2 mark take X1 X2 fst ok X ok fst X pair X1 mark X2 mark pair X1 X2 sel X1 mark X2 mark sel X1 X2 snd mark X snd X true cons 2 0 s 1 1 1 take 2 0 u 4 1 2 3 4 2 take 2 1 2 1 top 1 0 u 4 0 pair 2 1 2 1 fst 1 1 1 top 1 0 natsFrom 1 1 1 head 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 1 1 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 28702 s 1 0 afterNth 2 1 2 1 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 1 afterNth 2 0 proper 1 0 active 1 4 head 1 1 2 snd 1 1 0 cons 2 1 2 1 natsFrom 1 0 active 1 0 snd 1 1 1 pair 2 0 snd mark X mark snd X snd ok X ok snd X natsFrom ok X ok natsFrom X s mark X mark s X pair mark X1 X2 mark pair X1 X2 s ok X ok s X afterNth mark X1 X2 mark afterNth X1 X2 tail ok X ok tail X fst mark X mark fst X cons ok X1 ok X2 ok cons X1 X2 u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 natsFrom mark X mark natsFrom X proper nil ok nil cons mark X1 X2 mark cons X1 X2 splitAt ok X1 ok X2 ok splitAt X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 head mark X mark head X pair ok X1 ok X2 ok pair X1 X2 proper 0 ok 0 splitAt X1 mark X2 mark splitAt X1 X2 afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 head ok X ok head X take X1 mark X2 mark take X1 X2 sel ok X1 ok X2 ok sel X1 X2 splitAt mark X1 X2 mark splitAt X1 X2 tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 take mark X1 X2 mark take X1 X2 fst ok X ok fst X pair X1 mark X2 mark pair X1 X2 sel X1 mark X2 mark sel X1 X2 proper natsFrom X natsFrom proper X false natsFrom mark X natsFrom X natsFrom ok X natsFrom X true cons 2 0 s 1 1 1 take 2 0 u 4 1 2 3 4 1 take 2 1 2 28312 top 1 0 u 4 0 pair 2 1 2 1 fst 1 1 1 top 1 0 natsFrom 1 1 1 head 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 1 31682 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 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 proper 1 0 active 1 4 head 1 1 1 snd 1 0 cons 2 1 2 1 natsFrom 1 1 0 active 1 0 snd 1 1 1 pair 2 0 snd mark X mark snd X snd ok X ok snd X natsFrom ok X ok natsFrom X s mark X mark s X pair mark X1 X2 mark pair X1 X2 s ok X ok s X afterNth mark X1 X2 mark afterNth X1 X2 tail ok X ok tail X fst mark X mark fst X cons ok X1 ok X2 ok cons X1 X2 u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 natsFrom mark X mark natsFrom X proper nil ok nil cons mark X1 X2 mark cons X1 X2 splitAt ok X1 ok X2 ok splitAt X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 head mark X mark head X pair ok X1 ok X2 ok pair X1 X2 proper 0 ok 0 splitAt X1 mark X2 mark splitAt X1 X2 afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 head ok X ok head X take X1 mark X2 mark take X1 X2 sel ok X1 ok X2 ok sel X1 X2 splitAt mark X1 X2 mark splitAt X1 X2 tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 take mark X1 X2 mark take X1 X2 fst ok X ok fst X pair X1 mark X2 mark pair X1 X2 sel X1 mark X2 mark sel X1 X2 proper head X head proper X false head mark X head X head ok X head X true cons 2 0 s 1 1 1 take 2 0 u 4 1 2 3 4 2 take 2 1 2 1 top 1 0 u 4 0 pair 2 1 2 2 fst 1 1 1 top 1 0 natsFrom 1 1 1 head 1 1 0 splitAt 2 1 2 1 fst 1 0 tail 1 1 32299 proper 1 1 1 ok 1 1 1 0 0 29764 sel 2 0 sel 2 1 2 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 proper 1 0 active 1 4 head 1 1 1 snd 1 0 cons 2 1 2 1 natsFrom 1 0 active 1 0 snd 1 1 1 pair 2 0 snd mark X mark snd X snd ok X ok snd X natsFrom ok X ok natsFrom X s mark X mark s X pair mark X1 X2 mark pair X1 X2 s ok X ok s X afterNth mark X1 X2 mark afterNth X1 X2 tail ok X ok tail X fst mark X mark fst X cons ok X1 ok X2 ok cons X1 X2 u mark X1 X2 X3 X4 mark u X1 X2 X3 X4 natsFrom mark X mark natsFrom X proper nil ok nil cons mark X1 X2 mark cons X1 X2 splitAt ok X1 ok X2 ok splitAt X1 X2 afterNth X1 mark X2 mark afterNth X1 X2 u ok X1 ok X2 ok X3 ok X4 ok u X1 X2 X3 X4 head mark X mark head X pair ok X1 ok X2 ok pair X1 X2 proper 0 ok 0 splitAt X1 mark X2 mark splitAt X1 X2 afterNth ok X1 ok X2 ok afterNth X1 X2 take ok X1 ok X2 ok take X1 X2 head ok X ok head X take X1 mark X2 mark take X1 X2 sel ok X1 ok X2 ok sel X1 X2 splitAt mark X1 X2 mark splitAt X1 X2 tail mark X mark tail X sel mark X1 X2 mark sel X1 X2 take mark X1 X2 mark take X1 X2 fst ok X ok fst X pair X1 mark X2 mark pair X1 X2 sel X1 mark X2 mark sel X1 X2 proper afterNth X1 X2 afterNth proper X1 proper X2 false afterNth ok X1 ok X2 afterNth X1 X2 afterNth mark X1 X2 afterNth X1 X2 afterNth X1 mark X2 afterNth X1 X2 true cons 2 0 s 1 2 take 2 0 u 4 26389 take 2 2 5553 top 1 0 u 4 0 pair 2 8094 fst 1 8518 top 1 0 natsFrom 1 23540 head 1 0 splitAt 2 1 21293 fst 1 0 tail 1 1316 proper 1 1 ok 1 1 3 0 0 16393 sel 2 0 sel 2 5610 s 1 0 afterNth 2 21952 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 1 2 0 proper 1 0 active 1 1 head 1 26405 snd 1 0 cons 2 1 2 3342 natsFrom 1 0 active 1 0 snd 1 8753 pair 2 0 proper tail X tail proper X false tail mark X tail X tail ok X tail X true cons 2 0 s 1 2 take 2 0 u 4 14044 take 2 593 top 1 0 u 4 0 pair 2 22297 fst 1 3902 top 1 0 natsFrom 1 28550 head 1 0 splitAt 2 21294 fst 1 0 tail 1 28661 proper 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 6275 s 1 0 afterNth 2 21952 nil 0 1 tail 1 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 14397 snd 1 0 cons 2 2062 natsFrom 1 0 active 1 0 snd 1 23049 pair 2 0 proper fst X fst proper X false fst mark X fst X fst ok X fst X true cons 2 0 s 1 2 take 2 0 u 4 12064 take 2 593 top 1 0 u 4 0 pair 2 3751 fst 1 19213 top 1 0 natsFrom 1 32601 head 1 0 splitAt 2 30384 fst 1 1 0 tail 1 8683 proper 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 17066 s 1 0 afterNth 2 21952 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 13964 snd 1 0 cons 2 24635 natsFrom 1 0 active 1 0 snd 1 31772 pair 2 0 proper u X1 X2 X3 X4 u proper X1 proper X2 proper X3 proper X4 false u ok X1 ok X2 ok X3 ok X4 u X1 X2 X3 X4 u mark X1 X2 X3 X4 u X1 X2 X3 X4 true cons 2 0 s 1 2 take 2 0 u 4 8922 take 2 2 top 1 0 u 4 1 2 0 pair 2 2 fst 1 2 top 1 0 natsFrom 1 12268 head 1 0 splitAt 2 29572 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 23622 sel 2 0 sel 2 2 s 1 0 afterNth 2 21952 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 2 snd 1 0 cons 2 27531 natsFrom 1 0 active 1 0 snd 1 29829 pair 2 0 proper take X1 X2 take proper X1 proper X2 false take X1 mark X2 take X1 X2 take ok X1 ok X2 take X1 X2 take mark X1 X2 take X1 X2 true cons 2 0 s 1 2 take 2 1 0 u 4 3289 take 2 2 top 1 0 u 4 0 pair 2 2 fst 1 2 top 1 0 natsFrom 1 21541 head 1 0 splitAt 2 13021 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 12820 sel 2 0 sel 2 2 s 1 0 afterNth 2 21952 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 2 snd 1 0 cons 2 27531 natsFrom 1 0 active 1 0 snd 1 29899 pair 2 0 take X1 mark X2 take X1 X2 take X1 mark X2 take X1 X2 true cons 2 0 s 1 2 take 2 2 0 u 4 616 take 2 2 top 1 0 u 4 0 pair 2 2 fst 1 2 top 1 0 natsFrom 1 21541 head 1 0 splitAt 2 2 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 2 s 1 0 afterNth 2 21952 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 24124 snd 1 0 cons 2 40328 natsFrom 1 0 active 1 0 snd 1 31048 pair 2 0 proper pair X1 X2 pair proper X1 proper X2 false pair X1 mark X2 pair X1 X2 pair ok X1 ok X2 pair X1 X2 pair mark X1 X2 pair X1 X2 true cons 2 0 s 1 2 take 2 0 u 4 2 take 2 2 top 1 0 u 4 0 pair 2 2 fst 1 2 top 1 0 natsFrom 1 23724 head 1 0 splitAt 2 2 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 12770 sel 2 0 sel 2 2 s 1 0 afterNth 2 21952 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 2 snd 1 0 cons 2 2 natsFrom 1 0 active 1 0 snd 1 29351 pair 2 1 2 0 proper cons X1 X2 cons proper X1 proper X2 false cons mark X1 X2 cons X1 X2 cons ok X1 ok X2 cons X1 X2 true cons 2 2 0 s 1 2 take 2 0 u 4 879 take 2 2 top 1 0 u 4 0 pair 2 13421 fst 1 2 top 1 0 natsFrom 1 6754 head 1 0 splitAt 2 21796 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 29999 sel 2 0 sel 2 2 s 1 0 afterNth 2 1464 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 2 snd 1 0 cons 2 2 natsFrom 1 0 active 1 0 snd 1 7915 pair 2 0 cons mark X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 2 take 2 0 u 4 2 take 2 2 top 1 0 u 4 0 pair 2 2 fst 1 2 top 1 0 natsFrom 1 22027 head 1 0 splitAt 2 21796 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 29999 sel 2 0 sel 2 2 s 1 0 afterNth 2 1464 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 31583 snd 1 0 cons 2 2 natsFrom 1 0 active 1 0 snd 1 31242 pair 2 0 proper sel X1 X2 sel proper X1 proper X2 false sel X1 mark X2 sel X1 X2 sel ok X1 ok X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 2 take 2 0 u 4 2 take 2 2 top 1 0 u 4 0 pair 2 2 fst 1 2 top 1 0 natsFrom 1 27668 head 1 0 splitAt 2 21796 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 3 sel 2 1 0 sel 2 2 s 1 0 afterNth 2 2 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 2 snd 1 0 cons 2 2 natsFrom 1 0 active 1 0 snd 1 2 pair 2 0 sel X1 mark X2 sel X1 X2 sel X1 mark X2 sel X1 X2 true cons 2 0 s 1 2 take 2 0 u 4 2 take 2 2 top 1 0 u 4 0 pair 2 2 fst 1 12974 top 1 0 natsFrom 1 24328 head 1 0 splitAt 2 21796 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 3 sel 2 2 0 sel 2 16873 s 1 0 afterNth 2 2 nil 0 1 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 2 snd 1 0 cons 2 2 natsFrom 1 0 active 1 0 snd 1 2 pair 2 0 proper splitAt X1 X2 splitAt proper X1 proper X2 false splitAt ok X1 ok X2 splitAt X1 X2 splitAt X1 mark X2 splitAt X1 X2 splitAt mark X1 X2 splitAt X1 X2 true cons 2 0 s 1 2 take 2 0 u 4 2 take 2 2 top 1 0 u 4 0 pair 2 2 fst 1 2 top 1 0 natsFrom 1 24328 head 1 0 splitAt 2 21796 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 2953 sel 2 0 sel 2 2 s 1 0 afterNth 2 2 nil 0 1 tail 1 0 splitAt 2 1 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 2 snd 1 0 cons 2 2 natsFrom 1 0 active 1 0 snd 1 2 pair 2 0 splitAt X1 mark X2 splitAt X1 X2 splitAt X1 mark X2 splitAt X1 X2 true cons 2 0 s 1 2 take 2 0 u 4 17007 take 2 2 top 1 0 u 4 0 pair 2 2 fst 1 2 top 1 0 natsFrom 1 12110 head 1 0 splitAt 2 21796 fst 1 0 tail 1 2 proper 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 2 s 1 0 afterNth 2 2 nil 0 1 tail 1 0 splitAt 2 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 2 snd 1 0 cons 2 2 natsFrom 1 0 active 1 0 snd 1 2 pair 2 0 proper s X s proper X false s ok X s X s mark X s X true cons 2 0 s 1 2 take 2 0 u 4 16517 take 2 2 top 1 0 u 4 0 pair 2 14259 fst 1 2 top 1 0 natsFrom 1 21654 head 1 0 splitAt 2 2 32662 fst 1 0 tail 1 2 proper 1 1 ok 1 1 5328 0 0 26694 sel 2 0 sel 2 31223 s 1 1 0 afterNth 2 29849 nil 0 2558 tail 1 0 splitAt 2 0 mark 1 1 4686 afterNth 2 0 proper 1 0 active 1 1 head 1 31061 snd 1 0 cons 2 2 natsFrom 1 0 active 1 0 snd 1 18839 pair 2 0 NaTT certifiable-1.6