b
a
b
c
z
x
y
a
b
b
z
c
y
z
a
x
f
c
a
b
b
z
a
y
x
f
c
x
b
z
x
y
c
f
c
a
y
a
x
z
f
b
b
z
z
f
b
y
b
x
a
2.2
f
c
a
b
b
z
a
y
x
c
x
b
z
x
y
c
f
c
a
y
a
x
z
b
z
z
c
f
c
a
y
a
x
z
b
x
a
b
a
b
c
z
x
y
a
b
z
c
y
z
a
b
a
b
c
z
x
y
a
c
y
z
a
c
f
c
a
y
a
x
z
f
b
y
b
x
a
b
a
b
c
z
x
y
a
b
b
z
c
y
z
a
x
c
f
c
a
y
a
x
z
b
b
z
z
f
b
y
b
x
a
f
c
a
b
b
z
a
y
x
b
z
x
f
c
a
b
b
z
a
y
x
f
c
x
b
z
x
y
c
f
c
a
y
a
x
z
b
y
b
x
a
c
f
c
a
y
a
x
z
f
b
b
z
z
f
b
y
b
x
a
true
c
f
c
a
y
a
x
z
f
b
b
z
z
f
b
y
b
x
a
b
a
b
c
z
x
y
a
c
y
z
a
c
f
c
a
y
a
x
z
b
y
b
x
a
f
c
a
b
b
z
a
y
x
f
c
x
b
z
x
y
f
c
a
b
b
z
a
y
x
b
z
x
b
a
b
c
z
x
y
a
b
z
c
y
z
a
c
f
c
a
y
a
x
z
b
z
z
c
f
c
a
y
a
x
z
b
b
z
z
f
b
y
b
x
a
b
a
b
c
z
x
y
a
b
b
z
c
y
z
a
x
c
f
c
a
y
a
x
z
f
b
y
b
x
a
f
c
a
b
b
z
a
y
x
c
x
b
z
x
y
true
a
0
1
b
2
21239
c
3
2
2
f
1
1
f
1
1
0
c
3
21240
b
2
21240
b
a
b
c
z
x
y
a
b
b
z
c
y
z
a
x
c
f
c
a
y
a
x
z
b
b
z
z
f
b
y
b
x
a
c
f
c
a
y
a
x
z
b
z
z
b
a
b
c
z
x
y
a
b
z
c
y
z
a
f
c
a
b
b
z
a
y
x
f
c
x
b
z
x
y
c
f
c
a
y
a
x
z
b
y
b
x
a
b
a
b
c
z
x
y
a
c
y
z
a
b
a
b
c
z
x
y
a
b
b
z
c
y
z
a
x
c
f
c
a
y
a
x
z
f
b
b
z
z
f
b
y
b
x
a
f
c
a
b
b
z
a
y
x
f
c
x
b
z
x
y
b
a
b
c
z
x
y
a
c
y
z
a
b
a
b
c
z
x
y
a
b
z
c
y
z
a
b
a
b
c
z
x
y
a
b
b
z
c
y
z
a
x
c
f
c
a
y
a
x
z
b
y
b
x
a
c
f
c
a
y
a
x
z
b
z
z
c
f
c
a
y
a
x
z
b
b
z
z
f
b
y
b
x
a
true
a
0
0
b
2
1
8862
2
8861
0
c
3
1
8859
2
8858
3
8860
0
f
1
8858
f
1
0
c
3
1
2443
2
11301
3
11301
0
b
2
2
2438
0
b
a
b
c
z
x
y
a
b
b
z
c
y
z
a
x
c
f
c
a
y
a
x
z
f
b
b
z
z
f
b
y
b
x
a
f
c
a
b
b
z
a
y
x
f
c
x
b
z
x
y
f
c
a
b
b
z
a
y
x
f
c
x
b
z
x
y
true
2
1
a
0
0
1
b
2
1
0
1
0
1
1
0
0
0
2
22833
0
c
3
1
0
1
0
1
0
1
0
0
2
0
1
1
0
3
2447
23368
f
1
50255
1
f
1
0
0
1
0
1
0
0
c
3
0
0
b
2
0
0
b
a
b
c
z
x
y
a
b
b
z
c
y
z
a
x
c
f
c
a
y
a
x
z
f
b
b
z
z
f
b
y
b
x
a
f
c
a
b
b
z
a
y
x
f
c
x
b
z
x
y
c
f
c
a
y
a
x
z
b
x
a
false
NaTT
certifiable-1.6