filter
cons
X
0
M
cons
0
filter
cons
X
s
N
M
cons
X
sieve
cons
0
cons
0
sieve
cons
s
N
cons
s
N
nats
N
cons
N
zprimes
sieve
nats
s
s
0
2.2
zprimes
nats
s
s
0
zprimes
sieve
nats
s
s
0
true
zprimes
sieve
nats
s
s
0
false
zprimes
nats
s
s
0
false
NaTT
certifiable-1.6