c
z
x
a
f
b
b
f
z
z
x
b
y
b
z
a
f
b
c
f
a
y
z
z
f
c
c
z
a
a
x
a
z
2.2
b
y
b
z
a
b
c
f
a
y
z
z
c
z
x
a
b
b
f
z
z
x
c
z
x
a
b
f
z
z
c
z
x
a
f
b
b
f
z
z
x
b
y
b
z
a
c
f
a
y
z
b
y
b
z
a
f
b
c
f
a
y
z
z
c
z
x
a
f
z
b
y
b
z
a
f
a
true
b
y
b
z
a
c
f
a
y
z
c
z
x
a
b
b
f
z
z
x
c
z
x
a
b
f
z
z
b
y
b
z
a
b
c
f
a
y
z
z
true
2
1
a
0
11106
11102
b
2
1
0
0
0
1
1
1
0
0
2
0
1
c
3
0
1
0
1
1
1
1
0
0
2
0
1
0
0
3
2
0
f
1
0
0
1
1
1
1
2
f
1
0
0
c
3
1
1
1
1
1
1
1
0
0
2
1
1
0
0
3
0
0
b
2
1
1
0
0
1
1
1
0
0
2
11103
11105
c
z
x
a
f
b
b
f
z
z
x
f
c
c
z
a
a
x
a
z
b
y
b
z
a
f
b
c
f
a
y
z
z
c
z
x
a
f
b
b
f
z
z
x
false
b
y
b
z
a
f
b
c
f
a
y
z
z
false
c
z
x
a
f
z
false
b
y
b
z
a
f
a
false
NaTT
certifiable-1.6