half
x
if
ge
x
s
s
0
x
if
false
x
0
if
true
x
s
half
p
p
x
p
0
0
p
s
x
x
ge
x
0
true
ge
0
s
x
false
ge
s
x
s
y
ge
x
y
log
0
0
log
s
x
s
log
half
s
x
2.2
log
s
x
half
s
x
half
x
if
ge
x
s
s
0
x
half
x
ge
x
s
s
0
if
true
x
p
x
if
true
x
half
p
p
x
log
s
x
log
half
s
x
ge
s
x
s
y
ge
x
y
if
true
x
p
p
x
true
log
s
x
log
half
s
x
true
Failed!
NaTT
certifiable-1.6