active
f
X
mark
cons
X
f
g
X
active
g
0
mark
s
0
active
g
s
X
mark
s
s
g
X
active
sel
0
cons
X
Y
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
f
X
active
f
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
g
X
active
g
mark
X
mark
0
active
0
mark
s
X
active
s
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
f
mark
X
f
X
f
active
X
f
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
g
mark
X
g
X
g
active
X
g
X
s
mark
X
s
X
s
active
X
s
X
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
2.2
active
g
0
s
0
active
sel
0
cons
X
Y
mark
X
s
active
X
s
X
active
f
X
mark
cons
X
f
g
X
cons
X1
mark
X2
cons
X1
X2
mark
g
X
mark
X
active
f
X
f
g
X
active
f
X
g
X
f
active
X
f
X
mark
g
X
g
mark
X
sel
X1
mark
X2
sel
X1
X2
mark
sel
X1
X2
sel
mark
X1
mark
X2
mark
sel
X1
X2
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
mark
X
sel
active
X1
X2
sel
X1
X2
active
g
s
X
mark
s
s
g
X
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
active
sel
s
X
cons
Y
Z
sel
X
Z
mark
cons
X1
X2
mark
X1
mark
0
active
0
mark
g
X
active
g
mark
X
mark
sel
X1
X2
mark
X1
active
g
s
X
s
g
X
mark
f
X
mark
X
g
mark
X
g
X
g
active
X
g
X
mark
s
X
s
mark
X
active
g
s
X
g
X
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
active
g
s
X
s
s
g
X
mark
cons
X1
X2
cons
mark
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
f
X
cons
X
f
g
X
mark
s
X
active
s
mark
X
sel
X1
active
X2
sel
X1
X2
mark
f
X
active
f
mark
X
active
g
0
mark
s
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
cons
mark
X1
X2
cons
X1
X2
mark
f
X
f
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
true
mark
cons
X1
X2
active
cons
mark
X1
X2
active
g
s
X
mark
s
s
g
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
g
0
mark
s
0
mark
s
X
mark
X
mark
f
X
active
f
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
active
s
mark
X
mark
sel
X1
X2
mark
X2
mark
f
X
mark
X
mark
g
X
mark
X
mark
sel
X1
X2
mark
X1
mark
g
X
active
g
mark
X
active
f
X
mark
cons
X
f
g
X
active
sel
0
cons
X
Y
mark
X
mark
cons
X1
X2
mark
X1
true
cons
2
0
s
1
1143
f
1
1144
mark
1
1144
0
0
1
sel
2
0
sel
2
1144
s
1
0
mark
1
1
f
1
0
g
1
0
active
1
1
cons
2
1107
active
1
1
0
g
1
1144
mark
cons
X1
X2
mark
X1
active
sel
0
cons
X
Y
mark
X
active
f
X
mark
cons
X
f
g
X
mark
g
X
active
g
mark
X
mark
sel
X1
X2
mark
X1
mark
g
X
mark
X
mark
f
X
mark
X
mark
sel
X1
X2
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
f
X
active
f
mark
X
mark
s
X
mark
X
active
g
0
mark
s
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
g
s
X
mark
s
s
g
X
g
mark
X
g
X
active
sel
0
cons
X
Y
mark
X
cons
X1
mark
X2
cons
X1
X2
mark
g
X
active
g
mark
X
active
f
X
mark
cons
X
f
g
X
active
g
s
X
mark
s
s
g
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
g
active
X
g
X
cons
X1
active
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
active
s
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
s
mark
X
s
X
sel
X1
active
X2
sel
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
0
active
0
f
active
X
f
X
mark
f
X
active
f
mark
X
active
g
0
mark
s
0
active
sel
0
cons
X
Y
mark
X
mark
g
X
mark
X
mark
g
X
active
g
mark
X
active
f
X
mark
cons
X
f
g
X
active
g
s
X
mark
s
s
g
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
f
X
mark
X
mark
f
X
active
f
mark
X
active
g
0
mark
s
0
true
cons
2
0
s
1
1
0
f
1
1
2999
mark
1
1
0
0
0
35657
sel
2
0
sel
2
1
1
2
2
0
s
1
0
mark
1
1
0
f
1
0
g
1
0
active
1
1
0
cons
2
1
2998
2
0
0
active
1
1
0
g
1
1
0
active
g
0
mark
s
0
mark
f
X
active
f
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
s
X
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
g
s
X
mark
s
s
g
X
active
f
X
mark
cons
X
f
g
X
mark
g
X
active
g
mark
X
mark
g
X
mark
X
g
mark
X
g
X
active
sel
0
cons
X
Y
mark
X
cons
X1
mark
X2
cons
X1
X2
mark
g
X
active
g
mark
X
active
f
X
mark
cons
X
f
g
X
active
g
s
X
mark
s
s
g
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
g
active
X
g
X
cons
X1
active
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
active
s
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
s
mark
X
s
X
sel
X1
active
X2
sel
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
0
active
0
f
active
X
f
X
mark
f
X
active
f
mark
X
active
g
0
mark
s
0
mark
g
X
mark
X
mark
g
X
active
g
mark
X
active
f
X
mark
cons
X
f
g
X
active
g
s
X
mark
s
s
g
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
f
X
active
f
mark
X
active
g
0
mark
s
0
true
cons
2
1
mark
1
1
mark
1
1
f
1
1
active
1
1
active
1
1
s
1
0
1
f
1
3
1
0
0
1
sel
2
0
sel
2
3
s
1
0
g
1
0
cons
2
3
g
1
2
1
s
1
1
0
f
1
1
17221
0
0
33036
sel
2
1
1
sel
2
2
2438
s
1
1
g
1
1
cons
2
1
0
2
0
0
g
1
1
0
mark
f
X
active
f
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
g
X
active
g
mark
X
g
mark
X
g
X
active
sel
0
cons
X
Y
mark
X
cons
X1
mark
X2
cons
X1
X2
mark
g
X
active
g
mark
X
active
f
X
mark
cons
X
f
g
X
active
g
s
X
mark
s
s
g
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
g
active
X
g
X
cons
X1
active
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
active
s
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
s
mark
X
s
X
sel
X1
active
X2
sel
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
0
active
0
f
active
X
f
X
mark
f
X
active
f
mark
X
active
g
0
mark
s
0
mark
g
X
active
g
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
f
X
active
f
mark
X
true
cons
2
0
s
1
1
f
1
36412
mark
1
36413
0
0
1
sel
2
0
sel
2
36413
s
1
0
mark
1
1
f
1
0
g
1
0
active
1
2
cons
2
1
active
1
1
0
g
1
1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
g
mark
X
g
X
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
g
active
X
g
X
cons
X1
active
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
s
mark
X
s
X
sel
X1
active
X2
sel
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
f
active
X
f
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
true
cons
2
1
mark
1
1
mark
1
1
f
1
1
active
1
1
active
1
1
s
1
1
1
f
1
3
1
0
0
0
sel
2
0
sel
2
2
1
s
1
0
g
1
0
cons
2
3
g
1
2
1
s
1
1
0
f
1
1
28101
0
0
34178
sel
2
1
1
sel
2
1
2
5854
s
1
1
g
1
1
cons
2
1
0
2
0
0
g
1
1
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
g
mark
X
g
X
active
sel
0
cons
X
Y
mark
X
cons
X1
mark
X2
cons
X1
X2
mark
g
X
active
g
mark
X
active
f
X
mark
cons
X
f
g
X
active
g
s
X
mark
s
s
g
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
g
active
X
g
X
cons
X1
active
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
s
X
active
s
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
s
mark
X
s
X
sel
X1
active
X2
sel
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
0
active
0
f
active
X
f
X
mark
f
X
active
f
mark
X
active
g
0
mark
s
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
false
active
g
0
s
0
false
mark
f
X
f
mark
X
false
mark
0
active
0
false
active
sel
s
X
cons
Y
Z
sel
X
Z
false
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
true
cons
2
0
s
1
21598
f
1
0
mark
1
0
0
0
1
sel
2
1
2
0
sel
2
0
s
1
0
mark
1
1
7177
f
1
0
g
1
0
active
1
1
26442
cons
2
1
19266
active
1
1
g
1
2332
s
active
X
s
X
s
mark
X
s
X
active
g
s
X
s
s
g
X
false
active
g
s
X
s
g
X
false
active
g
s
X
g
X
false
mark
cons
X1
X2
cons
mark
X1
X2
false
active
f
X
cons
X
f
g
X
false
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
cons
2
1
0
s
1
20369
f
1
0
mark
1
0
0
0
1
sel
2
0
sel
2
0
s
1
0
mark
1
1
7177
f
1
0
g
1
0
active
1
1
26442
cons
2
1
19266
active
1
1
g
1
1
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
s
active
X
s
X
s
mark
X
s
X
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
true
cons
2
2
0
s
1
52721
f
1
0
mark
1
0
0
0
1
sel
2
0
sel
2
0
s
1
0
mark
1
1
7177
f
1
0
g
1
0
active
1
1
26442
cons
2
1
19266
active
1
1
g
1
33455
s
active
X
s
X
s
mark
X
s
X
active
f
X
f
g
X
false
f
mark
X
f
X
f
active
X
f
X
true
cons
2
0
s
1
37163
f
1
0
mark
1
0
0
0
1
sel
2
0
sel
2
0
s
1
0
mark
1
1
7177
f
1
1
0
g
1
0
active
1
1
26442
cons
2
1
35969
active
1
1
g
1
17897
s
active
X
s
X
s
mark
X
s
X
active
f
X
g
X
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
cons
2
0
s
1
3
f
1
0
mark
1
0
0
0
1
sel
2
0
sel
2
0
s
1
1
0
mark
1
1
7177
f
1
0
g
1
0
active
1
1
7178
cons
2
1
2
active
1
1
g
1
1
s
active
X
s
X
s
mark
X
s
X
mark
g
X
g
mark
X
false
g
active
X
g
X
g
mark
X
g
X
true
cons
2
0
s
1
6993
f
1
0
mark
1
0
0
0
1
sel
2
0
sel
2
0
s
1
0
mark
1
1
7177
f
1
0
g
1
1
0
active
1
1
7178
cons
2
1
2
active
1
1
g
1
6991
s
active
X
s
X
s
mark
X
s
X
NaTT
certifiable-1.6