f
b
a
z
z
b
y
b
a
z
b
f
c
y
y
a
b
f
z
a
f
f
f
c
z
x
a
b
f
x
z
2.2
b
y
b
a
z
f
c
y
y
a
f
f
f
c
z
x
a
f
x
f
f
f
c
z
x
a
b
f
x
z
b
y
b
a
z
b
f
z
a
b
y
b
a
z
b
f
c
y
y
a
b
f
z
a
b
y
b
a
z
f
z
true
b
y
b
a
z
f
z
b
y
b
a
z
b
f
c
y
y
a
b
f
z
a
f
f
f
c
z
x
a
f
x
f
f
f
c
z
x
a
b
f
x
z
true
a
0
0
b
2
2
28105
c
3
1
2
1
f
1
1
1
f
1
1
0
b
2
2
2
b
y
b
a
z
b
f
c
y
y
a
b
f
z
a
b
y
b
a
z
b
f
c
y
y
a
b
f
z
a
b
y
b
a
z
b
f
c
y
y
a
b
f
z
a
true
2
1
a
0
1
0
b
2
1
1
0
0
1
0
1
1
1
2
27233
0
c
3
0
1
1
0
1
0
0
1
0
2
36242
0
f
1
0
1
1
1
1
0
1
f
1
0
0
b
2
0
1
0
0
1
1
0
0
0
2
0
0
f
b
a
z
z
f
f
f
c
z
x
a
b
f
x
z
b
y
b
a
z
b
f
c
y
y
a
b
f
z
a
b
y
b
a
z
b
f
z
a
false
b
y
b
a
z
f
c
y
y
a
false
NaTT
certifiable-1.6