active
nats
mark
cons
0
incr
nats
active
pairs
mark
cons
0
incr
odds
active
odds
mark
incr
pairs
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
head
cons
X
XS
mark
X
active
tail
cons
X
XS
mark
XS
active
cons
X1
X2
cons
active
X1
X2
active
incr
X
incr
active
X
active
s
X
s
active
X
active
head
X
head
active
X
active
tail
X
tail
active
X
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
s
mark
X
mark
s
X
head
mark
X
mark
head
X
tail
mark
X
mark
tail
X
proper
nats
ok
nats
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
0
ok
0
proper
incr
X
incr
proper
X
proper
pairs
ok
pairs
proper
odds
ok
odds
proper
s
X
s
proper
X
proper
head
X
head
proper
X
proper
tail
X
tail
proper
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
incr
ok
X
ok
incr
X
s
ok
X
ok
s
X
head
ok
X
ok
head
X
tail
ok
X
ok
tail
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
1
nats
0
mark
1
cons
2
0
0
incr
1
pairs
0
odds
0
s
1
head
1
tail
1
proper
1
ok
1
top
1
INNERMOST
./TRS/TRCSR/inn/Ex1_Luc04b_C.trs