c
c
c
a
x
y
b
c
c
c
c
y
x
c
c
b
c
y
0
a
0
c
c
a
y
0
c
c
a
a
y
0
x
c
y
2.2
c
c
b
c
y
0
c
a
y
0
c
c
c
a
x
y
c
c
y
c
c
c
a
x
y
c
y
c
c
c
a
x
y
c
c
c
y
c
c
a
a
y
0
x
c
y
c
c
b
c
y
0
c
c
a
y
0
c
c
c
a
x
y
c
c
c
c
y
true
c
c
c
a
x
y
c
c
c
c
y
c
c
b
c
y
0
c
c
a
y
0
c
c
a
a
y
0
x
c
y
c
c
c
a
x
y
c
c
y
c
c
c
a
x
y
c
c
c
y
c
c
c
a
x
y
c
y
true
a
2
1
0
2
23160
0
b
2
1
7720
2
46320
0
c
1
1
15440
0
0
54041
c
1
1
0
c
c
c
a
x
y
b
c
c
c
c
y
x
c
c
a
a
y
0
x
c
y
c
c
b
c
y
0
a
0
c
c
a
y
0
c
c
b
c
y
0
c
a
y
0
false
NaTT
certifiable-1.6