c
c
c
b
x
a
1
b
c
x
b
c
b
c
x
a
0
a
1
x
a
0
x
c
c
x
a
1
x
c
b
x
2.2
b
c
b
c
x
a
1
x
c
c
c
b
x
b
c
x
a
1
x
b
x
c
c
c
b
x
c
x
c
c
c
b
x
a
1
b
c
x
a
0
x
c
c
x
b
c
b
c
x
a
0
a
1
x
a
1
x
c
b
x
a
0
x
c
x
true
a
0
x
c
x
a
1
x
c
b
x
b
c
b
c
x
a
0
a
1
x
a
0
x
c
c
x
a
1
x
b
x
c
c
c
b
x
b
c
x
c
c
c
b
x
a
1
b
c
x
c
c
c
b
x
c
x
b
c
b
c
x
a
1
x
true
a
2
1
2
56203
1
0
1
b
1
1
28102
c
1
1
28102
0
0
1
c
1
1
0
a
2
1
2
28101
b
1
1
1
c
c
c
b
x
a
1
b
c
x
a
0
x
c
c
x
a
1
x
c
b
x
a
1
x
c
b
x
c
c
c
b
x
a
1
b
c
x
a
0
x
c
c
x
b
c
b
c
x
a
0
a
1
x
a
0
x
c
c
x
false
a
1
x
c
b
x
c
c
c
b
x
a
1
b
c
x
true
Failed!
NaTT
certifiable-1.6