C
C
x1
c
c
x1
c
c
c
c
x1
x1
b
b
b
b
x1
B
B
x1
B
B
B
B
x1
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
B
B
c
c
b
b
c
c
B
B
c
c
b
b
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
c
c
B
B
c
c
b
b
c
c
x1
B
c
c
b
b
c
c
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
b
c
c
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
b
x1
B
B
B
B
x1
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
c
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
b
b
c
c
B
B
c
c
b
b
x1
C
C
x1
c
c
x1
B
B
B
B
x1
b
b
x1
b
b
b
b
x1
B
x1
c
c
B
B
c
c
b
b
c
c
x1
c
c
b
b
c
c
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
B
B
c
c
b
b
c
c
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
B
B
c
c
b
b
x1
b
b
b
b
x1
B
B
x1
c
c
B
B
c
c
b
b
c
c
x1
c
b
b
c
c
B
B
c
c
b
b
x1
C
C
x1
c
x1
true
C
C
x1
c
x1
false
C
C
x1
c
c
x1
false
c
c
B
B
c
c
b
b
c
c
x1
c
b
b
c
c
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
c
b
b
c
c
B
B
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
c
b
b
x1
c
c
B
B
c
c
b
b
c
c
x1
c
c
B
B
c
c
b
b
x1
true
b
1
1
0
B
1
0
c
1
1
8856
C
1
1
23676
B
1
1
0
C
1
0
c
1
1
0
b
1
0
c
c
B
B
c
c
b
b
c
c
x1
c
c
b
b
c
c
B
B
c
c
b
b
x1
B
B
B
B
x1
b
b
x1
c
c
C
C
x1
x1
b
b
b
b
x1
B
B
x1
c
c
B
B
c
c
b
b
c
c
x1
B
B
c
c
b
b
c
c
B
B
c
c
b
b
x1
B
B
b
b
x1
x1
b
b
B
B
x1
x1
c
c
c
c
x1
x1
c
c
B
B
c
c
b
b
c
c
x1
c
c
b
b
c
c
B
B
c
c
b
b
x1
true
Failed!
NaTT
certifiable-1.6