active
filter
cons
X
Y
0
M
mark
cons
0
filter
Y
M
M
active
filter
cons
X
Y
s
N
M
mark
cons
X
filter
Y
N
M
active
sieve
cons
0
Y
mark
cons
0
sieve
Y
active
sieve
cons
s
N
Y
mark
cons
s
N
sieve
filter
Y
N
N
active
nats
N
mark
cons
N
nats
s
N
active
zprimes
mark
sieve
nats
s
s
0
active
filter
X1
X2
X3
filter
active
X1
X2
X3
active
filter
X1
X2
X3
filter
X1
active
X2
X3
active
filter
X1
X2
X3
filter
X1
X2
active
X3
active
cons
X1
X2
cons
active
X1
X2
active
s
X
s
active
X
active
sieve
X
sieve
active
X
active
nats
X
nats
active
X
filter
mark
X1
X2
X3
mark
filter
X1
X2
X3
filter
X1
mark
X2
X3
mark
filter
X1
X2
X3
filter
X1
X2
mark
X3
mark
filter
X1
X2
X3
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
sieve
mark
X
mark
sieve
X
nats
mark
X
mark
nats
X
proper
filter
X1
X2
X3
filter
proper
X1
proper
X2
proper
X3
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
0
ok
0
proper
s
X
s
proper
X
proper
sieve
X
sieve
proper
X
proper
nats
X
nats
proper
X
proper
zprimes
ok
zprimes
filter
ok
X1
ok
X2
ok
X3
ok
filter
X1
X2
X3
cons
ok
X1
ok
X2
ok
cons
X1
X2
s
ok
X
ok
s
X
sieve
ok
X
ok
sieve
X
nats
ok
X
ok
nats
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
1
filter
3
cons
2
0
0
mark
1
s
1
sieve
1
nats
1
zprimes
0
proper
1
ok
1
top
1
INNERMOST
./TRS/TRCSR/inn/Ex9_BLR02_C.trs