diff
x
y
cond1
equal
x
y
x
y
cond1
true
x
y
0
cond1
false
x
y
cond2
gt
x
y
x
y
cond2
true
x
y
s
diff
x
s
y
cond2
false
x
y
s
diff
s
x
y
gt
0
v
false
gt
s
u
0
true
gt
s
u
s
v
gt
u
v
equal
0
0
true
equal
s
x
0
false
equal
0
s
y
false
equal
s
x
s
y
equal
x
y
2.2
cond2
false
x
y
diff
s
x
y
diff
x
y
equal
x
y
gt
s
u
s
v
gt
u
v
diff
x
y
cond1
equal
x
y
x
y
cond1
false
x
y
cond2
gt
x
y
x
y
equal
s
x
s
y
equal
x
y
cond2
true
x
y
diff
x
s
y
cond1
false
x
y
gt
x
y
true
cond2
true
x
y
diff
x
s
y
cond1
false
x
y
cond2
gt
x
y
x
y
diff
x
y
cond1
equal
x
y
x
y
cond2
false
x
y
diff
s
x
y
true
Failed!
NaTT
certifiable-1.6