b
x
y
c
a
c
y
a
0
x
a
y
x
y
a
y
c
b
a
0
x
0
b
a
c
b
0
y
x
0
2.2
a
y
c
b
a
0
x
0
a
c
b
0
y
x
b
x
y
a
0
x
a
y
c
b
a
0
x
0
b
0
y
a
y
c
b
a
0
x
0
b
a
c
b
0
y
x
0
b
x
y
a
c
y
a
0
x
true
b
x
y
a
c
y
a
0
x
a
y
c
b
a
0
x
0
b
a
c
b
0
y
x
0
a
y
c
b
a
0
x
0
b
0
y
b
x
y
a
0
x
a
y
c
b
a
0
x
0
a
c
b
0
y
x
true
2
1
a
2
1
0
1
1
1
1
1
1
0
2
0
2
b
2
1
1
1
1
1
0
0
0
1
2
86123
1
c
1
0
0
1
0
1
1
1
0
0
43057
43062
a
2
0
0
1
0
1
1
0
0
0
2
0
0
b
2
1
0
1
0
1
86121
0
b
x
y
c
a
c
y
a
0
x
a
y
c
b
a
0
x
0
b
a
c
b
0
y
x
0
a
y
x
y
NaTT
certifiable-1.6