primes sieve from s s 0 from X cons X n__from n__s X head cons X Y X tail cons X Y activate Y if true X Y activate X if false X Y activate Y filter s s X cons Y Z if divides s s X Y n__filter n__s n__s X activate Z n__cons Y n__filter X n__sieve Y sieve cons X Y cons X n__filter X n__sieve activate Y from X n__from X s X n__s X filter X1 X2 n__filter X1 X2 cons X1 X2 n__cons X1 X2 sieve X n__sieve X activate n__from X from activate X activate n__s X s activate X activate n__filter X1 X2 filter activate X1 activate X2 activate n__cons X1 X2 cons activate X1 X2 activate n__sieve X sieve activate X activate X X 2.2 if false X Y activate Y filter s s X cons Y Z activate Z primes sieve from s s 0 activate n__cons X1 X2 activate X1 activate n__filter X1 X2 activate X1 activate n__sieve X activate X activate n__filter X1 X2 activate X2 primes from s s 0 activate n__s X activate X if true X Y activate X activate n__filter X1 X2 filter activate X1 activate X2 filter s s X cons Y Z if divides s s X Y n__filter n__s n__s X activate Z n__cons Y n__filter X n__sieve Y activate n__sieve X sieve activate X sieve cons X Y cons X n__filter X n__sieve activate Y activate n__s X s activate X tail cons X Y activate Y primes s 0 activate n__from X from activate X from X cons X n__from n__s X activate n__cons X1 X2 cons activate X1 X2 primes s s 0 activate n__from X activate X sieve cons X Y activate Y true primes from s s 0 false primes s s 0 false primes s 0 false tail cons X Y activate Y false primes sieve from s s 0 false if true X Y activate X false if false X Y activate Y false sieve cons X Y activate Y activate n__from X activate X activate n__filter X1 X2 activate X2 activate n__sieve X activate X activate n__filter X1 X2 activate X1 activate n__cons X1 X2 activate X1 filter s s X cons Y Z activate Z activate n__sieve X sieve activate X activate n__filter X1 X2 filter activate X1 activate X2 activate n__s X activate X true cons 2 0 s 1 1 0 activate 1 1 0 filter 2 1 4620 2 1 0 n__from 1 1 20540 activate 1 1 1 false 0 1 head 1 0 primes 0 0 true 0 0 n__s 1 1 0 tail 1 0 0 0 0 if 3 2 0 3 0 0 from 1 1 20540 s 1 0 n__cons 2 1 20540 2 0 0 n__filter 2 1 20541 2 0 0 tail 1 0 sieve 1 1 20539 n__sieve 1 1 20539 from 1 0 head 1 0 cons 2 1 20540 2 0 0 if 3 0 filter 2 1 20541 2 0 0 primes 0 0 sieve 1 1 2 divides 2 0 activate n__s X activate X activate n__filter X1 X2 filter activate X1 activate X2 filter s s X cons Y Z activate Z activate n__filter X1 X2 activate X2 activate n__sieve X sieve activate X activate n__s X s activate X sieve cons X Y cons X n__filter X n__sieve activate Y activate n__filter X1 X2 filter activate X1 activate X2 activate X X activate n__cons X1 X2 cons activate X1 X2 if true X Y activate X s X n__s X filter s s X cons Y Z if divides s s X Y n__filter n__s n__s X activate Z n__cons Y n__filter X n__sieve Y activate n__from X from activate X cons X1 X2 n__cons X1 X2 filter X1 X2 n__filter X1 X2 from X n__from X sieve X n__sieve X if false X Y activate Y from X cons X n__from n__s X activate n__s X activate X activate n__filter X1 X2 activate X2 activate n__filter X1 X2 filter activate X1 activate X2 filter s s X cons Y Z activate Z true cons 2 0 s 1 1 16908 activate 1 1 1 filter 2 2 0 n__from 1 39825 activate 1 1 1 false 0 1 head 1 0 primes 0 0 true 0 1 n__s 1 1 16908 tail 1 0 0 0 0 if 3 1 2 3 0 from 1 39826 s 1 0 n__cons 2 2 0 n__filter 2 2 0 tail 1 0 sieve 1 1 n__sieve 1 0 from 1 0 head 1 0 cons 2 2 1 if 3 0 filter 2 2 0 primes 0 0 sieve 1 0 divides 2 0 filter s s X cons Y Z activate Z activate n__filter X1 X2 filter activate X1 activate X2 activate n__filter X1 X2 activate X2 activate n__sieve X sieve activate X activate n__s X s activate X sieve cons X Y cons X n__filter X n__sieve activate Y activate n__filter X1 X2 filter activate X1 activate X2 activate X X activate n__cons X1 X2 cons activate X1 X2 if true X Y activate X s X n__s X filter s s X cons Y Z if divides s s X Y n__filter n__s n__s X activate Z n__cons Y n__filter X n__sieve Y activate n__from X from activate X cons X1 X2 n__cons X1 X2 filter X1 X2 n__filter X1 X2 from X n__from X sieve X n__sieve X if false X Y activate Y from X cons X n__from n__s X activate n__filter X1 X2 activate X2 activate n__filter X1 X2 filter activate X1 activate X2 filter s s X cons Y Z activate Z true Failed! NaTT certifiable-1.6