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 filter activate Y N N nats N cons N n__nats 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 activate n__filter X1 X2 X3 filter X1 X2 X3 activate n__sieve X sieve X activate n__nats X nats X activate X X 2.2 zprimes sieve nats s s 0 activate n__filter X1 X2 X3 filter X1 X2 X3 sieve cons s N Y filter activate Y N N sieve cons 0 Y activate Y sieve cons s N Y activate Y activate n__nats X nats X zprimes nats s s 0 filter cons X Y s N M activate Y filter cons X Y 0 M activate Y activate n__sieve X sieve X true zprimes nats s s 0 false zprimes sieve nats s s 0 false activate n__sieve X sieve X filter cons X Y 0 M activate Y filter cons X Y s N M activate Y sieve cons s N Y filter activate Y N N activate n__filter X1 X2 X3 filter X1 X2 X3 sieve cons s N Y activate Y sieve cons 0 Y activate Y true zprimes 0 0 nats 1 0 s 1 1 activate 1 1 0 filter 3 1 0 activate 1 1 0 zprimes 0 0 n__nats 1 41063 0 0 1 n__filter 3 1 0 sieve 1 1 32287 n__sieve 1 1 32287 nats 1 41063 cons 2 2 0 filter 3 1 0 sieve 1 1 1 activate n__filter X1 X2 X3 filter X1 X2 X3 filter cons X Y s N M activate Y filter cons X Y 0 M activate Y sieve cons s N Y cons s N n__sieve filter activate Y N N sieve X n__sieve X filter cons X Y 0 M cons 0 n__filter activate Y M M sieve cons 0 Y cons 0 n__sieve activate Y nats N cons N n__nats s N activate n__filter X1 X2 X3 filter X1 X2 X3 filter X1 X2 X3 n__filter X1 X2 X3 activate n__nats X nats X activate n__sieve X sieve X nats X n__nats X activate X X filter cons X Y s N M cons X n__filter activate Y N M filter cons X Y 0 M activate Y activate n__filter X1 X2 X3 filter X1 X2 X3 filter cons X Y s N M activate Y true zprimes 0 0 nats 1 0 s 1 1 activate 1 1 1 filter 3 1 0 activate 1 1 0 zprimes 0 0 n__nats 1 24653 0 0 2 n__filter 3 1 3 14681 sieve 1 52869 n__sieve 1 52868 nats 1 24654 cons 2 2 1 filter 3 1 3 14682 sieve 1 1 sieve cons s N Y cons s N n__sieve filter activate Y N N sieve X n__sieve X filter cons X Y 0 M cons 0 n__filter activate Y M M sieve cons 0 Y cons 0 n__sieve activate Y nats N cons N n__nats s N activate n__filter X1 X2 X3 filter X1 X2 X3 filter X1 X2 X3 n__filter X1 X2 X3 activate n__nats X nats X activate n__sieve X sieve X nats X n__nats X activate X X filter cons X Y s N M cons X n__filter activate Y N M activate n__nats X nats X false NaTT certifiable-1.6