c
c
z
y
a
a
a
b
z
y
f
c
x
y
z
c
z
f
b
y
z
a
b
z
b
c
a
y
a
f
f
x
c
c
y
a
z
z
x
2.2
f
c
x
y
z
f
b
y
z
c
c
z
y
a
a
a
b
z
y
b
z
b
c
a
y
a
f
f
x
c
y
a
z
f
c
x
y
z
b
y
z
f
c
x
y
z
c
z
f
b
y
z
a
b
z
b
c
a
y
a
f
f
x
c
c
y
a
z
z
x
true
f
c
x
y
z
f
b
y
z
true
a
0
1
b
2
1
1
2
c
3
1
2
3
1
f
1
0
f
1
0
1
c
3
0
b
2
0
1
2
a
0
32287
b
2
1
161442
2
32288
0
c
3
1
129153
2
161442
3
32288
0
f
1
1
64576
f
1
1
1
c
3
1
1
0
b
2
1
1
2
1
0
c
c
z
y
a
a
a
b
z
y
b
z
b
c
a
y
a
f
f
x
c
c
y
a
z
z
x
f
c
x
y
z
c
z
f
b
y
z
a
false
f
c
x
y
z
b
y
z
false
b
z
b
c
a
y
a
f
f
x
c
c
y
a
z
z
x
c
c
z
y
a
a
a
b
z
y
b
z
b
c
a
y
a
f
f
x
c
y
a
z
true
a
0
1
b
2
1
2
0
c
3
1
2
1
f
1
1
1
f
1
0
c
3
1
2
3
0
b
2
1
2
0
c
c
z
y
a
a
a
b
z
y
b
z
b
c
a
y
a
f
f
x
c
c
y
a
z
z
x
NaTT
certifiable-1.6