filterconsXY0Mcons0n__filteractivateYMMfilterconsXYsNMconsXn__filteractivateYNMsievecons0Ycons0n__sieveactivateYsieveconssNYconssNn__sievefilteractivateYNNnatsNconsNn__natssNzprimessievenatsss0filterX1X2X3n__filterX1X2X3sieveXn__sieveXnatsXn__natsXactivaten__filterX1X2X3filterX1X2X3activaten__sieveXsieveXactivaten__natsXnatsXactivateXXfilterconsXY0MactivateYfilterconsXYsNMactivateYsievecons0YactivateYsieveconssNYactivateYsieveconssNYfilteractivateYNNzprimesnatsss0zprimessievenatsss0activaten__filterX1X2X3filterX1X2X3activaten__sieveXsieveXactivaten__natsXnatsXtruezprimessievenatsss0falsesievecons0YactivateYactivaten__filterX1X2X3filterX1X2X3filterconsXY0MactivateYactivaten__sieveXsieveXsieveconssNYactivateYsieveconssNYfilteractivateYNNfilterconsXYsNMactivateYtrue1sieve1412activate1210filter32102030zprimes01n__nats1010nats1010n__sieve1811sieve1811s15110n__filter31102030activate1110filter31102030000cons201120activaten__filterX1X2X3filterX1X2X3filterconsXY0MactivateYactivaten__sieveXsieveXfilterconsXYsNMactivateYactivaten__filterX1X2X3filterX1X2X3filterconsXY0MactivateYfilterconsXYsNMactivateYtruefilter31activate11activaten__sieveXsieveXfalseactivaten__natsXnatsXfalsezprimesnatsss0false