declare const PRIMES_1000: bigint[];
export { PRIMES_1000 };