f
s
x
y
f
x
s
x
f
x
s
y
f
y
x
f
c
x
y
f
x
s
x
2.2
f
c
x
y
f
x
s
x
f
s
x
y
f
x
s
x
f
x
s
y
f
y
x
true
f
x
s
y
f
y
x
f
s
x
y
f
x
s
x
f
c
x
y
f
x
s
x
true
s
1
1
1
c
1
1
2
f
2
0
f
2
1
28958
2
28958
0
f
s
x
y
f
x
s
x
f
x
s
y
f
y
x
f
s
x
y
f
x
s
x
f
x
s
y
f
y
x
true
s
1
1
2
c
1
2
f
2
0
f
2
1
2
2
1
0
NaTT
certifiable-1.6