b
b
y
z
c
a
a
a
f
c
z
y
z
f
b
b
a
z
c
a
x
y
z
c
y
x
f
z
b
f
b
z
x
z
2.2
c
y
x
f
z
f
b
z
x
b
b
y
z
c
a
a
a
c
z
y
z
c
y
x
f
z
b
z
x
c
y
x
f
z
b
f
b
z
x
z
b
b
y
z
c
a
a
a
f
c
z
y
z
true
c
y
x
f
z
b
f
b
z
x
z
c
y
x
f
z
b
z
x
b
b
y
z
c
a
a
a
c
z
y
z
true
a
0
0
b
2
1
1
2
1
0
c
3
1
1
2
2
3
2
0
f
1
1
0
f
1
0
c
3
2
28102
3
28102
0
b
2
1
28101
0
b
b
y
z
c
a
a
a
c
z
y
z
c
y
x
f
z
b
f
b
z
x
z
b
b
y
z
c
a
a
a
f
c
z
y
z
c
y
x
f
z
b
f
b
z
x
z
f
b
b
a
z
c
a
x
y
z
b
b
y
z
c
a
a
a
c
z
y
z
c
y
x
f
z
b
f
b
z
x
z
true
f
1
1
b
2
1
a
0
0
b
2
2
c
3
3
f
1
1
c
3
1
a
0
2
b
2
1
7723
2
7723
0
c
3
1
1
2
15446
3
15446
0
f
1
1
0
c
3
1
7723
2
7723
3
7723
0
c
y
x
f
z
b
f
b
z
x
z
b
b
y
z
c
a
a
a
f
c
z
y
z
c
y
x
f
z
b
f
b
z
x
z
f
b
b
a
z
c
a
x
y
z
c
y
x
f
z
b
f
b
z
x
z
false
b
b
y
z
c
a
a
a
f
c
z
y
z
false
c
y
x
f
z
f
b
z
x
false
NaTT
certifiable-1.6