a
a
b
b
x1
C
C
x1
b
b
c
c
x1
A
A
x1
c
c
a
a
x1
B
B
x1
A
A
C
C
x1
b
b
x1
C
C
B
B
x1
a
a
x1
B
B
A
A
x1
c
c
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
A
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
a
a
a
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
B
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
b
b
b
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
C
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
c
c
c
x1
B
B
a
a
a
a
a
a
a
a
x1
c
c
A
A
A
A
A
A
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
a
a
a
C
C
x1
C
C
b
b
b
b
b
b
b
b
x1
a
a
B
B
B
B
B
B
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
b
b
b
A
A
x1
A
A
c
c
c
c
c
c
c
c
x1
b
b
C
C
C
C
C
C
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
c
c
c
B
B
x1
a
a
A
A
x1
x1
A
A
a
a
x1
x1
b
b
B
B
x1
x1
B
B
b
b
x1
x1
c
c
C
C
x1
x1
C
C
c
c
x1
x1
2.2
b
b
c
c
x1
A
x1
A
A
A
A
A
A
A
A
x1
a
a
a
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
A
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
a
C
C
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
a
x1
A
A
c
c
c
c
c
c
c
c
x1
C
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
x1
A
A
A
A
A
A
b
b
x1
C
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
x1
A
A
A
A
A
A
b
b
x1
C
C
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
C
C
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
c
c
c
B
B
x1
A
A
C
C
x1
b
b
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
B
x1
B
B
B
B
B
B
c
c
x1
b
b
A
A
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
A
A
x1
a
a
a
a
a
a
a
a
a
a
x1
A
x1
B
B
B
B
B
B
c
c
x1
A
A
x1
B
B
B
B
B
B
c
c
x1
b
A
A
x1
C
C
B
B
x1
a
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
C
x1
A
A
A
A
A
A
b
b
x1
a
a
a
C
C
x1
B
B
a
a
a
a
a
a
a
a
x1
c
A
A
A
A
A
A
x1
A
A
c
c
c
c
c
c
c
c
x1
b
b
C
C
C
C
C
C
x1
B
B
B
B
B
B
B
B
x1
b
b
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
b
b
b
A
A
x1
A
A
A
A
A
A
b
b
x1
a
C
C
x1
C
C
b
b
b
b
b
b
b
b
x1
a
B
B
B
B
B
B
x1
C
C
C
C
C
C
a
a
x1
B
B
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
b
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
B
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
A
A
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
x1
A
A
C
C
x1
b
x1
C
C
B
B
x1
a
a
x1
B
B
B
B
B
B
c
c
x1
A
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
B
x1
c
c
c
c
c
c
c
c
c
c
x1
C
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
A
A
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
a
a
a
x1
c
c
a
a
x1
B
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
A
x1
C
C
b
b
b
b
b
b
b
b
x1
B
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
b
A
A
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
c
B
B
x1
B
B
a
a
a
a
a
a
a
a
x1
A
x1
C
C
C
C
C
C
C
C
x1
c
c
x1
a
a
b
b
x1
C
C
x1
B
B
B
B
B
B
B
B
x1
b
x1
C
C
b
b
b
b
b
b
b
b
x1
a
a
B
B
B
B
B
B
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
a
a
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
x1
C
C
C
C
C
C
a
a
x1
c
B
B
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
x1
C
C
C
C
C
C
C
C
x1
c
c
c
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
b
b
b
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
C
a
a
x1
B
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
x1
A
A
A
A
A
A
A
A
x1
a
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
A
x1
A
A
A
A
A
A
b
b
x1
a
a
C
C
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
A
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
B
B
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
C
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
a
a
a
C
C
x1
B
B
B
B
B
B
c
c
x1
b
b
b
A
A
x1
B
B
a
a
a
a
a
a
a
a
x1
c
c
A
A
A
A
A
A
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
a
a
C
C
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
x1
A
A
A
A
A
A
A
A
x1
a
a
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
c
x1
A
A
c
c
c
c
c
c
c
c
x1
b
C
C
C
C
C
C
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
x1
C
C
C
C
C
C
C
C
x1
c
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
C
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
C
C
x1
C
C
C
C
C
C
a
a
x1
c
c
B
B
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
c
c
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
c
c
B
B
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
b
b
A
A
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
C
C
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
C
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
x1
B
B
A
A
x1
c
c
x1
c
c
a
a
x1
B
B
x1
b
b
c
c
x1
A
A
x1
B
B
B
B
B
B
B
B
x1
b
b
b
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
B
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
B
B
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
B
B
x1
B
B
A
A
x1
c
x1
C
C
C
C
C
C
a
a
x1
c
c
c
B
B
x1
a
a
b
b
x1
C
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
b
b
x1
b
b
b
b
b
b
b
b
b
b
x1
B
x1
true
b
b
b
b
b
b
b
b
b
b
x1
B
x1
C
C
C
C
C
C
a
a
x1
B
x1
a
a
b
b
x1
C
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
b
b
x1
C
C
C
C
C
C
a
a
x1
c
c
c
B
B
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
c
c
c
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
b
b
b
x1
B
B
A
A
x1
c
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
x1
C
C
C
C
C
C
C
C
x1
c
c
c
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
B
B
x1
C
C
C
C
C
C
a
a
x1
c
B
B
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
B
B
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
a
a
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
B
x1
C
C
b
b
b
b
b
b
b
b
x1
a
a
B
B
B
B
B
B
x1
a
a
b
b
x1
C
C
x1
B
B
B
B
B
B
B
B
x1
b
x1
C
C
C
C
C
C
C
C
x1
c
c
x1
B
B
a
a
a
a
a
a
a
a
x1
A
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
c
B
B
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
b
A
A
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
x1
C
C
b
b
b
b
b
b
b
b
x1
B
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
A
x1
B
B
B
B
B
B
B
B
x1
b
b
b
x1
c
c
a
a
x1
B
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
a
a
a
x1
b
b
c
c
x1
A
A
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
x1
c
c
a
a
x1
B
B
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
A
A
x1
B
B
A
A
x1
c
c
x1
c
c
c
c
c
c
c
c
c
c
x1
C
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
B
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
C
x1
B
B
B
B
B
B
c
c
x1
A
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
C
C
x1
C
C
B
B
x1
a
a
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
b
b
A
A
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
c
c
B
B
x1
A
A
C
C
x1
b
x1
C
C
C
C
C
C
a
a
x1
c
c
B
B
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
c
c
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
A
A
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
B
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
C
C
x1
C
C
C
C
C
C
a
a
x1
B
B
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
b
x1
C
C
C
C
C
C
C
C
x1
c
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
C
x1
C
C
b
b
b
b
b
b
b
b
x1
a
B
B
B
B
B
B
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
x1
A
A
A
A
A
A
b
b
x1
a
C
C
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
b
b
b
A
A
x1
B
B
B
B
B
B
B
B
x1
b
b
x1
A
A
c
c
c
c
c
c
c
c
x1
b
C
C
C
C
C
C
x1
A
A
c
c
c
c
c
c
c
c
x1
b
b
C
C
C
C
C
C
x1
B
B
a
a
a
a
a
a
a
a
x1
c
A
A
A
A
A
A
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
c
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
C
x1
A
A
A
A
A
A
b
b
x1
a
a
a
C
C
x1
A
A
A
A
A
A
A
A
x1
a
a
x1
C
C
B
B
x1
a
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
x1
B
B
B
B
B
B
c
c
x1
b
A
A
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
a
a
C
C
x1
B
B
B
B
B
B
c
c
x1
A
A
x1
a
a
a
a
a
a
a
a
a
a
x1
A
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
A
A
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
x1
B
B
B
B
B
B
c
c
x1
b
b
A
A
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
B
x1
B
B
a
a
a
a
a
a
a
a
x1
c
c
A
A
A
A
A
A
x1
A
A
C
C
x1
b
b
x1
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
c
c
c
B
B
x1
B
B
B
B
B
B
c
c
x1
b
b
b
A
A
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
C
C
x1
A
A
c
c
c
c
c
c
c
c
x1
C
C
C
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
a
a
a
C
C
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
B
B
x1
A
A
A
A
A
A
b
b
x1
C
C
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
x1
C
C
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
x1
A
A
A
A
A
A
b
b
x1
C
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
A
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
a
x1
A
A
c
c
c
c
c
c
c
c
x1
C
x1
A
A
A
A
A
A
b
b
x1
a
a
C
C
x1
A
A
A
A
A
A
A
A
x1
a
x1
B
B
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
A
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
a
C
C
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
x1
A
A
A
A
A
A
A
A
x1
a
a
a
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
A
x1
b
b
c
c
x1
A
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
x1
true
a
1
1
31844
b
1
1
31844
B
1
1
15923
c
1
1
31844
C
1
1
47766
B
1
1
47766
C
1
1
47765
A
1
1
47766
A
1
1
47765
c
1
1
0
a
1
1
31842
b
1
1
0
C
C
C
C
C
C
a
a
x1
c
c
c
c
c
c
c
c
B
B
x1
A
A
C
C
x1
b
b
x1
C
C
b
b
b
b
b
b
b
b
x1
a
a
B
B
B
B
B
B
x1
A
A
A
A
A
A
A
A
x1
a
a
a
a
a
a
a
a
x1
a
a
b
b
x1
C
C
x1
c
c
a
a
x1
B
B
x1
B
B
B
B
B
B
c
c
x1
b
b
b
b
b
b
b
b
A
A
x1
b
b
B
B
x1
x1
a
a
A
A
x1
x1
A
A
c
c
c
c
c
c
c
c
x1
b
b
C
C
C
C
C
C
x1
B
B
b
b
x1
x1
C
C
B
B
x1
a
a
x1
B
B
B
B
B
B
B
B
x1
b
b
b
b
b
b
b
b
x1
a
a
a
a
a
a
a
a
a
a
x1
A
A
A
A
A
A
x1
A
A
a
a
x1
x1
A
A
A
A
A
A
b
b
x1
a
a
a
a
a
a
a
a
C
C
x1
C
C
C
C
C
C
C
C
x1
c
c
c
c
c
c
c
c
x1
c
c
C
C
x1
x1
C
C
c
c
x1
x1
c
c
c
c
c
c
c
c
c
c
x1
C
C
C
C
C
C
x1
b
b
b
b
b
b
b
b
b
b
x1
B
B
B
B
B
B
x1
B
B
a
a
a
a
a
a
a
a
x1
c
c
A
A
A
A
A
A
x1
B
B
A
A
x1
c
c
x1
b
b
c
c
x1
A
A
x1
NaTT
certifiable-1.6