filter cons X Y 0 M cons 0 n__filter activate Y M M filter cons X Y s N M cons X n__filter activate Y N M sieve cons 0 Y cons 0 n__sieve activate Y sieve cons s N Y cons s N n__sieve n__filter activate Y N N nats N cons N n__nats n__s N zprimes sieve nats s s 0 filter X1 X2 X3 n__filter X1 X2 X3 sieve X n__sieve X nats X n__nats X s X n__s X activate n__filter X1 X2 X3 filter activate X1 activate X2 activate X3 activate n__sieve X sieve activate X activate n__nats X nats activate X activate n__s X s activate X activate X X filter 3 cons 2 0 0 n__filter 3 activate 1 s 1 sieve 1 n__sieve 1 nats 1 n__nats 1 n__s 1 zprimes 0 FULL ./TRS/TRCSR/Ex9_BLR02_FR.trs