fact
X
if
zero
X
n__s
n__0
n__prod
X
n__fact
n__p
X
add
0
X
X
add
s
X
Y
s
add
X
Y
prod
0
X
0
prod
s
X
Y
add
Y
prod
X
Y
if
true
X
Y
activate
X
if
false
X
Y
activate
Y
zero
0
true
zero
s
X
false
p
s
X
X
s
X
n__s
X
0
n__0
prod
X1
X2
n__prod
X1
X2
fact
X
n__fact
X
p
X
n__p
X
activate
n__s
X
s
activate
X
activate
n__0
0
activate
n__prod
X1
X2
prod
activate
X1
activate
X2
activate
n__fact
X
fact
activate
X
activate
n__p
X
p
activate
X
activate
X
X
2.2
activate
n__p
X
p
activate
X
prod
s
X
Y
prod
X
Y
add
s
X
Y
add
X
Y
activate
n__fact
X
activate
X
activate
n__s
X
activate
X
add
s
X
Y
s
add
X
Y
fact
X
if
zero
X
n__s
n__0
n__prod
X
n__fact
n__p
X
activate
n__0
0
activate
n__s
X
s
activate
X
prod
s
X
Y
add
Y
prod
X
Y
activate
n__prod
X1
X2
activate
X1
activate
n__prod
X1
X2
prod
activate
X1
activate
X2
activate
n__p
X
activate
X
if
true
X
Y
activate
X
activate
n__fact
X
fact
activate
X
fact
X
zero
X
if
false
X
Y
activate
Y
activate
n__prod
X1
X2
activate
X2
true
activate
n__prod
X1
X2
activate
X2
if
false
X
Y
activate
Y
fact
X
if
zero
X
n__s
n__0
n__prod
X
n__fact
n__p
X
activate
n__fact
X
fact
activate
X
if
true
X
Y
activate
X
activate
n__p
X
activate
X
activate
n__s
X
activate
X
activate
n__fact
X
activate
X
activate
n__prod
X1
X2
activate
X1
true
zero
1
1
0
0
0
0
prod
2
1
1
2
0
0
n__prod
2
1
1
2
0
0
s
1
1
0
prod
2
0
activate
1
1
0
n__fact
1
1
1326
activate
1
1
20698
false
0
1
fact
1
1
22024
p
1
0
true
0
0
n__s
1
1
0
p
1
1
0
if
3
2
1057
3
0
0
0
0
1
s
1
0
fact
1
1
1326
n__0
0
1
n__p
1
1
0
if
3
2
22022
3
20698
0
add
2
0
add
2
1
0
2
0
0
zero
1
0
activate
n__s
X
activate
X
activate
n__p
X
activate
X
activate
n__fact
X
fact
activate
X
fact
X
if
zero
X
n__s
n__0
n__prod
X
n__fact
n__p
X
if
false
X
Y
activate
Y
activate
n__prod
X1
X2
activate
X2
activate
n__prod
X1
X2
prod
activate
X1
activate
X2
prod
0
X
0
p
X
n__p
X
fact
X
if
zero
X
n__s
n__0
n__prod
X
n__fact
n__p
X
add
s
X
Y
s
add
X
Y
activate
n__s
X
s
activate
X
activate
X
X
activate
n__fact
X
fact
activate
X
activate
n__0
0
prod
s
X
Y
add
Y
prod
X
Y
p
s
X
X
if
false
X
Y
activate
Y
activate
n__p
X
p
activate
X
fact
X
n__fact
X
0
n__0
s
X
n__s
X
prod
X1
X2
n__prod
X1
X2
if
true
X
Y
activate
X
add
0
X
X
activate
n__prod
X1
X2
activate
X2
fact
X
if
zero
X
n__s
n__0
n__prod
X
n__fact
n__p
X
activate
n__s
X
activate
X
activate
n__fact
X
fact
activate
X
if
false
X
Y
activate
Y
activate
n__p
X
activate
X
true
zero
1
1
1
0
0
0
prod
2
18012
n__prod
2
2
0
s
1
1
2
prod
2
0
activate
1
18011
n__fact
1
18013
activate
1
1
0
false
0
4
fact
1
18013
p
1
0
true
0
18010
n__s
1
1
3
p
1
18012
if
3
1
2
0
0
0
18008
s
1
0
fact
1
18012
n__0
0
18009
n__p
1
1
18013
if
3
3
0
add
2
0
add
2
2
15943
zero
1
0
if
false
X
Y
activate
Y
activate
n__fact
X
fact
activate
X
fact
X
if
zero
X
n__s
n__0
n__prod
X
n__fact
n__p
X
activate
n__prod
X1
X2
activate
X2
activate
n__prod
X1
X2
activate
X2
fact
X
if
zero
X
n__s
n__0
n__prod
X
n__fact
n__p
X
activate
n__fact
X
fact
activate
X
if
false
X
Y
activate
Y
true
Failed!
NaTT
certifiable-1.6