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