filter cons X 0 M cons 0 filter cons X s N M cons X sieve cons 0 cons 0 sieve cons s N cons s N nats N cons N zprimes sieve nats s s 0 filter 3 cons 1 0 0 s 1 sieve 1 nats 1 zprimes 0 INNERMOST ./TRS/TRCSR/inn/Ex9_BLR02_L.trs