fact
X
if
zero
X
n__s
0
n__prod
X
fact
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
prod
X1
X2
n__prod
X1
X2
activate
n__s
X
s
X
activate
n__prod
X1
X2
prod
X1
X2
activate
X
X
2.2
activate
n__s
X
s
X
prod
s
X
Y
prod
X
Y
fact
X
if
zero
X
n__s
0
n__prod
X
fact
p
X
fact
X
fact
p
X
fact
X
p
X
add
s
X
Y
s
add
X
Y
fact
X
zero
X
prod
s
X
Y
add
Y
prod
X
Y
activate
n__prod
X1
X2
prod
X1
X2
if
true
X
Y
activate
X
add
s
X
Y
add
X
Y
if
false
X
Y
activate
Y
true
fact
X
fact
p
X
true
Failed!
NaTT
certifiable-1.6