f
c
a
z
x
b
a
z
b
x
b
z
y
f
b
f
f
z
c
x
z
y
b
y
z
z
2.2
b
x
b
z
y
b
f
f
z
c
x
z
y
f
c
a
z
x
b
a
z
b
x
b
z
y
f
f
z
b
x
b
z
y
f
b
f
f
z
c
x
z
y
b
x
b
z
y
f
z
true
b
x
b
z
y
f
z
b
x
b
z
y
f
b
f
f
z
c
x
z
y
b
x
b
z
y
f
f
z
f
c
a
z
x
b
a
z
true
a
0
0
b
2
1
26576
2
26574
0
c
3
2
17718
3
1
0
f
1
1
8858
f
1
1
14236
b
2
1
14235
2
31953
0
f
c
a
z
x
b
a
z
b
y
z
z
b
x
b
z
y
f
b
f
f
z
c
x
z
y
b
x
b
z
y
b
f
f
z
c
x
z
y
false
NaTT
certifiable-1.6