double
x
permute
x
x
a
permute
x
y
a
permute
isZero
x
x
b
permute
false
x
b
permute
ack
x
x
p
x
c
permute
true
x
b
0
permute
y
x
c
s
s
permute
x
y
a
p
0
0
p
s
x
x
ack
0
x
plus
x
s
0
ack
s
x
0
ack
x
s
0
ack
s
x
s
y
ack
x
ack
s
x
y
plus
0
y
y
plus
s
x
y
plus
x
s
y
plus
x
s
s
y
s
plus
s
x
y
plus
x
s
0
s
x
plus
x
0
x
isZero
0
true
isZero
s
x
false
2.2
permute
x
y
a
isZero
x
ack
s
x
s
y
ack
x
ack
s
x
y
ack
0
x
plus
x
s
0
permute
false
x
b
permute
ack
x
x
p
x
c
permute
false
x
b
p
x
double
x
permute
x
x
a
ack
s
x
s
y
ack
s
x
y
permute
false
x
b
ack
x
x
plus
s
x
y
plus
x
s
y
plus
x
s
s
y
plus
s
x
y
permute
x
y
a
permute
isZero
x
x
b
permute
y
x
c
permute
x
y
a
ack
s
x
0
ack
x
s
0
true
double
x
permute
x
x
a
false
permute
y
x
c
permute
x
y
a
permute
x
y
a
permute
isZero
x
x
b
permute
false
x
b
permute
ack
x
x
p
x
c
true
Failed!
NaTT
certifiable-1.6