a__f
a
b
X
a__f
mark
X
X
mark
X
a__c
a
a__c
b
mark
f
X1
X2
X3
a__f
mark
X1
X2
mark
X3
mark
c
a__c
mark
a
a
mark
b
b
a__f
X1
X2
X3
f
X1
X2
X3
a__c
c
2.2
a__f
a
b
X
a__f
mark
X
X
mark
X
mark
f
X1
X2
X3
mark
X1
mark
f
X1
X2
X3
mark
X3
mark
f
X1
X2
X3
a__f
mark
X1
X2
mark
X3
a__f
a
b
X
mark
X
mark
c
a__c
a__f
a
b
X
mark
X
true
a__f
a
b
X
mark
X
a__f
a
b
X
mark
X
mark
f
X1
X2
X3
mark
X1
mark
f
X1
X2
X3
a__f
mark
X1
X2
mark
X3
mark
f
X1
X2
X3
mark
X3
a__f
a
b
X
a__f
mark
X
X
mark
X
true
a
0
4
a__c
0
0
b
0
2
a__f
3
1
4
2
2
3
4
0
c
0
4
f
3
1
4
2
2
3
4
0
mark
1
1
17224
mark
1
1
0
a__f
3
1
17222
2
17221
3
17225
0
a__c
0
4
a__f
a
b
X
a__f
mark
X
X
mark
X
mark
f
X1
X2
X3
a__f
mark
X1
X2
mark
X3
a__f
X1
X2
X3
f
X1
X2
X3
a__f
a
b
X
a__f
mark
X
X
mark
X
a__c
b
mark
c
a__c
mark
b
b
a__c
c
mark
a
a
a__c
a
a__f
a
b
X
a__f
mark
X
X
mark
X
true
Failed!
NaTT
certifiable-1.6