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
active
1
natsFrom
1
mark
1
cons
2
s
1
fst
1
pair
2
snd
1
splitAt
2
0
0
nil
0
u
4
head
1
tail
1
sel
2
afterNth
2
take
2
proper
1
ok
1
top
1
INNERMOST
./TRS/TRCSR/inn/ExSec4_2_DLMMU04_C.trs