import ./Utils/NumberTheory.cro

Main = Unwrap (NthIt 10000 Primes)