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