active
f
X
mark
if
X
c
f
true
active
if
true
X
Y
mark
X
active
if
false
X
Y
mark
Y
mark
f
X
active
f
mark
X
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
mark
c
active
c
mark
true
active
true
mark
false
active
false
f
mark
X
f
X
f
active
X
f
X
if
mark
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
X1
X2
mark
X3
if
X1
X2
X3
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
active
X2
X3
if
X1
X2
X3
if
X1
X2
active
X3
if
X1
X2
X3
2.2
mark
c
active
c
if
X1
mark
X2
X3
if
X1
X2
X3
mark
if
X1
X2
X3
mark
X2
f
active
X
f
X
mark
if
X1
X2
X3
if
mark
X1
mark
X2
X3
mark
f
X
mark
X
mark
if
X1
X2
X3
mark
X1
if
X1
X2
active
X3
if
X1
X2
X3
if
X1
active
X2
X3
if
X1
X2
X3
if
active
X1
X2
X3
if
X1
X2
X3
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
mark
f
X
f
mark
X
active
f
X
if
X
c
f
true
mark
false
active
false
mark
f
X
active
f
mark
X
active
f
X
mark
if
X
c
f
true
if
X1
X2
mark
X3
if
X1
X2
X3
active
if
true
X
Y
mark
X
mark
true
active
true
active
if
false
X
Y
mark
Y
f
mark
X
f
X
active
f
X
f
true
true
active
if
false
X
Y
mark
Y
mark
if
X1
X2
X3
mark
X1
active
if
true
X
Y
mark
X
mark
f
X
mark
X
active
f
X
mark
if
X
c
f
true
mark
f
X
active
f
mark
X
mark
if
X1
X2
X3
mark
X2
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
true
false
0
8856
c
0
0
true
0
0
f
1
1
2438
mark
1
1
0
if
3
1
2
3
0
mark
1
1
0
f
1
0
active
1
1
0
if
3
0
active
1
1
0
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
mark
if
X1
X2
X3
mark
X2
mark
f
X
active
f
mark
X
active
f
X
mark
if
X
c
f
true
active
if
true
X
Y
mark
X
mark
if
X1
X2
X3
mark
X1
mark
f
X
active
f
mark
X
if
X1
active
X2
X3
if
X1
X2
X3
mark
false
active
false
active
f
X
mark
if
X
c
f
true
active
if
false
X
Y
mark
Y
if
X1
X2
active
X3
if
X1
X2
X3
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
f
active
X
f
X
mark
true
active
true
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
f
mark
X
f
X
if
X1
X2
mark
X3
if
X1
X2
X3
mark
c
active
c
active
if
true
X
Y
mark
X
mark
f
X
active
f
mark
X
active
f
X
mark
if
X
c
f
true
mark
if
X1
X2
X3
mark
X2
mark
if
X1
X2
X3
mark
X1
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
active
if
true
X
Y
mark
X
true
false
0
2438
c
0
16575
true
0
0
f
1
1
37816
mark
1
1
0
if
3
1
1
2
21240
3
0
0
mark
1
1
0
f
1
0
active
1
1
0
if
3
0
active
1
1
0
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
active
f
X
mark
if
X
c
f
true
mark
f
X
active
f
mark
X
mark
f
X
active
f
mark
X
if
X1
active
X2
X3
if
X1
X2
X3
mark
false
active
false
active
f
X
mark
if
X
c
f
true
active
if
false
X
Y
mark
Y
if
X1
X2
active
X3
if
X1
X2
X3
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
f
active
X
f
X
mark
true
active
true
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
f
mark
X
f
X
if
X1
X2
mark
X3
if
X1
X2
X3
mark
c
active
c
active
if
true
X
Y
mark
X
mark
f
X
active
f
mark
X
active
f
X
mark
if
X
c
f
true
mark
if
X1
X2
X3
active
if
mark
X1
mark
X2
X3
true
false
0
1
c
0
1
true
0
1
f
1
21657
mark
1
21657
if
3
1
mark
1
1
f
1
0
active
1
2
if
3
0
active
1
1
0
active
f
X
mark
if
X
c
f
true
mark
f
X
active
f
mark
X
if
X1
active
X2
X3
if
X1
X2
X3
if
X1
X2
active
X3
if
X1
X2
X3
f
active
X
f
X
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
f
mark
X
f
X
if
X1
X2
mark
X3
if
X1
X2
X3
mark
f
X
active
f
mark
X
active
f
X
mark
if
X
c
f
true
true
false
0
1
c
0
1
true
0
1
f
1
1
19430
mark
1
1
0
if
3
19428
mark
1
591
f
1
0
active
1
592
if
3
0
active
1
19429
if
X1
active
X2
X3
if
X1
X2
X3
if
X1
X2
active
X3
if
X1
X2
X3
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
if
X1
X2
mark
X3
if
X1
X2
X3
mark
true
active
true
false
mark
if
X1
X2
X3
if
mark
X1
mark
X2
X3
false
mark
false
active
false
false
mark
f
X
f
mark
X
false
f
mark
X
f
X
f
active
X
f
X
true
false
0
1
c
0
35102
true
0
0
f
1
1
1
mark
1
1
0
if
3
0
mark
1
1
1
f
1
1
0
active
1
1
2
if
3
0
active
1
19429
if
X1
active
X2
X3
if
X1
X2
X3
if
X1
X2
active
X3
if
X1
X2
X3
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
if
X1
X2
mark
X3
if
X1
X2
X3
active
f
X
if
X
c
f
true
false
active
f
X
f
true
false
mark
c
active
c
false
if
X1
X2
active
X3
if
X1
X2
X3
if
X1
X2
mark
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
active
X2
X3
if
X1
X2
X3
true
false
0
1
c
0
1
true
0
0
f
1
1
1
mark
1
1
0
if
3
0
mark
1
1
1
f
1
0
active
1
1
2
if
3
1
2
3
0
active
1
19429
if
X1
active
X2
X3
if
X1
X2
X3
if
X1
X2
active
X3
if
X1
X2
X3
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
if
X1
X2
mark
X3
if
X1
X2
X3
NaTT
certifiable-1.6