active
fact
X
mark
if
zero
X
s
0
prod
X
fact
p
X
active
add
0
X
mark
X
active
add
s
X
Y
mark
s
add
X
Y
active
prod
0
X
mark
0
active
prod
s
X
Y
mark
add
Y
prod
X
Y
active
if
true
X
Y
mark
X
active
if
false
X
Y
mark
Y
active
zero
0
mark
true
active
zero
s
X
mark
false
active
p
s
X
mark
X
active
fact
X
fact
active
X
active
if
X1
X2
X3
if
active
X1
X2
X3
active
zero
X
zero
active
X
active
s
X
s
active
X
active
prod
X1
X2
prod
active
X1
X2
active
prod
X1
X2
prod
X1
active
X2
active
p
X
p
active
X
active
add
X1
X2
add
active
X1
X2
active
add
X1
X2
add
X1
active
X2
fact
mark
X
mark
fact
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
zero
mark
X
mark
zero
X
s
mark
X
mark
s
X
prod
mark
X1
X2
mark
prod
X1
X2
prod
X1
mark
X2
mark
prod
X1
X2
p
mark
X
mark
p
X
add
mark
X1
X2
mark
add
X1
X2
add
X1
mark
X2
mark
add
X1
X2
proper
fact
X
fact
proper
X
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
proper
zero
X
zero
proper
X
proper
s
X
s
proper
X
proper
0
ok
0
proper
prod
X1
X2
prod
proper
X1
proper
X2
proper
p
X
p
proper
X
proper
add
X1
X2
add
proper
X1
proper
X2
proper
true
ok
true
proper
false
ok
false
fact
ok
X
ok
fact
X
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
zero
ok
X
ok
zero
X
s
ok
X
ok
s
X
prod
ok
X1
ok
X2
ok
prod
X1
X2
p
ok
X
ok
p
X
add
ok
X1
ok
X2
ok
add
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
1
fact
1
mark
1
if
3
zero
1
s
1
0
0
prod
2
p
1
add
2
true
0
false
0
proper
1
ok
1
top
1
FULL
./TRS/TRCSR/ExIntrod_Zan97_C.trs