a
b
a
x
b
a
x
c
x
a
x
c
x
b
x
a
x
b
x
c
x
b
x
b
b
b
x
b
b
x
2.1
axbxcxbxtrueaxbxfalsecxbxfalse
c
x
a
x
c
x
c
x
a
x
a
x
c
x
b
x
c
x
c
x
b
x
b
x
a
x
b
x
a
x
c
x
a
x
c
x
c
x
b
x
b
x
c
x
b
x
c
x
c
x
a
x
a
x
a
x
b
x
b
x
a
b
a
x
b
a
x
a
b
a
x
a
b
a
x
b
a
x
b
a
x
b
b
a
x
b
a
x
b
b
a
x
a
x
b
x
a
b
a
x
a
b
a
x
b
a
x
b
a
x
b
b
b
x
b
a
x
b
b
b
x
11
a
x
b
x
b
b
a
x
b
b
a
x
b
a
x
b
a
x
b
b
b
x
b
b
x
b
b
b
x
b
b
b
x
b
a
x
b
a
x
1
a
x
b
x
b
b
x
kbcv2.0.0.0