filterconsX0Mcons0filterconsXsNMconsXnatsNconsNsievecons0cons0sieveconssNconssNzprimessievenatsss000cons1filter3nats1s1sieve1zprimes012.211000cons1011filter35111213nats1211s1011sieve1011zprimes09filterconsX0Mcons0filterconsXsNMconsXnatsNconsNzprimessievenatsss011000cons1111filter312111213nats11011s1011sieve1211zprimes013sievecons0cons0sieveconssNconssNTcT3.0.0