primes sieve from s s 0 from X cons X from s X head cons X Y X tail cons X Y Y if true X Y X if false X Y Y filter s s X cons Y Z if divides s s X Y filter s s X Z cons Y filter X sieve Y sieve cons X Y cons X filter X sieve Y 2.2 filter s s X cons Y Z if divides s s X Y filter s s X Z cons Y filter X sieve Y primes sieve from s s 0 sieve cons X Y sieve Y primes from s s 0 filter s s X cons Y Z sieve Y filter s s X cons Y Z filter s s X Z from X from s X sieve cons X Y filter X sieve Y filter s s X cons Y Z filter X sieve Y true primes sieve from s s 0 false filter s s X cons Y Z filter X sieve Y sieve cons X Y filter X sieve Y filter s s X cons Y Z filter s s X Z sieve cons X Y sieve Y filter s s X cons Y Z sieve Y true s 1 1 30614 filter 2 1 1 2 61227 0 false 0 0 head 1 0 primes 0 0 true 0 0 tail 1 0 0 0 0 if 3 1 1 2 0 3 0 0 from 1 0 tail 1 0 sieve 1 1 1 from 1 0 head 1 0 cons 2 1 71681 2 4 0 if 3 0 filter 2 1 10452 2 0 0 primes 0 0 sieve 1 1 61225 divides 2 0 filter s s X cons Y Z filter s s X Z sieve cons X Y cons X filter X sieve Y if true X Y X filter s s X cons Y Z if divides s s X Y filter s s X Z cons Y filter X sieve Y if false X Y Y filter s s X cons Y Z filter s s X Z true s 1 0 filter 2 1 1 2 15923 0 false 0 0 head 1 0 primes 0 0 true 0 0 tail 1 0 0 0 0 if 3 2 0 3 0 0 from 1 0 tail 1 0 sieve 1 1 1 from 1 0 head 1 0 cons 2 1 3 2 1 0 if 3 0 filter 2 2 0 0 primes 0 0 sieve 1 61225 divides 2 0 sieve cons X Y cons X filter X sieve Y if true X Y X filter s s X cons Y Z if divides s s X Y filter s s X Z cons Y filter X sieve Y if false X Y Y primes from s s 0 false from X from s X true Failed! NaTT certifiable-1.6