C
x1
c
x1
c
c
x1
x1
b
b
x1
B
x1
B
B
x1
b
x1
c
B
c
b
c
x1
B
c
b
c
B
c
b
x1
b
B
x1
x1
B
b
x1
x1
c
C
x1
x1
C
c
x1
x1
2.2
c
B
c
b
c
x1
c
b
c
B
c
b
x1
c
B
c
b
c
x1
c
b
x1
C
x1
c
x1
c
B
c
b
c
x1
b
x1
B
B
x1
b
x1
c
B
c
b
c
x1
B
c
b
x1
c
B
c
b
c
x1
b
c
B
c
b
x1
c
B
c
b
c
x1
B
c
b
c
B
c
b
x1
b
b
x1
B
x1
c
B
c
b
c
x1
c
B
c
b
x1
true
C
x1
c
x1
false
c
B
c
b
c
x1
c
B
c
b
x1
c
B
c
b
c
x1
c
b
x1
c
B
c
b
c
x1
c
b
c
B
c
b
x1
true
b
1
1
0
B
1
0
c
1
1
11293
C
1
1
28958
B
1
1
0
C
1
0
c
1
1
0
b
1
0
c
B
c
b
c
x1
c
b
c
B
c
b
x1
B
B
x1
b
x1
c
C
x1
x1
b
b
x1
B
x1
c
B
c
b
c
x1
B
c
b
c
B
c
b
x1
B
b
x1
x1
b
B
x1
x1
c
c
x1
x1
c
B
c
b
c
x1
c
b
c
B
c
b
x1
true
Failed!
NaTT
certifiable-1.6