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