active
f
X
mark
if
X
c
f
true
active
if
true
X
Y
mark
X
active
if
false
X
Y
mark
Y
active
f
X
f
active
X
active
if
X1
X2
X3
if
active
X1
X2
X3
active
if
X1
X2
X3
if
X1
active
X2
X3
f
mark
X
mark
f
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
if
X1
mark
X2
X3
mark
if
X1
X2
X3
proper
f
X
f
proper
X
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
proper
c
ok
c
proper
true
ok
true
proper
false
ok
false
f
ok
X
ok
f
X
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
if
X1
X2
X3
active
X2
proper
if
X1
X2
X3
proper
X2
top
mark
X
top
proper
X
proper
f
X
f
proper
X
active
if
X1
X2
X3
if
active
X1
X2
X3
top
ok
X
active
X
active
if
X1
X2
X3
active
X1
top
mark
X
proper
X
active
f
X
f
active
X
proper
if
X1
X2
X3
proper
X3
proper
f
X
proper
X
proper
if
X1
X2
X3
proper
X1
top
ok
X
top
active
X
active
f
X
f
true
f
ok
X
f
X
active
f
X
active
X
active
f
X
if
X
c
f
true
if
X1
mark
X2
X3
if
X1
X2
X3
active
if
X1
X2
X3
if
X1
active
X2
X3
f
mark
X
f
X
if
ok
X1
ok
X2
ok
X3
if
X1
X2
X3
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
if
mark
X1
X2
X3
if
X1
X2
X3
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
top
1
1
proper
1
1
ok
1
1
active
1
1
top
1
0
false
0
4
c
0
3
true
0
2
f
1
5
1
if
3
4
2
1
mark
1
1
1
f
1
0
proper
1
0
if
3
0
2
1
active
1
0
top
1
1
false
0
21656
c
0
0
true
0
0
f
1
1
1
if
3
1
2
3
0
mark
1
1
0
f
1
1
proper
1
1
if
3
1
2
1
active
1
1
top
ok
X
top
active
X
active
f
X
f
active
X
f
ok
X
ok
f
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
f
X
mark
if
X
c
f
true
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
active
if
X1
X2
X3
if
active
X1
X2
X3
proper
f
X
f
proper
X
f
mark
X
mark
f
X
proper
false
ok
false
proper
c
ok
c
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
if
X1
mark
X2
X3
mark
if
X1
X2
X3
proper
true
ok
true
active
if
X1
X2
X3
if
X1
active
X2
X3
active
if
true
X
Y
mark
X
top
ok
X
top
active
X
true
top
1
0
false
0
1
top
1
1
0
c
0
1
true
0
1
f
1
1
0
proper
1
21598
ok
1
1
21597
if
3
3
0
mark
1
0
f
1
0
proper
1
0
active
1
1
21596
if
3
0
active
1
0
active
f
X
f
active
X
f
ok
X
ok
f
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
f
X
mark
if
X
c
f
true
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
active
if
X1
X2
X3
if
active
X1
X2
X3
proper
f
X
f
proper
X
f
mark
X
mark
f
X
proper
false
ok
false
proper
c
ok
c
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
if
X1
mark
X2
X3
mark
if
X1
X2
X3
proper
true
ok
true
active
if
X1
X2
X3
if
X1
active
X2
X3
active
if
true
X
Y
mark
X
top
mark
X
proper
X
false
top
ok
X
active
X
false
proper
if
X1
X2
X3
proper
X2
proper
if
X1
X2
X3
proper
X1
proper
f
X
proper
X
proper
if
X1
X2
X3
proper
X3
true
top
1
0
false
0
32742
top
1
0
c
0
0
true
0
0
f
1
1
1
proper
1
0
ok
1
1
1
if
3
1
2
3
0
mark
1
0
f
1
0
proper
1
1
0
active
1
1
49509
if
3
0
active
1
0
proper
if
X1
X2
X3
proper
X3
proper
if
X1
X2
X3
proper
X1
proper
if
X1
X2
X3
proper
X2
active
f
X
f
active
X
f
ok
X
ok
f
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
f
X
mark
if
X
c
f
true
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
active
if
X1
X2
X3
if
active
X1
X2
X3
f
mark
X
mark
f
X
if
X1
mark
X2
X3
mark
if
X1
X2
X3
active
if
X1
X2
X3
if
X1
active
X2
X3
active
if
true
X
Y
mark
X
proper
if
X1
X2
X3
proper
X3
proper
if
X1
X2
X3
proper
X2
proper
if
X1
X2
X3
proper
X1
true
top
1
0
false
0
1
top
1
0
c
0
0
true
0
0
f
1
1
1
proper
1
0
ok
1
1
1
if
3
1
2
3
1
mark
1
0
f
1
0
proper
1
1
0
active
1
1
1
if
3
0
active
1
0
active
f
X
f
active
X
f
ok
X
ok
f
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
f
X
mark
if
X
c
f
true
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
active
if
X1
X2
X3
if
active
X1
X2
X3
f
mark
X
mark
f
X
if
X1
mark
X2
X3
mark
if
X1
X2
X3
active
if
X1
X2
X3
if
X1
active
X2
X3
active
if
true
X
Y
mark
X
proper
if
X1
X2
X3
if
proper
X1
proper
X2
proper
X3
false
proper
f
X
f
proper
X
false
active
if
X1
X2
X3
active
X1
active
f
X
active
X
active
if
X1
X2
X3
active
X2
true
top
1
0
false
0
1
top
1
0
c
0
0
true
0
0
f
1
1
1
proper
1
0
ok
1
1
1
if
3
1
2
3
1
mark
1
0
f
1
0
proper
1
0
active
1
1
56247
if
3
0
active
1
1
0
active
f
X
f
active
X
f
ok
X
ok
f
X
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
f
X
mark
if
X
c
f
true
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
active
if
X1
X2
X3
if
active
X1
X2
X3
f
mark
X
mark
f
X
if
X1
mark
X2
X3
mark
if
X1
X2
X3
active
if
X1
X2
X3
if
X1
active
X2
X3
active
if
true
X
Y
mark
X
active
if
X1
X2
X3
if
X1
active
X2
X3
false
active
if
X1
X2
X3
if
active
X1
X2
X3
false
active
f
X
if
X
c
f
true
false
if
mark
X1
X2
X3
if
X1
X2
X3
if
ok
X1
ok
X2
ok
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
true
top
1
0
false
0
240
top
1
0
c
0
0
true
0
0
f
1
1
proper
1
0
ok
1
1
1
if
3
1
2
3
1
mark
1
2
f
1
0
proper
1
0
active
1
1
1
if
3
3
0
active
1
0
if
X1
mark
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
f
X
mark
if
X
c
f
true
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
if
X1
mark
X2
X3
mark
if
X1
X2
X3
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
true
top
1
0
false
0
1
top
1
0
c
0
0
true
0
0
f
1
36404
proper
1
0
ok
1
1
1
if
3
1
2
3
1
mark
1
1
1
f
1
0
proper
1
0
active
1
1
2
if
3
2
0
active
1
0
if
mark
X1
X2
X3
if
X1
X2
X3
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
if
X1
mark
X2
X3
mark
if
X1
X2
X3
active
if
true
X
Y
mark
X
if
mark
X1
X2
X3
if
X1
X2
X3
true
top
1
0
false
0
24324
top
1
0
c
0
0
true
0
0
f
1
1
proper
1
0
ok
1
1
1
if
3
1
2
3
1
mark
1
1
1
f
1
0
proper
1
0
active
1
1
2
if
3
1
0
active
1
0
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
if
X1
mark
X2
X3
mark
if
X1
X2
X3
active
if
true
X
Y
mark
X
active
f
X
f
true
false
active
f
X
f
active
X
false
f
mark
X
f
X
f
ok
X
f
X
true
top
1
0
false
0
1
top
1
0
c
0
0
true
0
0
f
1
5969
proper
1
0
ok
1
1
17525
if
3
1
2
3
3578
mark
1
1
1
f
1
1
0
proper
1
0
active
1
1
3579
if
3
0
active
1
0
if
mark
X1
X2
X3
mark
if
X1
X2
X3
active
if
false
X
Y
mark
Y
if
ok
X1
ok
X2
ok
X3
ok
if
X1
X2
X3
if
X1
mark
X2
X3
mark
if
X1
X2
X3
active
if
true
X
Y
mark
X
NaTT
certifiable-1.6