a
x
y
b
x
b
0
c
y
c
b
y
c
x
c
c
b
a
0
0
y
b
y
0
y
2.2
c
b
y
c
x
c
b
a
0
0
y
a
x
y
b
0
c
y
a
x
y
c
y
a
x
y
b
x
b
0
c
y
c
b
y
c
x
b
a
0
0
y
c
b
y
c
x
c
c
b
a
0
0
y
c
b
y
c
x
a
0
0
true
c
b
y
c
x
a
0
0
c
b
y
c
x
c
c
b
a
0
0
y
a
x
y
c
y
c
b
y
c
x
c
b
a
0
0
y
true
a
2
1
32287
b
2
1
2
0
c
1
32287
0
0
0
c
1
1
0
a
2
2
32286
b
2
0
c
b
y
c
x
c
b
a
0
0
y
c
b
y
c
x
c
c
b
a
0
0
y
a
x
y
b
x
b
0
c
y
b
y
0
y
c
b
y
c
x
c
c
b
a
0
0
y
c
b
y
c
x
c
b
a
0
0
y
c
b
y
c
x
c
c
b
a
0
0
y
true
2
1
a
2
1
0
1
1
1
1
1
0
1
2
4189
1
b
2
1
0
0
1
0
2
1
1
c
1
1
4197
0
0
1
1
c
1
1
0
1
0
1
0
0
a
2
0
0
b
2
0
0
a
x
y
b
x
b
0
c
y
b
y
0
y
c
b
y
c
x
c
c
b
a
0
0
y
a
x
y
b
x
b
0
c
y
false
a
x
y
b
0
c
y
false
c
b
y
c
x
b
a
0
0
y
false
NaTT
certifiable-1.6