a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
a__add
0
X
mark
X
a__add
s
X
Y
s
a__add
mark
X
mark
Y
a__prod
0
X
0
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
a__if
true
X
Y
mark
X
a__if
false
X
Y
mark
Y
a__zero
0
true
a__zero
s
X
false
a__p
s
X
mark
X
mark
fact
X
a__fact
mark
X
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
zero
X
a__zero
mark
X
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
mark
p
X
a__p
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
s
X
s
mark
X
mark
0
0
mark
true
true
mark
false
false
a__fact
X
fact
X
a__if
X1
X2
X3
if
X1
X2
X3
a__zero
X
zero
X
a__prod
X1
X2
prod
X1
X2
a__p
X
p
X
a__add
X1
X2
add
X1
X2
2.2
a__if
true
X
Y
mark
X
mark
p
X
a__p
mark
X
mark
fact
X
mark
X
a__p
s
X
mark
X
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
mark
prod
X1
X2
mark
X2
a__add
s
X
Y
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__if
false
X
Y
mark
Y
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
mark
p
X
mark
X
a__add
s
X
Y
mark
Y
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
prod
X1
X2
mark
X1
mark
fact
X
a__fact
mark
X
a__fact
X
mark
X
mark
add
X1
X2
mark
X2
a__fact
X
a__zero
mark
X
a__prod
s
X
Y
mark
X
mark
s
X
mark
X
a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
mark
add
X1
X2
mark
X1
a__prod
s
X
Y
a__prod
mark
X
mark
Y
mark
zero
X
a__zero
mark
X
a__add
0
X
mark
X
mark
if
X1
X2
X3
mark
X1
a__prod
s
X
Y
mark
Y
mark
zero
X
mark
X
a__prod
s
X
Y
mark
Y
true
a__prod
s
X
Y
mark
Y
a__add
s
X
Y
mark
Y
mark
zero
X
mark
X
mark
p
X
mark
X
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
a__prod
s
X
Y
mark
Y
a__if
false
X
Y
mark
Y
mark
if
X1
X2
X3
mark
X1
a__add
0
X
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
s
X
Y
mark
X
a__prod
s
X
Y
a__prod
mark
X
mark
Y
mark
add
X1
X2
mark
X1
a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
mark
prod
X1
X2
mark
X2
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
a__p
s
X
mark
X
mark
s
X
mark
X
a__prod
s
X
Y
mark
X
mark
fact
X
mark
X
mark
add
X1
X2
mark
X2
a__fact
X
mark
X
mark
fact
X
a__fact
mark
X
mark
prod
X1
X2
mark
X1
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
p
X
a__p
mark
X
a__if
true
X
Y
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
true
zero
1
1
1
prod
2
1
1
2
0
0
s
1
1
0
a__prod
2
1
1
2
0
0
a__zero
1
0
a__fact
1
1
28226
a__add
2
1
29534
2
29534
0
a__add
2
1
0
2
0
0
false
0
1
a__p
1
1
0
true
0
2
a__zero
1
1
1
p
1
1
0
mark
1
1
29534
0
0
1
if
3
1
28225
2
28224
3
0
0
a__fact
1
1
57760
fact
1
1
28226
mark
1
1
0
a__p
1
1
29534
a__if
3
2
57758
3
29534
0
a__prod
2
1
29535
2
29534
0
add
2
1
0
2
0
0
a__if
3
1
28225
2
28224
3
0
0
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
p
X
a__p
mark
X
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
fact
X
a__fact
mark
X
mark
add
X1
X2
mark
X2
mark
s
X
mark
X
a__p
s
X
mark
X
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
mark
prod
X1
X2
mark
X2
a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
mark
add
X1
X2
mark
X1
a__prod
s
X
Y
a__prod
mark
X
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
0
X
mark
X
a__if
false
X
Y
mark
Y
a__prod
s
X
Y
mark
Y
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
mark
p
X
mark
X
a__add
s
X
Y
mark
Y
a__prod
s
X
Y
mark
Y
mark
0
0
a__prod
0
X
0
mark
p
X
a__p
mark
X
a__zero
0
true
a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
add
X1
X2
a__add
mark
X1
mark
X2
a__fact
X
fact
X
a__add
X1
X2
add
X1
X2
mark
true
true
mark
s
X
s
mark
X
a__if
X1
X2
X3
if
X1
X2
X3
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
a__p
s
X
mark
X
a__if
false
X
Y
mark
Y
mark
false
false
a__p
X
p
X
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
a__zero
X
zero
X
a__prod
X1
X2
prod
X1
X2
mark
fact
X
a__fact
mark
X
a__zero
s
X
false
mark
zero
X
a__zero
mark
X
a__if
true
X
Y
mark
X
a__add
0
X
mark
X
mark
p
X
mark
X
mark
p
X
a__p
mark
X
a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
a__add
s
X
Y
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
s
X
mark
X
a__prod
s
X
Y
mark
Y
a__prod
s
X
Y
a__prod
mark
X
mark
Y
a__prod
s
X
Y
mark
Y
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
a__p
s
X
mark
X
a__if
false
X
Y
mark
Y
mark
prod
X1
X2
mark
X2
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
fact
X
a__fact
mark
X
a__add
0
X
mark
X
true
zero
1
1
prod
2
2
0
0
s
1
1
0
a__prod
2
2
0
0
a__zero
1
0
a__fact
1
3
a__add
2
1
0
2
0
0
a__add
2
1
0
2
0
0
false
0
1
a__p
1
1
2
true
0
1
a__zero
1
1
p
1
1
2
mark
1
1
0
0
0
0
if
3
1
2
2
1
3
0
0
a__fact
1
3
fact
1
3
mark
1
1
0
a__p
1
1
1
a__if
3
3
0
0
a__prod
2
2
0
0
add
2
1
0
2
0
0
a__if
3
1
2
2
1
3
0
0
a__add
0
X
mark
X
mark
fact
X
a__fact
mark
X
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
mark
prod
X1
X2
mark
X2
a__if
false
X
Y
mark
Y
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
a__prod
s
X
Y
mark
Y
a__prod
s
X
Y
a__prod
mark
X
mark
Y
a__prod
s
X
Y
mark
Y
mark
s
X
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
mark
X2
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
mark
Y
a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
mark
0
0
a__prod
0
X
0
mark
p
X
a__p
mark
X
a__zero
0
true
a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
add
X1
X2
a__add
mark
X1
mark
X2
a__fact
X
fact
X
a__add
X1
X2
add
X1
X2
mark
true
true
mark
s
X
s
mark
X
a__if
X1
X2
X3
if
X1
X2
X3
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
a__p
s
X
mark
X
a__if
false
X
Y
mark
Y
mark
false
false
a__p
X
p
X
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
a__zero
X
zero
X
a__prod
X1
X2
prod
X1
X2
mark
fact
X
a__fact
mark
X
a__zero
s
X
false
mark
zero
X
a__zero
mark
X
a__if
true
X
Y
mark
X
a__add
0
X
mark
X
a__fact
X
a__if
a__zero
mark
X
s
0
prod
X
fact
p
X
a__add
s
X
Y
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
s
X
mark
X
a__prod
s
X
Y
mark
Y
a__prod
s
X
Y
a__prod
mark
X
mark
Y
a__prod
s
X
Y
mark
Y
a__prod
s
X
Y
a__add
mark
Y
a__prod
mark
X
mark
Y
a__if
false
X
Y
mark
Y
mark
prod
X1
X2
mark
X2
mark
prod
X1
X2
a__prod
mark
X1
mark
X2
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
fact
X
a__fact
mark
X
a__add
0
X
mark
X
true
Failed!
NaTT
certifiable-1.6