active
f
0
mark
cons
0
f
s
0
active
f
s
0
mark
f
p
s
0
active
p
s
X
mark
X
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
X
mark
X
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
active
p
s
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
1
8946
p
1
0
f
1
1
20539
p
1
1
0
mark
1
1
0
0
0
16203
s
1
0
mark
1
1
0
f
1
0
active
1
1
0
cons
2
1
20538
active
1
1
0
mark
f
X
active
f
mark
X
mark
p
X
mark
X
mark
p
X
active
p
mark
X
active
f
s
0
mark
f
p
s
0
mark
s
X
active
s
mark
X
mark
cons
X1
X2
active
cons
mark
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
X
mark
X
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
mark
X
true
cons
2
0
s
1
1
1324
p
1
0
f
1
2
p
1
1
1
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
f
1
0
active
1
1
0
cons
2
1
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
X
mark
X
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
active
p
mark
X
false
mark
s
X
active
s
mark
X
false
mark
cons
X1
X2
active
cons
mark
X1
X2
false
mark
f
X
active
f
mark
X
active
f
s
0
mark
f
p
s
0
true
cons
2
1
p
1
1
f
1
1
mark
1
1
s
1
1
mark
1
1
active
1
1
active
1
1
s
1
0
1
p
1
0
0
0
2
f
1
0
cons
2
1
s
1
1
5854
p
1
1
0
0
0
30614
f
1
1
cons
2
30613
mark
f
X
active
f
mark
X
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
X
mark
X
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
f
X
active
f
mark
X
false
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
p
1
0
f
1
1
19791
p
1
17069
mark
1
0
0
0
1
s
1
0
mark
1
1
31112
f
1
0
active
1
1
31113
cons
2
1
19793
active
1
0
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
p
1
0
f
1
1
19506
p
1
17069
mark
1
0
0
0
1
s
1
0
mark
1
1
31112
f
1
0
active
1
1
31113
cons
2
1
19508
active
1
0
mark
s
X
s
mark
X
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
p
1
0
f
1
1
25440
p
1
3
mark
1
0
0
0
49509
s
1
1
0
mark
1
1
8405
f
1
0
active
1
1
8406
cons
2
1
25442
active
1
0
mark
0
active
0
false
active
f
s
0
f
p
s
0
false
active
f
s
0
p
s
0
false
mark
p
X
p
mark
X
false
p
active
X
p
X
p
mark
X
p
X
true
cons
2
0
s
1
1
p
1
1
0
f
1
1
19944
p
1
15945
mark
1
0
0
0
16704
s
1
0
mark
1
1
8405
f
1
0
active
1
1
8406
cons
2
1
19946
active
1
0
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
1
p
1
0
f
1
1
26657
p
1
242
mark
1
0
0
0
11820
s
1
0
mark
1
1
8405
f
1
1
0
active
1
1
8406
cons
2
1
26659
active
1
0
NaTT
certifiable-1.6