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