Added naive-sieve, which uses a sieve to build an admissible H with |H|=34,429 (the new value for k_0)