a
a
y
0
0
y
c
c
y
y
c
a
c
c
y
x
a
c
c
c
a
x
0
y
2.2
c
a
c
c
y
x
c
c
c
a
x
0
c
a
c
c
y
x
a
x
0
c
a
c
c
y
x
c
c
a
x
0
c
a
c
c
y
x
a
c
c
c
a
x
0
y
c
a
c
c
y
x
c
a
x
0
true
c
a
c
c
y
x
c
a
x
0
c
a
c
c
y
x
c
c
a
x
0
c
a
c
c
y
x
c
c
c
a
x
0
true
a
2
1
2
0
c
1
1
39
0
0
0
c
1
1
0
a
2
0
c
a
c
c
y
x
c
c
c
a
x
0
a
a
y
0
0
y
c
a
c
c
y
x
a
c
c
c
a
x
0
y
c
c
y
y
c
a
c
c
y
x
c
c
c
a
x
0
true
Failed!
NaTT
certifiable-1.6