b
b
0
y
x
y
c
c
c
y
c
c
a
a
c
b
0
y
0
0
a
y
0
b
y
0
2.2
c
c
c
y
c
a
a
c
b
0
y
0
0
c
c
c
y
b
0
y
a
y
0
b
y
0
c
c
c
y
c
b
0
y
c
c
c
y
a
a
c
b
0
y
0
0
c
c
c
y
c
c
a
a
c
b
0
y
0
0
c
c
c
y
a
c
b
0
y
0
true
c
c
c
y
c
c
a
a
c
b
0
y
0
0
c
c
c
y
c
a
a
c
b
0
y
0
0
true
a
2
1
0
b
2
1
2
0
c
1
1
20163
0
0
0
c
1
1
0
a
2
0
b
2
0
c
c
c
y
c
c
a
a
c
b
0
y
0
0
b
b
0
y
x
y
a
y
0
b
y
0
c
c
c
y
c
c
a
a
c
b
0
y
0
0
c
c
c
y
c
c
a
a
c
b
0
y
0
0
true
2
1
a
2
1
1
0
0
1
0
1
0
0
2
17889
0
b
2
1
1
0
0
1
1
0
1
0
2
0
1
c
1
1
1
1
1
1
1
53676
0
0
1
17888
c
1
1
1
1
1
1
0
0
a
2
0
0
b
2
0
0
b
b
0
y
x
y
a
y
0
b
y
0
c
c
c
y
c
c
a
a
c
b
0
y
0
0
c
c
c
y
a
a
c
b
0
y
0
0
false
c
c
c
y
a
c
b
0
y
0
false
a
y
0
b
y
0
false
c
c
c
y
c
b
0
y
false
c
c
c
y
b
0
y
false
NaTT
certifiable-1.6