b
f
b
x
z
y
f
f
f
b
z
b
y
z
c
f
f
c
x
a
z
a
y
b
y
f
b
a
z
b
b
c
b
a
a
a
z
f
a
y
z
2.2
c
f
f
c
x
a
z
a
y
b
a
z
b
f
b
x
z
y
b
z
b
y
z
c
f
f
c
x
a
z
a
y
b
y
f
b
a
z
b
f
b
x
z
y
b
y
z
true
c
f
f
c
x
a
z
a
y
b
y
f
b
a
z
false
b
f
b
x
z
y
b
y
z
b
f
b
x
z
y
b
z
b
y
z
true
2
1
a
0
1
1
b
2
1
1
0
0
1
0
1
0
0
2
25575
17220
c
3
0
0
0
1
1
1
0
0
0
2
1
0
1
0
3
8784
0
f
1
0
0
1
0
1
8356
13020
c
3
0
0
b
2
1
0
0
0
1
1
0
0
0
2
0
0
b
f
b
x
z
y
f
f
f
b
z
b
y
z
b
b
c
b
a
a
a
z
f
a
y
z
c
f
f
c
x
a
z
a
y
b
a
z
false
NaTT
certifiable-1.6