a__U11 tt N XS a__U12 tt N XS a__U12 tt N XS a__snd a__splitAt mark N mark XS a__U21 tt X a__U22 tt X a__U22 tt X mark X a__U31 tt N a__U32 tt N a__U32 tt N mark N a__U41 tt N XS a__U42 tt N XS a__U42 tt N XS a__head a__afterNth mark N mark XS a__U51 tt Y a__U52 tt Y a__U52 tt Y mark Y a__U61 tt N X XS a__U62 tt N X XS a__U62 tt N X XS a__U63 tt N X XS a__U63 tt N X XS a__U64 a__splitAt mark N mark XS X a__U64 pair YS ZS X pair cons mark X YS mark ZS a__U71 tt XS a__U72 tt XS a__U72 tt XS mark XS a__U81 tt N XS a__U82 tt N XS a__U82 tt N XS a__fst a__splitAt mark N mark XS a__afterNth N XS a__U11 tt N XS a__fst pair X Y a__U21 tt X a__head cons N XS a__U31 tt N a__natsFrom N cons mark N natsFrom s N a__sel N XS a__U41 tt N XS a__snd pair X Y a__U51 tt Y a__splitAt 0 XS pair nil mark XS a__splitAt s N cons X XS a__U61 tt N X XS a__tail cons N XS a__U71 tt XS a__take N XS a__U81 tt N XS mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark snd X a__snd mark X mark splitAt X1 X2 a__splitAt mark X1 mark X2 mark U21 X1 X2 a__U21 mark X1 X2 mark U22 X1 X2 a__U22 mark X1 X2 mark U31 X1 X2 a__U31 mark X1 X2 mark U32 X1 X2 a__U32 mark X1 X2 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark head X a__head mark X mark afterNth X1 X2 a__afterNth mark X1 mark X2 mark U51 X1 X2 a__U51 mark X1 X2 mark U52 X1 X2 a__U52 mark X1 X2 mark U61 X1 X2 X3 X4 a__U61 mark X1 X2 X3 X4 mark U62 X1 X2 X3 X4 a__U62 mark X1 X2 X3 X4 mark U63 X1 X2 X3 X4 a__U63 mark X1 X2 X3 X4 mark U64 X1 X2 a__U64 mark X1 X2 mark U71 X1 X2 a__U71 mark X1 X2 mark U72 X1 X2 a__U72 mark X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark fst X a__fst mark X mark natsFrom X a__natsFrom mark X mark sel X1 X2 a__sel mark X1 mark X2 mark tail X a__tail mark X mark take X1 X2 a__take mark X1 mark X2 mark tt tt mark pair X1 X2 pair mark X1 mark X2 mark cons X1 X2 cons mark X1 X2 mark s X s mark X mark 0 0 mark nil nil a__U11 X1 X2 X3 U11 X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__snd X snd X a__splitAt X1 X2 splitAt X1 X2 a__U21 X1 X2 U21 X1 X2 a__U22 X1 X2 U22 X1 X2 a__U31 X1 X2 U31 X1 X2 a__U32 X1 X2 U32 X1 X2 a__U41 X1 X2 X3 U41 X1 X2 X3 a__U42 X1 X2 X3 U42 X1 X2 X3 a__head X head X a__afterNth X1 X2 afterNth X1 X2 a__U51 X1 X2 U51 X1 X2 a__U52 X1 X2 U52 X1 X2 a__U61 X1 X2 X3 X4 U61 X1 X2 X3 X4 a__U62 X1 X2 X3 X4 U62 X1 X2 X3 X4 a__U63 X1 X2 X3 X4 U63 X1 X2 X3 X4 a__U64 X1 X2 U64 X1 X2 a__U71 X1 X2 U71 X1 X2 a__U72 X1 X2 U72 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__fst X fst X a__natsFrom X natsFrom X a__sel X1 X2 sel X1 X2 a__tail X tail X a__take X1 X2 take X1 X2 2.2 a__U12 tt N XS a__splitAt mark N mark XS a__head cons N XS a__U31 tt N a__U51 tt Y a__U52 tt Y a__U32 tt N mark N mark afterNth X1 X2 mark X1 a__splitAt s N cons X XS a__U61 tt N X XS mark head X mark X mark pair X1 X2 mark X2 a__U63 tt N X XS mark XS a__U42 tt N XS mark XS a__U63 tt N X XS mark N mark fst X a__fst mark X mark U82 X1 X2 X3 mark X1 a__U22 tt X mark X mark tail X mark X a__take N XS a__U81 tt N XS a__snd pair X Y a__U51 tt Y mark snd X mark X mark U62 X1 X2 X3 X4 a__U62 mark X1 X2 X3 X4 a__sel N XS a__U41 tt N XS mark U22 X1 X2 a__U22 mark X1 X2 a__natsFrom N mark N mark natsFrom X a__natsFrom mark X mark U81 X1 X2 X3 mark X1 mark fst X mark X mark U61 X1 X2 X3 X4 mark X1 mark natsFrom X mark X a__U64 pair YS ZS X mark ZS a__U52 tt Y mark Y a__U63 tt N X XS a__splitAt mark N mark XS mark tail X a__tail mark X a__U62 tt N X XS a__U63 tt N X XS mark U52 X1 X2 a__U52 mark X1 X2 mark U31 X1 X2 a__U31 mark X1 X2 mark U64 X1 X2 a__U64 mark X1 X2 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U12 X1 X2 X3 mark X1 mark U22 X1 X2 mark X1 a__U42 tt N XS mark N mark U72 X1 X2 a__U72 mark X1 X2 a__U31 tt N a__U32 tt N mark sel X1 X2 mark X2 mark splitAt X1 X2 mark X2 a__U81 tt N XS a__U82 tt N XS mark pair X1 X2 mark X1 a__U71 tt XS a__U72 tt XS mark U21 X1 X2 mark X1 a__U82 tt N XS a__splitAt mark N mark XS mark U64 X1 X2 mark X1 mark take X1 X2 a__take mark X1 mark X2 mark splitAt X1 X2 a__splitAt mark X1 mark X2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U11 tt N XS a__U12 tt N XS a__afterNth N XS a__U11 tt N XS mark U52 X1 X2 mark X1 a__splitAt 0 XS mark XS mark s X mark X mark snd X a__snd mark X mark U63 X1 X2 X3 X4 a__U63 mark X1 X2 X3 X4 mark U72 X1 X2 mark X1 mark U71 X1 X2 mark X1 a__U21 tt X a__U22 tt X mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 a__U63 tt N X XS a__U64 a__splitAt mark N mark XS X mark U31 X1 X2 mark X1 a__U42 tt N XS a__head a__afterNth mark N mark XS a__U42 tt N XS a__afterNth mark N mark XS a__U41 tt N XS a__U42 tt N XS mark take X1 X2 mark X2 mark U62 X1 X2 X3 X4 mark X1 mark U61 X1 X2 X3 X4 a__U61 mark X1 X2 X3 X4 a__U61 tt N X XS a__U62 tt N X XS mark head X a__head mark X mark U42 X1 X2 X3 mark X1 mark sel X1 X2 mark X1 mark afterNth X1 X2 a__afterNth mark X1 mark X2 mark U32 X1 X2 a__U32 mark X1 X2 a__U72 tt XS mark XS mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark take X1 X2 mark X1 mark U71 X1 X2 a__U71 mark X1 X2 a__fst pair X Y a__U21 tt X mark cons X1 X2 mark X1 a__U82 tt N XS a__fst a__splitAt mark N mark XS mark U32 X1 X2 mark X1 mark U21 X1 X2 a__U21 mark X1 X2 mark afterNth X1 X2 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 mark U51 X1 X2 mark X1 a__U12 tt N XS mark N a__tail cons N XS a__U71 tt XS a__U12 tt N XS a__snd a__splitAt mark N mark XS a__U64 pair YS ZS X mark X mark U11 X1 X2 X3 mark X1 mark U51 X1 X2 a__U51 mark X1 X2 a__U82 tt N XS mark N a__U82 tt N XS mark XS a__U12 tt N XS mark XS mark splitAt X1 X2 mark X1 mark U63 X1 X2 X3 X4 mark X1 mark U41 X1 X2 X3 mark X1 true mark U41 X1 X2 X3 mark X1 mark splitAt X1 X2 mark X1 mark U63 X1 X2 X3 X4 mark X1 mark U72 X1 X2 mark X1 mark snd X a__snd mark X mark U63 X1 X2 X3 X4 a__U63 mark X1 X2 X3 X4 a__U12 tt N XS mark XS a__splitAt 0 XS mark XS mark s X mark X a__U82 tt N XS mark XS a__U82 tt N XS mark N mark U52 X1 X2 mark X1 a__afterNth N XS a__U11 tt N XS mark U51 X1 X2 a__U51 mark X1 X2 a__U11 tt N XS a__U12 tt N XS mark splitAt X1 X2 a__splitAt mark X1 mark X2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark take X1 X2 a__take mark X1 mark X2 mark U64 X1 X2 mark X1 a__U82 tt N XS a__splitAt mark N mark XS mark U21 X1 X2 mark X1 mark U11 X1 X2 X3 mark X1 a__U71 tt XS a__U72 tt XS mark pair X1 X2 mark X1 a__U64 pair YS ZS X mark X a__U81 tt N XS a__U82 tt N XS mark splitAt X1 X2 mark X2 a__U12 tt N XS a__snd a__splitAt mark N mark XS mark sel X1 X2 mark X2 a__tail cons N XS a__U71 tt XS a__U31 tt N a__U32 tt N a__U12 tt N XS mark N mark U72 X1 X2 a__U72 mark X1 X2 mark U51 X1 X2 mark X1 a__U42 tt N XS mark N mark sel X1 X2 a__sel mark X1 mark X2 mark U22 X1 X2 mark X1 mark afterNth X1 X2 mark X2 mark U12 X1 X2 X3 mark X1 mark U21 X1 X2 a__U21 mark X1 X2 mark U32 X1 X2 mark X1 a__U82 tt N XS a__fst a__splitAt mark N mark XS mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark cons X1 X2 mark X1 mark U64 X1 X2 a__U64 mark X1 X2 mark U31 X1 X2 a__U31 mark X1 X2 mark U52 X1 X2 a__U52 mark X1 X2 a__fst pair X Y a__U21 tt X a__U62 tt N X XS a__U63 tt N X XS mark take X1 X2 mark X1 mark U71 X1 X2 a__U71 mark X1 X2 mark tail X a__tail mark X mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U63 tt N X XS a__splitAt mark N mark XS a__U52 tt Y mark Y a__U64 pair YS ZS X mark ZS mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark natsFrom X mark X mark U61 X1 X2 X3 X4 mark X1 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark U81 X1 X2 X3 mark X1 mark fst X mark X a__U72 tt XS mark XS mark natsFrom X a__natsFrom mark X mark U32 X1 X2 a__U32 mark X1 X2 a__natsFrom N mark N mark afterNth X1 X2 a__afterNth mark X1 mark X2 mark U22 X1 X2 a__U22 mark X1 X2 a__sel N XS a__U41 tt N XS mark U62 X1 X2 X3 X4 a__U62 mark X1 X2 X3 X4 mark sel X1 X2 mark X1 mark snd X mark X mark U42 X1 X2 X3 mark X1 mark head X a__head mark X a__take N XS a__U81 tt N XS a__snd pair X Y a__U51 tt Y a__U61 tt N X XS a__U62 tt N X XS mark tail X mark X mark U61 X1 X2 X3 X4 a__U61 mark X1 X2 X3 X4 a__U22 tt X mark X mark U82 X1 X2 X3 mark X1 mark U62 X1 X2 X3 X4 mark X1 mark fst X a__fst mark X a__U41 tt N XS a__U42 tt N XS mark take X1 X2 mark X2 a__U42 tt N XS a__afterNth mark N mark XS a__U63 tt N X XS mark N a__U42 tt N XS mark XS a__U42 tt N XS a__head a__afterNth mark N mark XS a__U63 tt N X XS mark XS mark U31 X1 X2 mark X1 mark pair X1 X2 mark X2 a__splitAt s N cons X XS a__U61 tt N X XS mark head X mark X a__U63 tt N X XS a__U64 a__splitAt mark N mark XS X a__U21 tt X a__U22 tt X mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark afterNth X1 X2 mark X1 a__U32 tt N mark N a__head cons N XS a__U31 tt N a__U51 tt Y a__U52 tt Y a__U12 tt N XS a__splitAt mark N mark XS mark U71 X1 X2 mark X1 true a__U63 4 1 16 2 22 3 23 4 35 0 U21 2 1 17 2 18 0 a__U82 3 1 61 2 60 3 59 0 a__U72 2 1 26 2 23 0 a__U71 2 1 26 2 24 0 U11 3 1 43 2 42 3 45 0 U64 2 1 0 2 23 0 s 1 1 0 a__U31 2 1 21 2 24 0 a__head 1 1 26 a__natsFrom 1 1 22 a__snd 1 1 5 a__afterNth 2 1 42 2 48 0 U42 3 1 62 2 61 3 63 0 a__U82 3 1 39 2 38 3 37 0 take 2 1 48 2 25586 0 U71 2 1 4 2 3 0 a__U62 4 1 29 2 22 3 29 4 35 0 pair 2 1 20 2 27 0 fst 1 1 1 natsFrom 1 1 18005 a__snd 1 1 6 a__U51 2 1 19 2 24 0 U63 4 1 16 2 22 3 23 4 35 0 a__U22 2 1 14 2 1 0 splitAt 2 1 22 2 35 0 a__U64 2 1 0 2 23 0 U72 2 1 4 2 3 0 a__U11 3 2 51 3 42 0 a__U31 2 1 7 2 3 0 a__U51 2 1 23 2 29 0 a__U81 3 1 44 2 46 3 45 0 a__take 2 1 69 2 14033 0 U12 3 1 22 2 42 3 41 0 a__U62 4 1 34 2 39 3 23 4 37 0 a__U42 3 1 72 2 76 3 74 0 a__U41 3 1 55 2 3090 3 63 0 a__U64 2 1 1 2 22 0 a__U12 3 1 16 2 43 3 41 0 a__U21 2 1 39 2 40 0 a__U81 3 1 66 2 68 3 67 0 a__U61 4 1 34 2 39 3 23 4 37 0 a__fst 1 1 1 a__natsFrom 1 1 18005 tail 1 1 10 mark 1 1 22 0 0 4 a__U21 2 1 17 2 18 0 a__U32 2 1 5 2 2 0 sel 2 1 3090 2 63 0 afterNth 2 1 42 2 48 0 nil 0 7 a__splitAt 2 1 22 2 35 0 U62 4 1 29 2 22 3 29 4 35 0 a__U52 2 2 23 0 a__sel 2 1 3112 2 85 0 mark 1 1 0 a__U72 2 1 4 2 3 0 a__U11 3 1 43 2 42 3 45 0 U32 2 1 5 2 2 0 a__sel 2 1 3090 2 63 0 a__U42 3 1 62 2 61 3 63 0 a__U52 2 1 24 2 1 0 a__U12 3 1 22 2 42 3 41 0 a__U63 4 1 34 2 39 3 22 4 37 0 U52 2 1 24 2 1 0 U61 4 1 23 2 22 3 30 4 35 0 a__U22 2 2 23 0 U31 2 1 7 2 3 0 a__U71 2 1 4 2 3 0 head 1 1 15 a__afterNth 2 1 51 2 69 0 a__splitAt 2 1 39 2 37 0 cons 2 1 0 2 0 0 a__U61 4 1 23 2 22 3 30 4 35 0 snd 1 1 6 a__take 2 1 48 2 25586 0 U81 3 1 44 2 46 3 45 0 a__U41 3 1 77 2 76 3 75 0 U82 3 1 39 2 38 3 37 0 tt 0 5 a__fst 1 1 23 U22 2 1 14 2 1 0 U51 2 1 23 2 29 0 a__tail 1 1 10 U41 3 1 55 2 3090 3 63 0 a__tail 1 1 32 a__U32 2 1 20 2 23 0 a__head 1 1 15 a__head cons N XS a__U31 tt N a__U63 tt N X XS a__U64 a__splitAt mark N mark XS X a__splitAt s N cons X XS a__U61 tt N X XS a__U42 tt N XS a__head a__afterNth mark N mark XS a__U41 tt N XS a__U42 tt N XS mark fst X a__fst mark X a__U61 tt N X XS a__U62 tt N X XS mark U22 X1 X2 a__U22 mark X1 X2 a__natsFrom N mark N mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 a__U63 tt N X XS a__splitAt mark N mark XS mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark tail X a__tail mark X mark U71 X1 X2 a__U71 mark X1 X2 a__U62 tt N X XS a__U63 tt N X XS mark U52 X1 X2 a__U52 mark X1 X2 mark cons X1 X2 mark X1 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U21 X1 X2 a__U21 mark X1 X2 mark sel X1 X2 a__sel mark X1 mark X2 mark U72 X1 X2 a__U72 mark X1 X2 a__U64 pair YS ZS X mark X a__U71 tt XS a__U72 tt XS mark U64 X1 X2 mark X1 a__afterNth N XS a__U11 tt N XS mark s X mark X a__U82 tt N XS a__fst a__splitAt mark N mark XS mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 a__U71 X1 X2 U71 X1 X2 a__U22 tt X mark X a__U71 tt XS a__U72 tt XS a__U42 tt N XS a__head a__afterNth mark N mark XS mark tail X a__tail mark X a__U11 tt N XS a__U12 tt N XS a__U62 X1 X2 X3 X4 U62 X1 X2 X3 X4 a__U21 tt X a__U22 tt X a__U72 tt XS mark XS a__head cons N XS a__U31 tt N mark U32 X1 X2 a__U32 mark X1 X2 a__U31 X1 X2 U31 X1 X2 a__natsFrom X natsFrom X a__splitAt s N cons X XS a__U61 tt N X XS a__U12 X1 X2 X3 U12 X1 X2 X3 a__afterNth N XS a__U11 tt N XS mark splitAt X1 X2 a__splitAt mark X1 mark X2 a__U81 tt N XS a__U82 tt N XS mark 0 0 a__tail cons N XS a__U71 tt XS a__tail X tail X a__fst X fst X mark U22 X1 X2 a__U22 mark X1 X2 a__natsFrom N cons mark N natsFrom s N a__take N XS a__U81 tt N XS a__splitAt X1 X2 splitAt X1 X2 mark U62 X1 X2 X3 X4 a__U62 mark X1 X2 X3 X4 a__U31 tt N a__U32 tt N a__head X head X mark U21 X1 X2 a__U21 mark X1 X2 a__snd X snd X a__U52 tt Y mark Y mark head X a__head mark X a__U41 tt N XS a__U42 tt N XS a__take X1 X2 take X1 X2 a__fst pair X Y a__U21 tt X a__splitAt 0 XS pair nil mark XS mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark natsFrom X a__natsFrom mark X mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U11 X1 X2 X3 U11 X1 X2 X3 a__U64 pair YS ZS X pair cons mark X YS mark ZS a__U81 X1 X2 X3 U81 X1 X2 X3 mark tt tt a__U64 X1 X2 U64 X1 X2 mark snd X a__snd mark X a__U62 tt N X XS a__U63 tt N X XS a__U32 X1 X2 U32 X1 X2 mark U63 X1 X2 X3 X4 a__U63 mark X1 X2 X3 X4 a__U63 X1 X2 X3 X4 U63 X1 X2 X3 X4 a__U72 X1 X2 U72 X1 X2 a__sel N XS a__U41 tt N XS a__U41 X1 X2 X3 U41 X1 X2 X3 a__snd pair X Y a__U51 tt Y a__U61 X1 X2 X3 X4 U61 X1 X2 X3 X4 mark pair X1 X2 pair mark X1 mark X2 a__U61 tt N X XS a__U62 tt N X XS a__U51 tt Y a__U52 tt Y a__U63 tt N X XS a__U64 a__splitAt mark N mark XS X mark fst X a__fst mark X mark afterNth X1 X2 a__afterNth mark X1 mark X2 a__U22 X1 X2 U22 X1 X2 mark take X1 X2 a__take mark X1 mark X2 mark s X s mark X a__U32 tt N mark N mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark nil nil mark cons X1 X2 cons mark X1 X2 a__U51 X1 X2 U51 X1 X2 a__U52 X1 X2 U52 X1 X2 mark U72 X1 X2 a__U72 mark X1 X2 a__U42 X1 X2 X3 U42 X1 X2 X3 mark sel X1 X2 a__sel mark X1 mark X2 mark U71 X1 X2 a__U71 mark X1 X2 a__afterNth X1 X2 afterNth X1 X2 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U51 X1 X2 a__U51 mark X1 X2 mark U52 X1 X2 a__U52 mark X1 X2 mark U64 X1 X2 a__U64 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U82 X1 X2 X3 U82 X1 X2 X3 mark U31 X1 X2 a__U31 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U61 X1 X2 X3 X4 a__U61 mark X1 X2 X3 X4 a__sel X1 X2 sel X1 X2 a__U12 tt N XS a__snd a__splitAt mark N mark XS a__afterNth N XS a__U11 tt N XS false a__natsFrom N mark N false a__splitAt s N cons X XS a__U61 tt N X XS a__U62 tt N X XS a__U63 tt N X XS a__U61 tt N X XS a__U62 tt N X XS a__U63 tt N X XS a__splitAt mark N mark XS true a__U71 2 2 a__U31 2 2 a__natsFrom 1 1 fst 1 1 a__U42 3 2 a__fst 1 1 mark 1 1 a__U63 4 2 2 3 U21 2 1 a__U82 3 0 1 2 3 a__U72 2 0 1 U11 3 8 U64 2 2 s 1 6 1 a__head 1 0 a__snd 1 0 a__afterNth 2 9 1 2 U42 3 1 a__U82 3 6 take 2 7 U71 2 7 a__U62 4 5 pair 2 2 natsFrom 1 5 a__snd 1 7 a__U51 2 0 U63 4 2 2 3 a__U22 2 1 splitAt 2 6 a__U64 2 2 U72 2 6 2 a__U11 3 0 1 a__U31 2 2 2 a__U51 2 7 a__U81 3 6 a__take 2 0 1 2 U12 3 7 2 3 a__U62 4 5 1 2 a__U41 3 2 2 a__U64 2 0 1 a__U12 3 0 2 1 3 a__U21 2 0 2 1 a__U81 3 0 2 3 1 a__U61 4 5 1 2 a__natsFrom 1 5 tail 1 7 mark 1 0 0 0 7 a__U21 2 1 a__U32 2 2 sel 2 7 2 1 afterNth 2 9 1 2 nil 0 7 a__splitAt 2 6 U62 4 5 a__U52 2 0 a__sel 2 0 a__U72 2 6 2 a__U11 3 8 U32 2 2 a__sel 2 7 2 1 a__U42 3 1 a__U52 2 5 2 1 a__U12 3 7 2 3 a__U63 4 5 1 2 U52 2 5 2 1 U61 4 6 a__U22 2 0 2 1 U31 2 2 2 a__U71 2 7 head 1 0 1 a__afterNth 2 0 a__splitAt 2 4 1 cons 2 4 1 a__U61 4 6 snd 1 7 a__take 2 7 U81 3 6 a__U41 3 0 2 3 1 U82 3 6 tt 0 3 a__fst 1 0 U22 2 1 U51 2 7 a__tail 1 7 U41 3 2 2 a__tail 1 0 a__U32 2 0 1 2 a__head 1 0 1 a__U63 4 1 44589 2 44589 3 44581 4 44586 0 U21 2 2 22290 a__U82 3 1 2 3 1 a__U72 2 1 1 U11 3 2 3 48041 U64 2 1 0 2 44581 0 s 1 1 0 a__head 1 1 a__snd 1 1 a__afterNth 2 1 2 48042 U42 3 2 3 62799 a__U82 3 2 3 44590 take 2 1 2 44592 U71 2 2 13436 a__U62 4 1 44585 2 44589 3 44582 4 44586 0 pair 2 1 22290 2 18842 0 natsFrom 1 1 22292 a__snd 1 1 3450 a__U51 2 1 1 U63 4 1 44589 2 44589 3 44581 4 44586 0 a__U22 2 2 3916 splitAt 2 1 44589 2 44586 0 a__U64 2 1 0 2 44581 0 U72 2 2 13435 a__U11 3 1 1 a__U31 2 2 14757 a__U51 2 1 2 22291 a__U81 3 2 3 44591 a__take 2 1 2 0 U12 3 2 3 48040 a__U62 4 1 0 2 0 0 a__U41 3 2 3 62800 a__U64 2 1 1 0 a__U12 3 1 2 3 1 a__U21 2 1 2 1 a__U81 3 1 2 3 1 a__U61 4 1 0 2 0 0 a__natsFrom 1 1 22292 tail 1 1 13437 mark 1 1 0 0 18841 a__U21 2 2 22290 a__U32 2 1 2 14757 sel 2 1 2 62801 afterNth 2 1 2 48042 nil 0 0 a__splitAt 2 1 44589 2 44586 0 U62 4 1 44585 2 44589 3 44582 4 44586 0 a__U52 2 1 a__sel 2 1 a__U72 2 2 13435 a__U11 3 2 3 48041 U32 2 1 2 14757 a__sel 2 1 2 62801 a__U42 3 2 3 62799 a__U52 2 1 2 1 a__U12 3 2 3 48040 a__U63 4 1 0 2 0 0 U52 2 1 2 1 U61 4 1 44583 2 44589 3 44584 4 44586 0 a__U22 2 1 2 1 U31 2 2 14757 a__U71 2 2 13436 head 1 1 14756 a__afterNth 2 2 0 a__splitAt 2 1 0 0 cons 2 1 22291 2 0 0 a__U61 4 1 44583 2 44589 3 44584 4 44586 0 snd 1 1 3450 a__take 2 1 2 44592 U81 3 2 3 44591 a__U41 3 1 2 3 0 U82 3 2 3 44590 tt 0 0 a__fst 1 1 U22 2 2 3916 U51 2 1 2 22291 a__tail 1 1 13437 U41 3 2 3 62800 a__tail 1 1 a__U32 2 1 2 1 a__head 1 1 14756 a__U61 tt N X XS a__U62 tt N X XS a__U62 tt N X XS a__U63 tt N X XS a__U82 tt N XS a__fst a__splitAt mark N mark XS mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 a__U71 X1 X2 U71 X1 X2 a__U22 tt X mark X a__U71 tt XS a__U72 tt XS a__U42 tt N XS a__head a__afterNth mark N mark XS mark tail X a__tail mark X a__U11 tt N XS a__U12 tt N XS a__U62 X1 X2 X3 X4 U62 X1 X2 X3 X4 a__U21 tt X a__U22 tt X a__U72 tt XS mark XS a__head cons N XS a__U31 tt N mark U32 X1 X2 a__U32 mark X1 X2 a__U31 X1 X2 U31 X1 X2 a__natsFrom X natsFrom X a__splitAt s N cons X XS a__U61 tt N X XS a__U12 X1 X2 X3 U12 X1 X2 X3 a__afterNth N XS a__U11 tt N XS mark splitAt X1 X2 a__splitAt mark X1 mark X2 a__U81 tt N XS a__U82 tt N XS mark 0 0 a__tail cons N XS a__U71 tt XS a__tail X tail X a__fst X fst X mark U22 X1 X2 a__U22 mark X1 X2 a__natsFrom N cons mark N natsFrom s N a__take N XS a__U81 tt N XS a__splitAt X1 X2 splitAt X1 X2 mark U62 X1 X2 X3 X4 a__U62 mark X1 X2 X3 X4 a__U31 tt N a__U32 tt N a__head X head X mark U21 X1 X2 a__U21 mark X1 X2 a__snd X snd X a__U52 tt Y mark Y mark head X a__head mark X a__U41 tt N XS a__U42 tt N XS a__take X1 X2 take X1 X2 a__fst pair X Y a__U21 tt X a__splitAt 0 XS pair nil mark XS mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark natsFrom X a__natsFrom mark X mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U11 X1 X2 X3 U11 X1 X2 X3 a__U64 pair YS ZS X pair cons mark X YS mark ZS a__U81 X1 X2 X3 U81 X1 X2 X3 mark tt tt a__U64 X1 X2 U64 X1 X2 mark snd X a__snd mark X a__U62 tt N X XS a__U63 tt N X XS a__U32 X1 X2 U32 X1 X2 mark U63 X1 X2 X3 X4 a__U63 mark X1 X2 X3 X4 a__U63 X1 X2 X3 X4 U63 X1 X2 X3 X4 a__U72 X1 X2 U72 X1 X2 a__sel N XS a__U41 tt N XS a__U41 X1 X2 X3 U41 X1 X2 X3 a__snd pair X Y a__U51 tt Y a__U61 X1 X2 X3 X4 U61 X1 X2 X3 X4 mark pair X1 X2 pair mark X1 mark X2 a__U61 tt N X XS a__U62 tt N X XS a__U51 tt Y a__U52 tt Y a__U63 tt N X XS a__U64 a__splitAt mark N mark XS X mark fst X a__fst mark X mark afterNth X1 X2 a__afterNth mark X1 mark X2 a__U22 X1 X2 U22 X1 X2 mark take X1 X2 a__take mark X1 mark X2 mark s X s mark X a__U32 tt N mark N mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark nil nil mark cons X1 X2 cons mark X1 X2 a__U51 X1 X2 U51 X1 X2 a__U52 X1 X2 U52 X1 X2 mark U72 X1 X2 a__U72 mark X1 X2 a__U42 X1 X2 X3 U42 X1 X2 X3 mark sel X1 X2 a__sel mark X1 mark X2 mark U71 X1 X2 a__U71 mark X1 X2 a__afterNth X1 X2 afterNth X1 X2 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U51 X1 X2 a__U51 mark X1 X2 mark U52 X1 X2 a__U52 mark X1 X2 mark U64 X1 X2 a__U64 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U82 X1 X2 X3 U82 X1 X2 X3 mark U31 X1 X2 a__U31 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U61 X1 X2 X3 X4 a__U61 mark X1 X2 X3 X4 a__sel X1 X2 sel X1 X2 a__U12 tt N XS a__snd a__splitAt mark N mark XS a__U61 tt N X XS a__U62 tt N X XS false a__U62 tt N X XS a__U63 tt N X XS false a__U63 tt N X XS a__U64 a__splitAt mark N mark XS X false a__U64 pair YS ZS X mark X false mark s X mark X mark cons X1 X2 mark X1 mark U64 X1 X2 mark X1 true a__U63 4 1 4 3762 U21 2 2 1 a__U82 3 0 a__U72 2 0 a__U71 2 0 U11 3 1210 U64 2 1 1512 s 1 1 1 a__U31 2 0 a__head 1 0 a__natsFrom 1 0 a__snd 1 0 a__afterNth 2 1 2 0 U42 3 3 2248 a__U82 3 2 3 3136 take 2 3 U71 2 2 53433 a__U62 4 1 3 3761 pair 2 1 2 1 fst 1 23202 natsFrom 1 1 27018 a__snd 1 1 1162 a__U51 2 0 U63 4 3 4 3761 a__U22 2 1 3 splitAt 2 1 887 a__U64 2 2 3764 U72 2 1 2 28312 a__U11 3 0 a__U31 2 2249 a__U51 2 1 1163 a__U81 3 3135 a__take 2 0 U12 3 1214 a__U62 4 4 a__U42 3 0 a__U41 3 2 2246 a__U64 2 0 a__U12 3 0 a__U21 2 0 a__U81 3 0 a__U61 4 4 a__fst 1 1 0 a__natsFrom 1 1 27019 tail 1 1 51179 mark 1 1 0 0 0 1373 a__U21 2 1 2 a__U32 2 1 2249 sel 2 2246 afterNth 2 147 nil 0 25477 a__splitAt 2 2 886 U62 4 2 4 1898 a__U52 2 0 a__sel 2 0 mark 1 1 2251 a__U72 2 53433 a__U11 3 1 3 1211 U32 2 2 2250 a__sel 2 1 2 2245 a__U42 3 2 2247 a__U52 2 1 2 2150 a__U12 3 2 1213 a__U63 4 4 U52 2 2 2149 U61 4 1 3 4 1509 a__U22 2 0 U31 2 1 2250 a__U71 2 53432 head 1 1 2249 a__afterNth 2 0 a__splitAt 2 2 cons 2 1 2 1047 a__U61 4 2 3761 snd 1 1161 a__take 2 1 2 0 U81 3 1 883 a__U41 3 0 U82 3 1 3137 tt 0 1 a__fst 1 0 U22 2 2 2 U51 2 1162 a__tail 1 53431 U41 3 3 2247 a__tail 1 0 a__U32 2 0 a__head 1 2248 mark U52 X1 X2 a__U52 mark X1 X2 false mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 false a__U41 tt N XS a__U42 tt N XS false a__U42 tt N XS a__head a__afterNth mark N mark XS false a__head cons N XS a__U31 tt N false mark U71 X1 X2 a__U71 mark X1 X2 false a__U71 tt XS a__U72 tt XS false mark sel X1 X2 a__sel mark X1 mark X2 false mark U72 X1 X2 a__U72 mark X1 X2 false mark fst X a__fst mark X false mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 false mark U21 X1 X2 a__U21 mark X1 X2 false mark U22 X1 X2 a__U22 mark X1 X2 false mark tail X a__tail mark X false mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 false NaTT certifiable-1.6