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