f
s
s
s
s
s
s
s
s
x
y
y
f
id
s
s
s
s
s
s
s
s
x
y
y
id
s
x
s
id
x
id
0
0
2.2
f
s
s
s
s
s
s
s
s
x
y
y
f
id
s
s
s
s
s
s
s
s
x
y
y
f
s
s
s
s
s
s
s
s
x
y
y
id
s
s
s
s
s
s
s
s
x
id
s
x
id
x
true
f
s
s
s
s
s
s
s
s
x
y
y
f
id
s
s
s
s
s
s
s
s
x
y
y
true
Failed!
NaTT
certifiable-1.6