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
filter
3
1
2
3
cons
2
1
0
0
s
1
1
sieve
1
1
nats
1
1
zprimes
0
FULL
./TRS/CSR/Ex9_BLR02.trs