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