f
c
c
a
y
a
b
x
z
a
b
y
f
c
f
a
z
z
f
b
b
x
f
y
z
c
z
x
f
b
b
f
a
y
y
c
b
a
a
b
y
z
x
b
a
b
z
z
2.2
f
b
b
x
f
y
z
f
b
b
f
a
y
y
f
c
c
a
y
a
b
x
z
a
f
a
f
c
c
a
y
a
b
x
z
a
c
f
a
z
z
f
b
b
x
f
y
z
f
a
f
b
b
x
f
y
z
c
z
x
f
b
b
f
a
y
y
f
c
c
a
y
a
b
x
z
a
f
c
f
a
z
z
true
f
c
c
a
y
a
b
x
z
a
f
c
f
a
z
z
false
f
c
c
a
y
a
b
x
z
a
f
a
false
f
c
c
a
y
a
b
x
z
a
c
f
a
z
z
false
f
b
b
x
f
y
z
f
b
b
f
a
y
y
true
a
0
1
b
2
1
2443
2
4885
0
c
3
1
4886
2
7326
0
f
1
1
2440
f
1
1
0
c
3
0
f
c
c
a
y
a
b
x
z
a
b
y
f
c
f
a
z
z
c
b
a
a
b
y
z
x
b
a
b
z
z
f
b
b
x
f
y
z
c
z
x
f
b
b
f
a
y
y
f
b
b
x
f
y
z
c
z
x
f
b
b
f
a
y
y
false
f
b
b
x
f
y
z
f
a
false
NaTT
certifiable-1.6