c
c
b
c
x
b
a
0
c
x
c
c
x
b
c
b
c
x
a
0
x
c
c
x
2.2
a
0
x
c
c
x
a
0
x
c
x
c
c
x
c
b
c
x
c
c
b
c
x
a
0
c
x
true
c
c
b
c
x
a
0
c
x
a
0
x
c
x
a
0
x
c
c
x
true
a
2
2
2
b
1
1
0
c
1
1
1
0
0
1
c
1
1
0
a
2
1
2
0
a
0
x
c
c
x
c
c
b
c
x
a
0
c
x
c
c
b
c
x
b
a
0
c
x
a
0
x
c
c
x
c
c
x
b
c
b
c
x
c
c
b
c
x
a
0
c
x
a
0
x
c
c
x
true
2
1
a
2
1
0
1
0
1
1
1
0
1
2
0
4
b
1
1
0
0
0
1
2
1
c
1
0
1
1
0
1
1
3
0
0
1
3
c
1
0
0
1
0
1
0
1
a
2
0
1
0
0
1
1
0
0
0
2
4
0
c
c
b
c
x
b
a
0
c
x
a
0
x
c
c
x
c
c
x
b
c
b
c
x
c
c
x
c
b
c
x
false
NaTT
certifiable-1.6