s
a
a
s
s
x
x
s
f
x
y
f
s
y
s
x
s
g
x
y
g
s
x
s
y
f
x
a
x
f
a
y
y
f
g
x
y
g
u
v
g
f
x
u
f
y
v
g
a
a
a
2.2
f
g
x
y
g
u
v
f
x
u
s
f
x
y
s
x
s
g
x
y
s
y
s
g
x
y
g
s
x
s
y
s
f
x
y
s
y
f
g
x
y
g
u
v
f
y
v
f
g
x
y
g
u
v
g
f
x
u
f
y
v
s
g
x
y
s
x
s
f
x
y
f
s
y
s
x
true
s
g
x
y
s
x
s
g
x
y
s
y
s
f
x
y
s
x
s
f
x
y
s
y
true
a
0
0
s
1
0
f
2
1
2
1
s
1
1
0
f
2
0
g
2
0
g
2
1
2
1
s
f
x
y
f
s
y
s
x
false
s
g
x
y
g
s
x
s
y
false
f
g
x
y
g
u
v
f
y
v
f
g
x
y
g
u
v
f
x
u
true
a
0
0
s
1
0
f
2
1
s
1
0
f
2
2
0
g
2
0
g
2
1
2
1
f
g
x
y
g
u
v
g
f
x
u
f
y
v
false
NaTT
certifiable-1.6