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