active
f
0
mark
cons
0
f
s
0
active
f
s
0
mark
f
p
s
0
active
p
s
0
mark
0
mark
f
X
active
f
mark
X
mark
0
active
0
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
p
X
active
p
mark
X
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
s
mark
X
s
X
s
active
X
s
X
p
mark
X
p
X
p
active
X
p
X
2.2
active
f
s
0
f
p
s
0
mark
f
X
f
mark
X
mark
cons
X1
X2
mark
X1
mark
s
X
s
mark
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
mark
p
X
active
p
mark
X
active
f
0
s
0
mark
s
X
active
s
mark
X
p
active
X
p
X
mark
s
X
mark
X
mark
f
X
mark
X
mark
p
X
p
mark
X
active
f
0
mark
cons
0
f
s
0
cons
active
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
f
X
active
f
mark
X
active
f
0
f
s
0
s
mark
X
s
X
p
mark
X
p
X
active
p
s
0
mark
0
mark
p
X
mark
X
active
f
0
cons
0
f
s
0
mark
0
active
0
active
f
s
0
p
s
0
active
f
s
0
mark
f
p
s
0
f
mark
X
f
X
f
active
X
f
X
mark
cons
X1
X2
active
cons
mark
X1
X2
s
active
X
s
X
true
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
f
X
mark
X
mark
s
X
mark
X
mark
s
X
active
s
mark
X
active
f
s
0
mark
f
p
s
0
mark
p
X
active
p
mark
X
mark
p
X
mark
X
mark
cons
X1
X2
mark
X1
mark
f
X
active
f
mark
X
active
f
0
mark
cons
0
f
s
0
true
cons
2
0
s
1
2998
p
1
0
f
1
29284
p
1
29283
mark
1
29284
0
0
29286
s
1
0
mark
1
29285
f
1
0
active
1
1
0
cons
2
29283
active
1
1
0
active
f
0
mark
cons
0
f
s
0
mark
f
X
active
f
mark
X
mark
cons
X1
X2
mark
X1
mark
p
X
mark
X
active
f
s
0
mark
f
p
s
0
mark
s
X
mark
X
mark
f
X
mark
X
p
active
X
p
X
s
mark
X
s
X
s
active
X
s
X
p
mark
X
p
X
f
active
X
f
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
f
X
mark
X
mark
f
X
active
f
mark
X
mark
p
X
mark
X
active
f
0
mark
cons
0
f
s
0
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
active
f
s
0
mark
f
p
s
0
true
cons
2
0
s
1
1
0
p
1
0
f
1
1
842
p
1
1
0
mark
1
1
0
0
0
0
s
1
0
mark
1
1
592
f
1
0
active
1
1
0
cons
2
1
841
active
1
842
active
f
s
0
mark
f
p
s
0
mark
s
X
mark
X
mark
p
X
mark
X
mark
f
X
active
f
mark
X
p
active
X
p
X
s
mark
X
s
X
s
active
X
s
X
p
mark
X
p
X
f
active
X
f
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
p
X
mark
X
mark
s
X
mark
X
true
cons
2
0
s
1
1
0
p
1
0
f
1
1
8021
p
1
1
1
mark
1
1
0
0
0
0
s
1
0
mark
1
1
869
f
1
0
active
1
1
0
cons
2
1
19335
active
1
842
mark
s
X
mark
X
p
active
X
p
X
s
mark
X
s
X
s
active
X
s
X
p
mark
X
p
X
f
active
X
f
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
s
X
mark
X
true
cons
2
0
s
1
1
1
p
1
0
f
1
1
7579
p
1
1
1
mark
1
1
0
0
0
0
s
1
0
mark
1
1
3
f
1
0
active
1
1
0
cons
2
1
48178
active
1
842
p
active
X
p
X
s
mark
X
s
X
s
active
X
s
X
p
mark
X
p
X
f
active
X
f
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
f
X
active
f
mark
X
active
f
s
0
mark
f
p
s
0
true
cons
2
0
s
1
1
5602
p
1
0
f
1
1
38871
p
1
5600
mark
1
1
2
0
0
1
s
1
0
mark
1
1
1
f
1
0
active
1
1
0
cons
2
1
38870
active
1
1
0
p
active
X
p
X
mark
f
X
active
f
mark
X
s
mark
X
s
X
mark
p
X
active
p
mark
X
active
f
0
mark
cons
0
f
s
0
active
p
s
0
mark
0
s
active
X
s
X
p
mark
X
p
X
mark
0
active
0
f
active
X
f
X
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
f
s
0
mark
f
p
s
0
mark
cons
X1
X2
cons
mark
X1
X2
false
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
18006
p
1
0
f
1
1
48293
p
1
45381
mark
1
1
2
0
0
27376
s
1
0
mark
1
1
1
f
1
0
active
1
1
0
cons
2
1
45545
active
1
1
0
cons
active
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
p
active
X
p
X
mark
f
X
active
f
mark
X
s
mark
X
s
X
mark
p
X
active
p
mark
X
active
f
0
mark
cons
0
f
s
0
active
p
s
0
mark
0
s
active
X
s
X
p
mark
X
p
X
mark
0
active
0
f
active
X
f
X
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
f
s
0
mark
f
p
s
0
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
20535
p
1
0
f
1
1
60667
p
1
3025
mark
1
1
2
0
0
3024
s
1
0
mark
1
1
1
f
1
0
active
1
1
0
cons
2
1
31729
active
1
1
0
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
p
active
X
p
X
mark
f
X
active
f
mark
X
s
mark
X
s
X
mark
p
X
active
p
mark
X
active
f
0
mark
cons
0
f
s
0
active
p
s
0
mark
0
s
active
X
s
X
p
mark
X
p
X
mark
0
active
0
f
active
X
f
X
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
f
s
0
mark
f
p
s
0
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
10108
p
1
0
f
1
30542
p
1
30542
mark
1
1
2
0
0
0
s
1
0
mark
1
30543
f
1
0
active
1
1
1
cons
2
8704
active
1
1
0
cons
X1
active
X2
cons
X1
X2
p
active
X
p
X
mark
f
X
active
f
mark
X
s
mark
X
s
X
mark
p
X
active
p
mark
X
active
f
0
mark
cons
0
f
s
0
active
p
s
0
mark
0
s
active
X
s
X
p
mark
X
p
X
mark
0
active
0
f
active
X
f
X
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
f
s
0
mark
f
p
s
0
cons
X1
active
X2
cons
X1
X2
true
cons
2
2
0
s
1
10108
p
1
0
f
1
30542
p
1
30542
mark
1
1
2
0
0
0
s
1
0
mark
1
30543
f
1
0
active
1
1
1
cons
2
1
active
1
1
0
p
active
X
p
X
mark
f
X
active
f
mark
X
s
mark
X
s
X
mark
p
X
active
p
mark
X
active
f
0
mark
cons
0
f
s
0
active
p
s
0
mark
0
s
active
X
s
X
p
mark
X
p
X
mark
0
active
0
f
active
X
f
X
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
f
s
0
mark
f
p
s
0
mark
s
X
s
mark
X
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
16335
p
1
0
f
1
26170
p
1
38368
mark
1
1
2
0
0
0
s
1
1
0
mark
1
1
1
f
1
0
active
1
1
1
cons
2
1
active
1
1
0
p
active
X
p
X
mark
f
X
active
f
mark
X
s
mark
X
s
X
mark
p
X
active
p
mark
X
active
f
0
mark
cons
0
f
s
0
active
p
s
0
mark
0
s
active
X
s
X
p
mark
X
p
X
mark
0
active
0
f
active
X
f
X
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
f
s
0
mark
f
p
s
0
mark
p
X
p
mark
X
false
p
active
X
p
X
p
mark
X
p
X
true
cons
2
0
s
1
29273
p
1
1
0
f
1
1
p
1
39990
mark
1
1
2
0
0
0
s
1
0
mark
1
1
1
f
1
0
active
1
1
1
cons
2
1
active
1
1
0
p
active
X
p
X
mark
f
X
active
f
mark
X
s
mark
X
s
X
mark
p
X
active
p
mark
X
active
f
0
mark
cons
0
f
s
0
active
p
s
0
mark
0
s
active
X
s
X
p
mark
X
p
X
mark
0
active
0
f
active
X
f
X
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
f
s
0
mark
f
p
s
0
active
f
s
0
f
p
s
0
false
active
f
s
0
p
s
0
false
active
p
s
0
mark
0
false
mark
0
active
0
false
active
f
0
cons
0
f
s
0
false
active
f
0
f
s
0
false
active
f
0
s
0
false
mark
f
X
f
mark
X
false
f
active
X
f
X
f
mark
X
f
X
true
cons
2
0
s
1
29161
p
1
0
f
1
41777
p
1
44249
mark
1
1
2
0
0
0
s
1
0
mark
1
1
1
f
1
1
0
active
1
1
1
cons
2
26815
active
1
1
0
p
active
X
p
X
mark
f
X
active
f
mark
X
s
mark
X
s
X
mark
p
X
active
p
mark
X
active
f
0
mark
cons
0
f
s
0
active
p
s
0
mark
0
s
active
X
s
X
p
mark
X
p
X
mark
0
active
0
f
active
X
f
X
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
f
mark
X
f
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
f
s
0
mark
f
p
s
0
NaTT
certifiable-1.6