.
.
x
y
z
.
x
.
y
z
a
f
x
f
a
x
a
.
x
y
.
a
x
y
a
b1
x
b1
a
x
f
b
x
b
f
x
.
b
x
y
b
.
x
y
b1
b
x
b
b
x
a
f
.
0
x
b1
.
f
.
0
x
.
0
f
x
a
f
0
b1
.
f
0
0
f
.
0
x
b
.
0
f
x
f
0
b
0
c
b
x
c
a
x
a
b
x
b
a
x
2.2
a
f
x
a
x
a
f
0
.
f
0
0
a
.
x
y
a
x
f
.
0
x
.
0
f
x
f
b
x
f
x
a
.
x
y
.
a
x
y
.
.
x
y
z
.
x
.
y
z
a
b1
x
b1
a
x
c
b
x
c
a
x
f
.
0
x
f
x
a
f
0
b1
.
f
0
0
a
f
.
0
x
.
f
.
0
x
.
0
f
x
a
f
.
0
x
f
x
a
b1
x
a
x
a
f
.
0
x
b1
.
f
.
0
x
.
0
f
x
.
b
x
y
.
x
y
a
f
x
f
a
x
c
b
x
a
x
.
.
x
y
z
.
y
z
a
b
x
a
x
a
f
.
0
x
.
0
f
x
true
c
b
x
c
a
x
true
Failed!
NaTT
certifiable-1.6