active
and
true
X
mark
X
active
and
false
Y
mark
false
active
if
true
X
Y
mark
X
active
if
false
X
Y
mark
Y
active
add
0
X
mark
X
active
add
s
X
Y
mark
s
add
X
Y
active
first
0
X
mark
nil
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
from
X
mark
cons
X
from
s
X
active
and
X1
X2
and
active
X1
X2
active
if
X1
X2
X3
if
active
X1
X2
X3
active
add
X1
X2
add
active
X1
X2
active
first
X1
X2
first
active
X1
X2
active
first
X1
X2
first
X1
active
X2
and
mark
X1
X2
mark
and
X1
X2
if
mark
X1
X2
X3
mark
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
first
mark
X1
X2
mark
first
X1
X2
first
X1
mark
X2
mark
first
X1
X2
proper
and
X1
X2
and
proper
X1
proper
X2
proper
true
ok
true
proper
false
ok
false
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
proper
add
X1
X2
add
proper
X1
proper
X2
proper
0
ok
0
proper
s
X
s
proper
X
proper
first
X1
X2
first
proper
X1
proper
X2
proper
nil
ok
nil
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
from
X
from
proper
X
and
ok
X1
ok
X2
ok
and
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
ok
X1
ok
X2
ok
add
X1
X2
s
ok
X
ok
s
X
first
ok
X1
ok
X2
ok
first
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
proper
cons
X1
X2
proper
X1
add
mark
X1
X2
add
X1
X2
proper
from
X
from
proper
X
top
ok
X
active
X
proper
s
X
s
proper
X
proper
first
X1
X2
proper
X2
proper
first
X1
X2
proper
X1
active
and
X1
X2
active
X1
proper
s
X
proper
X
first
mark
X1
X2
first
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
add
ok
X1
ok
X2
add
X1
X2
top
mark
X
top
proper
X
proper
first
X1
X2
first
proper
X1
proper
X2
active
first
s
X
cons
Y
Z
first
X
Z
active
from
X
from
s
X
active
add
s
X
Y
add
X
Y
active
first
X1
X2
active
X1
active
add
X1
X2
add
active
X1
X2
proper
if
X1
X2
X3
proper
X3
first
X1
mark
X2
first
X1
X2
active
from
X
cons
X
from
s
X
proper
and
X1
X2
and
proper
X1
proper
X2
active
from
X
s
X
proper
from
X
proper
X
and
mark
X1
X2
and
X1
X2
if
mark
X1
X2
X3
if
X1
X2
X3
active
add
X1
X2
active
X1
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
top
mark
X
proper
X
s
ok
X
s
X
active
first
X1
X2
first
active
X1
X2
proper
and
X1
X2
proper
X2
from
ok
X
from
X
if
ok
X1
ok
X2
ok
X3
if
X1
X2
X3
active
first
X1
X2
active
X2
proper
if
X1
X2
X3
proper
X2
top
ok
X
top
active
X
active
first
X1
X2
first
X1
active
X2
proper
add
X1
X2
add
proper
X1
proper
X2
proper
and
X1
X2
proper
X1
proper
add
X1
X2
proper
X2
and
ok
X1
ok
X2
and
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
if
X1
X2
X3
proper
X1
active
if
X1
X2
X3
active
X1
proper
cons
X1
X2
proper
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
add
s
X
Y
s
add
X
Y
active
if
X1
X2
X3
if
active
X1
X2
X3
first
ok
X1
ok
X2
first
X1
X2
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
proper
add
X1
X2
proper
X1
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
cons
2
0
s
1
1
top
1
0
and
2
1
2
17067
false
0
32018
top
1
1
0
true
0
1
proper
1
1
0
ok
1
1
0
if
3
1
2
3
41054
0
0
7177
from
1
1
25836
s
1
0
first
2
0
nil
0
14611
mark
1
1
1
first
2
1
2
7435
proper
1
0
from
1
0
active
1
1
0
cons
2
1
25835
if
3
0
active
1
0
add
2
0
add
2
1
2
1
and
2
0
top
ok
X
top
active
X
first
mark
X1
X2
mark
first
X1
X2
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
proper
true
ok
true
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
s
X
s
proper
X
first
X1
mark
X2
mark
first
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
proper
first
X1
X2
first
proper
X1
proper
X2
s
ok
X
ok
s
X
proper
false
ok
false
proper
nil
ok
nil
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
and
X1
X2
and
active
X1
X2
active
first
0
X
mark
nil
proper
and
X1
X2
and
proper
X1
proper
X2
proper
0
ok
0
proper
from
X
from
proper
X
active
first
X1
X2
first
X1
active
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
X1
X2
add
active
X1
X2
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
proper
add
X1
X2
add
proper
X1
proper
X2
active
if
X1
X2
X3
if
active
X1
X2
X3
active
from
X
mark
cons
X
from
s
X
active
first
X1
X2
first
active
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
first
ok
X1
ok
X2
ok
first
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
and
false
Y
mark
false
top
ok
X
top
active
X
true
cons
2
0
s
1
1
1
top
1
0
and
2
2
240
false
0
1
top
1
1
0
true
0
1
proper
1
1
4188
ok
1
1
4188
if
3
1
18825
0
0
40512
from
1
1
29007
s
1
0
first
2
0
nil
0
10336
mark
1
1
first
2
2
1
proper
1
0
from
1
0
active
1
1
1
cons
2
2
41927
if
3
0
active
1
0
add
2
0
add
2
2
1
and
2
0
first
mark
X1
X2
mark
first
X1
X2
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
proper
true
ok
true
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
s
X
s
proper
X
first
X1
mark
X2
mark
first
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
proper
first
X1
X2
first
proper
X1
proper
X2
s
ok
X
ok
s
X
proper
false
ok
false
proper
nil
ok
nil
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
and
X1
X2
and
active
X1
X2
active
first
0
X
mark
nil
proper
and
X1
X2
and
proper
X1
proper
X2
proper
0
ok
0
proper
from
X
from
proper
X
active
first
X1
X2
first
X1
active
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
X1
X2
add
active
X1
X2
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
proper
add
X1
X2
add
proper
X1
proper
X2
active
if
X1
X2
X3
if
active
X1
X2
X3
active
from
X
mark
cons
X
from
s
X
active
first
X1
X2
first
active
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
first
ok
X1
ok
X2
ok
first
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
and
false
Y
mark
false
top
mark
X
proper
X
false
top
ok
X
active
X
false
active
add
X1
X2
active
X1
active
if
X1
X2
X3
active
X1
active
first
X1
X2
active
X1
active
first
X1
X2
active
X2
active
and
X1
X2
active
X1
true
cons
2
0
s
1
1
0
top
1
0
and
2
1
1
false
0
59342
top
1
0
true
0
1
proper
1
0
ok
1
0
if
3
1
1
0
0
13466
from
1
1
s
1
0
first
2
0
nil
0
1
mark
1
22072
first
2
1
2
0
proper
1
0
from
1
0
active
1
1
22071
cons
2
1
if
3
0
active
1
1
0
add
2
0
add
2
1
1
and
2
0
active
first
X1
X2
active
X2
active
first
X1
X2
active
X1
first
mark
X1
X2
mark
first
X1
X2
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
proper
true
ok
true
cons
ok
X1
ok
X2
ok
cons
X1
X2
first
X1
mark
X2
mark
first
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
proper
false
ok
false
proper
nil
ok
nil
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
and
X1
X2
and
active
X1
X2
active
first
0
X
mark
nil
proper
0
ok
0
active
first
X1
X2
first
X1
active
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
X1
X2
add
active
X1
X2
active
if
X1
X2
X3
if
active
X1
X2
X3
active
from
X
mark
cons
X
from
s
X
active
first
X1
X2
first
active
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
first
ok
X1
ok
X2
ok
first
X1
X2
active
and
false
Y
mark
false
active
first
X1
X2
active
X2
active
first
X1
X2
active
X1
true
cons
2
0
s
1
1
0
top
1
0
and
2
12745
false
0
1
top
1
0
true
0
1
proper
1
0
ok
1
0
if
3
1
0
0
1
from
1
1
s
1
0
first
2
0
nil
0
1
mark
1
1
first
2
1
2
1
proper
1
0
from
1
0
active
1
12744
cons
2
16892
if
3
0
active
1
1
0
add
2
0
add
2
12745
and
2
0
first
mark
X1
X2
mark
first
X1
X2
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
proper
true
ok
true
cons
ok
X1
ok
X2
ok
cons
X1
X2
first
X1
mark
X2
mark
first
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
proper
false
ok
false
proper
nil
ok
nil
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
proper
0
ok
0
and
ok
X1
ok
X2
ok
and
X1
X2
active
from
X
mark
cons
X
from
s
X
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
first
ok
X1
ok
X2
ok
first
X1
X2
active
and
false
Y
mark
false
active
add
s
X
Y
s
add
X
Y
false
active
add
s
X
Y
add
X
Y
false
active
first
X1
X2
first
active
X1
X2
false
active
from
X
cons
X
from
s
X
false
active
from
X
from
s
X
false
active
from
X
s
X
false
active
if
X1
X2
X3
if
active
X1
X2
X3
false
active
add
X1
X2
add
active
X1
X2
false
active
first
X1
X2
first
X1
active
X2
false
active
and
X1
X2
and
active
X1
X2
false
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
false
active
first
s
X
cons
Y
Z
first
X
Z
false
proper
add
X1
X2
proper
X1
proper
from
X
proper
X
proper
if
X1
X2
X3
proper
X3
proper
cons
X1
X2
proper
X2
proper
if
X1
X2
X3
proper
X1
proper
and
X1
X2
proper
X1
proper
add
X1
X2
proper
X2
proper
if
X1
X2
X3
proper
X2
proper
s
X
proper
X
proper
and
X1
X2
proper
X2
proper
first
X1
X2
proper
X1
proper
first
X1
X2
proper
X2
proper
cons
X1
X2
proper
X1
true
cons
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
0
ok
1
1
0
if
3
1
2
3
1
0
0
0
from
1
1
1
s
1
0
first
2
0
nil
0
0
mark
1
1
9836
first
2
1
2
1
proper
1
1
0
from
1
0
active
1
1
31093
cons
2
1
2
21256
if
3
0
active
1
0
add
2
0
add
2
1
2
1
and
2
0
first
mark
X1
X2
mark
first
X1
X2
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
proper
true
ok
true
cons
ok
X1
ok
X2
ok
cons
X1
X2
first
X1
mark
X2
mark
first
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
proper
nil
ok
nil
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
proper
0
ok
0
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
first
ok
X1
ok
X2
ok
first
X1
X2
active
and
false
Y
mark
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
cons
ok
X1
ok
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
0
ok
1
1
1
if
3
1
2
3
1
0
0
0
from
1
1
15538
s
1
0
first
2
0
nil
0
0
mark
1
1
0
first
2
1
1
proper
1
0
from
1
0
active
1
1
2
cons
2
1
2
1
if
3
0
active
1
0
add
2
0
add
2
1
2
1
and
2
0
first
mark
X1
X2
mark
first
X1
X2
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
first
X1
mark
X2
mark
first
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
first
ok
X1
ok
X2
ok
first
X1
X2
active
and
false
Y
mark
false
proper
add
X1
X2
add
proper
X1
proper
X2
false
add
ok
X1
ok
X2
add
X1
X2
add
mark
X1
X2
add
X1
X2
true
cons
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
0
ok
1
1
1
if
3
1
2
3
1
0
0
0
from
1
1
22142
s
1
0
first
2
0
nil
0
0
mark
1
1
0
first
2
1
1
proper
1
0
from
1
0
active
1
1
2
cons
2
1
2
1
if
3
0
active
1
0
add
2
2
0
add
2
1
2
1
and
2
0
add
mark
X1
X2
add
X1
X2
first
mark
X1
X2
mark
first
X1
X2
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
first
X1
mark
X2
mark
first
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
first
ok
X1
ok
X2
ok
first
X1
X2
active
and
false
Y
mark
false
add
mark
X1
X2
add
X1
X2
true
cons
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
0
ok
1
1
1
if
3
1
2
3
1
0
0
0
from
1
1
22142
s
1
0
first
2
0
nil
0
0
mark
1
1
1
first
2
1
1
proper
1
0
from
1
0
active
1
1
3
cons
2
1
2
1
if
3
0
active
1
0
add
2
1
0
add
2
1
2
1
and
2
0
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
active
and
false
Y
mark
false
proper
from
X
from
proper
X
false
from
ok
X
from
X
true
cons
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
0
ok
1
1
1
if
3
1
2
3
1
0
0
0
from
1
1
22142
s
1
0
first
2
0
nil
0
0
mark
1
1
1
first
2
1
1
proper
1
0
from
1
1
0
active
1
1
3
cons
2
1
2
1
if
3
0
active
1
0
add
2
0
add
2
1
2
1
and
2
0
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
active
and
false
Y
mark
false
proper
and
X1
X2
and
proper
X1
proper
X2
false
and
mark
X1
X2
and
X1
X2
and
ok
X1
ok
X2
and
X1
X2
true
cons
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
0
ok
1
1
1
if
3
1
2
3
1
0
0
0
from
1
1
30478
s
1
0
first
2
0
nil
0
0
mark
1
1
1
first
2
1
1
proper
1
0
from
1
0
active
1
1
3
cons
2
1
2
1
if
3
0
active
1
0
add
2
0
add
2
1
2
1
and
2
1
0
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
active
and
false
Y
mark
false
proper
first
X1
X2
first
proper
X1
proper
X2
false
first
ok
X1
ok
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
mark
X1
X2
first
X1
X2
true
cons
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
0
ok
1
1
1
if
3
1
2
3
1
0
0
0
from
1
1
30478
s
1
0
first
2
1
2
0
nil
0
0
mark
1
1
1
first
2
1
1
proper
1
0
from
1
0
active
1
1
3
cons
2
1
2
1
if
3
0
active
1
0
add
2
0
add
2
1
2
1
and
2
0
active
if
false
X
Y
mark
Y
and
mark
X1
X2
mark
and
X1
X2
active
and
true
X
mark
X
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
active
and
false
Y
mark
false
proper
s
X
s
proper
X
false
s
ok
X
s
X
true
cons
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
1
ok
1
1
2
if
3
1
1
0
0
1
from
1
1
1
s
1
1
0
first
2
0
nil
0
1
mark
1
1
1
first
2
1
1
proper
1
0
from
1
0
active
1
1
3
cons
2
1
2
1
if
3
0
active
1
0
add
2
0
add
2
1
2
1
and
2
0
and
mark
X1
X2
mark
and
X1
X2
active
and
true
X
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
active
and
false
Y
mark
false
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
false
if
mark
X1
X2
X3
if
X1
X2
X3
if
ok
X1
ok
X2
ok
X3
if
X1
X2
X3
true
cons
2
0
s
1
1
1
top
1
0
and
2
1
2
1
false
0
1
top
1
0
true
0
0
proper
1
1
ok
1
1
2
if
3
1
1
0
0
1
from
1
1
1
s
1
0
first
2
0
nil
0
1
mark
1
1
1
first
2
1
1
proper
1
0
from
1
0
active
1
1
3
cons
2
1
2
1
if
3
2
0
active
1
0
add
2
0
add
2
1
2
1
and
2
0
if
mark
X1
X2
X3
if
X1
X2
X3
and
mark
X1
X2
mark
and
X1
X2
active
and
true
X
mark
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
add
mark
X1
X2
mark
add
X1
X2
s
ok
X
ok
s
X
active
add
0
X
mark
X
add
ok
X1
ok
X2
ok
add
X1
X2
active
first
0
X
mark
nil
and
ok
X1
ok
X2
ok
and
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
from
ok
X
ok
from
X
active
and
false
Y
mark
false
if
mark
X1
X2
X3
if
X1
X2
X3
true
cons
2
0
s
1
1
23720
top
1
0
and
2
2
false
0
1
top
1
0
true
0
1
proper
1
1
ok
1
3
if
3
1
2
3
1
0
0
1
from
1
2
s
1
0
first
2
0
nil
0
39802
mark
1
1
27542
first
2
2
proper
1
0
from
1
0
active
1
1
cons
2
2
if
3
1
0
active
1
0
add
2
0
add
2
2
and
2
0
NaTT
certifiable-1.6