ge
0
0
true
ge
s
x
0
ge
x
0
ge
0
s
0
false
ge
0
s
s
x
ge
0
s
x
ge
s
x
s
y
ge
x
y
minus
0
0
0
minus
0
s
x
minus
0
x
minus
s
x
0
s
minus
x
0
minus
s
x
s
y
minus
x
y
plus
0
0
0
plus
0
s
x
s
plus
0
x
plus
s
x
y
s
plus
x
y
div
x
y
ify
ge
y
s
0
x
y
ify
false
x
y
divByZeroError
ify
true
x
y
if
ge
x
y
x
y
if
false
x
y
0
if
true
x
y
s
div
minus
x
y
y
2.2
div
x
y
ify
ge
y
s
0
x
y
plus
s
x
y
plus
x
y
ify
true
x
y
ge
x
y
if
true
x
y
div
minus
x
y
y
minus
s
x
0
minus
x
0
ify
true
x
y
if
ge
x
y
x
y
ge
0
s
s
x
ge
0
s
x
minus
0
s
x
minus
0
x
if
true
x
y
minus
x
y
plus
0
s
x
plus
0
x
div
x
y
ge
y
s
0
ge
s
x
0
ge
x
0
ge
s
x
s
y
ge
x
y
minus
s
x
s
y
minus
x
y
true
plus
s
x
y
plus
x
y
true
div
2
0
s
1
1
1
divByZeroError
0
0
minus
2
0
ify
3
0
plus
2
1
0
false
0
0
div
2
0
ge
2
0
true
0
0
0
0
0
if
3
0
ge
2
0
ify
3
0
minus
2
0
plus
2
0
if
3
0
plus
0
s
x
plus
0
x
true
div
2
0
s
1
1
1
divByZeroError
0
0
minus
2
0
ify
3
0
plus
2
2
0
false
0
0
div
2
0
ge
2
0
true
0
0
0
0
0
if
3
0
ge
2
0
ify
3
0
minus
2
0
plus
2
0
if
3
0
ify
true
x
y
if
ge
x
y
x
y
if
true
x
y
div
minus
x
y
y
div
x
y
ify
ge
y
s
0
x
y
true
Failed!
NaTT
certifiable-1.6