min
0
y
0
min
x
0
0
min
s
x
s
y
s
min
x
y
max
0
y
y
max
x
0
x
max
s
x
s
y
s
max
x
y
p
s
x
x
f
s
x
s
y
s
z
f
max
s
x
max
s
y
s
z
p
min
s
x
max
s
y
s
z
min
s
x
min
s
y
s
z
f
0
y
z
max
y
z
f
x
0
z
max
x
z
f
x
y
0
max
x
y
2.2
f
0
y
z
max
y
z
f
s
x
s
y
s
z
f
max
s
x
max
s
y
s
z
p
min
s
x
max
s
y
s
z
min
s
x
min
s
y
s
z
f
s
x
s
y
s
z
min
s
y
s
z
f
s
x
s
y
s
z
p
min
s
x
max
s
y
s
z
f
s
x
s
y
s
z
max
s
y
s
z
f
s
x
s
y
s
z
min
s
x
min
s
y
s
z
f
s
x
s
y
s
z
max
s
x
max
s
y
s
z
f
s
x
s
y
s
z
min
s
x
max
s
y
s
z
min
s
x
s
y
min
x
y
f
x
y
0
max
x
y
max
s
x
s
y
max
x
y
f
s
x
s
y
s
z
max
s
y
s
z
f
x
0
z
max
x
z
true
f
s
x
s
y
s
z
f
max
s
x
max
s
y
s
z
p
min
s
x
max
s
y
s
z
min
s
x
min
s
y
s
z
true
Failed!
NaTT
certifiable-1.6